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-4491073-1751375942.opb'
0.00/0.01 c read 0.01MB (0.28ms)
0.00/0.01 c [cnf: #variables 299 #clauses 101 #duplicates 0 #arr 1751]
0.00/0.01 c output proof to 'PROOFDIR/proof-4491073-1751375942'
0.00/0.01 c
0.00/0.01 c make graph and approximate orbits
0.00/0.01 c [group: #orbits ~= 4] (0.27ms)
0.00/0.01 c
0.00/0.01 c detect special group actions
0.00/0.01 c probe for Johnson action (limit=64)
0.00/0.01 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.01 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.01 c found row 3x2, generating row predicate
0.00/0.01 c (0.08ms)
0.00/0.01 c
0.00/0.01 c detect symmetries on remainder
0.00/0.01 c [graph: #vertices 998 #edges 4698]
0.00/0.01 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.01 c [group: #symmetries 2.00*10^0 #generators 1] (0.27ms)
0.00/0.01 c
0.00/0.01 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.01 c (0.00ms)
0.00/0.01 c
0.00/0.01 c finalize break order and special generators
0.00/0.01 c
0.00/0.01 c add generic predicates (break_depth=20)
0.00/0.01 c added predicates for 1 generators (0.00ms)
0.00/0.01 c
0.00/0.01 c generation finished
0.00/0.01 c [sbp: #constraints 3 #add_vars 0]
0.00/0.01 c
0.00/0.01 c write result to 'HOME/instance-4491073-1751375942.opb.pre'
0.00/0.01 c wrote 0.01MB (0.09ms)
0.00/0.01 c ------------------------------------------------------------------
0.00/0.01 c 0.62ms 38.21% other
0.00/0.01 c 0.28ms 17.14% parse
0.00/0.01 c 0.27ms 16.75% detect_generic
0.00/0.01 c 0.27ms 16.56% approx_orbits
0.00/0.01 c 0.09ms 5.61% output
0.00/0.01 c 0.08ms 4.65% detect_special
0.00/0.01 c 0.01ms 0.66% finalize_order
0.00/0.01 c 0.00ms 0.21% break_generic
0.00/0.01 c 0.00ms 0.20% optimize_gens
0.00/0.01 c ───────────────────────────────────────────────
0.00/0.01 c 1.62ms 100% total
0.00/0.01 c ------------------------------------------------------------------
0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.02 c #variables 299 #constraints 103
0.00/0.02 c objective is ce32
0.00/0.03 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.03 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.03 c bounds 22 >= 0 @ 0.003811
0.00/0.04 c rational objective 14.1297
0.07/0.16 c bounds 21 >= 0 @ 0.124493
0.07/0.16 c bounds 21 >= 1 @ 0.124673
0.07/0.16 c bounds 21 >= 2 @ 0.124791
0.07/0.16 c bounds 21 >= 3 @ 0.124957
0.07/0.16 c bounds 21 >= 4 @ 0.125156
0.07/0.16 c bounds 21 >= 5 @ 0.125474
0.07/0.16 c bounds 21 >= 6 @ 0.125677
0.07/0.16 c bounds 21 >= 7 @ 0.126048
0.07/0.16 c bounds 21 >= 8 @ 0.126567
0.07/0.18 c bounds 20 >= 8 @ 0.141851
0.07/0.18 c bounds 20 >= 9 @ 0.144541
0.16/0.21 c bounds 20 >= 10 @ 0.168439
0.27/0.39 c #Conflicts: 1000 | #Constraints: 1219
0.27/0.39 c bounds 19 >= 10 @ 0.331233
0.47/0.54 c #Conflicts: 2000 | #Constraints: 2225
0.47/0.54 c INPROCESSING
0.47/0.54 c GARBAGE COLLECT
0.47/0.54 c rational objective 14.1643
0.65/0.71 c bounds 18 >= 10 @ 0.635108
1.15/1.21 c #Conflicts: 3000 | #Constraints: 2216
1.15/1.21 c #Conflicts: 4000 | #Constraints: 3234
1.15/1.21 c INPROCESSING
1.15/1.21 c GARBAGE COLLECT
1.15/1.21 c rational objective 14.1645
1.35/1.42 c bounds 18 >= 11 @ 1.30461
1.96/2.04 c #Conflicts: 5000 | #Constraints: 2636
1.96/2.04 c #Conflicts: 6000 | #Constraints: 3639
1.96/2.04 c INPROCESSING
1.96/2.04 c GARBAGE COLLECT
1.96/2.04 c rational objective 14.1645
2.75/2.88 c #Conflicts: 7000 | #Constraints: 2624
2.75/2.88 c #Conflicts: 8000 | #Constraints: 3682
2.75/2.88 c #Conflicts: 9000 | #Constraints: 4715
2.75/2.88 c INPROCESSING
2.75/2.88 c GARBAGE COLLECT
2.75/2.88 c rational objective 14.1645
2.95/3.06 c bounds 18 >= 12 @ 2.88288
3.85/3.95 c #Conflicts: 10000 | #Constraints: 3400
3.85/3.95 c #Conflicts: 11000 | #Constraints: 4454
3.85/3.95 c #Conflicts: 12000 | #Constraints: 5473
3.85/3.95 c INPROCESSING
3.85/3.95 c GARBAGE COLLECT
3.85/3.95 c rational objective 14.1645
5.24/5.31 c #Conflicts: 13000 | #Constraints: 3881
5.24/5.31 c #Conflicts: 14000 | #Constraints: 4902
5.24/5.31 c #Conflicts: 15000 | #Constraints: 5997
5.24/5.31 c INPROCESSING
5.24/5.31 c GARBAGE COLLECT
5.24/5.31 c rational objective 14.1646
6.53/6.60 c #Conflicts: 16000 | #Constraints: 4111
6.53/6.60 c #Conflicts: 17000 | #Constraints: 5133
6.53/6.60 c #Conflicts: 18000 | #Constraints: 6159
6.53/6.60 c INPROCESSING
6.53/6.60 c GARBAGE COLLECT
6.53/6.60 c rational objective 14.1646
8.14/8.29 c #Conflicts: 19000 | #Constraints: 4092
8.14/8.29 c #Conflicts: 20000 | #Constraints: 5094
8.14/8.29 c #Conflicts: 21000 | #Constraints: 6095
8.14/8.29 c INPROCESSING
8.14/8.29 c GARBAGE COLLECT
8.14/8.29 c rational objective 14.1649
9.52/9.66 c #Conflicts: 22000 | #Constraints: 4022
9.52/9.66 c #Conflicts: 23000 | #Constraints: 5043
9.52/9.66 c #Conflicts: 24000 | #Constraints: 6067
9.52/9.66 c #Conflicts: 25000 | #Constraints: 7083
9.52/9.66 c INPROCESSING
9.52/9.66 c GARBAGE COLLECT
9.52/9.66 c rational objective 14.1649
11.11/11.21 c #Conflicts: 26000 | #Constraints: 4711
11.11/11.21 c #Conflicts: 27000 | #Constraints: 5879
11.11/11.21 c #Conflicts: 28000 | #Constraints: 6895
11.11/11.21 c #Conflicts: 29000 | #Constraints: 7914
11.11/11.21 c INPROCESSING
11.11/11.21 c GARBAGE COLLECT
11.11/11.21 c rational objective 14.165
13.11/13.26 c #Conflicts: 30000 | #Constraints: 5066
13.11/13.26 c #Conflicts: 31000 | #Constraints: 6067
13.11/13.26 c #Conflicts: 32000 | #Constraints: 7071
13.11/13.26 c #Conflicts: 33000 | #Constraints: 8072
13.11/13.26 c INPROCESSING
13.11/13.26 c GARBAGE COLLECT
13.11/13.26 c rational objective 14.1652
14.80/14.94 c #Conflicts: 34000 | #Constraints: 5152
14.80/14.94 c #Conflicts: 35000 | #Constraints: 6170
14.80/14.94 c #Conflicts: 36000 | #Constraints: 7196
14.80/14.94 c #Conflicts: 37000 | #Constraints: 8215
14.80/14.94 c INPROCESSING
14.80/14.94 c GARBAGE COLLECT
14.80/14.94 c rational objective 14.1654
16.70/16.81 c #Conflicts: 38000 | #Constraints: 5137
16.70/16.81 c #Conflicts: 39000 | #Constraints: 6154
16.70/16.81 c #Conflicts: 40000 | #Constraints: 7168
16.70/16.81 c #Conflicts: 41000 | #Constraints: 8184
16.70/16.81 c INPROCESSING
16.70/16.81 c GARBAGE COLLECT
16.70/16.81 c rational objective 14.1654
18.91/19.05 c #Conflicts: 42000 | #Constraints: 4946
18.91/19.05 c #Conflicts: 43000 | #Constraints: 5953
18.91/19.05 c #Conflicts: 44000 | #Constraints: 6963
18.91/19.05 c #Conflicts: 45000 | #Constraints: 7968
18.91/19.05 c #Conflicts: 46000 | #Constraints: 8968
18.91/19.05 c INPROCESSING
18.91/19.05 c GARBAGE COLLECT
18.91/19.05 c rational objective 14.1654
20.69/20.88 c #Conflicts: 47000 | #Constraints: 5507
20.69/20.88 c #Conflicts: 48000 | #Constraints: 6540
20.69/20.88 c #Conflicts: 49000 | #Constraints: 7556
20.69/20.88 c #Conflicts: 50000 | #Constraints: 8567
20.69/20.88 c #Conflicts: 51000 | #Constraints: 9587
20.69/20.88 c INPROCESSING
20.69/20.88 c GARBAGE COLLECT
20.69/20.88 c rational objective 14.1654
23.69/23.80 c #Conflicts: 52000 | #Constraints: 5902
23.69/23.80 c #Conflicts: 53000 | #Constraints: 6908
23.69/23.80 c #Conflicts: 54000 | #Constraints: 7910
23.69/23.80 c #Conflicts: 55000 | #Constraints: 8912
23.69/23.80 c #Conflicts: 56000 | #Constraints: 9915
23.69/23.80 c INPROCESSING
23.69/23.80 c GARBAGE COLLECT
23.69/23.80 c rational objective 14.1654
25.78/25.96 c #Conflicts: 57000 | #Constraints: 6092
25.78/25.96 c #Conflicts: 58000 | #Constraints: 7107
25.78/25.96 c #Conflicts: 59000 | #Constraints: 8128
25.78/25.96 c #Conflicts: 60000 | #Constraints: 9151
25.78/25.96 c #Conflicts: 61000 | #Constraints: 10171
25.78/25.96 c INPROCESSING
25.78/25.96 c GARBAGE COLLECT
25.78/25.96 c rational objective 14.1654
28.36/28.51 c #Conflicts: 62000 | #Constraints: 6110
28.36/28.51 c #Conflicts: 63000 | #Constraints: 7131
28.36/28.51 c #Conflicts: 64000 | #Constraints: 8147
28.36/28.51 c #Conflicts: 65000 | #Constraints: 9162
28.36/28.51 c #Conflicts: 66000 | #Constraints: 10174
28.36/28.51 c INPROCESSING
28.36/28.51 c GARBAGE COLLECT
28.36/28.51 c rational objective 14.1654
31.95/32.18 c #Conflicts: 67000 | #Constraints: 5901
31.95/32.18 c #Conflicts: 68000 | #Constraints: 6919
31.95/32.18 c #Conflicts: 69000 | #Constraints: 7924
31.95/32.18 c #Conflicts: 70000 | #Constraints: 8927
31.95/32.18 c #Conflicts: 71000 | #Constraints: 9932
31.95/32.18 c #Conflicts: 72000 | #Constraints: 10944
31.95/32.18 c INPROCESSING
31.95/32.18 c GARBAGE COLLECT
31.95/32.18 c rational objective 14.1654
34.43/34.66 c #Conflicts: 73000 | #Constraints: 6479
34.43/34.66 c #Conflicts: 74000 | #Constraints: 7500
34.43/34.66 c #Conflicts: 75000 | #Constraints: 8520
34.43/34.66 c #Conflicts: 76000 | #Constraints: 9534
34.43/34.66 c #Conflicts: 77000 | #Constraints: 10548
34.43/34.66 c #Conflicts: 78000 | #Constraints: 11558
34.43/34.66 c INPROCESSING
34.43/34.66 c GARBAGE COLLECT
34.43/34.66 c rational objective 14.1655
38.22/38.41 c #Conflicts: 79000 | #Constraints: 6888
38.22/38.41 c #Conflicts: 80000 | #Constraints: 7889
38.22/38.41 c #Conflicts: 81000 | #Constraints: 8890
38.22/38.41 c #Conflicts: 82000 | #Constraints: 9890
38.22/38.41 c #Conflicts: 83000 | #Constraints: 10894
38.22/38.41 c bounds 18 >= 13 @ 37.2502
38.32/38.52 c #Conflicts: 84000 | #Constraints: 11928
38.32/38.52 c INPROCESSING
38.32/38.52 c GARBAGE COLLECT
38.32/38.52 c rational objective 14.1655
41.41/41.62 c #Conflicts: 85000 | #Constraints: 7111
41.41/41.62 c #Conflicts: 86000 | #Constraints: 8126
41.41/41.62 c #Conflicts: 87000 | #Constraints: 9147
41.41/41.62 c #Conflicts: 88000 | #Constraints: 10171
41.41/41.62 c #Conflicts: 89000 | #Constraints: 11190
41.41/41.62 c #Conflicts: 90000 | #Constraints: 12201
41.41/41.62 c INPROCESSING
41.41/41.62 c GARBAGE COLLECT
41.41/41.62 c rational objective 14.1655
44.70/44.96 c #Conflicts: 91000 | #Constraints: 7140
44.70/44.96 c #Conflicts: 92000 | #Constraints: 8161
44.70/44.96 c #Conflicts: 93000 | #Constraints: 9186
44.70/44.96 c #Conflicts: 94000 | #Constraints: 10201
44.70/44.96 c #Conflicts: 95000 | #Constraints: 11224
44.70/44.96 c #Conflicts: 96000 | #Constraints: 12245
44.70/44.96 c INPROCESSING
44.70/44.96 c GARBAGE COLLECT
44.70/44.96 c rational objective 14.1655
48.68/48.95 c #Conflicts: 97000 | #Constraints: 6959
48.68/48.95 c #Conflicts: 98000 | #Constraints: 7962
48.68/48.95 c #Conflicts: 99000 | #Constraints: 8970
48.68/48.95 c #Conflicts: 100000 | #Constraints: 9976
48.68/48.95 c #Conflicts: 101000 | #Constraints: 10979
48.68/48.95 c #Conflicts: 102000 | #Constraints: 11981
48.68/48.95 c #Conflicts: 103000 | #Constraints: 12985
48.68/48.95 c INPROCESSING
48.68/48.95 c GARBAGE COLLECT
48.68/48.95 c rational objective 14.1655
52.08/52.38 c #Conflicts: 104000 | #Constraints: 7514
52.08/52.38 c #Conflicts: 105000 | #Constraints: 8529
52.08/52.38 c #Conflicts: 106000 | #Constraints: 9546
52.08/52.38 c #Conflicts: 107000 | #Constraints: 10558
52.08/52.38 c #Conflicts: 108000 | #Constraints: 11569
52.08/52.38 c #Conflicts: 109000 | #Constraints: 12585
52.08/52.38 c #Conflicts: 110000 | #Constraints: 13601
52.08/52.38 c INPROCESSING
52.08/52.38 c GARBAGE COLLECT
52.08/52.38 c rational objective 14.1655
56.66/56.99 c #Conflicts: 111000 | #Constraints: 7919
56.66/56.99 c #Conflicts: 112000 | #Constraints: 8921
56.66/56.99 c #Conflicts: 113000 | #Constraints: 9923
56.66/56.99 c #Conflicts: 114000 | #Constraints: 10924
56.66/56.99 c #Conflicts: 115000 | #Constraints: 11928
56.66/56.99 c #Conflicts: 116000 | #Constraints: 12929
56.66/56.99 c #Conflicts: 117000 | #Constraints: 13933
56.66/56.99 c INPROCESSING
56.66/56.99 c GARBAGE COLLECT
56.66/56.99 c rational objective 14.1655
60.66/60.93 c #Conflicts: 118000 | #Constraints: 8328
60.66/60.93 c #Conflicts: 119000 | #Constraints: 9542
60.66/60.93 c #Conflicts: 120000 | #Constraints: 10563
60.66/60.93 c #Conflicts: 121000 | #Constraints: 11582
60.66/60.93 c #Conflicts: 122000 | #Constraints: 12600
60.66/60.93 c #Conflicts: 123000 | #Constraints: 13611
60.66/60.93 c #Conflicts: 124000 | #Constraints: 14618
60.66/60.93 c INPROCESSING
60.66/60.93 c GARBAGE COLLECT
60.66/60.93 c rational objective 14.1655
65.54/65.82 c #Conflicts: 125000 | #Constraints: 8345
65.54/65.82 c #Conflicts: 126000 | #Constraints: 9347
65.54/65.82 c #Conflicts: 127000 | #Constraints: 10351
65.54/65.82 c #Conflicts: 128000 | #Constraints: 11358
65.54/65.82 c #Conflicts: 129000 | #Constraints: 12363
65.54/65.82 c #Conflicts: 130000 | #Constraints: 13368
65.54/65.82 c #Conflicts: 131000 | #Constraints: 14371
65.54/65.82 c INPROCESSING
65.54/65.82 c GARBAGE COLLECT
65.54/65.82 c rational objective 14.1655
69.43/69.76 c #Conflicts: 132000 | #Constraints: 8014
69.43/69.76 c #Conflicts: 133000 | #Constraints: 9106
69.43/69.76 c #Conflicts: 134000 | #Constraints: 10116
69.43/69.76 c #Conflicts: 135000 | #Constraints: 11128
69.43/69.76 c #Conflicts: 136000 | #Constraints: 12146
69.43/69.76 c #Conflicts: 137000 | #Constraints: 13162
69.43/69.76 c #Conflicts: 138000 | #Constraints: 14179
69.43/69.76 c #Conflicts: 139000 | #Constraints: 15199
69.43/69.76 c INPROCESSING
69.43/69.76 c GARBAGE COLLECT
69.43/69.76 c rational objective 14.1655
74.21/74.54 c #Conflicts: 140000 | #Constraints: 8623
74.21/74.54 c #Conflicts: 141000 | #Constraints: 9642
74.21/74.54 c #Conflicts: 142000 | #Constraints: 10661
74.21/74.54 c #Conflicts: 143000 | #Constraints: 11677
74.21/74.54 c #Conflicts: 144000 | #Constraints: 12696
74.21/74.54 c #Conflicts: 145000 | #Constraints: 13709
74.21/74.54 c #Conflicts: 146000 | #Constraints: 14725
74.21/74.54 c #Conflicts: 147000 | #Constraints: 15739
74.21/74.54 c INPROCESSING
74.21/74.54 c GARBAGE COLLECT
74.21/74.54 c rational objective 14.1655
79.80/80.14 c #Conflicts: 148000 | #Constraints: 9006
79.80/80.14 c #Conflicts: 149000 | #Constraints: 10034
79.80/80.14 c #Conflicts: 150000 | #Constraints: 11043
79.80/80.14 c #Conflicts: 151000 | #Constraints: 12054
79.80/80.14 c #Conflicts: 152000 | #Constraints: 13055
79.80/80.14 c #Conflicts: 153000 | #Constraints: 14058
79.80/80.14 c #Conflicts: 154000 | #Constraints: 15061
79.80/80.14 c #Conflicts: 155000 | #Constraints: 16070
79.80/80.14 c INPROCESSING
79.80/80.14 c GARBAGE COLLECT
79.80/80.14 c rational objective 14.1655
84.18/84.50 c #Conflicts: 156000 | #Constraints: 9335
84.18/84.50 c #Conflicts: 157000 | #Constraints: 10349
84.18/84.50 c #Conflicts: 158000 | #Constraints: 11361
84.18/84.50 c #Conflicts: 159000 | #Constraints: 12375
84.18/84.50 c #Conflicts: 160000 | #Constraints: 13385
84.18/84.50 c #Conflicts: 161000 | #Constraints: 14398
84.18/84.50 c #Conflicts: 162000 | #Constraints: 15410
84.18/84.50 c #Conflicts: 163000 | #Constraints: 16429
84.18/84.50 c INPROCESSING
84.18/84.50 c GARBAGE COLLECT
84.18/84.50 c rational objective 14.1655
90.36/90.79 c #Conflicts: 164000 | #Constraints: 9233
90.36/90.79 c #Conflicts: 165000 | #Constraints: 10235
90.36/90.79 c #Conflicts: 166000 | #Constraints: 11235
90.36/90.79 c #Conflicts: 167000 | #Constraints: 12241
90.36/90.79 c #Conflicts: 168000 | #Constraints: 13251
90.36/90.79 c #Conflicts: 169000 | #Constraints: 14253
90.36/90.79 c #Conflicts: 170000 | #Constraints: 15255
90.36/90.79 c #Conflicts: 171000 | #Constraints: 16257
90.36/90.79 c INPROCESSING
90.36/90.79 c GARBAGE COLLECT
90.36/90.79 c rational objective 14.1655
95.05/95.42 c #Conflicts: 172000 | #Constraints: 8941
95.05/95.42 c #Conflicts: 173000 | #Constraints: 9962
95.05/95.42 c #Conflicts: 174000 | #Constraints: 10980
95.05/95.42 c #Conflicts: 175000 | #Constraints: 11997
95.05/95.42 c #Conflicts: 176000 | #Constraints: 13009
95.05/95.42 c #Conflicts: 177000 | #Constraints: 14020
95.05/95.42 c #Conflicts: 178000 | #Constraints: 15037
95.05/95.42 c #Conflicts: 179000 | #Constraints: 16044
95.05/95.42 c #Conflicts: 180000 | #Constraints: 17054
95.05/95.42 c INPROCESSING
95.05/95.42 c GARBAGE COLLECT
95.05/95.42 c rational objective 14.1655
100.43/100.83 c #Conflicts: 181000 | #Constraints: 9554
100.43/100.83 c #Conflicts: 182000 | #Constraints: 10569
100.43/100.83 c #Conflicts: 183000 | #Constraints: 11589
100.43/100.83 c #Conflicts: 184000 | #Constraints: 12611
100.43/100.83 c #Conflicts: 185000 | #Constraints: 13626
100.43/100.83 c #Conflicts: 186000 | #Constraints: 14642
100.43/100.83 c #Conflicts: 187000 | #Constraints: 15658
100.43/100.83 c #Conflicts: 188000 | #Constraints: 16672
100.43/100.83 c #Conflicts: 189000 | #Constraints: 17689
100.43/100.83 c INPROCESSING
100.43/100.83 c GARBAGE COLLECT
100.43/100.83 c rational objective 14.1655
107.11/107.54 c #Conflicts: 190000 | #Constraints: 9972
107.11/107.54 c #Conflicts: 191000 | #Constraints: 10984
107.11/107.54 c #Conflicts: 192000 | #Constraints: 11996
107.11/107.54 c #Conflicts: 193000 | #Constraints: 13003
107.11/107.54 c #Conflicts: 194000 | #Constraints: 14009
107.11/107.54 c #Conflicts: 195000 | #Constraints: 15018
107.11/107.54 c #Conflicts: 196000 | #Constraints: 16022
107.11/107.54 c #Conflicts: 197000 | #Constraints: 17025
107.11/107.54 c #Conflicts: 198000 | #Constraints: 18028
107.11/107.54 c INPROCESSING
107.11/107.54 c GARBAGE COLLECT
107.11/107.54 c rational objective 14.1655
112.80/113.26 c #Conflicts: 199000 | #Constraints: 10144
112.80/113.26 c #Conflicts: 200000 | #Constraints: 11155
112.80/113.26 c #Conflicts: 201000 | #Constraints: 12171
112.80/113.26 c #Conflicts: 202000 | #Constraints: 13184
112.80/113.26 c #Conflicts: 203000 | #Constraints: 14200
112.80/113.26 c #Conflicts: 204000 | #Constraints: 15219
112.80/113.26 c #Conflicts: 205000 | #Constraints: 16234
112.80/113.26 c #Conflicts: 206000 | #Constraints: 17250
112.80/113.26 c #Conflicts: 207000 | #Constraints: 18266
112.80/113.26 c INPROCESSING
112.80/113.26 c GARBAGE COLLECT
112.80/113.26 c rational objective 14.1655
119.37/119.83 c #Conflicts: 208000 | #Constraints: 10162
119.37/119.83 c #Conflicts: 209000 | #Constraints: 11171
119.37/119.83 c #Conflicts: 210000 | #Constraints: 12181
119.37/119.83 c #Conflicts: 211000 | #Constraints: 13192
119.37/119.83 c #Conflicts: 212000 | #Constraints: 14201
119.37/119.83 c #Conflicts: 213000 | #Constraints: 15209
119.37/119.83 c #Conflicts: 214000 | #Constraints: 16217
119.37/119.83 c #Conflicts: 215000 | #Constraints: 17223
119.37/119.83 c #Conflicts: 216000 | #Constraints: 18227
119.37/119.83 c INPROCESSING
119.37/119.83 c GARBAGE COLLECT
119.37/119.83 c rational objective 14.1655
125.15/125.68 c #Conflicts: 217000 | #Constraints: 9936
125.15/125.68 c #Conflicts: 218000 | #Constraints: 10957
125.15/125.68 c #Conflicts: 219000 | #Constraints: 11980
125.15/125.68 c #Conflicts: 220000 | #Constraints: 12996
125.15/125.68 c #Conflicts: 221000 | #Constraints: 14015
125.15/125.68 c #Conflicts: 222000 | #Constraints: 15036
125.15/125.68 c #Conflicts: 223000 | #Constraints: 16057
125.15/125.68 c #Conflicts: 224000 | #Constraints: 17078
125.15/125.68 c #Conflicts: 225000 | #Constraints: 18099
125.15/125.68 c #Conflicts: 226000 | #Constraints: 19114
125.15/125.68 c INPROCESSING
125.15/125.68 c GARBAGE COLLECT
125.15/125.68 c rational objective 14.1655
132.33/132.80 c #Conflicts: 227000 | #Constraints: 10589
132.33/132.80 c #Conflicts: 228000 | #Constraints: 11605
132.33/132.80 c #Conflicts: 229000 | #Constraints: 12624
132.33/132.80 c #Conflicts: 230000 | #Constraints: 13635
132.33/132.80 c #Conflicts: 231000 | #Constraints: 14639
132.33/132.80 c #Conflicts: 232000 | #Constraints: 15645
132.33/132.80 c #Conflicts: 233000 | #Constraints: 16649
132.33/132.80 c #Conflicts: 234000 | #Constraints: 17650
132.33/132.80 c #Conflicts: 235000 | #Constraints: 18650
132.33/132.80 c #Conflicts: 236000 | #Constraints: 19653
132.33/132.80 c INPROCESSING
132.33/132.80 c GARBAGE COLLECT
132.33/132.80 c rational objective 14.1656
138.12/138.67 c #Conflicts: 237000 | #Constraints: 10968
138.12/138.67 c #Conflicts: 238000 | #Constraints: 11984
138.12/138.67 c #Conflicts: 239000 | #Constraints: 13000
138.12/138.67 c #Conflicts: 240000 | #Constraints: 14011
138.12/138.67 c #Conflicts: 241000 | #Constraints: 15019
138.12/138.67 c #Conflicts: 242000 | #Constraints: 16032
138.12/138.67 c #Conflicts: 243000 | #Constraints: 17047
138.12/138.67 c #Conflicts: 244000 | #Constraints: 18063
138.12/138.67 c #Conflicts: 245000 | #Constraints: 19073
138.12/138.67 c #Conflicts: 246000 | #Constraints: 20080
138.12/138.67 c INPROCESSING
138.12/138.67 c GARBAGE COLLECT
138.12/138.67 c rational objective 14.1656
146.79/147.38 c #Conflicts: 247000 | #Constraints: 11160
146.79/147.38 c #Conflicts: 248000 | #Constraints: 12161
146.79/147.38 c #Conflicts: 249000 | #Constraints: 13163
146.79/147.38 c #Conflicts: 250000 | #Constraints: 14165
146.79/147.38 c #Conflicts: 251000 | #Constraints: 15166
146.79/147.38 c #Conflicts: 252000 | #Constraints: 16170
146.79/147.38 c #Conflicts: 253000 | #Constraints: 17176
146.79/147.38 c #Conflicts: 254000 | #Constraints: 18180
146.79/147.38 c #Conflicts: 255000 | #Constraints: 19184
146.79/147.38 c #Conflicts: 256000 | #Constraints: 20186
146.79/147.38 c INPROCESSING
146.79/147.38 c GARBAGE COLLECT
146.79/147.38 c rational objective 14.1656
152.67/153.29 c #Conflicts: 257000 | #Constraints: 11119
152.67/153.29 c #Conflicts: 258000 | #Constraints: 12139
152.67/153.29 c #Conflicts: 259000 | #Constraints: 13147
152.67/153.29 c #Conflicts: 260000 | #Constraints: 14160
152.67/153.29 c #Conflicts: 261000 | #Constraints: 15174
152.67/153.29 c #Conflicts: 262000 | #Constraints: 16183
152.67/153.29 c #Conflicts: 263000 | #Constraints: 17200
152.67/153.29 c #Conflicts: 264000 | #Constraints: 18213
152.67/153.29 c #Conflicts: 265000 | #Constraints: 19224
152.67/153.29 c #Conflicts: 266000 | #Constraints: 20235
152.67/153.29 c INPROCESSING
152.67/153.29 c GARBAGE COLLECT
152.67/153.29 c rational objective 14.1656
159.25/159.88 c #Conflicts: 267000 | #Constraints: 10945
159.25/159.88 c #Conflicts: 268000 | #Constraints: 11966
159.25/159.88 c #Conflicts: 269000 | #Constraints: 12983
159.25/159.88 c #Conflicts: 270000 | #Constraints: 13998
159.25/159.88 c #Conflicts: 271000 | #Constraints: 15011
159.25/159.88 c #Conflicts: 272000 | #Constraints: 16033
159.25/159.88 c #Conflicts: 273000 | #Constraints: 17047
159.25/159.88 c #Conflicts: 274000 | #Constraints: 18062
159.25/159.88 c #Conflicts: 275000 | #Constraints: 19079
159.25/159.88 c #Conflicts: 276000 | #Constraints: 20091
159.25/159.88 c #Conflicts: 277000 | #Constraints: 21099
159.25/159.88 c INPROCESSING
159.25/159.88 c GARBAGE COLLECT
159.25/159.88 c rational objective 14.1656
168.43/169.00 c #Conflicts: 278000 | #Constraints: 11573
168.43/169.00 c #Conflicts: 279000 | #Constraints: 12575
168.43/169.00 c #Conflicts: 280000 | #Constraints: 13579
168.43/169.00 c #Conflicts: 281000 | #Constraints: 14580
168.43/169.00 c #Conflicts: 282000 | #Constraints: 15585
168.43/169.00 c #Conflicts: 283000 | #Constraints: 16589
168.43/169.00 c #Conflicts: 284000 | #Constraints: 17591
168.43/169.00 c #Conflicts: 285000 | #Constraints: 18593
168.43/169.00 c #Conflicts: 286000 | #Constraints: 19596
168.43/169.00 c #Conflicts: 287000 | #Constraints: 20602
168.43/169.00 c #Conflicts: 288000 | #Constraints: 21606
168.43/169.00 c INPROCESSING
168.43/169.00 c GARBAGE COLLECT
168.43/169.00 c rational objective 14.1656
169.33/169.99 c #Conflicts: 289000 | #Constraints: 11937
169.33/169.99 c bounds 17 >= 13 @ 165.719
175.71/176.36 c #Conflicts: 290000 | #Constraints: 12958
175.71/176.36 c #Conflicts: 291000 | #Constraints: 13978
175.71/176.36 c #Conflicts: 292000 | #Constraints: 14996
175.71/176.36 c #Conflicts: 293000 | #Constraints: 16024
175.71/176.36 c #Conflicts: 294000 | #Constraints: 17044
175.71/176.36 c #Conflicts: 295000 | #Constraints: 18063
175.71/176.36 c #Conflicts: 296000 | #Constraints: 19077
175.71/176.36 c #Conflicts: 297000 | #Constraints: 20087
175.71/176.36 c #Conflicts: 298000 | #Constraints: 21102
175.71/176.36 c #Conflicts: 299000 | #Constraints: 22114
175.71/176.36 c INPROCESSING
175.71/176.36 c GARBAGE COLLECT
175.71/176.36 c rational objective 14.1656
185.29/185.99 c #Conflicts: 300000 | #Constraints: 12181
185.29/185.99 c #Conflicts: 301000 | #Constraints: 13190
185.29/185.99 c #Conflicts: 302000 | #Constraints: 14193
185.29/185.99 c #Conflicts: 303000 | #Constraints: 15199
185.29/185.99 c #Conflicts: 304000 | #Constraints: 16203
185.29/185.99 c #Conflicts: 305000 | #Constraints: 17210
185.29/185.99 c #Conflicts: 306000 | #Constraints: 18226
185.29/185.99 c #Conflicts: 307000 | #Constraints: 19232
185.29/185.99 c #Conflicts: 308000 | #Constraints: 20237
185.29/185.99 c #Conflicts: 309000 | #Constraints: 21245
185.29/185.99 c #Conflicts: 310000 | #Constraints: 22253
185.29/185.99 c INPROCESSING
185.29/185.99 c GARBAGE COLLECT
185.29/185.99 c rational objective 14.1656
193.38/194.10 c #Conflicts: 311000 | #Constraints: 12175
193.38/194.10 c #Conflicts: 312000 | #Constraints: 13199
193.38/194.10 c #Conflicts: 313000 | #Constraints: 14225
193.38/194.10 c #Conflicts: 314000 | #Constraints: 15243
193.38/194.10 c #Conflicts: 315000 | #Constraints: 16271
193.38/194.10 c #Conflicts: 316000 | #Constraints: 17288
193.38/194.10 c #Conflicts: 317000 | #Constraints: 18300
193.38/194.10 c #Conflicts: 318000 | #Constraints: 19314
193.38/194.10 c #Conflicts: 319000 | #Constraints: 20328
193.38/194.10 c #Conflicts: 320000 | #Constraints: 21347
193.38/194.10 c #Conflicts: 321000 | #Constraints: 22365
193.38/194.10 c INPROCESSING
193.38/194.10 c GARBAGE COLLECT
193.38/194.10 c rational objective 14.1656
202.74/203.42 c #Conflicts: 322000 | #Constraints: 12002
202.74/203.42 c #Conflicts: 323000 | #Constraints: 13028
202.74/203.42 c #Conflicts: 324000 | #Constraints: 14055
202.74/203.42 c #Conflicts: 325000 | #Constraints: 15067
202.74/203.42 c #Conflicts: 326000 | #Constraints: 16078
202.74/203.42 c #Conflicts: 327000 | #Constraints: 17094
202.74/203.42 c #Conflicts: 328000 | #Constraints: 18115
202.74/203.42 c #Conflicts: 329000 | #Constraints: 19134
202.74/203.42 c #Conflicts: 330000 | #Constraints: 20152
202.74/203.42 c #Conflicts: 331000 | #Constraints: 21167
202.74/203.42 c #Conflicts: 332000 | #Constraints: 22182
202.74/203.42 c #Conflicts: 333000 | #Constraints: 23196
202.74/203.42 c INPROCESSING
202.74/203.42 c GARBAGE COLLECT
202.74/203.42 c rational objective 14.1656
212.52/213.26 c #Conflicts: 334000 | #Constraints: 12622
212.52/213.26 c #Conflicts: 335000 | #Constraints: 13625
212.52/213.26 c #Conflicts: 336000 | #Constraints: 14631
212.52/213.26 c #Conflicts: 337000 | #Constraints: 15637
212.52/213.26 c #Conflicts: 338000 | #Constraints: 16644
212.52/213.26 c #Conflicts: 339000 | #Constraints: 17651
212.52/213.26 c #Conflicts: 340000 | #Constraints: 18661
212.52/213.26 c #Conflicts: 341000 | #Constraints: 19672
212.52/213.26 c #Conflicts: 342000 | #Constraints: 20680
212.52/213.26 c #Conflicts: 343000 | #Constraints: 21690
212.52/213.26 c #Conflicts: 344000 | #Constraints: 22695
212.52/213.26 c #Conflicts: 345000 | #Constraints: 23705
212.52/213.26 c INPROCESSING
212.52/213.26 c GARBAGE COLLECT
212.52/213.26 c rational objective 14.1656
221.49/222.22 c #Conflicts: 346000 | #Constraints: 12983
221.49/222.22 c #Conflicts: 347000 | #Constraints: 13999
221.49/222.22 c #Conflicts: 348000 | #Constraints: 15016
221.49/222.22 c #Conflicts: 349000 | #Constraints: 16030
221.49/222.22 c #Conflicts: 350000 | #Constraints: 17039
221.49/222.22 c #Conflicts: 351000 | #Constraints: 18051
221.49/222.22 c #Conflicts: 352000 | #Constraints: 19059
221.49/222.22 c #Conflicts: 353000 | #Constraints: 20064
221.49/222.22 c #Conflicts: 354000 | #Constraints: 21070
221.49/222.22 c #Conflicts: 355000 | #Constraints: 22081
221.49/222.22 c #Conflicts: 356000 | #Constraints: 23091
221.49/222.22 c #Conflicts: 357000 | #Constraints: 24101
221.49/222.22 c INPROCESSING
221.49/222.22 c GARBAGE COLLECT
221.49/222.22 c rational objective 14.1656
232.66/233.42 c #Conflicts: 358000 | #Constraints: 13168
232.66/233.42 c #Conflicts: 359000 | #Constraints: 14175
232.66/233.42 c #Conflicts: 360000 | #Constraints: 15181
232.66/233.42 c #Conflicts: 361000 | #Constraints: 16190
232.66/233.42 c #Conflicts: 362000 | #Constraints: 17198
232.66/233.42 c #Conflicts: 363000 | #Constraints: 18202
232.66/233.42 c #Conflicts: 364000 | #Constraints: 19213
232.66/233.42 c #Conflicts: 365000 | #Constraints: 20215
232.66/233.42 c #Conflicts: 366000 | #Constraints: 21219
232.66/233.42 c #Conflicts: 367000 | #Constraints: 22228
232.66/233.42 c #Conflicts: 368000 | #Constraints: 23231
232.66/233.42 c #Conflicts: 369000 | #Constraints: 24235
232.66/233.42 c INPROCESSING
232.66/233.42 c GARBAGE COLLECT
232.66/233.42 c rational objective 14.1656
242.14/242.93 c #Conflicts: 370000 | #Constraints: 13152
242.14/242.93 c #Conflicts: 371000 | #Constraints: 14173
242.14/242.93 c #Conflicts: 372000 | #Constraints: 15180
242.14/242.93 c #Conflicts: 373000 | #Constraints: 16190
242.14/242.93 c #Conflicts: 374000 | #Constraints: 17207
242.14/242.93 c #Conflicts: 375000 | #Constraints: 18223
242.14/242.93 c #Conflicts: 376000 | #Constraints: 19243
242.14/242.93 c #Conflicts: 377000 | #Constraints: 20265
242.14/242.93 c #Conflicts: 378000 | #Constraints: 21284
242.14/242.93 c #Conflicts: 379000 | #Constraints: 22293
242.14/242.93 c #Conflicts: 380000 | #Constraints: 23301
242.14/242.93 c #Conflicts: 381000 | #Constraints: 24311
242.14/242.93 c INPROCESSING
242.14/242.93 c GARBAGE COLLECT
242.14/242.93 c rational objective 14.1656
253.01/253.86 c #Conflicts: 382000 | #Constraints: 12983
253.01/253.86 c #Conflicts: 383000 | #Constraints: 13988
253.01/253.86 c #Conflicts: 384000 | #Constraints: 15009
253.01/253.86 c #Conflicts: 385000 | #Constraints: 16017
253.01/253.86 c #Conflicts: 386000 | #Constraints: 17027
253.01/253.86 c #Conflicts: 387000 | #Constraints: 18030
253.01/253.86 c #Conflicts: 388000 | #Constraints: 19035
253.01/253.86 c #Conflicts: 389000 | #Constraints: 20041
253.01/253.86 c #Conflicts: 390000 | #Constraints: 21049
253.01/253.86 c #Conflicts: 391000 | #Constraints: 22052
253.01/253.86 c #Conflicts: 392000 | #Constraints: 23056
253.01/253.86 c #Conflicts: 393000 | #Constraints: 24062
253.01/253.86 c #Conflicts: 394000 | #Constraints: 25076
253.01/253.86 c INPROCESSING
253.01/253.86 c GARBAGE COLLECT
253.01/253.86 c rational objective 14.1656
262.88/263.76 c #Conflicts: 395000 | #Constraints: 13608
262.88/263.76 c #Conflicts: 396000 | #Constraints: 14630
262.88/263.76 c #Conflicts: 397000 | #Constraints: 15647
262.88/263.76 c #Conflicts: 398000 | #Constraints: 16658
262.88/263.76 c #Conflicts: 399000 | #Constraints: 17668
262.88/263.76 c #Conflicts: 400000 | #Constraints: 18673
262.88/263.76 c #Conflicts: 401000 | #Constraints: 19685
262.88/263.76 c #Conflicts: 402000 | #Constraints: 20697
262.88/263.76 c #Conflicts: 403000 | #Constraints: 21709
262.88/263.76 c #Conflicts: 404000 | #Constraints: 22717
262.88/263.76 c #Conflicts: 405000 | #Constraints: 23731
262.88/263.76 c #Conflicts: 406000 | #Constraints: 24736
262.88/263.76 c #Conflicts: 407000 | #Constraints: 25742
262.88/263.76 c INPROCESSING
262.88/263.76 c GARBAGE COLLECT
262.88/263.76 c rational objective 14.1656
273.45/274.30 c #Conflicts: 408000 | #Constraints: 14011
273.45/274.30 c #Conflicts: 409000 | #Constraints: 15024
273.45/274.30 c #Conflicts: 410000 | #Constraints: 16028
273.45/274.30 c #Conflicts: 411000 | #Constraints: 17036
273.45/274.30 c #Conflicts: 412000 | #Constraints: 18040
273.45/274.30 c #Conflicts: 413000 | #Constraints: 19055
273.45/274.30 c #Conflicts: 414000 | #Constraints: 20067
273.45/274.30 c #Conflicts: 415000 | #Constraints: 21086
273.45/274.30 c #Conflicts: 416000 | #Constraints: 22099
273.45/274.30 c #Conflicts: 417000 | #Constraints: 23107
273.45/274.30 c #Conflicts: 418000 | #Constraints: 24119
273.45/274.30 c #Conflicts: 419000 | #Constraints: 25133
273.45/274.30 c #Conflicts: 420000 | #Constraints: 26148
273.45/274.30 c INPROCESSING
273.45/274.30 c GARBAGE COLLECT
273.45/274.30 c rational objective 14.1656
285.43/286.39 c #Conflicts: 421000 | #Constraints: 14232
285.43/286.39 c #Conflicts: 422000 | #Constraints: 15252
285.43/286.39 c #Conflicts: 423000 | #Constraints: 16264
285.43/286.39 c #Conflicts: 424000 | #Constraints: 17273
285.43/286.39 c #Conflicts: 425000 | #Constraints: 18284
285.43/286.39 c #Conflicts: 426000 | #Constraints: 19292
285.43/286.39 c #Conflicts: 427000 | #Constraints: 20301
285.43/286.39 c #Conflicts: 428000 | #Constraints: 21309
285.43/286.39 c #Conflicts: 429000 | #Constraints: 22319
285.43/286.39 c #Conflicts: 430000 | #Constraints: 23325
285.43/286.39 c #Conflicts: 431000 | #Constraints: 24330
285.43/286.39 c #Conflicts: 432000 | #Constraints: 25335
285.43/286.39 c #Conflicts: 433000 | #Constraints: 26339
285.43/286.39 c INPROCESSING
285.43/286.39 c GARBAGE COLLECT
285.43/286.39 c rational objective 14.1657
296.60/297.53 c #Conflicts: 434000 | #Constraints: 14202
296.60/297.53 c #Conflicts: 435000 | #Constraints: 15224
296.60/297.53 c #Conflicts: 436000 | #Constraints: 16234
296.60/297.53 c #Conflicts: 437000 | #Constraints: 17239
296.60/297.53 c #Conflicts: 438000 | #Constraints: 18259
296.60/297.53 c #Conflicts: 439000 | #Constraints: 19280
296.60/297.53 c #Conflicts: 440000 | #Constraints: 20290
296.60/297.53 c #Conflicts: 441000 | #Constraints: 21304
296.60/297.53 c #Conflicts: 442000 | #Constraints: 22318
296.60/297.53 c #Conflicts: 443000 | #Constraints: 23330
296.60/297.53 c #Conflicts: 444000 | #Constraints: 24344
296.60/297.53 c #Conflicts: 445000 | #Constraints: 25360
296.60/297.53 c #Conflicts: 446000 | #Constraints: 26381
296.60/297.53 c INPROCESSING
296.60/297.53 c GARBAGE COLLECT
296.60/297.53 c rational objective 14.1657
307.07/308.03 c #Conflicts: 447000 | #Constraints: 14023
307.07/308.03 c #Conflicts: 448000 | #Constraints: 15041
307.07/308.03 c #Conflicts: 449000 | #Constraints: 16060
307.07/308.03 c #Conflicts: 450000 | #Constraints: 17071
307.07/308.03 c #Conflicts: 451000 | #Constraints: 18079
307.07/308.03 c #Conflicts: 452000 | #Constraints: 19093
307.07/308.03 c #Conflicts: 453000 | #Constraints: 20107
307.07/308.03 c #Conflicts: 454000 | #Constraints: 21118
307.07/308.03 c #Conflicts: 455000 | #Constraints: 22128
307.07/308.03 c #Conflicts: 456000 | #Constraints: 23140
307.07/308.03 c #Conflicts: 457000 | #Constraints: 24149
307.07/308.03 c #Conflicts: 458000 | #Constraints: 25155
307.07/308.03 c #Conflicts: 459000 | #Constraints: 26165
307.07/308.03 c #Conflicts: 460000 | #Constraints: 27176
307.07/308.03 c INPROCESSING
307.07/308.03 c GARBAGE COLLECT
307.07/308.03 c rational objective 14.1657
318.74/319.71 c #Conflicts: 461000 | #Constraints: 14615
318.74/319.71 c #Conflicts: 462000 | #Constraints: 15628
318.74/319.71 c #Conflicts: 463000 | #Constraints: 16647
318.74/319.71 c #Conflicts: 464000 | #Constraints: 17658
318.74/319.71 c #Conflicts: 465000 | #Constraints: 18668
318.74/319.71 c #Conflicts: 466000 | #Constraints: 19686
318.74/319.71 c #Conflicts: 467000 | #Constraints: 20700
318.74/319.71 c #Conflicts: 468000 | #Constraints: 21718
318.74/319.71 c #Conflicts: 469000 | #Constraints: 22739
318.74/319.71 c #Conflicts: 470000 | #Constraints: 23756
318.74/319.71 c #Conflicts: 471000 | #Constraints: 24770
318.74/319.71 c #Conflicts: 472000 | #Constraints: 25782
318.74/319.71 c #Conflicts: 473000 | #Constraints: 26793
318.74/319.71 c #Conflicts: 474000 | #Constraints: 27802
318.74/319.71 c INPROCESSING
318.74/319.71 c GARBAGE COLLECT
318.74/319.71 c rational objective 14.1657
329.71/330.74 c #Conflicts: 475000 | #Constraints: 15030
329.71/330.74 c #Conflicts: 476000 | #Constraints: 16044
329.71/330.74 c #Conflicts: 477000 | #Constraints: 17053
329.71/330.74 c #Conflicts: 478000 | #Constraints: 18062
329.71/330.74 c #Conflicts: 479000 | #Constraints: 19072
329.71/330.74 c #Conflicts: 480000 | #Constraints: 20081
329.71/330.74 c #Conflicts: 481000 | #Constraints: 21097
329.71/330.74 c #Conflicts: 482000 | #Constraints: 22111
329.71/330.74 c #Conflicts: 483000 | #Constraints: 23127
329.71/330.74 c #Conflicts: 484000 | #Constraints: 24144
329.71/330.74 c #Conflicts: 485000 | #Constraints: 25154
329.71/330.74 c #Conflicts: 486000 | #Constraints: 26161
329.71/330.74 c #Conflicts: 487000 | #Constraints: 27168
329.71/330.74 c #Conflicts: 488000 | #Constraints: 28182
329.71/330.74 c INPROCESSING
329.71/330.74 c GARBAGE COLLECT
329.71/330.74 c rational objective 14.1657
340.98/342.04 c #Conflicts: 489000 | #Constraints: 15242
340.98/342.04 c #Conflicts: 490000 | #Constraints: 16258
340.98/342.04 c #Conflicts: 491000 | #Constraints: 17271
340.98/342.04 c #Conflicts: 492000 | #Constraints: 18285
340.98/342.04 c #Conflicts: 493000 | #Constraints: 19301
340.98/342.04 c #Conflicts: 494000 | #Constraints: 20317
340.98/342.04 c #Conflicts: 495000 | #Constraints: 21336
340.98/342.04 c #Conflicts: 496000 | #Constraints: 22348
340.98/342.04 c #Conflicts: 497000 | #Constraints: 23359
340.98/342.04 c #Conflicts: 498000 | #Constraints: 24381
340.98/342.04 c #Conflicts: 499000 | #Constraints: 25397
340.98/342.04 c #Conflicts: 500000 | #Constraints: 26412
340.98/342.04 c #Conflicts: 501000 | #Constraints: 27430
340.98/342.04 c #Conflicts: 502000 | #Constraints: 28451
340.98/342.04 c INPROCESSING
340.98/342.04 c GARBAGE COLLECT
340.98/342.04 c rational objective 14.1657
353.15/354.27 c #Conflicts: 503000 | #Constraints: 15265
353.15/354.27 c #Conflicts: 504000 | #Constraints: 16275
353.15/354.27 c #Conflicts: 505000 | #Constraints: 17283
353.15/354.27 c #Conflicts: 506000 | #Constraints: 18289
353.15/354.27 c #Conflicts: 507000 | #Constraints: 19300
353.15/354.27 c #Conflicts: 508000 | #Constraints: 20313
353.15/354.27 c #Conflicts: 509000 | #Constraints: 21323
353.15/354.27 c #Conflicts: 510000 | #Constraints: 22332
353.15/354.27 c #Conflicts: 511000 | #Constraints: 23337
353.15/354.27 c #Conflicts: 512000 | #Constraints: 24348
353.15/354.27 c #Conflicts: 513000 | #Constraints: 25357
353.15/354.27 c #Conflicts: 514000 | #Constraints: 26360
353.15/354.27 c #Conflicts: 515000 | #Constraints: 27363
353.15/354.27 c #Conflicts: 516000 | #Constraints: 28366
353.15/354.27 c INPROCESSING
353.15/354.27 c GARBAGE COLLECT
353.15/354.27 c rational objective 14.1657
365.32/366.40 c #Conflicts: 517000 | #Constraints: 15003
365.32/366.40 c #Conflicts: 518000 | #Constraints: 16007
365.32/366.40 c #Conflicts: 519000 | #Constraints: 17022
365.32/366.40 c #Conflicts: 520000 | #Constraints: 18035
365.32/366.40 c #Conflicts: 521000 | #Constraints: 19043
365.32/366.40 c #Conflicts: 522000 | #Constraints: 20049
365.32/366.40 c #Conflicts: 523000 | #Constraints: 21055
365.32/366.40 c #Conflicts: 524000 | #Constraints: 22066
365.32/366.40 c #Conflicts: 525000 | #Constraints: 23072
365.32/366.40 c #Conflicts: 526000 | #Constraints: 24077
365.32/366.40 c #Conflicts: 527000 | #Constraints: 25081
365.32/366.40 c #Conflicts: 528000 | #Constraints: 26096
365.32/366.40 c #Conflicts: 529000 | #Constraints: 27109
365.32/366.40 c #Conflicts: 530000 | #Constraints: 28122
365.32/366.40 c #Conflicts: 531000 | #Constraints: 29137
365.32/366.40 c INPROCESSING
365.32/366.40 c GARBAGE COLLECT
365.32/366.40 c rational objective 14.1657
377.79/378.92 c #Conflicts: 532000 | #Constraints: 15605
377.79/378.92 c #Conflicts: 533000 | #Constraints: 16609
377.79/378.92 c #Conflicts: 534000 | #Constraints: 17616
377.79/378.92 c #Conflicts: 535000 | #Constraints: 18620
377.79/378.92 c #Conflicts: 536000 | #Constraints: 19625
377.79/378.92 c #Conflicts: 537000 | #Constraints: 20634
377.79/378.92 c #Conflicts: 538000 | #Constraints: 21645
377.79/378.92 c #Conflicts: 539000 | #Constraints: 22656
377.79/378.92 c #Conflicts: 540000 | #Constraints: 23669
377.79/378.92 c #Conflicts: 541000 | #Constraints: 24673
377.79/378.92 c #Conflicts: 542000 | #Constraints: 25677
377.79/378.92 c #Conflicts: 543000 | #Constraints: 26685
377.79/378.92 c #Conflicts: 544000 | #Constraints: 27688
377.79/378.92 c #Conflicts: 545000 | #Constraints: 28692
377.79/378.92 c #Conflicts: 546000 | #Constraints: 29704
377.79/378.92 c INPROCESSING
377.79/378.92 c GARBAGE COLLECT
377.79/378.92 c rational objective 14.1657
391.05/392.27 c #Conflicts: 547000 | #Constraints: 15977
391.05/392.27 c #Conflicts: 548000 | #Constraints: 16990
391.05/392.27 c #Conflicts: 549000 | #Constraints: 17996
391.05/392.27 c #Conflicts: 550000 | #Constraints: 19015
391.05/392.27 c #Conflicts: 551000 | #Constraints: 20027
391.05/392.27 c #Conflicts: 552000 | #Constraints: 21042
391.05/392.27 c #Conflicts: 553000 | #Constraints: 22054
391.05/392.27 c #Conflicts: 554000 | #Constraints: 23074
391.05/392.27 c #Conflicts: 555000 | #Constraints: 24086
391.05/392.27 c #Conflicts: 556000 | #Constraints: 25102
391.05/392.27 c #Conflicts: 557000 | #Constraints: 26112
391.05/392.27 c #Conflicts: 558000 | #Constraints: 27120
391.05/392.27 c #Conflicts: 559000 | #Constraints: 28124
391.05/392.27 c #Conflicts: 560000 | #Constraints: 29132
391.05/392.27 c #Conflicts: 561000 | #Constraints: 30139
391.05/392.27 c INPROCESSING
391.05/392.27 c GARBAGE COLLECT
391.05/392.27 c rational objective 14.1657
404.92/406.12 c #Conflicts: 562000 | #Constraints: 16217
404.92/406.12 c #Conflicts: 563000 | #Constraints: 17228
404.92/406.12 c #Conflicts: 564000 | #Constraints: 18248
404.92/406.12 c #Conflicts: 565000 | #Constraints: 19265
404.92/406.12 c #Conflicts: 566000 | #Constraints: 20280
404.92/406.12 c #Conflicts: 567000 | #Constraints: 21293
404.92/406.12 c #Conflicts: 568000 | #Constraints: 22299
404.92/406.12 c #Conflicts: 569000 | #Constraints: 23307
404.92/406.12 c #Conflicts: 570000 | #Constraints: 24311
404.92/406.12 c #Conflicts: 571000 | #Constraints: 25319
404.92/406.12 c #Conflicts: 572000 | #Constraints: 26325
404.92/406.12 c #Conflicts: 573000 | #Constraints: 27333
404.92/406.12 c #Conflicts: 574000 | #Constraints: 28345
404.92/406.12 c #Conflicts: 575000 | #Constraints: 29353
404.92/406.12 c #Conflicts: 576000 | #Constraints: 30360
404.92/406.12 c INPROCESSING
404.92/406.12 c GARBAGE COLLECT
404.92/406.12 c rational objective 14.1657
418.08/419.31 c #Conflicts: 577000 | #Constraints: 16210
418.08/419.31 c #Conflicts: 578000 | #Constraints: 17214
418.08/419.31 c #Conflicts: 579000 | #Constraints: 18219
418.08/419.31 c #Conflicts: 580000 | #Constraints: 19231
418.08/419.31 c #Conflicts: 581000 | #Constraints: 20238
418.08/419.31 c #Conflicts: 582000 | #Constraints: 21246
418.08/419.31 c #Conflicts: 583000 | #Constraints: 22256
418.08/419.31 c #Conflicts: 584000 | #Constraints: 23269
418.08/419.31 c #Conflicts: 585000 | #Constraints: 24276
418.08/419.31 c #Conflicts: 586000 | #Constraints: 25280
418.08/419.31 c #Conflicts: 587000 | #Constraints: 26288
418.08/419.31 c #Conflicts: 588000 | #Constraints: 27294
418.08/419.31 c #Conflicts: 589000 | #Constraints: 28296
418.08/419.31 c #Conflicts: 590000 | #Constraints: 29303
418.08/419.31 c #Conflicts: 591000 | #Constraints: 30309
418.08/419.31 c INPROCESSING
418.08/419.31 c GARBAGE COLLECT
418.08/419.31 c rational objective 14.1657
430.85/432.11 c #Conflicts: 592000 | #Constraints: 15982
430.85/432.11 c #Conflicts: 593000 | #Constraints: 16992
430.85/432.11 c #Conflicts: 594000 | #Constraints: 18003
430.85/432.11 c #Conflicts: 595000 | #Constraints: 19016
430.85/432.11 c #Conflicts: 596000 | #Constraints: 20029
430.85/432.11 c #Conflicts: 597000 | #Constraints: 21039
430.85/432.11 c #Conflicts: 598000 | #Constraints: 22050
430.85/432.11 c #Conflicts: 599000 | #Constraints: 23064
430.85/432.11 c #Conflicts: 600000 | #Constraints: 24077
430.85/432.11 c #Conflicts: 601000 | #Constraints: 25086
430.85/432.11 c #Conflicts: 602000 | #Constraints: 26092
430.85/432.11 c #Conflicts: 603000 | #Constraints: 27103
430.85/432.11 c #Conflicts: 604000 | #Constraints: 28115
430.85/432.11 c #Conflicts: 605000 | #Constraints: 29129
430.85/432.11 c #Conflicts: 606000 | #Constraints: 30137
430.85/432.11 c #Conflicts: 607000 | #Constraints: 31150
430.85/432.11 c INPROCESSING
430.85/432.11 c GARBAGE COLLECT
430.85/432.11 c rational objective 14.1657
444.41/445.70 c #Conflicts: 608000 | #Constraints: 16613
444.41/445.70 c #Conflicts: 609000 | #Constraints: 17627
444.41/445.70 c #Conflicts: 610000 | #Constraints: 18645
444.41/445.70 c #Conflicts: 611000 | #Constraints: 19665
444.41/445.70 c #Conflicts: 612000 | #Constraints: 20679
444.41/445.70 c #Conflicts: 613000 | #Constraints: 21687
444.41/445.70 c #Conflicts: 614000 | #Constraints: 22697
444.41/445.70 c #Conflicts: 615000 | #Constraints: 23709
444.41/445.70 c #Conflicts: 616000 | #Constraints: 24713
444.41/445.70 c #Conflicts: 617000 | #Constraints: 25720
444.41/445.70 c #Conflicts: 618000 | #Constraints: 26724
444.41/445.70 c #Conflicts: 619000 | #Constraints: 27735
444.41/445.70 c #Conflicts: 620000 | #Constraints: 28741
444.41/445.70 c #Conflicts: 621000 | #Constraints: 29746
444.41/445.70 c #Conflicts: 622000 | #Constraints: 30756
444.41/445.70 c #Conflicts: 623000 | #Constraints: 31764
444.41/445.70 c INPROCESSING
444.41/445.70 c GARBAGE COLLECT
444.41/445.70 c rational objective 14.1657
458.87/460.20 c #Conflicts: 624000 | #Constraints: 17017
458.87/460.20 c #Conflicts: 625000 | #Constraints: 18025
458.87/460.20 c #Conflicts: 626000 | #Constraints: 19032
458.87/460.20 c #Conflicts: 627000 | #Constraints: 20039
458.87/460.20 c #Conflicts: 628000 | #Constraints: 21045
458.87/460.20 c #Conflicts: 629000 | #Constraints: 22052
458.87/460.20 c #Conflicts: 630000 | #Constraints: 23067
458.87/460.20 c #Conflicts: 631000 | #Constraints: 24086
458.87/460.20 c #Conflicts: 632000 | #Constraints: 25100
458.87/460.20 c #Conflicts: 633000 | #Constraints: 26117
458.87/460.20 c #Conflicts: 634000 | #Constraints: 27134
458.87/460.20 c #Conflicts: 635000 | #Constraints: 28147
458.87/460.20 c #Conflicts: 636000 | #Constraints: 29154
458.87/460.20 c #Conflicts: 637000 | #Constraints: 30159
458.87/460.20 c #Conflicts: 638000 | #Constraints: 31166
458.87/460.20 c #Conflicts: 639000 | #Constraints: 32174
458.87/460.20 c INPROCESSING
458.87/460.20 c GARBAGE COLLECT
458.87/460.20 c rational objective 14.1658
472.64/474.03 c #Conflicts: 640000 | #Constraints: 17210
472.64/474.03 c #Conflicts: 641000 | #Constraints: 18220
472.64/474.03 c #Conflicts: 642000 | #Constraints: 19236
472.64/474.03 c #Conflicts: 643000 | #Constraints: 20248
472.64/474.03 c #Conflicts: 644000 | #Constraints: 21251
472.64/474.03 c #Conflicts: 645000 | #Constraints: 22253
472.64/474.03 c #Conflicts: 646000 | #Constraints: 23265
472.64/474.03 c #Conflicts: 647000 | #Constraints: 24268
472.64/474.03 c #Conflicts: 648000 | #Constraints: 25272
472.64/474.03 c #Conflicts: 649000 | #Constraints: 26281
472.64/474.03 c #Conflicts: 650000 | #Constraints: 27293
472.64/474.03 c #Conflicts: 651000 | #Constraints: 28301
472.64/474.03 c #Conflicts: 652000 | #Constraints: 29312
472.64/474.03 c #Conflicts: 653000 | #Constraints: 30325
472.64/474.03 c #Conflicts: 654000 | #Constraints: 31334
472.64/474.03 c #Conflicts: 655000 | #Constraints: 32350
472.64/474.03 c INPROCESSING
472.64/474.03 c GARBAGE COLLECT
472.64/474.03 c rational objective 14.1658
486.61/488.10 c #Conflicts: 656000 | #Constraints: 17208
486.61/488.10 c #Conflicts: 657000 | #Constraints: 18225
486.61/488.10 c #Conflicts: 658000 | #Constraints: 19239
486.61/488.10 c #Conflicts: 659000 | #Constraints: 20252
486.61/488.10 c #Conflicts: 660000 | #Constraints: 21263
486.61/488.10 c #Conflicts: 661000 | #Constraints: 22271
486.61/488.10 c #Conflicts: 662000 | #Constraints: 23276
486.61/488.10 c #Conflicts: 663000 | #Constraints: 24290
486.61/488.10 c #Conflicts: 664000 | #Constraints: 25298
486.61/488.10 c #Conflicts: 665000 | #Constraints: 26304
486.61/488.10 c #Conflicts: 666000 | #Constraints: 27309
486.61/488.10 c #Conflicts: 667000 | #Constraints: 28319
486.61/488.10 c #Conflicts: 668000 | #Constraints: 29334
486.61/488.10 c #Conflicts: 669000 | #Constraints: 30347
486.61/488.10 c #Conflicts: 670000 | #Constraints: 31354
486.61/488.10 c #Conflicts: 671000 | #Constraints: 32363
486.61/488.10 c INPROCESSING
486.61/488.10 c GARBAGE COLLECT
486.61/488.10 c rational objective 14.1658
501.36/502.88 c #Conflicts: 672000 | #Constraints: 16995
501.36/502.88 c #Conflicts: 673000 | #Constraints: 18003
501.36/502.88 c #Conflicts: 674000 | #Constraints: 19006
501.36/502.88 c #Conflicts: 675000 | #Constraints: 20012
501.36/502.88 c #Conflicts: 676000 | #Constraints: 21023
501.36/502.88 c #Conflicts: 677000 | #Constraints: 22039
501.36/502.88 c #Conflicts: 678000 | #Constraints: 23043
501.36/502.88 c #Conflicts: 679000 | #Constraints: 24057
501.36/502.88 c #Conflicts: 680000 | #Constraints: 25066
501.36/502.88 c #Conflicts: 681000 | #Constraints: 26068
501.36/502.88 c #Conflicts: 682000 | #Constraints: 27071
501.36/502.88 c #Conflicts: 683000 | #Constraints: 28074
501.36/502.88 c #Conflicts: 684000 | #Constraints: 29080
501.36/502.88 c #Conflicts: 685000 | #Constraints: 30084
501.36/502.88 c #Conflicts: 686000 | #Constraints: 31090
501.36/502.88 c #Conflicts: 687000 | #Constraints: 32098
501.36/502.88 c #Conflicts: 688000 | #Constraints: 33104
501.36/502.88 c INPROCESSING
501.36/502.88 c GARBAGE COLLECT
501.36/502.88 c rational objective 14.1658
515.42/516.99 c #Conflicts: 689000 | #Constraints: 17585
515.42/516.99 c #Conflicts: 690000 | #Constraints: 18593
515.42/516.99 c #Conflicts: 691000 | #Constraints: 19597
515.42/516.99 c #Conflicts: 692000 | #Constraints: 20605
515.42/516.99 c #Conflicts: 693000 | #Constraints: 21614
515.42/516.99 c #Conflicts: 694000 | #Constraints: 22638
515.42/516.99 c #Conflicts: 695000 | #Constraints: 23654
515.42/516.99 c #Conflicts: 696000 | #Constraints: 24666
515.42/516.99 c #Conflicts: 697000 | #Constraints: 25681
515.42/516.99 c #Conflicts: 698000 | #Constraints: 26692
515.42/516.99 c #Conflicts: 699000 | #Constraints: 27708
515.42/516.99 c #Conflicts: 700000 | #Constraints: 28730
515.42/516.99 c #Conflicts: 701000 | #Constraints: 29744
515.42/516.99 c #Conflicts: 702000 | #Constraints: 30756
515.42/516.99 c #Conflicts: 703000 | #Constraints: 31763
515.42/516.99 c #Conflicts: 704000 | #Constraints: 32776
515.42/516.99 c #Conflicts: 705000 | #Constraints: 33783
515.42/516.99 c INPROCESSING
515.42/516.99 c GARBAGE COLLECT
515.42/516.99 c rational objective 14.1658
530.17/531.73 c #Conflicts: 706000 | #Constraints: 18019
530.17/531.73 c #Conflicts: 707000 | #Constraints: 19026
530.17/531.73 c #Conflicts: 708000 | #Constraints: 20041
530.17/531.73 c #Conflicts: 709000 | #Constraints: 21056
530.17/531.73 c #Conflicts: 710000 | #Constraints: 22073
530.17/531.73 c #Conflicts: 711000 | #Constraints: 23084
530.17/531.73 c #Conflicts: 712000 | #Constraints: 24101
530.17/531.73 c #Conflicts: 713000 | #Constraints: 25114
530.17/531.73 c #Conflicts: 714000 | #Constraints: 26129
530.17/531.73 c #Conflicts: 715000 | #Constraints: 27151
530.17/531.73 c #Conflicts: 716000 | #Constraints: 28165
530.17/531.73 c #Conflicts: 717000 | #Constraints: 29173
530.17/531.73 c #Conflicts: 718000 | #Constraints: 30184
530.17/531.73 c #Conflicts: 719000 | #Constraints: 31191
530.17/531.73 c #Conflicts: 720000 | #Constraints: 32219
530.17/531.73 c #Conflicts: 721000 | #Constraints: 33236
530.17/531.73 c #Conflicts: 722000 | #Constraints: 34251
530.17/531.73 c INPROCESSING
530.17/531.73 c GARBAGE COLLECT
530.17/531.73 c rational objective 14.1658
544.63/546.21 c #Conflicts: 723000 | #Constraints: 18256
544.63/546.21 c #Conflicts: 724000 | #Constraints: 19270
544.63/546.21 c #Conflicts: 725000 | #Constraints: 20282
544.63/546.21 c #Conflicts: 726000 | #Constraints: 21302
544.63/546.21 c #Conflicts: 727000 | #Constraints: 22316
544.63/546.21 c #Conflicts: 728000 | #Constraints: 23330
544.63/546.21 c #Conflicts: 729000 | #Constraints: 24338
544.63/546.21 c #Conflicts: 730000 | #Constraints: 25349
544.63/546.21 c #Conflicts: 731000 | #Constraints: 26360
544.63/546.21 c #Conflicts: 732000 | #Constraints: 27371
544.63/546.21 c #Conflicts: 733000 | #Constraints: 28379
544.63/546.21 c #Conflicts: 734000 | #Constraints: 29390
544.63/546.21 c #Conflicts: 735000 | #Constraints: 30402
544.63/546.21 c #Conflicts: 736000 | #Constraints: 31414
544.63/546.21 c #Conflicts: 737000 | #Constraints: 32421
544.63/546.21 c #Conflicts: 738000 | #Constraints: 33435
544.63/546.21 c #Conflicts: 739000 | #Constraints: 34448
544.63/546.21 c INPROCESSING
544.63/546.21 c GARBAGE COLLECT
544.63/546.21 c rational objective 14.1658
560.18/561.82 c #Conflicts: 740000 | #Constraints: 18266
560.18/561.82 c #Conflicts: 741000 | #Constraints: 19282
560.18/561.82 c #Conflicts: 742000 | #Constraints: 20300
560.18/561.82 c #Conflicts: 743000 | #Constraints: 21323
560.18/561.82 c #Conflicts: 744000 | #Constraints: 22335
560.18/561.82 c #Conflicts: 745000 | #Constraints: 23338
560.18/561.82 c #Conflicts: 746000 | #Constraints: 24343
560.18/561.82 c #Conflicts: 747000 | #Constraints: 25352
560.18/561.82 c #Conflicts: 748000 | #Constraints: 26365
560.18/561.82 c #Conflicts: 749000 | #Constraints: 27369
560.18/561.82 c #Conflicts: 750000 | #Constraints: 28378
560.18/561.82 c #Conflicts: 751000 | #Constraints: 29385
560.18/561.82 c #Conflicts: 752000 | #Constraints: 30389
560.18/561.82 c #Conflicts: 753000 | #Constraints: 31393
560.18/561.82 c #Conflicts: 754000 | #Constraints: 32394
560.18/561.82 c #Conflicts: 755000 | #Constraints: 33403
560.18/561.82 c #Conflicts: 756000 | #Constraints: 34407
560.18/561.82 c INPROCESSING
560.18/561.82 c GARBAGE COLLECT
560.18/561.82 c rational objective 14.1658
575.83/577.57 c #Conflicts: 757000 | #Constraints: 18038
575.83/577.57 c #Conflicts: 758000 | #Constraints: 19065
575.83/577.57 c #Conflicts: 759000 | #Constraints: 20094
575.83/577.57 c #Conflicts: 760000 | #Constraints: 21103
575.83/577.57 c #Conflicts: 761000 | #Constraints: 22111
575.83/577.57 c #Conflicts: 762000 | #Constraints: 23118
575.83/577.57 c #Conflicts: 763000 | #Constraints: 24125
575.83/577.57 c #Conflicts: 764000 | #Constraints: 25132
575.83/577.57 c #Conflicts: 765000 | #Constraints: 26142
575.83/577.57 c #Conflicts: 766000 | #Constraints: 27148
575.83/577.57 c #Conflicts: 767000 | #Constraints: 28156
575.83/577.57 c #Conflicts: 768000 | #Constraints: 29160
575.83/577.57 c #Conflicts: 769000 | #Constraints: 30164
575.83/577.57 c #Conflicts: 770000 | #Constraints: 31177
575.83/577.57 c #Conflicts: 771000 | #Constraints: 32184
575.83/577.57 c #Conflicts: 772000 | #Constraints: 33190
575.83/577.57 c #Conflicts: 773000 | #Constraints: 34200
575.83/577.57 c #Conflicts: 774000 | #Constraints: 35214
575.83/577.57 c INPROCESSING
575.83/577.57 c GARBAGE COLLECT
575.83/577.57 c rational objective 14.1658
591.88/593.65 c #Conflicts: 775000 | #Constraints: 18657
591.88/593.65 c #Conflicts: 776000 | #Constraints: 19667
591.88/593.65 c #Conflicts: 777000 | #Constraints: 20671
591.88/593.65 c #Conflicts: 778000 | #Constraints: 21685
591.88/593.65 c #Conflicts: 779000 | #Constraints: 22697
591.88/593.65 c #Conflicts: 780000 | #Constraints: 23718
591.88/593.65 c #Conflicts: 781000 | #Constraints: 24732
591.88/593.65 c #Conflicts: 782000 | #Constraints: 25745
591.88/593.65 c #Conflicts: 783000 | #Constraints: 26751
591.88/593.65 c #Conflicts: 784000 | #Constraints: 27764
591.88/593.65 c #Conflicts: 785000 | #Constraints: 28775
591.88/593.65 c #Conflicts: 786000 | #Constraints: 29792
591.88/593.65 c #Conflicts: 787000 | #Constraints: 30803
591.88/593.65 c #Conflicts: 788000 | #Constraints: 31813
591.88/593.65 c #Conflicts: 789000 | #Constraints: 32824
591.88/593.65 c #Conflicts: 790000 | #Constraints: 33827
591.88/593.65 c #Conflicts: 791000 | #Constraints: 34830
591.88/593.65 c #Conflicts: 792000 | #Constraints: 35838
591.88/593.65 c INPROCESSING
591.88/593.65 c GARBAGE COLLECT
591.88/593.65 c rational objective 14.1658
606.43/608.24 c #Conflicts: 793000 | #Constraints: 19045
606.43/608.24 c #Conflicts: 794000 | #Constraints: 20052
606.43/608.24 c #Conflicts: 795000 | #Constraints: 21065
606.43/608.24 c #Conflicts: 796000 | #Constraints: 22079
606.43/608.24 c #Conflicts: 797000 | #Constraints: 23091
606.43/608.24 c #Conflicts: 798000 | #Constraints: 24101
606.43/608.24 c #Conflicts: 799000 | #Constraints: 25107
606.43/608.24 c #Conflicts: 800000 | #Constraints: 26116
606.43/608.24 c #Conflicts: 801000 | #Constraints: 27127
606.43/608.24 c #Conflicts: 802000 | #Constraints: 28137
606.43/608.24 c #Conflicts: 803000 | #Constraints: 29155
606.43/608.24 c #Conflicts: 804000 | #Constraints: 30167
606.43/608.24 c #Conflicts: 805000 | #Constraints: 31180
606.43/608.24 c #Conflicts: 806000 | #Constraints: 32197
606.43/608.24 c #Conflicts: 807000 | #Constraints: 33211
606.43/608.24 c #Conflicts: 808000 | #Constraints: 34223
606.43/608.24 c #Conflicts: 809000 | #Constraints: 35237
606.43/608.24 c #Conflicts: 810000 | #Constraints: 36247
606.43/608.24 c INPROCESSING
606.43/608.24 c GARBAGE COLLECT
606.43/608.24 c rational objective 14.1658
622.79/624.63 c #Conflicts: 811000 | #Constraints: 19254
622.79/624.63 c #Conflicts: 812000 | #Constraints: 20257
622.79/624.63 c #Conflicts: 813000 | #Constraints: 21261
622.79/624.63 c #Conflicts: 814000 | #Constraints: 22273
622.79/624.63 c #Conflicts: 815000 | #Constraints: 23282
622.79/624.63 c #Conflicts: 816000 | #Constraints: 24294
622.79/624.63 c #Conflicts: 817000 | #Constraints: 25296
622.79/624.63 c #Conflicts: 818000 | #Constraints: 26300
622.79/624.63 c #Conflicts: 819000 | #Constraints: 27310
622.79/624.63 c #Conflicts: 820000 | #Constraints: 28315
622.79/624.63 c #Conflicts: 821000 | #Constraints: 29320
622.79/624.63 c #Conflicts: 822000 | #Constraints: 30323
622.79/624.63 c #Conflicts: 823000 | #Constraints: 31333
622.79/624.63 c #Conflicts: 824000 | #Constraints: 32350
622.79/624.63 c #Conflicts: 825000 | #Constraints: 33355
622.79/624.63 c #Conflicts: 826000 | #Constraints: 34371
622.79/624.63 c #Conflicts: 827000 | #Constraints: 35384
622.79/624.63 c #Conflicts: 828000 | #Constraints: 36391
622.79/624.63 c INPROCESSING
622.79/624.63 c GARBAGE COLLECT
622.79/624.63 c rational objective 14.1658
641.02/642.94 c #Conflicts: 829000 | #Constraints: 19239
641.02/642.94 c #Conflicts: 830000 | #Constraints: 20243
641.02/642.94 c #Conflicts: 831000 | #Constraints: 21249
641.02/642.94 c #Conflicts: 832000 | #Constraints: 22253
641.02/642.94 c #Conflicts: 833000 | #Constraints: 23256
641.02/642.94 c #Conflicts: 834000 | #Constraints: 24264
641.02/642.94 c #Conflicts: 835000 | #Constraints: 25271
641.02/642.94 c #Conflicts: 836000 | #Constraints: 26278
641.02/642.94 c #Conflicts: 837000 | #Constraints: 27284
641.02/642.94 c #Conflicts: 838000 | #Constraints: 28289
641.02/642.94 c #Conflicts: 839000 | #Constraints: 29294
641.02/642.94 c #Conflicts: 840000 | #Constraints: 30303
641.02/642.94 c #Conflicts: 841000 | #Constraints: 31308
641.02/642.94 c #Conflicts: 842000 | #Constraints: 32311
641.02/642.94 c #Conflicts: 843000 | #Constraints: 33321
641.02/642.94 c #Conflicts: 844000 | #Constraints: 34328
641.02/642.94 c #Conflicts: 845000 | #Constraints: 35334
641.02/642.94 c #Conflicts: 846000 | #Constraints: 36341
641.02/642.94 c INPROCESSING
641.02/642.94 c GARBAGE COLLECT
641.02/642.94 c rational objective 14.1658
656.97/658.95 c #Conflicts: 847000 | #Constraints: 18997
656.97/658.95 c #Conflicts: 848000 | #Constraints: 20003
656.97/658.95 c #Conflicts: 849000 | #Constraints: 21013
656.97/658.95 c #Conflicts: 850000 | #Constraints: 22019
656.97/658.95 c #Conflicts: 851000 | #Constraints: 23026
656.97/658.95 c #Conflicts: 852000 | #Constraints: 24035
656.97/658.95 c #Conflicts: 853000 | #Constraints: 25050
656.97/658.95 c #Conflicts: 854000 | #Constraints: 26064
656.97/658.95 c #Conflicts: 855000 | #Constraints: 27072
656.97/658.95 c #Conflicts: 856000 | #Constraints: 28075
656.97/658.95 c #Conflicts: 857000 | #Constraints: 29078
656.97/658.95 c #Conflicts: 858000 | #Constraints: 30089
656.97/658.95 c #Conflicts: 859000 | #Constraints: 31095
656.97/658.95 c #Conflicts: 860000 | #Constraints: 32099
656.97/658.95 c #Conflicts: 861000 | #Constraints: 33110
656.97/658.95 c #Conflicts: 862000 | #Constraints: 34123
656.97/658.95 c #Conflicts: 863000 | #Constraints: 35133
656.97/658.95 c #Conflicts: 864000 | #Constraints: 36150
656.97/658.95 c #Conflicts: 865000 | #Constraints: 37164
656.97/658.95 c INPROCESSING
656.97/658.95 c GARBAGE COLLECT
656.97/658.95 c rational objective 14.1658
673.33/675.38 c #Conflicts: 866000 | #Constraints: 19614
673.33/675.38 c #Conflicts: 867000 | #Constraints: 20623
673.33/675.38 c #Conflicts: 868000 | #Constraints: 21626
673.33/675.38 c #Conflicts: 869000 | #Constraints: 22638
673.33/675.38 c #Conflicts: 870000 | #Constraints: 23647
673.33/675.38 c #Conflicts: 871000 | #Constraints: 24661
673.33/675.38 c #Conflicts: 872000 | #Constraints: 25669
673.33/675.38 c #Conflicts: 873000 | #Constraints: 26681
673.33/675.38 c #Conflicts: 874000 | #Constraints: 27696
673.33/675.38 c #Conflicts: 875000 | #Constraints: 28701
673.33/675.38 c #Conflicts: 876000 | #Constraints: 29707
673.33/675.38 c #Conflicts: 877000 | #Constraints: 30719
673.33/675.38 c #Conflicts: 878000 | #Constraints: 31730
673.33/675.38 c #Conflicts: 879000 | #Constraints: 32743
673.33/675.38 c #Conflicts: 880000 | #Constraints: 33751
673.33/675.38 c #Conflicts: 881000 | #Constraints: 34761
673.33/675.38 c #Conflicts: 882000 | #Constraints: 35774
673.33/675.38 c #Conflicts: 883000 | #Constraints: 36786
673.33/675.38 c #Conflicts: 884000 | #Constraints: 37800
673.33/675.38 c INPROCESSING
673.33/675.38 c GARBAGE COLLECT
673.33/675.38 c rational objective 14.1658
690.17/692.22 c #Conflicts: 885000 | #Constraints: 20128
690.17/692.22 c #Conflicts: 886000 | #Constraints: 21136
690.17/692.22 c #Conflicts: 887000 | #Constraints: 22148
690.17/692.22 c #Conflicts: 888000 | #Constraints: 23168
690.17/692.22 c #Conflicts: 889000 | #Constraints: 24183
690.17/692.22 c #Conflicts: 890000 | #Constraints: 25201
690.17/692.22 c #Conflicts: 891000 | #Constraints: 26211
690.17/692.22 c #Conflicts: 892000 | #Constraints: 27219
690.17/692.22 c #Conflicts: 893000 | #Constraints: 28226
690.17/692.22 c #Conflicts: 894000 | #Constraints: 29233
690.17/692.22 c #Conflicts: 895000 | #Constraints: 30242
690.17/692.22 c #Conflicts: 896000 | #Constraints: 31249
690.17/692.22 c #Conflicts: 897000 | #Constraints: 32253
690.17/692.22 c #Conflicts: 898000 | #Constraints: 33258
690.17/692.22 c #Conflicts: 899000 | #Constraints: 34264
690.17/692.22 c #Conflicts: 900000 | #Constraints: 35273
690.17/692.22 c #Conflicts: 901000 | #Constraints: 36276
690.17/692.22 c #Conflicts: 902000 | #Constraints: 37279
690.17/692.22 c #Conflicts: 903000 | #Constraints: 38283
690.17/692.22 c INPROCESSING
690.17/692.22 c GARBAGE COLLECT
690.17/692.22 c rational objective 14.166
706.63/708.72 c #Conflicts: 904000 | #Constraints: 20270
706.63/708.72 c #Conflicts: 905000 | #Constraints: 21280
706.63/708.72 c #Conflicts: 906000 | #Constraints: 22297
706.63/708.72 c #Conflicts: 907000 | #Constraints: 23311
706.63/708.72 c #Conflicts: 908000 | #Constraints: 24329
706.63/708.72 c #Conflicts: 909000 | #Constraints: 25343
706.63/708.72 c #Conflicts: 910000 | #Constraints: 26361
706.63/708.72 c #Conflicts: 911000 | #Constraints: 27374
706.63/708.72 c #Conflicts: 912000 | #Constraints: 28382
706.63/708.72 c #Conflicts: 913000 | #Constraints: 29389
706.63/708.72 c #Conflicts: 914000 | #Constraints: 30406
706.63/708.72 c #Conflicts: 915000 | #Constraints: 31415
706.63/708.72 c #Conflicts: 916000 | #Constraints: 32422
706.63/708.72 c #Conflicts: 917000 | #Constraints: 33428
706.63/708.72 c #Conflicts: 918000 | #Constraints: 34439
706.63/708.72 c #Conflicts: 919000 | #Constraints: 35444
706.63/708.72 c #Conflicts: 920000 | #Constraints: 36452
706.63/708.72 c #Conflicts: 921000 | #Constraints: 37464
706.63/708.72 c #Conflicts: 922000 | #Constraints: 38470
706.63/708.72 c INPROCESSING
706.63/708.72 c GARBAGE COLLECT
706.63/708.72 c rational objective 14.166
724.27/726.40 c #Conflicts: 923000 | #Constraints: 20299
724.27/726.40 c #Conflicts: 924000 | #Constraints: 21303
724.27/726.40 c #Conflicts: 925000 | #Constraints: 22318
724.27/726.40 c #Conflicts: 926000 | #Constraints: 23331
724.27/726.40 c #Conflicts: 927000 | #Constraints: 24348
724.27/726.40 c #Conflicts: 928000 | #Constraints: 25360
724.27/726.40 c #Conflicts: 929000 | #Constraints: 26376
724.27/726.40 c #Conflicts: 930000 | #Constraints: 27385
724.27/726.40 c #Conflicts: 931000 | #Constraints: 28398
724.27/726.40 c #Conflicts: 932000 | #Constraints: 29417
724.27/726.40 c #Conflicts: 933000 | #Constraints: 30433
724.27/726.40 c #Conflicts: 934000 | #Constraints: 31442
724.27/726.40 c #Conflicts: 935000 | #Constraints: 32446
724.27/726.40 c #Conflicts: 936000 | #Constraints: 33460
724.27/726.40 c #Conflicts: 937000 | #Constraints: 34462
724.27/726.40 c #Conflicts: 938000 | #Constraints: 35477
724.27/726.40 c #Conflicts: 939000 | #Constraints: 36496
724.27/726.40 c #Conflicts: 940000 | #Constraints: 37516
724.27/726.40 c #Conflicts: 941000 | #Constraints: 38531
724.27/726.40 c INPROCESSING
724.27/726.40 c GARBAGE COLLECT
724.27/726.40 c rational objective 14.1664
740.91/743.11 c #Conflicts: 942000 | #Constraints: 20089
740.91/743.11 c #Conflicts: 943000 | #Constraints: 21100
740.91/743.11 c #Conflicts: 944000 | #Constraints: 22112
740.91/743.11 c #Conflicts: 945000 | #Constraints: 23125
740.91/743.11 c #Conflicts: 946000 | #Constraints: 24136
740.91/743.11 c #Conflicts: 947000 | #Constraints: 25145
740.91/743.11 c #Conflicts: 948000 | #Constraints: 26151
740.91/743.11 c #Conflicts: 949000 | #Constraints: 27160
740.91/743.11 c #Conflicts: 950000 | #Constraints: 28168
740.91/743.11 c #Conflicts: 951000 | #Constraints: 29182
740.91/743.11 c #Conflicts: 952000 | #Constraints: 30196
740.91/743.11 c #Conflicts: 953000 | #Constraints: 31204
740.91/743.11 c #Conflicts: 954000 | #Constraints: 32220
740.91/743.11 c #Conflicts: 955000 | #Constraints: 33228
740.91/743.11 c #Conflicts: 956000 | #Constraints: 34239
740.91/743.11 c #Conflicts: 957000 | #Constraints: 35253
740.91/743.11 c #Conflicts: 958000 | #Constraints: 36260
740.91/743.11 c #Conflicts: 959000 | #Constraints: 37268
740.91/743.11 c #Conflicts: 960000 | #Constraints: 38280
740.91/743.11 c #Conflicts: 961000 | #Constraints: 39292
740.91/743.11 c INPROCESSING
740.91/743.11 c GARBAGE COLLECT
740.91/743.11 c rational objective 14.1664
760.13/762.40 c #Conflicts: 962000 | #Constraints: 20687
760.13/762.40 c #Conflicts: 963000 | #Constraints: 21704
760.13/762.40 c #Conflicts: 964000 | #Constraints: 22717
760.13/762.40 c #Conflicts: 965000 | #Constraints: 23731
760.13/762.40 c #Conflicts: 966000 | #Constraints: 24743
760.13/762.40 c #Conflicts: 967000 | #Constraints: 25753
760.13/762.40 c #Conflicts: 968000 | #Constraints: 26764
760.13/762.40 c #Conflicts: 969000 | #Constraints: 27780
760.13/762.40 c #Conflicts: 970000 | #Constraints: 28796
760.13/762.40 c #Conflicts: 971000 | #Constraints: 29807
760.13/762.40 c #Conflicts: 972000 | #Constraints: 30820
760.13/762.40 c #Conflicts: 973000 | #Constraints: 31835
760.13/762.40 c #Conflicts: 974000 | #Constraints: 32850
760.13/762.40 c #Conflicts: 975000 | #Constraints: 33864
760.13/762.40 c #Conflicts: 976000 | #Constraints: 34880
760.13/762.40 c #Conflicts: 977000 | #Constraints: 35889
760.13/762.40 c #Conflicts: 978000 | #Constraints: 36902
760.13/762.40 c #Conflicts: 979000 | #Constraints: 37911
760.13/762.40 c #Conflicts: 980000 | #Constraints: 38925
760.13/762.40 c #Conflicts: 981000 | #Constraints: 39932
760.13/762.40 c INPROCESSING
760.13/762.40 c GARBAGE COLLECT
760.13/762.40 c rational objective 14.1664
776.79/779.18 c #Conflicts: 982000 | #Constraints: 21102
776.79/779.18 c #Conflicts: 983000 | #Constraints: 22120
776.79/779.18 c #Conflicts: 984000 | #Constraints: 23133
776.79/779.18 c #Conflicts: 985000 | #Constraints: 24145
776.79/779.18 c #Conflicts: 986000 | #Constraints: 25159
776.79/779.18 c #Conflicts: 987000 | #Constraints: 26171
776.79/779.18 c #Conflicts: 988000 | #Constraints: 27182
776.79/779.18 c #Conflicts: 989000 | #Constraints: 28192
776.79/779.18 c #Conflicts: 990000 | #Constraints: 29208
776.79/779.18 c #Conflicts: 991000 | #Constraints: 30222
776.79/779.18 c #Conflicts: 992000 | #Constraints: 31231
776.79/779.18 c #Conflicts: 993000 | #Constraints: 32242
776.79/779.18 c #Conflicts: 994000 | #Constraints: 33253
776.79/779.18 c #Conflicts: 995000 | #Constraints: 34262
776.79/779.18 c #Conflicts: 996000 | #Constraints: 35268
776.79/779.18 c #Conflicts: 997000 | #Constraints: 36276
776.79/779.18 c #Conflicts: 998000 | #Constraints: 37286
776.79/779.18 c #Conflicts: 999000 | #Constraints: 38301
776.79/779.18 c #Conflicts: 1000000 | #Constraints: 39313
776.79/779.18 c #Conflicts: 1001000 | #Constraints: 40326
776.79/779.18 c INPROCESSING
776.79/779.18 c GARBAGE COLLECT
776.79/779.18 c rational objective 14.1664
796.62/799.06 c #Conflicts: 1002000 | #Constraints: 21290
796.62/799.06 c #Conflicts: 1003000 | #Constraints: 22301
796.62/799.06 c #Conflicts: 1004000 | #Constraints: 23312
796.62/799.06 c #Conflicts: 1005000 | #Constraints: 24326
796.62/799.06 c #Conflicts: 1006000 | #Constraints: 25341
796.62/799.06 c #Conflicts: 1007000 | #Constraints: 26360
796.62/799.06 c #Conflicts: 1008000 | #Constraints: 27376
796.62/799.06 c #Conflicts: 1009000 | #Constraints: 28392
796.62/799.06 c #Conflicts: 1010000 | #Constraints: 29408
796.62/799.06 c #Conflicts: 1011000 | #Constraints: 30418
796.62/799.06 c #Conflicts: 1012000 | #Constraints: 31432
796.62/799.06 c #Conflicts: 1013000 | #Constraints: 32445
796.62/799.06 c #Conflicts: 1014000 | #Constraints: 33452
796.62/799.06 c #Conflicts: 1015000 | #Constraints: 34465
796.62/799.06 c #Conflicts: 1016000 | #Constraints: 35476
796.62/799.06 c #Conflicts: 1017000 | #Constraints: 36484
796.62/799.06 c #Conflicts: 1018000 | #Constraints: 37495
796.62/799.06 c #Conflicts: 1019000 | #Constraints: 38503
796.62/799.06 c #Conflicts: 1020000 | #Constraints: 39520
796.62/799.06 c #Conflicts: 1021000 | #Constraints: 40525
796.62/799.06 c INPROCESSING
796.62/799.06 c GARBAGE COLLECT
796.62/799.06 c rational objective 14.1664
815.43/817.97 c #Conflicts: 1022000 | #Constraints: 16294
815.43/817.97 c #Conflicts: 1023000 | #Constraints: 17305
815.43/817.97 c #Conflicts: 1024000 | #Constraints: 18314
815.43/817.97 c #Conflicts: 1025000 | #Constraints: 19323
815.43/817.97 c #Conflicts: 1026000 | #Constraints: 20328
815.43/817.97 c #Conflicts: 1027000 | #Constraints: 21345
815.43/817.97 c #Conflicts: 1028000 | #Constraints: 22355
815.43/817.97 c #Conflicts: 1029000 | #Constraints: 23367
815.43/817.97 c #Conflicts: 1030000 | #Constraints: 24375
815.43/817.97 c #Conflicts: 1031000 | #Constraints: 25388
815.43/817.97 c #Conflicts: 1032000 | #Constraints: 26395
815.43/817.97 c #Conflicts: 1033000 | #Constraints: 27400
815.43/817.97 c #Conflicts: 1034000 | #Constraints: 28407
815.43/817.97 c #Conflicts: 1035000 | #Constraints: 29414
815.43/817.97 c #Conflicts: 1036000 | #Constraints: 30422
815.43/817.97 c #Conflicts: 1037000 | #Constraints: 31426
815.43/817.97 c #Conflicts: 1038000 | #Constraints: 32433
815.43/817.97 c #Conflicts: 1039000 | #Constraints: 33440
815.43/817.97 c #Conflicts: 1040000 | #Constraints: 34446
815.43/817.97 c #Conflicts: 1041000 | #Constraints: 35456
815.43/817.97 c INPROCESSING
815.43/817.97 c GARBAGE COLLECT
815.43/817.97 c rational objective 14.1664
833.98/836.50 c #Conflicts: 1042000 | #Constraints: 18566
833.98/836.50 c #Conflicts: 1043000 | #Constraints: 19580
833.98/836.50 c #Conflicts: 1044000 | #Constraints: 20594
833.98/836.50 c #Conflicts: 1045000 | #Constraints: 21602
833.98/836.50 c #Conflicts: 1046000 | #Constraints: 22612
833.98/836.50 c #Conflicts: 1047000 | #Constraints: 23627
833.98/836.50 c #Conflicts: 1048000 | #Constraints: 24643
833.98/836.50 c #Conflicts: 1049000 | #Constraints: 25654
833.98/836.50 c #Conflicts: 1050000 | #Constraints: 26664
833.98/836.50 c #Conflicts: 1051000 | #Constraints: 27675
833.98/836.50 c #Conflicts: 1052000 | #Constraints: 28683
833.98/836.50 c #Conflicts: 1053000 | #Constraints: 29693
833.98/836.50 c #Conflicts: 1054000 | #Constraints: 30702
833.98/836.50 c #Conflicts: 1055000 | #Constraints: 31714
833.98/836.50 c #Conflicts: 1056000 | #Constraints: 32724
833.98/836.50 c #Conflicts: 1057000 | #Constraints: 33739
833.98/836.50 c #Conflicts: 1058000 | #Constraints: 34749
833.98/836.50 c #Conflicts: 1059000 | #Constraints: 35761
833.98/836.50 c #Conflicts: 1060000 | #Constraints: 36770
833.98/836.50 c #Conflicts: 1061000 | #Constraints: 37776
833.98/836.50 c #Conflicts: 1062000 | #Constraints: 38786
833.98/836.50 c INPROCESSING
833.98/836.50 c GARBAGE COLLECT
833.98/836.50 c rational objective 14.1665
856.41/859.04 c #Conflicts: 1063000 | #Constraints: 20424
856.41/859.04 c #Conflicts: 1064000 | #Constraints: 21439
856.41/859.04 c #Conflicts: 1065000 | #Constraints: 22452
856.41/859.04 c #Conflicts: 1066000 | #Constraints: 23460
856.41/859.04 c #Conflicts: 1067000 | #Constraints: 24472
856.41/859.04 c #Conflicts: 1068000 | #Constraints: 25485
856.41/859.04 c #Conflicts: 1069000 | #Constraints: 26499
856.41/859.04 c #Conflicts: 1070000 | #Constraints: 27514
856.41/859.04 c #Conflicts: 1071000 | #Constraints: 28520
856.41/859.04 c #Conflicts: 1072000 | #Constraints: 29526
856.41/859.04 c #Conflicts: 1073000 | #Constraints: 30538
856.41/859.04 c #Conflicts: 1074000 | #Constraints: 31547
856.41/859.04 c #Conflicts: 1075000 | #Constraints: 32560
856.41/859.04 c #Conflicts: 1076000 | #Constraints: 33568
856.41/859.04 c #Conflicts: 1077000 | #Constraints: 34572
856.41/859.04 c #Conflicts: 1078000 | #Constraints: 35583
856.41/859.04 c #Conflicts: 1079000 | #Constraints: 36592
856.41/859.04 c #Conflicts: 1080000 | #Constraints: 37599
856.41/859.04 c #Conflicts: 1081000 | #Constraints: 38611
856.41/859.04 c #Conflicts: 1082000 | #Constraints: 39620
856.41/859.04 c #Conflicts: 1083000 | #Constraints: 40631
856.41/859.04 c INPROCESSING
856.41/859.04 c GARBAGE COLLECT
856.41/859.04 c rational objective 14.2445
875.04/877.79 c #Conflicts: 1084000 | #Constraints: 17175
875.04/877.79 c #Conflicts: 1085000 | #Constraints: 18189
875.04/877.79 c #Conflicts: 1086000 | #Constraints: 19206
875.04/877.79 c #Conflicts: 1087000 | #Constraints: 20217
875.04/877.79 c #Conflicts: 1088000 | #Constraints: 21224
875.04/877.79 c #Conflicts: 1089000 | #Constraints: 22233
875.04/877.79 c #Conflicts: 1090000 | #Constraints: 23243
875.04/877.79 c #Conflicts: 1091000 | #Constraints: 24261
875.04/877.79 c #Conflicts: 1092000 | #Constraints: 25268
875.04/877.79 c #Conflicts: 1093000 | #Constraints: 26278
875.04/877.79 c #Conflicts: 1094000 | #Constraints: 27283
875.04/877.79 c #Conflicts: 1095000 | #Constraints: 28297
875.04/877.79 c #Conflicts: 1096000 | #Constraints: 29305
875.04/877.79 c #Conflicts: 1097000 | #Constraints: 30315
875.04/877.79 c #Conflicts: 1098000 | #Constraints: 31325
875.04/877.79 c #Conflicts: 1099000 | #Constraints: 32336
875.04/877.79 c #Conflicts: 1100000 | #Constraints: 33350
875.04/877.79 c #Conflicts: 1101000 | #Constraints: 34366
875.04/877.79 c #Conflicts: 1102000 | #Constraints: 35379
875.04/877.79 c #Conflicts: 1103000 | #Constraints: 36390
875.04/877.79 c #Conflicts: 1104000 | #Constraints: 37396
875.04/877.79 c INPROCESSING
875.04/877.79 c GARBAGE COLLECT
875.04/877.79 c rational objective 14.2772
896.98/899.74 c #Conflicts: 1105000 | #Constraints: 19831
896.98/899.74 c #Conflicts: 1106000 | #Constraints: 20856
896.98/899.74 c #Conflicts: 1107000 | #Constraints: 21876
896.98/899.74 c #Conflicts: 1108000 | #Constraints: 22898
896.98/899.74 c #Conflicts: 1109000 | #Constraints: 23912
896.98/899.74 c #Conflicts: 1110000 | #Constraints: 24927
896.98/899.74 c #Conflicts: 1111000 | #Constraints: 25945
896.98/899.74 c #Conflicts: 1112000 | #Constraints: 26963
896.98/899.74 c #Conflicts: 1113000 | #Constraints: 27976
896.98/899.74 c #Conflicts: 1114000 | #Constraints: 28989
896.98/899.74 c #Conflicts: 1115000 | #Constraints: 29998
896.98/899.74 c #Conflicts: 1116000 | #Constraints: 31014
896.98/899.74 c #Conflicts: 1117000 | #Constraints: 32029
896.98/899.74 c #Conflicts: 1118000 | #Constraints: 33040
896.98/899.74 c #Conflicts: 1119000 | #Constraints: 34051
896.98/899.74 c #Conflicts: 1120000 | #Constraints: 35059
896.98/899.74 c #Conflicts: 1121000 | #Constraints: 36065
896.98/899.74 c #Conflicts: 1122000 | #Constraints: 37081
896.98/899.74 c #Conflicts: 1123000 | #Constraints: 38096
896.98/899.74 c #Conflicts: 1124000 | #Constraints: 39105
896.98/899.74 c #Conflicts: 1125000 | #Constraints: 40117
896.98/899.74 c INPROCESSING
896.98/899.74 c GARBAGE COLLECT
896.98/899.74 c rational objective 14.2773
918.61/921.41 c #Conflicts: 1126000 | #Constraints: 21192
918.61/921.41 c #Conflicts: 1127000 | #Constraints: 22363
918.61/921.41 c #Conflicts: 1128000 | #Constraints: 23370
918.61/921.41 c #Conflicts: 1129000 | #Constraints: 24380
918.61/921.41 c #Conflicts: 1130000 | #Constraints: 25387
918.61/921.41 c #Conflicts: 1131000 | #Constraints: 26399
918.61/921.41 c #Conflicts: 1132000 | #Constraints: 27407
918.61/921.41 c #Conflicts: 1133000 | #Constraints: 28415
918.61/921.41 c #Conflicts: 1134000 | #Constraints: 29420
918.61/921.41 c #Conflicts: 1135000 | #Constraints: 30428
918.61/921.41 c #Conflicts: 1136000 | #Constraints: 31446
918.61/921.41 c #Conflicts: 1137000 | #Constraints: 32455
918.61/921.41 c #Conflicts: 1138000 | #Constraints: 33463
918.61/921.41 c #Conflicts: 1139000 | #Constraints: 34466
918.61/921.41 c #Conflicts: 1140000 | #Constraints: 35470
918.61/921.41 c #Conflicts: 1141000 | #Constraints: 36476
918.61/921.41 c #Conflicts: 1142000 | #Constraints: 37481
918.61/921.41 c #Conflicts: 1143000 | #Constraints: 38497
918.61/921.41 c #Conflicts: 1144000 | #Constraints: 39516
918.61/921.41 c #Conflicts: 1145000 | #Constraints: 40522
918.61/921.42 c #Conflicts: 1146000 | #Constraints: 41535
918.61/921.42 c INPROCESSING
918.61/921.42 c GARBAGE COLLECT
918.61/921.42 c rational objective 14.2774
939.15/942.00 c #Conflicts: 1147000 | #Constraints: 21594
939.15/942.00 c #Conflicts: 1148000 | #Constraints: 22647
939.15/942.00 c #Conflicts: 1149000 | #Constraints: 23734
939.15/942.00 c #Conflicts: 1150000 | #Constraints: 24810
939.15/942.00 c #Conflicts: 1151000 | #Constraints: 25827
939.15/942.00 c #Conflicts: 1152000 | #Constraints: 26831
939.15/942.00 c #Conflicts: 1153000 | #Constraints: 27838
939.15/942.00 c #Conflicts: 1154000 | #Constraints: 28846
939.15/942.00 c #Conflicts: 1155000 | #Constraints: 29855
939.15/942.00 c #Conflicts: 1156000 | #Constraints: 30862
939.15/942.00 c #Conflicts: 1157000 | #Constraints: 31867
939.15/942.00 c #Conflicts: 1158000 | #Constraints: 32875
939.15/942.00 c #Conflicts: 1159000 | #Constraints: 33883
939.15/942.00 c #Conflicts: 1160000 | #Constraints: 34891
939.15/942.00 c #Conflicts: 1161000 | #Constraints: 35894
939.15/942.00 c #Conflicts: 1162000 | #Constraints: 36898
939.15/942.00 c #Conflicts: 1163000 | #Constraints: 37911
939.15/942.00 c #Conflicts: 1164000 | #Constraints: 38921
939.15/942.00 c #Conflicts: 1165000 | #Constraints: 39948
939.15/942.00 c #Conflicts: 1166000 | #Constraints: 40964
939.15/942.00 c #Conflicts: 1167000 | #Constraints: 41973
939.15/942.00 c #Conflicts: 1168000 | #Constraints: 42977
939.15/942.00 c INPROCESSING
939.15/942.00 c GARBAGE COLLECT
939.15/942.00 c rational objective 14.2776
959.08/962.06 c #Conflicts: 1169000 | #Constraints: 22617
959.08/962.06 c #Conflicts: 1170000 | #Constraints: 23627
959.08/962.06 c #Conflicts: 1171000 | #Constraints: 24637
959.08/962.06 c #Conflicts: 1172000 | #Constraints: 25642
959.08/962.06 c #Conflicts: 1173000 | #Constraints: 26649
959.08/962.06 c #Conflicts: 1174000 | #Constraints: 27653
959.08/962.06 c #Conflicts: 1175000 | #Constraints: 28658
959.08/962.06 c #Conflicts: 1176000 | #Constraints: 29668
959.08/962.06 c #Conflicts: 1177000 | #Constraints: 30676
959.08/962.06 c #Conflicts: 1178000 | #Constraints: 31681
959.08/962.06 c #Conflicts: 1179000 | #Constraints: 32684
959.08/962.06 c #Conflicts: 1180000 | #Constraints: 33694
959.08/962.06 c #Conflicts: 1181000 | #Constraints: 34706
959.08/962.06 c #Conflicts: 1182000 | #Constraints: 35713
959.08/962.06 c #Conflicts: 1183000 | #Constraints: 36719
959.08/962.06 c #Conflicts: 1184000 | #Constraints: 37727
959.08/962.06 c #Conflicts: 1185000 | #Constraints: 38733
959.08/962.06 c #Conflicts: 1186000 | #Constraints: 39743
959.08/962.06 c #Conflicts: 1187000 | #Constraints: 40749
959.08/962.06 c #Conflicts: 1188000 | #Constraints: 41758
959.08/962.06 c #Conflicts: 1189000 | #Constraints: 42765
959.08/962.06 c #Conflicts: 1190000 | #Constraints: 43775
959.08/962.06 c INPROCESSING
959.08/962.06 c GARBAGE COLLECT
959.08/962.06 c rational objective 14.2776
979.92/982.96 c #Conflicts: 1191000 | #Constraints: 23142
979.92/982.96 c #Conflicts: 1192000 | #Constraints: 24375
979.92/982.96 c #Conflicts: 1193000 | #Constraints: 25394
979.92/982.96 c #Conflicts: 1194000 | #Constraints: 26397
979.92/982.96 c #Conflicts: 1195000 | #Constraints: 27404
979.92/982.96 c #Conflicts: 1196000 | #Constraints: 28412
979.92/982.96 c #Conflicts: 1197000 | #Constraints: 29416
979.92/982.96 c #Conflicts: 1198000 | #Constraints: 30418
979.92/982.96 c #Conflicts: 1199000 | #Constraints: 31424
979.92/982.96 c #Conflicts: 1200000 | #Constraints: 32433
979.92/982.96 c #Conflicts: 1201000 | #Constraints: 33439
979.92/982.96 c #Conflicts: 1202000 | #Constraints: 34443
979.92/982.96 c #Conflicts: 1203000 | #Constraints: 35447
979.92/982.96 c #Conflicts: 1204000 | #Constraints: 36460
979.92/982.96 c #Conflicts: 1205000 | #Constraints: 37462
979.92/982.96 c #Conflicts: 1206000 | #Constraints: 38466
979.92/982.96 c #Conflicts: 1207000 | #Constraints: 39482
979.92/982.96 c #Conflicts: 1208000 | #Constraints: 40493
979.92/982.96 c #Conflicts: 1209000 | #Constraints: 41501
979.92/982.96 c #Conflicts: 1210000 | #Constraints: 42511
979.92/982.96 c #Conflicts: 1211000 | #Constraints: 43519
979.92/982.96 c #Conflicts: 1212000 | #Constraints: 44531
979.92/982.96 c INPROCESSING
979.92/982.96 c GARBAGE COLLECT
979.92/982.96 c rational objective 14.2777
1001.25/1004.32 c #Conflicts: 1213000 | #Constraints: 23398
1001.25/1004.32 c #Conflicts: 1214000 | #Constraints: 24412
1001.25/1004.32 c #Conflicts: 1215000 | #Constraints: 25421
1001.25/1004.32 c #Conflicts: 1216000 | #Constraints: 26427
1001.25/1004.32 c #Conflicts: 1217000 | #Constraints: 27433
1001.25/1004.32 c #Conflicts: 1218000 | #Constraints: 28440
1001.25/1004.32 c #Conflicts: 1219000 | #Constraints: 29458
1001.25/1004.32 c #Conflicts: 1220000 | #Constraints: 30469
1001.25/1004.32 c #Conflicts: 1221000 | #Constraints: 31473
1001.25/1004.32 c #Conflicts: 1222000 | #Constraints: 32481
1001.25/1004.32 c #Conflicts: 1223000 | #Constraints: 33489
1001.25/1004.32 c #Conflicts: 1224000 | #Constraints: 34494
1001.25/1004.32 c #Conflicts: 1225000 | #Constraints: 35502
1001.25/1004.32 c #Conflicts: 1226000 | #Constraints: 36516
1001.25/1004.32 c #Conflicts: 1227000 | #Constraints: 37524
1001.25/1004.32 c #Conflicts: 1228000 | #Constraints: 38532
1001.25/1004.32 c #Conflicts: 1229000 | #Constraints: 39541
1001.25/1004.32 c #Conflicts: 1230000 | #Constraints: 40549
1001.25/1004.32 c #Conflicts: 1231000 | #Constraints: 41561
1001.25/1004.32 c #Conflicts: 1232000 | #Constraints: 42568
1001.25/1004.32 c #Conflicts: 1233000 | #Constraints: 43578
1001.25/1004.32 c #Conflicts: 1234000 | #Constraints: 44583
1001.25/1004.32 c INPROCESSING
1001.25/1004.32 c GARBAGE COLLECT
1001.25/1004.32 c rational objective 14.2777
1022.38/1025.51 c #Conflicts: 1235000 | #Constraints: 23328
1022.38/1025.51 c #Conflicts: 1236000 | #Constraints: 24351
1022.38/1025.51 c #Conflicts: 1237000 | #Constraints: 25365
1022.38/1025.51 c #Conflicts: 1238000 | #Constraints: 26379
1022.38/1025.51 c #Conflicts: 1239000 | #Constraints: 27388
1022.38/1025.51 c #Conflicts: 1240000 | #Constraints: 28395
1022.38/1025.51 c #Conflicts: 1241000 | #Constraints: 29399
1022.38/1025.51 c #Conflicts: 1242000 | #Constraints: 30402
1022.38/1025.51 c #Conflicts: 1243000 | #Constraints: 31410
1022.38/1025.51 c #Conflicts: 1244000 | #Constraints: 32412
1022.38/1025.51 c #Conflicts: 1245000 | #Constraints: 33428
1022.38/1025.51 c #Conflicts: 1246000 | #Constraints: 34447
1022.38/1025.51 c #Conflicts: 1247000 | #Constraints: 35464
1022.38/1025.51 c #Conflicts: 1248000 | #Constraints: 36477
1022.38/1025.51 c #Conflicts: 1249000 | #Constraints: 37493
1022.38/1025.51 c #Conflicts: 1250000 | #Constraints: 38500
1022.38/1025.51 c #Conflicts: 1251000 | #Constraints: 39504
1022.38/1025.51 c #Conflicts: 1252000 | #Constraints: 40507
1022.38/1025.51 c #Conflicts: 1253000 | #Constraints: 41512
1022.38/1025.51 c #Conflicts: 1254000 | #Constraints: 42516
1022.38/1025.51 c #Conflicts: 1255000 | #Constraints: 43521
1022.38/1025.51 c #Conflicts: 1256000 | #Constraints: 44523
1022.38/1025.51 c INPROCESSING
1022.38/1025.51 c GARBAGE COLLECT
1022.38/1025.51 c rational objective 14.2777
1045.41/1048.69 c #Conflicts: 1257000 | #Constraints: 23164
1045.41/1048.69 c #Conflicts: 1258000 | #Constraints: 24358
1045.41/1048.69 c #Conflicts: 1259000 | #Constraints: 25380
1045.41/1048.69 c #Conflicts: 1260000 | #Constraints: 26387
1045.41/1048.69 c #Conflicts: 1261000 | #Constraints: 27397
1045.41/1048.69 c #Conflicts: 1262000 | #Constraints: 28403
1045.41/1048.69 c #Conflicts: 1263000 | #Constraints: 29409
1045.41/1048.69 c #Conflicts: 1264000 | #Constraints: 30415
1045.41/1048.69 c #Conflicts: 1265000 | #Constraints: 31431
1045.41/1048.69 c #Conflicts: 1266000 | #Constraints: 32440
1045.41/1048.69 c #Conflicts: 1267000 | #Constraints: 33448
1045.41/1048.69 c #Conflicts: 1268000 | #Constraints: 34455
1045.41/1048.69 c #Conflicts: 1269000 | #Constraints: 35468
1045.41/1048.69 c #Conflicts: 1270000 | #Constraints: 36480
1045.41/1048.69 c #Conflicts: 1271000 | #Constraints: 37490
1045.41/1048.69 c #Conflicts: 1272000 | #Constraints: 38499
1045.41/1048.69 c #Conflicts: 1273000 | #Constraints: 39507
1045.41/1048.69 c #Conflicts: 1274000 | #Constraints: 40520
1045.41/1048.69 c #Conflicts: 1275000 | #Constraints: 41530
1045.41/1048.69 c #Conflicts: 1276000 | #Constraints: 42537
1045.41/1048.69 c #Conflicts: 1277000 | #Constraints: 43542
1045.41/1048.69 c #Conflicts: 1278000 | #Constraints: 44553
1045.41/1048.69 c #Conflicts: 1279000 | #Constraints: 45561
1045.41/1048.69 c INPROCESSING
1045.41/1048.69 c GARBAGE COLLECT
1045.41/1048.69 c rational objective 14.2777
1067.15/1070.44 c #Conflicts: 1280000 | #Constraints: 23828
1067.15/1070.44 c #Conflicts: 1281000 | #Constraints: 24832
1067.15/1070.44 c #Conflicts: 1282000 | #Constraints: 25837
1067.15/1070.44 c #Conflicts: 1283000 | #Constraints: 26844
1067.15/1070.44 c #Conflicts: 1284000 | #Constraints: 27855
1067.15/1070.44 c #Conflicts: 1285000 | #Constraints: 28860
1067.15/1070.44 c #Conflicts: 1286000 | #Constraints: 29866
1067.15/1070.44 c #Conflicts: 1287000 | #Constraints: 30875
1067.15/1070.44 c #Conflicts: 1288000 | #Constraints: 31880
1067.15/1070.44 c #Conflicts: 1289000 | #Constraints: 32887
1067.15/1070.44 c #Conflicts: 1290000 | #Constraints: 33895
1067.15/1070.44 c #Conflicts: 1291000 | #Constraints: 34904
1067.15/1070.44 c #Conflicts: 1292000 | #Constraints: 35917
1067.15/1070.44 c #Conflicts: 1293000 | #Constraints: 36925
1067.15/1070.44 c #Conflicts: 1294000 | #Constraints: 37939
1067.15/1070.44 c #Conflicts: 1295000 | #Constraints: 38948
1067.15/1070.44 c #Conflicts: 1296000 | #Constraints: 39953
1067.15/1070.44 c #Conflicts: 1297000 | #Constraints: 40957
1067.15/1070.44 c #Conflicts: 1298000 | #Constraints: 41965
1067.15/1070.44 c #Conflicts: 1299000 | #Constraints: 42971
1067.15/1070.44 c #Conflicts: 1300000 | #Constraints: 43976
1067.15/1070.44 c #Conflicts: 1301000 | #Constraints: 44980
1067.15/1070.44 c #Conflicts: 1302000 | #Constraints: 45984
1067.15/1070.44 c INPROCESSING
1067.15/1070.44 c GARBAGE COLLECT
1067.15/1070.44 c rational objective 14.2778
1089.17/1092.58 c #Conflicts: 1303000 | #Constraints: 24146
1089.17/1092.58 c #Conflicts: 1304000 | #Constraints: 25151
1089.17/1092.58 c #Conflicts: 1305000 | #Constraints: 26162
1089.17/1092.58 c #Conflicts: 1306000 | #Constraints: 27170
1089.17/1092.58 c #Conflicts: 1307000 | #Constraints: 28176
1089.17/1092.58 c #Conflicts: 1308000 | #Constraints: 29182
1089.17/1092.58 c #Conflicts: 1309000 | #Constraints: 30188
1089.17/1092.58 c #Conflicts: 1310000 | #Constraints: 31199
1089.17/1092.58 c #Conflicts: 1311000 | #Constraints: 32207
1089.17/1092.58 c #Conflicts: 1312000 | #Constraints: 33211
1089.17/1092.58 c #Conflicts: 1313000 | #Constraints: 34216
1089.17/1092.58 c #Conflicts: 1314000 | #Constraints: 35227
1089.17/1092.58 c #Conflicts: 1315000 | #Constraints: 36237
1089.17/1092.58 c #Conflicts: 1316000 | #Constraints: 37245
1089.17/1092.58 c #Conflicts: 1317000 | #Constraints: 38254
1089.17/1092.58 c #Conflicts: 1318000 | #Constraints: 39260
1089.17/1092.58 c #Conflicts: 1319000 | #Constraints: 40273
1089.17/1092.58 c #Conflicts: 1320000 | #Constraints: 41282
1089.17/1092.58 c #Conflicts: 1321000 | #Constraints: 42290
1089.17/1092.58 c #Conflicts: 1322000 | #Constraints: 43299
1089.17/1092.58 c #Conflicts: 1323000 | #Constraints: 44308
1089.17/1092.58 c #Conflicts: 1324000 | #Constraints: 45319
1089.17/1092.58 c #Conflicts: 1325000 | #Constraints: 46328
1089.17/1092.58 c INPROCESSING
1089.17/1092.58 c GARBAGE COLLECT
1089.17/1092.58 c rational objective 14.2778
1113.08/1116.51 c #Conflicts: 1326000 | #Constraints: 24322
1113.08/1116.51 c #Conflicts: 1327000 | #Constraints: 25403
1113.08/1116.51 c #Conflicts: 1328000 | #Constraints: 26415
1113.08/1116.51 c #Conflicts: 1329000 | #Constraints: 27428
1113.08/1116.51 c #Conflicts: 1330000 | #Constraints: 28434
1113.08/1116.51 c #Conflicts: 1331000 | #Constraints: 29440
1113.08/1116.51 c #Conflicts: 1332000 | #Constraints: 30447
1113.08/1116.51 c #Conflicts: 1333000 | #Constraints: 31455
1113.08/1116.51 c #Conflicts: 1334000 | #Constraints: 32462
1113.08/1116.51 c #Conflicts: 1335000 | #Constraints: 33469
1113.08/1116.51 c #Conflicts: 1336000 | #Constraints: 34476
1113.08/1116.51 c #Conflicts: 1337000 | #Constraints: 35489
1113.08/1116.51 c #Conflicts: 1338000 | #Constraints: 36498
1113.08/1116.51 c #Conflicts: 1339000 | #Constraints: 37512
1113.08/1116.51 c #Conflicts: 1340000 | #Constraints: 38519
1113.08/1116.51 c #Conflicts: 1341000 | #Constraints: 39525
1113.08/1116.51 c #Conflicts: 1342000 | #Constraints: 40538
1113.08/1116.51 c #Conflicts: 1343000 | #Constraints: 41542
1113.08/1116.51 c #Conflicts: 1344000 | #Constraints: 42545
1113.08/1116.51 c #Conflicts: 1345000 | #Constraints: 43560
1113.08/1116.51 c #Conflicts: 1346000 | #Constraints: 44575
1113.08/1116.51 c #Conflicts: 1347000 | #Constraints: 45596
1113.08/1116.51 c #Conflicts: 1348000 | #Constraints: 46613
1113.08/1116.51 c INPROCESSING
1113.08/1116.51 c GARBAGE COLLECT
1113.08/1116.51 c rational objective 14.3349
1134.91/1138.48 c #Conflicts: 1349000 | #Constraints: 21679
1134.91/1138.48 c #Conflicts: 1350000 | #Constraints: 22691
1134.91/1138.48 c #Conflicts: 1351000 | #Constraints: 23700
1134.91/1138.48 c #Conflicts: 1352000 | #Constraints: 24707
1134.91/1138.48 c #Conflicts: 1353000 | #Constraints: 25712
1134.91/1138.48 c #Conflicts: 1354000 | #Constraints: 26724
1134.91/1138.48 c #Conflicts: 1355000 | #Constraints: 27738
1134.91/1138.48 c #Conflicts: 1356000 | #Constraints: 28751
1134.91/1138.48 c #Conflicts: 1357000 | #Constraints: 29761
1134.91/1138.48 c #Conflicts: 1358000 | #Constraints: 30768
1134.91/1138.48 c #Conflicts: 1359000 | #Constraints: 31773
1134.91/1138.48 c #Conflicts: 1360000 | #Constraints: 32778
1134.91/1138.48 c #Conflicts: 1361000 | #Constraints: 33784
1134.91/1138.48 c #Conflicts: 1362000 | #Constraints: 34790
1134.91/1138.48 c #Conflicts: 1363000 | #Constraints: 35798
1134.91/1138.48 c #Conflicts: 1364000 | #Constraints: 36809
1134.91/1138.48 c #Conflicts: 1365000 | #Constraints: 37817
1134.91/1138.48 c #Conflicts: 1366000 | #Constraints: 38823
1134.91/1138.48 c #Conflicts: 1367000 | #Constraints: 39829
1134.91/1138.48 c #Conflicts: 1368000 | #Constraints: 40833
1134.91/1138.48 c #Conflicts: 1369000 | #Constraints: 41841
1134.91/1138.48 c #Conflicts: 1370000 | #Constraints: 42847
1134.91/1138.48 c #Conflicts: 1371000 | #Constraints: 43854
1134.91/1138.48 c INPROCESSING
1134.91/1138.48 c GARBAGE COLLECT
1134.91/1138.48 c rational objective 14.3782
1157.45/1161.09 c #Conflicts: 1372000 | #Constraints: 22750
1157.45/1161.09 c #Conflicts: 1373000 | #Constraints: 23754
1157.45/1161.09 c #Conflicts: 1374000 | #Constraints: 24766
1157.45/1161.09 c #Conflicts: 1375000 | #Constraints: 25784
1157.45/1161.09 c #Conflicts: 1376000 | #Constraints: 26794
1157.45/1161.09 c #Conflicts: 1377000 | #Constraints: 27808
1157.45/1161.09 c #Conflicts: 1378000 | #Constraints: 28832
1157.45/1161.09 c #Conflicts: 1379000 | #Constraints: 29845
1157.45/1161.09 c #Conflicts: 1380000 | #Constraints: 30851
1157.45/1161.09 c #Conflicts: 1381000 | #Constraints: 31857
1157.45/1161.09 c #Conflicts: 1382000 | #Constraints: 32864
1157.45/1161.09 c #Conflicts: 1383000 | #Constraints: 33869
1157.45/1161.09 c #Conflicts: 1384000 | #Constraints: 34875
1157.45/1161.09 c #Conflicts: 1385000 | #Constraints: 35880
1157.45/1161.09 c #Conflicts: 1386000 | #Constraints: 36882
1157.45/1161.09 c #Conflicts: 1387000 | #Constraints: 37888
1157.45/1161.09 c #Conflicts: 1388000 | #Constraints: 38892
1157.45/1161.09 c #Conflicts: 1389000 | #Constraints: 39895
1157.45/1161.09 c #Conflicts: 1390000 | #Constraints: 40902
1157.45/1161.09 c #Conflicts: 1391000 | #Constraints: 41906
1157.45/1161.09 c #Conflicts: 1392000 | #Constraints: 42910
1157.45/1161.09 c #Conflicts: 1393000 | #Constraints: 43919
1157.45/1161.09 c #Conflicts: 1394000 | #Constraints: 44929
1157.45/1161.09 c #Conflicts: 1395000 | #Constraints: 45934
1157.45/1161.09 c INPROCESSING
1157.45/1161.09 c GARBAGE COLLECT
1157.45/1161.09 c rational objective 14.3787
1179.77/1183.42 c #Conflicts: 1396000 | #Constraints: 24007
1179.77/1183.42 c #Conflicts: 1397000 | #Constraints: 25016
1179.77/1183.42 c #Conflicts: 1398000 | #Constraints: 26021
1179.77/1183.42 c #Conflicts: 1399000 | #Constraints: 27033
1179.77/1183.42 c #Conflicts: 1400000 | #Constraints: 28044
1179.77/1183.42 c #Conflicts: 1401000 | #Constraints: 29052
1179.77/1183.42 c #Conflicts: 1402000 | #Constraints: 30061
1179.77/1183.42 c #Conflicts: 1403000 | #Constraints: 31066
1179.77/1183.42 c #Conflicts: 1404000 | #Constraints: 32076
1179.77/1183.42 c #Conflicts: 1405000 | #Constraints: 33082
1179.77/1183.42 c #Conflicts: 1406000 | #Constraints: 34088
1179.77/1183.42 c #Conflicts: 1407000 | #Constraints: 35095
1179.77/1183.42 c #Conflicts: 1408000 | #Constraints: 36105
1179.77/1183.42 c #Conflicts: 1409000 | #Constraints: 37110
1179.77/1183.42 c #Conflicts: 1410000 | #Constraints: 38118
1179.77/1183.42 c #Conflicts: 1411000 | #Constraints: 39126
1179.77/1183.42 c #Conflicts: 1412000 | #Constraints: 40133
1179.77/1183.42 c #Conflicts: 1413000 | #Constraints: 41142
1179.77/1183.42 c #Conflicts: 1414000 | #Constraints: 42150
1179.77/1183.42 c #Conflicts: 1415000 | #Constraints: 43156
1179.77/1183.42 c #Conflicts: 1416000 | #Constraints: 44160
1179.77/1183.42 c #Conflicts: 1417000 | #Constraints: 45167
1179.77/1183.42 c #Conflicts: 1418000 | #Constraints: 46180
1179.77/1183.42 c #Conflicts: 1419000 | #Constraints: 47190
1179.77/1183.42 c INPROCESSING
1179.77/1183.42 c GARBAGE COLLECT
1179.77/1183.42 c rational objective 14.379
1203.40/1207.19 c #Conflicts: 1420000 | #Constraints: 24792
1203.40/1207.19 c #Conflicts: 1421000 | #Constraints: 25805
1203.40/1207.19 c #Conflicts: 1422000 | #Constraints: 26821
1203.40/1207.19 c #Conflicts: 1423000 | #Constraints: 27830
1203.40/1207.19 c #Conflicts: 1424000 | #Constraints: 28835
1203.40/1207.19 c #Conflicts: 1425000 | #Constraints: 29847
1203.40/1207.19 c #Conflicts: 1426000 | #Constraints: 30853
1203.40/1207.19 c #Conflicts: 1427000 | #Constraints: 31858
1203.40/1207.19 c #Conflicts: 1428000 | #Constraints: 32863
1203.40/1207.19 c #Conflicts: 1429000 | #Constraints: 33868
1203.40/1207.19 c #Conflicts: 1430000 | #Constraints: 34881
1203.40/1207.19 c #Conflicts: 1431000 | #Constraints: 35890
1203.40/1207.19 c #Conflicts: 1432000 | #Constraints: 36898
1203.40/1207.19 c #Conflicts: 1433000 | #Constraints: 37901
1203.40/1207.19 c #Conflicts: 1434000 | #Constraints: 38908
1203.40/1207.19 c #Conflicts: 1435000 | #Constraints: 39918
1203.40/1207.19 c #Conflicts: 1436000 | #Constraints: 40924
1203.40/1207.19 c #Conflicts: 1437000 | #Constraints: 41928
1203.40/1207.19 c #Conflicts: 1438000 | #Constraints: 42936
1203.40/1207.19 c #Conflicts: 1439000 | #Constraints: 43944
1203.40/1207.19 c #Conflicts: 1440000 | #Constraints: 44956
1203.40/1207.19 c #Conflicts: 1441000 | #Constraints: 45960
1203.40/1207.19 c #Conflicts: 1442000 | #Constraints: 46970
1203.40/1207.19 c #Conflicts: 1443000 | #Constraints: 47982
1203.40/1207.19 c INPROCESSING
1203.40/1207.19 c GARBAGE COLLECT
1203.40/1207.19 c rational objective 14.3792
1227.41/1231.21 c #Conflicts: 1444000 | #Constraints: 25168
1227.41/1231.21 c #Conflicts: 1445000 | #Constraints: 26172
1227.41/1231.21 c #Conflicts: 1446000 | #Constraints: 27181
1227.41/1231.21 c #Conflicts: 1447000 | #Constraints: 28191
1227.41/1231.21 c #Conflicts: 1448000 | #Constraints: 29198
1227.41/1231.21 c #Conflicts: 1449000 | #Constraints: 30208
1227.41/1231.21 c #Conflicts: 1450000 | #Constraints: 31213
1227.41/1231.21 c #Conflicts: 1451000 | #Constraints: 32222
1227.41/1231.21 c #Conflicts: 1452000 | #Constraints: 33232
1227.41/1231.21 c #Conflicts: 1453000 | #Constraints: 34241
1227.41/1231.21 c #Conflicts: 1454000 | #Constraints: 35245
1227.41/1231.21 c #Conflicts: 1455000 | #Constraints: 36251
1227.41/1231.21 c #Conflicts: 1456000 | #Constraints: 37261
1227.41/1231.21 c #Conflicts: 1457000 | #Constraints: 38270
1227.41/1231.21 c #Conflicts: 1458000 | #Constraints: 39282
1227.41/1231.21 c #Conflicts: 1459000 | #Constraints: 40296
1227.41/1231.21 c #Conflicts: 1460000 | #Constraints: 41306
1227.41/1231.21 c #Conflicts: 1461000 | #Constraints: 42314
1227.41/1231.21 c #Conflicts: 1462000 | #Constraints: 43319
1227.41/1231.21 c #Conflicts: 1463000 | #Constraints: 44322
1227.41/1231.21 c #Conflicts: 1464000 | #Constraints: 45328
1227.41/1231.21 c #Conflicts: 1465000 | #Constraints: 46335
1227.41/1231.21 c #Conflicts: 1466000 | #Constraints: 47342
1227.41/1231.21 c #Conflicts: 1467000 | #Constraints: 48355
1227.41/1231.21 c INPROCESSING
1227.41/1231.21 c GARBAGE COLLECT
1227.41/1231.21 c rational objective 14.3792
1252.05/1255.90 c #Conflicts: 1468000 | #Constraints: 25237
1252.05/1255.90 c #Conflicts: 1469000 | #Constraints: 26250
1252.05/1255.90 c #Conflicts: 1470000 | #Constraints: 27264
1252.05/1255.90 c #Conflicts: 1471000 | #Constraints: 28268
1252.05/1255.90 c #Conflicts: 1472000 | #Constraints: 29273
1252.05/1255.90 c #Conflicts: 1473000 | #Constraints: 30288
1252.05/1255.90 c #Conflicts: 1474000 | #Constraints: 31295
1252.05/1255.90 c #Conflicts: 1475000 | #Constraints: 32310
1252.05/1255.90 c #Conflicts: 1476000 | #Constraints: 33312
1252.05/1255.90 c #Conflicts: 1477000 | #Constraints: 34318
1252.05/1255.90 c #Conflicts: 1478000 | #Constraints: 35332
1252.05/1255.90 c #Conflicts: 1479000 | #Constraints: 36341
1252.05/1255.90 c #Conflicts: 1480000 | #Constraints: 37347
1252.05/1255.90 c #Conflicts: 1481000 | #Constraints: 38365
1252.05/1255.90 c #Conflicts: 1482000 | #Constraints: 39377
1252.05/1255.90 c #Conflicts: 1483000 | #Constraints: 40379
1252.05/1255.90 c #Conflicts: 1484000 | #Constraints: 41382
1252.05/1255.90 c #Conflicts: 1485000 | #Constraints: 42389
1252.05/1255.90 c #Conflicts: 1486000 | #Constraints: 43392
1252.05/1255.90 c #Conflicts: 1487000 | #Constraints: 44398
1252.05/1255.90 c #Conflicts: 1488000 | #Constraints: 45404
1252.05/1255.90 c #Conflicts: 1489000 | #Constraints: 46408
1252.05/1255.90 c #Conflicts: 1490000 | #Constraints: 47413
1252.05/1255.90 c #Conflicts: 1491000 | #Constraints: 48421
1252.05/1255.90 c INPROCESSING
1252.05/1255.90 c GARBAGE COLLECT
1252.05/1255.90 c rational objective 14.4127
1275.58/1279.54 c #Conflicts: 1492000 | #Constraints: 23405
1275.58/1279.54 c #Conflicts: 1493000 | #Constraints: 24413
1275.58/1279.54 c #Conflicts: 1494000 | #Constraints: 25420
1275.58/1279.54 c #Conflicts: 1495000 | #Constraints: 26427
1275.58/1279.54 c #Conflicts: 1496000 | #Constraints: 27432
1275.58/1279.54 c #Conflicts: 1497000 | #Constraints: 28438
1275.58/1279.54 c #Conflicts: 1498000 | #Constraints: 29449
1275.58/1279.54 c #Conflicts: 1499000 | #Constraints: 30456
1275.58/1279.54 c #Conflicts: 1500000 | #Constraints: 31460
1275.58/1279.54 c #Conflicts: 1501000 | #Constraints: 32469
1275.58/1279.54 c #Conflicts: 1502000 | #Constraints: 33485
1275.58/1279.54 c #Conflicts: 1503000 | #Constraints: 34497
1275.58/1279.54 c #Conflicts: 1504000 | #Constraints: 35506
1275.58/1279.54 c #Conflicts: 1505000 | #Constraints: 36519
1275.58/1279.54 c #Conflicts: 1506000 | #Constraints: 37525
1275.58/1279.54 c #Conflicts: 1507000 | #Constraints: 38533
1275.58/1279.54 c #Conflicts: 1508000 | #Constraints: 39538
1275.58/1279.54 c #Conflicts: 1509000 | #Constraints: 40543
1275.58/1279.54 c #Conflicts: 1510000 | #Constraints: 41550
1275.58/1279.54 c #Conflicts: 1511000 | #Constraints: 42553
1275.58/1279.54 c #Conflicts: 1512000 | #Constraints: 43561
1275.58/1279.54 c #Conflicts: 1513000 | #Constraints: 44565
1275.58/1279.54 c #Conflicts: 1514000 | #Constraints: 45576
1275.58/1279.54 c #Conflicts: 1515000 | #Constraints: 46582
1275.58/1279.54 c #Conflicts: 1516000 | #Constraints: 47590
1275.58/1279.54 c INPROCESSING
1275.58/1279.54 c GARBAGE COLLECT
1275.58/1279.54 c rational objective 14.4129
1301.82/1305.84 c #Conflicts: 1517000 | #Constraints: 24837
1301.82/1305.84 c #Conflicts: 1518000 | #Constraints: 25884
1301.82/1305.84 c #Conflicts: 1519000 | #Constraints: 26890
1301.82/1305.84 c #Conflicts: 1520000 | #Constraints: 27896
1301.82/1305.84 c #Conflicts: 1521000 | #Constraints: 28906
1301.82/1305.84 c #Conflicts: 1522000 | #Constraints: 29921
1301.82/1305.84 c #Conflicts: 1523000 | #Constraints: 30938
1301.82/1305.84 c #Conflicts: 1524000 | #Constraints: 31945
1301.82/1305.84 c #Conflicts: 1525000 | #Constraints: 32955
1301.82/1305.84 c #Conflicts: 1526000 | #Constraints: 33963
1301.82/1305.84 c #Conflicts: 1527000 | #Constraints: 34969
1301.82/1305.84 c #Conflicts: 1528000 | #Constraints: 35974
1301.82/1305.84 c #Conflicts: 1529000 | #Constraints: 36978
1301.82/1305.84 c #Conflicts: 1530000 | #Constraints: 37982
1301.82/1305.84 c #Conflicts: 1531000 | #Constraints: 38992
1301.82/1305.84 c #Conflicts: 1532000 | #Constraints: 39995
1301.82/1305.84 c #Conflicts: 1533000 | #Constraints: 41001
1301.82/1305.84 c #Conflicts: 1534000 | #Constraints: 42009
1301.82/1305.84 c #Conflicts: 1535000 | #Constraints: 43016
1301.82/1305.84 c #Conflicts: 1536000 | #Constraints: 44022
1301.82/1305.84 c #Conflicts: 1537000 | #Constraints: 45024
1301.82/1305.84 c #Conflicts: 1538000 | #Constraints: 46028
1301.82/1305.84 c #Conflicts: 1539000 | #Constraints: 47037
1301.82/1305.84 c #Conflicts: 1540000 | #Constraints: 48041
1301.82/1305.84 c #Conflicts: 1541000 | #Constraints: 49048
1301.82/1305.84 c INPROCESSING
1301.82/1305.84 c GARBAGE COLLECT
1301.82/1305.84 c rational objective 14.413
1327.15/1331.20 c #Conflicts: 1542000 | #Constraints: 25680
1327.15/1331.20 c #Conflicts: 1543000 | #Constraints: 26711
1327.15/1331.20 c #Conflicts: 1544000 | #Constraints: 27719
1327.15/1331.20 c #Conflicts: 1545000 | #Constraints: 28728
1327.15/1331.20 c #Conflicts: 1546000 | #Constraints: 29737
1327.15/1331.20 c #Conflicts: 1547000 | #Constraints: 30744
1327.15/1331.20 c #Conflicts: 1548000 | #Constraints: 31753
1327.15/1331.20 c #Conflicts: 1549000 | #Constraints: 32759
1327.15/1331.20 c #Conflicts: 1550000 | #Constraints: 33765
1327.15/1331.20 c #Conflicts: 1551000 | #Constraints: 34770
1327.15/1331.20 c #Conflicts: 1552000 | #Constraints: 35775
1327.15/1331.20 c #Conflicts: 1553000 | #Constraints: 36790
1327.15/1331.20 c #Conflicts: 1554000 | #Constraints: 37800
1327.15/1331.20 c #Conflicts: 1555000 | #Constraints: 38804
1327.15/1331.20 c #Conflicts: 1556000 | #Constraints: 39815
1327.15/1331.20 c #Conflicts: 1557000 | #Constraints: 40823
1327.15/1331.20 c #Conflicts: 1558000 | #Constraints: 41829
1327.15/1331.20 c #Conflicts: 1559000 | #Constraints: 42835
1327.15/1331.20 c #Conflicts: 1560000 | #Constraints: 43842
1327.15/1331.20 c #Conflicts: 1561000 | #Constraints: 44849
1327.15/1331.20 c #Conflicts: 1562000 | #Constraints: 45856
1327.15/1331.20 c #Conflicts: 1563000 | #Constraints: 46860
1327.15/1331.20 c #Conflicts: 1564000 | #Constraints: 47865
1327.15/1331.20 c #Conflicts: 1565000 | #Constraints: 48869
1327.15/1331.20 c #Conflicts: 1566000 | #Constraints: 49874
1327.15/1331.20 c INPROCESSING
1327.15/1331.20 c GARBAGE COLLECT
1327.15/1331.20 c rational objective 14.413
1354.28/1358.45 c #Conflicts: 1567000 | #Constraints: 26095
1354.28/1358.45 c #Conflicts: 1568000 | #Constraints: 27102
1354.28/1358.45 c #Conflicts: 1569000 | #Constraints: 28109
1354.28/1358.45 c #Conflicts: 1570000 | #Constraints: 29116
1354.28/1358.45 c #Conflicts: 1571000 | #Constraints: 30125
1354.28/1358.45 c #Conflicts: 1572000 | #Constraints: 31137
1354.28/1358.45 c #Conflicts: 1573000 | #Constraints: 32146
1354.28/1358.45 c #Conflicts: 1574000 | #Constraints: 33149
1354.28/1358.45 c #Conflicts: 1575000 | #Constraints: 34156
1354.28/1358.45 c #Conflicts: 1576000 | #Constraints: 35165
1354.28/1358.45 c #Conflicts: 1577000 | #Constraints: 36173
1354.28/1358.45 c #Conflicts: 1578000 | #Constraints: 37182
1354.28/1358.45 c #Conflicts: 1579000 | #Constraints: 38190
1354.28/1358.45 c #Conflicts: 1580000 | #Constraints: 39194
1354.28/1358.45 c #Conflicts: 1581000 | #Constraints: 40197
1354.28/1358.45 c #Conflicts: 1582000 | #Constraints: 41203
1354.28/1358.45 c #Conflicts: 1583000 | #Constraints: 42206
1354.28/1358.45 c #Conflicts: 1584000 | #Constraints: 43210
1354.28/1358.45 c #Conflicts: 1585000 | #Constraints: 44216
1354.28/1358.45 c #Conflicts: 1586000 | #Constraints: 45220
1354.28/1358.45 c #Conflicts: 1587000 | #Constraints: 46226
1354.28/1358.45 c #Conflicts: 1588000 | #Constraints: 47233
1354.28/1358.45 c #Conflicts: 1589000 | #Constraints: 48240
1354.28/1358.45 c #Conflicts: 1590000 | #Constraints: 49245
1354.28/1358.45 c #Conflicts: 1591000 | #Constraints: 50253
1354.28/1358.45 c INPROCESSING
1354.28/1358.45 c GARBAGE COLLECT
1354.28/1358.45 c rational objective 14.413
1384.38/1388.65 c #Conflicts: 1592000 | #Constraints: 26157
1384.38/1388.65 c #Conflicts: 1593000 | #Constraints: 27173
1384.38/1388.65 c #Conflicts: 1594000 | #Constraints: 28194
1384.38/1388.65 c #Conflicts: 1595000 | #Constraints: 29212
1384.38/1388.65 c #Conflicts: 1596000 | #Constraints: 30228
1384.38/1388.65 c #Conflicts: 1597000 | #Constraints: 31240
1384.38/1388.65 c #Conflicts: 1598000 | #Constraints: 32247
1384.38/1388.65 c #Conflicts: 1599000 | #Constraints: 33257
1384.38/1388.65 c #Conflicts: 1600000 | #Constraints: 34270
1384.38/1388.65 c #Conflicts: 1601000 | #Constraints: 35281
1384.38/1388.65 c #Conflicts: 1602000 | #Constraints: 36292
1384.38/1388.65 c #Conflicts: 1603000 | #Constraints: 37305
1384.38/1388.65 c #Conflicts: 1604000 | #Constraints: 38316
1384.38/1388.65 c #Conflicts: 1605000 | #Constraints: 39337
1384.38/1388.65 c #Conflicts: 1606000 | #Constraints: 40351
1384.38/1388.65 c #Conflicts: 1607000 | #Constraints: 41360
1384.38/1388.65 c #Conflicts: 1608000 | #Constraints: 42367
1384.38/1388.65 c #Conflicts: 1609000 | #Constraints: 43380
1384.38/1388.65 c #Conflicts: 1610000 | #Constraints: 44387
1384.38/1388.65 c #Conflicts: 1611000 | #Constraints: 45401
1384.38/1388.65 c #Conflicts: 1612000 | #Constraints: 46414
1384.38/1388.65 c #Conflicts: 1613000 | #Constraints: 47424
1384.38/1388.65 c #Conflicts: 1614000 | #Constraints: 48431
1384.38/1388.65 c #Conflicts: 1615000 | #Constraints: 49442
1384.38/1388.65 c #Conflicts: 1616000 | #Constraints: 50454
1384.38/1388.65 c INPROCESSING
1384.38/1388.65 c GARBAGE COLLECT
1384.38/1388.65 c rational objective 14.4131
1407.01/1411.39 c #Conflicts: 1617000 | #Constraints: 26116
1407.01/1411.39 c #Conflicts: 1618000 | #Constraints: 27198
1407.01/1411.39 c #Conflicts: 1619000 | #Constraints: 28204
1407.01/1411.39 c #Conflicts: 1620000 | #Constraints: 29208
1407.01/1411.39 c #Conflicts: 1621000 | #Constraints: 30215
1407.01/1411.39 c #Conflicts: 1622000 | #Constraints: 31218
1407.01/1411.39 c #Conflicts: 1623000 | #Constraints: 32219
1407.01/1411.39 c #Conflicts: 1624000 | #Constraints: 33228
1407.01/1411.39 c #Conflicts: 1625000 | #Constraints: 34234
1407.01/1411.39 c #Conflicts: 1626000 | #Constraints: 35240
1407.01/1411.39 c #Conflicts: 1627000 | #Constraints: 36247
1407.01/1411.39 c #Conflicts: 1628000 | #Constraints: 37255
1407.01/1411.39 c #Conflicts: 1629000 | #Constraints: 38262
1407.01/1411.39 c #Conflicts: 1630000 | #Constraints: 39267
1407.01/1411.39 c #Conflicts: 1631000 | #Constraints: 40272
1407.01/1411.39 c #Conflicts: 1632000 | #Constraints: 41282
1407.01/1411.39 c #Conflicts: 1633000 | #Constraints: 42284
1407.01/1411.39 c #Conflicts: 1634000 | #Constraints: 43297
1407.01/1411.39 c #Conflicts: 1635000 | #Constraints: 44303
1407.01/1411.39 c #Conflicts: 1636000 | #Constraints: 45308
1407.01/1411.39 c #Conflicts: 1637000 | #Constraints: 46317
1407.01/1411.39 c bounds 17 >= 14 @ 1377.52
1412.40/1416.78 c #Conflicts: 1638000 | #Constraints: 47357
1412.40/1416.78 c #Conflicts: 1639000 | #Constraints: 48371
1412.40/1416.78 c #Conflicts: 1640000 | #Constraints: 49377
1412.40/1416.78 c #Conflicts: 1641000 | #Constraints: 50385
1412.40/1416.78 c #Conflicts: 1642000 | #Constraints: 51388
1412.40/1416.78 c INPROCESSING
1412.40/1416.78 c GARBAGE COLLECT
1412.40/1416.78 c rational objective 14.4137
1430.94/1435.34 c #Conflicts: 1643000 | #Constraints: 26745
1430.94/1435.34 c #Conflicts: 1644000 | #Constraints: 27756
1430.94/1435.34 c #Conflicts: 1645000 | #Constraints: 28762
1430.94/1435.34 c #Conflicts: 1646000 | #Constraints: 29767
1430.94/1435.34 c #Conflicts: 1647000 | #Constraints: 30769
1430.94/1435.34 c #Conflicts: 1648000 | #Constraints: 31776
1430.94/1435.34 c #Conflicts: 1649000 | #Constraints: 32780
1430.94/1435.34 c #Conflicts: 1650000 | #Constraints: 33785
1430.94/1435.34 c #Conflicts: 1651000 | #Constraints: 34790
1430.94/1435.34 c #Conflicts: 1652000 | #Constraints: 35793
1430.94/1435.34 c #Conflicts: 1653000 | #Constraints: 36797
1430.94/1435.34 c #Conflicts: 1654000 | #Constraints: 37798
1430.94/1435.34 c #Conflicts: 1655000 | #Constraints: 38801
1430.94/1435.34 c #Conflicts: 1656000 | #Constraints: 39804
1430.94/1435.34 c #Conflicts: 1657000 | #Constraints: 40808
1430.94/1435.34 c #Conflicts: 1658000 | #Constraints: 41811
1430.94/1435.34 c #Conflicts: 1659000 | #Constraints: 42818
1430.94/1435.34 c #Conflicts: 1660000 | #Constraints: 43820
1430.94/1435.34 c bounds 17 >= 17 @ 1400.9
1430.94/1435.34 c cpu time 1400.9 s
1430.94/1435.34 c deterministic time 89350544504 8.94e+10
1430.94/1435.34 c optimization time 0.005923 s
1430.94/1435.34 c total solve time 1400.9 s
1430.94/1435.34 c core-guided solve time 697.135 s
1430.94/1435.34 c propagation time 747.849 s
1430.94/1435.34 c conflict analysis time 589.897 s
1430.94/1435.34 c propagations 169115533
1430.94/1435.34 c resolve steps 10671563
1430.94/1435.34 c decisions 4566372
1430.94/1435.34 c conflicts 1660305
1430.94/1435.34 c restarts 3132
1430.94/1435.34 c inprocessing phases 119
1430.94/1435.34 c garbage collections 119 ,( 100.00 )
1430.94/1435.34 c input clauses 152 ,( 51.53 )
1430.94/1435.34 c input cardinalities 81 ,( 27.46 )
1430.94/1435.34 c input general constraints 62 ,( 21.02 )
1430.94/1435.34 c input average constraint length 39.67
1430.94/1435.34 c input average constraint degree 13.65
1430.94/1435.34 c learned clauses 733072 ,( 43.61 )
1430.94/1435.34 c learned cardinalities 1169 ,( 0.07 )
1430.94/1435.34 c learned general constraints 946785 ,( 56.32 )
1430.94/1435.34 c learned average constraint length 77.55
1430.94/1435.34 c learned average constraint degree 3795880368.80
1430.94/1435.34 c watched CF 32, 64, 128, Arb: 63121 , 0 , 0 , 0
1430.94/1435.34 c counting CF 32, 64, 128, Arb: 883727 , 0 , 0 , 0
1430.94/1435.34 c watched constraints 63121 ,( 6.67 )
1430.94/1435.34 c counting constraints 883726 ,( 93.33 )
1430.94/1435.34 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 159387104 , 346653913 , 2391251633 ,( 67385093 , 2323866540 )
1430.94/1435.34 c gcd simplifications 216513
1430.94/1435.34 c detected cardinalities 26
1430.94/1435.34 c weakened non-implied lits 246786426
1430.94/1435.34 c weakened non-implying lits 618702
1430.94/1435.34 c original variables 299
1430.94/1435.34 c clausal propagations 7829674
1430.94/1435.34 c cardinality propagations 1447539
1430.94/1435.34 c watched propagations 308522
1430.94/1435.34 c counting propagations 153531825
1430.94/1435.34 c watch lookups 75335315099
1430.94/1435.34 c watch backjump lookups 0
1430.94/1435.34 c watch checks 2262234133
1430.94/1435.34 c propagation checks 9566643825
1430.94/1435.34 c constraint additions 1835645803
1430.94/1435.34 c trail pops 175325979
1430.94/1435.34 c formula constraints 103
1430.94/1435.34 c learned constraints 1644303
1430.94/1435.34 c bound constraints 20
1430.94/1435.34 c core-guided constraints 172
1430.94/1435.34 c encountered formula constraints 1386155
1430.94/1435.34 c encountered learned constraints 4320847
1430.94/1435.34 c encountered bound constraints 152
1430.94/1435.34 c encountered core-guided constraints 734992
1430.94/1435.34 c LP total time 57.1193 s
1430.94/1435.34 c LP solve time 34.8 s
1430.94/1435.34 c LP constraints added 226
1430.94/1435.34 c LP constraints removed 116
1430.94/1435.34 c LP pivots internal 1660342
1430.94/1435.34 c LP pivots root 37417
1430.94/1435.34 c LP calls 21388
1430.94/1435.34 c LP optimalities 610
1430.94/1435.34 c LP no pivot count 0
1430.94/1435.34 c LP infeasibilities 20688
1430.94/1435.34 c LP valid Farkas constraints 20600
1430.94/1435.34 c LP learned Farkas constraints 16003
1430.94/1435.34 c LP basis resets 178
1430.94/1435.34 c LP cycling count 90
1430.94/1435.34 c LP singular count 0
1430.94/1435.34 c LP no primal count 0
1430.94/1435.34 c LP no farkas count 88
1430.94/1435.34 c LP other issue count 0
1430.94/1435.34 c LP Gomory cuts 120
1430.94/1435.34 c LP learned cuts 3
1430.94/1435.34 c LP deleted cuts 116
1430.94/1435.34 c LP encountered Gomory constraints 0
1430.94/1435.34 c LP encountered Farkas constraints 5562527
1430.94/1435.34 c LP encountered learned Farkas constraints 311192
1430.94/1435.34 c CG auxiliary variables introduced 62
1430.94/1435.34 c CG solutions found 5
1430.94/1435.34 c CG cores constructed 14
1430.94/1435.34 c CG core cardinality constraints returned 0
1430.94/1435.34 c CG unit cores 0
1430.94/1435.34 c CG single cores 14
1430.94/1435.34 c CG blocks removed during cardinality reduction 0
1430.94/1435.34 c CG first core best 0
1430.94/1435.34 c CG decision core best 0
1430.94/1435.34 c CG core reduction tie 0
1430.94/1435.34 c CG core degree average 1.00
1430.94/1435.34 c CG core slack average 23.71
1430.94/1435.34 c CG core upper bound improvements 15
1430.94/1435.34 c STR number of successful calls 0
1430.94/1435.34 c STR number of unsuccessful calls 0
1430.94/1435.34 c STR number of inconclusive calls 0
1430.94/1435.34 c STR number of successful attempts 0
1430.94/1435.34 c STR number of unsuccessful attempts 0
1430.94/1435.34 c STR number of inconclusive attempts 0
1430.94/1435.34 c STR average degree increase per successful call inf
1430.94/1435.34 c STR average degree increase per successful attempt inf
1430.94/1435.34 c STR total number of conflicts for successful attempts 0
1430.94/1435.34 c STR total number of conflicts for unsuccessful attempts 0
1430.94/1435.34 c STR total number of conflicts for inconclusive attempts 0
1430.94/1435.34 c STR average number of conflicts per successful attempt inf
1430.94/1435.34 c STR average number of conflicts per unsuccessful attempt inf
1430.94/1435.34 c STR average number of conflicts per inconclusive attempt inf
1430.94/1435.34 c AVG.sumWPerc 76.61
1430.94/1435.34 c bigint constraints 0
1430.94/1435.34 o 17
1430.94/1435.34 s OPTIMUM FOUND
1432.47/1447.79 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
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62302 MiB free)
memory of node 1: 64507 MiB (43123 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4491073-1751375942/watcher-4491073-1751375942 -o /tmp/evaluation-result-4491073-1751375942/solver-4491073-1751375942 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751368624-54684 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4491073-1751375942.opb PROOFDIR/proof-4491073-1751375942
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=55495, runsolver pid=55492
[startup+0.100059 s]*
/proc/loadavg: 4.12 4.19 4.14 5/276 55498
/proc/meminfo: memFree=107955680/131250000 swapFree=33010416/33010684
[pid=55495] ppid=55492 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/55495/stat : 55495 (run-opt-ls-log.) S 55492 55495 54673 0 -1 4194304 241 324 0 0 0 0 0 0 20 0 1 0 53272049 4292608 768 18446744073709551615 94384536412160 94384537306693 140730514214736 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94384537545744 94384537593488 94384561504256 140730514221339 140730514221537 140730514221537 140730514227139 0
/proc/55495/statm: 1048 768 704 219 0 110 0
[pid=55498] ppid=55495 vsize=57304 memory=12032 CPUtime=0.07 cores=4,6
/proc/55498/stat : 55498 (roundingsat) R 55495 55495 54673 0 -1 4194304 864 0 0 0 7 0 0 0 20 0 1 0 53272050 58679296 3008 18446744073709551615 4227072 8923433 140727432376784 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 33026048 140727432382710 140727432383016 140727432383016 140727432388586 0
/proc/55498/statm: 14326 3008 2368 1147 0 1753 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 61496 KiB
Current children cumulated memory: 15104 KiB
[startup+0.205703 s]*
/proc/loadavg: 4.12 4.19 4.14 5/276 55498
/proc/meminfo: memFree=107947060/131250000 swapFree=33010416/33010684
[pid=55495] ppid=55492 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/55495/stat : 55495 (run-opt-ls-log.) S 55492 55495 54673 0 -1 4194304 241 324 0 0 0 0 0 0 20 0 1 0 53272049 4292608 768 18446744073709551615 94384536412160 94384537306693 140730514214736 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94384537545744 94384537593488 94384561504256 140730514221339 140730514221537 140730514221537 140730514227139 0
/proc/55495/statm: 1048 768 704 219 0 110 0
[pid=55498] ppid=55495 vsize=59024 memory=16200 CPUtime=0.16 cores=4,6
/proc/55498/stat : 55498 (roundingsat) R 55495 55495 54673 0 -1 4194304 1324 0 0 0 16 0 0 0 20 0 1 0 53272050 60440576 4050 18446744073709551615 4227072 8923433 140727432376784 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 33026048 140727432382710 140727432383016 140727432383016 140727432388586 0
/proc/55498/statm: 14756 4050 2432 1147 0 2183 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 63216 KiB
Current children cumulated memory: 19272 KiB
[startup+0.305654 s]*
/proc/loadavg: 4.12 4.19 4.14 5/276 55498
/proc/meminfo: memFree=107945044/131250000 swapFree=33010416/33010684
[pid=55495] ppid=55492 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/55495/stat : 55495 (run-opt-ls-log.) S 55492 55495 54673 0 -1 4194304 241 324 0 0 0 0 0 0 20 0 1 0 53272049 4292608 768 18446744073709551615 94384536412160 94384537306693 140730514214736 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94384537545744 94384537593488 94384561504256 140730514221339 140730514221537 140730514221537 140730514227139 0
/proc/55495/statm: 1048 768 704 219 0 110 0
[pid=55498] ppid=55495 vsize=60916 memory=17992 CPUtime=0.27 cores=4,6
/proc/55498/stat : 55498 (roundingsat) R 55495 55495 54673 0 -1 4194304 1790 0 0 0 25 2 0 0 20 0 1 0 53272050 62377984 4498 18446744073709551615 4227072 8923433 140727432376784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33026048 140727432382710 140727432383016 140727432383016 140727432388586 0
/proc/55498/statm: 15229 4498 2432 1147 0 2656 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 65108 KiB
Current children cumulated memory: 21064 KiB
[startup+0.700144 s]
/proc/loadavg: 4.12 4.19 4.14 5/276 55498
/proc/meminfo: memFree=107945060/131250000 swapFree=33010416/33010684
[pid=55495] ppid=55492 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/55495/stat : 55495 (run-opt-ls-log.) S 55492 55495 54673 0 -1 4194304 241 324 0 0 0 0 0 0 20 0 1 0 53272049 4292608 768 18446744073709551615 94384536412160 94384537306693 140730514214736 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94384537545744 94384537593488 94384561504256 140730514221339 140730514221537 140730514221537 140730514227139 0
/proc/55495/statm: 1048 768 704 219 0 110 0
[pid=55498] ppid=55495 vsize=62896 memory=19912 CPUtime=0.65 cores=4,6
/proc/55498/stat : 55498 (roundingsat) R 55495 55495 54673 0 -1 4194304 2266 0 0 0 62 3 0 0 20 0 1 0 53272050 64405504 4978 18446744073709551615 4227072 8923433 140727432376784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33026048 140727432382710 140727432383016 140727432383016 140727432388586 0
/proc/55498/statm: 15724 4978 2432 1147 0 3151 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 67088 KiB
Current children cumulated memory: 22984 KiB
[startup+1.50015 s]
/proc/loadavg: 4.12 4.19 4.14 5/276 55498
/proc/meminfo: memFree=107929184/131250000 swapFree=33010416/33010684
[pid=55495] ppid=55492 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/55495/stat : 55495 (run-opt-ls-log.) S 55492 55495 54673 0 -1 4194304 241 324 0 0 0 0 0 0 20 0 1 0 53272049 4292608 768 18446744073709551615 94384536412160 94384537306693 140730514214736 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94384537545744 94384537593488 94384561504256 140730514221339 140730514221537 140730514221537 140730514227139 0
/proc/55495/statm: 1048 768 704 219 0 110 0
[pid=55498] ppid=55495 vsize=66300 memory=25028 CPUtime=1.45 cores=4,6
/proc/55498/stat : 55498 (roundingsat) R 55495 55495 54673 0 -1 4194304 3039 0 0 0 138 7 0 0 20 0 1 0 53272050 67891200 6257 18446744073709551615 4227072 8923433 140727432376784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33026048 140727432382710 140727432383016 140727432383016 140727432388586 0
/proc/55498/statm: 16575 6257 2432 1147 0 4002 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 70492 KiB
Current children cumulated memory: 28100 KiB
[startup+3.10558 s]
/proc/loadavg: 4.11 4.19 4.14 5/276 55498
/proc/meminfo: memFree=107865668/131250000 swapFree=33010416/33010684
[pid=55495] ppid=55492 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/55495/stat : 55495 (run-opt-ls-log.) S 55492 55495 54673 0 -1 4194304 241 324 0 0 0 0 0 0 20 0 1 0 53272049 4292608 768 18446744073709551615 94384536412160 94384537306693 140730514214736 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94384537545744 94384537593488 94384561504256 140730514221339 140730514221537 140730514221537 140730514227139 0
/proc/55495/statm: 1048 768 704 219 0 110 0
[pid=55498] ppid=55495 vsize=68188 memory=26564 CPUtime=3.05 cores=4,6
/proc/55498/stat : 55498 (roundingsat) R 55495 55495 54673 0 -1 4194304 3420 0 0 0 292 13 0 0 20 0 1 0 53272050 69824512 6641 18446744073709551615 4227072 8923433 140727432376784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33026048 140727432382710 140727432383016 140727432383016 140727432388586 0
/proc/55498/statm: 17047 6641 2432 1147 0 4474 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 72380 KiB
Current children cumulated memory: 29636 KiB
[startup+6.30013 s]
/proc/loadavg: 4.11 4.19 4.14 5/276 55498
/proc/meminfo: memFree=107764656/131250000 swapFree=33010416/33010684
[pid=55495] ppid=55492 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/55495/stat : 55495 (run-opt-ls-log.) S 55492 55495 54673 0 -1 4194304 241 324 0 0 0 0 0 0 20 0 1 0 53272049 4292608 768 18446744073709551615 94384536412160 94384537306693 140730514214736 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94384537545744 94384537593488 94384561504256 140730514221339 140730514221537 140730514221537 140730514227139 0
/proc/55495/statm: 1048 768 704 219 0 110 0
[pid=55498] ppid=55495 vsize=75584 memory=30404 CPUtime=6.24 cores=4,6
/proc/55498/stat : 55498 (roundingsat) R 55495 55495 54673 0 -1 4194304 4378 0 0 0 601 23 0 0 20 0 1 0 53272050 77398016 7601 18446744073709551615 4227072 8923433 140727432376784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33026048 140727432382710 140727432383016 140727432383016 140727432388586 0
/proc/55498/statm: 18896 7601 2432 1147 0 6323 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 79776 KiB
Current children cumulated memory: 33476 KiB
[startup+12.7001 s]
/proc/loadavg: 4.17 4.20 4.15 5/276 55498
/proc/meminfo: memFree=107591840/131250000 swapFree=33010416/33010684
[pid=55495] ppid=55492 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/55495/stat : 55495 (run-opt-ls-log.) S 55492 55495 54673 0 -1 4194304 241 324 0 0 0 0 0 0 20 0 1 0 53272049 4292608 768 18446744073709551615 94384536412160 94384537306693 140730514214736 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94384537545744 94384537593488 94384561504256 140730514221339 140730514221537 140730514221537 140730514227139 0
/proc/55495/statm: 1048 768 704 219 0 110 0
[pid=55498] ppid=55495 vsize=80712 memory=37316 CPUtime=12.61 cores=4,6
/proc/55498/stat : 55498 (roundingsat) R 55495 55495 54673 0 -1 4194304 6128 0 0 0 1220 41 0 0 20 0 1 0 53272050 82649088 9329 18446744073709551615 4227072 8923433 140727432376784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33026048 140727432382710 140727432383016 140727432383016 140727432388586 0
/proc/55498/statm: 20178 9329 2432 1147 0 7605 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 84904 KiB
Current children cumulated memory: 40388 KiB
[startup+25.5001 s]
/proc/loadavg: 4.15 4.19 4.15 4/274 55498
/proc/meminfo: memFree=107185888/131250000 swapFree=33010416/33010684
[pid=55495] ppid=55492 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/55495/stat : 55495 (run-opt-ls-log.) S 55492 55495 54673 0 -1 4194304 241 324 0 0 0 0 0 0 20 0 1 0 53272049 4292608 768 18446744073709551615 94384536412160 94384537306693 140730514214736 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94384537545744 94384537593488 94384561504256 140730514221339 140730514221537 140730514221537 140730514227139 0
/proc/55495/statm: 1048 768 704 219 0 110 0
[pid=55498] ppid=55495 vsize=91808 memory=43332 CPUtime=25.38 cores=4,6
/proc/55498/stat : 55498 (roundingsat) R 55495 55495 54673 0 -1 4194304 7634 0 0 0 2469 69 0 0 20 0 1 0 53272050 94011392 10833 18446744073709551615 4227072 8923433 140727432376784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33026048 140727432382710 140727432383016 140727432383016 140727432388586 0
/proc/55498/statm: 22952 10833 2432 1147 0 10379 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 96000 KiB
Current children cumulated memory: 46404 KiB
[startup+51.1056 s]
/proc/loadavg: 4.10 4.17 4.14 5/276 55690
/proc/meminfo: memFree=127906892/131250000 swapFree=33010416/33010684
[pid=55495] ppid=55492 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/55495/stat : 55495 (run-opt-ls-log.) S 55492 55495 54673 0 -1 4194304 241 324 0 0 0 0 0 0 20 0 1 0 53272049 4292608 768 18446744073709551615 94384536412160 94384537306693 140730514214736 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94384537545744 94384537593488 94384561504256 140730514221339 140730514221537 140730514221537 140730514227139 0
/proc/55495/statm: 1048 768 704 219 0 110 0
[pid=55498] ppid=55495 vsize=100856 memory=54632 CPUtime=50.89 cores=4,6
/proc/55498/stat : 55498 (roundingsat) R 55495 55495 54673 0 -1 4194304 10052 0 0 0 4955 134 0 0 20 0 1 0 53272050 103276544 13658 18446744073709551615 4227072 8923433 140727432376784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33026048 140727432382710 140727432383016 140727432383016 140727432388586 0
/proc/55498/statm: 25214 13658 2432 1147 0 12641 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 105048 KiB
Current children cumulated memory: 57704 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.18 4.14 5/276 55693
/proc/meminfo: memFree=126449936/131250000 swapFree=33010416/33010684
[pid=55495] ppid=55492 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/55495/stat : 55495 (run-opt-ls-log.) S 55492 55495 54673 0 -1 4194304 241 324 0 0 0 0 0 0 20 0 1 0 53272049 4292608 768 18446744073709551615 94384536412160 94384537306693 140730514214736 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94384537545744 94384537593488 94384561504256 140730514221339 140730514221537 140730514221537 140730514227139 0
/proc/55495/statm: 1048 768 704 219 0 110 0
[pid=55498] ppid=55495 vsize=118056 memory=67152 CPUtime=101.92 cores=4,6
/proc/55498/stat : 55498 (roundingsat) R 55495 55495 54673 0 -1 4194304 13231 0 0 0 9945 247 0 0 20 0 1 0 53272050 120889344 16788 18446744073709551615 4227072 8923433 140727432376784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33026048 140727432382710 140727432383016 140727432383016 140727432388586 0
/proc/55498/statm: 29514 16788 2432 1147 0 16941 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 122248 KiB
Current children cumulated memory: 70224 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.16 4.14 7/275 55695
/proc/meminfo: memFree=124948876/131250000 swapFree=33010416/33010684
[pid=55495] ppid=55492 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/55495/stat : 55495 (run-opt-ls-log.) S 55492 55495 54673 0 -1 4194304 241 324 0 0 0 0 0 0 20 0 1 0 53272049 4292608 768 18446744073709551615 94384536412160 94384537306693 140730514214736 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94384537545744 94384537593488 94384561504256 140730514221339 140730514221537 140730514221537 140730514227139 0
/proc/55495/statm: 1048 768 704 219 0 110 0
[pid=55498] ppid=55495 vsize=129432 memory=82204 CPUtime=161.75 cores=4,6
/proc/55498/stat : 55498 (roundingsat) R 55495 55495 54673 0 -1 4194304 16653 0 0 0 15814 361 0 0 20 0 1 0 53272050 132538368 20551 18446744073709551615 4227072 8923433 140727432376784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33026048 140727432382710 140727432383016 140727432383016 140727432388586 0
/proc/55498/statm: 32358 20551 2432 1147 0 19785 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 133624 KiB
Current children cumulated memory: 85276 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 4.13 4.12 5/275 55697
/proc/meminfo: memFree=123149696/131250000 swapFree=33010416/33010684
[pid=55495] ppid=55492 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/55495/stat : 55495 (run-opt-ls-log.) S 55492 55495 54673 0 -1 4194304 241 324 0 0 0 0 0 0 20 0 1 0 53272049 4292608 768 18446744073709551615 94384536412160 94384537306693 140730514214736 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94384537545744 94384537593488 94384561504256 140730514221339 140730514221537 140730514221537 140730514227139 0
/proc/55495/statm: 1048 768 704 219 0 110 0
[pid=55498] ppid=55495 vsize=138132 memory=88040 CPUtime=221.59 cores=4,6
/proc/55498/stat : 55498 (roundingsat) R 55495 55495 54673 0 -1 4194304 19011 0 0 0 21683 476 0 0 20 0 1 0 53272050 141447168 22010 18446744073709551615 4227072 8923433 140727432376784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33026048 140727432382710 140727432383016 140727432383016 140727432388586 0
/proc/55498/statm: 34533 22010 2432 1147 0 21960 0
################
# More data... #
################
/proc/55498/stat : 55498 (roundingsat) R 55495 55495 54673 0 -1 4194304 37001 0 0 0 121227 2621 0 0 20 0 1 0 53272050 199856128 36225 18446744073709551615 4227072 8923433 140727432376784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33026048 140727432382710 140727432383016 140727432383016 140727432388586 0
/proc/55498/statm: 48793 36225 2432 1147 0 36220 0
Current children cumulated CPU time: 1238.48 s
Current children cumulated vsize: 199364 KiB
Current children cumulated memory: 147972 KiB
[startup+1302.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/274 55756
/proc/meminfo: memFree=90756048/131250000 swapFree=33010416/33010684
[pid=55495] ppid=55492 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/55495/stat : 55495 (run-opt-ls-log.) S 55492 55495 54673 0 -1 4194304 241 324 0 0 0 0 0 0 20 0 1 0 53272049 4292608 768 18446744073709551615 94384536412160 94384537306693 140730514214736 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94384537545744 94384537593488 94384561504256 140730514221339 140730514221537 140730514221537 140730514227139 0
/proc/55495/statm: 1048 768 704 219 0 110 0
[pid=55498] ppid=55495 vsize=195028 memory=148232 CPUtime=1298.33 cores=4,6
/proc/55498/stat : 55498 (roundingsat) R 55495 55495 54673 0 -1 4194304 37242 0 0 0 127091 2742 0 0 20 0 1 0 53272050 199708672 37058 18446744073709551615 4227072 8923433 140727432376784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33026048 140727432382710 140727432383016 140727432383016 140727432388586 0
/proc/55498/statm: 48757 37058 2432 1147 0 36184 0
Current children cumulated CPU time: 1298.33 s
Current children cumulated vsize: 199220 KiB
Current children cumulated memory: 151304 KiB
[startup+1362.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/275 55760
/proc/meminfo: memFree=88695612/131250000 swapFree=33010416/33010684
[pid=55495] ppid=55492 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/55495/stat : 55495 (run-opt-ls-log.) S 55492 55495 54673 0 -1 4194304 241 324 0 0 0 0 0 0 20 0 1 0 53272049 4292608 768 18446744073709551615 94384536412160 94384537306693 140730514214736 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94384537545744 94384537593488 94384561504256 140730514221339 140730514221537 140730514221537 140730514227139 0
/proc/55495/statm: 1048 768 704 219 0 110 0
[pid=55498] ppid=55495 vsize=196828 memory=150096 CPUtime=1358.16 cores=4,6
/proc/55498/stat : 55498 (roundingsat) R 55495 55495 54673 0 -1 4194304 37836 0 0 0 132952 2864 0 0 20 0 1 0 53272050 201551872 37524 18446744073709551615 4227072 8923433 140727432376784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33026048 140727432382710 140727432383016 140727432383016 140727432388586 0
/proc/55498/statm: 49207 37524 2432 1147 0 36634 0
Current children cumulated CPU time: 1358.16 s
Current children cumulated vsize: 201020 KiB
Current children cumulated memory: 153168 KiB
[startup+1422.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/275 55763
/proc/meminfo: memFree=87046736/131250000 swapFree=33010416/33010684
[pid=55495] ppid=55492 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/55495/stat : 55495 (run-opt-ls-log.) S 55492 55495 54673 0 -1 4194304 241 324 0 0 0 0 0 0 20 0 1 0 53272049 4292608 768 18446744073709551615 94384536412160 94384537306693 140730514214736 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94384537545744 94384537593488 94384561504256 140730514221339 140730514221537 140730514221537 140730514227139 0
/proc/55495/statm: 1048 768 704 219 0 110 0
[pid=55498] ppid=55495 vsize=221544 memory=156792 CPUtime=1417.98 cores=4,6
/proc/55498/stat : 55498 (roundingsat) R 55495 55495 54673 0 -1 4194304 39367 0 0 0 138816 2982 0 0 20 0 1 0 53272050 226861056 39198 18446744073709551615 4227072 8923433 140727432376784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33026048 140727432382710 140727432383016 140727432383016 140727432388586 0
/proc/55498/statm: 55386 39198 2432 1147 0 42813 0
Current children cumulated CPU time: 1417.98 s
Current children cumulated vsize: 225736 KiB
Current children cumulated memory: 159864 KiB
[startup+1447.8 s]
# the end of solver process 55495 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1400.95 s, system=31.5438 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1433.6 s]
/proc/loadavg: 4.14 4.10 4.09 5/275 55763
/proc/meminfo: memFree=86667332/131250000 swapFree=33010416/33010684
[pid=55495] ppid=55492 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/55495/stat : 55495 (run-opt-ls-log.) S 55492 55495 54673 0 -1 4194304 241 324 0 0 0 0 0 0 20 0 1 0 53272049 4292608 768 18446744073709551615 94384536412160 94384537306693 140730514214736 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94384537545744 94384537593488 94384561504256 140730514221339 140730514221537 140730514221537 140730514227139 0
/proc/55495/statm: 1048 768 704 219 0 110 0
[pid=55498] ppid=55495 vsize=221544 memory=156792 CPUtime=1429.25 cores=4,6
/proc/55498/stat : 55498 (roundingsat) R 55495 55495 54673 0 -1 4194304 39367 0 0 0 139920 3005 0 0 20 0 1 0 53272050 226861056 39198 18446744073709551615 4227072 8923433 140727432376784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33026048 140727432382710 140727432383016 140727432383016 140727432388586 0
/proc/55498/statm: 55386 39198 2432 1147 0 42813 0
Current children cumulated CPU time: 1429.25 s
Current children cumulated vsize: 225736 KiB
Current children cumulated memory: 159864 KiB
[startup+1440 s]*
/proc/loadavg: 4.21 4.12 4.10 4/275 55763
/proc/meminfo: memFree=86466612/131250000 swapFree=33010416/33010684
[pid=55495] ppid=55492 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/55495/stat : 55495 (run-opt-ls-log.) S 55492 55495 54673 0 -1 4194304 241 324 0 0 0 0 0 0 20 0 1 0 53272049 4292608 768 18446744073709551615 94384536412160 94384537306693 140730514214736 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94384537545744 94384537593488 94384561504256 140730514221339 140730514221537 140730514221537 140730514227139 0
/proc/55495/statm: 1048 768 704 219 0 110 0
[pid=55498] ppid=55495 vsize=221544 memory=156792 CPUtime=1432.2 cores=4,6
/proc/55498/stat : 55498 (roundingsat) D 55495 55495 54673 0 -1 4194304 39367 0 0 0 140091 3129 0 0 20 0 1 0 53272050 226861056 39198 18446744073709551615 4227072 8923433 140727432376784 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 33026048 140727432382710 140727432383016 140727432383016 140727432388586 0
/proc/55498/statm: 55386 39198 2432 1147 0 42813 0
Current children cumulated CPU time: 1432.2 s
Current children cumulated vsize: 225736 KiB
Current children cumulated memory: 159864 KiB
[startup+1443.2 s]
/proc/loadavg: 4.27 4.13 4.10 4/275 55763
/proc/meminfo: memFree=86454888/131250000 swapFree=33010416/33010684
[pid=55495] ppid=55492 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/55495/stat : 55495 (run-opt-ls-log.) S 55492 55495 54673 0 -1 4194304 241 324 0 0 0 0 0 0 20 0 1 0 53272049 4292608 768 18446744073709551615 94384536412160 94384537306693 140730514214736 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94384537545744 94384537593488 94384561504256 140730514221339 140730514221537 140730514221537 140730514227139 0
/proc/55495/statm: 1048 768 704 219 0 110 0
[pid=55498] ppid=55495 vsize=221544 memory=156792 CPUtime=1432.31 cores=4,6
/proc/55498/stat : 55498 (roundingsat) D 55495 55495 54673 0 -1 4194304 39367 0 0 0 140093 3138 0 0 20 0 1 0 53272050 226861056 39198 18446744073709551615 4227072 8923433 140727432376784 0 0 0 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9823104 9832592 33026048 140727432382710 140727432383016 140727432383016 140727432388586 0
/proc/55498/statm: 55386 39198 2432 1147 0 42813 0
Current children cumulated CPU time: 1432.31 s
Current children cumulated vsize: 225736 KiB
Current children cumulated memory: 159864 KiB
[startup+1444.8 s]
/proc/loadavg: 4.27 4.13 4.10 5/275 55763
/proc/meminfo: memFree=86449068/131250000 swapFree=33010416/33010684
[pid=55495] ppid=55492 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/55495/stat : 55495 (run-opt-ls-log.) S 55492 55495 54673 0 -1 4194304 241 324 0 0 0 0 0 0 20 0 1 0 53272049 4292608 768 18446744073709551615 94384536412160 94384537306693 140730514214736 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94384537545744 94384537593488 94384561504256 140730514221339 140730514221537 140730514221537 140730514227139 0
/proc/55495/statm: 1048 768 704 219 0 110 0
[pid=55498] ppid=55495 vsize=221544 memory=156792 CPUtime=1432.36 cores=4,6
/proc/55498/stat : 55498 (roundingsat) D 55495 55495 54673 0 -1 4194304 39367 0 0 0 140093 3143 0 0 20 0 1 0 53272050 226861056 39198 18446744073709551615 4227072 8923433 140727432376784 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 33026048 140727432382710 140727432383016 140727432383016 140727432388586 0
/proc/55498/statm: 55386 39198 2432 1147 0 42813 0
Current children cumulated CPU time: 1432.36 s
Current children cumulated vsize: 225736 KiB
Current children cumulated memory: 159864 KiB
[startup+1446.4 s]
/proc/loadavg: 4.27 4.13 4.10 4/275 55763
/proc/meminfo: memFree=86453932/131250000 swapFree=33010416/33010684
[pid=55495] ppid=55492 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/55495/stat : 55495 (run-opt-ls-log.) S 55492 55495 54673 0 -1 4194304 241 324 0 0 0 0 0 0 20 0 1 0 53272049 4292608 768 18446744073709551615 94384536412160 94384537306693 140730514214736 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94384537545744 94384537593488 94384561504256 140730514221339 140730514221537 140730514221537 140730514227139 0
/proc/55495/statm: 1048 768 704 219 0 110 0
[pid=55498] ppid=55495 vsize=221544 memory=156792 CPUtime=1432.41 cores=4,6
/proc/55498/stat : 55498 (roundingsat) D 55495 55495 54673 0 -1 4194304 39367 0 0 0 140094 3147 0 0 20 0 1 0 53272050 226861056 39198 18446744073709551615 4227072 8923433 140727432376784 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 33026048 140727432382710 140727432383016 140727432383016 140727432388586 0
/proc/55498/statm: 55386 39198 2432 1147 0 42813 0
Current children cumulated CPU time: 1432.41 s
Current children cumulated vsize: 225736 KiB
Current children cumulated memory: 159864 KiB
[startup+1447.2 s]
/proc/loadavg: 4.25 4.13 4.10 5/275 55763
/proc/meminfo: memFree=86464020/131250000 swapFree=33010416/33010684
[pid=55495] ppid=55492 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/55495/stat : 55495 (run-opt-ls-log.) S 55492 55495 54673 0 -1 4194304 241 324 0 0 0 0 0 0 20 0 1 0 53272049 4292608 768 18446744073709551615 94384536412160 94384537306693 140730514214736 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94384537545744 94384537593488 94384561504256 140730514221339 140730514221537 140730514221537 140730514227139 0
/proc/55495/statm: 1048 768 704 219 0 110 0
[pid=55498] ppid=55495 vsize=221544 memory=156792 CPUtime=1432.47 cores=4,6
/proc/55498/stat : 55498 (roundingsat) D 55495 55495 54673 0 -1 4194304 39367 0 0 0 140094 3153 0 0 20 0 1 0 53272050 226861056 39198 18446744073709551615 4227072 8923433 140727432376784 0 0 0 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9823104 9832592 33026048 140727432382710 140727432383016 140727432383016 140727432388586 0
/proc/55498/statm: 55386 39198 2432 1147 0 42813 0
Current children cumulated CPU time: 1432.47 s
Current children cumulated vsize: 225736 KiB
Current children cumulated memory: 159864 KiB
[startup+1447.6 s]
/proc/loadavg: 4.25 4.13 4.10 5/275 55763
/proc/meminfo: memFree=86464020/131250000 swapFree=33010416/33010684
[pid=55495] ppid=55492 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/55495/stat : 55495 (run-opt-ls-log.) S 55492 55495 54673 0 -1 4194304 241 324 0 0 0 0 0 0 20 0 1 0 53272049 4292608 768 18446744073709551615 94384536412160 94384537306693 140730514214736 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94384537545744 94384537593488 94384561504256 140730514221339 140730514221537 140730514221537 140730514227139 0
/proc/55495/statm: 1048 768 704 219 0 110 0
[pid=55498] ppid=55495 vsize=221544 memory=156792 CPUtime=1432.47 cores=4,6
/proc/55498/stat : 55498 (roundingsat) D 55495 55495 54673 0 -1 4194304 39367 0 0 0 140094 3153 0 0 20 0 1 0 53272050 226861056 39198 18446744073709551615 4227072 8923433 140727432376784 0 0 0 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9823104 9832592 33026048 140727432382710 140727432383016 140727432383016 140727432388586 0
/proc/55498/statm: 55386 39198 2432 1147 0 42813 0
Current children cumulated CPU time: 1432.47 s
Current children cumulated vsize: 225736 KiB
Current children cumulated memory: 159864 KiB
[startup+1447.7 s]
/proc/loadavg: 4.25 4.13 4.10 5/275 55763
/proc/meminfo: memFree=86464020/131250000 swapFree=33010416/33010684
[pid=55495] ppid=55492 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/55495/stat : 55495 (run-opt-ls-log.) S 55492 55495 54673 0 -1 4194304 241 324 0 0 0 0 0 0 20 0 1 0 53272049 4292608 768 18446744073709551615 94384536412160 94384537306693 140730514214736 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94384537545744 94384537593488 94384561504256 140730514221339 140730514221537 140730514221537 140730514227139 0
/proc/55495/statm: 1048 768 704 219 0 110 0
[pid=55498] ppid=55495 vsize=221544 memory=156792 CPUtime=1432.47 cores=4,6
/proc/55498/stat : 55498 (roundingsat) D 55495 55495 54673 0 -1 4194304 39367 0 0 0 140094 3153 0 0 20 0 1 0 53272050 226861056 39198 18446744073709551615 4227072 8923433 140727432376784 0 0 0 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9823104 9832592 33026048 140727432382710 140727432383016 140727432383016 140727432388586 0
/proc/55498/statm: 55386 39198 2432 1147 0 42813 0
Current children cumulated CPU time: 1432.47 s
Current children cumulated vsize: 225736 KiB
Current children cumulated memory: 159864 KiB
Child status: 0
Real time (s): 1447.8
CPU time (s): 1432.49
CPU user time (s): 1400.95
CPU system time (s): 31.5438
CPU usage (%): 98.943
Max. virtual memory (cumulated for all children) (KiB): 225736
Max. memory (cumulated for all children) (KiB): 159864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1400.95
system time used= 31.5438
maximum resident set size= 156792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39955
page faults= 0
swaps= 0
block input operations= 0
block output operations= 47187232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 337673
involuntary context switches= 2606
# summary of solver processes directly reported to runsolver:
# pid: 55495
# total CPU time (s): 1432.49
# total CPU user time (s): 1400.95
# total CPU system time (s): 31.5438
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.7111 second user time and 6.37307 second system time
The end
Begin job on nodeC018 at 2025-07-01 15:19:02
IDJOB=4491073
IDBENCH=147676
IDSOLVER=3356
FILE ID=nodeC018/4491073-1751375942
RUNJOBID= nodeC018-1751368624-54684
SLURM_JOB_ID= 9598184
Free space on /tmp= 432912 MiB
SOLVER NAME= roundingsat-ls+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/logic_synthesis/normalized-m100_300_10_20.r.opb
COMMAND LINE= run-opt-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4491073-1751375942/watcher-4491073-1751375942 -o /tmp/evaluation-result-4491073-1751375942/solver-4491073-1751375942 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751368624-54684 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4491073-1751375942.opb PROOFDIR/proof-4491073-1751375942
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 534ed9c29a1c7647bd6acd36efe0613e
RANDOM SEED=1509584076
nodeC018 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.825
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.66
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.830
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.66
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 : 3603.641
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.66
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 : 3562.273
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.66
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.425
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.66
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.832
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.66
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 : 3575.709
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.66
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 : 3600.673
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.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 107955928 kB
MemAvailable: 129396304 kB
Buffers: 2128 kB
Cached: 22219568 kB
SwapCached: 32 kB
Active: 760340 kB
Inactive: 21885236 kB
Active(anon): 440172 kB
Inactive(anon): 1564 kB
Active(file): 320168 kB
Inactive(file): 21883672 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 289892 kB
Writeback: 4 kB
AnonPages: 411360 kB
Mapped: 118592 kB
Shmem: 18044 kB
KReclaimable: 151148 kB
Slab: 248508 kB
SReclaimable: 151148 kB
SUnreclaim: 97360 kB
KernelStack: 4496 kB
PageTables: 4204 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 804352 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150776 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 165888 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: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432896 MiB
End job on nodeC018 at 2025-07-01 15:43:10