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-4499077-1751405612.opb'
0.00/0.02 c read 0.21MB (2.71ms)
0.00/0.02 c [cnf: #variables 2130 #clauses 2496 #duplicates 0 #arr 22065]
0.00/0.02 c output proof to 'PROOFDIR/proof-4499077-1751405612'
0.00/0.02 c
0.00/0.02 c make graph and approximate orbits
0.00/0.02 c [group: #orbits ~= 36] (2.72ms)
0.00/0.02 c
0.00/0.02 c detect special group actions
0.00/0.02 c probe for Johnson action (limit=64)
0.00/0.02 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.03 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.03 c recursing 150 blocks of candidate 5x852r
0.00/0.04 c found row 9x10, generating row predicate
0.00/0.04 c found row 5x852, generating row predicate
0.00/0.04 c (19.65ms)
0.00/0.04 c
0.00/0.04 c detect symmetries on remainder
0.00/0.04 c [graph: #vertices 12811 #edges 60500]
0.00/0.04 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.05 c [group: #symmetries 8.48*10^143 #generators 291] (10.49ms)
0.00/0.05 c
0.00/0.05 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.06 c opt it=15, l=8368, m=232, opt=16, avg=187, b=12, gens=291
0.00/0.07 c opt it=31, l=10019, m=466, opt=36, avg=181, b=12, gens=291
0.00/0.07 c opt it=47, l=11667, m=683, opt=52, avg=177, b=12, gens=291
0.00/0.08 c opt it=63, l=13309, m=875, opt=64, avg=173, b=12, gens=291
0.00/0.08 c ran it=0, +gens=37
0.08/0.13 c con best_support=12, best_gens=240, +gens=251
0.08/0.13 c (75.22ms)
0.08/0.13 c
0.08/0.13 c finalize break order and special generators
0.08/0.13 c
0.08/0.13 c add generic predicates (break_depth=20)
0.08/0.13 c added predicates for 579 generators (0.94ms)
0.17/0.23 c
0.17/0.23 c generation finished
0.17/0.23 c [sbp: #constraints 19508 #add_vars 6385]
0.17/0.23 c
0.17/0.23 c write result to 'HOME/instance-4499077-1751405612.opb.pre'
0.17/0.23 c wrote 0.90MB (2.26ms)
0.17/0.23 c ------------------------------------------------------------------
0.17/0.23 c 101.38ms 46.93% other
0.17/0.23 c 75.22ms 34.82% optimize_gens
0.17/0.23 c 19.65ms 9.10% detect_special
0.17/0.23 c 10.49ms 4.86% detect_generic
0.17/0.23 c 2.72ms 1.26% approx_orbits
0.17/0.23 c 2.71ms 1.26% parse
0.17/0.23 c 2.26ms 1.05% output
0.17/0.23 c 0.94ms 0.44% break_generic
0.17/0.23 c 0.64ms 0.30% finalize_order
0.17/0.23 c ───────────────────────────────────────────────
0.17/0.23 c 216.02ms 100% total
0.17/0.23 c ------------------------------------------------------------------
0.21/0.34 c RoundingSat 2
0.21/0.34 c branch pb25
0.21/0.34 c commit 63f22ad
0.56/0.75 c #variables 8515 #constraints 22036
0.56/0.75 c objective is ce32
0.66/0.89 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.66/0.89 c initial counting CF 32, 64, 128, Arb: 321 , 0 , 0 , 0
0.66/0.89 c bounds - >= 0 @ 0.474086
2.06/2.28 c #Conflicts: 1000 | #Constraints: 23035
2.06/2.28 c #Conflicts: 2000 | #Constraints: 24036
2.06/2.28 c INPROCESSING
2.06/2.28 c GARBAGE COLLECT
2.06/2.28 c rational objective 5
4.25/4.42 c #Conflicts: 3000 | #Constraints: 21856
4.25/4.42 c #Conflicts: 4000 | #Constraints: 22858
4.25/4.42 c INPROCESSING
4.25/4.42 c GARBAGE COLLECT
4.25/4.42 c rational objective 5
6.04/6.23 c #Conflicts: 5000 | #Constraints: 22191
6.04/6.23 c #Conflicts: 6000 | #Constraints: 23192
6.04/6.23 c INPROCESSING
6.04/6.23 c GARBAGE COLLECT
6.04/6.23 c rational objective 5
7.34/7.51 c #Conflicts: 7000 | #Constraints: 22067
7.34/7.51 c #Conflicts: 8000 | #Constraints: 23068
7.34/7.51 c #Conflicts: 9000 | #Constraints: 24069
7.34/7.51 c INPROCESSING
7.34/7.51 c GARBAGE COLLECT
7.34/7.51 c rational objective 5
9.43/9.62 c #Conflicts: 10000 | #Constraints: 22724
9.43/9.62 c #Conflicts: 11000 | #Constraints: 23724
9.43/9.62 c #Conflicts: 12000 | #Constraints: 24724
9.43/9.62 c INPROCESSING
9.43/9.62 c GARBAGE COLLECT
9.43/9.62 c rational objective 5
11.53/11.73 c #Conflicts: 13000 | #Constraints: 23176
11.53/11.73 c #Conflicts: 14000 | #Constraints: 24177
11.53/11.73 c #Conflicts: 15000 | #Constraints: 25178
11.53/11.73 c INPROCESSING
11.53/11.73 c GARBAGE COLLECT
11.53/11.73 c rational objective 5
14.72/14.98 c #Conflicts: 16000 | #Constraints: 23370
14.72/14.98 c #Conflicts: 17000 | #Constraints: 24370
14.72/14.98 c #Conflicts: 18000 | #Constraints: 25372
14.72/14.98 c INPROCESSING
14.72/14.98 c GARBAGE COLLECT
14.72/14.98 c rational objective 5
16.92/17.19 c #Conflicts: 19000 | #Constraints: 23395
16.92/17.19 c #Conflicts: 20000 | #Constraints: 24395
16.92/17.19 c #Conflicts: 21000 | #Constraints: 25396
16.92/17.19 c INPROCESSING
16.92/17.19 c GARBAGE COLLECT
16.92/17.19 c rational objective 5
19.61/19.84 c #Conflicts: 22000 | #Constraints: 23190
19.61/19.84 c #Conflicts: 23000 | #Constraints: 24191
19.61/19.84 c #Conflicts: 24000 | #Constraints: 25191
19.61/19.84 c #Conflicts: 25000 | #Constraints: 26192
19.61/19.84 c INPROCESSING
19.61/19.84 c GARBAGE COLLECT
19.61/19.84 c rational objective 5
22.29/22.51 c #Conflicts: 26000 | #Constraints: 23810
22.29/22.51 c #Conflicts: 27000 | #Constraints: 24810
22.29/22.51 c #Conflicts: 28000 | #Constraints: 25812
22.29/22.51 c #Conflicts: 29000 | #Constraints: 26812
22.29/22.51 c INPROCESSING
22.29/22.51 c GARBAGE COLLECT
22.29/22.51 c rational objective 5
25.80/26.03 c #Conflicts: 30000 | #Constraints: 24201
25.80/26.03 c #Conflicts: 31000 | #Constraints: 25205
25.80/26.03 c #Conflicts: 32000 | #Constraints: 26207
25.80/26.03 c #Conflicts: 33000 | #Constraints: 27208
25.80/26.03 c INPROCESSING
25.80/26.03 c GARBAGE COLLECT
25.80/26.03 c rational objective 5
29.27/29.57 c #Conflicts: 34000 | #Constraints: 24378
29.27/29.57 c #Conflicts: 35000 | #Constraints: 25381
29.27/29.57 c #Conflicts: 36000 | #Constraints: 26385
29.27/29.57 c #Conflicts: 37000 | #Constraints: 27386
29.27/29.57 c INPROCESSING
29.27/29.57 c GARBAGE COLLECT
29.27/29.57 c rational objective 5
33.88/34.37 c #Conflicts: 38000 | #Constraints: 24313
33.88/34.37 c #Conflicts: 39000 | #Constraints: 25313
33.88/34.37 c #Conflicts: 40000 | #Constraints: 26315
33.88/34.37 c #Conflicts: 41000 | #Constraints: 27318
33.88/34.37 c INPROCESSING
33.88/34.37 c GARBAGE COLLECT
33.88/34.37 c rational objective 5
38.34/38.87 c #Conflicts: 42000 | #Constraints: 24137
38.34/38.87 c #Conflicts: 43000 | #Constraints: 25138
38.34/38.87 c #Conflicts: 44000 | #Constraints: 26138
38.34/38.87 c #Conflicts: 45000 | #Constraints: 27139
38.34/38.87 c #Conflicts: 46000 | #Constraints: 28140
38.34/38.87 c INPROCESSING
38.34/38.87 c GARBAGE COLLECT
38.34/38.87 c rational objective 5
44.10/44.65 c #Conflicts: 47000 | #Constraints: 24721
44.10/44.65 c #Conflicts: 48000 | #Constraints: 25721
44.10/44.65 c #Conflicts: 49000 | #Constraints: 26723
44.10/44.65 c #Conflicts: 50000 | #Constraints: 27725
44.10/44.65 c #Conflicts: 51000 | #Constraints: 28726
44.10/44.65 c INPROCESSING
44.10/44.65 c GARBAGE COLLECT
44.10/44.65 c rational objective 5
48.95/49.52 c #Conflicts: 52000 | #Constraints: 25127
48.95/49.52 c #Conflicts: 53000 | #Constraints: 26127
48.95/49.52 c #Conflicts: 54000 | #Constraints: 27130
48.95/49.52 c #Conflicts: 55000 | #Constraints: 28130
48.95/49.52 c #Conflicts: 56000 | #Constraints: 29132
48.95/49.52 c INPROCESSING
48.95/49.52 c GARBAGE COLLECT
48.95/49.52 c rational objective 5
53.61/54.24 c #Conflicts: 57000 | #Constraints: 25328
53.61/54.24 c #Conflicts: 58000 | #Constraints: 26331
53.61/54.24 c #Conflicts: 59000 | #Constraints: 27333
53.61/54.24 c #Conflicts: 60000 | #Constraints: 28336
53.61/54.24 c #Conflicts: 61000 | #Constraints: 29341
53.61/54.24 c INPROCESSING
53.61/54.24 c GARBAGE COLLECT
53.61/54.24 c rational objective 5
57.07/57.73 c #Conflicts: 62000 | #Constraints: 25343
57.07/57.73 c #Conflicts: 63000 | #Constraints: 26343
57.07/57.73 c #Conflicts: 64000 | #Constraints: 27344
57.07/57.73 c #Conflicts: 65000 | #Constraints: 28346
57.07/57.73 c #Conflicts: 66000 | #Constraints: 29349
57.07/57.73 c INPROCESSING
57.07/57.73 c GARBAGE COLLECT
57.07/57.73 c rational objective 5
63.63/64.43 c #Conflicts: 67000 | #Constraints: 25137
63.63/64.43 c #Conflicts: 68000 | #Constraints: 26138
63.63/64.43 c #Conflicts: 69000 | #Constraints: 27139
63.63/64.43 c #Conflicts: 70000 | #Constraints: 28139
63.63/64.43 c #Conflicts: 71000 | #Constraints: 29141
63.63/64.43 c #Conflicts: 72000 | #Constraints: 30143
63.63/64.43 c INPROCESSING
63.63/64.43 c GARBAGE COLLECT
63.63/64.43 c rational objective 5
69.72/70.53 c #Conflicts: 73000 | #Constraints: 25720
69.72/70.53 c #Conflicts: 74000 | #Constraints: 26721
69.72/70.53 c #Conflicts: 75000 | #Constraints: 27723
69.72/70.53 c #Conflicts: 76000 | #Constraints: 28724
69.72/70.53 c #Conflicts: 77000 | #Constraints: 29724
69.72/70.53 c #Conflicts: 78000 | #Constraints: 30725
69.72/70.53 c INPROCESSING
69.72/70.53 c GARBAGE COLLECT
69.72/70.53 c rational objective 5
76.31/77.18 c #Conflicts: 79000 | #Constraints: 26015
76.31/77.18 c #Conflicts: 80000 | #Constraints: 27015
76.31/77.18 c #Conflicts: 81000 | #Constraints: 28016
76.31/77.18 c #Conflicts: 82000 | #Constraints: 29016
76.31/77.18 c #Conflicts: 83000 | #Constraints: 30018
76.31/77.18 c #Conflicts: 84000 | #Constraints: 31019
76.31/77.18 c INPROCESSING
76.31/77.18 c GARBAGE COLLECT
76.31/77.18 c rational objective 5
85.20/86.14 c #Conflicts: 85000 | #Constraints: 26220
85.20/86.14 c #Conflicts: 86000 | #Constraints: 27221
85.20/86.14 c #Conflicts: 87000 | #Constraints: 28222
85.20/86.14 c #Conflicts: 88000 | #Constraints: 29224
85.20/86.14 c #Conflicts: 89000 | #Constraints: 30225
85.20/86.14 c #Conflicts: 90000 | #Constraints: 31226
85.20/86.14 c INPROCESSING
85.20/86.14 c GARBAGE COLLECT
85.20/86.14 c rational objective 5
90.96/91.92 c #Conflicts: 91000 | #Constraints: 26238
90.96/91.92 c #Conflicts: 92000 | #Constraints: 27238
90.96/91.92 c #Conflicts: 93000 | #Constraints: 28238
90.96/91.92 c #Conflicts: 94000 | #Constraints: 29240
90.96/91.92 c #Conflicts: 95000 | #Constraints: 30241
90.96/91.92 c #Conflicts: 96000 | #Constraints: 31243
90.96/91.92 c INPROCESSING
90.96/91.92 c GARBAGE COLLECT
90.96/91.92 c rational objective 5
98.02/99.15 c #Conflicts: 97000 | #Constraints: 26016
98.02/99.15 c #Conflicts: 98000 | #Constraints: 27016
98.02/99.15 c #Conflicts: 99000 | #Constraints: 28016
98.02/99.15 c #Conflicts: 100000 | #Constraints: 29019
98.02/99.15 c #Conflicts: 101000 | #Constraints: 30020
98.02/99.15 c #Conflicts: 102000 | #Constraints: 31021
98.02/99.15 c #Conflicts: 103000 | #Constraints: 32022
98.02/99.15 c INPROCESSING
98.02/99.15 c GARBAGE COLLECT
98.02/99.15 c rational objective 5
104.74/105.90 c #Conflicts: 104000 | #Constraints: 26556
104.74/105.90 c #Conflicts: 105000 | #Constraints: 27556
104.74/105.90 c #Conflicts: 106000 | #Constraints: 28560
104.74/105.90 c #Conflicts: 107000 | #Constraints: 29563
104.74/105.90 c #Conflicts: 108000 | #Constraints: 30564
104.74/105.90 c #Conflicts: 109000 | #Constraints: 31565
104.74/105.90 c #Conflicts: 110000 | #Constraints: 32567
104.74/105.90 c INPROCESSING
104.74/105.90 c GARBAGE COLLECT
104.74/105.90 c rational objective 5
111.90/113.16 c #Conflicts: 111000 | #Constraints: 26785
111.90/113.16 c #Conflicts: 112000 | #Constraints: 27785
111.90/113.16 c #Conflicts: 113000 | #Constraints: 28787
111.90/113.16 c #Conflicts: 114000 | #Constraints: 29790
111.90/113.16 c #Conflicts: 115000 | #Constraints: 30794
111.90/113.16 c #Conflicts: 116000 | #Constraints: 31796
111.90/113.16 c #Conflicts: 117000 | #Constraints: 32799
111.90/113.16 c INPROCESSING
111.90/113.16 c GARBAGE COLLECT
111.90/113.16 c rational objective 5
119.36/120.65 c #Conflicts: 118000 | #Constraints: 26943
119.36/120.65 c #Conflicts: 119000 | #Constraints: 27948
119.36/120.65 c #Conflicts: 120000 | #Constraints: 28953
119.36/120.65 c #Conflicts: 121000 | #Constraints: 29956
119.36/120.65 c #Conflicts: 122000 | #Constraints: 30957
119.36/120.65 c #Conflicts: 123000 | #Constraints: 31957
119.36/120.65 c #Conflicts: 124000 | #Constraints: 32959
119.36/120.65 c INPROCESSING
119.36/120.65 c GARBAGE COLLECT
119.36/120.65 c rational objective 5
127.80/129.24 c #Conflicts: 125000 | #Constraints: 26905
127.80/129.24 c #Conflicts: 126000 | #Constraints: 27905
127.80/129.24 c #Conflicts: 127000 | #Constraints: 28909
127.80/129.24 c #Conflicts: 128000 | #Constraints: 29913
127.80/129.24 c #Conflicts: 129000 | #Constraints: 30918
127.80/129.24 c #Conflicts: 130000 | #Constraints: 31921
127.80/129.24 c #Conflicts: 131000 | #Constraints: 32926
127.80/129.24 c INPROCESSING
127.80/129.24 c GARBAGE COLLECT
127.80/129.24 c rational objective 5
133.84/135.30 c #Conflicts: 132000 | #Constraints: 26701
133.84/135.30 c #Conflicts: 133000 | #Constraints: 27701
133.84/135.30 c #Conflicts: 134000 | #Constraints: 28703
133.84/135.30 c #Conflicts: 135000 | #Constraints: 29706
133.84/135.30 c #Conflicts: 136000 | #Constraints: 30707
133.84/135.30 c #Conflicts: 137000 | #Constraints: 31713
133.84/135.30 c #Conflicts: 138000 | #Constraints: 32716
133.84/135.30 c #Conflicts: 139000 | #Constraints: 33720
133.84/135.30 c INPROCESSING
133.84/135.30 c GARBAGE COLLECT
133.84/135.30 c rational objective 5
142.76/144.30 c #Conflicts: 140000 | #Constraints: 27145
142.76/144.30 c #Conflicts: 141000 | #Constraints: 28151
142.76/144.30 c #Conflicts: 142000 | #Constraints: 29156
142.76/144.30 c #Conflicts: 143000 | #Constraints: 30157
142.76/144.30 c #Conflicts: 144000 | #Constraints: 31158
142.76/144.30 c #Conflicts: 145000 | #Constraints: 32158
142.76/144.30 c #Conflicts: 146000 | #Constraints: 33161
142.76/144.30 c #Conflicts: 147000 | #Constraints: 34164
142.76/144.30 c INPROCESSING
142.76/144.30 c GARBAGE COLLECT
142.76/144.30 c rational objective 5
151.64/153.23 c #Conflicts: 148000 | #Constraints: 27574
151.64/153.23 c #Conflicts: 149000 | #Constraints: 28574
151.64/153.23 c #Conflicts: 150000 | #Constraints: 29575
151.64/153.23 c #Conflicts: 151000 | #Constraints: 30576
151.64/153.23 c #Conflicts: 152000 | #Constraints: 31576
151.64/153.23 c #Conflicts: 153000 | #Constraints: 32578
151.64/153.23 c #Conflicts: 154000 | #Constraints: 33579
151.64/153.23 c #Conflicts: 155000 | #Constraints: 34581
151.64/153.23 c INPROCESSING
151.64/153.23 c GARBAGE COLLECT
151.64/153.23 c rational objective 5
160.74/162.56 c #Conflicts: 156000 | #Constraints: 27741
160.74/162.56 c #Conflicts: 157000 | #Constraints: 28746
160.74/162.56 c #Conflicts: 158000 | #Constraints: 29748
160.74/162.56 c #Conflicts: 159000 | #Constraints: 30750
160.74/162.56 c #Conflicts: 160000 | #Constraints: 31751
160.74/162.56 c #Conflicts: 161000 | #Constraints: 32752
160.74/162.56 c #Conflicts: 162000 | #Constraints: 33753
160.74/162.56 c #Conflicts: 163000 | #Constraints: 34755
160.74/162.56 c INPROCESSING
160.74/162.56 c GARBAGE COLLECT
160.74/162.56 c rational objective 5
169.26/171.19 c #Conflicts: 164000 | #Constraints: 27731
169.26/171.19 c #Conflicts: 165000 | #Constraints: 28733
169.26/171.19 c #Conflicts: 166000 | #Constraints: 29734
169.26/171.19 c #Conflicts: 167000 | #Constraints: 30736
169.26/171.19 c #Conflicts: 168000 | #Constraints: 31740
169.26/171.19 c #Conflicts: 169000 | #Constraints: 32742
169.26/171.19 c #Conflicts: 170000 | #Constraints: 33743
169.26/171.19 c #Conflicts: 171000 | #Constraints: 34744
169.26/171.19 c INPROCESSING
169.26/171.19 c GARBAGE COLLECT
169.26/171.19 c rational objective 5
179.35/181.31 c #Conflicts: 172000 | #Constraints: 27521
179.35/181.31 c #Conflicts: 173000 | #Constraints: 28521
179.35/181.31 c #Conflicts: 174000 | #Constraints: 29521
179.35/181.31 c #Conflicts: 175000 | #Constraints: 30522
179.35/181.31 c #Conflicts: 176000 | #Constraints: 31525
179.35/181.31 c #Conflicts: 177000 | #Constraints: 32527
179.35/181.31 c #Conflicts: 178000 | #Constraints: 33529
179.35/181.31 c #Conflicts: 179000 | #Constraints: 34530
179.35/181.31 c #Conflicts: 180000 | #Constraints: 35534
179.35/181.31 c INPROCESSING
179.35/181.31 c GARBAGE COLLECT
179.35/181.31 c rational objective 5
194.34/196.56 c #Conflicts: 181000 | #Constraints: 28104
194.34/196.56 c #Conflicts: 182000 | #Constraints: 29105
194.34/196.56 c #Conflicts: 183000 | #Constraints: 30108
194.34/196.56 c #Conflicts: 184000 | #Constraints: 31111
194.34/196.56 c #Conflicts: 185000 | #Constraints: 32113
194.34/196.56 c #Conflicts: 186000 | #Constraints: 33118
194.34/196.56 c #Conflicts: 187000 | #Constraints: 34119
194.34/196.56 c #Conflicts: 188000 | #Constraints: 35120
194.34/196.56 c #Conflicts: 189000 | #Constraints: 36122
194.34/196.56 c INPROCESSING
194.34/196.56 c GARBAGE COLLECT
194.34/196.56 c rational objective 5
203.40/205.65 c #Conflicts: 190000 | #Constraints: 28405
203.40/205.65 c #Conflicts: 191000 | #Constraints: 29407
203.40/205.65 c #Conflicts: 192000 | #Constraints: 30409
203.40/205.65 c #Conflicts: 193000 | #Constraints: 31410
203.40/205.65 c #Conflicts: 194000 | #Constraints: 32411
203.40/205.65 c #Conflicts: 195000 | #Constraints: 33413
203.40/205.65 c #Conflicts: 196000 | #Constraints: 34417
203.40/205.65 c #Conflicts: 197000 | #Constraints: 35420
203.40/205.65 c #Conflicts: 198000 | #Constraints: 36421
203.40/205.65 c INPROCESSING
203.40/205.65 c GARBAGE COLLECT
203.40/205.65 c rational objective 5
215.07/217.32 c #Conflicts: 199000 | #Constraints: 28604
215.07/217.32 c #Conflicts: 200000 | #Constraints: 29605
215.07/217.32 c #Conflicts: 201000 | #Constraints: 30608
215.07/217.32 c #Conflicts: 202000 | #Constraints: 31611
215.07/217.32 c #Conflicts: 203000 | #Constraints: 32615
215.07/217.32 c #Conflicts: 204000 | #Constraints: 33618
215.07/217.32 c #Conflicts: 205000 | #Constraints: 34618
215.07/217.32 c #Conflicts: 206000 | #Constraints: 35619
215.07/217.32 c #Conflicts: 207000 | #Constraints: 36620
215.07/217.32 c INPROCESSING
215.07/217.32 c GARBAGE COLLECT
215.07/217.32 c rational objective 5
230.12/232.63 c #Conflicts: 208000 | #Constraints: 28590
230.12/232.63 c #Conflicts: 209000 | #Constraints: 29590
230.12/232.63 c #Conflicts: 210000 | #Constraints: 30592
230.12/232.63 c #Conflicts: 211000 | #Constraints: 31593
230.12/232.63 c #Conflicts: 212000 | #Constraints: 32594
230.12/232.63 c #Conflicts: 213000 | #Constraints: 33596
230.12/232.63 c #Conflicts: 214000 | #Constraints: 34597
230.12/232.63 c #Conflicts: 215000 | #Constraints: 35600
230.12/232.63 c #Conflicts: 216000 | #Constraints: 36603
230.12/232.63 c INPROCESSING
230.12/232.63 c GARBAGE COLLECT
230.12/232.63 c rational objective 5
242.87/245.43 c #Conflicts: 217000 | #Constraints: 28384
242.87/245.43 c #Conflicts: 218000 | #Constraints: 29384
242.87/245.43 c #Conflicts: 219000 | #Constraints: 30387
242.87/245.43 c #Conflicts: 220000 | #Constraints: 31390
242.87/245.43 c #Conflicts: 221000 | #Constraints: 32390
242.87/245.43 c #Conflicts: 222000 | #Constraints: 33391
242.87/245.43 c #Conflicts: 223000 | #Constraints: 34392
242.87/245.43 c #Conflicts: 224000 | #Constraints: 35395
242.87/245.43 c #Conflicts: 225000 | #Constraints: 36397
242.87/245.43 c #Conflicts: 226000 | #Constraints: 37398
242.87/245.43 c INPROCESSING
242.87/245.43 c GARBAGE COLLECT
242.87/245.43 c rational objective 5
255.61/258.30 c #Conflicts: 227000 | #Constraints: 28933
255.61/258.30 c #Conflicts: 228000 | #Constraints: 29933
255.61/258.30 c #Conflicts: 229000 | #Constraints: 30936
255.61/258.30 c #Conflicts: 230000 | #Constraints: 31938
255.61/258.30 c #Conflicts: 231000 | #Constraints: 32941
255.61/258.30 c #Conflicts: 232000 | #Constraints: 33943
255.61/258.30 c #Conflicts: 233000 | #Constraints: 34944
255.61/258.30 c #Conflicts: 234000 | #Constraints: 35945
255.61/258.30 c #Conflicts: 235000 | #Constraints: 36946
255.61/258.30 c #Conflicts: 236000 | #Constraints: 37947
255.61/258.30 c INPROCESSING
255.61/258.30 c GARBAGE COLLECT
255.61/258.30 c rational objective 5
266.17/268.91 c #Conflicts: 237000 | #Constraints: 29293
266.17/268.91 c #Conflicts: 238000 | #Constraints: 30293
266.17/268.91 c #Conflicts: 239000 | #Constraints: 31294
266.17/268.91 c #Conflicts: 240000 | #Constraints: 32296
266.17/268.91 c #Conflicts: 241000 | #Constraints: 33297
266.17/268.91 c #Conflicts: 242000 | #Constraints: 34299
266.17/268.91 c #Conflicts: 243000 | #Constraints: 35301
266.17/268.91 c #Conflicts: 244000 | #Constraints: 36301
266.17/268.91 c #Conflicts: 245000 | #Constraints: 37303
266.17/268.91 c #Conflicts: 246000 | #Constraints: 38304
266.17/268.91 c INPROCESSING
266.17/268.91 c GARBAGE COLLECT
266.17/268.91 c rational objective 5
282.22/285.35 c #Conflicts: 247000 | #Constraints: 29506
282.22/285.35 c #Conflicts: 248000 | #Constraints: 30506
282.22/285.35 c #Conflicts: 249000 | #Constraints: 31508
282.22/285.35 c #Conflicts: 250000 | #Constraints: 32509
282.22/285.35 c #Conflicts: 251000 | #Constraints: 33511
282.22/285.35 c #Conflicts: 252000 | #Constraints: 34512
282.22/285.35 c #Conflicts: 253000 | #Constraints: 35513
282.22/285.35 c #Conflicts: 254000 | #Constraints: 36516
282.22/285.35 c #Conflicts: 255000 | #Constraints: 37517
282.22/285.35 c #Conflicts: 256000 | #Constraints: 38521
282.22/285.35 c INPROCESSING
282.22/285.35 c GARBAGE COLLECT
282.22/285.35 c rational objective 5
296.22/299.44 c #Conflicts: 257000 | #Constraints: 29439
296.22/299.44 c #Conflicts: 258000 | #Constraints: 30439
296.22/299.44 c #Conflicts: 259000 | #Constraints: 31441
296.22/299.44 c #Conflicts: 260000 | #Constraints: 32444
296.22/299.44 c #Conflicts: 261000 | #Constraints: 33449
296.22/299.44 c #Conflicts: 262000 | #Constraints: 34456
296.22/299.44 c #Conflicts: 263000 | #Constraints: 35458
296.22/299.44 c #Conflicts: 264000 | #Constraints: 36461
296.22/299.44 c #Conflicts: 265000 | #Constraints: 37463
296.22/299.44 c #Conflicts: 266000 | #Constraints: 38464
296.22/299.44 c INPROCESSING
296.22/299.44 c GARBAGE COLLECT
296.22/299.44 c rational objective 5
309.99/313.32 c #Conflicts: 267000 | #Constraints: 29196
309.99/313.32 c #Conflicts: 268000 | #Constraints: 30196
309.99/313.32 c #Conflicts: 269000 | #Constraints: 31196
309.99/313.32 c #Conflicts: 270000 | #Constraints: 32201
309.99/313.32 c #Conflicts: 271000 | #Constraints: 33204
309.99/313.32 c #Conflicts: 272000 | #Constraints: 34206
309.99/313.32 c #Conflicts: 273000 | #Constraints: 35211
309.99/313.32 c #Conflicts: 274000 | #Constraints: 36213
309.99/313.32 c #Conflicts: 275000 | #Constraints: 37216
309.99/313.32 c #Conflicts: 276000 | #Constraints: 38219
309.99/313.32 c #Conflicts: 277000 | #Constraints: 39221
309.99/313.32 c INPROCESSING
309.99/313.32 c GARBAGE COLLECT
309.99/313.32 c rational objective 5
322.45/325.88 c #Conflicts: 278000 | #Constraints: 29755
322.45/325.88 c #Conflicts: 279000 | #Constraints: 30757
322.45/325.88 c #Conflicts: 280000 | #Constraints: 31760
322.45/325.88 c #Conflicts: 281000 | #Constraints: 32762
322.45/325.88 c #Conflicts: 282000 | #Constraints: 33762
322.45/325.88 c #Conflicts: 283000 | #Constraints: 34766
322.45/325.88 c #Conflicts: 284000 | #Constraints: 35767
322.45/325.88 c #Conflicts: 285000 | #Constraints: 36769
322.45/325.88 c #Conflicts: 286000 | #Constraints: 37769
322.45/325.88 c #Conflicts: 287000 | #Constraints: 38770
322.45/325.88 c #Conflicts: 288000 | #Constraints: 39773
322.45/325.88 c INPROCESSING
322.45/325.88 c GARBAGE COLLECT
322.45/325.88 c rational objective 5
336.20/339.61 c #Conflicts: 289000 | #Constraints: 30123
336.20/339.61 c #Conflicts: 290000 | #Constraints: 31124
336.20/339.61 c #Conflicts: 291000 | #Constraints: 32125
336.20/339.61 c #Conflicts: 292000 | #Constraints: 33127
336.20/339.61 c #Conflicts: 293000 | #Constraints: 34133
336.20/339.61 c #Conflicts: 294000 | #Constraints: 35135
336.20/339.61 c #Conflicts: 295000 | #Constraints: 36143
336.20/339.61 c #Conflicts: 296000 | #Constraints: 37148
336.20/339.61 c #Conflicts: 297000 | #Constraints: 38153
336.20/339.61 c #Conflicts: 298000 | #Constraints: 39155
336.20/339.61 c #Conflicts: 299000 | #Constraints: 40157
336.20/339.61 c INPROCESSING
336.20/339.61 c GARBAGE COLLECT
336.20/339.61 c rational objective 5
351.90/355.54 c #Conflicts: 300000 | #Constraints: 30299
351.90/355.54 c #Conflicts: 301000 | #Constraints: 31300
351.90/355.54 c #Conflicts: 302000 | #Constraints: 32304
351.90/355.54 c #Conflicts: 303000 | #Constraints: 33309
351.90/355.54 c #Conflicts: 304000 | #Constraints: 34312
351.90/355.54 c #Conflicts: 305000 | #Constraints: 35317
351.90/355.54 c #Conflicts: 306000 | #Constraints: 36320
351.90/355.54 c #Conflicts: 307000 | #Constraints: 37321
351.90/355.54 c #Conflicts: 308000 | #Constraints: 38322
351.90/355.54 c #Conflicts: 309000 | #Constraints: 39324
351.90/355.54 c #Conflicts: 310000 | #Constraints: 40327
351.90/355.54 c INPROCESSING
351.90/355.54 c GARBAGE COLLECT
351.90/355.54 c rational objective 5
367.63/371.47 c #Conflicts: 311000 | #Constraints: 30283
367.63/371.47 c #Conflicts: 312000 | #Constraints: 31287
367.63/371.47 c #Conflicts: 313000 | #Constraints: 32296
367.63/371.47 c #Conflicts: 314000 | #Constraints: 33303
367.63/371.47 c #Conflicts: 315000 | #Constraints: 34307
367.63/371.47 c #Conflicts: 316000 | #Constraints: 35308
367.63/371.47 c #Conflicts: 317000 | #Constraints: 36310
367.63/371.47 c #Conflicts: 318000 | #Constraints: 37312
367.63/371.47 c #Conflicts: 319000 | #Constraints: 38314
367.63/371.47 c #Conflicts: 320000 | #Constraints: 39315
367.63/371.47 c #Conflicts: 321000 | #Constraints: 40316
367.63/371.47 c INPROCESSING
367.63/371.47 c GARBAGE COLLECT
367.63/371.47 c rational objective 5
385.13/389.16 c #Conflicts: 322000 | #Constraints: 30100
385.13/389.16 c #Conflicts: 323000 | #Constraints: 31101
385.13/389.16 c #Conflicts: 324000 | #Constraints: 32104
385.13/389.16 c #Conflicts: 325000 | #Constraints: 33106
385.13/389.16 c #Conflicts: 326000 | #Constraints: 34108
385.13/389.16 c #Conflicts: 327000 | #Constraints: 35110
385.13/389.16 c #Conflicts: 328000 | #Constraints: 36111
385.13/389.16 c #Conflicts: 329000 | #Constraints: 37112
385.13/389.16 c #Conflicts: 330000 | #Constraints: 38113
385.13/389.16 c #Conflicts: 331000 | #Constraints: 39115
385.13/389.16 c #Conflicts: 332000 | #Constraints: 40117
385.13/389.16 c #Conflicts: 333000 | #Constraints: 41119
385.13/389.16 c INPROCESSING
385.13/389.16 c GARBAGE COLLECT
385.13/389.16 c rational objective 5
400.87/404.92 c #Conflicts: 334000 | #Constraints: 30695
400.87/404.92 c #Conflicts: 335000 | #Constraints: 31695
400.87/404.92 c #Conflicts: 336000 | #Constraints: 32695
400.87/404.92 c #Conflicts: 337000 | #Constraints: 33696
400.87/404.92 c #Conflicts: 338000 | #Constraints: 34699
400.87/404.92 c #Conflicts: 339000 | #Constraints: 35700
400.87/404.92 c #Conflicts: 340000 | #Constraints: 36703
400.87/404.92 c #Conflicts: 341000 | #Constraints: 37705
400.87/404.92 c #Conflicts: 342000 | #Constraints: 38705
400.87/404.92 c #Conflicts: 343000 | #Constraints: 39707
400.87/404.92 c #Conflicts: 344000 | #Constraints: 40710
400.87/404.92 c #Conflicts: 345000 | #Constraints: 41710
400.87/404.92 c INPROCESSING
400.87/404.92 c GARBAGE COLLECT
400.87/404.92 c rational objective 5
416.39/420.79 c #Conflicts: 346000 | #Constraints: 31096
416.39/420.79 c #Conflicts: 347000 | #Constraints: 32097
416.39/420.79 c #Conflicts: 348000 | #Constraints: 33097
416.39/420.79 c #Conflicts: 349000 | #Constraints: 34097
416.39/420.79 c #Conflicts: 350000 | #Constraints: 35098
416.39/420.79 c #Conflicts: 351000 | #Constraints: 36101
416.39/420.79 c #Conflicts: 352000 | #Constraints: 37103
416.39/420.79 c #Conflicts: 353000 | #Constraints: 38105
416.39/420.79 c #Conflicts: 354000 | #Constraints: 39107
416.39/420.79 c #Conflicts: 355000 | #Constraints: 40109
416.39/420.79 c #Conflicts: 356000 | #Constraints: 41111
416.39/420.79 c #Conflicts: 357000 | #Constraints: 42115
416.39/420.79 c INPROCESSING
416.39/420.79 c GARBAGE COLLECT
416.39/420.79 c rational objective 5
432.06/436.54 c #Conflicts: 358000 | #Constraints: 31276
432.06/436.54 c #Conflicts: 359000 | #Constraints: 32278
432.06/436.54 c #Conflicts: 360000 | #Constraints: 33280
432.06/436.54 c #Conflicts: 361000 | #Constraints: 34283
432.06/436.54 c #Conflicts: 362000 | #Constraints: 35283
432.06/436.54 c #Conflicts: 363000 | #Constraints: 36285
432.06/436.54 c #Conflicts: 364000 | #Constraints: 37286
432.06/436.54 c #Conflicts: 365000 | #Constraints: 38287
432.06/436.54 c #Conflicts: 366000 | #Constraints: 39288
432.06/436.54 c #Conflicts: 367000 | #Constraints: 40289
432.06/436.54 c #Conflicts: 368000 | #Constraints: 41290
432.06/436.54 c #Conflicts: 369000 | #Constraints: 42292
432.06/436.54 c INPROCESSING
432.06/436.54 c GARBAGE COLLECT
432.06/436.54 c rational objective 5
449.46/454.02 c #Conflicts: 370000 | #Constraints: 31259
449.46/454.02 c #Conflicts: 371000 | #Constraints: 32259
449.46/454.02 c #Conflicts: 372000 | #Constraints: 33262
449.46/454.02 c #Conflicts: 373000 | #Constraints: 34268
449.46/454.02 c #Conflicts: 374000 | #Constraints: 35277
449.46/454.02 c #Conflicts: 375000 | #Constraints: 36280
449.46/454.02 c #Conflicts: 376000 | #Constraints: 37284
449.46/454.02 c #Conflicts: 377000 | #Constraints: 38289
449.46/454.02 c #Conflicts: 378000 | #Constraints: 39292
449.46/454.02 c #Conflicts: 379000 | #Constraints: 40297
449.46/454.02 c #Conflicts: 380000 | #Constraints: 41298
449.46/454.02 c #Conflicts: 381000 | #Constraints: 42299
449.46/454.02 c INPROCESSING
449.46/454.02 c GARBAGE COLLECT
449.46/454.02 c rational objective 5
468.70/473.45 c #Conflicts: 382000 | #Constraints: 31059
468.70/473.45 c #Conflicts: 383000 | #Constraints: 32060
468.70/473.45 c #Conflicts: 384000 | #Constraints: 33062
468.70/473.45 c #Conflicts: 385000 | #Constraints: 34064
468.70/473.45 c #Conflicts: 386000 | #Constraints: 35069
468.70/473.45 c #Conflicts: 387000 | #Constraints: 36072
468.70/473.45 c #Conflicts: 388000 | #Constraints: 37076
468.70/473.45 c #Conflicts: 389000 | #Constraints: 38079
468.70/473.45 c #Conflicts: 390000 | #Constraints: 39082
468.70/473.45 c #Conflicts: 391000 | #Constraints: 40083
468.70/473.45 c #Conflicts: 392000 | #Constraints: 41086
468.70/473.45 c #Conflicts: 393000 | #Constraints: 42087
468.70/473.45 c #Conflicts: 394000 | #Constraints: 43088
468.70/473.45 c INPROCESSING
468.70/473.45 c GARBAGE COLLECT
468.70/473.45 c rational objective 5
483.27/488.05 c #Conflicts: 395000 | #Constraints: 31672
483.27/488.05 c #Conflicts: 396000 | #Constraints: 32672
483.27/488.05 c #Conflicts: 397000 | #Constraints: 33673
483.27/488.05 c #Conflicts: 398000 | #Constraints: 34675
483.27/488.05 c #Conflicts: 399000 | #Constraints: 35676
483.27/488.05 c #Conflicts: 400000 | #Constraints: 36679
483.27/488.05 c #Conflicts: 401000 | #Constraints: 37681
483.27/488.05 c #Conflicts: 402000 | #Constraints: 38683
483.27/488.05 c #Conflicts: 403000 | #Constraints: 39685
483.27/488.05 c #Conflicts: 404000 | #Constraints: 40688
483.27/488.05 c #Conflicts: 405000 | #Constraints: 41694
483.27/488.05 c #Conflicts: 406000 | #Constraints: 42698
483.27/488.05 c #Conflicts: 407000 | #Constraints: 43700
483.27/488.05 c INPROCESSING
483.27/488.05 c GARBAGE COLLECT
483.27/488.05 c rational objective 5
499.13/504.05 c #Conflicts: 408000 | #Constraints: 31973
499.13/504.05 c #Conflicts: 409000 | #Constraints: 32973
499.13/504.05 c #Conflicts: 410000 | #Constraints: 33975
499.13/504.05 c #Conflicts: 411000 | #Constraints: 34976
499.13/504.05 c #Conflicts: 412000 | #Constraints: 35977
499.13/504.05 c #Conflicts: 413000 | #Constraints: 36978
499.13/504.05 c #Conflicts: 414000 | #Constraints: 37979
499.13/504.05 c #Conflicts: 415000 | #Constraints: 38981
499.13/504.05 c #Conflicts: 416000 | #Constraints: 39983
499.13/504.05 c #Conflicts: 417000 | #Constraints: 40984
499.13/504.05 c #Conflicts: 418000 | #Constraints: 41986
499.13/504.05 c #Conflicts: 419000 | #Constraints: 42987
499.13/504.05 c #Conflicts: 420000 | #Constraints: 43988
499.13/504.05 c INPROCESSING
499.13/504.05 c GARBAGE COLLECT
499.13/504.05 c rational objective 5
523.74/528.74 c #Conflicts: 421000 | #Constraints: 32160
523.74/528.74 c #Conflicts: 422000 | #Constraints: 33161
523.74/528.74 c #Conflicts: 423000 | #Constraints: 34163
523.74/528.74 c #Conflicts: 424000 | #Constraints: 35164
523.74/528.74 c #Conflicts: 425000 | #Constraints: 36165
523.74/528.74 c #Conflicts: 426000 | #Constraints: 37166
523.74/528.74 c #Conflicts: 427000 | #Constraints: 38167
523.74/528.74 c #Conflicts: 428000 | #Constraints: 39167
523.74/528.74 c #Conflicts: 429000 | #Constraints: 40167
523.74/528.74 c #Conflicts: 430000 | #Constraints: 41167
523.74/528.74 c #Conflicts: 431000 | #Constraints: 42167
523.74/528.74 c #Conflicts: 432000 | #Constraints: 43167
523.74/528.74 c #Conflicts: 433000 | #Constraints: 44167
523.74/528.74 c INPROCESSING
523.74/528.74 c GARBAGE COLLECT
523.74/528.74 c rational objective 5
572.47/577.97 c #Conflicts: 434000 | #Constraints: 32132
572.47/577.97 c #Conflicts: 435000 | #Constraints: 33133
572.47/577.97 c #Conflicts: 436000 | #Constraints: 34134
572.47/577.97 c #Conflicts: 437000 | #Constraints: 35135
572.47/577.97 c #Conflicts: 438000 | #Constraints: 36135
572.47/577.97 c #Conflicts: 439000 | #Constraints: 37135
572.47/577.97 c #Conflicts: 440000 | #Constraints: 38136
572.47/577.97 c #Conflicts: 441000 | #Constraints: 39136
572.47/577.97 c #Conflicts: 442000 | #Constraints: 40136
572.47/577.97 c #Conflicts: 443000 | #Constraints: 41136
572.47/577.97 c #Conflicts: 444000 | #Constraints: 42136
572.47/577.97 c #Conflicts: 445000 | #Constraints: 43136
572.47/577.97 c #Conflicts: 446000 | #Constraints: 44137
572.47/577.97 c INPROCESSING
572.47/577.97 c GARBAGE COLLECT
572.47/577.97 c #Conflicts: 447000 | #Constraints: 31915
572.47/577.97 c #Conflicts: 448000 | #Constraints: 32916
572.47/577.97 c #Conflicts: 449000 | #Constraints: 33916
572.47/577.97 c #Conflicts: 450000 | #Constraints: 34916
572.47/577.97 c #Conflicts: 451000 | #Constraints: 35916
572.47/577.97 c #Conflicts: 452000 | #Constraints: 36917
572.47/577.97 c #Conflicts: 453000 | #Constraints: 37918
572.47/577.97 c #Conflicts: 454000 | #Constraints: 38918
572.47/577.97 c #Conflicts: 455000 | #Constraints: 39918
572.47/577.97 c #Conflicts: 456000 | #Constraints: 40919
572.47/577.97 c #Conflicts: 457000 | #Constraints: 41920
572.47/577.97 c #Conflicts: 458000 | #Constraints: 42920
572.47/577.97 c #Conflicts: 459000 | #Constraints: 43921
572.47/577.97 c #Conflicts: 460000 | #Constraints: 44922
572.47/577.97 c INPROCESSING
572.47/577.97 c GARBAGE COLLECT
572.47/577.97 c rational objective 5
595.94/601.50 c #Conflicts: 461000 | #Constraints: 32524
595.94/601.50 c #Conflicts: 462000 | #Constraints: 33524
595.94/601.50 c #Conflicts: 463000 | #Constraints: 34524
595.94/601.50 c #Conflicts: 464000 | #Constraints: 35524
595.94/601.50 c #Conflicts: 465000 | #Constraints: 36525
595.94/601.50 c #Conflicts: 466000 | #Constraints: 37525
595.94/601.50 c #Conflicts: 467000 | #Constraints: 38525
595.94/601.50 c #Conflicts: 468000 | #Constraints: 39526
595.94/601.50 c #Conflicts: 469000 | #Constraints: 40527
595.94/601.50 c #Conflicts: 470000 | #Constraints: 41527
595.94/601.50 c #Conflicts: 471000 | #Constraints: 42528
595.94/601.50 c #Conflicts: 472000 | #Constraints: 43528
595.94/601.50 c #Conflicts: 473000 | #Constraints: 44529
595.94/601.50 c #Conflicts: 474000 | #Constraints: 45529
595.94/601.50 c INPROCESSING
595.94/601.50 c GARBAGE COLLECT
595.94/601.50 c rational objective 5
613.18/618.88 c #Conflicts: 475000 | #Constraints: 32908
613.18/618.88 c #Conflicts: 476000 | #Constraints: 33909
613.18/618.88 c #Conflicts: 477000 | #Constraints: 34911
613.18/618.88 c #Conflicts: 478000 | #Constraints: 35913
613.18/618.88 c #Conflicts: 479000 | #Constraints: 36917
613.18/618.88 c #Conflicts: 480000 | #Constraints: 37919
613.18/618.88 c #Conflicts: 481000 | #Constraints: 38923
613.18/618.88 c #Conflicts: 482000 | #Constraints: 39929
613.18/618.88 c #Conflicts: 483000 | #Constraints: 40933
613.18/618.88 c #Conflicts: 484000 | #Constraints: 41936
613.18/618.88 c #Conflicts: 485000 | #Constraints: 42946
613.18/618.88 c #Conflicts: 486000 | #Constraints: 43949
613.18/618.88 c #Conflicts: 487000 | #Constraints: 44951
613.18/618.88 c #Conflicts: 488000 | #Constraints: 45955
613.18/618.88 c INPROCESSING
613.18/618.88 c GARBAGE COLLECT
613.18/618.88 c rational objective 5
648.29/654.27 c #Conflicts: 489000 | #Constraints: 33130
648.29/654.27 c #Conflicts: 490000 | #Constraints: 34131
648.29/654.27 c #Conflicts: 491000 | #Constraints: 35134
648.29/654.27 c #Conflicts: 492000 | #Constraints: 36139
648.29/654.27 c #Conflicts: 493000 | #Constraints: 37141
648.29/654.27 c #Conflicts: 494000 | #Constraints: 38144
648.29/654.27 c #Conflicts: 495000 | #Constraints: 39144
648.29/654.27 c #Conflicts: 496000 | #Constraints: 40145
648.29/654.27 c #Conflicts: 497000 | #Constraints: 41146
648.29/654.27 c #Conflicts: 498000 | #Constraints: 42148
648.29/654.27 c #Conflicts: 499000 | #Constraints: 43149
648.29/654.27 c #Conflicts: 500000 | #Constraints: 44150
648.29/654.27 c #Conflicts: 501000 | #Constraints: 45150
648.29/654.27 c #Conflicts: 502000 | #Constraints: 46151
648.29/654.27 c INPROCESSING
648.29/654.27 c GARBAGE COLLECT
648.29/654.27 c rational objective 5
668.34/674.53 c #Conflicts: 503000 | #Constraints: 33134
668.34/674.53 c #Conflicts: 504000 | #Constraints: 34136
668.34/674.53 c #Conflicts: 505000 | #Constraints: 35138
668.34/674.53 c #Conflicts: 506000 | #Constraints: 36144
668.34/674.53 c #Conflicts: 507000 | #Constraints: 37145
668.34/674.53 c #Conflicts: 508000 | #Constraints: 38147
668.34/674.53 c #Conflicts: 509000 | #Constraints: 39147
668.34/674.53 c #Conflicts: 510000 | #Constraints: 40149
668.34/674.53 c #Conflicts: 511000 | #Constraints: 41150
668.34/674.53 c #Conflicts: 512000 | #Constraints: 42152
668.34/674.53 c #Conflicts: 513000 | #Constraints: 43154
668.34/674.53 c #Conflicts: 514000 | #Constraints: 44156
668.34/674.53 c #Conflicts: 515000 | #Constraints: 45158
668.34/674.53 c #Conflicts: 516000 | #Constraints: 46159
668.34/674.53 c INPROCESSING
668.34/674.53 c GARBAGE COLLECT
668.34/674.53 c rational objective 5
686.59/692.85 c #Conflicts: 517000 | #Constraints: 32924
686.59/692.85 c #Conflicts: 518000 | #Constraints: 33925
686.59/692.85 c #Conflicts: 519000 | #Constraints: 34925
686.59/692.85 c #Conflicts: 520000 | #Constraints: 35928
686.59/692.85 c #Conflicts: 521000 | #Constraints: 36929
686.59/692.85 c #Conflicts: 522000 | #Constraints: 37930
686.59/692.85 c #Conflicts: 523000 | #Constraints: 38931
686.59/692.85 c #Conflicts: 524000 | #Constraints: 39934
686.59/692.85 c #Conflicts: 525000 | #Constraints: 40935
686.59/692.85 c #Conflicts: 526000 | #Constraints: 41937
686.59/692.85 c #Conflicts: 527000 | #Constraints: 42941
686.59/692.85 c #Conflicts: 528000 | #Constraints: 43946
686.59/692.85 c #Conflicts: 529000 | #Constraints: 44955
686.59/692.85 c #Conflicts: 530000 | #Constraints: 45958
686.59/692.85 c #Conflicts: 531000 | #Constraints: 46961
686.59/692.85 c INPROCESSING
686.59/692.85 c GARBAGE COLLECT
686.59/692.85 c rational objective 5
708.95/715.30 c #Conflicts: 532000 | #Constraints: 33493
708.95/715.30 c #Conflicts: 533000 | #Constraints: 34493
708.95/715.30 c #Conflicts: 534000 | #Constraints: 35495
708.95/715.30 c #Conflicts: 535000 | #Constraints: 36499
708.95/715.30 c #Conflicts: 536000 | #Constraints: 37502
708.95/715.30 c #Conflicts: 537000 | #Constraints: 38504
708.95/715.30 c #Conflicts: 538000 | #Constraints: 39506
708.95/715.30 c #Conflicts: 539000 | #Constraints: 40508
708.95/715.30 c #Conflicts: 540000 | #Constraints: 41511
708.95/715.30 c #Conflicts: 541000 | #Constraints: 42514
708.95/715.30 c #Conflicts: 542000 | #Constraints: 43516
708.95/715.30 c #Conflicts: 543000 | #Constraints: 44519
708.95/715.30 c #Conflicts: 544000 | #Constraints: 45522
708.95/715.30 c #Conflicts: 545000 | #Constraints: 46523
708.95/715.30 c #Conflicts: 546000 | #Constraints: 47525
708.95/715.30 c INPROCESSING
708.95/715.30 c GARBAGE COLLECT
708.95/715.30 c rational objective 5
732.91/739.47 c #Conflicts: 547000 | #Constraints: 33894
732.91/739.47 c #Conflicts: 548000 | #Constraints: 34896
732.91/739.47 c #Conflicts: 549000 | #Constraints: 35897
732.91/739.47 c #Conflicts: 550000 | #Constraints: 36900
732.91/739.47 c #Conflicts: 551000 | #Constraints: 37904
732.91/739.47 c #Conflicts: 552000 | #Constraints: 38905
732.91/739.47 c #Conflicts: 553000 | #Constraints: 39906
732.91/739.47 c #Conflicts: 554000 | #Constraints: 40908
732.91/739.47 c #Conflicts: 555000 | #Constraints: 41908
732.91/739.47 c #Conflicts: 556000 | #Constraints: 42910
732.91/739.47 c #Conflicts: 557000 | #Constraints: 43910
732.91/739.47 c #Conflicts: 558000 | #Constraints: 44911
732.91/739.47 c #Conflicts: 559000 | #Constraints: 45914
732.91/739.47 c #Conflicts: 560000 | #Constraints: 46917
732.91/739.47 c #Conflicts: 561000 | #Constraints: 47919
732.91/739.47 c INPROCESSING
732.91/739.47 c GARBAGE COLLECT
732.91/739.47 c rational objective 5
756.56/763.15 c #Conflicts: 562000 | #Constraints: 34061
756.56/763.15 c #Conflicts: 563000 | #Constraints: 35061
756.56/763.15 c #Conflicts: 564000 | #Constraints: 36064
756.56/763.15 c #Conflicts: 565000 | #Constraints: 37065
756.56/763.15 c #Conflicts: 566000 | #Constraints: 38067
756.56/763.15 c #Conflicts: 567000 | #Constraints: 39068
756.56/763.15 c #Conflicts: 568000 | #Constraints: 40069
756.56/763.15 c #Conflicts: 569000 | #Constraints: 41073
756.56/763.15 c #Conflicts: 570000 | #Constraints: 42076
756.56/763.15 c #Conflicts: 571000 | #Constraints: 43077
756.56/763.15 c #Conflicts: 572000 | #Constraints: 44079
756.56/763.15 c #Conflicts: 573000 | #Constraints: 45081
756.56/763.15 c #Conflicts: 574000 | #Constraints: 46085
756.56/763.15 c #Conflicts: 575000 | #Constraints: 47086
756.56/763.15 c #Conflicts: 576000 | #Constraints: 48086
756.56/763.15 c INPROCESSING
756.56/763.15 c GARBAGE COLLECT
756.56/763.15 c rational objective 5
779.03/785.93 c #Conflicts: 577000 | #Constraints: 34059
779.03/785.93 c #Conflicts: 578000 | #Constraints: 35060
779.03/785.93 c #Conflicts: 579000 | #Constraints: 36060
779.03/785.93 c #Conflicts: 580000 | #Constraints: 37061
779.03/785.93 c #Conflicts: 581000 | #Constraints: 38062
779.03/785.93 c #Conflicts: 582000 | #Constraints: 39065
779.03/785.93 c #Conflicts: 583000 | #Constraints: 40067
779.03/785.93 c #Conflicts: 584000 | #Constraints: 41067
779.03/785.93 c #Conflicts: 585000 | #Constraints: 42070
779.03/785.93 c #Conflicts: 586000 | #Constraints: 43071
779.03/785.93 c #Conflicts: 587000 | #Constraints: 44072
779.03/785.93 c #Conflicts: 588000 | #Constraints: 45072
779.03/785.93 c #Conflicts: 589000 | #Constraints: 46073
779.03/785.93 c #Conflicts: 590000 | #Constraints: 47074
779.03/785.93 c #Conflicts: 591000 | #Constraints: 48075
779.03/785.93 c INPROCESSING
779.03/785.93 c GARBAGE COLLECT
779.03/785.93 c rational objective 5
807.90/815.25 c #Conflicts: 592000 | #Constraints: 33855
807.90/815.25 c #Conflicts: 593000 | #Constraints: 34856
807.90/815.25 c #Conflicts: 594000 | #Constraints: 35857
807.90/815.25 c #Conflicts: 595000 | #Constraints: 36858
807.90/815.25 c #Conflicts: 596000 | #Constraints: 37859
807.90/815.25 c #Conflicts: 597000 | #Constraints: 38859
807.90/815.25 c #Conflicts: 598000 | #Constraints: 39860
807.90/815.25 c #Conflicts: 599000 | #Constraints: 40862
807.90/815.25 c #Conflicts: 600000 | #Constraints: 41862
807.90/815.25 c #Conflicts: 601000 | #Constraints: 42862
807.90/815.25 c #Conflicts: 602000 | #Constraints: 43863
807.90/815.25 c #Conflicts: 603000 | #Constraints: 44864
807.90/815.25 c #Conflicts: 604000 | #Constraints: 45866
807.90/815.25 c #Conflicts: 605000 | #Constraints: 46867
807.90/815.25 c #Conflicts: 606000 | #Constraints: 47868
807.90/815.25 c #Conflicts: 607000 | #Constraints: 48869
807.90/815.25 c INPROCESSING
807.90/815.25 c GARBAGE COLLECT
807.90/815.25 c rational objective 5
830.71/838.31 c #Conflicts: 608000 | #Constraints: 34427
830.71/838.31 c #Conflicts: 609000 | #Constraints: 35427
830.71/838.31 c #Conflicts: 610000 | #Constraints: 36428
830.71/838.31 c #Conflicts: 611000 | #Constraints: 37434
830.71/838.31 c #Conflicts: 612000 | #Constraints: 38439
830.71/838.31 c #Conflicts: 613000 | #Constraints: 39444
830.71/838.31 c #Conflicts: 614000 | #Constraints: 40446
830.71/838.31 c #Conflicts: 615000 | #Constraints: 41451
830.71/838.31 c #Conflicts: 616000 | #Constraints: 42458
830.71/838.31 c #Conflicts: 617000 | #Constraints: 43462
830.71/838.31 c #Conflicts: 618000 | #Constraints: 44463
830.71/838.31 c #Conflicts: 619000 | #Constraints: 45467
830.71/838.31 c #Conflicts: 620000 | #Constraints: 46468
830.71/838.31 c #Conflicts: 621000 | #Constraints: 47471
830.71/838.31 c #Conflicts: 622000 | #Constraints: 48472
830.71/838.31 c #Conflicts: 623000 | #Constraints: 49472
830.71/838.31 c INPROCESSING
830.71/838.31 c GARBAGE COLLECT
830.71/838.31 c rational objective 5
857.06/864.86 c #Conflicts: 624000 | #Constraints: 34858
857.06/864.86 c #Conflicts: 625000 | #Constraints: 35858
857.06/864.86 c #Conflicts: 626000 | #Constraints: 36860
857.06/864.86 c #Conflicts: 627000 | #Constraints: 37864
857.06/864.86 c #Conflicts: 628000 | #Constraints: 38866
857.06/864.86 c #Conflicts: 629000 | #Constraints: 39867
857.06/864.86 c #Conflicts: 630000 | #Constraints: 40867
857.06/864.86 c #Conflicts: 631000 | #Constraints: 41868
857.06/864.86 c #Conflicts: 632000 | #Constraints: 42869
857.06/864.86 c #Conflicts: 633000 | #Constraints: 43870
857.06/864.86 c #Conflicts: 634000 | #Constraints: 44872
857.06/864.86 c #Conflicts: 635000 | #Constraints: 45874
857.06/864.86 c #Conflicts: 636000 | #Constraints: 46876
857.06/864.86 c #Conflicts: 637000 | #Constraints: 47878
857.06/864.86 c #Conflicts: 638000 | #Constraints: 48878
857.06/864.86 c #Conflicts: 639000 | #Constraints: 49880
857.06/864.86 c INPROCESSING
857.06/864.86 c GARBAGE COLLECT
857.06/864.86 c rational objective 5
882.99/890.89 c #Conflicts: 640000 | #Constraints: 35036
882.99/890.89 c #Conflicts: 641000 | #Constraints: 36036
882.99/890.89 c #Conflicts: 642000 | #Constraints: 37036
882.99/890.89 c #Conflicts: 643000 | #Constraints: 38036
882.99/890.89 c #Conflicts: 644000 | #Constraints: 39037
882.99/890.89 c #Conflicts: 645000 | #Constraints: 40038
882.99/890.89 c #Conflicts: 646000 | #Constraints: 41041
882.99/890.89 c #Conflicts: 647000 | #Constraints: 42042
882.99/890.89 c #Conflicts: 648000 | #Constraints: 43043
882.99/890.89 c #Conflicts: 649000 | #Constraints: 44045
882.99/890.89 c #Conflicts: 650000 | #Constraints: 45048
882.99/890.89 c #Conflicts: 651000 | #Constraints: 46050
882.99/890.89 c #Conflicts: 652000 | #Constraints: 47050
882.99/890.89 c #Conflicts: 653000 | #Constraints: 48051
882.99/890.89 c #Conflicts: 654000 | #Constraints: 49052
882.99/890.89 c #Conflicts: 655000 | #Constraints: 50052
882.99/890.89 c INPROCESSING
882.99/890.89 c GARBAGE COLLECT
882.99/890.89 c rational objective 5
919.76/927.85 c #Conflicts: 656000 | #Constraints: 34991
919.76/927.85 c #Conflicts: 657000 | #Constraints: 35991
919.76/927.85 c #Conflicts: 658000 | #Constraints: 36992
919.76/927.85 c #Conflicts: 659000 | #Constraints: 37996
919.76/927.85 c #Conflicts: 660000 | #Constraints: 38999
919.76/927.85 c #Conflicts: 661000 | #Constraints: 40000
919.76/927.85 c #Conflicts: 662000 | #Constraints: 41002
919.76/927.85 c #Conflicts: 663000 | #Constraints: 42005
919.76/927.85 c #Conflicts: 664000 | #Constraints: 43008
919.76/927.85 c #Conflicts: 665000 | #Constraints: 44013
919.76/927.85 c #Conflicts: 666000 | #Constraints: 45017
919.76/927.85 c #Conflicts: 667000 | #Constraints: 46022
919.76/927.85 c #Conflicts: 668000 | #Constraints: 47025
919.76/927.85 c #Conflicts: 669000 | #Constraints: 48026
919.76/927.85 c #Conflicts: 670000 | #Constraints: 49027
919.76/927.85 c #Conflicts: 671000 | #Constraints: 50030
919.76/927.85 c INPROCESSING
919.76/927.85 c GARBAGE COLLECT
919.76/927.85 c rational objective 5
945.61/953.87 c #Conflicts: 672000 | #Constraints: 34792
945.61/953.87 c #Conflicts: 673000 | #Constraints: 35792
945.61/953.87 c #Conflicts: 674000 | #Constraints: 36792
945.61/953.87 c #Conflicts: 675000 | #Constraints: 37793
945.61/953.87 c #Conflicts: 676000 | #Constraints: 38799
945.61/953.87 c #Conflicts: 677000 | #Constraints: 39802
945.61/953.87 c #Conflicts: 678000 | #Constraints: 40811
945.61/953.87 c #Conflicts: 679000 | #Constraints: 41813
945.61/953.87 c #Conflicts: 680000 | #Constraints: 42816
945.61/953.87 c #Conflicts: 681000 | #Constraints: 43817
945.61/953.87 c #Conflicts: 682000 | #Constraints: 44818
945.61/953.87 c #Conflicts: 683000 | #Constraints: 45819
945.61/953.87 c #Conflicts: 684000 | #Constraints: 46821
945.61/953.87 c #Conflicts: 685000 | #Constraints: 47823
945.61/953.87 c #Conflicts: 686000 | #Constraints: 48827
945.61/953.87 c #Conflicts: 687000 | #Constraints: 49830
945.61/953.87 c #Conflicts: 688000 | #Constraints: 50835
945.61/953.87 c INPROCESSING
945.61/953.87 c GARBAGE COLLECT
945.61/953.87 c rational objective 5
975.52/983.91 c #Conflicts: 689000 | #Constraints: 35404
975.52/983.91 c #Conflicts: 690000 | #Constraints: 36407
975.52/983.91 c #Conflicts: 691000 | #Constraints: 37409
975.52/983.91 c #Conflicts: 692000 | #Constraints: 38410
975.52/983.91 c #Conflicts: 693000 | #Constraints: 39411
975.52/983.91 c #Conflicts: 694000 | #Constraints: 40416
975.52/983.91 c #Conflicts: 695000 | #Constraints: 41419
975.52/983.91 c #Conflicts: 696000 | #Constraints: 42421
975.52/983.91 c #Conflicts: 697000 | #Constraints: 43423
975.52/983.91 c #Conflicts: 698000 | #Constraints: 44424
975.52/983.91 c #Conflicts: 699000 | #Constraints: 45425
975.52/983.91 c #Conflicts: 700000 | #Constraints: 46426
975.52/983.91 c #Conflicts: 701000 | #Constraints: 47429
975.52/983.91 c #Conflicts: 702000 | #Constraints: 48431
975.52/983.91 c #Conflicts: 703000 | #Constraints: 49435
975.52/983.91 c #Conflicts: 704000 | #Constraints: 50437
975.52/983.91 c #Conflicts: 705000 | #Constraints: 51439
975.52/983.91 c INPROCESSING
975.52/983.91 c GARBAGE COLLECT
975.52/983.91 c rational objective 5
995.60/1004.27 c #Conflicts: 706000 | #Constraints: 35789
995.60/1004.27 c #Conflicts: 707000 | #Constraints: 36789
995.60/1004.27 c #Conflicts: 708000 | #Constraints: 37789
995.60/1004.27 c #Conflicts: 709000 | #Constraints: 38794
995.60/1004.27 c #Conflicts: 710000 | #Constraints: 39795
995.60/1004.27 c #Conflicts: 711000 | #Constraints: 40796
995.60/1004.27 c #Conflicts: 712000 | #Constraints: 41797
995.60/1004.27 c #Conflicts: 713000 | #Constraints: 42797
995.60/1004.27 c #Conflicts: 714000 | #Constraints: 43798
995.60/1004.27 c #Conflicts: 715000 | #Constraints: 44799
995.60/1004.27 c #Conflicts: 716000 | #Constraints: 45799
995.60/1004.27 c #Conflicts: 717000 | #Constraints: 46801
995.60/1004.27 c #Conflicts: 718000 | #Constraints: 47801
995.60/1004.27 c #Conflicts: 719000 | #Constraints: 48803
995.60/1004.27 c #Conflicts: 720000 | #Constraints: 49803
995.60/1004.27 c #Conflicts: 721000 | #Constraints: 50804
995.60/1004.27 c #Conflicts: 722000 | #Constraints: 51805
995.60/1004.27 c INPROCESSING
995.60/1004.27 c GARBAGE COLLECT
995.60/1004.27 c rational objective 5
1026.54/1035.64 c #Conflicts: 723000 | #Constraints: 35888
1026.54/1035.64 c #Conflicts: 724000 | #Constraints: 36889
1026.54/1035.64 c #Conflicts: 725000 | #Constraints: 37892
1026.54/1035.64 c #Conflicts: 726000 | #Constraints: 38893
1026.54/1035.64 c #Conflicts: 727000 | #Constraints: 39897
1026.54/1035.64 c #Conflicts: 728000 | #Constraints: 40899
1026.54/1035.64 c #Conflicts: 729000 | #Constraints: 41900
1026.54/1035.64 c #Conflicts: 730000 | #Constraints: 42903
1026.54/1035.64 c #Conflicts: 731000 | #Constraints: 43904
1026.54/1035.64 c #Conflicts: 732000 | #Constraints: 44906
1026.54/1035.64 c #Conflicts: 733000 | #Constraints: 45906
1026.54/1035.64 c #Conflicts: 734000 | #Constraints: 46906
1026.54/1035.64 c #Conflicts: 735000 | #Constraints: 47908
1026.54/1035.64 c #Conflicts: 736000 | #Constraints: 48909
1026.54/1035.64 c #Conflicts: 737000 | #Constraints: 49910
1026.54/1035.64 c #Conflicts: 738000 | #Constraints: 50910
1026.54/1035.64 c #Conflicts: 739000 | #Constraints: 51910
1026.54/1035.64 c INPROCESSING
1026.54/1035.64 c GARBAGE COLLECT
1026.54/1035.64 c rational objective 5
1063.24/1072.56 c #Conflicts: 740000 | #Constraints: 35850
1063.24/1072.56 c #Conflicts: 741000 | #Constraints: 36851
1063.24/1072.56 c #Conflicts: 742000 | #Constraints: 37856
1063.24/1072.56 c #Conflicts: 743000 | #Constraints: 38857
1063.24/1072.56 c #Conflicts: 744000 | #Constraints: 39859
1063.24/1072.56 c #Conflicts: 745000 | #Constraints: 40863
1063.24/1072.56 c #Conflicts: 746000 | #Constraints: 41864
1063.24/1072.56 c #Conflicts: 747000 | #Constraints: 42867
1063.24/1072.56 c #Conflicts: 748000 | #Constraints: 43870
1063.24/1072.56 c #Conflicts: 749000 | #Constraints: 44871
1063.24/1072.56 c #Conflicts: 750000 | #Constraints: 45875
1063.24/1072.56 c #Conflicts: 751000 | #Constraints: 46877
1063.24/1072.56 c #Conflicts: 752000 | #Constraints: 47879
1063.24/1072.56 c #Conflicts: 753000 | #Constraints: 48880
1063.24/1072.56 c #Conflicts: 754000 | #Constraints: 49880
1063.24/1072.56 c #Conflicts: 755000 | #Constraints: 50883
1063.24/1072.56 c #Conflicts: 756000 | #Constraints: 51884
1063.24/1072.56 c INPROCESSING
1063.24/1072.56 c GARBAGE COLLECT
1063.24/1072.56 c rational objective 5
1092.18/1101.81 c #Conflicts: 757000 | #Constraints: 35613
1092.18/1101.81 c #Conflicts: 758000 | #Constraints: 36614
1092.18/1101.81 c #Conflicts: 759000 | #Constraints: 37619
1092.18/1101.81 c #Conflicts: 760000 | #Constraints: 38623
1092.18/1101.81 c #Conflicts: 761000 | #Constraints: 39627
1092.18/1101.81 c #Conflicts: 762000 | #Constraints: 40628
1092.18/1101.81 c #Conflicts: 763000 | #Constraints: 41631
1092.18/1101.81 c #Conflicts: 764000 | #Constraints: 42634
1092.18/1101.81 c #Conflicts: 765000 | #Constraints: 43636
1092.18/1101.81 c #Conflicts: 766000 | #Constraints: 44639
1092.18/1101.81 c #Conflicts: 767000 | #Constraints: 45643
1092.18/1101.81 c #Conflicts: 768000 | #Constraints: 46645
1092.18/1101.81 c #Conflicts: 769000 | #Constraints: 47647
1092.18/1101.81 c #Conflicts: 770000 | #Constraints: 48650
1092.18/1101.81 c #Conflicts: 771000 | #Constraints: 49651
1092.18/1101.81 c #Conflicts: 772000 | #Constraints: 50651
1092.18/1101.81 c #Conflicts: 773000 | #Constraints: 51652
1092.18/1101.81 c #Conflicts: 774000 | #Constraints: 52653
1092.18/1101.81 c INPROCESSING
1092.18/1101.81 c GARBAGE COLLECT
1092.18/1101.81 c rational objective 5
1118.62/1128.88 c #Conflicts: 775000 | #Constraints: 36194
1118.62/1128.88 c #Conflicts: 776000 | #Constraints: 37195
1118.62/1128.88 c #Conflicts: 777000 | #Constraints: 38198
1118.62/1128.88 c #Conflicts: 778000 | #Constraints: 39204
1118.62/1128.88 c #Conflicts: 779000 | #Constraints: 40212
1118.62/1128.88 c #Conflicts: 780000 | #Constraints: 41219
1118.62/1128.88 c #Conflicts: 781000 | #Constraints: 42220
1118.62/1128.88 c #Conflicts: 782000 | #Constraints: 43223
1118.62/1128.88 c #Conflicts: 783000 | #Constraints: 44224
1118.62/1128.88 c #Conflicts: 784000 | #Constraints: 45225
1118.62/1128.88 c #Conflicts: 785000 | #Constraints: 46225
1118.62/1128.88 c #Conflicts: 786000 | #Constraints: 47226
1118.62/1128.88 c #Conflicts: 787000 | #Constraints: 48226
1118.62/1128.88 c #Conflicts: 788000 | #Constraints: 49226
1118.62/1128.88 c #Conflicts: 789000 | #Constraints: 50227
1118.62/1128.88 c #Conflicts: 790000 | #Constraints: 51229
1118.62/1128.88 c #Conflicts: 791000 | #Constraints: 52229
1118.62/1128.88 c #Conflicts: 792000 | #Constraints: 53230
1118.62/1128.88 c INPROCESSING
1118.62/1128.88 c GARBAGE COLLECT
1118.62/1128.88 c rational objective 5
1144.54/1155.00 c #Conflicts: 793000 | #Constraints: 36586
1144.54/1155.00 c #Conflicts: 794000 | #Constraints: 37587
1144.54/1155.00 c #Conflicts: 795000 | #Constraints: 38592
1144.54/1155.00 c #Conflicts: 796000 | #Constraints: 39595
1144.54/1155.00 c #Conflicts: 797000 | #Constraints: 40596
1144.54/1155.00 c #Conflicts: 798000 | #Constraints: 41599
1144.54/1155.00 c #Conflicts: 799000 | #Constraints: 42599
1144.54/1155.00 c #Conflicts: 800000 | #Constraints: 43599
1144.54/1155.00 c #Conflicts: 801000 | #Constraints: 44600
1144.54/1155.00 c #Conflicts: 802000 | #Constraints: 45601
1144.54/1155.00 c #Conflicts: 803000 | #Constraints: 46602
1144.54/1155.00 c #Conflicts: 804000 | #Constraints: 47603
1144.54/1155.00 c #Conflicts: 805000 | #Constraints: 48604
1144.54/1155.00 c #Conflicts: 806000 | #Constraints: 49606
1144.54/1155.00 c #Conflicts: 807000 | #Constraints: 50609
1144.54/1155.00 c #Conflicts: 808000 | #Constraints: 51611
1144.54/1155.00 c #Conflicts: 809000 | #Constraints: 52614
1144.54/1155.00 c #Conflicts: 810000 | #Constraints: 53615
1144.54/1155.00 c INPROCESSING
1144.54/1155.00 c GARBAGE COLLECT
1144.54/1155.00 c rational objective 5
1176.96/1187.52 c #Conflicts: 811000 | #Constraints: 36777
1176.96/1187.52 c #Conflicts: 812000 | #Constraints: 37777
1176.96/1187.52 c #Conflicts: 813000 | #Constraints: 38779
1176.96/1187.52 c #Conflicts: 814000 | #Constraints: 39783
1176.96/1187.52 c #Conflicts: 815000 | #Constraints: 40787
1176.96/1187.52 c #Conflicts: 816000 | #Constraints: 41792
1176.96/1187.52 c #Conflicts: 817000 | #Constraints: 42798
1176.96/1187.52 c #Conflicts: 818000 | #Constraints: 43801
1176.96/1187.52 c #Conflicts: 819000 | #Constraints: 44806
1176.96/1187.52 c #Conflicts: 820000 | #Constraints: 45808
1176.96/1187.52 c #Conflicts: 821000 | #Constraints: 46809
1176.96/1187.52 c #Conflicts: 822000 | #Constraints: 47812
1176.96/1187.52 c #Conflicts: 823000 | #Constraints: 48813
1176.96/1187.52 c #Conflicts: 824000 | #Constraints: 49814
1176.96/1187.52 c #Conflicts: 825000 | #Constraints: 50815
1176.96/1187.52 c #Conflicts: 826000 | #Constraints: 51816
1176.96/1187.52 c #Conflicts: 827000 | #Constraints: 52817
1176.96/1187.52 c #Conflicts: 828000 | #Constraints: 53818
1176.96/1187.52 c INPROCESSING
1176.96/1187.52 c GARBAGE COLLECT
1176.96/1187.52 c rational objective 5
1204.09/1214.95 c #Conflicts: 829000 | #Constraints: 36803
1204.09/1214.95 c #Conflicts: 830000 | #Constraints: 37803
1204.09/1214.95 c #Conflicts: 831000 | #Constraints: 38805
1204.09/1214.95 c #Conflicts: 832000 | #Constraints: 39809
1204.09/1214.95 c #Conflicts: 833000 | #Constraints: 40812
1204.09/1214.95 c #Conflicts: 834000 | #Constraints: 41815
1204.09/1214.95 c #Conflicts: 835000 | #Constraints: 42816
1204.09/1214.95 c #Conflicts: 836000 | #Constraints: 43818
1204.09/1214.95 c #Conflicts: 837000 | #Constraints: 44820
1204.09/1214.95 c #Conflicts: 838000 | #Constraints: 45821
1204.09/1214.95 c #Conflicts: 839000 | #Constraints: 46822
1204.09/1214.95 c #Conflicts: 840000 | #Constraints: 47823
1204.09/1214.95 c #Conflicts: 841000 | #Constraints: 48824
1204.09/1214.95 c #Conflicts: 842000 | #Constraints: 49825
1204.09/1214.95 c #Conflicts: 843000 | #Constraints: 50826
1204.09/1214.95 c #Conflicts: 844000 | #Constraints: 51827
1204.09/1214.95 c #Conflicts: 845000 | #Constraints: 52828
1204.09/1214.95 c #Conflicts: 846000 | #Constraints: 53829
1204.09/1214.95 c INPROCESSING
1204.09/1214.95 c GARBAGE COLLECT
1204.09/1214.95 c rational objective 5
1231.36/1242.45 c #Conflicts: 847000 | #Constraints: 36557
1231.36/1242.45 c #Conflicts: 848000 | #Constraints: 37558
1231.36/1242.45 c #Conflicts: 849000 | #Constraints: 38562
1231.36/1242.45 c #Conflicts: 850000 | #Constraints: 39563
1231.36/1242.45 c #Conflicts: 851000 | #Constraints: 40564
1231.36/1242.45 c #Conflicts: 852000 | #Constraints: 41565
1231.36/1242.45 c #Conflicts: 853000 | #Constraints: 42566
1231.36/1242.45 c #Conflicts: 854000 | #Constraints: 43567
1231.36/1242.45 c #Conflicts: 855000 | #Constraints: 44567
1231.36/1242.45 c #Conflicts: 856000 | #Constraints: 45569
1231.36/1242.45 c #Conflicts: 857000 | #Constraints: 46571
1231.36/1242.45 c #Conflicts: 858000 | #Constraints: 47572
1231.36/1242.45 c #Conflicts: 859000 | #Constraints: 48573
1231.36/1242.45 c #Conflicts: 860000 | #Constraints: 49574
1231.36/1242.45 c #Conflicts: 861000 | #Constraints: 50576
1231.36/1242.45 c #Conflicts: 862000 | #Constraints: 51579
1231.36/1242.45 c #Conflicts: 863000 | #Constraints: 52580
1231.36/1242.45 c #Conflicts: 864000 | #Constraints: 53580
1231.36/1242.45 c #Conflicts: 865000 | #Constraints: 54581
1231.36/1242.45 c INPROCESSING
1231.36/1242.45 c GARBAGE COLLECT
1231.36/1242.45 c rational objective 5
1264.24/1275.55 c #Conflicts: 866000 | #Constraints: 37168
1264.24/1275.55 c #Conflicts: 867000 | #Constraints: 38168
1264.24/1275.55 c #Conflicts: 868000 | #Constraints: 39169
1264.24/1275.55 c #Conflicts: 869000 | #Constraints: 40173
1264.24/1275.55 c #Conflicts: 870000 | #Constraints: 41176
1264.24/1275.55 c #Conflicts: 871000 | #Constraints: 42180
1264.24/1275.55 c #Conflicts: 872000 | #Constraints: 43182
1264.24/1275.55 c #Conflicts: 873000 | #Constraints: 44184
1264.24/1275.55 c #Conflicts: 874000 | #Constraints: 45185
1264.24/1275.55 c #Conflicts: 875000 | #Constraints: 46187
1264.24/1275.55 c #Conflicts: 876000 | #Constraints: 47189
1264.24/1275.55 c #Conflicts: 877000 | #Constraints: 48192
1264.24/1275.55 c #Conflicts: 878000 | #Constraints: 49196
1264.24/1275.55 c #Conflicts: 879000 | #Constraints: 50200
1264.24/1275.55 c #Conflicts: 880000 | #Constraints: 51202
1264.24/1275.55 c #Conflicts: 881000 | #Constraints: 52204
1264.24/1275.55 c #Conflicts: 882000 | #Constraints: 53205
1264.24/1275.55 c #Conflicts: 883000 | #Constraints: 54207
1264.24/1275.55 c #Conflicts: 884000 | #Constraints: 55208
1264.24/1275.55 c INPROCESSING
1264.24/1275.55 c GARBAGE COLLECT
1264.24/1275.55 c rational objective 5
1304.71/1320.56 c #Conflicts: 885000 | #Constraints: 37538
1304.71/1320.56 c #Conflicts: 886000 | #Constraints: 38538
1304.71/1320.56 c #Conflicts: 887000 | #Constraints: 39538
1304.71/1320.56 c #Conflicts: 888000 | #Constraints: 40542
1304.71/1320.56 c #Conflicts: 889000 | #Constraints: 41547
1304.71/1320.56 c #Conflicts: 890000 | #Constraints: 42552
1304.71/1320.56 c #Conflicts: 891000 | #Constraints: 43557
1304.71/1320.56 c #Conflicts: 892000 | #Constraints: 44559
1304.71/1320.56 c #Conflicts: 893000 | #Constraints: 45560
1304.71/1320.56 c #Conflicts: 894000 | #Constraints: 46562
1304.71/1320.56 c #Conflicts: 895000 | #Constraints: 47563
1304.71/1320.56 c #Conflicts: 896000 | #Constraints: 48564
1304.71/1320.56 c #Conflicts: 897000 | #Constraints: 49566
1304.71/1320.56 c #Conflicts: 898000 | #Constraints: 50568
1304.71/1320.56 c #Conflicts: 899000 | #Constraints: 51571
1304.71/1320.56 c #Conflicts: 900000 | #Constraints: 52573
1304.71/1320.56 c #Conflicts: 901000 | #Constraints: 53574
1304.71/1320.56 c #Conflicts: 902000 | #Constraints: 54575
1304.71/1320.56 c #Conflicts: 903000 | #Constraints: 55576
1304.71/1320.56 c INPROCESSING
1304.71/1320.56 c GARBAGE COLLECT
1304.71/1320.56 c rational objective 5
1341.64/1357.94 c #Conflicts: 904000 | #Constraints: 37734
1341.64/1357.94 c #Conflicts: 905000 | #Constraints: 38734
1341.64/1357.94 c #Conflicts: 906000 | #Constraints: 39738
1341.64/1357.94 c #Conflicts: 907000 | #Constraints: 40743
1341.64/1357.94 c #Conflicts: 908000 | #Constraints: 41745
1341.64/1357.94 c #Conflicts: 909000 | #Constraints: 42747
1341.64/1357.94 c #Conflicts: 910000 | #Constraints: 43749
1341.64/1357.94 c #Conflicts: 911000 | #Constraints: 44751
1341.64/1357.94 c #Conflicts: 912000 | #Constraints: 45753
1341.64/1357.94 c #Conflicts: 913000 | #Constraints: 46754
1341.64/1357.94 c #Conflicts: 914000 | #Constraints: 47754
1341.64/1357.94 c #Conflicts: 915000 | #Constraints: 48755
1341.64/1357.94 c #Conflicts: 916000 | #Constraints: 49755
1341.64/1357.94 c #Conflicts: 917000 | #Constraints: 50755
1341.64/1357.94 c #Conflicts: 918000 | #Constraints: 51756
1341.64/1357.94 c #Conflicts: 919000 | #Constraints: 52757
1341.64/1357.94 c #Conflicts: 920000 | #Constraints: 53757
1341.64/1357.94 c #Conflicts: 921000 | #Constraints: 54758
1341.64/1357.94 c #Conflicts: 922000 | #Constraints: 55759
1341.64/1357.94 c INPROCESSING
1341.64/1357.94 c GARBAGE COLLECT
1341.64/1357.94 c rational objective 5
1381.44/1398.36 c #Conflicts: 923000 | #Constraints: 37711
1381.44/1398.36 c #Conflicts: 924000 | #Constraints: 38712
1381.44/1398.36 c #Conflicts: 925000 | #Constraints: 39716
1381.44/1398.36 c #Conflicts: 926000 | #Constraints: 40718
1381.44/1398.36 c #Conflicts: 927000 | #Constraints: 41721
1381.44/1398.36 c #Conflicts: 928000 | #Constraints: 42723
1381.44/1398.36 c #Conflicts: 929000 | #Constraints: 43726
1381.44/1398.36 c #Conflicts: 930000 | #Constraints: 44728
1381.44/1398.36 c #Conflicts: 931000 | #Constraints: 45731
1381.44/1398.36 c #Conflicts: 932000 | #Constraints: 46733
1381.44/1398.36 c #Conflicts: 933000 | #Constraints: 47735
1381.44/1398.36 c #Conflicts: 934000 | #Constraints: 48737
1381.44/1398.36 c #Conflicts: 935000 | #Constraints: 49738
1381.44/1398.36 c #Conflicts: 936000 | #Constraints: 50738
1381.44/1398.36 c #Conflicts: 937000 | #Constraints: 51740
1381.44/1398.36 c #Conflicts: 938000 | #Constraints: 52743
1381.44/1398.36 c #Conflicts: 939000 | #Constraints: 53744
1381.44/1398.36 c #Conflicts: 940000 | #Constraints: 54745
1381.44/1398.36 c #Conflicts: 941000 | #Constraints: 55746
1381.44/1398.36 c INPROCESSING
1381.44/1398.36 c GARBAGE COLLECT
1381.44/1398.36 c rational objective 5
1421.14/1438.24 c #Conflicts: 942000 | #Constraints: 37529
1421.14/1438.24 c #Conflicts: 943000 | #Constraints: 38529
1421.14/1438.24 c #Conflicts: 944000 | #Constraints: 39529
1421.14/1438.24 c #Conflicts: 945000 | #Constraints: 40529
1421.14/1438.24 c #Conflicts: 946000 | #Constraints: 41530
1421.14/1438.24 c #Conflicts: 947000 | #Constraints: 42533
1421.14/1438.24 c #Conflicts: 948000 | #Constraints: 43539
1421.14/1438.24 c #Conflicts: 949000 | #Constraints: 44543
1421.14/1438.24 c #Conflicts: 950000 | #Constraints: 45547
1421.14/1438.24 c #Conflicts: 951000 | #Constraints: 46552
1421.14/1438.24 c #Conflicts: 952000 | #Constraints: 47557
1421.14/1438.24 c #Conflicts: 953000 | #Constraints: 48569
1421.14/1438.24 c #Conflicts: 954000 | #Constraints: 49583
1421.14/1438.24 c #Conflicts: 955000 | #Constraints: 50584
1421.14/1438.24 c #Conflicts: 956000 | #Constraints: 51586
1421.14/1438.24 c #Conflicts: 957000 | #Constraints: 52587
1421.14/1438.24 c #Conflicts: 958000 | #Constraints: 53590
1421.14/1438.24 c #Conflicts: 959000 | #Constraints: 54593
1421.14/1438.24 c #Conflicts: 960000 | #Constraints: 55597
1421.14/1438.24 c #Conflicts: 961000 | #Constraints: 56597
1421.14/1438.24 c INPROCESSING
1421.14/1438.24 c GARBAGE COLLECT
1421.14/1438.24 c rational objective 5
1460.37/1478.00 c #Conflicts: 962000 | #Constraints: 38147
1460.37/1478.00 c #Conflicts: 963000 | #Constraints: 39147
1460.37/1478.00 c #Conflicts: 964000 | #Constraints: 40151
1460.37/1478.00 c #Conflicts: 965000 | #Constraints: 41156
1460.37/1478.00 c #Conflicts: 966000 | #Constraints: 42162
1460.37/1478.00 c #Conflicts: 967000 | #Constraints: 43165
1460.37/1478.00 c #Conflicts: 968000 | #Constraints: 44166
1460.37/1478.00 c #Conflicts: 969000 | #Constraints: 45167
1460.37/1478.00 c #Conflicts: 970000 | #Constraints: 46167
1460.37/1478.00 c #Conflicts: 971000 | #Constraints: 47168
1460.37/1478.00 c #Conflicts: 972000 | #Constraints: 48169
1460.37/1478.00 c #Conflicts: 973000 | #Constraints: 49170
1460.37/1478.00 c #Conflicts: 974000 | #Constraints: 50171
1460.37/1478.00 c #Conflicts: 975000 | #Constraints: 51173
1460.37/1478.00 c #Conflicts: 976000 | #Constraints: 52174
1460.37/1478.00 c #Conflicts: 977000 | #Constraints: 53175
1460.37/1478.00 c #Conflicts: 978000 | #Constraints: 54175
1460.37/1478.00 c #Conflicts: 979000 | #Constraints: 55176
1460.37/1478.00 c #Conflicts: 980000 | #Constraints: 56176
1460.37/1478.00 c #Conflicts: 981000 | #Constraints: 57177
1460.37/1478.00 c INPROCESSING
1460.37/1478.00 c GARBAGE COLLECT
1460.37/1478.00 c rational objective 5
1495.86/1513.96 c #Conflicts: 982000 | #Constraints: 38555
1495.86/1513.96 c #Conflicts: 983000 | #Constraints: 39556
1495.86/1513.96 c #Conflicts: 984000 | #Constraints: 40556
1495.86/1513.96 c #Conflicts: 985000 | #Constraints: 41563
1495.86/1513.96 c #Conflicts: 986000 | #Constraints: 42565
1495.86/1513.96 c #Conflicts: 987000 | #Constraints: 43569
1495.86/1513.96 c #Conflicts: 988000 | #Constraints: 44575
1495.86/1513.96 c #Conflicts: 989000 | #Constraints: 45577
1495.86/1513.96 c #Conflicts: 990000 | #Constraints: 46579
1495.86/1513.96 c #Conflicts: 991000 | #Constraints: 47581
1495.86/1513.96 c #Conflicts: 992000 | #Constraints: 48585
1495.86/1513.96 c #Conflicts: 993000 | #Constraints: 49587
1495.86/1513.96 c #Conflicts: 994000 | #Constraints: 50588
1495.86/1513.96 c #Conflicts: 995000 | #Constraints: 51589
1495.86/1513.96 c #Conflicts: 996000 | #Constraints: 52590
1495.86/1513.96 c #Conflicts: 997000 | #Constraints: 53590
1495.86/1513.96 c #Conflicts: 998000 | #Constraints: 54590
1495.86/1513.96 c #Conflicts: 999000 | #Constraints: 55591
1495.86/1513.96 c #Conflicts: 1000000 | #Constraints: 56591
1495.86/1513.96 c #Conflicts: 1001000 | #Constraints: 57591
1495.86/1513.96 c INPROCESSING
1495.86/1513.96 c GARBAGE COLLECT
1495.86/1513.96 c rational objective 5
1533.77/1552.32 c #Conflicts: 1002000 | #Constraints: 38747
1533.77/1552.32 c #Conflicts: 1003000 | #Constraints: 39747
1533.77/1552.32 c #Conflicts: 1004000 | #Constraints: 40749
1533.77/1552.32 c #Conflicts: 1005000 | #Constraints: 41751
1533.77/1552.32 c #Conflicts: 1006000 | #Constraints: 42752
1533.77/1552.32 c #Conflicts: 1007000 | #Constraints: 43753
1533.77/1552.32 c #Conflicts: 1008000 | #Constraints: 44755
1533.77/1552.32 c #Conflicts: 1009000 | #Constraints: 45758
1533.77/1552.32 c #Conflicts: 1010000 | #Constraints: 46760
1533.77/1552.32 c #Conflicts: 1011000 | #Constraints: 47760
1533.77/1552.32 c #Conflicts: 1012000 | #Constraints: 48761
1533.77/1552.32 c #Conflicts: 1013000 | #Constraints: 49763
1533.77/1552.32 c #Conflicts: 1014000 | #Constraints: 50765
1533.77/1552.32 c #Conflicts: 1015000 | #Constraints: 51765
1533.77/1552.32 c #Conflicts: 1016000 | #Constraints: 52766
1533.77/1552.32 c #Conflicts: 1017000 | #Constraints: 53768
1533.77/1552.32 c #Conflicts: 1018000 | #Constraints: 54769
1533.77/1552.32 c #Conflicts: 1019000 | #Constraints: 55770
1533.77/1552.32 c #Conflicts: 1020000 | #Constraints: 56772
1533.77/1552.32 c #Conflicts: 1021000 | #Constraints: 57774
1533.77/1552.32 c INPROCESSING
1533.77/1552.32 c GARBAGE COLLECT
1533.77/1552.32 c rational objective 5
1569.44/1588.36 c #Conflicts: 1022000 | #Constraints: 38776
1569.44/1588.36 c #Conflicts: 1023000 | #Constraints: 39779
1569.44/1588.36 c #Conflicts: 1024000 | #Constraints: 40781
1569.44/1588.36 c #Conflicts: 1025000 | #Constraints: 41784
1569.44/1588.36 c #Conflicts: 1026000 | #Constraints: 42786
1569.44/1588.36 c #Conflicts: 1027000 | #Constraints: 43787
1569.44/1588.36 c #Conflicts: 1028000 | #Constraints: 44787
1569.44/1588.36 c #Conflicts: 1029000 | #Constraints: 45787
1569.44/1588.36 c #Conflicts: 1030000 | #Constraints: 46787
1569.44/1588.36 c #Conflicts: 1031000 | #Constraints: 47787
1569.44/1588.36 c #Conflicts: 1032000 | #Constraints: 48788
1569.44/1588.36 c #Conflicts: 1033000 | #Constraints: 49789
1569.44/1588.36 c #Conflicts: 1034000 | #Constraints: 50790
1569.44/1588.36 c #Conflicts: 1035000 | #Constraints: 51791
1569.44/1588.36 c #Conflicts: 1036000 | #Constraints: 52791
1569.44/1588.36 c #Conflicts: 1037000 | #Constraints: 53791
1569.44/1588.36 c #Conflicts: 1038000 | #Constraints: 54791
1569.44/1588.36 c #Conflicts: 1039000 | #Constraints: 55791
1569.44/1588.36 c #Conflicts: 1040000 | #Constraints: 56792
1569.44/1588.36 c #Conflicts: 1041000 | #Constraints: 57792
1569.44/1588.36 c INPROCESSING
1569.44/1588.36 c GARBAGE COLLECT
1569.44/1588.36 c rational objective 5
1598.06/1617.99 c #Conflicts: 1042000 | #Constraints: 38542
1598.06/1617.99 c #Conflicts: 1043000 | #Constraints: 39542
1598.06/1617.99 c #Conflicts: 1044000 | #Constraints: 40543
1598.06/1617.99 c #Conflicts: 1045000 | #Constraints: 41543
1598.06/1617.99 c #Conflicts: 1046000 | #Constraints: 42548
1598.06/1617.99 c #Conflicts: 1047000 | #Constraints: 43554
1598.06/1617.99 c #Conflicts: 1048000 | #Constraints: 44560
1598.06/1617.99 c #Conflicts: 1049000 | #Constraints: 45566
1598.06/1617.99 c #Conflicts: 1050000 | #Constraints: 46567
1598.06/1617.99 c #Conflicts: 1051000 | #Constraints: 47567
1598.06/1617.99 c #Conflicts: 1052000 | #Constraints: 48570
1598.06/1617.99 c #Conflicts: 1053000 | #Constraints: 49574
1598.06/1617.99 c #Conflicts: 1054000 | #Constraints: 50577
1598.06/1617.99 c #Conflicts: 1055000 | #Constraints: 51581
1598.06/1617.99 c #Conflicts: 1056000 | #Constraints: 52582
1598.06/1617.99 c #Conflicts: 1057000 | #Constraints: 53582
1598.06/1617.99 c #Conflicts: 1058000 | #Constraints: 54582
1598.06/1617.99 c #Conflicts: 1059000 | #Constraints: 55583
1598.06/1617.99 c #Conflicts: 1060000 | #Constraints: 56584
1598.06/1617.99 c #Conflicts: 1061000 | #Constraints: 57586
1598.06/1617.99 c #Conflicts: 1062000 | #Constraints: 58586
1598.06/1617.99 c INPROCESSING
1598.06/1617.99 c GARBAGE COLLECT
1598.06/1617.99 c rational objective 5
1633.01/1653.24 c #Conflicts: 1063000 | #Constraints: 39140
1633.01/1653.24 c #Conflicts: 1064000 | #Constraints: 40141
1633.01/1653.24 c #Conflicts: 1065000 | #Constraints: 41141
1633.01/1653.24 c #Conflicts: 1066000 | #Constraints: 42142
1633.01/1653.24 c #Conflicts: 1067000 | #Constraints: 43144
1633.01/1653.24 c #Conflicts: 1068000 | #Constraints: 44145
1633.01/1653.24 c #Conflicts: 1069000 | #Constraints: 45146
1633.01/1653.24 c #Conflicts: 1070000 | #Constraints: 46152
1633.01/1653.24 c #Conflicts: 1071000 | #Constraints: 47156
1633.01/1653.24 c #Conflicts: 1072000 | #Constraints: 48158
1633.01/1653.24 c #Conflicts: 1073000 | #Constraints: 49162
1633.01/1653.24 c #Conflicts: 1074000 | #Constraints: 50163
1633.01/1653.24 c #Conflicts: 1075000 | #Constraints: 51165
1633.01/1653.24 c #Conflicts: 1076000 | #Constraints: 52166
1633.01/1653.24 c #Conflicts: 1077000 | #Constraints: 53168
1633.01/1653.24 c #Conflicts: 1078000 | #Constraints: 54171
1633.01/1653.24 c #Conflicts: 1079000 | #Constraints: 55172
1633.01/1653.24 c #Conflicts: 1080000 | #Constraints: 56174
1633.01/1653.24 c #Conflicts: 1081000 | #Constraints: 57175
1633.01/1653.24 c #Conflicts: 1082000 | #Constraints: 58177
1633.01/1653.24 c #Conflicts: 1083000 | #Constraints: 59179
1633.01/1653.24 c INPROCESSING
1633.01/1653.24 c GARBAGE COLLECT
1633.01/1653.24 c rational objective 5
1692.47/1713.28 c #Conflicts: 1084000 | #Constraints: 39479
1692.47/1713.28 c #Conflicts: 1085000 | #Constraints: 40482
1692.47/1713.28 c #Conflicts: 1086000 | #Constraints: 41485
1692.47/1713.28 c #Conflicts: 1087000 | #Constraints: 42487
1692.47/1713.28 c #Conflicts: 1088000 | #Constraints: 43489
1692.47/1713.28 c #Conflicts: 1089000 | #Constraints: 44491
1692.47/1713.28 c #Conflicts: 1090000 | #Constraints: 45494
1692.47/1713.28 c #Conflicts: 1091000 | #Constraints: 46498
1692.47/1713.28 c #Conflicts: 1092000 | #Constraints: 47499
1692.47/1713.28 c #Conflicts: 1093000 | #Constraints: 48503
1692.47/1713.28 c #Conflicts: 1094000 | #Constraints: 49508
1692.47/1713.28 c #Conflicts: 1095000 | #Constraints: 50509
1692.47/1713.28 c #Conflicts: 1096000 | #Constraints: 51510
1692.47/1713.28 c #Conflicts: 1097000 | #Constraints: 52513
1692.47/1713.28 c #Conflicts: 1098000 | #Constraints: 53516
1692.47/1713.28 c #Conflicts: 1099000 | #Constraints: 54518
1692.47/1713.28 c #Conflicts: 1100000 | #Constraints: 55521
1692.47/1713.28 c #Conflicts: 1101000 | #Constraints: 56521
1692.47/1713.28 c #Conflicts: 1102000 | #Constraints: 57522
1692.47/1713.28 c #Conflicts: 1103000 | #Constraints: 58522
1692.47/1713.28 c #Conflicts: 1104000 | #Constraints: 59523
1692.47/1713.28 c INPROCESSING
1692.47/1713.28 c GARBAGE COLLECT
1692.47/1713.28 c rational objective 5
1739.99/1761.02 c #Conflicts: 1105000 | #Constraints: 39679
1739.99/1761.02 c #Conflicts: 1106000 | #Constraints: 40679
1739.99/1761.02 c #Conflicts: 1107000 | #Constraints: 41682
1739.99/1761.02 c #Conflicts: 1108000 | #Constraints: 42684
1739.99/1761.02 c #Conflicts: 1109000 | #Constraints: 43686
1739.99/1761.02 c #Conflicts: 1110000 | #Constraints: 44686
1739.99/1761.02 c #Conflicts: 1111000 | #Constraints: 45687
1739.99/1761.02 c #Conflicts: 1112000 | #Constraints: 46688
1739.99/1761.02 c #Conflicts: 1113000 | #Constraints: 47691
1739.99/1761.02 c #Conflicts: 1114000 | #Constraints: 48692
1739.99/1761.02 c #Conflicts: 1115000 | #Constraints: 49693
1739.99/1761.02 c #Conflicts: 1116000 | #Constraints: 50694
1739.99/1761.02 c #Conflicts: 1117000 | #Constraints: 51695
1739.99/1761.02 c #Conflicts: 1118000 | #Constraints: 52696
1739.99/1761.02 c #Conflicts: 1119000 | #Constraints: 53697
1739.99/1761.02 c #Conflicts: 1120000 | #Constraints: 54697
1739.99/1761.02 c #Conflicts: 1121000 | #Constraints: 55697
1739.99/1761.02 c #Conflicts: 1122000 | #Constraints: 56699
1739.99/1761.02 c #Conflicts: 1123000 | #Constraints: 57701
1739.99/1761.02 c #Conflicts: 1124000 | #Constraints: 58702
1739.99/1761.02 c #Conflicts: 1125000 | #Constraints: 59704
1739.99/1761.02 c INPROCESSING
1739.99/1761.02 c GARBAGE COLLECT
1739.99/1761.02 c rational objective 5
1775.09/1796.49 c #Conflicts: 1126000 | #Constraints: 39615
1775.09/1796.49 c #Conflicts: 1127000 | #Constraints: 40615
1775.09/1796.49 c #Conflicts: 1128000 | #Constraints: 41617
1775.09/1796.49 c #Conflicts: 1129000 | #Constraints: 42620
1775.09/1796.49 c #Conflicts: 1130000 | #Constraints: 43622
1775.09/1796.49 c #Conflicts: 1131000 | #Constraints: 44622
1775.09/1796.49 c #Conflicts: 1132000 | #Constraints: 45624
1775.09/1796.49 c #Conflicts: 1133000 | #Constraints: 46627
1775.09/1796.49 c #Conflicts: 1134000 | #Constraints: 47631
1775.09/1796.49 c #Conflicts: 1135000 | #Constraints: 48633
1775.09/1796.49 c #Conflicts: 1136000 | #Constraints: 49635
1775.09/1796.49 c #Conflicts: 1137000 | #Constraints: 50635
1775.09/1796.49 c #Conflicts: 1138000 | #Constraints: 51636
1775.09/1796.49 c #Conflicts: 1139000 | #Constraints: 52640
1775.09/1796.49 c #Conflicts: 1140000 | #Constraints: 53645
1775.09/1796.49 c #Conflicts: 1141000 | #Constraints: 54648
1775.09/1796.49 c #Conflicts: 1142000 | #Constraints: 55650
1775.09/1796.49 c #Conflicts: 1143000 | #Constraints: 56654
1775.09/1796.49 c #Conflicts: 1144000 | #Constraints: 57657
1775.09/1796.49 c #Conflicts: 1145000 | #Constraints: 58657
1775.09/1796.49 c #Conflicts: 1146000 | #Constraints: 59661
1775.09/1796.49 c INPROCESSING
1775.09/1796.49 c GARBAGE COLLECT
1775.09/1796.49 c rational objective 5
1813.22/1834.85 c #Conflicts: 1147000 | #Constraints: 39397
1813.22/1834.85 c #Conflicts: 1148000 | #Constraints: 40397
1813.22/1834.85 c #Conflicts: 1149000 | #Constraints: 41397
1813.22/1834.85 c #Conflicts: 1150000 | #Constraints: 42398
1813.22/1834.85 c #Conflicts: 1151000 | #Constraints: 43400
1813.22/1834.85 c #Conflicts: 1152000 | #Constraints: 44401
1813.22/1834.85 c #Conflicts: 1153000 | #Constraints: 45402
1813.22/1834.85 c #Conflicts: 1154000 | #Constraints: 46407
1813.22/1834.85 c #Conflicts: 1155000 | #Constraints: 47410
1813.22/1834.85 c #Conflicts: 1156000 | #Constraints: 48411
1813.22/1834.85 c #Conflicts: 1157000 | #Constraints: 49413
1813.22/1834.85 c #Conflicts: 1158000 | #Constraints: 50414
1813.22/1834.85 c #Conflicts: 1159000 | #Constraints: 51414
1813.22/1834.85 c #Conflicts: 1160000 | #Constraints: 52414
1813.22/1834.85 c #Conflicts: 1161000 | #Constraints: 53416
1813.22/1834.85 c #Conflicts: 1162000 | #Constraints: 54417
1813.22/1834.85 c #Conflicts: 1163000 | #Constraints: 55419
1813.22/1834.85 c #Conflicts: 1164000 | #Constraints: 56420
1813.22/1834.85 c #Conflicts: 1165000 | #Constraints: 57421
1813.22/1834.85 c #Conflicts: 1166000 | #Constraints: 58422
1813.22/1834.85 c #Conflicts: 1167000 | #Constraints: 59423
1813.22/1834.85 c #Conflicts: 1168000 | #Constraints: 60423
1813.22/1834.85 c INPROCESSING
1813.22/1834.85 c GARBAGE COLLECT
1813.22/1834.85 c rational objective 5
1854.74/1876.90 c #Conflicts: 1169000 | #Constraints: 39964
1854.74/1876.90 c #Conflicts: 1170000 | #Constraints: 40964
1854.74/1876.90 c #Conflicts: 1171000 | #Constraints: 41965
1854.74/1876.90 c #Conflicts: 1172000 | #Constraints: 42966
1854.74/1876.90 c #Conflicts: 1173000 | #Constraints: 43970
1854.74/1876.90 c #Conflicts: 1174000 | #Constraints: 44975
1854.74/1876.90 c #Conflicts: 1175000 | #Constraints: 45980
1854.74/1876.90 c #Conflicts: 1176000 | #Constraints: 46983
1854.74/1876.90 c #Conflicts: 1177000 | #Constraints: 47987
1854.74/1876.90 c #Conflicts: 1178000 | #Constraints: 48987
1854.74/1876.90 c #Conflicts: 1179000 | #Constraints: 49987
1854.74/1876.90 c #Conflicts: 1180000 | #Constraints: 50987
1854.74/1876.90 c #Conflicts: 1181000 | #Constraints: 51989
1854.74/1876.90 c #Conflicts: 1182000 | #Constraints: 52989
1854.74/1876.90 c #Conflicts: 1183000 | #Constraints: 53990
1854.74/1876.90 c #Conflicts: 1184000 | #Constraints: 54991
1854.74/1876.90 c #Conflicts: 1185000 | #Constraints: 55992
1854.74/1876.90 c #Conflicts: 1186000 | #Constraints: 56992
1854.74/1876.90 c #Conflicts: 1187000 | #Constraints: 57992
1854.74/1876.90 c #Conflicts: 1188000 | #Constraints: 58992
1854.74/1876.90 c #Conflicts: 1189000 | #Constraints: 59992
1854.74/1876.90 c #Conflicts: 1190000 | #Constraints: 60993
1854.74/1876.90 c INPROCESSING
1854.74/1876.90 c GARBAGE COLLECT
1854.74/1876.90 c rational objective 5
1903.97/1926.80 c #Conflicts: 1191000 | #Constraints: 40352
1903.97/1926.80 c #Conflicts: 1192000 | #Constraints: 41354
1903.97/1926.80 c #Conflicts: 1193000 | #Constraints: 42355
1903.97/1926.80 c #Conflicts: 1194000 | #Constraints: 43358
1903.97/1926.80 c #Conflicts: 1195000 | #Constraints: 44362
1903.97/1926.80 c #Conflicts: 1196000 | #Constraints: 45364
1903.97/1926.80 c #Conflicts: 1197000 | #Constraints: 46364
1903.97/1926.80 c #Conflicts: 1198000 | #Constraints: 47364
1903.97/1926.80 c #Conflicts: 1199000 | #Constraints: 48364
1903.97/1926.80 c #Conflicts: 1200000 | #Constraints: 49365
1903.97/1926.80 c #Conflicts: 1201000 | #Constraints: 50366
1903.97/1926.80 c #Conflicts: 1202000 | #Constraints: 51367
1903.97/1926.80 c #Conflicts: 1203000 | #Constraints: 52367
1903.97/1926.80 c #Conflicts: 1204000 | #Constraints: 53368
1903.97/1926.80 c #Conflicts: 1205000 | #Constraints: 54369
1903.97/1926.80 c #Conflicts: 1206000 | #Constraints: 55371
1903.97/1926.80 c #Conflicts: 1207000 | #Constraints: 56372
1903.97/1926.80 c #Conflicts: 1208000 | #Constraints: 57372
1903.97/1926.80 c #Conflicts: 1209000 | #Constraints: 58374
1903.97/1926.80 c #Conflicts: 1210000 | #Constraints: 59374
1903.97/1926.80 c #Conflicts: 1211000 | #Constraints: 60374
1903.97/1926.80 c #Conflicts: 1212000 | #Constraints: 61376
1903.97/1926.80 c INPROCESSING
1903.97/1926.80 c GARBAGE COLLECT
1903.97/1926.80 c rational objective 5
1959.50/1987.67 c #Conflicts: 1213000 | #Constraints: 40538
1959.50/1987.67 c #Conflicts: 1214000 | #Constraints: 41539
1959.50/1987.67 c #Conflicts: 1215000 | #Constraints: 42543
1959.50/1987.67 c #Conflicts: 1216000 | #Constraints: 43545
1959.50/1987.67 c #Conflicts: 1217000 | #Constraints: 44546
1959.50/1987.67 c #Conflicts: 1218000 | #Constraints: 45549
1959.50/1987.67 c #Conflicts: 1219000 | #Constraints: 46551
1959.50/1987.67 c #Conflicts: 1220000 | #Constraints: 47552
1959.50/1987.67 c #Conflicts: 1221000 | #Constraints: 48553
1959.50/1987.67 c #Conflicts: 1222000 | #Constraints: 49554
1959.50/1987.67 c #Conflicts: 1223000 | #Constraints: 50555
1959.50/1987.67 c #Conflicts: 1224000 | #Constraints: 51557
1959.50/1987.67 c #Conflicts: 1225000 | #Constraints: 52558
1959.50/1987.67 c #Conflicts: 1226000 | #Constraints: 53558
1959.50/1987.67 c #Conflicts: 1227000 | #Constraints: 54561
1959.50/1987.67 c #Conflicts: 1228000 | #Constraints: 55562
1959.50/1987.67 c #Conflicts: 1229000 | #Constraints: 56564
1959.50/1987.67 c #Conflicts: 1230000 | #Constraints: 57565
1959.50/1987.67 c #Conflicts: 1231000 | #Constraints: 58565
1959.50/1987.67 c #Conflicts: 1232000 | #Constraints: 59565
1959.50/1987.67 c #Conflicts: 1233000 | #Constraints: 60566
1959.50/1987.67 c #Conflicts: 1234000 | #Constraints: 61567
1959.50/1987.67 c INPROCESSING
1959.50/1987.67 c GARBAGE COLLECT
1959.50/1987.67 c rational objective 5
2016.61/2045.60 c #Conflicts: 1235000 | #Constraints: 40525
2016.61/2045.60 c #Conflicts: 1236000 | #Constraints: 41527
2016.61/2045.60 c #Conflicts: 1237000 | #Constraints: 42530
2016.61/2045.60 c #Conflicts: 1238000 | #Constraints: 43536
2016.61/2045.60 c #Conflicts: 1239000 | #Constraints: 44540
2016.61/2045.60 c #Conflicts: 1240000 | #Constraints: 45542
2016.61/2045.60 c #Conflicts: 1241000 | #Constraints: 46544
2016.61/2045.60 c #Conflicts: 1242000 | #Constraints: 47544
2016.61/2045.60 c #Conflicts: 1243000 | #Constraints: 48546
2016.61/2045.60 c #Conflicts: 1244000 | #Constraints: 49548
2016.61/2045.60 c #Conflicts: 1245000 | #Constraints: 50549
2016.61/2045.60 c #Conflicts: 1246000 | #Constraints: 51550
2016.61/2045.60 c #Conflicts: 1247000 | #Constraints: 52551
2016.61/2045.60 c #Conflicts: 1248000 | #Constraints: 53552
2016.61/2045.60 c #Conflicts: 1249000 | #Constraints: 54552
2016.61/2045.60 c #Conflicts: 1250000 | #Constraints: 55552
2016.61/2045.60 c #Conflicts: 1251000 | #Constraints: 56553
2016.61/2045.60 c #Conflicts: 1252000 | #Constraints: 57554
2016.61/2045.60 c #Conflicts: 1253000 | #Constraints: 58554
2016.61/2045.60 c #Conflicts: 1254000 | #Constraints: 59555
2016.61/2045.60 c #Conflicts: 1255000 | #Constraints: 60556
2016.61/2045.60 c #Conflicts: 1256000 | #Constraints: 61556
2016.61/2045.60 c INPROCESSING
2016.61/2045.60 c GARBAGE COLLECT
2016.61/2045.60 c rational objective 5
2068.46/2101.07 c #Conflicts: 1257000 | #Constraints: 40317
2068.46/2101.07 c #Conflicts: 1258000 | #Constraints: 41317
2068.46/2101.07 c #Conflicts: 1259000 | #Constraints: 42317
2068.46/2101.07 c #Conflicts: 1260000 | #Constraints: 43319
2068.46/2101.07 c #Conflicts: 1261000 | #Constraints: 44323
2068.46/2101.07 c #Conflicts: 1262000 | #Constraints: 45326
2068.46/2101.07 c #Conflicts: 1263000 | #Constraints: 46329
2068.46/2101.07 c #Conflicts: 1264000 | #Constraints: 47329
2068.46/2101.07 c #Conflicts: 1265000 | #Constraints: 48330
2068.46/2101.07 c #Conflicts: 1266000 | #Constraints: 49332
2068.46/2101.07 c #Conflicts: 1267000 | #Constraints: 50336
2068.46/2101.07 c #Conflicts: 1268000 | #Constraints: 51341
2068.46/2101.07 c #Conflicts: 1269000 | #Constraints: 52345
2068.46/2101.07 c #Conflicts: 1270000 | #Constraints: 53349
2068.46/2101.07 c #Conflicts: 1271000 | #Constraints: 54351
2068.46/2101.07 c #Conflicts: 1272000 | #Constraints: 55351
2068.46/2101.07 c #Conflicts: 1273000 | #Constraints: 56353
2068.46/2101.07 c #Conflicts: 1274000 | #Constraints: 57354
2068.46/2101.07 c #Conflicts: 1275000 | #Constraints: 58355
2068.46/2101.07 c #Conflicts: 1276000 | #Constraints: 59356
2068.46/2101.07 c #Conflicts: 1277000 | #Constraints: 60358
2068.46/2101.07 c #Conflicts: 1278000 | #Constraints: 61358
2068.46/2101.07 c #Conflicts: 1279000 | #Constraints: 62358
2068.46/2101.07 c INPROCESSING
2068.46/2101.07 c GARBAGE COLLECT
2068.46/2101.07 c rational objective 5
2112.13/2147.60 c #Conflicts: 1280000 | #Constraints: 40914
2112.13/2147.60 c #Conflicts: 1281000 | #Constraints: 41916
2112.13/2147.60 c #Conflicts: 1282000 | #Constraints: 42917
2112.13/2147.60 c #Conflicts: 1283000 | #Constraints: 43919
2112.13/2147.60 c #Conflicts: 1284000 | #Constraints: 44926
2112.13/2147.60 c #Conflicts: 1285000 | #Constraints: 45926
2112.13/2147.60 c #Conflicts: 1286000 | #Constraints: 46927
2112.13/2147.60 c #Conflicts: 1287000 | #Constraints: 47929
2112.13/2147.60 c #Conflicts: 1288000 | #Constraints: 48930
2112.13/2147.60 c #Conflicts: 1289000 | #Constraints: 49932
2112.13/2147.60 c #Conflicts: 1290000 | #Constraints: 50935
2112.13/2147.60 c #Conflicts: 1291000 | #Constraints: 51937
2112.13/2147.60 c #Conflicts: 1292000 | #Constraints: 52939
2112.13/2147.60 c #Conflicts: 1293000 | #Constraints: 53941
2112.13/2147.60 c #Conflicts: 1294000 | #Constraints: 54942
2112.13/2147.60 c #Conflicts: 1295000 | #Constraints: 55945
2112.13/2147.60 c #Conflicts: 1296000 | #Constraints: 56947
2112.13/2147.60 c #Conflicts: 1297000 | #Constraints: 57949
2112.13/2147.60 c #Conflicts: 1298000 | #Constraints: 58950
2112.13/2147.60 c #Conflicts: 1299000 | #Constraints: 59952
2112.13/2147.60 c #Conflicts: 1300000 | #Constraints: 60955
2112.13/2147.60 c #Conflicts: 1301000 | #Constraints: 61964
2112.13/2147.60 c #Conflicts: 1302000 | #Constraints: 62968
2112.13/2147.60 c INPROCESSING
2112.13/2147.60 c GARBAGE COLLECT
2112.13/2147.60 c rational objective 5
2159.17/2195.06 c #Conflicts: 1303000 | #Constraints: 41350
2159.17/2195.06 c #Conflicts: 1304000 | #Constraints: 42351
2159.17/2195.06 c #Conflicts: 1305000 | #Constraints: 43355
2159.17/2195.06 c #Conflicts: 1306000 | #Constraints: 44356
2159.17/2195.06 c #Conflicts: 1307000 | #Constraints: 45358
2159.17/2195.06 c #Conflicts: 1308000 | #Constraints: 46360
2159.17/2195.06 c #Conflicts: 1309000 | #Constraints: 47365
2159.17/2195.06 c #Conflicts: 1310000 | #Constraints: 48366
2159.17/2195.06 c #Conflicts: 1311000 | #Constraints: 49368
2159.17/2195.06 c #Conflicts: 1312000 | #Constraints: 50369
2159.17/2195.06 c #Conflicts: 1313000 | #Constraints: 51371
2159.17/2195.06 c #Conflicts: 1314000 | #Constraints: 52371
2159.17/2195.06 c #Conflicts: 1315000 | #Constraints: 53371
2159.17/2195.06 c #Conflicts: 1316000 | #Constraints: 54372
2159.17/2195.06 c #Conflicts: 1317000 | #Constraints: 55372
2159.17/2195.06 c #Conflicts: 1318000 | #Constraints: 56372
2159.17/2195.06 c #Conflicts: 1319000 | #Constraints: 57373
2159.17/2195.06 c #Conflicts: 1320000 | #Constraints: 58373
2159.17/2195.06 c #Conflicts: 1321000 | #Constraints: 59373
2159.17/2195.06 c #Conflicts: 1322000 | #Constraints: 60373
2159.17/2195.06 c #Conflicts: 1323000 | #Constraints: 61374
2159.17/2195.06 c #Conflicts: 1324000 | #Constraints: 62374
2159.17/2195.06 c #Conflicts: 1325000 | #Constraints: 63375
2159.17/2195.06 c INPROCESSING
2159.17/2195.06 c GARBAGE COLLECT
2159.17/2195.06 c rational objective 5
2216.09/2252.36 c #Conflicts: 1326000 | #Constraints: 41549
2216.09/2252.36 c #Conflicts: 1327000 | #Constraints: 42551
2216.09/2252.36 c #Conflicts: 1328000 | #Constraints: 43552
2216.09/2252.36 c #Conflicts: 1329000 | #Constraints: 44555
2216.09/2252.36 c #Conflicts: 1330000 | #Constraints: 45559
2216.09/2252.36 c #Conflicts: 1331000 | #Constraints: 46562
2216.09/2252.36 c #Conflicts: 1332000 | #Constraints: 47567
2216.09/2252.36 c #Conflicts: 1333000 | #Constraints: 48568
2216.09/2252.36 c #Conflicts: 1334000 | #Constraints: 49572
2216.09/2252.36 c #Conflicts: 1335000 | #Constraints: 50572
2216.09/2252.36 c #Conflicts: 1336000 | #Constraints: 51574
2216.09/2252.36 c #Conflicts: 1337000 | #Constraints: 52577
2216.09/2252.36 c #Conflicts: 1338000 | #Constraints: 53578
2216.09/2252.36 c #Conflicts: 1339000 | #Constraints: 54578
2216.09/2252.36 c #Conflicts: 1340000 | #Constraints: 55580
2216.09/2252.36 c #Conflicts: 1341000 | #Constraints: 56580
2216.09/2252.36 c #Conflicts: 1342000 | #Constraints: 57583
2216.09/2252.36 c #Conflicts: 1343000 | #Constraints: 58584
2216.09/2252.36 c #Conflicts: 1344000 | #Constraints: 59586
2216.09/2252.36 c #Conflicts: 1345000 | #Constraints: 60588
2216.09/2252.36 c #Conflicts: 1346000 | #Constraints: 61589
2216.09/2252.36 c #Conflicts: 1347000 | #Constraints: 62590
2216.09/2252.36 c #Conflicts: 1348000 | #Constraints: 63590
2216.09/2252.36 c INPROCESSING
2216.09/2252.36 c GARBAGE COLLECT
2216.09/2252.36 c rational objective 5
2264.61/2301.28 c #Conflicts: 1349000 | #Constraints: 41565
2264.61/2301.28 c #Conflicts: 1350000 | #Constraints: 42566
2264.61/2301.28 c #Conflicts: 1351000 | #Constraints: 43572
2264.61/2301.28 c #Conflicts: 1352000 | #Constraints: 44574
2264.61/2301.28 c #Conflicts: 1353000 | #Constraints: 45580
2264.61/2301.28 c #Conflicts: 1354000 | #Constraints: 46584
2264.61/2301.28 c #Conflicts: 1355000 | #Constraints: 47591
2264.61/2301.28 c #Conflicts: 1356000 | #Constraints: 48594
2264.61/2301.28 c #Conflicts: 1357000 | #Constraints: 49598
2264.61/2301.28 c #Conflicts: 1358000 | #Constraints: 50600
2264.61/2301.28 c #Conflicts: 1359000 | #Constraints: 51602
2264.61/2301.28 c #Conflicts: 1360000 | #Constraints: 52604
2264.61/2301.28 c #Conflicts: 1361000 | #Constraints: 53606
2264.61/2301.28 c #Conflicts: 1362000 | #Constraints: 54610
2264.61/2301.28 c #Conflicts: 1363000 | #Constraints: 55613
2264.61/2301.28 c #Conflicts: 1364000 | #Constraints: 56616
2264.61/2301.28 c #Conflicts: 1365000 | #Constraints: 57621
2264.61/2301.28 c #Conflicts: 1366000 | #Constraints: 58623
2264.61/2301.28 c #Conflicts: 1367000 | #Constraints: 59625
2264.61/2301.28 c #Conflicts: 1368000 | #Constraints: 60626
2264.61/2301.28 c #Conflicts: 1369000 | #Constraints: 61627
2264.61/2301.28 c #Conflicts: 1370000 | #Constraints: 62629
2264.61/2301.28 c #Conflicts: 1371000 | #Constraints: 63631
2264.61/2301.28 c INPROCESSING
2264.61/2301.28 c GARBAGE COLLECT
2264.61/2301.28 c rational objective 5
2315.61/2352.66 c #Conflicts: 1372000 | #Constraints: 41358
2315.61/2352.66 c #Conflicts: 1373000 | #Constraints: 42358
2315.61/2352.66 c #Conflicts: 1374000 | #Constraints: 43361
2315.61/2352.66 c #Conflicts: 1375000 | #Constraints: 44366
2315.61/2352.66 c #Conflicts: 1376000 | #Constraints: 45368
2315.61/2352.66 c #Conflicts: 1377000 | #Constraints: 46371
2315.61/2352.66 c #Conflicts: 1378000 | #Constraints: 47372
2315.61/2352.66 c #Conflicts: 1379000 | #Constraints: 48373
2315.61/2352.66 c #Conflicts: 1380000 | #Constraints: 49376
2315.61/2352.66 c #Conflicts: 1381000 | #Constraints: 50378
2315.61/2352.66 c #Conflicts: 1382000 | #Constraints: 51379
2315.61/2352.66 c #Conflicts: 1383000 | #Constraints: 52380
2315.61/2352.66 c #Conflicts: 1384000 | #Constraints: 53382
2315.61/2352.66 c #Conflicts: 1385000 | #Constraints: 54384
2315.61/2352.66 c #Conflicts: 1386000 | #Constraints: 55385
2315.61/2352.66 c #Conflicts: 1387000 | #Constraints: 56386
2315.61/2352.66 c #Conflicts: 1388000 | #Constraints: 57387
2315.61/2352.66 c #Conflicts: 1389000 | #Constraints: 58388
2315.61/2352.66 c #Conflicts: 1390000 | #Constraints: 59389
2315.61/2352.66 c #Conflicts: 1391000 | #Constraints: 60390
2315.61/2352.66 c #Conflicts: 1392000 | #Constraints: 61391
2315.61/2352.66 c #Conflicts: 1393000 | #Constraints: 62392
2315.61/2352.66 c #Conflicts: 1394000 | #Constraints: 63394
2315.61/2352.66 c #Conflicts: 1395000 | #Constraints: 64395
2315.61/2352.66 c INPROCESSING
2315.61/2352.66 c GARBAGE COLLECT
2315.61/2352.66 c rational objective 5
2382.58/2419.99 c #Conflicts: 1396000 | #Constraints: 41943
2382.58/2419.99 c #Conflicts: 1397000 | #Constraints: 42943
2382.58/2419.99 c #Conflicts: 1398000 | #Constraints: 43945
2382.58/2419.99 c #Conflicts: 1399000 | #Constraints: 44945
2382.58/2419.99 c #Conflicts: 1400000 | #Constraints: 45948
2382.58/2419.99 c #Conflicts: 1401000 | #Constraints: 46953
2382.58/2419.99 c #Conflicts: 1402000 | #Constraints: 47957
2382.58/2419.99 c #Conflicts: 1403000 | #Constraints: 48961
2382.58/2419.99 c #Conflicts: 1404000 | #Constraints: 49964
2382.58/2419.99 c #Conflicts: 1405000 | #Constraints: 50967
2382.58/2419.99 c #Conflicts: 1406000 | #Constraints: 51968
2382.58/2419.99 c #Conflicts: 1407000 | #Constraints: 52970
2382.58/2419.99 c #Conflicts: 1408000 | #Constraints: 53971
2382.58/2419.99 c #Conflicts: 1409000 | #Constraints: 54972
2382.58/2419.99 c #Conflicts: 1410000 | #Constraints: 55972
2382.58/2419.99 c #Conflicts: 1411000 | #Constraints: 56973
2382.58/2419.99 c #Conflicts: 1412000 | #Constraints: 57975
2382.58/2419.99 c #Conflicts: 1413000 | #Constraints: 58977
2382.58/2419.99 c #Conflicts: 1414000 | #Constraints: 59978
2382.58/2419.99 c #Conflicts: 1415000 | #Constraints: 60980
2382.58/2419.99 c #Conflicts: 1416000 | #Constraints: 61981
2382.58/2419.99 c #Conflicts: 1417000 | #Constraints: 62981
2382.58/2419.99 c #Conflicts: 1418000 | #Constraints: 63982
2382.58/2419.99 c #Conflicts: 1419000 | #Constraints: 64982
2382.58/2419.99 c INPROCESSING
2382.58/2419.99 c GARBAGE COLLECT
2382.58/2419.99 c rational objective 5
2440.17/2477.82 c #Conflicts: 1420000 | #Constraints: 42359
2440.17/2477.82 c #Conflicts: 1421000 | #Constraints: 43359
2440.17/2477.82 c #Conflicts: 1422000 | #Constraints: 44359
2440.17/2477.82 c #Conflicts: 1423000 | #Constraints: 45359
2440.17/2477.82 c #Conflicts: 1424000 | #Constraints: 46361
2440.17/2477.82 c #Conflicts: 1425000 | #Constraints: 47361
2440.17/2477.82 c #Conflicts: 1426000 | #Constraints: 48361
2440.17/2477.82 c #Conflicts: 1427000 | #Constraints: 49361
2440.17/2477.82 c #Conflicts: 1428000 | #Constraints: 50363
2440.17/2477.82 c #Conflicts: 1429000 | #Constraints: 51363
2440.17/2477.82 c #Conflicts: 1430000 | #Constraints: 52364
2440.17/2477.82 c #Conflicts: 1431000 | #Constraints: 53368
2440.17/2477.82 c #Conflicts: 1432000 | #Constraints: 54370
2440.17/2477.82 c #Conflicts: 1433000 | #Constraints: 55370
2440.17/2477.82 c #Conflicts: 1434000 | #Constraints: 56370
2440.17/2477.82 c #Conflicts: 1435000 | #Constraints: 57371
2440.17/2477.82 c #Conflicts: 1436000 | #Constraints: 58373
2440.17/2477.82 c #Conflicts: 1437000 | #Constraints: 59374
2440.17/2477.82 c #Conflicts: 1438000 | #Constraints: 60375
2440.17/2477.82 c #Conflicts: 1439000 | #Constraints: 61375
2440.17/2477.82 c #Conflicts: 1440000 | #Constraints: 62376
2440.17/2477.82 c #Conflicts: 1441000 | #Constraints: 63377
2440.17/2477.82 c #Conflicts: 1442000 | #Constraints: 64378
2440.17/2477.82 c #Conflicts: 1443000 | #Constraints: 65379
2440.17/2477.82 c INPROCESSING
2440.17/2477.82 c GARBAGE COLLECT
2440.17/2477.82 c rational objective 5
2523.27/2561.45 c #Conflicts: 1444000 | #Constraints: 42531
2523.27/2561.45 c #Conflicts: 1445000 | #Constraints: 43532
2523.27/2561.45 c #Conflicts: 1446000 | #Constraints: 44535
2523.27/2561.45 c #Conflicts: 1447000 | #Constraints: 45539
2523.27/2561.45 c #Conflicts: 1448000 | #Constraints: 46545
2523.27/2561.45 c #Conflicts: 1449000 | #Constraints: 47546
2523.27/2561.45 c #Conflicts: 1450000 | #Constraints: 48549
2523.27/2561.45 c #Conflicts: 1451000 | #Constraints: 49552
2523.27/2561.45 c #Conflicts: 1452000 | #Constraints: 50556
2523.27/2561.45 c #Conflicts: 1453000 | #Constraints: 51558
2523.27/2561.45 c #Conflicts: 1454000 | #Constraints: 52561
2523.27/2561.45 c #Conflicts: 1455000 | #Constraints: 53564
2523.27/2561.45 c #Conflicts: 1456000 | #Constraints: 54566
2523.27/2561.45 c #Conflicts: 1457000 | #Constraints: 55567
2523.27/2561.45 c #Conflicts: 1458000 | #Constraints: 56573
2523.27/2561.45 c #Conflicts: 1459000 | #Constraints: 57577
2523.27/2561.45 c #Conflicts: 1460000 | #Constraints: 58578
2523.27/2561.45 c #Conflicts: 1461000 | #Constraints: 59581
2523.27/2561.45 c #Conflicts: 1462000 | #Constraints: 60583
2523.27/2561.45 c #Conflicts: 1463000 | #Constraints: 61587
2523.27/2561.46 c #Conflicts: 1464000 | #Constraints: 62589
2523.27/2561.46 c #Conflicts: 1465000 | #Constraints: 63591
2523.27/2561.46 c #Conflicts: 1466000 | #Constraints: 64591
2523.27/2561.46 c #Conflicts: 1467000 | #Constraints: 65593
2523.27/2561.46 c INPROCESSING
2523.27/2561.46 c GARBAGE COLLECT
2523.27/2561.46 c rational objective 5
2576.27/2614.76 c #Conflicts: 1468000 | #Constraints: 42538
2576.27/2614.76 c #Conflicts: 1469000 | #Constraints: 43538
2576.27/2614.76 c #Conflicts: 1470000 | #Constraints: 44541
2576.27/2614.76 c #Conflicts: 1471000 | #Constraints: 45544
2576.27/2614.76 c #Conflicts: 1472000 | #Constraints: 46546
2576.27/2614.76 c #Conflicts: 1473000 | #Constraints: 47547
2576.27/2614.76 c #Conflicts: 1474000 | #Constraints: 48548
2576.27/2614.76 c #Conflicts: 1475000 | #Constraints: 49550
2576.27/2614.76 c #Conflicts: 1476000 | #Constraints: 50551
2576.27/2614.76 c #Conflicts: 1477000 | #Constraints: 51551
2576.27/2614.76 c #Conflicts: 1478000 | #Constraints: 52551
2576.27/2614.76 c #Conflicts: 1479000 | #Constraints: 53552
2576.27/2614.76 c #Conflicts: 1480000 | #Constraints: 54553
2576.27/2614.76 c #Conflicts: 1481000 | #Constraints: 55554
2576.27/2614.76 c #Conflicts: 1482000 | #Constraints: 56555
2576.27/2614.76 c #Conflicts: 1483000 | #Constraints: 57556
2576.27/2614.76 c #Conflicts: 1484000 | #Constraints: 58557
2576.27/2614.76 c #Conflicts: 1485000 | #Constraints: 59558
2576.27/2614.76 c #Conflicts: 1486000 | #Constraints: 60559
2576.27/2614.76 c #Conflicts: 1487000 | #Constraints: 61560
2576.27/2614.76 c #Conflicts: 1488000 | #Constraints: 62561
2576.27/2614.76 c #Conflicts: 1489000 | #Constraints: 63562
2576.27/2614.76 c #Conflicts: 1490000 | #Constraints: 64563
2576.27/2614.76 c #Conflicts: 1491000 | #Constraints: 65564
2576.27/2614.76 c INPROCESSING
2576.27/2614.76 c GARBAGE COLLECT
2576.27/2614.76 c rational objective 5
2619.97/2658.65 c #Conflicts: 1492000 | #Constraints: 42310
2619.97/2658.65 c #Conflicts: 1493000 | #Constraints: 43311
2619.97/2658.65 c #Conflicts: 1494000 | #Constraints: 44311
2619.97/2658.65 c #Conflicts: 1495000 | #Constraints: 45311
2619.97/2658.65 c #Conflicts: 1496000 | #Constraints: 46312
2619.97/2658.65 c #Conflicts: 1497000 | #Constraints: 47313
2619.97/2658.65 c #Conflicts: 1498000 | #Constraints: 48315
2619.97/2658.65 c #Conflicts: 1499000 | #Constraints: 49317
2619.97/2658.65 c #Conflicts: 1500000 | #Constraints: 50322
2619.97/2658.65 c #Conflicts: 1501000 | #Constraints: 51324
2619.97/2658.65 c #Conflicts: 1502000 | #Constraints: 52326
2619.97/2658.65 c #Conflicts: 1503000 | #Constraints: 53328
2619.97/2658.65 c #Conflicts: 1504000 | #Constraints: 54329
2619.97/2658.65 c #Conflicts: 1505000 | #Constraints: 55330
2619.97/2658.65 c #Conflicts: 1506000 | #Constraints: 56332
2619.97/2658.65 c #Conflicts: 1507000 | #Constraints: 57332
2619.97/2658.65 c #Conflicts: 1508000 | #Constraints: 58333
2619.97/2658.65 c #Conflicts: 1509000 | #Constraints: 59333
2619.97/2658.65 c #Conflicts: 1510000 | #Constraints: 60333
2619.97/2658.65 c #Conflicts: 1511000 | #Constraints: 61333
2619.97/2658.65 c #Conflicts: 1512000 | #Constraints: 62334
2619.97/2658.65 c #Conflicts: 1513000 | #Constraints: 63334
2619.97/2658.65 c #Conflicts: 1514000 | #Constraints: 64335
2619.97/2658.65 c #Conflicts: 1515000 | #Constraints: 65336
2619.97/2658.65 c #Conflicts: 1516000 | #Constraints: 66336
2619.97/2658.65 c INPROCESSING
2619.97/2658.65 c GARBAGE COLLECT
2619.97/2658.65 c rational objective 5
2673.06/2712.05 c #Conflicts: 1517000 | #Constraints: 42926
2673.06/2712.05 c #Conflicts: 1518000 | #Constraints: 43927
2673.06/2712.05 c #Conflicts: 1519000 | #Constraints: 44927
2673.06/2712.05 c #Conflicts: 1520000 | #Constraints: 45928
2673.06/2712.05 c #Conflicts: 1521000 | #Constraints: 46932
2673.06/2712.05 c #Conflicts: 1522000 | #Constraints: 47938
2673.06/2712.05 c #Conflicts: 1523000 | #Constraints: 48942
2673.06/2712.05 c #Conflicts: 1524000 | #Constraints: 49946
2673.06/2712.05 c #Conflicts: 1525000 | #Constraints: 50952
2673.06/2712.05 c #Conflicts: 1526000 | #Constraints: 51954
2673.06/2712.05 c #Conflicts: 1527000 | #Constraints: 52955
2673.06/2712.05 c #Conflicts: 1528000 | #Constraints: 53956
2673.06/2712.05 c #Conflicts: 1529000 | #Constraints: 54960
2673.06/2712.05 c #Conflicts: 1530000 | #Constraints: 55962
2673.06/2712.05 c #Conflicts: 1531000 | #Constraints: 56964
2673.06/2712.05 c #Conflicts: 1532000 | #Constraints: 57964
2673.06/2712.05 c #Conflicts: 1533000 | #Constraints: 58967
2673.06/2712.05 c #Conflicts: 1534000 | #Constraints: 59969
2673.06/2712.05 c #Conflicts: 1535000 | #Constraints: 60973
2673.06/2712.05 c #Conflicts: 1536000 | #Constraints: 61974
2673.06/2712.05 c #Conflicts: 1537000 | #Constraints: 62974
2673.06/2712.05 c #Conflicts: 1538000 | #Constraints: 63976
2673.06/2712.05 c #Conflicts: 1539000 | #Constraints: 64978
2673.06/2712.05 c #Conflicts: 1540000 | #Constraints: 65979
2673.06/2712.05 c #Conflicts: 1541000 | #Constraints: 66980
2673.06/2712.05 c INPROCESSING
2673.06/2712.05 c GARBAGE COLLECT
2673.06/2712.05 c rational objective 5
2739.34/2778.87 c #Conflicts: 1542000 | #Constraints: 43269
2739.34/2778.87 c #Conflicts: 1543000 | #Constraints: 44271
2739.34/2778.87 c #Conflicts: 1544000 | #Constraints: 45273
2739.34/2778.87 c #Conflicts: 1545000 | #Constraints: 46275
2739.34/2778.87 c #Conflicts: 1546000 | #Constraints: 47278
2739.34/2778.87 c #Conflicts: 1547000 | #Constraints: 48282
2739.34/2778.87 c #Conflicts: 1548000 | #Constraints: 49285
2739.34/2778.87 c #Conflicts: 1549000 | #Constraints: 50287
2739.34/2778.87 c #Conflicts: 1550000 | #Constraints: 51291
2739.34/2778.87 c #Conflicts: 1551000 | #Constraints: 52292
2739.34/2778.87 c #Conflicts: 1552000 | #Constraints: 53293
2739.34/2778.87 c #Conflicts: 1553000 | #Constraints: 54295
2739.34/2778.87 c #Conflicts: 1554000 | #Constraints: 55297
2739.34/2778.87 c #Conflicts: 1555000 | #Constraints: 56298
2739.34/2778.87 c #Conflicts: 1556000 | #Constraints: 57302
2739.34/2778.87 c #Conflicts: 1557000 | #Constraints: 58304
2739.34/2778.87 c #Conflicts: 1558000 | #Constraints: 59305
2739.34/2778.87 c #Conflicts: 1559000 | #Constraints: 60308
2739.34/2778.87 c #Conflicts: 1560000 | #Constraints: 61310
2739.34/2778.87 c #Conflicts: 1561000 | #Constraints: 62311
2739.34/2778.87 c #Conflicts: 1562000 | #Constraints: 63312
2739.34/2778.87 c #Conflicts: 1563000 | #Constraints: 64313
2739.34/2778.87 c #Conflicts: 1564000 | #Constraints: 65315
2739.34/2778.87 c #Conflicts: 1565000 | #Constraints: 66316
2739.34/2778.87 c #Conflicts: 1566000 | #Constraints: 67317
2739.34/2778.87 c INPROCESSING
2739.34/2778.87 c GARBAGE COLLECT
2739.34/2778.87 c rational objective 5
2824.38/2864.31 c #Conflicts: 1567000 | #Constraints: 43459
2824.38/2864.31 c #Conflicts: 1568000 | #Constraints: 44460
2824.38/2864.31 c #Conflicts: 1569000 | #Constraints: 45463
2824.38/2864.31 c #Conflicts: 1570000 | #Constraints: 46466
2824.38/2864.31 c #Conflicts: 1571000 | #Constraints: 47469
2824.38/2864.31 c #Conflicts: 1572000 | #Constraints: 48474
2824.38/2864.31 c #Conflicts: 1573000 | #Constraints: 49479
2824.38/2864.31 c #Conflicts: 1574000 | #Constraints: 50481
2824.38/2864.31 c #Conflicts: 1575000 | #Constraints: 51481
2824.38/2864.31 c #Conflicts: 1576000 | #Constraints: 52481
2824.38/2864.31 c #Conflicts: 1577000 | #Constraints: 53483
2824.38/2864.31 c #Conflicts: 1578000 | #Constraints: 54484
2824.38/2864.31 c #Conflicts: 1579000 | #Constraints: 55486
2824.38/2864.31 c #Conflicts: 1580000 | #Constraints: 56488
2824.38/2864.31 c #Conflicts: 1581000 | #Constraints: 57489
2824.38/2864.31 c #Conflicts: 1582000 | #Constraints: 58489
2824.38/2864.31 c #Conflicts: 1583000 | #Constraints: 59490
2824.38/2864.31 c #Conflicts: 1584000 | #Constraints: 60490
2824.38/2864.31 c #Conflicts: 1585000 | #Constraints: 61491
2824.38/2864.31 c #Conflicts: 1586000 | #Constraints: 62492
2824.38/2864.31 c #Conflicts: 1587000 | #Constraints: 63492
2824.38/2864.31 c #Conflicts: 1588000 | #Constraints: 64492
2824.38/2864.31 c #Conflicts: 1589000 | #Constraints: 65493
2824.38/2864.31 c #Conflicts: 1590000 | #Constraints: 66493
2824.38/2864.31 c #Conflicts: 1591000 | #Constraints: 67494
2824.38/2864.31 c INPROCESSING
2824.38/2864.31 c GARBAGE COLLECT
2824.38/2864.31 c rational objective 5
2910.46/2951.56 c #Conflicts: 1592000 | #Constraints: 43454
2910.46/2951.56 c #Conflicts: 1593000 | #Constraints: 44456
2910.46/2951.56 c #Conflicts: 1594000 | #Constraints: 45457
2910.46/2951.56 c #Conflicts: 1595000 | #Constraints: 46459
2910.46/2951.56 c #Conflicts: 1596000 | #Constraints: 47461
2910.46/2951.56 c #Conflicts: 1597000 | #Constraints: 48464
2910.46/2951.56 c #Conflicts: 1598000 | #Constraints: 49465
2910.46/2951.56 c #Conflicts: 1599000 | #Constraints: 50466
2910.46/2951.56 c #Conflicts: 1600000 | #Constraints: 51467
2910.46/2951.56 c #Conflicts: 1601000 | #Constraints: 52467
2910.46/2951.56 c #Conflicts: 1602000 | #Constraints: 53469
2910.46/2951.56 c #Conflicts: 1603000 | #Constraints: 54470
2910.46/2951.56 c #Conflicts: 1604000 | #Constraints: 55470
2910.46/2951.56 c #Conflicts: 1605000 | #Constraints: 56471
2910.46/2951.56 c #Conflicts: 1606000 | #Constraints: 57472
2910.46/2951.56 c #Conflicts: 1607000 | #Constraints: 58472
2910.46/2951.56 c #Conflicts: 1608000 | #Constraints: 59474
2910.46/2951.56 c #Conflicts: 1609000 | #Constraints: 60474
2910.46/2951.56 c #Conflicts: 1610000 | #Constraints: 61475
2910.46/2951.56 c #Conflicts: 1611000 | #Constraints: 62475
2910.46/2951.56 c #Conflicts: 1612000 | #Constraints: 63475
2910.46/2951.56 c #Conflicts: 1613000 | #Constraints: 64476
2910.46/2951.56 c #Conflicts: 1614000 | #Constraints: 65476
2910.46/2951.56 c #Conflicts: 1615000 | #Constraints: 66476
2910.46/2951.56 c #Conflicts: 1616000 | #Constraints: 67476
2910.46/2951.56 c INPROCESSING
2910.46/2951.56 c GARBAGE COLLECT
2910.46/2951.56 c rational objective 5
2983.67/3025.35 c #Conflicts: 1617000 | #Constraints: 43310
2983.67/3025.35 c #Conflicts: 1618000 | #Constraints: 44310
2983.67/3025.35 c #Conflicts: 1619000 | #Constraints: 45310
2983.67/3025.35 c #Conflicts: 1620000 | #Constraints: 46313
2983.67/3025.35 c #Conflicts: 1621000 | #Constraints: 47314
2983.67/3025.35 c #Conflicts: 1622000 | #Constraints: 48315
2983.67/3025.35 c #Conflicts: 1623000 | #Constraints: 49315
2983.67/3025.35 c #Conflicts: 1624000 | #Constraints: 50316
2983.67/3025.35 c #Conflicts: 1625000 | #Constraints: 51317
2983.67/3025.35 c #Conflicts: 1626000 | #Constraints: 52317
2983.67/3025.35 c #Conflicts: 1627000 | #Constraints: 53318
2983.67/3025.35 c #Conflicts: 1628000 | #Constraints: 54319
2983.67/3025.35 c #Conflicts: 1629000 | #Constraints: 55319
2983.67/3025.35 c #Conflicts: 1630000 | #Constraints: 56319
2983.67/3025.35 c #Conflicts: 1631000 | #Constraints: 57320
2983.67/3025.35 c #Conflicts: 1632000 | #Constraints: 58323
2983.67/3025.35 c #Conflicts: 1633000 | #Constraints: 59323
2983.67/3025.35 c #Conflicts: 1634000 | #Constraints: 60324
2983.67/3025.35 c #Conflicts: 1635000 | #Constraints: 61325
2983.67/3025.35 c #Conflicts: 1636000 | #Constraints: 62326
2983.67/3025.35 c #Conflicts: 1637000 | #Constraints: 63327
2983.67/3025.35 c #Conflicts: 1638000 | #Constraints: 64327
2983.67/3025.35 c #Conflicts: 1639000 | #Constraints: 65328
2983.67/3025.35 c #Conflicts: 1640000 | #Constraints: 66329
2983.67/3025.35 c #Conflicts: 1641000 | #Constraints: 67329
2983.67/3025.35 c #Conflicts: 1642000 | #Constraints: 68329
2983.67/3025.35 c INPROCESSING
2983.67/3025.35 c GARBAGE COLLECT
2983.67/3025.35 c rational objective 5
3053.70/3095.90 c #Conflicts: 1643000 | #Constraints: 43860
3053.70/3095.90 c #Conflicts: 1644000 | #Constraints: 44861
3053.70/3095.90 c #Conflicts: 1645000 | #Constraints: 45861
3053.70/3095.90 c #Conflicts: 1646000 | #Constraints: 46861
3053.70/3095.90 c #Conflicts: 1647000 | #Constraints: 47862
3053.70/3095.90 c #Conflicts: 1648000 | #Constraints: 48862
3053.70/3095.90 c #Conflicts: 1649000 | #Constraints: 49863
3053.70/3095.90 c #Conflicts: 1650000 | #Constraints: 50864
3053.70/3095.90 c #Conflicts: 1651000 | #Constraints: 51865
3053.70/3095.90 c #Conflicts: 1652000 | #Constraints: 52866
3053.70/3095.90 c #Conflicts: 1653000 | #Constraints: 53866
3053.70/3095.90 c #Conflicts: 1654000 | #Constraints: 54866
3053.70/3095.90 c #Conflicts: 1655000 | #Constraints: 55866
3053.70/3095.90 c #Conflicts: 1656000 | #Constraints: 56866
3053.70/3095.90 c #Conflicts: 1657000 | #Constraints: 57867
3053.70/3095.90 c #Conflicts: 1658000 | #Constraints: 58868
3053.70/3095.90 c #Conflicts: 1659000 | #Constraints: 59868
3053.70/3095.90 c #Conflicts: 1660000 | #Constraints: 60868
3053.70/3095.90 c #Conflicts: 1661000 | #Constraints: 61869
3053.70/3095.90 c #Conflicts: 1662000 | #Constraints: 62869
3053.70/3095.90 c #Conflicts: 1663000 | #Constraints: 63869
3053.70/3095.90 c #Conflicts: 1664000 | #Constraints: 64869
3053.70/3095.90 c #Conflicts: 1665000 | #Constraints: 65870
3053.70/3095.90 c #Conflicts: 1666000 | #Constraints: 66871
3053.70/3095.90 c #Conflicts: 1667000 | #Constraints: 67873
3053.70/3095.90 c #Conflicts: 1668000 | #Constraints: 68874
3053.70/3095.90 c INPROCESSING
3053.70/3095.90 c GARBAGE COLLECT
3053.70/3095.90 c rational objective 5
3101.43/3143.90 c #Conflicts: 1669000 | #Constraints: 44311
3101.43/3143.90 c #Conflicts: 1670000 | #Constraints: 45312
3101.43/3143.90 c #Conflicts: 1671000 | #Constraints: 46313
3101.43/3143.90 c #Conflicts: 1672000 | #Constraints: 47316
3101.43/3143.90 c #Conflicts: 1673000 | #Constraints: 48318
3101.43/3143.90 c #Conflicts: 1674000 | #Constraints: 49322
3101.43/3143.90 c #Conflicts: 1675000 | #Constraints: 50328
3101.43/3143.90 c #Conflicts: 1676000 | #Constraints: 51330
3101.43/3143.90 c #Conflicts: 1677000 | #Constraints: 52332
3101.43/3143.90 c #Conflicts: 1678000 | #Constraints: 53337
3101.43/3143.90 c #Conflicts: 1679000 | #Constraints: 54339
3101.43/3143.90 c #Conflicts: 1680000 | #Constraints: 55341
3101.43/3143.90 c #Conflicts: 1681000 | #Constraints: 56342
3101.43/3143.90 c #Conflicts: 1682000 | #Constraints: 57343
3101.43/3143.90 c #Conflicts: 1683000 | #Constraints: 58343
3101.43/3143.90 c #Conflicts: 1684000 | #Constraints: 59345
3101.43/3143.90 c #Conflicts: 1685000 | #Constraints: 60347
3101.43/3143.90 c #Conflicts: 1686000 | #Constraints: 61347
3101.43/3143.90 c #Conflicts: 1687000 | #Constraints: 62347
3101.43/3143.90 c #Conflicts: 1688000 | #Constraints: 63348
3101.43/3143.90 c #Conflicts: 1689000 | #Constraints: 64349
3101.43/3143.90 c #Conflicts: 1690000 | #Constraints: 65350
3101.43/3143.90 c #Conflicts: 1691000 | #Constraints: 66351
3101.43/3143.90 c #Conflicts: 1692000 | #Constraints: 67352
3101.43/3143.90 c #Conflicts: 1693000 | #Constraints: 68352
3101.43/3143.90 c #Conflicts: 1694000 | #Constraints: 69352
3101.43/3143.90 c INPROCESSING
3101.43/3143.90 c GARBAGE COLLECT
3101.43/3143.90 c rational objective 5
3161.46/3204.67 c #Conflicts: 1695000 | #Constraints: 44552
3161.46/3204.67 c #Conflicts: 1696000 | #Constraints: 45553
3161.46/3204.67 c #Conflicts: 1697000 | #Constraints: 46555
3161.46/3204.67 c #Conflicts: 1698000 | #Constraints: 47559
3161.46/3204.67 c #Conflicts: 1699000 | #Constraints: 48563
3161.46/3204.67 c #Conflicts: 1700000 | #Constraints: 49565
3161.46/3204.67 c #Conflicts: 1701000 | #Constraints: 50568
3161.46/3204.67 c #Conflicts: 1702000 | #Constraints: 51570
3161.46/3204.67 c #Conflicts: 1703000 | #Constraints: 52576
3161.46/3204.67 c #Conflicts: 1704000 | #Constraints: 53578
3161.46/3204.67 c #Conflicts: 1705000 | #Constraints: 54581
3161.46/3204.67 c #Conflicts: 1706000 | #Constraints: 55584
3161.46/3204.67 c #Conflicts: 1707000 | #Constraints: 56588
3161.46/3204.67 c #Conflicts: 1708000 | #Constraints: 57588
3161.46/3204.67 c #Conflicts: 1709000 | #Constraints: 58590
3161.46/3204.67 c #Conflicts: 1710000 | #Constraints: 59592
3161.46/3204.67 c #Conflicts: 1711000 | #Constraints: 60593
3161.46/3204.67 c #Conflicts: 1712000 | #Constraints: 61594
3161.46/3204.67 c #Conflicts: 1713000 | #Constraints: 62596
3161.46/3204.67 c #Conflicts: 1714000 | #Constraints: 63598
3161.46/3204.67 c #Conflicts: 1715000 | #Constraints: 64600
3161.46/3204.67 c #Conflicts: 1716000 | #Constraints: 65601
3161.46/3204.67 c #Conflicts: 1717000 | #Constraints: 66605
3161.46/3204.67 c #Conflicts: 1718000 | #Constraints: 67605
3161.46/3204.67 c #Conflicts: 1719000 | #Constraints: 68606
3161.46/3204.67 c #Conflicts: 1720000 | #Constraints: 69608
3161.46/3204.67 c INPROCESSING
3161.46/3204.67 c GARBAGE COLLECT
3161.46/3204.67 c rational objective 5
3218.01/3261.72 c #Conflicts: 1721000 | #Constraints: 44570
3218.01/3261.72 c #Conflicts: 1722000 | #Constraints: 45570
3218.01/3261.72 c #Conflicts: 1723000 | #Constraints: 46571
3218.01/3261.72 c #Conflicts: 1724000 | #Constraints: 47576
3218.01/3261.72 c #Conflicts: 1725000 | #Constraints: 48576
3218.01/3261.72 c #Conflicts: 1726000 | #Constraints: 49577
3218.01/3261.72 c #Conflicts: 1727000 | #Constraints: 50577
3218.01/3261.72 c #Conflicts: 1728000 | #Constraints: 51578
3218.01/3261.72 c #Conflicts: 1729000 | #Constraints: 52579
3218.01/3261.72 c #Conflicts: 1730000 | #Constraints: 53580
3218.01/3261.72 c #Conflicts: 1731000 | #Constraints: 54581
3218.01/3261.72 c #Conflicts: 1732000 | #Constraints: 55582
3218.01/3261.72 c #Conflicts: 1733000 | #Constraints: 56583
3218.01/3261.72 c #Conflicts: 1734000 | #Constraints: 57584
3218.01/3261.72 c #Conflicts: 1735000 | #Constraints: 58585
3218.01/3261.72 c #Conflicts: 1736000 | #Constraints: 59586
3218.01/3261.72 c #Conflicts: 1737000 | #Constraints: 60586
3218.01/3261.72 c #Conflicts: 1738000 | #Constraints: 61587
3218.01/3261.72 c #Conflicts: 1739000 | #Constraints: 62587
3218.01/3261.72 c #Conflicts: 1740000 | #Constraints: 63588
3218.01/3261.72 c #Conflicts: 1741000 | #Constraints: 64589
3218.01/3261.72 c #Conflicts: 1742000 | #Constraints: 65590
3218.01/3261.72 c #Conflicts: 1743000 | #Constraints: 66591
3218.01/3261.72 c #Conflicts: 1744000 | #Constraints: 67592
3218.01/3261.72 c #Conflicts: 1745000 | #Constraints: 68592
3218.01/3261.72 c #Conflicts: 1746000 | #Constraints: 69593
3218.01/3261.72 c INPROCESSING
3218.01/3261.72 c GARBAGE COLLECT
3218.01/3261.72 c rational objective 5
3279.70/3325.01 c #Conflicts: 1747000 | #Constraints: 44315
3279.70/3325.01 c #Conflicts: 1748000 | #Constraints: 45316
3279.70/3325.01 c #Conflicts: 1749000 | #Constraints: 46317
3279.70/3325.01 c #Conflicts: 1750000 | #Constraints: 47323
3279.70/3325.01 c #Conflicts: 1751000 | #Constraints: 48328
3279.70/3325.01 c #Conflicts: 1752000 | #Constraints: 49330
3279.70/3325.01 c #Conflicts: 1753000 | #Constraints: 50335
3279.70/3325.01 c #Conflicts: 1754000 | #Constraints: 51338
3279.70/3325.01 c #Conflicts: 1755000 | #Constraints: 52344
3279.70/3325.01 c #Conflicts: 1756000 | #Constraints: 53344
3279.70/3325.01 c #Conflicts: 1757000 | #Constraints: 54346
3279.70/3325.01 c #Conflicts: 1758000 | #Constraints: 55346
3279.70/3325.01 c #Conflicts: 1759000 | #Constraints: 56347
3279.70/3325.01 c #Conflicts: 1760000 | #Constraints: 57350
3279.70/3325.01 c #Conflicts: 1761000 | #Constraints: 58351
3279.70/3325.01 c #Conflicts: 1762000 | #Constraints: 59352
3279.70/3325.01 c #Conflicts: 1763000 | #Constraints: 60353
3279.70/3325.01 c #Conflicts: 1764000 | #Constraints: 61354
3279.70/3325.01 c #Conflicts: 1765000 | #Constraints: 62355
3279.70/3325.01 c #Conflicts: 1766000 | #Constraints: 63356
3279.70/3325.01 c #Conflicts: 1767000 | #Constraints: 64357
3279.70/3325.01 c #Conflicts: 1768000 | #Constraints: 65358
3279.70/3325.01 c #Conflicts: 1769000 | #Constraints: 66359
3279.70/3325.01 c #Conflicts: 1770000 | #Constraints: 67359
3279.70/3325.01 c #Conflicts: 1771000 | #Constraints: 68359
3279.70/3325.01 c #Conflicts: 1772000 | #Constraints: 69359
3279.70/3325.01 c #Conflicts: 1773000 | #Constraints: 70359
3279.70/3325.01 c INPROCESSING
3279.70/3325.01 c GARBAGE COLLECT
3279.70/3325.01 c rational objective 5
3328.80/3374.20 c #Conflicts: 1774000 | #Constraints: 44938
3328.80/3374.20 c #Conflicts: 1775000 | #Constraints: 45939
3328.80/3374.20 c #Conflicts: 1776000 | #Constraints: 46940
3328.80/3374.20 c #Conflicts: 1777000 | #Constraints: 47946
3328.80/3374.20 c #Conflicts: 1778000 | #Constraints: 48948
3328.80/3374.20 c #Conflicts: 1779000 | #Constraints: 49952
3328.80/3374.20 c #Conflicts: 1780000 | #Constraints: 50955
3328.80/3374.20 c #Conflicts: 1781000 | #Constraints: 51958
3328.80/3374.20 c #Conflicts: 1782000 | #Constraints: 52962
3328.80/3374.20 c #Conflicts: 1783000 | #Constraints: 53962
3328.80/3374.20 c #Conflicts: 1784000 | #Constraints: 54965
3328.80/3374.20 c #Conflicts: 1785000 | #Constraints: 55966
3328.80/3374.20 c #Conflicts: 1786000 | #Constraints: 56968
3328.80/3374.20 c #Conflicts: 1787000 | #Constraints: 57969
3328.80/3374.20 c #Conflicts: 1788000 | #Constraints: 58971
3328.80/3374.20 c #Conflicts: 1789000 | #Constraints: 59973
3328.80/3374.20 c #Conflicts: 1790000 | #Constraints: 60975
3328.80/3374.20 c #Conflicts: 1791000 | #Constraints: 61975
3328.80/3374.20 c #Conflicts: 1792000 | #Constraints: 62976
3328.80/3374.20 c #Conflicts: 1793000 | #Constraints: 63976
3328.80/3374.20 c #Conflicts: 1794000 | #Constraints: 64976
3328.80/3374.20 c #Conflicts: 1795000 | #Constraints: 65977
3328.80/3374.20 c #Conflicts: 1796000 | #Constraints: 66978
3328.80/3374.20 c #Conflicts: 1797000 | #Constraints: 67978
3328.80/3374.20 c #Conflicts: 1798000 | #Constraints: 68979
3328.80/3374.20 c #Conflicts: 1799000 | #Constraints: 69980
3328.80/3374.20 c #Conflicts: 1800000 | #Constraints: 70981
3328.80/3374.20 c INPROCESSING
3328.80/3374.20 c GARBAGE COLLECT
3328.80/3374.20 c rational objective 5
3396.15/3441.99 c #Conflicts: 1801000 | #Constraints: 45313
3396.15/3441.99 c #Conflicts: 1802000 | #Constraints: 46315
3396.15/3441.99 c #Conflicts: 1803000 | #Constraints: 47319
3396.15/3441.99 c #Conflicts: 1804000 | #Constraints: 48321
3396.15/3441.99 c #Conflicts: 1805000 | #Constraints: 49324
3396.15/3441.99 c #Conflicts: 1806000 | #Constraints: 50326
3396.15/3441.99 c #Conflicts: 1807000 | #Constraints: 51329
3396.15/3441.99 c #Conflicts: 1808000 | #Constraints: 52331
3396.15/3441.99 c #Conflicts: 1809000 | #Constraints: 53334
3396.15/3441.99 c #Conflicts: 1810000 | #Constraints: 54338
3396.15/3441.99 c #Conflicts: 1811000 | #Constraints: 55341
3396.15/3441.99 c #Conflicts: 1812000 | #Constraints: 56342
3396.15/3441.99 c #Conflicts: 1813000 | #Constraints: 57344
3396.15/3441.99 c #Conflicts: 1814000 | #Constraints: 58347
3396.15/3441.99 c #Conflicts: 1815000 | #Constraints: 59350
3396.15/3441.99 c #Conflicts: 1816000 | #Constraints: 60353
3396.15/3441.99 c #Conflicts: 1817000 | #Constraints: 61356
3396.15/3441.99 c #Conflicts: 1818000 | #Constraints: 62358
3396.15/3441.99 c #Conflicts: 1819000 | #Constraints: 63362
3396.15/3441.99 c #Conflicts: 1820000 | #Constraints: 64362
3396.15/3441.99 c #Conflicts: 1821000 | #Constraints: 65364
3396.15/3441.99 c #Conflicts: 1822000 | #Constraints: 66365
3396.15/3441.99 c #Conflicts: 1823000 | #Constraints: 67366
3396.15/3441.99 c #Conflicts: 1824000 | #Constraints: 68366
3396.15/3441.99 c #Conflicts: 1825000 | #Constraints: 69369
3396.15/3441.99 c #Conflicts: 1826000 | #Constraints: 70371
3396.15/3441.99 c #Conflicts: 1827000 | #Constraints: 71377
3396.15/3441.99 c INPROCESSING
3396.15/3441.99 c GARBAGE COLLECT
3396.15/3441.99 c rational objective 5
3436.13/3482.17 c #Conflicts: 1828000 | #Constraints: 45503
3436.13/3482.17 c #Conflicts: 1829000 | #Constraints: 46503
3436.13/3482.17 c #Conflicts: 1830000 | #Constraints: 47505
3436.13/3482.17 c #Conflicts: 1831000 | #Constraints: 48508
3436.13/3482.17 c #Conflicts: 1832000 | #Constraints: 49513
3436.13/3482.17 c #Conflicts: 1833000 | #Constraints: 50514
3436.13/3482.17 c #Conflicts: 1834000 | #Constraints: 51520
3436.13/3482.17 c #Conflicts: 1835000 | #Constraints: 52526
3436.13/3482.17 c #Conflicts: 1836000 | #Constraints: 53529
3436.13/3482.17 c #Conflicts: 1837000 | #Constraints: 54531
3436.13/3482.17 c #Conflicts: 1838000 | #Constraints: 55532
3436.13/3482.17 c #Conflicts: 1839000 | #Constraints: 56534
3436.13/3482.17 c #Conflicts: 1840000 | #Constraints: 57535
3436.13/3482.17 c #Conflicts: 1841000 | #Constraints: 58537
3436.13/3482.17 c #Conflicts: 1842000 | #Constraints: 59537
3436.13/3482.17 c #Conflicts: 1843000 | #Constraints: 60538
3436.13/3482.17 c #Conflicts: 1844000 | #Constraints: 61538
3436.13/3482.17 c #Conflicts: 1845000 | #Constraints: 62538
3436.13/3482.17 c #Conflicts: 1846000 | #Constraints: 63538
3436.13/3482.17 c #Conflicts: 1847000 | #Constraints: 64538
3436.13/3482.17 c #Conflicts: 1848000 | #Constraints: 65540
3436.13/3482.17 c #Conflicts: 1849000 | #Constraints: 66541
3436.13/3482.17 c #Conflicts: 1850000 | #Constraints: 67541
3436.13/3482.17 c #Conflicts: 1851000 | #Constraints: 68543
3436.13/3482.17 c #Conflicts: 1852000 | #Constraints: 69544
3436.13/3482.17 c #Conflicts: 1853000 | #Constraints: 70547
3436.13/3482.17 c #Conflicts: 1854000 | #Constraints: 71547
3436.13/3482.17 c INPROCESSING
3436.13/3482.17 c GARBAGE COLLECT
3436.13/3482.17 c rational objective 5
3531.25/3582.74 c #Conflicts: 1855000 | #Constraints: 45512
3531.25/3582.74 c #Conflicts: 1856000 | #Constraints: 46513
3531.25/3582.74 c #Conflicts: 1857000 | #Constraints: 47515
3531.25/3582.74 c #Conflicts: 1858000 | #Constraints: 48518
3531.25/3582.74 c #Conflicts: 1859000 | #Constraints: 49519
3531.25/3582.74 c #Conflicts: 1860000 | #Constraints: 50521
3531.25/3582.74 c #Conflicts: 1861000 | #Constraints: 51522
3531.25/3582.74 c #Conflicts: 1862000 | #Constraints: 52523
3531.25/3582.74 c #Conflicts: 1863000 | #Constraints: 53525
3531.25/3582.74 c #Conflicts: 1864000 | #Constraints: 54527
3531.25/3582.74 c #Conflicts: 1865000 | #Constraints: 55528
3531.25/3582.74 c #Conflicts: 1866000 | #Constraints: 56529
3531.25/3582.74 c #Conflicts: 1867000 | #Constraints: 57529
3531.25/3582.74 c #Conflicts: 1868000 | #Constraints: 58530
3531.25/3582.74 c #Conflicts: 1869000 | #Constraints: 59531
3531.25/3582.74 c #Conflicts: 1870000 | #Constraints: 60533
3531.25/3582.74 c #Conflicts: 1871000 | #Constraints: 61534
3531.25/3582.74 c #Conflicts: 1872000 | #Constraints: 62536
3531.25/3582.74 c #Conflicts: 1873000 | #Constraints: 63537
3531.25/3582.74 c #Conflicts: 1874000 | #Constraints: 64538
3531.25/3582.74 c #Conflicts: 1875000 | #Constraints: 65540
3531.25/3582.74 c #Conflicts: 1876000 | #Constraints: 66541
3531.25/3582.74 c #Conflicts: 1877000 | #Constraints: 67541
3531.25/3582.74 c #Conflicts: 1878000 | #Constraints: 68541
3531.25/3582.74 c #Conflicts: 1879000 | #Constraints: 69542
3531.25/3582.74 c #Conflicts: 1880000 | #Constraints: 70542
3531.25/3582.74 c #Conflicts: 1881000 | #Constraints: 71543
3531.25/3582.74 c INPROCESSING
3531.25/3582.74 c GARBAGE COLLECT
3531.25/3582.74 c rational objective 5
3595.80/3647.85 c #Conflicts: 1882000 | #Constraints: 45276
3595.80/3647.85 c #Conflicts: 1883000 | #Constraints: 46277
3595.80/3647.85 c #Conflicts: 1884000 | #Constraints: 47279
3595.80/3647.85 c #Conflicts: 1885000 | #Constraints: 48282
3595.80/3647.85 c #Conflicts: 1886000 | #Constraints: 49283
3595.80/3647.85 c #Conflicts: 1887000 | #Constraints: 50287
3595.80/3647.85 c #Conflicts: 1888000 | #Constraints: 51289
3595.80/3647.85 c #Conflicts: 1889000 | #Constraints: 52293
3595.80/3647.85 c #Conflicts: 1890000 | #Constraints: 53295
3595.80/3647.85 c #Conflicts: 1891000 | #Constraints: 54298
3595.80/3647.85 c #Conflicts: 1892000 | #Constraints: 55300
3595.80/3647.85 c #Conflicts: 1893000 | #Constraints: 56302
3595.80/3647.85 c #Conflicts: 1894000 | #Constraints: 57304
3595.80/3647.85 c #Conflicts: 1895000 | #Constraints: 58307
3595.80/3647.85 c #Conflicts: 1896000 | #Constraints: 59311
3595.80/3647.85 c #Conflicts: 1897000 | #Constraints: 60316
3595.80/3647.85 c #Conflicts: 1898000 | #Constraints: 61322
3595.80/3647.85 c #Conflicts: 1899000 | #Constraints: 62324
3595.80/3647.85 c #Conflicts: 1900000 | #Constraints: 63328
3595.80/3647.85 c #Conflicts: 1901000 | #Constraints: 64329
3595.80/3647.85 c #Conflicts: 1902000 | #Constraints: 65329
3595.80/3647.85 c #Conflicts: 1903000 | #Constraints: 66329
3595.80/3647.85 c #Conflicts: 1904000 | #Constraints: 67331
3595.80/3647.85 c #Conflicts: 1905000 | #Constraints: 68332
3595.80/3647.85 c #Conflicts: 1906000 | #Constraints: 69334
3595.80/3647.85 c #Conflicts: 1907000 | #Constraints: 70335
3595.80/3647.85 c #Conflicts: 1908000 | #Constraints: 71335
3595.80/3647.85 c #Conflicts: 1909000 | #Constraints: 72337
3595.80/3647.85 c INPROCESSING
3595.80/3647.85 c GARBAGE COLLECT
3595.80/3647.85 c rational objective 5
3600.00/3652.01 c #Conflicts: 1910000 | #Constraints: 45897
3600.00/3652.01 c #Conflicts: 1911000 | #Constraints: 46898
3600.00/3652.01 c #Conflicts: 1912000 | #Constraints: 47902
3600.00/3652.01 c Disabling crashed LP
3600.00/3652.01 c cpu time 3568.83 s
3600.00/3652.01 c deterministic time 274095072839 2.74e+11
3600.00/3652.01 c optimization time 2.75386 s
3600.00/3652.01 c total solve time 3565.75 s
3600.00/3652.01 c core-guided solve time 1783.45 s
3600.00/3652.01 c propagation time 2332.87 s
3600.00/3652.01 c conflict analysis time 1027 s
3600.00/3652.01 c propagations 562380102
3600.00/3652.01 c resolve steps 19922942
3600.00/3652.01 c decisions 5404020
3600.00/3652.01 c conflicts 1912424
3600.00/3652.01 c restarts 3707
3600.00/3652.01 c inprocessing phases 129
3600.00/3652.01 c garbage collections 129 ,( 100.00 )
3600.00/3652.01 c input clauses 21666 ,( 98.32 )
3600.00/3652.01 c input cardinalities 50 ,( 0.23 )
3600.00/3652.01 c input general constraints 320 ,( 1.45 )
3600.00/3652.01 c input average constraint length 3.70
3600.00/3652.01 c input average constraint degree 9.09
3600.00/3652.01 c learned clauses 323756 ,( 16.90 )
3600.00/3652.01 c learned cardinalities 11385 ,( 0.59 )
3600.00/3652.01 c learned general constraints 1580827 ,( 82.51 )
3600.00/3652.01 c learned average constraint length 353.72
3600.00/3652.01 c learned average constraint degree 2645602961.30
3600.00/3652.01 c watched CF 32, 64, 128, Arb: 526656 , 0 , 0 , 0
3600.00/3652.01 c counting CF 32, 64, 128, Arb: 1054492 , 0 , 0 , 0
3600.00/3652.01 c watched constraints 526656 ,( 33.31 )
3600.00/3652.01 c counting constraints 1054491 ,( 66.69 )
3600.00/3652.01 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 320096499 , 70924264 , 4288313553 ,( 300199274 , 3988114279 )
3600.00/3652.01 c gcd simplifications 195030
3600.00/3652.01 c detected cardinalities 261
3600.00/3652.01 c weakened non-implied lits 220587522
3600.00/3652.01 c weakened non-implying lits 973023
3600.00/3652.01 c original variables 8515
3600.00/3652.01 c clausal propagations 241296933
3600.00/3652.01 c cardinality propagations 21590379
3600.00/3652.01 c watched propagations 2037498
3600.00/3652.01 c counting propagations 291440680
3600.00/3652.01 c watch lookups 197872513257
3600.00/3652.01 c watch backjump lookups 0
3600.00/3652.01 c watch checks 19489498186
3600.00/3652.01 c propagation checks 53184785863
3600.00/3652.01 c constraint additions 2408728945
3600.00/3652.01 c trail pops 569691199
3600.00/3652.01 c formula constraints 22036
3600.00/3652.01 c learned constraints 1909160
3600.00/3652.01 c bound constraints 0
3600.00/3652.01 c core-guided constraints 0
3600.00/3652.01 c encountered formula constraints 12453282
3600.00/3652.01 c encountered learned constraints 8677529
3600.00/3652.01 c encountered bound constraints 0
3600.00/3652.01 c encountered core-guided constraints 0
3600.00/3652.01 c LP total time 544.959 s
3600.00/3652.01 c LP solve time 477.08 s
3600.00/3652.01 c LP constraints added 24866
3600.00/3652.01 c LP constraints removed 2800
3600.00/3652.01 c LP pivots internal 1912422
3600.00/3652.01 c LP pivots root 158844
3600.00/3652.01 c LP calls 4481
3600.00/3652.01 c LP optimalities 1209
3600.00/3652.01 c LP no pivot count 39
3600.00/3652.01 c LP infeasibilities 3269
3600.00/3652.01 c LP valid Farkas constraints 3266
3600.00/3652.01 c LP learned Farkas constraints 3264
3600.00/3652.01 c LP basis resets 3
3600.00/3652.01 c LP cycling count 0
3600.00/3652.01 c LP singular count 0
3600.00/3652.01 c LP no primal count 0
3600.00/3652.01 c LP no farkas count 3
3600.00/3652.01 c LP other issue count 0
3600.00/3652.01 c LP Gomory cuts 278
3600.00/3652.01 c LP learned cuts 2552
3600.00/3652.01 c LP deleted cuts 2800
3600.00/3652.01 c LP encountered Gomory constraints 64836
3600.00/3652.01 c LP encountered Farkas constraints 549188
3600.00/3652.01 c LP encountered learned Farkas constraints 87267
3600.00/3652.01 c CG auxiliary variables introduced 0
3600.00/3652.01 c CG solutions found 0
3600.00/3652.01 c CG cores constructed 0
3600.00/3652.01 c CG core cardinality constraints returned 0
3600.00/3652.01 c CG unit cores 0
3600.00/3652.01 c CG single cores 0
3600.00/3652.01 c CG blocks removed during cardinality reduction 0
3600.00/3652.01 c CG first core best 0
3600.00/3652.01 c CG decision core best 0
3600.00/3652.01 c CG core reduction tie 0
3600.00/3652.01 c CG core degree average 0.00
3600.00/3652.01 c CG core slack average 0.00
3600.00/3652.01 c CG core upper bound improvements 0
3600.00/3652.01 c STR number of successful calls 0
3600.00/3652.01 c STR number of unsuccessful calls 0
3600.00/3652.01 c STR number of inconclusive calls 0
3600.00/3652.01 c STR number of successful attempts 0
3600.00/3652.01 c STR number of unsuccessful attempts 0
3600.00/3652.01 c STR number of inconclusive attempts 0
3600.00/3652.01 c STR average degree increase per successful call inf
3600.00/3652.01 c STR average degree increase per successful attempt inf
3600.00/3652.01 c STR total number of conflicts for successful attempts 0
3600.00/3652.01 c STR total number of conflicts for unsuccessful attempts 0
3600.00/3652.01 c STR total number of conflicts for inconclusive attempts 0
3600.00/3652.01 c STR average number of conflicts per successful attempt inf
3600.00/3652.01 c STR average number of conflicts per unsuccessful attempt inf
3600.00/3652.01 c STR average number of conflicts per inconclusive attempt inf
3600.00/3652.01 c AVG.sumWPerc 54.31
3600.00/3652.01 c bigint constraints 0
3600.00/3652.01 s UNKNOWN
3600.00/3652.01 c Program interrupted by user.
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: 63794 MiB (35501 MiB free)
memory of node 1: 64507 MiB (63304 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499077-1751405612/watcher-4499077-1751405612 -o /tmp/evaluation-result-4499077-1751405612/solver-4499077-1751405612 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751397562-56723 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4499077-1751405612.opb PROOFDIR/proof-4499077-1751405612
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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
Starting watchdog thread
solver pid=58060, runsolver pid=58057
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 4.48 4.29 4.27 5/272 58062
/proc/meminfo: memFree=101169264/131382120 swapFree=33010416/33010684
[pid=58060] ppid=58057 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/58060/stat : 58060 (run-opt-ls-log.) S 58057 58060 56710 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 56240543 4292608 736 18446744073709551615 94217209806848 94217210701381 140720328392528 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94217210940432 94217210988176 94217221607424 140720328399131 140720328399329 140720328399329 140720328404931 0
/proc/58060/statm: 1048 736 672 219 0 110 0
[pid=58062] ppid=58060 vsize=16648 memory=9324 CPUtime=0.08 cores=5,7
/proc/58062/stat : 58062 (pbsuma) R 58060 58060 56710 0 -1 4194304 2344 0 0 0 8 0 0 0 20 0 1 0 56240544 17047552 2331 18446744073709551615 4210688 4653049 140735679514608 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 4700520 4703148 28102656 140735679518947 140735679519282 140735679519282 140735679524847 0
/proc/58062/statm: 4162 2331 1056 108 0 1570 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 20840 KiB
Current children cumulated memory: 12268 KiB
[startup+0.204891 s]*
/proc/loadavg: 4.48 4.29 4.27 5/272 58062
/proc/meminfo: memFree=101097192/131382120 swapFree=33010416/33010684
[pid=58060] ppid=58057 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/58060/stat : 58060 (run-opt-ls-log.) S 58057 58060 56710 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 56240543 4292608 736 18446744073709551615 94217209806848 94217210701381 140720328392528 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94217210940432 94217210988176 94217221607424 140720328399131 140720328399329 140720328399329 140720328404931 0
/proc/58060/statm: 1048 736 672 219 0 110 0
[pid=58062] ppid=58060 vsize=18828 memory=11060 CPUtime=0.17 cores=5,7
/proc/58062/stat : 58062 (pbsuma) R 58060 58060 56710 0 -1 4194304 2901 0 0 0 16 1 0 0 20 0 1 0 56240544 19279872 2765 18446744073709551615 4210688 4653049 140735679514608 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 4700520 4703148 28102656 140735679518947 140735679519282 140735679519282 140735679524847 0
/proc/58062/statm: 4707 2765 1056 108 0 2115 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 23020 KiB
Current children cumulated memory: 14004 KiB
[startup+0.306057 s]*
/proc/loadavg: 4.48 4.29 4.27 4/272 58062
/proc/meminfo: memFree=101073488/131382120 swapFree=33010416/33010684
[pid=58060] ppid=58057 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/58060/stat : 58060 (run-opt-ls-log.) S 58057 58060 56710 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 56240543 4292608 736 18446744073709551615 94217209806848 94217210701381 140720328392528 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94217210940432 94217210988176 94217221607424 140720328399131 140720328399329 140720328399329 140720328404931 0
/proc/58060/statm: 1048 736 672 219 0 110 0
[pid=58062] ppid=58060 vsize=17612 memory=10828 CPUtime=0.21 cores=5,7
/proc/58062/stat : 58062 (pbsuma) D 58060 58060 56710 0 -1 4194304 3043 0 0 0 18 3 0 0 20 0 1 0 56240544 18034688 2707 18446744073709551615 4210688 4653049 140735679514608 0 0 0 0 0 0 1 0 0 17 5 0 0 0 0 0 4700520 4703148 28102656 140735679518947 140735679519282 140735679519282 140735679524847 0
/proc/58062/statm: 4403 2707 1056 108 0 1811 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 21804 KiB
Current children cumulated memory: 13772 KiB
[startup+0.700227 s]
/proc/loadavg: 4.48 4.29 4.27 5/272 58064
/proc/meminfo: memFree=101047292/131382120 swapFree=33010416/33010684
[pid=58060] ppid=58057 vsize=4192 memory=2944 CPUtime=0.21 cores=5,7
/proc/58060/stat : 58060 (run-opt-ls-log.) S 58057 58060 56710 0 -1 4194304 241 3046 0 0 0 0 18 3 20 0 1 0 56240543 4292608 736 18446744073709551615 94217209806848 94217210701381 140720328392528 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94217210940432 94217210988176 94217221607424 140720328399131 140720328399329 140720328399329 140720328404931 0
/proc/58060/statm: 1048 736 672 219 0 110 0
[pid=58063] ppid=58060 vsize=78120 memory=32296 CPUtime=0.35 cores=5,7
/proc/58063/stat : 58063 (roundingsat) R 58060 58060 56710 0 -1 4194304 5025 0 0 0 28 7 0 0 20 0 1 0 56240575 79994880 8074 18446744073709551615 4227072 8923433 140733757178320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10928128 140733757180150 140733757180456 140733757180456 140733757186026 0
/proc/58063/statm: 19530 8074 2272 1147 0 6957 0
Current children cumulated CPU time: 0.56 s
Current children cumulated vsize: 82312 KiB
Current children cumulated memory: 35240 KiB
[startup+1.50041 s]
/proc/loadavg: 4.48 4.29 4.27 5/272 58064
/proc/meminfo: memFree=100945288/131382120 swapFree=33010416/33010684
[pid=58060] ppid=58057 vsize=4192 memory=2944 CPUtime=0.21 cores=5,7
/proc/58060/stat : 58060 (run-opt-ls-log.) S 58057 58060 56710 0 -1 4194304 241 3046 0 0 0 0 18 3 20 0 1 0 56240543 4292608 736 18446744073709551615 94217209806848 94217210701381 140720328392528 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94217210940432 94217210988176 94217221607424 140720328399131 140720328399329 140720328399329 140720328404931 0
/proc/58060/statm: 1048 736 672 219 0 110 0
[pid=58063] ppid=58060 vsize=101276 memory=53552 CPUtime=1.15 cores=5,7
/proc/58063/stat : 58063 (roundingsat) R 58060 58060 56710 0 -1 4194304 9374 0 0 0 104 11 0 0 20 0 1 0 56240575 103706624 13388 18446744073709551615 4227072 8923433 140733757178320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10928128 140733757180150 140733757180456 140733757180456 140733757186026 0
/proc/58063/statm: 25319 13388 2368 1147 0 12746 0
Current children cumulated CPU time: 1.36 s
Current children cumulated vsize: 105468 KiB
Current children cumulated memory: 56496 KiB
[startup+3.11442 s]
/proc/loadavg: 4.44 4.28 4.27 5/272 58064
/proc/meminfo: memFree=100802496/131382120 swapFree=33010416/33010684
[pid=58060] ppid=58057 vsize=4192 memory=2944 CPUtime=0.21 cores=5,7
/proc/58060/stat : 58060 (run-opt-ls-log.) S 58057 58060 56710 0 -1 4194304 241 3046 0 0 0 0 18 3 20 0 1 0 56240543 4292608 736 18446744073709551615 94217209806848 94217210701381 140720328392528 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94217210940432 94217210988176 94217221607424 140720328399131 140720328399329 140720328399329 140720328404931 0
/proc/58060/statm: 1048 736 672 219 0 110 0
[pid=58063] ppid=58060 vsize=111628 memory=66012 CPUtime=2.75 cores=5,7
/proc/58063/stat : 58063 (roundingsat) R 58060 58060 56710 0 -1 4194304 11969 0 0 0 260 15 0 0 20 0 1 0 56240575 114307072 16503 18446744073709551615 4227072 8923433 140733757178320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10928128 140733757180150 140733757180456 140733757180456 140733757186026 0
/proc/58063/statm: 27907 16503 2400 1147 0 15334 0
Current children cumulated CPU time: 2.96 s
Current children cumulated vsize: 115820 KiB
Current children cumulated memory: 68956 KiB
[startup+6.3004 s]
/proc/loadavg: 4.44 4.28 4.27 5/267 58091
/proc/meminfo: memFree=100637168/131382120 swapFree=33010416/33010684
[pid=58060] ppid=58057 vsize=4192 memory=2944 CPUtime=0.21 cores=5,7
/proc/58060/stat : 58060 (run-opt-ls-log.) S 58057 58060 56710 0 -1 4194304 241 3046 0 0 0 0 18 3 20 0 1 0 56240543 4292608 736 18446744073709551615 94217209806848 94217210701381 140720328392528 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94217210940432 94217210988176 94217221607424 140720328399131 140720328399329 140720328399329 140720328404931 0
/proc/58060/statm: 1048 736 672 219 0 110 0
[pid=58063] ppid=58060 vsize=133340 memory=85580 CPUtime=5.93 cores=5,7
/proc/58063/stat : 58063 (roundingsat) R 58060 58060 56710 0 -1 4194304 16331 0 0 0 572 21 0 0 20 0 1 0 56240575 136540160 21395 18446744073709551615 4227072 8923433 140733757178320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10928128 140733757180150 140733757180456 140733757180456 140733757186026 0
/proc/58063/statm: 33335 21395 2400 1147 0 20762 0
Current children cumulated CPU time: 6.14 s
Current children cumulated vsize: 137532 KiB
Current children cumulated memory: 88524 KiB
[startup+12.7004 s]
/proc/loadavg: 4.41 4.28 4.27 5/272 58112
/proc/meminfo: memFree=100334140/131382120 swapFree=33010416/33010684
[pid=58060] ppid=58057 vsize=4192 memory=2944 CPUtime=0.21 cores=5,7
/proc/58060/stat : 58060 (run-opt-ls-log.) S 58057 58060 56710 0 -1 4194304 241 3046 0 0 0 0 18 3 20 0 1 0 56240543 4292608 736 18446744073709551615 94217209806848 94217210701381 140720328392528 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94217210940432 94217210988176 94217221607424 140720328399131 140720328399329 140720328399329 140720328404931 0
/proc/58060/statm: 1048 736 672 219 0 110 0
[pid=58063] ppid=58060 vsize=138584 memory=90672 CPUtime=12.32 cores=5,7
/proc/58063/stat : 58063 (roundingsat) R 58060 58060 56710 0 -1 4194304 17119 0 0 0 1198 34 0 0 20 0 1 0 56240575 141910016 22668 18446744073709551615 4227072 8923433 140733757178320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10928128 140733757180150 140733757180456 140733757180456 140733757186026 0
/proc/58063/statm: 34646 22668 2400 1147 0 22073 0
Current children cumulated CPU time: 12.53 s
Current children cumulated vsize: 142776 KiB
Current children cumulated memory: 93616 KiB
[startup+25.5004 s]
/proc/loadavg: 4.32 4.26 4.27 5/273 58161
/proc/meminfo: memFree=99639384/131382120 swapFree=33010416/33010684
[pid=58060] ppid=58057 vsize=4192 memory=2944 CPUtime=0.21 cores=5,7
/proc/58060/stat : 58060 (run-opt-ls-log.) S 58057 58060 56710 0 -1 4194304 241 3046 0 0 0 0 18 3 20 0 1 0 56240543 4292608 736 18446744073709551615 94217209806848 94217210701381 140720328392528 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94217210940432 94217210988176 94217221607424 140720328399131 140720328399329 140720328399329 140720328404931 0
/proc/58060/statm: 1048 736 672 219 0 110 0
[pid=58063] ppid=58060 vsize=149464 memory=102192 CPUtime=25.07 cores=5,7
/proc/58063/stat : 58063 (roundingsat) R 58060 58060 56710 0 -1 4194304 20025 0 0 0 2452 55 0 0 20 0 1 0 56240575 153051136 25548 18446744073709551615 4227072 8923433 140733757178320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10928128 140733757180150 140733757180456 140733757180456 140733757186026 0
/proc/58063/statm: 37366 25548 2400 1147 0 24793 0
Current children cumulated CPU time: 25.28 s
Current children cumulated vsize: 153656 KiB
Current children cumulated memory: 105136 KiB
[startup+51.1059 s]
/proc/loadavg: 4.52 4.31 4.28 5/274 58163
/proc/meminfo: memFree=98239368/131382120 swapFree=33010416/33010684
[pid=58060] ppid=58057 vsize=4192 memory=2944 CPUtime=0.21 cores=5,7
/proc/58060/stat : 58060 (run-opt-ls-log.) S 58057 58060 56710 0 -1 4194304 241 3046 0 0 0 0 18 3 20 0 1 0 56240543 4292608 736 18446744073709551615 94217209806848 94217210701381 140720328392528 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94217210940432 94217210988176 94217221607424 140720328399131 140720328399329 140720328399329 140720328404931 0
/proc/58060/statm: 1048 736 672 219 0 110 0
[pid=58063] ppid=58060 vsize=178748 memory=128032 CPUtime=50.33 cores=5,7
/proc/58063/stat : 58063 (roundingsat) R 58060 58060 56710 0 -1 4194304 25478 0 0 0 4937 96 0 0 20 0 1 0 56240575 183037952 32008 18446744073709551615 4227072 8923433 140733757178320 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 10928128 140733757180150 140733757180456 140733757180456 140733757186026 0
/proc/58063/statm: 44687 32008 2400 1147 0 32114 0
Current children cumulated CPU time: 50.54 s
Current children cumulated vsize: 182940 KiB
Current children cumulated memory: 130976 KiB
[startup+102.3 s]
/proc/loadavg: 4.33 4.29 4.27 5/268 58165
/proc/meminfo: memFree=96736852/131382120 swapFree=33010416/33010684
[pid=58060] ppid=58057 vsize=4192 memory=2944 CPUtime=0.21 cores=5,7
/proc/58060/stat : 58060 (run-opt-ls-log.) S 58057 58060 56710 0 -1 4194304 241 3046 0 0 0 0 18 3 20 0 1 0 56240543 4292608 736 18446744073709551615 94217209806848 94217210701381 140720328392528 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94217210940432 94217210988176 94217221607424 140720328399131 140720328399329 140720328399329 140720328404931 0
/proc/58060/statm: 1048 736 672 219 0 110 0
[pid=58063] ppid=58060 vsize=200540 memory=150432 CPUtime=100.97 cores=5,7
/proc/58063/stat : 58063 (roundingsat) R 58060 58060 56710 0 -1 4194304 31074 0 0 0 9927 170 0 0 20 0 1 0 56240575 205352960 37608 18446744073709551615 4227072 8923433 140733757178320 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 10928128 140733757180150 140733757180456 140733757180456 140733757186026 0
/proc/58063/statm: 50135 37608 2400 1147 0 37562 0
Current children cumulated CPU time: 101.18 s
Current children cumulated vsize: 204732 KiB
Current children cumulated memory: 153376 KiB
[startup+162.3 s]
/proc/loadavg: 4.17 4.25 4.26 5/267 58167
/proc/meminfo: memFree=93891080/131382120 swapFree=33010416/33010684
[pid=58060] ppid=58057 vsize=4192 memory=2944 CPUtime=0.21 cores=5,7
/proc/58060/stat : 58060 (run-opt-ls-log.) S 58057 58060 56710 0 -1 4194304 241 3046 0 0 0 0 18 3 20 0 1 0 56240543 4292608 736 18446744073709551615 94217209806848 94217210701381 140720328392528 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94217210940432 94217210988176 94217221607424 140720328399131 140720328399329 140720328399329 140720328404931 0
/proc/58060/statm: 1048 736 672 219 0 110 0
[pid=58063] ppid=58060 vsize=259536 memory=191128 CPUtime=160.33 cores=5,7
/proc/58063/stat : 58063 (roundingsat) R 58060 58060 56710 0 -1 4194304 38282 0 0 0 15781 252 0 0 20 0 1 0 56240575 265764864 47782 18446744073709551615 4227072 8923433 140733757178320 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 10928128 140733757180150 140733757180456 140733757180456 140733757186026 0
/proc/58063/statm: 64884 47782 2400 1147 0 52311 0
Current children cumulated CPU time: 160.54 s
Current children cumulated vsize: 263728 KiB
Current children cumulated memory: 194072 KiB
[startup+222.3 s]
/proc/loadavg: 4.17 4.23 4.26 5/274 58178
/proc/meminfo: memFree=88883748/131382120 swapFree=33010416/33010684
[pid=58060] ppid=58057 vsize=4192 memory=2944 CPUtime=0.21 cores=5,7
/proc/58060/stat : 58060 (run-opt-ls-log.) S 58057 58060 56710 0 -1 4194304 241 3046 0 0 0 0 18 3 20 0 1 0 56240543 4292608 736 18446744073709551615 94217209806848 94217210701381 140720328392528 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94217210940432 94217210988176 94217221607424 140720328399131 140720328399329 140720328399329 140720328404931 0
/proc/58060/statm: 1048 736 672 219 0 110 0
[pid=58063] ppid=58060 vsize=271812 memory=203672 CPUtime=219.72 cores=5,7
/proc/58063/stat : 58063 (roundingsat) R 58060 58060 56710 0 -1 4194304 41416 0 0 0 21653 319 0 0 20 0 1 0 56240575 278335488 50918 18446744073709551615 4227072 8923433 140733757178320 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 10928128 140733757180150 140733757180456 140733757180456 140733757186026 0
/proc/58063/statm: 67953 50918 2400 1147 0 55380 0
################
# More data... #
################
/proc/58063/statm: 166968 135516 2400 1147 0 154395 0
Current children cumulated CPU time: 3060.18 s
Current children cumulated vsize: 672064 KiB
Current children cumulated memory: 545008 KiB
[startup+3162.3 s]
/proc/loadavg: 2.15 2.93 3.67 3/249 58426
/proc/meminfo: memFree=101551292/131382120 swapFree=33010416/33010684
[pid=58060] ppid=58057 vsize=4192 memory=2944 CPUtime=0.21 cores=5,7
/proc/58060/stat : 58060 (run-opt-ls-log.) S 58057 58060 56710 0 -1 4194304 241 3046 0 0 0 0 18 3 20 0 1 0 56240543 4292608 736 18446744073709551615 94217209806848 94217210701381 140720328392528 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94217210940432 94217210988176 94217221607424 140720328399131 140720328399329 140720328399329 140720328404931 0
/proc/58060/statm: 1048 736 672 219 0 110 0
[pid=58063] ppid=58060 vsize=668220 memory=563056 CPUtime=3119.35 cores=5,7
/proc/58063/stat : 58063 (roundingsat) R 58060 58060 56710 0 -1 4194304 110644 0 0 0 309176 2759 0 0 20 0 1 0 56240575 684257280 140764 18446744073709551615 4227072 8923433 140733757178320 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 10928128 140733757180150 140733757180456 140733757180456 140733757186026 0
/proc/58063/statm: 167055 140764 2400 1147 0 154482 0
Current children cumulated CPU time: 3119.56 s
Current children cumulated vsize: 672412 KiB
Current children cumulated memory: 566000 KiB
[startup+3222.3 s]
/proc/loadavg: 2.10 2.77 3.57 3/246 58428
/proc/meminfo: memFree=101235788/131382120 swapFree=33010416/33010684
[pid=58060] ppid=58057 vsize=4192 memory=2944 CPUtime=0.21 cores=5,7
/proc/58060/stat : 58060 (run-opt-ls-log.) S 58057 58060 56710 0 -1 4194304 241 3046 0 0 0 0 18 3 20 0 1 0 56240543 4292608 736 18446744073709551615 94217209806848 94217210701381 140720328392528 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94217210940432 94217210988176 94217221607424 140720328399131 140720328399329 140720328399329 140720328404931 0
/proc/58060/statm: 1048 736 672 219 0 110 0
[pid=58063] ppid=58060 vsize=668220 memory=581488 CPUtime=3178.76 cores=5,7
/proc/58063/stat : 58063 (roundingsat) R 58060 58060 56710 0 -1 4194304 110675 0 0 0 315073 2803 0 0 20 0 1 0 56240575 684257280 145372 18446744073709551615 4227072 8923433 140733757178320 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 10928128 140733757180150 140733757180456 140733757180456 140733757186026 0
/proc/58063/statm: 167055 145372 2400 1147 0 154482 0
Current children cumulated CPU time: 3178.97 s
Current children cumulated vsize: 672412 KiB
Current children cumulated memory: 584432 KiB
[startup+3282.3 s]
/proc/loadavg: 2.10 2.64 3.48 3/245 58432
/proc/meminfo: memFree=100893920/131382120 swapFree=33010416/33010684
[pid=58060] ppid=58057 vsize=4192 memory=2944 CPUtime=0.21 cores=5,7
/proc/58060/stat : 58060 (run-opt-ls-log.) S 58057 58060 56710 0 -1 4194304 241 3046 0 0 0 0 18 3 20 0 1 0 56240543 4292608 736 18446744073709551615 94217209806848 94217210701381 140720328392528 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94217210940432 94217210988176 94217221607424 140720328399131 140720328399329 140720328399329 140720328404931 0
/proc/58060/statm: 1048 736 672 219 0 110 0
[pid=58063] ppid=58060 vsize=668496 memory=589808 CPUtime=3238.34 cores=5,7
/proc/58063/stat : 58063 (roundingsat) R 58060 58060 56710 0 -1 4194304 110751 0 0 0 320983 2851 0 0 20 0 1 0 56240575 684539904 147452 18446744073709551615 4227072 8923433 140733757178320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10928128 140733757180150 140733757180456 140733757180456 140733757186026 0
/proc/58063/statm: 167124 147452 2400 1147 0 154551 0
Current children cumulated CPU time: 3238.55 s
Current children cumulated vsize: 672688 KiB
Current children cumulated memory: 592752 KiB
[startup+3342.3 s]
/proc/loadavg: 2.09 2.54 3.39 3/246 58435
/proc/meminfo: memFree=100539084/131382120 swapFree=33010416/33010684
[pid=58060] ppid=58057 vsize=4192 memory=2944 CPUtime=0.21 cores=5,7
/proc/58060/stat : 58060 (run-opt-ls-log.) S 58057 58060 56710 0 -1 4194304 241 3046 0 0 0 0 18 3 20 0 1 0 56240543 4292608 736 18446744073709551615 94217209806848 94217210701381 140720328392528 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94217210940432 94217210988176 94217221607424 140720328399131 140720328399329 140720328399329 140720328404931 0
/proc/58060/statm: 1048 736 672 219 0 110 0
[pid=58063] ppid=58060 vsize=668496 memory=589808 CPUtime=3296.84 cores=5,7
/proc/58063/stat : 58063 (roundingsat) R 58060 58060 56710 0 -1 4194304 110751 0 0 0 326790 2894 0 0 20 0 1 0 56240575 684539904 147452 18446744073709551615 4227072 8923433 140733757178320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10928128 140733757180150 140733757180456 140733757180456 140733757186026 0
/proc/58063/statm: 167124 147452 2400 1147 0 154551 0
Current children cumulated CPU time: 3297.05 s
Current children cumulated vsize: 672688 KiB
Current children cumulated memory: 592752 KiB
[startup+3402.3 s]
/proc/loadavg: 2.07 2.45 3.30 3/247 58438
/proc/meminfo: memFree=100032900/131382120 swapFree=33010416/33010684
[pid=58060] ppid=58057 vsize=4192 memory=2944 CPUtime=0.21 cores=5,7
/proc/58060/stat : 58060 (run-opt-ls-log.) S 58057 58060 56710 0 -1 4194304 241 3046 0 0 0 0 18 3 20 0 1 0 56240543 4292608 736 18446744073709551615 94217209806848 94217210701381 140720328392528 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94217210940432 94217210988176 94217221607424 140720328399131 140720328399329 140720328399329 140720328404931 0
/proc/58060/statm: 1048 736 672 219 0 110 0
[pid=58063] ppid=58060 vsize=669456 memory=590704 CPUtime=3356.47 cores=5,7
/proc/58063/stat : 58063 (roundingsat) R 58060 58060 56710 0 -1 4194304 110992 0 0 0 332717 2930 0 0 20 0 1 0 56240575 685522944 147676 18446744073709551615 4227072 8923433 140733757178320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10928128 140733757180150 140733757180456 140733757180456 140733757186026 0
/proc/58063/statm: 167364 147676 2400 1147 0 154791 0
Current children cumulated CPU time: 3356.68 s
Current children cumulated vsize: 673648 KiB
Current children cumulated memory: 593648 KiB
[startup+3462.3 s]
/proc/loadavg: 2.12 2.40 3.23 3/247 58440
/proc/meminfo: memFree=99663952/131382120 swapFree=33010416/33010684
[pid=58060] ppid=58057 vsize=4192 memory=2944 CPUtime=0.21 cores=5,7
/proc/58060/stat : 58060 (run-opt-ls-log.) S 58057 58060 56710 0 -1 4194304 241 3046 0 0 0 0 18 3 20 0 1 0 56240543 4292608 736 18446744073709551615 94217209806848 94217210701381 140720328392528 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94217210940432 94217210988176 94217221607424 140720328399131 140720328399329 140720328399329 140720328404931 0
/proc/58060/statm: 1048 736 672 219 0 110 0
[pid=58063] ppid=58060 vsize=669744 memory=591088 CPUtime=3416.24 cores=5,7
/proc/58063/stat : 58063 (roundingsat) R 58060 58060 56710 0 -1 4194304 111067 0 0 0 338649 2975 0 0 20 0 1 0 56240575 685817856 147772 18446744073709551615 4227072 8923433 140733757178320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10928128 140733757180150 140733757180456 140733757180456 140733757186026 0
/proc/58063/statm: 167436 147772 2400 1147 0 154863 0
Current children cumulated CPU time: 3416.45 s
Current children cumulated vsize: 673936 KiB
Current children cumulated memory: 594032 KiB
[startup+3522.3 s]
/proc/loadavg: 2.16 2.36 3.16 3/248 58443
/proc/meminfo: memFree=99153824/131382120 swapFree=33010416/33010684
[pid=58060] ppid=58057 vsize=4192 memory=2944 CPUtime=0.21 cores=5,7
/proc/58060/stat : 58060 (run-opt-ls-log.) S 58057 58060 56710 0 -1 4194304 241 3046 0 0 0 0 18 3 20 0 1 0 56240543 4292608 736 18446744073709551615 94217209806848 94217210701381 140720328392528 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94217210940432 94217210988176 94217221607424 140720328399131 140720328399329 140720328399329 140720328404931 0
/proc/58060/statm: 1048 736 672 219 0 110 0
[pid=58063] ppid=58060 vsize=670436 memory=591728 CPUtime=3475.98 cores=5,7
/proc/58063/stat : 58063 (roundingsat) R 58060 58060 56710 0 -1 4194304 111240 0 0 0 344581 3017 0 0 20 0 1 0 56240575 686526464 147932 18446744073709551615 4227072 8923433 140733757178320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10928128 140733757180150 140733757180456 140733757180456 140733757186026 0
/proc/58063/statm: 167609 147932 2400 1147 0 155036 0
Current children cumulated CPU time: 3476.19 s
Current children cumulated vsize: 674628 KiB
Current children cumulated memory: 594672 KiB
[startup+3582.3 s]
/proc/loadavg: 2.16 2.32 3.09 3/248 58445
/proc/meminfo: memFree=98910632/131382120 swapFree=33010416/33010684
[pid=58060] ppid=58057 vsize=4192 memory=2944 CPUtime=0.21 cores=5,7
/proc/58060/stat : 58060 (run-opt-ls-log.) S 58057 58060 56710 0 -1 4194304 241 3046 0 0 0 0 18 3 20 0 1 0 56240543 4292608 736 18446744073709551615 94217209806848 94217210701381 140720328392528 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94217210940432 94217210988176 94217221607424 140720328399131 140720328399329 140720328399329 140720328404931 0
/proc/58060/statm: 1048 736 672 219 0 110 0
[pid=58063] ppid=58060 vsize=677856 memory=597104 CPUtime=3530.64 cores=5,7
/proc/58063/stat : 58063 (roundingsat) R 58060 58060 56710 0 -1 4194304 112626 0 0 0 350024 3040 0 0 20 0 1 0 56240575 694124544 149276 18446744073709551615 4227072 8923433 140733757178320 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 10928128 140733757180150 140733757180456 140733757180456 140733757186026 0
/proc/58063/statm: 169464 149276 2400 1147 0 156891 0
Current children cumulated CPU time: 3530.85 s
Current children cumulated vsize: 682048 KiB
Current children cumulated memory: 600048 KiB
[startup+3642.3 s]
/proc/loadavg: 2.12 2.27 3.03 3/248 58452
/proc/meminfo: memFree=98497304/131382120 swapFree=33010416/33010684
[pid=58060] ppid=58057 vsize=4192 memory=2944 CPUtime=0.21 cores=5,7
/proc/58060/stat : 58060 (run-opt-ls-log.) S 58057 58060 56710 0 -1 4194304 241 3046 0 0 0 0 18 3 20 0 1 0 56240543 4292608 736 18446744073709551615 94217209806848 94217210701381 140720328392528 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94217210940432 94217210988176 94217221607424 140720328399131 140720328399329 140720328399329 140720328404931 0
/proc/58060/statm: 1048 736 672 219 0 110 0
[pid=58063] ppid=58060 vsize=677856 memory=597104 CPUtime=3590.1 cores=5,7
/proc/58063/stat : 58063 (roundingsat) R 58060 58060 56710 0 -1 4194304 112627 0 0 0 355922 3088 0 0 20 0 1 0 56240575 694124544 149276 18446744073709551615 4227072 8923433 140733757178320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10928128 140733757180150 140733757180456 140733757180456 140733757186026 0
/proc/58063/statm: 169464 149276 2400 1147 0 156891 0
Current children cumulated CPU time: 3590.31 s
Current children cumulated vsize: 682048 KiB
Current children cumulated memory: 600048 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3652 s]*
/proc/loadavg: 2.10 2.26 3.02 3/248 58452
/proc/meminfo: memFree=98397396/131382120 swapFree=33010416/33010684
[pid=58060] ppid=58057 vsize=4192 memory=2944 CPUtime=0.21 cores=5,7
/proc/58060/stat : 58060 (run-opt-ls-log.) S 58057 58060 56710 0 -1 4194304 241 3046 0 0 0 0 18 3 20 0 1 0 56240543 4292608 736 18446744073709551615 94217209806848 94217210701381 140720328392528 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94217210940432 94217210988176 94217221607424 140720328399131 140720328399329 140720328399329 140720328404931 0
/proc/58060/statm: 1048 736 672 219 0 110 0
[pid=58063] ppid=58060 vsize=678428 memory=597744 CPUtime=3599.79 cores=5,7
/proc/58063/stat : 58063 (roundingsat) R 58060 58060 56710 0 -1 4194304 112770 0 0 0 356883 3096 0 0 20 0 1 0 56240575 694710272 149436 18446744073709551615 4227072 8923433 140733757178320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10928128 140733757180150 140733757180456 140733757180456 140733757186026 0
/proc/58063/statm: 169607 149436 2400 1147 0 157034 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 682620 KiB
Current children cumulated memory: 600688 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3652.02 s]
# the end of solver process 58060 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.182407 s, system=0.039759 s
Sleeping 2 seconds
[startup+3652.1 s]
# the end of solver process 58063 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3569.03 s, system=31.0129 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3652.1
CPU time (s): 3600.04
CPU user time (s): 3569.03
CPU system time (s): 31.0129
CPU usage (%): 98.5745
Max. virtual memory (cumulated for all children) (KiB): 682620
Max. memory (cumulated for all children) (KiB): 600688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3569.03
system time used= 31.0129
maximum resident set size= 598128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 116080
page faults= 0
swaps= 0
block input operations= 0
block output operations= 23234560
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4793
involuntary context switches= 20540
# summary of solver processes directly reported to runsolver:
# pid: 58060,58063
# total CPU time (s): 3600.04
# total CPU user time (s): 3569.03
# total CPU system time (s): 31.0129
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.2228 second user time and 35.461 second system time
The end
Begin job on nodeC006 at 2025-07-01 23:33:32
IDJOB=4499077
IDBENCH=148770
IDSOLVER=3356
FILE ID=nodeC006/4499077-1751405612
RUNJOBID= nodeC006-1751397562-56723
SLURM_JOB_ID= 9598278
Free space on /tmp= 432788 MiB
SOLVER NAME= roundingsat-ls+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx49.opb
COMMAND LINE= run-opt-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499077-1751405612/watcher-4499077-1751405612 -o /tmp/evaluation-result-4499077-1751405612/solver-4499077-1751405612 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751397562-56723 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4499077-1751405612.opb PROOFDIR/proof-4499077-1751405612
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= bb00c8681178995acecbc2b6e4ec1a1a
RANDOM SEED=1510715138
nodeC006 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 : 0xb00001f
cpu MHz : 3662.697
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3092.605
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.410
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1196.796
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3554.688
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.140
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1198.004
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 101177892 kB
MemAvailable: 119767404 kB
Buffers: 2128 kB
Cached: 19358044 kB
SwapCached: 12 kB
Active: 10510436 kB
Inactive: 18976224 kB
Active(anon): 10133360 kB
Inactive(anon): 11092 kB
Active(file): 377076 kB
Inactive(file): 18965132 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 1414184 kB
Writeback: 4 kB
AnonPages: 10128744 kB
Mapped: 114344 kB
Shmem: 17948 kB
KReclaimable: 173476 kB
Slab: 303656 kB
SReclaimable: 173476 kB
SUnreclaim: 130180 kB
KernelStack: 4368 kB
PageTables: 23504 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 11378068 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149736 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2738176 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: 191304 kB
DirectMap2M: 10196992 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 432916 MiB
End job on nodeC006 at 2025-07-02 00:34:24