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-4511089-1751199274.opb'
0.00/0.01 c read 0.02MB (0.31ms)
0.00/0.01 c [cnf: #variables 801 #clauses 401 #duplicates 0 #arr 1602]
0.00/0.01 c output proof to 'PROOFDIR/proof-4511089-1751199274'
0.00/0.01 c
0.00/0.01 c make graph and approximate orbits
0.00/0.01 c [group: #orbits ~= 480] (0.51ms)
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 (7.19ms)
0.00/0.01 c
0.00/0.01 c detect symmetries on remainder
0.00/0.01 c [graph: #vertices 2804 #edges 6408]
0.00/0.01 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.02 c [group: #symmetries 4.00*10^0 #generators 2] (1.22ms)
0.00/0.02 c
0.00/0.02 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.02 c (0.00ms)
0.00/0.02 c
0.00/0.02 c finalize break order and special generators
0.00/0.02 c
0.00/0.02 c add generic predicates (break_depth=10)
0.00/0.02 c added predicates for 2 generators (0.01ms)
0.00/0.02 c
0.00/0.02 c generation finished
0.00/0.02 c [sbp: #constraints 56 #add_vars 18]
0.00/0.02 c
0.00/0.02 c write result to 'HOME/instance-4511089-1751199274.opb.pre'
0.00/0.02 c wrote 0.02MB (0.11ms)
0.00/0.02 c ------------------------------------------------------------------
0.00/0.02 c 7.19ms 55.86% detect_special
0.00/0.02 c 3.46ms 26.93% other
0.00/0.02 c 1.22ms 9.52% detect_generic
0.00/0.02 c 0.51ms 3.97% approx_orbits
0.00/0.02 c 0.31ms 2.39% parse
0.00/0.02 c 0.11ms 0.87% output
0.00/0.02 c 0.04ms 0.34% finalize_order
0.00/0.02 c 0.01ms 0.10% break_generic
0.00/0.02 c 0.00ms 0.03% optimize_gens
0.00/0.02 c ───────────────────────────────────────────────
0.00/0.02 c 12.86ms 100% total
0.00/0.02 c ------------------------------------------------------------------
0.00/0.03 c RoundingSat 2
0.00/0.03 c branch pb25
0.00/0.03 c commit 63f22ad
0.00/0.04 c #variables 819 #constraints 858
0.00/0.05 c rational objective 400.5
0.26/0.37 c #Conflicts: 1000 | #Constraints: 1860
0.26/0.37 c #Conflicts: 2000 | #Constraints: 2860
0.26/0.37 c INPROCESSING
0.26/0.37 c GARBAGE COLLECT
0.26/0.37 c #Conflicts: 3000 | #Constraints: 2900
0.26/0.37 c #Conflicts: 4000 | #Constraints: 3901
0.26/0.37 c INPROCESSING
0.26/0.37 c GARBAGE COLLECT
0.26/0.37 c #Conflicts: 5000 | #Constraints: 3330
0.26/0.37 c #Conflicts: 6000 | #Constraints: 4330
0.26/0.37 c INPROCESSING
0.26/0.37 c GARBAGE COLLECT
0.26/0.37 c #Conflicts: 7000 | #Constraints: 3344
0.26/0.37 c #Conflicts: 8000 | #Constraints: 4344
0.26/0.37 c #Conflicts: 9000 | #Constraints: 5344
0.26/0.37 c INPROCESSING
0.26/0.37 c GARBAGE COLLECT
0.26/0.37 c rational objective 400.5
0.36/0.50 c #Conflicts: 10000 | #Constraints: 4055
0.36/0.50 c #Conflicts: 11000 | #Constraints: 5056
0.36/0.50 c #Conflicts: 12000 | #Constraints: 6056
0.36/0.50 c INPROCESSING
0.36/0.50 c GARBAGE COLLECT
0.36/0.50 c rational objective 400.5
0.56/0.62 c #Conflicts: 13000 | #Constraints: 4513
0.56/0.62 c #Conflicts: 14000 | #Constraints: 5513
0.56/0.62 c #Conflicts: 15000 | #Constraints: 6513
0.56/0.62 c INPROCESSING
0.56/0.62 c GARBAGE COLLECT
0.56/0.62 c rational objective 400.5
0.66/0.74 c #Conflicts: 16000 | #Constraints: 4739
0.66/0.74 c #Conflicts: 17000 | #Constraints: 5739
0.66/0.74 c #Conflicts: 18000 | #Constraints: 6739
0.66/0.74 c INPROCESSING
0.66/0.74 c GARBAGE COLLECT
0.66/0.74 c rational objective 400.5
0.76/0.88 c #Conflicts: 19000 | #Constraints: 4754
0.76/0.88 c #Conflicts: 20000 | #Constraints: 5754
0.76/0.88 c #Conflicts: 21000 | #Constraints: 6754
0.76/0.88 c INPROCESSING
0.76/0.88 c GARBAGE COLLECT
0.76/0.88 c rational objective 400.5
0.96/1.01 c #Conflicts: 22000 | #Constraints: 4557
0.96/1.01 c #Conflicts: 23000 | #Constraints: 5557
0.96/1.01 c #Conflicts: 24000 | #Constraints: 6557
0.96/1.01 c #Conflicts: 25000 | #Constraints: 7558
0.96/1.01 c INPROCESSING
0.96/1.01 c GARBAGE COLLECT
0.96/1.01 c rational objective 400.5
1.07/1.18 c #Conflicts: 26000 | #Constraints: 5167
1.07/1.18 c #Conflicts: 27000 | #Constraints: 6167
1.07/1.18 c #Conflicts: 28000 | #Constraints: 7167
1.07/1.18 c #Conflicts: 29000 | #Constraints: 8167
1.07/1.18 c INPROCESSING
1.07/1.18 c GARBAGE COLLECT
1.07/1.18 c rational objective 400.5
1.25/1.34 c #Conflicts: 30000 | #Constraints: 5567
1.25/1.34 c #Conflicts: 31000 | #Constraints: 6567
1.25/1.34 c #Conflicts: 32000 | #Constraints: 7567
1.25/1.34 c #Conflicts: 33000 | #Constraints: 8567
1.25/1.34 c INPROCESSING
1.25/1.34 c GARBAGE COLLECT
1.25/1.34 c rational objective 400.5
1.45/1.52 c #Conflicts: 34000 | #Constraints: 5772
1.45/1.52 c #Conflicts: 35000 | #Constraints: 6772
1.45/1.52 c #Conflicts: 36000 | #Constraints: 7772
1.45/1.52 c #Conflicts: 37000 | #Constraints: 8772
1.45/1.52 c INPROCESSING
1.45/1.52 c GARBAGE COLLECT
1.45/1.52 c rational objective 400.5
1.65/1.71 c #Conflicts: 38000 | #Constraints: 5777
1.65/1.71 c #Conflicts: 39000 | #Constraints: 6777
1.65/1.71 c #Conflicts: 40000 | #Constraints: 7777
1.65/1.71 c #Conflicts: 41000 | #Constraints: 8778
1.65/1.71 c INPROCESSING
1.65/1.71 c GARBAGE COLLECT
1.65/1.71 c rational objective 400.5
1.85/1.94 c #Conflicts: 42000 | #Constraints: 5588
1.85/1.94 c #Conflicts: 43000 | #Constraints: 6588
1.85/1.94 c #Conflicts: 44000 | #Constraints: 7588
1.85/1.94 c #Conflicts: 45000 | #Constraints: 8588
1.85/1.94 c #Conflicts: 46000 | #Constraints: 9588
1.85/1.94 c INPROCESSING
1.85/1.94 c GARBAGE COLLECT
1.85/1.94 c rational objective 400.5
2.06/2.17 c #Conflicts: 47000 | #Constraints: 6187
2.06/2.17 c #Conflicts: 48000 | #Constraints: 7187
2.06/2.17 c #Conflicts: 49000 | #Constraints: 8188
2.06/2.17 c #Conflicts: 50000 | #Constraints: 9188
2.06/2.17 c #Conflicts: 51000 | #Constraints: 10188
2.06/2.17 c INPROCESSING
2.06/2.17 c GARBAGE COLLECT
2.06/2.17 c rational objective 400.5
2.35/2.40 c #Conflicts: 52000 | #Constraints: 6585
2.35/2.40 c #Conflicts: 53000 | #Constraints: 7585
2.35/2.40 c #Conflicts: 54000 | #Constraints: 8585
2.35/2.40 c #Conflicts: 55000 | #Constraints: 9585
2.35/2.40 c #Conflicts: 56000 | #Constraints: 10585
2.35/2.40 c INPROCESSING
2.35/2.40 c GARBAGE COLLECT
2.35/2.40 c rational objective 400.5
2.55/2.63 c #Conflicts: 57000 | #Constraints: 6781
2.55/2.63 c #Conflicts: 58000 | #Constraints: 7781
2.55/2.63 c #Conflicts: 59000 | #Constraints: 8781
2.55/2.63 c #Conflicts: 60000 | #Constraints: 9781
2.55/2.63 c #Conflicts: 61000 | #Constraints: 10781
2.55/2.63 c INPROCESSING
2.55/2.63 c GARBAGE COLLECT
2.55/2.63 c rational objective 400.5
2.75/2.86 c #Conflicts: 62000 | #Constraints: 6785
2.75/2.86 c #Conflicts: 63000 | #Constraints: 7785
2.75/2.86 c #Conflicts: 64000 | #Constraints: 8785
2.75/2.86 c #Conflicts: 65000 | #Constraints: 9785
2.75/2.86 c #Conflicts: 66000 | #Constraints: 10785
2.75/2.86 c INPROCESSING
2.75/2.86 c GARBAGE COLLECT
2.75/2.86 c rational objective 400.5
3.05/3.11 c #Conflicts: 67000 | #Constraints: 6576
3.05/3.11 c #Conflicts: 68000 | #Constraints: 7576
3.05/3.11 c #Conflicts: 69000 | #Constraints: 8576
3.05/3.11 c #Conflicts: 70000 | #Constraints: 9576
3.05/3.11 c #Conflicts: 71000 | #Constraints: 10577
3.05/3.11 c #Conflicts: 72000 | #Constraints: 11577
3.05/3.11 c INPROCESSING
3.05/3.11 c GARBAGE COLLECT
3.05/3.11 c rational objective 400.5
3.25/3.37 c #Conflicts: 73000 | #Constraints: 7179
3.25/3.37 c #Conflicts: 74000 | #Constraints: 8179
3.25/3.37 c #Conflicts: 75000 | #Constraints: 9179
3.25/3.37 c #Conflicts: 76000 | #Constraints: 10179
3.25/3.37 c #Conflicts: 77000 | #Constraints: 11179
3.25/3.37 c #Conflicts: 78000 | #Constraints: 12179
3.25/3.37 c INPROCESSING
3.25/3.37 c GARBAGE COLLECT
3.25/3.37 c rational objective 400.5
3.55/3.67 c #Conflicts: 79000 | #Constraints: 7581
3.55/3.67 c #Conflicts: 80000 | #Constraints: 8581
3.55/3.67 c #Conflicts: 81000 | #Constraints: 9581
3.55/3.67 c #Conflicts: 82000 | #Constraints: 10581
3.55/3.67 c #Conflicts: 83000 | #Constraints: 11581
3.55/3.67 c #Conflicts: 84000 | #Constraints: 12581
3.55/3.67 c INPROCESSING
3.55/3.67 c GARBAGE COLLECT
3.55/3.67 c rational objective 400.5
3.85/3.97 c #Conflicts: 85000 | #Constraints: 7776
3.85/3.97 c #Conflicts: 86000 | #Constraints: 8776
3.85/3.97 c #Conflicts: 87000 | #Constraints: 9776
3.85/3.97 c #Conflicts: 88000 | #Constraints: 10776
3.85/3.97 c #Conflicts: 89000 | #Constraints: 11776
3.85/3.97 c #Conflicts: 90000 | #Constraints: 12776
3.85/3.97 c INPROCESSING
3.85/3.97 c GARBAGE COLLECT
3.85/3.97 c rational objective 400.5
4.24/4.34 c #Conflicts: 91000 | #Constraints: 7785
4.24/4.34 c #Conflicts: 92000 | #Constraints: 8785
4.24/4.34 c #Conflicts: 93000 | #Constraints: 9785
4.24/4.34 c #Conflicts: 94000 | #Constraints: 10785
4.24/4.34 c #Conflicts: 95000 | #Constraints: 11785
4.24/4.34 c #Conflicts: 96000 | #Constraints: 12786
4.24/4.34 c INPROCESSING
4.24/4.34 c GARBAGE COLLECT
4.24/4.34 c rational objective 400.5
4.55/4.64 c #Conflicts: 97000 | #Constraints: 7585
4.55/4.64 c #Conflicts: 98000 | #Constraints: 8585
4.55/4.64 c #Conflicts: 99000 | #Constraints: 9585
4.55/4.64 c #Conflicts: 100000 | #Constraints: 10585
4.55/4.64 c #Conflicts: 101000 | #Constraints: 11585
4.55/4.64 c #Conflicts: 102000 | #Constraints: 12585
4.55/4.64 c #Conflicts: 103000 | #Constraints: 13585
4.55/4.64 c INPROCESSING
4.55/4.64 c GARBAGE COLLECT
4.55/4.64 c rational objective 400.5
4.85/4.94 c #Conflicts: 104000 | #Constraints: 8187
4.85/4.94 c #Conflicts: 105000 | #Constraints: 9187
4.85/4.94 c #Conflicts: 106000 | #Constraints: 10187
4.85/4.94 c #Conflicts: 107000 | #Constraints: 11187
4.85/4.94 c #Conflicts: 108000 | #Constraints: 12187
4.85/4.94 c #Conflicts: 109000 | #Constraints: 13187
4.85/4.94 c #Conflicts: 110000 | #Constraints: 14187
4.85/4.94 c INPROCESSING
4.85/4.94 c GARBAGE COLLECT
4.85/4.94 c rational objective 400.5
5.15/5.24 c #Conflicts: 111000 | #Constraints: 8586
5.15/5.24 c #Conflicts: 112000 | #Constraints: 9586
5.15/5.24 c #Conflicts: 113000 | #Constraints: 10586
5.15/5.24 c #Conflicts: 114000 | #Constraints: 11586
5.15/5.24 c #Conflicts: 115000 | #Constraints: 12586
5.15/5.24 c #Conflicts: 116000 | #Constraints: 13586
5.15/5.24 c #Conflicts: 117000 | #Constraints: 14586
5.15/5.24 c INPROCESSING
5.15/5.24 c GARBAGE COLLECT
5.15/5.24 c rational objective 400.5
5.45/5.55 c #Conflicts: 118000 | #Constraints: 8779
5.45/5.55 c #Conflicts: 119000 | #Constraints: 9779
5.45/5.55 c #Conflicts: 120000 | #Constraints: 10779
5.45/5.55 c #Conflicts: 121000 | #Constraints: 11779
5.45/5.55 c #Conflicts: 122000 | #Constraints: 12779
5.45/5.55 c #Conflicts: 123000 | #Constraints: 13779
5.45/5.55 c #Conflicts: 124000 | #Constraints: 14779
5.45/5.55 c INPROCESSING
5.45/5.55 c GARBAGE COLLECT
5.45/5.55 c rational objective 400.5
5.74/5.87 c #Conflicts: 125000 | #Constraints: 8778
5.74/5.87 c #Conflicts: 126000 | #Constraints: 9778
5.74/5.87 c #Conflicts: 127000 | #Constraints: 10778
5.74/5.87 c #Conflicts: 128000 | #Constraints: 11778
5.74/5.87 c #Conflicts: 129000 | #Constraints: 12778
5.74/5.87 c #Conflicts: 130000 | #Constraints: 13778
5.74/5.87 c #Conflicts: 131000 | #Constraints: 14778
5.74/5.87 c INPROCESSING
5.74/5.87 c GARBAGE COLLECT
5.74/5.87 c rational objective 400.5
6.05/6.18 c #Conflicts: 132000 | #Constraints: 8576
6.05/6.18 c #Conflicts: 133000 | #Constraints: 9576
6.05/6.18 c #Conflicts: 134000 | #Constraints: 10576
6.05/6.18 c #Conflicts: 135000 | #Constraints: 11576
6.05/6.18 c #Conflicts: 136000 | #Constraints: 12576
6.05/6.18 c #Conflicts: 137000 | #Constraints: 13576
6.05/6.18 c #Conflicts: 138000 | #Constraints: 14576
6.05/6.18 c #Conflicts: 139000 | #Constraints: 15576
6.05/6.18 c INPROCESSING
6.05/6.18 c GARBAGE COLLECT
6.05/6.18 c rational objective 400.5
6.44/6.51 c #Conflicts: 140000 | #Constraints: 9185
6.44/6.51 c #Conflicts: 141000 | #Constraints: 10185
6.44/6.51 c #Conflicts: 142000 | #Constraints: 11185
6.44/6.51 c #Conflicts: 143000 | #Constraints: 12185
6.44/6.51 c #Conflicts: 144000 | #Constraints: 13185
6.44/6.51 c #Conflicts: 145000 | #Constraints: 14185
6.44/6.51 c #Conflicts: 146000 | #Constraints: 15185
6.44/6.51 c #Conflicts: 147000 | #Constraints: 16185
6.44/6.51 c INPROCESSING
6.44/6.51 c GARBAGE COLLECT
6.44/6.51 c rational objective 400.5
6.74/6.89 c #Conflicts: 148000 | #Constraints: 9588
6.74/6.89 c #Conflicts: 149000 | #Constraints: 10588
6.74/6.89 c #Conflicts: 150000 | #Constraints: 11588
6.74/6.89 c #Conflicts: 151000 | #Constraints: 12588
6.74/6.89 c #Conflicts: 152000 | #Constraints: 13588
6.74/6.89 c #Conflicts: 153000 | #Constraints: 14588
6.74/6.89 c #Conflicts: 154000 | #Constraints: 15588
6.74/6.89 c #Conflicts: 155000 | #Constraints: 16588
6.74/6.89 c INPROCESSING
6.74/6.89 c GARBAGE COLLECT
6.74/6.89 c rational objective 400.5
7.14/7.22 c #Conflicts: 156000 | #Constraints: 9784
7.14/7.22 c #Conflicts: 157000 | #Constraints: 10784
7.14/7.22 c #Conflicts: 158000 | #Constraints: 11784
7.14/7.22 c #Conflicts: 159000 | #Constraints: 12784
7.14/7.22 c #Conflicts: 160000 | #Constraints: 13784
7.14/7.22 c #Conflicts: 161000 | #Constraints: 14784
7.14/7.22 c #Conflicts: 162000 | #Constraints: 15784
7.14/7.22 c #Conflicts: 163000 | #Constraints: 16784
7.14/7.22 c INPROCESSING
7.14/7.22 c GARBAGE COLLECT
7.14/7.22 c rational objective 400.5
7.44/7.56 c #Conflicts: 164000 | #Constraints: 9785
7.44/7.56 c #Conflicts: 165000 | #Constraints: 10785
7.44/7.56 c #Conflicts: 166000 | #Constraints: 11785
7.44/7.56 c #Conflicts: 167000 | #Constraints: 12785
7.44/7.56 c #Conflicts: 168000 | #Constraints: 13785
7.44/7.56 c #Conflicts: 169000 | #Constraints: 14785
7.44/7.56 c #Conflicts: 170000 | #Constraints: 15785
7.44/7.56 c #Conflicts: 171000 | #Constraints: 16785
7.44/7.56 c INPROCESSING
7.44/7.56 c GARBAGE COLLECT
7.44/7.56 c rational objective 400.5
7.84/7.92 c #Conflicts: 172000 | #Constraints: 9585
7.84/7.92 c #Conflicts: 173000 | #Constraints: 10585
7.84/7.92 c #Conflicts: 174000 | #Constraints: 11585
7.84/7.92 c #Conflicts: 175000 | #Constraints: 12585
7.84/7.92 c #Conflicts: 176000 | #Constraints: 13585
7.84/7.92 c #Conflicts: 177000 | #Constraints: 14585
7.84/7.92 c #Conflicts: 178000 | #Constraints: 15585
7.84/7.92 c #Conflicts: 179000 | #Constraints: 16585
7.84/7.92 c #Conflicts: 180000 | #Constraints: 17585
7.84/7.92 c INPROCESSING
7.84/7.92 c GARBAGE COLLECT
7.84/7.92 c rational objective 400.5
8.23/8.33 c #Conflicts: 181000 | #Constraints: 10183
8.23/8.33 c #Conflicts: 182000 | #Constraints: 11183
8.23/8.33 c #Conflicts: 183000 | #Constraints: 12183
8.23/8.33 c #Conflicts: 184000 | #Constraints: 13183
8.23/8.33 c #Conflicts: 185000 | #Constraints: 14183
8.23/8.33 c #Conflicts: 186000 | #Constraints: 15184
8.23/8.33 c #Conflicts: 187000 | #Constraints: 16184
8.23/8.33 c #Conflicts: 188000 | #Constraints: 17184
8.23/8.33 c #Conflicts: 189000 | #Constraints: 18184
8.23/8.33 c INPROCESSING
8.23/8.33 c GARBAGE COLLECT
8.23/8.33 c rational objective 400.5
8.63/8.73 c #Conflicts: 190000 | #Constraints: 10590
8.63/8.73 c #Conflicts: 191000 | #Constraints: 11590
8.63/8.73 c #Conflicts: 192000 | #Constraints: 12590
8.63/8.73 c #Conflicts: 193000 | #Constraints: 13590
8.63/8.73 c #Conflicts: 194000 | #Constraints: 14590
8.63/8.73 c #Conflicts: 195000 | #Constraints: 15590
8.63/8.73 c #Conflicts: 196000 | #Constraints: 16590
8.63/8.73 c #Conflicts: 197000 | #Constraints: 17590
8.63/8.73 c #Conflicts: 198000 | #Constraints: 18590
8.63/8.73 c INPROCESSING
8.63/8.73 c GARBAGE COLLECT
8.63/8.73 c rational objective 400.5
9.03/9.12 c #Conflicts: 199000 | #Constraints: 10795
9.03/9.12 c #Conflicts: 200000 | #Constraints: 11795
9.03/9.12 c #Conflicts: 201000 | #Constraints: 12795
9.03/9.12 c #Conflicts: 202000 | #Constraints: 13795
9.03/9.12 c #Conflicts: 203000 | #Constraints: 14795
9.03/9.12 c #Conflicts: 204000 | #Constraints: 15795
9.03/9.12 c #Conflicts: 205000 | #Constraints: 16795
9.03/9.12 c #Conflicts: 206000 | #Constraints: 17795
9.03/9.12 c #Conflicts: 207000 | #Constraints: 18795
9.03/9.12 c INPROCESSING
9.03/9.12 c GARBAGE COLLECT
9.03/9.12 c rational objective 400.5
9.43/9.57 c #Conflicts: 208000 | #Constraints: 10798
9.43/9.57 c #Conflicts: 209000 | #Constraints: 11798
9.43/9.57 c #Conflicts: 210000 | #Constraints: 12798
9.43/9.57 c #Conflicts: 211000 | #Constraints: 13798
9.43/9.57 c #Conflicts: 212000 | #Constraints: 14798
9.43/9.57 c #Conflicts: 213000 | #Constraints: 15798
9.43/9.57 c #Conflicts: 214000 | #Constraints: 16798
9.43/9.57 c #Conflicts: 215000 | #Constraints: 17798
9.43/9.57 c #Conflicts: 216000 | #Constraints: 18798
9.43/9.57 c INPROCESSING
9.43/9.57 c GARBAGE COLLECT
9.43/9.57 c rational objective 400.5
9.83/9.98 c #Conflicts: 217000 | #Constraints: 10598
9.83/9.98 c #Conflicts: 218000 | #Constraints: 11598
9.83/9.98 c #Conflicts: 219000 | #Constraints: 12598
9.83/9.98 c #Conflicts: 220000 | #Constraints: 13598
9.83/9.98 c #Conflicts: 221000 | #Constraints: 14598
9.83/9.98 c #Conflicts: 222000 | #Constraints: 15598
9.83/9.98 c #Conflicts: 223000 | #Constraints: 16598
9.83/9.98 c #Conflicts: 224000 | #Constraints: 17598
9.83/9.98 c #Conflicts: 225000 | #Constraints: 18598
9.83/9.98 c #Conflicts: 226000 | #Constraints: 19598
9.83/9.98 c INPROCESSING
9.83/9.98 c GARBAGE COLLECT
9.83/9.98 c rational objective 400.5
10.33/10.42 c #Conflicts: 227000 | #Constraints: 11192
10.33/10.42 c #Conflicts: 228000 | #Constraints: 12192
10.33/10.42 c #Conflicts: 229000 | #Constraints: 13192
10.33/10.42 c #Conflicts: 230000 | #Constraints: 14192
10.33/10.42 c #Conflicts: 231000 | #Constraints: 15192
10.33/10.42 c #Conflicts: 232000 | #Constraints: 16192
10.33/10.42 c #Conflicts: 233000 | #Constraints: 17192
10.33/10.42 c #Conflicts: 234000 | #Constraints: 18193
10.33/10.42 c #Conflicts: 235000 | #Constraints: 19193
10.33/10.42 c #Conflicts: 236000 | #Constraints: 20193
10.33/10.42 c INPROCESSING
10.33/10.42 c GARBAGE COLLECT
10.33/10.42 c rational objective 400.5
10.73/10.80 c #Conflicts: 237000 | #Constraints: 11590
10.73/10.80 c #Conflicts: 238000 | #Constraints: 12590
10.73/10.80 c #Conflicts: 239000 | #Constraints: 13590
10.73/10.80 c #Conflicts: 240000 | #Constraints: 14590
10.73/10.80 c #Conflicts: 241000 | #Constraints: 15590
10.73/10.80 c #Conflicts: 242000 | #Constraints: 16590
10.73/10.80 c #Conflicts: 243000 | #Constraints: 17590
10.73/10.80 c #Conflicts: 244000 | #Constraints: 18590
10.73/10.80 c #Conflicts: 245000 | #Constraints: 19590
10.73/10.80 c #Conflicts: 246000 | #Constraints: 20590
10.73/10.80 c INPROCESSING
10.73/10.80 c GARBAGE COLLECT
10.73/10.80 c rational objective 400.5
11.12/11.22 c #Conflicts: 247000 | #Constraints: 11789
11.12/11.22 c #Conflicts: 248000 | #Constraints: 12789
11.12/11.22 c #Conflicts: 249000 | #Constraints: 13789
11.12/11.22 c #Conflicts: 250000 | #Constraints: 14789
11.12/11.22 c #Conflicts: 251000 | #Constraints: 15789
11.12/11.22 c #Conflicts: 252000 | #Constraints: 16789
11.12/11.22 c #Conflicts: 253000 | #Constraints: 17789
11.12/11.22 c #Conflicts: 254000 | #Constraints: 18789
11.12/11.22 c #Conflicts: 255000 | #Constraints: 19789
11.12/11.22 c #Conflicts: 256000 | #Constraints: 20789
11.12/11.22 c INPROCESSING
11.12/11.22 c GARBAGE COLLECT
11.12/11.22 c rational objective 400.5
11.52/11.65 c #Conflicts: 257000 | #Constraints: 11785
11.52/11.65 c #Conflicts: 258000 | #Constraints: 12785
11.52/11.65 c #Conflicts: 259000 | #Constraints: 13785
11.52/11.65 c #Conflicts: 260000 | #Constraints: 14785
11.52/11.65 c #Conflicts: 261000 | #Constraints: 15785
11.52/11.65 c #Conflicts: 262000 | #Constraints: 16785
11.52/11.65 c #Conflicts: 263000 | #Constraints: 17785
11.52/11.65 c #Conflicts: 264000 | #Constraints: 18785
11.52/11.65 c #Conflicts: 265000 | #Constraints: 19785
11.52/11.65 c #Conflicts: 266000 | #Constraints: 20785
11.52/11.65 c INPROCESSING
11.52/11.65 c GARBAGE COLLECT
11.52/11.65 c rational objective 400.5
12.03/12.14 c #Conflicts: 267000 | #Constraints: 11594
12.03/12.14 c #Conflicts: 268000 | #Constraints: 12594
12.03/12.14 c #Conflicts: 269000 | #Constraints: 13594
12.03/12.14 c #Conflicts: 270000 | #Constraints: 14594
12.03/12.14 c #Conflicts: 271000 | #Constraints: 15594
12.03/12.14 c #Conflicts: 272000 | #Constraints: 16594
12.03/12.14 c #Conflicts: 273000 | #Constraints: 17594
12.03/12.14 c #Conflicts: 274000 | #Constraints: 18594
12.03/12.14 c #Conflicts: 275000 | #Constraints: 19594
12.03/12.14 c #Conflicts: 276000 | #Constraints: 20594
12.03/12.14 c #Conflicts: 277000 | #Constraints: 21594
12.03/12.14 c INPROCESSING
12.03/12.14 c GARBAGE COLLECT
12.03/12.14 c rational objective 400.5
12.43/12.57 c #Conflicts: 278000 | #Constraints: 12192
12.43/12.57 c #Conflicts: 279000 | #Constraints: 13192
12.43/12.57 c #Conflicts: 280000 | #Constraints: 14192
12.43/12.57 c #Conflicts: 281000 | #Constraints: 15192
12.43/12.57 c #Conflicts: 282000 | #Constraints: 16192
12.43/12.57 c #Conflicts: 283000 | #Constraints: 17192
12.43/12.57 c #Conflicts: 284000 | #Constraints: 18192
12.43/12.57 c #Conflicts: 285000 | #Constraints: 19192
12.43/12.57 c #Conflicts: 286000 | #Constraints: 20192
12.43/12.57 c #Conflicts: 287000 | #Constraints: 21192
12.43/12.57 c #Conflicts: 288000 | #Constraints: 22192
12.43/12.57 c INPROCESSING
12.43/12.57 c GARBAGE COLLECT
12.43/12.57 c rational objective 400.5
12.93/13.02 c #Conflicts: 289000 | #Constraints: 12593
12.93/13.02 c #Conflicts: 290000 | #Constraints: 13593
12.93/13.02 c #Conflicts: 291000 | #Constraints: 14593
12.93/13.02 c #Conflicts: 292000 | #Constraints: 15593
12.93/13.02 c #Conflicts: 293000 | #Constraints: 16593
12.93/13.02 c #Conflicts: 294000 | #Constraints: 17593
12.93/13.02 c #Conflicts: 295000 | #Constraints: 18593
12.93/13.02 c #Conflicts: 296000 | #Constraints: 19593
12.93/13.02 c #Conflicts: 297000 | #Constraints: 20593
12.93/13.02 c #Conflicts: 298000 | #Constraints: 21593
12.93/13.02 c #Conflicts: 299000 | #Constraints: 22593
12.93/13.02 c INPROCESSING
12.93/13.02 c GARBAGE COLLECT
12.93/13.02 c rational objective 400.5
13.32/13.45 c #Conflicts: 300000 | #Constraints: 12788
13.32/13.45 c #Conflicts: 301000 | #Constraints: 13788
13.32/13.45 c #Conflicts: 302000 | #Constraints: 14788
13.32/13.45 c #Conflicts: 303000 | #Constraints: 15788
13.32/13.45 c #Conflicts: 304000 | #Constraints: 16788
13.32/13.45 c #Conflicts: 305000 | #Constraints: 17788
13.32/13.45 c #Conflicts: 306000 | #Constraints: 18788
13.32/13.45 c #Conflicts: 307000 | #Constraints: 19788
13.32/13.45 c #Conflicts: 308000 | #Constraints: 20788
13.32/13.45 c #Conflicts: 309000 | #Constraints: 21788
13.32/13.45 c #Conflicts: 310000 | #Constraints: 22788
13.32/13.45 c INPROCESSING
13.32/13.45 c GARBAGE COLLECT
13.32/13.45 c rational objective 400.5
13.82/13.95 c #Conflicts: 311000 | #Constraints: 12798
13.82/13.95 c #Conflicts: 312000 | #Constraints: 13798
13.82/13.95 c #Conflicts: 313000 | #Constraints: 14798
13.82/13.95 c #Conflicts: 314000 | #Constraints: 15798
13.82/13.95 c #Conflicts: 315000 | #Constraints: 16798
13.82/13.95 c #Conflicts: 316000 | #Constraints: 17798
13.82/13.95 c #Conflicts: 317000 | #Constraints: 18798
13.82/13.95 c #Conflicts: 318000 | #Constraints: 19798
13.82/13.95 c #Conflicts: 319000 | #Constraints: 20798
13.82/13.95 c #Conflicts: 320000 | #Constraints: 21798
13.82/13.95 c #Conflicts: 321000 | #Constraints: 22798
13.82/13.95 c INPROCESSING
13.82/13.95 c GARBAGE COLLECT
13.82/13.95 c rational objective 400.5
14.31/14.45 c #Conflicts: 322000 | #Constraints: 12599
14.31/14.45 c #Conflicts: 323000 | #Constraints: 13599
14.31/14.45 c #Conflicts: 324000 | #Constraints: 14599
14.31/14.45 c #Conflicts: 325000 | #Constraints: 15599
14.31/14.45 c #Conflicts: 326000 | #Constraints: 16599
14.31/14.45 c #Conflicts: 327000 | #Constraints: 17599
14.31/14.45 c #Conflicts: 328000 | #Constraints: 18599
14.31/14.45 c #Conflicts: 329000 | #Constraints: 19599
14.31/14.45 c #Conflicts: 330000 | #Constraints: 20599
14.31/14.45 c #Conflicts: 331000 | #Constraints: 21599
14.31/14.45 c #Conflicts: 332000 | #Constraints: 22599
14.31/14.45 c #Conflicts: 333000 | #Constraints: 23599
14.31/14.45 c INPROCESSING
14.31/14.45 c GARBAGE COLLECT
14.31/14.45 c rational objective 400.5
14.82/14.92 c #Conflicts: 334000 | #Constraints: 13194
14.82/14.92 c #Conflicts: 335000 | #Constraints: 14194
14.82/14.92 c #Conflicts: 336000 | #Constraints: 15194
14.82/14.92 c #Conflicts: 337000 | #Constraints: 16194
14.82/14.92 c #Conflicts: 338000 | #Constraints: 17194
14.82/14.92 c #Conflicts: 339000 | #Constraints: 18194
14.82/14.92 c #Conflicts: 340000 | #Constraints: 19194
14.82/14.92 c #Conflicts: 341000 | #Constraints: 20194
14.82/14.92 c #Conflicts: 342000 | #Constraints: 21194
14.82/14.92 c #Conflicts: 343000 | #Constraints: 22194
14.82/14.92 c #Conflicts: 344000 | #Constraints: 23194
14.82/14.92 c #Conflicts: 345000 | #Constraints: 24194
14.82/14.92 c INPROCESSING
14.82/14.92 c GARBAGE COLLECT
14.82/14.92 c rational objective 400.5
15.31/15.41 c #Conflicts: 346000 | #Constraints: 13611
15.31/15.41 c #Conflicts: 347000 | #Constraints: 14611
15.31/15.41 c #Conflicts: 348000 | #Constraints: 15611
15.31/15.41 c #Conflicts: 349000 | #Constraints: 16611
15.31/15.41 c #Conflicts: 350000 | #Constraints: 17611
15.31/15.41 c #Conflicts: 351000 | #Constraints: 18611
15.31/15.41 c #Conflicts: 352000 | #Constraints: 19611
15.31/15.41 c #Conflicts: 353000 | #Constraints: 20611
15.31/15.41 c #Conflicts: 354000 | #Constraints: 21611
15.31/15.41 c #Conflicts: 355000 | #Constraints: 22611
15.31/15.41 c #Conflicts: 356000 | #Constraints: 23611
15.31/15.41 c #Conflicts: 357000 | #Constraints: 24611
15.31/15.41 c INPROCESSING
15.31/15.41 c GARBAGE COLLECT
15.31/15.41 c rational objective 400.5
15.72/15.87 c #Conflicts: 358000 | #Constraints: 13795
15.72/15.87 c #Conflicts: 359000 | #Constraints: 14795
15.72/15.87 c #Conflicts: 360000 | #Constraints: 15795
15.72/15.87 c #Conflicts: 361000 | #Constraints: 16795
15.72/15.87 c #Conflicts: 362000 | #Constraints: 17795
15.72/15.87 c #Conflicts: 363000 | #Constraints: 18795
15.72/15.87 c #Conflicts: 364000 | #Constraints: 19795
15.72/15.87 c #Conflicts: 365000 | #Constraints: 20795
15.72/15.87 c #Conflicts: 366000 | #Constraints: 21795
15.72/15.87 c #Conflicts: 367000 | #Constraints: 22795
15.72/15.87 c #Conflicts: 368000 | #Constraints: 23795
15.72/15.87 c #Conflicts: 369000 | #Constraints: 24795
15.72/15.87 c INPROCESSING
15.72/15.87 c GARBAGE COLLECT
15.72/15.87 c rational objective 400.5
16.21/16.35 c #Conflicts: 370000 | #Constraints: 13797
16.21/16.35 c #Conflicts: 371000 | #Constraints: 14797
16.21/16.35 c #Conflicts: 372000 | #Constraints: 15797
16.21/16.35 c #Conflicts: 373000 | #Constraints: 16797
16.21/16.35 c #Conflicts: 374000 | #Constraints: 17797
16.21/16.35 c #Conflicts: 375000 | #Constraints: 18797
16.21/16.35 c #Conflicts: 376000 | #Constraints: 19797
16.21/16.35 c #Conflicts: 377000 | #Constraints: 20797
16.21/16.35 c #Conflicts: 378000 | #Constraints: 21797
16.21/16.35 c #Conflicts: 379000 | #Constraints: 22797
16.21/16.35 c #Conflicts: 380000 | #Constraints: 23797
16.21/16.35 c #Conflicts: 381000 | #Constraints: 24797
16.21/16.35 c INPROCESSING
16.21/16.35 c GARBAGE COLLECT
16.21/16.35 c rational objective 400.5
16.72/16.84 c #Conflicts: 382000 | #Constraints: 13599
16.72/16.84 c #Conflicts: 383000 | #Constraints: 14599
16.72/16.84 c #Conflicts: 384000 | #Constraints: 15599
16.72/16.84 c #Conflicts: 385000 | #Constraints: 16600
16.72/16.84 c #Conflicts: 386000 | #Constraints: 17600
16.72/16.84 c #Conflicts: 387000 | #Constraints: 18600
16.72/16.84 c #Conflicts: 388000 | #Constraints: 19600
16.72/16.84 c #Conflicts: 389000 | #Constraints: 20600
16.72/16.84 c #Conflicts: 390000 | #Constraints: 21600
16.72/16.84 c #Conflicts: 391000 | #Constraints: 22600
16.72/16.84 c #Conflicts: 392000 | #Constraints: 23600
16.72/16.84 c #Conflicts: 393000 | #Constraints: 24600
16.72/16.84 c #Conflicts: 394000 | #Constraints: 25600
16.72/16.84 c INPROCESSING
16.72/16.84 c GARBAGE COLLECT
16.72/16.84 c rational objective 400.5
17.21/17.33 c #Conflicts: 395000 | #Constraints: 14205
17.21/17.33 c #Conflicts: 396000 | #Constraints: 15205
17.21/17.33 c #Conflicts: 397000 | #Constraints: 16205
17.21/17.33 c #Conflicts: 398000 | #Constraints: 17205
17.21/17.33 c #Conflicts: 399000 | #Constraints: 18205
17.21/17.33 c #Conflicts: 400000 | #Constraints: 19205
17.21/17.33 c #Conflicts: 401000 | #Constraints: 20205
17.21/17.33 c #Conflicts: 402000 | #Constraints: 21205
17.21/17.33 c #Conflicts: 403000 | #Constraints: 22205
17.21/17.33 c #Conflicts: 404000 | #Constraints: 23205
17.21/17.33 c #Conflicts: 405000 | #Constraints: 24205
17.21/17.33 c #Conflicts: 406000 | #Constraints: 25205
17.21/17.33 c #Conflicts: 407000 | #Constraints: 26205
17.21/17.33 c INPROCESSING
17.21/17.33 c GARBAGE COLLECT
17.21/17.33 c rational objective 400.5
17.71/17.86 c #Conflicts: 408000 | #Constraints: 14602
17.71/17.86 c #Conflicts: 409000 | #Constraints: 15602
17.71/17.86 c #Conflicts: 410000 | #Constraints: 16602
17.71/17.86 c #Conflicts: 411000 | #Constraints: 17602
17.71/17.86 c #Conflicts: 412000 | #Constraints: 18602
17.71/17.86 c #Conflicts: 413000 | #Constraints: 19602
17.71/17.86 c #Conflicts: 414000 | #Constraints: 20602
17.71/17.86 c #Conflicts: 415000 | #Constraints: 21602
17.71/17.86 c #Conflicts: 416000 | #Constraints: 22602
17.71/17.86 c #Conflicts: 417000 | #Constraints: 23602
17.71/17.86 c #Conflicts: 418000 | #Constraints: 24602
17.71/17.86 c #Conflicts: 419000 | #Constraints: 25602
17.71/17.86 c #Conflicts: 420000 | #Constraints: 26602
17.71/17.86 c INPROCESSING
17.71/17.86 c GARBAGE COLLECT
17.71/17.86 c rational objective 400.5
18.31/18.40 c #Conflicts: 421000 | #Constraints: 14800
18.31/18.40 c #Conflicts: 422000 | #Constraints: 15800
18.31/18.40 c #Conflicts: 423000 | #Constraints: 16800
18.31/18.40 c #Conflicts: 424000 | #Constraints: 17800
18.31/18.40 c #Conflicts: 425000 | #Constraints: 18800
18.31/18.40 c #Conflicts: 426000 | #Constraints: 19800
18.31/18.40 c #Conflicts: 427000 | #Constraints: 20800
18.31/18.40 c #Conflicts: 428000 | #Constraints: 21800
18.31/18.40 c #Conflicts: 429000 | #Constraints: 22800
18.31/18.40 c #Conflicts: 430000 | #Constraints: 23800
18.31/18.40 c #Conflicts: 431000 | #Constraints: 24800
18.31/18.40 c #Conflicts: 432000 | #Constraints: 25800
18.31/18.40 c #Conflicts: 433000 | #Constraints: 26800
18.31/18.40 c INPROCESSING
18.31/18.40 c GARBAGE COLLECT
18.31/18.40 c rational objective 400.5
18.80/18.99 c #Conflicts: 434000 | #Constraints: 14804
18.80/18.99 c #Conflicts: 435000 | #Constraints: 15804
18.80/18.99 c #Conflicts: 436000 | #Constraints: 16804
18.80/18.99 c #Conflicts: 437000 | #Constraints: 17804
18.80/18.99 c #Conflicts: 438000 | #Constraints: 18804
18.80/18.99 c #Conflicts: 439000 | #Constraints: 19804
18.80/18.99 c #Conflicts: 440000 | #Constraints: 20804
18.80/18.99 c #Conflicts: 441000 | #Constraints: 21804
18.80/18.99 c #Conflicts: 442000 | #Constraints: 22804
18.80/18.99 c #Conflicts: 443000 | #Constraints: 23804
18.80/18.99 c #Conflicts: 444000 | #Constraints: 24804
18.80/18.99 c #Conflicts: 445000 | #Constraints: 25804
18.80/18.99 c #Conflicts: 446000 | #Constraints: 26804
18.80/18.99 c INPROCESSING
18.80/18.99 c GARBAGE COLLECT
18.80/18.99 c rational objective 400.5
19.40/19.59 c #Conflicts: 447000 | #Constraints: 14604
19.40/19.59 c #Conflicts: 448000 | #Constraints: 15604
19.40/19.59 c #Conflicts: 449000 | #Constraints: 16604
19.40/19.59 c #Conflicts: 450000 | #Constraints: 17604
19.40/19.59 c #Conflicts: 451000 | #Constraints: 18604
19.40/19.59 c #Conflicts: 452000 | #Constraints: 19604
19.40/19.59 c #Conflicts: 453000 | #Constraints: 20604
19.40/19.59 c #Conflicts: 454000 | #Constraints: 21604
19.40/19.59 c #Conflicts: 455000 | #Constraints: 22604
19.40/19.59 c #Conflicts: 456000 | #Constraints: 23604
19.40/19.59 c #Conflicts: 457000 | #Constraints: 24604
19.40/19.59 c #Conflicts: 458000 | #Constraints: 25604
19.40/19.59 c #Conflicts: 459000 | #Constraints: 26604
19.40/19.59 c #Conflicts: 460000 | #Constraints: 27604
19.40/19.59 c INPROCESSING
19.40/19.59 c GARBAGE COLLECT
19.40/19.59 c rational objective 400.5
20.11/20.26 c #Conflicts: 461000 | #Constraints: 15214
20.11/20.26 c #Conflicts: 462000 | #Constraints: 16214
20.11/20.26 c #Conflicts: 463000 | #Constraints: 17214
20.11/20.26 c #Conflicts: 464000 | #Constraints: 18214
20.11/20.26 c #Conflicts: 465000 | #Constraints: 19214
20.11/20.26 c #Conflicts: 466000 | #Constraints: 20214
20.11/20.26 c #Conflicts: 467000 | #Constraints: 21214
20.11/20.26 c #Conflicts: 468000 | #Constraints: 22214
20.11/20.26 c #Conflicts: 469000 | #Constraints: 23214
20.11/20.26 c #Conflicts: 470000 | #Constraints: 24214
20.11/20.26 c #Conflicts: 471000 | #Constraints: 25214
20.11/20.26 c #Conflicts: 472000 | #Constraints: 26214
20.11/20.26 c #Conflicts: 473000 | #Constraints: 27214
20.11/20.26 c #Conflicts: 474000 | #Constraints: 28214
20.11/20.26 c INPROCESSING
20.11/20.26 c GARBAGE COLLECT
20.11/20.26 c rational objective 400.5
20.70/20.84 c #Conflicts: 475000 | #Constraints: 15611
20.70/20.84 c #Conflicts: 476000 | #Constraints: 16611
20.70/20.84 c #Conflicts: 477000 | #Constraints: 17611
20.70/20.84 c #Conflicts: 478000 | #Constraints: 18611
20.70/20.84 c #Conflicts: 479000 | #Constraints: 19611
20.70/20.84 c #Conflicts: 480000 | #Constraints: 20611
20.70/20.84 c #Conflicts: 481000 | #Constraints: 21611
20.70/20.84 c #Conflicts: 482000 | #Constraints: 22611
20.70/20.84 c #Conflicts: 483000 | #Constraints: 23611
20.70/20.84 c #Conflicts: 484000 | #Constraints: 24611
20.70/20.84 c #Conflicts: 485000 | #Constraints: 25611
20.70/20.84 c #Conflicts: 486000 | #Constraints: 26611
20.70/20.84 c #Conflicts: 487000 | #Constraints: 27611
20.70/20.84 c #Conflicts: 488000 | #Constraints: 28611
20.70/20.84 c INPROCESSING
20.70/20.84 c GARBAGE COLLECT
20.70/20.84 c rational objective 400.5
21.30/21.45 c #Conflicts: 489000 | #Constraints: 15812
21.30/21.45 c #Conflicts: 490000 | #Constraints: 16812
21.30/21.45 c #Conflicts: 491000 | #Constraints: 17812
21.30/21.45 c #Conflicts: 492000 | #Constraints: 18812
21.30/21.45 c #Conflicts: 493000 | #Constraints: 19812
21.30/21.45 c #Conflicts: 494000 | #Constraints: 20812
21.30/21.45 c #Conflicts: 495000 | #Constraints: 21812
21.30/21.45 c #Conflicts: 496000 | #Constraints: 22812
21.30/21.45 c #Conflicts: 497000 | #Constraints: 23812
21.30/21.45 c #Conflicts: 498000 | #Constraints: 24812
21.30/21.45 c #Conflicts: 499000 | #Constraints: 25812
21.30/21.45 c #Conflicts: 500000 | #Constraints: 26812
21.30/21.45 c #Conflicts: 501000 | #Constraints: 27812
21.30/21.45 c #Conflicts: 502000 | #Constraints: 28812
21.30/21.45 c INPROCESSING
21.30/21.45 c GARBAGE COLLECT
21.30/21.45 c rational objective 400.5
21.90/22.02 c #Conflicts: 503000 | #Constraints: 15804
21.90/22.02 c #Conflicts: 504000 | #Constraints: 16804
21.90/22.02 c #Conflicts: 505000 | #Constraints: 17804
21.90/22.02 c #Conflicts: 506000 | #Constraints: 18804
21.90/22.02 c #Conflicts: 507000 | #Constraints: 19804
21.90/22.02 c #Conflicts: 508000 | #Constraints: 20804
21.90/22.02 c #Conflicts: 509000 | #Constraints: 21804
21.90/22.02 c #Conflicts: 510000 | #Constraints: 22804
21.90/22.02 c #Conflicts: 511000 | #Constraints: 23804
21.90/22.02 c #Conflicts: 512000 | #Constraints: 24804
21.90/22.02 c #Conflicts: 513000 | #Constraints: 25804
21.90/22.02 c #Conflicts: 514000 | #Constraints: 26804
21.90/22.02 c #Conflicts: 515000 | #Constraints: 27804
21.90/22.02 c #Conflicts: 516000 | #Constraints: 28804
21.90/22.02 c INPROCESSING
21.90/22.02 c GARBAGE COLLECT
21.90/22.02 c rational objective 400.5
22.40/22.59 c #Conflicts: 517000 | #Constraints: 15603
22.40/22.59 c #Conflicts: 518000 | #Constraints: 16603
22.40/22.59 c #Conflicts: 519000 | #Constraints: 17603
22.40/22.59 c #Conflicts: 520000 | #Constraints: 18603
22.40/22.59 c #Conflicts: 521000 | #Constraints: 19603
22.40/22.59 c #Conflicts: 522000 | #Constraints: 20603
22.40/22.59 c #Conflicts: 523000 | #Constraints: 21603
22.40/22.59 c #Conflicts: 524000 | #Constraints: 22603
22.40/22.59 c #Conflicts: 525000 | #Constraints: 23603
22.40/22.59 c #Conflicts: 526000 | #Constraints: 24603
22.40/22.59 c #Conflicts: 527000 | #Constraints: 25603
22.40/22.59 c #Conflicts: 528000 | #Constraints: 26603
22.40/22.59 c #Conflicts: 529000 | #Constraints: 27603
22.40/22.59 c #Conflicts: 530000 | #Constraints: 28603
22.40/22.59 c #Conflicts: 531000 | #Constraints: 29603
22.40/22.59 c INPROCESSING
22.40/22.59 c GARBAGE COLLECT
22.40/22.59 c rational objective 400.5
23.00/23.11 c #Conflicts: 532000 | #Constraints: 16214
23.00/23.11 c #Conflicts: 533000 | #Constraints: 17214
23.00/23.11 c #Conflicts: 534000 | #Constraints: 18214
23.00/23.11 c #Conflicts: 535000 | #Constraints: 19214
23.00/23.11 c #Conflicts: 536000 | #Constraints: 20214
23.00/23.11 c #Conflicts: 537000 | #Constraints: 21214
23.00/23.11 c #Conflicts: 538000 | #Constraints: 22214
23.00/23.11 c #Conflicts: 539000 | #Constraints: 23214
23.00/23.11 c #Conflicts: 540000 | #Constraints: 24214
23.00/23.11 c #Conflicts: 541000 | #Constraints: 25214
23.00/23.11 c #Conflicts: 542000 | #Constraints: 26214
23.00/23.11 c #Conflicts: 543000 | #Constraints: 27214
23.00/23.11 c #Conflicts: 544000 | #Constraints: 28214
23.00/23.11 c #Conflicts: 545000 | #Constraints: 29214
23.00/23.11 c #Conflicts: 546000 | #Constraints: 30214
23.00/23.11 c INPROCESSING
23.00/23.11 c GARBAGE COLLECT
23.00/23.11 c rational objective 400.5
23.59/23.72 c #Conflicts: 547000 | #Constraints: 16621
23.59/23.72 c #Conflicts: 548000 | #Constraints: 17621
23.59/23.72 c #Conflicts: 549000 | #Constraints: 18621
23.59/23.72 c #Conflicts: 550000 | #Constraints: 19621
23.59/23.72 c #Conflicts: 551000 | #Constraints: 20621
23.59/23.72 c #Conflicts: 552000 | #Constraints: 21621
23.59/23.72 c #Conflicts: 553000 | #Constraints: 22621
23.59/23.72 c #Conflicts: 554000 | #Constraints: 23621
23.59/23.72 c #Conflicts: 555000 | #Constraints: 24621
23.59/23.72 c #Conflicts: 556000 | #Constraints: 25621
23.59/23.72 c #Conflicts: 557000 | #Constraints: 26621
23.59/23.72 c #Conflicts: 558000 | #Constraints: 27621
23.59/23.72 c #Conflicts: 559000 | #Constraints: 28621
23.59/23.72 c #Conflicts: 560000 | #Constraints: 29621
23.59/23.72 c #Conflicts: 561000 | #Constraints: 30621
23.59/23.72 c INPROCESSING
23.59/23.72 c GARBAGE COLLECT
23.59/23.72 c rational objective 400.5
24.09/24.29 c #Conflicts: 562000 | #Constraints: 16817
24.09/24.29 c #Conflicts: 563000 | #Constraints: 17817
24.09/24.29 c #Conflicts: 564000 | #Constraints: 18817
24.09/24.29 c #Conflicts: 565000 | #Constraints: 19817
24.09/24.29 c #Conflicts: 566000 | #Constraints: 20817
24.09/24.29 c #Conflicts: 567000 | #Constraints: 21817
24.09/24.29 c #Conflicts: 568000 | #Constraints: 22817
24.09/24.29 c #Conflicts: 569000 | #Constraints: 23817
24.09/24.29 c #Conflicts: 570000 | #Constraints: 24817
24.09/24.29 c #Conflicts: 571000 | #Constraints: 25817
24.09/24.29 c #Conflicts: 572000 | #Constraints: 26817
24.09/24.29 c #Conflicts: 573000 | #Constraints: 27817
24.09/24.29 c #Conflicts: 574000 | #Constraints: 28817
24.09/24.29 c #Conflicts: 575000 | #Constraints: 29817
24.09/24.29 c #Conflicts: 576000 | #Constraints: 30817
24.09/24.29 c INPROCESSING
24.09/24.29 c GARBAGE COLLECT
24.09/24.29 c rational objective 400.5
24.70/24.85 c #Conflicts: 577000 | #Constraints: 16817
24.70/24.85 c #Conflicts: 578000 | #Constraints: 17817
24.70/24.85 c #Conflicts: 579000 | #Constraints: 18817
24.70/24.85 c #Conflicts: 580000 | #Constraints: 19817
24.70/24.85 c #Conflicts: 581000 | #Constraints: 20817
24.70/24.85 c #Conflicts: 582000 | #Constraints: 21817
24.70/24.85 c #Conflicts: 583000 | #Constraints: 22817
24.70/24.85 c #Conflicts: 584000 | #Constraints: 23817
24.70/24.85 c #Conflicts: 585000 | #Constraints: 24817
24.70/24.85 c #Conflicts: 586000 | #Constraints: 25817
24.70/24.85 c #Conflicts: 587000 | #Constraints: 26817
24.70/24.85 c #Conflicts: 588000 | #Constraints: 27817
24.70/24.85 c #Conflicts: 589000 | #Constraints: 28817
24.70/24.85 c #Conflicts: 590000 | #Constraints: 29817
24.70/24.85 c #Conflicts: 591000 | #Constraints: 30817
24.70/24.85 c INPROCESSING
24.70/24.85 c GARBAGE COLLECT
24.70/24.85 c rational objective 400.5
25.39/25.52 c #Conflicts: 592000 | #Constraints: 16612
25.39/25.52 c #Conflicts: 593000 | #Constraints: 17612
25.39/25.52 c #Conflicts: 594000 | #Constraints: 18612
25.39/25.52 c #Conflicts: 595000 | #Constraints: 19612
25.39/25.52 c #Conflicts: 596000 | #Constraints: 20612
25.39/25.52 c #Conflicts: 597000 | #Constraints: 21612
25.39/25.52 c #Conflicts: 598000 | #Constraints: 22612
25.39/25.52 c #Conflicts: 599000 | #Constraints: 23612
25.39/25.52 c #Conflicts: 600000 | #Constraints: 24612
25.39/25.52 c #Conflicts: 601000 | #Constraints: 25612
25.39/25.52 c #Conflicts: 602000 | #Constraints: 26612
25.39/25.52 c #Conflicts: 603000 | #Constraints: 27612
25.39/25.52 c #Conflicts: 604000 | #Constraints: 28612
25.39/25.52 c #Conflicts: 605000 | #Constraints: 29612
25.39/25.52 c #Conflicts: 606000 | #Constraints: 30612
25.39/25.52 c #Conflicts: 607000 | #Constraints: 31612
25.39/25.52 c INPROCESSING
25.39/25.52 c GARBAGE COLLECT
25.39/25.52 c rational objective 400.5
26.00/26.11 c #Conflicts: 608000 | #Constraints: 17226
26.00/26.11 c #Conflicts: 609000 | #Constraints: 18226
26.00/26.11 c #Conflicts: 610000 | #Constraints: 19226
26.00/26.11 c #Conflicts: 611000 | #Constraints: 20226
26.00/26.11 c #Conflicts: 612000 | #Constraints: 21226
26.00/26.11 c #Conflicts: 613000 | #Constraints: 22226
26.00/26.11 c #Conflicts: 614000 | #Constraints: 23226
26.00/26.11 c #Conflicts: 615000 | #Constraints: 24226
26.00/26.11 c #Conflicts: 616000 | #Constraints: 25226
26.00/26.11 c #Conflicts: 617000 | #Constraints: 26226
26.00/26.11 c #Conflicts: 618000 | #Constraints: 27226
26.00/26.11 c #Conflicts: 619000 | #Constraints: 28226
26.00/26.11 c #Conflicts: 620000 | #Constraints: 29226
26.00/26.11 c #Conflicts: 621000 | #Constraints: 30226
26.00/26.11 c #Conflicts: 622000 | #Constraints: 31226
26.00/26.11 c #Conflicts: 623000 | #Constraints: 32226
26.00/26.11 c INPROCESSING
26.00/26.11 c GARBAGE COLLECT
26.00/26.11 c rational objective 400.5
26.59/26.72 c #Conflicts: 624000 | #Constraints: 17618
26.59/26.72 c #Conflicts: 625000 | #Constraints: 18618
26.59/26.72 c #Conflicts: 626000 | #Constraints: 19618
26.59/26.72 c #Conflicts: 627000 | #Constraints: 20618
26.59/26.72 c #Conflicts: 628000 | #Constraints: 21618
26.59/26.72 c #Conflicts: 629000 | #Constraints: 22618
26.59/26.72 c #Conflicts: 630000 | #Constraints: 23618
26.59/26.72 c #Conflicts: 631000 | #Constraints: 24618
26.59/26.72 c #Conflicts: 632000 | #Constraints: 25618
26.59/26.72 c #Conflicts: 633000 | #Constraints: 26618
26.59/26.72 c #Conflicts: 634000 | #Constraints: 27618
26.59/26.72 c #Conflicts: 635000 | #Constraints: 28618
26.59/26.72 c #Conflicts: 636000 | #Constraints: 29618
26.59/26.72 c #Conflicts: 637000 | #Constraints: 30618
26.59/26.72 c #Conflicts: 638000 | #Constraints: 31618
26.59/26.72 c #Conflicts: 639000 | #Constraints: 32618
26.59/26.72 c INPROCESSING
26.59/26.72 c GARBAGE COLLECT
26.59/26.72 c rational objective 400.5
27.19/27.30 c #Conflicts: 640000 | #Constraints: 17815
27.19/27.30 c #Conflicts: 641000 | #Constraints: 18815
27.19/27.30 c #Conflicts: 642000 | #Constraints: 19815
27.19/27.30 c #Conflicts: 643000 | #Constraints: 20815
27.19/27.30 c #Conflicts: 644000 | #Constraints: 21815
27.19/27.30 c #Conflicts: 645000 | #Constraints: 22815
27.19/27.30 c #Conflicts: 646000 | #Constraints: 23815
27.19/27.30 c #Conflicts: 647000 | #Constraints: 24815
27.19/27.30 c #Conflicts: 648000 | #Constraints: 25815
27.19/27.30 c #Conflicts: 649000 | #Constraints: 26815
27.19/27.30 c #Conflicts: 650000 | #Constraints: 27815
27.19/27.30 c #Conflicts: 651000 | #Constraints: 28815
27.19/27.30 c #Conflicts: 652000 | #Constraints: 29815
27.19/27.30 c #Conflicts: 653000 | #Constraints: 30815
27.19/27.30 c #Conflicts: 654000 | #Constraints: 31815
27.19/27.30 c #Conflicts: 655000 | #Constraints: 32815
27.19/27.30 c INPROCESSING
27.19/27.30 c GARBAGE COLLECT
27.19/27.30 c rational objective 400.5
27.78/27.94 c #Conflicts: 656000 | #Constraints: 17819
27.78/27.94 c #Conflicts: 657000 | #Constraints: 18819
27.78/27.94 c #Conflicts: 658000 | #Constraints: 19819
27.78/27.94 c #Conflicts: 659000 | #Constraints: 20819
27.78/27.94 c #Conflicts: 660000 | #Constraints: 21819
27.78/27.94 c #Conflicts: 661000 | #Constraints: 22819
27.78/27.94 c #Conflicts: 662000 | #Constraints: 23819
27.78/27.94 c #Conflicts: 663000 | #Constraints: 24819
27.78/27.94 c #Conflicts: 664000 | #Constraints: 25819
27.78/27.94 c #Conflicts: 665000 | #Constraints: 26819
27.78/27.94 c #Conflicts: 666000 | #Constraints: 27819
27.78/27.94 c #Conflicts: 667000 | #Constraints: 28819
27.78/27.94 c #Conflicts: 668000 | #Constraints: 29819
27.78/27.94 c #Conflicts: 669000 | #Constraints: 30819
27.78/27.94 c #Conflicts: 670000 | #Constraints: 31819
27.78/27.94 c #Conflicts: 671000 | #Constraints: 32819
27.78/27.94 c INPROCESSING
27.78/27.94 c GARBAGE COLLECT
27.78/27.94 c rational objective 400.5
28.38/28.57 c #Conflicts: 672000 | #Constraints: 17618
28.38/28.57 c #Conflicts: 673000 | #Constraints: 18618
28.38/28.57 c #Conflicts: 674000 | #Constraints: 19618
28.38/28.57 c #Conflicts: 675000 | #Constraints: 20618
28.38/28.57 c #Conflicts: 676000 | #Constraints: 21618
28.38/28.57 c #Conflicts: 677000 | #Constraints: 22618
28.38/28.57 c #Conflicts: 678000 | #Constraints: 23618
28.38/28.57 c #Conflicts: 679000 | #Constraints: 24618
28.38/28.57 c #Conflicts: 680000 | #Constraints: 25618
28.38/28.57 c #Conflicts: 681000 | #Constraints: 26618
28.38/28.57 c #Conflicts: 682000 | #Constraints: 27618
28.38/28.57 c #Conflicts: 683000 | #Constraints: 28618
28.38/28.57 c #Conflicts: 684000 | #Constraints: 29618
28.38/28.57 c #Conflicts: 685000 | #Constraints: 30618
28.38/28.57 c #Conflicts: 686000 | #Constraints: 31618
28.38/28.57 c #Conflicts: 687000 | #Constraints: 32618
28.38/28.57 c #Conflicts: 688000 | #Constraints: 33618
28.38/28.57 c INPROCESSING
28.38/28.57 c GARBAGE COLLECT
28.38/28.57 c rational objective 400.5
29.08/29.24 c #Conflicts: 689000 | #Constraints: 18223
29.08/29.24 c #Conflicts: 690000 | #Constraints: 19223
29.08/29.24 c #Conflicts: 691000 | #Constraints: 20223
29.08/29.24 c #Conflicts: 692000 | #Constraints: 21223
29.08/29.24 c #Conflicts: 693000 | #Constraints: 22223
29.08/29.24 c #Conflicts: 694000 | #Constraints: 23223
29.08/29.24 c #Conflicts: 695000 | #Constraints: 24223
29.08/29.24 c #Conflicts: 696000 | #Constraints: 25223
29.08/29.24 c #Conflicts: 697000 | #Constraints: 26223
29.08/29.24 c #Conflicts: 698000 | #Constraints: 27223
29.08/29.24 c #Conflicts: 699000 | #Constraints: 28223
29.08/29.24 c #Conflicts: 700000 | #Constraints: 29223
29.08/29.24 c #Conflicts: 701000 | #Constraints: 30223
29.08/29.24 c #Conflicts: 702000 | #Constraints: 31223
29.08/29.24 c #Conflicts: 703000 | #Constraints: 32223
29.08/29.24 c #Conflicts: 704000 | #Constraints: 33223
29.08/29.24 c #Conflicts: 705000 | #Constraints: 34223
29.08/29.24 c INPROCESSING
29.08/29.24 c GARBAGE COLLECT
29.08/29.24 c rational objective 400.5
29.78/30.00 c #Conflicts: 706000 | #Constraints: 18629
29.78/30.00 c #Conflicts: 707000 | #Constraints: 19629
29.78/30.00 c #Conflicts: 708000 | #Constraints: 20629
29.78/30.00 c #Conflicts: 709000 | #Constraints: 21629
29.78/30.00 c #Conflicts: 710000 | #Constraints: 22629
29.78/30.00 c #Conflicts: 711000 | #Constraints: 23629
29.78/30.00 c #Conflicts: 712000 | #Constraints: 24629
29.78/30.00 c #Conflicts: 713000 | #Constraints: 25629
29.78/30.00 c #Conflicts: 714000 | #Constraints: 26629
29.78/30.00 c #Conflicts: 715000 | #Constraints: 27629
29.78/30.00 c #Conflicts: 716000 | #Constraints: 28629
29.78/30.00 c #Conflicts: 717000 | #Constraints: 29629
29.78/30.00 c #Conflicts: 718000 | #Constraints: 30629
29.78/30.00 c #Conflicts: 719000 | #Constraints: 31629
29.78/30.00 c #Conflicts: 720000 | #Constraints: 32629
29.78/30.00 c #Conflicts: 721000 | #Constraints: 33629
29.78/30.00 c #Conflicts: 722000 | #Constraints: 34629
29.78/30.00 c INPROCESSING
29.78/30.00 c GARBAGE COLLECT
29.78/30.00 c rational objective 400.5
30.58/30.73 c #Conflicts: 723000 | #Constraints: 18838
30.58/30.73 c #Conflicts: 724000 | #Constraints: 19838
30.58/30.73 c #Conflicts: 725000 | #Constraints: 20838
30.58/30.73 c #Conflicts: 726000 | #Constraints: 21838
30.58/30.73 c #Conflicts: 727000 | #Constraints: 22838
30.58/30.73 c #Conflicts: 728000 | #Constraints: 23838
30.58/30.73 c #Conflicts: 729000 | #Constraints: 24838
30.58/30.73 c #Conflicts: 730000 | #Constraints: 25838
30.58/30.73 c #Conflicts: 731000 | #Constraints: 26838
30.58/30.73 c #Conflicts: 732000 | #Constraints: 27838
30.58/30.73 c #Conflicts: 733000 | #Constraints: 28838
30.58/30.73 c #Conflicts: 734000 | #Constraints: 29838
30.58/30.73 c #Conflicts: 735000 | #Constraints: 30838
30.58/30.73 c #Conflicts: 736000 | #Constraints: 31838
30.58/30.73 c #Conflicts: 737000 | #Constraints: 32838
30.58/30.73 c #Conflicts: 738000 | #Constraints: 33838
30.58/30.73 c #Conflicts: 739000 | #Constraints: 34838
30.58/30.73 c INPROCESSING
30.58/30.73 c GARBAGE COLLECT
30.58/30.73 c rational objective 400.5
31.27/31.41 c #Conflicts: 740000 | #Constraints: 18834
31.27/31.41 c #Conflicts: 741000 | #Constraints: 19834
31.27/31.41 c #Conflicts: 742000 | #Constraints: 20834
31.27/31.41 c #Conflicts: 743000 | #Constraints: 21834
31.27/31.41 c #Conflicts: 744000 | #Constraints: 22834
31.27/31.41 c #Conflicts: 745000 | #Constraints: 23834
31.27/31.41 c #Conflicts: 746000 | #Constraints: 24834
31.27/31.41 c #Conflicts: 747000 | #Constraints: 25834
31.27/31.41 c #Conflicts: 748000 | #Constraints: 26834
31.27/31.41 c #Conflicts: 749000 | #Constraints: 27834
31.27/31.41 c #Conflicts: 750000 | #Constraints: 28834
31.27/31.41 c #Conflicts: 751000 | #Constraints: 29834
31.27/31.41 c #Conflicts: 752000 | #Constraints: 30834
31.27/31.41 c #Conflicts: 753000 | #Constraints: 31834
31.27/31.41 c #Conflicts: 754000 | #Constraints: 32834
31.27/31.41 c #Conflicts: 755000 | #Constraints: 33834
31.27/31.41 c #Conflicts: 756000 | #Constraints: 34834
31.27/31.41 c INPROCESSING
31.27/31.41 c GARBAGE COLLECT
31.27/31.41 c rational objective 400.5
31.98/32.10 c #Conflicts: 757000 | #Constraints: 18636
31.98/32.10 c #Conflicts: 758000 | #Constraints: 19636
31.98/32.10 c #Conflicts: 759000 | #Constraints: 20636
31.98/32.10 c #Conflicts: 760000 | #Constraints: 21636
31.98/32.10 c #Conflicts: 761000 | #Constraints: 22636
31.98/32.10 c #Conflicts: 762000 | #Constraints: 23636
31.98/32.10 c #Conflicts: 763000 | #Constraints: 24636
31.98/32.10 c #Conflicts: 764000 | #Constraints: 25636
31.98/32.10 c #Conflicts: 765000 | #Constraints: 26636
31.98/32.10 c #Conflicts: 766000 | #Constraints: 27636
31.98/32.10 c #Conflicts: 767000 | #Constraints: 28636
31.98/32.10 c #Conflicts: 768000 | #Constraints: 29636
31.98/32.10 c #Conflicts: 769000 | #Constraints: 30636
31.98/32.10 c #Conflicts: 770000 | #Constraints: 31636
31.98/32.10 c #Conflicts: 771000 | #Constraints: 32636
31.98/32.10 c #Conflicts: 772000 | #Constraints: 33636
31.98/32.10 c #Conflicts: 773000 | #Constraints: 34636
31.98/32.10 c #Conflicts: 774000 | #Constraints: 35636
31.98/32.10 c INPROCESSING
31.98/32.10 c GARBAGE COLLECT
31.98/32.10 c rational objective 400.5
32.67/32.80 c #Conflicts: 775000 | #Constraints: 19231
32.67/32.80 c #Conflicts: 776000 | #Constraints: 20231
32.67/32.80 c #Conflicts: 777000 | #Constraints: 21231
32.67/32.80 c #Conflicts: 778000 | #Constraints: 22231
32.67/32.80 c #Conflicts: 779000 | #Constraints: 23231
32.67/32.80 c #Conflicts: 780000 | #Constraints: 24231
32.67/32.80 c #Conflicts: 781000 | #Constraints: 25231
32.67/32.80 c #Conflicts: 782000 | #Constraints: 26231
32.67/32.80 c #Conflicts: 783000 | #Constraints: 27231
32.67/32.80 c #Conflicts: 784000 | #Constraints: 28231
32.67/32.80 c #Conflicts: 785000 | #Constraints: 29231
32.67/32.80 c #Conflicts: 786000 | #Constraints: 30231
32.67/32.80 c #Conflicts: 787000 | #Constraints: 31231
32.67/32.80 c #Conflicts: 788000 | #Constraints: 32231
32.67/32.80 c #Conflicts: 789000 | #Constraints: 33231
32.67/32.80 c #Conflicts: 790000 | #Constraints: 34231
32.67/32.80 c #Conflicts: 791000 | #Constraints: 35231
32.67/32.80 c #Conflicts: 792000 | #Constraints: 36231
32.67/32.80 c INPROCESSING
32.67/32.80 c GARBAGE COLLECT
32.67/32.80 c rational objective 400.5
33.37/33.52 c #Conflicts: 793000 | #Constraints: 19637
33.37/33.52 c #Conflicts: 794000 | #Constraints: 20637
33.37/33.52 c #Conflicts: 795000 | #Constraints: 21637
33.37/33.52 c #Conflicts: 796000 | #Constraints: 22637
33.37/33.52 c #Conflicts: 797000 | #Constraints: 23637
33.37/33.52 c #Conflicts: 798000 | #Constraints: 24637
33.37/33.52 c #Conflicts: 799000 | #Constraints: 25637
33.37/33.52 c #Conflicts: 800000 | #Constraints: 26637
33.37/33.52 c #Conflicts: 801000 | #Constraints: 27637
33.37/33.52 c #Conflicts: 802000 | #Constraints: 28637
33.37/33.52 c #Conflicts: 803000 | #Constraints: 29637
33.37/33.52 c #Conflicts: 804000 | #Constraints: 30637
33.37/33.52 c #Conflicts: 805000 | #Constraints: 31637
33.37/33.52 c #Conflicts: 806000 | #Constraints: 32637
33.37/33.52 c #Conflicts: 807000 | #Constraints: 33637
33.37/33.52 c #Conflicts: 808000 | #Constraints: 34637
33.37/33.52 c #Conflicts: 809000 | #Constraints: 35637
33.37/33.52 c #Conflicts: 810000 | #Constraints: 36637
33.37/33.52 c INPROCESSING
33.37/33.52 c GARBAGE COLLECT
33.37/33.52 c rational objective 400.5
34.10/34.30 c #Conflicts: 811000 | #Constraints: 19839
34.10/34.30 c #Conflicts: 812000 | #Constraints: 20839
34.10/34.30 c #Conflicts: 813000 | #Constraints: 21839
34.10/34.30 c #Conflicts: 814000 | #Constraints: 22839
34.10/34.30 c #Conflicts: 815000 | #Constraints: 23839
34.10/34.30 c #Conflicts: 816000 | #Constraints: 24839
34.10/34.30 c #Conflicts: 817000 | #Constraints: 25839
34.10/34.30 c #Conflicts: 818000 | #Constraints: 26839
34.10/34.30 c #Conflicts: 819000 | #Constraints: 27839
34.10/34.30 c #Conflicts: 820000 | #Constraints: 28839
34.10/34.30 c #Conflicts: 821000 | #Constraints: 29839
34.10/34.30 c #Conflicts: 822000 | #Constraints: 30839
34.10/34.30 c #Conflicts: 823000 | #Constraints: 31839
34.10/34.30 c #Conflicts: 824000 | #Constraints: 32839
34.10/34.30 c #Conflicts: 825000 | #Constraints: 33839
34.10/34.30 c #Conflicts: 826000 | #Constraints: 34839
34.10/34.30 c #Conflicts: 827000 | #Constraints: 35839
34.10/34.30 c #Conflicts: 828000 | #Constraints: 36839
34.10/34.30 c INPROCESSING
34.10/34.30 c GARBAGE COLLECT
34.10/34.30 c rational objective 400.5
34.81/35.09 c #Conflicts: 829000 | #Constraints: 19848
34.81/35.09 c #Conflicts: 830000 | #Constraints: 20848
34.81/35.09 c #Conflicts: 831000 | #Constraints: 21848
34.81/35.09 c #Conflicts: 832000 | #Constraints: 22848
34.81/35.09 c #Conflicts: 833000 | #Constraints: 23848
34.81/35.09 c #Conflicts: 834000 | #Constraints: 24848
34.81/35.09 c #Conflicts: 835000 | #Constraints: 25848
34.81/35.09 c #Conflicts: 836000 | #Constraints: 26848
34.81/35.09 c #Conflicts: 837000 | #Constraints: 27848
34.81/35.09 c #Conflicts: 838000 | #Constraints: 28848
34.81/35.09 c #Conflicts: 839000 | #Constraints: 29848
34.81/35.09 c #Conflicts: 840000 | #Constraints: 30848
34.81/35.09 c #Conflicts: 841000 | #Constraints: 31848
34.81/35.09 c #Conflicts: 842000 | #Constraints: 32848
34.81/35.09 c #Conflicts: 843000 | #Constraints: 33848
34.81/35.09 c #Conflicts: 844000 | #Constraints: 34848
34.81/35.09 c #Conflicts: 845000 | #Constraints: 35848
34.81/35.09 c #Conflicts: 846000 | #Constraints: 36848
34.81/35.09 c INPROCESSING
34.81/35.09 c GARBAGE COLLECT
34.81/35.09 c rational objective 400.5
35.59/35.80 c #Conflicts: 847000 | #Constraints: 19645
35.59/35.80 c #Conflicts: 848000 | #Constraints: 20645
35.59/35.80 c #Conflicts: 849000 | #Constraints: 21645
35.59/35.80 c #Conflicts: 850000 | #Constraints: 22645
35.59/35.80 c #Conflicts: 851000 | #Constraints: 23645
35.59/35.80 c #Conflicts: 852000 | #Constraints: 24645
35.59/35.80 c #Conflicts: 853000 | #Constraints: 25645
35.59/35.80 c #Conflicts: 854000 | #Constraints: 26645
35.59/35.80 c #Conflicts: 855000 | #Constraints: 27645
35.59/35.80 c #Conflicts: 856000 | #Constraints: 28645
35.59/35.80 c #Conflicts: 857000 | #Constraints: 29645
35.59/35.80 c #Conflicts: 858000 | #Constraints: 30645
35.59/35.80 c #Conflicts: 859000 | #Constraints: 31645
35.59/35.80 c #Conflicts: 860000 | #Constraints: 32645
35.59/35.80 c #Conflicts: 861000 | #Constraints: 33645
35.59/35.80 c #Conflicts: 862000 | #Constraints: 34645
35.59/35.80 c #Conflicts: 863000 | #Constraints: 35645
35.59/35.80 c #Conflicts: 864000 | #Constraints: 36645
35.59/35.80 c #Conflicts: 865000 | #Constraints: 37645
35.59/35.80 c INPROCESSING
35.59/35.80 c GARBAGE COLLECT
35.59/35.80 c rational objective 400.5
36.30/36.53 c #Conflicts: 866000 | #Constraints: 20243
36.30/36.53 c #Conflicts: 867000 | #Constraints: 21243
36.30/36.53 c #Conflicts: 868000 | #Constraints: 22243
36.30/36.53 c #Conflicts: 869000 | #Constraints: 23243
36.30/36.53 c #Conflicts: 870000 | #Constraints: 24243
36.30/36.53 c #Conflicts: 871000 | #Constraints: 25243
36.30/36.53 c #Conflicts: 872000 | #Constraints: 26243
36.30/36.53 c #Conflicts: 873000 | #Constraints: 27243
36.30/36.53 c #Conflicts: 874000 | #Constraints: 28243
36.30/36.53 c #Conflicts: 875000 | #Constraints: 29243
36.30/36.53 c #Conflicts: 876000 | #Constraints: 30243
36.30/36.53 c #Conflicts: 877000 | #Constraints: 31243
36.30/36.53 c #Conflicts: 878000 | #Constraints: 32243
36.30/36.53 c #Conflicts: 879000 | #Constraints: 33243
36.30/36.53 c #Conflicts: 880000 | #Constraints: 34243
36.30/36.53 c #Conflicts: 881000 | #Constraints: 35243
36.30/36.53 c #Conflicts: 882000 | #Constraints: 36243
36.30/36.53 c #Conflicts: 883000 | #Constraints: 37243
36.30/36.53 c #Conflicts: 884000 | #Constraints: 38243
36.30/36.53 c INPROCESSING
36.30/36.53 c GARBAGE COLLECT
36.30/36.53 c rational objective 400.5
37.00/37.29 c #Conflicts: 885000 | #Constraints: 20650
37.00/37.29 c #Conflicts: 886000 | #Constraints: 21650
37.00/37.29 c #Conflicts: 887000 | #Constraints: 22650
37.00/37.29 c #Conflicts: 888000 | #Constraints: 23650
37.00/37.29 c #Conflicts: 889000 | #Constraints: 24650
37.00/37.29 c #Conflicts: 890000 | #Constraints: 25650
37.00/37.29 c #Conflicts: 891000 | #Constraints: 26650
37.00/37.29 c #Conflicts: 892000 | #Constraints: 27650
37.00/37.29 c #Conflicts: 893000 | #Constraints: 28650
37.00/37.29 c #Conflicts: 894000 | #Constraints: 29650
37.00/37.29 c #Conflicts: 895000 | #Constraints: 30650
37.00/37.29 c #Conflicts: 896000 | #Constraints: 31650
37.00/37.29 c #Conflicts: 897000 | #Constraints: 32650
37.00/37.29 c #Conflicts: 898000 | #Constraints: 33650
37.00/37.29 c #Conflicts: 899000 | #Constraints: 34650
37.00/37.29 c #Conflicts: 900000 | #Constraints: 35650
37.00/37.29 c #Conflicts: 901000 | #Constraints: 36650
37.00/37.29 c #Conflicts: 902000 | #Constraints: 37650
37.00/37.29 c #Conflicts: 903000 | #Constraints: 38650
37.00/37.29 c INPROCESSING
37.00/37.29 c GARBAGE COLLECT
37.00/37.29 c rational objective 400.5
37.80/38.05 c #Conflicts: 904000 | #Constraints: 20841
37.80/38.05 c #Conflicts: 905000 | #Constraints: 21841
37.80/38.05 c #Conflicts: 906000 | #Constraints: 22841
37.80/38.05 c #Conflicts: 907000 | #Constraints: 23841
37.80/38.05 c #Conflicts: 908000 | #Constraints: 24841
37.80/38.05 c #Conflicts: 909000 | #Constraints: 25841
37.80/38.05 c #Conflicts: 910000 | #Constraints: 26841
37.80/38.05 c #Conflicts: 911000 | #Constraints: 27841
37.80/38.05 c #Conflicts: 912000 | #Constraints: 28841
37.80/38.05 c #Conflicts: 913000 | #Constraints: 29841
37.80/38.05 c #Conflicts: 914000 | #Constraints: 30841
37.80/38.05 c #Conflicts: 915000 | #Constraints: 31841
37.80/38.05 c #Conflicts: 916000 | #Constraints: 32841
37.80/38.05 c #Conflicts: 917000 | #Constraints: 33841
37.80/38.05 c #Conflicts: 918000 | #Constraints: 34841
37.80/38.05 c #Conflicts: 919000 | #Constraints: 35841
37.80/38.05 c #Conflicts: 920000 | #Constraints: 36841
37.80/38.05 c #Conflicts: 921000 | #Constraints: 37841
37.80/38.05 c #Conflicts: 922000 | #Constraints: 38841
37.80/38.05 c INPROCESSING
37.80/38.05 c GARBAGE COLLECT
37.80/38.05 c rational objective 400.5
38.69/38.90 c #Conflicts: 923000 | #Constraints: 20845
38.69/38.90 c #Conflicts: 924000 | #Constraints: 21845
38.69/38.90 c #Conflicts: 925000 | #Constraints: 22845
38.69/38.90 c #Conflicts: 926000 | #Constraints: 23845
38.69/38.90 c #Conflicts: 927000 | #Constraints: 24845
38.69/38.90 c #Conflicts: 928000 | #Constraints: 25845
38.69/38.90 c #Conflicts: 929000 | #Constraints: 26845
38.69/38.90 c #Conflicts: 930000 | #Constraints: 27845
38.69/38.90 c #Conflicts: 931000 | #Constraints: 28845
38.69/38.90 c #Conflicts: 932000 | #Constraints: 29845
38.69/38.90 c #Conflicts: 933000 | #Constraints: 30845
38.69/38.90 c #Conflicts: 934000 | #Constraints: 31845
38.69/38.90 c #Conflicts: 935000 | #Constraints: 32845
38.69/38.90 c #Conflicts: 936000 | #Constraints: 33845
38.69/38.90 c #Conflicts: 937000 | #Constraints: 34845
38.69/38.90 c #Conflicts: 938000 | #Constraints: 35845
38.69/38.90 c #Conflicts: 939000 | #Constraints: 36845
38.69/38.90 c #Conflicts: 940000 | #Constraints: 37845
38.69/38.90 c #Conflicts: 941000 | #Constraints: 38845
38.69/38.90 c INPROCESSING
38.69/38.90 c GARBAGE COLLECT
38.69/38.90 c rational objective 400.5
39.49/39.74 c #Conflicts: 942000 | #Constraints: 20646
39.49/39.74 c #Conflicts: 943000 | #Constraints: 21646
39.49/39.74 c #Conflicts: 944000 | #Constraints: 22646
39.49/39.74 c #Conflicts: 945000 | #Constraints: 23646
39.49/39.74 c #Conflicts: 946000 | #Constraints: 24646
39.49/39.74 c #Conflicts: 947000 | #Constraints: 25646
39.49/39.74 c #Conflicts: 948000 | #Constraints: 26646
39.49/39.74 c #Conflicts: 949000 | #Constraints: 27646
39.49/39.74 c #Conflicts: 950000 | #Constraints: 28646
39.49/39.74 c #Conflicts: 951000 | #Constraints: 29646
39.49/39.74 c #Conflicts: 952000 | #Constraints: 30646
39.49/39.74 c #Conflicts: 953000 | #Constraints: 31646
39.49/39.74 c #Conflicts: 954000 | #Constraints: 32646
39.49/39.74 c #Conflicts: 955000 | #Constraints: 33646
39.49/39.74 c #Conflicts: 956000 | #Constraints: 34646
39.49/39.74 c #Conflicts: 957000 | #Constraints: 35646
39.49/39.74 c #Conflicts: 958000 | #Constraints: 36646
39.49/39.74 c #Conflicts: 959000 | #Constraints: 37646
39.49/39.74 c #Conflicts: 960000 | #Constraints: 38646
39.49/39.74 c #Conflicts: 961000 | #Constraints: 39646
39.49/39.74 c INPROCESSING
39.49/39.74 c GARBAGE COLLECT
39.49/39.74 c rational objective 400.5
40.29/40.58 c #Conflicts: 962000 | #Constraints: 21261
40.29/40.58 c #Conflicts: 963000 | #Constraints: 22261
40.29/40.58 c #Conflicts: 964000 | #Constraints: 23261
40.29/40.58 c #Conflicts: 965000 | #Constraints: 24261
40.29/40.58 c #Conflicts: 966000 | #Constraints: 25261
40.29/40.58 c #Conflicts: 967000 | #Constraints: 26261
40.29/40.58 c #Conflicts: 968000 | #Constraints: 27261
40.29/40.58 c #Conflicts: 969000 | #Constraints: 28261
40.29/40.58 c #Conflicts: 970000 | #Constraints: 29261
40.29/40.58 c #Conflicts: 971000 | #Constraints: 30261
40.29/40.58 c #Conflicts: 972000 | #Constraints: 31261
40.29/40.58 c #Conflicts: 973000 | #Constraints: 32261
40.29/40.58 c #Conflicts: 974000 | #Constraints: 33261
40.29/40.58 c #Conflicts: 975000 | #Constraints: 34261
40.29/40.58 c #Conflicts: 976000 | #Constraints: 35261
40.29/40.58 c #Conflicts: 977000 | #Constraints: 36261
40.29/40.58 c #Conflicts: 978000 | #Constraints: 37261
40.29/40.58 c #Conflicts: 979000 | #Constraints: 38261
40.29/40.58 c #Conflicts: 980000 | #Constraints: 39261
40.29/40.58 c #Conflicts: 981000 | #Constraints: 40261
40.29/40.58 c INPROCESSING
40.29/40.58 c GARBAGE COLLECT
40.29/40.58 c rational objective 400.5
41.18/41.47 c #Conflicts: 982000 | #Constraints: 21656
41.18/41.47 c #Conflicts: 983000 | #Constraints: 22656
41.18/41.47 c #Conflicts: 984000 | #Constraints: 23656
41.18/41.47 c #Conflicts: 985000 | #Constraints: 24656
41.18/41.47 c #Conflicts: 986000 | #Constraints: 25656
41.18/41.47 c #Conflicts: 987000 | #Constraints: 26656
41.18/41.47 c #Conflicts: 988000 | #Constraints: 27656
41.18/41.47 c #Conflicts: 989000 | #Constraints: 28656
41.18/41.47 c #Conflicts: 990000 | #Constraints: 29656
41.18/41.47 c #Conflicts: 991000 | #Constraints: 30656
41.18/41.47 c #Conflicts: 992000 | #Constraints: 31656
41.18/41.47 c #Conflicts: 993000 | #Constraints: 32656
41.18/41.47 c #Conflicts: 994000 | #Constraints: 33656
41.18/41.47 c #Conflicts: 995000 | #Constraints: 34656
41.18/41.47 c #Conflicts: 996000 | #Constraints: 35656
41.18/41.47 c #Conflicts: 997000 | #Constraints: 36656
41.18/41.47 c #Conflicts: 998000 | #Constraints: 37656
41.18/41.47 c #Conflicts: 999000 | #Constraints: 38656
41.18/41.47 c #Conflicts: 1000000 | #Constraints: 39656
41.18/41.47 c #Conflicts: 1001000 | #Constraints: 40656
41.18/41.47 c INPROCESSING
41.18/41.47 c GARBAGE COLLECT
41.18/41.47 c rational objective 400.5
42.09/42.34 c #Conflicts: 1002000 | #Constraints: 21853
42.09/42.34 c #Conflicts: 1003000 | #Constraints: 22853
42.09/42.34 c #Conflicts: 1004000 | #Constraints: 23853
42.09/42.34 c #Conflicts: 1005000 | #Constraints: 24853
42.09/42.34 c #Conflicts: 1006000 | #Constraints: 25853
42.09/42.34 c #Conflicts: 1007000 | #Constraints: 26853
42.09/42.34 c #Conflicts: 1008000 | #Constraints: 27853
42.09/42.34 c #Conflicts: 1009000 | #Constraints: 28853
42.09/42.34 c #Conflicts: 1010000 | #Constraints: 29853
42.09/42.34 c #Conflicts: 1011000 | #Constraints: 30853
42.09/42.34 c #Conflicts: 1012000 | #Constraints: 31853
42.09/42.34 c #Conflicts: 1013000 | #Constraints: 32853
42.09/42.34 c #Conflicts: 1014000 | #Constraints: 33853
42.09/42.34 c #Conflicts: 1015000 | #Constraints: 34853
42.09/42.34 c #Conflicts: 1016000 | #Constraints: 35853
42.09/42.34 c #Conflicts: 1017000 | #Constraints: 36853
42.09/42.34 c #Conflicts: 1018000 | #Constraints: 37853
42.09/42.34 c #Conflicts: 1019000 | #Constraints: 38853
42.09/42.34 c #Conflicts: 1020000 | #Constraints: 39853
42.09/42.34 c #Conflicts: 1021000 | #Constraints: 40853
42.09/42.34 c INPROCESSING
42.09/42.34 c GARBAGE COLLECT
42.09/42.34 c rational objective 400.5
42.98/43.28 c #Conflicts: 1022000 | #Constraints: 21859
42.98/43.28 c #Conflicts: 1023000 | #Constraints: 22859
42.98/43.28 c #Conflicts: 1024000 | #Constraints: 23859
42.98/43.28 c #Conflicts: 1025000 | #Constraints: 24859
42.98/43.28 c #Conflicts: 1026000 | #Constraints: 25859
42.98/43.28 c #Conflicts: 1027000 | #Constraints: 26859
42.98/43.28 c #Conflicts: 1028000 | #Constraints: 27859
42.98/43.28 c #Conflicts: 1029000 | #Constraints: 28859
42.98/43.28 c #Conflicts: 1030000 | #Constraints: 29859
42.98/43.28 c #Conflicts: 1031000 | #Constraints: 30859
42.98/43.28 c #Conflicts: 1032000 | #Constraints: 31859
42.98/43.28 c #Conflicts: 1033000 | #Constraints: 32859
42.98/43.28 c #Conflicts: 1034000 | #Constraints: 33859
42.98/43.28 c #Conflicts: 1035000 | #Constraints: 34859
42.98/43.28 c #Conflicts: 1036000 | #Constraints: 35859
42.98/43.28 c #Conflicts: 1037000 | #Constraints: 36859
42.98/43.28 c #Conflicts: 1038000 | #Constraints: 37859
42.98/43.28 c #Conflicts: 1039000 | #Constraints: 38859
42.98/43.28 c #Conflicts: 1040000 | #Constraints: 39859
42.98/43.28 c #Conflicts: 1041000 | #Constraints: 40859
42.98/43.28 c INPROCESSING
42.98/43.28 c GARBAGE COLLECT
42.98/43.28 c rational objective 400.5
43.88/44.16 c #Conflicts: 1042000 | #Constraints: 21655
43.88/44.16 c #Conflicts: 1043000 | #Constraints: 22655
43.88/44.16 c #Conflicts: 1044000 | #Constraints: 23655
43.88/44.16 c #Conflicts: 1045000 | #Constraints: 24655
43.88/44.16 c #Conflicts: 1046000 | #Constraints: 25655
43.88/44.16 c #Conflicts: 1047000 | #Constraints: 26655
43.88/44.16 c #Conflicts: 1048000 | #Constraints: 27655
43.88/44.16 c #Conflicts: 1049000 | #Constraints: 28655
43.88/44.16 c #Conflicts: 1050000 | #Constraints: 29655
43.88/44.16 c #Conflicts: 1051000 | #Constraints: 30655
43.88/44.16 c #Conflicts: 1052000 | #Constraints: 31655
43.88/44.16 c #Conflicts: 1053000 | #Constraints: 32655
43.88/44.16 c #Conflicts: 1054000 | #Constraints: 33655
43.88/44.16 c #Conflicts: 1055000 | #Constraints: 34655
43.88/44.16 c #Conflicts: 1056000 | #Constraints: 35655
43.88/44.16 c #Conflicts: 1057000 | #Constraints: 36655
43.88/44.16 c #Conflicts: 1058000 | #Constraints: 37655
43.88/44.16 c #Conflicts: 1059000 | #Constraints: 38655
43.88/44.16 c #Conflicts: 1060000 | #Constraints: 39655
43.88/44.16 c #Conflicts: 1061000 | #Constraints: 40655
43.88/44.16 c #Conflicts: 1062000 | #Constraints: 41655
43.88/44.16 c INPROCESSING
43.88/44.16 c GARBAGE COLLECT
43.88/44.16 c rational objective 400.5
44.88/45.11 c #Conflicts: 1063000 | #Constraints: 22251
44.88/45.11 c #Conflicts: 1064000 | #Constraints: 23251
44.88/45.11 c #Conflicts: 1065000 | #Constraints: 24251
44.88/45.11 c #Conflicts: 1066000 | #Constraints: 25251
44.88/45.11 c #Conflicts: 1067000 | #Constraints: 26251
44.88/45.11 c #Conflicts: 1068000 | #Constraints: 27251
44.88/45.11 c #Conflicts: 1069000 | #Constraints: 28251
44.88/45.11 c #Conflicts: 1070000 | #Constraints: 29251
44.88/45.11 c #Conflicts: 1071000 | #Constraints: 30251
44.88/45.11 c #Conflicts: 1072000 | #Constraints: 31251
44.88/45.11 c #Conflicts: 1073000 | #Constraints: 32251
44.88/45.11 c #Conflicts: 1074000 | #Constraints: 33251
44.88/45.11 c #Conflicts: 1075000 | #Constraints: 34251
44.88/45.11 c #Conflicts: 1076000 | #Constraints: 35251
44.88/45.11 c #Conflicts: 1077000 | #Constraints: 36251
44.88/45.11 c #Conflicts: 1078000 | #Constraints: 37251
44.88/45.11 c #Conflicts: 1079000 | #Constraints: 38251
44.88/45.11 c #Conflicts: 1080000 | #Constraints: 39251
44.88/45.11 c #Conflicts: 1081000 | #Constraints: 40251
44.88/45.11 c #Conflicts: 1082000 | #Constraints: 41251
44.88/45.11 c #Conflicts: 1083000 | #Constraints: 42251
44.88/45.11 c INPROCESSING
44.88/45.11 c GARBAGE COLLECT
44.88/45.11 c rational objective 400.5
45.78/46.05 c #Conflicts: 1084000 | #Constraints: 22664
45.78/46.05 c #Conflicts: 1085000 | #Constraints: 23664
45.78/46.05 c #Conflicts: 1086000 | #Constraints: 24664
45.78/46.05 c #Conflicts: 1087000 | #Constraints: 25664
45.78/46.05 c #Conflicts: 1088000 | #Constraints: 26664
45.78/46.05 c #Conflicts: 1089000 | #Constraints: 27664
45.78/46.05 c #Conflicts: 1090000 | #Constraints: 28664
45.78/46.05 c #Conflicts: 1091000 | #Constraints: 29664
45.78/46.05 c #Conflicts: 1092000 | #Constraints: 30664
45.78/46.05 c #Conflicts: 1093000 | #Constraints: 31664
45.78/46.05 c #Conflicts: 1094000 | #Constraints: 32664
45.78/46.05 c #Conflicts: 1095000 | #Constraints: 33664
45.78/46.05 c #Conflicts: 1096000 | #Constraints: 34664
45.78/46.05 c #Conflicts: 1097000 | #Constraints: 35664
45.78/46.05 c #Conflicts: 1098000 | #Constraints: 36664
45.78/46.05 c #Conflicts: 1099000 | #Constraints: 37664
45.78/46.05 c #Conflicts: 1100000 | #Constraints: 38664
45.78/46.05 c #Conflicts: 1101000 | #Constraints: 39664
45.78/46.05 c #Conflicts: 1102000 | #Constraints: 40664
45.78/46.05 c #Conflicts: 1103000 | #Constraints: 41664
45.78/46.05 c #Conflicts: 1104000 | #Constraints: 42664
45.78/46.05 c INPROCESSING
45.78/46.05 c GARBAGE COLLECT
45.78/46.05 c rational objective 400.5
46.77/47.05 c #Conflicts: 1105000 | #Constraints: 22871
46.77/47.05 c #Conflicts: 1106000 | #Constraints: 23871
46.77/47.05 c #Conflicts: 1107000 | #Constraints: 24871
46.77/47.05 c #Conflicts: 1108000 | #Constraints: 25871
46.77/47.05 c #Conflicts: 1109000 | #Constraints: 26871
46.77/47.05 c #Conflicts: 1110000 | #Constraints: 27871
46.77/47.05 c #Conflicts: 1111000 | #Constraints: 28871
46.77/47.05 c #Conflicts: 1112000 | #Constraints: 29871
46.77/47.05 c #Conflicts: 1113000 | #Constraints: 30871
46.77/47.05 c #Conflicts: 1114000 | #Constraints: 31871
46.77/47.05 c #Conflicts: 1115000 | #Constraints: 32871
46.77/47.05 c #Conflicts: 1116000 | #Constraints: 33871
46.77/47.05 c #Conflicts: 1117000 | #Constraints: 34871
46.77/47.05 c #Conflicts: 1118000 | #Constraints: 35871
46.77/47.05 c #Conflicts: 1119000 | #Constraints: 36871
46.77/47.05 c #Conflicts: 1120000 | #Constraints: 37871
46.77/47.05 c #Conflicts: 1121000 | #Constraints: 38871
46.77/47.05 c #Conflicts: 1122000 | #Constraints: 39871
46.77/47.05 c #Conflicts: 1123000 | #Constraints: 40871
46.77/47.05 c #Conflicts: 1124000 | #Constraints: 41871
46.77/47.05 c #Conflicts: 1125000 | #Constraints: 42871
46.77/47.05 c INPROCESSING
46.77/47.05 c GARBAGE COLLECT
46.77/47.05 c rational objective 400.5
47.67/47.92 c #Conflicts: 1126000 | #Constraints: 22869
47.67/47.92 c #Conflicts: 1127000 | #Constraints: 23869
47.67/47.92 c #Conflicts: 1128000 | #Constraints: 24869
47.67/47.92 c #Conflicts: 1129000 | #Constraints: 25869
47.67/47.92 c #Conflicts: 1130000 | #Constraints: 26869
47.67/47.92 c #Conflicts: 1131000 | #Constraints: 27869
47.67/47.92 c #Conflicts: 1132000 | #Constraints: 28869
47.67/47.92 c #Conflicts: 1133000 | #Constraints: 29869
47.67/47.92 c #Conflicts: 1134000 | #Constraints: 30869
47.67/47.92 c #Conflicts: 1135000 | #Constraints: 31869
47.67/47.92 c #Conflicts: 1136000 | #Constraints: 32869
47.67/47.92 c #Conflicts: 1137000 | #Constraints: 33869
47.67/47.92 c #Conflicts: 1138000 | #Constraints: 34869
47.67/47.92 c #Conflicts: 1139000 | #Constraints: 35869
47.67/47.92 c #Conflicts: 1140000 | #Constraints: 36869
47.67/47.92 c #Conflicts: 1141000 | #Constraints: 37869
47.67/47.92 c #Conflicts: 1142000 | #Constraints: 38869
47.67/47.92 c #Conflicts: 1143000 | #Constraints: 39869
47.67/47.92 c #Conflicts: 1144000 | #Constraints: 40869
47.67/47.92 c #Conflicts: 1145000 | #Constraints: 41869
47.67/47.92 c #Conflicts: 1146000 | #Constraints: 42869
47.67/47.92 c INPROCESSING
47.67/47.92 c GARBAGE COLLECT
47.67/47.92 c rational objective 400.5
48.56/48.83 c #Conflicts: 1147000 | #Constraints: 22663
48.56/48.83 c #Conflicts: 1148000 | #Constraints: 23663
48.56/48.83 c #Conflicts: 1149000 | #Constraints: 24663
48.56/48.83 c #Conflicts: 1150000 | #Constraints: 25663
48.56/48.83 c #Conflicts: 1151000 | #Constraints: 26663
48.56/48.83 c #Conflicts: 1152000 | #Constraints: 27663
48.56/48.83 c #Conflicts: 1153000 | #Constraints: 28663
48.56/48.83 c #Conflicts: 1154000 | #Constraints: 29663
48.56/48.83 c #Conflicts: 1155000 | #Constraints: 30663
48.56/48.83 c #Conflicts: 1156000 | #Constraints: 31663
48.56/48.83 c #Conflicts: 1157000 | #Constraints: 32663
48.56/48.83 c #Conflicts: 1158000 | #Constraints: 33663
48.56/48.83 c #Conflicts: 1159000 | #Constraints: 34663
48.56/48.83 c #Conflicts: 1160000 | #Constraints: 35663
48.56/48.83 c #Conflicts: 1161000 | #Constraints: 36663
48.56/48.83 c #Conflicts: 1162000 | #Constraints: 37663
48.56/48.83 c #Conflicts: 1163000 | #Constraints: 38663
48.56/48.83 c #Conflicts: 1164000 | #Constraints: 39663
48.56/48.83 c #Conflicts: 1165000 | #Constraints: 40663
48.56/48.83 c #Conflicts: 1166000 | #Constraints: 41663
48.56/48.83 c #Conflicts: 1167000 | #Constraints: 42663
48.56/48.83 c #Conflicts: 1168000 | #Constraints: 43663
48.56/48.83 c INPROCESSING
48.56/48.83 c GARBAGE COLLECT
48.56/48.83 c rational objective 400.5
49.46/49.71 c #Conflicts: 1169000 | #Constraints: 23260
49.46/49.71 c #Conflicts: 1170000 | #Constraints: 24260
49.46/49.71 c #Conflicts: 1171000 | #Constraints: 25260
49.46/49.71 c #Conflicts: 1172000 | #Constraints: 26260
49.46/49.71 c #Conflicts: 1173000 | #Constraints: 27260
49.46/49.71 c #Conflicts: 1174000 | #Constraints: 28260
49.46/49.71 c #Conflicts: 1175000 | #Constraints: 29260
49.46/49.71 c #Conflicts: 1176000 | #Constraints: 30260
49.46/49.71 c #Conflicts: 1177000 | #Constraints: 31260
49.46/49.71 c #Conflicts: 1178000 | #Constraints: 32260
49.46/49.71 c #Conflicts: 1179000 | #Constraints: 33260
49.46/49.71 c #Conflicts: 1180000 | #Constraints: 34260
49.46/49.71 c #Conflicts: 1181000 | #Constraints: 35260
49.46/49.71 c #Conflicts: 1182000 | #Constraints: 36260
49.46/49.71 c #Conflicts: 1183000 | #Constraints: 37260
49.46/49.71 c #Conflicts: 1184000 | #Constraints: 38260
49.46/49.71 c #Conflicts: 1185000 | #Constraints: 39260
49.46/49.71 c #Conflicts: 1186000 | #Constraints: 40260
49.46/49.71 c #Conflicts: 1187000 | #Constraints: 41260
49.46/49.71 c #Conflicts: 1188000 | #Constraints: 42260
49.46/49.71 c #Conflicts: 1189000 | #Constraints: 43260
49.46/49.71 c #Conflicts: 1190000 | #Constraints: 44260
49.46/49.71 c INPROCESSING
49.46/49.71 c GARBAGE COLLECT
49.46/49.71 c rational objective 400.5
50.36/50.67 c #Conflicts: 1191000 | #Constraints: 23662
50.36/50.67 c #Conflicts: 1192000 | #Constraints: 24662
50.36/50.67 c #Conflicts: 1193000 | #Constraints: 25662
50.36/50.67 c #Conflicts: 1194000 | #Constraints: 26662
50.36/50.67 c #Conflicts: 1195000 | #Constraints: 27662
50.36/50.67 c #Conflicts: 1196000 | #Constraints: 28662
50.36/50.67 c #Conflicts: 1197000 | #Constraints: 29662
50.36/50.67 c #Conflicts: 1198000 | #Constraints: 30662
50.36/50.67 c #Conflicts: 1199000 | #Constraints: 31662
50.36/50.67 c #Conflicts: 1200000 | #Constraints: 32662
50.36/50.67 c #Conflicts: 1201000 | #Constraints: 33662
50.36/50.67 c #Conflicts: 1202000 | #Constraints: 34662
50.36/50.67 c #Conflicts: 1203000 | #Constraints: 35662
50.36/50.67 c #Conflicts: 1204000 | #Constraints: 36662
50.36/50.67 c #Conflicts: 1205000 | #Constraints: 37662
50.36/50.67 c #Conflicts: 1206000 | #Constraints: 38662
50.36/50.67 c #Conflicts: 1207000 | #Constraints: 39662
50.36/50.67 c #Conflicts: 1208000 | #Constraints: 40662
50.36/50.67 c #Conflicts: 1209000 | #Constraints: 41662
50.36/50.67 c #Conflicts: 1210000 | #Constraints: 42662
50.36/50.67 c #Conflicts: 1211000 | #Constraints: 43662
50.36/50.67 c #Conflicts: 1212000 | #Constraints: 44662
50.36/50.67 c INPROCESSING
50.36/50.67 c GARBAGE COLLECT
50.36/50.67 c rational objective 400.5
51.36/51.62 c #Conflicts: 1213000 | #Constraints: 23866
51.36/51.62 c #Conflicts: 1214000 | #Constraints: 24866
51.36/51.62 c #Conflicts: 1215000 | #Constraints: 25866
51.36/51.62 c #Conflicts: 1216000 | #Constraints: 26866
51.36/51.62 c #Conflicts: 1217000 | #Constraints: 27866
51.36/51.62 c #Conflicts: 1218000 | #Constraints: 28866
51.36/51.62 c #Conflicts: 1219000 | #Constraints: 29866
51.36/51.62 c #Conflicts: 1220000 | #Constraints: 30866
51.36/51.62 c #Conflicts: 1221000 | #Constraints: 31866
51.36/51.62 c #Conflicts: 1222000 | #Constraints: 32866
51.36/51.62 c #Conflicts: 1223000 | #Constraints: 33866
51.36/51.62 c #Conflicts: 1224000 | #Constraints: 34866
51.36/51.62 c #Conflicts: 1225000 | #Constraints: 35866
51.36/51.62 c #Conflicts: 1226000 | #Constraints: 36866
51.36/51.62 c #Conflicts: 1227000 | #Constraints: 37866
51.36/51.62 c #Conflicts: 1228000 | #Constraints: 38866
51.36/51.62 c #Conflicts: 1229000 | #Constraints: 39866
51.36/51.62 c #Conflicts: 1230000 | #Constraints: 40866
51.36/51.62 c #Conflicts: 1231000 | #Constraints: 41866
51.36/51.62 c #Conflicts: 1232000 | #Constraints: 42866
51.36/51.62 c #Conflicts: 1233000 | #Constraints: 43866
51.36/51.62 c #Conflicts: 1234000 | #Constraints: 44866
51.36/51.62 c INPROCESSING
51.36/51.62 c GARBAGE COLLECT
51.36/51.62 c rational objective 400.5
52.35/52.60 c #Conflicts: 1235000 | #Constraints: 23860
52.35/52.60 c #Conflicts: 1236000 | #Constraints: 24860
52.35/52.60 c #Conflicts: 1237000 | #Constraints: 25860
52.35/52.60 c #Conflicts: 1238000 | #Constraints: 26860
52.35/52.60 c #Conflicts: 1239000 | #Constraints: 27860
52.35/52.60 c #Conflicts: 1240000 | #Constraints: 28860
52.35/52.60 c #Conflicts: 1241000 | #Constraints: 29860
52.35/52.60 c #Conflicts: 1242000 | #Constraints: 30860
52.35/52.60 c #Conflicts: 1243000 | #Constraints: 31860
52.35/52.60 c #Conflicts: 1244000 | #Constraints: 32860
52.35/52.60 c #Conflicts: 1245000 | #Constraints: 33860
52.35/52.60 c #Conflicts: 1246000 | #Constraints: 34860
52.35/52.60 c #Conflicts: 1247000 | #Constraints: 35860
52.35/52.60 c #Conflicts: 1248000 | #Constraints: 36860
52.35/52.60 c #Conflicts: 1249000 | #Constraints: 37860
52.35/52.60 c #Conflicts: 1250000 | #Constraints: 38860
52.35/52.60 c #Conflicts: 1251000 | #Constraints: 39860
52.35/52.60 c #Conflicts: 1252000 | #Constraints: 40860
52.35/52.60 c #Conflicts: 1253000 | #Constraints: 41860
52.35/52.60 c #Conflicts: 1254000 | #Constraints: 42860
52.35/52.60 c #Conflicts: 1255000 | #Constraints: 43860
52.35/52.60 c #Conflicts: 1256000 | #Constraints: 44860
52.35/52.60 c INPROCESSING
52.35/52.60 c GARBAGE COLLECT
52.35/52.60 c rational objective 400.5
53.26/53.59 c #Conflicts: 1257000 | #Constraints: 23660
53.26/53.59 c #Conflicts: 1258000 | #Constraints: 24660
53.26/53.59 c #Conflicts: 1259000 | #Constraints: 25660
53.26/53.59 c #Conflicts: 1260000 | #Constraints: 26660
53.26/53.59 c #Conflicts: 1261000 | #Constraints: 27660
53.26/53.59 c #Conflicts: 1262000 | #Constraints: 28660
53.26/53.59 c #Conflicts: 1263000 | #Constraints: 29660
53.26/53.59 c #Conflicts: 1264000 | #Constraints: 30660
53.26/53.59 c #Conflicts: 1265000 | #Constraints: 31660
53.26/53.59 c #Conflicts: 1266000 | #Constraints: 32660
53.26/53.59 c #Conflicts: 1267000 | #Constraints: 33660
53.26/53.59 c #Conflicts: 1268000 | #Constraints: 34660
53.26/53.59 c #Conflicts: 1269000 | #Constraints: 35660
53.26/53.59 c #Conflicts: 1270000 | #Constraints: 36660
53.26/53.59 c #Conflicts: 1271000 | #Constraints: 37660
53.26/53.59 c #Conflicts: 1272000 | #Constraints: 38660
53.26/53.59 c #Conflicts: 1273000 | #Constraints: 39660
53.26/53.59 c #Conflicts: 1274000 | #Constraints: 40660
53.26/53.59 c #Conflicts: 1275000 | #Constraints: 41660
53.26/53.59 c #Conflicts: 1276000 | #Constraints: 42660
53.26/53.59 c #Conflicts: 1277000 | #Constraints: 43660
53.26/53.59 c #Conflicts: 1278000 | #Constraints: 44660
53.26/53.59 c #Conflicts: 1279000 | #Constraints: 45660
53.26/53.59 c INPROCESSING
53.26/53.59 c GARBAGE COLLECT
53.26/53.59 c rational objective 400.5
54.26/54.57 c #Conflicts: 1280000 | #Constraints: 24255
54.26/54.57 c #Conflicts: 1281000 | #Constraints: 25255
54.26/54.57 c #Conflicts: 1282000 | #Constraints: 26255
54.26/54.57 c #Conflicts: 1283000 | #Constraints: 27255
54.26/54.57 c #Conflicts: 1284000 | #Constraints: 28255
54.26/54.57 c #Conflicts: 1285000 | #Constraints: 29255
54.26/54.57 c #Conflicts: 1286000 | #Constraints: 30255
54.26/54.57 c #Conflicts: 1287000 | #Constraints: 31255
54.26/54.57 c #Conflicts: 1288000 | #Constraints: 32255
54.26/54.57 c #Conflicts: 1289000 | #Constraints: 33255
54.26/54.57 c #Conflicts: 1290000 | #Constraints: 34255
54.26/54.57 c #Conflicts: 1291000 | #Constraints: 35255
54.26/54.57 c #Conflicts: 1292000 | #Constraints: 36255
54.26/54.57 c #Conflicts: 1293000 | #Constraints: 37255
54.26/54.57 c #Conflicts: 1294000 | #Constraints: 38255
54.26/54.57 c #Conflicts: 1295000 | #Constraints: 39255
54.26/54.57 c #Conflicts: 1296000 | #Constraints: 40255
54.26/54.57 c #Conflicts: 1297000 | #Constraints: 41255
54.26/54.57 c #Conflicts: 1298000 | #Constraints: 42255
54.26/54.57 c #Conflicts: 1299000 | #Constraints: 43256
54.26/54.57 c #Conflicts: 1300000 | #Constraints: 44256
54.26/54.57 c #Conflicts: 1301000 | #Constraints: 45256
54.26/54.57 c #Conflicts: 1302000 | #Constraints: 46256
54.26/54.57 c INPROCESSING
54.26/54.57 c GARBAGE COLLECT
54.26/54.57 c rational objective 400.5
55.25/55.58 c #Conflicts: 1303000 | #Constraints: 24655
55.25/55.58 c #Conflicts: 1304000 | #Constraints: 25655
55.25/55.58 c #Conflicts: 1305000 | #Constraints: 26655
55.25/55.58 c #Conflicts: 1306000 | #Constraints: 27655
55.25/55.58 c #Conflicts: 1307000 | #Constraints: 28655
55.25/55.58 c #Conflicts: 1308000 | #Constraints: 29655
55.25/55.58 c #Conflicts: 1309000 | #Constraints: 30655
55.25/55.58 c #Conflicts: 1310000 | #Constraints: 31655
55.25/55.58 c #Conflicts: 1311000 | #Constraints: 32655
55.25/55.58 c #Conflicts: 1312000 | #Constraints: 33655
55.25/55.58 c #Conflicts: 1313000 | #Constraints: 34655
55.25/55.58 c #Conflicts: 1314000 | #Constraints: 35655
55.25/55.58 c #Conflicts: 1315000 | #Constraints: 36655
55.25/55.58 c #Conflicts: 1316000 | #Constraints: 37655
55.25/55.58 c #Conflicts: 1317000 | #Constraints: 38655
55.25/55.58 c #Conflicts: 1318000 | #Constraints: 39655
55.25/55.58 c #Conflicts: 1319000 | #Constraints: 40655
55.25/55.58 c #Conflicts: 1320000 | #Constraints: 41655
55.25/55.58 c #Conflicts: 1321000 | #Constraints: 42655
55.25/55.58 c #Conflicts: 1322000 | #Constraints: 43655
55.25/55.58 c #Conflicts: 1323000 | #Constraints: 44655
55.25/55.58 c #Conflicts: 1324000 | #Constraints: 45655
55.25/55.58 c #Conflicts: 1325000 | #Constraints: 46655
55.25/55.58 c INPROCESSING
55.25/55.58 c GARBAGE COLLECT
55.25/55.58 c rational objective 400.5
56.35/56.61 c #Conflicts: 1326000 | #Constraints: 24855
56.35/56.61 c #Conflicts: 1327000 | #Constraints: 25855
56.35/56.61 c #Conflicts: 1328000 | #Constraints: 26855
56.35/56.61 c #Conflicts: 1329000 | #Constraints: 27855
56.35/56.61 c #Conflicts: 1330000 | #Constraints: 28855
56.35/56.61 c #Conflicts: 1331000 | #Constraints: 29855
56.35/56.61 c #Conflicts: 1332000 | #Constraints: 30855
56.35/56.61 c #Conflicts: 1333000 | #Constraints: 31855
56.35/56.61 c #Conflicts: 1334000 | #Constraints: 32855
56.35/56.61 c #Conflicts: 1335000 | #Constraints: 33855
56.35/56.61 c #Conflicts: 1336000 | #Constraints: 34855
56.35/56.61 c #Conflicts: 1337000 | #Constraints: 35855
56.35/56.61 c #Conflicts: 1338000 | #Constraints: 36855
56.35/56.61 c #Conflicts: 1339000 | #Constraints: 37855
56.35/56.61 c #Conflicts: 1340000 | #Constraints: 38855
56.35/56.61 c #Conflicts: 1341000 | #Constraints: 39855
56.35/56.61 c #Conflicts: 1342000 | #Constraints: 40855
56.35/56.61 c #Conflicts: 1343000 | #Constraints: 41855
56.35/56.61 c #Conflicts: 1344000 | #Constraints: 42855
56.35/56.61 c #Conflicts: 1345000 | #Constraints: 43855
56.35/56.61 c #Conflicts: 1346000 | #Constraints: 44855
56.35/56.61 c #Conflicts: 1347000 | #Constraints: 45855
56.35/56.61 c #Conflicts: 1348000 | #Constraints: 46855
56.35/56.61 c INPROCESSING
56.35/56.61 c GARBAGE COLLECT
56.35/56.61 c rational objective 400.5
57.34/57.67 c #Conflicts: 1349000 | #Constraints: 24862
57.34/57.67 c #Conflicts: 1350000 | #Constraints: 25862
57.34/57.67 c #Conflicts: 1351000 | #Constraints: 26862
57.34/57.67 c #Conflicts: 1352000 | #Constraints: 27862
57.34/57.67 c #Conflicts: 1353000 | #Constraints: 28862
57.34/57.67 c #Conflicts: 1354000 | #Constraints: 29862
57.34/57.67 c #Conflicts: 1355000 | #Constraints: 30862
57.34/57.67 c #Conflicts: 1356000 | #Constraints: 31862
57.34/57.67 c #Conflicts: 1357000 | #Constraints: 32862
57.34/57.67 c #Conflicts: 1358000 | #Constraints: 33862
57.34/57.67 c #Conflicts: 1359000 | #Constraints: 34862
57.34/57.67 c #Conflicts: 1360000 | #Constraints: 35862
57.34/57.67 c #Conflicts: 1361000 | #Constraints: 36862
57.34/57.67 c #Conflicts: 1362000 | #Constraints: 37862
57.34/57.67 c #Conflicts: 1363000 | #Constraints: 38862
57.34/57.67 c #Conflicts: 1364000 | #Constraints: 39862
57.34/57.67 c #Conflicts: 1365000 | #Constraints: 40862
57.34/57.67 c #Conflicts: 1366000 | #Constraints: 41862
57.34/57.67 c #Conflicts: 1367000 | #Constraints: 42862
57.34/57.67 c #Conflicts: 1368000 | #Constraints: 43862
57.34/57.67 c #Conflicts: 1369000 | #Constraints: 44862
57.34/57.67 c #Conflicts: 1370000 | #Constraints: 45862
57.34/57.67 c #Conflicts: 1371000 | #Constraints: 46862
57.34/57.67 c INPROCESSING
57.34/57.67 c GARBAGE COLLECT
57.34/57.67 c rational objective 400.5
58.44/58.73 c #Conflicts: 1372000 | #Constraints: 24661
58.44/58.73 c #Conflicts: 1373000 | #Constraints: 25661
58.44/58.73 c #Conflicts: 1374000 | #Constraints: 26661
58.44/58.73 c #Conflicts: 1375000 | #Constraints: 27661
58.44/58.73 c #Conflicts: 1376000 | #Constraints: 28661
58.44/58.73 c #Conflicts: 1377000 | #Constraints: 29661
58.44/58.73 c #Conflicts: 1378000 | #Constraints: 30661
58.44/58.73 c #Conflicts: 1379000 | #Constraints: 31661
58.44/58.73 c #Conflicts: 1380000 | #Constraints: 32661
58.44/58.73 c #Conflicts: 1381000 | #Constraints: 33661
58.44/58.73 c #Conflicts: 1382000 | #Constraints: 34661
58.44/58.73 c #Conflicts: 1383000 | #Constraints: 35661
58.44/58.73 c #Conflicts: 1384000 | #Constraints: 36661
58.44/58.73 c #Conflicts: 1385000 | #Constraints: 37661
58.44/58.73 c #Conflicts: 1386000 | #Constraints: 38661
58.44/58.73 c #Conflicts: 1387000 | #Constraints: 39661
58.44/58.73 c #Conflicts: 1388000 | #Constraints: 40661
58.44/58.73 c #Conflicts: 1389000 | #Constraints: 41661
58.44/58.73 c #Conflicts: 1390000 | #Constraints: 42661
58.44/58.73 c #Conflicts: 1391000 | #Constraints: 43661
58.44/58.73 c #Conflicts: 1392000 | #Constraints: 44661
58.44/58.73 c #Conflicts: 1393000 | #Constraints: 45661
58.44/58.73 c #Conflicts: 1394000 | #Constraints: 46661
58.44/58.73 c #Conflicts: 1395000 | #Constraints: 47661
58.44/58.73 c INPROCESSING
58.44/58.73 c GARBAGE COLLECT
58.44/58.73 c rational objective 400.5
59.44/59.79 c #Conflicts: 1396000 | #Constraints: 25264
59.44/59.79 c #Conflicts: 1397000 | #Constraints: 26264
59.44/59.79 c #Conflicts: 1398000 | #Constraints: 27264
59.44/59.79 c #Conflicts: 1399000 | #Constraints: 28264
59.44/59.79 c #Conflicts: 1400000 | #Constraints: 29264
59.44/59.79 c #Conflicts: 1401000 | #Constraints: 30264
59.44/59.79 c #Conflicts: 1402000 | #Constraints: 31264
59.44/59.79 c #Conflicts: 1403000 | #Constraints: 32264
59.44/59.79 c #Conflicts: 1404000 | #Constraints: 33264
59.44/59.79 c #Conflicts: 1405000 | #Constraints: 34264
59.44/59.79 c #Conflicts: 1406000 | #Constraints: 35264
59.44/59.79 c #Conflicts: 1407000 | #Constraints: 36264
59.44/59.79 c #Conflicts: 1408000 | #Constraints: 37264
59.44/59.79 c #Conflicts: 1409000 | #Constraints: 38264
59.44/59.79 c #Conflicts: 1410000 | #Constraints: 39264
59.44/59.79 c #Conflicts: 1411000 | #Constraints: 40264
59.44/59.79 c #Conflicts: 1412000 | #Constraints: 41264
59.44/59.79 c #Conflicts: 1413000 | #Constraints: 42264
59.44/59.79 c #Conflicts: 1414000 | #Constraints: 43264
59.44/59.79 c #Conflicts: 1415000 | #Constraints: 44264
59.44/59.79 c #Conflicts: 1416000 | #Constraints: 45264
59.44/59.79 c #Conflicts: 1417000 | #Constraints: 46264
59.44/59.79 c #Conflicts: 1418000 | #Constraints: 47264
59.44/59.79 c #Conflicts: 1419000 | #Constraints: 48264
59.44/59.79 c INPROCESSING
59.44/59.79 c GARBAGE COLLECT
59.44/59.79 c rational objective 400.5
60.54/60.87 c #Conflicts: 1420000 | #Constraints: 25661
60.54/60.87 c #Conflicts: 1421000 | #Constraints: 26661
60.54/60.87 c #Conflicts: 1422000 | #Constraints: 27661
60.54/60.87 c #Conflicts: 1423000 | #Constraints: 28661
60.54/60.87 c #Conflicts: 1424000 | #Constraints: 29661
60.54/60.87 c #Conflicts: 1425000 | #Constraints: 30661
60.54/60.87 c #Conflicts: 1426000 | #Constraints: 31661
60.54/60.87 c #Conflicts: 1427000 | #Constraints: 32661
60.54/60.87 c #Conflicts: 1428000 | #Constraints: 33661
60.54/60.87 c #Conflicts: 1429000 | #Constraints: 34661
60.54/60.87 c #Conflicts: 1430000 | #Constraints: 35661
60.54/60.87 c #Conflicts: 1431000 | #Constraints: 36661
60.54/60.87 c #Conflicts: 1432000 | #Constraints: 37661
60.54/60.87 c #Conflicts: 1433000 | #Constraints: 38661
60.54/60.87 c #Conflicts: 1434000 | #Constraints: 39661
60.54/60.87 c #Conflicts: 1435000 | #Constraints: 40661
60.54/60.87 c #Conflicts: 1436000 | #Constraints: 41661
60.54/60.87 c #Conflicts: 1437000 | #Constraints: 42661
60.54/60.87 c #Conflicts: 1438000 | #Constraints: 43661
60.54/60.87 c #Conflicts: 1439000 | #Constraints: 44661
60.54/60.87 c #Conflicts: 1440000 | #Constraints: 45661
60.54/60.87 c #Conflicts: 1441000 | #Constraints: 46661
60.54/60.87 c #Conflicts: 1442000 | #Constraints: 47661
60.54/60.87 c #Conflicts: 1443000 | #Constraints: 48661
60.54/60.87 c INPROCESSING
60.54/60.87 c GARBAGE COLLECT
60.54/60.87 c rational objective 400.5
61.63/61.99 c #Conflicts: 1444000 | #Constraints: 25866
61.63/61.99 c #Conflicts: 1445000 | #Constraints: 26866
61.63/61.99 c #Conflicts: 1446000 | #Constraints: 27866
61.63/61.99 c #Conflicts: 1447000 | #Constraints: 28866
61.63/61.99 c #Conflicts: 1448000 | #Constraints: 29866
61.63/61.99 c #Conflicts: 1449000 | #Constraints: 30866
61.63/61.99 c #Conflicts: 1450000 | #Constraints: 31866
61.63/61.99 c #Conflicts: 1451000 | #Constraints: 32866
61.63/61.99 c #Conflicts: 1452000 | #Constraints: 33866
61.63/61.99 c #Conflicts: 1453000 | #Constraints: 34866
61.63/61.99 c #Conflicts: 1454000 | #Constraints: 35866
61.63/61.99 c #Conflicts: 1455000 | #Constraints: 36866
61.63/61.99 c #Conflicts: 1456000 | #Constraints: 37866
61.63/61.99 c #Conflicts: 1457000 | #Constraints: 38866
61.63/61.99 c #Conflicts: 1458000 | #Constraints: 39866
61.63/61.99 c #Conflicts: 1459000 | #Constraints: 40866
61.63/61.99 c #Conflicts: 1460000 | #Constraints: 41866
61.63/61.99 c #Conflicts: 1461000 | #Constraints: 42866
61.63/61.99 c #Conflicts: 1462000 | #Constraints: 43866
61.63/61.99 c #Conflicts: 1463000 | #Constraints: 44866
61.63/61.99 c #Conflicts: 1464000 | #Constraints: 45866
61.63/61.99 c #Conflicts: 1465000 | #Constraints: 46866
61.63/61.99 c #Conflicts: 1466000 | #Constraints: 47866
61.63/61.99 c #Conflicts: 1467000 | #Constraints: 48866
61.63/61.99 c INPROCESSING
61.63/61.99 c GARBAGE COLLECT
61.63/61.99 c rational objective 400.5
62.83/63.11 c #Conflicts: 1468000 | #Constraints: 25860
62.83/63.11 c #Conflicts: 1469000 | #Constraints: 26860
62.83/63.11 c #Conflicts: 1470000 | #Constraints: 27860
62.83/63.11 c #Conflicts: 1471000 | #Constraints: 28860
62.83/63.11 c #Conflicts: 1472000 | #Constraints: 29860
62.83/63.11 c #Conflicts: 1473000 | #Constraints: 30860
62.83/63.11 c #Conflicts: 1474000 | #Constraints: 31860
62.83/63.11 c #Conflicts: 1475000 | #Constraints: 32860
62.83/63.11 c #Conflicts: 1476000 | #Constraints: 33860
62.83/63.11 c #Conflicts: 1477000 | #Constraints: 34860
62.83/63.11 c #Conflicts: 1478000 | #Constraints: 35860
62.83/63.11 c #Conflicts: 1479000 | #Constraints: 36860
62.83/63.11 c #Conflicts: 1480000 | #Constraints: 37860
62.83/63.11 c #Conflicts: 1481000 | #Constraints: 38860
62.83/63.11 c #Conflicts: 1482000 | #Constraints: 39860
62.83/63.11 c #Conflicts: 1483000 | #Constraints: 40860
62.83/63.11 c #Conflicts: 1484000 | #Constraints: 41860
62.83/63.11 c #Conflicts: 1485000 | #Constraints: 42860
62.83/63.11 c #Conflicts: 1486000 | #Constraints: 43860
62.83/63.11 c #Conflicts: 1487000 | #Constraints: 44860
62.83/63.11 c #Conflicts: 1488000 | #Constraints: 45860
62.83/63.11 c #Conflicts: 1489000 | #Constraints: 46860
62.83/63.11 c #Conflicts: 1490000 | #Constraints: 47860
62.83/63.11 c #Conflicts: 1491000 | #Constraints: 48860
62.83/63.11 c INPROCESSING
62.83/63.11 c GARBAGE COLLECT
62.83/63.11 c rational objective 400.5
63.93/64.22 c #Conflicts: 1492000 | #Constraints: 25650
63.93/64.22 c #Conflicts: 1493000 | #Constraints: 26650
63.93/64.22 c #Conflicts: 1494000 | #Constraints: 27650
63.93/64.22 c #Conflicts: 1495000 | #Constraints: 28650
63.93/64.22 c #Conflicts: 1496000 | #Constraints: 29650
63.93/64.22 c #Conflicts: 1497000 | #Constraints: 30650
63.93/64.22 c #Conflicts: 1498000 | #Constraints: 31650
63.93/64.22 c #Conflicts: 1499000 | #Constraints: 32650
63.93/64.22 c #Conflicts: 1500000 | #Constraints: 33650
63.93/64.22 c #Conflicts: 1501000 | #Constraints: 34650
63.93/64.22 c #Conflicts: 1502000 | #Constraints: 35650
63.93/64.22 c #Conflicts: 1503000 | #Constraints: 36650
63.93/64.22 c #Conflicts: 1504000 | #Constraints: 37650
63.93/64.22 c #Conflicts: 1505000 | #Constraints: 38650
63.93/64.22 c #Conflicts: 1506000 | #Constraints: 39650
63.93/64.22 c #Conflicts: 1507000 | #Constraints: 40650
63.93/64.22 c #Conflicts: 1508000 | #Constraints: 41650
63.93/64.22 c #Conflicts: 1509000 | #Constraints: 42650
63.93/64.22 c #Conflicts: 1510000 | #Constraints: 43650
63.93/64.22 c #Conflicts: 1511000 | #Constraints: 44650
63.93/64.22 c #Conflicts: 1512000 | #Constraints: 45650
63.93/64.22 c #Conflicts: 1513000 | #Constraints: 46650
63.93/64.22 c #Conflicts: 1514000 | #Constraints: 47650
63.93/64.22 c #Conflicts: 1515000 | #Constraints: 48650
63.93/64.22 c #Conflicts: 1516000 | #Constraints: 49650
63.93/64.22 c INPROCESSING
63.93/64.22 c GARBAGE COLLECT
63.93/64.22 c rational objective 400.5
64.98/65.35 c #Conflicts: 1517000 | #Constraints: 26255
64.98/65.35 c #Conflicts: 1518000 | #Constraints: 27255
64.98/65.35 c #Conflicts: 1519000 | #Constraints: 28255
64.98/65.35 c #Conflicts: 1520000 | #Constraints: 29255
64.98/65.35 c #Conflicts: 1521000 | #Constraints: 30255
64.98/65.35 c #Conflicts: 1522000 | #Constraints: 31255
64.98/65.35 c #Conflicts: 1523000 | #Constraints: 32255
64.98/65.35 c #Conflicts: 1524000 | #Constraints: 33255
64.98/65.35 c #Conflicts: 1525000 | #Constraints: 34255
64.98/65.35 c #Conflicts: 1526000 | #Constraints: 35255
64.98/65.35 c #Conflicts: 1527000 | #Constraints: 36255
64.98/65.35 c #Conflicts: 1528000 | #Constraints: 37255
64.98/65.35 c #Conflicts: 1529000 | #Constraints: 38255
64.98/65.35 c #Conflicts: 1530000 | #Constraints: 39255
64.98/65.35 c #Conflicts: 1531000 | #Constraints: 40255
64.98/65.35 c #Conflicts: 1532000 | #Constraints: 41255
64.98/65.35 c #Conflicts: 1533000 | #Constraints: 42255
64.98/65.35 c #Conflicts: 1534000 | #Constraints: 43255
64.98/65.35 c #Conflicts: 1535000 | #Constraints: 44255
64.98/65.35 c #Conflicts: 1536000 | #Constraints: 45255
64.98/65.35 c #Conflicts: 1537000 | #Constraints: 46255
64.98/65.35 c #Conflicts: 1538000 | #Constraints: 47255
64.98/65.35 c #Conflicts: 1539000 | #Constraints: 48255
64.98/65.35 c #Conflicts: 1540000 | #Constraints: 49255
64.98/65.35 c #Conflicts: 1541000 | #Constraints: 50255
64.98/65.35 c INPROCESSING
64.98/65.35 c GARBAGE COLLECT
64.98/65.35 c rational objective 400.5
66.18/66.54 c #Conflicts: 1542000 | #Constraints: 26658
66.18/66.54 c #Conflicts: 1543000 | #Constraints: 27658
66.18/66.54 c #Conflicts: 1544000 | #Constraints: 28658
66.18/66.54 c #Conflicts: 1545000 | #Constraints: 29658
66.18/66.54 c #Conflicts: 1546000 | #Constraints: 30658
66.18/66.54 c #Conflicts: 1547000 | #Constraints: 31658
66.18/66.54 c #Conflicts: 1548000 | #Constraints: 32658
66.18/66.54 c #Conflicts: 1549000 | #Constraints: 33658
66.18/66.54 c #Conflicts: 1550000 | #Constraints: 34658
66.18/66.54 c #Conflicts: 1551000 | #Constraints: 35658
66.18/66.54 c #Conflicts: 1552000 | #Constraints: 36658
66.18/66.54 c #Conflicts: 1553000 | #Constraints: 37658
66.18/66.54 c #Conflicts: 1554000 | #Constraints: 38658
66.18/66.54 c #Conflicts: 1555000 | #Constraints: 39658
66.18/66.54 c #Conflicts: 1556000 | #Constraints: 40658
66.18/66.54 c #Conflicts: 1557000 | #Constraints: 41658
66.18/66.54 c #Conflicts: 1558000 | #Constraints: 42658
66.18/66.54 c #Conflicts: 1559000 | #Constraints: 43658
66.18/66.54 c #Conflicts: 1560000 | #Constraints: 44658
66.18/66.54 c #Conflicts: 1561000 | #Constraints: 45658
66.18/66.54 c #Conflicts: 1562000 | #Constraints: 46658
66.18/66.54 c #Conflicts: 1563000 | #Constraints: 47658
66.18/66.54 c #Conflicts: 1564000 | #Constraints: 48658
66.18/66.54 c #Conflicts: 1565000 | #Constraints: 49658
66.18/66.54 c #Conflicts: 1566000 | #Constraints: 50658
66.18/66.54 c INPROCESSING
66.18/66.54 c GARBAGE COLLECT
66.18/66.54 c rational objective 400.5
67.27/67.65 c #Conflicts: 1567000 | #Constraints: 26856
67.27/67.65 c #Conflicts: 1568000 | #Constraints: 27856
67.27/67.65 c #Conflicts: 1569000 | #Constraints: 28856
67.27/67.65 c #Conflicts: 1570000 | #Constraints: 29856
67.27/67.65 c #Conflicts: 1571000 | #Constraints: 30856
67.27/67.65 c #Conflicts: 1572000 | #Constraints: 31856
67.27/67.65 c #Conflicts: 1573000 | #Constraints: 32856
67.27/67.65 c #Conflicts: 1574000 | #Constraints: 33856
67.27/67.65 c #Conflicts: 1575000 | #Constraints: 34856
67.27/67.65 c #Conflicts: 1576000 | #Constraints: 35856
67.27/67.65 c #Conflicts: 1577000 | #Constraints: 36856
67.27/67.65 c #Conflicts: 1578000 | #Constraints: 37856
67.27/67.65 c #Conflicts: 1579000 | #Constraints: 38856
67.27/67.65 c #Conflicts: 1580000 | #Constraints: 39856
67.27/67.65 c #Conflicts: 1581000 | #Constraints: 40856
67.27/67.65 c #Conflicts: 1582000 | #Constraints: 41856
67.27/67.65 c #Conflicts: 1583000 | #Constraints: 42856
67.27/67.65 c #Conflicts: 1584000 | #Constraints: 43856
67.27/67.65 c #Conflicts: 1585000 | #Constraints: 44856
67.27/67.65 c #Conflicts: 1586000 | #Constraints: 45856
67.27/67.65 c #Conflicts: 1587000 | #Constraints: 46856
67.27/67.65 c #Conflicts: 1588000 | #Constraints: 47856
67.27/67.65 c #Conflicts: 1589000 | #Constraints: 48856
67.27/67.65 c #Conflicts: 1590000 | #Constraints: 49856
67.27/67.65 c #Conflicts: 1591000 | #Constraints: 50856
67.27/67.65 c INPROCESSING
67.27/67.65 c GARBAGE COLLECT
67.27/67.65 c rational objective 400.5
68.57/68.97 c #Conflicts: 1592000 | #Constraints: 26857
68.57/68.97 c #Conflicts: 1593000 | #Constraints: 27857
68.57/68.97 c #Conflicts: 1594000 | #Constraints: 28857
68.57/68.97 c #Conflicts: 1595000 | #Constraints: 29857
68.57/68.97 c #Conflicts: 1596000 | #Constraints: 30857
68.57/68.97 c #Conflicts: 1597000 | #Constraints: 31857
68.57/68.97 c #Conflicts: 1598000 | #Constraints: 32857
68.57/68.97 c #Conflicts: 1599000 | #Constraints: 33857
68.57/68.97 c #Conflicts: 1600000 | #Constraints: 34857
68.57/68.97 c #Conflicts: 1601000 | #Constraints: 35857
68.57/68.97 c #Conflicts: 1602000 | #Constraints: 36857
68.57/68.97 c #Conflicts: 1603000 | #Constraints: 37857
68.57/68.97 c #Conflicts: 1604000 | #Constraints: 38857
68.57/68.97 c #Conflicts: 1605000 | #Constraints: 39857
68.57/68.97 c #Conflicts: 1606000 | #Constraints: 40857
68.57/68.97 c #Conflicts: 1607000 | #Constraints: 41857
68.57/68.97 c #Conflicts: 1608000 | #Constraints: 42857
68.57/68.97 c #Conflicts: 1609000 | #Constraints: 43857
68.57/68.97 c #Conflicts: 1610000 | #Constraints: 44857
68.57/68.97 c #Conflicts: 1611000 | #Constraints: 45857
68.57/68.97 c #Conflicts: 1612000 | #Constraints: 46857
68.57/68.97 c #Conflicts: 1613000 | #Constraints: 47857
68.57/68.97 c #Conflicts: 1614000 | #Constraints: 48857
68.57/68.97 c #Conflicts: 1615000 | #Constraints: 49857
68.57/68.97 c #Conflicts: 1616000 | #Constraints: 50857
68.57/68.97 c INPROCESSING
68.57/68.97 c GARBAGE COLLECT
68.57/68.97 c rational objective 400.5
69.87/70.27 c #Conflicts: 1617000 | #Constraints: 26670
69.87/70.27 c #Conflicts: 1618000 | #Constraints: 27670
69.87/70.27 c #Conflicts: 1619000 | #Constraints: 28670
69.87/70.27 c #Conflicts: 1620000 | #Constraints: 29670
69.87/70.27 c #Conflicts: 1621000 | #Constraints: 30670
69.87/70.27 c #Conflicts: 1622000 | #Constraints: 31670
69.87/70.27 c #Conflicts: 1623000 | #Constraints: 32670
69.87/70.27 c #Conflicts: 1624000 | #Constraints: 33670
69.87/70.27 c #Conflicts: 1625000 | #Constraints: 34670
69.87/70.27 c #Conflicts: 1626000 | #Constraints: 35670
69.87/70.27 c #Conflicts: 1627000 | #Constraints: 36670
69.87/70.27 c #Conflicts: 1628000 | #Constraints: 37670
69.87/70.27 c #Conflicts: 1629000 | #Constraints: 38670
69.87/70.27 c #Conflicts: 1630000 | #Constraints: 39670
69.87/70.27 c #Conflicts: 1631000 | #Constraints: 40670
69.87/70.27 c #Conflicts: 1632000 | #Constraints: 41670
69.87/70.27 c #Conflicts: 1633000 | #Constraints: 42670
69.87/70.27 c #Conflicts: 1634000 | #Constraints: 43670
69.87/70.27 c #Conflicts: 1635000 | #Constraints: 44670
69.87/70.27 c #Conflicts: 1636000 | #Constraints: 45670
69.87/70.27 c #Conflicts: 1637000 | #Constraints: 46670
69.87/70.27 c #Conflicts: 1638000 | #Constraints: 47670
69.87/70.27 c #Conflicts: 1639000 | #Constraints: 48670
69.87/70.27 c #Conflicts: 1640000 | #Constraints: 49670
69.87/70.27 c #Conflicts: 1641000 | #Constraints: 50670
69.87/70.27 c #Conflicts: 1642000 | #Constraints: 51670
69.87/70.27 c INPROCESSING
69.87/70.27 c GARBAGE COLLECT
69.87/70.27 c rational objective 400.5
70.96/71.39 c #Conflicts: 1643000 | #Constraints: 27262
70.96/71.39 c #Conflicts: 1644000 | #Constraints: 28262
70.96/71.39 c #Conflicts: 1645000 | #Constraints: 29262
70.96/71.39 c #Conflicts: 1646000 | #Constraints: 30262
70.96/71.39 c #Conflicts: 1647000 | #Constraints: 31262
70.96/71.39 c #Conflicts: 1648000 | #Constraints: 32262
70.96/71.39 c #Conflicts: 1649000 | #Constraints: 33262
70.96/71.39 c #Conflicts: 1650000 | #Constraints: 34262
70.96/71.39 c #Conflicts: 1651000 | #Constraints: 35262
70.96/71.39 c #Conflicts: 1652000 | #Constraints: 36262
70.96/71.39 c #Conflicts: 1653000 | #Constraints: 37262
70.96/71.39 c #Conflicts: 1654000 | #Constraints: 38262
70.96/71.39 c #Conflicts: 1655000 | #Constraints: 39262
70.96/71.39 c #Conflicts: 1656000 | #Constraints: 40262
70.96/71.39 c #Conflicts: 1657000 | #Constraints: 41262
70.96/71.39 c #Conflicts: 1658000 | #Constraints: 42262
70.96/71.39 c #Conflicts: 1659000 | #Constraints: 43262
70.96/71.39 c #Conflicts: 1660000 | #Constraints: 44262
70.96/71.39 c #Conflicts: 1661000 | #Constraints: 45262
70.96/71.39 c #Conflicts: 1662000 | #Constraints: 46262
70.96/71.39 c #Conflicts: 1663000 | #Constraints: 47262
70.96/71.39 c #Conflicts: 1664000 | #Constraints: 48262
70.96/71.39 c #Conflicts: 1665000 | #Constraints: 49262
70.96/71.39 c #Conflicts: 1666000 | #Constraints: 50262
70.96/71.39 c #Conflicts: 1667000 | #Constraints: 51262
70.96/71.39 c #Conflicts: 1668000 | #Constraints: 52262
70.96/71.39 c INPROCESSING
70.96/71.39 c GARBAGE COLLECT
70.96/71.39 c rational objective 400.5
72.16/72.55 c #Conflicts: 1669000 | #Constraints: 27657
72.16/72.55 c #Conflicts: 1670000 | #Constraints: 28657
72.16/72.55 c #Conflicts: 1671000 | #Constraints: 29657
72.16/72.55 c #Conflicts: 1672000 | #Constraints: 30657
72.16/72.55 c #Conflicts: 1673000 | #Constraints: 31657
72.16/72.55 c #Conflicts: 1674000 | #Constraints: 32657
72.16/72.55 c #Conflicts: 1675000 | #Constraints: 33657
72.16/72.55 c #Conflicts: 1676000 | #Constraints: 34657
72.16/72.55 c #Conflicts: 1677000 | #Constraints: 35657
72.16/72.55 c #Conflicts: 1678000 | #Constraints: 36657
72.16/72.55 c #Conflicts: 1679000 | #Constraints: 37657
72.16/72.55 c #Conflicts: 1680000 | #Constraints: 38657
72.16/72.55 c #Conflicts: 1681000 | #Constraints: 39657
72.16/72.55 c #Conflicts: 1682000 | #Constraints: 40657
72.16/72.55 c #Conflicts: 1683000 | #Constraints: 41657
72.16/72.55 c #Conflicts: 1684000 | #Constraints: 42657
72.16/72.55 c #Conflicts: 1685000 | #Constraints: 43657
72.16/72.55 c #Conflicts: 1686000 | #Constraints: 44657
72.16/72.55 c #Conflicts: 1687000 | #Constraints: 45657
72.16/72.55 c #Conflicts: 1688000 | #Constraints: 46657
72.16/72.55 c #Conflicts: 1689000 | #Constraints: 47657
72.16/72.55 c #Conflicts: 1690000 | #Constraints: 48657
72.16/72.55 c #Conflicts: 1691000 | #Constraints: 49657
72.16/72.55 c #Conflicts: 1692000 | #Constraints: 50657
72.16/72.55 c #Conflicts: 1693000 | #Constraints: 51657
72.16/72.55 c #Conflicts: 1694000 | #Constraints: 52657
72.16/72.55 c INPROCESSING
72.16/72.55 c GARBAGE COLLECT
72.16/72.55 c rational objective 400.5
73.35/73.74 c #Conflicts: 1695000 | #Constraints: 27859
73.35/73.74 c #Conflicts: 1696000 | #Constraints: 28859
73.35/73.74 c #Conflicts: 1697000 | #Constraints: 29859
73.35/73.74 c #Conflicts: 1698000 | #Constraints: 30859
73.35/73.74 c #Conflicts: 1699000 | #Constraints: 31859
73.35/73.74 c #Conflicts: 1700000 | #Constraints: 32859
73.35/73.74 c #Conflicts: 1701000 | #Constraints: 33859
73.35/73.74 c #Conflicts: 1702000 | #Constraints: 34859
73.35/73.74 c #Conflicts: 1703000 | #Constraints: 35859
73.35/73.74 c #Conflicts: 1704000 | #Constraints: 36859
73.35/73.74 c #Conflicts: 1705000 | #Constraints: 37859
73.35/73.74 c #Conflicts: 1706000 | #Constraints: 38859
73.35/73.74 c #Conflicts: 1707000 | #Constraints: 39859
73.35/73.74 c #Conflicts: 1708000 | #Constraints: 40859
73.35/73.74 c #Conflicts: 1709000 | #Constraints: 41859
73.35/73.74 c #Conflicts: 1710000 | #Constraints: 42859
73.35/73.74 c #Conflicts: 1711000 | #Constraints: 43859
73.35/73.74 c #Conflicts: 1712000 | #Constraints: 44859
73.35/73.74 c #Conflicts: 1713000 | #Constraints: 45859
73.35/73.74 c #Conflicts: 1714000 | #Constraints: 46859
73.35/73.74 c #Conflicts: 1715000 | #Constraints: 47859
73.35/73.74 c #Conflicts: 1716000 | #Constraints: 48859
73.35/73.74 c #Conflicts: 1717000 | #Constraints: 49859
73.35/73.74 c #Conflicts: 1718000 | #Constraints: 50859
73.35/73.74 c #Conflicts: 1719000 | #Constraints: 51859
73.35/73.74 c #Conflicts: 1720000 | #Constraints: 52859
73.35/73.74 c INPROCESSING
73.35/73.74 c GARBAGE COLLECT
73.35/73.74 c rational objective 400.5
74.55/74.99 c #Conflicts: 1721000 | #Constraints: 27858
74.55/74.99 c #Conflicts: 1722000 | #Constraints: 28858
74.55/74.99 c #Conflicts: 1723000 | #Constraints: 29858
74.55/74.99 c #Conflicts: 1724000 | #Constraints: 30858
74.55/74.99 c #Conflicts: 1725000 | #Constraints: 31858
74.55/74.99 c #Conflicts: 1726000 | #Constraints: 32858
74.55/74.99 c #Conflicts: 1727000 | #Constraints: 33858
74.55/74.99 c #Conflicts: 1728000 | #Constraints: 34858
74.55/74.99 c #Conflicts: 1729000 | #Constraints: 35858
74.55/74.99 c #Conflicts: 1730000 | #Constraints: 36858
74.55/74.99 c #Conflicts: 1731000 | #Constraints: 37858
74.55/74.99 c #Conflicts: 1732000 | #Constraints: 38858
74.55/74.99 c #Conflicts: 1733000 | #Constraints: 39858
74.55/74.99 c #Conflicts: 1734000 | #Constraints: 40858
74.55/74.99 c #Conflicts: 1735000 | #Constraints: 41858
74.55/74.99 c #Conflicts: 1736000 | #Constraints: 42858
74.55/74.99 c #Conflicts: 1737000 | #Constraints: 43858
74.55/74.99 c #Conflicts: 1738000 | #Constraints: 44858
74.55/74.99 c #Conflicts: 1739000 | #Constraints: 45858
74.55/74.99 c #Conflicts: 1740000 | #Constraints: 46858
74.55/74.99 c #Conflicts: 1741000 | #Constraints: 47858
74.55/74.99 c #Conflicts: 1742000 | #Constraints: 48858
74.55/74.99 c #Conflicts: 1743000 | #Constraints: 49858
74.55/74.99 c #Conflicts: 1744000 | #Constraints: 50858
74.55/74.99 c #Conflicts: 1745000 | #Constraints: 51858
74.55/74.99 c #Conflicts: 1746000 | #Constraints: 52858
74.55/74.99 c INPROCESSING
74.55/74.99 c GARBAGE COLLECT
74.55/74.99 c rational objective 400.5
75.85/76.22 c #Conflicts: 1747000 | #Constraints: 27656
75.85/76.22 c #Conflicts: 1748000 | #Constraints: 28656
75.85/76.22 c #Conflicts: 1749000 | #Constraints: 29656
75.85/76.22 c #Conflicts: 1750000 | #Constraints: 30656
75.85/76.22 c #Conflicts: 1751000 | #Constraints: 31656
75.85/76.22 c #Conflicts: 1752000 | #Constraints: 32656
75.85/76.22 c #Conflicts: 1753000 | #Constraints: 33656
75.85/76.22 c #Conflicts: 1754000 | #Constraints: 34656
75.85/76.22 c #Conflicts: 1755000 | #Constraints: 35656
75.85/76.22 c #Conflicts: 1756000 | #Constraints: 36656
75.85/76.22 c #Conflicts: 1757000 | #Constraints: 37656
75.85/76.22 c #Conflicts: 1758000 | #Constraints: 38656
75.85/76.22 c #Conflicts: 1759000 | #Constraints: 39656
75.85/76.22 c #Conflicts: 1760000 | #Constraints: 40656
75.85/76.22 c #Conflicts: 1761000 | #Constraints: 41656
75.85/76.22 c #Conflicts: 1762000 | #Constraints: 42656
75.85/76.22 c #Conflicts: 1763000 | #Constraints: 43656
75.85/76.22 c #Conflicts: 1764000 | #Constraints: 44656
75.85/76.22 c #Conflicts: 1765000 | #Constraints: 45656
75.85/76.22 c #Conflicts: 1766000 | #Constraints: 46656
75.85/76.22 c #Conflicts: 1767000 | #Constraints: 47656
75.85/76.22 c #Conflicts: 1768000 | #Constraints: 48656
75.85/76.22 c #Conflicts: 1769000 | #Constraints: 49656
75.85/76.22 c #Conflicts: 1770000 | #Constraints: 50656
75.85/76.22 c #Conflicts: 1771000 | #Constraints: 51656
75.85/76.22 c #Conflicts: 1772000 | #Constraints: 52656
75.85/76.22 c #Conflicts: 1773000 | #Constraints: 53656
75.85/76.22 c INPROCESSING
75.85/76.22 c GARBAGE COLLECT
75.85/76.22 c rational objective 400.5
77.05/77.46 c #Conflicts: 1774000 | #Constraints: 28261
77.05/77.46 c #Conflicts: 1775000 | #Constraints: 29261
77.05/77.46 c #Conflicts: 1776000 | #Constraints: 30261
77.05/77.46 c #Conflicts: 1777000 | #Constraints: 31261
77.05/77.46 c #Conflicts: 1778000 | #Constraints: 32261
77.05/77.46 c #Conflicts: 1779000 | #Constraints: 33261
77.05/77.46 c #Conflicts: 1780000 | #Constraints: 34261
77.05/77.46 c #Conflicts: 1781000 | #Constraints: 35261
77.05/77.46 c #Conflicts: 1782000 | #Constraints: 36261
77.05/77.46 c #Conflicts: 1783000 | #Constraints: 37261
77.05/77.46 c #Conflicts: 1784000 | #Constraints: 38261
77.05/77.46 c #Conflicts: 1785000 | #Constraints: 39261
77.05/77.46 c #Conflicts: 1786000 | #Constraints: 40261
77.05/77.46 c #Conflicts: 1787000 | #Constraints: 41261
77.05/77.46 c #Conflicts: 1788000 | #Constraints: 42261
77.05/77.46 c #Conflicts: 1789000 | #Constraints: 43261
77.05/77.46 c #Conflicts: 1790000 | #Constraints: 44261
77.05/77.46 c #Conflicts: 1791000 | #Constraints: 45261
77.05/77.46 c #Conflicts: 1792000 | #Constraints: 46261
77.05/77.46 c #Conflicts: 1793000 | #Constraints: 47261
77.05/77.46 c #Conflicts: 1794000 | #Constraints: 48261
77.05/77.46 c #Conflicts: 1795000 | #Constraints: 49261
77.05/77.46 c #Conflicts: 1796000 | #Constraints: 50261
77.05/77.46 c #Conflicts: 1797000 | #Constraints: 51261
77.05/77.46 c #Conflicts: 1798000 | #Constraints: 52261
77.05/77.46 c #Conflicts: 1799000 | #Constraints: 53261
77.05/77.46 c #Conflicts: 1800000 | #Constraints: 54261
77.05/77.46 c INPROCESSING
77.05/77.46 c GARBAGE COLLECT
77.05/77.46 c rational objective 400.5
78.25/78.67 c #Conflicts: 1801000 | #Constraints: 28661
78.25/78.67 c #Conflicts: 1802000 | #Constraints: 29661
78.25/78.67 c #Conflicts: 1803000 | #Constraints: 30661
78.25/78.67 c #Conflicts: 1804000 | #Constraints: 31661
78.25/78.67 c #Conflicts: 1805000 | #Constraints: 32661
78.25/78.67 c #Conflicts: 1806000 | #Constraints: 33661
78.25/78.67 c #Conflicts: 1807000 | #Constraints: 34661
78.25/78.67 c #Conflicts: 1808000 | #Constraints: 35661
78.25/78.67 c #Conflicts: 1809000 | #Constraints: 36661
78.25/78.67 c #Conflicts: 1810000 | #Constraints: 37661
78.25/78.67 c #Conflicts: 1811000 | #Constraints: 38661
78.25/78.67 c #Conflicts: 1812000 | #Constraints: 39661
78.25/78.67 c #Conflicts: 1813000 | #Constraints: 40661
78.25/78.67 c #Conflicts: 1814000 | #Constraints: 41661
78.25/78.67 c #Conflicts: 1815000 | #Constraints: 42661
78.25/78.67 c #Conflicts: 1816000 | #Constraints: 43661
78.25/78.67 c #Conflicts: 1817000 | #Constraints: 44661
78.25/78.67 c #Conflicts: 1818000 | #Constraints: 45661
78.25/78.67 c #Conflicts: 1819000 | #Constraints: 46661
78.25/78.67 c #Conflicts: 1820000 | #Constraints: 47661
78.25/78.67 c #Conflicts: 1821000 | #Constraints: 48661
78.25/78.67 c #Conflicts: 1822000 | #Constraints: 49661
78.25/78.67 c #Conflicts: 1823000 | #Constraints: 50661
78.25/78.67 c #Conflicts: 1824000 | #Constraints: 51661
78.25/78.67 c #Conflicts: 1825000 | #Constraints: 52661
78.25/78.67 c #Conflicts: 1826000 | #Constraints: 53661
78.25/78.67 c #Conflicts: 1827000 | #Constraints: 54661
78.25/78.67 c INPROCESSING
78.25/78.67 c GARBAGE COLLECT
78.25/78.67 c rational objective 400.5
79.54/79.94 c #Conflicts: 1828000 | #Constraints: 28870
79.54/79.94 c #Conflicts: 1829000 | #Constraints: 29870
79.54/79.94 c #Conflicts: 1830000 | #Constraints: 30870
79.54/79.94 c #Conflicts: 1831000 | #Constraints: 31870
79.54/79.94 c #Conflicts: 1832000 | #Constraints: 32870
79.54/79.94 c #Conflicts: 1833000 | #Constraints: 33870
79.54/79.94 c #Conflicts: 1834000 | #Constraints: 34870
79.54/79.94 c #Conflicts: 1835000 | #Constraints: 35870
79.54/79.94 c #Conflicts: 1836000 | #Constraints: 36870
79.54/79.94 c #Conflicts: 1837000 | #Constraints: 37870
79.54/79.94 c #Conflicts: 1838000 | #Constraints: 38870
79.54/79.94 c #Conflicts: 1839000 | #Constraints: 39870
79.54/79.94 c #Conflicts: 1840000 | #Constraints: 40870
79.54/79.94 c #Conflicts: 1841000 | #Constraints: 41870
79.54/79.94 c #Conflicts: 1842000 | #Constraints: 42870
79.54/79.94 c #Conflicts: 1843000 | #Constraints: 43870
79.54/79.94 c #Conflicts: 1844000 | #Constraints: 44870
79.54/79.94 c #Conflicts: 1845000 | #Constraints: 45870
79.54/79.94 c #Conflicts: 1846000 | #Constraints: 46870
79.54/79.94 c #Conflicts: 1847000 | #Constraints: 47870
79.54/79.94 c #Conflicts: 1848000 | #Constraints: 48870
79.54/79.94 c #Conflicts: 1849000 | #Constraints: 49870
79.54/79.94 c #Conflicts: 1850000 | #Constraints: 50870
79.54/79.94 c #Conflicts: 1851000 | #Constraints: 51870
79.54/79.94 c #Conflicts: 1852000 | #Constraints: 52870
79.54/79.94 c #Conflicts: 1853000 | #Constraints: 53870
79.54/79.94 c #Conflicts: 1854000 | #Constraints: 54870
79.54/79.94 c INPROCESSING
79.54/79.94 c GARBAGE COLLECT
79.54/79.94 c rational objective 400.5
80.84/81.20 c #Conflicts: 1855000 | #Constraints: 28880
80.84/81.20 c #Conflicts: 1856000 | #Constraints: 29880
80.84/81.20 c #Conflicts: 1857000 | #Constraints: 30880
80.84/81.20 c #Conflicts: 1858000 | #Constraints: 31880
80.84/81.20 c #Conflicts: 1859000 | #Constraints: 32880
80.84/81.20 c #Conflicts: 1860000 | #Constraints: 33880
80.84/81.20 c #Conflicts: 1861000 | #Constraints: 34880
80.84/81.20 c #Conflicts: 1862000 | #Constraints: 35880
80.84/81.20 c #Conflicts: 1863000 | #Constraints: 36880
80.84/81.20 c #Conflicts: 1864000 | #Constraints: 37880
80.84/81.20 c #Conflicts: 1865000 | #Constraints: 38880
80.84/81.20 c #Conflicts: 1866000 | #Constraints: 39880
80.84/81.20 c #Conflicts: 1867000 | #Constraints: 40880
80.84/81.20 c #Conflicts: 1868000 | #Constraints: 41880
80.84/81.20 c #Conflicts: 1869000 | #Constraints: 42880
80.84/81.20 c #Conflicts: 1870000 | #Constraints: 43880
80.84/81.20 c #Conflicts: 1871000 | #Constraints: 44880
80.84/81.20 c #Conflicts: 1872000 | #Constraints: 45880
80.84/81.20 c #Conflicts: 1873000 | #Constraints: 46880
80.84/81.20 c #Conflicts: 1874000 | #Constraints: 47880
80.84/81.20 c #Conflicts: 1875000 | #Constraints: 48880
80.84/81.20 c #Conflicts: 1876000 | #Constraints: 49880
80.84/81.20 c #Conflicts: 1877000 | #Constraints: 50880
80.84/81.20 c #Conflicts: 1878000 | #Constraints: 51880
80.84/81.20 c #Conflicts: 1879000 | #Constraints: 52880
80.84/81.20 c #Conflicts: 1880000 | #Constraints: 53880
80.84/81.20 c #Conflicts: 1881000 | #Constraints: 54880
80.84/81.20 c INPROCESSING
80.84/81.20 c GARBAGE COLLECT
80.84/81.20 c rational objective 400.5
82.13/82.54 c #Conflicts: 1882000 | #Constraints: 28676
82.13/82.54 c #Conflicts: 1883000 | #Constraints: 29676
82.13/82.54 c #Conflicts: 1884000 | #Constraints: 30676
82.13/82.54 c #Conflicts: 1885000 | #Constraints: 31676
82.13/82.54 c #Conflicts: 1886000 | #Constraints: 32676
82.13/82.54 c #Conflicts: 1887000 | #Constraints: 33676
82.13/82.54 c #Conflicts: 1888000 | #Constraints: 34676
82.13/82.54 c #Conflicts: 1889000 | #Constraints: 35676
82.13/82.54 c #Conflicts: 1890000 | #Constraints: 36676
82.13/82.54 c #Conflicts: 1891000 | #Constraints: 37676
82.13/82.54 c #Conflicts: 1892000 | #Constraints: 38676
82.13/82.54 c #Conflicts: 1893000 | #Constraints: 39676
82.13/82.54 c #Conflicts: 1894000 | #Constraints: 40676
82.13/82.54 c #Conflicts: 1895000 | #Constraints: 41676
82.13/82.54 c #Conflicts: 1896000 | #Constraints: 42676
82.13/82.54 c #Conflicts: 1897000 | #Constraints: 43676
82.13/82.54 c #Conflicts: 1898000 | #Constraints: 44676
82.13/82.54 c #Conflicts: 1899000 | #Constraints: 45676
82.13/82.54 c #Conflicts: 1900000 | #Constraints: 46676
82.13/82.54 c #Conflicts: 1901000 | #Constraints: 47676
82.13/82.54 c #Conflicts: 1902000 | #Constraints: 48676
82.13/82.54 c #Conflicts: 1903000 | #Constraints: 49676
82.13/82.54 c #Conflicts: 1904000 | #Constraints: 50676
82.13/82.54 c #Conflicts: 1905000 | #Constraints: 51676
82.13/82.54 c #Conflicts: 1906000 | #Constraints: 52676
82.13/82.54 c #Conflicts: 1907000 | #Constraints: 53676
82.13/82.54 c #Conflicts: 1908000 | #Constraints: 54676
82.13/82.54 c #Conflicts: 1909000 | #Constraints: 55676
82.13/82.54 c INPROCESSING
82.13/82.54 c GARBAGE COLLECT
82.13/82.54 c rational objective 400.5
83.43/83.86 c #Conflicts: 1910000 | #Constraints: 29271
83.43/83.86 c #Conflicts: 1911000 | #Constraints: 30271
83.43/83.86 c #Conflicts: 1912000 | #Constraints: 31271
83.43/83.86 c #Conflicts: 1913000 | #Constraints: 32271
83.43/83.86 c #Conflicts: 1914000 | #Constraints: 33271
83.43/83.86 c #Conflicts: 1915000 | #Constraints: 34271
83.43/83.86 c #Conflicts: 1916000 | #Constraints: 35271
83.43/83.86 c #Conflicts: 1917000 | #Constraints: 36271
83.43/83.86 c #Conflicts: 1918000 | #Constraints: 37271
83.43/83.86 c #Conflicts: 1919000 | #Constraints: 38271
83.43/83.86 c #Conflicts: 1920000 | #Constraints: 39271
83.43/83.86 c #Conflicts: 1921000 | #Constraints: 40271
83.43/83.86 c #Conflicts: 1922000 | #Constraints: 41271
83.43/83.86 c #Conflicts: 1923000 | #Constraints: 42271
83.43/83.86 c #Conflicts: 1924000 | #Constraints: 43271
83.43/83.86 c #Conflicts: 1925000 | #Constraints: 44271
83.43/83.86 c #Conflicts: 1926000 | #Constraints: 45271
83.43/83.86 c #Conflicts: 1927000 | #Constraints: 46271
83.43/83.86 c #Conflicts: 1928000 | #Constraints: 47271
83.43/83.86 c #Conflicts: 1929000 | #Constraints: 48271
83.43/83.86 c #Conflicts: 1930000 | #Constraints: 49271
83.43/83.86 c #Conflicts: 1931000 | #Constraints: 50271
83.43/83.86 c #Conflicts: 1932000 | #Constraints: 51271
83.43/83.86 c #Conflicts: 1933000 | #Constraints: 52271
83.43/83.86 c #Conflicts: 1934000 | #Constraints: 53271
83.43/83.86 c #Conflicts: 1935000 | #Constraints: 54271
83.43/83.86 c #Conflicts: 1936000 | #Constraints: 55271
83.43/83.86 c #Conflicts: 1937000 | #Constraints: 56271
83.43/83.86 c INPROCESSING
83.43/83.86 c GARBAGE COLLECT
83.43/83.86 c rational objective 400.5
84.73/85.12 c #Conflicts: 1938000 | #Constraints: 29667
84.73/85.12 c #Conflicts: 1939000 | #Constraints: 30667
84.73/85.12 c #Conflicts: 1940000 | #Constraints: 31667
84.73/85.12 c #Conflicts: 1941000 | #Constraints: 32667
84.73/85.12 c #Conflicts: 1942000 | #Constraints: 33667
84.73/85.12 c #Conflicts: 1943000 | #Constraints: 34667
84.73/85.12 c #Conflicts: 1944000 | #Constraints: 35667
84.73/85.12 c #Conflicts: 1945000 | #Constraints: 36667
84.73/85.12 c #Conflicts: 1946000 | #Constraints: 37667
84.73/85.12 c #Conflicts: 1947000 | #Constraints: 38667
84.73/85.12 c #Conflicts: 1948000 | #Constraints: 39667
84.73/85.12 c #Conflicts: 1949000 | #Constraints: 40667
84.73/85.12 c #Conflicts: 1950000 | #Constraints: 41667
84.73/85.12 c #Conflicts: 1951000 | #Constraints: 42667
84.73/85.12 c #Conflicts: 1952000 | #Constraints: 43667
84.73/85.12 c #Conflicts: 1953000 | #Constraints: 44667
84.73/85.12 c #Conflicts: 1954000 | #Constraints: 45667
84.73/85.12 c #Conflicts: 1955000 | #Constraints: 46667
84.73/85.12 c #Conflicts: 1956000 | #Constraints: 47667
84.73/85.12 c #Conflicts: 1957000 | #Constraints: 48667
84.73/85.12 c #Conflicts: 1958000 | #Constraints: 49667
84.73/85.12 c #Conflicts: 1959000 | #Constraints: 50667
84.73/85.12 c #Conflicts: 1960000 | #Constraints: 51667
84.73/85.12 c #Conflicts: 1961000 | #Constraints: 52667
84.73/85.12 c #Conflicts: 1962000 | #Constraints: 53667
84.73/85.12 c #Conflicts: 1963000 | #Constraints: 54667
84.73/85.12 c #Conflicts: 1964000 | #Constraints: 55667
84.73/85.12 c #Conflicts: 1965000 | #Constraints: 56667
84.73/85.12 c INPROCESSING
84.73/85.12 c GARBAGE COLLECT
84.73/85.12 c rational objective 400.5
86.12/86.52 c #Conflicts: 1966000 | #Constraints: 29869
86.12/86.52 c #Conflicts: 1967000 | #Constraints: 30869
86.12/86.52 c #Conflicts: 1968000 | #Constraints: 31869
86.12/86.52 c #Conflicts: 1969000 | #Constraints: 32869
86.12/86.52 c #Conflicts: 1970000 | #Constraints: 33869
86.12/86.52 c #Conflicts: 1971000 | #Constraints: 34869
86.12/86.52 c #Conflicts: 1972000 | #Constraints: 35869
86.12/86.52 c #Conflicts: 1973000 | #Constraints: 36869
86.12/86.52 c #Conflicts: 1974000 | #Constraints: 37869
86.12/86.52 c #Conflicts: 1975000 | #Constraints: 38869
86.12/86.52 c #Conflicts: 1976000 | #Constraints: 39869
86.12/86.52 c #Conflicts: 1977000 | #Constraints: 40869
86.12/86.52 c #Conflicts: 1978000 | #Constraints: 41869
86.12/86.52 c #Conflicts: 1979000 | #Constraints: 42869
86.12/86.52 c #Conflicts: 1980000 | #Constraints: 43869
86.12/86.52 c #Conflicts: 1981000 | #Constraints: 44869
86.12/86.52 c #Conflicts: 1982000 | #Constraints: 45869
86.12/86.52 c #Conflicts: 1983000 | #Constraints: 46869
86.12/86.52 c #Conflicts: 1984000 | #Constraints: 47869
86.12/86.52 c #Conflicts: 1985000 | #Constraints: 48869
86.12/86.52 c #Conflicts: 1986000 | #Constraints: 49869
86.12/86.52 c #Conflicts: 1987000 | #Constraints: 50869
86.12/86.52 c #Conflicts: 1988000 | #Constraints: 51869
86.12/86.52 c #Conflicts: 1989000 | #Constraints: 52869
86.12/86.52 c #Conflicts: 1990000 | #Constraints: 53869
86.12/86.52 c #Conflicts: 1991000 | #Constraints: 54869
86.12/86.52 c #Conflicts: 1992000 | #Constraints: 55869
86.12/86.52 c #Conflicts: 1993000 | #Constraints: 56869
86.12/86.52 c INPROCESSING
86.12/86.52 c GARBAGE COLLECT
86.12/86.52 c rational objective 400.5
87.43/87.84 c #Conflicts: 1994000 | #Constraints: 29868
87.43/87.84 c #Conflicts: 1995000 | #Constraints: 30868
87.43/87.84 c #Conflicts: 1996000 | #Constraints: 31868
87.43/87.84 c #Conflicts: 1997000 | #Constraints: 32868
87.43/87.84 c #Conflicts: 1998000 | #Constraints: 33868
87.43/87.84 c #Conflicts: 1999000 | #Constraints: 34868
87.43/87.84 c #Conflicts: 2000000 | #Constraints: 35868
87.43/87.84 c #Conflicts: 2001000 | #Constraints: 36868
87.43/87.84 c #Conflicts: 2002000 | #Constraints: 37868
87.43/87.84 c #Conflicts: 2003000 | #Constraints: 38868
87.43/87.84 c #Conflicts: 2004000 | #Constraints: 39868
87.43/87.84 c #Conflicts: 2005000 | #Constraints: 40868
87.43/87.84 c #Conflicts: 2006000 | #Constraints: 41868
87.43/87.84 c #Conflicts: 2007000 | #Constraints: 42868
87.43/87.84 c #Conflicts: 2008000 | #Constraints: 43868
87.43/87.84 c #Conflicts: 2009000 | #Constraints: 44868
87.43/87.84 c #Conflicts: 2010000 | #Constraints: 45868
87.43/87.84 c #Conflicts: 2011000 | #Constraints: 46868
87.43/87.84 c #Conflicts: 2012000 | #Constraints: 47868
87.43/87.84 c #Conflicts: 2013000 | #Constraints: 48868
87.43/87.84 c #Conflicts: 2014000 | #Constraints: 49868
87.43/87.84 c #Conflicts: 2015000 | #Constraints: 50868
87.43/87.84 c #Conflicts: 2016000 | #Constraints: 51868
87.43/87.84 c #Conflicts: 2017000 | #Constraints: 52868
87.43/87.84 c #Conflicts: 2018000 | #Constraints: 53868
87.43/87.84 c #Conflicts: 2019000 | #Constraints: 54868
87.43/87.84 c #Conflicts: 2020000 | #Constraints: 55868
87.43/87.84 c #Conflicts: 2021000 | #Constraints: 56868
87.43/87.84 c INPROCESSING
87.43/87.84 c GARBAGE COLLECT
87.43/87.84 c rational objective 400.5
88.82/89.22 c #Conflicts: 2022000 | #Constraints: 29668
88.82/89.22 c #Conflicts: 2023000 | #Constraints: 30668
88.82/89.22 c #Conflicts: 2024000 | #Constraints: 31668
88.82/89.22 c #Conflicts: 2025000 | #Constraints: 32668
88.82/89.22 c #Conflicts: 2026000 | #Constraints: 33668
88.82/89.22 c #Conflicts: 2027000 | #Constraints: 34668
88.82/89.22 c #Conflicts: 2028000 | #Constraints: 35668
88.82/89.22 c #Conflicts: 2029000 | #Constraints: 36668
88.82/89.22 c #Conflicts: 2030000 | #Constraints: 37668
88.82/89.22 c #Conflicts: 2031000 | #Constraints: 38668
88.82/89.22 c #Conflicts: 2032000 | #Constraints: 39668
88.82/89.22 c #Conflicts: 2033000 | #Constraints: 40668
88.82/89.22 c #Conflicts: 2034000 | #Constraints: 41668
88.82/89.22 c #Conflicts: 2035000 | #Constraints: 42668
88.82/89.22 c #Conflicts: 2036000 | #Constraints: 43668
88.82/89.22 c #Conflicts: 2037000 | #Constraints: 44668
88.82/89.22 c #Conflicts: 2038000 | #Constraints: 45668
88.82/89.22 c #Conflicts: 2039000 | #Constraints: 46668
88.82/89.22 c #Conflicts: 2040000 | #Constraints: 47668
88.82/89.22 c #Conflicts: 2041000 | #Constraints: 48668
88.82/89.22 c #Conflicts: 2042000 | #Constraints: 49668
88.82/89.22 c #Conflicts: 2043000 | #Constraints: 50668
88.82/89.22 c #Conflicts: 2044000 | #Constraints: 51668
88.82/89.22 c #Conflicts: 2045000 | #Constraints: 52668
88.82/89.22 c #Conflicts: 2046000 | #Constraints: 53668
88.82/89.22 c #Conflicts: 2047000 | #Constraints: 54668
88.82/89.22 c #Conflicts: 2048000 | #Constraints: 55668
88.82/89.22 c #Conflicts: 2049000 | #Constraints: 56668
88.82/89.22 c #Conflicts: 2050000 | #Constraints: 57668
88.82/89.22 c INPROCESSING
88.82/89.22 c GARBAGE COLLECT
88.82/89.22 c rational objective 400.5
90.11/90.58 c #Conflicts: 2051000 | #Constraints: 30273
90.11/90.58 c #Conflicts: 2052000 | #Constraints: 31273
90.11/90.58 c #Conflicts: 2053000 | #Constraints: 32273
90.11/90.58 c #Conflicts: 2054000 | #Constraints: 33273
90.11/90.58 c #Conflicts: 2055000 | #Constraints: 34273
90.11/90.58 c #Conflicts: 2056000 | #Constraints: 35273
90.11/90.58 c #Conflicts: 2057000 | #Constraints: 36273
90.11/90.58 c #Conflicts: 2058000 | #Constraints: 37273
90.11/90.58 c #Conflicts: 2059000 | #Constraints: 38273
90.11/90.58 c #Conflicts: 2060000 | #Constraints: 39273
90.11/90.58 c #Conflicts: 2061000 | #Constraints: 40273
90.11/90.58 c #Conflicts: 2062000 | #Constraints: 41273
90.11/90.58 c #Conflicts: 2063000 | #Constraints: 42273
90.11/90.58 c #Conflicts: 2064000 | #Constraints: 43273
90.11/90.58 c #Conflicts: 2065000 | #Constraints: 44273
90.11/90.58 c #Conflicts: 2066000 | #Constraints: 45273
90.11/90.58 c #Conflicts: 2067000 | #Constraints: 46273
90.11/90.58 c #Conflicts: 2068000 | #Constraints: 47273
90.11/90.58 c #Conflicts: 2069000 | #Constraints: 48273
90.11/90.58 c #Conflicts: 2070000 | #Constraints: 49273
90.11/90.58 c #Conflicts: 2071000 | #Constraints: 50273
90.11/90.58 c #Conflicts: 2072000 | #Constraints: 51273
90.11/90.58 c #Conflicts: 2073000 | #Constraints: 52273
90.11/90.58 c #Conflicts: 2074000 | #Constraints: 53273
90.11/90.58 c #Conflicts: 2075000 | #Constraints: 54273
90.11/90.58 c #Conflicts: 2076000 | #Constraints: 55273
90.11/90.58 c #Conflicts: 2077000 | #Constraints: 56273
90.11/90.58 c #Conflicts: 2078000 | #Constraints: 57273
90.11/90.58 c #Conflicts: 2079000 | #Constraints: 58273
90.11/90.58 c INPROCESSING
90.11/90.58 c GARBAGE COLLECT
90.11/90.58 c rational objective 400.5
91.61/92.07 c #Conflicts: 2080000 | #Constraints: 30673
91.61/92.07 c #Conflicts: 2081000 | #Constraints: 31673
91.61/92.07 c #Conflicts: 2082000 | #Constraints: 32673
91.61/92.07 c #Conflicts: 2083000 | #Constraints: 33673
91.61/92.07 c #Conflicts: 2084000 | #Constraints: 34673
91.61/92.07 c #Conflicts: 2085000 | #Constraints: 35673
91.61/92.07 c #Conflicts: 2086000 | #Constraints: 36673
91.61/92.07 c #Conflicts: 2087000 | #Constraints: 37673
91.61/92.07 c #Conflicts: 2088000 | #Constraints: 38673
91.61/92.07 c #Conflicts: 2089000 | #Constraints: 39673
91.61/92.07 c #Conflicts: 2090000 | #Constraints: 40673
91.61/92.07 c #Conflicts: 2091000 | #Constraints: 41673
91.61/92.07 c #Conflicts: 2092000 | #Constraints: 42673
91.61/92.07 c #Conflicts: 2093000 | #Constraints: 43673
91.61/92.07 c #Conflicts: 2094000 | #Constraints: 44673
91.61/92.07 c #Conflicts: 2095000 | #Constraints: 45673
91.61/92.07 c #Conflicts: 2096000 | #Constraints: 46673
91.61/92.07 c #Conflicts: 2097000 | #Constraints: 47673
91.61/92.07 c #Conflicts: 2098000 | #Constraints: 48673
91.61/92.07 c #Conflicts: 2099000 | #Constraints: 49673
91.61/92.07 c #Conflicts: 2100000 | #Constraints: 50673
91.61/92.07 c #Conflicts: 2101000 | #Constraints: 51673
91.61/92.07 c #Conflicts: 2102000 | #Constraints: 52673
91.61/92.07 c #Conflicts: 2103000 | #Constraints: 53673
91.61/92.07 c #Conflicts: 2104000 | #Constraints: 54673
91.61/92.07 c #Conflicts: 2105000 | #Constraints: 55673
91.61/92.07 c #Conflicts: 2106000 | #Constraints: 56673
91.61/92.07 c #Conflicts: 2107000 | #Constraints: 57673
91.61/92.07 c #Conflicts: 2108000 | #Constraints: 58673
91.61/92.07 c INPROCESSING
91.61/92.07 c GARBAGE COLLECT
91.61/92.07 c rational objective 400.5
93.21/93.60 c #Conflicts: 2109000 | #Constraints: 30875
93.21/93.60 c #Conflicts: 2110000 | #Constraints: 31875
93.21/93.60 c #Conflicts: 2111000 | #Constraints: 32875
93.21/93.60 c #Conflicts: 2112000 | #Constraints: 33875
93.21/93.60 c #Conflicts: 2113000 | #Constraints: 34875
93.21/93.60 c #Conflicts: 2114000 | #Constraints: 35875
93.21/93.60 c #Conflicts: 2115000 | #Constraints: 36875
93.21/93.60 c #Conflicts: 2116000 | #Constraints: 37875
93.21/93.60 c #Conflicts: 2117000 | #Constraints: 38875
93.21/93.60 c #Conflicts: 2118000 | #Constraints: 39875
93.21/93.60 c #Conflicts: 2119000 | #Constraints: 40875
93.21/93.60 c #Conflicts: 2120000 | #Constraints: 41875
93.21/93.60 c #Conflicts: 2121000 | #Constraints: 42875
93.21/93.60 c #Conflicts: 2122000 | #Constraints: 43875
93.21/93.60 c #Conflicts: 2123000 | #Constraints: 44875
93.21/93.60 c #Conflicts: 2124000 | #Constraints: 45875
93.21/93.60 c #Conflicts: 2125000 | #Constraints: 46875
93.21/93.60 c #Conflicts: 2126000 | #Constraints: 47875
93.21/93.60 c #Conflicts: 2127000 | #Constraints: 48875
93.21/93.60 c #Conflicts: 2128000 | #Constraints: 49875
93.21/93.60 c #Conflicts: 2129000 | #Constraints: 50875
93.21/93.60 c #Conflicts: 2130000 | #Constraints: 51875
93.21/93.60 c #Conflicts: 2131000 | #Constraints: 52875
93.21/93.60 c #Conflicts: 2132000 | #Constraints: 53875
93.21/93.60 c #Conflicts: 2133000 | #Constraints: 54875
93.21/93.60 c #Conflicts: 2134000 | #Constraints: 55875
93.21/93.60 c #Conflicts: 2135000 | #Constraints: 56875
93.21/93.60 c #Conflicts: 2136000 | #Constraints: 57875
93.21/93.60 c #Conflicts: 2137000 | #Constraints: 58875
93.21/93.60 c INPROCESSING
93.21/93.60 c GARBAGE COLLECT
93.21/93.60 c rational objective 400.5
94.61/95.07 c #Conflicts: 2138000 | #Constraints: 30879
94.61/95.07 c #Conflicts: 2139000 | #Constraints: 31879
94.61/95.07 c #Conflicts: 2140000 | #Constraints: 32879
94.61/95.07 c #Conflicts: 2141000 | #Constraints: 33879
94.61/95.07 c #Conflicts: 2142000 | #Constraints: 34879
94.61/95.07 c #Conflicts: 2143000 | #Constraints: 35879
94.61/95.07 c #Conflicts: 2144000 | #Constraints: 36879
94.61/95.07 c #Conflicts: 2145000 | #Constraints: 37879
94.61/95.07 c #Conflicts: 2146000 | #Constraints: 38879
94.61/95.07 c #Conflicts: 2147000 | #Constraints: 39879
94.61/95.07 c #Conflicts: 2148000 | #Constraints: 40879
94.61/95.07 c #Conflicts: 2149000 | #Constraints: 41879
94.61/95.07 c #Conflicts: 2150000 | #Constraints: 42879
94.61/95.07 c #Conflicts: 2151000 | #Constraints: 43879
94.61/95.07 c #Conflicts: 2152000 | #Constraints: 44879
94.61/95.07 c #Conflicts: 2153000 | #Constraints: 45879
94.61/95.07 c #Conflicts: 2154000 | #Constraints: 46879
94.61/95.07 c #Conflicts: 2155000 | #Constraints: 47879
94.61/95.07 c #Conflicts: 2156000 | #Constraints: 48879
94.61/95.07 c #Conflicts: 2157000 | #Constraints: 49879
94.61/95.07 c #Conflicts: 2158000 | #Constraints: 50879
94.61/95.07 c #Conflicts: 2159000 | #Constraints: 51879
94.61/95.07 c #Conflicts: 2160000 | #Constraints: 52879
94.61/95.07 c #Conflicts: 2161000 | #Constraints: 53879
94.61/95.07 c #Conflicts: 2162000 | #Constraints: 54879
94.61/95.07 c #Conflicts: 2163000 | #Constraints: 55879
94.61/95.07 c #Conflicts: 2164000 | #Constraints: 56879
94.61/95.07 c #Conflicts: 2165000 | #Constraints: 57879
94.61/95.07 c #Conflicts: 2166000 | #Constraints: 58879
94.61/95.07 c INPROCESSING
94.61/95.07 c GARBAGE COLLECT
94.61/95.07 c rational objective 400.5
96.08/97.42 c #Conflicts: 2167000 | #Constraints: 30676
96.08/97.42 c #Conflicts: 2168000 | #Constraints: 31676
96.08/97.42 c #Conflicts: 2169000 | #Constraints: 32676
96.08/97.42 c #Conflicts: 2170000 | #Constraints: 33676
96.08/97.42 c #Conflicts: 2171000 | #Constraints: 34676
96.08/97.42 c #Conflicts: 2172000 | #Constraints: 35676
96.08/97.42 c #Conflicts: 2173000 | #Constraints: 36676
96.08/97.42 c #Conflicts: 2174000 | #Constraints: 37676
96.08/97.42 c #Conflicts: 2175000 | #Constraints: 38676
96.08/97.42 c #Conflicts: 2176000 | #Constraints: 39676
96.08/97.42 c #Conflicts: 2177000 | #Constraints: 40676
96.08/97.42 c #Conflicts: 2178000 | #Constraints: 41676
96.08/97.42 c #Conflicts: 2179000 | #Constraints: 42676
96.08/97.42 c #Conflicts: 2180000 | #Constraints: 43676
96.08/97.42 c #Conflicts: 2181000 | #Constraints: 44676
96.08/97.42 c #Conflicts: 2182000 | #Constraints: 45676
96.08/97.42 c #Conflicts: 2183000 | #Constraints: 46676
96.08/97.42 c #Conflicts: 2184000 | #Constraints: 47676
96.08/97.42 c #Conflicts: 2185000 | #Constraints: 48676
96.08/97.42 c #Conflicts: 2186000 | #Constraints: 49676
96.08/97.42 c #Conflicts: 2187000 | #Constraints: 50676
96.08/97.42 c #Conflicts: 2188000 | #Constraints: 51676
96.08/97.42 c #Conflicts: 2189000 | #Constraints: 52676
96.08/97.42 c #Conflicts: 2190000 | #Constraints: 53676
96.08/97.42 c #Conflicts: 2191000 | #Constraints: 54676
96.08/97.42 c #Conflicts: 2192000 | #Constraints: 55676
96.08/97.42 c #Conflicts: 2193000 | #Constraints: 56676
96.08/97.42 c #Conflicts: 2194000 | #Constraints: 57676
96.08/97.42 c #Conflicts: 2195000 | #Constraints: 58676
96.08/97.42 c #Conflicts: 2196000 | #Constraints: 59676
96.08/97.42 c INPROCESSING
96.08/97.42 c GARBAGE COLLECT
96.08/97.42 c rational objective 400.5
96.79/98.17 c #Conflicts: 2197000 | #Constraints: 19106
96.79/98.17 c #Conflicts: 2198000 | #Constraints: 20106
96.79/98.17 c #Conflicts: 2199000 | #Constraints: 21106
96.79/98.17 c #Conflicts: 2200000 | #Constraints: 22106
96.79/98.17 c #Conflicts: 2201000 | #Constraints: 23106
96.79/98.17 c #Conflicts: 2202000 | #Constraints: 24106
96.79/98.17 c #Conflicts: 2203000 | #Constraints: 25106
96.79/98.17 c #Conflicts: 2204000 | #Constraints: 26106
96.79/98.17 c #Conflicts: 2205000 | #Constraints: 27106
96.79/98.17 c #Conflicts: 2206000 | #Constraints: 28106
96.79/98.17 c #Conflicts: 2207000 | #Constraints: 29106
96.79/98.17 c #Conflicts: 2208000 | #Constraints: 30106
96.79/98.17 c #Conflicts: 2209000 | #Constraints: 31106
96.79/98.17 c #Conflicts: 2210000 | #Constraints: 32106
96.79/98.17 c #Conflicts: 2211000 | #Constraints: 33106
96.79/98.17 c #Conflicts: 2212000 | #Constraints: 34106
96.79/98.17 c cpu time 89.8004 s
96.79/98.17 c deterministic time 3121433354 3.12e+09
96.79/98.17 c optimization time 0.000106 s
96.79/98.17 c total solve time 89.7973 s
96.79/98.17 c core-guided solve time 0 s
96.79/98.17 c propagation time 61.1286 s
96.79/98.17 c conflict analysis time 14.3563 s
96.79/98.17 c propagations 10280316
96.79/98.17 c resolve steps 6482924
96.79/98.17 c decisions 3552146
96.79/98.17 c conflicts 2212886
96.79/98.17 c restarts 4093
96.79/98.17 c inprocessing phases 139
96.79/98.17 c garbage collections 139 ,( 100.00 )
96.79/98.17 c input clauses 58 ,( 6.76 )
96.79/98.17 c input cardinalities 800 ,( 93.24 )
96.79/98.17 c input general constraints 0 ,( 0.00 )
96.79/98.17 c input average constraint length 3.92
96.79/98.17 c input average constraint degree 1.93
96.79/98.17 c learned clauses 2170790 ,( 98.06 )
96.79/98.17 c learned cardinalities 4942 ,( 0.22 )
96.79/98.17 c learned general constraints 38033 ,( 1.72 )
96.79/98.17 c learned average constraint length 17.11
96.79/98.17 c learned average constraint degree 905541.16
96.79/98.17 c watched CF 32, 64, 128, Arb: 18366 , 0 , 0 , 0
96.79/98.17 c counting CF 32, 64, 128, Arb: 19667 , 0 , 0 , 0
96.79/98.17 c watched constraints 18366 ,( 48.29 )
96.79/98.17 c counting constraints 19667 ,( 51.71 )
96.79/98.17 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 722597577 , 18578688 , 17548770 ,( 13419364 , 4129406 )
96.79/98.17 c gcd simplifications 12957
96.79/98.17 c detected cardinalities 979
96.79/98.17 c weakened non-implied lits 295881
96.79/98.17 c weakened non-implying lits 2097
96.79/98.17 c original variables 819
96.79/98.17 c clausal propagations 4891566
96.79/98.17 c cardinality propagations 1834218
96.79/98.17 c watched propagations 83754
96.79/98.17 c counting propagations 1227957
96.79/98.17 c watch lookups 1464002393
96.79/98.17 c watch backjump lookups 0
96.79/98.17 c watch checks 1462148399
96.79/98.17 c propagation checks 49716152
96.79/98.17 c constraint additions 115465912
96.79/98.17 c trail pops 16045317
96.79/98.17 c formula constraints 858
96.79/98.17 c learned constraints 2212869
96.79/98.17 c bound constraints 0
96.79/98.17 c core-guided constraints 0
96.79/98.17 c encountered formula constraints 145685
96.79/98.17 c encountered learned constraints 8525571
96.79/98.17 c encountered bound constraints 0
96.79/98.17 c encountered core-guided constraints 0
96.79/98.17 c LP total time 14.299 s
96.79/98.17 c LP solve time 7.68 s
96.79/98.17 c LP constraints added 1864
96.79/98.17 c LP constraints removed 995
96.79/98.17 c LP pivots internal 221290
96.79/98.17 c LP pivots root 1428
96.79/98.17 c LP calls 17572
96.79/98.17 c LP optimalities 17555
96.79/98.17 c LP no pivot count 1212
96.79/98.17 c LP infeasibilities 16
96.79/98.17 c LP valid Farkas constraints 16
96.79/98.17 c LP learned Farkas constraints 16
96.79/98.17 c LP basis resets 0
96.79/98.17 c LP cycling count 0
96.79/98.17 c LP singular count 0
96.79/98.17 c LP no primal count 0
96.79/98.17 c LP no farkas count 0
96.79/98.17 c LP other issue count 0
96.79/98.17 c LP Gomory cuts 864
96.79/98.17 c LP learned cuts 142
96.79/98.17 c LP deleted cuts 995
96.79/98.17 c LP encountered Gomory constraints 0
96.79/98.17 c LP encountered Farkas constraints 24433
96.79/98.17 c LP encountered learned Farkas constraints 105
96.79/98.17 c CG auxiliary variables introduced 0
96.79/98.17 c CG solutions found 0
96.79/98.17 c CG cores constructed 0
96.79/98.17 c CG core cardinality constraints returned 0
96.79/98.17 c CG unit cores 0
96.79/98.17 c CG single cores 0
96.79/98.17 c CG blocks removed during cardinality reduction 0
96.79/98.17 c CG first core best 0
96.79/98.17 c CG decision core best 0
96.79/98.17 c CG core reduction tie 0
96.79/98.17 c CG core degree average 0.00
96.79/98.17 c CG core slack average 0.00
96.79/98.17 c CG core upper bound improvements 0
96.79/98.17 c STR number of successful calls 0
96.79/98.17 c STR number of unsuccessful calls 0
96.79/98.17 c STR number of inconclusive calls 0
96.79/98.17 c STR number of successful attempts 0
96.79/98.17 c STR number of unsuccessful attempts 0
96.79/98.17 c STR number of inconclusive attempts 0
96.79/98.17 c STR average degree increase per successful call inf
96.79/98.17 c STR average degree increase per successful attempt inf
96.79/98.17 c STR total number of conflicts for successful attempts 0
96.79/98.17 c STR total number of conflicts for unsuccessful attempts 0
96.79/98.17 c STR total number of conflicts for inconclusive attempts 0
96.79/98.18 c STR average number of conflicts per successful attempt inf
96.79/98.18 c STR average number of conflicts per unsuccessful attempt inf
96.79/98.18 c STR average number of conflicts per inconclusive attempt inf
96.79/98.18 c AVG.sumWPerc 40.66
96.79/98.18 c bigint constraints 0
96.79/98.18 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: 63665 MiB (60609 MiB free)
memory of node 1: 64507 MiB (59868 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4511089-1751199274/watcher-4511089-1751199274 -o /tmp/evaluation-result-4511089-1751199274/solver-4511089-1751199274 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751197546-21224 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4511089-1751199274.opb PROOFDIR/proof-4511089-1751199274
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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 FSIZE limit: 102400000 KiB
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=22539, runsolver pid=22536
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 4.08 4.09 3.70 5/272 22542
/proc/meminfo: memFree=123359468/131249996 swapFree=33010684/33010684
[pid=22539] ppid=22536 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/22539/stat : 22539 (run-dec-break-l) S 22536 22539 21214 0 -1 4194304 239 510 0 0 0 0 0 0 20 0 1 0 35606954 4292608 768 18446744073709551615 94179188457472 94179189352005 140724600914176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94179189591056 94179189638800 94179198836736 140724600916245 140724600916446 140724600916446 140724600922048 0
/proc/22539/statm: 1048 768 704 219 0 110 0
[pid=22542] ppid=22539 vsize=58468 memory=15272 CPUtime=0.06 cores=0,2
/proc/22542/stat : 22542 (roundingsat) R 22539 22539 21214 0 -1 4194304 1249 0 0 0 5 1 0 0 20 0 1 0 35606956 59871232 3818 18446744073709551615 4227072 8923433 140734867963840 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19709952 140734867966196 140734867966504 140734867966504 140734867972074 0
/proc/22542/statm: 14617 3818 2400 1147 0 2044 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 62660 KiB
Current children cumulated memory: 18344 KiB
[startup+0.205667 s]*
/proc/loadavg: 4.08 4.09 3.70 5/272 22542
/proc/meminfo: memFree=123357452/131249996 swapFree=33010684/33010684
[pid=22539] ppid=22536 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/22539/stat : 22539 (run-dec-break-l) S 22536 22539 21214 0 -1 4194304 239 510 0 0 0 0 0 0 20 0 1 0 35606954 4292608 768 18446744073709551615 94179188457472 94179189352005 140724600914176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94179189591056 94179189638800 94179198836736 140724600916245 140724600916446 140724600916446 140724600922048 0
/proc/22539/statm: 1048 768 704 219 0 110 0
[pid=22542] ppid=22539 vsize=59076 memory=16040 CPUtime=0.17 cores=0,2
/proc/22542/stat : 22542 (roundingsat) R 22539 22539 21214 0 -1 4194304 1421 0 0 0 15 2 0 0 20 0 1 0 35606956 60493824 4010 18446744073709551615 4227072 8923433 140734867963840 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19709952 140734867966196 140734867966504 140734867966504 140734867972074 0
/proc/22542/statm: 14769 4010 2400 1147 0 2196 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 63268 KiB
Current children cumulated memory: 19112 KiB
[startup+0.305319 s]*
/proc/loadavg: 4.08 4.09 3.70 5/272 22542
/proc/meminfo: memFree=123357452/131249996 swapFree=33010684/33010684
[pid=22539] ppid=22536 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/22539/stat : 22539 (run-dec-break-l) S 22536 22539 21214 0 -1 4194304 239 510 0 0 0 0 0 0 20 0 1 0 35606954 4292608 768 18446744073709551615 94179188457472 94179189352005 140724600914176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94179189591056 94179189638800 94179198836736 140724600916245 140724600916446 140724600916446 140724600922048 0
/proc/22539/statm: 1048 768 704 219 0 110 0
[pid=22542] ppid=22539 vsize=59372 memory=16296 CPUtime=0.26 cores=0,2
/proc/22542/stat : 22542 (roundingsat) R 22539 22539 21214 0 -1 4194304 1479 0 0 0 23 3 0 0 20 0 1 0 35606956 60796928 4074 18446744073709551615 4227072 8923433 140734867963840 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19709952 140734867966196 140734867966504 140734867966504 140734867972074 0
/proc/22542/statm: 14843 4074 2400 1147 0 2270 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 63564 KiB
Current children cumulated memory: 19368 KiB
[startup+0.700142 s]
/proc/loadavg: 4.08 4.09 3.70 5/272 22542
/proc/meminfo: memFree=123353420/131249996 swapFree=33010684/33010684
[pid=22539] ppid=22536 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/22539/stat : 22539 (run-dec-break-l) S 22536 22539 21214 0 -1 4194304 239 510 0 0 0 0 0 0 20 0 1 0 35606954 4292608 768 18446744073709551615 94179188457472 94179189352005 140724600914176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94179189591056 94179189638800 94179198836736 140724600916245 140724600916446 140724600916446 140724600922048 0
/proc/22539/statm: 1048 768 704 219 0 110 0
[pid=22542] ppid=22539 vsize=60100 memory=16936 CPUtime=0.66 cores=0,2
/proc/22542/stat : 22542 (roundingsat) R 22539 22539 21214 0 -1 4194304 1658 0 0 0 58 8 0 0 20 0 1 0 35606956 61542400 4234 18446744073709551615 4227072 8923433 140734867963840 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19709952 140734867966196 140734867966504 140734867966504 140734867972074 0
/proc/22542/statm: 15025 4234 2400 1147 0 2452 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 64292 KiB
Current children cumulated memory: 20008 KiB
[startup+1.50014 s]
/proc/loadavg: 4.08 4.09 3.70 5/272 22543
/proc/meminfo: memFree=123343592/131249996 swapFree=33010684/33010684
[pid=22539] ppid=22536 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/22539/stat : 22539 (run-dec-break-l) S 22536 22539 21214 0 -1 4194304 239 510 0 0 0 0 0 0 20 0 1 0 35606954 4292608 768 18446744073709551615 94179188457472 94179189352005 140724600914176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94179189591056 94179189638800 94179198836736 140724600916245 140724600916446 140724600916446 140724600922048 0
/proc/22539/statm: 1048 768 704 219 0 110 0
[pid=22542] ppid=22539 vsize=61064 memory=17960 CPUtime=1.45 cores=0,2
/proc/22542/stat : 22542 (roundingsat) R 22539 22539 21214 0 -1 4194304 1912 0 0 0 129 16 0 0 20 0 1 0 35606956 62529536 4490 18446744073709551615 4227072 8923433 140734867963840 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19709952 140734867966196 140734867966504 140734867966504 140734867972074 0
/proc/22542/statm: 15266 4490 2400 1147 0 2693 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 65256 KiB
Current children cumulated memory: 21032 KiB
[startup+3.10535 s]
/proc/loadavg: 4.15 4.10 3.71 5/272 22543
/proc/meminfo: memFree=123317456/131249996 swapFree=33010684/33010684
[pid=22539] ppid=22536 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/22539/stat : 22539 (run-dec-break-l) S 22536 22539 21214 0 -1 4194304 239 510 0 0 0 0 0 0 20 0 1 0 35606954 4292608 768 18446744073709551615 94179188457472 94179189352005 140724600914176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94179189591056 94179189638800 94179198836736 140724600916245 140724600916446 140724600916446 140724600922048 0
/proc/22539/statm: 1048 768 704 219 0 110 0
[pid=22542] ppid=22539 vsize=62592 memory=19368 CPUtime=3.05 cores=0,2
/proc/22542/stat : 22542 (roundingsat) R 22539 22539 21214 0 -1 4194304 2268 0 0 0 271 34 0 0 20 0 1 0 35606956 64094208 4842 18446744073709551615 4227072 8923433 140734867963840 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19709952 140734867966196 140734867966504 140734867966504 140734867972074 0
/proc/22542/statm: 15648 4842 2400 1147 0 3075 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 66784 KiB
Current children cumulated memory: 22440 KiB
[startup+6.30014 s]
/proc/loadavg: 4.15 4.10 3.71 5/272 22543
/proc/meminfo: memFree=123305632/131249996 swapFree=33010684/33010684
[pid=22539] ppid=22536 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/22539/stat : 22539 (run-dec-break-l) S 22536 22539 21214 0 -1 4194304 239 510 0 0 0 0 0 0 20 0 1 0 35606954 4292608 768 18446744073709551615 94179188457472 94179189352005 140724600914176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94179189591056 94179189638800 94179198836736 140724600916245 140724600916446 140724600916446 140724600922048 0
/proc/22539/statm: 1048 768 704 219 0 110 0
[pid=22542] ppid=22539 vsize=63740 memory=20520 CPUtime=6.24 cores=0,2
/proc/22542/stat : 22542 (roundingsat) R 22539 22539 21214 0 -1 4194304 2568 0 0 0 556 68 0 0 20 0 1 0 35606956 65269760 5130 18446744073709551615 4227072 8923433 140734867963840 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19709952 140734867966196 140734867966504 140734867966504 140734867972074 0
/proc/22542/statm: 15935 5130 2400 1147 0 3362 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 67932 KiB
Current children cumulated memory: 23592 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.10 3.71 5/272 22543
/proc/meminfo: memFree=123276992/131249996 swapFree=33010684/33010684
[pid=22539] ppid=22536 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/22539/stat : 22539 (run-dec-break-l) S 22536 22539 21214 0 -1 4194304 239 510 0 0 0 0 0 0 20 0 1 0 35606954 4292608 768 18446744073709551615 94179188457472 94179189352005 140724600914176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94179189591056 94179189638800 94179198836736 140724600916245 140724600916446 140724600916446 140724600922048 0
/proc/22539/statm: 1048 768 704 219 0 110 0
[pid=22542] ppid=22539 vsize=65896 memory=22816 CPUtime=12.62 cores=0,2
/proc/22542/stat : 22542 (roundingsat) R 22539 22539 21214 0 -1 4194304 3507 0 0 0 1137 125 0 0 20 0 1 0 35606956 67477504 5704 18446744073709551615 4227072 8923433 140734867963840 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19709952 140734867966196 140734867966504 140734867966504 140734867972074 0
/proc/22542/statm: 16474 5704 2400 1147 0 3901 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 70088 KiB
Current children cumulated memory: 25888 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.10 3.72 5/272 22543
/proc/meminfo: memFree=123195932/131249996 swapFree=33010684/33010684
[pid=22539] ppid=22536 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/22539/stat : 22539 (run-dec-break-l) S 22536 22539 21214 0 -1 4194304 239 510 0 0 0 0 0 0 20 0 1 0 35606954 4292608 768 18446744073709551615 94179188457472 94179189352005 140724600914176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94179189591056 94179189638800 94179198836736 140724600916245 140724600916446 140724600916446 140724600922048 0
/proc/22539/statm: 1048 768 704 219 0 110 0
[pid=22542] ppid=22539 vsize=68164 memory=26904 CPUtime=25.39 cores=0,2
/proc/22542/stat : 22542 (roundingsat) R 22539 22539 21214 0 -1 4194304 6544 0 0 0 2316 223 0 0 20 0 1 0 35606956 69799936 6726 18446744073709551615 4227072 8923433 140734867963840 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19709952 140734867966196 140734867966504 140734867966504 140734867972074 0
/proc/22542/statm: 17041 6726 2400 1147 0 4468 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 72356 KiB
Current children cumulated memory: 29976 KiB
[startup+51.1059 s]
/proc/loadavg: 4.15 4.10 3.73 5/272 22543
/proc/meminfo: memFree=123071560/131249996 swapFree=33010684/33010684
[pid=22539] ppid=22536 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/22539/stat : 22539 (run-dec-break-l) S 22536 22539 21214 0 -1 4194304 239 510 0 0 0 0 0 0 20 0 1 0 35606954 4292608 768 18446744073709551615 94179188457472 94179189352005 140724600914176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94179189591056 94179189638800 94179198836736 140724600916245 140724600916446 140724600916446 140724600922048 0
/proc/22539/statm: 1048 768 704 219 0 110 0
[pid=22542] ppid=22539 vsize=72012 memory=30684 CPUtime=50.87 cores=0,2
/proc/22542/stat : 22542 (roundingsat) R 22539 22539 21214 0 -1 4194304 11274 0 0 0 4678 409 0 0 20 0 1 0 35606956 73740288 7671 18446744073709551615 4227072 8923433 140734867963840 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19709952 140734867966196 140734867966504 140734867966504 140734867972074 0
/proc/22542/statm: 18003 7671 2400 1147 0 5430 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 76204 KiB
Current children cumulated memory: 33756 KiB
[startup+98.1862 s]
# the end of solver process 22539 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=89.8125 s, system=7.07716 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2002 s]
/proc/loadavg: 4.15 4.10 3.73 5/272 22543
/proc/meminfo: memFree=123071560/131249996 swapFree=33010684/33010684
[pid=22539] ppid=22536 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/22539/stat : 22539 (run-dec-break-l) S 22536 22539 21214 0 -1 4194304 239 510 0 0 0 0 0 0 20 0 1 0 35606954 4292608 768 18446744073709551615 94179188457472 94179189352005 140724600914176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94179189591056 94179189638800 94179198836736 140724600916245 140724600916446 140724600916446 140724600922048 0
/proc/22539/statm: 1048 768 704 219 0 110 0
[pid=22542] ppid=22539 vsize=72012 memory=30684 CPUtime=50.96 cores=0,2
/proc/22542/stat : 22542 (roundingsat) R 22539 22539 21214 0 -1 4194304 11274 0 0 0 4686 410 0 0 20 0 1 0 35606956 73740288 7671 18446744073709551615 4227072 8923433 140734867963840 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19709952 140734867966196 140734867966504 140734867966504 140734867972074 0
/proc/22542/statm: 18003 7671 2400 1147 0 5430 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 76204 KiB
Current children cumulated memory: 33756 KiB
[startup+76.8002 s]
/proc/loadavg: 4.10 4.09 3.74 5/272 22545
/proc/meminfo: memFree=122931676/131249996 swapFree=33010684/33010684
[pid=22539] ppid=22536 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/22539/stat : 22539 (run-dec-break-l) S 22536 22539 21214 0 -1 4194304 239 510 0 0 0 0 0 0 20 0 1 0 35606954 4292608 768 18446744073709551615 94179188457472 94179189352005 140724600914176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94179189591056 94179189638800 94179198836736 140724600916245 140724600916446 140724600916446 140724600922048 0
/proc/22539/statm: 1048 768 704 219 0 110 0
[pid=22542] ppid=22539 vsize=78248 memory=34452 CPUtime=76.45 cores=0,2
/proc/22542/stat : 22542 (roundingsat) R 22539 22539 21214 0 -1 4194304 17041 0 0 0 7071 574 0 0 20 0 1 0 35606956 80125952 8613 18446744073709551615 4227072 8923433 140734867963840 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19709952 140734867966196 140734867966504 140734867966504 140734867972074 0
/proc/22542/statm: 19562 8613 2400 1147 0 6989 0
Current children cumulated CPU time: 76.45 s
Current children cumulated vsize: 82440 KiB
Current children cumulated memory: 37524 KiB
[startup+89.6002 s]
/proc/loadavg: 4.15 4.10 3.75 5/272 22545
/proc/meminfo: memFree=122868184/131249996 swapFree=33010684/33010684
[pid=22539] ppid=22536 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/22539/stat : 22539 (run-dec-break-l) S 22536 22539 21214 0 -1 4194304 239 510 0 0 0 0 0 0 20 0 1 0 35606954 4292608 768 18446744073709551615 94179188457472 94179189352005 140724600914176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94179189591056 94179189638800 94179198836736 140724600916245 140724600916446 140724600916446 140724600922048 0
/proc/22539/statm: 1048 768 704 219 0 110 0
[pid=22542] ppid=22539 vsize=79160 memory=35668 CPUtime=89.22 cores=0,2
/proc/22542/stat : 22542 (roundingsat) R 22539 22539 21214 0 -1 4194304 19085 0 0 0 8265 657 0 0 20 0 1 0 35606956 81059840 8917 18446744073709551615 4227072 8923433 140734867963840 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19709952 140734867966196 140734867966504 140734867966504 140734867972074 0
/proc/22542/statm: 19790 8917 2400 1147 0 7217 0
Current children cumulated CPU time: 89.22 s
Current children cumulated vsize: 83352 KiB
Current children cumulated memory: 38740 KiB
[startup+92.8001 s]
/proc/loadavg: 4.14 4.10 3.75 5/272 22545
/proc/meminfo: memFree=122855116/131249996 swapFree=33010684/33010684
[pid=22539] ppid=22536 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/22539/stat : 22539 (run-dec-break-l) S 22536 22539 21214 0 -1 4194304 239 510 0 0 0 0 0 0 20 0 1 0 35606954 4292608 768 18446744073709551615 94179188457472 94179189352005 140724600914176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94179189591056 94179189638800 94179198836736 140724600916245 140724600916446 140724600916446 140724600922048 0
/proc/22539/statm: 1048 768 704 219 0 110 0
[pid=22542] ppid=22539 vsize=79420 memory=36004 CPUtime=92.41 cores=0,2
/proc/22542/stat : 22542 (roundingsat) R 22539 22539 21214 0 -1 4194304 19509 0 0 0 8564 677 0 0 20 0 1 0 35606956 81326080 9001 18446744073709551615 4227072 8923433 140734867963840 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19709952 140734867966196 140734867966504 140734867966504 140734867972074 0
/proc/22542/statm: 19855 9001 2400 1147 0 7282 0
Current children cumulated CPU time: 92.41 s
Current children cumulated vsize: 83612 KiB
Current children cumulated memory: 39076 KiB
[startup+96.0002 s]*
/proc/loadavg: 4.14 4.10 3.75 4/272 22545
/proc/meminfo: memFree=122836284/131249996 swapFree=33010684/33010684
[pid=22539] ppid=22536 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/22539/stat : 22539 (run-dec-break-l) S 22536 22539 21214 0 -1 4194304 239 510 0 0 0 0 0 0 20 0 1 0 35606954 4292608 768 18446744073709551615 94179188457472 94179189352005 140724600914176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94179189591056 94179189638800 94179198836736 140724600916245 140724600916446 140724600916446 140724600922048 0
/proc/22539/statm: 1048 768 704 219 0 110 0
[pid=22542] ppid=22539 vsize=78956 memory=35756 CPUtime=94.72 cores=0,2
/proc/22542/stat : 22542 (roundingsat) D 22539 22539 21214 0 -1 4194304 19811 0 0 0 8780 692 0 0 20 0 1 0 35606956 80850944 8939 18446744073709551615 4227072 8923433 140734867963840 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9823104 9832592 19709952 140734867966196 140734867966504 140734867966504 140734867972074 0
/proc/22542/statm: 19739 8939 2400 1147 0 7166 0
Current children cumulated CPU time: 94.72 s
Current children cumulated vsize: 83148 KiB
Current children cumulated memory: 38828 KiB
[startup+96.8002 s]
/proc/loadavg: 4.14 4.10 3.75 4/272 22545
/proc/meminfo: memFree=122836284/131249996 swapFree=33010684/33010684
[pid=22539] ppid=22536 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/22539/stat : 22539 (run-dec-break-l) S 22536 22539 21214 0 -1 4194304 239 510 0 0 0 0 0 0 20 0 1 0 35606954 4292608 768 18446744073709551615 94179188457472 94179189352005 140724600914176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94179189591056 94179189638800 94179198836736 140724600916245 140724600916446 140724600916446 140724600922048 0
/proc/22539/statm: 1048 768 704 219 0 110 0
[pid=22542] ppid=22539 vsize=78956 memory=35756 CPUtime=95.49 cores=0,2
/proc/22542/stat : 22542 (roundingsat) R 22539 22539 21214 0 -1 4194304 19818 0 0 0 8851 698 0 0 20 0 1 0 35606956 80850944 8939 18446744073709551615 4227072 8923433 140734867963840 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9823104 9832592 19709952 140734867966196 140734867966504 140734867966504 140734867972074 0
/proc/22542/statm: 19739 8939 2400 1147 0 7166 0
Current children cumulated CPU time: 95.49 s
Current children cumulated vsize: 83148 KiB
Current children cumulated memory: 38828 KiB
[startup+97.6002 s]
/proc/loadavg: 4.13 4.10 3.75 5/272 22545
/proc/meminfo: memFree=122832548/131249996 swapFree=33010684/33010684
[pid=22539] ppid=22536 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/22539/stat : 22539 (run-dec-break-l) S 22536 22539 21214 0 -1 4194304 239 510 0 0 0 0 0 0 20 0 1 0 35606954 4292608 768 18446744073709551615 94179188457472 94179189352005 140724600914176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94179189591056 94179189638800 94179198836736 140724600916245 140724600916446 140724600916446 140724600922048 0
/proc/22539/statm: 1048 768 704 219 0 110 0
[pid=22542] ppid=22539 vsize=80508 memory=36780 CPUtime=96.29 cores=0,2
/proc/22542/stat : 22542 (roundingsat) R 22539 22539 21214 0 -1 4194304 20082 0 0 0 8926 703 0 0 20 0 1 0 35606956 82440192 9195 18446744073709551615 4227072 8923433 140734867963840 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19709952 140734867966196 140734867966504 140734867966504 140734867972074 0
/proc/22542/statm: 20127 9195 2400 1147 0 7554 0
Current children cumulated CPU time: 96.29 s
Current children cumulated vsize: 84700 KiB
Current children cumulated memory: 39852 KiB
[startup+98.0001 s]*
/proc/loadavg: 4.13 4.10 3.75 5/272 22545
/proc/meminfo: memFree=122827512/131249996 swapFree=33010684/33010684
[pid=22539] ppid=22536 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/22539/stat : 22539 (run-dec-break-l) S 22536 22539 21214 0 -1 4194304 239 510 0 0 0 0 0 0 20 0 1 0 35606954 4292608 768 18446744073709551615 94179188457472 94179189352005 140724600914176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94179189591056 94179189638800 94179198836736 140724600916245 140724600916446 140724600916446 140724600922048 0
/proc/22539/statm: 1048 768 704 219 0 110 0
[pid=22542] ppid=22539 vsize=80508 memory=36780 CPUtime=96.69 cores=0,2
/proc/22542/stat : 22542 (roundingsat) R 22539 22539 21214 0 -1 4194304 20082 0 0 0 8963 706 0 0 20 0 1 0 35606956 82440192 9195 18446744073709551615 4227072 8923433 140734867963840 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19709952 140734867966196 140734867966504 140734867966504 140734867972074 0
/proc/22542/statm: 20127 9195 2400 1147 0 7554 0
Current children cumulated CPU time: 96.69 s
Current children cumulated vsize: 84700 KiB
Current children cumulated memory: 39852 KiB
[startup+98.1055 s]
/proc/loadavg: 4.13 4.10 3.75 5/272 22545
/proc/meminfo: memFree=122827512/131249996 swapFree=33010684/33010684
[pid=22539] ppid=22536 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/22539/stat : 22539 (run-dec-break-l) S 22536 22539 21214 0 -1 4194304 239 510 0 0 0 0 0 0 20 0 1 0 35606954 4292608 768 18446744073709551615 94179188457472 94179189352005 140724600914176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94179189591056 94179189638800 94179198836736 140724600916245 140724600916446 140724600916446 140724600922048 0
/proc/22539/statm: 1048 768 704 219 0 110 0
[pid=22542] ppid=22539 vsize=80508 memory=36780 CPUtime=96.79 cores=0,2
/proc/22542/stat : 22542 (roundingsat) R 22539 22539 21214 0 -1 4194304 20082 0 0 0 8973 706 0 0 20 0 1 0 35606956 82440192 9195 18446744073709551615 4227072 8923433 140734867963840 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19709952 140734867966196 140734867966504 140734867966504 140734867972074 0
/proc/22542/statm: 20127 9195 2400 1147 0 7554 0
Current children cumulated CPU time: 96.79 s
Current children cumulated vsize: 84700 KiB
Current children cumulated memory: 39852 KiB
Child status: 0
Real time (s): 98.1862
CPU time (s): 96.8897
CPU user time (s): 89.8125
CPU system time (s): 7.07716
CPU usage (%): 98.6795
Max. virtual memory (cumulated for all children) (KiB): 84700
Max. memory (cumulated for all children) (KiB): 39852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 89.8125
system time used= 7.07716
maximum resident set size= 36780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20855
page faults= 0
swaps= 0
block input operations= 0
block output operations= 386536
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 408
involuntary context switches= 252
# summary of solver processes directly reported to runsolver:
# pid: 22539
# total CPU time (s): 96.8897
# total CPU user time (s): 89.8125
# total CPU system time (s): 7.07716
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.189768 second user time and 0.473641 second system time
The end
Begin job on nodeC030 at 2025-06-29 14:14:34
IDJOB=4511089
IDBENCH=160428
IDSOLVER=3358
FILE ID=nodeC030/4511089-1751199274
RUNJOBID= nodeC030-1751197546-21224
SLURM_JOB_ID= 9587610
Free space on /tmp= 433012 MiB
SOLVER NAME= roundingsat+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/EC_ODD_GRIDS/normalized-ECgrid5x80split.opb
COMMAND LINE= run-dec-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4511089-1751199274/watcher-4511089-1751199274 -o /tmp/evaluation-result-4511089-1751199274/solver-4511089-1751199274 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751197546-21224 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4511089-1751199274.opb PROOFDIR/proof-4511089-1751199274
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1a3ecc72c33db076137ced748302e815
RANDOM SEED=22723674
nodeC030 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 : 3600.322
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 : 7000.62
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 : 3600.284
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 : 7000.62
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 : 3741.549
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 : 7000.62
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 : 3601.641
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 : 7000.62
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 : 3600.302
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 : 7000.62
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 : 3600.321
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 : 7000.62
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 : 3577.218
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 : 7000.62
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.933
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 : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 123369688 kB
MemAvailable: 129504172 kB
Buffers: 3280 kB
Cached: 6935492 kB
SwapCached: 0 kB
Active: 648524 kB
Inactive: 6678692 kB
Active(anon): 406568 kB
Inactive(anon): 0 kB
Active(file): 241956 kB
Inactive(file): 6678692 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 70412 kB
Writeback: 0 kB
AnonPages: 382660 kB
Mapped: 113432 kB
Shmem: 18064 kB
KReclaimable: 105748 kB
Slab: 193772 kB
SReclaimable: 105748 kB
SUnreclaim: 88024 kB
KernelStack: 4348 kB
PageTables: 3980 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 751592 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150712 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 292864 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: 189140 kB
DirectMap2M: 9019392 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433004 MiB
End job on nodeC030 at 2025-06-29 14:16:12