0.00/0.02 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02 c │ pbsuma -- a PB interface for satsuma │
0.00/0.02 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.02 c │ (c) 2025 Markus Anders │
0.00/0.02 c └────────────────────────────────────────────────────────────────┘
0.00/0.02 c parse 'HOME/instance-4531948-1752683069.opb'
0.00/0.03 c read 0.21MB (7.93ms)
0.00/0.03 c [cnf: #variables 2130 #clauses 2496 #duplicates 0 #arr 22065]
0.00/0.03 c output proof to '/tmp/proof-4531948-1752683069'
0.00/0.03 c
0.00/0.03 c make graph and approximate orbits
0.00/0.04 c [group: #orbits ~= 36] (7.38ms)
0.00/0.04 c
0.00/0.04 c detect special group actions
0.00/0.04 c probe for Johnson action (limit=64)
0.00/0.05 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.07 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.08 c recursing 150 blocks of candidate 5x852r
0.00/0.09 c found row 9x10, generating row predicate
0.00/0.09 c found row 5x852, generating row predicate
0.00/0.10 c (57.30ms)
0.00/0.10 c
0.00/0.10 c detect symmetries on remainder
0.00/0.10 c [graph: #vertices 12811 #edges 60500]
0.00/0.11 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.07/0.14 c [group: #symmetries 8.48*10^143 #generators 291] (45.70ms)
0.07/0.14 c
0.07/0.14 c optimize generators (opt_passes=64, conjugate_limit=256)
0.07/0.17 c opt it=15, l=8368, m=232, opt=16, avg=187, b=12, gens=291
0.07/0.19 c opt it=31, l=10019, m=466, opt=36, avg=181, b=12, gens=291
0.07/0.21 c opt it=47, l=11667, m=683, opt=52, avg=177, b=12, gens=291
0.17/0.24 c opt it=63, l=13309, m=875, opt=64, avg=173, b=12, gens=291
0.17/0.25 c ran it=0, +gens=37
0.26/0.38 c con best_support=12, best_gens=240, +gens=251
0.26/0.38 c (240.62ms)
0.26/0.38 c
0.26/0.38 c finalize break order and special generators
0.26/0.38 c
0.26/0.38 c add generic predicates (break_depth=20)
0.26/0.39 c added predicates for 579 generators (2.84ms)
0.51/0.67 c
0.51/0.67 c generation finished
0.51/0.67 c [sbp: #constraints 19508 #add_vars 6385]
0.51/0.67 c
0.51/0.67 c write result to 'HOME/instance-4531948-1752683069.opb.pre'
0.51/0.68 c wrote 0.90MB (6.16ms)
0.51/0.68 c ------------------------------------------------------------------
0.51/0.68 c 285.02ms 43.52% other
0.51/0.68 c 240.62ms 36.74% optimize_gens
0.51/0.68 c 57.30ms 8.75% detect_special
0.51/0.68 c 45.70ms 6.98% detect_generic
0.51/0.68 c 7.93ms 1.21% parse
0.51/0.68 c 7.38ms 1.13% approx_orbits
0.51/0.68 c 6.16ms 0.94% output
0.51/0.68 c 2.84ms 0.43% break_generic
0.51/0.68 c 1.91ms 0.29% finalize_order
0.51/0.68 c ───────────────────────────────────────────────
0.51/0.68 c 654.86ms 100% total
0.51/0.68 c ------------------------------------------------------------------
0.58/0.70 c RoundingSat 2
0.58/0.70 c branch pb25
0.58/0.70 c commit 0f876b3
0.58/0.97 c #variables 8515 #constraints 22036
0.58/0.97 c objective is ce32
0.87/1.09 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.87/1.09 c initial counting CF 32, 64, 128, Arb: 321 , 0 , 0 , 0
0.87/1.09 c bounds - >= 0 @ 0.329291
2.05/2.25 c #Conflicts: 1000 | #Constraints: 23035
2.05/2.25 c #Conflicts: 2000 | #Constraints: 24036
2.05/2.25 c INPROCESSING
2.05/2.25 c GARBAGE COLLECT
2.05/2.25 c rational objective 5
4.14/4.35 c #Conflicts: 3000 | #Constraints: 21856
4.14/4.35 c #Conflicts: 4000 | #Constraints: 22858
4.14/4.35 c INPROCESSING
4.14/4.35 c GARBAGE COLLECT
4.14/4.35 c rational objective 5
6.22/6.47 c #Conflicts: 5000 | #Constraints: 22191
6.22/6.47 c #Conflicts: 6000 | #Constraints: 23192
6.22/6.47 c INPROCESSING
6.22/6.47 c GARBAGE COLLECT
6.22/6.47 c rational objective 5
8.21/8.41 c #Conflicts: 7000 | #Constraints: 22067
8.21/8.41 c #Conflicts: 8000 | #Constraints: 23068
8.21/8.41 c #Conflicts: 9000 | #Constraints: 24069
8.21/8.41 c INPROCESSING
8.21/8.41 c GARBAGE COLLECT
8.21/8.41 c rational objective 5
10.30/10.54 c #Conflicts: 10000 | #Constraints: 22724
10.30/10.54 c #Conflicts: 11000 | #Constraints: 23724
10.30/10.54 c #Conflicts: 12000 | #Constraints: 24724
10.30/10.54 c INPROCESSING
10.30/10.54 c GARBAGE COLLECT
10.30/10.54 c rational objective 5
12.40/12.65 c #Conflicts: 13000 | #Constraints: 23176
12.40/12.65 c #Conflicts: 14000 | #Constraints: 24177
12.40/12.65 c #Conflicts: 15000 | #Constraints: 25178
12.40/12.65 c INPROCESSING
12.40/12.65 c GARBAGE COLLECT
12.40/12.65 c rational objective 5
15.58/15.85 c #Conflicts: 16000 | #Constraints: 23370
15.58/15.85 c #Conflicts: 17000 | #Constraints: 24370
15.58/15.85 c #Conflicts: 18000 | #Constraints: 25372
15.58/15.85 c INPROCESSING
15.58/15.85 c GARBAGE COLLECT
15.58/15.85 c rational objective 5
17.67/17.97 c #Conflicts: 19000 | #Constraints: 23395
17.67/17.97 c #Conflicts: 20000 | #Constraints: 24395
17.67/17.97 c #Conflicts: 21000 | #Constraints: 25396
17.67/17.97 c INPROCESSING
17.67/17.97 c GARBAGE COLLECT
17.67/17.97 c rational objective 5
20.36/20.62 c #Conflicts: 22000 | #Constraints: 23190
20.36/20.62 c #Conflicts: 23000 | #Constraints: 24191
20.36/20.62 c #Conflicts: 24000 | #Constraints: 25191
20.36/20.62 c #Conflicts: 25000 | #Constraints: 26192
20.36/20.62 c INPROCESSING
20.36/20.62 c GARBAGE COLLECT
20.36/20.62 c rational objective 5
22.96/23.27 c #Conflicts: 26000 | #Constraints: 23810
22.96/23.27 c #Conflicts: 27000 | #Constraints: 24810
22.96/23.27 c #Conflicts: 28000 | #Constraints: 25812
22.96/23.27 c #Conflicts: 29000 | #Constraints: 26812
22.96/23.27 c INPROCESSING
22.96/23.27 c GARBAGE COLLECT
22.96/23.27 c rational objective 5
26.44/26.79 c #Conflicts: 30000 | #Constraints: 24201
26.44/26.79 c #Conflicts: 31000 | #Constraints: 25205
26.44/26.79 c #Conflicts: 32000 | #Constraints: 26207
26.44/26.79 c #Conflicts: 33000 | #Constraints: 27208
26.44/26.79 c INPROCESSING
26.44/26.79 c GARBAGE COLLECT
26.44/26.79 c rational objective 5
30.03/30.32 c #Conflicts: 34000 | #Constraints: 24378
30.03/30.32 c #Conflicts: 35000 | #Constraints: 25381
30.03/30.32 c #Conflicts: 36000 | #Constraints: 26385
30.03/30.32 c #Conflicts: 37000 | #Constraints: 27386
30.03/30.32 c INPROCESSING
30.03/30.32 c GARBAGE COLLECT
30.03/30.32 c rational objective 5
33.74/34.03 c #Conflicts: 38000 | #Constraints: 24313
33.74/34.03 c #Conflicts: 39000 | #Constraints: 25313
33.74/34.03 c #Conflicts: 40000 | #Constraints: 26315
33.74/34.03 c #Conflicts: 41000 | #Constraints: 27318
33.74/34.03 c INPROCESSING
33.74/34.03 c GARBAGE COLLECT
33.74/34.03 c rational objective 5
38.20/38.50 c #Conflicts: 42000 | #Constraints: 24137
38.20/38.50 c #Conflicts: 43000 | #Constraints: 25138
38.20/38.50 c #Conflicts: 44000 | #Constraints: 26138
38.20/38.50 c #Conflicts: 45000 | #Constraints: 27139
38.20/38.50 c #Conflicts: 46000 | #Constraints: 28140
38.20/38.50 c INPROCESSING
38.20/38.50 c GARBAGE COLLECT
38.20/38.50 c rational objective 5
43.09/43.47 c #Conflicts: 47000 | #Constraints: 24721
43.09/43.47 c #Conflicts: 48000 | #Constraints: 25721
43.09/43.47 c #Conflicts: 49000 | #Constraints: 26723
43.09/43.47 c #Conflicts: 50000 | #Constraints: 27725
43.09/43.47 c #Conflicts: 51000 | #Constraints: 28726
43.09/43.47 c INPROCESSING
43.09/43.47 c GARBAGE COLLECT
43.09/43.47 c rational objective 5
47.08/47.49 c #Conflicts: 52000 | #Constraints: 25127
47.08/47.49 c #Conflicts: 53000 | #Constraints: 26127
47.08/47.49 c #Conflicts: 54000 | #Constraints: 27130
47.08/47.49 c #Conflicts: 55000 | #Constraints: 28130
47.08/47.49 c #Conflicts: 56000 | #Constraints: 29132
47.08/47.49 c INPROCESSING
47.08/47.49 c GARBAGE COLLECT
47.08/47.49 c rational objective 5
51.86/52.24 c #Conflicts: 57000 | #Constraints: 25328
51.86/52.24 c #Conflicts: 58000 | #Constraints: 26331
51.86/52.24 c #Conflicts: 59000 | #Constraints: 27333
51.86/52.24 c #Conflicts: 60000 | #Constraints: 28336
51.86/52.24 c #Conflicts: 61000 | #Constraints: 29341
51.86/52.24 c INPROCESSING
51.86/52.24 c GARBAGE COLLECT
51.86/52.24 c rational objective 5
55.35/55.77 c #Conflicts: 62000 | #Constraints: 25343
55.35/55.77 c #Conflicts: 63000 | #Constraints: 26343
55.35/55.77 c #Conflicts: 64000 | #Constraints: 27344
55.35/55.77 c #Conflicts: 65000 | #Constraints: 28346
55.35/55.77 c #Conflicts: 66000 | #Constraints: 29349
55.35/55.77 c INPROCESSING
55.35/55.77 c GARBAGE COLLECT
55.35/55.77 c rational objective 5
61.03/61.41 c #Conflicts: 67000 | #Constraints: 25137
61.03/61.41 c #Conflicts: 68000 | #Constraints: 26138
61.03/61.41 c #Conflicts: 69000 | #Constraints: 27139
61.03/61.41 c #Conflicts: 70000 | #Constraints: 28139
61.03/61.41 c #Conflicts: 71000 | #Constraints: 29141
61.03/61.41 c #Conflicts: 72000 | #Constraints: 30143
61.03/61.41 c INPROCESSING
61.03/61.41 c GARBAGE COLLECT
61.03/61.41 c rational objective 5
67.22/67.63 c #Conflicts: 73000 | #Constraints: 25720
67.22/67.63 c #Conflicts: 74000 | #Constraints: 26721
67.22/67.63 c #Conflicts: 75000 | #Constraints: 27723
67.22/67.63 c #Conflicts: 76000 | #Constraints: 28724
67.22/67.63 c #Conflicts: 77000 | #Constraints: 29724
67.22/67.63 c #Conflicts: 78000 | #Constraints: 30725
67.22/67.63 c INPROCESSING
67.22/67.63 c GARBAGE COLLECT
67.22/67.63 c rational objective 5
73.99/74.40 c #Conflicts: 79000 | #Constraints: 26015
73.99/74.40 c #Conflicts: 80000 | #Constraints: 27015
73.99/74.40 c #Conflicts: 81000 | #Constraints: 28016
73.99/74.40 c #Conflicts: 82000 | #Constraints: 29016
73.99/74.40 c #Conflicts: 83000 | #Constraints: 30018
73.99/74.40 c #Conflicts: 84000 | #Constraints: 31019
73.99/74.40 c INPROCESSING
73.99/74.40 c GARBAGE COLLECT
73.99/74.40 c rational objective 5
81.06/81.55 c #Conflicts: 85000 | #Constraints: 26220
81.06/81.55 c #Conflicts: 86000 | #Constraints: 27221
81.06/81.55 c #Conflicts: 87000 | #Constraints: 28222
81.06/81.55 c #Conflicts: 88000 | #Constraints: 29224
81.06/81.55 c #Conflicts: 89000 | #Constraints: 30225
81.06/81.55 c #Conflicts: 90000 | #Constraints: 31226
81.06/81.55 c INPROCESSING
81.06/81.55 c GARBAGE COLLECT
81.06/81.55 c rational objective 5
86.95/87.44 c #Conflicts: 91000 | #Constraints: 26238
86.95/87.44 c #Conflicts: 92000 | #Constraints: 27238
86.95/87.44 c #Conflicts: 93000 | #Constraints: 28238
86.95/87.44 c #Conflicts: 94000 | #Constraints: 29240
86.95/87.44 c #Conflicts: 95000 | #Constraints: 30241
86.95/87.44 c #Conflicts: 96000 | #Constraints: 31243
86.95/87.44 c INPROCESSING
86.95/87.44 c GARBAGE COLLECT
86.95/87.44 c rational objective 5
93.32/93.87 c #Conflicts: 97000 | #Constraints: 26016
93.32/93.87 c #Conflicts: 98000 | #Constraints: 27016
93.32/93.87 c #Conflicts: 99000 | #Constraints: 28016
93.32/93.87 c #Conflicts: 100000 | #Constraints: 29019
93.32/93.87 c #Conflicts: 101000 | #Constraints: 30020
93.32/93.87 c #Conflicts: 102000 | #Constraints: 31021
93.32/93.87 c #Conflicts: 103000 | #Constraints: 32022
93.32/93.87 c INPROCESSING
93.32/93.87 c GARBAGE COLLECT
93.32/93.87 c rational objective 5
100.11/100.64 c #Conflicts: 104000 | #Constraints: 26556
100.11/100.64 c #Conflicts: 105000 | #Constraints: 27556
100.11/100.64 c #Conflicts: 106000 | #Constraints: 28560
100.11/100.64 c #Conflicts: 107000 | #Constraints: 29563
100.11/100.64 c #Conflicts: 108000 | #Constraints: 30564
100.11/100.64 c #Conflicts: 109000 | #Constraints: 31565
100.11/100.64 c #Conflicts: 110000 | #Constraints: 32567
100.11/100.64 c INPROCESSING
100.11/100.64 c GARBAGE COLLECT
100.11/100.64 c rational objective 5
106.59/107.11 c #Conflicts: 111000 | #Constraints: 26785
106.59/107.11 c #Conflicts: 112000 | #Constraints: 27785
106.59/107.11 c #Conflicts: 113000 | #Constraints: 28787
106.59/107.11 c #Conflicts: 114000 | #Constraints: 29790
106.59/107.11 c #Conflicts: 115000 | #Constraints: 30794
106.59/107.11 c #Conflicts: 116000 | #Constraints: 31796
106.59/107.11 c #Conflicts: 117000 | #Constraints: 32799
106.59/107.11 c INPROCESSING
106.59/107.11 c GARBAGE COLLECT
106.59/107.11 c rational objective 5
114.05/114.66 c #Conflicts: 118000 | #Constraints: 26943
114.05/114.66 c #Conflicts: 119000 | #Constraints: 27948
114.05/114.66 c #Conflicts: 120000 | #Constraints: 28953
114.05/114.66 c #Conflicts: 121000 | #Constraints: 29956
114.05/114.66 c #Conflicts: 122000 | #Constraints: 30957
114.05/114.66 c #Conflicts: 123000 | #Constraints: 31957
114.05/114.66 c #Conflicts: 124000 | #Constraints: 32959
114.05/114.66 c INPROCESSING
114.05/114.66 c GARBAGE COLLECT
114.05/114.66 c rational objective 5
121.62/122.25 c #Conflicts: 125000 | #Constraints: 26905
121.62/122.25 c #Conflicts: 126000 | #Constraints: 27905
121.62/122.25 c #Conflicts: 127000 | #Constraints: 28909
121.62/122.25 c #Conflicts: 128000 | #Constraints: 29913
121.62/122.25 c #Conflicts: 129000 | #Constraints: 30918
121.62/122.25 c #Conflicts: 130000 | #Constraints: 31921
121.62/122.25 c #Conflicts: 131000 | #Constraints: 32926
121.62/122.25 c INPROCESSING
121.62/122.25 c GARBAGE COLLECT
121.62/122.25 c rational objective 5
127.71/128.37 c #Conflicts: 132000 | #Constraints: 26701
127.71/128.37 c #Conflicts: 133000 | #Constraints: 27701
127.71/128.37 c #Conflicts: 134000 | #Constraints: 28703
127.71/128.37 c #Conflicts: 135000 | #Constraints: 29706
127.71/128.37 c #Conflicts: 136000 | #Constraints: 30707
127.71/128.37 c #Conflicts: 137000 | #Constraints: 31713
127.71/128.37 c #Conflicts: 138000 | #Constraints: 32716
127.71/128.37 c #Conflicts: 139000 | #Constraints: 33720
127.71/128.37 c INPROCESSING
127.71/128.37 c GARBAGE COLLECT
127.71/128.37 c rational objective 5
135.78/136.44 c #Conflicts: 140000 | #Constraints: 27145
135.78/136.44 c #Conflicts: 141000 | #Constraints: 28151
135.78/136.44 c #Conflicts: 142000 | #Constraints: 29156
135.78/136.44 c #Conflicts: 143000 | #Constraints: 30157
135.78/136.44 c #Conflicts: 144000 | #Constraints: 31158
135.78/136.44 c #Conflicts: 145000 | #Constraints: 32158
135.78/136.44 c #Conflicts: 146000 | #Constraints: 33161
135.78/136.44 c #Conflicts: 147000 | #Constraints: 34164
135.78/136.44 c INPROCESSING
135.78/136.44 c GARBAGE COLLECT
135.78/136.44 c rational objective 5
144.76/145.41 c #Conflicts: 148000 | #Constraints: 27574
144.76/145.41 c #Conflicts: 149000 | #Constraints: 28574
144.76/145.41 c #Conflicts: 150000 | #Constraints: 29575
144.76/145.41 c #Conflicts: 151000 | #Constraints: 30576
144.76/145.41 c #Conflicts: 152000 | #Constraints: 31576
144.76/145.41 c #Conflicts: 153000 | #Constraints: 32578
144.76/145.41 c #Conflicts: 154000 | #Constraints: 33579
144.76/145.41 c #Conflicts: 155000 | #Constraints: 34581
144.76/145.41 c INPROCESSING
144.76/145.41 c GARBAGE COLLECT
144.76/145.41 c rational objective 5
152.94/153.68 c #Conflicts: 156000 | #Constraints: 27741
152.94/153.68 c #Conflicts: 157000 | #Constraints: 28746
152.94/153.68 c #Conflicts: 158000 | #Constraints: 29748
152.94/153.68 c #Conflicts: 159000 | #Constraints: 30750
152.94/153.68 c #Conflicts: 160000 | #Constraints: 31751
152.94/153.68 c #Conflicts: 161000 | #Constraints: 32752
152.94/153.68 c #Conflicts: 162000 | #Constraints: 33753
152.94/153.68 c #Conflicts: 163000 | #Constraints: 34755
152.94/153.68 c INPROCESSING
152.94/153.68 c GARBAGE COLLECT
152.94/153.68 c rational objective 5
161.51/162.27 c #Conflicts: 164000 | #Constraints: 27731
161.51/162.27 c #Conflicts: 165000 | #Constraints: 28733
161.51/162.27 c #Conflicts: 166000 | #Constraints: 29734
161.51/162.27 c #Conflicts: 167000 | #Constraints: 30736
161.51/162.27 c #Conflicts: 168000 | #Constraints: 31740
161.51/162.27 c #Conflicts: 169000 | #Constraints: 32742
161.51/162.27 c #Conflicts: 170000 | #Constraints: 33743
161.51/162.27 c #Conflicts: 171000 | #Constraints: 34744
161.51/162.27 c INPROCESSING
161.51/162.27 c GARBAGE COLLECT
161.51/162.27 c rational objective 5
171.59/172.38 c #Conflicts: 172000 | #Constraints: 27521
171.59/172.38 c #Conflicts: 173000 | #Constraints: 28521
171.59/172.38 c #Conflicts: 174000 | #Constraints: 29521
171.59/172.38 c #Conflicts: 175000 | #Constraints: 30522
171.59/172.38 c #Conflicts: 176000 | #Constraints: 31525
171.59/172.38 c #Conflicts: 177000 | #Constraints: 32527
171.59/172.38 c #Conflicts: 178000 | #Constraints: 33529
171.59/172.38 c #Conflicts: 179000 | #Constraints: 34530
171.59/172.38 c #Conflicts: 180000 | #Constraints: 35534
171.59/172.38 c INPROCESSING
171.59/172.38 c GARBAGE COLLECT
171.59/172.38 c rational objective 5
183.85/184.66 c #Conflicts: 181000 | #Constraints: 28104
183.85/184.66 c #Conflicts: 182000 | #Constraints: 29105
183.85/184.66 c #Conflicts: 183000 | #Constraints: 30108
183.85/184.66 c #Conflicts: 184000 | #Constraints: 31111
183.85/184.66 c #Conflicts: 185000 | #Constraints: 32113
183.85/184.66 c #Conflicts: 186000 | #Constraints: 33118
183.85/184.66 c #Conflicts: 187000 | #Constraints: 34119
183.85/184.66 c #Conflicts: 188000 | #Constraints: 35120
183.85/184.66 c #Conflicts: 189000 | #Constraints: 36122
183.85/184.66 c INPROCESSING
183.85/184.66 c GARBAGE COLLECT
183.85/184.66 c rational objective 5
192.93/193.73 c #Conflicts: 190000 | #Constraints: 28405
192.93/193.73 c #Conflicts: 191000 | #Constraints: 29407
192.93/193.73 c #Conflicts: 192000 | #Constraints: 30409
192.93/193.73 c #Conflicts: 193000 | #Constraints: 31410
192.93/193.73 c #Conflicts: 194000 | #Constraints: 32411
192.93/193.73 c #Conflicts: 195000 | #Constraints: 33413
192.93/193.73 c #Conflicts: 196000 | #Constraints: 34417
192.93/193.73 c #Conflicts: 197000 | #Constraints: 35420
192.93/193.73 c #Conflicts: 198000 | #Constraints: 36421
192.93/193.73 c INPROCESSING
192.93/193.73 c GARBAGE COLLECT
192.93/193.73 c rational objective 5
204.70/205.53 c #Conflicts: 199000 | #Constraints: 28604
204.70/205.53 c #Conflicts: 200000 | #Constraints: 29605
204.70/205.53 c #Conflicts: 201000 | #Constraints: 30608
204.70/205.53 c #Conflicts: 202000 | #Constraints: 31611
204.70/205.53 c #Conflicts: 203000 | #Constraints: 32615
204.70/205.53 c #Conflicts: 204000 | #Constraints: 33618
204.70/205.53 c #Conflicts: 205000 | #Constraints: 34618
204.70/205.53 c #Conflicts: 206000 | #Constraints: 35619
204.70/205.53 c #Conflicts: 207000 | #Constraints: 36620
204.70/205.53 c INPROCESSING
204.70/205.53 c GARBAGE COLLECT
204.70/205.53 c rational objective 5
219.06/219.94 c #Conflicts: 208000 | #Constraints: 28590
219.06/219.94 c #Conflicts: 209000 | #Constraints: 29590
219.06/219.94 c #Conflicts: 210000 | #Constraints: 30592
219.06/219.94 c #Conflicts: 211000 | #Constraints: 31593
219.06/219.94 c #Conflicts: 212000 | #Constraints: 32594
219.06/219.94 c #Conflicts: 213000 | #Constraints: 33596
219.06/219.94 c #Conflicts: 214000 | #Constraints: 34597
219.06/219.94 c #Conflicts: 215000 | #Constraints: 35600
219.06/219.94 c #Conflicts: 216000 | #Constraints: 36603
219.06/219.94 c INPROCESSING
219.06/219.94 c GARBAGE COLLECT
219.06/219.94 c rational objective 5
230.84/231.76 c #Conflicts: 217000 | #Constraints: 28384
230.84/231.76 c #Conflicts: 218000 | #Constraints: 29384
230.84/231.76 c #Conflicts: 219000 | #Constraints: 30387
230.84/231.76 c #Conflicts: 220000 | #Constraints: 31390
230.84/231.76 c #Conflicts: 221000 | #Constraints: 32390
230.84/231.76 c #Conflicts: 222000 | #Constraints: 33391
230.84/231.76 c #Conflicts: 223000 | #Constraints: 34392
230.84/231.76 c #Conflicts: 224000 | #Constraints: 35395
230.84/231.76 c #Conflicts: 225000 | #Constraints: 36397
230.84/231.76 c #Conflicts: 226000 | #Constraints: 37398
230.84/231.76 c INPROCESSING
230.84/231.76 c GARBAGE COLLECT
230.84/231.76 c rational objective 5
242.90/243.80 c #Conflicts: 227000 | #Constraints: 28933
242.90/243.80 c #Conflicts: 228000 | #Constraints: 29933
242.90/243.80 c #Conflicts: 229000 | #Constraints: 30936
242.90/243.80 c #Conflicts: 230000 | #Constraints: 31938
242.90/243.80 c #Conflicts: 231000 | #Constraints: 32941
242.90/243.80 c #Conflicts: 232000 | #Constraints: 33943
242.90/243.80 c #Conflicts: 233000 | #Constraints: 34944
242.90/243.80 c #Conflicts: 234000 | #Constraints: 35945
242.90/243.80 c #Conflicts: 235000 | #Constraints: 36946
242.90/243.80 c #Conflicts: 236000 | #Constraints: 37947
242.90/243.80 c INPROCESSING
242.90/243.80 c GARBAGE COLLECT
242.90/243.80 c rational objective 5
253.48/254.42 c #Conflicts: 237000 | #Constraints: 29293
253.48/254.42 c #Conflicts: 238000 | #Constraints: 30293
253.48/254.42 c #Conflicts: 239000 | #Constraints: 31294
253.48/254.42 c #Conflicts: 240000 | #Constraints: 32296
253.48/254.42 c #Conflicts: 241000 | #Constraints: 33297
253.48/254.42 c #Conflicts: 242000 | #Constraints: 34299
253.48/254.42 c #Conflicts: 243000 | #Constraints: 35301
253.48/254.42 c #Conflicts: 244000 | #Constraints: 36301
253.48/254.42 c #Conflicts: 245000 | #Constraints: 37303
253.48/254.42 c #Conflicts: 246000 | #Constraints: 38304
253.48/254.42 c INPROCESSING
253.48/254.42 c GARBAGE COLLECT
253.48/254.42 c rational objective 5
268.43/269.41 c #Conflicts: 247000 | #Constraints: 29506
268.43/269.41 c #Conflicts: 248000 | #Constraints: 30506
268.43/269.41 c #Conflicts: 249000 | #Constraints: 31508
268.43/269.41 c #Conflicts: 250000 | #Constraints: 32509
268.43/269.41 c #Conflicts: 251000 | #Constraints: 33511
268.43/269.41 c #Conflicts: 252000 | #Constraints: 34512
268.43/269.41 c #Conflicts: 253000 | #Constraints: 35513
268.43/269.41 c #Conflicts: 254000 | #Constraints: 36516
268.43/269.41 c #Conflicts: 255000 | #Constraints: 37517
268.43/269.41 c #Conflicts: 256000 | #Constraints: 38521
268.43/269.41 c INPROCESSING
268.43/269.41 c GARBAGE COLLECT
268.43/269.41 c rational objective 5
281.40/282.48 c #Conflicts: 257000 | #Constraints: 29439
281.40/282.48 c #Conflicts: 258000 | #Constraints: 30439
281.40/282.48 c #Conflicts: 259000 | #Constraints: 31441
281.40/282.48 c #Conflicts: 260000 | #Constraints: 32444
281.40/282.48 c #Conflicts: 261000 | #Constraints: 33449
281.40/282.48 c #Conflicts: 262000 | #Constraints: 34456
281.40/282.48 c #Conflicts: 263000 | #Constraints: 35458
281.40/282.48 c #Conflicts: 264000 | #Constraints: 36461
281.40/282.48 c #Conflicts: 265000 | #Constraints: 37463
281.40/282.48 c #Conflicts: 266000 | #Constraints: 38464
281.40/282.48 c INPROCESSING
281.40/282.48 c GARBAGE COLLECT
281.40/282.48 c rational objective 5
295.08/296.14 c #Conflicts: 267000 | #Constraints: 29196
295.08/296.14 c #Conflicts: 268000 | #Constraints: 30196
295.08/296.14 c #Conflicts: 269000 | #Constraints: 31196
295.08/296.14 c #Conflicts: 270000 | #Constraints: 32201
295.08/296.14 c #Conflicts: 271000 | #Constraints: 33204
295.08/296.14 c #Conflicts: 272000 | #Constraints: 34206
295.08/296.14 c #Conflicts: 273000 | #Constraints: 35211
295.08/296.14 c #Conflicts: 274000 | #Constraints: 36213
295.08/296.14 c #Conflicts: 275000 | #Constraints: 37216
295.08/296.14 c #Conflicts: 276000 | #Constraints: 38219
295.08/296.14 c #Conflicts: 277000 | #Constraints: 39221
295.08/296.14 c INPROCESSING
295.08/296.14 c GARBAGE COLLECT
295.08/296.14 c rational objective 5
307.53/308.60 c #Conflicts: 278000 | #Constraints: 29755
307.53/308.60 c #Conflicts: 279000 | #Constraints: 30757
307.53/308.60 c #Conflicts: 280000 | #Constraints: 31760
307.53/308.60 c #Conflicts: 281000 | #Constraints: 32762
307.53/308.60 c #Conflicts: 282000 | #Constraints: 33762
307.53/308.60 c #Conflicts: 283000 | #Constraints: 34766
307.53/308.60 c #Conflicts: 284000 | #Constraints: 35767
307.53/308.60 c #Conflicts: 285000 | #Constraints: 36769
307.53/308.60 c #Conflicts: 286000 | #Constraints: 37769
307.53/308.60 c #Conflicts: 287000 | #Constraints: 38770
307.53/308.60 c #Conflicts: 288000 | #Constraints: 39773
307.53/308.60 c INPROCESSING
307.53/308.60 c GARBAGE COLLECT
307.53/308.60 c rational objective 5
321.10/322.28 c #Conflicts: 289000 | #Constraints: 30123
321.10/322.28 c #Conflicts: 290000 | #Constraints: 31124
321.10/322.28 c #Conflicts: 291000 | #Constraints: 32125
321.10/322.28 c #Conflicts: 292000 | #Constraints: 33127
321.10/322.28 c #Conflicts: 293000 | #Constraints: 34133
321.10/322.28 c #Conflicts: 294000 | #Constraints: 35135
321.10/322.28 c #Conflicts: 295000 | #Constraints: 36143
321.10/322.28 c #Conflicts: 296000 | #Constraints: 37148
321.10/322.28 c #Conflicts: 297000 | #Constraints: 38153
321.10/322.28 c #Conflicts: 298000 | #Constraints: 39155
321.10/322.28 c #Conflicts: 299000 | #Constraints: 40157
321.10/322.28 c INPROCESSING
321.10/322.28 c GARBAGE COLLECT
321.10/322.28 c rational objective 5
336.26/337.40 c #Conflicts: 300000 | #Constraints: 30299
336.26/337.40 c #Conflicts: 301000 | #Constraints: 31300
336.26/337.40 c #Conflicts: 302000 | #Constraints: 32304
336.26/337.40 c #Conflicts: 303000 | #Constraints: 33309
336.26/337.40 c #Conflicts: 304000 | #Constraints: 34312
336.26/337.40 c #Conflicts: 305000 | #Constraints: 35317
336.26/337.40 c #Conflicts: 306000 | #Constraints: 36320
336.26/337.40 c #Conflicts: 307000 | #Constraints: 37321
336.26/337.40 c #Conflicts: 308000 | #Constraints: 38322
336.26/337.40 c #Conflicts: 309000 | #Constraints: 39324
336.26/337.40 c #Conflicts: 310000 | #Constraints: 40327
336.26/337.40 c INPROCESSING
336.26/337.40 c GARBAGE COLLECT
336.26/337.40 c rational objective 5
351.62/352.83 c #Conflicts: 311000 | #Constraints: 30283
351.62/352.83 c #Conflicts: 312000 | #Constraints: 31287
351.62/352.83 c #Conflicts: 313000 | #Constraints: 32296
351.62/352.83 c #Conflicts: 314000 | #Constraints: 33303
351.62/352.83 c #Conflicts: 315000 | #Constraints: 34307
351.62/352.83 c #Conflicts: 316000 | #Constraints: 35308
351.62/352.83 c #Conflicts: 317000 | #Constraints: 36310
351.62/352.83 c #Conflicts: 318000 | #Constraints: 37312
351.62/352.83 c #Conflicts: 319000 | #Constraints: 38314
351.62/352.83 c #Conflicts: 320000 | #Constraints: 39315
351.62/352.83 c #Conflicts: 321000 | #Constraints: 40316
351.62/352.83 c INPROCESSING
351.62/352.83 c GARBAGE COLLECT
351.62/352.83 c rational objective 5
367.68/369.01 c #Conflicts: 322000 | #Constraints: 30100
367.68/369.01 c #Conflicts: 323000 | #Constraints: 31101
367.68/369.01 c #Conflicts: 324000 | #Constraints: 32104
367.68/369.01 c #Conflicts: 325000 | #Constraints: 33106
367.68/369.01 c #Conflicts: 326000 | #Constraints: 34108
367.68/369.01 c #Conflicts: 327000 | #Constraints: 35110
367.68/369.01 c #Conflicts: 328000 | #Constraints: 36111
367.68/369.01 c #Conflicts: 329000 | #Constraints: 37112
367.68/369.01 c #Conflicts: 330000 | #Constraints: 38113
367.68/369.01 c #Conflicts: 331000 | #Constraints: 39115
367.68/369.01 c #Conflicts: 332000 | #Constraints: 40117
367.68/369.01 c #Conflicts: 333000 | #Constraints: 41119
367.68/369.01 c INPROCESSING
367.68/369.01 c GARBAGE COLLECT
367.68/369.01 c rational objective 5
383.44/384.71 c #Conflicts: 334000 | #Constraints: 30695
383.44/384.71 c #Conflicts: 335000 | #Constraints: 31695
383.44/384.71 c #Conflicts: 336000 | #Constraints: 32695
383.44/384.71 c #Conflicts: 337000 | #Constraints: 33696
383.44/384.71 c #Conflicts: 338000 | #Constraints: 34699
383.44/384.71 c #Conflicts: 339000 | #Constraints: 35700
383.44/384.71 c #Conflicts: 340000 | #Constraints: 36703
383.44/384.71 c #Conflicts: 341000 | #Constraints: 37705
383.44/384.71 c #Conflicts: 342000 | #Constraints: 38705
383.44/384.71 c #Conflicts: 343000 | #Constraints: 39707
383.44/384.71 c #Conflicts: 344000 | #Constraints: 40710
383.44/384.71 c #Conflicts: 345000 | #Constraints: 41710
383.44/384.71 c INPROCESSING
383.44/384.71 c GARBAGE COLLECT
383.44/384.71 c rational objective 5
397.20/398.58 c #Conflicts: 346000 | #Constraints: 31096
397.20/398.58 c #Conflicts: 347000 | #Constraints: 32097
397.20/398.58 c #Conflicts: 348000 | #Constraints: 33097
397.20/398.58 c #Conflicts: 349000 | #Constraints: 34097
397.20/398.58 c #Conflicts: 350000 | #Constraints: 35098
397.20/398.58 c #Conflicts: 351000 | #Constraints: 36101
397.20/398.58 c #Conflicts: 352000 | #Constraints: 37103
397.20/398.58 c #Conflicts: 353000 | #Constraints: 38105
397.20/398.58 c #Conflicts: 354000 | #Constraints: 39107
397.20/398.58 c #Conflicts: 355000 | #Constraints: 40109
397.20/398.58 c #Conflicts: 356000 | #Constraints: 41111
397.20/398.58 c #Conflicts: 357000 | #Constraints: 42115
397.20/398.58 c INPROCESSING
397.20/398.58 c GARBAGE COLLECT
397.20/398.58 c rational objective 5
412.56/413.99 c #Conflicts: 358000 | #Constraints: 31276
412.56/413.99 c #Conflicts: 359000 | #Constraints: 32278
412.56/413.99 c #Conflicts: 360000 | #Constraints: 33280
412.56/413.99 c #Conflicts: 361000 | #Constraints: 34283
412.56/413.99 c #Conflicts: 362000 | #Constraints: 35283
412.56/413.99 c #Conflicts: 363000 | #Constraints: 36285
412.56/413.99 c #Conflicts: 364000 | #Constraints: 37286
412.56/413.99 c #Conflicts: 365000 | #Constraints: 38287
412.56/413.99 c #Conflicts: 366000 | #Constraints: 39288
412.56/413.99 c #Conflicts: 367000 | #Constraints: 40289
412.56/413.99 c #Conflicts: 368000 | #Constraints: 41290
412.56/413.99 c #Conflicts: 369000 | #Constraints: 42292
412.56/413.99 c INPROCESSING
412.56/413.99 c GARBAGE COLLECT
412.56/413.99 c rational objective 5
428.21/429.61 c #Conflicts: 370000 | #Constraints: 31259
428.21/429.61 c #Conflicts: 371000 | #Constraints: 32259
428.21/429.61 c #Conflicts: 372000 | #Constraints: 33262
428.21/429.61 c #Conflicts: 373000 | #Constraints: 34268
428.21/429.61 c #Conflicts: 374000 | #Constraints: 35277
428.21/429.61 c #Conflicts: 375000 | #Constraints: 36280
428.21/429.61 c #Conflicts: 376000 | #Constraints: 37284
428.21/429.61 c #Conflicts: 377000 | #Constraints: 38289
428.21/429.61 c #Conflicts: 378000 | #Constraints: 39292
428.21/429.61 c #Conflicts: 379000 | #Constraints: 40297
428.21/429.61 c #Conflicts: 380000 | #Constraints: 41298
428.21/429.61 c #Conflicts: 381000 | #Constraints: 42299
428.21/429.61 c INPROCESSING
428.21/429.61 c GARBAGE COLLECT
428.21/429.61 c rational objective 5
447.37/448.80 c #Conflicts: 382000 | #Constraints: 31059
447.37/448.80 c #Conflicts: 383000 | #Constraints: 32060
447.37/448.80 c #Conflicts: 384000 | #Constraints: 33062
447.37/448.80 c #Conflicts: 385000 | #Constraints: 34064
447.37/448.80 c #Conflicts: 386000 | #Constraints: 35069
447.37/448.80 c #Conflicts: 387000 | #Constraints: 36072
447.37/448.80 c #Conflicts: 388000 | #Constraints: 37076
447.37/448.80 c #Conflicts: 389000 | #Constraints: 38079
447.37/448.80 c #Conflicts: 390000 | #Constraints: 39082
447.37/448.80 c #Conflicts: 391000 | #Constraints: 40083
447.37/448.80 c #Conflicts: 392000 | #Constraints: 41086
447.37/448.80 c #Conflicts: 393000 | #Constraints: 42087
447.37/448.80 c #Conflicts: 394000 | #Constraints: 43088
447.37/448.80 c INPROCESSING
447.37/448.80 c GARBAGE COLLECT
447.37/448.80 c rational objective 5
461.64/463.16 c #Conflicts: 395000 | #Constraints: 31672
461.64/463.16 c #Conflicts: 396000 | #Constraints: 32672
461.64/463.16 c #Conflicts: 397000 | #Constraints: 33673
461.64/463.16 c #Conflicts: 398000 | #Constraints: 34675
461.64/463.16 c #Conflicts: 399000 | #Constraints: 35676
461.64/463.16 c #Conflicts: 400000 | #Constraints: 36679
461.64/463.16 c #Conflicts: 401000 | #Constraints: 37681
461.64/463.16 c #Conflicts: 402000 | #Constraints: 38683
461.64/463.16 c #Conflicts: 403000 | #Constraints: 39685
461.64/463.16 c #Conflicts: 404000 | #Constraints: 40688
461.64/463.16 c #Conflicts: 405000 | #Constraints: 41694
461.64/463.16 c #Conflicts: 406000 | #Constraints: 42698
461.64/463.16 c #Conflicts: 407000 | #Constraints: 43700
461.64/463.16 c INPROCESSING
461.64/463.16 c GARBAGE COLLECT
461.64/463.16 c rational objective 5
477.49/479.04 c #Conflicts: 408000 | #Constraints: 31973
477.49/479.04 c #Conflicts: 409000 | #Constraints: 32973
477.49/479.04 c #Conflicts: 410000 | #Constraints: 33975
477.49/479.04 c #Conflicts: 411000 | #Constraints: 34976
477.49/479.04 c #Conflicts: 412000 | #Constraints: 35977
477.49/479.04 c #Conflicts: 413000 | #Constraints: 36978
477.49/479.04 c #Conflicts: 414000 | #Constraints: 37979
477.49/479.04 c #Conflicts: 415000 | #Constraints: 38981
477.49/479.04 c #Conflicts: 416000 | #Constraints: 39983
477.49/479.04 c #Conflicts: 417000 | #Constraints: 40984
477.49/479.04 c #Conflicts: 418000 | #Constraints: 41986
477.49/479.04 c #Conflicts: 419000 | #Constraints: 42987
477.49/479.04 c #Conflicts: 420000 | #Constraints: 43988
477.49/479.04 c INPROCESSING
477.49/479.04 c GARBAGE COLLECT
477.49/479.04 c rational objective 5
502.02/503.61 c #Conflicts: 421000 | #Constraints: 32160
502.02/503.61 c #Conflicts: 422000 | #Constraints: 33161
502.02/503.61 c #Conflicts: 423000 | #Constraints: 34163
502.02/503.61 c #Conflicts: 424000 | #Constraints: 35164
502.02/503.61 c #Conflicts: 425000 | #Constraints: 36165
502.02/503.61 c #Conflicts: 426000 | #Constraints: 37166
502.02/503.61 c #Conflicts: 427000 | #Constraints: 38167
502.02/503.61 c #Conflicts: 428000 | #Constraints: 39167
502.02/503.61 c #Conflicts: 429000 | #Constraints: 40167
502.02/503.61 c #Conflicts: 430000 | #Constraints: 41167
502.02/503.61 c #Conflicts: 431000 | #Constraints: 42167
502.02/503.61 c #Conflicts: 432000 | #Constraints: 43167
502.02/503.61 c #Conflicts: 433000 | #Constraints: 44167
502.02/503.61 c INPROCESSING
502.02/503.61 c GARBAGE COLLECT
502.02/503.61 c rational objective 5
548.60/550.35 c #Conflicts: 434000 | #Constraints: 32132
548.60/550.35 c #Conflicts: 435000 | #Constraints: 33133
548.60/550.35 c #Conflicts: 436000 | #Constraints: 34134
548.60/550.35 c #Conflicts: 437000 | #Constraints: 35135
548.60/550.35 c #Conflicts: 438000 | #Constraints: 36135
548.60/550.35 c #Conflicts: 439000 | #Constraints: 37135
548.60/550.35 c #Conflicts: 440000 | #Constraints: 38136
548.60/550.35 c #Conflicts: 441000 | #Constraints: 39136
548.60/550.35 c #Conflicts: 442000 | #Constraints: 40136
548.60/550.35 c #Conflicts: 443000 | #Constraints: 41136
548.60/550.35 c #Conflicts: 444000 | #Constraints: 42136
548.60/550.35 c #Conflicts: 445000 | #Constraints: 43136
548.60/550.35 c #Conflicts: 446000 | #Constraints: 44137
548.60/550.35 c INPROCESSING
548.60/550.35 c GARBAGE COLLECT
548.60/550.35 c #Conflicts: 447000 | #Constraints: 31915
548.60/550.35 c #Conflicts: 448000 | #Constraints: 32916
548.60/550.35 c #Conflicts: 449000 | #Constraints: 33916
548.60/550.35 c #Conflicts: 450000 | #Constraints: 34916
548.60/550.35 c #Conflicts: 451000 | #Constraints: 35916
548.60/550.35 c #Conflicts: 452000 | #Constraints: 36917
548.60/550.35 c #Conflicts: 453000 | #Constraints: 37918
548.60/550.35 c #Conflicts: 454000 | #Constraints: 38918
548.60/550.35 c #Conflicts: 455000 | #Constraints: 39918
548.60/550.35 c #Conflicts: 456000 | #Constraints: 40919
548.60/550.35 c #Conflicts: 457000 | #Constraints: 41920
548.60/550.35 c #Conflicts: 458000 | #Constraints: 42920
548.60/550.35 c #Conflicts: 459000 | #Constraints: 43921
548.60/550.35 c #Conflicts: 460000 | #Constraints: 44922
548.60/550.35 c INPROCESSING
548.60/550.35 c GARBAGE COLLECT
548.60/550.35 c rational objective 5
571.74/573.51 c #Conflicts: 461000 | #Constraints: 32524
571.74/573.51 c #Conflicts: 462000 | #Constraints: 33524
571.74/573.51 c #Conflicts: 463000 | #Constraints: 34524
571.74/573.51 c #Conflicts: 464000 | #Constraints: 35524
571.74/573.51 c #Conflicts: 465000 | #Constraints: 36525
571.74/573.51 c #Conflicts: 466000 | #Constraints: 37525
571.74/573.51 c #Conflicts: 467000 | #Constraints: 38525
571.74/573.51 c #Conflicts: 468000 | #Constraints: 39526
571.74/573.51 c #Conflicts: 469000 | #Constraints: 40527
571.74/573.51 c #Conflicts: 470000 | #Constraints: 41527
571.74/573.51 c #Conflicts: 471000 | #Constraints: 42528
571.74/573.51 c #Conflicts: 472000 | #Constraints: 43528
571.74/573.51 c #Conflicts: 473000 | #Constraints: 44529
571.74/573.51 c #Conflicts: 474000 | #Constraints: 45529
571.74/573.51 c INPROCESSING
571.74/573.51 c GARBAGE COLLECT
571.74/573.51 c rational objective 5
588.90/590.72 c #Conflicts: 475000 | #Constraints: 32908
588.90/590.72 c #Conflicts: 476000 | #Constraints: 33909
588.90/590.72 c #Conflicts: 477000 | #Constraints: 34911
588.90/590.72 c #Conflicts: 478000 | #Constraints: 35913
588.90/590.72 c #Conflicts: 479000 | #Constraints: 36917
588.90/590.72 c #Conflicts: 480000 | #Constraints: 37919
588.90/590.72 c #Conflicts: 481000 | #Constraints: 38923
588.90/590.72 c #Conflicts: 482000 | #Constraints: 39929
588.90/590.72 c #Conflicts: 483000 | #Constraints: 40933
588.90/590.72 c #Conflicts: 484000 | #Constraints: 41936
588.90/590.72 c #Conflicts: 485000 | #Constraints: 42946
588.90/590.72 c #Conflicts: 486000 | #Constraints: 43949
588.90/590.72 c #Conflicts: 487000 | #Constraints: 44951
588.90/590.72 c #Conflicts: 488000 | #Constraints: 45955
588.90/590.72 c INPROCESSING
588.90/590.72 c GARBAGE COLLECT
588.90/590.72 c rational objective 5
623.70/625.64 c #Conflicts: 489000 | #Constraints: 33130
623.70/625.64 c #Conflicts: 490000 | #Constraints: 34131
623.70/625.64 c #Conflicts: 491000 | #Constraints: 35134
623.70/625.64 c #Conflicts: 492000 | #Constraints: 36139
623.70/625.64 c #Conflicts: 493000 | #Constraints: 37141
623.70/625.64 c #Conflicts: 494000 | #Constraints: 38144
623.70/625.64 c #Conflicts: 495000 | #Constraints: 39144
623.70/625.64 c #Conflicts: 496000 | #Constraints: 40145
623.70/625.64 c #Conflicts: 497000 | #Constraints: 41146
623.70/625.64 c #Conflicts: 498000 | #Constraints: 42148
623.70/625.64 c #Conflicts: 499000 | #Constraints: 43149
623.70/625.64 c #Conflicts: 500000 | #Constraints: 44150
623.70/625.64 c #Conflicts: 501000 | #Constraints: 45150
623.70/625.64 c #Conflicts: 502000 | #Constraints: 46151
623.70/625.64 c INPROCESSING
623.70/625.64 c GARBAGE COLLECT
623.70/625.64 c rational objective 5
643.65/645.60 c #Conflicts: 503000 | #Constraints: 33134
643.65/645.60 c #Conflicts: 504000 | #Constraints: 34136
643.65/645.60 c #Conflicts: 505000 | #Constraints: 35138
643.65/645.60 c #Conflicts: 506000 | #Constraints: 36144
643.65/645.60 c #Conflicts: 507000 | #Constraints: 37145
643.65/645.60 c #Conflicts: 508000 | #Constraints: 38147
643.65/645.60 c #Conflicts: 509000 | #Constraints: 39147
643.65/645.60 c #Conflicts: 510000 | #Constraints: 40149
643.65/645.60 c #Conflicts: 511000 | #Constraints: 41150
643.65/645.60 c #Conflicts: 512000 | #Constraints: 42152
643.65/645.60 c #Conflicts: 513000 | #Constraints: 43154
643.65/645.60 c #Conflicts: 514000 | #Constraints: 44156
643.65/645.60 c #Conflicts: 515000 | #Constraints: 45158
643.65/645.60 c #Conflicts: 516000 | #Constraints: 46159
643.65/645.60 c INPROCESSING
643.65/645.60 c GARBAGE COLLECT
643.65/645.60 c rational objective 5
661.70/663.77 c #Conflicts: 517000 | #Constraints: 32924
661.70/663.77 c #Conflicts: 518000 | #Constraints: 33925
661.70/663.77 c #Conflicts: 519000 | #Constraints: 34925
661.70/663.77 c #Conflicts: 520000 | #Constraints: 35928
661.70/663.77 c #Conflicts: 521000 | #Constraints: 36929
661.70/663.77 c #Conflicts: 522000 | #Constraints: 37930
661.70/663.77 c #Conflicts: 523000 | #Constraints: 38931
661.70/663.77 c #Conflicts: 524000 | #Constraints: 39934
661.70/663.77 c #Conflicts: 525000 | #Constraints: 40935
661.70/663.77 c #Conflicts: 526000 | #Constraints: 41937
661.70/663.77 c #Conflicts: 527000 | #Constraints: 42941
661.70/663.77 c #Conflicts: 528000 | #Constraints: 43946
661.70/663.77 c #Conflicts: 529000 | #Constraints: 44955
661.70/663.77 c #Conflicts: 530000 | #Constraints: 45958
661.70/663.77 c #Conflicts: 531000 | #Constraints: 46961
661.70/663.77 c INPROCESSING
661.70/663.77 c GARBAGE COLLECT
661.70/663.77 c rational objective 5
683.65/685.75 c #Conflicts: 532000 | #Constraints: 33493
683.65/685.75 c #Conflicts: 533000 | #Constraints: 34493
683.65/685.75 c #Conflicts: 534000 | #Constraints: 35495
683.65/685.75 c #Conflicts: 535000 | #Constraints: 36499
683.65/685.75 c #Conflicts: 536000 | #Constraints: 37502
683.65/685.75 c #Conflicts: 537000 | #Constraints: 38504
683.65/685.75 c #Conflicts: 538000 | #Constraints: 39506
683.65/685.75 c #Conflicts: 539000 | #Constraints: 40508
683.65/685.75 c #Conflicts: 540000 | #Constraints: 41511
683.65/685.75 c #Conflicts: 541000 | #Constraints: 42514
683.65/685.75 c #Conflicts: 542000 | #Constraints: 43516
683.65/685.75 c #Conflicts: 543000 | #Constraints: 44519
683.65/685.75 c #Conflicts: 544000 | #Constraints: 45522
683.65/685.75 c #Conflicts: 545000 | #Constraints: 46523
683.65/685.75 c #Conflicts: 546000 | #Constraints: 47525
683.65/685.75 c INPROCESSING
683.65/685.75 c GARBAGE COLLECT
683.65/685.75 c rational objective 5
707.58/709.79 c #Conflicts: 547000 | #Constraints: 33894
707.58/709.79 c #Conflicts: 548000 | #Constraints: 34896
707.58/709.79 c #Conflicts: 549000 | #Constraints: 35897
707.58/709.79 c #Conflicts: 550000 | #Constraints: 36900
707.58/709.79 c #Conflicts: 551000 | #Constraints: 37904
707.58/709.79 c #Conflicts: 552000 | #Constraints: 38905
707.58/709.79 c #Conflicts: 553000 | #Constraints: 39906
707.58/709.79 c #Conflicts: 554000 | #Constraints: 40908
707.58/709.79 c #Conflicts: 555000 | #Constraints: 41908
707.58/709.79 c #Conflicts: 556000 | #Constraints: 42910
707.58/709.79 c #Conflicts: 557000 | #Constraints: 43910
707.58/709.79 c #Conflicts: 558000 | #Constraints: 44911
707.58/709.79 c #Conflicts: 559000 | #Constraints: 45914
707.58/709.79 c #Conflicts: 560000 | #Constraints: 46917
707.58/709.79 c #Conflicts: 561000 | #Constraints: 47919
707.58/709.79 c INPROCESSING
707.58/709.79 c GARBAGE COLLECT
707.58/709.79 c rational objective 5
731.82/734.02 c #Conflicts: 562000 | #Constraints: 34061
731.82/734.02 c #Conflicts: 563000 | #Constraints: 35061
731.82/734.02 c #Conflicts: 564000 | #Constraints: 36064
731.82/734.02 c #Conflicts: 565000 | #Constraints: 37065
731.82/734.02 c #Conflicts: 566000 | #Constraints: 38067
731.82/734.02 c #Conflicts: 567000 | #Constraints: 39068
731.82/734.02 c #Conflicts: 568000 | #Constraints: 40069
731.82/734.02 c #Conflicts: 569000 | #Constraints: 41073
731.82/734.02 c #Conflicts: 570000 | #Constraints: 42076
731.82/734.02 c #Conflicts: 571000 | #Constraints: 43077
731.82/734.02 c #Conflicts: 572000 | #Constraints: 44079
731.82/734.02 c #Conflicts: 573000 | #Constraints: 45081
731.82/734.02 c #Conflicts: 574000 | #Constraints: 46085
731.82/734.02 c #Conflicts: 575000 | #Constraints: 47086
731.82/734.02 c #Conflicts: 576000 | #Constraints: 48086
731.82/734.02 c INPROCESSING
731.82/734.02 c GARBAGE COLLECT
731.82/734.02 c rational objective 5
753.45/755.79 c #Conflicts: 577000 | #Constraints: 34059
753.45/755.79 c #Conflicts: 578000 | #Constraints: 35060
753.45/755.79 c #Conflicts: 579000 | #Constraints: 36060
753.45/755.79 c #Conflicts: 580000 | #Constraints: 37061
753.45/755.79 c #Conflicts: 581000 | #Constraints: 38062
753.45/755.79 c #Conflicts: 582000 | #Constraints: 39065
753.45/755.79 c #Conflicts: 583000 | #Constraints: 40067
753.45/755.79 c #Conflicts: 584000 | #Constraints: 41067
753.45/755.79 c #Conflicts: 585000 | #Constraints: 42070
753.45/755.79 c #Conflicts: 586000 | #Constraints: 43071
753.45/755.79 c #Conflicts: 587000 | #Constraints: 44072
753.45/755.79 c #Conflicts: 588000 | #Constraints: 45072
753.45/755.79 c #Conflicts: 589000 | #Constraints: 46073
753.45/755.79 c #Conflicts: 590000 | #Constraints: 47074
753.45/755.79 c #Conflicts: 591000 | #Constraints: 48075
753.45/755.79 c INPROCESSING
753.45/755.79 c GARBAGE COLLECT
753.45/755.79 c rational objective 5
782.47/784.80 c #Conflicts: 592000 | #Constraints: 33855
782.47/784.80 c #Conflicts: 593000 | #Constraints: 34856
782.47/784.80 c #Conflicts: 594000 | #Constraints: 35857
782.47/784.80 c #Conflicts: 595000 | #Constraints: 36858
782.47/784.80 c #Conflicts: 596000 | #Constraints: 37859
782.47/784.80 c #Conflicts: 597000 | #Constraints: 38859
782.47/784.80 c #Conflicts: 598000 | #Constraints: 39860
782.47/784.80 c #Conflicts: 599000 | #Constraints: 40862
782.47/784.80 c #Conflicts: 600000 | #Constraints: 41862
782.47/784.80 c #Conflicts: 601000 | #Constraints: 42862
782.47/784.80 c #Conflicts: 602000 | #Constraints: 43863
782.47/784.80 c #Conflicts: 603000 | #Constraints: 44864
782.47/784.80 c #Conflicts: 604000 | #Constraints: 45866
782.47/784.80 c #Conflicts: 605000 | #Constraints: 46867
782.47/784.80 c #Conflicts: 606000 | #Constraints: 47868
782.47/784.80 c #Conflicts: 607000 | #Constraints: 48869
782.47/784.80 c INPROCESSING
782.47/784.80 c GARBAGE COLLECT
782.47/784.80 c rational objective 5
804.12/806.59 c #Conflicts: 608000 | #Constraints: 34427
804.12/806.59 c #Conflicts: 609000 | #Constraints: 35427
804.12/806.59 c #Conflicts: 610000 | #Constraints: 36428
804.12/806.59 c #Conflicts: 611000 | #Constraints: 37434
804.12/806.59 c #Conflicts: 612000 | #Constraints: 38439
804.12/806.59 c #Conflicts: 613000 | #Constraints: 39444
804.12/806.59 c #Conflicts: 614000 | #Constraints: 40446
804.12/806.59 c #Conflicts: 615000 | #Constraints: 41451
804.12/806.59 c #Conflicts: 616000 | #Constraints: 42458
804.12/806.59 c #Conflicts: 617000 | #Constraints: 43462
804.12/806.59 c #Conflicts: 618000 | #Constraints: 44463
804.12/806.59 c #Conflicts: 619000 | #Constraints: 45467
804.12/806.59 c #Conflicts: 620000 | #Constraints: 46468
804.12/806.59 c #Conflicts: 621000 | #Constraints: 47471
804.12/806.59 c #Conflicts: 622000 | #Constraints: 48472
804.12/806.59 c #Conflicts: 623000 | #Constraints: 49472
804.12/806.59 c INPROCESSING
804.12/806.59 c GARBAGE COLLECT
804.12/806.59 c rational objective 5
829.75/832.23 c #Conflicts: 624000 | #Constraints: 34858
829.75/832.23 c #Conflicts: 625000 | #Constraints: 35858
829.75/832.23 c #Conflicts: 626000 | #Constraints: 36860
829.75/832.23 c #Conflicts: 627000 | #Constraints: 37864
829.75/832.23 c #Conflicts: 628000 | #Constraints: 38866
829.75/832.23 c #Conflicts: 629000 | #Constraints: 39867
829.75/832.23 c #Conflicts: 630000 | #Constraints: 40867
829.75/832.23 c #Conflicts: 631000 | #Constraints: 41868
829.75/832.23 c #Conflicts: 632000 | #Constraints: 42869
829.75/832.23 c #Conflicts: 633000 | #Constraints: 43870
829.75/832.23 c #Conflicts: 634000 | #Constraints: 44872
829.75/832.23 c #Conflicts: 635000 | #Constraints: 45874
829.75/832.23 c #Conflicts: 636000 | #Constraints: 46876
829.75/832.23 c #Conflicts: 637000 | #Constraints: 47878
829.75/832.23 c #Conflicts: 638000 | #Constraints: 48878
829.75/832.23 c #Conflicts: 639000 | #Constraints: 49880
829.75/832.23 c INPROCESSING
829.75/832.23 c GARBAGE COLLECT
829.75/832.23 c rational objective 5
855.59/858.12 c #Conflicts: 640000 | #Constraints: 35036
855.59/858.12 c #Conflicts: 641000 | #Constraints: 36036
855.59/858.12 c #Conflicts: 642000 | #Constraints: 37036
855.59/858.12 c #Conflicts: 643000 | #Constraints: 38036
855.59/858.12 c #Conflicts: 644000 | #Constraints: 39037
855.59/858.12 c #Conflicts: 645000 | #Constraints: 40038
855.59/858.12 c #Conflicts: 646000 | #Constraints: 41041
855.59/858.12 c #Conflicts: 647000 | #Constraints: 42042
855.59/858.12 c #Conflicts: 648000 | #Constraints: 43043
855.59/858.12 c #Conflicts: 649000 | #Constraints: 44045
855.59/858.12 c #Conflicts: 650000 | #Constraints: 45048
855.59/858.12 c #Conflicts: 651000 | #Constraints: 46050
855.59/858.12 c #Conflicts: 652000 | #Constraints: 47050
855.59/858.12 c #Conflicts: 653000 | #Constraints: 48051
855.59/858.12 c #Conflicts: 654000 | #Constraints: 49052
855.59/858.12 c #Conflicts: 655000 | #Constraints: 50052
855.59/858.12 c INPROCESSING
855.59/858.12 c GARBAGE COLLECT
855.59/858.12 c rational objective 5
890.19/892.86 c #Conflicts: 656000 | #Constraints: 34991
890.19/892.86 c #Conflicts: 657000 | #Constraints: 35991
890.19/892.86 c #Conflicts: 658000 | #Constraints: 36992
890.19/892.86 c #Conflicts: 659000 | #Constraints: 37996
890.19/892.86 c #Conflicts: 660000 | #Constraints: 38999
890.19/892.86 c #Conflicts: 661000 | #Constraints: 40000
890.19/892.86 c #Conflicts: 662000 | #Constraints: 41002
890.19/892.86 c #Conflicts: 663000 | #Constraints: 42005
890.19/892.86 c #Conflicts: 664000 | #Constraints: 43008
890.19/892.86 c #Conflicts: 665000 | #Constraints: 44013
890.19/892.86 c #Conflicts: 666000 | #Constraints: 45017
890.19/892.86 c #Conflicts: 667000 | #Constraints: 46022
890.19/892.86 c #Conflicts: 668000 | #Constraints: 47025
890.19/892.86 c #Conflicts: 669000 | #Constraints: 48026
890.19/892.86 c #Conflicts: 670000 | #Constraints: 49027
890.19/892.86 c #Conflicts: 671000 | #Constraints: 50030
890.19/892.86 c INPROCESSING
890.19/892.86 c GARBAGE COLLECT
890.19/892.86 c rational objective 5
915.62/918.30 c #Conflicts: 672000 | #Constraints: 34792
915.62/918.30 c #Conflicts: 673000 | #Constraints: 35792
915.62/918.30 c #Conflicts: 674000 | #Constraints: 36792
915.62/918.30 c #Conflicts: 675000 | #Constraints: 37793
915.62/918.30 c #Conflicts: 676000 | #Constraints: 38799
915.62/918.30 c #Conflicts: 677000 | #Constraints: 39802
915.62/918.30 c #Conflicts: 678000 | #Constraints: 40811
915.62/918.30 c #Conflicts: 679000 | #Constraints: 41813
915.62/918.30 c #Conflicts: 680000 | #Constraints: 42816
915.62/918.30 c #Conflicts: 681000 | #Constraints: 43817
915.62/918.30 c #Conflicts: 682000 | #Constraints: 44818
915.62/918.30 c #Conflicts: 683000 | #Constraints: 45819
915.62/918.30 c #Conflicts: 684000 | #Constraints: 46821
915.62/918.30 c #Conflicts: 685000 | #Constraints: 47823
915.62/918.30 c #Conflicts: 686000 | #Constraints: 48827
915.62/918.30 c #Conflicts: 687000 | #Constraints: 49830
915.62/918.30 c #Conflicts: 688000 | #Constraints: 50835
915.62/918.30 c INPROCESSING
915.62/918.30 c GARBAGE COLLECT
915.62/918.30 c rational objective 5
944.64/947.46 c #Conflicts: 689000 | #Constraints: 35404
944.64/947.46 c #Conflicts: 690000 | #Constraints: 36407
944.64/947.46 c #Conflicts: 691000 | #Constraints: 37409
944.64/947.46 c #Conflicts: 692000 | #Constraints: 38410
944.64/947.46 c #Conflicts: 693000 | #Constraints: 39411
944.64/947.46 c #Conflicts: 694000 | #Constraints: 40416
944.64/947.46 c #Conflicts: 695000 | #Constraints: 41419
944.64/947.46 c #Conflicts: 696000 | #Constraints: 42421
944.64/947.46 c #Conflicts: 697000 | #Constraints: 43423
944.64/947.46 c #Conflicts: 698000 | #Constraints: 44424
944.64/947.46 c #Conflicts: 699000 | #Constraints: 45425
944.64/947.46 c #Conflicts: 700000 | #Constraints: 46426
944.64/947.46 c #Conflicts: 701000 | #Constraints: 47429
944.64/947.46 c #Conflicts: 702000 | #Constraints: 48431
944.64/947.46 c #Conflicts: 703000 | #Constraints: 49435
944.64/947.46 c #Conflicts: 704000 | #Constraints: 50437
944.64/947.46 c #Conflicts: 705000 | #Constraints: 51439
944.64/947.46 c INPROCESSING
944.64/947.46 c GARBAGE COLLECT
944.64/947.46 c rational objective 5
964.79/967.62 c #Conflicts: 706000 | #Constraints: 35789
964.79/967.62 c #Conflicts: 707000 | #Constraints: 36789
964.79/967.62 c #Conflicts: 708000 | #Constraints: 37789
964.79/967.62 c #Conflicts: 709000 | #Constraints: 38794
964.79/967.62 c #Conflicts: 710000 | #Constraints: 39795
964.79/967.62 c #Conflicts: 711000 | #Constraints: 40796
964.79/967.62 c #Conflicts: 712000 | #Constraints: 41797
964.79/967.62 c #Conflicts: 713000 | #Constraints: 42797
964.79/967.62 c #Conflicts: 714000 | #Constraints: 43798
964.79/967.62 c #Conflicts: 715000 | #Constraints: 44799
964.79/967.62 c #Conflicts: 716000 | #Constraints: 45799
964.79/967.62 c #Conflicts: 717000 | #Constraints: 46801
964.79/967.62 c #Conflicts: 718000 | #Constraints: 47801
964.79/967.62 c #Conflicts: 719000 | #Constraints: 48803
964.79/967.62 c #Conflicts: 720000 | #Constraints: 49803
964.79/967.62 c #Conflicts: 721000 | #Constraints: 50804
964.79/967.62 c #Conflicts: 722000 | #Constraints: 51805
964.79/967.62 c INPROCESSING
964.79/967.62 c GARBAGE COLLECT
964.79/967.62 c rational objective 5
994.71/997.66 c #Conflicts: 723000 | #Constraints: 35888
994.71/997.66 c #Conflicts: 724000 | #Constraints: 36889
994.71/997.66 c #Conflicts: 725000 | #Constraints: 37892
994.71/997.66 c #Conflicts: 726000 | #Constraints: 38893
994.71/997.66 c #Conflicts: 727000 | #Constraints: 39897
994.71/997.66 c #Conflicts: 728000 | #Constraints: 40899
994.71/997.66 c #Conflicts: 729000 | #Constraints: 41900
994.71/997.66 c #Conflicts: 730000 | #Constraints: 42903
994.71/997.66 c #Conflicts: 731000 | #Constraints: 43904
994.71/997.66 c #Conflicts: 732000 | #Constraints: 44906
994.71/997.66 c #Conflicts: 733000 | #Constraints: 45906
994.71/997.66 c #Conflicts: 734000 | #Constraints: 46906
994.71/997.66 c #Conflicts: 735000 | #Constraints: 47908
994.71/997.66 c #Conflicts: 736000 | #Constraints: 48909
994.71/997.66 c #Conflicts: 737000 | #Constraints: 49910
994.71/997.66 c #Conflicts: 738000 | #Constraints: 50910
994.71/997.66 c #Conflicts: 739000 | #Constraints: 51910
994.71/997.66 c INPROCESSING
994.71/997.66 c GARBAGE COLLECT
994.71/997.66 c rational objective 5
1030.02/1033.04 c #Conflicts: 740000 | #Constraints: 35850
1030.02/1033.04 c #Conflicts: 741000 | #Constraints: 36851
1030.02/1033.04 c #Conflicts: 742000 | #Constraints: 37856
1030.02/1033.04 c #Conflicts: 743000 | #Constraints: 38857
1030.02/1033.04 c #Conflicts: 744000 | #Constraints: 39859
1030.02/1033.04 c #Conflicts: 745000 | #Constraints: 40863
1030.02/1033.04 c #Conflicts: 746000 | #Constraints: 41864
1030.02/1033.04 c #Conflicts: 747000 | #Constraints: 42867
1030.02/1033.04 c #Conflicts: 748000 | #Constraints: 43870
1030.02/1033.04 c #Conflicts: 749000 | #Constraints: 44871
1030.02/1033.04 c #Conflicts: 750000 | #Constraints: 45875
1030.02/1033.04 c #Conflicts: 751000 | #Constraints: 46877
1030.02/1033.04 c #Conflicts: 752000 | #Constraints: 47879
1030.02/1033.04 c #Conflicts: 753000 | #Constraints: 48880
1030.02/1033.04 c #Conflicts: 754000 | #Constraints: 49880
1030.02/1033.04 c #Conflicts: 755000 | #Constraints: 50883
1030.02/1033.04 c #Conflicts: 756000 | #Constraints: 51884
1030.02/1033.04 c INPROCESSING
1030.02/1033.04 c GARBAGE COLLECT
1030.02/1033.04 c rational objective 5
1059.33/1062.40 c #Conflicts: 757000 | #Constraints: 35613
1059.33/1062.40 c #Conflicts: 758000 | #Constraints: 36614
1059.33/1062.40 c #Conflicts: 759000 | #Constraints: 37619
1059.33/1062.40 c #Conflicts: 760000 | #Constraints: 38623
1059.33/1062.40 c #Conflicts: 761000 | #Constraints: 39627
1059.33/1062.40 c #Conflicts: 762000 | #Constraints: 40628
1059.33/1062.40 c #Conflicts: 763000 | #Constraints: 41631
1059.33/1062.40 c #Conflicts: 764000 | #Constraints: 42634
1059.33/1062.40 c #Conflicts: 765000 | #Constraints: 43636
1059.33/1062.40 c #Conflicts: 766000 | #Constraints: 44639
1059.33/1062.40 c #Conflicts: 767000 | #Constraints: 45643
1059.33/1062.40 c #Conflicts: 768000 | #Constraints: 46645
1059.33/1062.40 c #Conflicts: 769000 | #Constraints: 47647
1059.33/1062.40 c #Conflicts: 770000 | #Constraints: 48650
1059.33/1062.40 c #Conflicts: 771000 | #Constraints: 49651
1059.33/1062.40 c #Conflicts: 772000 | #Constraints: 50651
1059.33/1062.40 c #Conflicts: 773000 | #Constraints: 51652
1059.33/1062.40 c #Conflicts: 774000 | #Constraints: 52653
1059.33/1062.40 c INPROCESSING
1059.33/1062.40 c GARBAGE COLLECT
1059.33/1062.40 c rational objective 5
1085.16/1088.39 c #Conflicts: 775000 | #Constraints: 36194
1085.16/1088.39 c #Conflicts: 776000 | #Constraints: 37195
1085.16/1088.39 c #Conflicts: 777000 | #Constraints: 38198
1085.16/1088.39 c #Conflicts: 778000 | #Constraints: 39204
1085.16/1088.39 c #Conflicts: 779000 | #Constraints: 40212
1085.16/1088.39 c #Conflicts: 780000 | #Constraints: 41219
1085.16/1088.39 c #Conflicts: 781000 | #Constraints: 42220
1085.16/1088.39 c #Conflicts: 782000 | #Constraints: 43223
1085.16/1088.39 c #Conflicts: 783000 | #Constraints: 44224
1085.16/1088.39 c #Conflicts: 784000 | #Constraints: 45225
1085.16/1088.39 c #Conflicts: 785000 | #Constraints: 46225
1085.16/1088.39 c #Conflicts: 786000 | #Constraints: 47226
1085.16/1088.39 c #Conflicts: 787000 | #Constraints: 48226
1085.16/1088.39 c #Conflicts: 788000 | #Constraints: 49226
1085.16/1088.39 c #Conflicts: 789000 | #Constraints: 50227
1085.16/1088.39 c #Conflicts: 790000 | #Constraints: 51229
1085.16/1088.39 c #Conflicts: 791000 | #Constraints: 52229
1085.16/1088.39 c #Conflicts: 792000 | #Constraints: 53230
1085.16/1088.39 c INPROCESSING
1085.16/1088.39 c GARBAGE COLLECT
1085.16/1088.39 c rational objective 5
1109.19/1112.44 c #Conflicts: 793000 | #Constraints: 36586
1109.19/1112.44 c #Conflicts: 794000 | #Constraints: 37587
1109.19/1112.44 c #Conflicts: 795000 | #Constraints: 38592
1109.19/1112.44 c #Conflicts: 796000 | #Constraints: 39595
1109.19/1112.44 c #Conflicts: 797000 | #Constraints: 40596
1109.19/1112.44 c #Conflicts: 798000 | #Constraints: 41599
1109.19/1112.44 c #Conflicts: 799000 | #Constraints: 42599
1109.19/1112.44 c #Conflicts: 800000 | #Constraints: 43599
1109.19/1112.44 c #Conflicts: 801000 | #Constraints: 44600
1109.19/1112.44 c #Conflicts: 802000 | #Constraints: 45601
1109.19/1112.44 c #Conflicts: 803000 | #Constraints: 46602
1109.19/1112.44 c #Conflicts: 804000 | #Constraints: 47603
1109.19/1112.44 c #Conflicts: 805000 | #Constraints: 48604
1109.19/1112.44 c #Conflicts: 806000 | #Constraints: 49606
1109.19/1112.44 c #Conflicts: 807000 | #Constraints: 50609
1109.19/1112.44 c #Conflicts: 808000 | #Constraints: 51611
1109.19/1112.44 c #Conflicts: 809000 | #Constraints: 52614
1109.19/1112.44 c #Conflicts: 810000 | #Constraints: 53615
1109.19/1112.44 c INPROCESSING
1109.19/1112.44 c GARBAGE COLLECT
1109.19/1112.44 c rational objective 5
1139.92/1143.24 c #Conflicts: 811000 | #Constraints: 36777
1139.92/1143.24 c #Conflicts: 812000 | #Constraints: 37777
1139.92/1143.24 c #Conflicts: 813000 | #Constraints: 38779
1139.92/1143.24 c #Conflicts: 814000 | #Constraints: 39783
1139.92/1143.24 c #Conflicts: 815000 | #Constraints: 40787
1139.92/1143.24 c #Conflicts: 816000 | #Constraints: 41792
1139.92/1143.24 c #Conflicts: 817000 | #Constraints: 42798
1139.92/1143.24 c #Conflicts: 818000 | #Constraints: 43801
1139.92/1143.24 c #Conflicts: 819000 | #Constraints: 44806
1139.92/1143.24 c #Conflicts: 820000 | #Constraints: 45808
1139.92/1143.24 c #Conflicts: 821000 | #Constraints: 46809
1139.92/1143.24 c #Conflicts: 822000 | #Constraints: 47812
1139.92/1143.24 c #Conflicts: 823000 | #Constraints: 48813
1139.92/1143.24 c #Conflicts: 824000 | #Constraints: 49814
1139.92/1143.24 c #Conflicts: 825000 | #Constraints: 50815
1139.92/1143.24 c #Conflicts: 826000 | #Constraints: 51816
1139.92/1143.24 c #Conflicts: 827000 | #Constraints: 52817
1139.92/1143.24 c #Conflicts: 828000 | #Constraints: 53818
1139.92/1143.24 c INPROCESSING
1139.92/1143.24 c GARBAGE COLLECT
1139.92/1143.24 c rational objective 5
1166.66/1170.03 c #Conflicts: 829000 | #Constraints: 36803
1166.66/1170.03 c #Conflicts: 830000 | #Constraints: 37803
1166.66/1170.03 c #Conflicts: 831000 | #Constraints: 38805
1166.66/1170.03 c #Conflicts: 832000 | #Constraints: 39809
1166.66/1170.03 c #Conflicts: 833000 | #Constraints: 40812
1166.66/1170.03 c #Conflicts: 834000 | #Constraints: 41815
1166.66/1170.03 c #Conflicts: 835000 | #Constraints: 42816
1166.66/1170.03 c #Conflicts: 836000 | #Constraints: 43818
1166.66/1170.03 c #Conflicts: 837000 | #Constraints: 44820
1166.66/1170.03 c #Conflicts: 838000 | #Constraints: 45821
1166.66/1170.03 c #Conflicts: 839000 | #Constraints: 46822
1166.66/1170.03 c #Conflicts: 840000 | #Constraints: 47823
1166.66/1170.03 c #Conflicts: 841000 | #Constraints: 48824
1166.66/1170.03 c #Conflicts: 842000 | #Constraints: 49825
1166.66/1170.03 c #Conflicts: 843000 | #Constraints: 50826
1166.66/1170.03 c #Conflicts: 844000 | #Constraints: 51827
1166.66/1170.03 c #Conflicts: 845000 | #Constraints: 52828
1166.66/1170.03 c #Conflicts: 846000 | #Constraints: 53829
1166.66/1170.03 c INPROCESSING
1166.66/1170.03 c GARBAGE COLLECT
1166.66/1170.03 c rational objective 5
1192.77/1196.25 c #Conflicts: 847000 | #Constraints: 36557
1192.77/1196.25 c #Conflicts: 848000 | #Constraints: 37558
1192.77/1196.25 c #Conflicts: 849000 | #Constraints: 38562
1192.77/1196.25 c #Conflicts: 850000 | #Constraints: 39563
1192.77/1196.25 c #Conflicts: 851000 | #Constraints: 40564
1192.77/1196.25 c #Conflicts: 852000 | #Constraints: 41565
1192.77/1196.25 c #Conflicts: 853000 | #Constraints: 42566
1192.77/1196.25 c #Conflicts: 854000 | #Constraints: 43567
1192.77/1196.25 c #Conflicts: 855000 | #Constraints: 44567
1192.77/1196.25 c #Conflicts: 856000 | #Constraints: 45569
1192.77/1196.25 c #Conflicts: 857000 | #Constraints: 46571
1192.77/1196.25 c #Conflicts: 858000 | #Constraints: 47572
1192.77/1196.25 c #Conflicts: 859000 | #Constraints: 48573
1192.77/1196.25 c #Conflicts: 860000 | #Constraints: 49574
1192.77/1196.25 c #Conflicts: 861000 | #Constraints: 50576
1192.77/1196.25 c #Conflicts: 862000 | #Constraints: 51579
1192.77/1196.25 c #Conflicts: 863000 | #Constraints: 52580
1192.77/1196.25 c #Conflicts: 864000 | #Constraints: 53580
1192.77/1196.25 c #Conflicts: 865000 | #Constraints: 54581
1192.77/1196.25 c INPROCESSING
1192.77/1196.25 c GARBAGE COLLECT
1192.77/1196.25 c rational objective 5
1225.68/1229.27 c #Conflicts: 866000 | #Constraints: 37168
1225.68/1229.27 c #Conflicts: 867000 | #Constraints: 38168
1225.68/1229.27 c #Conflicts: 868000 | #Constraints: 39169
1225.68/1229.27 c #Conflicts: 869000 | #Constraints: 40173
1225.68/1229.27 c #Conflicts: 870000 | #Constraints: 41176
1225.68/1229.27 c #Conflicts: 871000 | #Constraints: 42180
1225.68/1229.27 c #Conflicts: 872000 | #Constraints: 43182
1225.68/1229.27 c #Conflicts: 873000 | #Constraints: 44184
1225.68/1229.27 c #Conflicts: 874000 | #Constraints: 45185
1225.68/1229.27 c #Conflicts: 875000 | #Constraints: 46187
1225.68/1229.27 c #Conflicts: 876000 | #Constraints: 47189
1225.68/1229.27 c #Conflicts: 877000 | #Constraints: 48192
1225.68/1229.27 c #Conflicts: 878000 | #Constraints: 49196
1225.68/1229.27 c #Conflicts: 879000 | #Constraints: 50200
1225.68/1229.27 c #Conflicts: 880000 | #Constraints: 51202
1225.68/1229.27 c #Conflicts: 881000 | #Constraints: 52204
1225.68/1229.27 c #Conflicts: 882000 | #Constraints: 53205
1225.68/1229.27 c #Conflicts: 883000 | #Constraints: 54207
1225.68/1229.27 c #Conflicts: 884000 | #Constraints: 55208
1225.68/1229.27 c INPROCESSING
1225.68/1229.27 c GARBAGE COLLECT
1225.68/1229.27 c rational objective 5
1265.57/1269.21 c #Conflicts: 885000 | #Constraints: 37538
1265.57/1269.21 c #Conflicts: 886000 | #Constraints: 38538
1265.57/1269.21 c #Conflicts: 887000 | #Constraints: 39538
1265.57/1269.21 c #Conflicts: 888000 | #Constraints: 40542
1265.57/1269.21 c #Conflicts: 889000 | #Constraints: 41547
1265.57/1269.21 c #Conflicts: 890000 | #Constraints: 42552
1265.57/1269.21 c #Conflicts: 891000 | #Constraints: 43557
1265.57/1269.21 c #Conflicts: 892000 | #Constraints: 44559
1265.57/1269.21 c #Conflicts: 893000 | #Constraints: 45560
1265.57/1269.21 c #Conflicts: 894000 | #Constraints: 46562
1265.57/1269.21 c #Conflicts: 895000 | #Constraints: 47563
1265.57/1269.21 c #Conflicts: 896000 | #Constraints: 48564
1265.57/1269.21 c #Conflicts: 897000 | #Constraints: 49566
1265.57/1269.21 c #Conflicts: 898000 | #Constraints: 50568
1265.57/1269.21 c #Conflicts: 899000 | #Constraints: 51571
1265.57/1269.21 c #Conflicts: 900000 | #Constraints: 52573
1265.57/1269.21 c #Conflicts: 901000 | #Constraints: 53574
1265.57/1269.21 c #Conflicts: 902000 | #Constraints: 54575
1265.57/1269.21 c #Conflicts: 903000 | #Constraints: 55576
1265.57/1269.21 c INPROCESSING
1265.57/1269.21 c GARBAGE COLLECT
1265.57/1269.21 c rational objective 5
1301.07/1304.86 c #Conflicts: 904000 | #Constraints: 37734
1301.07/1304.86 c #Conflicts: 905000 | #Constraints: 38734
1301.07/1304.86 c #Conflicts: 906000 | #Constraints: 39738
1301.07/1304.86 c #Conflicts: 907000 | #Constraints: 40743
1301.07/1304.86 c #Conflicts: 908000 | #Constraints: 41745
1301.07/1304.86 c #Conflicts: 909000 | #Constraints: 42747
1301.07/1304.86 c #Conflicts: 910000 | #Constraints: 43749
1301.07/1304.86 c #Conflicts: 911000 | #Constraints: 44751
1301.07/1304.86 c #Conflicts: 912000 | #Constraints: 45753
1301.07/1304.86 c #Conflicts: 913000 | #Constraints: 46754
1301.07/1304.86 c #Conflicts: 914000 | #Constraints: 47754
1301.07/1304.86 c #Conflicts: 915000 | #Constraints: 48755
1301.07/1304.86 c #Conflicts: 916000 | #Constraints: 49755
1301.07/1304.86 c #Conflicts: 917000 | #Constraints: 50755
1301.07/1304.86 c #Conflicts: 918000 | #Constraints: 51756
1301.07/1304.86 c #Conflicts: 919000 | #Constraints: 52757
1301.07/1304.86 c #Conflicts: 920000 | #Constraints: 53757
1301.07/1304.86 c #Conflicts: 921000 | #Constraints: 54758
1301.07/1304.86 c #Conflicts: 922000 | #Constraints: 55759
1301.07/1304.86 c INPROCESSING
1301.07/1304.86 c GARBAGE COLLECT
1301.07/1304.86 c rational objective 5
1338.19/1342.02 c #Conflicts: 923000 | #Constraints: 37711
1338.19/1342.02 c #Conflicts: 924000 | #Constraints: 38712
1338.19/1342.02 c #Conflicts: 925000 | #Constraints: 39716
1338.19/1342.02 c #Conflicts: 926000 | #Constraints: 40718
1338.19/1342.02 c #Conflicts: 927000 | #Constraints: 41721
1338.19/1342.02 c #Conflicts: 928000 | #Constraints: 42723
1338.19/1342.02 c #Conflicts: 929000 | #Constraints: 43726
1338.19/1342.02 c #Conflicts: 930000 | #Constraints: 44728
1338.19/1342.02 c #Conflicts: 931000 | #Constraints: 45731
1338.19/1342.02 c #Conflicts: 932000 | #Constraints: 46733
1338.19/1342.02 c #Conflicts: 933000 | #Constraints: 47735
1338.19/1342.02 c #Conflicts: 934000 | #Constraints: 48737
1338.19/1342.02 c #Conflicts: 935000 | #Constraints: 49738
1338.19/1342.02 c #Conflicts: 936000 | #Constraints: 50738
1338.19/1342.02 c #Conflicts: 937000 | #Constraints: 51740
1338.19/1342.02 c #Conflicts: 938000 | #Constraints: 52743
1338.19/1342.02 c #Conflicts: 939000 | #Constraints: 53744
1338.19/1342.02 c #Conflicts: 940000 | #Constraints: 54745
1338.19/1342.02 c #Conflicts: 941000 | #Constraints: 55746
1338.19/1342.02 c INPROCESSING
1338.19/1342.02 c GARBAGE COLLECT
1338.19/1342.02 c rational objective 5
1376.88/1380.80 c #Conflicts: 942000 | #Constraints: 37529
1376.88/1380.80 c #Conflicts: 943000 | #Constraints: 38529
1376.88/1380.80 c #Conflicts: 944000 | #Constraints: 39529
1376.88/1380.80 c #Conflicts: 945000 | #Constraints: 40529
1376.88/1380.80 c #Conflicts: 946000 | #Constraints: 41530
1376.88/1380.80 c #Conflicts: 947000 | #Constraints: 42533
1376.88/1380.80 c #Conflicts: 948000 | #Constraints: 43539
1376.88/1380.80 c #Conflicts: 949000 | #Constraints: 44543
1376.88/1380.80 c #Conflicts: 950000 | #Constraints: 45547
1376.88/1380.80 c #Conflicts: 951000 | #Constraints: 46552
1376.88/1380.80 c #Conflicts: 952000 | #Constraints: 47557
1376.88/1380.80 c #Conflicts: 953000 | #Constraints: 48569
1376.88/1380.80 c #Conflicts: 954000 | #Constraints: 49583
1376.88/1380.80 c #Conflicts: 955000 | #Constraints: 50584
1376.88/1380.80 c #Conflicts: 956000 | #Constraints: 51586
1376.88/1380.80 c #Conflicts: 957000 | #Constraints: 52587
1376.88/1380.80 c #Conflicts: 958000 | #Constraints: 53590
1376.88/1380.80 c #Conflicts: 959000 | #Constraints: 54593
1376.88/1380.80 c #Conflicts: 960000 | #Constraints: 55597
1376.88/1380.80 c #Conflicts: 961000 | #Constraints: 56597
1376.88/1380.80 c INPROCESSING
1376.88/1380.80 c GARBAGE COLLECT
1376.88/1380.80 c rational objective 5
1412.28/1416.37 c #Conflicts: 962000 | #Constraints: 38147
1412.28/1416.37 c #Conflicts: 963000 | #Constraints: 39147
1412.28/1416.37 c #Conflicts: 964000 | #Constraints: 40151
1412.28/1416.37 c #Conflicts: 965000 | #Constraints: 41156
1412.28/1416.37 c #Conflicts: 966000 | #Constraints: 42162
1412.28/1416.37 c #Conflicts: 967000 | #Constraints: 43165
1412.28/1416.37 c #Conflicts: 968000 | #Constraints: 44166
1412.28/1416.37 c #Conflicts: 969000 | #Constraints: 45167
1412.28/1416.37 c #Conflicts: 970000 | #Constraints: 46167
1412.28/1416.37 c #Conflicts: 971000 | #Constraints: 47168
1412.28/1416.37 c #Conflicts: 972000 | #Constraints: 48169
1412.28/1416.37 c #Conflicts: 973000 | #Constraints: 49170
1412.28/1416.37 c #Conflicts: 974000 | #Constraints: 50171
1412.28/1416.37 c #Conflicts: 975000 | #Constraints: 51173
1412.28/1416.37 c #Conflicts: 976000 | #Constraints: 52174
1412.28/1416.37 c #Conflicts: 977000 | #Constraints: 53175
1412.28/1416.37 c #Conflicts: 978000 | #Constraints: 54175
1412.28/1416.37 c #Conflicts: 979000 | #Constraints: 55176
1412.28/1416.37 c #Conflicts: 980000 | #Constraints: 56176
1412.28/1416.37 c #Conflicts: 981000 | #Constraints: 57177
1412.28/1416.37 c INPROCESSING
1412.28/1416.37 c GARBAGE COLLECT
1412.28/1416.37 c rational objective 5
1447.48/1451.66 c #Conflicts: 982000 | #Constraints: 38555
1447.48/1451.66 c #Conflicts: 983000 | #Constraints: 39556
1447.48/1451.66 c #Conflicts: 984000 | #Constraints: 40556
1447.48/1451.66 c #Conflicts: 985000 | #Constraints: 41563
1447.48/1451.66 c #Conflicts: 986000 | #Constraints: 42565
1447.48/1451.66 c #Conflicts: 987000 | #Constraints: 43569
1447.48/1451.66 c #Conflicts: 988000 | #Constraints: 44575
1447.48/1451.66 c #Conflicts: 989000 | #Constraints: 45577
1447.48/1451.66 c #Conflicts: 990000 | #Constraints: 46579
1447.48/1451.66 c #Conflicts: 991000 | #Constraints: 47581
1447.48/1451.66 c #Conflicts: 992000 | #Constraints: 48585
1447.48/1451.66 c #Conflicts: 993000 | #Constraints: 49587
1447.48/1451.66 c #Conflicts: 994000 | #Constraints: 50588
1447.48/1451.66 c #Conflicts: 995000 | #Constraints: 51589
1447.48/1451.66 c #Conflicts: 996000 | #Constraints: 52590
1447.48/1451.66 c #Conflicts: 997000 | #Constraints: 53590
1447.48/1451.66 c #Conflicts: 998000 | #Constraints: 54590
1447.48/1451.66 c #Conflicts: 999000 | #Constraints: 55591
1447.48/1451.66 c #Conflicts: 1000000 | #Constraints: 56591
1447.48/1451.66 c #Conflicts: 1001000 | #Constraints: 57591
1447.48/1451.66 c INPROCESSING
1447.48/1451.66 c GARBAGE COLLECT
1447.48/1451.66 c rational objective 5
1483.68/1487.93 c #Conflicts: 1002000 | #Constraints: 38747
1483.68/1487.93 c #Conflicts: 1003000 | #Constraints: 39747
1483.68/1487.93 c #Conflicts: 1004000 | #Constraints: 40749
1483.68/1487.93 c #Conflicts: 1005000 | #Constraints: 41751
1483.68/1487.93 c #Conflicts: 1006000 | #Constraints: 42752
1483.68/1487.93 c #Conflicts: 1007000 | #Constraints: 43753
1483.68/1487.93 c #Conflicts: 1008000 | #Constraints: 44755
1483.68/1487.93 c #Conflicts: 1009000 | #Constraints: 45758
1483.68/1487.93 c #Conflicts: 1010000 | #Constraints: 46760
1483.68/1487.93 c #Conflicts: 1011000 | #Constraints: 47760
1483.68/1487.93 c #Conflicts: 1012000 | #Constraints: 48761
1483.68/1487.93 c #Conflicts: 1013000 | #Constraints: 49763
1483.68/1487.93 c #Conflicts: 1014000 | #Constraints: 50765
1483.68/1487.93 c #Conflicts: 1015000 | #Constraints: 51765
1483.68/1487.93 c #Conflicts: 1016000 | #Constraints: 52766
1483.68/1487.93 c #Conflicts: 1017000 | #Constraints: 53768
1483.68/1487.93 c #Conflicts: 1018000 | #Constraints: 54769
1483.68/1487.93 c #Conflicts: 1019000 | #Constraints: 55770
1483.68/1487.93 c #Conflicts: 1020000 | #Constraints: 56772
1483.68/1487.93 c #Conflicts: 1021000 | #Constraints: 57774
1483.68/1487.93 c INPROCESSING
1483.68/1487.93 c GARBAGE COLLECT
1483.68/1487.93 c rational objective 5
1517.20/1521.57 c #Conflicts: 1022000 | #Constraints: 38776
1517.20/1521.57 c #Conflicts: 1023000 | #Constraints: 39779
1517.20/1521.57 c #Conflicts: 1024000 | #Constraints: 40781
1517.20/1521.57 c #Conflicts: 1025000 | #Constraints: 41784
1517.20/1521.57 c #Conflicts: 1026000 | #Constraints: 42786
1517.20/1521.57 c #Conflicts: 1027000 | #Constraints: 43787
1517.20/1521.57 c #Conflicts: 1028000 | #Constraints: 44787
1517.20/1521.57 c #Conflicts: 1029000 | #Constraints: 45787
1517.20/1521.57 c #Conflicts: 1030000 | #Constraints: 46787
1517.20/1521.57 c #Conflicts: 1031000 | #Constraints: 47787
1517.20/1521.57 c #Conflicts: 1032000 | #Constraints: 48788
1517.20/1521.57 c #Conflicts: 1033000 | #Constraints: 49789
1517.20/1521.57 c #Conflicts: 1034000 | #Constraints: 50790
1517.20/1521.57 c #Conflicts: 1035000 | #Constraints: 51791
1517.20/1521.57 c #Conflicts: 1036000 | #Constraints: 52791
1517.20/1521.57 c #Conflicts: 1037000 | #Constraints: 53791
1517.20/1521.57 c #Conflicts: 1038000 | #Constraints: 54791
1517.20/1521.57 c #Conflicts: 1039000 | #Constraints: 55791
1517.20/1521.57 c #Conflicts: 1040000 | #Constraints: 56792
1517.20/1521.57 c #Conflicts: 1041000 | #Constraints: 57792
1517.20/1521.57 c INPROCESSING
1517.20/1521.57 c GARBAGE COLLECT
1517.20/1521.57 c rational objective 5
1544.52/1548.98 c #Conflicts: 1042000 | #Constraints: 38542
1544.52/1548.98 c #Conflicts: 1043000 | #Constraints: 39542
1544.52/1548.98 c #Conflicts: 1044000 | #Constraints: 40543
1544.52/1548.98 c #Conflicts: 1045000 | #Constraints: 41543
1544.52/1548.98 c #Conflicts: 1046000 | #Constraints: 42548
1544.52/1548.98 c #Conflicts: 1047000 | #Constraints: 43554
1544.52/1548.98 c #Conflicts: 1048000 | #Constraints: 44560
1544.52/1548.98 c #Conflicts: 1049000 | #Constraints: 45566
1544.52/1548.98 c #Conflicts: 1050000 | #Constraints: 46567
1544.52/1548.98 c #Conflicts: 1051000 | #Constraints: 47567
1544.52/1548.98 c #Conflicts: 1052000 | #Constraints: 48570
1544.52/1548.98 c #Conflicts: 1053000 | #Constraints: 49574
1544.52/1548.98 c #Conflicts: 1054000 | #Constraints: 50577
1544.52/1548.98 c #Conflicts: 1055000 | #Constraints: 51581
1544.52/1548.98 c #Conflicts: 1056000 | #Constraints: 52582
1544.52/1548.98 c #Conflicts: 1057000 | #Constraints: 53582
1544.52/1548.98 c #Conflicts: 1058000 | #Constraints: 54582
1544.52/1548.98 c #Conflicts: 1059000 | #Constraints: 55583
1544.52/1548.98 c #Conflicts: 1060000 | #Constraints: 56584
1544.52/1548.98 c #Conflicts: 1061000 | #Constraints: 57586
1544.52/1548.98 c #Conflicts: 1062000 | #Constraints: 58586
1544.52/1548.98 c INPROCESSING
1544.52/1548.98 c GARBAGE COLLECT
1544.52/1548.98 c rational objective 5
1578.33/1582.86 c #Conflicts: 1063000 | #Constraints: 39140
1578.33/1582.86 c #Conflicts: 1064000 | #Constraints: 40141
1578.33/1582.86 c #Conflicts: 1065000 | #Constraints: 41141
1578.33/1582.86 c #Conflicts: 1066000 | #Constraints: 42142
1578.33/1582.86 c #Conflicts: 1067000 | #Constraints: 43144
1578.33/1582.86 c #Conflicts: 1068000 | #Constraints: 44145
1578.33/1582.86 c #Conflicts: 1069000 | #Constraints: 45146
1578.33/1582.86 c #Conflicts: 1070000 | #Constraints: 46152
1578.33/1582.86 c #Conflicts: 1071000 | #Constraints: 47156
1578.33/1582.86 c #Conflicts: 1072000 | #Constraints: 48158
1578.33/1582.86 c #Conflicts: 1073000 | #Constraints: 49162
1578.33/1582.86 c #Conflicts: 1074000 | #Constraints: 50163
1578.33/1582.86 c #Conflicts: 1075000 | #Constraints: 51165
1578.33/1582.86 c #Conflicts: 1076000 | #Constraints: 52166
1578.33/1582.86 c #Conflicts: 1077000 | #Constraints: 53168
1578.33/1582.86 c #Conflicts: 1078000 | #Constraints: 54171
1578.33/1582.86 c #Conflicts: 1079000 | #Constraints: 55172
1578.33/1582.86 c #Conflicts: 1080000 | #Constraints: 56174
1578.33/1582.86 c #Conflicts: 1081000 | #Constraints: 57175
1578.33/1582.86 c #Conflicts: 1082000 | #Constraints: 58177
1578.33/1582.86 c #Conflicts: 1083000 | #Constraints: 59179
1578.33/1582.86 c INPROCESSING
1578.33/1582.86 c GARBAGE COLLECT
1578.33/1582.86 c rational objective 5
1636.49/1641.15 c #Conflicts: 1084000 | #Constraints: 39479
1636.49/1641.15 c #Conflicts: 1085000 | #Constraints: 40482
1636.49/1641.15 c #Conflicts: 1086000 | #Constraints: 41485
1636.49/1641.15 c #Conflicts: 1087000 | #Constraints: 42487
1636.49/1641.15 c #Conflicts: 1088000 | #Constraints: 43489
1636.49/1641.15 c #Conflicts: 1089000 | #Constraints: 44491
1636.49/1641.15 c #Conflicts: 1090000 | #Constraints: 45494
1636.49/1641.15 c #Conflicts: 1091000 | #Constraints: 46498
1636.49/1641.15 c #Conflicts: 1092000 | #Constraints: 47499
1636.49/1641.15 c #Conflicts: 1093000 | #Constraints: 48503
1636.49/1641.15 c #Conflicts: 1094000 | #Constraints: 49508
1636.49/1641.15 c #Conflicts: 1095000 | #Constraints: 50509
1636.49/1641.15 c #Conflicts: 1096000 | #Constraints: 51510
1636.49/1641.15 c #Conflicts: 1097000 | #Constraints: 52513
1636.49/1641.15 c #Conflicts: 1098000 | #Constraints: 53516
1636.49/1641.15 c #Conflicts: 1099000 | #Constraints: 54518
1636.49/1641.15 c #Conflicts: 1100000 | #Constraints: 55521
1636.49/1641.15 c #Conflicts: 1101000 | #Constraints: 56521
1636.49/1641.15 c #Conflicts: 1102000 | #Constraints: 57522
1636.49/1641.15 c #Conflicts: 1103000 | #Constraints: 58522
1636.49/1641.15 c #Conflicts: 1104000 | #Constraints: 59523
1636.49/1641.15 c INPROCESSING
1636.49/1641.15 c GARBAGE COLLECT
1636.49/1641.15 c rational objective 5
1683.84/1688.60 c #Conflicts: 1105000 | #Constraints: 39679
1683.84/1688.60 c #Conflicts: 1106000 | #Constraints: 40679
1683.84/1688.60 c #Conflicts: 1107000 | #Constraints: 41682
1683.84/1688.60 c #Conflicts: 1108000 | #Constraints: 42684
1683.84/1688.60 c #Conflicts: 1109000 | #Constraints: 43686
1683.84/1688.60 c #Conflicts: 1110000 | #Constraints: 44686
1683.84/1688.60 c #Conflicts: 1111000 | #Constraints: 45687
1683.84/1688.60 c #Conflicts: 1112000 | #Constraints: 46688
1683.84/1688.60 c #Conflicts: 1113000 | #Constraints: 47691
1683.84/1688.60 c #Conflicts: 1114000 | #Constraints: 48692
1683.84/1688.60 c #Conflicts: 1115000 | #Constraints: 49693
1683.84/1688.60 c #Conflicts: 1116000 | #Constraints: 50694
1683.84/1688.60 c #Conflicts: 1117000 | #Constraints: 51695
1683.84/1688.60 c #Conflicts: 1118000 | #Constraints: 52696
1683.84/1688.60 c #Conflicts: 1119000 | #Constraints: 53697
1683.84/1688.60 c #Conflicts: 1120000 | #Constraints: 54697
1683.84/1688.60 c #Conflicts: 1121000 | #Constraints: 55697
1683.84/1688.60 c #Conflicts: 1122000 | #Constraints: 56699
1683.84/1688.60 c #Conflicts: 1123000 | #Constraints: 57701
1683.84/1688.60 c #Conflicts: 1124000 | #Constraints: 58702
1683.84/1688.60 c #Conflicts: 1125000 | #Constraints: 59704
1683.84/1688.60 c INPROCESSING
1683.84/1688.60 c GARBAGE COLLECT
1683.84/1688.60 c rational objective 5
1719.05/1723.98 c #Conflicts: 1126000 | #Constraints: 39615
1719.05/1723.98 c #Conflicts: 1127000 | #Constraints: 40615
1719.05/1723.98 c #Conflicts: 1128000 | #Constraints: 41617
1719.05/1723.98 c #Conflicts: 1129000 | #Constraints: 42620
1719.05/1723.98 c #Conflicts: 1130000 | #Constraints: 43622
1719.05/1723.98 c #Conflicts: 1131000 | #Constraints: 44622
1719.05/1723.98 c #Conflicts: 1132000 | #Constraints: 45624
1719.05/1723.98 c #Conflicts: 1133000 | #Constraints: 46627
1719.05/1723.98 c #Conflicts: 1134000 | #Constraints: 47631
1719.05/1723.98 c #Conflicts: 1135000 | #Constraints: 48633
1719.05/1723.98 c #Conflicts: 1136000 | #Constraints: 49635
1719.05/1723.98 c #Conflicts: 1137000 | #Constraints: 50635
1719.05/1723.98 c #Conflicts: 1138000 | #Constraints: 51636
1719.05/1723.98 c #Conflicts: 1139000 | #Constraints: 52640
1719.05/1723.98 c #Conflicts: 1140000 | #Constraints: 53645
1719.05/1723.98 c #Conflicts: 1141000 | #Constraints: 54648
1719.05/1723.98 c #Conflicts: 1142000 | #Constraints: 55650
1719.05/1723.98 c #Conflicts: 1143000 | #Constraints: 56654
1719.05/1723.98 c #Conflicts: 1144000 | #Constraints: 57657
1719.05/1723.98 c #Conflicts: 1145000 | #Constraints: 58657
1719.05/1723.98 c #Conflicts: 1146000 | #Constraints: 59661
1719.05/1723.98 c INPROCESSING
1719.05/1723.98 c GARBAGE COLLECT
1719.05/1723.98 c rational objective 5
1757.16/1762.13 c #Conflicts: 1147000 | #Constraints: 39397
1757.16/1762.13 c #Conflicts: 1148000 | #Constraints: 40397
1757.16/1762.13 c #Conflicts: 1149000 | #Constraints: 41397
1757.16/1762.13 c #Conflicts: 1150000 | #Constraints: 42398
1757.16/1762.13 c #Conflicts: 1151000 | #Constraints: 43400
1757.16/1762.13 c #Conflicts: 1152000 | #Constraints: 44401
1757.16/1762.13 c #Conflicts: 1153000 | #Constraints: 45402
1757.16/1762.13 c #Conflicts: 1154000 | #Constraints: 46407
1757.16/1762.13 c #Conflicts: 1155000 | #Constraints: 47410
1757.16/1762.13 c #Conflicts: 1156000 | #Constraints: 48411
1757.16/1762.13 c #Conflicts: 1157000 | #Constraints: 49413
1757.16/1762.13 c #Conflicts: 1158000 | #Constraints: 50414
1757.16/1762.13 c #Conflicts: 1159000 | #Constraints: 51414
1757.16/1762.13 c #Conflicts: 1160000 | #Constraints: 52414
1757.16/1762.13 c #Conflicts: 1161000 | #Constraints: 53416
1757.16/1762.13 c #Conflicts: 1162000 | #Constraints: 54417
1757.16/1762.13 c #Conflicts: 1163000 | #Constraints: 55419
1757.16/1762.13 c #Conflicts: 1164000 | #Constraints: 56420
1757.16/1762.13 c #Conflicts: 1165000 | #Constraints: 57421
1757.16/1762.13 c #Conflicts: 1166000 | #Constraints: 58422
1757.16/1762.13 c #Conflicts: 1167000 | #Constraints: 59423
1757.16/1762.13 c #Conflicts: 1168000 | #Constraints: 60423
1757.16/1762.13 c INPROCESSING
1757.16/1762.13 c GARBAGE COLLECT
1757.16/1762.13 c rational objective 5
1797.74/1802.82 c #Conflicts: 1169000 | #Constraints: 39964
1797.74/1802.82 c #Conflicts: 1170000 | #Constraints: 40964
1797.74/1802.82 c #Conflicts: 1171000 | #Constraints: 41965
1797.74/1802.82 c #Conflicts: 1172000 | #Constraints: 42966
1797.74/1802.82 c #Conflicts: 1173000 | #Constraints: 43970
1797.74/1802.82 c #Conflicts: 1174000 | #Constraints: 44975
1797.74/1802.82 c #Conflicts: 1175000 | #Constraints: 45980
1797.74/1802.82 c #Conflicts: 1176000 | #Constraints: 46983
1797.74/1802.82 c #Conflicts: 1177000 | #Constraints: 47987
1797.74/1802.82 c #Conflicts: 1178000 | #Constraints: 48987
1797.74/1802.82 c #Conflicts: 1179000 | #Constraints: 49987
1797.74/1802.82 c #Conflicts: 1180000 | #Constraints: 50987
1797.74/1802.82 c #Conflicts: 1181000 | #Constraints: 51989
1797.74/1802.82 c #Conflicts: 1182000 | #Constraints: 52989
1797.74/1802.82 c #Conflicts: 1183000 | #Constraints: 53990
1797.74/1802.82 c #Conflicts: 1184000 | #Constraints: 54991
1797.74/1802.82 c #Conflicts: 1185000 | #Constraints: 55992
1797.74/1802.82 c #Conflicts: 1186000 | #Constraints: 56992
1797.74/1802.82 c #Conflicts: 1187000 | #Constraints: 57992
1797.74/1802.82 c #Conflicts: 1188000 | #Constraints: 58992
1797.74/1802.82 c #Conflicts: 1189000 | #Constraints: 59992
1797.74/1802.82 c #Conflicts: 1190000 | #Constraints: 60993
1797.74/1802.82 c INPROCESSING
1797.74/1802.82 c GARBAGE COLLECT
1797.74/1802.82 c rational objective 5
1845.61/1850.87 c #Conflicts: 1191000 | #Constraints: 40352
1845.61/1850.87 c #Conflicts: 1192000 | #Constraints: 41354
1845.61/1850.87 c #Conflicts: 1193000 | #Constraints: 42355
1845.61/1850.87 c #Conflicts: 1194000 | #Constraints: 43358
1845.61/1850.87 c #Conflicts: 1195000 | #Constraints: 44362
1845.61/1850.87 c #Conflicts: 1196000 | #Constraints: 45364
1845.61/1850.87 c #Conflicts: 1197000 | #Constraints: 46364
1845.61/1850.87 c #Conflicts: 1198000 | #Constraints: 47364
1845.61/1850.87 c #Conflicts: 1199000 | #Constraints: 48364
1845.61/1850.87 c #Conflicts: 1200000 | #Constraints: 49365
1845.61/1850.87 c #Conflicts: 1201000 | #Constraints: 50366
1845.61/1850.87 c #Conflicts: 1202000 | #Constraints: 51367
1845.61/1850.87 c #Conflicts: 1203000 | #Constraints: 52367
1845.61/1850.87 c #Conflicts: 1204000 | #Constraints: 53368
1845.61/1850.87 c #Conflicts: 1205000 | #Constraints: 54369
1845.61/1850.87 c #Conflicts: 1206000 | #Constraints: 55371
1845.61/1850.87 c #Conflicts: 1207000 | #Constraints: 56372
1845.61/1850.87 c #Conflicts: 1208000 | #Constraints: 57372
1845.61/1850.87 c #Conflicts: 1209000 | #Constraints: 58374
1845.61/1850.87 c #Conflicts: 1210000 | #Constraints: 59374
1845.61/1850.87 c #Conflicts: 1211000 | #Constraints: 60374
1845.61/1850.87 c #Conflicts: 1212000 | #Constraints: 61376
1845.61/1850.87 c INPROCESSING
1845.61/1850.87 c GARBAGE COLLECT
1845.61/1850.87 c rational objective 5
1899.56/1904.97 c #Conflicts: 1213000 | #Constraints: 40538
1899.56/1904.97 c #Conflicts: 1214000 | #Constraints: 41539
1899.56/1904.97 c #Conflicts: 1215000 | #Constraints: 42543
1899.56/1904.97 c #Conflicts: 1216000 | #Constraints: 43545
1899.56/1904.97 c #Conflicts: 1217000 | #Constraints: 44546
1899.56/1904.97 c #Conflicts: 1218000 | #Constraints: 45549
1899.56/1904.97 c #Conflicts: 1219000 | #Constraints: 46551
1899.56/1904.97 c #Conflicts: 1220000 | #Constraints: 47552
1899.56/1904.97 c #Conflicts: 1221000 | #Constraints: 48553
1899.56/1904.97 c #Conflicts: 1222000 | #Constraints: 49554
1899.56/1904.97 c #Conflicts: 1223000 | #Constraints: 50555
1899.56/1904.97 c #Conflicts: 1224000 | #Constraints: 51557
1899.56/1904.97 c #Conflicts: 1225000 | #Constraints: 52558
1899.56/1904.97 c #Conflicts: 1226000 | #Constraints: 53558
1899.56/1904.97 c #Conflicts: 1227000 | #Constraints: 54561
1899.56/1904.97 c #Conflicts: 1228000 | #Constraints: 55562
1899.56/1904.97 c #Conflicts: 1229000 | #Constraints: 56564
1899.56/1904.97 c #Conflicts: 1230000 | #Constraints: 57565
1899.56/1904.97 c #Conflicts: 1231000 | #Constraints: 58565
1899.56/1904.97 c #Conflicts: 1232000 | #Constraints: 59565
1899.56/1904.97 c #Conflicts: 1233000 | #Constraints: 60566
1899.56/1904.97 c #Conflicts: 1234000 | #Constraints: 61567
1899.56/1904.97 c INPROCESSING
1899.56/1904.97 c GARBAGE COLLECT
1899.56/1904.97 c rational objective 5
1952.92/1958.44 c #Conflicts: 1235000 | #Constraints: 40525
1952.92/1958.44 c #Conflicts: 1236000 | #Constraints: 41527
1952.92/1958.44 c #Conflicts: 1237000 | #Constraints: 42530
1952.92/1958.44 c #Conflicts: 1238000 | #Constraints: 43536
1952.92/1958.44 c #Conflicts: 1239000 | #Constraints: 44540
1952.92/1958.44 c #Conflicts: 1240000 | #Constraints: 45542
1952.92/1958.44 c #Conflicts: 1241000 | #Constraints: 46544
1952.92/1958.44 c #Conflicts: 1242000 | #Constraints: 47544
1952.92/1958.44 c #Conflicts: 1243000 | #Constraints: 48546
1952.92/1958.44 c #Conflicts: 1244000 | #Constraints: 49548
1952.92/1958.44 c #Conflicts: 1245000 | #Constraints: 50549
1952.92/1958.44 c #Conflicts: 1246000 | #Constraints: 51550
1952.92/1958.44 c #Conflicts: 1247000 | #Constraints: 52551
1952.92/1958.44 c #Conflicts: 1248000 | #Constraints: 53552
1952.92/1958.44 c #Conflicts: 1249000 | #Constraints: 54552
1952.92/1958.44 c #Conflicts: 1250000 | #Constraints: 55552
1952.92/1958.44 c #Conflicts: 1251000 | #Constraints: 56553
1952.92/1958.44 c #Conflicts: 1252000 | #Constraints: 57554
1952.92/1958.44 c #Conflicts: 1253000 | #Constraints: 58554
1952.92/1958.44 c #Conflicts: 1254000 | #Constraints: 59555
1952.92/1958.44 c #Conflicts: 1255000 | #Constraints: 60556
1952.92/1958.44 c #Conflicts: 1256000 | #Constraints: 61556
1952.92/1958.44 c INPROCESSING
1952.92/1958.44 c GARBAGE COLLECT
1952.92/1958.44 c rational objective 5
2001.50/2007.13 c #Conflicts: 1257000 | #Constraints: 40317
2001.50/2007.13 c #Conflicts: 1258000 | #Constraints: 41317
2001.50/2007.13 c #Conflicts: 1259000 | #Constraints: 42317
2001.50/2007.13 c #Conflicts: 1260000 | #Constraints: 43319
2001.50/2007.13 c #Conflicts: 1261000 | #Constraints: 44323
2001.50/2007.13 c #Conflicts: 1262000 | #Constraints: 45326
2001.50/2007.13 c #Conflicts: 1263000 | #Constraints: 46329
2001.50/2007.13 c #Conflicts: 1264000 | #Constraints: 47329
2001.50/2007.13 c #Conflicts: 1265000 | #Constraints: 48330
2001.50/2007.13 c #Conflicts: 1266000 | #Constraints: 49332
2001.50/2007.13 c #Conflicts: 1267000 | #Constraints: 50336
2001.50/2007.13 c #Conflicts: 1268000 | #Constraints: 51341
2001.50/2007.13 c #Conflicts: 1269000 | #Constraints: 52345
2001.50/2007.13 c #Conflicts: 1270000 | #Constraints: 53349
2001.50/2007.13 c #Conflicts: 1271000 | #Constraints: 54351
2001.50/2007.13 c #Conflicts: 1272000 | #Constraints: 55351
2001.50/2007.13 c #Conflicts: 1273000 | #Constraints: 56353
2001.50/2007.13 c #Conflicts: 1274000 | #Constraints: 57354
2001.50/2007.13 c #Conflicts: 1275000 | #Constraints: 58355
2001.50/2007.13 c #Conflicts: 1276000 | #Constraints: 59356
2001.50/2007.13 c #Conflicts: 1277000 | #Constraints: 60358
2001.50/2007.13 c #Conflicts: 1278000 | #Constraints: 61358
2001.50/2007.13 c #Conflicts: 1279000 | #Constraints: 62358
2001.50/2007.13 c INPROCESSING
2001.50/2007.13 c GARBAGE COLLECT
2001.50/2007.13 c rational objective 5
2041.78/2047.59 c #Conflicts: 1280000 | #Constraints: 40914
2041.78/2047.59 c #Conflicts: 1281000 | #Constraints: 41916
2041.78/2047.59 c #Conflicts: 1282000 | #Constraints: 42917
2041.78/2047.59 c #Conflicts: 1283000 | #Constraints: 43919
2041.78/2047.59 c #Conflicts: 1284000 | #Constraints: 44926
2041.78/2047.59 c #Conflicts: 1285000 | #Constraints: 45926
2041.78/2047.59 c #Conflicts: 1286000 | #Constraints: 46927
2041.78/2047.59 c #Conflicts: 1287000 | #Constraints: 47929
2041.78/2047.59 c #Conflicts: 1288000 | #Constraints: 48930
2041.78/2047.59 c #Conflicts: 1289000 | #Constraints: 49932
2041.78/2047.59 c #Conflicts: 1290000 | #Constraints: 50935
2041.78/2047.59 c #Conflicts: 1291000 | #Constraints: 51937
2041.78/2047.59 c #Conflicts: 1292000 | #Constraints: 52939
2041.78/2047.59 c #Conflicts: 1293000 | #Constraints: 53941
2041.78/2047.59 c #Conflicts: 1294000 | #Constraints: 54942
2041.78/2047.59 c #Conflicts: 1295000 | #Constraints: 55945
2041.78/2047.59 c #Conflicts: 1296000 | #Constraints: 56947
2041.78/2047.59 c #Conflicts: 1297000 | #Constraints: 57949
2041.78/2047.59 c #Conflicts: 1298000 | #Constraints: 58950
2041.78/2047.59 c #Conflicts: 1299000 | #Constraints: 59952
2041.78/2047.59 c #Conflicts: 1300000 | #Constraints: 60955
2041.78/2047.59 c #Conflicts: 1301000 | #Constraints: 61964
2041.78/2047.59 c #Conflicts: 1302000 | #Constraints: 62968
2041.78/2047.59 c INPROCESSING
2041.78/2047.59 c GARBAGE COLLECT
2041.78/2047.59 c rational objective 5
2088.17/2094.10 c #Conflicts: 1303000 | #Constraints: 41350
2088.17/2094.10 c #Conflicts: 1304000 | #Constraints: 42351
2088.17/2094.10 c #Conflicts: 1305000 | #Constraints: 43355
2088.17/2094.10 c #Conflicts: 1306000 | #Constraints: 44356
2088.17/2094.10 c #Conflicts: 1307000 | #Constraints: 45358
2088.17/2094.10 c #Conflicts: 1308000 | #Constraints: 46360
2088.17/2094.10 c #Conflicts: 1309000 | #Constraints: 47365
2088.17/2094.10 c #Conflicts: 1310000 | #Constraints: 48366
2088.17/2094.10 c #Conflicts: 1311000 | #Constraints: 49368
2088.17/2094.10 c #Conflicts: 1312000 | #Constraints: 50369
2088.17/2094.10 c #Conflicts: 1313000 | #Constraints: 51371
2088.17/2094.10 c #Conflicts: 1314000 | #Constraints: 52371
2088.17/2094.10 c #Conflicts: 1315000 | #Constraints: 53371
2088.17/2094.10 c #Conflicts: 1316000 | #Constraints: 54372
2088.17/2094.10 c #Conflicts: 1317000 | #Constraints: 55372
2088.17/2094.10 c #Conflicts: 1318000 | #Constraints: 56372
2088.17/2094.10 c #Conflicts: 1319000 | #Constraints: 57373
2088.17/2094.10 c #Conflicts: 1320000 | #Constraints: 58373
2088.17/2094.10 c #Conflicts: 1321000 | #Constraints: 59373
2088.17/2094.10 c #Conflicts: 1322000 | #Constraints: 60373
2088.17/2094.10 c #Conflicts: 1323000 | #Constraints: 61374
2088.17/2094.10 c #Conflicts: 1324000 | #Constraints: 62374
2088.17/2094.10 c #Conflicts: 1325000 | #Constraints: 63375
2088.17/2094.10 c INPROCESSING
2088.17/2094.10 c GARBAGE COLLECT
2088.17/2094.10 c rational objective 5
2144.61/2150.68 c #Conflicts: 1326000 | #Constraints: 41549
2144.61/2150.68 c #Conflicts: 1327000 | #Constraints: 42551
2144.61/2150.68 c #Conflicts: 1328000 | #Constraints: 43552
2144.61/2150.68 c #Conflicts: 1329000 | #Constraints: 44555
2144.61/2150.68 c #Conflicts: 1330000 | #Constraints: 45559
2144.61/2150.68 c #Conflicts: 1331000 | #Constraints: 46562
2144.61/2150.68 c #Conflicts: 1332000 | #Constraints: 47567
2144.61/2150.68 c #Conflicts: 1333000 | #Constraints: 48568
2144.61/2150.68 c #Conflicts: 1334000 | #Constraints: 49572
2144.61/2150.68 c #Conflicts: 1335000 | #Constraints: 50572
2144.61/2150.68 c #Conflicts: 1336000 | #Constraints: 51574
2144.61/2150.68 c #Conflicts: 1337000 | #Constraints: 52577
2144.61/2150.68 c #Conflicts: 1338000 | #Constraints: 53578
2144.61/2150.68 c #Conflicts: 1339000 | #Constraints: 54578
2144.61/2150.68 c #Conflicts: 1340000 | #Constraints: 55580
2144.61/2150.68 c #Conflicts: 1341000 | #Constraints: 56580
2144.61/2150.68 c #Conflicts: 1342000 | #Constraints: 57583
2144.61/2150.68 c #Conflicts: 1343000 | #Constraints: 58584
2144.61/2150.68 c #Conflicts: 1344000 | #Constraints: 59586
2144.61/2150.68 c #Conflicts: 1345000 | #Constraints: 60588
2144.61/2150.68 c #Conflicts: 1346000 | #Constraints: 61589
2144.61/2150.68 c #Conflicts: 1347000 | #Constraints: 62590
2144.61/2150.68 c #Conflicts: 1348000 | #Constraints: 63590
2144.61/2150.68 c INPROCESSING
2144.61/2150.68 c GARBAGE COLLECT
2144.61/2150.68 c rational objective 5
2191.68/2197.82 c #Conflicts: 1349000 | #Constraints: 41565
2191.68/2197.82 c #Conflicts: 1350000 | #Constraints: 42566
2191.68/2197.82 c #Conflicts: 1351000 | #Constraints: 43572
2191.68/2197.82 c #Conflicts: 1352000 | #Constraints: 44574
2191.68/2197.82 c #Conflicts: 1353000 | #Constraints: 45580
2191.68/2197.82 c #Conflicts: 1354000 | #Constraints: 46584
2191.68/2197.82 c #Conflicts: 1355000 | #Constraints: 47591
2191.68/2197.82 c #Conflicts: 1356000 | #Constraints: 48594
2191.68/2197.82 c #Conflicts: 1357000 | #Constraints: 49598
2191.68/2197.82 c #Conflicts: 1358000 | #Constraints: 50600
2191.68/2197.82 c #Conflicts: 1359000 | #Constraints: 51602
2191.68/2197.82 c #Conflicts: 1360000 | #Constraints: 52604
2191.68/2197.82 c #Conflicts: 1361000 | #Constraints: 53606
2191.68/2197.82 c #Conflicts: 1362000 | #Constraints: 54610
2191.68/2197.82 c #Conflicts: 1363000 | #Constraints: 55613
2191.68/2197.82 c #Conflicts: 1364000 | #Constraints: 56616
2191.68/2197.82 c #Conflicts: 1365000 | #Constraints: 57621
2191.68/2197.82 c #Conflicts: 1366000 | #Constraints: 58623
2191.68/2197.82 c #Conflicts: 1367000 | #Constraints: 59625
2191.68/2197.82 c #Conflicts: 1368000 | #Constraints: 60626
2191.68/2197.82 c #Conflicts: 1369000 | #Constraints: 61627
2191.68/2197.82 c #Conflicts: 1370000 | #Constraints: 62629
2191.68/2197.82 c #Conflicts: 1371000 | #Constraints: 63631
2191.68/2197.82 c INPROCESSING
2191.68/2197.82 c GARBAGE COLLECT
2191.68/2197.82 c rational objective 5
2240.23/2246.58 c #Conflicts: 1372000 | #Constraints: 41358
2240.23/2246.58 c #Conflicts: 1373000 | #Constraints: 42358
2240.23/2246.58 c #Conflicts: 1374000 | #Constraints: 43361
2240.23/2246.58 c #Conflicts: 1375000 | #Constraints: 44366
2240.23/2246.58 c #Conflicts: 1376000 | #Constraints: 45368
2240.23/2246.58 c #Conflicts: 1377000 | #Constraints: 46371
2240.23/2246.58 c #Conflicts: 1378000 | #Constraints: 47372
2240.23/2246.58 c #Conflicts: 1379000 | #Constraints: 48373
2240.23/2246.58 c #Conflicts: 1380000 | #Constraints: 49376
2240.23/2246.58 c #Conflicts: 1381000 | #Constraints: 50378
2240.23/2246.58 c #Conflicts: 1382000 | #Constraints: 51379
2240.23/2246.58 c #Conflicts: 1383000 | #Constraints: 52380
2240.23/2246.58 c #Conflicts: 1384000 | #Constraints: 53382
2240.23/2246.58 c #Conflicts: 1385000 | #Constraints: 54384
2240.23/2246.58 c #Conflicts: 1386000 | #Constraints: 55385
2240.23/2246.58 c #Conflicts: 1387000 | #Constraints: 56386
2240.23/2246.58 c #Conflicts: 1388000 | #Constraints: 57387
2240.23/2246.58 c #Conflicts: 1389000 | #Constraints: 58388
2240.23/2246.58 c #Conflicts: 1390000 | #Constraints: 59389
2240.23/2246.58 c #Conflicts: 1391000 | #Constraints: 60390
2240.23/2246.58 c #Conflicts: 1392000 | #Constraints: 61391
2240.23/2246.58 c #Conflicts: 1393000 | #Constraints: 62392
2240.23/2246.58 c #Conflicts: 1394000 | #Constraints: 63394
2240.23/2246.58 c #Conflicts: 1395000 | #Constraints: 64395
2240.23/2246.58 c INPROCESSING
2240.23/2246.58 c GARBAGE COLLECT
2240.23/2246.58 c rational objective 5
2307.34/2313.88 c #Conflicts: 1396000 | #Constraints: 41943
2307.34/2313.88 c #Conflicts: 1397000 | #Constraints: 42943
2307.34/2313.88 c #Conflicts: 1398000 | #Constraints: 43945
2307.34/2313.88 c #Conflicts: 1399000 | #Constraints: 44945
2307.34/2313.88 c #Conflicts: 1400000 | #Constraints: 45948
2307.34/2313.88 c #Conflicts: 1401000 | #Constraints: 46953
2307.34/2313.88 c #Conflicts: 1402000 | #Constraints: 47957
2307.34/2313.88 c #Conflicts: 1403000 | #Constraints: 48961
2307.34/2313.88 c #Conflicts: 1404000 | #Constraints: 49964
2307.34/2313.88 c #Conflicts: 1405000 | #Constraints: 50967
2307.34/2313.88 c #Conflicts: 1406000 | #Constraints: 51968
2307.34/2313.88 c #Conflicts: 1407000 | #Constraints: 52970
2307.34/2313.88 c #Conflicts: 1408000 | #Constraints: 53971
2307.34/2313.88 c #Conflicts: 1409000 | #Constraints: 54972
2307.34/2313.88 c #Conflicts: 1410000 | #Constraints: 55972
2307.34/2313.88 c #Conflicts: 1411000 | #Constraints: 56973
2307.34/2313.88 c #Conflicts: 1412000 | #Constraints: 57975
2307.34/2313.88 c #Conflicts: 1413000 | #Constraints: 58977
2307.34/2313.88 c #Conflicts: 1414000 | #Constraints: 59978
2307.34/2313.88 c #Conflicts: 1415000 | #Constraints: 60980
2307.34/2313.88 c #Conflicts: 1416000 | #Constraints: 61981
2307.34/2313.88 c #Conflicts: 1417000 | #Constraints: 62981
2307.34/2313.88 c #Conflicts: 1418000 | #Constraints: 63982
2307.34/2313.88 c #Conflicts: 1419000 | #Constraints: 64982
2307.34/2313.88 c INPROCESSING
2307.34/2313.88 c GARBAGE COLLECT
2307.34/2313.88 c rational objective 5
2362.29/2368.96 c #Conflicts: 1420000 | #Constraints: 42359
2362.29/2368.96 c #Conflicts: 1421000 | #Constraints: 43359
2362.29/2368.96 c #Conflicts: 1422000 | #Constraints: 44359
2362.29/2368.96 c #Conflicts: 1423000 | #Constraints: 45359
2362.29/2368.96 c #Conflicts: 1424000 | #Constraints: 46361
2362.29/2368.96 c #Conflicts: 1425000 | #Constraints: 47361
2362.29/2368.96 c #Conflicts: 1426000 | #Constraints: 48361
2362.29/2368.96 c #Conflicts: 1427000 | #Constraints: 49361
2362.29/2368.96 c #Conflicts: 1428000 | #Constraints: 50363
2362.29/2368.96 c #Conflicts: 1429000 | #Constraints: 51363
2362.29/2368.96 c #Conflicts: 1430000 | #Constraints: 52364
2362.29/2368.96 c #Conflicts: 1431000 | #Constraints: 53368
2362.29/2368.96 c #Conflicts: 1432000 | #Constraints: 54370
2362.29/2368.96 c #Conflicts: 1433000 | #Constraints: 55370
2362.29/2368.96 c #Conflicts: 1434000 | #Constraints: 56370
2362.29/2368.96 c #Conflicts: 1435000 | #Constraints: 57371
2362.29/2368.96 c #Conflicts: 1436000 | #Constraints: 58373
2362.29/2368.96 c #Conflicts: 1437000 | #Constraints: 59374
2362.29/2368.96 c #Conflicts: 1438000 | #Constraints: 60375
2362.29/2368.96 c #Conflicts: 1439000 | #Constraints: 61375
2362.29/2368.96 c #Conflicts: 1440000 | #Constraints: 62376
2362.29/2368.96 c #Conflicts: 1441000 | #Constraints: 63377
2362.29/2368.96 c #Conflicts: 1442000 | #Constraints: 64378
2362.29/2368.96 c #Conflicts: 1443000 | #Constraints: 65379
2362.29/2368.96 c INPROCESSING
2362.29/2368.96 c GARBAGE COLLECT
2362.29/2368.96 c rational objective 5
2439.19/2446.09 c #Conflicts: 1444000 | #Constraints: 42531
2439.19/2446.09 c #Conflicts: 1445000 | #Constraints: 43532
2439.19/2446.09 c #Conflicts: 1446000 | #Constraints: 44535
2439.19/2446.09 c #Conflicts: 1447000 | #Constraints: 45539
2439.19/2446.09 c #Conflicts: 1448000 | #Constraints: 46545
2439.19/2446.09 c #Conflicts: 1449000 | #Constraints: 47546
2439.19/2446.09 c #Conflicts: 1450000 | #Constraints: 48549
2439.19/2446.09 c #Conflicts: 1451000 | #Constraints: 49552
2439.19/2446.09 c #Conflicts: 1452000 | #Constraints: 50556
2439.19/2446.09 c #Conflicts: 1453000 | #Constraints: 51558
2439.19/2446.09 c #Conflicts: 1454000 | #Constraints: 52561
2439.19/2446.09 c #Conflicts: 1455000 | #Constraints: 53564
2439.19/2446.09 c #Conflicts: 1456000 | #Constraints: 54566
2439.19/2446.09 c #Conflicts: 1457000 | #Constraints: 55567
2439.19/2446.09 c #Conflicts: 1458000 | #Constraints: 56573
2439.19/2446.09 c #Conflicts: 1459000 | #Constraints: 57577
2439.19/2446.09 c #Conflicts: 1460000 | #Constraints: 58578
2439.19/2446.09 c #Conflicts: 1461000 | #Constraints: 59581
2439.19/2446.09 c #Conflicts: 1462000 | #Constraints: 60583
2439.19/2446.09 c #Conflicts: 1463000 | #Constraints: 61587
2439.19/2446.09 c #Conflicts: 1464000 | #Constraints: 62589
2439.19/2446.09 c #Conflicts: 1465000 | #Constraints: 63591
2439.19/2446.09 c #Conflicts: 1466000 | #Constraints: 64591
2439.19/2446.09 c #Conflicts: 1467000 | #Constraints: 65593
2439.19/2446.09 c INPROCESSING
2439.19/2446.09 c GARBAGE COLLECT
2439.19/2446.09 c rational objective 5
2488.75/2495.70 c #Conflicts: 1468000 | #Constraints: 42538
2488.75/2495.70 c #Conflicts: 1469000 | #Constraints: 43538
2488.75/2495.70 c #Conflicts: 1470000 | #Constraints: 44541
2488.75/2495.70 c #Conflicts: 1471000 | #Constraints: 45544
2488.75/2495.70 c #Conflicts: 1472000 | #Constraints: 46546
2488.75/2495.70 c #Conflicts: 1473000 | #Constraints: 47547
2488.75/2495.70 c #Conflicts: 1474000 | #Constraints: 48548
2488.75/2495.70 c #Conflicts: 1475000 | #Constraints: 49550
2488.75/2495.70 c #Conflicts: 1476000 | #Constraints: 50551
2488.75/2495.70 c #Conflicts: 1477000 | #Constraints: 51551
2488.75/2495.70 c #Conflicts: 1478000 | #Constraints: 52551
2488.75/2495.70 c #Conflicts: 1479000 | #Constraints: 53552
2488.75/2495.70 c #Conflicts: 1480000 | #Constraints: 54553
2488.75/2495.70 c #Conflicts: 1481000 | #Constraints: 55554
2488.75/2495.70 c #Conflicts: 1482000 | #Constraints: 56555
2488.75/2495.70 c #Conflicts: 1483000 | #Constraints: 57556
2488.75/2495.70 c #Conflicts: 1484000 | #Constraints: 58557
2488.75/2495.70 c #Conflicts: 1485000 | #Constraints: 59558
2488.75/2495.70 c #Conflicts: 1486000 | #Constraints: 60559
2488.75/2495.70 c #Conflicts: 1487000 | #Constraints: 61560
2488.75/2495.70 c #Conflicts: 1488000 | #Constraints: 62561
2488.75/2495.70 c #Conflicts: 1489000 | #Constraints: 63562
2488.75/2495.70 c #Conflicts: 1490000 | #Constraints: 64563
2488.75/2495.70 c #Conflicts: 1491000 | #Constraints: 65564
2488.75/2495.70 c INPROCESSING
2488.75/2495.70 c GARBAGE COLLECT
2488.75/2495.70 c rational objective 5
2531.54/2538.67 c #Conflicts: 1492000 | #Constraints: 42310
2531.54/2538.67 c #Conflicts: 1493000 | #Constraints: 43311
2531.54/2538.67 c #Conflicts: 1494000 | #Constraints: 44311
2531.54/2538.67 c #Conflicts: 1495000 | #Constraints: 45311
2531.54/2538.67 c #Conflicts: 1496000 | #Constraints: 46312
2531.54/2538.67 c #Conflicts: 1497000 | #Constraints: 47313
2531.54/2538.67 c #Conflicts: 1498000 | #Constraints: 48315
2531.54/2538.67 c #Conflicts: 1499000 | #Constraints: 49317
2531.54/2538.67 c #Conflicts: 1500000 | #Constraints: 50322
2531.54/2538.67 c #Conflicts: 1501000 | #Constraints: 51324
2531.54/2538.67 c #Conflicts: 1502000 | #Constraints: 52326
2531.54/2538.67 c #Conflicts: 1503000 | #Constraints: 53328
2531.54/2538.67 c #Conflicts: 1504000 | #Constraints: 54329
2531.54/2538.67 c #Conflicts: 1505000 | #Constraints: 55330
2531.54/2538.67 c #Conflicts: 1506000 | #Constraints: 56332
2531.54/2538.67 c #Conflicts: 1507000 | #Constraints: 57332
2531.54/2538.67 c #Conflicts: 1508000 | #Constraints: 58333
2531.54/2538.67 c #Conflicts: 1509000 | #Constraints: 59333
2531.54/2538.67 c #Conflicts: 1510000 | #Constraints: 60333
2531.54/2538.67 c #Conflicts: 1511000 | #Constraints: 61333
2531.54/2538.67 c #Conflicts: 1512000 | #Constraints: 62334
2531.54/2538.67 c #Conflicts: 1513000 | #Constraints: 63334
2531.54/2538.67 c #Conflicts: 1514000 | #Constraints: 64335
2531.54/2538.67 c #Conflicts: 1515000 | #Constraints: 65336
2531.54/2538.67 c #Conflicts: 1516000 | #Constraints: 66336
2531.54/2538.67 c INPROCESSING
2531.54/2538.67 c GARBAGE COLLECT
2531.54/2538.67 c rational objective 5
2582.93/2590.13 c #Conflicts: 1517000 | #Constraints: 42926
2582.93/2590.13 c #Conflicts: 1518000 | #Constraints: 43927
2582.93/2590.13 c #Conflicts: 1519000 | #Constraints: 44927
2582.93/2590.13 c #Conflicts: 1520000 | #Constraints: 45928
2582.93/2590.13 c #Conflicts: 1521000 | #Constraints: 46932
2582.93/2590.13 c #Conflicts: 1522000 | #Constraints: 47938
2582.93/2590.13 c #Conflicts: 1523000 | #Constraints: 48942
2582.93/2590.13 c #Conflicts: 1524000 | #Constraints: 49946
2582.93/2590.13 c #Conflicts: 1525000 | #Constraints: 50952
2582.93/2590.13 c #Conflicts: 1526000 | #Constraints: 51954
2582.93/2590.13 c #Conflicts: 1527000 | #Constraints: 52955
2582.93/2590.13 c #Conflicts: 1528000 | #Constraints: 53956
2582.93/2590.13 c #Conflicts: 1529000 | #Constraints: 54960
2582.93/2590.13 c #Conflicts: 1530000 | #Constraints: 55962
2582.93/2590.13 c #Conflicts: 1531000 | #Constraints: 56964
2582.93/2590.13 c #Conflicts: 1532000 | #Constraints: 57964
2582.93/2590.13 c #Conflicts: 1533000 | #Constraints: 58967
2582.93/2590.13 c #Conflicts: 1534000 | #Constraints: 59969
2582.93/2590.13 c #Conflicts: 1535000 | #Constraints: 60973
2582.93/2590.13 c #Conflicts: 1536000 | #Constraints: 61974
2582.93/2590.13 c #Conflicts: 1537000 | #Constraints: 62974
2582.93/2590.13 c #Conflicts: 1538000 | #Constraints: 63976
2582.93/2590.13 c #Conflicts: 1539000 | #Constraints: 64978
2582.93/2590.13 c #Conflicts: 1540000 | #Constraints: 65979
2582.93/2590.13 c #Conflicts: 1541000 | #Constraints: 66980
2582.93/2590.13 c INPROCESSING
2582.93/2590.13 c GARBAGE COLLECT
2582.93/2590.13 c rational objective 5
2646.06/2653.42 c #Conflicts: 1542000 | #Constraints: 43269
2646.06/2653.42 c #Conflicts: 1543000 | #Constraints: 44271
2646.06/2653.42 c #Conflicts: 1544000 | #Constraints: 45273
2646.06/2653.42 c #Conflicts: 1545000 | #Constraints: 46275
2646.06/2653.42 c #Conflicts: 1546000 | #Constraints: 47278
2646.06/2653.42 c #Conflicts: 1547000 | #Constraints: 48282
2646.06/2653.42 c #Conflicts: 1548000 | #Constraints: 49285
2646.06/2653.42 c #Conflicts: 1549000 | #Constraints: 50287
2646.06/2653.42 c #Conflicts: 1550000 | #Constraints: 51291
2646.06/2653.42 c #Conflicts: 1551000 | #Constraints: 52292
2646.06/2653.42 c #Conflicts: 1552000 | #Constraints: 53293
2646.06/2653.42 c #Conflicts: 1553000 | #Constraints: 54295
2646.06/2653.42 c #Conflicts: 1554000 | #Constraints: 55297
2646.06/2653.42 c #Conflicts: 1555000 | #Constraints: 56298
2646.06/2653.42 c #Conflicts: 1556000 | #Constraints: 57302
2646.06/2653.42 c #Conflicts: 1557000 | #Constraints: 58304
2646.06/2653.42 c #Conflicts: 1558000 | #Constraints: 59305
2646.06/2653.42 c #Conflicts: 1559000 | #Constraints: 60308
2646.06/2653.42 c #Conflicts: 1560000 | #Constraints: 61310
2646.06/2653.42 c #Conflicts: 1561000 | #Constraints: 62311
2646.06/2653.42 c #Conflicts: 1562000 | #Constraints: 63312
2646.06/2653.42 c #Conflicts: 1563000 | #Constraints: 64313
2646.06/2653.42 c #Conflicts: 1564000 | #Constraints: 65315
2646.06/2653.42 c #Conflicts: 1565000 | #Constraints: 66316
2646.06/2653.42 c #Conflicts: 1566000 | #Constraints: 67317
2646.06/2653.42 c INPROCESSING
2646.06/2653.42 c GARBAGE COLLECT
2646.06/2653.42 c rational objective 5
2729.23/2736.85 c #Conflicts: 1567000 | #Constraints: 43459
2729.23/2736.85 c #Conflicts: 1568000 | #Constraints: 44460
2729.23/2736.85 c #Conflicts: 1569000 | #Constraints: 45463
2729.23/2736.85 c #Conflicts: 1570000 | #Constraints: 46466
2729.23/2736.85 c #Conflicts: 1571000 | #Constraints: 47469
2729.23/2736.85 c #Conflicts: 1572000 | #Constraints: 48474
2729.23/2736.85 c #Conflicts: 1573000 | #Constraints: 49479
2729.23/2736.85 c #Conflicts: 1574000 | #Constraints: 50481
2729.23/2736.85 c #Conflicts: 1575000 | #Constraints: 51481
2729.23/2736.85 c #Conflicts: 1576000 | #Constraints: 52481
2729.23/2736.85 c #Conflicts: 1577000 | #Constraints: 53483
2729.23/2736.85 c #Conflicts: 1578000 | #Constraints: 54484
2729.23/2736.85 c #Conflicts: 1579000 | #Constraints: 55486
2729.23/2736.85 c #Conflicts: 1580000 | #Constraints: 56488
2729.23/2736.85 c #Conflicts: 1581000 | #Constraints: 57489
2729.23/2736.85 c #Conflicts: 1582000 | #Constraints: 58489
2729.23/2736.85 c #Conflicts: 1583000 | #Constraints: 59490
2729.23/2736.85 c #Conflicts: 1584000 | #Constraints: 60490
2729.23/2736.85 c #Conflicts: 1585000 | #Constraints: 61491
2729.23/2736.85 c #Conflicts: 1586000 | #Constraints: 62492
2729.23/2736.85 c #Conflicts: 1587000 | #Constraints: 63492
2729.23/2736.85 c #Conflicts: 1588000 | #Constraints: 64492
2729.23/2736.85 c #Conflicts: 1589000 | #Constraints: 65493
2729.23/2736.85 c #Conflicts: 1590000 | #Constraints: 66493
2729.23/2736.85 c #Conflicts: 1591000 | #Constraints: 67494
2729.23/2736.85 c INPROCESSING
2729.23/2736.85 c GARBAGE COLLECT
2729.23/2736.85 c rational objective 5
2812.06/2819.94 c #Conflicts: 1592000 | #Constraints: 43454
2812.06/2819.94 c #Conflicts: 1593000 | #Constraints: 44456
2812.06/2819.94 c #Conflicts: 1594000 | #Constraints: 45457
2812.06/2819.94 c #Conflicts: 1595000 | #Constraints: 46459
2812.06/2819.94 c #Conflicts: 1596000 | #Constraints: 47461
2812.06/2819.94 c #Conflicts: 1597000 | #Constraints: 48464
2812.06/2819.94 c #Conflicts: 1598000 | #Constraints: 49465
2812.06/2819.94 c #Conflicts: 1599000 | #Constraints: 50466
2812.06/2819.94 c #Conflicts: 1600000 | #Constraints: 51467
2812.06/2819.94 c #Conflicts: 1601000 | #Constraints: 52467
2812.06/2819.94 c #Conflicts: 1602000 | #Constraints: 53469
2812.06/2819.94 c #Conflicts: 1603000 | #Constraints: 54470
2812.06/2819.94 c #Conflicts: 1604000 | #Constraints: 55470
2812.06/2819.94 c #Conflicts: 1605000 | #Constraints: 56471
2812.06/2819.94 c #Conflicts: 1606000 | #Constraints: 57472
2812.06/2819.94 c #Conflicts: 1607000 | #Constraints: 58472
2812.06/2819.94 c #Conflicts: 1608000 | #Constraints: 59474
2812.06/2819.94 c #Conflicts: 1609000 | #Constraints: 60474
2812.06/2819.94 c #Conflicts: 1610000 | #Constraints: 61475
2812.06/2819.94 c #Conflicts: 1611000 | #Constraints: 62475
2812.06/2819.94 c #Conflicts: 1612000 | #Constraints: 63475
2812.06/2819.94 c #Conflicts: 1613000 | #Constraints: 64476
2812.06/2819.94 c #Conflicts: 1614000 | #Constraints: 65476
2812.06/2819.94 c #Conflicts: 1615000 | #Constraints: 66476
2812.06/2819.94 c #Conflicts: 1616000 | #Constraints: 67476
2812.06/2819.94 c INPROCESSING
2812.06/2819.94 c GARBAGE COLLECT
2812.06/2819.94 c rational objective 5
2882.35/2890.48 c #Conflicts: 1617000 | #Constraints: 43310
2882.35/2890.48 c #Conflicts: 1618000 | #Constraints: 44310
2882.35/2890.48 c #Conflicts: 1619000 | #Constraints: 45310
2882.35/2890.48 c #Conflicts: 1620000 | #Constraints: 46313
2882.35/2890.48 c #Conflicts: 1621000 | #Constraints: 47314
2882.35/2890.48 c #Conflicts: 1622000 | #Constraints: 48315
2882.35/2890.48 c #Conflicts: 1623000 | #Constraints: 49315
2882.35/2890.48 c #Conflicts: 1624000 | #Constraints: 50316
2882.35/2890.48 c #Conflicts: 1625000 | #Constraints: 51317
2882.35/2890.48 c #Conflicts: 1626000 | #Constraints: 52317
2882.35/2890.48 c #Conflicts: 1627000 | #Constraints: 53318
2882.35/2890.48 c #Conflicts: 1628000 | #Constraints: 54319
2882.35/2890.48 c #Conflicts: 1629000 | #Constraints: 55319
2882.35/2890.48 c #Conflicts: 1630000 | #Constraints: 56319
2882.35/2890.48 c #Conflicts: 1631000 | #Constraints: 57320
2882.35/2890.48 c #Conflicts: 1632000 | #Constraints: 58323
2882.35/2890.48 c #Conflicts: 1633000 | #Constraints: 59323
2882.35/2890.48 c #Conflicts: 1634000 | #Constraints: 60324
2882.35/2890.48 c #Conflicts: 1635000 | #Constraints: 61325
2882.35/2890.48 c #Conflicts: 1636000 | #Constraints: 62326
2882.35/2890.48 c #Conflicts: 1637000 | #Constraints: 63327
2882.35/2890.48 c #Conflicts: 1638000 | #Constraints: 64327
2882.35/2890.48 c #Conflicts: 1639000 | #Constraints: 65328
2882.35/2890.48 c #Conflicts: 1640000 | #Constraints: 66329
2882.35/2890.48 c #Conflicts: 1641000 | #Constraints: 67329
2882.35/2890.48 c #Conflicts: 1642000 | #Constraints: 68329
2882.35/2890.48 c INPROCESSING
2882.35/2890.48 c GARBAGE COLLECT
2882.35/2890.48 c rational objective 5
2949.85/2958.13 c #Conflicts: 1643000 | #Constraints: 43860
2949.85/2958.13 c #Conflicts: 1644000 | #Constraints: 44861
2949.85/2958.13 c #Conflicts: 1645000 | #Constraints: 45861
2949.85/2958.13 c #Conflicts: 1646000 | #Constraints: 46861
2949.85/2958.13 c #Conflicts: 1647000 | #Constraints: 47862
2949.85/2958.13 c #Conflicts: 1648000 | #Constraints: 48862
2949.85/2958.13 c #Conflicts: 1649000 | #Constraints: 49863
2949.85/2958.13 c #Conflicts: 1650000 | #Constraints: 50864
2949.85/2958.13 c #Conflicts: 1651000 | #Constraints: 51865
2949.85/2958.13 c #Conflicts: 1652000 | #Constraints: 52866
2949.85/2958.13 c #Conflicts: 1653000 | #Constraints: 53866
2949.85/2958.13 c #Conflicts: 1654000 | #Constraints: 54866
2949.85/2958.13 c #Conflicts: 1655000 | #Constraints: 55866
2949.85/2958.13 c #Conflicts: 1656000 | #Constraints: 56866
2949.85/2958.13 c #Conflicts: 1657000 | #Constraints: 57867
2949.85/2958.13 c #Conflicts: 1658000 | #Constraints: 58868
2949.85/2958.13 c #Conflicts: 1659000 | #Constraints: 59868
2949.85/2958.13 c #Conflicts: 1660000 | #Constraints: 60868
2949.85/2958.13 c #Conflicts: 1661000 | #Constraints: 61869
2949.85/2958.13 c #Conflicts: 1662000 | #Constraints: 62869
2949.85/2958.13 c #Conflicts: 1663000 | #Constraints: 63869
2949.85/2958.13 c #Conflicts: 1664000 | #Constraints: 64869
2949.85/2958.13 c #Conflicts: 1665000 | #Constraints: 65870
2949.85/2958.13 c #Conflicts: 1666000 | #Constraints: 66871
2949.85/2958.13 c #Conflicts: 1667000 | #Constraints: 67873
2949.85/2958.13 c #Conflicts: 1668000 | #Constraints: 68874
2949.85/2958.13 c INPROCESSING
2949.85/2958.13 c GARBAGE COLLECT
2949.85/2958.13 c rational objective 5
2996.80/3005.27 c #Conflicts: 1669000 | #Constraints: 44311
2996.80/3005.27 c #Conflicts: 1670000 | #Constraints: 45312
2996.80/3005.27 c #Conflicts: 1671000 | #Constraints: 46313
2996.80/3005.27 c #Conflicts: 1672000 | #Constraints: 47316
2996.80/3005.27 c #Conflicts: 1673000 | #Constraints: 48318
2996.80/3005.27 c #Conflicts: 1674000 | #Constraints: 49322
2996.80/3005.27 c #Conflicts: 1675000 | #Constraints: 50328
2996.80/3005.27 c #Conflicts: 1676000 | #Constraints: 51330
2996.80/3005.27 c #Conflicts: 1677000 | #Constraints: 52332
2996.80/3005.27 c #Conflicts: 1678000 | #Constraints: 53337
2996.80/3005.27 c #Conflicts: 1679000 | #Constraints: 54339
2996.80/3005.27 c #Conflicts: 1680000 | #Constraints: 55341
2996.80/3005.27 c #Conflicts: 1681000 | #Constraints: 56342
2996.80/3005.27 c #Conflicts: 1682000 | #Constraints: 57343
2996.80/3005.27 c #Conflicts: 1683000 | #Constraints: 58343
2996.80/3005.27 c #Conflicts: 1684000 | #Constraints: 59345
2996.80/3005.27 c #Conflicts: 1685000 | #Constraints: 60347
2996.80/3005.27 c #Conflicts: 1686000 | #Constraints: 61347
2996.80/3005.27 c #Conflicts: 1687000 | #Constraints: 62347
2996.80/3005.27 c #Conflicts: 1688000 | #Constraints: 63348
2996.80/3005.27 c #Conflicts: 1689000 | #Constraints: 64349
2996.80/3005.27 c #Conflicts: 1690000 | #Constraints: 65350
2996.80/3005.27 c #Conflicts: 1691000 | #Constraints: 66351
2996.80/3005.27 c #Conflicts: 1692000 | #Constraints: 67352
2996.80/3005.27 c #Conflicts: 1693000 | #Constraints: 68352
2996.80/3005.27 c #Conflicts: 1694000 | #Constraints: 69352
2996.80/3005.27 c INPROCESSING
2996.80/3005.27 c GARBAGE COLLECT
2996.80/3005.27 c rational objective 5
3055.91/3064.59 c #Conflicts: 1695000 | #Constraints: 44552
3055.91/3064.59 c #Conflicts: 1696000 | #Constraints: 45553
3055.91/3064.59 c #Conflicts: 1697000 | #Constraints: 46555
3055.91/3064.59 c #Conflicts: 1698000 | #Constraints: 47559
3055.91/3064.59 c #Conflicts: 1699000 | #Constraints: 48563
3055.91/3064.59 c #Conflicts: 1700000 | #Constraints: 49565
3055.91/3064.59 c #Conflicts: 1701000 | #Constraints: 50568
3055.91/3064.59 c #Conflicts: 1702000 | #Constraints: 51570
3055.91/3064.59 c #Conflicts: 1703000 | #Constraints: 52576
3055.91/3064.59 c #Conflicts: 1704000 | #Constraints: 53578
3055.91/3064.59 c #Conflicts: 1705000 | #Constraints: 54581
3055.91/3064.59 c #Conflicts: 1706000 | #Constraints: 55584
3055.91/3064.59 c #Conflicts: 1707000 | #Constraints: 56588
3055.91/3064.59 c #Conflicts: 1708000 | #Constraints: 57588
3055.91/3064.59 c #Conflicts: 1709000 | #Constraints: 58590
3055.91/3064.59 c #Conflicts: 1710000 | #Constraints: 59592
3055.91/3064.59 c #Conflicts: 1711000 | #Constraints: 60593
3055.91/3064.59 c #Conflicts: 1712000 | #Constraints: 61594
3055.91/3064.59 c #Conflicts: 1713000 | #Constraints: 62596
3055.91/3064.59 c #Conflicts: 1714000 | #Constraints: 63598
3055.91/3064.59 c #Conflicts: 1715000 | #Constraints: 64600
3055.91/3064.59 c #Conflicts: 1716000 | #Constraints: 65601
3055.91/3064.59 c #Conflicts: 1717000 | #Constraints: 66605
3055.91/3064.59 c #Conflicts: 1718000 | #Constraints: 67605
3055.91/3064.59 c #Conflicts: 1719000 | #Constraints: 68606
3055.91/3064.59 c #Conflicts: 1720000 | #Constraints: 69608
3055.91/3064.59 c INPROCESSING
3055.91/3064.59 c GARBAGE COLLECT
3055.91/3064.59 c rational objective 5
3111.95/3120.71 c #Conflicts: 1721000 | #Constraints: 44570
3111.95/3120.71 c #Conflicts: 1722000 | #Constraints: 45570
3111.95/3120.71 c #Conflicts: 1723000 | #Constraints: 46571
3111.95/3120.71 c #Conflicts: 1724000 | #Constraints: 47576
3111.95/3120.71 c #Conflicts: 1725000 | #Constraints: 48576
3111.95/3120.71 c #Conflicts: 1726000 | #Constraints: 49577
3111.95/3120.71 c #Conflicts: 1727000 | #Constraints: 50577
3111.95/3120.71 c #Conflicts: 1728000 | #Constraints: 51578
3111.95/3120.71 c #Conflicts: 1729000 | #Constraints: 52579
3111.95/3120.71 c #Conflicts: 1730000 | #Constraints: 53580
3111.95/3120.71 c #Conflicts: 1731000 | #Constraints: 54581
3111.95/3120.71 c #Conflicts: 1732000 | #Constraints: 55582
3111.95/3120.71 c #Conflicts: 1733000 | #Constraints: 56583
3111.95/3120.71 c #Conflicts: 1734000 | #Constraints: 57584
3111.95/3120.71 c #Conflicts: 1735000 | #Constraints: 58585
3111.95/3120.71 c #Conflicts: 1736000 | #Constraints: 59586
3111.95/3120.71 c #Conflicts: 1737000 | #Constraints: 60586
3111.95/3120.71 c #Conflicts: 1738000 | #Constraints: 61587
3111.95/3120.71 c #Conflicts: 1739000 | #Constraints: 62587
3111.95/3120.71 c #Conflicts: 1740000 | #Constraints: 63588
3111.95/3120.71 c #Conflicts: 1741000 | #Constraints: 64589
3111.95/3120.71 c #Conflicts: 1742000 | #Constraints: 65590
3111.95/3120.71 c #Conflicts: 1743000 | #Constraints: 66591
3111.95/3120.71 c #Conflicts: 1744000 | #Constraints: 67592
3111.95/3120.71 c #Conflicts: 1745000 | #Constraints: 68592
3111.95/3120.71 c #Conflicts: 1746000 | #Constraints: 69593
3111.95/3120.71 c INPROCESSING
3111.95/3120.71 c GARBAGE COLLECT
3111.95/3120.71 c rational objective 5
3174.06/3183.05 c #Conflicts: 1747000 | #Constraints: 44315
3174.06/3183.05 c #Conflicts: 1748000 | #Constraints: 45316
3174.06/3183.05 c #Conflicts: 1749000 | #Constraints: 46317
3174.06/3183.05 c #Conflicts: 1750000 | #Constraints: 47323
3174.06/3183.05 c #Conflicts: 1751000 | #Constraints: 48328
3174.06/3183.05 c #Conflicts: 1752000 | #Constraints: 49330
3174.06/3183.05 c #Conflicts: 1753000 | #Constraints: 50335
3174.06/3183.05 c #Conflicts: 1754000 | #Constraints: 51338
3174.06/3183.05 c #Conflicts: 1755000 | #Constraints: 52344
3174.06/3183.05 c #Conflicts: 1756000 | #Constraints: 53344
3174.06/3183.05 c #Conflicts: 1757000 | #Constraints: 54346
3174.06/3183.05 c #Conflicts: 1758000 | #Constraints: 55346
3174.06/3183.05 c #Conflicts: 1759000 | #Constraints: 56347
3174.06/3183.05 c #Conflicts: 1760000 | #Constraints: 57350
3174.06/3183.05 c #Conflicts: 1761000 | #Constraints: 58351
3174.06/3183.05 c #Conflicts: 1762000 | #Constraints: 59352
3174.06/3183.05 c #Conflicts: 1763000 | #Constraints: 60353
3174.06/3183.05 c #Conflicts: 1764000 | #Constraints: 61354
3174.06/3183.05 c #Conflicts: 1765000 | #Constraints: 62355
3174.06/3183.05 c #Conflicts: 1766000 | #Constraints: 63356
3174.06/3183.05 c #Conflicts: 1767000 | #Constraints: 64357
3174.06/3183.05 c #Conflicts: 1768000 | #Constraints: 65358
3174.06/3183.05 c #Conflicts: 1769000 | #Constraints: 66359
3174.06/3183.05 c #Conflicts: 1770000 | #Constraints: 67359
3174.06/3183.05 c #Conflicts: 1771000 | #Constraints: 68359
3174.06/3183.05 c #Conflicts: 1772000 | #Constraints: 69359
3174.06/3183.05 c #Conflicts: 1773000 | #Constraints: 70359
3174.06/3183.05 c INPROCESSING
3174.06/3183.05 c GARBAGE COLLECT
3174.06/3183.05 c rational objective 5
3223.20/3232.39 c #Conflicts: 1774000 | #Constraints: 44938
3223.20/3232.39 c #Conflicts: 1775000 | #Constraints: 45939
3223.20/3232.39 c #Conflicts: 1776000 | #Constraints: 46940
3223.20/3232.39 c #Conflicts: 1777000 | #Constraints: 47946
3223.20/3232.39 c #Conflicts: 1778000 | #Constraints: 48948
3223.20/3232.39 c #Conflicts: 1779000 | #Constraints: 49952
3223.20/3232.39 c #Conflicts: 1780000 | #Constraints: 50955
3223.20/3232.39 c #Conflicts: 1781000 | #Constraints: 51958
3223.20/3232.39 c #Conflicts: 1782000 | #Constraints: 52962
3223.20/3232.39 c #Conflicts: 1783000 | #Constraints: 53962
3223.20/3232.39 c #Conflicts: 1784000 | #Constraints: 54965
3223.20/3232.39 c #Conflicts: 1785000 | #Constraints: 55966
3223.20/3232.39 c #Conflicts: 1786000 | #Constraints: 56968
3223.20/3232.39 c #Conflicts: 1787000 | #Constraints: 57969
3223.20/3232.39 c #Conflicts: 1788000 | #Constraints: 58971
3223.20/3232.39 c #Conflicts: 1789000 | #Constraints: 59973
3223.20/3232.39 c #Conflicts: 1790000 | #Constraints: 60975
3223.20/3232.39 c #Conflicts: 1791000 | #Constraints: 61975
3223.20/3232.39 c #Conflicts: 1792000 | #Constraints: 62976
3223.20/3232.39 c #Conflicts: 1793000 | #Constraints: 63976
3223.20/3232.39 c #Conflicts: 1794000 | #Constraints: 64976
3223.20/3232.39 c #Conflicts: 1795000 | #Constraints: 65977
3223.20/3232.39 c #Conflicts: 1796000 | #Constraints: 66978
3223.20/3232.39 c #Conflicts: 1797000 | #Constraints: 67978
3223.20/3232.39 c #Conflicts: 1798000 | #Constraints: 68979
3223.20/3232.39 c #Conflicts: 1799000 | #Constraints: 69980
3223.20/3232.39 c #Conflicts: 1800000 | #Constraints: 70981
3223.20/3232.39 c INPROCESSING
3223.20/3232.39 c GARBAGE COLLECT
3223.20/3232.39 c rational objective 5
3288.81/3298.13 c #Conflicts: 1801000 | #Constraints: 45313
3288.81/3298.13 c #Conflicts: 1802000 | #Constraints: 46315
3288.81/3298.13 c #Conflicts: 1803000 | #Constraints: 47319
3288.81/3298.13 c #Conflicts: 1804000 | #Constraints: 48321
3288.81/3298.13 c #Conflicts: 1805000 | #Constraints: 49324
3288.81/3298.13 c #Conflicts: 1806000 | #Constraints: 50326
3288.81/3298.13 c #Conflicts: 1807000 | #Constraints: 51329
3288.81/3298.13 c #Conflicts: 1808000 | #Constraints: 52331
3288.81/3298.13 c #Conflicts: 1809000 | #Constraints: 53334
3288.81/3298.13 c #Conflicts: 1810000 | #Constraints: 54338
3288.81/3298.13 c #Conflicts: 1811000 | #Constraints: 55341
3288.81/3298.13 c #Conflicts: 1812000 | #Constraints: 56342
3288.81/3298.13 c #Conflicts: 1813000 | #Constraints: 57344
3288.81/3298.13 c #Conflicts: 1814000 | #Constraints: 58347
3288.81/3298.13 c #Conflicts: 1815000 | #Constraints: 59350
3288.81/3298.13 c #Conflicts: 1816000 | #Constraints: 60353
3288.81/3298.13 c #Conflicts: 1817000 | #Constraints: 61356
3288.81/3298.13 c #Conflicts: 1818000 | #Constraints: 62358
3288.81/3298.13 c #Conflicts: 1819000 | #Constraints: 63362
3288.81/3298.13 c #Conflicts: 1820000 | #Constraints: 64362
3288.81/3298.13 c #Conflicts: 1821000 | #Constraints: 65364
3288.81/3298.13 c #Conflicts: 1822000 | #Constraints: 66365
3288.81/3298.13 c #Conflicts: 1823000 | #Constraints: 67366
3288.81/3298.13 c #Conflicts: 1824000 | #Constraints: 68366
3288.81/3298.13 c #Conflicts: 1825000 | #Constraints: 69369
3288.81/3298.13 c #Conflicts: 1826000 | #Constraints: 70371
3288.81/3298.13 c #Conflicts: 1827000 | #Constraints: 71377
3288.81/3298.13 c INPROCESSING
3288.81/3298.13 c GARBAGE COLLECT
3288.81/3298.13 c rational objective 5
3329.07/3338.57 c #Conflicts: 1828000 | #Constraints: 45503
3329.07/3338.57 c #Conflicts: 1829000 | #Constraints: 46503
3329.07/3338.57 c #Conflicts: 1830000 | #Constraints: 47505
3329.07/3338.57 c #Conflicts: 1831000 | #Constraints: 48508
3329.07/3338.57 c #Conflicts: 1832000 | #Constraints: 49513
3329.07/3338.57 c #Conflicts: 1833000 | #Constraints: 50514
3329.07/3338.57 c #Conflicts: 1834000 | #Constraints: 51520
3329.07/3338.57 c #Conflicts: 1835000 | #Constraints: 52526
3329.07/3338.57 c #Conflicts: 1836000 | #Constraints: 53529
3329.07/3338.57 c #Conflicts: 1837000 | #Constraints: 54531
3329.07/3338.57 c #Conflicts: 1838000 | #Constraints: 55532
3329.07/3338.57 c #Conflicts: 1839000 | #Constraints: 56534
3329.07/3338.57 c #Conflicts: 1840000 | #Constraints: 57535
3329.07/3338.57 c #Conflicts: 1841000 | #Constraints: 58537
3329.07/3338.57 c #Conflicts: 1842000 | #Constraints: 59537
3329.07/3338.57 c #Conflicts: 1843000 | #Constraints: 60538
3329.07/3338.57 c #Conflicts: 1844000 | #Constraints: 61538
3329.07/3338.57 c #Conflicts: 1845000 | #Constraints: 62538
3329.07/3338.57 c #Conflicts: 1846000 | #Constraints: 63538
3329.07/3338.57 c #Conflicts: 1847000 | #Constraints: 64538
3329.07/3338.57 c #Conflicts: 1848000 | #Constraints: 65540
3329.07/3338.57 c #Conflicts: 1849000 | #Constraints: 66541
3329.07/3338.57 c #Conflicts: 1850000 | #Constraints: 67541
3329.07/3338.57 c #Conflicts: 1851000 | #Constraints: 68543
3329.07/3338.57 c #Conflicts: 1852000 | #Constraints: 69544
3329.07/3338.57 c #Conflicts: 1853000 | #Constraints: 70547
3329.07/3338.57 c #Conflicts: 1854000 | #Constraints: 71547
3329.07/3338.57 c INPROCESSING
3329.07/3338.57 c GARBAGE COLLECT
3329.07/3338.57 c rational objective 5
3423.48/3433.21 c #Conflicts: 1855000 | #Constraints: 45512
3423.48/3433.21 c #Conflicts: 1856000 | #Constraints: 46513
3423.48/3433.21 c #Conflicts: 1857000 | #Constraints: 47515
3423.48/3433.21 c #Conflicts: 1858000 | #Constraints: 48518
3423.48/3433.21 c #Conflicts: 1859000 | #Constraints: 49519
3423.48/3433.21 c #Conflicts: 1860000 | #Constraints: 50521
3423.48/3433.21 c #Conflicts: 1861000 | #Constraints: 51522
3423.48/3433.21 c #Conflicts: 1862000 | #Constraints: 52523
3423.48/3433.21 c #Conflicts: 1863000 | #Constraints: 53525
3423.48/3433.21 c #Conflicts: 1864000 | #Constraints: 54527
3423.48/3433.21 c #Conflicts: 1865000 | #Constraints: 55528
3423.48/3433.21 c #Conflicts: 1866000 | #Constraints: 56529
3423.48/3433.21 c #Conflicts: 1867000 | #Constraints: 57529
3423.48/3433.21 c #Conflicts: 1868000 | #Constraints: 58530
3423.48/3433.21 c #Conflicts: 1869000 | #Constraints: 59531
3423.48/3433.21 c #Conflicts: 1870000 | #Constraints: 60533
3423.48/3433.21 c #Conflicts: 1871000 | #Constraints: 61534
3423.48/3433.21 c #Conflicts: 1872000 | #Constraints: 62536
3423.48/3433.21 c #Conflicts: 1873000 | #Constraints: 63537
3423.48/3433.21 c #Conflicts: 1874000 | #Constraints: 64538
3423.48/3433.21 c #Conflicts: 1875000 | #Constraints: 65540
3423.48/3433.21 c #Conflicts: 1876000 | #Constraints: 66541
3423.48/3433.21 c #Conflicts: 1877000 | #Constraints: 67541
3423.48/3433.21 c #Conflicts: 1878000 | #Constraints: 68541
3423.48/3433.21 c #Conflicts: 1879000 | #Constraints: 69542
3423.48/3433.21 c #Conflicts: 1880000 | #Constraints: 70542
3423.48/3433.21 c #Conflicts: 1881000 | #Constraints: 71543
3423.48/3433.21 c INPROCESSING
3423.48/3433.21 c GARBAGE COLLECT
3423.48/3433.21 c rational objective 5
3488.47/3498.44 c #Conflicts: 1882000 | #Constraints: 45276
3488.47/3498.44 c #Conflicts: 1883000 | #Constraints: 46277
3488.47/3498.44 c #Conflicts: 1884000 | #Constraints: 47279
3488.47/3498.44 c #Conflicts: 1885000 | #Constraints: 48282
3488.47/3498.44 c #Conflicts: 1886000 | #Constraints: 49283
3488.47/3498.44 c #Conflicts: 1887000 | #Constraints: 50287
3488.47/3498.44 c #Conflicts: 1888000 | #Constraints: 51289
3488.47/3498.44 c #Conflicts: 1889000 | #Constraints: 52293
3488.47/3498.44 c #Conflicts: 1890000 | #Constraints: 53295
3488.47/3498.44 c #Conflicts: 1891000 | #Constraints: 54298
3488.47/3498.44 c #Conflicts: 1892000 | #Constraints: 55300
3488.47/3498.44 c #Conflicts: 1893000 | #Constraints: 56302
3488.47/3498.44 c #Conflicts: 1894000 | #Constraints: 57304
3488.47/3498.44 c #Conflicts: 1895000 | #Constraints: 58307
3488.47/3498.44 c #Conflicts: 1896000 | #Constraints: 59311
3488.47/3498.44 c #Conflicts: 1897000 | #Constraints: 60316
3488.47/3498.44 c #Conflicts: 1898000 | #Constraints: 61322
3488.47/3498.44 c #Conflicts: 1899000 | #Constraints: 62324
3488.47/3498.44 c #Conflicts: 1900000 | #Constraints: 63328
3488.47/3498.44 c #Conflicts: 1901000 | #Constraints: 64329
3488.47/3498.44 c #Conflicts: 1902000 | #Constraints: 65329
3488.47/3498.44 c #Conflicts: 1903000 | #Constraints: 66329
3488.47/3498.44 c #Conflicts: 1904000 | #Constraints: 67331
3488.47/3498.44 c #Conflicts: 1905000 | #Constraints: 68332
3488.47/3498.44 c #Conflicts: 1906000 | #Constraints: 69334
3488.47/3498.44 c #Conflicts: 1907000 | #Constraints: 70335
3488.47/3498.44 c #Conflicts: 1908000 | #Constraints: 71335
3488.47/3498.44 c #Conflicts: 1909000 | #Constraints: 72337
3488.47/3498.44 c INPROCESSING
3488.47/3498.44 c GARBAGE COLLECT
3488.47/3498.44 c rational objective 5
3573.11/3583.35 c #Conflicts: 1910000 | #Constraints: 45897
3573.11/3583.35 c #Conflicts: 1911000 | #Constraints: 46898
3573.11/3583.35 c #Conflicts: 1912000 | #Constraints: 47902
3573.11/3583.35 c #Conflicts: 1913000 | #Constraints: 48905
3573.11/3583.35 c #Conflicts: 1914000 | #Constraints: 49910
3573.11/3583.35 c #Conflicts: 1915000 | #Constraints: 50919
3573.11/3583.35 c #Conflicts: 1916000 | #Constraints: 51923
3573.11/3583.35 c #Conflicts: 1917000 | #Constraints: 52925
3573.11/3583.35 c #Conflicts: 1918000 | #Constraints: 53928
3573.11/3583.35 c #Conflicts: 1919000 | #Constraints: 54931
3573.11/3583.35 c #Conflicts: 1920000 | #Constraints: 55933
3573.11/3583.35 c #Conflicts: 1921000 | #Constraints: 56935
3573.11/3583.35 c #Conflicts: 1922000 | #Constraints: 57935
3573.11/3583.35 c #Conflicts: 1923000 | #Constraints: 58938
3573.11/3583.35 c #Conflicts: 1924000 | #Constraints: 59941
3573.11/3583.35 c #Conflicts: 1925000 | #Constraints: 60945
3573.11/3583.35 c #Conflicts: 1926000 | #Constraints: 61946
3573.11/3583.35 c #Conflicts: 1927000 | #Constraints: 62948
3573.11/3583.35 c #Conflicts: 1928000 | #Constraints: 63950
3573.11/3583.35 c #Conflicts: 1929000 | #Constraints: 64950
3573.11/3583.35 c #Conflicts: 1930000 | #Constraints: 65951
3573.11/3583.35 c #Conflicts: 1931000 | #Constraints: 66951
3573.11/3583.35 c #Conflicts: 1932000 | #Constraints: 67952
3573.11/3583.35 c #Conflicts: 1933000 | #Constraints: 68954
3573.11/3583.35 c #Conflicts: 1934000 | #Constraints: 69955
3573.11/3583.35 c #Conflicts: 1935000 | #Constraints: 70957
3573.11/3583.35 c #Conflicts: 1936000 | #Constraints: 71959
3573.11/3583.35 c #Conflicts: 1937000 | #Constraints: 72959
3573.11/3583.35 c INPROCESSING
3573.11/3583.35 c GARBAGE COLLECT
3573.11/3583.35 c rational objective 5
3600.03/3610.30 c #Conflicts: 1938000 | #Constraints: 46250
3600.03/3610.30 c #Conflicts: 1939000 | #Constraints: 47250
3600.03/3610.30 c #Conflicts: 1940000 | #Constraints: 48250
3600.03/3610.30 c #Conflicts: 1941000 | #Constraints: 49251
3600.03/3610.30 c #Conflicts: 1942000 | #Constraints: 50256
3600.03/3610.30 c #Conflicts: 1943000 | #Constraints: 51260
3600.03/3610.30 c #Conflicts: 1944000 | #Constraints: 52262
3600.03/3610.30 c #Conflicts: 1945000 | #Constraints: 53264
3600.03/3610.30 c #Conflicts: 1946000 | #Constraints: 54266
3600.03/3610.30 c #Conflicts: 1947000 | #Constraints: 55268
3600.03/3610.30 c #Conflicts: 1948000 | #Constraints: 56270
3600.03/3610.30 c #Conflicts: 1949000 | #Constraints: 57272
3600.03/3610.30 c #Conflicts: 1950000 | #Constraints: 58274
3600.03/3610.30 c #Conflicts: 1951000 | #Constraints: 59276
3600.03/3610.30 c #Conflicts: 1952000 | #Constraints: 60278
3600.03/3610.30 c #Conflicts: 1953000 | #Constraints: 61279
3600.03/3610.30 c #Conflicts: 1954000 | #Constraints: 62280
3600.03/3610.30 c cpu time 3566.98 s
3600.03/3610.30 c deterministic time 283339768567 2.83e+11
3600.03/3610.30 c optimization time 26.4785 s
3600.03/3610.30 c total solve time 3540.28 s
3600.03/3610.30 c core-guided solve time 1724.34 s
3600.03/3610.30 c propagation time 2318.23 s
3600.03/3610.30 c conflict analysis time 1038.45 s
3600.03/3610.30 c propagations 575235635
3600.03/3610.30 c resolve steps 20387286
3600.03/3610.30 c decisions 5522486
3600.03/3610.30 c conflicts 1954880
3600.03/3610.30 c restarts 3834
3600.03/3610.30 c inprocessing phases 130
3600.03/3610.30 c garbage collections 130 ,( 100.00 )
3600.03/3610.30 c input clauses 21666 ,( 98.32 )
3600.03/3610.30 c input cardinalities 50 ,( 0.23 )
3600.03/3610.30 c input general constraints 320 ,( 1.45 )
3600.03/3610.30 c input average constraint length 3.70
3600.03/3610.30 c input average constraint degree 9.09
3600.03/3610.30 c learned clauses 331202 ,( 16.91 )
3600.03/3610.30 c learned cardinalities 11707 ,( 0.60 )
3600.03/3610.30 c learned general constraints 1615603 ,( 82.49 )
3600.03/3610.30 c learned average constraint length 353.68
3600.03/3610.30 c learned average constraint degree 2652756275.74
3600.03/3610.30 c watched CF 32, 64, 128, Arb: 537328 , 0 , 0 , 0
3600.03/3610.30 c counting CF 32, 64, 128, Arb: 1078596 , 0 , 0 , 0
3600.03/3610.30 c watched constraints 537328 ,( 33.25 )
3600.03/3610.30 c counting constraints 1078595 ,( 66.75 )
3600.03/3610.30 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 327549706 , 72986256 , 4398125677 ,( 305391382 , 4092734295 )
3600.03/3610.30 c gcd simplifications 199407
3600.03/3610.30 c detected cardinalities 291
3600.03/3610.30 c weakened non-implied lits 225809304
3600.03/3610.30 c weakened non-implying lits 998405
3600.03/3610.30 c original variables 8515
3600.03/3610.30 c clausal propagations 246888036
3600.03/3610.30 c cardinality propagations 22072581
3600.03/3610.30 c watched propagations 2070303
3600.03/3610.30 c counting propagations 298049405
3600.03/3610.30 c watch lookups 205187259594
3600.03/3610.30 c watch backjump lookups 0
3600.03/3610.30 c watch checks 19784033959
3600.03/3610.30 c propagation checks 54739844658
3600.03/3610.30 c constraint additions 2463049141
3600.03/3610.30 c trail pops 582706699
3600.03/3610.30 c formula constraints 22036
3600.03/3610.30 c learned constraints 1951528
3600.03/3610.30 c bound constraints 0
3600.03/3610.30 c core-guided constraints 0
3600.03/3610.30 c encountered formula constraints 12734371
3600.03/3610.30 c encountered learned constraints 8882062
3600.03/3610.30 c encountered bound constraints 0
3600.03/3610.30 c encountered core-guided constraints 0
3600.03/3610.30 c LP total time 546.195 s
3600.03/3610.30 c LP solve time 477.64 s
3600.03/3610.30 c LP constraints added 24891
3600.03/3610.30 c LP constraints removed 2830
3600.03/3610.30 c LP pivots internal 1955349
3600.03/3610.30 c LP pivots root 161045
3600.03/3610.30 c LP calls 4590
3600.03/3610.30 c LP optimalities 1231
3600.03/3610.30 c LP no pivot count 39
3600.03/3610.30 c LP infeasibilities 3356
3600.03/3610.30 c LP valid Farkas constraints 3353
3600.03/3610.30 c LP learned Farkas constraints 3351
3600.03/3610.30 c LP basis resets 3
3600.03/3610.30 c LP cycling count 0
3600.03/3610.30 c LP singular count 0
3600.03/3610.30 c LP no primal count 0
3600.03/3610.30 c LP no farkas count 3
3600.03/3610.30 c LP other issue count 0
3600.03/3610.30 c LP Gomory cuts 280
3600.03/3610.30 c LP learned cuts 2575
3600.03/3610.30 c LP deleted cuts 2830
3600.03/3610.30 c LP encountered Gomory constraints 66885
3600.03/3610.30 c LP encountered Farkas constraints 564587
3600.03/3610.30 c LP encountered learned Farkas constraints 90910
3600.03/3610.30 c CG auxiliary variables introduced 0
3600.03/3610.30 c CG solutions found 0
3600.03/3610.30 c CG cores constructed 0
3600.03/3610.30 c CG core cardinality constraints returned 0
3600.03/3610.30 c CG unit cores 0
3600.03/3610.30 c CG single cores 0
3600.03/3610.30 c CG blocks removed during cardinality reduction 0
3600.03/3610.30 c CG first core best 0
3600.03/3610.30 c CG decision core best 0
3600.03/3610.30 c CG core reduction tie 0
3600.03/3610.30 c CG core degree average 0.00
3600.03/3610.30 c CG core slack average 0.00
3600.03/3610.30 c CG core upper bound improvements 0
3600.03/3610.30 c STR number of successful calls 0
3600.03/3610.30 c STR number of unsuccessful calls 0
3600.03/3610.30 c STR number of inconclusive calls 0
3600.03/3610.30 c STR number of successful attempts 0
3600.03/3610.30 c STR number of unsuccessful attempts 0
3600.03/3610.30 c STR number of inconclusive attempts 0
3600.03/3610.30 c STR average degree increase per successful call inf
3600.03/3610.30 c STR average degree increase per successful attempt inf
3600.03/3610.30 c STR total number of conflicts for successful attempts 0
3600.03/3610.30 c STR total number of conflicts for unsuccessful attempts 0
3600.03/3610.30 c STR total number of conflicts for inconclusive attempts 0
3600.03/3610.30 c STR average number of conflicts per successful attempt inf
3600.03/3610.30 c STR average number of conflicts per unsuccessful attempt inf
3600.03/3610.30 c STR average number of conflicts per inconclusive attempt inf
3600.03/3610.30 c AVG.sumWPerc 54.34
3600.03/3610.30 c bigint constraints 0
3600.03/3610.30 s UNKNOWN
3600.03/3610.30 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: 63837 MiB (50325 MiB free)
memory of node 1: 64465 MiB (51227 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4531948-1752683069/watcher-4531948-1752683069 -o /tmp/evaluation-result-4531948-1752683069/solver-4531948-1752683069 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1752683069-138491 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4531948-1752683069.opb /tmp/proof-4531948-1752683069
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
Current StackSize limit: 8192 KiB
solver pid=138533, runsolver pid=138528
[startup+0.100069 s]*
/proc/loadavg: 1.32 0.42 0.20 3/258 138552
/proc/meminfo: memFree=103981432/131382116 swapFree=33005528/33010684
[pid=138533] ppid=138528 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/138533/stat : 138533 (run-opt-ls-log.) S 138528 138533 138264 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 183986351 4292608 768 18446744073709551615 93963660050432 93963660944965 140725531021184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93963661184016 93963661231760 93963675455488 140725531027775 140725531027935 140725531027935 140725531033539 0
/proc/138533/statm: 1048 768 704 219 0 110 0
[pid=138535] ppid=138533 vsize=17468 memory=9328 CPUtime=0.07 cores=4,6
/proc/138535/stat : 138535 (pbsuma) R 138533 138533 138264 0 -1 4194304 2002 0 0 0 6 1 0 0 20 0 1 0 183986353 17887232 2332 18446744073709551615 4210688 4653049 140733340571824 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 4700520 4703148 7573504 140733340576007 140733340576304 140733340576304 140733340581871 0
/proc/138535/statm: 4367 2332 1024 108 0 1775 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 21660 KiB
Current children cumulated memory: 12400 KiB
[startup+0.218302 s]*
/proc/loadavg: 1.32 0.42 0.20 5/259 138553
/proc/meminfo: memFree=103955980/131382116 swapFree=33005528/33010684
[pid=138533] ppid=138528 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/138533/stat : 138533 (run-opt-ls-log.) S 138528 138533 138264 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 183986351 4292608 768 18446744073709551615 93963660050432 93963660944965 140725531021184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93963661184016 93963661231760 93963675455488 140725531027775 140725531027935 140725531027935 140725531033539 0
/proc/138533/statm: 1048 768 704 219 0 110 0
[pid=138535] ppid=138533 vsize=16644 memory=9192 CPUtime=0.17 cores=4,6
/proc/138535/stat : 138535 (pbsuma) R 138533 138533 138264 0 -1 4194304 2340 0 0 0 16 1 0 0 20 0 1 0 183986353 17043456 2298 18446744073709551615 4210688 4653049 140733340571824 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 4700520 4703148 7573504 140733340576007 140733340576304 140733340576304 140733340581871 0
/proc/138535/statm: 4161 2298 1024 108 0 1569 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 20836 KiB
Current children cumulated memory: 12264 KiB
[startup+0.313694 s]*
/proc/loadavg: 1.32 0.42 0.20 5/259 138553
/proc/meminfo: memFree=103949728/131382116 swapFree=33005528/33010684
[pid=138533] ppid=138528 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/138533/stat : 138533 (run-opt-ls-log.) S 138528 138533 138264 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 183986351 4292608 768 18446744073709551615 93963660050432 93963660944965 140725531021184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93963661184016 93963661231760 93963675455488 140725531027775 140725531027935 140725531027935 140725531033539 0
/proc/138533/statm: 1048 768 704 219 0 110 0
[pid=138535] ppid=138533 vsize=16644 memory=9192 CPUtime=0.26 cores=4,6
/proc/138535/stat : 138535 (pbsuma) R 138533 138533 138264 0 -1 4194304 2340 0 0 0 25 1 0 0 20 0 1 0 183986353 17043456 2298 18446744073709551615 4210688 4653049 140733340571824 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 4700520 4703148 7573504 140733340576007 140733340576304 140733340576304 140733340581871 0
/proc/138535/statm: 4161 2298 1024 108 0 1569 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 20836 KiB
Current children cumulated memory: 12264 KiB
[startup+0.700333 s]
/proc/loadavg: 1.32 0.42 0.20 5/259 138553
/proc/meminfo: memFree=103924024/131382116 swapFree=33005528/33010684
[pid=138533] ppid=138528 vsize=4192 memory=3072 CPUtime=0.58 cores=4,6
/proc/138533/stat : 138533 (run-opt-ls-log.) S 138528 138533 138264 0 -1 4194304 239 3043 0 0 0 0 51 7 20 0 1 0 183986351 4292608 768 18446744073709551615 93963660050432 93963660944965 140725531021184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93963661184016 93963661231760 93963675455488 140725531027775 140725531027935 140725531027935 140725531033539 0
/proc/138533/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB
[startup+1.50022 s]
/proc/loadavg: 1.32 0.42 0.20 5/259 138556
/proc/meminfo: memFree=103826116/131382116 swapFree=33005528/33010684
[pid=138533] ppid=138528 vsize=4192 memory=3072 CPUtime=0.58 cores=4,6
/proc/138533/stat : 138533 (run-opt-ls-log.) S 138528 138533 138264 0 -1 4194304 239 3043 0 0 0 0 51 7 20 0 1 0 183986351 4292608 768 18446744073709551615 93963660050432 93963660944965 140725531021184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93963661184016 93963661231760 93963675455488 140725531027775 140725531027935 140725531027935 140725531033539 0
/proc/138533/statm: 1048 768 704 219 0 110 0
[pid=138554] ppid=138533 vsize=101280 memory=53880 CPUtime=0.78 cores=4,6
/proc/138554/stat : 138554 (roundingsat) R 138533 138533 138264 0 -1 4194304 9965 0 0 0 71 7 0 0 20 0 1 0 183986420 103710720 13470 18446744073709551615 4227072 8923577 140735003694912 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9827200 9836688 41033728 140735003703578 140735003703846 140735003703846 140735003709418 0
/proc/138554/statm: 25320 13470 2400 1147 0 12746 0
Current children cumulated CPU time: 1.36 s
Current children cumulated vsize: 105472 KiB
Current children cumulated memory: 56952 KiB
[startup+3.10602 s]
/proc/loadavg: 1.32 0.42 0.20 5/259 138557
/proc/meminfo: memFree=103542600/131382116 swapFree=33005528/33010684
[pid=138533] ppid=138528 vsize=4192 memory=3072 CPUtime=0.58 cores=4,6
/proc/138533/stat : 138533 (run-opt-ls-log.) S 138528 138533 138264 0 -1 4194304 239 3043 0 0 0 0 51 7 20 0 1 0 183986351 4292608 768 18446744073709551615 93963660050432 93963660944965 140725531021184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93963661184016 93963661231760 93963675455488 140725531027775 140725531027935 140725531027935 140725531033539 0
/proc/138533/statm: 1048 768 704 219 0 110 0
[pid=138554] ppid=138533 vsize=111624 memory=66216 CPUtime=2.37 cores=4,6
/proc/138554/stat : 138554 (roundingsat) R 138533 138533 138264 0 -1 4194304 12564 0 0 0 226 11 0 0 20 0 1 0 183986420 114302976 16554 18446744073709551615 4227072 8923577 140735003694912 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9827200 9836688 41033728 140735003703578 140735003703846 140735003703846 140735003709418 0
/proc/138554/statm: 27906 16554 2400 1147 0 15332 0
Current children cumulated CPU time: 2.95 s
Current children cumulated vsize: 115816 KiB
Current children cumulated memory: 69288 KiB
[startup+6.30024 s]
/proc/loadavg: 1.54 0.48 0.22 5/259 138557
/proc/meminfo: memFree=103360404/131382116 swapFree=33005528/33010684
[pid=138533] ppid=138528 vsize=4192 memory=3072 CPUtime=0.58 cores=4,6
/proc/138533/stat : 138533 (run-opt-ls-log.) S 138528 138533 138264 0 -1 4194304 239 3043 0 0 0 0 51 7 20 0 1 0 183986351 4292608 768 18446744073709551615 93963660050432 93963660944965 140725531021184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93963661184016 93963661231760 93963675455488 140725531027775 140725531027935 140725531027935 140725531033539 0
/proc/138533/statm: 1048 768 704 219 0 110 0
[pid=138554] ppid=138533 vsize=133068 memory=85548 CPUtime=5.54 cores=4,6
/proc/138554/stat : 138554 (roundingsat) R 138533 138533 138264 0 -1 4194304 16887 0 0 0 537 17 0 0 20 0 1 0 183986420 136261632 21387 18446744073709551615 4227072 8923577 140735003694912 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 41033728 140735003703578 140735003703846 140735003703846 140735003709418 0
/proc/138554/statm: 33267 21387 2400 1147 0 20693 0
Current children cumulated CPU time: 6.12 s
Current children cumulated vsize: 137260 KiB
Current children cumulated memory: 88620 KiB
[startup+12.7003 s]
/proc/loadavg: 1.73 0.54 0.24 5/255 138585
/proc/meminfo: memFree=103204316/131382116 swapFree=33005528/33010684
[pid=138533] ppid=138528 vsize=4192 memory=3072 CPUtime=0.58 cores=4,6
/proc/138533/stat : 138533 (run-opt-ls-log.) S 138528 138533 138264 0 -1 4194304 239 3043 0 0 0 0 51 7 20 0 1 0 183986351 4292608 768 18446744073709551615 93963660050432 93963660944965 140725531021184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93963661184016 93963661231760 93963675455488 140725531027775 140725531027935 140725531027935 140725531033539 0
/proc/138533/statm: 1048 768 704 219 0 110 0
[pid=138554] ppid=138533 vsize=138284 memory=90928 CPUtime=11.91 cores=4,6
/proc/138554/stat : 138554 (roundingsat) R 138533 138533 138264 0 -1 4194304 17720 0 0 0 1163 28 0 0 20 0 1 0 183986420 141602816 22732 18446744073709551615 4227072 8923577 140735003694912 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 41033728 140735003703578 140735003703846 140735003703846 140735003709418 0
/proc/138554/statm: 34571 22732 2400 1147 0 21997 0
Current children cumulated CPU time: 12.49 s
Current children cumulated vsize: 142476 KiB
Current children cumulated memory: 94000 KiB
[startup+25.5004 s]
/proc/loadavg: 2.24 0.71 0.30 5/255 138685
/proc/meminfo: memFree=103055328/131382116 swapFree=33005528/33010684
[pid=138533] ppid=138528 vsize=4192 memory=3072 CPUtime=0.58 cores=4,6
/proc/138533/stat : 138533 (run-opt-ls-log.) S 138528 138533 138264 0 -1 4194304 239 3043 0 0 0 0 51 7 20 0 1 0 183986351 4292608 768 18446744073709551615 93963660050432 93963660944965 140725531021184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93963661184016 93963661231760 93963675455488 140725531027775 140725531027935 140725531027935 140725531033539 0
/proc/138533/statm: 1048 768 704 219 0 110 0
[pid=138554] ppid=138533 vsize=148708 memory=101552 CPUtime=24.67 cores=4,6
/proc/138554/stat : 138554 (roundingsat) R 138533 138533 138264 0 -1 4194304 20403 0 0 0 2419 48 0 0 20 0 1 0 183986420 152276992 25388 18446744073709551615 4227072 8923577 140735003694912 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 41033728 140735003703578 140735003703846 140735003703846 140735003709418 0
/proc/138554/statm: 37177 25388 2400 1147 0 24603 0
Current children cumulated CPU time: 25.25 s
Current children cumulated vsize: 152900 KiB
Current children cumulated memory: 104624 KiB
[startup+51.1135 s]
/proc/loadavg: 2.90 0.99 0.41 5/260 138759
/proc/meminfo: memFree=101609532/131382116 swapFree=33005528/33010684
[pid=138533] ppid=138528 vsize=4192 memory=3072 CPUtime=0.58 cores=4,6
/proc/138533/stat : 138533 (run-opt-ls-log.) S 138528 138533 138264 0 -1 4194304 239 3043 0 0 0 0 51 7 20 0 1 0 183986351 4292608 768 18446744073709551615 93963660050432 93963660944965 140725531021184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93963661184016 93963661231760 93963675455488 140725531027775 140725531027935 140725531027935 140725531033539 0
/proc/138533/statm: 1048 768 704 219 0 110 0
[pid=138554] ppid=138533 vsize=178584 memory=128396 CPUtime=50.2 cores=4,6
/proc/138554/stat : 138554 (roundingsat) R 138533 138533 138264 0 -1 4194304 26096 0 0 0 4930 90 0 0 20 0 1 0 183986420 182870016 32099 18446744073709551615 4227072 8923577 140735003694912 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 41033728 140735003703578 140735003703846 140735003703846 140735003709418 0
/proc/138554/statm: 44646 32099 2400 1147 0 32072 0
Current children cumulated CPU time: 50.78 s
Current children cumulated vsize: 182776 KiB
Current children cumulated memory: 131468 KiB
[startup+102.3 s]
/proc/loadavg: 3.80 1.54 0.62 5/261 138763
/proc/meminfo: memFree=98536132/131382116 swapFree=33005528/33010684
[pid=138533] ppid=138528 vsize=4192 memory=3072 CPUtime=0.58 cores=4,6
/proc/138533/stat : 138533 (run-opt-ls-log.) S 138528 138533 138264 0 -1 4194304 239 3043 0 0 0 0 51 7 20 0 1 0 183986351 4292608 768 18446744073709551615 93963660050432 93963660944965 140725531021184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93963661184016 93963661231760 93963675455488 140725531027775 140725531027935 140725531027935 140725531033539 0
/proc/138533/statm: 1048 768 704 219 0 110 0
[pid=138554] ppid=138533 vsize=212112 memory=155400 CPUtime=101.21 cores=4,6
/proc/138554/stat : 138554 (roundingsat) R 138533 138533 138264 0 -1 4194304 32275 0 0 0 9960 161 0 0 20 0 1 0 183986420 217202688 38850 18446744073709551615 4227072 8923577 140735003694912 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 41033728 140735003703578 140735003703846 140735003703846 140735003709418 0
/proc/138554/statm: 53028 38850 2400 1147 0 40454 0
Current children cumulated CPU time: 101.79 s
Current children cumulated vsize: 216304 KiB
Current children cumulated memory: 158472 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 2.05 0.86 5/261 138764
/proc/meminfo: memFree=96191972/131382116 swapFree=33005528/33010684
[pid=138533] ppid=138528 vsize=4192 memory=3072 CPUtime=0.58 cores=4,6
/proc/138533/stat : 138533 (run-opt-ls-log.) S 138528 138533 138264 0 -1 4194304 239 3043 0 0 0 0 51 7 20 0 1 0 183986351 4292608 768 18446744073709551615 93963660050432 93963660944965 140725531021184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93963661184016 93963661231760 93963675455488 140725531027775 140725531027935 140725531027935 140725531033539 0
/proc/138533/statm: 1048 768 704 219 0 110 0
[pid=138554] ppid=138533 vsize=260536 memory=201164 CPUtime=161.03 cores=4,6
/proc/138554/stat : 138554 (roundingsat) R 138533 138533 138264 0 -1 4194304 38936 0 0 0 15857 246 0 0 20 0 1 0 183986420 266788864 50291 18446744073709551615 4227072 8923577 140735003694912 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 41033728 140735003703578 140735003703846 140735003703846 140735003709418 0
/proc/138554/statm: 65134 50291 2400 1147 0 52560 0
Current children cumulated CPU time: 161.61 s
Current children cumulated vsize: 264728 KiB
Current children cumulated memory: 204236 KiB
[startup+222.3 s]
/proc/loadavg: 4.25 2.46 1.08 5/262 138767
/proc/meminfo: memFree=93359544/131382116 swapFree=33005528/33010684
[pid=138533] ppid=138528 vsize=4192 memory=3072 CPUtime=0.58 cores=4,6
/proc/138533/stat : 138533 (run-opt-ls-log.) S 138528 138533 138264 0 -1 4194304 239 3043 0 0 0 0 51 7 20 0 1 0 183986351 4292608 768 18446744073709551615 93963660050432 93963660944965 140725531021184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93963661184016 93963661231760 93963675455488 140725531027775 140725531027935 140725531027935 140725531033539 0
/proc/138533/statm: 1048 768 704 219 0 110 0
[pid=138554] ppid=138533 vsize=276080 memory=214732 CPUtime=220.87 cores=4,6
/proc/138554/stat : 138554 (roundingsat) R 138533 138533 138264 0 -1 4194304 42359 0 0 0 21770 317 0 0 20 0 1 0 183986420 282705920 53683 18446744073709551615 4227072 8923577 140735003694912 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 41033728 140735003703578 140735003703846 140735003703846 140735003709418 0
/proc/138554/statm: 69020 53683 2400 1147 0 56446 0
Current children cumulated CPU time: 221.45 s
Current children cumulated vsize: 280272 KiB
Current children cumulated memory: 217804 KiB
################
# More data... #
################
/proc/138554/statm: 167140 144841 2400 1147 0 154566 0
Current children cumulated CPU time: 3093.6 s
Current children cumulated vsize: 672752 KiB
Current children cumulated memory: 582436 KiB
[startup+3162.3 s]
/proc/loadavg: 4.67 4.55 4.33 5/255 138937
/proc/meminfo: memFree=5547984/131382116 swapFree=33005528/33010684
[pid=138533] ppid=138528 vsize=4192 memory=3072 CPUtime=0.58 cores=4,6
/proc/138533/stat : 138533 (run-opt-ls-log.) S 138528 138533 138264 0 -1 4194304 239 3043 0 0 0 0 51 7 20 0 1 0 183986351 4292608 768 18446744073709551615 93963660050432 93963660944965 140725531021184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93963661184016 93963661231760 93963675455488 140725531027775 140725531027935 140725531027935 140725531033539 0
/proc/138533/statm: 1048 768 704 219 0 110 0
[pid=138554] ppid=138533 vsize=668904 memory=579748 CPUtime=3152.84 cores=4,6
/proc/138554/stat : 138554 (roundingsat) R 138533 138533 138264 0 -1 4194304 107758 0 0 0 312363 2921 0 0 20 0 1 0 183986420 684957696 144937 18446744073709551615 4227072 8923577 140735003694912 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 41033728 140735003703578 140735003703846 140735003703846 140735003709418 0
/proc/138554/statm: 167226 144937 2400 1147 0 154652 0
Current children cumulated CPU time: 3153.42 s
Current children cumulated vsize: 673096 KiB
Current children cumulated memory: 582820 KiB
[startup+3222.3 s]
/proc/loadavg: 4.35 4.48 4.31 5/255 138939
/proc/meminfo: memFree=4213940/131382116 swapFree=33005528/33010684
[pid=138533] ppid=138528 vsize=4192 memory=3072 CPUtime=0.58 cores=4,6
/proc/138533/stat : 138533 (run-opt-ls-log.) S 138528 138533 138264 0 -1 4194304 239 3043 0 0 0 0 51 7 20 0 1 0 183986351 4292608 768 18446744073709551615 93963660050432 93963660944965 140725531021184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93963661184016 93963661231760 93963675455488 140725531027775 140725531027935 140725531027935 140725531033539 0
/proc/138533/statm: 1048 768 704 219 0 110 0
[pid=138554] ppid=138533 vsize=668904 memory=579748 CPUtime=3212.65 cores=4,6
/proc/138554/stat : 138554 (roundingsat) R 138533 138533 138264 0 -1 4194304 107758 0 0 0 318297 2968 0 0 20 0 1 0 183986420 684957696 144937 18446744073709551615 4227072 8923577 140735003694912 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 41033728 140735003703578 140735003703846 140735003703846 140735003709418 0
/proc/138554/statm: 167226 144937 2400 1147 0 154652 0
Current children cumulated CPU time: 3213.23 s
Current children cumulated vsize: 673096 KiB
Current children cumulated memory: 582820 KiB
[startup+3282.3 s]
/proc/loadavg: 4.37 4.45 4.31 5/254 138941
/proc/meminfo: memFree=2744376/131382116 swapFree=33005528/33010684
[pid=138533] ppid=138528 vsize=4192 memory=3072 CPUtime=0.58 cores=4,6
/proc/138533/stat : 138533 (run-opt-ls-log.) S 138528 138533 138264 0 -1 4194304 239 3043 0 0 0 0 51 7 20 0 1 0 183986351 4292608 768 18446744073709551615 93963660050432 93963660944965 140725531021184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93963661184016 93963661231760 93963675455488 140725531027775 140725531027935 140725531027935 140725531033539 0
/proc/138533/statm: 1048 768 704 219 0 110 0
[pid=138554] ppid=138533 vsize=670908 memory=581796 CPUtime=3272.46 cores=4,6
/proc/138554/stat : 138554 (roundingsat) R 138533 138533 138264 0 -1 4194304 108269 0 0 0 324235 3011 0 0 20 0 1 0 183986420 687009792 145449 18446744073709551615 4227072 8923577 140735003694912 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 41033728 140735003703578 140735003703846 140735003703846 140735003709418 0
/proc/138554/statm: 167727 145449 2400 1147 0 155153 0
Current children cumulated CPU time: 3273.04 s
Current children cumulated vsize: 675100 KiB
Current children cumulated memory: 584868 KiB
[startup+3342.3 s]
/proc/loadavg: 4.31 4.43 4.31 5/256 138946
/proc/meminfo: memFree=1862396/131382116 swapFree=33005528/33010684
[pid=138533] ppid=138528 vsize=4192 memory=3072 CPUtime=0.58 cores=4,6
/proc/138533/stat : 138533 (run-opt-ls-log.) S 138528 138533 138264 0 -1 4194304 239 3043 0 0 0 0 51 7 20 0 1 0 183986351 4292608 768 18446744073709551615 93963660050432 93963660944965 140725531021184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93963661184016 93963661231760 93963675455488 140725531027775 140725531027935 140725531027935 140725531033539 0
/proc/138533/statm: 1048 768 704 219 0 110 0
[pid=138554] ppid=138533 vsize=671272 memory=582180 CPUtime=3332.28 cores=4,6
/proc/138554/stat : 138554 (roundingsat) R 138533 138533 138264 0 -1 4194304 108365 0 0 0 330163 3065 0 0 20 0 1 0 183986420 687382528 145545 18446744073709551615 4227072 8923577 140735003694912 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 41033728 140735003703578 140735003703846 140735003703846 140735003709418 0
/proc/138554/statm: 167818 145545 2400 1147 0 155244 0
Current children cumulated CPU time: 3332.86 s
Current children cumulated vsize: 675464 KiB
Current children cumulated memory: 585252 KiB
[startup+3402.3 s]
/proc/loadavg: 4.33 4.41 4.31 5/256 138948
/proc/meminfo: memFree=1914576/131382116 swapFree=33005528/33010684
[pid=138533] ppid=138528 vsize=4192 memory=3072 CPUtime=0.58 cores=4,6
/proc/138533/stat : 138533 (run-opt-ls-log.) S 138528 138533 138264 0 -1 4194304 239 3043 0 0 0 0 51 7 20 0 1 0 183986351 4292608 768 18446744073709551615 93963660050432 93963660944965 140725531021184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93963661184016 93963661231760 93963675455488 140725531027775 140725531027935 140725531027935 140725531033539 0
/proc/138533/statm: 1048 768 704 219 0 110 0
[pid=138554] ppid=138533 vsize=672560 memory=583076 CPUtime=3392.09 cores=4,6
/proc/138554/stat : 138554 (roundingsat) R 138533 138533 138264 0 -1 4194304 108593 0 0 0 336113 3096 0 0 20 0 1 0 183986420 688701440 145769 18446744073709551615 4227072 8923577 140735003694912 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 41033728 140735003703578 140735003703846 140735003703846 140735003709418 0
/proc/138554/statm: 168140 145769 2400 1147 0 155566 0
Current children cumulated CPU time: 3392.67 s
Current children cumulated vsize: 676752 KiB
Current children cumulated memory: 586148 KiB
[startup+3462.3 s]
/proc/loadavg: 4.21 4.36 4.30 5/257 138951
/proc/meminfo: memFree=1839056/131382116 swapFree=33005528/33010684
[pid=138533] ppid=138528 vsize=4192 memory=3072 CPUtime=0.58 cores=4,6
/proc/138533/stat : 138533 (run-opt-ls-log.) S 138528 138533 138264 0 -1 4194304 239 3043 0 0 0 0 51 7 20 0 1 0 183986351 4292608 768 18446744073709551615 93963660050432 93963660944965 140725531021184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93963661184016 93963661231760 93963675455488 140725531027775 140725531027935 140725531027935 140725531033539 0
/proc/138533/statm: 1048 768 704 219 0 110 0
[pid=138554] ppid=138533 vsize=680420 memory=589604 CPUtime=3451.9 cores=4,6
/proc/138554/stat : 138554 (roundingsat) R 138533 138533 138264 0 -1 4194304 110245 0 0 0 342049 3141 0 0 20 0 1 0 183986420 696750080 147401 18446744073709551615 4227072 8923577 140735003694912 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 41033728 140735003703578 140735003703846 140735003703846 140735003709418 0
/proc/138554/statm: 170105 147401 2400 1147 0 157531 0
Current children cumulated CPU time: 3452.48 s
Current children cumulated vsize: 684612 KiB
Current children cumulated memory: 592676 KiB
[startup+3522.3 s]
/proc/loadavg: 4.20 4.34 4.30 5/258 138954
/proc/meminfo: memFree=1851164/131382116 swapFree=33005528/33010684
[pid=138533] ppid=138528 vsize=4192 memory=3072 CPUtime=0.58 cores=4,6
/proc/138533/stat : 138533 (run-opt-ls-log.) S 138528 138533 138264 0 -1 4194304 239 3043 0 0 0 0 51 7 20 0 1 0 183986351 4292608 768 18446744073709551615 93963660050432 93963660944965 140725531021184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93963661184016 93963661231760 93963675455488 140725531027775 140725531027935 140725531027935 140725531033539 0
/proc/138533/statm: 1048 768 704 219 0 110 0
[pid=138554] ppid=138533 vsize=680420 memory=589732 CPUtime=3511.72 cores=4,6
/proc/138554/stat : 138554 (roundingsat) R 138533 138533 138264 0 -1 4194304 110253 0 0 0 347984 3188 0 0 20 0 1 0 183986420 696750080 147433 18446744073709551615 4227072 8923577 140735003694912 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 41033728 140735003703578 140735003703846 140735003703846 140735003709418 0
/proc/138554/statm: 170105 147433 2400 1147 0 157531 0
Current children cumulated CPU time: 3512.3 s
Current children cumulated vsize: 684612 KiB
Current children cumulated memory: 592804 KiB
[startup+3582.3 s]
/proc/loadavg: 4.27 4.33 4.30 5/260 138964
/proc/meminfo: memFree=1748812/131382116 swapFree=33005528/33010684
[pid=138533] ppid=138528 vsize=4192 memory=3072 CPUtime=0.58 cores=4,6
/proc/138533/stat : 138533 (run-opt-ls-log.) S 138528 138533 138264 0 -1 4194304 239 3043 0 0 0 0 51 7 20 0 1 0 183986351 4292608 768 18446744073709551615 93963660050432 93963660944965 140725531021184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93963661184016 93963661231760 93963675455488 140725531027775 140725531027935 140725531027935 140725531033539 0
/proc/138533/statm: 1048 768 704 219 0 110 0
[pid=138554] ppid=138533 vsize=680420 memory=589732 CPUtime=3571.53 cores=4,6
/proc/138554/stat : 138554 (roundingsat) R 138533 138533 138264 0 -1 4194304 110254 0 0 0 353934 3219 0 0 20 0 1 0 183986420 696750080 147433 18446744073709551615 4227072 8923577 140735003694912 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 41033728 140735003703578 140735003703846 140735003703846 140735003709418 0
/proc/138554/statm: 170105 147433 2400 1147 0 157531 0
Current children cumulated CPU time: 3572.11 s
Current children cumulated vsize: 684612 KiB
Current children cumulated memory: 592804 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.3 s]
/proc/loadavg: 4.40 4.36 4.30 5/257 138965
/proc/meminfo: memFree=1889664/131382116 swapFree=33005528/33010684
[pid=138533] ppid=138528 vsize=4192 memory=3072 CPUtime=0.58 cores=4,6
/proc/138533/stat : 138533 (run-opt-ls-log.) S 138528 138533 138264 0 -1 4194304 239 3043 0 0 0 0 51 7 20 0 1 0 183986351 4292608 768 18446744073709551615 93963660050432 93963660944965 140725531021184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93963661184016 93963661231760 93963675455488 140725531027775 140725531027935 140725531027935 140725531033539 0
/proc/138533/statm: 1048 768 704 219 0 110 0
[pid=138554] ppid=138533 vsize=680656 memory=589860 CPUtime=3599.45 cores=4,6
/proc/138554/stat : 138554 (roundingsat) R 138533 138533 138264 0 -1 4194304 110307 0 0 0 356698 3247 0 0 20 0 1 0 183986420 696991744 147465 18446744073709551615 4227072 8923577 140735003694912 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 41033728 140735003703578 140735003703846 140735003703846 140735003709418 0
/proc/138554/statm: 170164 147465 2400 1147 0 157590 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 684848 KiB
Current children cumulated memory: 592932 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.31 s]
# the end of solver process 138533 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.512918 s, system=0.081646 s
Sleeping 2 seconds
[startup+3610.31 s]
# the end of solver process 138554 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3567.5 s, system=32.5634 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
[startup+3610.3 s]
/proc/loadavg: 4.40 4.36 4.30 5/257 138965
/proc/meminfo: memFree=1889664/131382116 swapFree=33005528/33010684
[pid=138533] ppid=138528 vsize=4192 memory=3072 CPUtime=0.58 cores=4,6
/proc/138533/stat : 138533 (run-opt-ls-log.) S 138528 138533 138264 0 -1 4194304 239 3043 0 0 0 0 51 7 20 0 1 0 183986351 4292608 768 18446744073709551615 93963660050432 93963660944965 140725531021184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93963661184016 93963661231760 93963675455488 140725531027775 140725531027935 140725531027935 140725531033539 0
/proc/138533/statm: 1048 768 704 219 0 110 0
[pid=138554] ppid=138533 vsize=680656 memory=589860 CPUtime=3599.45 cores=4,6
/proc/138554/stat : 138554 (roundingsat) R 138533 138533 138264 0 -1 4194304 110307 0 0 0 356698 3247 0 0 20 0 1 0 183986420 696991744 147465 18446744073709551615 4227072 8923577 140735003694912 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 41033728 140735003703578 140735003703846 140735003703846 140735003709418 0
/proc/138554/statm: 170164 147465 2400 1147 0 157590 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 684848 KiB
Current children cumulated memory: 592932 KiB
Child status: 2
Real time (s): 3610.31
CPU time (s): 3600.07
CPU user time (s): 3567.5
CPU system time (s): 32.5634
CPU usage (%): 99.7161
Max. virtual memory (cumulated for all children) (KiB): 684848
Max. memory (cumulated for all children) (KiB): 592932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3567.5
system time used= 32.5634
maximum resident set size= 590244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113611
page faults= 0
swaps= 0
block input operations= 0
block output operations= 23770728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 354
involuntary context switches= 5938
# summary of solver processes directly reported to runsolver:
# pid: 138533,138554
# total CPU time (s): 3600.07
# total CPU user time (s): 3567.5
# total CPU system time (s): 32.5634
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.2182 second user time and 37.2091 second system time
The end
Begin job on nodeC010 at 2025-07-16 18:24:29
IDJOB=4531948
IDBENCH=148770
IDSOLVER=3392
FILE ID=nodeC010/4531948-1752683069
RUNJOBID= nodeC010-1752683069-138491
SLURM_JOB_ID= 9686905
Free space on /tmp= 430544 MiB
SOLVER NAME= roundingsat-ls+pbsuma-log 0f876b3
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 -w /tmp/evaluation-result-4531948-1752683069/watcher-4531948-1752683069 -o /tmp/evaluation-result-4531948-1752683069/solver-4531948-1752683069 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1752683069-138491 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4531948-1752683069.opb /tmp/proof-4531948-1752683069
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= bb00c8681178995acecbc2b6e4ec1a1a
RANDOM SEED=1526693060
nodeC010 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 : 1197.150
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.36
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 : 1197.141
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.36
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.140
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.322
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.36
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 : 3391.922
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.36
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.080
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.537
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.096
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 103999876 kB
MemAvailable: 129907948 kB
Buffers: 228 kB
Cached: 26682060 kB
SwapCached: 4296 kB
Active: 612864 kB
Inactive: 26138424 kB
Active(anon): 41784 kB
Inactive(anon): 49036 kB
Active(file): 571080 kB
Inactive(file): 26089388 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33005528 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 22016 kB
Writeback: 104 kB
AnonPages: 67540 kB
Mapped: 103096 kB
Shmem: 21820 kB
KReclaimable: 174464 kB
Slab: 264352 kB
SReclaimable: 174464 kB
SUnreclaim: 89888 kB
KernelStack: 3888 kB
PageTables: 2656 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 350456 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149320 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 8192 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: 205640 kB
DirectMap2M: 12279808 kB
DirectMap1G: 123731968 kB
Free space on /tmp at the end= 324504 MiB
End job on nodeC010 at 2025-07-16 19:24:40