0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4532100-1752596906.opb'
0.00/0.01 c read 0.16MB (2.77ms)
0.00/0.01 c [cnf: #variables 2460 #clauses 4721 #duplicates 0 #arr 16500]
0.00/0.04 c output proof to 'PROOFDIR/proof-4532100-1752596906'
0.00/0.04 c
0.00/0.04 c make graph and approximate orbits
0.00/0.05 c [group: #orbits ~= 840] (3.66ms)
0.00/0.05 c
0.00/0.05 c detect special group actions
0.00/0.05 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.08 c probe for row symmetry (limit=64, splits=16.78M)
0.06/0.19 c (141.55ms)
0.06/0.19 c
0.06/0.19 c detect symmetries on remainder
0.06/0.19 c [graph: #vertices 16784 #edges 52206]
0.06/0.19 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.06/0.20 c [group: #symmetries 1.20*10^1 #generators 2] (8.75ms)
0.06/0.20 c
0.06/0.20 c optimize generators (opt_passes=64, conjugate_limit=256)
0.06/0.20 c (0.00ms)
0.06/0.20 c
0.06/0.20 c finalize break order and special generators
0.06/0.20 c
0.06/0.20 c add generic predicates (break_depth=20)
0.06/0.20 c added predicates for 2 generators (0.03ms)
0.16/0.23 c
0.16/0.23 c generation finished
0.16/0.23 c [sbp: #constraints 116 #add_vars 38]
0.16/0.23 c
0.16/0.23 c write result to 'HOME/instance-4532100-1752596906.opb.pre'
0.16/0.23 c wrote 0.17MB (0.53ms)
0.16/0.23 c ------------------------------------------------------------------
0.16/0.23 c 141.55ms 65.69% detect_special
0.16/0.23 c 58.06ms 26.94% other
0.16/0.23 c 8.75ms 4.06% detect_generic
0.16/0.23 c 3.66ms 1.70% approx_orbits
0.16/0.23 c 2.77ms 1.29% parse
0.16/0.23 c 0.53ms 0.24% output
0.16/0.23 c 0.13ms 0.06% finalize_order
0.16/0.23 c 0.03ms 0.01% break_generic
0.16/0.23 c 0.00ms 0.00% optimize_gens
0.16/0.23 c ───────────────────────────────────────────────
0.16/0.23 c 215.48ms 100% total
0.16/0.23 c ------------------------------------------------------------------
0.16/0.29 c RoundingSat 2
0.16/0.29 c branch pb25
0.16/0.29 c commit 0f876b3
0.18/0.33 c #variables 2498 #constraints 4876
0.18/0.33 c objective is ce32
0.18/0.36 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.18/0.36 c initial counting CF 32, 64, 128, Arb: 2341 , 0 , 0 , 0
0.18/0.36 c bounds 3361 >= 0 @ 0.055853
0.18/0.36 c rational objective 0
0.18/0.39 c bounds 3320 >= 0 @ 0.090504
0.18/0.39 c bounds 3172 >= 0 @ 0.091559
0.18/0.40 c bounds 3162 >= 0 @ 0.093652
0.18/0.40 c bounds 3154 >= 0 @ 0.097684
0.18/0.40 c bounds 3035 >= 0 @ 0.098624
0.18/0.40 c bounds 2966 >= 0 @ 0.100459
0.18/0.41 c bounds 2915 >= 0 @ 0.102806
0.28/0.41 c bounds 2845 >= 0 @ 0.104867
0.28/0.41 c bounds 2825 >= 0 @ 0.108065
0.28/0.41 c bounds 2794 >= 0 @ 0.109844
0.28/0.41 c bounds 2704 >= 0 @ 0.110795
0.28/0.42 c bounds 2652 >= 0 @ 0.112811
0.28/0.42 c bounds 2588 >= 0 @ 0.1147
0.28/0.42 c bounds 2518 >= 0 @ 0.115782
0.39/0.54 c bounds 2500 >= 0 @ 0.228854
0.39/0.54 c bounds 2490 >= 0 @ 0.229982
0.39/0.54 c bounds 2163 >= 0 @ 0.231092
0.39/0.54 c bounds 2098 >= 0 @ 0.232221
0.39/0.55 c bounds 2078 >= 0 @ 0.241294
0.39/0.55 c bounds 1665 >= 0 @ 0.242534
0.39/0.55 c bounds 1575 >= 0 @ 0.244727
0.39/0.55 c bounds 1546 >= 0 @ 0.246922
0.57/0.73 c bounds 1524 >= 0 @ 0.418946
0.67/0.85 c bounds 1523 >= 0 @ 0.531533
0.67/0.85 c bounds 1518 >= 0 @ 0.533352
3.27/3.47 c #Conflicts: 1000 | #Constraints: 5915
3.27/3.47 c #Conflicts: 2000 | #Constraints: 6926
3.27/3.47 c INPROCESSING
3.27/3.47 c GARBAGE COLLECT
3.27/3.47 c bounds 1390 >= 0 @ 3.07907
4.76/4.92 c #Conflicts: 3000 | #Constraints: 6907
4.76/4.92 c bounds 1379 >= 0 @ 4.48977
10.14/10.31 c #Conflicts: 4000 | #Constraints: 7921
10.14/10.31 c INPROCESSING
10.14/10.31 c GARBAGE COLLECT
10.14/10.31 c #Conflicts: 5000 | #Constraints: 7315
10.14/10.31 c #Conflicts: 6000 | #Constraints: 8319
10.14/10.31 c INPROCESSING
10.14/10.31 c GARBAGE COLLECT
10.14/10.31 c rational objective 0
10.54/10.71 c bounds 1258 >= 0 @ 10.1544
11.55/11.79 c #Conflicts: 7000 | #Constraints: 7312
11.55/11.79 c bounds 1252 >= 0 @ 11.1975
13.84/14.02 c #Conflicts: 8000 | #Constraints: 8327
13.84/14.02 c #Conflicts: 9000 | #Constraints: 9343
13.84/14.02 c INPROCESSING
13.84/14.02 c GARBAGE COLLECT
13.84/14.02 c rational objective 0
18.43/18.63 c #Conflicts: 10000 | #Constraints: 8017
18.43/18.63 c #Conflicts: 11000 | #Constraints: 9023
18.43/18.63 c #Conflicts: 12000 | #Constraints: 10030
18.43/18.63 c INPROCESSING
18.43/18.63 c GARBAGE COLLECT
18.43/18.63 c rational objective 0
22.62/22.80 c #Conflicts: 13000 | #Constraints: 8470
22.62/22.80 c #Conflicts: 14000 | #Constraints: 9484
22.62/22.80 c #Conflicts: 15000 | #Constraints: 10494
22.62/22.80 c INPROCESSING
22.62/22.80 c GARBAGE COLLECT
22.62/22.80 c rational objective 0
27.80/28.05 c #Conflicts: 16000 | #Constraints: 8707
27.80/28.05 c #Conflicts: 17000 | #Constraints: 9716
27.80/28.05 c #Conflicts: 18000 | #Constraints: 10718
27.80/28.05 c INPROCESSING
27.80/28.05 c GARBAGE COLLECT
27.80/28.05 c rational objective 0
32.89/33.17 c #Conflicts: 19000 | #Constraints: 8722
32.89/33.17 c #Conflicts: 20000 | #Constraints: 9736
32.89/33.17 c #Conflicts: 21000 | #Constraints: 10748
32.89/33.17 c INPROCESSING
32.89/33.17 c GARBAGE COLLECT
32.89/33.17 c rational objective 0
37.51/57.02 c #Conflicts: 22000 | #Constraints: 8525
37.51/57.02 c #Conflicts: 23000 | #Constraints: 9531
37.51/57.02 c #Conflicts: 24000 | #Constraints: 10533
37.51/57.02 c bounds 1235 >= 0 @ 36.5078
38.70/58.28 c #Conflicts: 25000 | #Constraints: 11542
38.70/58.28 c INPROCESSING
38.70/58.28 c GARBAGE COLLECT
38.70/58.28 c rational objective 0
39.90/59.44 c #Conflicts: 26000 | #Constraints: 9130
39.90/59.44 c bounds 1220 >= 0 @ 38.8727
39.90/59.44 c bounds 1183 >= 0 @ 38.8752
44.09/63.63 c #Conflicts: 27000 | #Constraints: 10143
44.09/63.63 c #Conflicts: 28000 | #Constraints: 11153
44.09/63.63 c #Conflicts: 29000 | #Constraints: 12168
44.09/63.63 c INPROCESSING
44.09/63.63 c GARBAGE COLLECT
44.09/63.63 c rational objective 0
51.27/70.85 c #Conflicts: 30000 | #Constraints: 9532
51.27/70.85 c #Conflicts: 31000 | #Constraints: 10538
51.27/70.85 c #Conflicts: 32000 | #Constraints: 11541
51.27/70.85 c #Conflicts: 33000 | #Constraints: 12544
51.27/70.85 c INPROCESSING
51.27/70.85 c GARBAGE COLLECT
51.27/70.85 c rational objective 0
57.05/76.60 c #Conflicts: 34000 | #Constraints: 9739
57.05/76.60 c #Conflicts: 35000 | #Constraints: 10750
57.05/76.60 c #Conflicts: 36000 | #Constraints: 11761
57.05/76.60 c #Conflicts: 37000 | #Constraints: 12776
57.05/76.60 c INPROCESSING
57.05/76.60 c GARBAGE COLLECT
57.05/76.60 c rational objective 0
64.93/84.51 c #Conflicts: 38000 | #Constraints: 9744
64.93/84.51 c #Conflicts: 39000 | #Constraints: 10745
64.93/84.51 c #Conflicts: 40000 | #Constraints: 11747
64.93/84.51 c #Conflicts: 41000 | #Constraints: 12753
64.93/84.51 c INPROCESSING
64.93/84.51 c GARBAGE COLLECT
64.93/84.51 c rational objective 0
71.42/91.04 c #Conflicts: 42000 | #Constraints: 9539
71.42/91.04 c #Conflicts: 43000 | #Constraints: 10546
71.42/91.04 c #Conflicts: 44000 | #Constraints: 11556
71.42/91.04 c #Conflicts: 45000 | #Constraints: 12564
71.42/91.04 c #Conflicts: 46000 | #Constraints: 13573
71.42/91.04 c INPROCESSING
71.42/91.04 c GARBAGE COLLECT
71.42/91.04 c rational objective 0
80.18/99.88 c #Conflicts: 47000 | #Constraints: 10140
80.18/99.88 c #Conflicts: 48000 | #Constraints: 11146
80.18/99.88 c #Conflicts: 49000 | #Constraints: 12149
80.18/99.88 c #Conflicts: 50000 | #Constraints: 13150
80.18/99.88 c #Conflicts: 51000 | #Constraints: 14154
80.18/99.88 c INPROCESSING
80.18/99.88 c GARBAGE COLLECT
80.18/99.88 c rational objective 0
87.36/107.01 c #Conflicts: 52000 | #Constraints: 10540
87.36/107.01 c #Conflicts: 53000 | #Constraints: 11551
87.36/107.01 c #Conflicts: 54000 | #Constraints: 12566
87.36/107.01 c #Conflicts: 55000 | #Constraints: 13576
87.36/107.01 c #Conflicts: 56000 | #Constraints: 14591
87.36/107.01 c INPROCESSING
87.36/107.01 c GARBAGE COLLECT
87.36/107.01 c rational objective 0
93.94/113.66 c #Conflicts: 57000 | #Constraints: 10753
93.94/113.66 c #Conflicts: 58000 | #Constraints: 11766
93.94/113.66 c #Conflicts: 59000 | #Constraints: 12779
93.94/113.66 c #Conflicts: 60000 | #Constraints: 13793
93.94/113.66 c #Conflicts: 61000 | #Constraints: 14805
93.94/113.66 c INPROCESSING
93.94/113.66 c GARBAGE COLLECT
93.94/113.66 c rational objective 0
102.91/122.64 c #Conflicts: 62000 | #Constraints: 10761
102.91/122.64 c #Conflicts: 63000 | #Constraints: 11772
102.91/122.64 c #Conflicts: 64000 | #Constraints: 12776
102.91/122.64 c #Conflicts: 65000 | #Constraints: 13779
102.91/122.64 c #Conflicts: 66000 | #Constraints: 14781
102.91/122.64 c bounds 1183 >= 18 @ 100.536
103.72/123.45 c INPROCESSING
103.72/123.45 c GARBAGE COLLECT
103.72/123.45 c rational objective 18
111.69/131.44 c #Conflicts: 67000 | #Constraints: 10550
111.69/131.44 c #Conflicts: 68000 | #Constraints: 11557
111.69/131.44 c #Conflicts: 69000 | #Constraints: 12566
111.69/131.44 c #Conflicts: 70000 | #Constraints: 13577
111.69/131.44 c #Conflicts: 71000 | #Constraints: 14590
111.69/131.44 c #Conflicts: 72000 | #Constraints: 15607
111.69/131.44 c INPROCESSING
111.69/131.44 c GARBAGE COLLECT
111.69/131.44 c rational objective 18
122.56/142.31 c #Conflicts: 73000 | #Constraints: 11156
122.56/142.31 c #Conflicts: 74000 | #Constraints: 12158
122.56/142.31 c #Conflicts: 75000 | #Constraints: 13159
122.56/142.31 c #Conflicts: 76000 | #Constraints: 14160
122.56/142.31 c #Conflicts: 77000 | #Constraints: 15161
122.56/142.31 c #Conflicts: 78000 | #Constraints: 16163
122.56/142.31 c INPROCESSING
122.56/142.31 c GARBAGE COLLECT
122.56/142.31 c rational objective 18
131.82/151.66 c #Conflicts: 79000 | #Constraints: 11562
131.82/151.66 c #Conflicts: 80000 | #Constraints: 12565
131.82/151.66 c #Conflicts: 81000 | #Constraints: 13571
131.82/151.66 c #Conflicts: 82000 | #Constraints: 14580
131.82/151.66 c #Conflicts: 83000 | #Constraints: 15591
131.82/151.66 c #Conflicts: 84000 | #Constraints: 16601
131.82/151.66 c INPROCESSING
131.82/151.66 c GARBAGE COLLECT
131.82/151.66 c rational objective 18
140.31/160.17 c #Conflicts: 85000 | #Constraints: 11760
140.31/160.17 c #Conflicts: 86000 | #Constraints: 12773
140.31/160.17 c #Conflicts: 87000 | #Constraints: 13785
140.31/160.17 c #Conflicts: 88000 | #Constraints: 14792
140.31/160.17 c #Conflicts: 89000 | #Constraints: 15804
140.31/160.17 c #Conflicts: 90000 | #Constraints: 16811
140.31/160.17 c INPROCESSING
140.31/160.17 c GARBAGE COLLECT
140.31/160.17 c rational objective 18
152.17/172.08 c #Conflicts: 91000 | #Constraints: 11763
152.17/172.08 c #Conflicts: 92000 | #Constraints: 12769
152.17/172.08 c #Conflicts: 93000 | #Constraints: 13771
152.17/172.08 c #Conflicts: 94000 | #Constraints: 14771
152.17/172.08 c #Conflicts: 95000 | #Constraints: 15771
152.17/172.08 c #Conflicts: 96000 | #Constraints: 16771
152.17/172.08 c INPROCESSING
152.17/172.08 c GARBAGE COLLECT
152.17/172.08 c rational objective 18
162.14/182.02 c #Conflicts: 97000 | #Constraints: 11563
162.14/182.02 c #Conflicts: 98000 | #Constraints: 12574
162.14/182.02 c #Conflicts: 99000 | #Constraints: 13582
162.14/182.02 c #Conflicts: 100000 | #Constraints: 14590
162.14/182.02 c #Conflicts: 101000 | #Constraints: 15596
162.14/182.02 c #Conflicts: 102000 | #Constraints: 16604
162.14/182.02 c #Conflicts: 103000 | #Constraints: 17610
162.14/182.02 c INPROCESSING
162.14/182.02 c GARBAGE COLLECT
162.14/182.02 c rational objective 18
174.50/194.46 c #Conflicts: 104000 | #Constraints: 12163
174.50/194.46 c #Conflicts: 105000 | #Constraints: 13164
174.50/194.46 c #Conflicts: 106000 | #Constraints: 14167
174.50/194.46 c #Conflicts: 107000 | #Constraints: 15168
174.50/194.46 c #Conflicts: 108000 | #Constraints: 16169
174.50/194.46 c #Conflicts: 109000 | #Constraints: 17170
174.50/194.46 c #Conflicts: 110000 | #Constraints: 18170
174.50/194.46 c INPROCESSING
174.50/194.46 c GARBAGE COLLECT
174.50/194.46 c rational objective 18
186.66/206.66 c #Conflicts: 111000 | #Constraints: 12625
186.66/206.66 c #Conflicts: 112000 | #Constraints: 13626
186.66/206.66 c #Conflicts: 113000 | #Constraints: 14632
186.66/206.66 c #Conflicts: 114000 | #Constraints: 15642
186.66/206.66 c #Conflicts: 115000 | #Constraints: 16650
186.66/206.66 c #Conflicts: 116000 | #Constraints: 17656
186.66/206.66 c #Conflicts: 117000 | #Constraints: 18659
186.66/206.66 c INPROCESSING
186.66/206.66 c GARBAGE COLLECT
186.66/206.66 c rational objective 18
198.73/218.73 c #Conflicts: 118000 | #Constraints: 12796
198.73/218.73 c #Conflicts: 119000 | #Constraints: 13803
198.73/218.73 c #Conflicts: 120000 | #Constraints: 14809
198.73/218.73 c #Conflicts: 121000 | #Constraints: 15817
198.73/218.73 c #Conflicts: 122000 | #Constraints: 16828
198.73/218.73 c #Conflicts: 123000 | #Constraints: 17837
198.73/218.73 c #Conflicts: 124000 | #Constraints: 18845
198.73/218.73 c INPROCESSING
198.73/218.73 c GARBAGE COLLECT
198.73/218.73 c rational objective 18
212.09/232.18 c #Conflicts: 125000 | #Constraints: 12783
212.09/232.18 c #Conflicts: 126000 | #Constraints: 13784
212.09/232.18 c #Conflicts: 127000 | #Constraints: 14788
212.09/232.18 c #Conflicts: 128000 | #Constraints: 15789
212.09/232.18 c #Conflicts: 129000 | #Constraints: 16789
212.09/232.18 c #Conflicts: 130000 | #Constraints: 17790
212.09/232.18 c #Conflicts: 131000 | #Constraints: 18792
212.09/232.18 c INPROCESSING
212.09/232.18 c GARBAGE COLLECT
212.09/232.18 c rational objective 18
223.55/243.68 c #Conflicts: 132000 | #Constraints: 12590
223.55/243.68 c #Conflicts: 133000 | #Constraints: 13597
223.55/243.68 c #Conflicts: 134000 | #Constraints: 14605
223.55/243.68 c #Conflicts: 135000 | #Constraints: 15617
223.55/243.68 c #Conflicts: 136000 | #Constraints: 16622
223.55/243.68 c #Conflicts: 137000 | #Constraints: 17635
223.55/243.68 c #Conflicts: 138000 | #Constraints: 18647
223.55/243.68 c #Conflicts: 139000 | #Constraints: 19658
223.55/243.68 c INPROCESSING
223.55/243.68 c GARBAGE COLLECT
223.55/243.68 c rational objective 18
234.42/254.54 c #Conflicts: 140000 | #Constraints: 13193
234.42/254.54 c #Conflicts: 141000 | #Constraints: 14205
234.42/254.54 c #Conflicts: 142000 | #Constraints: 15217
234.42/254.54 c #Conflicts: 143000 | #Constraints: 16229
234.42/254.54 c #Conflicts: 144000 | #Constraints: 17242
234.42/254.54 c #Conflicts: 145000 | #Constraints: 18253
234.42/254.54 c #Conflicts: 146000 | #Constraints: 19263
234.42/254.54 c #Conflicts: 147000 | #Constraints: 20274
234.42/254.54 c INPROCESSING
234.42/254.54 c GARBAGE COLLECT
234.42/254.54 c rational objective 18
246.78/266.97 c #Conflicts: 148000 | #Constraints: 13590
246.78/266.97 c #Conflicts: 149000 | #Constraints: 14591
246.78/266.97 c #Conflicts: 150000 | #Constraints: 15594
246.78/266.97 c #Conflicts: 151000 | #Constraints: 16596
246.78/266.97 c #Conflicts: 152000 | #Constraints: 17598
246.78/266.97 c #Conflicts: 153000 | #Constraints: 18599
246.78/266.97 c bounds 1183 >= 36 @ 241.252
249.37/269.53 c #Conflicts: 154000 | #Constraints: 19607
249.37/269.53 c #Conflicts: 155000 | #Constraints: 20618
249.37/269.53 c INPROCESSING
249.37/269.53 c GARBAGE COLLECT
249.37/269.53 c rational objective 36
262.63/282.82 c #Conflicts: 156000 | #Constraints: 13772
262.63/282.82 c #Conflicts: 157000 | #Constraints: 14779
262.63/282.82 c #Conflicts: 158000 | #Constraints: 15784
262.63/282.82 c #Conflicts: 159000 | #Constraints: 16792
262.63/282.82 c #Conflicts: 160000 | #Constraints: 17796
262.63/282.82 c #Conflicts: 161000 | #Constraints: 18803
262.63/282.82 c #Conflicts: 162000 | #Constraints: 19812
262.63/282.82 c #Conflicts: 163000 | #Constraints: 20821
262.63/282.82 c INPROCESSING
262.63/282.82 c GARBAGE COLLECT
262.63/282.82 c rational objective 36
277.59/297.83 c #Conflicts: 164000 | #Constraints: 13772
277.59/297.83 c #Conflicts: 165000 | #Constraints: 14777
277.59/297.83 c #Conflicts: 166000 | #Constraints: 15778
277.59/297.83 c #Conflicts: 167000 | #Constraints: 16780
277.59/297.83 c #Conflicts: 168000 | #Constraints: 17781
277.59/297.83 c #Conflicts: 169000 | #Constraints: 18781
277.59/297.83 c #Conflicts: 170000 | #Constraints: 19781
277.59/297.83 c #Conflicts: 171000 | #Constraints: 20781
277.59/297.83 c INPROCESSING
277.59/297.83 c GARBAGE COLLECT
277.59/297.83 c rational objective 36
290.24/310.53 c #Conflicts: 172000 | #Constraints: 13626
290.24/310.53 c #Conflicts: 173000 | #Constraints: 14630
290.24/310.53 c #Conflicts: 174000 | #Constraints: 15637
290.24/310.53 c #Conflicts: 175000 | #Constraints: 16643
290.24/310.53 c #Conflicts: 176000 | #Constraints: 17650
290.24/310.53 c #Conflicts: 177000 | #Constraints: 18659
290.24/310.53 c #Conflicts: 178000 | #Constraints: 19666
290.24/310.53 c #Conflicts: 179000 | #Constraints: 20670
290.24/310.53 c #Conflicts: 180000 | #Constraints: 21677
290.24/310.53 c INPROCESSING
290.24/310.53 c GARBAGE COLLECT
290.24/310.53 c rational objective 36
302.51/322.83 c #Conflicts: 181000 | #Constraints: 14203
302.51/322.83 c #Conflicts: 182000 | #Constraints: 15210
302.51/322.83 c #Conflicts: 183000 | #Constraints: 16219
302.51/322.83 c #Conflicts: 184000 | #Constraints: 17229
302.51/322.83 c #Conflicts: 185000 | #Constraints: 18239
302.51/322.83 c #Conflicts: 186000 | #Constraints: 19251
302.51/322.83 c #Conflicts: 187000 | #Constraints: 20262
302.51/322.83 c #Conflicts: 188000 | #Constraints: 21271
302.51/322.83 c #Conflicts: 189000 | #Constraints: 22280
302.51/322.83 c INPROCESSING
302.51/322.83 c GARBAGE COLLECT
302.51/322.83 c rational objective 36
316.47/336.86 c #Conflicts: 190000 | #Constraints: 14613
316.47/336.86 c #Conflicts: 191000 | #Constraints: 15622
316.47/336.86 c #Conflicts: 192000 | #Constraints: 16627
316.47/336.86 c #Conflicts: 193000 | #Constraints: 17632
316.47/336.86 c #Conflicts: 194000 | #Constraints: 18644
316.47/336.86 c #Conflicts: 195000 | #Constraints: 19656
316.47/336.86 c #Conflicts: 196000 | #Constraints: 20667
316.47/336.86 c #Conflicts: 197000 | #Constraints: 21678
316.47/336.86 c #Conflicts: 198000 | #Constraints: 22691
316.47/336.86 c INPROCESSING
316.47/336.86 c GARBAGE COLLECT
316.47/336.86 c rational objective 36
333.31/353.75 c #Conflicts: 199000 | #Constraints: 14809
333.31/353.75 c #Conflicts: 200000 | #Constraints: 15812
333.31/353.75 c #Conflicts: 201000 | #Constraints: 16815
333.31/353.75 c #Conflicts: 202000 | #Constraints: 17815
333.31/353.75 c #Conflicts: 203000 | #Constraints: 18816
333.31/353.75 c #Conflicts: 204000 | #Constraints: 19817
333.31/353.75 c #Conflicts: 205000 | #Constraints: 20821
333.31/353.75 c #Conflicts: 206000 | #Constraints: 21824
333.31/353.75 c #Conflicts: 207000 | #Constraints: 22825
333.31/353.75 c INPROCESSING
333.31/353.75 c GARBAGE COLLECT
333.31/353.75 c rational objective 36
347.97/368.41 c #Conflicts: 208000 | #Constraints: 14800
347.97/368.41 c #Conflicts: 209000 | #Constraints: 15810
347.97/368.41 c #Conflicts: 210000 | #Constraints: 16816
347.97/368.41 c #Conflicts: 211000 | #Constraints: 17827
347.97/368.41 c #Conflicts: 212000 | #Constraints: 18836
347.97/368.41 c #Conflicts: 213000 | #Constraints: 19846
347.97/368.41 c #Conflicts: 214000 | #Constraints: 20850
347.97/368.41 c #Conflicts: 215000 | #Constraints: 21858
347.97/368.41 c #Conflicts: 216000 | #Constraints: 22865
347.97/368.41 c INPROCESSING
347.97/368.41 c GARBAGE COLLECT
347.97/368.41 c rational objective 36
361.63/382.14 c #Conflicts: 217000 | #Constraints: 14600
361.63/382.14 c #Conflicts: 218000 | #Constraints: 15609
361.63/382.14 c #Conflicts: 219000 | #Constraints: 16620
361.63/382.14 c #Conflicts: 220000 | #Constraints: 17630
361.63/382.14 c #Conflicts: 221000 | #Constraints: 18638
361.63/382.14 c #Conflicts: 222000 | #Constraints: 19647
361.63/382.14 c #Conflicts: 223000 | #Constraints: 20659
361.63/382.14 c #Conflicts: 224000 | #Constraints: 21669
361.63/382.14 c #Conflicts: 225000 | #Constraints: 22678
361.63/382.14 c #Conflicts: 226000 | #Constraints: 23685
361.63/382.14 c INPROCESSING
361.63/382.14 c GARBAGE COLLECT
361.63/382.14 c rational objective 36
378.78/399.33 c #Conflicts: 227000 | #Constraints: 15207
378.78/399.33 c #Conflicts: 228000 | #Constraints: 16208
378.78/399.33 c #Conflicts: 229000 | #Constraints: 17210
378.78/399.33 c #Conflicts: 230000 | #Constraints: 18211
378.78/399.33 c #Conflicts: 231000 | #Constraints: 19213
378.78/399.33 c #Conflicts: 232000 | #Constraints: 20214
378.78/399.33 c #Conflicts: 233000 | #Constraints: 21215
378.78/399.33 c #Conflicts: 234000 | #Constraints: 22215
378.78/399.33 c #Conflicts: 235000 | #Constraints: 23216
378.78/399.33 c #Conflicts: 236000 | #Constraints: 24218
378.78/399.33 c INPROCESSING
378.78/399.33 c GARBAGE COLLECT
378.78/399.33 c rational objective 36
395.72/416.34 c #Conflicts: 237000 | #Constraints: 15595
395.72/416.34 c #Conflicts: 238000 | #Constraints: 16601
395.72/416.34 c #Conflicts: 239000 | #Constraints: 17609
395.72/416.34 c #Conflicts: 240000 | #Constraints: 18613
395.72/416.34 c #Conflicts: 241000 | #Constraints: 19617
395.72/416.34 c #Conflicts: 242000 | #Constraints: 20628
395.72/416.34 c #Conflicts: 243000 | #Constraints: 21634
395.72/416.34 c #Conflicts: 244000 | #Constraints: 22644
395.72/416.34 c #Conflicts: 245000 | #Constraints: 23650
395.72/416.34 c #Conflicts: 246000 | #Constraints: 24658
395.72/416.34 c INPROCESSING
395.72/416.34 c GARBAGE COLLECT
395.72/416.34 c rational objective 36
410.98/431.61 c #Conflicts: 247000 | #Constraints: 15796
410.98/431.61 c #Conflicts: 248000 | #Constraints: 16807
410.98/431.61 c #Conflicts: 249000 | #Constraints: 17818
410.98/431.61 c #Conflicts: 250000 | #Constraints: 18829
410.98/431.61 c #Conflicts: 251000 | #Constraints: 19836
410.98/431.61 c #Conflicts: 252000 | #Constraints: 20842
410.98/431.61 c #Conflicts: 253000 | #Constraints: 21851
410.98/431.61 c #Conflicts: 254000 | #Constraints: 22860
410.98/431.61 c #Conflicts: 255000 | #Constraints: 23865
410.98/431.61 c #Conflicts: 256000 | #Constraints: 24871
410.98/431.61 c INPROCESSING
410.98/431.61 c GARBAGE COLLECT
410.98/431.61 c rational objective 36
429.41/450.15 c #Conflicts: 257000 | #Constraints: 15797
429.41/450.15 c #Conflicts: 258000 | #Constraints: 16797
429.41/450.15 c #Conflicts: 259000 | #Constraints: 17799
429.41/450.15 c #Conflicts: 260000 | #Constraints: 18800
429.41/450.15 c #Conflicts: 261000 | #Constraints: 19800
429.41/450.15 c #Conflicts: 262000 | #Constraints: 20801
429.41/450.15 c #Conflicts: 263000 | #Constraints: 21802
429.41/450.15 c #Conflicts: 264000 | #Constraints: 22802
429.41/450.15 c #Conflicts: 265000 | #Constraints: 23804
429.41/450.15 c #Conflicts: 266000 | #Constraints: 24806
429.41/450.15 c INPROCESSING
429.41/450.15 c GARBAGE COLLECT
429.41/450.15 c rational objective 36
450.65/471.45 c #Conflicts: 267000 | #Constraints: 15633
450.65/471.45 c #Conflicts: 268000 | #Constraints: 16635
450.65/471.45 c #Conflicts: 269000 | #Constraints: 17641
450.65/471.45 c #Conflicts: 270000 | #Constraints: 18642
450.65/471.45 c #Conflicts: 271000 | #Constraints: 19643
450.65/471.45 c #Conflicts: 272000 | #Constraints: 20647
450.65/471.45 c #Conflicts: 273000 | #Constraints: 21648
450.65/471.45 c #Conflicts: 274000 | #Constraints: 22648
450.65/471.45 c #Conflicts: 275000 | #Constraints: 23652
450.65/471.45 c #Conflicts: 276000 | #Constraints: 24660
450.65/471.45 c #Conflicts: 277000 | #Constraints: 25662
450.65/471.45 c INPROCESSING
450.65/471.45 c GARBAGE COLLECT
450.65/471.45 c rational objective 36
466.90/487.70 c #Conflicts: 278000 | #Constraints: 16198
466.90/487.70 c #Conflicts: 279000 | #Constraints: 17204
466.90/487.70 c #Conflicts: 280000 | #Constraints: 18208
466.90/487.70 c #Conflicts: 281000 | #Constraints: 19215
466.90/487.70 c #Conflicts: 282000 | #Constraints: 20220
466.90/487.70 c #Conflicts: 283000 | #Constraints: 21229
466.90/487.70 c #Conflicts: 284000 | #Constraints: 22234
466.90/487.70 c #Conflicts: 285000 | #Constraints: 23237
466.90/487.70 c #Conflicts: 286000 | #Constraints: 24240
466.90/487.70 c #Conflicts: 287000 | #Constraints: 25243
466.90/487.70 c #Conflicts: 288000 | #Constraints: 26247
466.90/487.70 c INPROCESSING
466.90/487.70 c GARBAGE COLLECT
466.90/487.70 c rational objective 36
485.64/506.50 c #Conflicts: 289000 | #Constraints: 16580
485.64/506.50 c #Conflicts: 290000 | #Constraints: 17582
485.64/506.50 c #Conflicts: 291000 | #Constraints: 18582
485.64/506.50 c #Conflicts: 292000 | #Constraints: 19582
485.64/506.50 c #Conflicts: 293000 | #Constraints: 20583
485.64/506.50 c #Conflicts: 294000 | #Constraints: 21584
485.64/506.50 c #Conflicts: 295000 | #Constraints: 22584
485.64/506.50 c #Conflicts: 296000 | #Constraints: 23585
485.64/506.50 c #Conflicts: 297000 | #Constraints: 24585
485.64/506.50 c #Conflicts: 298000 | #Constraints: 25587
485.64/506.50 c #Conflicts: 299000 | #Constraints: 26587
485.64/506.50 c INPROCESSING
485.64/506.50 c GARBAGE COLLECT
485.64/506.50 c rational objective 36
502.39/523.31 c #Conflicts: 300000 | #Constraints: 16818
502.39/523.31 c #Conflicts: 301000 | #Constraints: 17823
502.39/523.31 c #Conflicts: 302000 | #Constraints: 18830
502.39/523.31 c #Conflicts: 303000 | #Constraints: 19836
502.39/523.31 c #Conflicts: 304000 | #Constraints: 20838
502.39/523.31 c #Conflicts: 305000 | #Constraints: 21844
502.39/523.31 c #Conflicts: 306000 | #Constraints: 22850
502.39/523.31 c #Conflicts: 307000 | #Constraints: 23855
502.39/523.31 c #Conflicts: 308000 | #Constraints: 24860
502.39/523.31 c #Conflicts: 309000 | #Constraints: 25864
502.39/523.31 c #Conflicts: 310000 | #Constraints: 26869
502.39/523.31 c INPROCESSING
502.39/523.31 c GARBAGE COLLECT
502.39/523.31 c rational objective 36
519.54/540.52 c #Conflicts: 311000 | #Constraints: 16799
519.54/540.52 c #Conflicts: 312000 | #Constraints: 17803
519.54/540.52 c #Conflicts: 313000 | #Constraints: 18812
519.54/540.52 c #Conflicts: 314000 | #Constraints: 19817
519.54/540.52 c #Conflicts: 315000 | #Constraints: 20828
519.54/540.52 c #Conflicts: 316000 | #Constraints: 21838
519.54/540.52 c #Conflicts: 317000 | #Constraints: 22847
519.54/540.52 c #Conflicts: 318000 | #Constraints: 23853
519.54/540.52 c #Conflicts: 319000 | #Constraints: 24861
519.54/540.52 c #Conflicts: 320000 | #Constraints: 25869
519.54/540.52 c #Conflicts: 321000 | #Constraints: 26875
519.54/540.52 c INPROCESSING
519.54/540.52 c GARBAGE COLLECT
519.54/540.52 c rational objective 36
540.67/561.77 c #Conflicts: 322000 | #Constraints: 16607
540.67/561.77 c #Conflicts: 323000 | #Constraints: 17608
540.67/561.77 c #Conflicts: 324000 | #Constraints: 18610
540.67/561.77 c #Conflicts: 325000 | #Constraints: 19611
540.67/561.77 c #Conflicts: 326000 | #Constraints: 20611
540.67/561.77 c #Conflicts: 327000 | #Constraints: 21611
540.67/561.77 c #Conflicts: 328000 | #Constraints: 22612
540.67/561.77 c #Conflicts: 329000 | #Constraints: 23614
540.67/561.77 c #Conflicts: 330000 | #Constraints: 24614
540.67/561.77 c #Conflicts: 331000 | #Constraints: 25615
540.67/561.77 c #Conflicts: 332000 | #Constraints: 26615
540.67/561.77 c #Conflicts: 333000 | #Constraints: 27615
540.67/561.77 c INPROCESSING
540.67/561.77 c GARBAGE COLLECT
540.67/561.77 c rational objective 36
559.81/580.96 c #Conflicts: 334000 | #Constraints: 17247
559.81/580.96 c #Conflicts: 335000 | #Constraints: 18250
559.81/580.96 c #Conflicts: 336000 | #Constraints: 19255
559.81/580.96 c #Conflicts: 337000 | #Constraints: 20264
559.81/580.96 c #Conflicts: 338000 | #Constraints: 21270
559.81/580.96 c #Conflicts: 339000 | #Constraints: 22275
559.81/580.96 c #Conflicts: 340000 | #Constraints: 23283
559.81/580.96 c #Conflicts: 341000 | #Constraints: 24294
559.81/580.96 c #Conflicts: 342000 | #Constraints: 25302
559.81/580.96 c #Conflicts: 343000 | #Constraints: 26306
559.81/580.96 c #Conflicts: 344000 | #Constraints: 27312
559.81/580.96 c #Conflicts: 345000 | #Constraints: 28318
559.81/580.96 c INPROCESSING
559.81/580.96 c GARBAGE COLLECT
559.81/580.96 c rational objective 36
579.15/600.32 c #Conflicts: 346000 | #Constraints: 17630
579.15/600.32 c #Conflicts: 347000 | #Constraints: 18634
579.15/600.32 c #Conflicts: 348000 | #Constraints: 19637
579.15/600.32 c #Conflicts: 349000 | #Constraints: 20648
579.15/600.32 c #Conflicts: 350000 | #Constraints: 21659
579.15/600.32 c #Conflicts: 351000 | #Constraints: 22666
579.15/600.32 c #Conflicts: 352000 | #Constraints: 23677
579.15/600.32 c #Conflicts: 353000 | #Constraints: 24685
579.15/600.32 c #Conflicts: 354000 | #Constraints: 25690
579.15/600.32 c #Conflicts: 355000 | #Constraints: 26691
579.15/600.32 c #Conflicts: 356000 | #Constraints: 27695
579.15/600.32 c #Conflicts: 357000 | #Constraints: 28697
579.15/600.32 c INPROCESSING
579.15/600.32 c GARBAGE COLLECT
579.15/600.32 c rational objective 36
596.90/618.15 c #Conflicts: 358000 | #Constraints: 17815
596.90/618.15 c #Conflicts: 359000 | #Constraints: 18822
596.90/618.15 c #Conflicts: 360000 | #Constraints: 19833
596.90/618.15 c #Conflicts: 361000 | #Constraints: 20845
596.90/618.15 c #Conflicts: 362000 | #Constraints: 21849
596.90/618.15 c #Conflicts: 363000 | #Constraints: 22853
596.90/618.15 c #Conflicts: 364000 | #Constraints: 23858
596.90/618.15 c #Conflicts: 365000 | #Constraints: 24862
596.90/618.15 c #Conflicts: 366000 | #Constraints: 25867
596.90/618.15 c #Conflicts: 367000 | #Constraints: 26871
596.90/618.15 c #Conflicts: 368000 | #Constraints: 27882
596.90/618.15 c #Conflicts: 369000 | #Constraints: 28890
596.90/618.15 c INPROCESSING
596.90/618.15 c GARBAGE COLLECT
596.90/618.15 c rational objective 36
618.33/639.69 c #Conflicts: 370000 | #Constraints: 17811
618.33/639.69 c #Conflicts: 371000 | #Constraints: 18812
618.33/639.69 c #Conflicts: 372000 | #Constraints: 19813
618.33/639.69 c #Conflicts: 373000 | #Constraints: 20815
618.33/639.69 c #Conflicts: 374000 | #Constraints: 21816
618.33/639.69 c #Conflicts: 375000 | #Constraints: 22821
618.33/639.69 c #Conflicts: 376000 | #Constraints: 23822
618.33/639.69 c #Conflicts: 377000 | #Constraints: 24822
618.33/639.69 c #Conflicts: 378000 | #Constraints: 25823
618.33/639.69 c #Conflicts: 379000 | #Constraints: 26825
618.33/639.69 c #Conflicts: 380000 | #Constraints: 27825
618.33/639.69 c #Conflicts: 381000 | #Constraints: 28826
618.33/639.69 c bounds 1183 >= 54 @ 605.139
619.23/640.59 c INPROCESSING
619.23/640.59 c GARBAGE COLLECT
619.23/640.59 c rational objective 54
639.37/660.77 c #Conflicts: 382000 | #Constraints: 17621
639.37/660.77 c #Conflicts: 383000 | #Constraints: 18626
639.37/660.77 c #Conflicts: 384000 | #Constraints: 19632
639.37/660.77 c #Conflicts: 385000 | #Constraints: 20643
639.37/660.77 c #Conflicts: 386000 | #Constraints: 21653
639.37/660.77 c #Conflicts: 387000 | #Constraints: 22659
639.37/660.77 c #Conflicts: 388000 | #Constraints: 23663
639.37/660.77 c #Conflicts: 389000 | #Constraints: 24669
639.37/660.77 c #Conflicts: 390000 | #Constraints: 25676
639.37/660.77 c #Conflicts: 391000 | #Constraints: 26681
639.37/660.77 c #Conflicts: 392000 | #Constraints: 27686
639.37/660.77 c #Conflicts: 393000 | #Constraints: 28692
639.37/660.77 c #Conflicts: 394000 | #Constraints: 29700
639.37/660.77 c INPROCESSING
639.37/660.77 c GARBAGE COLLECT
639.37/660.77 c rational objective 54
658.81/680.21 c #Conflicts: 395000 | #Constraints: 18218
658.81/680.21 c #Conflicts: 396000 | #Constraints: 19227
658.81/680.21 c #Conflicts: 397000 | #Constraints: 20235
658.81/680.21 c #Conflicts: 398000 | #Constraints: 21241
658.81/680.21 c #Conflicts: 399000 | #Constraints: 22246
658.81/680.21 c #Conflicts: 400000 | #Constraints: 23250
658.81/680.21 c #Conflicts: 401000 | #Constraints: 24255
658.81/680.21 c #Conflicts: 402000 | #Constraints: 25261
658.81/680.21 c #Conflicts: 403000 | #Constraints: 26264
658.81/680.21 c #Conflicts: 404000 | #Constraints: 27268
658.81/680.21 c #Conflicts: 405000 | #Constraints: 28274
658.81/680.21 c #Conflicts: 406000 | #Constraints: 29282
658.81/680.21 c #Conflicts: 407000 | #Constraints: 30286
658.81/680.21 c INPROCESSING
658.81/680.21 c GARBAGE COLLECT
658.81/680.21 c rational objective 54
680.05/701.56 c #Conflicts: 408000 | #Constraints: 18613
680.05/701.56 c #Conflicts: 409000 | #Constraints: 19613
680.05/701.56 c #Conflicts: 410000 | #Constraints: 20614
680.05/701.56 c #Conflicts: 411000 | #Constraints: 21616
680.05/701.56 c #Conflicts: 412000 | #Constraints: 22617
680.05/701.56 c #Conflicts: 413000 | #Constraints: 23617
680.05/701.56 c #Conflicts: 414000 | #Constraints: 24618
680.05/701.56 c #Conflicts: 415000 | #Constraints: 25620
680.05/701.56 c #Conflicts: 416000 | #Constraints: 26622
680.05/701.56 c #Conflicts: 417000 | #Constraints: 27622
680.05/701.56 c #Conflicts: 418000 | #Constraints: 28622
680.05/701.56 c #Conflicts: 419000 | #Constraints: 29624
680.05/701.56 c #Conflicts: 420000 | #Constraints: 30624
680.05/701.56 c INPROCESSING
680.05/701.56 c GARBAGE COLLECT
680.05/701.56 c rational objective 54
701.38/722.96 c #Conflicts: 421000 | #Constraints: 18804
701.38/722.96 c #Conflicts: 422000 | #Constraints: 19813
701.38/722.96 c #Conflicts: 423000 | #Constraints: 20821
701.38/722.96 c #Conflicts: 424000 | #Constraints: 21831
701.38/722.96 c #Conflicts: 425000 | #Constraints: 22841
701.38/722.96 c #Conflicts: 426000 | #Constraints: 23851
701.38/722.96 c #Conflicts: 427000 | #Constraints: 24858
701.38/722.96 c #Conflicts: 428000 | #Constraints: 25867
701.38/722.96 c #Conflicts: 429000 | #Constraints: 26874
701.38/722.96 c #Conflicts: 430000 | #Constraints: 27879
701.38/722.96 c #Conflicts: 431000 | #Constraints: 28884
701.38/722.96 c #Conflicts: 432000 | #Constraints: 29890
701.38/722.96 c #Conflicts: 433000 | #Constraints: 30896
701.38/722.96 c INPROCESSING
701.38/722.96 c GARBAGE COLLECT
701.38/722.96 c rational objective 54
720.62/742.22 c #Conflicts: 434000 | #Constraints: 18821
720.62/742.22 c #Conflicts: 435000 | #Constraints: 19832
720.62/742.22 c #Conflicts: 436000 | #Constraints: 20845
720.62/742.22 c #Conflicts: 437000 | #Constraints: 21853
720.62/742.22 c #Conflicts: 438000 | #Constraints: 22865
720.62/742.22 c #Conflicts: 439000 | #Constraints: 23875
720.62/742.22 c #Conflicts: 440000 | #Constraints: 24881
720.62/742.22 c #Conflicts: 441000 | #Constraints: 25890
720.62/742.22 c #Conflicts: 442000 | #Constraints: 26897
720.62/742.22 c #Conflicts: 443000 | #Constraints: 27904
720.62/742.22 c #Conflicts: 444000 | #Constraints: 28913
720.62/742.22 c #Conflicts: 445000 | #Constraints: 29921
720.62/742.22 c #Conflicts: 446000 | #Constraints: 30930
720.62/742.22 c INPROCESSING
720.62/742.22 c GARBAGE COLLECT
720.62/742.22 c rational objective 54
745.74/767.45 c #Conflicts: 447000 | #Constraints: 18633
745.74/767.45 c #Conflicts: 448000 | #Constraints: 19635
745.74/767.45 c #Conflicts: 449000 | #Constraints: 20636
745.74/767.45 c #Conflicts: 450000 | #Constraints: 21643
745.74/767.45 c #Conflicts: 451000 | #Constraints: 22644
745.74/767.45 c #Conflicts: 452000 | #Constraints: 23648
745.74/767.45 c #Conflicts: 453000 | #Constraints: 24651
745.74/767.45 c #Conflicts: 454000 | #Constraints: 25654
745.74/767.45 c #Conflicts: 455000 | #Constraints: 26654
745.74/767.45 c #Conflicts: 456000 | #Constraints: 27655
745.74/767.45 c #Conflicts: 457000 | #Constraints: 28655
745.74/767.45 c #Conflicts: 458000 | #Constraints: 29656
745.74/767.45 c #Conflicts: 459000 | #Constraints: 30659
745.74/767.45 c #Conflicts: 460000 | #Constraints: 31659
745.74/767.45 c INPROCESSING
745.74/767.45 c GARBAGE COLLECT
745.74/767.45 c rational objective 54
773.17/794.91 c #Conflicts: 461000 | #Constraints: 19215
773.17/794.91 c #Conflicts: 462000 | #Constraints: 20221
773.17/794.91 c #Conflicts: 463000 | #Constraints: 21224
773.17/794.91 c #Conflicts: 464000 | #Constraints: 22227
773.17/794.91 c #Conflicts: 465000 | #Constraints: 23227
773.17/794.91 c #Conflicts: 466000 | #Constraints: 24229
773.17/794.91 c #Conflicts: 467000 | #Constraints: 25231
773.17/794.91 c #Conflicts: 468000 | #Constraints: 26235
773.17/794.91 c #Conflicts: 469000 | #Constraints: 27242
773.17/794.91 c #Conflicts: 470000 | #Constraints: 28248
773.17/794.91 c #Conflicts: 471000 | #Constraints: 29256
773.17/794.91 c #Conflicts: 472000 | #Constraints: 30260
773.17/794.91 c #Conflicts: 473000 | #Constraints: 31262
773.17/794.91 c #Conflicts: 474000 | #Constraints: 32265
773.17/794.91 c INPROCESSING
773.17/794.91 c GARBAGE COLLECT
773.17/794.91 c rational objective 54
801.98/823.88 c #Conflicts: 475000 | #Constraints: 19605
801.98/823.88 c #Conflicts: 476000 | #Constraints: 20610
801.98/823.88 c #Conflicts: 477000 | #Constraints: 21614
801.98/823.88 c #Conflicts: 478000 | #Constraints: 22619
801.98/823.88 c #Conflicts: 479000 | #Constraints: 23625
801.98/823.88 c #Conflicts: 480000 | #Constraints: 24630
801.98/823.88 c #Conflicts: 481000 | #Constraints: 25637
801.98/823.88 c #Conflicts: 482000 | #Constraints: 26642
801.98/823.88 c #Conflicts: 483000 | #Constraints: 27647
801.98/823.88 c #Conflicts: 484000 | #Constraints: 28653
801.98/823.88 c #Conflicts: 485000 | #Constraints: 29656
801.98/823.88 c #Conflicts: 486000 | #Constraints: 30664
801.98/823.88 c #Conflicts: 487000 | #Constraints: 31667
801.98/823.88 c #Conflicts: 488000 | #Constraints: 32672
801.98/823.88 c INPROCESSING
801.98/823.88 c GARBAGE COLLECT
801.98/823.88 c rational objective 54
826.11/848.09 c #Conflicts: 489000 | #Constraints: 19802
826.11/848.09 c #Conflicts: 490000 | #Constraints: 20803
826.11/848.09 c #Conflicts: 491000 | #Constraints: 21808
826.11/848.09 c #Conflicts: 492000 | #Constraints: 22808
826.11/848.09 c #Conflicts: 493000 | #Constraints: 23809
826.11/848.09 c #Conflicts: 494000 | #Constraints: 24810
826.11/848.09 c #Conflicts: 495000 | #Constraints: 25814
826.11/848.09 c #Conflicts: 496000 | #Constraints: 26815
826.11/848.09 c #Conflicts: 497000 | #Constraints: 27817
826.11/848.09 c #Conflicts: 498000 | #Constraints: 28820
826.11/848.09 c #Conflicts: 499000 | #Constraints: 29821
826.11/848.09 c #Conflicts: 500000 | #Constraints: 30823
826.11/848.09 c #Conflicts: 501000 | #Constraints: 31827
826.11/848.09 c #Conflicts: 502000 | #Constraints: 32829
826.11/848.09 c INPROCESSING
826.11/848.09 c GARBAGE COLLECT
826.11/848.09 c rational objective 54
851.93/874.00 c #Conflicts: 503000 | #Constraints: 19840
851.93/874.00 c #Conflicts: 504000 | #Constraints: 20847
851.93/874.00 c #Conflicts: 505000 | #Constraints: 21851
851.93/874.00 c #Conflicts: 506000 | #Constraints: 22858
851.93/874.00 c #Conflicts: 507000 | #Constraints: 23858
851.93/874.00 c #Conflicts: 508000 | #Constraints: 24864
851.93/874.00 c #Conflicts: 509000 | #Constraints: 25868
851.93/874.00 c #Conflicts: 510000 | #Constraints: 26880
851.93/874.00 c #Conflicts: 511000 | #Constraints: 27892
851.93/874.00 c #Conflicts: 512000 | #Constraints: 28898
851.93/874.00 c #Conflicts: 513000 | #Constraints: 29907
851.93/874.00 c #Conflicts: 514000 | #Constraints: 30911
851.93/874.00 c #Conflicts: 515000 | #Constraints: 31916
851.93/874.00 c #Conflicts: 516000 | #Constraints: 32924
851.93/874.00 c INPROCESSING
851.93/874.00 c GARBAGE COLLECT
851.93/874.00 c rational objective 54
873.76/895.84 c #Conflicts: 517000 | #Constraints: 19634
873.76/895.84 c #Conflicts: 518000 | #Constraints: 20638
873.76/895.84 c #Conflicts: 519000 | #Constraints: 21640
873.76/895.84 c #Conflicts: 520000 | #Constraints: 22647
873.76/895.84 c #Conflicts: 521000 | #Constraints: 23653
873.76/895.84 c #Conflicts: 522000 | #Constraints: 24657
873.76/895.84 c #Conflicts: 523000 | #Constraints: 25662
873.76/895.84 c #Conflicts: 524000 | #Constraints: 26667
873.76/895.84 c #Conflicts: 525000 | #Constraints: 27671
873.76/895.84 c #Conflicts: 526000 | #Constraints: 28677
873.76/895.84 c #Conflicts: 527000 | #Constraints: 29685
873.76/895.84 c #Conflicts: 528000 | #Constraints: 30697
873.76/895.84 c #Conflicts: 529000 | #Constraints: 31710
873.76/895.84 c #Conflicts: 530000 | #Constraints: 32719
873.76/895.84 c #Conflicts: 531000 | #Constraints: 33728
873.76/895.84 c INPROCESSING
873.76/895.84 c GARBAGE COLLECT
873.76/895.84 c rational objective 54
898.68/920.87 c #Conflicts: 532000 | #Constraints: 20236
898.68/920.87 c #Conflicts: 533000 | #Constraints: 21236
898.68/920.87 c #Conflicts: 534000 | #Constraints: 22236
898.68/920.87 c #Conflicts: 535000 | #Constraints: 23236
898.68/920.87 c #Conflicts: 536000 | #Constraints: 24238
898.68/920.87 c #Conflicts: 537000 | #Constraints: 25239
898.68/920.87 c #Conflicts: 538000 | #Constraints: 26239
898.68/920.87 c #Conflicts: 539000 | #Constraints: 27239
898.68/920.87 c #Conflicts: 540000 | #Constraints: 28240
898.68/920.87 c #Conflicts: 541000 | #Constraints: 29240
898.68/920.87 c #Conflicts: 542000 | #Constraints: 30241
898.68/920.87 c #Conflicts: 543000 | #Constraints: 31241
898.68/920.87 c #Conflicts: 544000 | #Constraints: 32242
898.68/920.87 c #Conflicts: 545000 | #Constraints: 33242
898.68/920.87 c #Conflicts: 546000 | #Constraints: 34244
898.68/920.87 c INPROCESSING
898.68/920.87 c GARBAGE COLLECT
898.68/920.87 c rational objective 54
919.92/942.16 c #Conflicts: 547000 | #Constraints: 20718
919.92/942.16 c #Conflicts: 548000 | #Constraints: 21728
919.92/942.16 c #Conflicts: 549000 | #Constraints: 22733
919.92/942.16 c #Conflicts: 550000 | #Constraints: 23744
919.92/942.16 c #Conflicts: 551000 | #Constraints: 24754
919.92/942.16 c #Conflicts: 552000 | #Constraints: 25764
919.92/942.16 c #Conflicts: 553000 | #Constraints: 26776
919.92/942.16 c #Conflicts: 554000 | #Constraints: 27784
919.92/942.16 c #Conflicts: 555000 | #Constraints: 28790
919.92/942.16 c #Conflicts: 556000 | #Constraints: 29799
919.92/942.16 c #Conflicts: 557000 | #Constraints: 30805
919.92/942.16 c #Conflicts: 558000 | #Constraints: 31811
919.92/942.16 c #Conflicts: 559000 | #Constraints: 32815
919.92/942.16 c #Conflicts: 560000 | #Constraints: 33820
919.92/942.16 c #Conflicts: 561000 | #Constraints: 34825
919.92/942.16 c INPROCESSING
919.92/942.16 c GARBAGE COLLECT
919.92/942.16 c rational objective 54
945.03/967.34 c #Conflicts: 562000 | #Constraints: 20886
945.03/967.34 c #Conflicts: 563000 | #Constraints: 21890
945.03/967.34 c #Conflicts: 564000 | #Constraints: 22896
945.03/967.34 c #Conflicts: 565000 | #Constraints: 23903
945.03/967.34 c #Conflicts: 566000 | #Constraints: 24911
945.03/967.34 c #Conflicts: 567000 | #Constraints: 25916
945.03/967.34 c #Conflicts: 568000 | #Constraints: 26919
945.03/967.34 c #Conflicts: 569000 | #Constraints: 27924
945.03/967.34 c #Conflicts: 570000 | #Constraints: 28928
945.03/967.34 c #Conflicts: 571000 | #Constraints: 29931
945.03/967.34 c #Conflicts: 572000 | #Constraints: 30936
945.03/967.34 c #Conflicts: 573000 | #Constraints: 31941
945.03/967.34 c #Conflicts: 574000 | #Constraints: 32946
945.03/967.34 c #Conflicts: 575000 | #Constraints: 33951
945.03/967.34 c #Conflicts: 576000 | #Constraints: 34958
945.03/967.34 c INPROCESSING
945.03/967.34 c GARBAGE COLLECT
945.03/967.34 c rational objective 54
973.34/995.77 c #Conflicts: 577000 | #Constraints: 20856
973.34/995.77 c #Conflicts: 578000 | #Constraints: 21861
973.34/995.77 c #Conflicts: 579000 | #Constraints: 22866
973.34/995.77 c #Conflicts: 580000 | #Constraints: 23872
973.34/995.77 c #Conflicts: 581000 | #Constraints: 24878
973.34/995.77 c #Conflicts: 582000 | #Constraints: 25883
973.34/995.77 c #Conflicts: 583000 | #Constraints: 26884
973.34/995.77 c #Conflicts: 584000 | #Constraints: 27886
973.34/995.77 c #Conflicts: 585000 | #Constraints: 28895
973.34/995.77 c #Conflicts: 586000 | #Constraints: 29896
973.34/995.77 c #Conflicts: 587000 | #Constraints: 30899
973.34/995.77 c #Conflicts: 588000 | #Constraints: 31901
973.34/995.77 c #Conflicts: 589000 | #Constraints: 32901
973.34/995.77 c #Conflicts: 590000 | #Constraints: 33904
973.34/995.77 c #Conflicts: 591000 | #Constraints: 34908
973.34/995.77 c INPROCESSING
973.34/995.77 c GARBAGE COLLECT
973.34/995.77 c rational objective 54
1001.07/1023.51 c #Conflicts: 592000 | #Constraints: 20617
1001.07/1023.51 c #Conflicts: 593000 | #Constraints: 21618
1001.07/1023.51 c #Conflicts: 594000 | #Constraints: 22620
1001.07/1023.51 c #Conflicts: 595000 | #Constraints: 23621
1001.07/1023.51 c #Conflicts: 596000 | #Constraints: 24621
1001.07/1023.51 c #Conflicts: 597000 | #Constraints: 25621
1001.07/1023.51 c #Conflicts: 598000 | #Constraints: 26623
1001.07/1023.51 c #Conflicts: 599000 | #Constraints: 27624
1001.07/1023.51 c #Conflicts: 600000 | #Constraints: 28624
1001.07/1023.51 c #Conflicts: 601000 | #Constraints: 29625
1001.07/1023.51 c #Conflicts: 602000 | #Constraints: 30626
1001.07/1023.51 c #Conflicts: 603000 | #Constraints: 31627
1001.07/1023.51 c #Conflicts: 604000 | #Constraints: 32631
1001.07/1023.51 c #Conflicts: 605000 | #Constraints: 33631
1001.07/1023.51 c #Conflicts: 606000 | #Constraints: 34635
1001.07/1023.51 c #Conflicts: 607000 | #Constraints: 35637
1001.07/1023.51 c INPROCESSING
1001.07/1023.51 c GARBAGE COLLECT
1001.07/1023.51 c rational objective 54
1026.68/1049.23 c #Conflicts: 608000 | #Constraints: 21291
1026.68/1049.23 c #Conflicts: 609000 | #Constraints: 22300
1026.68/1049.23 c #Conflicts: 610000 | #Constraints: 23307
1026.68/1049.23 c #Conflicts: 611000 | #Constraints: 24312
1026.68/1049.23 c #Conflicts: 612000 | #Constraints: 25322
1026.68/1049.23 c #Conflicts: 613000 | #Constraints: 26331
1026.68/1049.23 c #Conflicts: 614000 | #Constraints: 27339
1026.68/1049.23 c #Conflicts: 615000 | #Constraints: 28349
1026.68/1049.23 c #Conflicts: 616000 | #Constraints: 29353
1026.68/1049.23 c #Conflicts: 617000 | #Constraints: 30356
1026.68/1049.23 c #Conflicts: 618000 | #Constraints: 31360
1026.68/1049.23 c #Conflicts: 619000 | #Constraints: 32365
1026.68/1049.23 c #Conflicts: 620000 | #Constraints: 33370
1026.68/1049.23 c #Conflicts: 621000 | #Constraints: 34374
1026.68/1049.23 c #Conflicts: 622000 | #Constraints: 35379
1026.68/1049.23 c #Conflicts: 623000 | #Constraints: 36386
1026.68/1049.23 c INPROCESSING
1026.68/1049.23 c GARBAGE COLLECT
1026.68/1049.23 c rational objective 54
1050.11/1072.79 c #Conflicts: 624000 | #Constraints: 21666
1050.11/1072.79 c #Conflicts: 625000 | #Constraints: 22672
1050.11/1072.79 c #Conflicts: 626000 | #Constraints: 23675
1050.11/1072.79 c #Conflicts: 627000 | #Constraints: 24682
1050.11/1072.79 c #Conflicts: 628000 | #Constraints: 25687
1050.11/1072.79 c #Conflicts: 629000 | #Constraints: 26690
1050.11/1072.79 c #Conflicts: 630000 | #Constraints: 27696
1050.11/1072.79 c #Conflicts: 631000 | #Constraints: 28702
1050.11/1072.79 c #Conflicts: 632000 | #Constraints: 29710
1050.11/1072.79 c #Conflicts: 633000 | #Constraints: 30718
1050.11/1072.79 c #Conflicts: 634000 | #Constraints: 31727
1050.11/1072.79 c #Conflicts: 635000 | #Constraints: 32737
1050.11/1072.79 c #Conflicts: 636000 | #Constraints: 33742
1050.11/1072.79 c #Conflicts: 637000 | #Constraints: 34745
1050.11/1072.79 c #Conflicts: 638000 | #Constraints: 35750
1050.11/1072.79 c #Conflicts: 639000 | #Constraints: 36754
1050.11/1072.79 c INPROCESSING
1050.11/1072.79 c GARBAGE COLLECT
1050.11/1072.79 c rational objective 54
1078.02/1100.76 c #Conflicts: 640000 | #Constraints: 21849
1078.02/1100.76 c #Conflicts: 641000 | #Constraints: 22850
1078.02/1100.76 c #Conflicts: 642000 | #Constraints: 23850
1078.02/1100.76 c #Conflicts: 643000 | #Constraints: 24851
1078.02/1100.76 c #Conflicts: 644000 | #Constraints: 25852
1078.02/1100.76 c #Conflicts: 645000 | #Constraints: 26854
1078.02/1100.76 c #Conflicts: 646000 | #Constraints: 27854
1078.02/1100.76 c #Conflicts: 647000 | #Constraints: 28855
1078.02/1100.76 c #Conflicts: 648000 | #Constraints: 29856
1078.02/1100.76 c #Conflicts: 649000 | #Constraints: 30858
1078.02/1100.76 c #Conflicts: 650000 | #Constraints: 31858
1078.02/1100.76 c #Conflicts: 651000 | #Constraints: 32860
1078.02/1100.76 c #Conflicts: 652000 | #Constraints: 33860
1078.02/1100.76 c #Conflicts: 653000 | #Constraints: 34861
1078.02/1100.76 c #Conflicts: 654000 | #Constraints: 35867
1078.02/1100.76 c #Conflicts: 655000 | #Constraints: 36868
1078.02/1100.76 c INPROCESSING
1078.02/1100.76 c GARBAGE COLLECT
1078.02/1100.76 c rational objective 54
1108.25/1131.07 c #Conflicts: 656000 | #Constraints: 21847
1108.25/1131.07 c #Conflicts: 657000 | #Constraints: 22849
1108.25/1131.07 c #Conflicts: 658000 | #Constraints: 23851
1108.25/1131.07 c #Conflicts: 659000 | #Constraints: 24855
1108.25/1131.07 c #Conflicts: 660000 | #Constraints: 25858
1108.25/1131.07 c #Conflicts: 661000 | #Constraints: 26860
1108.25/1131.07 c #Conflicts: 662000 | #Constraints: 27865
1108.25/1131.07 c #Conflicts: 663000 | #Constraints: 28872
1108.25/1131.07 c #Conflicts: 664000 | #Constraints: 29877
1108.25/1131.07 c #Conflicts: 665000 | #Constraints: 30878
1108.25/1131.07 c #Conflicts: 666000 | #Constraints: 31882
1108.25/1131.07 c #Conflicts: 667000 | #Constraints: 32887
1108.25/1131.07 c #Conflicts: 668000 | #Constraints: 33893
1108.25/1131.07 c #Conflicts: 669000 | #Constraints: 34898
1108.25/1131.07 c #Conflicts: 670000 | #Constraints: 35905
1108.25/1131.07 c #Conflicts: 671000 | #Constraints: 36910
1108.25/1131.07 c INPROCESSING
1108.25/1131.07 c GARBAGE COLLECT
1108.25/1131.07 c rational objective 54
1135.75/1158.62 c #Conflicts: 672000 | #Constraints: 21629
1135.75/1158.62 c #Conflicts: 673000 | #Constraints: 22635
1135.75/1158.62 c #Conflicts: 674000 | #Constraints: 23639
1135.75/1158.62 c #Conflicts: 675000 | #Constraints: 24642
1135.75/1158.62 c #Conflicts: 676000 | #Constraints: 25646
1135.75/1158.62 c #Conflicts: 677000 | #Constraints: 26649
1135.75/1158.62 c #Conflicts: 678000 | #Constraints: 27657
1135.75/1158.62 c #Conflicts: 679000 | #Constraints: 28668
1135.75/1158.62 c #Conflicts: 680000 | #Constraints: 29675
1135.75/1158.62 c #Conflicts: 681000 | #Constraints: 30679
1135.75/1158.62 c #Conflicts: 682000 | #Constraints: 31682
1135.75/1158.62 c #Conflicts: 683000 | #Constraints: 32687
1135.75/1158.62 c #Conflicts: 684000 | #Constraints: 33690
1135.75/1158.62 c #Conflicts: 685000 | #Constraints: 34695
1135.75/1158.62 c #Conflicts: 686000 | #Constraints: 35700
1135.75/1158.62 c #Conflicts: 687000 | #Constraints: 36708
1135.75/1158.62 c #Conflicts: 688000 | #Constraints: 37714
1135.75/1158.62 c INPROCESSING
1135.75/1158.62 c GARBAGE COLLECT
1135.75/1158.62 c rational objective 54
1162.67/1185.69 c #Conflicts: 689000 | #Constraints: 22233
1162.67/1185.69 c #Conflicts: 690000 | #Constraints: 23236
1162.67/1185.69 c #Conflicts: 691000 | #Constraints: 24241
1162.67/1185.69 c #Conflicts: 692000 | #Constraints: 25245
1162.67/1185.69 c #Conflicts: 693000 | #Constraints: 26247
1162.67/1185.69 c #Conflicts: 694000 | #Constraints: 27252
1162.67/1185.69 c #Conflicts: 695000 | #Constraints: 28259
1162.67/1185.69 c #Conflicts: 696000 | #Constraints: 29265
1162.67/1185.69 c #Conflicts: 697000 | #Constraints: 30270
1162.67/1185.69 c #Conflicts: 698000 | #Constraints: 31280
1162.67/1185.69 c #Conflicts: 699000 | #Constraints: 32293
1162.67/1185.69 c #Conflicts: 700000 | #Constraints: 33301
1162.67/1185.69 c #Conflicts: 701000 | #Constraints: 34311
1162.67/1185.69 c #Conflicts: 702000 | #Constraints: 35322
1162.67/1185.69 c #Conflicts: 703000 | #Constraints: 36332
1162.67/1185.69 c #Conflicts: 704000 | #Constraints: 37339
1162.67/1185.69 c #Conflicts: 705000 | #Constraints: 38345
1162.67/1185.69 c INPROCESSING
1162.67/1185.69 c GARBAGE COLLECT
1162.67/1185.69 c rational objective 54
1195.07/1218.18 c #Conflicts: 706000 | #Constraints: 22651
1195.07/1218.18 c #Conflicts: 707000 | #Constraints: 23652
1195.07/1218.18 c #Conflicts: 708000 | #Constraints: 24655
1195.07/1218.18 c #Conflicts: 709000 | #Constraints: 25656
1195.07/1218.18 c #Conflicts: 710000 | #Constraints: 26658
1195.07/1218.18 c #Conflicts: 711000 | #Constraints: 27659
1195.07/1218.18 c #Conflicts: 712000 | #Constraints: 28659
1195.07/1218.18 c #Conflicts: 713000 | #Constraints: 29662
1195.07/1218.18 c #Conflicts: 714000 | #Constraints: 30663
1195.07/1218.18 c #Conflicts: 715000 | #Constraints: 31664
1195.07/1218.18 c #Conflicts: 716000 | #Constraints: 32665
1195.07/1218.18 c #Conflicts: 717000 | #Constraints: 33666
1195.07/1218.18 c #Conflicts: 718000 | #Constraints: 34668
1195.07/1218.18 c #Conflicts: 719000 | #Constraints: 35669
1195.07/1218.18 c #Conflicts: 720000 | #Constraints: 36670
1195.07/1218.18 c #Conflicts: 721000 | #Constraints: 37671
1195.07/1218.18 c #Conflicts: 722000 | #Constraints: 38673
1195.07/1218.18 c INPROCESSING
1195.07/1218.18 c GARBAGE COLLECT
1195.07/1218.18 c rational objective 54
1228.87/1252.04 c #Conflicts: 723000 | #Constraints: 22864
1228.87/1252.04 c #Conflicts: 724000 | #Constraints: 23866
1228.87/1252.04 c #Conflicts: 725000 | #Constraints: 24869
1228.87/1252.04 c #Conflicts: 726000 | #Constraints: 25881
1228.87/1252.04 c #Conflicts: 727000 | #Constraints: 26887
1228.87/1252.04 c #Conflicts: 728000 | #Constraints: 27893
1228.87/1252.04 c #Conflicts: 729000 | #Constraints: 28897
1228.87/1252.04 c #Conflicts: 730000 | #Constraints: 29902
1228.87/1252.04 c #Conflicts: 731000 | #Constraints: 30906
1228.87/1252.04 c #Conflicts: 732000 | #Constraints: 31908
1228.87/1252.04 c #Conflicts: 733000 | #Constraints: 32911
1228.87/1252.04 c #Conflicts: 734000 | #Constraints: 33912
1228.87/1252.04 c #Conflicts: 735000 | #Constraints: 34912
1228.87/1252.04 c #Conflicts: 736000 | #Constraints: 35913
1228.87/1252.04 c #Conflicts: 737000 | #Constraints: 36917
1228.87/1252.04 c #Conflicts: 738000 | #Constraints: 37917
1228.87/1252.04 c #Conflicts: 739000 | #Constraints: 38919
1228.87/1252.04 c INPROCESSING
1228.87/1252.04 c GARBAGE COLLECT
1228.87/1252.04 c rational objective 54
1260.96/1284.25 c #Conflicts: 740000 | #Constraints: 22860
1260.96/1284.25 c #Conflicts: 741000 | #Constraints: 23864
1260.96/1284.25 c #Conflicts: 742000 | #Constraints: 24868
1260.96/1284.25 c #Conflicts: 743000 | #Constraints: 25874
1260.96/1284.25 c #Conflicts: 744000 | #Constraints: 26875
1260.96/1284.25 c #Conflicts: 745000 | #Constraints: 27878
1260.96/1284.25 c #Conflicts: 746000 | #Constraints: 28881
1260.96/1284.25 c #Conflicts: 747000 | #Constraints: 29886
1260.96/1284.25 c #Conflicts: 748000 | #Constraints: 30890
1260.96/1284.25 c #Conflicts: 749000 | #Constraints: 31894
1260.96/1284.25 c #Conflicts: 750000 | #Constraints: 32898
1260.96/1284.25 c #Conflicts: 751000 | #Constraints: 33907
1260.96/1284.25 c #Conflicts: 752000 | #Constraints: 34915
1260.96/1284.25 c #Conflicts: 753000 | #Constraints: 35917
1260.96/1284.25 c #Conflicts: 754000 | #Constraints: 36920
1260.96/1284.25 c #Conflicts: 755000 | #Constraints: 37926
1260.96/1284.25 c #Conflicts: 756000 | #Constraints: 38930
1260.96/1284.25 c INPROCESSING
1260.96/1284.25 c GARBAGE COLLECT
1260.96/1284.25 c rational objective 54
1293.76/1317.18 c #Conflicts: 757000 | #Constraints: 22629
1293.76/1317.18 c #Conflicts: 758000 | #Constraints: 23630
1293.76/1317.18 c #Conflicts: 759000 | #Constraints: 24630
1293.76/1317.18 c #Conflicts: 760000 | #Constraints: 25631
1293.76/1317.18 c #Conflicts: 761000 | #Constraints: 26633
1293.76/1317.18 c #Conflicts: 762000 | #Constraints: 27634
1293.76/1317.18 c #Conflicts: 763000 | #Constraints: 28634
1293.76/1317.18 c #Conflicts: 764000 | #Constraints: 29635
1293.76/1317.18 c #Conflicts: 765000 | #Constraints: 30637
1293.76/1317.18 c #Conflicts: 766000 | #Constraints: 31637
1293.76/1317.18 c #Conflicts: 767000 | #Constraints: 32637
1293.76/1317.18 c #Conflicts: 768000 | #Constraints: 33638
1293.76/1317.18 c #Conflicts: 769000 | #Constraints: 34638
1293.76/1317.18 c #Conflicts: 770000 | #Constraints: 35638
1293.76/1317.18 c #Conflicts: 771000 | #Constraints: 36641
1293.76/1317.18 c #Conflicts: 772000 | #Constraints: 37642
1293.76/1317.18 c #Conflicts: 773000 | #Constraints: 38642
1293.76/1317.18 c #Conflicts: 774000 | #Constraints: 39642
1293.76/1317.18 c INPROCESSING
1293.76/1317.18 c GARBAGE COLLECT
1293.76/1317.18 c rational objective 54
1323.46/1346.95 c #Conflicts: 775000 | #Constraints: 23226
1323.46/1346.95 c #Conflicts: 776000 | #Constraints: 24228
1323.46/1346.95 c #Conflicts: 777000 | #Constraints: 25231
1323.46/1346.95 c #Conflicts: 778000 | #Constraints: 26232
1323.46/1346.95 c #Conflicts: 779000 | #Constraints: 27233
1323.46/1346.95 c #Conflicts: 780000 | #Constraints: 28235
1323.46/1346.95 c #Conflicts: 781000 | #Constraints: 29249
1323.46/1346.95 c #Conflicts: 782000 | #Constraints: 30262
1323.46/1346.95 c #Conflicts: 783000 | #Constraints: 31275
1323.46/1346.95 c #Conflicts: 784000 | #Constraints: 32286
1323.46/1346.95 c #Conflicts: 785000 | #Constraints: 33296
1323.46/1346.95 c #Conflicts: 786000 | #Constraints: 34304
1323.46/1346.95 c #Conflicts: 787000 | #Constraints: 35311
1323.46/1346.95 c #Conflicts: 788000 | #Constraints: 36319
1323.46/1346.95 c #Conflicts: 789000 | #Constraints: 37327
1323.46/1346.95 c #Conflicts: 790000 | #Constraints: 38330
1323.46/1346.95 c #Conflicts: 791000 | #Constraints: 39332
1323.46/1346.95 c #Conflicts: 792000 | #Constraints: 40333
1323.46/1346.95 c INPROCESSING
1323.46/1346.95 c GARBAGE COLLECT
1323.46/1346.95 c rational objective 54
1350.97/1374.55 c #Conflicts: 793000 | #Constraints: 23655
1350.97/1374.55 c #Conflicts: 794000 | #Constraints: 24656
1350.97/1374.55 c #Conflicts: 795000 | #Constraints: 25658
1350.97/1374.55 c #Conflicts: 796000 | #Constraints: 26664
1350.97/1374.55 c #Conflicts: 797000 | #Constraints: 27670
1350.97/1374.55 c #Conflicts: 798000 | #Constraints: 28674
1350.97/1374.55 c #Conflicts: 799000 | #Constraints: 29677
1350.97/1374.55 c #Conflicts: 800000 | #Constraints: 30687
1350.97/1374.55 c #Conflicts: 801000 | #Constraints: 31690
1350.97/1374.55 c #Conflicts: 802000 | #Constraints: 32694
1350.97/1374.55 c #Conflicts: 803000 | #Constraints: 33700
1350.97/1374.55 c #Conflicts: 804000 | #Constraints: 34707
1350.97/1374.55 c #Conflicts: 805000 | #Constraints: 35715
1350.97/1374.55 c #Conflicts: 806000 | #Constraints: 36721
1350.97/1374.55 c #Conflicts: 807000 | #Constraints: 37731
1350.97/1374.55 c #Conflicts: 808000 | #Constraints: 38736
1350.97/1374.55 c #Conflicts: 809000 | #Constraints: 39740
1350.97/1374.55 c #Conflicts: 810000 | #Constraints: 40743
1350.97/1374.55 c INPROCESSING
1350.97/1374.55 c GARBAGE COLLECT
1350.97/1374.55 c rational objective 54
1381.77/1405.46 c #Conflicts: 811000 | #Constraints: 23848
1381.77/1405.46 c #Conflicts: 812000 | #Constraints: 24848
1381.77/1405.46 c #Conflicts: 813000 | #Constraints: 25849
1381.77/1405.46 c #Conflicts: 814000 | #Constraints: 26850
1381.77/1405.46 c #Conflicts: 815000 | #Constraints: 27850
1381.77/1405.46 c #Conflicts: 816000 | #Constraints: 28851
1381.77/1405.46 c #Conflicts: 817000 | #Constraints: 29852
1381.77/1405.46 c #Conflicts: 818000 | #Constraints: 30852
1381.77/1405.46 c #Conflicts: 819000 | #Constraints: 31852
1381.77/1405.46 c #Conflicts: 820000 | #Constraints: 32853
1381.77/1405.46 c #Conflicts: 821000 | #Constraints: 33853
1381.77/1405.46 c #Conflicts: 822000 | #Constraints: 34853
1381.77/1405.46 c #Conflicts: 823000 | #Constraints: 35855
1381.77/1405.46 c #Conflicts: 824000 | #Constraints: 36855
1381.77/1405.46 c #Conflicts: 825000 | #Constraints: 37856
1381.77/1405.46 c #Conflicts: 826000 | #Constraints: 38856
1381.77/1405.46 c #Conflicts: 827000 | #Constraints: 39856
1381.77/1405.46 c #Conflicts: 828000 | #Constraints: 40857
1381.77/1405.46 c INPROCESSING
1381.77/1405.46 c GARBAGE COLLECT
1381.77/1405.46 c rational objective 54
1545.63/1569.86 c #Conflicts: 829000 | #Constraints: 23937
1545.63/1569.86 c #Conflicts: 830000 | #Constraints: 24938
1545.63/1569.86 c #Conflicts: 831000 | #Constraints: 25941
1545.63/1569.86 c #Conflicts: 832000 | #Constraints: 26941
1545.63/1569.86 c #Conflicts: 833000 | #Constraints: 27942
1545.63/1569.86 c #Conflicts: 834000 | #Constraints: 28945
1545.63/1569.86 c #Conflicts: 835000 | #Constraints: 29945
1545.63/1569.86 c #Conflicts: 836000 | #Constraints: 30948
1545.63/1569.86 c #Conflicts: 837000 | #Constraints: 31951
1545.63/1569.86 c #Conflicts: 838000 | #Constraints: 32955
1545.63/1569.86 c #Conflicts: 839000 | #Constraints: 33963
1545.63/1569.86 c #Conflicts: 840000 | #Constraints: 34966
1545.63/1569.86 c #Conflicts: 841000 | #Constraints: 35967
1545.63/1569.86 c #Conflicts: 842000 | #Constraints: 36969
1545.63/1569.86 c #Conflicts: 843000 | #Constraints: 37974
1545.63/1569.86 c #Conflicts: 844000 | #Constraints: 38975
1545.63/1569.86 c #Conflicts: 845000 | #Constraints: 39979
1545.63/1569.86 c #Conflicts: 846000 | #Constraints: 40981
1545.63/1569.86 c #Conflicts: 847000 | #Constraints: 41984
1545.63/1569.86 c #Conflicts: 848000 | #Constraints: 42987
1545.63/1569.86 c #Conflicts: 849000 | #Constraints: 43989
1545.63/1569.86 c #Conflicts: 850000 | #Constraints: 44994
1545.63/1569.86 c #Conflicts: 851000 | #Constraints: 45996
1545.63/1569.86 c #Conflicts: 852000 | #Constraints: 46998
1545.63/1569.86 c #Conflicts: 853000 | #Constraints: 48002
1545.63/1569.86 c #Conflicts: 854000 | #Constraints: 49010
1545.63/1569.86 c #Conflicts: 855000 | #Constraints: 50017
1545.63/1569.86 c #Conflicts: 856000 | #Constraints: 51021
1545.63/1569.86 c #Conflicts: 857000 | #Constraints: 52024
1545.63/1569.86 c #Conflicts: 858000 | #Constraints: 53027
1545.63/1569.86 c #Conflicts: 859000 | #Constraints: 54031
1545.63/1569.86 c #Conflicts: 860000 | #Constraints: 55031
1545.63/1569.86 c #Conflicts: 861000 | #Constraints: 56031
1545.63/1569.86 c #Conflicts: 862000 | #Constraints: 57036
1545.63/1569.86 c #Conflicts: 863000 | #Constraints: 58040
1545.63/1569.86 c #Conflicts: 864000 | #Constraints: 59049
1545.63/1569.86 c #Conflicts: 865000 | #Constraints: 60060
1545.63/1569.86 c #Conflicts: 866000 | #Constraints: 61067
1545.63/1569.86 c #Conflicts: 867000 | #Constraints: 62073
1545.63/1569.86 c #Conflicts: 868000 | #Constraints: 63081
1545.63/1569.86 c #Conflicts: 869000 | #Constraints: 64085
1545.63/1569.86 c #Conflicts: 870000 | #Constraints: 65088
1545.63/1569.86 c #Conflicts: 871000 | #Constraints: 66092
1545.63/1569.86 c #Conflicts: 872000 | #Constraints: 67100
1545.63/1569.86 c #Conflicts: 873000 | #Constraints: 68105
1545.63/1569.86 c #Conflicts: 874000 | #Constraints: 69111
1545.63/1569.86 c #Conflicts: 875000 | #Constraints: 70117
1545.63/1569.86 c #Conflicts: 876000 | #Constraints: 71123
1545.63/1569.86 c #Conflicts: 877000 | #Constraints: 72130
1545.63/1569.86 c #Conflicts: 878000 | #Constraints: 73134
1545.63/1569.86 c #Conflicts: 879000 | #Constraints: 74140
1545.63/1569.86 c #Conflicts: 880000 | #Constraints: 75145
1545.63/1569.86 c #Conflicts: 881000 | #Constraints: 76153
1545.63/1569.86 c #Conflicts: 882000 | #Constraints: 77159
1545.63/1569.86 c #Conflicts: 883000 | #Constraints: 78168
1545.63/1569.86 c #Conflicts: 884000 | #Constraints: 79179
1545.63/1569.86 c #Conflicts: 885000 | #Constraints: 80189
1545.63/1569.86 c #Conflicts: 886000 | #Constraints: 81196
1545.63/1569.86 c #Conflicts: 887000 | #Constraints: 82208
1545.63/1569.86 c #Conflicts: 888000 | #Constraints: 83216
1545.63/1569.86 c #Conflicts: 889000 | #Constraints: 84225
1545.63/1569.86 c #Conflicts: 890000 | #Constraints: 85236
1545.63/1569.86 c #Conflicts: 891000 | #Constraints: 86245
1545.63/1569.86 c #Conflicts: 892000 | #Constraints: 87249
1545.63/1569.86 c #Conflicts: 893000 | #Constraints: 88254
1545.63/1569.86 c #Conflicts: 894000 | #Constraints: 89258
1545.63/1569.86 c #Conflicts: 895000 | #Constraints: 90263
1545.63/1569.86 c #Conflicts: 896000 | #Constraints: 91266
1545.63/1569.86 c #Conflicts: 897000 | #Constraints: 92270
1545.63/1569.86 c #Conflicts: 898000 | #Constraints: 93272
1545.63/1569.86 c #Conflicts: 899000 | #Constraints: 94276
1545.63/1569.86 c #Conflicts: 900000 | #Constraints: 95282
1545.63/1569.86 c #Conflicts: 901000 | #Constraints: 96284
1545.63/1569.86 c #Conflicts: 902000 | #Constraints: 97287
1545.63/1569.86 c #Conflicts: 903000 | #Constraints: 98291
1545.63/1569.86 c #Conflicts: 904000 | #Constraints: 99295
1545.63/1569.86 c #Conflicts: 905000 | #Constraints: 100298
1545.63/1569.86 c #Conflicts: 906000 | #Constraints: 101299
1545.63/1569.86 c #Conflicts: 907000 | #Constraints: 102302
1584.40/1608.75 c #Conflicts: 908000 | #Constraints: 103305
1584.40/1608.75 c #Conflicts: 909000 | #Constraints: 104310
1584.40/1608.75 c #Conflicts: 910000 | #Constraints: 105311
1584.40/1608.75 c #Conflicts: 911000 | #Constraints: 106315
1584.40/1608.75 c #Conflicts: 912000 | #Constraints: 107319
1584.40/1608.75 c #Conflicts: 913000 | #Constraints: 108321
1584.40/1608.75 c #Conflicts: 914000 | #Constraints: 109325
1584.40/1608.75 c #Conflicts: 915000 | #Constraints: 110327
1584.40/1608.75 c #Conflicts: 916000 | #Constraints: 111330
1584.40/1608.75 c #Conflicts: 917000 | #Constraints: 112330
1584.40/1608.75 c #Conflicts: 918000 | #Constraints: 113336
1584.40/1608.75 c #Conflicts: 919000 | #Constraints: 114343
1584.40/1608.75 c #Conflicts: 920000 | #Constraints: 115347
1584.40/1608.75 c #Conflicts: 921000 | #Constraints: 116348
1584.40/1608.75 c INPROCESSING
1584.40/1608.75 c GARBAGE COLLECT
1584.40/1608.75 c rational objective 54
1633.36/1657.89 c #Conflicts: 922000 | #Constraints: 61503
1633.36/1657.89 c #Conflicts: 923000 | #Constraints: 62505
1633.36/1657.89 c #Conflicts: 924000 | #Constraints: 63505
1633.36/1657.89 c #Conflicts: 925000 | #Constraints: 64505
1633.36/1657.89 c #Conflicts: 926000 | #Constraints: 65507
1633.36/1657.89 c #Conflicts: 927000 | #Constraints: 66508
1633.36/1657.89 c #Conflicts: 928000 | #Constraints: 67509
1633.36/1657.89 c #Conflicts: 929000 | #Constraints: 68512
1633.36/1657.89 c #Conflicts: 930000 | #Constraints: 69513
1633.36/1657.89 c #Conflicts: 931000 | #Constraints: 70515
1633.36/1657.89 c #Conflicts: 932000 | #Constraints: 71517
1633.36/1657.89 c #Conflicts: 933000 | #Constraints: 72519
1633.36/1657.89 c #Conflicts: 934000 | #Constraints: 73520
1633.36/1657.89 c #Conflicts: 935000 | #Constraints: 74521
1633.36/1657.89 c #Conflicts: 936000 | #Constraints: 75521
1633.36/1657.89 c #Conflicts: 937000 | #Constraints: 76522
1633.36/1657.89 c #Conflicts: 938000 | #Constraints: 77523
1633.36/1657.89 c #Conflicts: 939000 | #Constraints: 78526
1633.36/1657.89 c #Conflicts: 940000 | #Constraints: 79526
1633.36/1657.89 c INPROCESSING
1633.36/1657.89 c GARBAGE COLLECT
1633.36/1657.89 c rational objective 54
1674.94/1699.56 c #Conflicts: 941000 | #Constraints: 42955
1674.94/1699.56 c #Conflicts: 942000 | #Constraints: 43957
1674.94/1699.56 c #Conflicts: 943000 | #Constraints: 44959
1674.94/1699.56 c #Conflicts: 944000 | #Constraints: 45960
1674.94/1699.56 c #Conflicts: 945000 | #Constraints: 46960
1674.94/1699.56 c #Conflicts: 946000 | #Constraints: 47960
1674.94/1699.56 c #Conflicts: 947000 | #Constraints: 48961
1674.94/1699.56 c #Conflicts: 948000 | #Constraints: 49961
1674.94/1699.56 c #Conflicts: 949000 | #Constraints: 50963
1674.94/1699.56 c #Conflicts: 950000 | #Constraints: 51966
1674.94/1699.56 c #Conflicts: 951000 | #Constraints: 52966
1674.94/1699.56 c #Conflicts: 952000 | #Constraints: 53967
1674.94/1699.56 c #Conflicts: 953000 | #Constraints: 54967
1674.94/1699.56 c #Conflicts: 954000 | #Constraints: 55968
1674.94/1699.56 c #Conflicts: 955000 | #Constraints: 56971
1674.94/1699.56 c #Conflicts: 956000 | #Constraints: 57973
1674.94/1699.56 c #Conflicts: 957000 | #Constraints: 58974
1674.94/1699.56 c #Conflicts: 958000 | #Constraints: 59974
1674.94/1699.56 c #Conflicts: 959000 | #Constraints: 60975
1674.94/1699.56 c #Conflicts: 960000 | #Constraints: 61976
1674.94/1699.56 c INPROCESSING
1674.94/1699.56 c GARBAGE COLLECT
1674.94/1699.56 c rational objective 54
1717.83/1742.55 c #Conflicts: 961000 | #Constraints: 34353
1717.83/1742.55 c #Conflicts: 962000 | #Constraints: 35354
1717.83/1742.55 c #Conflicts: 963000 | #Constraints: 36355
1717.83/1742.55 c #Conflicts: 964000 | #Constraints: 37357
1717.83/1742.55 c #Conflicts: 965000 | #Constraints: 38359
1717.83/1742.55 c #Conflicts: 966000 | #Constraints: 39361
1717.83/1742.55 c #Conflicts: 967000 | #Constraints: 40365
1717.83/1742.55 c #Conflicts: 968000 | #Constraints: 41365
1717.83/1742.55 c #Conflicts: 969000 | #Constraints: 42367
1717.83/1742.55 c #Conflicts: 970000 | #Constraints: 43372
1717.83/1742.55 c #Conflicts: 971000 | #Constraints: 44377
1717.83/1742.55 c #Conflicts: 972000 | #Constraints: 45378
1717.83/1742.55 c #Conflicts: 973000 | #Constraints: 46379
1717.83/1742.55 c #Conflicts: 974000 | #Constraints: 47386
1717.83/1742.55 c #Conflicts: 975000 | #Constraints: 48389
1717.83/1742.55 c #Conflicts: 976000 | #Constraints: 49390
1717.83/1742.55 c #Conflicts: 977000 | #Constraints: 50390
1717.83/1742.55 c #Conflicts: 978000 | #Constraints: 51390
1717.83/1742.55 c #Conflicts: 979000 | #Constraints: 52390
1717.83/1742.55 c #Conflicts: 980000 | #Constraints: 53393
1717.83/1742.55 c INPROCESSING
1717.83/1742.55 c GARBAGE COLLECT
1717.83/1742.55 c rational objective 54
1743.95/1768.74 c #Conflicts: 981000 | #Constraints: 30002
1743.95/1768.74 c #Conflicts: 982000 | #Constraints: 31002
1743.95/1768.74 c #Conflicts: 983000 | #Constraints: 32003
1743.95/1768.74 c #Conflicts: 984000 | #Constraints: 33004
1743.95/1768.74 c #Conflicts: 985000 | #Constraints: 34004
1743.95/1768.74 c #Conflicts: 986000 | #Constraints: 35005
1743.95/1768.74 c #Conflicts: 987000 | #Constraints: 36008
1743.95/1768.74 c #Conflicts: 988000 | #Constraints: 37008
1743.95/1768.74 c #Conflicts: 989000 | #Constraints: 38011
1743.95/1768.74 c #Conflicts: 990000 | #Constraints: 39013
1743.95/1768.74 c #Conflicts: 991000 | #Constraints: 40015
1743.95/1768.74 c #Conflicts: 992000 | #Constraints: 41015
1743.95/1768.74 c #Conflicts: 993000 | #Constraints: 42015
1743.95/1768.74 c #Conflicts: 994000 | #Constraints: 43016
1743.95/1768.74 c bounds 1183 >= 72 @ 1709.64
1755.61/1780.47 c #Conflicts: 995000 | #Constraints: 44028
1755.61/1780.47 c #Conflicts: 996000 | #Constraints: 45029
1755.61/1780.47 c #Conflicts: 997000 | #Constraints: 46031
1755.61/1780.47 c #Conflicts: 998000 | #Constraints: 47032
1755.61/1780.47 c #Conflicts: 999000 | #Constraints: 48033
1755.61/1780.47 c #Conflicts: 1000000 | #Constraints: 49036
1755.61/1780.47 c INPROCESSING
1755.61/1780.47 c GARBAGE COLLECT
1755.61/1780.47 c rational objective 72
1792.28/1817.26 c #Conflicts: 1001000 | #Constraints: 27812
1792.28/1817.26 c #Conflicts: 1002000 | #Constraints: 28815
1792.28/1817.26 c #Conflicts: 1003000 | #Constraints: 29822
1792.28/1817.26 c #Conflicts: 1004000 | #Constraints: 30826
1792.28/1817.26 c #Conflicts: 1005000 | #Constraints: 31829
1792.28/1817.26 c #Conflicts: 1006000 | #Constraints: 32832
1792.28/1817.26 c #Conflicts: 1007000 | #Constraints: 33835
1792.28/1817.26 c #Conflicts: 1008000 | #Constraints: 34838
1792.28/1817.26 c #Conflicts: 1009000 | #Constraints: 35847
1792.28/1817.26 c #Conflicts: 1010000 | #Constraints: 36850
1792.28/1817.26 c #Conflicts: 1011000 | #Constraints: 37857
1792.28/1817.26 c #Conflicts: 1012000 | #Constraints: 38861
1792.28/1817.26 c #Conflicts: 1013000 | #Constraints: 39862
1792.28/1817.26 c #Conflicts: 1014000 | #Constraints: 40864
1792.28/1817.26 c #Conflicts: 1015000 | #Constraints: 41867
1792.28/1817.26 c #Conflicts: 1016000 | #Constraints: 42868
1792.28/1817.26 c #Conflicts: 1017000 | #Constraints: 43868
1792.28/1817.26 c #Conflicts: 1018000 | #Constraints: 44868
1792.28/1817.26 c #Conflicts: 1019000 | #Constraints: 45870
1792.28/1817.26 c #Conflicts: 1020000 | #Constraints: 46876
1792.28/1817.26 c INPROCESSING
1792.28/1817.26 c GARBAGE COLLECT
1792.28/1817.26 c rational objective 72
1924.00/1949.44 c #Conflicts: 1021000 | #Constraints: 26580
1924.00/1949.44 c #Conflicts: 1022000 | #Constraints: 27583
1924.00/1949.44 c #Conflicts: 1023000 | #Constraints: 28586
1924.00/1949.44 c #Conflicts: 1024000 | #Constraints: 29597
1924.00/1949.44 c #Conflicts: 1025000 | #Constraints: 30606
1924.00/1949.44 c #Conflicts: 1026000 | #Constraints: 31614
1924.00/1949.44 c #Conflicts: 1027000 | #Constraints: 32622
1924.00/1949.44 c #Conflicts: 1028000 | #Constraints: 33633
1924.00/1949.44 c #Conflicts: 1029000 | #Constraints: 34643
1924.00/1949.44 c #Conflicts: 1030000 | #Constraints: 35653
1924.00/1949.44 c #Conflicts: 1031000 | #Constraints: 36660
1924.00/1949.44 c #Conflicts: 1032000 | #Constraints: 37670
1924.00/1949.44 c #Conflicts: 1033000 | #Constraints: 38677
1924.00/1949.44 c #Conflicts: 1034000 | #Constraints: 39685
1924.00/1949.44 c #Conflicts: 1035000 | #Constraints: 40693
1924.00/1949.44 c #Conflicts: 1036000 | #Constraints: 41702
1924.00/1949.44 c #Conflicts: 1037000 | #Constraints: 42710
1924.00/1949.44 c #Conflicts: 1038000 | #Constraints: 43718
1924.00/1949.44 c #Conflicts: 1039000 | #Constraints: 44731
1924.00/1949.44 c #Conflicts: 1040000 | #Constraints: 45743
1924.00/1949.44 c #Conflicts: 1041000 | #Constraints: 46753
1924.00/1949.44 c #Conflicts: 1042000 | #Constraints: 47761
1924.00/1949.44 c #Conflicts: 1043000 | #Constraints: 48770
1924.00/1949.44 c #Conflicts: 1044000 | #Constraints: 49775
1924.00/1949.44 c #Conflicts: 1045000 | #Constraints: 50781
1924.00/1949.44 c #Conflicts: 1046000 | #Constraints: 51794
1924.00/1949.44 c #Conflicts: 1047000 | #Constraints: 52805
1924.00/1949.44 c #Conflicts: 1048000 | #Constraints: 53814
1924.00/1949.44 c #Conflicts: 1049000 | #Constraints: 54825
1924.00/1949.44 c #Conflicts: 1050000 | #Constraints: 55834
1924.00/1949.44 c #Conflicts: 1051000 | #Constraints: 56844
1924.00/1949.44 c #Conflicts: 1052000 | #Constraints: 57855
1924.00/1949.44 c #Conflicts: 1053000 | #Constraints: 58864
1924.00/1949.44 c #Conflicts: 1054000 | #Constraints: 59871
1924.00/1949.44 c #Conflicts: 1055000 | #Constraints: 60876
1924.00/1949.44 c #Conflicts: 1056000 | #Constraints: 61887
1924.00/1949.44 c #Conflicts: 1057000 | #Constraints: 62898
1924.00/1949.44 c #Conflicts: 1058000 | #Constraints: 63910
1924.00/1949.44 c #Conflicts: 1059000 | #Constraints: 64921
1924.00/1949.44 c #Conflicts: 1060000 | #Constraints: 65927
1924.00/1949.44 c #Conflicts: 1061000 | #Constraints: 66936
1924.00/1949.44 c #Conflicts: 1062000 | #Constraints: 67946
1924.00/1949.44 c #Conflicts: 1063000 | #Constraints: 68949
1924.00/1949.44 c #Conflicts: 1064000 | #Constraints: 69958
1924.00/1949.44 c #Conflicts: 1065000 | #Constraints: 70966
1924.00/1949.44 c #Conflicts: 1066000 | #Constraints: 71972
1924.00/1949.44 c #Conflicts: 1067000 | #Constraints: 72984
1924.00/1949.44 c #Conflicts: 1068000 | #Constraints: 73989
1924.00/1949.44 c #Conflicts: 1069000 | #Constraints: 74995
1924.00/1949.44 c #Conflicts: 1070000 | #Constraints: 75999
1924.00/1949.44 c #Conflicts: 1071000 | #Constraints: 77010
1924.00/1949.44 c #Conflicts: 1072000 | #Constraints: 78020
1924.00/1949.44 c #Conflicts: 1073000 | #Constraints: 79025
1924.00/1949.44 c #Conflicts: 1074000 | #Constraints: 80035
1924.00/1949.44 c #Conflicts: 1075000 | #Constraints: 81043
1924.00/1949.44 c #Conflicts: 1076000 | #Constraints: 82051
1924.00/1949.44 c #Conflicts: 1077000 | #Constraints: 83060
1924.00/1949.44 c #Conflicts: 1078000 | #Constraints: 84064
1924.00/1949.44 c #Conflicts: 1079000 | #Constraints: 85066
1924.00/1949.44 c #Conflicts: 1080000 | #Constraints: 86068
1924.00/1949.44 c #Conflicts: 1081000 | #Constraints: 87081
1924.00/1949.44 c #Conflicts: 1082000 | #Constraints: 88091
1924.00/1949.44 c #Conflicts: 1083000 | #Constraints: 89102
1924.00/1949.44 c #Conflicts: 1084000 | #Constraints: 90106
1924.00/1949.44 c #Conflicts: 1085000 | #Constraints: 91120
1924.00/1949.44 c #Conflicts: 1086000 | #Constraints: 92128
1924.00/1949.44 c #Conflicts: 1087000 | #Constraints: 93132
1924.00/1949.44 c #Conflicts: 1088000 | #Constraints: 94134
1924.00/1949.44 c #Conflicts: 1089000 | #Constraints: 95137
1924.00/1949.44 c #Conflicts: 1090000 | #Constraints: 96139
1924.00/1949.44 c #Conflicts: 1091000 | #Constraints: 97142
1924.00/1949.44 c #Conflicts: 1092000 | #Constraints: 98146
1924.00/1949.44 c #Conflicts: 1093000 | #Constraints: 99153
1924.00/1949.44 c #Conflicts: 1094000 | #Constraints: 100160
1924.00/1949.44 c #Conflicts: 1095000 | #Constraints: 101164
1924.00/1949.44 c #Conflicts: 1096000 | #Constraints: 102170
1924.00/1949.44 c #Conflicts: 1097000 | #Constraints: 103175
1924.00/1949.44 c #Conflicts: 1098000 | #Constraints: 104182
1924.00/1949.44 c #Conflicts: 1099000 | #Constraints: 105191
1967.56/1993.12 c #Conflicts: 1100000 | #Constraints: 106195
1967.56/1993.12 c #Conflicts: 1101000 | #Constraints: 107201
1967.56/1993.12 c #Conflicts: 1102000 | #Constraints: 108204
1967.56/1993.12 c #Conflicts: 1103000 | #Constraints: 109206
1967.56/1993.12 c #Conflicts: 1104000 | #Constraints: 110209
1967.56/1993.12 c #Conflicts: 1105000 | #Constraints: 111212
1967.56/1993.12 c #Conflicts: 1106000 | #Constraints: 112225
1967.56/1993.12 c #Conflicts: 1107000 | #Constraints: 113230
1967.56/1993.12 c #Conflicts: 1108000 | #Constraints: 114237
1967.56/1993.12 c #Conflicts: 1109000 | #Constraints: 115245
1967.56/1993.12 c #Conflicts: 1110000 | #Constraints: 116248
1967.56/1993.12 c #Conflicts: 1111000 | #Constraints: 117251
1967.56/1993.12 c #Conflicts: 1112000 | #Constraints: 118257
1967.56/1993.12 c #Conflicts: 1113000 | #Constraints: 119263
1967.56/1993.12 c #Conflicts: 1114000 | #Constraints: 120274
1967.56/1993.12 c #Conflicts: 1115000 | #Constraints: 121283
1967.56/1993.12 c #Conflicts: 1116000 | #Constraints: 122291
1967.56/1993.12 c #Conflicts: 1117000 | #Constraints: 123301
1967.56/1993.12 c #Conflicts: 1118000 | #Constraints: 124311
1967.56/1993.12 c #Conflicts: 1119000 | #Constraints: 125322
1967.56/1993.12 c #Conflicts: 1120000 | #Constraints: 126331
1967.56/1993.12 c #Conflicts: 1121000 | #Constraints: 127342
1967.56/1993.12 c INPROCESSING
1967.56/1993.12 c GARBAGE COLLECT
1967.56/1993.12 c rational objective 72
2009.91/2035.69 c #Conflicts: 1122000 | #Constraints: 66946
2009.91/2035.69 c #Conflicts: 1123000 | #Constraints: 67946
2009.91/2035.69 c #Conflicts: 1124000 | #Constraints: 68946
2009.91/2035.69 c #Conflicts: 1125000 | #Constraints: 69948
2009.91/2035.69 c #Conflicts: 1126000 | #Constraints: 70949
2009.91/2035.69 c #Conflicts: 1127000 | #Constraints: 71949
2009.91/2035.69 c #Conflicts: 1128000 | #Constraints: 72951
2009.91/2035.69 c #Conflicts: 1129000 | #Constraints: 73952
2009.91/2035.69 c #Conflicts: 1130000 | #Constraints: 74953
2009.91/2035.69 c #Conflicts: 1131000 | #Constraints: 75953
2009.91/2035.69 c #Conflicts: 1132000 | #Constraints: 76955
2009.91/2035.69 c #Conflicts: 1133000 | #Constraints: 77956
2009.91/2035.69 c #Conflicts: 1134000 | #Constraints: 78957
2009.91/2035.69 c #Conflicts: 1135000 | #Constraints: 79958
2009.91/2035.69 c #Conflicts: 1136000 | #Constraints: 80959
2009.91/2035.69 c #Conflicts: 1137000 | #Constraints: 81960
2009.91/2035.69 c #Conflicts: 1138000 | #Constraints: 82960
2009.91/2035.69 c #Conflicts: 1139000 | #Constraints: 83961
2009.91/2035.69 c #Conflicts: 1140000 | #Constraints: 84961
2009.91/2035.69 c #Conflicts: 1141000 | #Constraints: 85962
2009.91/2035.69 c #Conflicts: 1142000 | #Constraints: 86962
2009.91/2035.69 c #Conflicts: 1143000 | #Constraints: 87964
2009.91/2035.69 c INPROCESSING
2009.91/2035.69 c GARBAGE COLLECT
2009.91/2035.69 c rational objective 72
2055.87/2081.77 c #Conflicts: 1144000 | #Constraints: 47484
2055.87/2081.77 c #Conflicts: 1145000 | #Constraints: 48488
2055.87/2081.77 c #Conflicts: 1146000 | #Constraints: 49490
2055.87/2081.77 c #Conflicts: 1147000 | #Constraints: 50491
2055.87/2081.77 c #Conflicts: 1148000 | #Constraints: 51492
2055.87/2081.77 c #Conflicts: 1149000 | #Constraints: 52494
2055.87/2081.77 c #Conflicts: 1150000 | #Constraints: 53495
2055.87/2081.77 c #Conflicts: 1151000 | #Constraints: 54495
2055.87/2081.77 c #Conflicts: 1152000 | #Constraints: 55495
2055.87/2081.77 c #Conflicts: 1153000 | #Constraints: 56495
2055.87/2081.77 c #Conflicts: 1154000 | #Constraints: 57495
2055.87/2081.77 c #Conflicts: 1155000 | #Constraints: 58495
2055.87/2081.77 c #Conflicts: 1156000 | #Constraints: 59495
2055.87/2081.77 c #Conflicts: 1157000 | #Constraints: 60496
2055.87/2081.77 c #Conflicts: 1158000 | #Constraints: 61497
2055.87/2081.77 c #Conflicts: 1159000 | #Constraints: 62498
2055.87/2081.77 c #Conflicts: 1160000 | #Constraints: 63498
2055.87/2081.77 c #Conflicts: 1161000 | #Constraints: 64498
2055.87/2081.77 c #Conflicts: 1162000 | #Constraints: 65500
2055.87/2081.77 c #Conflicts: 1163000 | #Constraints: 66502
2055.87/2081.77 c #Conflicts: 1164000 | #Constraints: 67504
2055.87/2081.77 c INPROCESSING
2055.87/2081.77 c GARBAGE COLLECT
2055.87/2081.77 c rational objective 72
2097.43/2123.43 c #Conflicts: 1165000 | #Constraints: 36882
2097.43/2123.43 c #Conflicts: 1166000 | #Constraints: 37886
2097.43/2123.43 c #Conflicts: 1167000 | #Constraints: 38888
2097.43/2123.43 c #Conflicts: 1168000 | #Constraints: 39893
2097.43/2123.43 c #Conflicts: 1169000 | #Constraints: 40903
2097.43/2123.43 c #Conflicts: 1170000 | #Constraints: 41912
2097.43/2123.43 c #Conflicts: 1171000 | #Constraints: 42924
2097.43/2123.43 c #Conflicts: 1172000 | #Constraints: 43931
2097.43/2123.43 c #Conflicts: 1173000 | #Constraints: 44943
2097.43/2123.43 c #Conflicts: 1174000 | #Constraints: 45948
2097.43/2123.43 c #Conflicts: 1175000 | #Constraints: 46951
2097.43/2123.43 c #Conflicts: 1176000 | #Constraints: 47956
2097.43/2123.43 c #Conflicts: 1177000 | #Constraints: 48961
2097.43/2123.43 c #Conflicts: 1178000 | #Constraints: 49964
2097.43/2123.43 c #Conflicts: 1179000 | #Constraints: 50967
2097.43/2123.43 c #Conflicts: 1180000 | #Constraints: 51974
2097.43/2123.43 c #Conflicts: 1181000 | #Constraints: 52980
2097.43/2123.43 c #Conflicts: 1182000 | #Constraints: 53984
2097.43/2123.43 c #Conflicts: 1183000 | #Constraints: 54989
2097.43/2123.43 c #Conflicts: 1184000 | #Constraints: 55995
2097.43/2123.43 c #Conflicts: 1185000 | #Constraints: 57000
2097.43/2123.43 c #Conflicts: 1186000 | #Constraints: 58004
2097.43/2123.43 c INPROCESSING
2097.43/2123.43 c GARBAGE COLLECT
2097.43/2123.43 c rational objective 72
2132.62/2158.78 c #Conflicts: 1187000 | #Constraints: 32079
2132.62/2158.78 c #Conflicts: 1188000 | #Constraints: 33080
2132.62/2158.78 c #Conflicts: 1189000 | #Constraints: 34082
2132.62/2158.78 c #Conflicts: 1190000 | #Constraints: 35083
2132.62/2158.78 c #Conflicts: 1191000 | #Constraints: 36083
2132.62/2158.78 c #Conflicts: 1192000 | #Constraints: 37084
2132.62/2158.78 c #Conflicts: 1193000 | #Constraints: 38085
2132.62/2158.78 c #Conflicts: 1194000 | #Constraints: 39085
2132.62/2158.78 c #Conflicts: 1195000 | #Constraints: 40087
2132.62/2158.78 c #Conflicts: 1196000 | #Constraints: 41089
2132.62/2158.78 c #Conflicts: 1197000 | #Constraints: 42090
2132.62/2158.78 c #Conflicts: 1198000 | #Constraints: 43090
2132.62/2158.78 c #Conflicts: 1199000 | #Constraints: 44091
2132.62/2158.78 c #Conflicts: 1200000 | #Constraints: 45094
2132.62/2158.78 c #Conflicts: 1201000 | #Constraints: 46096
2132.62/2158.78 c #Conflicts: 1202000 | #Constraints: 47097
2132.62/2158.78 c #Conflicts: 1203000 | #Constraints: 48098
2132.62/2158.78 c #Conflicts: 1204000 | #Constraints: 49098
2132.62/2158.78 c #Conflicts: 1205000 | #Constraints: 50100
2132.62/2158.78 c #Conflicts: 1206000 | #Constraints: 51100
2132.62/2158.78 c #Conflicts: 1207000 | #Constraints: 52102
2132.62/2158.78 c #Conflicts: 1208000 | #Constraints: 53104
2132.62/2158.78 c #Conflicts: 1209000 | #Constraints: 54104
2132.62/2158.78 c INPROCESSING
2132.62/2158.78 c GARBAGE COLLECT
2132.62/2158.78 c rational objective 72
2168.40/2194.63 c #Conflicts: 1210000 | #Constraints: 30594
2168.40/2194.63 c #Conflicts: 1211000 | #Constraints: 31599
2168.40/2194.63 c #Conflicts: 1212000 | #Constraints: 32603
2168.40/2194.63 c #Conflicts: 1213000 | #Constraints: 33614
2168.40/2194.63 c #Conflicts: 1214000 | #Constraints: 34620
2168.40/2194.63 c #Conflicts: 1215000 | #Constraints: 35629
2168.40/2194.63 c #Conflicts: 1216000 | #Constraints: 36637
2168.40/2194.63 c #Conflicts: 1217000 | #Constraints: 37642
2168.40/2194.63 c #Conflicts: 1218000 | #Constraints: 38650
2168.40/2194.63 c #Conflicts: 1219000 | #Constraints: 39661
2168.40/2194.63 c #Conflicts: 1220000 | #Constraints: 40672
2168.40/2194.63 c #Conflicts: 1221000 | #Constraints: 41679
2168.40/2194.63 c #Conflicts: 1222000 | #Constraints: 42688
2168.40/2194.63 c #Conflicts: 1223000 | #Constraints: 43695
2168.40/2194.63 c #Conflicts: 1224000 | #Constraints: 44701
2168.40/2194.63 c #Conflicts: 1225000 | #Constraints: 45710
2168.40/2194.63 c #Conflicts: 1226000 | #Constraints: 46719
2168.40/2194.63 c #Conflicts: 1227000 | #Constraints: 47727
2168.40/2194.63 c #Conflicts: 1228000 | #Constraints: 48738
2168.40/2194.63 c #Conflicts: 1229000 | #Constraints: 49750
2168.40/2194.63 c #Conflicts: 1230000 | #Constraints: 50758
2168.40/2194.63 c #Conflicts: 1231000 | #Constraints: 51768
2168.40/2194.63 c INPROCESSING
2168.40/2194.63 c GARBAGE COLLECT
2168.40/2194.63 c rational objective 72
2321.76/2348.43 c #Conflicts: 1232000 | #Constraints: 29162
2321.76/2348.43 c #Conflicts: 1233000 | #Constraints: 30165
2321.76/2348.43 c #Conflicts: 1234000 | #Constraints: 31172
2321.76/2348.43 c #Conflicts: 1235000 | #Constraints: 32177
2321.76/2348.43 c #Conflicts: 1236000 | #Constraints: 33178
2321.76/2348.43 c #Conflicts: 1237000 | #Constraints: 34179
2321.76/2348.43 c #Conflicts: 1238000 | #Constraints: 35185
2321.76/2348.43 c #Conflicts: 1239000 | #Constraints: 36196
2321.76/2348.43 c #Conflicts: 1240000 | #Constraints: 37199
2321.76/2348.43 c #Conflicts: 1241000 | #Constraints: 38204
2321.76/2348.43 c #Conflicts: 1242000 | #Constraints: 39214
2321.76/2348.43 c #Conflicts: 1243000 | #Constraints: 40220
2321.76/2348.43 c #Conflicts: 1244000 | #Constraints: 41224
2321.76/2348.43 c #Conflicts: 1245000 | #Constraints: 42228
2321.76/2348.43 c #Conflicts: 1246000 | #Constraints: 43236
2321.76/2348.43 c #Conflicts: 1247000 | #Constraints: 44246
2321.76/2348.43 c #Conflicts: 1248000 | #Constraints: 45251
2321.76/2348.43 c #Conflicts: 1249000 | #Constraints: 46256
2321.76/2348.43 c #Conflicts: 1250000 | #Constraints: 47267
2321.76/2348.43 c #Conflicts: 1251000 | #Constraints: 48271
2321.76/2348.43 c #Conflicts: 1252000 | #Constraints: 49274
2321.76/2348.43 c #Conflicts: 1253000 | #Constraints: 50277
2321.76/2348.43 c #Conflicts: 1254000 | #Constraints: 51281
2321.76/2348.43 c #Conflicts: 1255000 | #Constraints: 52283
2321.76/2348.43 c #Conflicts: 1256000 | #Constraints: 53286
2321.76/2348.43 c #Conflicts: 1257000 | #Constraints: 54295
2321.76/2348.43 c #Conflicts: 1258000 | #Constraints: 55303
2321.76/2348.43 c #Conflicts: 1259000 | #Constraints: 56308
2321.76/2348.43 c #Conflicts: 1260000 | #Constraints: 57311
2321.76/2348.43 c #Conflicts: 1261000 | #Constraints: 58315
2321.76/2348.43 c #Conflicts: 1262000 | #Constraints: 59321
2321.76/2348.43 c #Conflicts: 1263000 | #Constraints: 60325
2321.76/2348.43 c #Conflicts: 1264000 | #Constraints: 61329
2321.76/2348.43 c #Conflicts: 1265000 | #Constraints: 62333
2321.76/2348.43 c #Conflicts: 1266000 | #Constraints: 63340
2321.76/2348.43 c #Conflicts: 1267000 | #Constraints: 64347
2321.76/2348.43 c #Conflicts: 1268000 | #Constraints: 65357
2321.76/2348.43 c #Conflicts: 1269000 | #Constraints: 66367
2321.76/2348.43 c #Conflicts: 1270000 | #Constraints: 67375
2321.76/2348.43 c #Conflicts: 1271000 | #Constraints: 68388
2321.76/2348.43 c #Conflicts: 1272000 | #Constraints: 69399
2321.76/2348.43 c #Conflicts: 1273000 | #Constraints: 70408
2321.76/2348.43 c #Conflicts: 1274000 | #Constraints: 71416
2321.76/2348.43 c #Conflicts: 1275000 | #Constraints: 72428
2321.76/2348.43 c #Conflicts: 1276000 | #Constraints: 73439
2321.76/2348.43 c #Conflicts: 1277000 | #Constraints: 74443
2321.76/2348.43 c #Conflicts: 1278000 | #Constraints: 75447
2321.76/2348.43 c #Conflicts: 1279000 | #Constraints: 76448
2321.76/2348.43 c #Conflicts: 1280000 | #Constraints: 77450
2321.76/2348.43 c #Conflicts: 1281000 | #Constraints: 78453
2321.76/2348.43 c #Conflicts: 1282000 | #Constraints: 79457
2321.76/2348.43 c #Conflicts: 1283000 | #Constraints: 80462
2321.76/2348.43 c #Conflicts: 1284000 | #Constraints: 81467
2321.76/2348.43 c #Conflicts: 1285000 | #Constraints: 82470
2321.76/2348.43 c #Conflicts: 1286000 | #Constraints: 83475
2321.76/2348.43 c #Conflicts: 1287000 | #Constraints: 84479
2321.76/2348.43 c #Conflicts: 1288000 | #Constraints: 85482
2321.76/2348.43 c #Conflicts: 1289000 | #Constraints: 86487
2321.76/2348.43 c #Conflicts: 1290000 | #Constraints: 87492
2321.76/2348.43 c #Conflicts: 1291000 | #Constraints: 88496
2321.76/2348.43 c #Conflicts: 1292000 | #Constraints: 89504
2321.76/2348.43 c #Conflicts: 1293000 | #Constraints: 90508
2321.76/2348.43 c #Conflicts: 1294000 | #Constraints: 91516
2321.76/2348.43 c #Conflicts: 1295000 | #Constraints: 92523
2321.76/2348.43 c #Conflicts: 1296000 | #Constraints: 93527
2321.76/2348.43 c #Conflicts: 1297000 | #Constraints: 94532
2321.76/2348.43 c #Conflicts: 1298000 | #Constraints: 95535
2321.76/2348.43 c #Conflicts: 1299000 | #Constraints: 96539
2321.76/2348.43 c #Conflicts: 1300000 | #Constraints: 97540
2321.76/2348.43 c #Conflicts: 1301000 | #Constraints: 98543
2321.76/2348.43 c #Conflicts: 1302000 | #Constraints: 99548
2321.76/2348.43 c #Conflicts: 1303000 | #Constraints: 100561
2321.76/2348.43 c #Conflicts: 1304000 | #Constraints: 101566
2321.76/2348.43 c #Conflicts: 1305000 | #Constraints: 102569
2321.76/2348.43 c #Conflicts: 1306000 | #Constraints: 103572
2321.76/2348.43 c #Conflicts: 1307000 | #Constraints: 104573
2321.76/2348.43 c #Conflicts: 1308000 | #Constraints: 105576
2321.76/2348.43 c #Conflicts: 1309000 | #Constraints: 106580
2321.76/2348.43 c #Conflicts: 1310000 | #Constraints: 107583
2388.06/2414.94 c #Conflicts: 1311000 | #Constraints: 108594
2388.06/2414.94 c #Conflicts: 1312000 | #Constraints: 109600
2388.06/2414.94 c #Conflicts: 1313000 | #Constraints: 110606
2388.06/2414.94 c #Conflicts: 1314000 | #Constraints: 111613
2388.06/2414.94 c #Conflicts: 1315000 | #Constraints: 112619
2388.06/2414.94 c #Conflicts: 1316000 | #Constraints: 113625
2388.06/2414.94 c #Conflicts: 1317000 | #Constraints: 114637
2388.06/2414.94 c #Conflicts: 1318000 | #Constraints: 115645
2388.06/2414.94 c #Conflicts: 1319000 | #Constraints: 116651
2388.06/2414.94 c #Conflicts: 1320000 | #Constraints: 117655
2388.06/2414.94 c #Conflicts: 1321000 | #Constraints: 118661
2388.06/2414.94 c #Conflicts: 1322000 | #Constraints: 119671
2388.06/2414.94 c #Conflicts: 1323000 | #Constraints: 120681
2388.06/2414.94 c #Conflicts: 1324000 | #Constraints: 121693
2388.06/2414.94 c #Conflicts: 1325000 | #Constraints: 122703
2388.06/2414.94 c #Conflicts: 1326000 | #Constraints: 123714
2388.06/2414.94 c #Conflicts: 1327000 | #Constraints: 124724
2388.06/2414.94 c #Conflicts: 1328000 | #Constraints: 125731
2388.06/2414.94 c #Conflicts: 1329000 | #Constraints: 126738
2388.06/2414.94 c #Conflicts: 1330000 | #Constraints: 127749
2388.06/2414.94 c #Conflicts: 1331000 | #Constraints: 128763
2388.06/2414.94 c #Conflicts: 1332000 | #Constraints: 129769
2388.06/2414.94 c #Conflicts: 1333000 | #Constraints: 130775
2388.06/2414.94 c #Conflicts: 1334000 | #Constraints: 131780
2388.06/2414.94 c #Conflicts: 1335000 | #Constraints: 132791
2388.06/2414.94 c #Conflicts: 1336000 | #Constraints: 133801
2388.06/2414.94 c #Conflicts: 1337000 | #Constraints: 134809
2388.06/2414.94 c #Conflicts: 1338000 | #Constraints: 135820
2388.06/2414.94 c #Conflicts: 1339000 | #Constraints: 136828
2388.06/2414.94 c INPROCESSING
2388.06/2414.94 c GARBAGE COLLECT
2388.06/2414.94 c rational objective 72
2449.48/2476.58 c #Conflicts: 1340000 | #Constraints: 71635
2449.48/2476.58 c #Conflicts: 1341000 | #Constraints: 72636
2449.48/2476.58 c #Conflicts: 1342000 | #Constraints: 73640
2449.48/2476.58 c #Conflicts: 1343000 | #Constraints: 74642
2449.48/2476.58 c #Conflicts: 1344000 | #Constraints: 75642
2449.48/2476.58 c #Conflicts: 1345000 | #Constraints: 76646
2449.48/2476.58 c #Conflicts: 1346000 | #Constraints: 77646
2449.48/2476.58 c #Conflicts: 1347000 | #Constraints: 78646
2449.48/2476.58 c #Conflicts: 1348000 | #Constraints: 79648
2449.48/2476.58 c #Conflicts: 1349000 | #Constraints: 80651
2449.48/2476.58 c #Conflicts: 1350000 | #Constraints: 81653
2449.48/2476.58 c #Conflicts: 1351000 | #Constraints: 82657
2449.48/2476.58 c #Conflicts: 1352000 | #Constraints: 83658
2449.48/2476.58 c #Conflicts: 1353000 | #Constraints: 84659
2449.48/2476.58 c #Conflicts: 1354000 | #Constraints: 85660
2449.48/2476.58 c #Conflicts: 1355000 | #Constraints: 86660
2449.48/2476.58 c #Conflicts: 1356000 | #Constraints: 87663
2449.48/2476.58 c #Conflicts: 1357000 | #Constraints: 88664
2449.48/2476.58 c #Conflicts: 1358000 | #Constraints: 89665
2449.48/2476.58 c #Conflicts: 1359000 | #Constraints: 90665
2449.48/2476.58 c #Conflicts: 1360000 | #Constraints: 91666
2449.48/2476.58 c #Conflicts: 1361000 | #Constraints: 92666
2449.48/2476.58 c #Conflicts: 1362000 | #Constraints: 93667
2449.48/2476.58 c #Conflicts: 1363000 | #Constraints: 94667
2449.48/2476.58 c INPROCESSING
2449.48/2476.58 c GARBAGE COLLECT
2449.48/2476.58 c rational objective 72
2500.02/2527.29 c #Conflicts: 1364000 | #Constraints: 50743
2500.02/2527.29 c #Conflicts: 1365000 | #Constraints: 51743
2500.02/2527.29 c #Conflicts: 1366000 | #Constraints: 52743
2500.02/2527.29 c #Conflicts: 1367000 | #Constraints: 53744
2500.02/2527.29 c #Conflicts: 1368000 | #Constraints: 54744
2500.02/2527.29 c #Conflicts: 1369000 | #Constraints: 55746
2500.02/2527.29 c #Conflicts: 1370000 | #Constraints: 56748
2500.02/2527.29 c #Conflicts: 1371000 | #Constraints: 57748
2500.02/2527.29 c #Conflicts: 1372000 | #Constraints: 58748
2500.02/2527.29 c #Conflicts: 1373000 | #Constraints: 59748
2500.02/2527.29 c #Conflicts: 1374000 | #Constraints: 60748
2500.02/2527.29 c #Conflicts: 1375000 | #Constraints: 61750
2500.02/2527.29 c #Conflicts: 1376000 | #Constraints: 62751
2500.02/2527.29 c #Conflicts: 1377000 | #Constraints: 63755
2500.02/2527.29 c #Conflicts: 1378000 | #Constraints: 64762
2500.02/2527.29 c #Conflicts: 1379000 | #Constraints: 65765
2500.02/2527.29 c #Conflicts: 1380000 | #Constraints: 66767
2500.02/2527.29 c #Conflicts: 1381000 | #Constraints: 67768
2500.02/2527.29 c #Conflicts: 1382000 | #Constraints: 68769
2500.02/2527.29 c #Conflicts: 1383000 | #Constraints: 69770
2500.02/2527.29 c #Conflicts: 1384000 | #Constraints: 70770
2500.02/2527.29 c #Conflicts: 1385000 | #Constraints: 71771
2500.02/2527.29 c #Conflicts: 1386000 | #Constraints: 72771
2500.02/2527.29 c #Conflicts: 1387000 | #Constraints: 73772
2500.02/2527.29 c INPROCESSING
2500.02/2527.29 c GARBAGE COLLECT
2500.02/2527.29 c rational objective 72
2543.30/2570.64 c #Conflicts: 1388000 | #Constraints: 40406
2543.30/2570.64 c #Conflicts: 1389000 | #Constraints: 41409
2543.30/2570.64 c #Conflicts: 1390000 | #Constraints: 42412
2543.30/2570.64 c #Conflicts: 1391000 | #Constraints: 43415
2543.30/2570.64 c #Conflicts: 1392000 | #Constraints: 44415
2543.30/2570.64 c #Conflicts: 1393000 | #Constraints: 45417
2543.30/2570.64 c #Conflicts: 1394000 | #Constraints: 46423
2543.30/2570.64 c #Conflicts: 1395000 | #Constraints: 47427
2543.30/2570.64 c #Conflicts: 1396000 | #Constraints: 48436
2543.30/2570.64 c #Conflicts: 1397000 | #Constraints: 49445
2543.30/2570.64 c #Conflicts: 1398000 | #Constraints: 50455
2543.30/2570.64 c #Conflicts: 1399000 | #Constraints: 51466
2543.30/2570.64 c #Conflicts: 1400000 | #Constraints: 52478
2543.30/2570.64 c #Conflicts: 1401000 | #Constraints: 53489
2543.30/2570.64 c #Conflicts: 1402000 | #Constraints: 54496
2543.30/2570.64 c #Conflicts: 1403000 | #Constraints: 55506
2543.30/2570.64 c #Conflicts: 1404000 | #Constraints: 56516
2543.30/2570.64 c #Conflicts: 1405000 | #Constraints: 57521
2543.30/2570.64 c #Conflicts: 1406000 | #Constraints: 58523
2543.30/2570.64 c #Conflicts: 1407000 | #Constraints: 59527
2543.30/2570.64 c #Conflicts: 1408000 | #Constraints: 60531
2543.30/2570.64 c #Conflicts: 1409000 | #Constraints: 61534
2543.30/2570.64 c #Conflicts: 1410000 | #Constraints: 62540
2543.30/2570.64 c #Conflicts: 1411000 | #Constraints: 63547
2543.30/2570.64 c INPROCESSING
2543.30/2570.64 c GARBAGE COLLECT
2543.30/2570.64 c rational objective 72
2585.18/2612.65 c #Conflicts: 1412000 | #Constraints: 35154
2585.18/2612.65 c #Conflicts: 1413000 | #Constraints: 36154
2585.18/2612.65 c #Conflicts: 1414000 | #Constraints: 37156
2585.18/2612.65 c #Conflicts: 1415000 | #Constraints: 38157
2585.18/2612.65 c #Conflicts: 1416000 | #Constraints: 39158
2585.18/2612.65 c #Conflicts: 1417000 | #Constraints: 40158
2585.18/2612.65 c #Conflicts: 1418000 | #Constraints: 41159
2585.18/2612.65 c #Conflicts: 1419000 | #Constraints: 42159
2585.18/2612.65 c #Conflicts: 1420000 | #Constraints: 43161
2585.18/2612.65 c #Conflicts: 1421000 | #Constraints: 44162
2585.18/2612.65 c #Conflicts: 1422000 | #Constraints: 45162
2585.18/2612.65 c #Conflicts: 1423000 | #Constraints: 46164
2585.18/2612.65 c #Conflicts: 1424000 | #Constraints: 47165
2585.18/2612.65 c #Conflicts: 1425000 | #Constraints: 48166
2585.18/2612.65 c #Conflicts: 1426000 | #Constraints: 49167
2585.18/2612.65 c #Conflicts: 1427000 | #Constraints: 50168
2585.18/2612.65 c #Conflicts: 1428000 | #Constraints: 51170
2585.18/2612.65 c #Conflicts: 1429000 | #Constraints: 52170
2585.18/2612.65 c #Conflicts: 1430000 | #Constraints: 53172
2585.18/2612.65 c #Conflicts: 1431000 | #Constraints: 54174
2585.18/2612.65 c #Conflicts: 1432000 | #Constraints: 55175
2585.18/2612.65 c #Conflicts: 1433000 | #Constraints: 56175
2585.18/2612.65 c #Conflicts: 1434000 | #Constraints: 57177
2585.18/2612.65 c #Conflicts: 1435000 | #Constraints: 58178
2585.18/2612.65 c INPROCESSING
2585.18/2612.65 c GARBAGE COLLECT
2585.18/2612.65 c rational objective 72
2621.27/2648.89 c #Conflicts: 1436000 | #Constraints: 32443
2621.27/2648.89 c #Conflicts: 1437000 | #Constraints: 33443
2621.27/2648.89 c #Conflicts: 1438000 | #Constraints: 34444
2621.27/2648.89 c #Conflicts: 1439000 | #Constraints: 35457
2621.27/2648.89 c #Conflicts: 1440000 | #Constraints: 36462
2621.27/2648.89 c #Conflicts: 1441000 | #Constraints: 37467
2621.27/2648.89 c #Conflicts: 1442000 | #Constraints: 38474
2621.27/2648.89 c #Conflicts: 1443000 | #Constraints: 39483
2621.27/2648.89 c #Conflicts: 1444000 | #Constraints: 40491
2621.27/2648.89 c #Conflicts: 1445000 | #Constraints: 41499
2621.27/2648.89 c #Conflicts: 1446000 | #Constraints: 42508
2621.27/2648.89 c #Conflicts: 1447000 | #Constraints: 43517
2621.27/2648.89 c #Conflicts: 1448000 | #Constraints: 44527
2621.27/2648.89 c #Conflicts: 1449000 | #Constraints: 45537
2621.27/2648.89 c #Conflicts: 1450000 | #Constraints: 46542
2621.27/2648.89 c #Conflicts: 1451000 | #Constraints: 47551
2621.27/2648.89 c #Conflicts: 1452000 | #Constraints: 48559
2621.27/2648.89 c #Conflicts: 1453000 | #Constraints: 49565
2621.27/2648.89 c #Conflicts: 1454000 | #Constraints: 50573
2621.27/2648.89 c #Conflicts: 1455000 | #Constraints: 51584
2621.27/2648.89 c #Conflicts: 1456000 | #Constraints: 52596
2621.27/2648.89 c #Conflicts: 1457000 | #Constraints: 53606
2621.27/2648.89 c #Conflicts: 1458000 | #Constraints: 54616
2621.27/2648.89 c #Conflicts: 1459000 | #Constraints: 55624
2621.27/2648.89 c #Conflicts: 1460000 | #Constraints: 56635
2621.27/2648.89 c INPROCESSING
2621.27/2648.89 c GARBAGE COLLECT
2621.27/2648.89 c rational objective 72
2777.98/2806.27 c #Conflicts: 1461000 | #Constraints: 31799
2777.98/2806.27 c #Conflicts: 1462000 | #Constraints: 32813
2777.98/2806.27 c #Conflicts: 1463000 | #Constraints: 33816
2777.98/2806.27 c #Conflicts: 1464000 | #Constraints: 34821
2777.98/2806.27 c #Conflicts: 1465000 | #Constraints: 35828
2777.98/2806.27 c #Conflicts: 1466000 | #Constraints: 36833
2777.98/2806.27 c #Conflicts: 1467000 | #Constraints: 37836
2777.98/2806.27 c #Conflicts: 1468000 | #Constraints: 38840
2777.98/2806.27 c #Conflicts: 1469000 | #Constraints: 39844
2777.98/2806.27 c #Conflicts: 1470000 | #Constraints: 40853
2777.98/2806.27 c #Conflicts: 1471000 | #Constraints: 41857
2777.98/2806.27 c #Conflicts: 1472000 | #Constraints: 42861
2777.98/2806.27 c #Conflicts: 1473000 | #Constraints: 43861
2777.98/2806.27 c #Conflicts: 1474000 | #Constraints: 44865
2777.98/2806.27 c #Conflicts: 1475000 | #Constraints: 45870
2777.98/2806.27 c #Conflicts: 1476000 | #Constraints: 46870
2777.98/2806.27 c #Conflicts: 1477000 | #Constraints: 47871
2777.98/2806.27 c #Conflicts: 1478000 | #Constraints: 48878
2777.98/2806.27 c #Conflicts: 1479000 | #Constraints: 49882
2777.98/2806.27 c #Conflicts: 1480000 | #Constraints: 50883
2777.98/2806.27 c #Conflicts: 1481000 | #Constraints: 51886
2777.98/2806.27 c #Conflicts: 1482000 | #Constraints: 52889
2777.98/2806.27 c #Conflicts: 1483000 | #Constraints: 53891
2777.98/2806.27 c #Conflicts: 1484000 | #Constraints: 54894
2777.98/2806.27 c #Conflicts: 1485000 | #Constraints: 55899
2777.98/2806.27 c #Conflicts: 1486000 | #Constraints: 56903
2777.98/2806.27 c #Conflicts: 1487000 | #Constraints: 57912
2777.98/2806.27 c #Conflicts: 1488000 | #Constraints: 58916
2777.98/2806.27 c #Conflicts: 1489000 | #Constraints: 59924
2777.98/2806.27 c #Conflicts: 1490000 | #Constraints: 60929
2777.98/2806.27 c #Conflicts: 1491000 | #Constraints: 61934
2777.98/2806.27 c #Conflicts: 1492000 | #Constraints: 62935
2777.98/2806.27 c #Conflicts: 1493000 | #Constraints: 63939
2777.98/2806.27 c #Conflicts: 1494000 | #Constraints: 64941
2777.98/2806.27 c #Conflicts: 1495000 | #Constraints: 65944
2777.98/2806.27 c #Conflicts: 1496000 | #Constraints: 66951
2777.98/2806.27 c #Conflicts: 1497000 | #Constraints: 67957
2777.98/2806.27 c #Conflicts: 1498000 | #Constraints: 68963
2777.98/2806.27 c #Conflicts: 1499000 | #Constraints: 69972
2777.98/2806.27 c #Conflicts: 1500000 | #Constraints: 70982
2777.98/2806.27 c #Conflicts: 1501000 | #Constraints: 71989
2777.98/2806.27 c #Conflicts: 1502000 | #Constraints: 73001
2777.98/2806.27 c #Conflicts: 1503000 | #Constraints: 74012
2777.98/2806.27 c #Conflicts: 1504000 | #Constraints: 75021
2777.98/2806.27 c #Conflicts: 1505000 | #Constraints: 76028
2777.98/2806.27 c #Conflicts: 1506000 | #Constraints: 77036
2777.98/2806.27 c #Conflicts: 1507000 | #Constraints: 78044
2777.98/2806.27 c #Conflicts: 1508000 | #Constraints: 79048
2777.98/2806.27 c #Conflicts: 1509000 | #Constraints: 80052
2777.98/2806.27 c #Conflicts: 1510000 | #Constraints: 81057
2777.98/2806.27 c #Conflicts: 1511000 | #Constraints: 82059
2777.98/2806.27 c #Conflicts: 1512000 | #Constraints: 83063
2777.98/2806.27 c #Conflicts: 1513000 | #Constraints: 84068
2777.98/2806.27 c #Conflicts: 1514000 | #Constraints: 85074
2777.98/2806.27 c #Conflicts: 1515000 | #Constraints: 86082
2777.98/2806.27 c #Conflicts: 1516000 | #Constraints: 87087
2777.98/2806.27 c #Conflicts: 1517000 | #Constraints: 88089
2777.98/2806.27 c #Conflicts: 1518000 | #Constraints: 89093
2777.98/2806.27 c #Conflicts: 1519000 | #Constraints: 90100
2777.98/2806.27 c #Conflicts: 1520000 | #Constraints: 91103
2777.98/2806.27 c #Conflicts: 1521000 | #Constraints: 92107
2777.98/2806.27 c #Conflicts: 1522000 | #Constraints: 93114
2777.98/2806.27 c #Conflicts: 1523000 | #Constraints: 94123
2777.98/2806.27 c #Conflicts: 1524000 | #Constraints: 95133
2777.98/2806.27 c #Conflicts: 1525000 | #Constraints: 96142
2777.98/2806.27 c #Conflicts: 1526000 | #Constraints: 97154
2777.98/2806.27 c #Conflicts: 1527000 | #Constraints: 98157
2777.98/2806.27 c #Conflicts: 1528000 | #Constraints: 99161
2777.98/2806.27 c #Conflicts: 1529000 | #Constraints: 100167
2777.98/2806.27 c #Conflicts: 1530000 | #Constraints: 101171
2777.98/2806.27 c #Conflicts: 1531000 | #Constraints: 102175
2777.98/2806.27 c #Conflicts: 1532000 | #Constraints: 103180
2777.98/2806.27 c #Conflicts: 1533000 | #Constraints: 104187
2777.98/2806.27 c #Conflicts: 1534000 | #Constraints: 105200
2777.98/2806.27 c #Conflicts: 1535000 | #Constraints: 106203
2777.98/2806.27 c #Conflicts: 1536000 | #Constraints: 107205
2777.98/2806.27 c #Conflicts: 1537000 | #Constraints: 108208
2777.98/2806.27 c #Conflicts: 1538000 | #Constraints: 109212
2777.98/2806.27 c #Conflicts: 1539000 | #Constraints: 110216
2858.22/2886.82 c #Conflicts: 1540000 | #Constraints: 111219
2858.22/2886.82 c #Conflicts: 1541000 | #Constraints: 112223
2858.22/2886.82 c #Conflicts: 1542000 | #Constraints: 113226
2858.22/2886.82 c #Conflicts: 1543000 | #Constraints: 114231
2858.22/2886.82 c #Conflicts: 1544000 | #Constraints: 115241
2858.22/2886.82 c #Conflicts: 1545000 | #Constraints: 116249
2858.22/2886.82 c #Conflicts: 1546000 | #Constraints: 117258
2858.22/2886.82 c #Conflicts: 1547000 | #Constraints: 118264
2858.22/2886.82 c #Conflicts: 1548000 | #Constraints: 119274
2858.22/2886.82 c #Conflicts: 1549000 | #Constraints: 120280
2858.22/2886.82 c #Conflicts: 1550000 | #Constraints: 121285
2858.22/2886.82 c #Conflicts: 1551000 | #Constraints: 122291
2858.22/2886.82 c #Conflicts: 1552000 | #Constraints: 123297
2858.22/2886.82 c #Conflicts: 1553000 | #Constraints: 124302
2858.22/2886.82 c #Conflicts: 1554000 | #Constraints: 125309
2858.22/2886.82 c #Conflicts: 1555000 | #Constraints: 126317
2858.22/2886.82 c #Conflicts: 1556000 | #Constraints: 127326
2858.22/2886.82 c #Conflicts: 1557000 | #Constraints: 128333
2858.22/2886.82 c #Conflicts: 1558000 | #Constraints: 129343
2858.22/2886.82 c #Conflicts: 1559000 | #Constraints: 130348
2858.22/2886.82 c #Conflicts: 1560000 | #Constraints: 131354
2858.22/2886.82 c #Conflicts: 1561000 | #Constraints: 132360
2858.22/2886.82 c #Conflicts: 1562000 | #Constraints: 133365
2858.22/2886.82 c #Conflicts: 1563000 | #Constraints: 134373
2858.22/2886.82 c #Conflicts: 1564000 | #Constraints: 135377
2858.22/2886.82 c #Conflicts: 1565000 | #Constraints: 136382
2858.22/2886.82 c #Conflicts: 1566000 | #Constraints: 137393
2858.22/2886.82 c #Conflicts: 1567000 | #Constraints: 138401
2858.22/2886.82 c #Conflicts: 1568000 | #Constraints: 139406
2858.22/2886.82 c #Conflicts: 1569000 | #Constraints: 140415
2858.22/2886.82 c #Conflicts: 1570000 | #Constraints: 141427
2858.22/2886.82 c #Conflicts: 1571000 | #Constraints: 142435
2858.22/2886.82 c #Conflicts: 1572000 | #Constraints: 143442
2858.22/2886.82 c #Conflicts: 1573000 | #Constraints: 144452
2858.22/2886.82 c #Conflicts: 1574000 | #Constraints: 145464
2858.22/2886.82 c #Conflicts: 1575000 | #Constraints: 146470
2858.22/2886.82 c INPROCESSING
2858.22/2886.82 c GARBAGE COLLECT
2858.22/2886.82 c rational objective 72
2918.40/2947.30 c #Conflicts: 1576000 | #Constraints: 76405
2918.40/2947.30 c #Conflicts: 1577000 | #Constraints: 77407
2918.40/2947.30 c #Conflicts: 1578000 | #Constraints: 78407
2918.40/2947.30 c #Conflicts: 1579000 | #Constraints: 79409
2918.40/2947.30 c #Conflicts: 1580000 | #Constraints: 80409
2918.40/2947.30 c #Conflicts: 1581000 | #Constraints: 81411
2918.40/2947.30 c #Conflicts: 1582000 | #Constraints: 82413
2918.40/2947.30 c #Conflicts: 1583000 | #Constraints: 83415
2918.40/2947.30 c #Conflicts: 1584000 | #Constraints: 84416
2918.40/2947.30 c #Conflicts: 1585000 | #Constraints: 85416
2918.40/2947.30 c #Conflicts: 1586000 | #Constraints: 86417
2918.40/2947.30 c #Conflicts: 1587000 | #Constraints: 87420
2918.40/2947.30 c #Conflicts: 1588000 | #Constraints: 88420
2918.40/2947.30 c #Conflicts: 1589000 | #Constraints: 89421
2918.40/2947.30 c #Conflicts: 1590000 | #Constraints: 90421
2918.40/2947.30 c #Conflicts: 1591000 | #Constraints: 91422
2918.40/2947.30 c #Conflicts: 1592000 | #Constraints: 92424
2918.40/2947.30 c #Conflicts: 1593000 | #Constraints: 93424
2918.40/2947.30 c #Conflicts: 1594000 | #Constraints: 94425
2918.40/2947.30 c #Conflicts: 1595000 | #Constraints: 95426
2918.40/2947.30 c #Conflicts: 1596000 | #Constraints: 96427
2918.40/2947.30 c #Conflicts: 1597000 | #Constraints: 97429
2918.40/2947.30 c #Conflicts: 1598000 | #Constraints: 98431
2918.40/2947.30 c #Conflicts: 1599000 | #Constraints: 99435
2918.40/2947.30 c #Conflicts: 1600000 | #Constraints: 100439
2918.40/2947.30 c #Conflicts: 1601000 | #Constraints: 101443
2918.40/2947.30 c INPROCESSING
2918.40/2947.30 c GARBAGE COLLECT
2918.40/2947.30 c rational objective 72
2982.89/3011.99 c #Conflicts: 1602000 | #Constraints: 54073
2982.89/3011.99 c #Conflicts: 1603000 | #Constraints: 55075
2982.89/3011.99 c #Conflicts: 1604000 | #Constraints: 56078
2982.89/3011.99 c #Conflicts: 1605000 | #Constraints: 57082
2982.89/3011.99 c #Conflicts: 1606000 | #Constraints: 58083
2982.89/3011.99 c #Conflicts: 1607000 | #Constraints: 59086
2982.89/3011.99 c #Conflicts: 1608000 | #Constraints: 60086
2982.89/3011.99 c #Conflicts: 1609000 | #Constraints: 61087
2982.89/3011.99 c #Conflicts: 1610000 | #Constraints: 62088
2982.89/3011.99 c #Conflicts: 1611000 | #Constraints: 63088
2982.89/3011.99 c #Conflicts: 1612000 | #Constraints: 64088
2982.89/3011.99 c #Conflicts: 1613000 | #Constraints: 65088
2982.89/3011.99 c #Conflicts: 1614000 | #Constraints: 66089
2982.89/3011.99 c #Conflicts: 1615000 | #Constraints: 67090
2982.89/3011.99 c #Conflicts: 1616000 | #Constraints: 68093
2982.89/3011.99 c #Conflicts: 1617000 | #Constraints: 69094
2982.89/3011.99 c #Conflicts: 1618000 | #Constraints: 70096
2982.89/3011.99 c #Conflicts: 1619000 | #Constraints: 71097
2982.89/3011.99 c #Conflicts: 1620000 | #Constraints: 72097
2982.89/3011.99 c #Conflicts: 1621000 | #Constraints: 73099
2982.89/3011.99 c #Conflicts: 1622000 | #Constraints: 74099
2982.89/3011.99 c #Conflicts: 1623000 | #Constraints: 75100
2982.89/3011.99 c #Conflicts: 1624000 | #Constraints: 76101
2982.89/3011.99 c #Conflicts: 1625000 | #Constraints: 77101
2982.89/3011.99 c #Conflicts: 1626000 | #Constraints: 78102
2982.89/3011.99 c #Conflicts: 1627000 | #Constraints: 79103
2982.89/3011.99 c INPROCESSING
2982.89/3011.99 c GARBAGE COLLECT
2982.89/3011.99 c rational objective 72
3033.79/3063.04 c #Conflicts: 1628000 | #Constraints: 42936
3033.79/3063.04 c #Conflicts: 1629000 | #Constraints: 43938
3033.79/3063.04 c #Conflicts: 1630000 | #Constraints: 44939
3033.79/3063.04 c #Conflicts: 1631000 | #Constraints: 45941
3033.79/3063.04 c #Conflicts: 1632000 | #Constraints: 46950
3033.79/3063.04 c #Conflicts: 1633000 | #Constraints: 47956
3033.79/3063.04 c #Conflicts: 1634000 | #Constraints: 48964
3033.79/3063.04 c #Conflicts: 1635000 | #Constraints: 49969
3033.79/3063.04 c #Conflicts: 1636000 | #Constraints: 50970
3033.79/3063.04 c #Conflicts: 1637000 | #Constraints: 51972
3033.79/3063.04 c #Conflicts: 1638000 | #Constraints: 52977
3033.79/3063.04 c #Conflicts: 1639000 | #Constraints: 53983
3033.79/3063.04 c #Conflicts: 1640000 | #Constraints: 54990
3033.79/3063.04 c #Conflicts: 1641000 | #Constraints: 55994
3033.79/3063.04 c #Conflicts: 1642000 | #Constraints: 56998
3033.79/3063.04 c #Conflicts: 1643000 | #Constraints: 58003
3033.79/3063.04 c #Conflicts: 1644000 | #Constraints: 59006
3033.79/3063.04 c #Conflicts: 1645000 | #Constraints: 60010
3033.79/3063.04 c #Conflicts: 1646000 | #Constraints: 61014
3033.79/3063.04 c #Conflicts: 1647000 | #Constraints: 62017
3033.79/3063.04 c #Conflicts: 1648000 | #Constraints: 63022
3033.79/3063.04 c #Conflicts: 1649000 | #Constraints: 64028
3033.79/3063.04 c #Conflicts: 1650000 | #Constraints: 65033
3033.79/3063.04 c #Conflicts: 1651000 | #Constraints: 66038
3033.79/3063.04 c #Conflicts: 1652000 | #Constraints: 67044
3033.79/3063.04 c #Conflicts: 1653000 | #Constraints: 68052
3033.79/3063.04 c INPROCESSING
3033.79/3063.04 c GARBAGE COLLECT
3033.79/3063.04 c rational objective 72
3080.86/3110.36 c #Conflicts: 1654000 | #Constraints: 37211
3080.86/3110.36 c #Conflicts: 1655000 | #Constraints: 38215
3080.86/3110.36 c #Conflicts: 1656000 | #Constraints: 39220
3080.86/3110.36 c #Conflicts: 1657000 | #Constraints: 40225
3080.86/3110.36 c #Conflicts: 1658000 | #Constraints: 41232
3080.86/3110.36 c #Conflicts: 1659000 | #Constraints: 42240
3080.86/3110.36 c #Conflicts: 1660000 | #Constraints: 43249
3080.86/3110.36 c #Conflicts: 1661000 | #Constraints: 44257
3080.86/3110.36 c #Conflicts: 1662000 | #Constraints: 45261
3080.86/3110.36 c #Conflicts: 1663000 | #Constraints: 46264
3080.86/3110.36 c #Conflicts: 1664000 | #Constraints: 47267
3080.86/3110.36 c #Conflicts: 1665000 | #Constraints: 48270
3080.86/3110.36 c #Conflicts: 1666000 | #Constraints: 49273
3080.86/3110.36 c #Conflicts: 1667000 | #Constraints: 50277
3080.86/3110.36 c #Conflicts: 1668000 | #Constraints: 51286
3080.86/3110.36 c #Conflicts: 1669000 | #Constraints: 52294
3080.86/3110.36 c #Conflicts: 1670000 | #Constraints: 53297
3080.86/3110.36 c #Conflicts: 1671000 | #Constraints: 54300
3080.86/3110.36 c #Conflicts: 1672000 | #Constraints: 55306
3080.86/3110.36 c #Conflicts: 1673000 | #Constraints: 56309
3080.86/3110.36 c #Conflicts: 1674000 | #Constraints: 57313
3080.86/3110.36 c #Conflicts: 1675000 | #Constraints: 58318
3080.86/3110.36 c #Conflicts: 1676000 | #Constraints: 59324
3080.86/3110.36 c #Conflicts: 1677000 | #Constraints: 60333
3080.86/3110.36 c #Conflicts: 1678000 | #Constraints: 61342
3080.86/3110.36 c #Conflicts: 1679000 | #Constraints: 62354
3080.86/3110.36 c #Conflicts: 1680000 | #Constraints: 63365
3080.86/3110.36 c INPROCESSING
3080.86/3110.36 c GARBAGE COLLECT
3080.86/3110.36 c rational objective 72
3127.36/3157.02 c #Conflicts: 1681000 | #Constraints: 35168
3127.36/3157.02 c #Conflicts: 1682000 | #Constraints: 36172
3127.36/3157.02 c #Conflicts: 1683000 | #Constraints: 37176
3127.36/3157.02 c #Conflicts: 1684000 | #Constraints: 38176
3127.36/3157.02 c #Conflicts: 1685000 | #Constraints: 39178
3127.36/3157.02 c #Conflicts: 1686000 | #Constraints: 40179
3127.36/3157.02 c #Conflicts: 1687000 | #Constraints: 41179
3127.36/3157.02 c #Conflicts: 1688000 | #Constraints: 42180
3127.36/3157.02 c #Conflicts: 1689000 | #Constraints: 43181
3127.36/3157.02 c #Conflicts: 1690000 | #Constraints: 44181
3127.36/3157.02 c #Conflicts: 1691000 | #Constraints: 45181
3127.36/3157.02 c #Conflicts: 1692000 | #Constraints: 46182
3127.36/3157.02 c #Conflicts: 1693000 | #Constraints: 47182
3127.36/3157.02 c #Conflicts: 1694000 | #Constraints: 48183
3127.36/3157.02 c #Conflicts: 1695000 | #Constraints: 49183
3127.36/3157.02 c #Conflicts: 1696000 | #Constraints: 50183
3127.36/3157.02 c #Conflicts: 1697000 | #Constraints: 51184
3127.36/3157.02 c #Conflicts: 1698000 | #Constraints: 52185
3127.36/3157.02 c #Conflicts: 1699000 | #Constraints: 53186
3127.36/3157.02 c #Conflicts: 1700000 | #Constraints: 54188
3127.36/3157.02 c #Conflicts: 1701000 | #Constraints: 55189
3127.36/3157.02 c #Conflicts: 1702000 | #Constraints: 56189
3127.36/3157.02 c #Conflicts: 1703000 | #Constraints: 57189
3127.36/3157.02 c #Conflicts: 1704000 | #Constraints: 58189
3127.36/3157.02 c #Conflicts: 1705000 | #Constraints: 59191
3127.36/3157.02 c #Conflicts: 1706000 | #Constraints: 60192
3127.36/3157.02 c INPROCESSING
3127.36/3157.02 c GARBAGE COLLECT
3127.36/3157.02 c rational objective 72
3274.43/3304.70 c #Conflicts: 1707000 | #Constraints: 33306
3274.43/3304.70 c #Conflicts: 1708000 | #Constraints: 34316
3274.43/3304.70 c #Conflicts: 1709000 | #Constraints: 35324
3274.43/3304.70 c #Conflicts: 1710000 | #Constraints: 36327
3274.43/3304.70 c #Conflicts: 1711000 | #Constraints: 37330
3274.43/3304.70 c #Conflicts: 1712000 | #Constraints: 38336
3274.43/3304.70 c #Conflicts: 1713000 | #Constraints: 39342
3274.43/3304.70 c #Conflicts: 1714000 | #Constraints: 40347
3274.43/3304.70 c #Conflicts: 1715000 | #Constraints: 41350
3274.43/3304.70 c #Conflicts: 1716000 | #Constraints: 42354
3274.43/3304.70 c #Conflicts: 1717000 | #Constraints: 43358
3274.43/3304.70 c #Conflicts: 1718000 | #Constraints: 44364
3274.43/3304.70 c #Conflicts: 1719000 | #Constraints: 45367
3274.43/3304.70 c #Conflicts: 1720000 | #Constraints: 46375
3274.43/3304.70 c #Conflicts: 1721000 | #Constraints: 47382
3274.43/3304.70 c #Conflicts: 1722000 | #Constraints: 48391
3274.43/3304.70 c #Conflicts: 1723000 | #Constraints: 49396
3274.43/3304.70 c #Conflicts: 1724000 | #Constraints: 50406
3274.43/3304.70 c #Conflicts: 1725000 | #Constraints: 51414
3274.43/3304.70 c #Conflicts: 1726000 | #Constraints: 52422
3274.43/3304.70 c #Conflicts: 1727000 | #Constraints: 53430
3274.43/3304.70 c #Conflicts: 1728000 | #Constraints: 54438
3274.43/3304.70 c #Conflicts: 1729000 | #Constraints: 55444
3274.43/3304.70 c #Conflicts: 1730000 | #Constraints: 56450
3274.43/3304.70 c #Conflicts: 1731000 | #Constraints: 57461
3274.43/3304.70 c #Conflicts: 1732000 | #Constraints: 58467
3274.43/3304.70 c #Conflicts: 1733000 | #Constraints: 59478
3274.43/3304.70 c #Conflicts: 1734000 | #Constraints: 60488
3274.43/3304.70 c #Conflicts: 1735000 | #Constraints: 61500
3274.43/3304.70 c #Conflicts: 1736000 | #Constraints: 62510
3274.43/3304.70 c #Conflicts: 1737000 | #Constraints: 63522
3274.43/3304.70 c #Conflicts: 1738000 | #Constraints: 64532
3274.43/3304.70 c #Conflicts: 1739000 | #Constraints: 65539
3274.43/3304.70 c #Conflicts: 1740000 | #Constraints: 66542
3274.43/3304.70 c #Conflicts: 1741000 | #Constraints: 67549
3274.43/3304.70 c #Conflicts: 1742000 | #Constraints: 68555
3274.43/3304.70 c #Conflicts: 1743000 | #Constraints: 69564
3274.43/3304.70 c #Conflicts: 1744000 | #Constraints: 70571
3274.43/3304.70 c #Conflicts: 1745000 | #Constraints: 71574
3274.43/3304.70 c #Conflicts: 1746000 | #Constraints: 72580
3274.43/3304.70 c #Conflicts: 1747000 | #Constraints: 73584
3274.43/3304.70 c #Conflicts: 1748000 | #Constraints: 74588
3274.43/3304.70 c #Conflicts: 1749000 | #Constraints: 75593
3274.43/3304.70 c #Conflicts: 1750000 | #Constraints: 76597
3274.43/3304.70 c #Conflicts: 1751000 | #Constraints: 77605
3274.43/3304.70 c #Conflicts: 1752000 | #Constraints: 78613
3274.43/3304.70 c #Conflicts: 1753000 | #Constraints: 79617
3274.43/3304.70 c #Conflicts: 1754000 | #Constraints: 80621
3274.43/3304.70 c #Conflicts: 1755000 | #Constraints: 81626
3274.43/3304.70 c #Conflicts: 1756000 | #Constraints: 82631
3274.43/3304.70 c #Conflicts: 1757000 | #Constraints: 83635
3274.43/3304.70 c #Conflicts: 1758000 | #Constraints: 84639
3274.43/3304.70 c #Conflicts: 1759000 | #Constraints: 85649
3274.43/3304.70 c #Conflicts: 1760000 | #Constraints: 86659
3274.43/3304.70 c #Conflicts: 1761000 | #Constraints: 87669
3274.43/3304.70 c #Conflicts: 1762000 | #Constraints: 88680
3274.43/3304.70 c #Conflicts: 1763000 | #Constraints: 89689
3274.43/3304.70 c #Conflicts: 1764000 | #Constraints: 90695
3274.43/3304.70 c #Conflicts: 1765000 | #Constraints: 91698
3274.43/3304.70 c #Conflicts: 1766000 | #Constraints: 92702
3274.43/3304.70 c #Conflicts: 1767000 | #Constraints: 93705
3274.43/3304.70 c #Conflicts: 1768000 | #Constraints: 94706
3274.43/3304.70 c #Conflicts: 1769000 | #Constraints: 95711
3274.43/3304.70 c #Conflicts: 1770000 | #Constraints: 96716
3274.43/3304.70 c #Conflicts: 1771000 | #Constraints: 97723
3274.43/3304.70 c #Conflicts: 1772000 | #Constraints: 98726
3274.43/3304.70 c #Conflicts: 1773000 | #Constraints: 99733
3274.43/3304.70 c #Conflicts: 1774000 | #Constraints: 100737
3274.43/3304.70 c #Conflicts: 1775000 | #Constraints: 101740
3274.43/3304.70 c #Conflicts: 1776000 | #Constraints: 102745
3274.43/3304.70 c #Conflicts: 1777000 | #Constraints: 103748
3274.43/3304.70 c #Conflicts: 1778000 | #Constraints: 104753
3274.43/3304.70 c #Conflicts: 1779000 | #Constraints: 105759
3274.43/3304.70 c #Conflicts: 1780000 | #Constraints: 106764
3274.43/3304.70 c #Conflicts: 1781000 | #Constraints: 107772
3274.43/3304.70 c #Conflicts: 1782000 | #Constraints: 108778
3274.43/3304.70 c #Conflicts: 1783000 | #Constraints: 109784
3274.43/3304.70 c #Conflicts: 1784000 | #Constraints: 110789
3274.43/3304.70 c #Conflicts: 1785000 | #Constraints: 111795
3395.05/3425.88 c #Conflicts: 1786000 | #Constraints: 112803
3395.05/3425.88 c #Conflicts: 1787000 | #Constraints: 113815
3395.05/3425.88 c #Conflicts: 1788000 | #Constraints: 114821
3395.05/3425.88 c #Conflicts: 1789000 | #Constraints: 115824
3395.05/3425.88 c #Conflicts: 1790000 | #Constraints: 116826
3395.05/3425.88 c #Conflicts: 1791000 | #Constraints: 117830
3395.05/3425.88 c #Conflicts: 1792000 | #Constraints: 118837
3395.05/3425.88 c #Conflicts: 1793000 | #Constraints: 119838
3395.05/3425.88 c #Conflicts: 1794000 | #Constraints: 120841
3395.05/3425.88 c #Conflicts: 1795000 | #Constraints: 121847
3395.05/3425.88 c #Conflicts: 1796000 | #Constraints: 122852
3395.05/3425.88 c #Conflicts: 1797000 | #Constraints: 123859
3395.05/3425.88 c #Conflicts: 1798000 | #Constraints: 124862
3395.05/3425.88 c #Conflicts: 1799000 | #Constraints: 125867
3395.05/3425.88 c #Conflicts: 1800000 | #Constraints: 126872
3395.05/3425.88 c #Conflicts: 1801000 | #Constraints: 127875
3395.05/3425.88 c #Conflicts: 1802000 | #Constraints: 128877
3395.05/3425.88 c #Conflicts: 1803000 | #Constraints: 129881
3395.05/3425.88 c #Conflicts: 1804000 | #Constraints: 130885
3395.05/3425.88 c #Conflicts: 1805000 | #Constraints: 131896
3395.05/3425.88 c #Conflicts: 1806000 | #Constraints: 132903
3395.05/3425.88 c #Conflicts: 1807000 | #Constraints: 133910
3395.05/3425.88 c #Conflicts: 1808000 | #Constraints: 134915
3395.05/3425.88 c #Conflicts: 1809000 | #Constraints: 135919
3395.05/3425.88 c #Conflicts: 1810000 | #Constraints: 136923
3395.05/3425.88 c #Conflicts: 1811000 | #Constraints: 137928
3395.05/3425.88 c #Conflicts: 1812000 | #Constraints: 138932
3395.05/3425.88 c #Conflicts: 1813000 | #Constraints: 139935
3395.05/3425.88 c #Conflicts: 1814000 | #Constraints: 140940
3395.05/3425.88 c #Conflicts: 1815000 | #Constraints: 141946
3395.05/3425.88 c #Conflicts: 1816000 | #Constraints: 142953
3395.05/3425.88 c #Conflicts: 1817000 | #Constraints: 143954
3395.05/3425.88 c #Conflicts: 1818000 | #Constraints: 144958
3395.05/3425.88 c #Conflicts: 1819000 | #Constraints: 145961
3395.05/3425.88 c #Conflicts: 1820000 | #Constraints: 146965
3395.05/3425.88 c #Conflicts: 1821000 | #Constraints: 147967
3395.05/3425.88 c #Conflicts: 1822000 | #Constraints: 148969
3395.05/3425.88 c #Conflicts: 1823000 | #Constraints: 149972
3395.05/3425.88 c #Conflicts: 1824000 | #Constraints: 150977
3395.05/3425.88 c #Conflicts: 1825000 | #Constraints: 151986
3395.05/3425.88 c #Conflicts: 1826000 | #Constraints: 153000
3395.05/3425.88 c #Conflicts: 1827000 | #Constraints: 154014
3395.05/3425.88 c #Conflicts: 1828000 | #Constraints: 155021
3395.05/3425.88 c #Conflicts: 1829000 | #Constraints: 156027
3395.05/3425.88 c INPROCESSING
3395.05/3425.88 c GARBAGE COLLECT
3395.05/3425.88 c rational objective 72
3472.86/3503.91 c #Conflicts: 1830000 | #Constraints: 81143
3472.86/3503.91 c #Conflicts: 1831000 | #Constraints: 82144
3472.86/3503.91 c #Conflicts: 1832000 | #Constraints: 83146
3472.86/3503.91 c #Conflicts: 1833000 | #Constraints: 84147
3472.86/3503.91 c #Conflicts: 1834000 | #Constraints: 85149
3472.86/3503.91 c #Conflicts: 1835000 | #Constraints: 86149
3472.86/3503.91 c #Conflicts: 1836000 | #Constraints: 87149
3472.86/3503.91 c #Conflicts: 1837000 | #Constraints: 88151
3472.86/3503.91 c #Conflicts: 1838000 | #Constraints: 89152
3472.86/3503.91 c #Conflicts: 1839000 | #Constraints: 90155
3472.86/3503.91 c #Conflicts: 1840000 | #Constraints: 91157
3472.86/3503.91 c #Conflicts: 1841000 | #Constraints: 92157
3472.86/3503.91 c #Conflicts: 1842000 | #Constraints: 93159
3472.86/3503.91 c #Conflicts: 1843000 | #Constraints: 94160
3472.86/3503.91 c #Conflicts: 1844000 | #Constraints: 95160
3472.86/3503.91 c #Conflicts: 1845000 | #Constraints: 96165
3472.86/3503.91 c #Conflicts: 1846000 | #Constraints: 97170
3472.86/3503.91 c #Conflicts: 1847000 | #Constraints: 98170
3472.86/3503.91 c #Conflicts: 1848000 | #Constraints: 99172
3472.86/3503.91 c #Conflicts: 1849000 | #Constraints: 100172
3472.86/3503.91 c #Conflicts: 1850000 | #Constraints: 101174
3472.86/3503.91 c #Conflicts: 1851000 | #Constraints: 102178
3472.86/3503.91 c #Conflicts: 1852000 | #Constraints: 103179
3472.86/3503.91 c #Conflicts: 1853000 | #Constraints: 104179
3472.86/3503.91 c #Conflicts: 1854000 | #Constraints: 105181
3472.86/3503.91 c #Conflicts: 1855000 | #Constraints: 106182
3472.86/3503.91 c #Conflicts: 1856000 | #Constraints: 107183
3472.86/3503.91 c #Conflicts: 1857000 | #Constraints: 108184
3472.86/3503.91 c INPROCESSING
3472.86/3503.91 c GARBAGE COLLECT
3472.86/3503.91 c rational objective 72
3538.83/3570.11 c #Conflicts: 1858000 | #Constraints: 57322
3538.83/3570.11 c #Conflicts: 1859000 | #Constraints: 58322
3538.83/3570.11 c #Conflicts: 1860000 | #Constraints: 59324
3538.83/3570.11 c #Conflicts: 1861000 | #Constraints: 60324
3538.83/3570.11 c #Conflicts: 1862000 | #Constraints: 61324
3538.83/3570.11 c #Conflicts: 1863000 | #Constraints: 62325
3538.83/3570.11 c #Conflicts: 1864000 | #Constraints: 63327
3538.83/3570.11 c #Conflicts: 1865000 | #Constraints: 64329
3538.83/3570.11 c #Conflicts: 1866000 | #Constraints: 65330
3538.83/3570.11 c #Conflicts: 1867000 | #Constraints: 66331
3538.83/3570.11 c #Conflicts: 1868000 | #Constraints: 67331
3538.83/3570.11 c #Conflicts: 1869000 | #Constraints: 68332
3538.83/3570.11 c #Conflicts: 1870000 | #Constraints: 69333
3538.83/3570.11 c #Conflicts: 1871000 | #Constraints: 70333
3538.83/3570.11 c #Conflicts: 1872000 | #Constraints: 71334
3538.83/3570.11 c #Conflicts: 1873000 | #Constraints: 72335
3538.83/3570.11 c #Conflicts: 1874000 | #Constraints: 73335
3538.83/3570.11 c #Conflicts: 1875000 | #Constraints: 74335
3538.83/3570.11 c #Conflicts: 1876000 | #Constraints: 75337
3538.83/3570.11 c #Conflicts: 1877000 | #Constraints: 76338
3538.83/3570.11 c #Conflicts: 1878000 | #Constraints: 77338
3538.83/3570.11 c #Conflicts: 1879000 | #Constraints: 78338
3538.83/3570.11 c #Conflicts: 1880000 | #Constraints: 79341
3538.83/3570.11 c #Conflicts: 1881000 | #Constraints: 80341
3538.83/3570.11 c #Conflicts: 1882000 | #Constraints: 81341
3538.83/3570.11 c #Conflicts: 1883000 | #Constraints: 82341
3538.83/3570.11 c #Conflicts: 1884000 | #Constraints: 83343
3538.83/3570.11 c #Conflicts: 1885000 | #Constraints: 84343
3538.83/3570.11 c INPROCESSING
3538.83/3570.11 c GARBAGE COLLECT
3538.83/3570.11 c rational objective 72
3590.00/3621.51 c #Conflicts: 1886000 | #Constraints: 45403
3590.00/3621.51 c #Conflicts: 1887000 | #Constraints: 46406
3590.00/3621.51 c #Conflicts: 1888000 | #Constraints: 47410
3590.00/3621.51 c #Conflicts: 1889000 | #Constraints: 48415
3590.00/3621.51 c #Conflicts: 1890000 | #Constraints: 49419
3590.00/3621.51 c #Conflicts: 1891000 | #Constraints: 50425
3590.00/3621.51 c #Conflicts: 1892000 | #Constraints: 51427
3590.00/3621.51 c #Conflicts: 1893000 | #Constraints: 52430
3590.00/3621.51 c #Conflicts: 1894000 | #Constraints: 53433
3590.00/3621.51 c #Conflicts: 1895000 | #Constraints: 54439
3590.00/3621.51 c #Conflicts: 1896000 | #Constraints: 55443
3590.00/3621.51 c #Conflicts: 1897000 | #Constraints: 56447
3590.00/3621.51 c #Conflicts: 1898000 | #Constraints: 57451
3590.00/3621.51 c #Conflicts: 1899000 | #Constraints: 58458
3590.00/3621.51 c #Conflicts: 1900000 | #Constraints: 59462
3590.00/3621.51 c #Conflicts: 1901000 | #Constraints: 60465
3590.00/3621.51 c #Conflicts: 1902000 | #Constraints: 61469
3590.00/3621.51 c #Conflicts: 1903000 | #Constraints: 62475
3590.00/3621.51 c #Conflicts: 1904000 | #Constraints: 63480
3590.00/3621.51 c #Conflicts: 1905000 | #Constraints: 64484
3590.00/3621.51 c #Conflicts: 1906000 | #Constraints: 65493
3590.00/3621.51 c #Conflicts: 1907000 | #Constraints: 66500
3590.00/3621.51 c #Conflicts: 1908000 | #Constraints: 67510
3590.00/3621.51 c #Conflicts: 1909000 | #Constraints: 68521
3590.00/3621.51 c #Conflicts: 1910000 | #Constraints: 69532
3590.00/3621.51 c #Conflicts: 1911000 | #Constraints: 70538
3590.00/3621.51 c #Conflicts: 1912000 | #Constraints: 71546
3590.00/3621.51 c #Conflicts: 1913000 | #Constraints: 72552
3590.00/3621.51 c #Conflicts: 1914000 | #Constraints: 73559
3590.00/3621.51 c INPROCESSING
3590.00/3621.51 c GARBAGE COLLECT
3590.00/3621.51 c rational objective 72
3600.05/3631.63 c #Conflicts: 1915000 | #Constraints: 40261
3600.05/3631.63 c #Conflicts: 1916000 | #Constraints: 41267
3600.05/3631.63 c #Conflicts: 1917000 | #Constraints: 42273
3600.05/3631.63 c #Conflicts: 1918000 | #Constraints: 43277
3600.05/3631.63 c #Conflicts: 1919000 | #Constraints: 44283
3600.05/3631.63 c #Conflicts: 1920000 | #Constraints: 45287
3600.05/3631.63 c cpu time 3530.98 s
3600.05/3631.63 c deterministic time 89846063178 8.98e+10
3600.05/3631.63 c optimization time 9.7293 s
3600.05/3631.63 c total solve time 3521.22 s
3600.05/3631.63 c core-guided solve time 1217.56 s
3600.05/3631.63 c propagation time 1296.53 s
3600.05/3631.63 c conflict analysis time 1949.96 s
3600.05/3631.63 c propagations 487271359
3600.05/3631.63 c resolve steps 54744624
3600.05/3631.63 c decisions 5207260
3600.05/3631.63 c conflicts 1920324
3600.05/3631.63 c restarts 3723
3600.05/3631.63 c inprocessing phases 110
3600.05/3631.63 c garbage collections 110 ,( 100.00 )
3600.05/3631.63 c input clauses 2502 ,( 50.66 )
3600.05/3631.63 c input cardinalities 51 ,( 1.03 )
3600.05/3631.63 c input general constraints 2386 ,( 48.31 )
3600.05/3631.63 c input average constraint length 21.74
3600.05/3631.63 c input average constraint degree 200.91
3600.05/3631.63 c learned clauses 1576432 ,( 81.70 )
3600.05/3631.63 c learned cardinalities 243 ,( 0.01 )
3600.05/3631.63 c learned general constraints 352810 ,( 18.29 )
3600.05/3631.63 c learned average constraint length 272.93
3600.05/3631.63 c learned average constraint degree 533033804.09
3600.05/3631.63 c watched CF 32, 64, 128, Arb: 169653 , 0 , 0 , 0
3600.05/3631.63 c counting CF 32, 64, 128, Arb: 185544 , 0 , 0 , 0
3600.05/3631.63 c watched constraints 169653 ,( 47.76 )
3600.05/3631.63 c counting constraints 185543 ,( 52.24 )
3600.05/3631.63 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 749514381 , 25554267 , 2832201736 ,( 111847820 , 2720353916 )
3600.05/3631.63 c gcd simplifications 689334
3600.05/3631.63 c detected cardinalities 33
3600.05/3631.63 c weakened non-implied lits 2007225960
3600.05/3631.63 c weakened non-implying lits 5525514
3600.05/3631.63 c original variables 2498
3600.05/3631.63 c clausal propagations 90170040
3600.05/3631.63 c cardinality propagations 4153720
3600.05/3631.63 c watched propagations 303594
3600.05/3631.63 c counting propagations 389519256
3600.05/3631.63 c watch lookups 55959998889
3600.05/3631.63 c watch backjump lookups 0
3600.05/3631.63 c watch checks 12078258995
3600.05/3631.63 c propagation checks 14813218185
3600.05/3631.63 c constraint additions 6005636508
3600.05/3631.63 c trail pops 494387937
3600.05/3631.63 c formula constraints 4876
3600.05/3631.63 c learned constraints 1911329
3600.05/3631.63 c bound constraints 37
3600.05/3631.63 c core-guided constraints 26
3600.05/3631.63 c encountered formula constraints 43948244
3600.05/3631.63 c encountered learned constraints 9915314
3600.05/3631.63 c encountered bound constraints 85420
3600.05/3631.63 c encountered core-guided constraints 244009
3600.05/3631.63 c LP total time 220.33 s
3600.05/3631.63 c LP solve time 195.63 s
3600.05/3631.63 c LP constraints added 6928
3600.05/3631.63 c LP constraints removed 2026
3600.05/3631.63 c LP pivots internal 1920370
3600.05/3631.63 c LP pivots root 163674
3600.05/3631.63 c LP calls 9658
3600.05/3631.63 c LP optimalities 662
3600.05/3631.63 c LP no pivot count 9
3600.05/3631.63 c LP infeasibilities 8994
3600.05/3631.63 c LP valid Farkas constraints 8994
3600.05/3631.63 c LP learned Farkas constraints 8994
3600.05/3631.63 c LP basis resets 0
3600.05/3631.63 c LP cycling count 0
3600.05/3631.63 c LP singular count 0
3600.05/3631.63 c LP no primal count 0
3600.05/3631.63 c LP no farkas count 0
3600.05/3631.63 c LP other issue count 0
3600.05/3631.63 c LP Gomory cuts 168
3600.05/3631.63 c LP learned cuts 1884
3600.05/3631.63 c LP deleted cuts 2026
3600.05/3631.63 c LP encountered Gomory constraints 324232
3600.05/3631.63 c LP encountered Farkas constraints 2123058
3600.05/3631.63 c LP encountered learned Farkas constraints 15677
3600.05/3631.63 c CG auxiliary variables introduced 10
3600.05/3631.63 c CG solutions found 32
3600.05/3631.63 c CG cores constructed 4
3600.05/3631.63 c CG core cardinality constraints returned 0
3600.05/3631.63 c CG unit cores 0
3600.05/3631.63 c CG single cores 4
3600.05/3631.63 c CG blocks removed during cardinality reduction 0
3600.05/3631.63 c CG first core best 0
3600.05/3631.63 c CG decision core best 0
3600.05/3631.63 c CG core reduction tie 0
3600.05/3631.63 c CG core degree average 1.00
3600.05/3631.63 c CG core slack average 197.75
3600.05/3631.63 c CG core upper bound improvements 0
3600.05/3631.63 c STR number of successful calls 0
3600.05/3631.63 c STR number of unsuccessful calls 0
3600.05/3631.63 c STR number of inconclusive calls 0
3600.05/3631.63 c STR number of successful attempts 0
3600.05/3631.63 c STR number of unsuccessful attempts 0
3600.05/3631.63 c STR number of inconclusive attempts 0
3600.05/3631.63 c STR average degree increase per successful call inf
3600.05/3631.63 c STR average degree increase per successful attempt inf
3600.05/3631.63 c STR total number of conflicts for successful attempts 0
3600.05/3631.63 c STR total number of conflicts for unsuccessful attempts 0
3600.05/3631.63 c STR total number of conflicts for inconclusive attempts 0
3600.05/3631.63 c STR average number of conflicts per successful attempt inf
3600.05/3631.63 c STR average number of conflicts per unsuccessful attempt inf
3600.05/3631.63 c STR average number of conflicts per inconclusive attempt inf
3600.05/3631.63 c AVG.sumWPerc 43.83
3600.05/3631.63 c bigint constraints 0
3600.05/3631.63 o 1183
3600.05/3631.63 s SATISFIABLE
3600.05/3631.63 v -x1 -x2 x3 -x4 -x5 x6 -x7 -x8 x9 -x10 -x11 x12 -x13 -x14 x15 -x16 -x17 x18 -x19 -x20 x21 -x22 -x23 x24 -x25 -x26 x27 -x28 -x29 x30 -x31 -x32 x33 -x34 -x35 x36 -x37 -x38 x39 -x40 -x41 x42 -x43 x44 -x45 -x46 x47 -x48 -x49 x50 -x51 -x52 x53 -x54 -x55 x56 -x57 -x58 x59 -x60 -x61 x62 -x63 -x64 x65 -x66 -x67 x68 -x69 -x70 x71 -x72 -x73 x74 -x75 -x76 x77 -x78 -x79 x80 -x81 x82 -x83 -x84 x85 -x86 -x87 x88 -x89 -x90 x91 -x92 -x93 x94 -x95 -x96 x97 -x98 -x99 x100 -x101 -x102 x103 -x104 -x105 x106 -x107 -x108 x109 -x110 -x111 x112 -x113 -x114 x115 -x116 -x117 x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 x199 x200 x201 x202 x203 x204 x205 x206 x207 x208 x209 x210 x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 x314 x315 x316 x317 x318 x319 x320 x321 x322 x323 x324 x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 x426 x427 x428 x429 x430 x431 x432 x433 x434 x435 x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 x535 x536 x537 x538 x539 x540 x541 x542 x543 x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 x641 x642 x643 x644 x645 x646 x647 x648 x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 x744 x745 x746 x747 x748 x749 x750 x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 x844 x845 x846 x847 x848 x849 x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 x941 x942 x943 x944 x945 x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 x1035 x1036 x1037 x1038 x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 x1126 x1127 x1128 x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 x1214 x1215 x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 x1299 x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 x1511 x1512 x1513 x1514 x1515 x1516 x1517 x1518 x1519 x1520 x1521 x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 x1585 x1586 x1587 x1588 x1589 x1590 x1591 x1592 x1593 x1594 x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 x1656 x1657 x1658 x1659 x1660 x1661 x1662 x1663 x1664 x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 x1724 x1725 x1726 x1727 x1728 x1729 x1730 x1731 x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 x1789 x1790 x1791 x1792 x1793 x1794 x1795 x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 x1851 x1852 x1853 x1854 x1855 x1856 x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 x1910 x1911 x1912 x1913 x1914 x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 x1966 x1967 x1968 x1969 x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 x2019 x2020 x2021 x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 x2069 x2070 x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 x2116 x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 x2227 x2228 x2229 x2230 x2231 x2232 x2233 x2234 x2235 x2236 x2237 x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 x2263 x2264 x2265 x2266 x2267 x2268 x2269 x2270 x2271 x2272 x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 x2296 x2297 x2298 x2299 x2300 x2301 x2302 x2303 x2304 x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 x2326 x2327 x2328 x2329 x2330 x2331 x2332 x2333 x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 x2353 x2354 x2355 x2356 x2357 x2358 x2359 x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 x2377 x2378 x2379 x2380 x2381 x2382 x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 x2398 x2399 x2400 x2401 x2402 x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 x2416 x2417 x2418 x2419 x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 x2431 x2432 x2433 x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 x2443 x2444 x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 x2452 x2453 -x2454 -x2455 -x2456 -x2457 x2458 -x2459 -x2460
3600.05/3631.63 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: 63708 MiB (33871 MiB free)
memory of node 1: 64465 MiB (55772 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4532100-1752596906/watcher-4532100-1752596906 -o /tmp/evaluation-result-4532100-1752596906/solver-4532100-1752596906 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1752596906-130488 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4532100-1752596906.opb PROOFDIR/proof-4532100-1752596906
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=130549, runsolver pid=130546
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 4.32 3.94 3.85 6/301 130554
/proc/meminfo: memFree=91824936/131249992 swapFree=33009392/33010684
[pid=130549] ppid=130546 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/130549/stat : 130549 (run-opt-ls-log.) S 130546 130549 130478 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 175365148 4292608 736 18446744073709551615 94409814999040 94409815893573 140727102210480 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94409816132624 94409816180368 94409831579648 140727102212377 140727102212575 140727102212575 140727102218179 0
/proc/130549/statm: 1048 736 672 219 0 110 0
[pid=130551] ppid=130549 vsize=16828 memory=8768 CPUtime=0.06 cores=0,2
/proc/130551/stat : 130551 (pbsuma) R 130549 130549 130478 0 -1 4194304 1719 0 0 0 6 0 0 0 20 0 1 0 175365149 17231872 2192 18446744073709551615 4210688 4653049 140733620649936 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 6524928 140733620656353 140733620656688 140733620656688 140733620662255 0
/proc/130551/statm: 4207 2192 992 108 0 1615 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 21020 KiB
Current children cumulated memory: 11712 KiB
[startup+0.206225 s]*
/proc/loadavg: 4.32 3.94 3.85 6/301 130554
/proc/meminfo: memFree=91855508/131249992 swapFree=33009392/33010684
[pid=130549] ppid=130546 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/130549/stat : 130549 (run-opt-ls-log.) S 130546 130549 130478 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 175365148 4292608 736 18446744073709551615 94409814999040 94409815893573 140727102210480 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94409816132624 94409816180368 94409831579648 140727102212377 140727102212575 140727102212575 140727102218179 0
/proc/130549/statm: 1048 736 672 219 0 110 0
[pid=130551] ppid=130549 vsize=16816 memory=9088 CPUtime=0.16 cores=0,2
/proc/130551/stat : 130551 (pbsuma) R 130549 130549 130478 0 -1 4194304 2634 0 0 0 16 0 0 0 20 0 1 0 175365149 17219584 2272 18446744073709551615 4210688 4653049 140733620649936 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 6524928 140733620656353 140733620656688 140733620656688 140733620662255 0
/proc/130551/statm: 4204 2272 992 108 0 1612 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 21008 KiB
Current children cumulated memory: 12032 KiB
[startup+0.306181 s]*
/proc/loadavg: 4.32 3.94 3.85 6/301 130555
/proc/meminfo: memFree=91911680/131249992 swapFree=33009392/33010684
[pid=130549] ppid=130546 vsize=4192 memory=2944 CPUtime=0.18 cores=0,2
/proc/130549/stat : 130549 (run-opt-ls-log.) S 130546 130549 130478 0 -1 4194304 240 2726 0 0 0 0 18 0 20 0 1 0 175365148 4292608 736 18446744073709551615 94409814999040 94409815893573 140727102210480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94409816132624 94409816180368 94409831579648 140727102212377 140727102212575 140727102212575 140727102218179 0
/proc/130549/statm: 1048 736 672 219 0 110 0
[pid=130555] ppid=130549 vsize=56560 memory=9944 CPUtime=0 cores=0,2
/proc/130555/stat : 130555 (roundingsat) R 130549 130549 130478 0 -1 4194304 758 0 0 0 0 0 0 0 20 0 1 0 175365176 57917440 2486 18446744073709551615 4227072 8923577 140731839186192 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 29630464 140731839195380 140731839195686 140731839195686 140731839201258 0
/proc/130555/statm: 14140 2486 2016 1147 0 1566 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 60752 KiB
Current children cumulated memory: 12888 KiB
[startup+0.700221 s]
/proc/loadavg: 4.32 3.94 3.85 3/293 130567
/proc/meminfo: memFree=92003176/131249992 swapFree=33009392/33010684
[pid=130549] ppid=130546 vsize=4192 memory=2944 CPUtime=0.18 cores=0,2
/proc/130549/stat : 130549 (run-opt-ls-log.) S 130546 130549 130478 0 -1 4194304 240 2726 0 0 0 0 18 0 20 0 1 0 175365148 4292608 736 18446744073709551615 94409814999040 94409815893573 140727102210480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94409816132624 94409816180368 94409831579648 140727102212377 140727102212575 140727102212575 140727102218179 0
/proc/130549/statm: 1048 736 672 219 0 110 0
[pid=130555] ppid=130549 vsize=69072 memory=24580 CPUtime=0.39 cores=0,2
/proc/130555/stat : 130555 (roundingsat) R 130549 130549 130478 0 -1 4194304 4045 0 0 0 38 1 0 0 20 0 1 0 175365176 70729728 6145 18446744073709551615 4227072 8923577 140731839186192 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 29630464 140731839195380 140731839195686 140731839195686 140731839201258 0
/proc/130555/statm: 17268 6145 2400 1147 0 4694 0
Current children cumulated CPU time: 0.57 s
Current children cumulated vsize: 73264 KiB
Current children cumulated memory: 27524 KiB
[startup+1.50019 s]
/proc/loadavg: 4.32 3.94 3.85 3/286 130579
/proc/meminfo: memFree=92260304/131249992 swapFree=33009392/33010684
[pid=130549] ppid=130546 vsize=4192 memory=2944 CPUtime=0.18 cores=0,2
/proc/130549/stat : 130549 (run-opt-ls-log.) S 130546 130549 130478 0 -1 4194304 240 2726 0 0 0 0 18 0 20 0 1 0 175365148 4292608 736 18446744073709551615 94409814999040 94409815893573 140727102210480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94409816132624 94409816180368 94409831579648 140727102212377 140727102212575 140727102212575 140727102218179 0
/proc/130549/statm: 1048 736 672 219 0 110 0
[pid=130555] ppid=130549 vsize=70248 memory=25860 CPUtime=1.18 cores=0,2
/proc/130555/stat : 130555 (roundingsat) R 130549 130549 130478 0 -1 4194304 4378 0 0 0 115 3 0 0 20 0 1 0 175365176 71933952 6465 18446744073709551615 4227072 8923577 140731839186192 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 29630464 140731839195380 140731839195686 140731839195686 140731839201258 0
/proc/130555/statm: 17562 6465 2400 1147 0 4988 0
Current children cumulated CPU time: 1.36 s
Current children cumulated vsize: 74440 KiB
Current children cumulated memory: 28804 KiB
[startup+3.10621 s]
/proc/loadavg: 4.32 3.94 3.85 6/300 130695
/proc/meminfo: memFree=125868152/131249992 swapFree=33009392/33010684
[pid=130549] ppid=130546 vsize=4192 memory=2944 CPUtime=0.18 cores=0,2
/proc/130549/stat : 130549 (run-opt-ls-log.) S 130546 130549 130478 0 -1 4194304 240 2726 0 0 0 0 18 0 20 0 1 0 175365148 4292608 736 18446744073709551615 94409814999040 94409815893573 140727102210480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94409816132624 94409816180368 94409831579648 140727102212377 140727102212575 140727102212575 140727102218179 0
/proc/130549/statm: 1048 736 672 219 0 110 0
[pid=130555] ppid=130549 vsize=72080 memory=29604 CPUtime=2.79 cores=0,2
/proc/130555/stat : 130555 (roundingsat) R 130549 130549 130478 0 -1 4194304 4815 0 0 0 272 7 0 0 20 0 1 0 175365176 73809920 7401 18446744073709551615 4227072 8923577 140731839186192 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 29630464 140731839195380 140731839195686 140731839195686 140731839201258 0
/proc/130555/statm: 18020 7401 2400 1147 0 5446 0
Current children cumulated CPU time: 2.97 s
Current children cumulated vsize: 76272 KiB
Current children cumulated memory: 32548 KiB
[startup+6.30017 s]
/proc/loadavg: 4.30 3.94 3.85 6/301 130696
/proc/meminfo: memFree=128964768/131249992 swapFree=33009392/33010684
[pid=130549] ppid=130546 vsize=4192 memory=2944 CPUtime=0.18 cores=0,2
/proc/130549/stat : 130549 (run-opt-ls-log.) S 130546 130549 130478 0 -1 4194304 240 2726 0 0 0 0 18 0 20 0 1 0 175365148 4292608 736 18446744073709551615 94409814999040 94409815893573 140727102210480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94409816132624 94409816180368 94409831579648 140727102212377 140727102212575 140727102212575 140727102218179 0
/proc/130549/statm: 1048 736 672 219 0 110 0
[pid=130555] ppid=130549 vsize=77100 memory=32292 CPUtime=5.97 cores=0,2
/proc/130555/stat : 130555 (roundingsat) R 130549 130549 130478 0 -1 4194304 5478 0 0 0 583 14 0 0 20 0 1 0 175365176 78950400 8073 18446744073709551615 4227072 8923577 140731839186192 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 29630464 140731839195380 140731839195686 140731839195686 140731839201258 0
/proc/130555/statm: 19275 8073 2400 1147 0 6701 0
Current children cumulated CPU time: 6.15 s
Current children cumulated vsize: 81292 KiB
Current children cumulated memory: 35236 KiB
[startup+12.7002 s]
/proc/loadavg: 4.27 3.94 3.85 6/301 130696
/proc/meminfo: memFree=128745124/131249992 swapFree=33009392/33010684
[pid=130549] ppid=130546 vsize=4192 memory=2944 CPUtime=0.18 cores=0,2
/proc/130549/stat : 130549 (run-opt-ls-log.) S 130546 130549 130478 0 -1 4194304 240 2726 0 0 0 0 18 0 20 0 1 0 175365148 4292608 736 18446744073709551615 94409814999040 94409815893573 140727102210480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94409816132624 94409816180368 94409831579648 140727102212377 140727102212575 140727102212575 140727102218179 0
/proc/130549/statm: 1048 736 672 219 0 110 0
[pid=130555] ppid=130549 vsize=79944 memory=37248 CPUtime=12.36 cores=0,2
/proc/130555/stat : 130555 (roundingsat) R 130549 130549 130478 0 -1 4194304 6214 0 0 0 1208 28 0 0 20 0 1 0 175365176 81862656 9312 18446744073709551615 4227072 8923577 140731839186192 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 29630464 140731839195380 140731839195686 140731839195686 140731839201258 0
/proc/130555/statm: 19986 9312 2400 1147 0 7412 0
Current children cumulated CPU time: 12.54 s
Current children cumulated vsize: 84136 KiB
Current children cumulated memory: 40192 KiB
[startup+25.5002 s]
/proc/loadavg: 4.21 3.94 3.85 6/301 130697
/proc/meminfo: memFree=128370464/131249992 swapFree=33009392/33010684
[pid=130549] ppid=130546 vsize=4192 memory=2944 CPUtime=0.18 cores=0,2
/proc/130549/stat : 130549 (run-opt-ls-log.) S 130546 130549 130478 0 -1 4194304 240 2726 0 0 0 0 18 0 20 0 1 0 175365148 4292608 736 18446744073709551615 94409814999040 94409815893573 140727102210480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94409816132624 94409816180368 94409831579648 140727102212377 140727102212575 140727102212575 140727102218179 0
/proc/130549/statm: 1048 736 672 219 0 110 0
[pid=130555] ppid=130549 vsize=83072 memory=40832 CPUtime=25.12 cores=0,2
/proc/130555/stat : 130555 (roundingsat) R 130549 130549 130478 0 -1 4194304 7027 0 0 0 2456 56 0 0 20 0 1 0 175365176 85065728 10208 18446744073709551615 4227072 8923577 140731839186192 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 29630464 140731839195380 140731839195686 140731839195686 140731839201258 0
/proc/130555/statm: 20768 10208 2400 1147 0 8194 0
Current children cumulated CPU time: 25.3 s
Current children cumulated vsize: 87264 KiB
Current children cumulated memory: 43776 KiB
[startup+51.1062 s]
/proc/loadavg: 4.14 3.95 3.86 5/301 130699
/proc/meminfo: memFree=127732944/131249992 swapFree=33009392/33010684
[pid=130549] ppid=130546 vsize=4192 memory=2944 CPUtime=0.18 cores=0,2
/proc/130549/stat : 130549 (run-opt-ls-log.) S 130546 130549 130478 0 -1 4194304 240 2726 0 0 0 0 18 0 20 0 1 0 175365148 4292608 736 18446744073709551615 94409814999040 94409815893573 140727102210480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94409816132624 94409816180368 94409831579648 140727102212377 140727102212575 140727102212575 140727102218179 0
/proc/130549/statm: 1048 736 672 219 0 110 0
[pid=130555] ppid=130549 vsize=89744 memory=46304 CPUtime=33.76 cores=0,2
/proc/130555/stat : 130555 (roundingsat) D 130549 130549 130478 0 -1 4194304 7876 0 0 0 3300 76 0 0 20 0 1 0 175365176 91897856 11576 18446744073709551615 4227072 8923577 140731839186192 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9827200 9836688 29630464 140731839195380 140731839195686 140731839195686 140731839201258 0
/proc/130555/statm: 22436 11576 2400 1147 0 9862 0
Current children cumulated CPU time: 33.94 s
Current children cumulated vsize: 93936 KiB
Current children cumulated memory: 49248 KiB
heavy processes:
[startup+102.3 s]
/proc/loadavg: 4.18 3.99 3.88 6/301 130701
/proc/meminfo: memFree=124237460/131249992 swapFree=33009392/33010684
[pid=130549] ppid=130546 vsize=4192 memory=2944 CPUtime=0.18 cores=0,2
/proc/130549/stat : 130549 (run-opt-ls-log.) S 130546 130549 130478 0 -1 4194304 240 2726 0 0 0 0 18 0 20 0 1 0 175365148 4292608 736 18446744073709551615 94409814999040 94409815893573 140727102210480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94409816132624 94409816180368 94409831579648 140727102212377 140727102212575 140727102212575 140727102218179 0
/proc/130549/statm: 1048 736 672 219 0 110 0
[pid=130555] ppid=130549 vsize=107564 memory=60652 CPUtime=82.49 cores=0,2
/proc/130555/stat : 130555 (roundingsat) R 130549 130549 130478 0 -1 4194304 10955 0 0 0 8073 176 0 0 20 0 1 0 175365176 110145536 15163 18446744073709551615 4227072 8923577 140731839186192 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 29630464 140731839195380 140731839195686 140731839195686 140731839201258 0
/proc/130555/statm: 26891 15163 2400 1147 0 14317 0
Current children cumulated CPU time: 82.67 s
Current children cumulated vsize: 111756 KiB
Current children cumulated memory: 63596 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.01 3.90 6/301 130703
/proc/meminfo: memFree=118289460/131249992 swapFree=33009392/33010684
[pid=130549] ppid=130546 vsize=4192 memory=2944 CPUtime=0.18 cores=0,2
/proc/130549/stat : 130549 (run-opt-ls-log.) S 130546 130549 130478 0 -1 4194304 240 2726 0 0 0 0 18 0 20 0 1 0 175365148 4292608 736 18446744073709551615 94409814999040 94409815893573 140727102210480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94409816132624 94409816180368 94409831579648 140727102212377 140727102212575 140727102212575 140727102218179 0
/proc/130549/statm: 1048 736 672 219 0 110 0
[pid=130555] ppid=130549 vsize=116844 memory=73580 CPUtime=142.31 cores=0,2
/proc/130555/stat : 130555 (roundingsat) R 130549 130549 130478 0 -1 4194304 13151 0 0 0 13919 312 0 0 20 0 1 0 175365176 119648256 18395 18446744073709551615 4227072 8923577 140731839186192 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 29630464 140731839195380 140731839195686 140731839195686 140731839201258 0
/proc/130555/statm: 29211 18395 2432 1147 0 16637 0
Current children cumulated CPU time: 142.49 s
Current children cumulated vsize: 121036 KiB
Current children cumulated memory: 76524 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.02 3.91 6/301 130705
/proc/meminfo: memFree=115046080/131249992 swapFree=33009392/33010684
[pid=130549] ppid=130546 vsize=4192 memory=2944 CPUtime=0.18 cores=0,2
/proc/130549/stat : 130549 (run-opt-ls-log.) S 130546 130549 130478 0 -1 4194304 240 2726 0 0 0 0 18 0 20 0 1 0 175365148 4292608 736 18446744073709551615 94409814999040 94409815893573 140727102210480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94409816132624 94409816180368 94409831579648 140727102212377 140727102212575 140727102212575 140727102218179 0
/proc/130549/statm: 1048 736 672 219 0 110 0
[pid=130555] ppid=130549 vsize=131576 memory=78060 CPUtime=202.14 cores=0,2
/proc/130555/stat : 130555 (roundingsat) R 130549 130549 130478 0 -1 4194304 14281 0 0 0 19774 440 0 0 20 0 1 0 175365176 134733824 19515 18446744073709551615 4227072 8923577 140731839186192 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 29630464 140731839195380 140731839195686 140731839195686 140731839201258 0
################
# More data... #
################
Current children cumulated memory: 382064 KiB
[startup+3342.3 s]
/proc/loadavg: 4.53 4.29 4.16 6/273 130889
/proc/meminfo: memFree=1347436/131249992 swapFree=33009392/33010684
[pid=130549] ppid=130546 vsize=4192 memory=2944 CPUtime=0.18 cores=0,2
/proc/130549/stat : 130549 (run-opt-ls-log.) S 130546 130549 130478 0 -1 4194304 240 2726 0 0 0 0 18 0 20 0 1 0 175365148 4292608 736 18446744073709551615 94409814999040 94409815893573 140727102210480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94409816132624 94409816180368 94409831579648 140727102212377 140727102212575 140727102212575 140727102218179 0
/proc/130549/statm: 1048 736 672 219 0 110 0
[pid=130555] ppid=130549 vsize=487940 memory=380016 CPUtime=3311.7 cores=0,2
/proc/130555/stat : 130555 (roundingsat) R 130549 130549 130478 0 -1 4194304 57192 0 0 0 324721 6449 0 0 20 0 1 0 175365176 499650560 95004 18446744073709551615 4227072 8923577 140731839186192 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 29630464 140731839195380 140731839195686 140731839195686 140731839201258 0
/proc/130555/statm: 121985 95004 2432 1147 0 109411 0
Current children cumulated CPU time: 3311.88 s
Current children cumulated vsize: 492132 KiB
Current children cumulated memory: 382960 KiB
[startup+3402.3 s]
/proc/loadavg: 4.24 4.25 4.15 6/272 130891
/proc/meminfo: memFree=1222396/131249992 swapFree=33009392/33010684
[pid=130549] ppid=130546 vsize=4192 memory=2944 CPUtime=0.18 cores=0,2
/proc/130549/stat : 130549 (run-opt-ls-log.) S 130546 130549 130478 0 -1 4194304 240 2726 0 0 0 0 18 0 20 0 1 0 175365148 4292608 736 18446744073709551615 94409814999040 94409815893573 140727102210480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94409816132624 94409816180368 94409831579648 140727102212377 140727102212575 140727102212575 140727102218179 0
/proc/130549/statm: 1048 736 672 219 0 110 0
[pid=130555] ppid=130549 vsize=496936 memory=385776 CPUtime=3371.47 cores=0,2
/proc/130555/stat : 130555 (roundingsat) R 130549 130549 130478 0 -1 4194304 58674 0 0 0 330606 6541 0 0 20 0 1 0 175365176 508862464 96444 18446744073709551615 4227072 8923577 140731839186192 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 29630464 140731839195380 140731839195686 140731839195686 140731839201258 0
/proc/130555/statm: 124234 96444 2432 1147 0 111660 0
Current children cumulated CPU time: 3371.65 s
Current children cumulated vsize: 501128 KiB
Current children cumulated memory: 388720 KiB
[startup+3462.3 s]
/proc/loadavg: 4.20 4.23 4.15 6/272 130893
/proc/meminfo: memFree=1329040/131249992 swapFree=33009392/33010684
[pid=130549] ppid=130546 vsize=4192 memory=2944 CPUtime=0.18 cores=0,2
/proc/130549/stat : 130549 (run-opt-ls-log.) S 130546 130549 130478 0 -1 4194304 240 2726 0 0 0 0 18 0 20 0 1 0 175365148 4292608 736 18446744073709551615 94409814999040 94409815893573 140727102210480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94409816132624 94409816180368 94409831579648 140727102212377 140727102212575 140727102212575 140727102218179 0
/proc/130549/statm: 1048 736 672 219 0 110 0
[pid=130555] ppid=130549 vsize=505428 memory=404468 CPUtime=3431.25 cores=0,2
/proc/130555/stat : 130555 (roundingsat) R 130549 130549 130478 0 -1 4194304 60278 0 0 0 336505 6620 0 0 20 0 1 0 175365176 517558272 101117 18446744073709551615 4227072 8923577 140731839186192 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 29630464 140731839195380 140731839195686 140731839195686 140731839201258 0
/proc/130555/statm: 126357 101117 2432 1147 0 113783 0
Current children cumulated CPU time: 3431.43 s
Current children cumulated vsize: 509620 KiB
Current children cumulated memory: 407412 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.19 4.14 6/272 130895
/proc/meminfo: memFree=1228368/131249992 swapFree=33009392/33010684
[pid=130549] ppid=130546 vsize=4192 memory=2944 CPUtime=0.18 cores=0,2
/proc/130549/stat : 130549 (run-opt-ls-log.) S 130546 130549 130478 0 -1 4194304 240 2726 0 0 0 0 18 0 20 0 1 0 175365148 4292608 736 18446744073709551615 94409814999040 94409815893573 140727102210480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94409816132624 94409816180368 94409831579648 140727102212377 140727102212575 140727102212575 140727102218179 0
/proc/130549/statm: 1048 736 672 219 0 110 0
[pid=130555] ppid=130549 vsize=505428 memory=404724 CPUtime=3491.03 cores=0,2
/proc/130555/stat : 130555 (roundingsat) R 130549 130549 130478 0 -1 4194304 60329 0 0 0 342417 6686 0 0 20 0 1 0 175365176 517558272 101181 18446744073709551615 4227072 8923577 140731839186192 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 29630464 140731839195380 140731839195686 140731839195686 140731839201258 0
/proc/130555/statm: 126357 101181 2432 1147 0 113783 0
Current children cumulated CPU time: 3491.21 s
Current children cumulated vsize: 509620 KiB
Current children cumulated memory: 407668 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.18 4.14 6/271 130897
/proc/meminfo: memFree=1356896/131249992 swapFree=33009392/33010684
[pid=130549] ppid=130546 vsize=4192 memory=2944 CPUtime=0.18 cores=0,2
/proc/130549/stat : 130549 (run-opt-ls-log.) S 130546 130549 130478 0 -1 4194304 240 2726 0 0 0 0 18 0 20 0 1 0 175365148 4292608 736 18446744073709551615 94409814999040 94409815893573 140727102210480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94409816132624 94409816180368 94409831579648 140727102212377 140727102212575 140727102212575 140727102218179 0
/proc/130549/statm: 1048 736 672 219 0 110 0
[pid=130555] ppid=130549 vsize=505428 memory=404724 CPUtime=3550.79 cores=0,2
/proc/130555/stat : 130555 (roundingsat) R 130549 130549 130478 0 -1 4194304 60335 0 0 0 348307 6772 0 0 20 0 1 0 175365176 517558272 101181 18446744073709551615 4227072 8923577 140731839186192 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 29630464 140731839195380 140731839195686 140731839195686 140731839201258 0
/proc/130555/statm: 126357 101181 2432 1147 0 113783 0
Current children cumulated CPU time: 3550.97 s
Current children cumulated vsize: 509620 KiB
Current children cumulated memory: 407668 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3631.6 s]
/proc/loadavg: 4.35 4.24 4.16 6/272 130900
/proc/meminfo: memFree=1173784/131249992 swapFree=33009392/33010684
[pid=130549] ppid=130546 vsize=4192 memory=2944 CPUtime=0.18 cores=0,2
/proc/130549/stat : 130549 (run-opt-ls-log.) S 130546 130549 130478 0 -1 4194304 240 2726 0 0 0 0 18 0 20 0 1 0 175365148 4292608 736 18446744073709551615 94409814999040 94409815893573 140727102210480 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94409816132624 94409816180368 94409831579648 140727102212377 140727102212575 140727102212575 140727102218179 0
/proc/130549/statm: 1048 736 672 219 0 110 0
[pid=130555] ppid=130549 vsize=505428 memory=404724 CPUtime=3599.87 cores=0,2
/proc/130555/stat : 130555 (roundingsat) R 130549 130549 130478 0 -1 4194304 60335 0 0 0 353097 6890 0 0 20 0 1 0 175365176 517558272 101181 18446744073709551615 4227072 8923577 140731839186192 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 29630464 140731839195380 140731839195686 140731839195686 140731839201258 0
/proc/130555/statm: 126357 101181 2432 1147 0 113783 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 509620 KiB
Current children cumulated memory: 407668 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3631.6 s]
# the end of solver process 130549 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.18436 s, system=0.009553 s
Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:
[startup+0 s]*
/proc/loadavg: 4.35 4.24 4.16 5/271 130900
/proc/meminfo: memFree=1239964/131249992 swapFree=33009392/33010684
[pid=130555] ppid=130546 vsize=505428 memory=405108 CPUtime=3600.59 cores=0,2
/proc/130555/stat : 130555 (roundingsat) R 130546 130549 130478 0 -1 4194304 60341 0 1 0 353098 6961 0 0 20 0 1 0 175365176 517558272 101277 18446744073709551615 4227072 8923577 140731839186192 0 0 256 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9827200 9836688 29630464 140731839195380 140731839195686 140731839195686 140731839201258 9
/proc/130555/statm: 126357 101277 2528 1147 0 113783 0
??? kill 130555 sig 9
??? end of watcher thread
[startup+3660 s]
# the end of solver process 130555 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3531.19 s, system=70.0202 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
Dumping a history of the last processes samples
[startup+3632 s]*
/proc/loadavg: 4.35 4.24 4.16 6/271 130900
/proc/meminfo: memFree=1321756/131249992 swapFree=33009392/33010684
[pid=130555] ppid=130546 vsize=505428 memory=405108 CPUtime=3600.23 cores=0,2
/proc/130555/stat : 130555 (roundingsat) R 130546 130549 130478 0 -1 4194304 60341 0 1 0 353097 6926 0 0 20 0 1 0 175365176 517558272 101277 18446744073709551615 4227072 8923577 140731839186192 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 29630464 140731839195380 140731839195686 140731839195686 140731839201258 0
/proc/130555/statm: 126357 101277 2528 1147 0 113783 0
Current cumulated CPU time of completed processes: 0.193913 s
Current children cumulated CPU time: 3600.23 s
Current children cumulated vsize: 505428 KiB
Current children cumulated memory: 405108 KiB
[startup+3632.8 s]
/proc/loadavg: 4.35 4.24 4.16 6/271 130900
/proc/meminfo: memFree=1321756/131249992 swapFree=33009392/33010684
[pid=130555] ppid=130546 vsize=505428 memory=405108 CPUtime=3600.58 cores=0,2
/proc/130555/stat : 130555 (roundingsat) D 130546 130549 130478 0 -1 4194304 60341 0 1 0 353098 6960 0 0 20 0 1 0 175365176 517558272 101277 18446744073709551615 4227072 8923577 140731839186192 0 0 0 0 0 8405026 1 0 0 17 2 0 0 0 0 0 9827200 9836688 29630464 140731839195380 140731839195686 140731839195686 140731839201258 0
/proc/130555/statm: 126357 101277 2528 1147 0 113783 0
Current cumulated CPU time of completed processes: 0.193913 s
Current children cumulated CPU time: 3600.58 s
Current children cumulated vsize: 505428 KiB
Current children cumulated memory: 405108 KiB
[startup+3633.2 s]
/proc/loadavg: 4.35 4.24 4.16 5/271 130900
/proc/meminfo: memFree=1253508/131249992 swapFree=33009392/33010684
[pid=130555] ppid=130546 vsize=505428 memory=405108 CPUtime=3600.58 cores=0,2
/proc/130555/stat : 130555 (roundingsat) D 130546 130549 130478 0 -1 4194304 60341 0 1 0 353098 6960 0 0 20 0 1 0 175365176 517558272 101277 18446744073709551615 4227072 8923577 140731839186192 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9827200 9836688 29630464 140731839195380 140731839195686 140731839195686 140731839201258 0
/proc/130555/statm: 126357 101277 2528 1147 0 113783 0
Current cumulated CPU time of completed processes: 0.193913 s
Current children cumulated CPU time: 3600.58 s
Current children cumulated vsize: 505428 KiB
Current children cumulated memory: 405108 KiB
[startup+3633.6 s]
/proc/loadavg: 4.35 4.24 4.16 5/271 130900
/proc/meminfo: memFree=1253508/131249992 swapFree=33009392/33010684
[pid=130555] ppid=130546 vsize=505428 memory=405108 CPUtime=3600.59 cores=0,2
/proc/130555/stat : 130555 (roundingsat) D 130546 130549 130478 0 -1 4194304 60341 0 1 0 353098 6961 0 0 20 0 1 0 175365176 517558272 101277 18446744073709551615 4227072 8923577 140731839186192 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9827200 9836688 29630464 140731839195380 140731839195686 140731839195686 140731839201258 0
/proc/130555/statm: 126357 101277 2528 1147 0 113783 0
Current cumulated CPU time of completed processes: 0.193913 s
Current children cumulated CPU time: 3600.59 s
Current children cumulated vsize: 505428 KiB
Current children cumulated memory: 405108 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3660
CPU time (s): 3601.21
CPU user time (s): 3531.19
CPU system time (s): 70.0202
CPU usage (%): 98.3936
Max. virtual memory (cumulated for all children) (KiB): 509620
Max. memory (cumulated for all children) (KiB): 407668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3531.19
system time used= 70.0202
maximum resident set size= 405108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63307
page faults= 1
swaps= 0
block input operations= 3912
block output operations= 164367568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 302397
involuntary context switches= 10624
# summary of solver processes directly reported to runsolver:
# pid: 130549,130555
# total CPU time (s): 3601.21
# total CPU user time (s): 3531.19
# total CPU system time (s): 70.0202
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.31083 second user time and 17.6873 second system time
The end
Begin job on nodeC035 at 2025-07-15 18:28:26
IDJOB=4532100
IDBENCH=158598
IDSOLVER=3392
FILE ID=nodeC035/4532100-1752596906
RUNJOBID= nodeC035-1752596906-130488
SLURM_JOB_ID= 9684385
Free space on /tmp= 432636 MiB
SOLVER NAME= roundingsat-ls+pbsuma-log 0f876b3
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_clique-40.lin.opb
COMMAND LINE= run-opt-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4532100-1752596906/watcher-4532100-1752596906 -o /tmp/evaluation-result-4532100-1752596906/solver-4532100-1752596906 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1752596906-130488 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4532100-1752596906.opb PROOFDIR/proof-4532100-1752596906
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 38f4f8acf083ab1c186c19b7f9dc1b90
RANDOM SEED=1364517891
nodeC035 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.723
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.748
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.806
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3602.454
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.728
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3598.820
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.930
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.745
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 91761988 kB
MemAvailable: 129136540 kB
Buffers: 664 kB
Cached: 38114224 kB
SwapCached: 332 kB
Active: 609268 kB
Inactive: 37572248 kB
Active(anon): 73564 kB
Inactive(anon): 18956 kB
Active(file): 535704 kB
Inactive(file): 37553292 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009392 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 28620 kB
Writeback: 17964440 kB
AnonPages: 69696 kB
Mapped: 108840 kB
Shmem: 25892 kB
KReclaimable: 249592 kB
Slab: 909200 kB
SReclaimable: 249592 kB
SUnreclaim: 659608 kB
KernelStack: 4628 kB
PageTables: 3080 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 353408 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150968 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 12288 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: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432636 MiB
End job on nodeC035 at 2025-07-15 19:29:26