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-4509151-1751514709.opb'
0.00/0.01 c read 0.16MB (2.75ms)
0.00/0.01 c [cnf: #variables 2460 #clauses 4721 #duplicates 0 #arr 16500]
0.00/0.11 c output proof to 'PROOFDIR/proof-4509151-1751514709'
0.00/0.11 c
0.00/0.11 c make graph and approximate orbits
0.00/0.11 c [group: #orbits ~= 840] (3.53ms)
0.00/0.11 c
0.00/0.11 c detect special group actions
0.00/0.11 c probe for Johnson action (limit=64)
0.00/0.11 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.14 c probe for row symmetry (limit=64, splits=16.78M)
0.09/0.25 c (134.25ms)
0.09/0.25 c
0.09/0.25 c detect symmetries on remainder
0.09/0.25 c [graph: #vertices 16784 #edges 52206]
0.09/0.25 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.09/0.25 c [group: #symmetries 1.20*10^1 #generators 2] (8.18ms)
0.09/0.25 c
0.09/0.25 c optimize generators (opt_passes=64, conjugate_limit=256)
0.09/0.25 c (0.00ms)
0.09/0.25 c
0.09/0.25 c finalize break order and special generators
0.09/0.25 c
0.09/0.25 c add generic predicates (break_depth=20)
0.09/0.25 c added predicates for 2 generators (0.03ms)
0.09/0.28 c
0.09/0.28 c generation finished
0.09/0.28 c [sbp: #constraints 116 #add_vars 38]
0.09/0.28 c
0.09/0.28 c write result to 'HOME/instance-4509151-1751514709.opb.pre'
0.09/0.28 c wrote 0.17MB (0.46ms)
0.09/0.28 c ------------------------------------------------------------------
0.09/0.28 c 134.25ms 48.21% detect_special
0.09/0.28 c 129.12ms 46.37% other
0.09/0.28 c 8.18ms 2.94% detect_generic
0.09/0.28 c 3.53ms 1.27% approx_orbits
0.09/0.28 c 2.74ms 0.99% parse
0.09/0.28 c 0.46ms 0.17% output
0.09/0.28 c 0.12ms 0.04% finalize_order
0.09/0.28 c 0.03ms 0.01% break_generic
0.09/0.28 c 0.00ms 0.00% optimize_gens
0.09/0.28 c ───────────────────────────────────────────────
0.09/0.28 c 278.45ms 100% total
0.09/0.28 c ------------------------------------------------------------------
0.09/0.30 c RoundingSat 2
0.09/0.30 c branch pb25
0.09/0.30 c commit 63f22ad
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.048433
0.18/0.36 c rational objective 0
0.18/0.39 c bounds 3320 >= 0 @ 0.080304
0.18/0.39 c bounds 3172 >= 0 @ 0.081304
0.18/0.40 c bounds 3162 >= 0 @ 0.083393
0.18/0.40 c bounds 3154 >= 0 @ 0.087443
0.18/0.40 c bounds 3035 >= 0 @ 0.088373
0.18/0.40 c bounds 2966 >= 0 @ 0.090217
0.18/0.41 c bounds 2915 >= 0 @ 0.092423
0.28/0.41 c bounds 2845 >= 0 @ 0.09355
0.28/0.41 c bounds 2825 >= 0 @ 0.096722
0.28/0.41 c bounds 2794 >= 0 @ 0.096865
0.28/0.41 c bounds 2704 >= 0 @ 0.098432
0.28/0.42 c bounds 2652 >= 0 @ 0.100463
0.28/0.42 c bounds 2588 >= 0 @ 0.102344
0.28/0.42 c bounds 2518 >= 0 @ 0.104383
0.37/0.54 c bounds 2500 >= 0 @ 0.214948
0.37/0.54 c bounds 2490 >= 0 @ 0.216019
0.37/0.54 c bounds 2163 >= 0 @ 0.217091
0.37/0.54 c bounds 2098 >= 0 @ 0.218193
0.37/0.55 c bounds 2078 >= 0 @ 0.227494
0.37/0.55 c bounds 1665 >= 0 @ 0.228697
0.37/0.55 c bounds 1575 >= 0 @ 0.230922
0.37/0.55 c bounds 1546 >= 0 @ 0.233158
0.57/0.73 c bounds 1524 >= 0 @ 0.406768
0.66/0.85 c bounds 1523 >= 0 @ 0.520708
0.66/0.85 c bounds 1518 >= 0 @ 0.523405
3.26/3.47 c #Conflicts: 1000 | #Constraints: 5915
3.26/3.47 c #Conflicts: 2000 | #Constraints: 6926
3.26/3.47 c INPROCESSING
3.26/3.47 c GARBAGE COLLECT
3.26/3.47 c bounds 1390 >= 0 @ 3.08716
4.76/4.94 c #Conflicts: 3000 | #Constraints: 6907
4.76/4.94 c bounds 1379 >= 0 @ 4.51685
10.15/10.39 c #Conflicts: 4000 | #Constraints: 7921
10.15/10.39 c INPROCESSING
10.15/10.39 c GARBAGE COLLECT
10.15/10.39 c #Conflicts: 5000 | #Constraints: 7315
10.15/10.39 c #Conflicts: 6000 | #Constraints: 8319
10.15/10.39 c INPROCESSING
10.15/10.39 c GARBAGE COLLECT
10.15/10.39 c rational objective 0
10.64/10.80 c bounds 1258 >= 0 @ 10.2641
11.64/11.89 c #Conflicts: 7000 | #Constraints: 7312
11.64/11.89 c bounds 1252 >= 0 @ 11.3243
13.93/14.13 c #Conflicts: 8000 | #Constraints: 8327
13.93/14.13 c #Conflicts: 9000 | #Constraints: 9343
13.93/14.13 c INPROCESSING
13.93/14.13 c GARBAGE COLLECT
13.93/14.13 c rational objective 0
18.52/18.79 c #Conflicts: 10000 | #Constraints: 8017
18.52/18.79 c #Conflicts: 11000 | #Constraints: 9023
18.52/18.79 c #Conflicts: 12000 | #Constraints: 10030
18.52/18.79 c INPROCESSING
18.52/18.79 c GARBAGE COLLECT
18.52/18.79 c rational objective 0
22.82/23.03 c #Conflicts: 13000 | #Constraints: 8470
22.82/23.03 c #Conflicts: 14000 | #Constraints: 9484
22.82/23.03 c #Conflicts: 15000 | #Constraints: 10494
22.82/23.03 c INPROCESSING
22.82/23.03 c GARBAGE COLLECT
22.82/23.03 c rational objective 0
28.09/28.35 c #Conflicts: 16000 | #Constraints: 8707
28.09/28.35 c #Conflicts: 17000 | #Constraints: 9716
28.09/28.35 c #Conflicts: 18000 | #Constraints: 10718
28.09/28.35 c INPROCESSING
28.09/28.35 c GARBAGE COLLECT
28.09/28.35 c rational objective 0
33.29/33.52 c #Conflicts: 19000 | #Constraints: 8722
33.29/33.52 c #Conflicts: 20000 | #Constraints: 9736
33.29/33.52 c #Conflicts: 21000 | #Constraints: 10748
33.29/33.52 c INPROCESSING
33.29/33.52 c GARBAGE COLLECT
33.29/33.52 c rational objective 0
37.88/38.14 c #Conflicts: 22000 | #Constraints: 8525
37.88/38.14 c #Conflicts: 23000 | #Constraints: 9531
37.88/38.14 c #Conflicts: 24000 | #Constraints: 10533
37.88/38.14 c bounds 1235 >= 0 @ 36.9157
39.16/39.40 c #Conflicts: 25000 | #Constraints: 11542
39.16/39.40 c INPROCESSING
39.16/39.40 c GARBAGE COLLECT
39.16/39.40 c rational objective 0
40.27/40.57 c #Conflicts: 26000 | #Constraints: 9130
40.27/40.57 c bounds 1220 >= 0 @ 39.2757
40.27/40.57 c bounds 1183 >= 0 @ 39.2778
44.46/44.79 c #Conflicts: 27000 | #Constraints: 10143
44.46/44.79 c #Conflicts: 28000 | #Constraints: 11153
44.46/44.79 c #Conflicts: 29000 | #Constraints: 12168
44.46/44.79 c INPROCESSING
44.46/44.79 c GARBAGE COLLECT
44.46/44.79 c rational objective 0
51.74/52.09 c #Conflicts: 30000 | #Constraints: 9532
51.74/52.09 c #Conflicts: 31000 | #Constraints: 10538
51.74/52.09 c #Conflicts: 32000 | #Constraints: 11541
51.74/52.09 c #Conflicts: 33000 | #Constraints: 12544
51.74/52.09 c INPROCESSING
51.74/52.09 c GARBAGE COLLECT
51.74/52.09 c rational objective 0
57.51/57.89 c #Conflicts: 34000 | #Constraints: 9739
57.51/57.89 c #Conflicts: 35000 | #Constraints: 10750
57.51/57.89 c #Conflicts: 36000 | #Constraints: 11761
57.51/57.89 c #Conflicts: 37000 | #Constraints: 12776
57.51/57.89 c INPROCESSING
57.51/57.89 c GARBAGE COLLECT
57.51/57.89 c rational objective 0
65.58/65.90 c #Conflicts: 38000 | #Constraints: 9744
65.58/65.90 c #Conflicts: 39000 | #Constraints: 10745
65.58/65.90 c #Conflicts: 40000 | #Constraints: 11747
65.58/65.90 c #Conflicts: 41000 | #Constraints: 12753
65.58/65.90 c INPROCESSING
65.58/65.90 c GARBAGE COLLECT
65.58/65.90 c rational objective 0
72.05/72.47 c #Conflicts: 42000 | #Constraints: 9539
72.05/72.47 c #Conflicts: 43000 | #Constraints: 10546
72.05/72.47 c #Conflicts: 44000 | #Constraints: 11556
72.05/72.47 c #Conflicts: 45000 | #Constraints: 12564
72.05/72.47 c #Conflicts: 46000 | #Constraints: 13573
72.05/72.47 c INPROCESSING
72.05/72.47 c GARBAGE COLLECT
72.05/72.47 c rational objective 0
80.93/81.39 c #Conflicts: 47000 | #Constraints: 10140
80.93/81.39 c #Conflicts: 48000 | #Constraints: 11146
80.93/81.39 c #Conflicts: 49000 | #Constraints: 12149
80.93/81.39 c #Conflicts: 50000 | #Constraints: 13150
80.93/81.39 c #Conflicts: 51000 | #Constraints: 14154
80.93/81.39 c INPROCESSING
80.93/81.39 c GARBAGE COLLECT
80.93/81.39 c rational objective 0
88.21/88.61 c #Conflicts: 52000 | #Constraints: 10540
88.21/88.61 c #Conflicts: 53000 | #Constraints: 11551
88.21/88.61 c #Conflicts: 54000 | #Constraints: 12566
88.21/88.61 c #Conflicts: 55000 | #Constraints: 13576
88.21/88.61 c #Conflicts: 56000 | #Constraints: 14591
88.21/88.61 c INPROCESSING
88.21/88.61 c GARBAGE COLLECT
88.21/88.61 c rational objective 0
94.88/95.35 c #Conflicts: 57000 | #Constraints: 10753
94.88/95.35 c #Conflicts: 58000 | #Constraints: 11766
94.88/95.35 c #Conflicts: 59000 | #Constraints: 12779
94.88/95.35 c #Conflicts: 60000 | #Constraints: 13793
94.88/95.35 c #Conflicts: 61000 | #Constraints: 14805
94.88/95.35 c INPROCESSING
94.88/95.35 c GARBAGE COLLECT
94.88/95.35 c rational objective 0
103.95/104.41 c #Conflicts: 62000 | #Constraints: 10761
103.95/104.41 c #Conflicts: 63000 | #Constraints: 11772
103.95/104.41 c #Conflicts: 64000 | #Constraints: 12776
103.95/104.41 c #Conflicts: 65000 | #Constraints: 13779
103.95/104.41 c #Conflicts: 66000 | #Constraints: 14781
103.95/104.41 c bounds 1183 >= 18 @ 101.397
104.76/105.22 c INPROCESSING
104.76/105.22 c GARBAGE COLLECT
104.76/105.22 c rational objective 18
112.73/113.24 c #Conflicts: 67000 | #Constraints: 10550
112.73/113.24 c #Conflicts: 68000 | #Constraints: 11557
112.73/113.24 c #Conflicts: 69000 | #Constraints: 12566
112.73/113.24 c #Conflicts: 70000 | #Constraints: 13577
112.73/113.24 c #Conflicts: 71000 | #Constraints: 14590
112.73/113.24 c #Conflicts: 72000 | #Constraints: 15607
112.73/113.24 c INPROCESSING
112.73/113.24 c GARBAGE COLLECT
112.73/113.24 c rational objective 18
123.60/124.12 c #Conflicts: 73000 | #Constraints: 11156
123.60/124.12 c #Conflicts: 74000 | #Constraints: 12158
123.60/124.12 c #Conflicts: 75000 | #Constraints: 13159
123.60/124.12 c #Conflicts: 76000 | #Constraints: 14160
123.60/124.12 c #Conflicts: 77000 | #Constraints: 15161
123.60/124.12 c #Conflicts: 78000 | #Constraints: 16163
123.60/124.12 c INPROCESSING
123.60/124.12 c GARBAGE COLLECT
123.60/124.12 c rational objective 18
132.97/133.55 c #Conflicts: 79000 | #Constraints: 11562
132.97/133.55 c #Conflicts: 80000 | #Constraints: 12565
132.97/133.55 c #Conflicts: 81000 | #Constraints: 13571
132.97/133.55 c #Conflicts: 82000 | #Constraints: 14580
132.97/133.55 c #Conflicts: 83000 | #Constraints: 15591
132.97/133.55 c #Conflicts: 84000 | #Constraints: 16601
132.97/133.55 c INPROCESSING
132.97/133.55 c GARBAGE COLLECT
132.97/133.55 c rational objective 18
141.56/142.13 c #Conflicts: 85000 | #Constraints: 11760
141.56/142.13 c #Conflicts: 86000 | #Constraints: 12773
141.56/142.13 c #Conflicts: 87000 | #Constraints: 13785
141.56/142.13 c #Conflicts: 88000 | #Constraints: 14792
141.56/142.13 c #Conflicts: 89000 | #Constraints: 15804
141.56/142.13 c #Conflicts: 90000 | #Constraints: 16811
141.56/142.13 c INPROCESSING
141.56/142.13 c GARBAGE COLLECT
141.56/142.13 c rational objective 18
153.31/154.00 c #Conflicts: 91000 | #Constraints: 11763
153.31/154.00 c #Conflicts: 92000 | #Constraints: 12769
153.31/154.00 c #Conflicts: 93000 | #Constraints: 13771
153.31/154.00 c #Conflicts: 94000 | #Constraints: 14771
153.31/154.00 c #Conflicts: 95000 | #Constraints: 15771
153.31/154.00 c #Conflicts: 96000 | #Constraints: 16771
153.31/154.00 c INPROCESSING
153.31/154.00 c GARBAGE COLLECT
153.31/154.00 c rational objective 18
163.28/163.96 c #Conflicts: 97000 | #Constraints: 11563
163.28/163.96 c #Conflicts: 98000 | #Constraints: 12574
163.28/163.96 c #Conflicts: 99000 | #Constraints: 13582
163.28/163.96 c #Conflicts: 100000 | #Constraints: 14590
163.28/163.96 c #Conflicts: 101000 | #Constraints: 15596
163.28/163.96 c #Conflicts: 102000 | #Constraints: 16604
163.28/163.96 c #Conflicts: 103000 | #Constraints: 17610
163.28/163.96 c INPROCESSING
163.28/163.96 c GARBAGE COLLECT
163.28/163.96 c rational objective 18
175.65/176.32 c #Conflicts: 104000 | #Constraints: 12163
175.65/176.32 c #Conflicts: 105000 | #Constraints: 13164
175.65/176.32 c #Conflicts: 106000 | #Constraints: 14167
175.65/176.32 c #Conflicts: 107000 | #Constraints: 15168
175.65/176.32 c #Conflicts: 108000 | #Constraints: 16169
175.65/176.32 c #Conflicts: 109000 | #Constraints: 17170
175.65/176.32 c #Conflicts: 110000 | #Constraints: 18170
175.65/176.32 c INPROCESSING
175.65/176.32 c GARBAGE COLLECT
175.65/176.32 c rational objective 18
187.71/188.49 c #Conflicts: 111000 | #Constraints: 12625
187.71/188.49 c #Conflicts: 112000 | #Constraints: 13626
187.71/188.49 c #Conflicts: 113000 | #Constraints: 14632
187.71/188.49 c #Conflicts: 114000 | #Constraints: 15642
187.71/188.49 c #Conflicts: 115000 | #Constraints: 16650
187.71/188.49 c #Conflicts: 116000 | #Constraints: 17656
187.71/188.49 c #Conflicts: 117000 | #Constraints: 18659
187.71/188.49 c INPROCESSING
187.71/188.49 c GARBAGE COLLECT
187.71/188.49 c rational objective 18
199.88/200.65 c #Conflicts: 118000 | #Constraints: 12796
199.88/200.65 c #Conflicts: 119000 | #Constraints: 13803
199.88/200.65 c #Conflicts: 120000 | #Constraints: 14809
199.88/200.65 c #Conflicts: 121000 | #Constraints: 15817
199.88/200.65 c #Conflicts: 122000 | #Constraints: 16828
199.88/200.65 c #Conflicts: 123000 | #Constraints: 17837
199.88/200.65 c #Conflicts: 124000 | #Constraints: 18845
199.88/200.65 c INPROCESSING
199.88/200.65 c GARBAGE COLLECT
199.88/200.65 c rational objective 18
213.35/214.15 c #Conflicts: 125000 | #Constraints: 12783
213.35/214.15 c #Conflicts: 126000 | #Constraints: 13784
213.35/214.15 c #Conflicts: 127000 | #Constraints: 14788
213.35/214.15 c #Conflicts: 128000 | #Constraints: 15789
213.35/214.15 c #Conflicts: 129000 | #Constraints: 16789
213.35/214.15 c #Conflicts: 130000 | #Constraints: 17790
213.35/214.15 c #Conflicts: 131000 | #Constraints: 18792
213.35/214.15 c INPROCESSING
213.35/214.15 c GARBAGE COLLECT
213.35/214.15 c rational objective 18
224.91/225.75 c #Conflicts: 132000 | #Constraints: 12590
224.91/225.75 c #Conflicts: 133000 | #Constraints: 13597
224.91/225.75 c #Conflicts: 134000 | #Constraints: 14605
224.91/225.75 c #Conflicts: 135000 | #Constraints: 15617
224.91/225.75 c #Conflicts: 136000 | #Constraints: 16622
224.91/225.75 c #Conflicts: 137000 | #Constraints: 17635
224.91/225.75 c #Conflicts: 138000 | #Constraints: 18647
224.91/225.75 c #Conflicts: 139000 | #Constraints: 19658
224.91/225.75 c INPROCESSING
224.91/225.75 c GARBAGE COLLECT
224.91/225.75 c rational objective 18
235.87/236.73 c #Conflicts: 140000 | #Constraints: 13193
235.87/236.73 c #Conflicts: 141000 | #Constraints: 14205
235.87/236.73 c #Conflicts: 142000 | #Constraints: 15217
235.87/236.73 c #Conflicts: 143000 | #Constraints: 16229
235.87/236.73 c #Conflicts: 144000 | #Constraints: 17242
235.87/236.73 c #Conflicts: 145000 | #Constraints: 18253
235.87/236.73 c #Conflicts: 146000 | #Constraints: 19263
235.87/236.73 c #Conflicts: 147000 | #Constraints: 20274
235.87/236.73 c INPROCESSING
235.87/236.73 c GARBAGE COLLECT
235.87/236.73 c rational objective 18
248.24/249.14 c #Conflicts: 148000 | #Constraints: 13590
248.24/249.14 c #Conflicts: 149000 | #Constraints: 14591
248.24/249.14 c #Conflicts: 150000 | #Constraints: 15594
248.24/249.14 c #Conflicts: 151000 | #Constraints: 16596
248.24/249.14 c #Conflicts: 152000 | #Constraints: 17598
248.24/249.14 c #Conflicts: 153000 | #Constraints: 18599
248.24/249.14 c bounds 1183 >= 36 @ 242.649
250.83/251.73 c #Conflicts: 154000 | #Constraints: 19607
250.83/251.73 c #Conflicts: 155000 | #Constraints: 20618
250.83/251.73 c INPROCESSING
250.83/251.73 c GARBAGE COLLECT
250.83/251.73 c rational objective 36
264.10/265.10 c #Conflicts: 156000 | #Constraints: 13772
264.10/265.10 c #Conflicts: 157000 | #Constraints: 14779
264.10/265.10 c #Conflicts: 158000 | #Constraints: 15784
264.10/265.10 c #Conflicts: 159000 | #Constraints: 16792
264.10/265.10 c #Conflicts: 160000 | #Constraints: 17796
264.10/265.10 c #Conflicts: 161000 | #Constraints: 18803
264.10/265.10 c #Conflicts: 162000 | #Constraints: 19812
264.10/265.10 c #Conflicts: 163000 | #Constraints: 20821
264.10/265.10 c INPROCESSING
264.10/265.10 c GARBAGE COLLECT
264.10/265.10 c rational objective 36
279.16/280.12 c #Conflicts: 164000 | #Constraints: 13772
279.16/280.12 c #Conflicts: 165000 | #Constraints: 14777
279.16/280.12 c #Conflicts: 166000 | #Constraints: 15778
279.16/280.12 c #Conflicts: 167000 | #Constraints: 16780
279.16/280.12 c #Conflicts: 168000 | #Constraints: 17781
279.16/280.12 c #Conflicts: 169000 | #Constraints: 18781
279.16/280.12 c #Conflicts: 170000 | #Constraints: 19781
279.16/280.12 c #Conflicts: 171000 | #Constraints: 20781
279.16/280.12 c INPROCESSING
279.16/280.12 c GARBAGE COLLECT
279.16/280.12 c rational objective 36
291.91/292.90 c #Conflicts: 172000 | #Constraints: 13626
291.91/292.90 c #Conflicts: 173000 | #Constraints: 14630
291.91/292.90 c #Conflicts: 174000 | #Constraints: 15637
291.91/292.90 c #Conflicts: 175000 | #Constraints: 16643
291.91/292.90 c #Conflicts: 176000 | #Constraints: 17650
291.91/292.90 c #Conflicts: 177000 | #Constraints: 18659
291.91/292.90 c #Conflicts: 178000 | #Constraints: 19666
291.91/292.90 c #Conflicts: 179000 | #Constraints: 20670
291.91/292.90 c #Conflicts: 180000 | #Constraints: 21677
291.91/292.90 c INPROCESSING
291.91/292.90 c GARBAGE COLLECT
291.91/292.90 c rational objective 36
304.18/305.20 c #Conflicts: 181000 | #Constraints: 14203
304.18/305.20 c #Conflicts: 182000 | #Constraints: 15210
304.18/305.20 c #Conflicts: 183000 | #Constraints: 16219
304.18/305.20 c #Conflicts: 184000 | #Constraints: 17229
304.18/305.20 c #Conflicts: 185000 | #Constraints: 18239
304.18/305.20 c #Conflicts: 186000 | #Constraints: 19251
304.18/305.20 c #Conflicts: 187000 | #Constraints: 20262
304.18/305.20 c #Conflicts: 188000 | #Constraints: 21271
304.18/305.20 c #Conflicts: 189000 | #Constraints: 22280
304.18/305.20 c INPROCESSING
304.18/305.20 c GARBAGE COLLECT
304.18/305.20 c rational objective 36
318.24/319.31 c #Conflicts: 190000 | #Constraints: 14613
318.24/319.31 c #Conflicts: 191000 | #Constraints: 15622
318.24/319.31 c #Conflicts: 192000 | #Constraints: 16627
318.24/319.31 c #Conflicts: 193000 | #Constraints: 17632
318.24/319.31 c #Conflicts: 194000 | #Constraints: 18644
318.24/319.31 c #Conflicts: 195000 | #Constraints: 19656
318.24/319.31 c #Conflicts: 196000 | #Constraints: 20667
318.24/319.31 c #Conflicts: 197000 | #Constraints: 21678
318.24/319.31 c #Conflicts: 198000 | #Constraints: 22691
318.24/319.31 c INPROCESSING
318.24/319.31 c GARBAGE COLLECT
318.24/319.31 c rational objective 36
335.09/336.22 c #Conflicts: 199000 | #Constraints: 14809
335.09/336.22 c #Conflicts: 200000 | #Constraints: 15812
335.09/336.22 c #Conflicts: 201000 | #Constraints: 16815
335.09/336.22 c #Conflicts: 202000 | #Constraints: 17815
335.09/336.22 c #Conflicts: 203000 | #Constraints: 18816
335.09/336.22 c #Conflicts: 204000 | #Constraints: 19817
335.09/336.22 c #Conflicts: 205000 | #Constraints: 20821
335.09/336.22 c #Conflicts: 206000 | #Constraints: 21824
335.09/336.22 c #Conflicts: 207000 | #Constraints: 22825
335.09/336.22 c INPROCESSING
335.09/336.22 c GARBAGE COLLECT
335.09/336.22 c rational objective 36
349.74/350.97 c #Conflicts: 208000 | #Constraints: 14800
349.74/350.97 c #Conflicts: 209000 | #Constraints: 15810
349.74/350.97 c #Conflicts: 210000 | #Constraints: 16816
349.74/350.97 c #Conflicts: 211000 | #Constraints: 17827
349.74/350.97 c #Conflicts: 212000 | #Constraints: 18836
349.74/350.97 c #Conflicts: 213000 | #Constraints: 19846
349.74/350.97 c #Conflicts: 214000 | #Constraints: 20850
349.74/350.97 c #Conflicts: 215000 | #Constraints: 21858
349.74/350.97 c #Conflicts: 216000 | #Constraints: 22865
349.74/350.97 c INPROCESSING
349.74/350.97 c GARBAGE COLLECT
349.74/350.97 c rational objective 36
363.60/364.82 c #Conflicts: 217000 | #Constraints: 14600
363.60/364.82 c #Conflicts: 218000 | #Constraints: 15609
363.60/364.82 c #Conflicts: 219000 | #Constraints: 16620
363.60/364.82 c #Conflicts: 220000 | #Constraints: 17630
363.60/364.82 c #Conflicts: 221000 | #Constraints: 18638
363.60/364.82 c #Conflicts: 222000 | #Constraints: 19647
363.60/364.82 c #Conflicts: 223000 | #Constraints: 20659
363.60/364.82 c #Conflicts: 224000 | #Constraints: 21669
363.60/364.82 c #Conflicts: 225000 | #Constraints: 22678
363.60/364.82 c #Conflicts: 226000 | #Constraints: 23685
363.60/364.82 c INPROCESSING
363.60/364.82 c GARBAGE COLLECT
363.60/364.82 c rational objective 36
380.66/381.90 c #Conflicts: 227000 | #Constraints: 15207
380.66/381.90 c #Conflicts: 228000 | #Constraints: 16208
380.66/381.90 c #Conflicts: 229000 | #Constraints: 17210
380.66/381.90 c #Conflicts: 230000 | #Constraints: 18211
380.66/381.90 c #Conflicts: 231000 | #Constraints: 19213
380.66/381.90 c #Conflicts: 232000 | #Constraints: 20214
380.66/381.90 c #Conflicts: 233000 | #Constraints: 21215
380.66/381.90 c #Conflicts: 234000 | #Constraints: 22215
380.66/381.90 c #Conflicts: 235000 | #Constraints: 23216
380.66/381.90 c #Conflicts: 236000 | #Constraints: 24218
380.66/381.90 c INPROCESSING
380.66/381.90 c GARBAGE COLLECT
380.66/381.90 c rational objective 36
397.51/398.88 c #Conflicts: 237000 | #Constraints: 15595
397.51/398.88 c #Conflicts: 238000 | #Constraints: 16601
397.51/398.88 c #Conflicts: 239000 | #Constraints: 17609
397.51/398.88 c #Conflicts: 240000 | #Constraints: 18613
397.51/398.88 c #Conflicts: 241000 | #Constraints: 19617
397.51/398.88 c #Conflicts: 242000 | #Constraints: 20628
397.51/398.88 c #Conflicts: 243000 | #Constraints: 21634
397.51/398.88 c #Conflicts: 244000 | #Constraints: 22644
397.51/398.88 c #Conflicts: 245000 | #Constraints: 23650
397.51/398.88 c #Conflicts: 246000 | #Constraints: 24658
397.51/398.88 c INPROCESSING
397.51/398.88 c GARBAGE COLLECT
397.51/398.88 c rational objective 36
412.78/414.11 c #Conflicts: 247000 | #Constraints: 15796
412.78/414.11 c #Conflicts: 248000 | #Constraints: 16807
412.78/414.11 c #Conflicts: 249000 | #Constraints: 17818
412.78/414.11 c #Conflicts: 250000 | #Constraints: 18829
412.78/414.11 c #Conflicts: 251000 | #Constraints: 19836
412.78/414.11 c #Conflicts: 252000 | #Constraints: 20842
412.78/414.11 c #Conflicts: 253000 | #Constraints: 21851
412.78/414.11 c #Conflicts: 254000 | #Constraints: 22860
412.78/414.11 c #Conflicts: 255000 | #Constraints: 23865
412.78/414.11 c #Conflicts: 256000 | #Constraints: 24871
412.78/414.11 c INPROCESSING
412.78/414.11 c GARBAGE COLLECT
412.78/414.11 c rational objective 36
431.13/432.51 c #Conflicts: 257000 | #Constraints: 15797
431.13/432.51 c #Conflicts: 258000 | #Constraints: 16797
431.13/432.51 c #Conflicts: 259000 | #Constraints: 17799
431.13/432.51 c #Conflicts: 260000 | #Constraints: 18800
431.13/432.51 c #Conflicts: 261000 | #Constraints: 19800
431.13/432.51 c #Conflicts: 262000 | #Constraints: 20801
431.13/432.51 c #Conflicts: 263000 | #Constraints: 21802
431.13/432.51 c #Conflicts: 264000 | #Constraints: 22802
431.13/432.51 c #Conflicts: 265000 | #Constraints: 23804
431.13/432.51 c #Conflicts: 266000 | #Constraints: 24806
431.13/432.51 c INPROCESSING
431.13/432.51 c GARBAGE COLLECT
431.13/432.51 c rational objective 36
452.38/453.83 c #Conflicts: 267000 | #Constraints: 15633
452.38/453.83 c #Conflicts: 268000 | #Constraints: 16635
452.38/453.83 c #Conflicts: 269000 | #Constraints: 17641
452.38/453.83 c #Conflicts: 270000 | #Constraints: 18642
452.38/453.83 c #Conflicts: 271000 | #Constraints: 19643
452.38/453.83 c #Conflicts: 272000 | #Constraints: 20647
452.38/453.83 c #Conflicts: 273000 | #Constraints: 21648
452.38/453.83 c #Conflicts: 274000 | #Constraints: 22648
452.38/453.83 c #Conflicts: 275000 | #Constraints: 23652
452.38/453.83 c #Conflicts: 276000 | #Constraints: 24660
452.38/453.83 c #Conflicts: 277000 | #Constraints: 25662
452.38/453.83 c INPROCESSING
452.38/453.83 c GARBAGE COLLECT
452.38/453.83 c rational objective 36
468.55/470.05 c #Conflicts: 278000 | #Constraints: 16198
468.55/470.05 c #Conflicts: 279000 | #Constraints: 17204
468.55/470.05 c #Conflicts: 280000 | #Constraints: 18208
468.55/470.05 c #Conflicts: 281000 | #Constraints: 19215
468.55/470.05 c #Conflicts: 282000 | #Constraints: 20220
468.55/470.05 c #Conflicts: 283000 | #Constraints: 21229
468.55/470.05 c #Conflicts: 284000 | #Constraints: 22234
468.55/470.05 c #Conflicts: 285000 | #Constraints: 23237
468.55/470.05 c #Conflicts: 286000 | #Constraints: 24240
468.55/470.05 c #Conflicts: 287000 | #Constraints: 25243
468.55/470.05 c #Conflicts: 288000 | #Constraints: 26247
468.55/470.05 c INPROCESSING
468.55/470.05 c GARBAGE COLLECT
468.55/470.05 c rational objective 36
487.20/488.72 c #Conflicts: 289000 | #Constraints: 16580
487.20/488.72 c #Conflicts: 290000 | #Constraints: 17582
487.20/488.72 c #Conflicts: 291000 | #Constraints: 18582
487.20/488.72 c #Conflicts: 292000 | #Constraints: 19582
487.20/488.72 c #Conflicts: 293000 | #Constraints: 20583
487.20/488.72 c #Conflicts: 294000 | #Constraints: 21584
487.20/488.72 c #Conflicts: 295000 | #Constraints: 22584
487.20/488.72 c #Conflicts: 296000 | #Constraints: 23585
487.20/488.72 c #Conflicts: 297000 | #Constraints: 24585
487.20/488.72 c #Conflicts: 298000 | #Constraints: 25587
487.20/488.72 c #Conflicts: 299000 | #Constraints: 26587
487.20/488.72 c INPROCESSING
487.20/488.72 c GARBAGE COLLECT
487.20/488.72 c rational objective 36
503.96/505.53 c #Conflicts: 300000 | #Constraints: 16818
503.96/505.53 c #Conflicts: 301000 | #Constraints: 17823
503.96/505.53 c #Conflicts: 302000 | #Constraints: 18830
503.96/505.53 c #Conflicts: 303000 | #Constraints: 19836
503.96/505.53 c #Conflicts: 304000 | #Constraints: 20838
503.96/505.53 c #Conflicts: 305000 | #Constraints: 21844
503.96/505.53 c #Conflicts: 306000 | #Constraints: 22850
503.96/505.53 c #Conflicts: 307000 | #Constraints: 23855
503.96/505.53 c #Conflicts: 308000 | #Constraints: 24860
503.96/505.53 c #Conflicts: 309000 | #Constraints: 25864
503.96/505.53 c #Conflicts: 310000 | #Constraints: 26869
503.96/505.53 c INPROCESSING
503.96/505.53 c GARBAGE COLLECT
503.96/505.53 c rational objective 36
521.12/522.71 c #Conflicts: 311000 | #Constraints: 16799
521.12/522.71 c #Conflicts: 312000 | #Constraints: 17803
521.12/522.71 c #Conflicts: 313000 | #Constraints: 18812
521.12/522.71 c #Conflicts: 314000 | #Constraints: 19817
521.12/522.71 c #Conflicts: 315000 | #Constraints: 20828
521.12/522.71 c #Conflicts: 316000 | #Constraints: 21838
521.12/522.71 c #Conflicts: 317000 | #Constraints: 22847
521.12/522.71 c #Conflicts: 318000 | #Constraints: 23853
521.12/522.71 c #Conflicts: 319000 | #Constraints: 24861
521.12/522.71 c #Conflicts: 320000 | #Constraints: 25869
521.12/522.71 c #Conflicts: 321000 | #Constraints: 26875
521.12/522.71 c INPROCESSING
521.12/522.71 c GARBAGE COLLECT
521.12/522.71 c rational objective 36
542.06/543.71 c #Conflicts: 322000 | #Constraints: 16607
542.06/543.71 c #Conflicts: 323000 | #Constraints: 17608
542.06/543.71 c #Conflicts: 324000 | #Constraints: 18610
542.06/543.71 c #Conflicts: 325000 | #Constraints: 19611
542.06/543.71 c #Conflicts: 326000 | #Constraints: 20611
542.06/543.71 c #Conflicts: 327000 | #Constraints: 21611
542.06/543.71 c #Conflicts: 328000 | #Constraints: 22612
542.06/543.71 c #Conflicts: 329000 | #Constraints: 23614
542.06/543.71 c #Conflicts: 330000 | #Constraints: 24614
542.06/543.71 c #Conflicts: 331000 | #Constraints: 25615
542.06/543.71 c #Conflicts: 332000 | #Constraints: 26615
542.06/543.71 c #Conflicts: 333000 | #Constraints: 27615
542.06/543.71 c INPROCESSING
542.06/543.71 c GARBAGE COLLECT
542.06/543.71 c rational objective 36
560.99/562.70 c #Conflicts: 334000 | #Constraints: 17247
560.99/562.70 c #Conflicts: 335000 | #Constraints: 18250
560.99/562.70 c #Conflicts: 336000 | #Constraints: 19255
560.99/562.70 c #Conflicts: 337000 | #Constraints: 20264
560.99/562.70 c #Conflicts: 338000 | #Constraints: 21270
560.99/562.70 c #Conflicts: 339000 | #Constraints: 22275
560.99/562.70 c #Conflicts: 340000 | #Constraints: 23283
560.99/562.70 c #Conflicts: 341000 | #Constraints: 24294
560.99/562.70 c #Conflicts: 342000 | #Constraints: 25302
560.99/562.70 c #Conflicts: 343000 | #Constraints: 26306
560.99/562.70 c #Conflicts: 344000 | #Constraints: 27312
560.99/562.70 c #Conflicts: 345000 | #Constraints: 28318
560.99/562.70 c INPROCESSING
560.99/562.70 c GARBAGE COLLECT
560.99/562.70 c rational objective 36
580.24/582.08 c #Conflicts: 346000 | #Constraints: 17630
580.24/582.08 c #Conflicts: 347000 | #Constraints: 18634
580.24/582.08 c #Conflicts: 348000 | #Constraints: 19637
580.24/582.08 c #Conflicts: 349000 | #Constraints: 20648
580.24/582.08 c #Conflicts: 350000 | #Constraints: 21659
580.24/582.08 c #Conflicts: 351000 | #Constraints: 22666
580.24/582.08 c #Conflicts: 352000 | #Constraints: 23677
580.24/582.08 c #Conflicts: 353000 | #Constraints: 24685
580.24/582.08 c #Conflicts: 354000 | #Constraints: 25690
580.24/582.08 c #Conflicts: 355000 | #Constraints: 26691
580.24/582.08 c #Conflicts: 356000 | #Constraints: 27695
580.24/582.08 c #Conflicts: 357000 | #Constraints: 28697
580.24/582.08 c INPROCESSING
580.24/582.08 c GARBAGE COLLECT
580.24/582.08 c rational objective 36
598.05/599.92 c #Conflicts: 358000 | #Constraints: 17815
598.05/599.92 c #Conflicts: 359000 | #Constraints: 18822
598.05/599.92 c #Conflicts: 360000 | #Constraints: 19833
598.05/599.92 c #Conflicts: 361000 | #Constraints: 20845
598.05/599.92 c #Conflicts: 362000 | #Constraints: 21849
598.05/599.92 c #Conflicts: 363000 | #Constraints: 22853
598.05/599.92 c #Conflicts: 364000 | #Constraints: 23858
598.05/599.92 c #Conflicts: 365000 | #Constraints: 24862
598.05/599.92 c #Conflicts: 366000 | #Constraints: 25867
598.05/599.92 c #Conflicts: 367000 | #Constraints: 26871
598.05/599.92 c #Conflicts: 368000 | #Constraints: 27882
598.05/599.92 c #Conflicts: 369000 | #Constraints: 28890
598.05/599.92 c INPROCESSING
598.05/599.92 c GARBAGE COLLECT
598.05/599.92 c rational objective 36
619.29/621.25 c #Conflicts: 370000 | #Constraints: 17811
619.29/621.25 c #Conflicts: 371000 | #Constraints: 18812
619.29/621.25 c #Conflicts: 372000 | #Constraints: 19813
619.29/621.25 c #Conflicts: 373000 | #Constraints: 20815
619.29/621.25 c #Conflicts: 374000 | #Constraints: 21816
619.29/621.25 c #Conflicts: 375000 | #Constraints: 22821
619.29/621.25 c #Conflicts: 376000 | #Constraints: 23822
619.29/621.25 c #Conflicts: 377000 | #Constraints: 24822
619.29/621.25 c #Conflicts: 378000 | #Constraints: 25823
619.29/621.25 c #Conflicts: 379000 | #Constraints: 26825
619.29/621.25 c #Conflicts: 380000 | #Constraints: 27825
619.29/621.25 c #Conflicts: 381000 | #Constraints: 28826
619.29/621.25 c bounds 1183 >= 54 @ 606
620.19/622.15 c INPROCESSING
620.19/622.15 c GARBAGE COLLECT
620.19/622.15 c rational objective 54
640.20/642.29 c #Conflicts: 382000 | #Constraints: 17621
640.20/642.29 c #Conflicts: 383000 | #Constraints: 18626
640.20/642.29 c #Conflicts: 384000 | #Constraints: 19632
640.20/642.29 c #Conflicts: 385000 | #Constraints: 20643
640.20/642.29 c #Conflicts: 386000 | #Constraints: 21653
640.20/642.29 c #Conflicts: 387000 | #Constraints: 22659
640.20/642.29 c #Conflicts: 388000 | #Constraints: 23663
640.20/642.29 c #Conflicts: 389000 | #Constraints: 24669
640.20/642.29 c #Conflicts: 390000 | #Constraints: 25676
640.20/642.29 c #Conflicts: 391000 | #Constraints: 26681
640.20/642.29 c #Conflicts: 392000 | #Constraints: 27686
640.20/642.29 c #Conflicts: 393000 | #Constraints: 28692
640.20/642.29 c #Conflicts: 394000 | #Constraints: 29700
640.20/642.29 c INPROCESSING
640.20/642.29 c GARBAGE COLLECT
640.20/642.29 c rational objective 54
659.62/661.78 c #Conflicts: 395000 | #Constraints: 18218
659.62/661.78 c #Conflicts: 396000 | #Constraints: 19227
659.62/661.78 c #Conflicts: 397000 | #Constraints: 20235
659.62/661.78 c #Conflicts: 398000 | #Constraints: 21241
659.62/661.78 c #Conflicts: 399000 | #Constraints: 22246
659.62/661.78 c #Conflicts: 400000 | #Constraints: 23250
659.62/661.78 c #Conflicts: 401000 | #Constraints: 24255
659.62/661.78 c #Conflicts: 402000 | #Constraints: 25261
659.62/661.78 c #Conflicts: 403000 | #Constraints: 26264
659.62/661.78 c #Conflicts: 404000 | #Constraints: 27268
659.62/661.78 c #Conflicts: 405000 | #Constraints: 28274
659.62/661.78 c #Conflicts: 406000 | #Constraints: 29282
659.62/661.78 c #Conflicts: 407000 | #Constraints: 30286
659.62/661.78 c INPROCESSING
659.62/661.78 c GARBAGE COLLECT
659.62/661.78 c rational objective 54
680.86/683.04 c #Conflicts: 408000 | #Constraints: 18613
680.86/683.04 c #Conflicts: 409000 | #Constraints: 19613
680.86/683.04 c #Conflicts: 410000 | #Constraints: 20614
680.86/683.04 c #Conflicts: 411000 | #Constraints: 21616
680.86/683.04 c #Conflicts: 412000 | #Constraints: 22617
680.86/683.04 c #Conflicts: 413000 | #Constraints: 23617
680.86/683.04 c #Conflicts: 414000 | #Constraints: 24618
680.86/683.04 c #Conflicts: 415000 | #Constraints: 25620
680.86/683.04 c #Conflicts: 416000 | #Constraints: 26622
680.86/683.04 c #Conflicts: 417000 | #Constraints: 27622
680.86/683.04 c #Conflicts: 418000 | #Constraints: 28622
680.86/683.04 c #Conflicts: 419000 | #Constraints: 29624
680.86/683.04 c #Conflicts: 420000 | #Constraints: 30624
680.86/683.04 c INPROCESSING
680.86/683.04 c GARBAGE COLLECT
680.86/683.04 c rational objective 54
702.30/704.56 c #Conflicts: 421000 | #Constraints: 18804
702.30/704.56 c #Conflicts: 422000 | #Constraints: 19813
702.30/704.56 c #Conflicts: 423000 | #Constraints: 20821
702.30/704.56 c #Conflicts: 424000 | #Constraints: 21831
702.30/704.56 c #Conflicts: 425000 | #Constraints: 22841
702.30/704.56 c #Conflicts: 426000 | #Constraints: 23851
702.30/704.56 c #Conflicts: 427000 | #Constraints: 24858
702.30/704.56 c #Conflicts: 428000 | #Constraints: 25867
702.30/704.56 c #Conflicts: 429000 | #Constraints: 26874
702.30/704.56 c #Conflicts: 430000 | #Constraints: 27879
702.30/704.56 c #Conflicts: 431000 | #Constraints: 28884
702.30/704.56 c #Conflicts: 432000 | #Constraints: 29890
702.30/704.56 c #Conflicts: 433000 | #Constraints: 30896
702.30/704.56 c INPROCESSING
702.30/704.56 c GARBAGE COLLECT
702.30/704.56 c rational objective 54
721.53/723.82 c #Conflicts: 434000 | #Constraints: 18821
721.53/723.82 c #Conflicts: 435000 | #Constraints: 19832
721.53/723.82 c #Conflicts: 436000 | #Constraints: 20845
721.53/723.82 c #Conflicts: 437000 | #Constraints: 21853
721.53/723.82 c #Conflicts: 438000 | #Constraints: 22865
721.53/723.82 c #Conflicts: 439000 | #Constraints: 23875
721.53/723.82 c #Conflicts: 440000 | #Constraints: 24881
721.53/723.82 c #Conflicts: 441000 | #Constraints: 25890
721.53/723.82 c #Conflicts: 442000 | #Constraints: 26897
721.53/723.82 c #Conflicts: 443000 | #Constraints: 27904
721.53/723.82 c #Conflicts: 444000 | #Constraints: 28913
721.53/723.82 c #Conflicts: 445000 | #Constraints: 29921
721.53/723.82 c #Conflicts: 446000 | #Constraints: 30930
721.53/723.82 c INPROCESSING
721.53/723.82 c GARBAGE COLLECT
721.53/723.82 c rational objective 54
746.47/748.89 c #Conflicts: 447000 | #Constraints: 18633
746.47/748.89 c #Conflicts: 448000 | #Constraints: 19635
746.47/748.89 c #Conflicts: 449000 | #Constraints: 20636
746.47/748.89 c #Conflicts: 450000 | #Constraints: 21643
746.47/748.89 c #Conflicts: 451000 | #Constraints: 22644
746.47/748.89 c #Conflicts: 452000 | #Constraints: 23648
746.47/748.89 c #Conflicts: 453000 | #Constraints: 24651
746.47/748.89 c #Conflicts: 454000 | #Constraints: 25654
746.47/748.89 c #Conflicts: 455000 | #Constraints: 26654
746.47/748.89 c #Conflicts: 456000 | #Constraints: 27655
746.47/748.89 c #Conflicts: 457000 | #Constraints: 28655
746.47/748.89 c #Conflicts: 458000 | #Constraints: 29656
746.47/748.89 c #Conflicts: 459000 | #Constraints: 30659
746.47/748.89 c #Conflicts: 460000 | #Constraints: 31659
746.47/748.89 c INPROCESSING
746.47/748.89 c GARBAGE COLLECT
746.47/748.89 c rational objective 54
773.79/776.22 c #Conflicts: 461000 | #Constraints: 19215
773.79/776.22 c #Conflicts: 462000 | #Constraints: 20221
773.79/776.22 c #Conflicts: 463000 | #Constraints: 21224
773.79/776.22 c #Conflicts: 464000 | #Constraints: 22227
773.79/776.22 c #Conflicts: 465000 | #Constraints: 23227
773.79/776.22 c #Conflicts: 466000 | #Constraints: 24229
773.79/776.22 c #Conflicts: 467000 | #Constraints: 25231
773.79/776.22 c #Conflicts: 468000 | #Constraints: 26235
773.79/776.22 c #Conflicts: 469000 | #Constraints: 27242
773.79/776.22 c #Conflicts: 470000 | #Constraints: 28248
773.79/776.22 c #Conflicts: 471000 | #Constraints: 29256
773.79/776.22 c #Conflicts: 472000 | #Constraints: 30260
773.79/776.22 c #Conflicts: 473000 | #Constraints: 31262
773.79/776.22 c #Conflicts: 474000 | #Constraints: 32265
773.79/776.22 c INPROCESSING
773.79/776.22 c GARBAGE COLLECT
773.79/776.22 c rational objective 54
802.41/805.00 c #Conflicts: 475000 | #Constraints: 19605
802.41/805.00 c #Conflicts: 476000 | #Constraints: 20610
802.41/805.00 c #Conflicts: 477000 | #Constraints: 21614
802.41/805.00 c #Conflicts: 478000 | #Constraints: 22619
802.41/805.00 c #Conflicts: 479000 | #Constraints: 23625
802.41/805.00 c #Conflicts: 480000 | #Constraints: 24630
802.41/805.00 c #Conflicts: 481000 | #Constraints: 25637
802.41/805.00 c #Conflicts: 482000 | #Constraints: 26642
802.41/805.00 c #Conflicts: 483000 | #Constraints: 27647
802.41/805.00 c #Conflicts: 484000 | #Constraints: 28653
802.41/805.00 c #Conflicts: 485000 | #Constraints: 29656
802.41/805.00 c #Conflicts: 486000 | #Constraints: 30664
802.41/805.00 c #Conflicts: 487000 | #Constraints: 31667
802.41/805.00 c #Conflicts: 488000 | #Constraints: 32672
802.41/805.00 c INPROCESSING
802.41/805.00 c GARBAGE COLLECT
802.41/805.00 c rational objective 54
826.35/828.93 c #Conflicts: 489000 | #Constraints: 19802
826.35/828.93 c #Conflicts: 490000 | #Constraints: 20803
826.35/828.93 c #Conflicts: 491000 | #Constraints: 21808
826.35/828.93 c #Conflicts: 492000 | #Constraints: 22808
826.35/828.93 c #Conflicts: 493000 | #Constraints: 23809
826.35/828.93 c #Conflicts: 494000 | #Constraints: 24810
826.35/828.93 c #Conflicts: 495000 | #Constraints: 25814
826.35/828.93 c #Conflicts: 496000 | #Constraints: 26815
826.35/828.93 c #Conflicts: 497000 | #Constraints: 27817
826.35/828.93 c #Conflicts: 498000 | #Constraints: 28820
826.35/828.93 c #Conflicts: 499000 | #Constraints: 29821
826.35/828.93 c #Conflicts: 500000 | #Constraints: 30823
826.35/828.93 c #Conflicts: 501000 | #Constraints: 31827
826.35/828.93 c #Conflicts: 502000 | #Constraints: 32829
826.35/828.93 c INPROCESSING
826.35/828.93 c GARBAGE COLLECT
826.35/828.93 c rational objective 54
852.07/854.76 c #Conflicts: 503000 | #Constraints: 19840
852.07/854.76 c #Conflicts: 504000 | #Constraints: 20847
852.07/854.76 c #Conflicts: 505000 | #Constraints: 21851
852.07/854.76 c #Conflicts: 506000 | #Constraints: 22858
852.07/854.76 c #Conflicts: 507000 | #Constraints: 23858
852.07/854.76 c #Conflicts: 508000 | #Constraints: 24864
852.07/854.76 c #Conflicts: 509000 | #Constraints: 25868
852.07/854.76 c #Conflicts: 510000 | #Constraints: 26880
852.07/854.76 c #Conflicts: 511000 | #Constraints: 27892
852.07/854.76 c #Conflicts: 512000 | #Constraints: 28898
852.07/854.76 c #Conflicts: 513000 | #Constraints: 29907
852.07/854.76 c #Conflicts: 514000 | #Constraints: 30911
852.07/854.76 c #Conflicts: 515000 | #Constraints: 31916
852.07/854.76 c #Conflicts: 516000 | #Constraints: 32924
852.07/854.76 c INPROCESSING
852.07/854.76 c GARBAGE COLLECT
852.07/854.76 c rational objective 54
873.80/876.54 c #Conflicts: 517000 | #Constraints: 19634
873.80/876.54 c #Conflicts: 518000 | #Constraints: 20638
873.80/876.54 c #Conflicts: 519000 | #Constraints: 21640
873.80/876.54 c #Conflicts: 520000 | #Constraints: 22647
873.80/876.54 c #Conflicts: 521000 | #Constraints: 23653
873.80/876.54 c #Conflicts: 522000 | #Constraints: 24657
873.80/876.54 c #Conflicts: 523000 | #Constraints: 25662
873.80/876.54 c #Conflicts: 524000 | #Constraints: 26667
873.80/876.54 c #Conflicts: 525000 | #Constraints: 27671
873.80/876.54 c #Conflicts: 526000 | #Constraints: 28677
873.80/876.54 c #Conflicts: 527000 | #Constraints: 29685
873.80/876.54 c #Conflicts: 528000 | #Constraints: 30697
873.80/876.54 c #Conflicts: 529000 | #Constraints: 31710
873.80/876.54 c #Conflicts: 530000 | #Constraints: 32719
873.80/876.54 c #Conflicts: 531000 | #Constraints: 33728
873.80/876.54 c INPROCESSING
873.80/876.54 c GARBAGE COLLECT
873.80/876.54 c rational objective 54
898.53/901.33 c #Conflicts: 532000 | #Constraints: 20236
898.53/901.33 c #Conflicts: 533000 | #Constraints: 21236
898.53/901.33 c #Conflicts: 534000 | #Constraints: 22236
898.53/901.33 c #Conflicts: 535000 | #Constraints: 23236
898.53/901.33 c #Conflicts: 536000 | #Constraints: 24238
898.53/901.33 c #Conflicts: 537000 | #Constraints: 25239
898.53/901.33 c #Conflicts: 538000 | #Constraints: 26239
898.53/901.33 c #Conflicts: 539000 | #Constraints: 27239
898.53/901.33 c #Conflicts: 540000 | #Constraints: 28240
898.53/901.33 c #Conflicts: 541000 | #Constraints: 29240
898.53/901.33 c #Conflicts: 542000 | #Constraints: 30241
898.53/901.33 c #Conflicts: 543000 | #Constraints: 31241
898.53/901.33 c #Conflicts: 544000 | #Constraints: 32242
898.53/901.33 c #Conflicts: 545000 | #Constraints: 33242
898.53/901.33 c #Conflicts: 546000 | #Constraints: 34244
898.53/901.33 c INPROCESSING
898.53/901.33 c GARBAGE COLLECT
898.53/901.33 c rational objective 54
919.77/922.60 c #Conflicts: 547000 | #Constraints: 20718
919.77/922.60 c #Conflicts: 548000 | #Constraints: 21728
919.77/922.60 c #Conflicts: 549000 | #Constraints: 22733
919.77/922.60 c #Conflicts: 550000 | #Constraints: 23744
919.77/922.60 c #Conflicts: 551000 | #Constraints: 24754
919.77/922.60 c #Conflicts: 552000 | #Constraints: 25764
919.77/922.60 c #Conflicts: 553000 | #Constraints: 26776
919.77/922.60 c #Conflicts: 554000 | #Constraints: 27784
919.77/922.60 c #Conflicts: 555000 | #Constraints: 28790
919.77/922.60 c #Conflicts: 556000 | #Constraints: 29799
919.77/922.60 c #Conflicts: 557000 | #Constraints: 30805
919.77/922.60 c #Conflicts: 558000 | #Constraints: 31811
919.77/922.60 c #Conflicts: 559000 | #Constraints: 32815
919.77/922.60 c #Conflicts: 560000 | #Constraints: 33820
919.77/922.60 c #Conflicts: 561000 | #Constraints: 34825
919.77/922.60 c INPROCESSING
919.77/922.60 c GARBAGE COLLECT
919.77/922.60 c rational objective 54
944.69/947.66 c #Conflicts: 562000 | #Constraints: 20886
944.69/947.66 c #Conflicts: 563000 | #Constraints: 21890
944.69/947.66 c #Conflicts: 564000 | #Constraints: 22896
944.69/947.66 c #Conflicts: 565000 | #Constraints: 23903
944.69/947.66 c #Conflicts: 566000 | #Constraints: 24911
944.69/947.66 c #Conflicts: 567000 | #Constraints: 25916
944.69/947.66 c #Conflicts: 568000 | #Constraints: 26919
944.69/947.66 c #Conflicts: 569000 | #Constraints: 27924
944.69/947.66 c #Conflicts: 570000 | #Constraints: 28928
944.69/947.66 c #Conflicts: 571000 | #Constraints: 29931
944.69/947.66 c #Conflicts: 572000 | #Constraints: 30936
944.69/947.66 c #Conflicts: 573000 | #Constraints: 31941
944.69/947.66 c #Conflicts: 574000 | #Constraints: 32946
944.69/947.66 c #Conflicts: 575000 | #Constraints: 33951
944.69/947.66 c #Conflicts: 576000 | #Constraints: 34958
944.69/947.66 c INPROCESSING
944.69/947.66 c GARBAGE COLLECT
944.69/947.66 c rational objective 54
972.80/975.83 c #Conflicts: 577000 | #Constraints: 20856
972.80/975.83 c #Conflicts: 578000 | #Constraints: 21861
972.80/975.83 c #Conflicts: 579000 | #Constraints: 22866
972.80/975.83 c #Conflicts: 580000 | #Constraints: 23872
972.80/975.83 c #Conflicts: 581000 | #Constraints: 24878
972.80/975.83 c #Conflicts: 582000 | #Constraints: 25883
972.80/975.83 c #Conflicts: 583000 | #Constraints: 26884
972.80/975.83 c #Conflicts: 584000 | #Constraints: 27886
972.80/975.83 c #Conflicts: 585000 | #Constraints: 28895
972.80/975.83 c #Conflicts: 586000 | #Constraints: 29896
972.80/975.83 c #Conflicts: 587000 | #Constraints: 30899
972.80/975.83 c #Conflicts: 588000 | #Constraints: 31901
972.80/975.83 c #Conflicts: 589000 | #Constraints: 32901
972.80/975.83 c #Conflicts: 590000 | #Constraints: 33904
972.80/975.83 c #Conflicts: 591000 | #Constraints: 34908
972.80/975.83 c INPROCESSING
972.80/975.83 c GARBAGE COLLECT
972.80/975.83 c rational objective 54
999.93/1003.06 c #Conflicts: 592000 | #Constraints: 20617
999.93/1003.06 c #Conflicts: 593000 | #Constraints: 21618
999.93/1003.06 c #Conflicts: 594000 | #Constraints: 22620
999.93/1003.06 c #Conflicts: 595000 | #Constraints: 23621
999.93/1003.06 c #Conflicts: 596000 | #Constraints: 24621
999.93/1003.06 c #Conflicts: 597000 | #Constraints: 25621
999.93/1003.06 c #Conflicts: 598000 | #Constraints: 26623
999.93/1003.06 c #Conflicts: 599000 | #Constraints: 27624
999.93/1003.06 c #Conflicts: 600000 | #Constraints: 28624
999.93/1003.06 c #Conflicts: 601000 | #Constraints: 29625
999.93/1003.06 c #Conflicts: 602000 | #Constraints: 30626
999.93/1003.06 c #Conflicts: 603000 | #Constraints: 31627
999.93/1003.06 c #Conflicts: 604000 | #Constraints: 32631
999.93/1003.06 c #Conflicts: 605000 | #Constraints: 33631
999.93/1003.06 c #Conflicts: 606000 | #Constraints: 34635
999.93/1003.06 c #Conflicts: 607000 | #Constraints: 35637
999.93/1003.06 c INPROCESSING
999.93/1003.06 c GARBAGE COLLECT
999.93/1003.06 c rational objective 54
1025.44/1028.65 c #Conflicts: 608000 | #Constraints: 21291
1025.44/1028.65 c #Conflicts: 609000 | #Constraints: 22300
1025.44/1028.65 c #Conflicts: 610000 | #Constraints: 23307
1025.44/1028.65 c #Conflicts: 611000 | #Constraints: 24312
1025.44/1028.65 c #Conflicts: 612000 | #Constraints: 25322
1025.44/1028.65 c #Conflicts: 613000 | #Constraints: 26331
1025.44/1028.65 c #Conflicts: 614000 | #Constraints: 27339
1025.44/1028.65 c #Conflicts: 615000 | #Constraints: 28349
1025.44/1028.65 c #Conflicts: 616000 | #Constraints: 29353
1025.44/1028.65 c #Conflicts: 617000 | #Constraints: 30356
1025.44/1028.65 c #Conflicts: 618000 | #Constraints: 31360
1025.44/1028.65 c #Conflicts: 619000 | #Constraints: 32365
1025.44/1028.65 c #Conflicts: 620000 | #Constraints: 33370
1025.44/1028.65 c #Conflicts: 621000 | #Constraints: 34374
1025.44/1028.65 c #Conflicts: 622000 | #Constraints: 35379
1025.44/1028.65 c #Conflicts: 623000 | #Constraints: 36386
1025.44/1028.65 c INPROCESSING
1025.44/1028.65 c GARBAGE COLLECT
1025.44/1028.65 c rational objective 54
1048.88/1052.13 c #Conflicts: 624000 | #Constraints: 21666
1048.88/1052.13 c #Conflicts: 625000 | #Constraints: 22672
1048.88/1052.13 c #Conflicts: 626000 | #Constraints: 23675
1048.88/1052.13 c #Conflicts: 627000 | #Constraints: 24682
1048.88/1052.13 c #Conflicts: 628000 | #Constraints: 25687
1048.88/1052.13 c #Conflicts: 629000 | #Constraints: 26690
1048.88/1052.13 c #Conflicts: 630000 | #Constraints: 27696
1048.88/1052.13 c #Conflicts: 631000 | #Constraints: 28702
1048.88/1052.13 c #Conflicts: 632000 | #Constraints: 29710
1048.88/1052.13 c #Conflicts: 633000 | #Constraints: 30718
1048.88/1052.13 c #Conflicts: 634000 | #Constraints: 31727
1048.88/1052.13 c #Conflicts: 635000 | #Constraints: 32737
1048.88/1052.13 c #Conflicts: 636000 | #Constraints: 33742
1048.88/1052.13 c #Conflicts: 637000 | #Constraints: 34745
1048.88/1052.13 c #Conflicts: 638000 | #Constraints: 35750
1048.88/1052.13 c #Conflicts: 639000 | #Constraints: 36754
1048.88/1052.13 c INPROCESSING
1048.88/1052.13 c GARBAGE COLLECT
1048.88/1052.13 c rational objective 54
1076.40/1079.78 c #Conflicts: 640000 | #Constraints: 21849
1076.40/1079.78 c #Conflicts: 641000 | #Constraints: 22850
1076.40/1079.78 c #Conflicts: 642000 | #Constraints: 23850
1076.40/1079.78 c #Conflicts: 643000 | #Constraints: 24851
1076.40/1079.78 c #Conflicts: 644000 | #Constraints: 25852
1076.40/1079.78 c #Conflicts: 645000 | #Constraints: 26854
1076.40/1079.78 c #Conflicts: 646000 | #Constraints: 27854
1076.40/1079.78 c #Conflicts: 647000 | #Constraints: 28855
1076.40/1079.78 c #Conflicts: 648000 | #Constraints: 29856
1076.40/1079.78 c #Conflicts: 649000 | #Constraints: 30858
1076.40/1079.78 c #Conflicts: 650000 | #Constraints: 31858
1076.40/1079.78 c #Conflicts: 651000 | #Constraints: 32860
1076.40/1079.78 c #Conflicts: 652000 | #Constraints: 33860
1076.40/1079.78 c #Conflicts: 653000 | #Constraints: 34861
1076.40/1079.78 c #Conflicts: 654000 | #Constraints: 35867
1076.40/1079.78 c #Conflicts: 655000 | #Constraints: 36868
1076.40/1079.78 c INPROCESSING
1076.40/1079.78 c GARBAGE COLLECT
1076.40/1079.78 c rational objective 54
1106.40/1109.85 c #Conflicts: 656000 | #Constraints: 21847
1106.40/1109.85 c #Conflicts: 657000 | #Constraints: 22849
1106.40/1109.85 c #Conflicts: 658000 | #Constraints: 23851
1106.40/1109.85 c #Conflicts: 659000 | #Constraints: 24855
1106.40/1109.85 c #Conflicts: 660000 | #Constraints: 25858
1106.40/1109.85 c #Conflicts: 661000 | #Constraints: 26860
1106.40/1109.85 c #Conflicts: 662000 | #Constraints: 27865
1106.40/1109.85 c #Conflicts: 663000 | #Constraints: 28872
1106.40/1109.85 c #Conflicts: 664000 | #Constraints: 29877
1106.40/1109.85 c #Conflicts: 665000 | #Constraints: 30878
1106.40/1109.85 c #Conflicts: 666000 | #Constraints: 31882
1106.40/1109.85 c #Conflicts: 667000 | #Constraints: 32887
1106.40/1109.85 c #Conflicts: 668000 | #Constraints: 33893
1106.40/1109.85 c #Conflicts: 669000 | #Constraints: 34898
1106.40/1109.85 c #Conflicts: 670000 | #Constraints: 35905
1106.40/1109.85 c #Conflicts: 671000 | #Constraints: 36910
1106.40/1109.85 c INPROCESSING
1106.40/1109.85 c GARBAGE COLLECT
1106.40/1109.85 c rational objective 54
1133.61/1137.11 c #Conflicts: 672000 | #Constraints: 21629
1133.61/1137.11 c #Conflicts: 673000 | #Constraints: 22635
1133.61/1137.11 c #Conflicts: 674000 | #Constraints: 23639
1133.61/1137.11 c #Conflicts: 675000 | #Constraints: 24642
1133.61/1137.11 c #Conflicts: 676000 | #Constraints: 25646
1133.61/1137.11 c #Conflicts: 677000 | #Constraints: 26649
1133.61/1137.11 c #Conflicts: 678000 | #Constraints: 27657
1133.61/1137.11 c #Conflicts: 679000 | #Constraints: 28668
1133.61/1137.11 c #Conflicts: 680000 | #Constraints: 29675
1133.61/1137.11 c #Conflicts: 681000 | #Constraints: 30679
1133.61/1137.11 c #Conflicts: 682000 | #Constraints: 31682
1133.61/1137.11 c #Conflicts: 683000 | #Constraints: 32687
1133.61/1137.11 c #Conflicts: 684000 | #Constraints: 33690
1133.61/1137.11 c #Conflicts: 685000 | #Constraints: 34695
1133.61/1137.11 c #Conflicts: 686000 | #Constraints: 35700
1133.61/1137.11 c #Conflicts: 687000 | #Constraints: 36708
1133.61/1137.11 c #Conflicts: 688000 | #Constraints: 37714
1133.61/1137.11 c INPROCESSING
1133.61/1137.11 c GARBAGE COLLECT
1133.61/1137.11 c rational objective 54
1160.31/1163.97 c #Conflicts: 689000 | #Constraints: 22233
1160.31/1163.97 c #Conflicts: 690000 | #Constraints: 23236
1160.31/1163.97 c #Conflicts: 691000 | #Constraints: 24241
1160.31/1163.97 c #Conflicts: 692000 | #Constraints: 25245
1160.31/1163.97 c #Conflicts: 693000 | #Constraints: 26247
1160.31/1163.97 c #Conflicts: 694000 | #Constraints: 27252
1160.31/1163.97 c #Conflicts: 695000 | #Constraints: 28259
1160.31/1163.97 c #Conflicts: 696000 | #Constraints: 29265
1160.31/1163.97 c #Conflicts: 697000 | #Constraints: 30270
1160.31/1163.97 c #Conflicts: 698000 | #Constraints: 31280
1160.31/1163.97 c #Conflicts: 699000 | #Constraints: 32293
1160.31/1163.97 c #Conflicts: 700000 | #Constraints: 33301
1160.31/1163.97 c #Conflicts: 701000 | #Constraints: 34311
1160.31/1163.97 c #Conflicts: 702000 | #Constraints: 35322
1160.31/1163.97 c #Conflicts: 703000 | #Constraints: 36332
1160.31/1163.97 c #Conflicts: 704000 | #Constraints: 37339
1160.31/1163.97 c #Conflicts: 705000 | #Constraints: 38345
1160.31/1163.97 c INPROCESSING
1160.31/1163.97 c GARBAGE COLLECT
1160.31/1163.97 c rational objective 54
1192.12/1195.85 c #Conflicts: 706000 | #Constraints: 22651
1192.12/1195.85 c #Conflicts: 707000 | #Constraints: 23652
1192.12/1195.85 c #Conflicts: 708000 | #Constraints: 24655
1192.12/1195.85 c #Conflicts: 709000 | #Constraints: 25656
1192.12/1195.85 c #Conflicts: 710000 | #Constraints: 26658
1192.12/1195.85 c #Conflicts: 711000 | #Constraints: 27659
1192.12/1195.85 c #Conflicts: 712000 | #Constraints: 28659
1192.12/1195.85 c #Conflicts: 713000 | #Constraints: 29662
1192.12/1195.85 c #Conflicts: 714000 | #Constraints: 30663
1192.12/1195.85 c #Conflicts: 715000 | #Constraints: 31664
1192.12/1195.85 c #Conflicts: 716000 | #Constraints: 32665
1192.12/1195.85 c #Conflicts: 717000 | #Constraints: 33666
1192.12/1195.85 c #Conflicts: 718000 | #Constraints: 34668
1192.12/1195.85 c #Conflicts: 719000 | #Constraints: 35669
1192.12/1195.85 c #Conflicts: 720000 | #Constraints: 36670
1192.12/1195.85 c #Conflicts: 721000 | #Constraints: 37671
1192.12/1195.85 c #Conflicts: 722000 | #Constraints: 38673
1192.12/1195.85 c INPROCESSING
1192.12/1195.85 c GARBAGE COLLECT
1192.12/1195.85 c rational objective 54
1225.41/1229.22 c #Conflicts: 723000 | #Constraints: 22864
1225.41/1229.22 c #Conflicts: 724000 | #Constraints: 23866
1225.41/1229.22 c #Conflicts: 725000 | #Constraints: 24869
1225.41/1229.22 c #Conflicts: 726000 | #Constraints: 25881
1225.41/1229.22 c #Conflicts: 727000 | #Constraints: 26887
1225.41/1229.22 c #Conflicts: 728000 | #Constraints: 27893
1225.41/1229.22 c #Conflicts: 729000 | #Constraints: 28897
1225.41/1229.22 c #Conflicts: 730000 | #Constraints: 29902
1225.41/1229.22 c #Conflicts: 731000 | #Constraints: 30906
1225.41/1229.22 c #Conflicts: 732000 | #Constraints: 31908
1225.41/1229.22 c #Conflicts: 733000 | #Constraints: 32911
1225.41/1229.22 c #Conflicts: 734000 | #Constraints: 33912
1225.41/1229.22 c #Conflicts: 735000 | #Constraints: 34912
1225.41/1229.22 c #Conflicts: 736000 | #Constraints: 35913
1225.41/1229.22 c #Conflicts: 737000 | #Constraints: 36917
1225.41/1229.22 c #Conflicts: 738000 | #Constraints: 37917
1225.41/1229.22 c #Conflicts: 739000 | #Constraints: 38919
1225.41/1229.22 c INPROCESSING
1225.41/1229.22 c GARBAGE COLLECT
1225.41/1229.22 c rational objective 54
1257.00/1260.96 c #Conflicts: 740000 | #Constraints: 22860
1257.00/1260.96 c #Conflicts: 741000 | #Constraints: 23864
1257.00/1260.96 c #Conflicts: 742000 | #Constraints: 24868
1257.00/1260.96 c #Conflicts: 743000 | #Constraints: 25874
1257.00/1260.96 c #Conflicts: 744000 | #Constraints: 26875
1257.00/1260.96 c #Conflicts: 745000 | #Constraints: 27878
1257.00/1260.96 c #Conflicts: 746000 | #Constraints: 28881
1257.00/1260.96 c #Conflicts: 747000 | #Constraints: 29886
1257.00/1260.96 c #Conflicts: 748000 | #Constraints: 30890
1257.00/1260.96 c #Conflicts: 749000 | #Constraints: 31894
1257.00/1260.96 c #Conflicts: 750000 | #Constraints: 32898
1257.00/1260.96 c #Conflicts: 751000 | #Constraints: 33907
1257.00/1260.96 c #Conflicts: 752000 | #Constraints: 34915
1257.00/1260.96 c #Conflicts: 753000 | #Constraints: 35917
1257.00/1260.96 c #Conflicts: 754000 | #Constraints: 36920
1257.00/1260.96 c #Conflicts: 755000 | #Constraints: 37926
1257.00/1260.96 c #Conflicts: 756000 | #Constraints: 38930
1257.00/1260.96 c INPROCESSING
1257.00/1260.96 c GARBAGE COLLECT
1257.00/1260.96 c rational objective 54
1289.00/1293.00 c #Conflicts: 757000 | #Constraints: 22629
1289.00/1293.00 c #Conflicts: 758000 | #Constraints: 23630
1289.00/1293.00 c #Conflicts: 759000 | #Constraints: 24630
1289.00/1293.00 c #Conflicts: 760000 | #Constraints: 25631
1289.00/1293.00 c #Conflicts: 761000 | #Constraints: 26633
1289.00/1293.00 c #Conflicts: 762000 | #Constraints: 27634
1289.00/1293.00 c #Conflicts: 763000 | #Constraints: 28634
1289.00/1293.00 c #Conflicts: 764000 | #Constraints: 29635
1289.00/1293.00 c #Conflicts: 765000 | #Constraints: 30637
1289.00/1293.00 c #Conflicts: 766000 | #Constraints: 31637
1289.00/1293.00 c #Conflicts: 767000 | #Constraints: 32637
1289.00/1293.00 c #Conflicts: 768000 | #Constraints: 33638
1289.00/1293.00 c #Conflicts: 769000 | #Constraints: 34638
1289.00/1293.00 c #Conflicts: 770000 | #Constraints: 35638
1289.00/1293.00 c #Conflicts: 771000 | #Constraints: 36641
1289.00/1293.00 c #Conflicts: 772000 | #Constraints: 37642
1289.00/1293.00 c #Conflicts: 773000 | #Constraints: 38642
1289.00/1293.00 c #Conflicts: 774000 | #Constraints: 39642
1289.00/1293.00 c INPROCESSING
1289.00/1293.00 c GARBAGE COLLECT
1289.00/1293.00 c rational objective 54
1318.30/1322.44 c #Conflicts: 775000 | #Constraints: 23226
1318.30/1322.44 c #Conflicts: 776000 | #Constraints: 24228
1318.30/1322.44 c #Conflicts: 777000 | #Constraints: 25231
1318.30/1322.44 c #Conflicts: 778000 | #Constraints: 26232
1318.30/1322.44 c #Conflicts: 779000 | #Constraints: 27233
1318.30/1322.44 c #Conflicts: 780000 | #Constraints: 28235
1318.30/1322.44 c #Conflicts: 781000 | #Constraints: 29249
1318.30/1322.44 c #Conflicts: 782000 | #Constraints: 30262
1318.30/1322.44 c #Conflicts: 783000 | #Constraints: 31275
1318.30/1322.44 c #Conflicts: 784000 | #Constraints: 32286
1318.30/1322.44 c #Conflicts: 785000 | #Constraints: 33296
1318.30/1322.44 c #Conflicts: 786000 | #Constraints: 34304
1318.30/1322.44 c #Conflicts: 787000 | #Constraints: 35311
1318.30/1322.44 c #Conflicts: 788000 | #Constraints: 36319
1318.30/1322.44 c #Conflicts: 789000 | #Constraints: 37327
1318.30/1322.44 c #Conflicts: 790000 | #Constraints: 38330
1318.30/1322.44 c #Conflicts: 791000 | #Constraints: 39332
1318.30/1322.44 c #Conflicts: 792000 | #Constraints: 40333
1318.30/1322.44 c INPROCESSING
1318.30/1322.44 c GARBAGE COLLECT
1318.30/1322.44 c rational objective 54
1345.72/1349.93 c #Conflicts: 793000 | #Constraints: 23655
1345.72/1349.93 c #Conflicts: 794000 | #Constraints: 24656
1345.72/1349.93 c #Conflicts: 795000 | #Constraints: 25658
1345.72/1349.93 c #Conflicts: 796000 | #Constraints: 26664
1345.72/1349.93 c #Conflicts: 797000 | #Constraints: 27670
1345.72/1349.93 c #Conflicts: 798000 | #Constraints: 28674
1345.72/1349.93 c #Conflicts: 799000 | #Constraints: 29677
1345.72/1349.93 c #Conflicts: 800000 | #Constraints: 30687
1345.72/1349.93 c #Conflicts: 801000 | #Constraints: 31690
1345.72/1349.93 c #Conflicts: 802000 | #Constraints: 32694
1345.72/1349.93 c #Conflicts: 803000 | #Constraints: 33700
1345.72/1349.93 c #Conflicts: 804000 | #Constraints: 34707
1345.72/1349.93 c #Conflicts: 805000 | #Constraints: 35715
1345.72/1349.93 c #Conflicts: 806000 | #Constraints: 36721
1345.72/1349.93 c #Conflicts: 807000 | #Constraints: 37731
1345.72/1349.93 c #Conflicts: 808000 | #Constraints: 38736
1345.72/1349.93 c #Conflicts: 809000 | #Constraints: 39740
1345.72/1349.93 c #Conflicts: 810000 | #Constraints: 40743
1345.72/1349.93 c INPROCESSING
1345.72/1349.93 c GARBAGE COLLECT
1345.72/1349.93 c rational objective 54
1375.93/1380.24 c #Conflicts: 811000 | #Constraints: 23848
1375.93/1380.24 c #Conflicts: 812000 | #Constraints: 24848
1375.93/1380.24 c #Conflicts: 813000 | #Constraints: 25849
1375.93/1380.24 c #Conflicts: 814000 | #Constraints: 26850
1375.93/1380.24 c #Conflicts: 815000 | #Constraints: 27850
1375.93/1380.24 c #Conflicts: 816000 | #Constraints: 28851
1375.93/1380.24 c #Conflicts: 817000 | #Constraints: 29852
1375.93/1380.24 c #Conflicts: 818000 | #Constraints: 30852
1375.93/1380.24 c #Conflicts: 819000 | #Constraints: 31852
1375.93/1380.24 c #Conflicts: 820000 | #Constraints: 32853
1375.93/1380.24 c #Conflicts: 821000 | #Constraints: 33853
1375.93/1380.24 c #Conflicts: 822000 | #Constraints: 34853
1375.93/1380.24 c #Conflicts: 823000 | #Constraints: 35855
1375.93/1380.24 c #Conflicts: 824000 | #Constraints: 36855
1375.93/1380.24 c #Conflicts: 825000 | #Constraints: 37856
1375.93/1380.24 c #Conflicts: 826000 | #Constraints: 38856
1375.93/1380.24 c #Conflicts: 827000 | #Constraints: 39856
1375.93/1380.24 c #Conflicts: 828000 | #Constraints: 40857
1375.93/1380.24 c INPROCESSING
1375.93/1380.24 c GARBAGE COLLECT
1375.93/1380.24 c rational objective 54
1536.38/1541.12 c #Conflicts: 829000 | #Constraints: 23937
1536.38/1541.12 c #Conflicts: 830000 | #Constraints: 24938
1536.38/1541.12 c #Conflicts: 831000 | #Constraints: 25941
1536.38/1541.12 c #Conflicts: 832000 | #Constraints: 26941
1536.38/1541.12 c #Conflicts: 833000 | #Constraints: 27942
1536.38/1541.12 c #Conflicts: 834000 | #Constraints: 28945
1536.38/1541.12 c #Conflicts: 835000 | #Constraints: 29945
1536.38/1541.12 c #Conflicts: 836000 | #Constraints: 30948
1536.38/1541.12 c #Conflicts: 837000 | #Constraints: 31951
1536.38/1541.12 c #Conflicts: 838000 | #Constraints: 32955
1536.38/1541.12 c #Conflicts: 839000 | #Constraints: 33963
1536.38/1541.12 c #Conflicts: 840000 | #Constraints: 34966
1536.38/1541.12 c #Conflicts: 841000 | #Constraints: 35967
1536.38/1541.12 c #Conflicts: 842000 | #Constraints: 36969
1536.38/1541.12 c #Conflicts: 843000 | #Constraints: 37974
1536.38/1541.12 c #Conflicts: 844000 | #Constraints: 38975
1536.38/1541.12 c #Conflicts: 845000 | #Constraints: 39979
1536.38/1541.12 c #Conflicts: 846000 | #Constraints: 40981
1536.38/1541.12 c #Conflicts: 847000 | #Constraints: 41984
1536.38/1541.12 c #Conflicts: 848000 | #Constraints: 42987
1536.38/1541.12 c #Conflicts: 849000 | #Constraints: 43989
1536.38/1541.12 c #Conflicts: 850000 | #Constraints: 44994
1536.38/1541.12 c #Conflicts: 851000 | #Constraints: 45996
1536.38/1541.12 c #Conflicts: 852000 | #Constraints: 46998
1536.38/1541.12 c #Conflicts: 853000 | #Constraints: 48002
1536.38/1541.12 c #Conflicts: 854000 | #Constraints: 49010
1536.38/1541.12 c #Conflicts: 855000 | #Constraints: 50017
1536.38/1541.12 c #Conflicts: 856000 | #Constraints: 51021
1536.38/1541.12 c #Conflicts: 857000 | #Constraints: 52024
1536.38/1541.12 c #Conflicts: 858000 | #Constraints: 53027
1536.38/1541.12 c #Conflicts: 859000 | #Constraints: 54031
1536.38/1541.12 c #Conflicts: 860000 | #Constraints: 55031
1536.38/1541.12 c #Conflicts: 861000 | #Constraints: 56031
1536.38/1541.12 c #Conflicts: 862000 | #Constraints: 57036
1536.38/1541.12 c #Conflicts: 863000 | #Constraints: 58040
1536.38/1541.12 c #Conflicts: 864000 | #Constraints: 59049
1536.38/1541.12 c #Conflicts: 865000 | #Constraints: 60060
1536.38/1541.12 c #Conflicts: 866000 | #Constraints: 61067
1536.38/1541.12 c #Conflicts: 867000 | #Constraints: 62073
1536.38/1541.12 c #Conflicts: 868000 | #Constraints: 63081
1536.38/1541.12 c #Conflicts: 869000 | #Constraints: 64085
1536.38/1541.12 c #Conflicts: 870000 | #Constraints: 65088
1536.38/1541.12 c #Conflicts: 871000 | #Constraints: 66092
1536.38/1541.12 c #Conflicts: 872000 | #Constraints: 67100
1536.38/1541.12 c #Conflicts: 873000 | #Constraints: 68105
1536.38/1541.12 c #Conflicts: 874000 | #Constraints: 69111
1536.38/1541.12 c #Conflicts: 875000 | #Constraints: 70117
1536.38/1541.12 c #Conflicts: 876000 | #Constraints: 71123
1536.38/1541.12 c #Conflicts: 877000 | #Constraints: 72130
1536.38/1541.12 c #Conflicts: 878000 | #Constraints: 73134
1536.38/1541.12 c #Conflicts: 879000 | #Constraints: 74140
1536.38/1541.12 c #Conflicts: 880000 | #Constraints: 75145
1536.38/1541.12 c #Conflicts: 881000 | #Constraints: 76153
1536.38/1541.12 c #Conflicts: 882000 | #Constraints: 77159
1536.38/1541.12 c #Conflicts: 883000 | #Constraints: 78168
1536.38/1541.12 c #Conflicts: 884000 | #Constraints: 79179
1536.38/1541.12 c #Conflicts: 885000 | #Constraints: 80189
1536.38/1541.12 c #Conflicts: 886000 | #Constraints: 81196
1536.38/1541.12 c #Conflicts: 887000 | #Constraints: 82208
1536.38/1541.12 c #Conflicts: 888000 | #Constraints: 83216
1536.38/1541.12 c #Conflicts: 889000 | #Constraints: 84225
1536.38/1541.12 c #Conflicts: 890000 | #Constraints: 85236
1536.38/1541.12 c #Conflicts: 891000 | #Constraints: 86245
1536.38/1541.12 c #Conflicts: 892000 | #Constraints: 87249
1536.38/1541.12 c #Conflicts: 893000 | #Constraints: 88254
1536.38/1541.12 c #Conflicts: 894000 | #Constraints: 89258
1536.38/1541.12 c #Conflicts: 895000 | #Constraints: 90263
1536.38/1541.12 c #Conflicts: 896000 | #Constraints: 91266
1536.38/1541.12 c #Conflicts: 897000 | #Constraints: 92270
1536.38/1541.12 c #Conflicts: 898000 | #Constraints: 93272
1536.38/1541.12 c #Conflicts: 899000 | #Constraints: 94276
1536.38/1541.12 c #Conflicts: 900000 | #Constraints: 95282
1536.38/1541.12 c #Conflicts: 901000 | #Constraints: 96284
1536.38/1541.12 c #Conflicts: 902000 | #Constraints: 97287
1536.38/1541.12 c #Conflicts: 903000 | #Constraints: 98291
1536.38/1541.12 c #Conflicts: 904000 | #Constraints: 99295
1536.38/1541.12 c #Conflicts: 905000 | #Constraints: 100298
1536.38/1541.12 c #Conflicts: 906000 | #Constraints: 101299
1536.38/1541.12 c #Conflicts: 907000 | #Constraints: 102302
1573.87/1578.78 c #Conflicts: 908000 | #Constraints: 103305
1573.87/1578.78 c #Conflicts: 909000 | #Constraints: 104310
1573.87/1578.78 c #Conflicts: 910000 | #Constraints: 105311
1573.87/1578.78 c #Conflicts: 911000 | #Constraints: 106315
1573.87/1578.78 c #Conflicts: 912000 | #Constraints: 107319
1573.87/1578.78 c #Conflicts: 913000 | #Constraints: 108321
1573.87/1578.78 c #Conflicts: 914000 | #Constraints: 109325
1573.87/1578.78 c #Conflicts: 915000 | #Constraints: 110327
1573.87/1578.78 c #Conflicts: 916000 | #Constraints: 111330
1573.87/1578.78 c #Conflicts: 917000 | #Constraints: 112330
1573.87/1578.78 c #Conflicts: 918000 | #Constraints: 113336
1573.87/1578.78 c #Conflicts: 919000 | #Constraints: 114343
1573.87/1578.78 c #Conflicts: 920000 | #Constraints: 115347
1573.87/1578.78 c #Conflicts: 921000 | #Constraints: 116348
1573.87/1578.78 c INPROCESSING
1573.87/1578.78 c GARBAGE COLLECT
1573.87/1578.78 c rational objective 54
1621.23/1626.25 c #Conflicts: 922000 | #Constraints: 61503
1621.23/1626.25 c #Conflicts: 923000 | #Constraints: 62505
1621.23/1626.25 c #Conflicts: 924000 | #Constraints: 63505
1621.23/1626.25 c #Conflicts: 925000 | #Constraints: 64505
1621.23/1626.25 c #Conflicts: 926000 | #Constraints: 65507
1621.23/1626.25 c #Conflicts: 927000 | #Constraints: 66508
1621.23/1626.25 c #Conflicts: 928000 | #Constraints: 67509
1621.23/1626.25 c #Conflicts: 929000 | #Constraints: 68512
1621.23/1626.25 c #Conflicts: 930000 | #Constraints: 69513
1621.23/1626.25 c #Conflicts: 931000 | #Constraints: 70515
1621.23/1626.25 c #Conflicts: 932000 | #Constraints: 71517
1621.23/1626.25 c #Conflicts: 933000 | #Constraints: 72519
1621.23/1626.25 c #Conflicts: 934000 | #Constraints: 73520
1621.23/1626.25 c #Conflicts: 935000 | #Constraints: 74521
1621.23/1626.25 c #Conflicts: 936000 | #Constraints: 75521
1621.23/1626.25 c #Conflicts: 937000 | #Constraints: 76522
1621.23/1626.25 c #Conflicts: 938000 | #Constraints: 77523
1621.23/1626.25 c #Conflicts: 939000 | #Constraints: 78526
1621.23/1626.25 c #Conflicts: 940000 | #Constraints: 79526
1621.23/1626.25 c INPROCESSING
1621.23/1626.25 c GARBAGE COLLECT
1621.23/1626.25 c rational objective 54
1661.42/1666.57 c #Conflicts: 941000 | #Constraints: 42955
1661.42/1666.57 c #Conflicts: 942000 | #Constraints: 43957
1661.42/1666.57 c #Conflicts: 943000 | #Constraints: 44959
1661.42/1666.57 c #Conflicts: 944000 | #Constraints: 45960
1661.42/1666.57 c #Conflicts: 945000 | #Constraints: 46960
1661.42/1666.57 c #Conflicts: 946000 | #Constraints: 47960
1661.42/1666.57 c #Conflicts: 947000 | #Constraints: 48961
1661.42/1666.57 c #Conflicts: 948000 | #Constraints: 49961
1661.42/1666.57 c #Conflicts: 949000 | #Constraints: 50963
1661.42/1666.57 c #Conflicts: 950000 | #Constraints: 51966
1661.42/1666.57 c #Conflicts: 951000 | #Constraints: 52966
1661.42/1666.57 c #Conflicts: 952000 | #Constraints: 53967
1661.42/1666.57 c #Conflicts: 953000 | #Constraints: 54967
1661.42/1666.57 c #Conflicts: 954000 | #Constraints: 55968
1661.42/1666.57 c #Conflicts: 955000 | #Constraints: 56971
1661.42/1666.57 c #Conflicts: 956000 | #Constraints: 57973
1661.42/1666.57 c #Conflicts: 957000 | #Constraints: 58974
1661.42/1666.57 c #Conflicts: 958000 | #Constraints: 59974
1661.42/1666.57 c #Conflicts: 959000 | #Constraints: 60975
1661.42/1666.57 c #Conflicts: 960000 | #Constraints: 61976
1661.42/1666.57 c INPROCESSING
1661.42/1666.57 c GARBAGE COLLECT
1661.42/1666.57 c rational objective 54
1703.39/1708.65 c #Conflicts: 961000 | #Constraints: 34353
1703.39/1708.65 c #Conflicts: 962000 | #Constraints: 35354
1703.39/1708.65 c #Conflicts: 963000 | #Constraints: 36355
1703.39/1708.65 c #Conflicts: 964000 | #Constraints: 37357
1703.39/1708.65 c #Conflicts: 965000 | #Constraints: 38359
1703.39/1708.65 c #Conflicts: 966000 | #Constraints: 39361
1703.39/1708.65 c #Conflicts: 967000 | #Constraints: 40365
1703.39/1708.65 c #Conflicts: 968000 | #Constraints: 41365
1703.39/1708.65 c #Conflicts: 969000 | #Constraints: 42367
1703.39/1708.65 c #Conflicts: 970000 | #Constraints: 43372
1703.39/1708.65 c #Conflicts: 971000 | #Constraints: 44377
1703.39/1708.65 c #Conflicts: 972000 | #Constraints: 45378
1703.39/1708.65 c #Conflicts: 973000 | #Constraints: 46379
1703.39/1708.65 c #Conflicts: 974000 | #Constraints: 47386
1703.39/1708.65 c #Conflicts: 975000 | #Constraints: 48389
1703.39/1708.65 c #Conflicts: 976000 | #Constraints: 49390
1703.39/1708.65 c #Conflicts: 977000 | #Constraints: 50390
1703.39/1708.65 c #Conflicts: 978000 | #Constraints: 51390
1703.39/1708.65 c #Conflicts: 979000 | #Constraints: 52390
1703.39/1708.65 c #Conflicts: 980000 | #Constraints: 53393
1703.39/1708.65 c INPROCESSING
1703.39/1708.65 c GARBAGE COLLECT
1703.39/1708.65 c rational objective 54
1728.92/1734.28 c #Conflicts: 981000 | #Constraints: 30002
1728.92/1734.28 c #Conflicts: 982000 | #Constraints: 31002
1728.92/1734.28 c #Conflicts: 983000 | #Constraints: 32003
1728.92/1734.28 c #Conflicts: 984000 | #Constraints: 33004
1728.92/1734.28 c #Conflicts: 985000 | #Constraints: 34004
1728.92/1734.28 c #Conflicts: 986000 | #Constraints: 35005
1728.92/1734.28 c #Conflicts: 987000 | #Constraints: 36008
1728.92/1734.28 c #Conflicts: 988000 | #Constraints: 37008
1728.92/1734.28 c #Conflicts: 989000 | #Constraints: 38011
1728.92/1734.28 c #Conflicts: 990000 | #Constraints: 39013
1728.92/1734.28 c #Conflicts: 991000 | #Constraints: 40015
1728.92/1734.28 c #Conflicts: 992000 | #Constraints: 41015
1728.92/1734.28 c #Conflicts: 993000 | #Constraints: 42015
1728.92/1734.28 c #Conflicts: 994000 | #Constraints: 43016
1728.92/1734.28 c bounds 1183 >= 72 @ 1695.32
1740.39/1745.70 c #Conflicts: 995000 | #Constraints: 44028
1740.39/1745.70 c #Conflicts: 996000 | #Constraints: 45029
1740.39/1745.70 c #Conflicts: 997000 | #Constraints: 46031
1740.39/1745.70 c #Conflicts: 998000 | #Constraints: 47032
1740.39/1745.70 c #Conflicts: 999000 | #Constraints: 48033
1740.39/1745.70 c #Conflicts: 1000000 | #Constraints: 49036
1740.39/1745.70 c INPROCESSING
1740.39/1745.70 c GARBAGE COLLECT
1740.39/1745.70 c rational objective 72
1776.39/1781.87 c #Conflicts: 1001000 | #Constraints: 27812
1776.39/1781.87 c #Conflicts: 1002000 | #Constraints: 28815
1776.39/1781.87 c #Conflicts: 1003000 | #Constraints: 29822
1776.39/1781.87 c #Conflicts: 1004000 | #Constraints: 30826
1776.39/1781.87 c #Conflicts: 1005000 | #Constraints: 31829
1776.39/1781.87 c #Conflicts: 1006000 | #Constraints: 32832
1776.39/1781.87 c #Conflicts: 1007000 | #Constraints: 33835
1776.39/1781.87 c #Conflicts: 1008000 | #Constraints: 34838
1776.39/1781.87 c #Conflicts: 1009000 | #Constraints: 35847
1776.39/1781.87 c #Conflicts: 1010000 | #Constraints: 36850
1776.39/1781.87 c #Conflicts: 1011000 | #Constraints: 37857
1776.39/1781.87 c #Conflicts: 1012000 | #Constraints: 38861
1776.39/1781.87 c #Conflicts: 1013000 | #Constraints: 39862
1776.39/1781.87 c #Conflicts: 1014000 | #Constraints: 40864
1776.39/1781.87 c #Conflicts: 1015000 | #Constraints: 41867
1776.39/1781.87 c #Conflicts: 1016000 | #Constraints: 42868
1776.39/1781.87 c #Conflicts: 1017000 | #Constraints: 43868
1776.39/1781.87 c #Conflicts: 1018000 | #Constraints: 44868
1776.39/1781.87 c #Conflicts: 1019000 | #Constraints: 45870
1776.39/1781.87 c #Conflicts: 1020000 | #Constraints: 46876
1776.39/1781.87 c INPROCESSING
1776.39/1781.87 c GARBAGE COLLECT
1776.39/1781.87 c rational objective 72
1907.60/1913.40 c #Conflicts: 1021000 | #Constraints: 26580
1907.60/1913.40 c #Conflicts: 1022000 | #Constraints: 27583
1907.60/1913.40 c #Conflicts: 1023000 | #Constraints: 28586
1907.60/1913.40 c #Conflicts: 1024000 | #Constraints: 29597
1907.60/1913.40 c #Conflicts: 1025000 | #Constraints: 30606
1907.60/1913.40 c #Conflicts: 1026000 | #Constraints: 31614
1907.60/1913.40 c #Conflicts: 1027000 | #Constraints: 32622
1907.60/1913.40 c #Conflicts: 1028000 | #Constraints: 33633
1907.60/1913.40 c #Conflicts: 1029000 | #Constraints: 34643
1907.60/1913.40 c #Conflicts: 1030000 | #Constraints: 35653
1907.60/1913.40 c #Conflicts: 1031000 | #Constraints: 36660
1907.60/1913.40 c #Conflicts: 1032000 | #Constraints: 37670
1907.60/1913.40 c #Conflicts: 1033000 | #Constraints: 38677
1907.60/1913.40 c #Conflicts: 1034000 | #Constraints: 39685
1907.60/1913.40 c #Conflicts: 1035000 | #Constraints: 40693
1907.60/1913.40 c #Conflicts: 1036000 | #Constraints: 41702
1907.60/1913.40 c #Conflicts: 1037000 | #Constraints: 42710
1907.60/1913.40 c #Conflicts: 1038000 | #Constraints: 43718
1907.60/1913.40 c #Conflicts: 1039000 | #Constraints: 44731
1907.60/1913.40 c #Conflicts: 1040000 | #Constraints: 45743
1907.60/1913.40 c #Conflicts: 1041000 | #Constraints: 46753
1907.60/1913.40 c #Conflicts: 1042000 | #Constraints: 47761
1907.60/1913.40 c #Conflicts: 1043000 | #Constraints: 48770
1907.60/1913.40 c #Conflicts: 1044000 | #Constraints: 49775
1907.60/1913.40 c #Conflicts: 1045000 | #Constraints: 50781
1907.60/1913.40 c #Conflicts: 1046000 | #Constraints: 51794
1907.60/1913.40 c #Conflicts: 1047000 | #Constraints: 52805
1907.60/1913.40 c #Conflicts: 1048000 | #Constraints: 53814
1907.60/1913.40 c #Conflicts: 1049000 | #Constraints: 54825
1907.60/1913.40 c #Conflicts: 1050000 | #Constraints: 55834
1907.60/1913.40 c #Conflicts: 1051000 | #Constraints: 56844
1907.60/1913.40 c #Conflicts: 1052000 | #Constraints: 57855
1907.60/1913.40 c #Conflicts: 1053000 | #Constraints: 58864
1907.60/1913.40 c #Conflicts: 1054000 | #Constraints: 59871
1907.60/1913.40 c #Conflicts: 1055000 | #Constraints: 60876
1907.60/1913.40 c #Conflicts: 1056000 | #Constraints: 61887
1907.60/1913.40 c #Conflicts: 1057000 | #Constraints: 62898
1907.60/1913.40 c #Conflicts: 1058000 | #Constraints: 63910
1907.60/1913.40 c #Conflicts: 1059000 | #Constraints: 64921
1907.60/1913.40 c #Conflicts: 1060000 | #Constraints: 65927
1907.60/1913.40 c #Conflicts: 1061000 | #Constraints: 66936
1907.60/1913.40 c #Conflicts: 1062000 | #Constraints: 67946
1907.60/1913.40 c #Conflicts: 1063000 | #Constraints: 68949
1907.60/1913.40 c #Conflicts: 1064000 | #Constraints: 69958
1907.60/1913.40 c #Conflicts: 1065000 | #Constraints: 70966
1907.60/1913.40 c #Conflicts: 1066000 | #Constraints: 71972
1907.60/1913.40 c #Conflicts: 1067000 | #Constraints: 72984
1907.60/1913.40 c #Conflicts: 1068000 | #Constraints: 73989
1907.60/1913.40 c #Conflicts: 1069000 | #Constraints: 74995
1907.60/1913.40 c #Conflicts: 1070000 | #Constraints: 75999
1907.60/1913.40 c #Conflicts: 1071000 | #Constraints: 77010
1907.60/1913.40 c #Conflicts: 1072000 | #Constraints: 78020
1907.60/1913.40 c #Conflicts: 1073000 | #Constraints: 79025
1907.60/1913.40 c #Conflicts: 1074000 | #Constraints: 80035
1907.60/1913.40 c #Conflicts: 1075000 | #Constraints: 81043
1907.60/1913.40 c #Conflicts: 1076000 | #Constraints: 82051
1907.60/1913.40 c #Conflicts: 1077000 | #Constraints: 83060
1907.60/1913.40 c #Conflicts: 1078000 | #Constraints: 84064
1907.60/1913.40 c #Conflicts: 1079000 | #Constraints: 85066
1907.60/1913.40 c #Conflicts: 1080000 | #Constraints: 86068
1907.60/1913.40 c #Conflicts: 1081000 | #Constraints: 87081
1907.60/1913.40 c #Conflicts: 1082000 | #Constraints: 88091
1907.60/1913.40 c #Conflicts: 1083000 | #Constraints: 89102
1907.60/1913.40 c #Conflicts: 1084000 | #Constraints: 90106
1907.60/1913.40 c #Conflicts: 1085000 | #Constraints: 91120
1907.60/1913.40 c #Conflicts: 1086000 | #Constraints: 92128
1907.60/1913.40 c #Conflicts: 1087000 | #Constraints: 93132
1907.60/1913.40 c #Conflicts: 1088000 | #Constraints: 94134
1907.60/1913.40 c #Conflicts: 1089000 | #Constraints: 95137
1907.60/1913.40 c #Conflicts: 1090000 | #Constraints: 96139
1907.60/1913.40 c #Conflicts: 1091000 | #Constraints: 97142
1907.60/1913.40 c #Conflicts: 1092000 | #Constraints: 98146
1907.60/1913.40 c #Conflicts: 1093000 | #Constraints: 99153
1907.60/1913.40 c #Conflicts: 1094000 | #Constraints: 100160
1907.60/1913.40 c #Conflicts: 1095000 | #Constraints: 101164
1907.60/1913.40 c #Conflicts: 1096000 | #Constraints: 102170
1907.60/1913.40 c #Conflicts: 1097000 | #Constraints: 103175
1907.60/1913.40 c #Conflicts: 1098000 | #Constraints: 104182
1907.60/1913.40 c #Conflicts: 1099000 | #Constraints: 105191
1950.67/1956.61 c #Conflicts: 1100000 | #Constraints: 106195
1950.67/1956.61 c #Conflicts: 1101000 | #Constraints: 107201
1950.67/1956.61 c #Conflicts: 1102000 | #Constraints: 108204
1950.67/1956.61 c #Conflicts: 1103000 | #Constraints: 109206
1950.67/1956.61 c #Conflicts: 1104000 | #Constraints: 110209
1950.67/1956.61 c #Conflicts: 1105000 | #Constraints: 111212
1950.67/1956.61 c #Conflicts: 1106000 | #Constraints: 112225
1950.67/1956.61 c #Conflicts: 1107000 | #Constraints: 113230
1950.67/1956.61 c #Conflicts: 1108000 | #Constraints: 114237
1950.67/1956.61 c #Conflicts: 1109000 | #Constraints: 115245
1950.67/1956.61 c #Conflicts: 1110000 | #Constraints: 116248
1950.67/1956.61 c #Conflicts: 1111000 | #Constraints: 117251
1950.67/1956.61 c #Conflicts: 1112000 | #Constraints: 118257
1950.67/1956.61 c #Conflicts: 1113000 | #Constraints: 119263
1950.67/1956.61 c #Conflicts: 1114000 | #Constraints: 120274
1950.67/1956.61 c #Conflicts: 1115000 | #Constraints: 121283
1950.67/1956.61 c #Conflicts: 1116000 | #Constraints: 122291
1950.67/1956.61 c #Conflicts: 1117000 | #Constraints: 123301
1950.67/1956.61 c #Conflicts: 1118000 | #Constraints: 124311
1950.67/1956.61 c #Conflicts: 1119000 | #Constraints: 125322
1950.67/1956.61 c #Conflicts: 1120000 | #Constraints: 126331
1950.67/1956.61 c #Conflicts: 1121000 | #Constraints: 127342
1950.67/1956.61 c INPROCESSING
1950.67/1956.61 c GARBAGE COLLECT
1950.67/1956.61 c rational objective 72
1992.25/1998.31 c #Conflicts: 1122000 | #Constraints: 66946
1992.25/1998.31 c #Conflicts: 1123000 | #Constraints: 67946
1992.25/1998.31 c #Conflicts: 1124000 | #Constraints: 68946
1992.25/1998.31 c #Conflicts: 1125000 | #Constraints: 69948
1992.25/1998.31 c #Conflicts: 1126000 | #Constraints: 70949
1992.25/1998.31 c #Conflicts: 1127000 | #Constraints: 71949
1992.25/1998.31 c #Conflicts: 1128000 | #Constraints: 72951
1992.25/1998.31 c #Conflicts: 1129000 | #Constraints: 73952
1992.25/1998.31 c #Conflicts: 1130000 | #Constraints: 74953
1992.25/1998.31 c #Conflicts: 1131000 | #Constraints: 75953
1992.25/1998.31 c #Conflicts: 1132000 | #Constraints: 76955
1992.25/1998.31 c #Conflicts: 1133000 | #Constraints: 77956
1992.25/1998.31 c #Conflicts: 1134000 | #Constraints: 78957
1992.25/1998.31 c #Conflicts: 1135000 | #Constraints: 79958
1992.25/1998.31 c #Conflicts: 1136000 | #Constraints: 80959
1992.25/1998.31 c #Conflicts: 1137000 | #Constraints: 81960
1992.25/1998.31 c #Conflicts: 1138000 | #Constraints: 82960
1992.25/1998.31 c #Conflicts: 1139000 | #Constraints: 83961
1992.25/1998.31 c #Conflicts: 1140000 | #Constraints: 84961
1992.25/1998.31 c #Conflicts: 1141000 | #Constraints: 85962
1992.25/1998.31 c #Conflicts: 1142000 | #Constraints: 86962
1992.25/1998.31 c #Conflicts: 1143000 | #Constraints: 87964
1992.25/1998.31 c INPROCESSING
1992.25/1998.31 c GARBAGE COLLECT
1992.25/1998.31 c rational objective 72
2036.53/2042.72 c #Conflicts: 1144000 | #Constraints: 47484
2036.53/2042.72 c #Conflicts: 1145000 | #Constraints: 48488
2036.53/2042.72 c #Conflicts: 1146000 | #Constraints: 49490
2036.53/2042.72 c #Conflicts: 1147000 | #Constraints: 50491
2036.53/2042.72 c #Conflicts: 1148000 | #Constraints: 51492
2036.53/2042.72 c #Conflicts: 1149000 | #Constraints: 52494
2036.53/2042.72 c #Conflicts: 1150000 | #Constraints: 53495
2036.53/2042.72 c #Conflicts: 1151000 | #Constraints: 54495
2036.53/2042.72 c #Conflicts: 1152000 | #Constraints: 55495
2036.53/2042.72 c #Conflicts: 1153000 | #Constraints: 56495
2036.53/2042.72 c #Conflicts: 1154000 | #Constraints: 57495
2036.53/2042.72 c #Conflicts: 1155000 | #Constraints: 58495
2036.53/2042.72 c #Conflicts: 1156000 | #Constraints: 59495
2036.53/2042.72 c #Conflicts: 1157000 | #Constraints: 60496
2036.53/2042.72 c #Conflicts: 1158000 | #Constraints: 61497
2036.53/2042.72 c #Conflicts: 1159000 | #Constraints: 62498
2036.53/2042.72 c #Conflicts: 1160000 | #Constraints: 63498
2036.53/2042.72 c #Conflicts: 1161000 | #Constraints: 64498
2036.53/2042.72 c #Conflicts: 1162000 | #Constraints: 65500
2036.53/2042.72 c #Conflicts: 1163000 | #Constraints: 66502
2036.53/2042.72 c #Conflicts: 1164000 | #Constraints: 67504
2036.53/2042.72 c INPROCESSING
2036.53/2042.72 c GARBAGE COLLECT
2036.53/2042.72 c rational objective 72
2077.33/2083.63 c #Conflicts: 1165000 | #Constraints: 36882
2077.33/2083.63 c #Conflicts: 1166000 | #Constraints: 37886
2077.33/2083.63 c #Conflicts: 1167000 | #Constraints: 38888
2077.33/2083.63 c #Conflicts: 1168000 | #Constraints: 39893
2077.33/2083.63 c #Conflicts: 1169000 | #Constraints: 40903
2077.33/2083.63 c #Conflicts: 1170000 | #Constraints: 41912
2077.33/2083.63 c #Conflicts: 1171000 | #Constraints: 42924
2077.33/2083.63 c #Conflicts: 1172000 | #Constraints: 43931
2077.33/2083.63 c #Conflicts: 1173000 | #Constraints: 44943
2077.33/2083.63 c #Conflicts: 1174000 | #Constraints: 45948
2077.33/2083.63 c #Conflicts: 1175000 | #Constraints: 46951
2077.33/2083.63 c #Conflicts: 1176000 | #Constraints: 47956
2077.33/2083.63 c #Conflicts: 1177000 | #Constraints: 48961
2077.33/2083.63 c #Conflicts: 1178000 | #Constraints: 49964
2077.33/2083.63 c #Conflicts: 1179000 | #Constraints: 50967
2077.33/2083.63 c #Conflicts: 1180000 | #Constraints: 51974
2077.33/2083.63 c #Conflicts: 1181000 | #Constraints: 52980
2077.33/2083.63 c #Conflicts: 1182000 | #Constraints: 53984
2077.33/2083.63 c #Conflicts: 1183000 | #Constraints: 54989
2077.33/2083.63 c #Conflicts: 1184000 | #Constraints: 55995
2077.33/2083.63 c #Conflicts: 1185000 | #Constraints: 57000
2077.33/2083.63 c #Conflicts: 1186000 | #Constraints: 58004
2077.33/2083.63 c INPROCESSING
2077.33/2083.63 c GARBAGE COLLECT
2077.33/2083.63 c rational objective 72
2111.74/2118.15 c #Conflicts: 1187000 | #Constraints: 32079
2111.74/2118.15 c #Conflicts: 1188000 | #Constraints: 33080
2111.74/2118.15 c #Conflicts: 1189000 | #Constraints: 34082
2111.74/2118.15 c #Conflicts: 1190000 | #Constraints: 35083
2111.74/2118.15 c #Conflicts: 1191000 | #Constraints: 36083
2111.74/2118.15 c #Conflicts: 1192000 | #Constraints: 37084
2111.74/2118.15 c #Conflicts: 1193000 | #Constraints: 38085
2111.74/2118.15 c #Conflicts: 1194000 | #Constraints: 39085
2111.74/2118.15 c #Conflicts: 1195000 | #Constraints: 40087
2111.74/2118.15 c #Conflicts: 1196000 | #Constraints: 41089
2111.74/2118.15 c #Conflicts: 1197000 | #Constraints: 42090
2111.74/2118.15 c #Conflicts: 1198000 | #Constraints: 43090
2111.74/2118.15 c #Conflicts: 1199000 | #Constraints: 44091
2111.74/2118.15 c #Conflicts: 1200000 | #Constraints: 45094
2111.74/2118.15 c #Conflicts: 1201000 | #Constraints: 46096
2111.74/2118.15 c #Conflicts: 1202000 | #Constraints: 47097
2111.74/2118.15 c #Conflicts: 1203000 | #Constraints: 48098
2111.74/2118.15 c #Conflicts: 1204000 | #Constraints: 49098
2111.74/2118.15 c #Conflicts: 1205000 | #Constraints: 50100
2111.74/2118.15 c #Conflicts: 1206000 | #Constraints: 51100
2111.74/2118.15 c #Conflicts: 1207000 | #Constraints: 52102
2111.74/2118.15 c #Conflicts: 1208000 | #Constraints: 53104
2111.74/2118.15 c #Conflicts: 1209000 | #Constraints: 54104
2111.74/2118.15 c INPROCESSING
2111.74/2118.15 c GARBAGE COLLECT
2111.74/2118.15 c rational objective 72
2147.04/2153.51 c #Conflicts: 1210000 | #Constraints: 30594
2147.04/2153.51 c #Conflicts: 1211000 | #Constraints: 31599
2147.04/2153.51 c #Conflicts: 1212000 | #Constraints: 32603
2147.04/2153.51 c #Conflicts: 1213000 | #Constraints: 33614
2147.04/2153.51 c #Conflicts: 1214000 | #Constraints: 34620
2147.04/2153.51 c #Conflicts: 1215000 | #Constraints: 35629
2147.04/2153.51 c #Conflicts: 1216000 | #Constraints: 36637
2147.04/2153.51 c #Conflicts: 1217000 | #Constraints: 37642
2147.04/2153.51 c #Conflicts: 1218000 | #Constraints: 38650
2147.04/2153.51 c #Conflicts: 1219000 | #Constraints: 39661
2147.04/2153.51 c #Conflicts: 1220000 | #Constraints: 40672
2147.04/2153.51 c #Conflicts: 1221000 | #Constraints: 41679
2147.04/2153.51 c #Conflicts: 1222000 | #Constraints: 42688
2147.04/2153.51 c #Conflicts: 1223000 | #Constraints: 43695
2147.04/2153.51 c #Conflicts: 1224000 | #Constraints: 44701
2147.04/2153.51 c #Conflicts: 1225000 | #Constraints: 45710
2147.04/2153.51 c #Conflicts: 1226000 | #Constraints: 46719
2147.04/2153.51 c #Conflicts: 1227000 | #Constraints: 47727
2147.04/2153.51 c #Conflicts: 1228000 | #Constraints: 48738
2147.04/2153.51 c #Conflicts: 1229000 | #Constraints: 49750
2147.04/2153.51 c #Conflicts: 1230000 | #Constraints: 50758
2147.04/2153.51 c #Conflicts: 1231000 | #Constraints: 51768
2147.04/2153.51 c INPROCESSING
2147.04/2153.51 c GARBAGE COLLECT
2147.04/2153.51 c rational objective 72
2297.15/2304.06 c #Conflicts: 1232000 | #Constraints: 29162
2297.15/2304.06 c #Conflicts: 1233000 | #Constraints: 30165
2297.15/2304.06 c #Conflicts: 1234000 | #Constraints: 31172
2297.15/2304.06 c #Conflicts: 1235000 | #Constraints: 32177
2297.15/2304.06 c #Conflicts: 1236000 | #Constraints: 33178
2297.15/2304.06 c #Conflicts: 1237000 | #Constraints: 34179
2297.15/2304.06 c #Conflicts: 1238000 | #Constraints: 35185
2297.15/2304.06 c #Conflicts: 1239000 | #Constraints: 36196
2297.15/2304.06 c #Conflicts: 1240000 | #Constraints: 37199
2297.15/2304.06 c #Conflicts: 1241000 | #Constraints: 38204
2297.15/2304.06 c #Conflicts: 1242000 | #Constraints: 39214
2297.15/2304.06 c #Conflicts: 1243000 | #Constraints: 40220
2297.15/2304.06 c #Conflicts: 1244000 | #Constraints: 41224
2297.15/2304.06 c #Conflicts: 1245000 | #Constraints: 42228
2297.15/2304.06 c #Conflicts: 1246000 | #Constraints: 43236
2297.15/2304.06 c #Conflicts: 1247000 | #Constraints: 44246
2297.15/2304.06 c #Conflicts: 1248000 | #Constraints: 45251
2297.15/2304.06 c #Conflicts: 1249000 | #Constraints: 46256
2297.15/2304.06 c #Conflicts: 1250000 | #Constraints: 47267
2297.15/2304.06 c #Conflicts: 1251000 | #Constraints: 48271
2297.15/2304.06 c #Conflicts: 1252000 | #Constraints: 49274
2297.15/2304.06 c #Conflicts: 1253000 | #Constraints: 50277
2297.15/2304.06 c #Conflicts: 1254000 | #Constraints: 51281
2297.15/2304.06 c #Conflicts: 1255000 | #Constraints: 52283
2297.15/2304.06 c #Conflicts: 1256000 | #Constraints: 53286
2297.15/2304.06 c #Conflicts: 1257000 | #Constraints: 54295
2297.15/2304.06 c #Conflicts: 1258000 | #Constraints: 55303
2297.15/2304.06 c #Conflicts: 1259000 | #Constraints: 56308
2297.15/2304.06 c #Conflicts: 1260000 | #Constraints: 57311
2297.15/2304.06 c #Conflicts: 1261000 | #Constraints: 58315
2297.15/2304.06 c #Conflicts: 1262000 | #Constraints: 59321
2297.15/2304.06 c #Conflicts: 1263000 | #Constraints: 60325
2297.15/2304.06 c #Conflicts: 1264000 | #Constraints: 61329
2297.15/2304.06 c #Conflicts: 1265000 | #Constraints: 62333
2297.15/2304.06 c #Conflicts: 1266000 | #Constraints: 63340
2297.15/2304.06 c #Conflicts: 1267000 | #Constraints: 64347
2297.15/2304.06 c #Conflicts: 1268000 | #Constraints: 65357
2297.15/2304.06 c #Conflicts: 1269000 | #Constraints: 66367
2297.15/2304.06 c #Conflicts: 1270000 | #Constraints: 67375
2297.15/2304.06 c #Conflicts: 1271000 | #Constraints: 68388
2297.15/2304.06 c #Conflicts: 1272000 | #Constraints: 69399
2297.15/2304.06 c #Conflicts: 1273000 | #Constraints: 70408
2297.15/2304.06 c #Conflicts: 1274000 | #Constraints: 71416
2297.15/2304.06 c #Conflicts: 1275000 | #Constraints: 72428
2297.15/2304.06 c #Conflicts: 1276000 | #Constraints: 73439
2297.15/2304.06 c #Conflicts: 1277000 | #Constraints: 74443
2297.15/2304.06 c #Conflicts: 1278000 | #Constraints: 75447
2297.15/2304.06 c #Conflicts: 1279000 | #Constraints: 76448
2297.15/2304.06 c #Conflicts: 1280000 | #Constraints: 77450
2297.15/2304.06 c #Conflicts: 1281000 | #Constraints: 78453
2297.15/2304.06 c #Conflicts: 1282000 | #Constraints: 79457
2297.15/2304.06 c #Conflicts: 1283000 | #Constraints: 80462
2297.15/2304.06 c #Conflicts: 1284000 | #Constraints: 81467
2297.15/2304.06 c #Conflicts: 1285000 | #Constraints: 82470
2297.15/2304.06 c #Conflicts: 1286000 | #Constraints: 83475
2297.15/2304.06 c #Conflicts: 1287000 | #Constraints: 84479
2297.15/2304.06 c #Conflicts: 1288000 | #Constraints: 85482
2297.15/2304.06 c #Conflicts: 1289000 | #Constraints: 86487
2297.15/2304.06 c #Conflicts: 1290000 | #Constraints: 87492
2297.15/2304.06 c #Conflicts: 1291000 | #Constraints: 88496
2297.15/2304.06 c #Conflicts: 1292000 | #Constraints: 89504
2297.15/2304.06 c #Conflicts: 1293000 | #Constraints: 90508
2297.15/2304.06 c #Conflicts: 1294000 | #Constraints: 91516
2297.15/2304.06 c #Conflicts: 1295000 | #Constraints: 92523
2297.15/2304.06 c #Conflicts: 1296000 | #Constraints: 93527
2297.15/2304.06 c #Conflicts: 1297000 | #Constraints: 94532
2297.15/2304.06 c #Conflicts: 1298000 | #Constraints: 95535
2297.15/2304.06 c #Conflicts: 1299000 | #Constraints: 96539
2297.15/2304.06 c #Conflicts: 1300000 | #Constraints: 97540
2297.15/2304.06 c #Conflicts: 1301000 | #Constraints: 98543
2297.15/2304.06 c #Conflicts: 1302000 | #Constraints: 99548
2297.15/2304.06 c #Conflicts: 1303000 | #Constraints: 100561
2297.15/2304.06 c #Conflicts: 1304000 | #Constraints: 101566
2297.15/2304.06 c #Conflicts: 1305000 | #Constraints: 102569
2297.15/2304.06 c #Conflicts: 1306000 | #Constraints: 103572
2297.15/2304.06 c #Conflicts: 1307000 | #Constraints: 104573
2297.15/2304.06 c #Conflicts: 1308000 | #Constraints: 105576
2297.15/2304.06 c #Conflicts: 1309000 | #Constraints: 106580
2297.15/2304.06 c #Conflicts: 1310000 | #Constraints: 107583
2361.96/2369.10 c #Conflicts: 1311000 | #Constraints: 108594
2361.96/2369.10 c #Conflicts: 1312000 | #Constraints: 109600
2361.96/2369.10 c #Conflicts: 1313000 | #Constraints: 110606
2361.96/2369.10 c #Conflicts: 1314000 | #Constraints: 111613
2361.96/2369.10 c #Conflicts: 1315000 | #Constraints: 112619
2361.96/2369.10 c #Conflicts: 1316000 | #Constraints: 113625
2361.96/2369.10 c #Conflicts: 1317000 | #Constraints: 114637
2361.96/2369.10 c #Conflicts: 1318000 | #Constraints: 115645
2361.96/2369.10 c #Conflicts: 1319000 | #Constraints: 116651
2361.96/2369.10 c #Conflicts: 1320000 | #Constraints: 117655
2361.96/2369.10 c #Conflicts: 1321000 | #Constraints: 118661
2361.96/2369.10 c #Conflicts: 1322000 | #Constraints: 119671
2361.96/2369.10 c #Conflicts: 1323000 | #Constraints: 120681
2361.96/2369.10 c #Conflicts: 1324000 | #Constraints: 121693
2361.96/2369.10 c #Conflicts: 1325000 | #Constraints: 122703
2361.96/2369.10 c #Conflicts: 1326000 | #Constraints: 123714
2361.96/2369.10 c #Conflicts: 1327000 | #Constraints: 124724
2361.96/2369.10 c #Conflicts: 1328000 | #Constraints: 125731
2361.96/2369.10 c #Conflicts: 1329000 | #Constraints: 126738
2361.96/2369.10 c #Conflicts: 1330000 | #Constraints: 127749
2361.96/2369.10 c #Conflicts: 1331000 | #Constraints: 128763
2361.96/2369.10 c #Conflicts: 1332000 | #Constraints: 129769
2361.96/2369.10 c #Conflicts: 1333000 | #Constraints: 130775
2361.96/2369.10 c #Conflicts: 1334000 | #Constraints: 131780
2361.96/2369.10 c #Conflicts: 1335000 | #Constraints: 132791
2361.96/2369.10 c #Conflicts: 1336000 | #Constraints: 133801
2361.96/2369.10 c #Conflicts: 1337000 | #Constraints: 134809
2361.96/2369.10 c #Conflicts: 1338000 | #Constraints: 135820
2361.96/2369.10 c #Conflicts: 1339000 | #Constraints: 136828
2361.96/2369.10 c INPROCESSING
2361.96/2369.10 c GARBAGE COLLECT
2361.96/2369.10 c rational objective 72
2422.10/2429.38 c #Conflicts: 1340000 | #Constraints: 71635
2422.10/2429.38 c #Conflicts: 1341000 | #Constraints: 72636
2422.10/2429.38 c #Conflicts: 1342000 | #Constraints: 73640
2422.10/2429.38 c #Conflicts: 1343000 | #Constraints: 74642
2422.10/2429.38 c #Conflicts: 1344000 | #Constraints: 75642
2422.10/2429.38 c #Conflicts: 1345000 | #Constraints: 76646
2422.10/2429.38 c #Conflicts: 1346000 | #Constraints: 77646
2422.10/2429.38 c #Conflicts: 1347000 | #Constraints: 78646
2422.10/2429.38 c #Conflicts: 1348000 | #Constraints: 79648
2422.10/2429.38 c #Conflicts: 1349000 | #Constraints: 80651
2422.10/2429.38 c #Conflicts: 1350000 | #Constraints: 81653
2422.10/2429.38 c #Conflicts: 1351000 | #Constraints: 82657
2422.10/2429.38 c #Conflicts: 1352000 | #Constraints: 83658
2422.10/2429.38 c #Conflicts: 1353000 | #Constraints: 84659
2422.10/2429.38 c #Conflicts: 1354000 | #Constraints: 85660
2422.10/2429.38 c #Conflicts: 1355000 | #Constraints: 86660
2422.10/2429.38 c #Conflicts: 1356000 | #Constraints: 87663
2422.10/2429.38 c #Conflicts: 1357000 | #Constraints: 88664
2422.10/2429.38 c #Conflicts: 1358000 | #Constraints: 89665
2422.10/2429.38 c #Conflicts: 1359000 | #Constraints: 90665
2422.10/2429.38 c #Conflicts: 1360000 | #Constraints: 91666
2422.10/2429.38 c #Conflicts: 1361000 | #Constraints: 92666
2422.10/2429.38 c #Conflicts: 1362000 | #Constraints: 93667
2422.10/2429.38 c #Conflicts: 1363000 | #Constraints: 94667
2422.10/2429.38 c INPROCESSING
2422.10/2429.38 c GARBAGE COLLECT
2422.10/2429.38 c rational objective 72
2471.36/2478.72 c #Conflicts: 1364000 | #Constraints: 50743
2471.36/2478.72 c #Conflicts: 1365000 | #Constraints: 51743
2471.36/2478.72 c #Conflicts: 1366000 | #Constraints: 52743
2471.36/2478.72 c #Conflicts: 1367000 | #Constraints: 53744
2471.36/2478.72 c #Conflicts: 1368000 | #Constraints: 54744
2471.36/2478.72 c #Conflicts: 1369000 | #Constraints: 55746
2471.36/2478.72 c #Conflicts: 1370000 | #Constraints: 56748
2471.36/2478.72 c #Conflicts: 1371000 | #Constraints: 57748
2471.36/2478.72 c #Conflicts: 1372000 | #Constraints: 58748
2471.36/2478.72 c #Conflicts: 1373000 | #Constraints: 59748
2471.36/2478.72 c #Conflicts: 1374000 | #Constraints: 60748
2471.36/2478.72 c #Conflicts: 1375000 | #Constraints: 61750
2471.36/2478.72 c #Conflicts: 1376000 | #Constraints: 62751
2471.36/2478.72 c #Conflicts: 1377000 | #Constraints: 63755
2471.36/2478.72 c #Conflicts: 1378000 | #Constraints: 64762
2471.36/2478.72 c #Conflicts: 1379000 | #Constraints: 65765
2471.36/2478.72 c #Conflicts: 1380000 | #Constraints: 66767
2471.36/2478.72 c #Conflicts: 1381000 | #Constraints: 67768
2471.36/2478.72 c #Conflicts: 1382000 | #Constraints: 68769
2471.36/2478.72 c #Conflicts: 1383000 | #Constraints: 69770
2471.36/2478.72 c #Conflicts: 1384000 | #Constraints: 70770
2471.36/2478.72 c #Conflicts: 1385000 | #Constraints: 71771
2471.36/2478.72 c #Conflicts: 1386000 | #Constraints: 72771
2471.36/2478.72 c #Conflicts: 1387000 | #Constraints: 73772
2471.36/2478.72 c INPROCESSING
2471.36/2478.72 c GARBAGE COLLECT
2471.36/2478.72 c rational objective 72
2513.94/2521.47 c #Conflicts: 1388000 | #Constraints: 40406
2513.94/2521.47 c #Conflicts: 1389000 | #Constraints: 41409
2513.94/2521.47 c #Conflicts: 1390000 | #Constraints: 42412
2513.94/2521.47 c #Conflicts: 1391000 | #Constraints: 43415
2513.94/2521.47 c #Conflicts: 1392000 | #Constraints: 44415
2513.94/2521.47 c #Conflicts: 1393000 | #Constraints: 45417
2513.94/2521.47 c #Conflicts: 1394000 | #Constraints: 46423
2513.94/2521.47 c #Conflicts: 1395000 | #Constraints: 47427
2513.94/2521.47 c #Conflicts: 1396000 | #Constraints: 48436
2513.94/2521.47 c #Conflicts: 1397000 | #Constraints: 49445
2513.94/2521.47 c #Conflicts: 1398000 | #Constraints: 50455
2513.94/2521.47 c #Conflicts: 1399000 | #Constraints: 51466
2513.94/2521.47 c #Conflicts: 1400000 | #Constraints: 52478
2513.94/2521.47 c #Conflicts: 1401000 | #Constraints: 53489
2513.94/2521.47 c #Conflicts: 1402000 | #Constraints: 54496
2513.94/2521.47 c #Conflicts: 1403000 | #Constraints: 55506
2513.94/2521.47 c #Conflicts: 1404000 | #Constraints: 56516
2513.94/2521.47 c #Conflicts: 1405000 | #Constraints: 57521
2513.94/2521.47 c #Conflicts: 1406000 | #Constraints: 58523
2513.94/2521.47 c #Conflicts: 1407000 | #Constraints: 59527
2513.94/2521.47 c #Conflicts: 1408000 | #Constraints: 60531
2513.94/2521.47 c #Conflicts: 1409000 | #Constraints: 61534
2513.94/2521.47 c #Conflicts: 1410000 | #Constraints: 62540
2513.94/2521.47 c #Conflicts: 1411000 | #Constraints: 63547
2513.94/2521.47 c INPROCESSING
2513.94/2521.47 c GARBAGE COLLECT
2513.94/2521.47 c rational objective 72
2555.02/2562.65 c #Conflicts: 1412000 | #Constraints: 35154
2555.02/2562.65 c #Conflicts: 1413000 | #Constraints: 36154
2555.02/2562.65 c #Conflicts: 1414000 | #Constraints: 37156
2555.02/2562.65 c #Conflicts: 1415000 | #Constraints: 38157
2555.02/2562.65 c #Conflicts: 1416000 | #Constraints: 39158
2555.02/2562.65 c #Conflicts: 1417000 | #Constraints: 40158
2555.02/2562.65 c #Conflicts: 1418000 | #Constraints: 41159
2555.02/2562.65 c #Conflicts: 1419000 | #Constraints: 42159
2555.02/2562.65 c #Conflicts: 1420000 | #Constraints: 43161
2555.02/2562.65 c #Conflicts: 1421000 | #Constraints: 44162
2555.02/2562.65 c #Conflicts: 1422000 | #Constraints: 45162
2555.02/2562.65 c #Conflicts: 1423000 | #Constraints: 46164
2555.02/2562.65 c #Conflicts: 1424000 | #Constraints: 47165
2555.02/2562.65 c #Conflicts: 1425000 | #Constraints: 48166
2555.02/2562.65 c #Conflicts: 1426000 | #Constraints: 49167
2555.02/2562.65 c #Conflicts: 1427000 | #Constraints: 50168
2555.02/2562.65 c #Conflicts: 1428000 | #Constraints: 51170
2555.02/2562.65 c #Conflicts: 1429000 | #Constraints: 52170
2555.02/2562.65 c #Conflicts: 1430000 | #Constraints: 53172
2555.02/2562.65 c #Conflicts: 1431000 | #Constraints: 54174
2555.02/2562.65 c #Conflicts: 1432000 | #Constraints: 55175
2555.02/2562.65 c #Conflicts: 1433000 | #Constraints: 56175
2555.02/2562.65 c #Conflicts: 1434000 | #Constraints: 57177
2555.02/2562.65 c #Conflicts: 1435000 | #Constraints: 58178
2555.02/2562.65 c INPROCESSING
2555.02/2562.65 c GARBAGE COLLECT
2555.02/2562.65 c rational objective 72
2591.02/2598.77 c #Conflicts: 1436000 | #Constraints: 32443
2591.02/2598.77 c #Conflicts: 1437000 | #Constraints: 33443
2591.02/2598.77 c #Conflicts: 1438000 | #Constraints: 34444
2591.02/2598.77 c #Conflicts: 1439000 | #Constraints: 35457
2591.02/2598.77 c #Conflicts: 1440000 | #Constraints: 36462
2591.02/2598.77 c #Conflicts: 1441000 | #Constraints: 37467
2591.02/2598.77 c #Conflicts: 1442000 | #Constraints: 38474
2591.02/2598.77 c #Conflicts: 1443000 | #Constraints: 39483
2591.02/2598.77 c #Conflicts: 1444000 | #Constraints: 40491
2591.02/2598.77 c #Conflicts: 1445000 | #Constraints: 41499
2591.02/2598.77 c #Conflicts: 1446000 | #Constraints: 42508
2591.02/2598.77 c #Conflicts: 1447000 | #Constraints: 43517
2591.02/2598.77 c #Conflicts: 1448000 | #Constraints: 44527
2591.02/2598.77 c #Conflicts: 1449000 | #Constraints: 45537
2591.02/2598.77 c #Conflicts: 1450000 | #Constraints: 46542
2591.02/2598.77 c #Conflicts: 1451000 | #Constraints: 47551
2591.02/2598.77 c #Conflicts: 1452000 | #Constraints: 48559
2591.02/2598.77 c #Conflicts: 1453000 | #Constraints: 49565
2591.02/2598.77 c #Conflicts: 1454000 | #Constraints: 50573
2591.02/2598.77 c #Conflicts: 1455000 | #Constraints: 51584
2591.02/2598.77 c #Conflicts: 1456000 | #Constraints: 52596
2591.02/2598.77 c #Conflicts: 1457000 | #Constraints: 53606
2591.02/2598.77 c #Conflicts: 1458000 | #Constraints: 54616
2591.02/2598.77 c #Conflicts: 1459000 | #Constraints: 55624
2591.02/2598.77 c #Conflicts: 1460000 | #Constraints: 56635
2591.02/2598.77 c INPROCESSING
2591.02/2598.77 c GARBAGE COLLECT
2591.02/2598.77 c rational objective 72
2745.18/2753.33 c #Conflicts: 1461000 | #Constraints: 31799
2745.18/2753.33 c #Conflicts: 1462000 | #Constraints: 32813
2745.18/2753.33 c #Conflicts: 1463000 | #Constraints: 33816
2745.18/2753.33 c #Conflicts: 1464000 | #Constraints: 34821
2745.18/2753.33 c #Conflicts: 1465000 | #Constraints: 35828
2745.18/2753.33 c #Conflicts: 1466000 | #Constraints: 36833
2745.18/2753.33 c #Conflicts: 1467000 | #Constraints: 37836
2745.18/2753.33 c #Conflicts: 1468000 | #Constraints: 38840
2745.18/2753.33 c #Conflicts: 1469000 | #Constraints: 39844
2745.18/2753.33 c #Conflicts: 1470000 | #Constraints: 40853
2745.18/2753.33 c #Conflicts: 1471000 | #Constraints: 41857
2745.18/2753.33 c #Conflicts: 1472000 | #Constraints: 42861
2745.18/2753.33 c #Conflicts: 1473000 | #Constraints: 43861
2745.18/2753.33 c #Conflicts: 1474000 | #Constraints: 44865
2745.18/2753.33 c #Conflicts: 1475000 | #Constraints: 45870
2745.18/2753.33 c #Conflicts: 1476000 | #Constraints: 46870
2745.18/2753.33 c #Conflicts: 1477000 | #Constraints: 47871
2745.18/2753.33 c #Conflicts: 1478000 | #Constraints: 48878
2745.18/2753.33 c #Conflicts: 1479000 | #Constraints: 49882
2745.18/2753.33 c #Conflicts: 1480000 | #Constraints: 50883
2745.18/2753.33 c #Conflicts: 1481000 | #Constraints: 51886
2745.18/2753.33 c #Conflicts: 1482000 | #Constraints: 52889
2745.18/2753.33 c #Conflicts: 1483000 | #Constraints: 53891
2745.18/2753.33 c #Conflicts: 1484000 | #Constraints: 54894
2745.18/2753.33 c #Conflicts: 1485000 | #Constraints: 55899
2745.18/2753.33 c #Conflicts: 1486000 | #Constraints: 56903
2745.18/2753.33 c #Conflicts: 1487000 | #Constraints: 57912
2745.18/2753.33 c #Conflicts: 1488000 | #Constraints: 58916
2745.18/2753.33 c #Conflicts: 1489000 | #Constraints: 59924
2745.18/2753.33 c #Conflicts: 1490000 | #Constraints: 60929
2745.18/2753.33 c #Conflicts: 1491000 | #Constraints: 61934
2745.18/2753.33 c #Conflicts: 1492000 | #Constraints: 62935
2745.18/2753.33 c #Conflicts: 1493000 | #Constraints: 63939
2745.18/2753.33 c #Conflicts: 1494000 | #Constraints: 64941
2745.18/2753.33 c #Conflicts: 1495000 | #Constraints: 65944
2745.18/2753.33 c #Conflicts: 1496000 | #Constraints: 66951
2745.18/2753.33 c #Conflicts: 1497000 | #Constraints: 67957
2745.18/2753.33 c #Conflicts: 1498000 | #Constraints: 68963
2745.18/2753.33 c #Conflicts: 1499000 | #Constraints: 69972
2745.18/2753.33 c #Conflicts: 1500000 | #Constraints: 70982
2745.18/2753.33 c #Conflicts: 1501000 | #Constraints: 71989
2745.18/2753.33 c #Conflicts: 1502000 | #Constraints: 73001
2745.18/2753.33 c #Conflicts: 1503000 | #Constraints: 74012
2745.18/2753.33 c #Conflicts: 1504000 | #Constraints: 75021
2745.18/2753.33 c #Conflicts: 1505000 | #Constraints: 76028
2745.18/2753.33 c #Conflicts: 1506000 | #Constraints: 77036
2745.18/2753.33 c #Conflicts: 1507000 | #Constraints: 78044
2745.18/2753.33 c #Conflicts: 1508000 | #Constraints: 79048
2745.18/2753.33 c #Conflicts: 1509000 | #Constraints: 80052
2745.18/2753.33 c #Conflicts: 1510000 | #Constraints: 81057
2745.18/2753.33 c #Conflicts: 1511000 | #Constraints: 82059
2745.18/2753.33 c #Conflicts: 1512000 | #Constraints: 83063
2745.18/2753.33 c #Conflicts: 1513000 | #Constraints: 84068
2745.18/2753.33 c #Conflicts: 1514000 | #Constraints: 85074
2745.18/2753.33 c #Conflicts: 1515000 | #Constraints: 86082
2745.18/2753.33 c #Conflicts: 1516000 | #Constraints: 87087
2745.18/2753.33 c #Conflicts: 1517000 | #Constraints: 88089
2745.18/2753.33 c #Conflicts: 1518000 | #Constraints: 89093
2745.18/2753.33 c #Conflicts: 1519000 | #Constraints: 90100
2745.18/2753.33 c #Conflicts: 1520000 | #Constraints: 91103
2745.18/2753.33 c #Conflicts: 1521000 | #Constraints: 92107
2745.18/2753.33 c #Conflicts: 1522000 | #Constraints: 93114
2745.18/2753.33 c #Conflicts: 1523000 | #Constraints: 94123
2745.18/2753.33 c #Conflicts: 1524000 | #Constraints: 95133
2745.18/2753.33 c #Conflicts: 1525000 | #Constraints: 96142
2745.18/2753.33 c #Conflicts: 1526000 | #Constraints: 97154
2745.18/2753.33 c #Conflicts: 1527000 | #Constraints: 98157
2745.18/2753.33 c #Conflicts: 1528000 | #Constraints: 99161
2745.18/2753.33 c #Conflicts: 1529000 | #Constraints: 100167
2745.18/2753.33 c #Conflicts: 1530000 | #Constraints: 101171
2745.18/2753.33 c #Conflicts: 1531000 | #Constraints: 102175
2745.18/2753.33 c #Conflicts: 1532000 | #Constraints: 103180
2745.18/2753.33 c #Conflicts: 1533000 | #Constraints: 104187
2745.18/2753.33 c #Conflicts: 1534000 | #Constraints: 105200
2745.18/2753.33 c #Conflicts: 1535000 | #Constraints: 106203
2745.18/2753.33 c #Conflicts: 1536000 | #Constraints: 107205
2745.18/2753.33 c #Conflicts: 1537000 | #Constraints: 108208
2745.18/2753.33 c #Conflicts: 1538000 | #Constraints: 109212
2745.18/2753.33 c #Conflicts: 1539000 | #Constraints: 110216
2824.45/2832.82 c #Conflicts: 1540000 | #Constraints: 111219
2824.45/2832.82 c #Conflicts: 1541000 | #Constraints: 112223
2824.45/2832.82 c #Conflicts: 1542000 | #Constraints: 113226
2824.45/2832.82 c #Conflicts: 1543000 | #Constraints: 114231
2824.45/2832.82 c #Conflicts: 1544000 | #Constraints: 115241
2824.45/2832.82 c #Conflicts: 1545000 | #Constraints: 116249
2824.45/2832.82 c #Conflicts: 1546000 | #Constraints: 117258
2824.45/2832.82 c #Conflicts: 1547000 | #Constraints: 118264
2824.45/2832.82 c #Conflicts: 1548000 | #Constraints: 119274
2824.45/2832.82 c #Conflicts: 1549000 | #Constraints: 120280
2824.45/2832.82 c #Conflicts: 1550000 | #Constraints: 121285
2824.45/2832.82 c #Conflicts: 1551000 | #Constraints: 122291
2824.45/2832.82 c #Conflicts: 1552000 | #Constraints: 123297
2824.45/2832.82 c #Conflicts: 1553000 | #Constraints: 124302
2824.45/2832.82 c #Conflicts: 1554000 | #Constraints: 125309
2824.45/2832.82 c #Conflicts: 1555000 | #Constraints: 126317
2824.45/2832.82 c #Conflicts: 1556000 | #Constraints: 127326
2824.45/2832.82 c #Conflicts: 1557000 | #Constraints: 128333
2824.45/2832.82 c #Conflicts: 1558000 | #Constraints: 129343
2824.45/2832.82 c #Conflicts: 1559000 | #Constraints: 130348
2824.45/2832.82 c #Conflicts: 1560000 | #Constraints: 131354
2824.45/2832.82 c #Conflicts: 1561000 | #Constraints: 132360
2824.45/2832.82 c #Conflicts: 1562000 | #Constraints: 133365
2824.45/2832.82 c #Conflicts: 1563000 | #Constraints: 134373
2824.45/2832.82 c #Conflicts: 1564000 | #Constraints: 135377
2824.45/2832.82 c #Conflicts: 1565000 | #Constraints: 136382
2824.45/2832.82 c #Conflicts: 1566000 | #Constraints: 137393
2824.45/2832.82 c #Conflicts: 1567000 | #Constraints: 138401
2824.45/2832.82 c #Conflicts: 1568000 | #Constraints: 139406
2824.45/2832.82 c #Conflicts: 1569000 | #Constraints: 140415
2824.45/2832.82 c #Conflicts: 1570000 | #Constraints: 141427
2824.45/2832.82 c #Conflicts: 1571000 | #Constraints: 142435
2824.45/2832.82 c #Conflicts: 1572000 | #Constraints: 143442
2824.45/2832.82 c #Conflicts: 1573000 | #Constraints: 144452
2824.45/2832.82 c #Conflicts: 1574000 | #Constraints: 145464
2824.45/2832.82 c #Conflicts: 1575000 | #Constraints: 146470
2824.45/2832.82 c INPROCESSING
2824.45/2832.82 c GARBAGE COLLECT
2824.45/2832.82 c rational objective 72
2883.39/2891.90 c #Conflicts: 1576000 | #Constraints: 76405
2883.39/2891.90 c #Conflicts: 1577000 | #Constraints: 77407
2883.39/2891.90 c #Conflicts: 1578000 | #Constraints: 78407
2883.39/2891.90 c #Conflicts: 1579000 | #Constraints: 79409
2883.39/2891.90 c #Conflicts: 1580000 | #Constraints: 80409
2883.39/2891.90 c #Conflicts: 1581000 | #Constraints: 81411
2883.39/2891.90 c #Conflicts: 1582000 | #Constraints: 82413
2883.39/2891.90 c #Conflicts: 1583000 | #Constraints: 83415
2883.39/2891.90 c #Conflicts: 1584000 | #Constraints: 84416
2883.39/2891.90 c #Conflicts: 1585000 | #Constraints: 85416
2883.39/2891.90 c #Conflicts: 1586000 | #Constraints: 86417
2883.39/2891.90 c #Conflicts: 1587000 | #Constraints: 87420
2883.39/2891.90 c #Conflicts: 1588000 | #Constraints: 88420
2883.39/2891.90 c #Conflicts: 1589000 | #Constraints: 89421
2883.39/2891.90 c #Conflicts: 1590000 | #Constraints: 90421
2883.39/2891.90 c #Conflicts: 1591000 | #Constraints: 91422
2883.39/2891.90 c #Conflicts: 1592000 | #Constraints: 92424
2883.39/2891.90 c #Conflicts: 1593000 | #Constraints: 93424
2883.39/2891.90 c #Conflicts: 1594000 | #Constraints: 94425
2883.39/2891.90 c #Conflicts: 1595000 | #Constraints: 95426
2883.39/2891.90 c #Conflicts: 1596000 | #Constraints: 96427
2883.39/2891.90 c #Conflicts: 1597000 | #Constraints: 97429
2883.39/2891.90 c #Conflicts: 1598000 | #Constraints: 98431
2883.39/2891.90 c #Conflicts: 1599000 | #Constraints: 99435
2883.39/2891.90 c #Conflicts: 1600000 | #Constraints: 100439
2883.39/2891.90 c #Conflicts: 1601000 | #Constraints: 101443
2883.39/2891.90 c INPROCESSING
2883.39/2891.90 c GARBAGE COLLECT
2883.39/2891.90 c rational objective 72
2946.03/2954.77 c #Conflicts: 1602000 | #Constraints: 54073
2946.03/2954.77 c #Conflicts: 1603000 | #Constraints: 55075
2946.03/2954.77 c #Conflicts: 1604000 | #Constraints: 56078
2946.03/2954.77 c #Conflicts: 1605000 | #Constraints: 57082
2946.03/2954.77 c #Conflicts: 1606000 | #Constraints: 58083
2946.03/2954.77 c #Conflicts: 1607000 | #Constraints: 59086
2946.03/2954.77 c #Conflicts: 1608000 | #Constraints: 60086
2946.03/2954.77 c #Conflicts: 1609000 | #Constraints: 61087
2946.03/2954.77 c #Conflicts: 1610000 | #Constraints: 62088
2946.03/2954.77 c #Conflicts: 1611000 | #Constraints: 63088
2946.03/2954.77 c #Conflicts: 1612000 | #Constraints: 64088
2946.03/2954.77 c #Conflicts: 1613000 | #Constraints: 65088
2946.03/2954.77 c #Conflicts: 1614000 | #Constraints: 66089
2946.03/2954.77 c #Conflicts: 1615000 | #Constraints: 67090
2946.03/2954.77 c #Conflicts: 1616000 | #Constraints: 68093
2946.03/2954.77 c #Conflicts: 1617000 | #Constraints: 69094
2946.03/2954.77 c #Conflicts: 1618000 | #Constraints: 70096
2946.03/2954.77 c #Conflicts: 1619000 | #Constraints: 71097
2946.03/2954.77 c #Conflicts: 1620000 | #Constraints: 72097
2946.03/2954.77 c #Conflicts: 1621000 | #Constraints: 73099
2946.03/2954.77 c #Conflicts: 1622000 | #Constraints: 74099
2946.03/2954.77 c #Conflicts: 1623000 | #Constraints: 75100
2946.03/2954.77 c #Conflicts: 1624000 | #Constraints: 76101
2946.03/2954.77 c #Conflicts: 1625000 | #Constraints: 77101
2946.03/2954.77 c #Conflicts: 1626000 | #Constraints: 78102
2946.03/2954.77 c #Conflicts: 1627000 | #Constraints: 79103
2946.03/2954.77 c INPROCESSING
2946.03/2954.77 c GARBAGE COLLECT
2946.03/2954.77 c rational objective 72
2996.40/3005.24 c #Conflicts: 1628000 | #Constraints: 42936
2996.40/3005.24 c #Conflicts: 1629000 | #Constraints: 43938
2996.40/3005.24 c #Conflicts: 1630000 | #Constraints: 44939
2996.40/3005.24 c #Conflicts: 1631000 | #Constraints: 45941
2996.40/3005.24 c #Conflicts: 1632000 | #Constraints: 46950
2996.40/3005.24 c #Conflicts: 1633000 | #Constraints: 47956
2996.40/3005.24 c #Conflicts: 1634000 | #Constraints: 48964
2996.40/3005.24 c #Conflicts: 1635000 | #Constraints: 49969
2996.40/3005.24 c #Conflicts: 1636000 | #Constraints: 50970
2996.40/3005.24 c #Conflicts: 1637000 | #Constraints: 51972
2996.40/3005.24 c #Conflicts: 1638000 | #Constraints: 52977
2996.40/3005.24 c #Conflicts: 1639000 | #Constraints: 53983
2996.40/3005.24 c #Conflicts: 1640000 | #Constraints: 54990
2996.40/3005.24 c #Conflicts: 1641000 | #Constraints: 55994
2996.40/3005.24 c #Conflicts: 1642000 | #Constraints: 56998
2996.40/3005.24 c #Conflicts: 1643000 | #Constraints: 58003
2996.40/3005.24 c #Conflicts: 1644000 | #Constraints: 59006
2996.40/3005.24 c #Conflicts: 1645000 | #Constraints: 60010
2996.40/3005.24 c #Conflicts: 1646000 | #Constraints: 61014
2996.40/3005.24 c #Conflicts: 1647000 | #Constraints: 62017
2996.40/3005.24 c #Conflicts: 1648000 | #Constraints: 63022
2996.40/3005.24 c #Conflicts: 1649000 | #Constraints: 64028
2996.40/3005.24 c #Conflicts: 1650000 | #Constraints: 65033
2996.40/3005.24 c #Conflicts: 1651000 | #Constraints: 66038
2996.40/3005.24 c #Conflicts: 1652000 | #Constraints: 67044
2996.40/3005.24 c #Conflicts: 1653000 | #Constraints: 68052
2996.40/3005.24 c INPROCESSING
2996.40/3005.24 c GARBAGE COLLECT
2996.40/3005.24 c rational objective 72
3042.99/3052.00 c #Conflicts: 1654000 | #Constraints: 37211
3042.99/3052.00 c #Conflicts: 1655000 | #Constraints: 38215
3042.99/3052.00 c #Conflicts: 1656000 | #Constraints: 39220
3042.99/3052.00 c #Conflicts: 1657000 | #Constraints: 40225
3042.99/3052.00 c #Conflicts: 1658000 | #Constraints: 41232
3042.99/3052.00 c #Conflicts: 1659000 | #Constraints: 42240
3042.99/3052.00 c #Conflicts: 1660000 | #Constraints: 43249
3042.99/3052.00 c #Conflicts: 1661000 | #Constraints: 44257
3042.99/3052.00 c #Conflicts: 1662000 | #Constraints: 45261
3042.99/3052.00 c #Conflicts: 1663000 | #Constraints: 46264
3042.99/3052.00 c #Conflicts: 1664000 | #Constraints: 47267
3042.99/3052.00 c #Conflicts: 1665000 | #Constraints: 48270
3042.99/3052.00 c #Conflicts: 1666000 | #Constraints: 49273
3042.99/3052.00 c #Conflicts: 1667000 | #Constraints: 50277
3042.99/3052.00 c #Conflicts: 1668000 | #Constraints: 51286
3042.99/3052.00 c #Conflicts: 1669000 | #Constraints: 52294
3042.99/3052.00 c #Conflicts: 1670000 | #Constraints: 53297
3042.99/3052.00 c #Conflicts: 1671000 | #Constraints: 54300
3042.99/3052.00 c #Conflicts: 1672000 | #Constraints: 55306
3042.99/3052.00 c #Conflicts: 1673000 | #Constraints: 56309
3042.99/3052.00 c #Conflicts: 1674000 | #Constraints: 57313
3042.99/3052.00 c #Conflicts: 1675000 | #Constraints: 58318
3042.99/3052.00 c #Conflicts: 1676000 | #Constraints: 59324
3042.99/3052.00 c #Conflicts: 1677000 | #Constraints: 60333
3042.99/3052.00 c #Conflicts: 1678000 | #Constraints: 61342
3042.99/3052.00 c #Conflicts: 1679000 | #Constraints: 62354
3042.99/3052.00 c #Conflicts: 1680000 | #Constraints: 63365
3042.99/3052.00 c INPROCESSING
3042.99/3052.00 c GARBAGE COLLECT
3042.99/3052.00 c rational objective 72
3088.57/3097.69 c #Conflicts: 1681000 | #Constraints: 35168
3088.57/3097.69 c #Conflicts: 1682000 | #Constraints: 36172
3088.57/3097.69 c #Conflicts: 1683000 | #Constraints: 37176
3088.57/3097.69 c #Conflicts: 1684000 | #Constraints: 38176
3088.57/3097.69 c #Conflicts: 1685000 | #Constraints: 39178
3088.57/3097.69 c #Conflicts: 1686000 | #Constraints: 40179
3088.57/3097.69 c #Conflicts: 1687000 | #Constraints: 41179
3088.57/3097.69 c #Conflicts: 1688000 | #Constraints: 42180
3088.57/3097.69 c #Conflicts: 1689000 | #Constraints: 43181
3088.57/3097.69 c #Conflicts: 1690000 | #Constraints: 44181
3088.57/3097.69 c #Conflicts: 1691000 | #Constraints: 45181
3088.57/3097.69 c #Conflicts: 1692000 | #Constraints: 46182
3088.57/3097.69 c #Conflicts: 1693000 | #Constraints: 47182
3088.57/3097.69 c #Conflicts: 1694000 | #Constraints: 48183
3088.57/3097.69 c #Conflicts: 1695000 | #Constraints: 49183
3088.57/3097.69 c #Conflicts: 1696000 | #Constraints: 50183
3088.57/3097.69 c #Conflicts: 1697000 | #Constraints: 51184
3088.57/3097.69 c #Conflicts: 1698000 | #Constraints: 52185
3088.57/3097.69 c #Conflicts: 1699000 | #Constraints: 53186
3088.57/3097.69 c #Conflicts: 1700000 | #Constraints: 54188
3088.57/3097.69 c #Conflicts: 1701000 | #Constraints: 55189
3088.57/3097.69 c #Conflicts: 1702000 | #Constraints: 56189
3088.57/3097.69 c #Conflicts: 1703000 | #Constraints: 57189
3088.57/3097.69 c #Conflicts: 1704000 | #Constraints: 58189
3088.57/3097.69 c #Conflicts: 1705000 | #Constraints: 59191
3088.57/3097.69 c #Conflicts: 1706000 | #Constraints: 60192
3088.57/3097.69 c INPROCESSING
3088.57/3097.69 c GARBAGE COLLECT
3088.57/3097.69 c rational objective 72
3234.17/3243.60 c #Conflicts: 1707000 | #Constraints: 33306
3234.17/3243.60 c #Conflicts: 1708000 | #Constraints: 34316
3234.17/3243.60 c #Conflicts: 1709000 | #Constraints: 35324
3234.17/3243.60 c #Conflicts: 1710000 | #Constraints: 36327
3234.17/3243.60 c #Conflicts: 1711000 | #Constraints: 37330
3234.17/3243.60 c #Conflicts: 1712000 | #Constraints: 38336
3234.17/3243.60 c #Conflicts: 1713000 | #Constraints: 39342
3234.17/3243.60 c #Conflicts: 1714000 | #Constraints: 40347
3234.17/3243.60 c #Conflicts: 1715000 | #Constraints: 41350
3234.17/3243.60 c #Conflicts: 1716000 | #Constraints: 42354
3234.17/3243.60 c #Conflicts: 1717000 | #Constraints: 43358
3234.17/3243.60 c #Conflicts: 1718000 | #Constraints: 44364
3234.17/3243.60 c #Conflicts: 1719000 | #Constraints: 45367
3234.17/3243.60 c #Conflicts: 1720000 | #Constraints: 46375
3234.17/3243.60 c #Conflicts: 1721000 | #Constraints: 47382
3234.17/3243.60 c #Conflicts: 1722000 | #Constraints: 48391
3234.17/3243.60 c #Conflicts: 1723000 | #Constraints: 49396
3234.17/3243.60 c #Conflicts: 1724000 | #Constraints: 50406
3234.17/3243.60 c #Conflicts: 1725000 | #Constraints: 51414
3234.17/3243.60 c #Conflicts: 1726000 | #Constraints: 52422
3234.17/3243.60 c #Conflicts: 1727000 | #Constraints: 53430
3234.17/3243.60 c #Conflicts: 1728000 | #Constraints: 54438
3234.17/3243.60 c #Conflicts: 1729000 | #Constraints: 55444
3234.17/3243.60 c #Conflicts: 1730000 | #Constraints: 56450
3234.17/3243.60 c #Conflicts: 1731000 | #Constraints: 57461
3234.17/3243.60 c #Conflicts: 1732000 | #Constraints: 58467
3234.17/3243.60 c #Conflicts: 1733000 | #Constraints: 59478
3234.17/3243.60 c #Conflicts: 1734000 | #Constraints: 60488
3234.17/3243.60 c #Conflicts: 1735000 | #Constraints: 61500
3234.17/3243.60 c #Conflicts: 1736000 | #Constraints: 62510
3234.17/3243.60 c #Conflicts: 1737000 | #Constraints: 63522
3234.17/3243.60 c #Conflicts: 1738000 | #Constraints: 64532
3234.17/3243.60 c #Conflicts: 1739000 | #Constraints: 65539
3234.17/3243.60 c #Conflicts: 1740000 | #Constraints: 66542
3234.17/3243.60 c #Conflicts: 1741000 | #Constraints: 67549
3234.17/3243.60 c #Conflicts: 1742000 | #Constraints: 68555
3234.17/3243.60 c #Conflicts: 1743000 | #Constraints: 69564
3234.17/3243.60 c #Conflicts: 1744000 | #Constraints: 70571
3234.17/3243.60 c #Conflicts: 1745000 | #Constraints: 71574
3234.17/3243.60 c #Conflicts: 1746000 | #Constraints: 72580
3234.17/3243.60 c #Conflicts: 1747000 | #Constraints: 73584
3234.17/3243.60 c #Conflicts: 1748000 | #Constraints: 74588
3234.17/3243.60 c #Conflicts: 1749000 | #Constraints: 75593
3234.17/3243.60 c #Conflicts: 1750000 | #Constraints: 76597
3234.17/3243.60 c #Conflicts: 1751000 | #Constraints: 77605
3234.17/3243.60 c #Conflicts: 1752000 | #Constraints: 78613
3234.17/3243.60 c #Conflicts: 1753000 | #Constraints: 79617
3234.17/3243.60 c #Conflicts: 1754000 | #Constraints: 80621
3234.17/3243.60 c #Conflicts: 1755000 | #Constraints: 81626
3234.17/3243.60 c #Conflicts: 1756000 | #Constraints: 82631
3234.17/3243.60 c #Conflicts: 1757000 | #Constraints: 83635
3234.17/3243.60 c #Conflicts: 1758000 | #Constraints: 84639
3234.17/3243.60 c #Conflicts: 1759000 | #Constraints: 85649
3234.17/3243.60 c #Conflicts: 1760000 | #Constraints: 86659
3234.17/3243.60 c #Conflicts: 1761000 | #Constraints: 87669
3234.17/3243.60 c #Conflicts: 1762000 | #Constraints: 88680
3234.17/3243.60 c #Conflicts: 1763000 | #Constraints: 89689
3234.17/3243.60 c #Conflicts: 1764000 | #Constraints: 90695
3234.17/3243.60 c #Conflicts: 1765000 | #Constraints: 91698
3234.17/3243.60 c #Conflicts: 1766000 | #Constraints: 92702
3234.17/3243.60 c #Conflicts: 1767000 | #Constraints: 93705
3234.17/3243.60 c #Conflicts: 1768000 | #Constraints: 94706
3234.17/3243.60 c #Conflicts: 1769000 | #Constraints: 95711
3234.17/3243.60 c #Conflicts: 1770000 | #Constraints: 96716
3234.17/3243.60 c #Conflicts: 1771000 | #Constraints: 97723
3234.17/3243.60 c #Conflicts: 1772000 | #Constraints: 98726
3234.17/3243.60 c #Conflicts: 1773000 | #Constraints: 99733
3234.17/3243.60 c #Conflicts: 1774000 | #Constraints: 100737
3234.17/3243.60 c #Conflicts: 1775000 | #Constraints: 101740
3234.17/3243.60 c #Conflicts: 1776000 | #Constraints: 102745
3234.17/3243.60 c #Conflicts: 1777000 | #Constraints: 103748
3234.17/3243.60 c #Conflicts: 1778000 | #Constraints: 104753
3234.17/3243.60 c #Conflicts: 1779000 | #Constraints: 105759
3234.17/3243.60 c #Conflicts: 1780000 | #Constraints: 106764
3234.17/3243.60 c #Conflicts: 1781000 | #Constraints: 107772
3234.17/3243.60 c #Conflicts: 1782000 | #Constraints: 108778
3234.17/3243.60 c #Conflicts: 1783000 | #Constraints: 109784
3234.17/3243.60 c #Conflicts: 1784000 | #Constraints: 110789
3234.17/3243.60 c #Conflicts: 1785000 | #Constraints: 111795
3351.93/3361.75 c #Conflicts: 1786000 | #Constraints: 112803
3351.93/3361.75 c #Conflicts: 1787000 | #Constraints: 113815
3351.93/3361.75 c #Conflicts: 1788000 | #Constraints: 114821
3351.93/3361.75 c #Conflicts: 1789000 | #Constraints: 115824
3351.93/3361.75 c #Conflicts: 1790000 | #Constraints: 116826
3351.93/3361.75 c #Conflicts: 1791000 | #Constraints: 117830
3351.93/3361.75 c #Conflicts: 1792000 | #Constraints: 118837
3351.93/3361.75 c #Conflicts: 1793000 | #Constraints: 119838
3351.93/3361.75 c #Conflicts: 1794000 | #Constraints: 120841
3351.93/3361.75 c #Conflicts: 1795000 | #Constraints: 121847
3351.93/3361.75 c #Conflicts: 1796000 | #Constraints: 122852
3351.93/3361.75 c #Conflicts: 1797000 | #Constraints: 123859
3351.93/3361.75 c #Conflicts: 1798000 | #Constraints: 124862
3351.93/3361.75 c #Conflicts: 1799000 | #Constraints: 125867
3351.93/3361.75 c #Conflicts: 1800000 | #Constraints: 126872
3351.93/3361.75 c #Conflicts: 1801000 | #Constraints: 127875
3351.93/3361.75 c #Conflicts: 1802000 | #Constraints: 128877
3351.93/3361.75 c #Conflicts: 1803000 | #Constraints: 129881
3351.93/3361.75 c #Conflicts: 1804000 | #Constraints: 130885
3351.93/3361.75 c #Conflicts: 1805000 | #Constraints: 131896
3351.93/3361.75 c #Conflicts: 1806000 | #Constraints: 132903
3351.93/3361.75 c #Conflicts: 1807000 | #Constraints: 133910
3351.93/3361.75 c #Conflicts: 1808000 | #Constraints: 134915
3351.93/3361.75 c #Conflicts: 1809000 | #Constraints: 135919
3351.93/3361.75 c #Conflicts: 1810000 | #Constraints: 136923
3351.93/3361.75 c #Conflicts: 1811000 | #Constraints: 137928
3351.93/3361.75 c #Conflicts: 1812000 | #Constraints: 138932
3351.93/3361.75 c #Conflicts: 1813000 | #Constraints: 139935
3351.93/3361.75 c #Conflicts: 1814000 | #Constraints: 140940
3351.93/3361.75 c #Conflicts: 1815000 | #Constraints: 141946
3351.93/3361.75 c #Conflicts: 1816000 | #Constraints: 142953
3351.93/3361.75 c #Conflicts: 1817000 | #Constraints: 143954
3351.93/3361.75 c #Conflicts: 1818000 | #Constraints: 144958
3351.93/3361.75 c #Conflicts: 1819000 | #Constraints: 145961
3351.93/3361.75 c #Conflicts: 1820000 | #Constraints: 146965
3351.93/3361.75 c #Conflicts: 1821000 | #Constraints: 147967
3351.93/3361.75 c #Conflicts: 1822000 | #Constraints: 148969
3351.93/3361.75 c #Conflicts: 1823000 | #Constraints: 149972
3351.93/3361.75 c #Conflicts: 1824000 | #Constraints: 150977
3351.93/3361.75 c #Conflicts: 1825000 | #Constraints: 151986
3351.93/3361.75 c #Conflicts: 1826000 | #Constraints: 153000
3351.93/3361.75 c #Conflicts: 1827000 | #Constraints: 154014
3351.93/3361.75 c #Conflicts: 1828000 | #Constraints: 155021
3351.93/3361.75 c #Conflicts: 1829000 | #Constraints: 156027
3351.93/3361.75 c INPROCESSING
3351.93/3361.75 c GARBAGE COLLECT
3351.93/3361.75 c rational objective 72
3427.31/3437.38 c #Conflicts: 1830000 | #Constraints: 81143
3427.31/3437.38 c #Conflicts: 1831000 | #Constraints: 82144
3427.31/3437.38 c #Conflicts: 1832000 | #Constraints: 83146
3427.31/3437.38 c #Conflicts: 1833000 | #Constraints: 84147
3427.31/3437.38 c #Conflicts: 1834000 | #Constraints: 85149
3427.31/3437.38 c #Conflicts: 1835000 | #Constraints: 86149
3427.31/3437.38 c #Conflicts: 1836000 | #Constraints: 87149
3427.31/3437.38 c #Conflicts: 1837000 | #Constraints: 88151
3427.31/3437.38 c #Conflicts: 1838000 | #Constraints: 89152
3427.31/3437.38 c #Conflicts: 1839000 | #Constraints: 90155
3427.31/3437.38 c #Conflicts: 1840000 | #Constraints: 91157
3427.31/3437.38 c #Conflicts: 1841000 | #Constraints: 92157
3427.31/3437.38 c #Conflicts: 1842000 | #Constraints: 93159
3427.31/3437.38 c #Conflicts: 1843000 | #Constraints: 94160
3427.31/3437.38 c #Conflicts: 1844000 | #Constraints: 95160
3427.31/3437.38 c #Conflicts: 1845000 | #Constraints: 96165
3427.31/3437.38 c #Conflicts: 1846000 | #Constraints: 97170
3427.31/3437.38 c #Conflicts: 1847000 | #Constraints: 98170
3427.31/3437.38 c #Conflicts: 1848000 | #Constraints: 99172
3427.31/3437.38 c #Conflicts: 1849000 | #Constraints: 100172
3427.31/3437.38 c #Conflicts: 1850000 | #Constraints: 101174
3427.31/3437.38 c #Conflicts: 1851000 | #Constraints: 102178
3427.31/3437.38 c #Conflicts: 1852000 | #Constraints: 103179
3427.31/3437.38 c #Conflicts: 1853000 | #Constraints: 104179
3427.31/3437.38 c #Conflicts: 1854000 | #Constraints: 105181
3427.31/3437.38 c #Conflicts: 1855000 | #Constraints: 106182
3427.31/3437.38 c #Conflicts: 1856000 | #Constraints: 107183
3427.31/3437.38 c #Conflicts: 1857000 | #Constraints: 108184
3427.31/3437.38 c INPROCESSING
3427.31/3437.38 c GARBAGE COLLECT
3427.31/3437.38 c rational objective 72
3490.93/3501.12 c #Conflicts: 1858000 | #Constraints: 57322
3490.93/3501.12 c #Conflicts: 1859000 | #Constraints: 58322
3490.93/3501.12 c #Conflicts: 1860000 | #Constraints: 59324
3490.93/3501.12 c #Conflicts: 1861000 | #Constraints: 60324
3490.93/3501.12 c #Conflicts: 1862000 | #Constraints: 61324
3490.93/3501.12 c #Conflicts: 1863000 | #Constraints: 62325
3490.93/3501.12 c #Conflicts: 1864000 | #Constraints: 63327
3490.93/3501.12 c #Conflicts: 1865000 | #Constraints: 64329
3490.93/3501.12 c #Conflicts: 1866000 | #Constraints: 65330
3490.93/3501.12 c #Conflicts: 1867000 | #Constraints: 66331
3490.93/3501.12 c #Conflicts: 1868000 | #Constraints: 67331
3490.93/3501.12 c #Conflicts: 1869000 | #Constraints: 68332
3490.93/3501.12 c #Conflicts: 1870000 | #Constraints: 69333
3490.93/3501.12 c #Conflicts: 1871000 | #Constraints: 70333
3490.93/3501.12 c #Conflicts: 1872000 | #Constraints: 71334
3490.93/3501.12 c #Conflicts: 1873000 | #Constraints: 72335
3490.93/3501.12 c #Conflicts: 1874000 | #Constraints: 73335
3490.93/3501.12 c #Conflicts: 1875000 | #Constraints: 74335
3490.93/3501.12 c #Conflicts: 1876000 | #Constraints: 75337
3490.93/3501.12 c #Conflicts: 1877000 | #Constraints: 76338
3490.93/3501.12 c #Conflicts: 1878000 | #Constraints: 77338
3490.93/3501.12 c #Conflicts: 1879000 | #Constraints: 78338
3490.93/3501.12 c #Conflicts: 1880000 | #Constraints: 79341
3490.93/3501.12 c #Conflicts: 1881000 | #Constraints: 80341
3490.93/3501.12 c #Conflicts: 1882000 | #Constraints: 81341
3490.93/3501.12 c #Conflicts: 1883000 | #Constraints: 82341
3490.93/3501.12 c #Conflicts: 1884000 | #Constraints: 83343
3490.93/3501.12 c #Conflicts: 1885000 | #Constraints: 84343
3490.93/3501.12 c INPROCESSING
3490.93/3501.12 c GARBAGE COLLECT
3490.93/3501.12 c rational objective 72
3541.29/3551.66 c #Conflicts: 1886000 | #Constraints: 45403
3541.29/3551.66 c #Conflicts: 1887000 | #Constraints: 46406
3541.29/3551.66 c #Conflicts: 1888000 | #Constraints: 47410
3541.29/3551.66 c #Conflicts: 1889000 | #Constraints: 48415
3541.29/3551.66 c #Conflicts: 1890000 | #Constraints: 49419
3541.29/3551.66 c #Conflicts: 1891000 | #Constraints: 50425
3541.29/3551.66 c #Conflicts: 1892000 | #Constraints: 51427
3541.29/3551.66 c #Conflicts: 1893000 | #Constraints: 52430
3541.29/3551.66 c #Conflicts: 1894000 | #Constraints: 53433
3541.29/3551.66 c #Conflicts: 1895000 | #Constraints: 54439
3541.29/3551.66 c #Conflicts: 1896000 | #Constraints: 55443
3541.29/3551.66 c #Conflicts: 1897000 | #Constraints: 56447
3541.29/3551.66 c #Conflicts: 1898000 | #Constraints: 57451
3541.29/3551.66 c #Conflicts: 1899000 | #Constraints: 58458
3541.29/3551.66 c #Conflicts: 1900000 | #Constraints: 59462
3541.29/3551.66 c #Conflicts: 1901000 | #Constraints: 60465
3541.29/3551.66 c #Conflicts: 1902000 | #Constraints: 61469
3541.29/3551.66 c #Conflicts: 1903000 | #Constraints: 62475
3541.29/3551.66 c #Conflicts: 1904000 | #Constraints: 63480
3541.29/3551.66 c #Conflicts: 1905000 | #Constraints: 64484
3541.29/3551.66 c #Conflicts: 1906000 | #Constraints: 65493
3541.29/3551.66 c #Conflicts: 1907000 | #Constraints: 66500
3541.29/3551.66 c #Conflicts: 1908000 | #Constraints: 67510
3541.29/3551.66 c #Conflicts: 1909000 | #Constraints: 68521
3541.29/3551.66 c #Conflicts: 1910000 | #Constraints: 69532
3541.29/3551.66 c #Conflicts: 1911000 | #Constraints: 70538
3541.29/3551.66 c #Conflicts: 1912000 | #Constraints: 71546
3541.29/3551.66 c #Conflicts: 1913000 | #Constraints: 72552
3541.29/3551.66 c #Conflicts: 1914000 | #Constraints: 73559
3541.29/3551.66 c INPROCESSING
3541.29/3551.66 c GARBAGE COLLECT
3541.29/3551.66 c rational objective 72
3589.25/3599.70 c #Conflicts: 1915000 | #Constraints: 40261
3589.25/3599.70 c #Conflicts: 1916000 | #Constraints: 41267
3589.25/3599.70 c #Conflicts: 1917000 | #Constraints: 42273
3589.25/3599.70 c #Conflicts: 1918000 | #Constraints: 43277
3589.25/3599.70 c #Conflicts: 1919000 | #Constraints: 44283
3589.25/3599.70 c #Conflicts: 1920000 | #Constraints: 45287
3589.25/3599.70 c #Conflicts: 1921000 | #Constraints: 46292
3589.25/3599.70 c #Conflicts: 1922000 | #Constraints: 47295
3589.25/3599.70 c #Conflicts: 1923000 | #Constraints: 48298
3589.25/3599.70 c #Conflicts: 1924000 | #Constraints: 49301
3589.25/3599.70 c #Conflicts: 1925000 | #Constraints: 50311
3589.25/3599.70 c #Conflicts: 1926000 | #Constraints: 51316
3589.25/3599.70 c #Conflicts: 1927000 | #Constraints: 52319
3589.25/3599.70 c #Conflicts: 1928000 | #Constraints: 53325
3589.25/3599.70 c #Conflicts: 1929000 | #Constraints: 54329
3589.25/3599.70 c #Conflicts: 1930000 | #Constraints: 55332
3589.25/3599.70 c #Conflicts: 1931000 | #Constraints: 56336
3589.25/3599.70 c #Conflicts: 1932000 | #Constraints: 57343
3589.25/3599.70 c #Conflicts: 1933000 | #Constraints: 58353
3589.25/3599.70 c #Conflicts: 1934000 | #Constraints: 59366
3589.25/3599.70 c #Conflicts: 1935000 | #Constraints: 60378
3589.25/3599.70 c #Conflicts: 1936000 | #Constraints: 61388
3589.25/3599.70 c #Conflicts: 1937000 | #Constraints: 62395
3589.25/3599.70 c #Conflicts: 1938000 | #Constraints: 63399
3589.25/3599.70 c #Conflicts: 1939000 | #Constraints: 64403
3589.25/3599.70 c #Conflicts: 1940000 | #Constraints: 65408
3589.25/3599.70 c #Conflicts: 1941000 | #Constraints: 66413
3589.25/3599.70 c #Conflicts: 1942000 | #Constraints: 67417
3589.25/3599.70 c INPROCESSING
3589.25/3599.70 c GARBAGE COLLECT
3589.25/3599.70 c rational objective 72
3600.02/3610.53 c #Conflicts: 1943000 | #Constraints: 36949
3600.02/3610.53 c #Conflicts: 1944000 | #Constraints: 37955
3600.02/3610.53 c #Conflicts: 1945000 | #Constraints: 38959
3600.02/3610.53 c #Conflicts: 1946000 | #Constraints: 39965
3600.02/3610.53 c #Conflicts: 1947000 | #Constraints: 40969
3600.02/3610.53 c #Conflicts: 1948000 | #Constraints: 41975
3600.02/3610.53 c #Conflicts: 1949000 | #Constraints: 42979
3600.02/3610.53 c cpu time 3530.75 s
3600.02/3610.53 c deterministic time 90733729277 9.07e+10
3600.02/3610.53 c optimization time 10.4678 s
3600.02/3610.53 c total solve time 3520.26 s
3600.02/3610.53 c core-guided solve time 1194.67 s
3600.02/3610.53 c propagation time 1270.47 s
3600.02/3610.53 c conflict analysis time 1977.59 s
3600.02/3610.53 c propagations 493245077
3600.02/3610.53 c resolve steps 55311453
3600.02/3610.53 c decisions 5258461
3600.02/3610.53 c conflicts 1949118
3600.02/3610.53 c restarts 3826
3600.02/3610.53 c inprocessing phases 111
3600.02/3610.53 c garbage collections 111 ,( 100.00 )
3600.02/3610.53 c input clauses 2502 ,( 50.66 )
3600.02/3610.53 c input cardinalities 51 ,( 1.03 )
3600.02/3610.53 c input general constraints 2386 ,( 48.31 )
3600.02/3610.53 c input average constraint length 21.74
3600.02/3610.53 c input average constraint degree 200.91
3600.02/3610.53 c learned clauses 1598436 ,( 81.62 )
3600.02/3610.53 c learned cardinalities 244 ,( 0.01 )
3600.02/3610.53 c learned general constraints 359762 ,( 18.37 )
3600.02/3610.53 c learned average constraint length 272.10
3600.02/3610.53 c learned average constraint degree 532978485.55
3600.02/3610.53 c watched CF 32, 64, 128, Arb: 173236 , 0 , 0 , 0
3600.02/3610.53 c counting CF 32, 64, 128, Arb: 188913 , 0 , 0 , 0
3600.02/3610.53 c watched constraints 173236 ,( 47.84 )
3600.02/3610.53 c counting constraints 188912 ,( 52.16 )
3600.02/3610.53 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 758107513 , 25865325 , 2887994436 ,( 112357003 , 2775637433 )
3600.02/3610.53 c gcd simplifications 700774
3600.02/3610.53 c detected cardinalities 33
3600.02/3610.53 c weakened non-implied lits 2039775689
3600.02/3610.53 c weakened non-implying lits 5608134
3600.02/3610.53 c original variables 2498
3600.02/3610.53 c clausal propagations 91099856
3600.02/3610.53 c cardinality propagations 4224800
3600.02/3610.53 c watched propagations 304346
3600.02/3610.53 c counting propagations 394451853
3600.02/3610.53 c watch lookups 56596642796
3600.02/3610.53 c watch backjump lookups 0
3600.02/3610.53 c watch checks 12139142104
3600.02/3610.53 c propagation checks 14899187469
3600.02/3610.53 c constraint additions 6097697959
3600.02/3610.53 c trail pops 500441221
3600.02/3610.53 c formula constraints 4876
3600.02/3610.53 c learned constraints 1939961
3600.02/3610.53 c bound constraints 37
3600.02/3610.53 c core-guided constraints 26
3600.02/3610.53 c encountered formula constraints 44380832
3600.02/3610.53 c encountered learned constraints 10036899
3600.02/3610.53 c encountered bound constraints 86301
3600.02/3610.53 c encountered core-guided constraints 244418
3600.02/3610.53 c LP total time 223.016 s
3600.02/3610.53 c LP solve time 197.75 s
3600.02/3610.53 c LP constraints added 6957
3600.02/3610.53 c LP constraints removed 2052
3600.02/3610.53 c LP pivots internal 1949276
3600.02/3610.53 c LP pivots root 164913
3600.02/3610.53 c LP calls 9822
3600.02/3610.53 c LP optimalities 664
3600.02/3610.53 c LP no pivot count 9
3600.02/3610.53 c LP infeasibilities 9156
3600.02/3610.53 c LP valid Farkas constraints 9156
3600.02/3610.53 c LP learned Farkas constraints 9156
3600.02/3610.53 c LP basis resets 0
3600.02/3610.53 c LP cycling count 0
3600.02/3610.53 c LP singular count 0
3600.02/3610.53 c LP no primal count 0
3600.02/3610.53 c LP no farkas count 0
3600.02/3610.53 c LP other issue count 0
3600.02/3610.53 c LP Gomory cuts 169
3600.02/3610.53 c LP learned cuts 1912
3600.02/3610.53 c LP deleted cuts 2052
3600.02/3610.53 c LP encountered Gomory constraints 328452
3600.02/3610.53 c LP encountered Farkas constraints 2158640
3600.02/3610.53 c LP encountered learned Farkas constraints 15873
3600.02/3610.53 c CG auxiliary variables introduced 10
3600.02/3610.53 c CG solutions found 32
3600.02/3610.53 c CG cores constructed 4
3600.02/3610.53 c CG core cardinality constraints returned 0
3600.02/3610.53 c CG unit cores 0
3600.02/3610.53 c CG single cores 4
3600.02/3610.53 c CG blocks removed during cardinality reduction 0
3600.02/3610.53 c CG first core best 0
3600.02/3610.53 c CG decision core best 0
3600.02/3610.53 c CG core reduction tie 0
3600.02/3610.53 c CG core degree average 1.00
3600.02/3610.53 c CG core slack average 197.75
3600.02/3610.53 c CG core upper bound improvements 0
3600.02/3610.53 c STR number of successful calls 0
3600.02/3610.53 c STR number of unsuccessful calls 0
3600.02/3610.53 c STR number of inconclusive calls 0
3600.02/3610.53 c STR number of successful attempts 0
3600.02/3610.53 c STR number of unsuccessful attempts 0
3600.02/3610.53 c STR number of inconclusive attempts 0
3600.02/3610.53 c STR average degree increase per successful call inf
3600.02/3610.53 c STR average degree increase per successful attempt inf
3600.02/3610.53 c STR total number of conflicts for successful attempts 0
3600.02/3610.53 c STR total number of conflicts for unsuccessful attempts 0
3600.02/3610.53 c STR total number of conflicts for inconclusive attempts 0
3600.02/3610.53 c STR average number of conflicts per successful attempt inf
3600.02/3610.53 c STR average number of conflicts per unsuccessful attempt inf
3600.02/3610.53 c STR average number of conflicts per inconclusive attempt inf
3600.02/3610.53 c AVG.sumWPerc 43.78
3600.02/3610.53 c bigint constraints 0
3600.02/3610.53 o 1183
3600.02/3610.53 s SATISFIABLE
3600.02/3610.53 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.02/3610.53 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 (62705 MiB free)
memory of node 1: 64465 MiB (39718 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4509151-1751514709/watcher-4509151-1751514709 -o /tmp/evaluation-result-4509151-1751514709/solver-4509151-1751514709 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751511061-72870 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4509151-1751514709.opb PROOFDIR/proof-4509151-1751514709
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=73948, runsolver pid=73945
[startup+0.100056 s]*
/proc/loadavg: 4.09 4.14 4.09 4/273 73950
/proc/meminfo: memFree=104881732/131249988 swapFree=33010160/33010684
[pid=73948] ppid=73945 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/73948/stat : 73948 (run-opt-ls-log.) S 73945 73948 72860 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 67148504 4292608 704 18446744073709551615 94242653409280 94242654303813 140720429264928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94242654542864 94242654590608 94242665848832 140720429271323 140720429271521 140720429271521 140720429277123 0
/proc/73948/statm: 1048 704 672 219 0 110 0
[pid=73950] ppid=73948 vsize=12668 memory=6016 CPUtime=0 cores=0,2
/proc/73950/stat : 73950 (pbsuma) D 73948 73948 72860 0 -1 4456448 637 0 0 0 0 0 0 0 20 0 1 0 67148505 12972032 1504 18446744073709551615 4210688 4653049 140726583837296 0 0 0 0 0 0 1 0 0 17 0 0 0 0 0 0 4700520 4703148 22962176 140726583838947 140726583839282 140726583839282 140726583844847 0
/proc/73950/statm: 3167 1504 992 108 0 575 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 16860 KiB
Current children cumulated memory: 8832 KiB
[startup+0.205406 s]*
/proc/loadavg: 4.09 4.14 4.09 5/273 73950
/proc/meminfo: memFree=104877952/131249988 swapFree=33010160/33010684
[pid=73948] ppid=73945 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/73948/stat : 73948 (run-opt-ls-log.) S 73945 73948 72860 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 67148504 4292608 704 18446744073709551615 94242653409280 94242654303813 140720429264928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94242654542864 94242654590608 94242665848832 140720429271323 140720429271521 140720429271521 140720429277123 0
/proc/73948/statm: 1048 704 672 219 0 110 0
[pid=73950] ppid=73948 vsize=16824 memory=8892 CPUtime=0.09 cores=0,2
/proc/73950/stat : 73950 (pbsuma) R 73948 73948 72860 0 -1 4194304 1720 0 0 0 9 0 0 0 20 0 1 0 67148505 17227776 2223 18446744073709551615 4210688 4653049 140726583837296 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 22962176 140726583838947 140726583839282 140726583839282 140726583844847 0
/proc/73950/statm: 4206 2223 1024 108 0 1614 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 21016 KiB
Current children cumulated memory: 11708 KiB
[startup+0.304984 s]*
/proc/loadavg: 4.09 4.14 4.09 5/273 73951
/proc/meminfo: memFree=104871820/131249988 swapFree=33010160/33010684
[pid=73948] ppid=73945 vsize=4192 memory=2816 CPUtime=0.18 cores=0,2
/proc/73948/stat : 73948 (run-opt-ls-log.) S 73945 73948 72860 0 -1 4194304 243 2723 0 0 0 0 17 1 20 0 1 0 67148504 4292608 704 18446744073709551615 94242653409280 94242654303813 140720429264928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94242654542864 94242654590608 94242665848832 140720429271323 140720429271521 140720429271521 140720429277123 0
/proc/73948/statm: 1048 704 672 219 0 110 0
[pid=73951] ppid=73948 vsize=56148 memory=9556 CPUtime=0 cores=0,2
/proc/73951/stat : 73951 (roundingsat) R 73948 73948 72860 0 -1 4194304 613 0 0 0 0 0 0 0 20 0 1 0 67148534 57495552 2389 18446744073709551615 4227072 8923433 140725454889008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42524672 140725454891254 140725454891560 140725454891560 140725454897130 0
/proc/73951/statm: 14037 2389 2048 1147 0 1464 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 60340 KiB
Current children cumulated memory: 12372 KiB
[startup+0.700144 s]
/proc/loadavg: 4.09 4.14 4.09 5/273 73951
/proc/meminfo: memFree=104861452/131249988 swapFree=33010160/33010684
[pid=73948] ppid=73945 vsize=4192 memory=2816 CPUtime=0.18 cores=0,2
/proc/73948/stat : 73948 (run-opt-ls-log.) S 73945 73948 72860 0 -1 4194304 243 2723 0 0 0 0 17 1 20 0 1 0 67148504 4292608 704 18446744073709551615 94242653409280 94242654303813 140720429264928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94242654542864 94242654590608 94242665848832 140720429271323 140720429271521 140720429271521 140720429277123 0
/proc/73948/statm: 1048 704 672 219 0 110 0
[pid=73951] ppid=73948 vsize=69068 memory=24832 CPUtime=0.39 cores=0,2
/proc/73951/stat : 73951 (roundingsat) R 73948 73948 72860 0 -1 4194304 4047 0 0 0 37 2 0 0 20 0 1 0 67148534 70725632 6208 18446744073709551615 4227072 8923433 140725454889008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42524672 140725454891254 140725454891560 140725454891560 140725454897130 0
/proc/73951/statm: 17267 6208 2464 1147 0 4694 0
Current children cumulated CPU time: 0.57 s
Current children cumulated vsize: 73260 KiB
Current children cumulated memory: 27648 KiB
[startup+1.50014 s]
/proc/loadavg: 4.09 4.14 4.09 5/273 73951
/proc/meminfo: memFree=104841828/131249988 swapFree=33010160/33010684
[pid=73948] ppid=73945 vsize=4192 memory=2816 CPUtime=0.18 cores=0,2
/proc/73948/stat : 73948 (run-opt-ls-log.) S 73945 73948 72860 0 -1 4194304 243 2723 0 0 0 0 17 1 20 0 1 0 67148504 4292608 704 18446744073709551615 94242653409280 94242654303813 140720429264928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94242654542864 94242654590608 94242665848832 140720429271323 140720429271521 140720429271521 140720429277123 0
/proc/73948/statm: 1048 704 672 219 0 110 0
[pid=73951] ppid=73948 vsize=70244 memory=26112 CPUtime=1.18 cores=0,2
/proc/73951/stat : 73951 (roundingsat) R 73948 73948 72860 0 -1 4194304 4379 0 0 0 115 3 0 0 20 0 1 0 67148534 71929856 6528 18446744073709551615 4227072 8923433 140725454889008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42524672 140725454891254 140725454891560 140725454891560 140725454897130 0
/proc/73951/statm: 17561 6528 2464 1147 0 4988 0
Current children cumulated CPU time: 1.36 s
Current children cumulated vsize: 74436 KiB
Current children cumulated memory: 28928 KiB
[startup+3.10537 s]
/proc/loadavg: 4.09 4.14 4.09 5/273 73951
/proc/meminfo: memFree=104765772/131249988 swapFree=33010160/33010684
[pid=73948] ppid=73945 vsize=4192 memory=2816 CPUtime=0.18 cores=0,2
/proc/73948/stat : 73948 (run-opt-ls-log.) S 73945 73948 72860 0 -1 4194304 243 2723 0 0 0 0 17 1 20 0 1 0 67148504 4292608 704 18446744073709551615 94242653409280 94242654303813 140720429264928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94242654542864 94242654590608 94242665848832 140720429271323 140720429271521 140720429271521 140720429277123 0
/proc/73948/statm: 1048 704 672 219 0 110 0
[pid=73951] ppid=73948 vsize=72076 memory=29856 CPUtime=2.79 cores=0,2
/proc/73951/stat : 73951 (roundingsat) R 73948 73948 72860 0 -1 4194304 4817 0 0 0 272 7 0 0 20 0 1 0 67148534 73805824 7464 18446744073709551615 4227072 8923433 140725454889008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42524672 140725454891254 140725454891560 140725454891560 140725454897130 0
/proc/73951/statm: 18019 7464 2464 1147 0 5446 0
Current children cumulated CPU time: 2.97 s
Current children cumulated vsize: 76268 KiB
Current children cumulated memory: 32672 KiB
[startup+6.30015 s]
/proc/loadavg: 4.08 4.14 4.09 5/273 73951
/proc/meminfo: memFree=104597700/131249988 swapFree=33010160/33010684
[pid=73948] ppid=73945 vsize=4192 memory=2816 CPUtime=0.18 cores=0,2
/proc/73948/stat : 73948 (run-opt-ls-log.) S 73945 73948 72860 0 -1 4194304 243 2723 0 0 0 0 17 1 20 0 1 0 67148504 4292608 704 18446744073709551615 94242653409280 94242654303813 140720429264928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94242654542864 94242654590608 94242665848832 140720429271323 140720429271521 140720429271521 140720429277123 0
/proc/73948/statm: 1048 704 672 219 0 110 0
[pid=73951] ppid=73948 vsize=77096 memory=32544 CPUtime=5.97 cores=0,2
/proc/73951/stat : 73951 (roundingsat) R 73948 73948 72860 0 -1 4194304 5480 0 0 0 583 14 0 0 20 0 1 0 67148534 78946304 8136 18446744073709551615 4227072 8923433 140725454889008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42524672 140725454891254 140725454891560 140725454891560 140725454897130 0
/proc/73951/statm: 19274 8136 2464 1147 0 6701 0
Current children cumulated CPU time: 6.15 s
Current children cumulated vsize: 81288 KiB
Current children cumulated memory: 35360 KiB
[startup+12.7001 s]
/proc/loadavg: 4.08 4.14 4.09 5/273 73951
/proc/meminfo: memFree=104416448/131249988 swapFree=33010160/33010684
[pid=73948] ppid=73945 vsize=4192 memory=2816 CPUtime=0.18 cores=0,2
/proc/73948/stat : 73948 (run-opt-ls-log.) S 73945 73948 72860 0 -1 4194304 243 2723 0 0 0 0 17 1 20 0 1 0 67148504 4292608 704 18446744073709551615 94242653409280 94242654303813 140720429264928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94242654542864 94242654590608 94242665848832 140720429271323 140720429271521 140720429271521 140720429277123 0
/proc/73948/statm: 1048 704 672 219 0 110 0
[pid=73951] ppid=73948 vsize=79940 memory=37500 CPUtime=12.36 cores=0,2
/proc/73951/stat : 73951 (roundingsat) R 73948 73948 72860 0 -1 4194304 6216 0 0 0 1211 25 0 0 20 0 1 0 67148534 81858560 9375 18446744073709551615 4227072 8923433 140725454889008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42524672 140725454891254 140725454891560 140725454891560 140725454897130 0
/proc/73951/statm: 19985 9375 2464 1147 0 7412 0
Current children cumulated CPU time: 12.54 s
Current children cumulated vsize: 84132 KiB
Current children cumulated memory: 40316 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 4.14 4.09 5/273 73952
/proc/meminfo: memFree=103955820/131249988 swapFree=33010160/33010684
[pid=73948] ppid=73945 vsize=4192 memory=2816 CPUtime=0.18 cores=0,2
/proc/73948/stat : 73948 (run-opt-ls-log.) S 73945 73948 72860 0 -1 4194304 243 2723 0 0 0 0 17 1 20 0 1 0 67148504 4292608 704 18446744073709551615 94242653409280 94242654303813 140720429264928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94242654542864 94242654590608 94242665848832 140720429271323 140720429271521 140720429271521 140720429277123 0
/proc/73948/statm: 1048 704 672 219 0 110 0
[pid=73951] ppid=73948 vsize=82928 memory=40572 CPUtime=25.13 cores=0,2
/proc/73951/stat : 73951 (roundingsat) R 73948 73948 72860 0 -1 4194304 6989 0 0 0 2460 53 0 0 20 0 1 0 67148534 84918272 10143 18446744073709551615 4227072 8923433 140725454889008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42524672 140725454891254 140725454891560 140725454891560 140725454897130 0
/proc/73951/statm: 20732 10143 2464 1147 0 8159 0
Current children cumulated CPU time: 25.31 s
Current children cumulated vsize: 87120 KiB
Current children cumulated memory: 43388 KiB
[startup+51.1053 s]
/proc/loadavg: 4.08 4.13 4.09 5/267 73978
/proc/meminfo: memFree=104899816/131249988 swapFree=33010160/33010684
[pid=73948] ppid=73945 vsize=4192 memory=2816 CPUtime=0.18 cores=0,2
/proc/73948/stat : 73948 (run-opt-ls-log.) S 73945 73948 72860 0 -1 4194304 243 2723 0 0 0 0 17 1 20 0 1 0 67148504 4292608 704 18446744073709551615 94242653409280 94242654303813 140720429264928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94242654542864 94242654590608 94242665848832 140720429271323 140720429271521 140720429271521 140720429277123 0
/proc/73948/statm: 1048 704 672 219 0 110 0
[pid=73951] ppid=73948 vsize=93728 memory=50168 CPUtime=50.65 cores=0,2
/proc/73951/stat : 73951 (roundingsat) R 73948 73948 72860 0 -1 4194304 8865 0 0 0 4952 113 0 0 20 0 1 0 67148534 95977472 12542 18446744073709551615 4227072 8923433 140725454889008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42524672 140725454891254 140725454891560 140725454891560 140725454897130 0
/proc/73951/statm: 23432 12542 2464 1147 0 10859 0
Current children cumulated CPU time: 50.83 s
Current children cumulated vsize: 97920 KiB
Current children cumulated memory: 52984 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/272 74000
/proc/meminfo: memFree=125196252/131249988 swapFree=33010160/33010684
[pid=73948] ppid=73945 vsize=4192 memory=2816 CPUtime=0.18 cores=0,2
/proc/73948/stat : 73948 (run-opt-ls-log.) S 73945 73948 72860 0 -1 4194304 243 2723 0 0 0 0 17 1 20 0 1 0 67148504 4292608 704 18446744073709551615 94242653409280 94242654303813 140720429264928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94242654542864 94242654590608 94242665848832 140720429271323 140720429271521 140720429271521 140720429277123 0
/proc/73948/statm: 1048 704 672 219 0 110 0
[pid=73951] ppid=73948 vsize=111268 memory=64156 CPUtime=101.68 cores=0,2
/proc/73951/stat : 73951 (roundingsat) R 73948 73948 72860 0 -1 4194304 11874 0 0 0 9932 236 0 0 20 0 1 0 67148534 113938432 16039 18446744073709551615 4227072 8923433 140725454889008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42524672 140725454891254 140725454891560 140725454891560 140725454897130 0
/proc/73951/statm: 27817 16039 2464 1147 0 15244 0
Current children cumulated CPU time: 101.86 s
Current children cumulated vsize: 115460 KiB
Current children cumulated memory: 66972 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/272 74002
/proc/meminfo: memFree=122018860/131249988 swapFree=33010160/33010684
[pid=73948] ppid=73945 vsize=4192 memory=2816 CPUtime=0.18 cores=0,2
/proc/73948/stat : 73948 (run-opt-ls-log.) S 73945 73948 72860 0 -1 4194304 243 2723 0 0 0 0 17 1 20 0 1 0 67148504 4292608 704 18446744073709551615 94242653409280 94242654303813 140720429264928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94242654542864 94242654590608 94242665848832 140720429271323 140720429271521 140720429271521 140720429277123 0
/proc/73948/statm: 1048 704 672 219 0 110 0
[pid=73951] ppid=73948 vsize=117808 memory=74164 CPUtime=161.51 cores=0,2
/proc/73951/stat : 73951 (roundingsat) R 73948 73948 72860 0 -1 4194304 13344 0 0 0 15789 362 0 0 20 0 1 0 67148534 120635392 18541 18446744073709551615 4227072 8923433 140725454889008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42524672 140725454891254 140725454891560 140725454891560 140725454897130 0
/proc/73951/statm: 29452 18541 2464 1147 0 16879 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 122000 KiB
Current children cumulated memory: 76980 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/273 74005
/proc/meminfo: memFree=118908540/131249988 swapFree=33010160/33010684
[pid=73948] ppid=73945 vsize=4192 memory=2816 CPUtime=0.18 cores=0,2
/proc/73948/stat : 73948 (run-opt-ls-log.) S 73945 73948 72860 0 -1 4194304 243 2723 0 0 0 0 17 1 20 0 1 0 67148504 4292608 704 18446744073709551615 94242653409280 94242654303813 140720429264928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94242654542864 94242654590608 94242665848832 140720429271323 140720429271521 140720429271521 140720429277123 0
/proc/73948/statm: 1048 704 672 219 0 110 0
[pid=73951] ppid=73948 vsize=131952 memory=78260 CPUtime=221.34 cores=0,2
/proc/73951/stat : 73951 (roundingsat) R 73948 73948 72860 0 -1 4194304 14382 0 0 0 21647 487 0 0 20 0 1 0 67148534 135118848 19565 18446744073709551615 4227072 8923433 140725454889008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42524672 140725454891254 140725454891560 140725454891560 140725454897130 0
/proc/73951/statm: 32988 19565 2464 1147 0 20415 0
################
# More data... #
################
Current children cumulated memory: 391624 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/273 74179
/proc/meminfo: memFree=1180052/131249988 swapFree=33010160/33010684
[pid=73948] ppid=73945 vsize=4192 memory=2816 CPUtime=0.18 cores=0,2
/proc/73948/stat : 73948 (run-opt-ls-log.) S 73945 73948 72860 0 -1 4194304 243 2723 0 0 0 0 17 1 20 0 1 0 67148504 4292608 704 18446744073709551615 94242653409280 94242654303813 140720429264928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94242654542864 94242654590608 94242665848832 140720429271323 140720429271521 140720429271521 140720429277123 0
/proc/73948/statm: 1048 704 672 219 0 110 0
[pid=73951] ppid=73948 vsize=497956 memory=396676 CPUtime=3332.4 cores=0,2
/proc/73951/stat : 73951 (roundingsat) R 73948 73948 72860 0 -1 4194304 58209 0 0 0 326740 6500 0 0 20 0 1 0 67148534 509906944 99169 18446744073709551615 4227072 8923433 140725454889008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42524672 140725454891254 140725454891560 140725454891560 140725454897130 0
/proc/73951/statm: 124489 99169 2464 1147 0 111916 0
Current children cumulated CPU time: 3332.58 s
Current children cumulated vsize: 502148 KiB
Current children cumulated memory: 399492 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/274 74184
/proc/meminfo: memFree=1198748/131249988 swapFree=33010160/33010684
[pid=73948] ppid=73945 vsize=4192 memory=2816 CPUtime=0.18 cores=0,2
/proc/73948/stat : 73948 (run-opt-ls-log.) S 73945 73948 72860 0 -1 4194304 243 2723 0 0 0 0 17 1 20 0 1 0 67148504 4292608 704 18446744073709551615 94242653409280 94242654303813 140720429264928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94242654542864 94242654590608 94242665848832 140720429271323 140720429271521 140720429271521 140720429277123 0
/proc/73948/statm: 1048 704 672 219 0 110 0
[pid=73951] ppid=73948 vsize=505424 memory=411268 CPUtime=3392.24 cores=0,2
/proc/73951/stat : 73951 (roundingsat) R 73948 73948 72860 0 -1 4194304 62054 0 0 0 332652 6572 0 0 20 0 1 0 67148534 517554176 102817 18446744073709551615 4227072 8923433 140725454889008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42524672 140725454891254 140725454891560 140725454891560 140725454897130 0
/proc/73951/statm: 126356 102817 2464 1147 0 113783 0
Current children cumulated CPU time: 3392.42 s
Current children cumulated vsize: 509616 KiB
Current children cumulated memory: 414084 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/276 74188
/proc/meminfo: memFree=1150488/131249988 swapFree=33010160/33010684
[pid=73948] ppid=73945 vsize=4192 memory=2816 CPUtime=0.18 cores=0,2
/proc/73948/stat : 73948 (run-opt-ls-log.) S 73945 73948 72860 0 -1 4194304 243 2723 0 0 0 0 17 1 20 0 1 0 67148504 4292608 704 18446744073709551615 94242653409280 94242654303813 140720429264928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94242654542864 94242654590608 94242665848832 140720429271323 140720429271521 140720429271521 140720429277123 0
/proc/73948/statm: 1048 704 672 219 0 110 0
[pid=73951] ppid=73948 vsize=505424 memory=411396 CPUtime=3452.06 cores=0,2
/proc/73951/stat : 73951 (roundingsat) R 73948 73948 72860 0 -1 4194304 62086 0 0 0 338572 6634 0 0 20 0 1 0 67148534 517554176 102849 18446744073709551615 4227072 8923433 140725454889008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42524672 140725454891254 140725454891560 140725454891560 140725454897130 0
/proc/73951/statm: 126356 102849 2464 1147 0 113783 0
Current children cumulated CPU time: 3452.24 s
Current children cumulated vsize: 509616 KiB
Current children cumulated memory: 414212 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/278 74193
/proc/meminfo: memFree=1348556/131249988 swapFree=33010160/33010684
[pid=73948] ppid=73945 vsize=4192 memory=2816 CPUtime=0.18 cores=0,2
/proc/73948/stat : 73948 (run-opt-ls-log.) S 73945 73948 72860 0 -1 4194304 243 2723 0 0 0 0 17 1 20 0 1 0 67148504 4292608 704 18446744073709551615 94242653409280 94242654303813 140720429264928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94242654542864 94242654590608 94242665848832 140720429271323 140720429271521 140720429271521 140720429277123 0
/proc/73948/statm: 1048 704 672 219 0 110 0
[pid=73951] ppid=73948 vsize=505424 memory=411396 CPUtime=3511.89 cores=0,2
/proc/73951/stat : 73951 (roundingsat) R 73948 73948 72860 0 -1 4194304 62086 0 0 0 344473 6716 0 0 20 0 1 0 67148534 517554176 102849 18446744073709551615 4227072 8923433 140725454889008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42524672 140725454891254 140725454891560 140725454891560 140725454897130 0
/proc/73951/statm: 126356 102849 2464 1147 0 113783 0
Current children cumulated CPU time: 3512.07 s
Current children cumulated vsize: 509616 KiB
Current children cumulated memory: 414212 KiB
[startup+3582.3 s]
/proc/loadavg: 4.35 4.20 4.12 5/278 74196
/proc/meminfo: memFree=1367988/131249988 swapFree=33010160/33010684
[pid=73948] ppid=73945 vsize=4192 memory=2816 CPUtime=0.18 cores=0,2
/proc/73948/stat : 73948 (run-opt-ls-log.) S 73945 73948 72860 0 -1 4194304 243 2723 0 0 0 0 17 1 20 0 1 0 67148504 4292608 704 18446744073709551615 94242653409280 94242654303813 140720429264928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94242654542864 94242654590608 94242665848832 140720429271323 140720429271521 140720429271521 140720429277123 0
/proc/73948/statm: 1048 704 672 219 0 110 0
[pid=73951] ppid=73948 vsize=505424 memory=411396 CPUtime=3571.71 cores=0,2
/proc/73951/stat : 73951 (roundingsat) R 73948 73948 72860 0 -1 4194304 62086 0 0 0 350322 6849 0 0 20 0 1 0 67148534 517554176 102849 18446744073709551615 4227072 8923433 140725454889008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42524672 140725454891254 140725454891560 140725454891560 140725454897130 0
/proc/73951/statm: 126356 102849 2464 1147 0 113783 0
Current children cumulated CPU time: 3571.89 s
Current children cumulated vsize: 509616 KiB
Current children cumulated memory: 414212 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.5 s]
/proc/loadavg: 4.29 4.20 4.12 5/277 74197
/proc/meminfo: memFree=1231684/131249988 swapFree=33010160/33010684
[pid=73948] ppid=73945 vsize=4192 memory=2816 CPUtime=0.18 cores=0,2
/proc/73948/stat : 73948 (run-opt-ls-log.) S 73945 73948 72860 0 -1 4194304 243 2723 0 0 0 0 17 1 20 0 1 0 67148504 4292608 704 18446744073709551615 94242653409280 94242654303813 140720429264928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94242654542864 94242654590608 94242665848832 140720429271323 140720429271521 140720429271521 140720429277123 0
/proc/73948/statm: 1048 704 672 219 0 110 0
[pid=73951] ppid=73948 vsize=505424 memory=411396 CPUtime=3599.84 cores=0,2
/proc/73951/stat : 73951 (roundingsat) R 73948 73948 72860 0 -1 4194304 62086 0 0 0 353075 6909 0 0 20 0 1 0 67148534 517554176 102849 18446744073709551615 4227072 8923433 140725454889008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42524672 140725454891254 140725454891560 140725454891560 140725454897130 0
/proc/73951/statm: 126356 102849 2464 1147 0 113783 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 509616 KiB
Current children cumulated memory: 414212 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.5 s]
# the end of solver process 73948 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.171229 s, system=0.013071 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.27 4.19 4.12 5/276 74197
/proc/meminfo: memFree=1334052/131249988 swapFree=33010160/33010684
[pid=73951] ppid=73945 vsize=505424 memory=411780 CPUtime=3600.93 cores=0,2
/proc/73951/stat : 73951 (roundingsat) D 73945 73948 72860 0 -1 4194304 62091 0 1 0 353076 7017 0 0 20 0 1 0 67148534 517554176 102945 18446744073709551615 4227072 8923433 140725454889008 0 0 256 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9823104 9832592 42524672 140725454891254 140725454891560 140725454891560 140725454897130 9
/proc/73951/statm: 126356 102945 2560 1147 0 113783 0
??? kill 73951 sig 9
??? end of watcher thread
[startup+3621.57 s]
# the end of solver process 73951 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3530.98 s, system=70.6408 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+3611.2 s]
/proc/loadavg: 4.27 4.19 4.12 7/276 74197
/proc/meminfo: memFree=1346616/131249988 swapFree=33010160/33010684
[pid=73951] ppid=73945 vsize=505424 memory=411780 CPUtime=3600.5 cores=0,2
/proc/73951/stat : 73951 (roundingsat) R 73945 73948 72860 0 -1 4194304 62091 0 1 0 353075 6975 0 0 20 0 1 0 67148534 517554176 102945 18446744073709551615 4227072 8923433 140725454889008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42524672 140725454891254 140725454891560 140725454891560 140725454897130 0
/proc/73951/statm: 126356 102945 2560 1147 0 113783 0
Current cumulated CPU time of completed processes: 0.1843 s
Current children cumulated CPU time: 3600.5 s
Current children cumulated vsize: 505424 KiB
Current children cumulated memory: 411780 KiB
[startup+3612 s]*
/proc/loadavg: 4.27 4.19 4.12 4/276 74197
/proc/meminfo: memFree=1274704/131249988 swapFree=33010160/33010684
[pid=73951] ppid=73945 vsize=505424 memory=411780 CPUtime=3600.91 cores=0,2
/proc/73951/stat : 73951 (roundingsat) D 73945 73948 72860 0 -1 4194304 62091 0 1 0 353076 7015 0 0 20 0 1 0 67148534 517554176 102945 18446744073709551615 4227072 8923433 140725454889008 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9823104 9832592 42524672 140725454891254 140725454891560 140725454891560 140725454897130 0
/proc/73951/statm: 126356 102945 2560 1147 0 113783 0
Current cumulated CPU time of completed processes: 0.1843 s
Current children cumulated CPU time: 3600.91 s
Current children cumulated vsize: 505424 KiB
Current children cumulated memory: 411780 KiB
[startup+3612.4 s]
/proc/loadavg: 4.27 4.19 4.12 4/276 74197
/proc/meminfo: memFree=1274704/131249988 swapFree=33010160/33010684
[pid=73951] ppid=73945 vsize=505424 memory=411780 CPUtime=3600.93 cores=0,2
/proc/73951/stat : 73951 (roundingsat) D 73945 73948 72860 0 -1 4194304 62091 0 1 0 353076 7017 0 0 20 0 1 0 67148534 517554176 102945 18446744073709551615 4227072 8923433 140725454889008 0 0 0 0 0 8405026 1 0 0 17 2 0 0 0 0 0 9823104 9832592 42524672 140725454891254 140725454891560 140725454891560 140725454897130 0
/proc/73951/statm: 126356 102945 2560 1147 0 113783 0
Current cumulated CPU time of completed processes: 0.1843 s
Current children cumulated CPU time: 3600.93 s
Current children cumulated vsize: 505424 KiB
Current children cumulated memory: 411780 KiB
[startup+3612.5 s]
/proc/loadavg: 4.27 4.19 4.12 4/276 74197
/proc/meminfo: memFree=1274704/131249988 swapFree=33010160/33010684
[pid=73951] ppid=73945 vsize=505424 memory=411780 CPUtime=3600.93 cores=0,2
/proc/73951/stat : 73951 (roundingsat) D 73945 73948 72860 0 -1 4194304 62091 0 1 0 353076 7017 0 0 20 0 1 0 67148534 517554176 102945 18446744073709551615 4227072 8923433 140725454889008 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9823104 9832592 42524672 140725454891254 140725454891560 140725454891560 140725454897130 0
/proc/73951/statm: 126356 102945 2560 1147 0 113783 0
Current cumulated CPU time of completed processes: 0.1843 s
Current children cumulated CPU time: 3600.93 s
Current children cumulated vsize: 505424 KiB
Current children cumulated memory: 411780 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3621.57
CPU time (s): 3601.62
CPU user time (s): 3530.98
CPU system time (s): 70.6408
CPU usage (%): 99.4492
Max. virtual memory (cumulated for all children) (KiB): 509616
Max. memory (cumulated for all children) (KiB): 414212
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3530.98
system time used= 70.6408
maximum resident set size= 411780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65057
page faults= 1
swaps= 0
block input operations= 3912
block output operations= 167150896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 368458
involuntary context switches= 6284
# summary of solver processes directly reported to runsolver:
# pid: 73948,73951
# total CPU time (s): 3601.62
# total CPU user time (s): 3530.98
# total CPU system time (s): 70.6408
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.83732 second user time and 15.4828 second system time
The end
Begin job on nodeC020 at 2025-07-03 05:51:49
IDJOB=4509151
IDBENCH=158598
IDSOLVER=3356
FILE ID=nodeC020/4509151-1751514709
RUNJOBID= nodeC020-1751511061-72870
SLURM_JOB_ID= 9598612
Free space on /tmp= 431760 MiB
SOLVER NAME= roundingsat-ls+pbsuma-log 63f22ad
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 --file-size-limit 102400 -w /tmp/evaluation-result-4509151-1751514709/watcher-4509151-1751514709 -o /tmp/evaluation-result-4509151-1751514709/solver-4509151-1751514709 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751511061-72870 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4509151-1751514709.opb PROOFDIR/proof-4509151-1751514709
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 38f4f8acf083ab1c186c19b7f9dc1b90
RANDOM SEED=1132299005
nodeC020 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 : 3602.000
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.79
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.931
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.79
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 : 3600.079
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.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.012
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.79
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.886
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.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.874
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.79
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 : 3700.000
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.79
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 : 3643.705
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.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 104881732 kB
MemAvailable: 128888600 kB
Buffers: 2128 kB
Cached: 24775156 kB
SwapCached: 12 kB
Active: 1409644 kB
Inactive: 24210632 kB
Active(anon): 835704 kB
Inactive(anon): 25072 kB
Active(file): 573940 kB
Inactive(file): 24185560 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 79088 kB
Writeback: 0 kB
AnonPages: 845348 kB
Mapped: 117992 kB
Shmem: 18040 kB
KReclaimable: 173212 kB
Slab: 267000 kB
SReclaimable: 173212 kB
SUnreclaim: 93788 kB
KernelStack: 4400 kB
PageTables: 5040 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 1297556 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150696 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 116736 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: 197332 kB
DirectMap2M: 7962624 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 431744 MiB
End job on nodeC020 at 2025-07-03 06:52:11