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-4491072-1751370992.opb'
0.00/0.01 c read 0.01MB (0.30ms)
0.00/0.01 c [cnf: #variables 299 #clauses 101 #duplicates 0 #arr 1751]
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.07ms)
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-4491072-1751370992.opb.pre'
0.00/0.01 c wrote 0.01MB (0.09ms)
0.00/0.01 c ------------------------------------------------------------------
0.00/0.01 c 0.30ms 27.28% parse
0.00/0.01 c 0.27ms 25.22% detect_generic
0.00/0.01 c 0.27ms 24.50% approx_orbits
0.00/0.01 c 0.09ms 8.39% output
0.00/0.01 c 0.07ms 6.70% detect_special
0.00/0.01 c 0.07ms 6.34% other
0.00/0.01 c 0.01ms 0.96% finalize_order
0.00/0.01 c 0.00ms 0.31% break_generic
0.00/0.01 c 0.00ms 0.30% optimize_gens
0.00/0.01 c ───────────────────────────────────────────────
0.00/0.01 c 1.09ms 100% total
0.00/0.01 c ------------------------------------------------------------------
0.00/0.03 c RoundingSat 2
0.00/0.03 c branch pb25
0.00/0.03 c commit 63f22ad
0.00/0.03 c #variables 299 #constraints 103
0.00/0.03 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.001713
0.00/0.04 c rational objective 14.1297
0.00/0.09 c bounds 21 >= 0 @ 0.057086
0.00/0.09 c bounds 21 >= 1 @ 0.057086
0.00/0.09 c bounds 21 >= 2 @ 0.057086
0.00/0.09 c bounds 21 >= 3 @ 0.057086
0.00/0.09 c bounds 21 >= 4 @ 0.057086
0.00/0.09 c bounds 21 >= 5 @ 0.057145
0.00/0.09 c bounds 21 >= 6 @ 0.057294
0.00/0.09 c bounds 21 >= 7 @ 0.057556
0.00/0.10 c bounds 21 >= 8 @ 0.057904
0.06/0.11 c bounds 20 >= 8 @ 0.067715
0.06/0.11 c bounds 20 >= 9 @ 0.070726
0.06/0.13 c bounds 20 >= 10 @ 0.089383
0.17/0.25 c #Conflicts: 1000 | #Constraints: 1219
0.17/0.25 c bounds 19 >= 10 @ 0.202508
0.27/0.38 c #Conflicts: 2000 | #Constraints: 2225
0.27/0.38 c INPROCESSING
0.27/0.38 c GARBAGE COLLECT
0.27/0.38 c rational objective 14.1643
0.36/0.48 c bounds 18 >= 10 @ 0.411915
0.75/0.81 c #Conflicts: 3000 | #Constraints: 2216
0.75/0.81 c #Conflicts: 4000 | #Constraints: 3234
0.75/0.81 c INPROCESSING
0.75/0.81 c GARBAGE COLLECT
0.75/0.81 c rational objective 14.1645
0.84/0.94 c bounds 18 >= 11 @ 0.844388
1.44/1.51 c #Conflicts: 5000 | #Constraints: 2636
1.44/1.51 c #Conflicts: 6000 | #Constraints: 3639
1.44/1.51 c INPROCESSING
1.44/1.51 c GARBAGE COLLECT
1.44/1.51 c rational objective 14.1645
1.93/2.07 c #Conflicts: 7000 | #Constraints: 2624
1.93/2.07 c #Conflicts: 8000 | #Constraints: 3682
1.93/2.07 c #Conflicts: 9000 | #Constraints: 4715
1.93/2.07 c INPROCESSING
1.93/2.07 c GARBAGE COLLECT
1.93/2.07 c rational objective 14.1645
2.04/2.17 c bounds 18 >= 12 @ 2.00805
2.63/2.78 c #Conflicts: 10000 | #Constraints: 3400
2.63/2.78 c #Conflicts: 11000 | #Constraints: 4454
2.63/2.78 c #Conflicts: 12000 | #Constraints: 5473
2.63/2.78 c INPROCESSING
2.63/2.78 c GARBAGE COLLECT
2.63/2.78 c rational objective 14.1645
3.83/3.96 c #Conflicts: 13000 | #Constraints: 3881
3.83/3.96 c #Conflicts: 14000 | #Constraints: 4902
3.83/3.96 c #Conflicts: 15000 | #Constraints: 5997
3.83/3.96 c INPROCESSING
3.83/3.96 c GARBAGE COLLECT
3.83/3.96 c rational objective 14.1646
4.73/4.83 c #Conflicts: 16000 | #Constraints: 4111
4.73/4.83 c #Conflicts: 17000 | #Constraints: 5133
4.73/4.83 c #Conflicts: 18000 | #Constraints: 6159
4.73/4.83 c INPROCESSING
4.73/4.83 c GARBAGE COLLECT
4.73/4.83 c rational objective 14.1646
6.22/6.31 c #Conflicts: 19000 | #Constraints: 4092
6.22/6.31 c #Conflicts: 20000 | #Constraints: 5094
6.22/6.31 c #Conflicts: 21000 | #Constraints: 6095
6.22/6.31 c INPROCESSING
6.22/6.31 c GARBAGE COLLECT
6.22/6.31 c rational objective 14.1649
7.12/7.28 c #Conflicts: 22000 | #Constraints: 4022
7.12/7.28 c #Conflicts: 23000 | #Constraints: 5043
7.12/7.28 c #Conflicts: 24000 | #Constraints: 6067
7.12/7.28 c #Conflicts: 25000 | #Constraints: 7083
7.12/7.28 c INPROCESSING
7.12/7.28 c GARBAGE COLLECT
7.12/7.28 c rational objective 14.1649
8.31/8.43 c #Conflicts: 26000 | #Constraints: 4711
8.31/8.43 c #Conflicts: 27000 | #Constraints: 5879
8.31/8.43 c #Conflicts: 28000 | #Constraints: 6895
8.31/8.43 c #Conflicts: 29000 | #Constraints: 7914
8.31/8.43 c INPROCESSING
8.31/8.43 c GARBAGE COLLECT
8.31/8.43 c rational objective 14.165
10.11/10.26 c #Conflicts: 30000 | #Constraints: 5066
10.11/10.26 c #Conflicts: 31000 | #Constraints: 6067
10.11/10.26 c #Conflicts: 32000 | #Constraints: 7071
10.11/10.26 c #Conflicts: 33000 | #Constraints: 8072
10.11/10.26 c INPROCESSING
10.11/10.26 c GARBAGE COLLECT
10.11/10.26 c rational objective 14.1652
11.30/11.45 c #Conflicts: 34000 | #Constraints: 5152
11.30/11.45 c #Conflicts: 35000 | #Constraints: 6170
11.30/11.45 c #Conflicts: 36000 | #Constraints: 7196
11.30/11.45 c #Conflicts: 37000 | #Constraints: 8215
11.30/11.45 c INPROCESSING
11.30/11.45 c GARBAGE COLLECT
11.30/11.45 c rational objective 14.1654
12.60/12.78 c #Conflicts: 38000 | #Constraints: 5137
12.60/12.78 c #Conflicts: 39000 | #Constraints: 6154
12.60/12.78 c #Conflicts: 40000 | #Constraints: 7168
12.60/12.78 c #Conflicts: 41000 | #Constraints: 8184
12.60/12.78 c INPROCESSING
12.60/12.78 c GARBAGE COLLECT
12.60/12.78 c rational objective 14.1654
14.59/14.72 c #Conflicts: 42000 | #Constraints: 4946
14.59/14.72 c #Conflicts: 43000 | #Constraints: 5953
14.59/14.72 c #Conflicts: 44000 | #Constraints: 6963
14.59/14.72 c #Conflicts: 45000 | #Constraints: 7968
14.59/14.72 c #Conflicts: 46000 | #Constraints: 8968
14.59/14.72 c INPROCESSING
14.59/14.72 c GARBAGE COLLECT
14.59/14.72 c rational objective 14.1654
15.99/16.12 c #Conflicts: 47000 | #Constraints: 5507
15.99/16.12 c #Conflicts: 48000 | #Constraints: 6540
15.99/16.12 c #Conflicts: 49000 | #Constraints: 7556
15.99/16.12 c #Conflicts: 50000 | #Constraints: 8567
15.99/16.12 c #Conflicts: 51000 | #Constraints: 9587
15.99/16.12 c INPROCESSING
15.99/16.12 c GARBAGE COLLECT
15.99/16.12 c rational objective 14.1654
18.58/18.74 c #Conflicts: 52000 | #Constraints: 5902
18.58/18.74 c #Conflicts: 53000 | #Constraints: 6908
18.58/18.74 c #Conflicts: 54000 | #Constraints: 7910
18.58/18.74 c #Conflicts: 55000 | #Constraints: 8912
18.58/18.74 c #Conflicts: 56000 | #Constraints: 9915
18.58/18.74 c INPROCESSING
18.58/18.74 c GARBAGE COLLECT
18.58/18.74 c rational objective 14.1654
20.17/20.36 c #Conflicts: 57000 | #Constraints: 6092
20.17/20.36 c #Conflicts: 58000 | #Constraints: 7107
20.17/20.36 c #Conflicts: 59000 | #Constraints: 8128
20.17/20.36 c #Conflicts: 60000 | #Constraints: 9151
20.17/20.36 c #Conflicts: 61000 | #Constraints: 10171
20.17/20.36 c INPROCESSING
20.17/20.36 c GARBAGE COLLECT
20.17/20.36 c rational objective 14.1654
22.08/22.20 c #Conflicts: 62000 | #Constraints: 6110
22.08/22.20 c #Conflicts: 63000 | #Constraints: 7131
22.08/22.20 c #Conflicts: 64000 | #Constraints: 8147
22.08/22.20 c #Conflicts: 65000 | #Constraints: 9162
22.08/22.20 c #Conflicts: 66000 | #Constraints: 10174
22.08/22.20 c INPROCESSING
22.08/22.20 c GARBAGE COLLECT
22.08/22.20 c rational objective 14.1654
25.36/25.53 c #Conflicts: 67000 | #Constraints: 5901
25.36/25.53 c #Conflicts: 68000 | #Constraints: 6919
25.36/25.53 c #Conflicts: 69000 | #Constraints: 7924
25.36/25.53 c #Conflicts: 70000 | #Constraints: 8927
25.36/25.53 c #Conflicts: 71000 | #Constraints: 9932
25.36/25.53 c #Conflicts: 72000 | #Constraints: 10944
25.36/25.53 c INPROCESSING
25.36/25.53 c GARBAGE COLLECT
25.36/25.53 c rational objective 14.1654
27.26/27.42 c #Conflicts: 73000 | #Constraints: 6479
27.26/27.42 c #Conflicts: 74000 | #Constraints: 7500
27.26/27.42 c #Conflicts: 75000 | #Constraints: 8520
27.26/27.42 c #Conflicts: 76000 | #Constraints: 9534
27.26/27.42 c #Conflicts: 77000 | #Constraints: 10548
27.26/27.42 c #Conflicts: 78000 | #Constraints: 11558
27.26/27.42 c INPROCESSING
27.26/27.42 c GARBAGE COLLECT
27.26/27.42 c rational objective 14.1655
30.65/30.85 c #Conflicts: 79000 | #Constraints: 6888
30.65/30.85 c #Conflicts: 80000 | #Constraints: 7889
30.65/30.85 c #Conflicts: 81000 | #Constraints: 8890
30.65/30.85 c #Conflicts: 82000 | #Constraints: 9890
30.65/30.85 c #Conflicts: 83000 | #Constraints: 10894
30.65/30.85 c bounds 18 >= 13 @ 30.0371
30.75/30.95 c #Conflicts: 84000 | #Constraints: 11928
30.75/30.95 c INPROCESSING
30.75/30.95 c GARBAGE COLLECT
30.75/30.95 c rational objective 14.1655
33.04/33.21 c #Conflicts: 85000 | #Constraints: 7111
33.04/33.21 c #Conflicts: 86000 | #Constraints: 8126
33.04/33.21 c #Conflicts: 87000 | #Constraints: 9147
33.04/33.21 c #Conflicts: 88000 | #Constraints: 10171
33.04/33.21 c #Conflicts: 89000 | #Constraints: 11190
33.04/33.21 c #Conflicts: 90000 | #Constraints: 12201
33.04/33.21 c INPROCESSING
33.04/33.21 c GARBAGE COLLECT
33.04/33.21 c rational objective 14.1655
35.43/35.66 c #Conflicts: 91000 | #Constraints: 7140
35.43/35.66 c #Conflicts: 92000 | #Constraints: 8161
35.43/35.66 c #Conflicts: 93000 | #Constraints: 9186
35.43/35.66 c #Conflicts: 94000 | #Constraints: 10201
35.43/35.66 c #Conflicts: 95000 | #Constraints: 11224
35.43/35.66 c #Conflicts: 96000 | #Constraints: 12245
35.43/35.66 c INPROCESSING
35.43/35.66 c GARBAGE COLLECT
35.43/35.66 c rational objective 14.1655
39.03/39.27 c #Conflicts: 97000 | #Constraints: 6959
39.03/39.27 c #Conflicts: 98000 | #Constraints: 7962
39.03/39.27 c #Conflicts: 99000 | #Constraints: 8970
39.03/39.27 c #Conflicts: 100000 | #Constraints: 9976
39.03/39.27 c #Conflicts: 101000 | #Constraints: 10979
39.03/39.27 c #Conflicts: 102000 | #Constraints: 11981
39.03/39.27 c #Conflicts: 103000 | #Constraints: 12985
39.03/39.27 c INPROCESSING
39.03/39.27 c GARBAGE COLLECT
39.03/39.27 c rational objective 14.1655
41.62/41.88 c #Conflicts: 104000 | #Constraints: 7514
41.62/41.88 c #Conflicts: 105000 | #Constraints: 8529
41.62/41.88 c #Conflicts: 106000 | #Constraints: 9546
41.62/41.88 c #Conflicts: 107000 | #Constraints: 10558
41.62/41.88 c #Conflicts: 108000 | #Constraints: 11569
41.62/41.88 c #Conflicts: 109000 | #Constraints: 12585
41.62/41.88 c #Conflicts: 110000 | #Constraints: 13601
41.62/41.88 c INPROCESSING
41.62/41.88 c GARBAGE COLLECT
41.62/41.88 c rational objective 14.1655
45.91/46.12 c #Conflicts: 111000 | #Constraints: 7919
45.91/46.12 c #Conflicts: 112000 | #Constraints: 8921
45.91/46.12 c #Conflicts: 113000 | #Constraints: 9923
45.91/46.12 c #Conflicts: 114000 | #Constraints: 10924
45.91/46.12 c #Conflicts: 115000 | #Constraints: 11928
45.91/46.12 c #Conflicts: 116000 | #Constraints: 12929
45.91/46.12 c #Conflicts: 117000 | #Constraints: 13933
45.91/46.12 c INPROCESSING
45.91/46.12 c GARBAGE COLLECT
45.91/46.12 c rational objective 14.1655
48.99/49.29 c #Conflicts: 118000 | #Constraints: 8328
48.99/49.29 c #Conflicts: 119000 | #Constraints: 9542
48.99/49.29 c #Conflicts: 120000 | #Constraints: 10563
48.99/49.29 c #Conflicts: 121000 | #Constraints: 11582
48.99/49.29 c #Conflicts: 122000 | #Constraints: 12600
48.99/49.29 c #Conflicts: 123000 | #Constraints: 13611
48.99/49.29 c #Conflicts: 124000 | #Constraints: 14618
48.99/49.29 c INPROCESSING
48.99/49.29 c GARBAGE COLLECT
48.99/49.29 c rational objective 14.1655
53.58/53.80 c #Conflicts: 125000 | #Constraints: 8345
53.58/53.80 c #Conflicts: 126000 | #Constraints: 9347
53.58/53.80 c #Conflicts: 127000 | #Constraints: 10351
53.58/53.80 c #Conflicts: 128000 | #Constraints: 11358
53.58/53.80 c #Conflicts: 129000 | #Constraints: 12363
53.58/53.80 c #Conflicts: 130000 | #Constraints: 13368
53.58/53.80 c #Conflicts: 131000 | #Constraints: 14371
53.58/53.80 c INPROCESSING
53.58/53.80 c GARBAGE COLLECT
53.58/53.80 c rational objective 14.1655
56.68/56.93 c #Conflicts: 132000 | #Constraints: 8014
56.68/56.93 c #Conflicts: 133000 | #Constraints: 9106
56.68/56.93 c #Conflicts: 134000 | #Constraints: 10116
56.68/56.93 c #Conflicts: 135000 | #Constraints: 11128
56.68/56.93 c #Conflicts: 136000 | #Constraints: 12146
56.68/56.93 c #Conflicts: 137000 | #Constraints: 13162
56.68/56.93 c #Conflicts: 138000 | #Constraints: 14179
56.68/56.93 c #Conflicts: 139000 | #Constraints: 15199
56.68/56.93 c INPROCESSING
56.68/56.93 c GARBAGE COLLECT
56.68/56.93 c rational objective 14.1655
60.16/60.42 c #Conflicts: 140000 | #Constraints: 8623
60.16/60.42 c #Conflicts: 141000 | #Constraints: 9642
60.16/60.42 c #Conflicts: 142000 | #Constraints: 10661
60.16/60.42 c #Conflicts: 143000 | #Constraints: 11677
60.16/60.42 c #Conflicts: 144000 | #Constraints: 12696
60.16/60.42 c #Conflicts: 145000 | #Constraints: 13709
60.16/60.42 c #Conflicts: 146000 | #Constraints: 14725
60.16/60.42 c #Conflicts: 147000 | #Constraints: 15739
60.16/60.42 c INPROCESSING
60.16/60.42 c GARBAGE COLLECT
60.16/60.42 c rational objective 14.1655
65.25/65.58 c #Conflicts: 148000 | #Constraints: 9006
65.25/65.58 c #Conflicts: 149000 | #Constraints: 10034
65.25/65.58 c #Conflicts: 150000 | #Constraints: 11043
65.25/65.58 c #Conflicts: 151000 | #Constraints: 12054
65.25/65.58 c #Conflicts: 152000 | #Constraints: 13055
65.25/65.58 c #Conflicts: 153000 | #Constraints: 14058
65.25/65.58 c #Conflicts: 154000 | #Constraints: 15061
65.25/65.58 c #Conflicts: 155000 | #Constraints: 16070
65.25/65.58 c INPROCESSING
65.25/65.58 c GARBAGE COLLECT
65.25/65.58 c rational objective 14.1655
68.74/69.02 c #Conflicts: 156000 | #Constraints: 9335
68.74/69.02 c #Conflicts: 157000 | #Constraints: 10349
68.74/69.02 c #Conflicts: 158000 | #Constraints: 11361
68.74/69.02 c #Conflicts: 159000 | #Constraints: 12375
68.74/69.02 c #Conflicts: 160000 | #Constraints: 13385
68.74/69.02 c #Conflicts: 161000 | #Constraints: 14398
68.74/69.02 c #Conflicts: 162000 | #Constraints: 15410
68.74/69.02 c #Conflicts: 163000 | #Constraints: 16429
68.74/69.02 c INPROCESSING
68.74/69.02 c GARBAGE COLLECT
68.74/69.02 c rational objective 14.1655
74.52/74.81 c #Conflicts: 164000 | #Constraints: 9233
74.52/74.81 c #Conflicts: 165000 | #Constraints: 10235
74.52/74.81 c #Conflicts: 166000 | #Constraints: 11235
74.52/74.81 c #Conflicts: 167000 | #Constraints: 12241
74.52/74.81 c #Conflicts: 168000 | #Constraints: 13251
74.52/74.81 c #Conflicts: 169000 | #Constraints: 14253
74.52/74.81 c #Conflicts: 170000 | #Constraints: 15255
74.52/74.81 c #Conflicts: 171000 | #Constraints: 16257
74.52/74.81 c INPROCESSING
74.52/74.81 c GARBAGE COLLECT
74.52/74.81 c rational objective 14.1655
78.01/78.32 c #Conflicts: 172000 | #Constraints: 8941
78.01/78.32 c #Conflicts: 173000 | #Constraints: 9962
78.01/78.32 c #Conflicts: 174000 | #Constraints: 10980
78.01/78.32 c #Conflicts: 175000 | #Constraints: 11997
78.01/78.32 c #Conflicts: 176000 | #Constraints: 13009
78.01/78.32 c #Conflicts: 177000 | #Constraints: 14020
78.01/78.32 c #Conflicts: 178000 | #Constraints: 15037
78.01/78.32 c #Conflicts: 179000 | #Constraints: 16044
78.01/78.32 c #Conflicts: 180000 | #Constraints: 17054
78.01/78.32 c INPROCESSING
78.01/78.32 c GARBAGE COLLECT
78.01/78.32 c rational objective 14.1655
82.20/82.50 c #Conflicts: 181000 | #Constraints: 9554
82.20/82.50 c #Conflicts: 182000 | #Constraints: 10569
82.20/82.50 c #Conflicts: 183000 | #Constraints: 11589
82.20/82.50 c #Conflicts: 184000 | #Constraints: 12611
82.20/82.50 c #Conflicts: 185000 | #Constraints: 13626
82.20/82.50 c #Conflicts: 186000 | #Constraints: 14642
82.20/82.50 c #Conflicts: 187000 | #Constraints: 15658
82.20/82.50 c #Conflicts: 188000 | #Constraints: 16672
82.20/82.50 c #Conflicts: 189000 | #Constraints: 17689
82.20/82.50 c INPROCESSING
82.20/82.50 c GARBAGE COLLECT
82.20/82.50 c rational objective 14.1655
88.18/88.58 c #Conflicts: 190000 | #Constraints: 9972
88.18/88.58 c #Conflicts: 191000 | #Constraints: 10984
88.18/88.58 c #Conflicts: 192000 | #Constraints: 11996
88.18/88.58 c #Conflicts: 193000 | #Constraints: 13003
88.18/88.58 c #Conflicts: 194000 | #Constraints: 14009
88.18/88.58 c #Conflicts: 195000 | #Constraints: 15018
88.18/88.58 c #Conflicts: 196000 | #Constraints: 16022
88.18/88.58 c #Conflicts: 197000 | #Constraints: 17025
88.18/88.58 c #Conflicts: 198000 | #Constraints: 18028
88.18/88.58 c INPROCESSING
88.18/88.58 c GARBAGE COLLECT
88.18/88.58 c rational objective 14.1655
92.86/93.20 c #Conflicts: 199000 | #Constraints: 10144
92.86/93.20 c #Conflicts: 200000 | #Constraints: 11155
92.86/93.20 c #Conflicts: 201000 | #Constraints: 12171
92.86/93.20 c #Conflicts: 202000 | #Constraints: 13184
92.86/93.20 c #Conflicts: 203000 | #Constraints: 14200
92.86/93.20 c #Conflicts: 204000 | #Constraints: 15219
92.86/93.20 c #Conflicts: 205000 | #Constraints: 16234
92.86/93.20 c #Conflicts: 206000 | #Constraints: 17250
92.86/93.20 c #Conflicts: 207000 | #Constraints: 18266
92.86/93.20 c INPROCESSING
92.86/93.20 c GARBAGE COLLECT
92.86/93.20 c rational objective 14.1655
98.65/99.08 c #Conflicts: 208000 | #Constraints: 10162
98.65/99.08 c #Conflicts: 209000 | #Constraints: 11171
98.65/99.08 c #Conflicts: 210000 | #Constraints: 12181
98.65/99.08 c #Conflicts: 211000 | #Constraints: 13192
98.65/99.08 c #Conflicts: 212000 | #Constraints: 14201
98.65/99.08 c #Conflicts: 213000 | #Constraints: 15209
98.65/99.08 c #Conflicts: 214000 | #Constraints: 16217
98.65/99.08 c #Conflicts: 215000 | #Constraints: 17223
98.65/99.08 c #Conflicts: 216000 | #Constraints: 18227
98.65/99.08 c INPROCESSING
98.65/99.08 c GARBAGE COLLECT
98.65/99.08 c rational objective 14.1655
103.04/103.47 c #Conflicts: 217000 | #Constraints: 9936
103.04/103.47 c #Conflicts: 218000 | #Constraints: 10957
103.04/103.47 c #Conflicts: 219000 | #Constraints: 11980
103.04/103.47 c #Conflicts: 220000 | #Constraints: 12996
103.04/103.47 c #Conflicts: 221000 | #Constraints: 14015
103.04/103.47 c #Conflicts: 222000 | #Constraints: 15036
103.04/103.47 c #Conflicts: 223000 | #Constraints: 16057
103.04/103.47 c #Conflicts: 224000 | #Constraints: 17078
103.04/103.47 c #Conflicts: 225000 | #Constraints: 18099
103.04/103.47 c #Conflicts: 226000 | #Constraints: 19114
103.04/103.47 c INPROCESSING
103.04/103.47 c GARBAGE COLLECT
103.04/103.47 c rational objective 14.1655
109.72/110.13 c #Conflicts: 227000 | #Constraints: 10589
109.72/110.13 c #Conflicts: 228000 | #Constraints: 11605
109.72/110.13 c #Conflicts: 229000 | #Constraints: 12624
109.72/110.13 c #Conflicts: 230000 | #Constraints: 13635
109.72/110.13 c #Conflicts: 231000 | #Constraints: 14639
109.72/110.13 c #Conflicts: 232000 | #Constraints: 15645
109.72/110.13 c #Conflicts: 233000 | #Constraints: 16649
109.72/110.13 c #Conflicts: 234000 | #Constraints: 17650
109.72/110.13 c #Conflicts: 235000 | #Constraints: 18650
109.72/110.13 c #Conflicts: 236000 | #Constraints: 19653
109.72/110.13 c INPROCESSING
109.72/110.13 c GARBAGE COLLECT
109.72/110.13 c rational objective 14.1656
114.30/114.78 c #Conflicts: 237000 | #Constraints: 10968
114.30/114.78 c #Conflicts: 238000 | #Constraints: 11984
114.30/114.78 c #Conflicts: 239000 | #Constraints: 13000
114.30/114.78 c #Conflicts: 240000 | #Constraints: 14011
114.30/114.78 c #Conflicts: 241000 | #Constraints: 15019
114.30/114.78 c #Conflicts: 242000 | #Constraints: 16032
114.30/114.78 c #Conflicts: 243000 | #Constraints: 17047
114.30/114.78 c #Conflicts: 244000 | #Constraints: 18063
114.30/114.78 c #Conflicts: 245000 | #Constraints: 19073
114.30/114.78 c #Conflicts: 246000 | #Constraints: 20080
114.30/114.78 c INPROCESSING
114.30/114.78 c GARBAGE COLLECT
114.30/114.78 c rational objective 14.1656
122.87/123.37 c #Conflicts: 247000 | #Constraints: 11160
122.87/123.37 c #Conflicts: 248000 | #Constraints: 12161
122.87/123.37 c #Conflicts: 249000 | #Constraints: 13163
122.87/123.37 c #Conflicts: 250000 | #Constraints: 14165
122.87/123.37 c #Conflicts: 251000 | #Constraints: 15166
122.87/123.37 c #Conflicts: 252000 | #Constraints: 16170
122.87/123.37 c #Conflicts: 253000 | #Constraints: 17176
122.87/123.37 c #Conflicts: 254000 | #Constraints: 18180
122.87/123.37 c #Conflicts: 255000 | #Constraints: 19184
122.87/123.37 c #Conflicts: 256000 | #Constraints: 20186
122.87/123.37 c INPROCESSING
122.87/123.37 c GARBAGE COLLECT
122.87/123.37 c rational objective 14.1656
127.57/128.00 c #Conflicts: 257000 | #Constraints: 11119
127.57/128.00 c #Conflicts: 258000 | #Constraints: 12139
127.57/128.00 c #Conflicts: 259000 | #Constraints: 13147
127.57/128.00 c #Conflicts: 260000 | #Constraints: 14160
127.57/128.00 c #Conflicts: 261000 | #Constraints: 15174
127.57/128.00 c #Conflicts: 262000 | #Constraints: 16183
127.57/128.00 c #Conflicts: 263000 | #Constraints: 17200
127.57/128.00 c #Conflicts: 264000 | #Constraints: 18213
127.57/128.00 c #Conflicts: 265000 | #Constraints: 19224
127.57/128.00 c #Conflicts: 266000 | #Constraints: 20235
127.57/128.00 c INPROCESSING
127.57/128.00 c GARBAGE COLLECT
127.57/128.00 c rational objective 14.1656
132.55/133.05 c #Conflicts: 267000 | #Constraints: 10945
132.55/133.05 c #Conflicts: 268000 | #Constraints: 11966
132.55/133.05 c #Conflicts: 269000 | #Constraints: 12983
132.55/133.05 c #Conflicts: 270000 | #Constraints: 13998
132.55/133.05 c #Conflicts: 271000 | #Constraints: 15011
132.55/133.05 c #Conflicts: 272000 | #Constraints: 16033
132.55/133.05 c #Conflicts: 273000 | #Constraints: 17047
132.55/133.05 c #Conflicts: 274000 | #Constraints: 18062
132.55/133.05 c #Conflicts: 275000 | #Constraints: 19079
132.55/133.05 c #Conflicts: 276000 | #Constraints: 20091
132.55/133.05 c #Conflicts: 277000 | #Constraints: 21099
132.55/133.05 c INPROCESSING
132.55/133.05 c GARBAGE COLLECT
132.55/133.05 c rational objective 14.1656
141.32/141.89 c #Conflicts: 278000 | #Constraints: 11573
141.32/141.89 c #Conflicts: 279000 | #Constraints: 12575
141.32/141.89 c #Conflicts: 280000 | #Constraints: 13579
141.32/141.89 c #Conflicts: 281000 | #Constraints: 14580
141.32/141.89 c #Conflicts: 282000 | #Constraints: 15585
141.32/141.89 c #Conflicts: 283000 | #Constraints: 16589
141.32/141.89 c #Conflicts: 284000 | #Constraints: 17591
141.32/141.89 c #Conflicts: 285000 | #Constraints: 18593
141.32/141.89 c #Conflicts: 286000 | #Constraints: 19596
141.32/141.89 c #Conflicts: 287000 | #Constraints: 20602
141.32/141.89 c #Conflicts: 288000 | #Constraints: 21606
141.32/141.89 c INPROCESSING
141.32/141.89 c GARBAGE COLLECT
141.32/141.89 c rational objective 14.1656
142.12/142.61 c #Conflicts: 289000 | #Constraints: 11937
142.12/142.61 c bounds 17 >= 13 @ 139.873
147.00/147.51 c #Conflicts: 290000 | #Constraints: 12958
147.00/147.51 c #Conflicts: 291000 | #Constraints: 13978
147.00/147.51 c #Conflicts: 292000 | #Constraints: 14996
147.00/147.51 c #Conflicts: 293000 | #Constraints: 16024
147.00/147.51 c #Conflicts: 294000 | #Constraints: 17044
147.00/147.51 c #Conflicts: 295000 | #Constraints: 18063
147.00/147.51 c #Conflicts: 296000 | #Constraints: 19077
147.00/147.51 c #Conflicts: 297000 | #Constraints: 20087
147.00/147.51 c #Conflicts: 298000 | #Constraints: 21102
147.00/147.51 c #Conflicts: 299000 | #Constraints: 22114
147.00/147.51 c INPROCESSING
147.00/147.51 c GARBAGE COLLECT
147.00/147.51 c rational objective 14.1656
156.17/156.71 c #Conflicts: 300000 | #Constraints: 12181
156.17/156.71 c #Conflicts: 301000 | #Constraints: 13190
156.17/156.71 c #Conflicts: 302000 | #Constraints: 14193
156.17/156.71 c #Conflicts: 303000 | #Constraints: 15199
156.17/156.71 c #Conflicts: 304000 | #Constraints: 16203
156.17/156.71 c #Conflicts: 305000 | #Constraints: 17210
156.17/156.71 c #Conflicts: 306000 | #Constraints: 18226
156.17/156.71 c #Conflicts: 307000 | #Constraints: 19232
156.17/156.71 c #Conflicts: 308000 | #Constraints: 20237
156.17/156.71 c #Conflicts: 309000 | #Constraints: 21245
156.17/156.71 c #Conflicts: 310000 | #Constraints: 22253
156.17/156.71 c INPROCESSING
156.17/156.71 c GARBAGE COLLECT
156.17/156.71 c rational objective 14.1656
162.15/162.74 c #Conflicts: 311000 | #Constraints: 12175
162.15/162.74 c #Conflicts: 312000 | #Constraints: 13199
162.15/162.74 c #Conflicts: 313000 | #Constraints: 14225
162.15/162.74 c #Conflicts: 314000 | #Constraints: 15243
162.15/162.74 c #Conflicts: 315000 | #Constraints: 16271
162.15/162.74 c #Conflicts: 316000 | #Constraints: 17288
162.15/162.74 c #Conflicts: 317000 | #Constraints: 18300
162.15/162.74 c #Conflicts: 318000 | #Constraints: 19314
162.15/162.74 c #Conflicts: 319000 | #Constraints: 20328
162.15/162.74 c #Conflicts: 320000 | #Constraints: 21347
162.15/162.74 c #Conflicts: 321000 | #Constraints: 22365
162.15/162.74 c INPROCESSING
162.15/162.74 c GARBAGE COLLECT
162.15/162.74 c rational objective 14.1656
168.93/169.55 c #Conflicts: 322000 | #Constraints: 12002
168.93/169.55 c #Conflicts: 323000 | #Constraints: 13028
168.93/169.55 c #Conflicts: 324000 | #Constraints: 14055
168.93/169.55 c #Conflicts: 325000 | #Constraints: 15067
168.93/169.55 c #Conflicts: 326000 | #Constraints: 16078
168.93/169.55 c #Conflicts: 327000 | #Constraints: 17094
168.93/169.55 c #Conflicts: 328000 | #Constraints: 18115
168.93/169.55 c #Conflicts: 329000 | #Constraints: 19134
168.93/169.55 c #Conflicts: 330000 | #Constraints: 20152
168.93/169.55 c #Conflicts: 331000 | #Constraints: 21167
168.93/169.55 c #Conflicts: 332000 | #Constraints: 22182
168.93/169.55 c #Conflicts: 333000 | #Constraints: 23196
168.93/169.55 c INPROCESSING
168.93/169.55 c GARBAGE COLLECT
168.93/169.55 c rational objective 14.1656
178.00/178.68 c #Conflicts: 334000 | #Constraints: 12622
178.00/178.68 c #Conflicts: 335000 | #Constraints: 13625
178.00/178.68 c #Conflicts: 336000 | #Constraints: 14631
178.00/178.68 c #Conflicts: 337000 | #Constraints: 15637
178.00/178.68 c #Conflicts: 338000 | #Constraints: 16644
178.00/178.68 c #Conflicts: 339000 | #Constraints: 17651
178.00/178.68 c #Conflicts: 340000 | #Constraints: 18661
178.00/178.68 c #Conflicts: 341000 | #Constraints: 19672
178.00/178.68 c #Conflicts: 342000 | #Constraints: 20680
178.00/178.68 c #Conflicts: 343000 | #Constraints: 21690
178.00/178.68 c #Conflicts: 344000 | #Constraints: 22695
178.00/178.68 c #Conflicts: 345000 | #Constraints: 23705
178.00/178.68 c INPROCESSING
178.00/178.68 c GARBAGE COLLECT
178.00/178.68 c rational objective 14.1656
184.58/185.27 c #Conflicts: 346000 | #Constraints: 12983
184.58/185.27 c #Conflicts: 347000 | #Constraints: 13999
184.58/185.27 c #Conflicts: 348000 | #Constraints: 15016
184.58/185.27 c #Conflicts: 349000 | #Constraints: 16030
184.58/185.27 c #Conflicts: 350000 | #Constraints: 17039
184.58/185.27 c #Conflicts: 351000 | #Constraints: 18051
184.58/185.27 c #Conflicts: 352000 | #Constraints: 19059
184.58/185.27 c #Conflicts: 353000 | #Constraints: 20064
184.58/185.27 c #Conflicts: 354000 | #Constraints: 21070
184.58/185.27 c #Conflicts: 355000 | #Constraints: 22081
184.58/185.27 c #Conflicts: 356000 | #Constraints: 23091
184.58/185.27 c #Conflicts: 357000 | #Constraints: 24101
184.58/185.27 c INPROCESSING
184.58/185.27 c GARBAGE COLLECT
184.58/185.27 c rational objective 14.1656
194.85/195.54 c #Conflicts: 358000 | #Constraints: 13168
194.85/195.54 c #Conflicts: 359000 | #Constraints: 14175
194.85/195.54 c #Conflicts: 360000 | #Constraints: 15181
194.85/195.54 c #Conflicts: 361000 | #Constraints: 16190
194.85/195.54 c #Conflicts: 362000 | #Constraints: 17198
194.85/195.54 c #Conflicts: 363000 | #Constraints: 18202
194.85/195.54 c #Conflicts: 364000 | #Constraints: 19213
194.85/195.54 c #Conflicts: 365000 | #Constraints: 20215
194.85/195.54 c #Conflicts: 366000 | #Constraints: 21219
194.85/195.54 c #Conflicts: 367000 | #Constraints: 22228
194.85/195.54 c #Conflicts: 368000 | #Constraints: 23231
194.85/195.54 c #Conflicts: 369000 | #Constraints: 24235
194.85/195.54 c INPROCESSING
194.85/195.54 c GARBAGE COLLECT
194.85/195.54 c rational objective 14.1656
201.73/202.49 c #Conflicts: 370000 | #Constraints: 13152
201.73/202.49 c #Conflicts: 371000 | #Constraints: 14173
201.73/202.49 c #Conflicts: 372000 | #Constraints: 15180
201.73/202.49 c #Conflicts: 373000 | #Constraints: 16190
201.73/202.49 c #Conflicts: 374000 | #Constraints: 17207
201.73/202.49 c #Conflicts: 375000 | #Constraints: 18223
201.73/202.49 c #Conflicts: 376000 | #Constraints: 19243
201.73/202.49 c #Conflicts: 377000 | #Constraints: 20265
201.73/202.49 c #Conflicts: 378000 | #Constraints: 21284
201.73/202.49 c #Conflicts: 379000 | #Constraints: 22293
201.73/202.49 c #Conflicts: 380000 | #Constraints: 23301
201.73/202.49 c #Conflicts: 381000 | #Constraints: 24311
201.73/202.49 c INPROCESSING
201.73/202.49 c GARBAGE COLLECT
201.73/202.49 c rational objective 14.1656
211.70/212.46 c #Conflicts: 382000 | #Constraints: 12983
211.70/212.46 c #Conflicts: 383000 | #Constraints: 13988
211.70/212.46 c #Conflicts: 384000 | #Constraints: 15009
211.70/212.46 c #Conflicts: 385000 | #Constraints: 16017
211.70/212.46 c #Conflicts: 386000 | #Constraints: 17027
211.70/212.46 c #Conflicts: 387000 | #Constraints: 18030
211.70/212.46 c #Conflicts: 388000 | #Constraints: 19035
211.70/212.46 c #Conflicts: 389000 | #Constraints: 20041
211.70/212.46 c #Conflicts: 390000 | #Constraints: 21049
211.70/212.46 c #Conflicts: 391000 | #Constraints: 22052
211.70/212.46 c #Conflicts: 392000 | #Constraints: 23056
211.70/212.46 c #Conflicts: 393000 | #Constraints: 24062
211.70/212.46 c #Conflicts: 394000 | #Constraints: 25076
211.70/212.46 c INPROCESSING
211.70/212.46 c GARBAGE COLLECT
211.70/212.46 c rational objective 14.1656
219.07/219.85 c #Conflicts: 395000 | #Constraints: 13608
219.07/219.85 c #Conflicts: 396000 | #Constraints: 14630
219.07/219.85 c #Conflicts: 397000 | #Constraints: 15647
219.07/219.85 c #Conflicts: 398000 | #Constraints: 16658
219.07/219.85 c #Conflicts: 399000 | #Constraints: 17668
219.07/219.85 c #Conflicts: 400000 | #Constraints: 18673
219.07/219.85 c #Conflicts: 401000 | #Constraints: 19685
219.07/219.85 c #Conflicts: 402000 | #Constraints: 20697
219.07/219.85 c #Conflicts: 403000 | #Constraints: 21709
219.07/219.85 c #Conflicts: 404000 | #Constraints: 22717
219.07/219.85 c #Conflicts: 405000 | #Constraints: 23731
219.07/219.85 c #Conflicts: 406000 | #Constraints: 24736
219.07/219.85 c #Conflicts: 407000 | #Constraints: 25742
219.07/219.85 c INPROCESSING
219.07/219.85 c GARBAGE COLLECT
219.07/219.85 c rational objective 14.1656
226.96/227.71 c #Conflicts: 408000 | #Constraints: 14011
226.96/227.71 c #Conflicts: 409000 | #Constraints: 15024
226.96/227.71 c #Conflicts: 410000 | #Constraints: 16028
226.96/227.71 c #Conflicts: 411000 | #Constraints: 17036
226.96/227.71 c #Conflicts: 412000 | #Constraints: 18040
226.96/227.71 c #Conflicts: 413000 | #Constraints: 19055
226.96/227.71 c #Conflicts: 414000 | #Constraints: 20067
226.96/227.71 c #Conflicts: 415000 | #Constraints: 21086
226.96/227.71 c #Conflicts: 416000 | #Constraints: 22099
226.96/227.71 c #Conflicts: 417000 | #Constraints: 23107
226.96/227.71 c #Conflicts: 418000 | #Constraints: 24119
226.96/227.71 c #Conflicts: 419000 | #Constraints: 25133
226.96/227.71 c #Conflicts: 420000 | #Constraints: 26148
226.96/227.71 c INPROCESSING
226.96/227.71 c GARBAGE COLLECT
226.96/227.71 c rational objective 14.1656
237.63/238.47 c #Conflicts: 421000 | #Constraints: 14232
237.63/238.47 c #Conflicts: 422000 | #Constraints: 15252
237.63/238.47 c #Conflicts: 423000 | #Constraints: 16264
237.63/238.47 c #Conflicts: 424000 | #Constraints: 17273
237.63/238.47 c #Conflicts: 425000 | #Constraints: 18284
237.63/238.47 c #Conflicts: 426000 | #Constraints: 19292
237.63/238.47 c #Conflicts: 427000 | #Constraints: 20301
237.63/238.47 c #Conflicts: 428000 | #Constraints: 21309
237.63/238.47 c #Conflicts: 429000 | #Constraints: 22319
237.63/238.47 c #Conflicts: 430000 | #Constraints: 23325
237.63/238.47 c #Conflicts: 431000 | #Constraints: 24330
237.63/238.47 c #Conflicts: 432000 | #Constraints: 25335
237.63/238.47 c #Conflicts: 433000 | #Constraints: 26339
237.63/238.47 c INPROCESSING
237.63/238.47 c GARBAGE COLLECT
237.63/238.47 c rational objective 14.1657
245.89/246.72 c #Conflicts: 434000 | #Constraints: 14202
245.89/246.72 c #Conflicts: 435000 | #Constraints: 15224
245.89/246.72 c #Conflicts: 436000 | #Constraints: 16234
245.89/246.72 c #Conflicts: 437000 | #Constraints: 17239
245.89/246.72 c #Conflicts: 438000 | #Constraints: 18259
245.89/246.72 c #Conflicts: 439000 | #Constraints: 19280
245.89/246.72 c #Conflicts: 440000 | #Constraints: 20290
245.89/246.72 c #Conflicts: 441000 | #Constraints: 21304
245.89/246.72 c #Conflicts: 442000 | #Constraints: 22318
245.89/246.72 c #Conflicts: 443000 | #Constraints: 23330
245.89/246.72 c #Conflicts: 444000 | #Constraints: 24344
245.89/246.72 c #Conflicts: 445000 | #Constraints: 25360
245.89/246.72 c #Conflicts: 446000 | #Constraints: 26381
245.89/246.72 c INPROCESSING
245.89/246.72 c GARBAGE COLLECT
245.89/246.72 c rational objective 14.1657
253.98/254.89 c #Conflicts: 447000 | #Constraints: 14023
253.98/254.89 c #Conflicts: 448000 | #Constraints: 15041
253.98/254.89 c #Conflicts: 449000 | #Constraints: 16060
253.98/254.89 c #Conflicts: 450000 | #Constraints: 17071
253.98/254.89 c #Conflicts: 451000 | #Constraints: 18079
253.98/254.89 c #Conflicts: 452000 | #Constraints: 19093
253.98/254.89 c #Conflicts: 453000 | #Constraints: 20107
253.98/254.89 c #Conflicts: 454000 | #Constraints: 21118
253.98/254.89 c #Conflicts: 455000 | #Constraints: 22128
253.98/254.89 c #Conflicts: 456000 | #Constraints: 23140
253.98/254.89 c #Conflicts: 457000 | #Constraints: 24149
253.98/254.89 c #Conflicts: 458000 | #Constraints: 25155
253.98/254.89 c #Conflicts: 459000 | #Constraints: 26165
253.98/254.89 c #Conflicts: 460000 | #Constraints: 27176
253.98/254.89 c INPROCESSING
253.98/254.89 c GARBAGE COLLECT
253.98/254.89 c rational objective 14.1657
262.55/263.40 c #Conflicts: 461000 | #Constraints: 14615
262.55/263.40 c #Conflicts: 462000 | #Constraints: 15628
262.55/263.40 c #Conflicts: 463000 | #Constraints: 16647
262.55/263.40 c #Conflicts: 464000 | #Constraints: 17658
262.55/263.40 c #Conflicts: 465000 | #Constraints: 18668
262.55/263.40 c #Conflicts: 466000 | #Constraints: 19686
262.55/263.40 c #Conflicts: 467000 | #Constraints: 20700
262.55/263.40 c #Conflicts: 468000 | #Constraints: 21718
262.55/263.40 c #Conflicts: 469000 | #Constraints: 22739
262.55/263.40 c #Conflicts: 470000 | #Constraints: 23756
262.55/263.40 c #Conflicts: 471000 | #Constraints: 24770
262.55/263.40 c #Conflicts: 472000 | #Constraints: 25782
262.55/263.40 c #Conflicts: 473000 | #Constraints: 26793
262.55/263.40 c #Conflicts: 474000 | #Constraints: 27802
262.55/263.40 c INPROCESSING
262.55/263.40 c GARBAGE COLLECT
262.55/263.40 c rational objective 14.1657
271.02/271.90 c #Conflicts: 475000 | #Constraints: 15030
271.02/271.90 c #Conflicts: 476000 | #Constraints: 16044
271.02/271.90 c #Conflicts: 477000 | #Constraints: 17053
271.02/271.90 c #Conflicts: 478000 | #Constraints: 18062
271.02/271.90 c #Conflicts: 479000 | #Constraints: 19072
271.02/271.90 c #Conflicts: 480000 | #Constraints: 20081
271.02/271.90 c #Conflicts: 481000 | #Constraints: 21097
271.02/271.90 c #Conflicts: 482000 | #Constraints: 22111
271.02/271.90 c #Conflicts: 483000 | #Constraints: 23127
271.02/271.90 c #Conflicts: 484000 | #Constraints: 24144
271.02/271.90 c #Conflicts: 485000 | #Constraints: 25154
271.02/271.90 c #Conflicts: 486000 | #Constraints: 26161
271.02/271.90 c #Conflicts: 487000 | #Constraints: 27168
271.02/271.90 c #Conflicts: 488000 | #Constraints: 28182
271.02/271.90 c INPROCESSING
271.02/271.90 c GARBAGE COLLECT
271.02/271.90 c rational objective 14.1657
279.10/280.04 c #Conflicts: 489000 | #Constraints: 15242
279.10/280.04 c #Conflicts: 490000 | #Constraints: 16258
279.10/280.04 c #Conflicts: 491000 | #Constraints: 17271
279.10/280.04 c #Conflicts: 492000 | #Constraints: 18285
279.10/280.04 c #Conflicts: 493000 | #Constraints: 19301
279.10/280.04 c #Conflicts: 494000 | #Constraints: 20317
279.10/280.04 c #Conflicts: 495000 | #Constraints: 21336
279.10/280.04 c #Conflicts: 496000 | #Constraints: 22348
279.10/280.04 c #Conflicts: 497000 | #Constraints: 23359
279.10/280.04 c #Conflicts: 498000 | #Constraints: 24381
279.10/280.04 c #Conflicts: 499000 | #Constraints: 25397
279.10/280.04 c #Conflicts: 500000 | #Constraints: 26412
279.10/280.04 c #Conflicts: 501000 | #Constraints: 27430
279.10/280.04 c #Conflicts: 502000 | #Constraints: 28451
279.10/280.04 c INPROCESSING
279.10/280.04 c GARBAGE COLLECT
279.10/280.04 c rational objective 14.1657
289.86/290.86 c #Conflicts: 503000 | #Constraints: 15265
289.86/290.86 c #Conflicts: 504000 | #Constraints: 16275
289.86/290.86 c #Conflicts: 505000 | #Constraints: 17283
289.86/290.86 c #Conflicts: 506000 | #Constraints: 18289
289.86/290.86 c #Conflicts: 507000 | #Constraints: 19300
289.86/290.86 c #Conflicts: 508000 | #Constraints: 20313
289.86/290.86 c #Conflicts: 509000 | #Constraints: 21323
289.86/290.86 c #Conflicts: 510000 | #Constraints: 22332
289.86/290.86 c #Conflicts: 511000 | #Constraints: 23337
289.86/290.86 c #Conflicts: 512000 | #Constraints: 24348
289.86/290.86 c #Conflicts: 513000 | #Constraints: 25357
289.86/290.86 c #Conflicts: 514000 | #Constraints: 26360
289.86/290.86 c #Conflicts: 515000 | #Constraints: 27363
289.86/290.86 c #Conflicts: 516000 | #Constraints: 28366
289.86/290.86 c INPROCESSING
289.86/290.86 c GARBAGE COLLECT
289.86/290.86 c rational objective 14.1657
298.84/299.85 c #Conflicts: 517000 | #Constraints: 15003
298.84/299.85 c #Conflicts: 518000 | #Constraints: 16007
298.84/299.85 c #Conflicts: 519000 | #Constraints: 17022
298.84/299.85 c #Conflicts: 520000 | #Constraints: 18035
298.84/299.85 c #Conflicts: 521000 | #Constraints: 19043
298.84/299.85 c #Conflicts: 522000 | #Constraints: 20049
298.84/299.85 c #Conflicts: 523000 | #Constraints: 21055
298.84/299.85 c #Conflicts: 524000 | #Constraints: 22066
298.84/299.85 c #Conflicts: 525000 | #Constraints: 23072
298.84/299.85 c #Conflicts: 526000 | #Constraints: 24077
298.84/299.85 c #Conflicts: 527000 | #Constraints: 25081
298.84/299.85 c #Conflicts: 528000 | #Constraints: 26096
298.84/299.85 c #Conflicts: 529000 | #Constraints: 27109
298.84/299.85 c #Conflicts: 530000 | #Constraints: 28122
298.84/299.85 c #Conflicts: 531000 | #Constraints: 29137
298.84/299.85 c INPROCESSING
298.84/299.85 c GARBAGE COLLECT
298.84/299.85 c rational objective 14.1657
309.70/310.70 c #Conflicts: 532000 | #Constraints: 15605
309.70/310.70 c #Conflicts: 533000 | #Constraints: 16609
309.70/310.70 c #Conflicts: 534000 | #Constraints: 17616
309.70/310.70 c #Conflicts: 535000 | #Constraints: 18620
309.70/310.70 c #Conflicts: 536000 | #Constraints: 19625
309.70/310.70 c #Conflicts: 537000 | #Constraints: 20634
309.70/310.70 c #Conflicts: 538000 | #Constraints: 21645
309.70/310.70 c #Conflicts: 539000 | #Constraints: 22656
309.70/310.70 c #Conflicts: 540000 | #Constraints: 23669
309.70/310.70 c #Conflicts: 541000 | #Constraints: 24673
309.70/310.70 c #Conflicts: 542000 | #Constraints: 25677
309.70/310.70 c #Conflicts: 543000 | #Constraints: 26685
309.70/310.70 c #Conflicts: 544000 | #Constraints: 27688
309.70/310.70 c #Conflicts: 545000 | #Constraints: 28692
309.70/310.70 c #Conflicts: 546000 | #Constraints: 29704
309.70/310.70 c INPROCESSING
309.70/310.70 c GARBAGE COLLECT
309.70/310.70 c rational objective 14.1657
319.56/320.60 c #Conflicts: 547000 | #Constraints: 15977
319.56/320.60 c #Conflicts: 548000 | #Constraints: 16990
319.56/320.60 c #Conflicts: 549000 | #Constraints: 17996
319.56/320.60 c #Conflicts: 550000 | #Constraints: 19015
319.56/320.60 c #Conflicts: 551000 | #Constraints: 20027
319.56/320.60 c #Conflicts: 552000 | #Constraints: 21042
319.56/320.60 c #Conflicts: 553000 | #Constraints: 22054
319.56/320.60 c #Conflicts: 554000 | #Constraints: 23074
319.56/320.60 c #Conflicts: 555000 | #Constraints: 24086
319.56/320.60 c #Conflicts: 556000 | #Constraints: 25102
319.56/320.60 c #Conflicts: 557000 | #Constraints: 26112
319.56/320.60 c #Conflicts: 558000 | #Constraints: 27120
319.56/320.60 c #Conflicts: 559000 | #Constraints: 28124
319.56/320.60 c #Conflicts: 560000 | #Constraints: 29132
319.56/320.60 c #Conflicts: 561000 | #Constraints: 30139
319.56/320.60 c INPROCESSING
319.56/320.60 c GARBAGE COLLECT
319.56/320.60 c rational objective 14.1657
331.93/333.01 c #Conflicts: 562000 | #Constraints: 16217
331.93/333.01 c #Conflicts: 563000 | #Constraints: 17228
331.93/333.01 c #Conflicts: 564000 | #Constraints: 18248
331.93/333.01 c #Conflicts: 565000 | #Constraints: 19265
331.93/333.01 c #Conflicts: 566000 | #Constraints: 20280
331.93/333.01 c #Conflicts: 567000 | #Constraints: 21293
331.93/333.01 c #Conflicts: 568000 | #Constraints: 22299
331.93/333.01 c #Conflicts: 569000 | #Constraints: 23307
331.93/333.01 c #Conflicts: 570000 | #Constraints: 24311
331.93/333.01 c #Conflicts: 571000 | #Constraints: 25319
331.93/333.01 c #Conflicts: 572000 | #Constraints: 26325
331.93/333.01 c #Conflicts: 573000 | #Constraints: 27333
331.93/333.01 c #Conflicts: 574000 | #Constraints: 28345
331.93/333.01 c #Conflicts: 575000 | #Constraints: 29353
331.93/333.01 c #Conflicts: 576000 | #Constraints: 30360
331.93/333.01 c INPROCESSING
331.93/333.01 c GARBAGE COLLECT
331.93/333.01 c rational objective 14.1657
341.69/342.87 c #Conflicts: 577000 | #Constraints: 16210
341.69/342.87 c #Conflicts: 578000 | #Constraints: 17214
341.69/342.87 c #Conflicts: 579000 | #Constraints: 18219
341.69/342.87 c #Conflicts: 580000 | #Constraints: 19231
341.69/342.87 c #Conflicts: 581000 | #Constraints: 20238
341.69/342.87 c #Conflicts: 582000 | #Constraints: 21246
341.69/342.87 c #Conflicts: 583000 | #Constraints: 22256
341.69/342.87 c #Conflicts: 584000 | #Constraints: 23269
341.69/342.87 c #Conflicts: 585000 | #Constraints: 24276
341.69/342.87 c #Conflicts: 586000 | #Constraints: 25280
341.69/342.87 c #Conflicts: 587000 | #Constraints: 26288
341.69/342.87 c #Conflicts: 588000 | #Constraints: 27294
341.69/342.87 c #Conflicts: 589000 | #Constraints: 28296
341.69/342.87 c #Conflicts: 590000 | #Constraints: 29303
341.69/342.87 c #Conflicts: 591000 | #Constraints: 30309
341.69/342.87 c INPROCESSING
341.69/342.87 c GARBAGE COLLECT
341.69/342.87 c rational objective 14.1657
351.76/352.93 c #Conflicts: 592000 | #Constraints: 15982
351.76/352.93 c #Conflicts: 593000 | #Constraints: 16992
351.76/352.93 c #Conflicts: 594000 | #Constraints: 18003
351.76/352.93 c #Conflicts: 595000 | #Constraints: 19016
351.76/352.93 c #Conflicts: 596000 | #Constraints: 20029
351.76/352.93 c #Conflicts: 597000 | #Constraints: 21039
351.76/352.93 c #Conflicts: 598000 | #Constraints: 22050
351.76/352.93 c #Conflicts: 599000 | #Constraints: 23064
351.76/352.93 c #Conflicts: 600000 | #Constraints: 24077
351.76/352.93 c #Conflicts: 601000 | #Constraints: 25086
351.76/352.93 c #Conflicts: 602000 | #Constraints: 26092
351.76/352.93 c #Conflicts: 603000 | #Constraints: 27103
351.76/352.93 c #Conflicts: 604000 | #Constraints: 28115
351.76/352.93 c #Conflicts: 605000 | #Constraints: 29129
351.76/352.93 c #Conflicts: 606000 | #Constraints: 30137
351.76/352.93 c #Conflicts: 607000 | #Constraints: 31150
351.76/352.93 c INPROCESSING
351.76/352.93 c GARBAGE COLLECT
351.76/352.93 c rational objective 14.1657
361.83/363.08 c #Conflicts: 608000 | #Constraints: 16613
361.83/363.08 c #Conflicts: 609000 | #Constraints: 17627
361.83/363.08 c #Conflicts: 610000 | #Constraints: 18645
361.83/363.08 c #Conflicts: 611000 | #Constraints: 19665
361.83/363.08 c #Conflicts: 612000 | #Constraints: 20679
361.83/363.08 c #Conflicts: 613000 | #Constraints: 21687
361.83/363.08 c #Conflicts: 614000 | #Constraints: 22697
361.83/363.08 c #Conflicts: 615000 | #Constraints: 23709
361.83/363.08 c #Conflicts: 616000 | #Constraints: 24713
361.83/363.08 c #Conflicts: 617000 | #Constraints: 25720
361.83/363.08 c #Conflicts: 618000 | #Constraints: 26724
361.83/363.08 c #Conflicts: 619000 | #Constraints: 27735
361.83/363.08 c #Conflicts: 620000 | #Constraints: 28741
361.83/363.08 c #Conflicts: 621000 | #Constraints: 29746
361.83/363.08 c #Conflicts: 622000 | #Constraints: 30756
361.83/363.08 c #Conflicts: 623000 | #Constraints: 31764
361.83/363.08 c INPROCESSING
361.83/363.08 c GARBAGE COLLECT
361.83/363.08 c rational objective 14.1657
374.38/375.68 c #Conflicts: 624000 | #Constraints: 17017
374.38/375.68 c #Conflicts: 625000 | #Constraints: 18025
374.38/375.68 c #Conflicts: 626000 | #Constraints: 19032
374.38/375.68 c #Conflicts: 627000 | #Constraints: 20039
374.38/375.68 c #Conflicts: 628000 | #Constraints: 21045
374.38/375.68 c #Conflicts: 629000 | #Constraints: 22052
374.38/375.68 c #Conflicts: 630000 | #Constraints: 23067
374.38/375.68 c #Conflicts: 631000 | #Constraints: 24086
374.38/375.68 c #Conflicts: 632000 | #Constraints: 25100
374.38/375.68 c #Conflicts: 633000 | #Constraints: 26117
374.38/375.68 c #Conflicts: 634000 | #Constraints: 27134
374.38/375.68 c #Conflicts: 635000 | #Constraints: 28147
374.38/375.68 c #Conflicts: 636000 | #Constraints: 29154
374.38/375.68 c #Conflicts: 637000 | #Constraints: 30159
374.38/375.68 c #Conflicts: 638000 | #Constraints: 31166
374.38/375.68 c #Conflicts: 639000 | #Constraints: 32174
374.38/375.68 c INPROCESSING
374.38/375.68 c GARBAGE COLLECT
374.38/375.68 c rational objective 14.1658
384.74/386.08 c #Conflicts: 640000 | #Constraints: 17210
384.74/386.08 c #Conflicts: 641000 | #Constraints: 18220
384.74/386.08 c #Conflicts: 642000 | #Constraints: 19236
384.74/386.08 c #Conflicts: 643000 | #Constraints: 20248
384.74/386.08 c #Conflicts: 644000 | #Constraints: 21251
384.74/386.08 c #Conflicts: 645000 | #Constraints: 22253
384.74/386.08 c #Conflicts: 646000 | #Constraints: 23265
384.74/386.08 c #Conflicts: 647000 | #Constraints: 24268
384.74/386.08 c #Conflicts: 648000 | #Constraints: 25272
384.74/386.08 c #Conflicts: 649000 | #Constraints: 26281
384.74/386.08 c #Conflicts: 650000 | #Constraints: 27293
384.74/386.08 c #Conflicts: 651000 | #Constraints: 28301
384.74/386.08 c #Conflicts: 652000 | #Constraints: 29312
384.74/386.08 c #Conflicts: 653000 | #Constraints: 30325
384.74/386.08 c #Conflicts: 654000 | #Constraints: 31334
384.74/386.08 c #Conflicts: 655000 | #Constraints: 32350
384.74/386.08 c INPROCESSING
384.74/386.08 c GARBAGE COLLECT
384.74/386.08 c rational objective 14.1658
396.01/397.39 c #Conflicts: 656000 | #Constraints: 17208
396.01/397.39 c #Conflicts: 657000 | #Constraints: 18225
396.01/397.39 c #Conflicts: 658000 | #Constraints: 19239
396.01/397.39 c #Conflicts: 659000 | #Constraints: 20252
396.01/397.39 c #Conflicts: 660000 | #Constraints: 21263
396.01/397.39 c #Conflicts: 661000 | #Constraints: 22271
396.01/397.39 c #Conflicts: 662000 | #Constraints: 23276
396.01/397.39 c #Conflicts: 663000 | #Constraints: 24290
396.01/397.39 c #Conflicts: 664000 | #Constraints: 25298
396.01/397.39 c #Conflicts: 665000 | #Constraints: 26304
396.01/397.39 c #Conflicts: 666000 | #Constraints: 27309
396.01/397.39 c #Conflicts: 667000 | #Constraints: 28319
396.01/397.39 c #Conflicts: 668000 | #Constraints: 29334
396.01/397.39 c #Conflicts: 669000 | #Constraints: 30347
396.01/397.39 c #Conflicts: 670000 | #Constraints: 31354
396.01/397.39 c #Conflicts: 671000 | #Constraints: 32363
396.01/397.39 c INPROCESSING
396.01/397.39 c GARBAGE COLLECT
396.01/397.39 c rational objective 14.1658
407.06/408.44 c #Conflicts: 672000 | #Constraints: 16995
407.06/408.44 c #Conflicts: 673000 | #Constraints: 18003
407.06/408.44 c #Conflicts: 674000 | #Constraints: 19006
407.06/408.44 c #Conflicts: 675000 | #Constraints: 20012
407.06/408.44 c #Conflicts: 676000 | #Constraints: 21023
407.06/408.44 c #Conflicts: 677000 | #Constraints: 22039
407.06/408.44 c #Conflicts: 678000 | #Constraints: 23043
407.06/408.44 c #Conflicts: 679000 | #Constraints: 24057
407.06/408.44 c #Conflicts: 680000 | #Constraints: 25066
407.06/408.44 c #Conflicts: 681000 | #Constraints: 26068
407.06/408.44 c #Conflicts: 682000 | #Constraints: 27071
407.06/408.44 c #Conflicts: 683000 | #Constraints: 28074
407.06/408.44 c #Conflicts: 684000 | #Constraints: 29080
407.06/408.44 c #Conflicts: 685000 | #Constraints: 30084
407.06/408.44 c #Conflicts: 686000 | #Constraints: 31090
407.06/408.44 c #Conflicts: 687000 | #Constraints: 32098
407.06/408.44 c #Conflicts: 688000 | #Constraints: 33104
407.06/408.44 c INPROCESSING
407.06/408.44 c GARBAGE COLLECT
407.06/408.44 c rational objective 14.1658
418.22/419.65 c #Conflicts: 689000 | #Constraints: 17585
418.22/419.65 c #Conflicts: 690000 | #Constraints: 18593
418.22/419.65 c #Conflicts: 691000 | #Constraints: 19597
418.22/419.65 c #Conflicts: 692000 | #Constraints: 20605
418.22/419.65 c #Conflicts: 693000 | #Constraints: 21614
418.22/419.65 c #Conflicts: 694000 | #Constraints: 22638
418.22/419.65 c #Conflicts: 695000 | #Constraints: 23654
418.22/419.65 c #Conflicts: 696000 | #Constraints: 24666
418.22/419.65 c #Conflicts: 697000 | #Constraints: 25681
418.22/419.65 c #Conflicts: 698000 | #Constraints: 26692
418.22/419.65 c #Conflicts: 699000 | #Constraints: 27708
418.22/419.65 c #Conflicts: 700000 | #Constraints: 28730
418.22/419.65 c #Conflicts: 701000 | #Constraints: 29744
418.22/419.65 c #Conflicts: 702000 | #Constraints: 30756
418.22/419.65 c #Conflicts: 703000 | #Constraints: 31763
418.22/419.65 c #Conflicts: 704000 | #Constraints: 32776
418.22/419.65 c #Conflicts: 705000 | #Constraints: 33783
418.22/419.65 c INPROCESSING
418.22/419.65 c GARBAGE COLLECT
418.22/419.65 c rational objective 14.1658
428.99/430.44 c #Conflicts: 706000 | #Constraints: 18019
428.99/430.44 c #Conflicts: 707000 | #Constraints: 19026
428.99/430.44 c #Conflicts: 708000 | #Constraints: 20041
428.99/430.44 c #Conflicts: 709000 | #Constraints: 21056
428.99/430.44 c #Conflicts: 710000 | #Constraints: 22073
428.99/430.44 c #Conflicts: 711000 | #Constraints: 23084
428.99/430.44 c #Conflicts: 712000 | #Constraints: 24101
428.99/430.44 c #Conflicts: 713000 | #Constraints: 25114
428.99/430.44 c #Conflicts: 714000 | #Constraints: 26129
428.99/430.44 c #Conflicts: 715000 | #Constraints: 27151
428.99/430.44 c #Conflicts: 716000 | #Constraints: 28165
428.99/430.44 c #Conflicts: 717000 | #Constraints: 29173
428.99/430.44 c #Conflicts: 718000 | #Constraints: 30184
428.99/430.44 c #Conflicts: 719000 | #Constraints: 31191
428.99/430.44 c #Conflicts: 720000 | #Constraints: 32219
428.99/430.44 c #Conflicts: 721000 | #Constraints: 33236
428.99/430.44 c #Conflicts: 722000 | #Constraints: 34251
428.99/430.44 c INPROCESSING
428.99/430.44 c GARBAGE COLLECT
428.99/430.44 c rational objective 14.1658
440.25/441.72 c #Conflicts: 723000 | #Constraints: 18256
440.25/441.72 c #Conflicts: 724000 | #Constraints: 19270
440.25/441.72 c #Conflicts: 725000 | #Constraints: 20282
440.25/441.72 c #Conflicts: 726000 | #Constraints: 21302
440.25/441.72 c #Conflicts: 727000 | #Constraints: 22316
440.25/441.72 c #Conflicts: 728000 | #Constraints: 23330
440.25/441.72 c #Conflicts: 729000 | #Constraints: 24338
440.25/441.72 c #Conflicts: 730000 | #Constraints: 25349
440.25/441.72 c #Conflicts: 731000 | #Constraints: 26360
440.25/441.72 c #Conflicts: 732000 | #Constraints: 27371
440.25/441.72 c #Conflicts: 733000 | #Constraints: 28379
440.25/441.72 c #Conflicts: 734000 | #Constraints: 29390
440.25/441.72 c #Conflicts: 735000 | #Constraints: 30402
440.25/441.72 c #Conflicts: 736000 | #Constraints: 31414
440.25/441.72 c #Conflicts: 737000 | #Constraints: 32421
440.25/441.72 c #Conflicts: 738000 | #Constraints: 33435
440.25/441.72 c #Conflicts: 739000 | #Constraints: 34448
440.25/441.72 c INPROCESSING
440.25/441.72 c GARBAGE COLLECT
440.25/441.72 c rational objective 14.1658
452.11/453.61 c #Conflicts: 740000 | #Constraints: 18266
452.11/453.61 c #Conflicts: 741000 | #Constraints: 19282
452.11/453.61 c #Conflicts: 742000 | #Constraints: 20300
452.11/453.61 c #Conflicts: 743000 | #Constraints: 21323
452.11/453.61 c #Conflicts: 744000 | #Constraints: 22335
452.11/453.61 c #Conflicts: 745000 | #Constraints: 23338
452.11/453.61 c #Conflicts: 746000 | #Constraints: 24343
452.11/453.61 c #Conflicts: 747000 | #Constraints: 25352
452.11/453.61 c #Conflicts: 748000 | #Constraints: 26365
452.11/453.61 c #Conflicts: 749000 | #Constraints: 27369
452.11/453.61 c #Conflicts: 750000 | #Constraints: 28378
452.11/453.61 c #Conflicts: 751000 | #Constraints: 29385
452.11/453.61 c #Conflicts: 752000 | #Constraints: 30389
452.11/453.61 c #Conflicts: 753000 | #Constraints: 31393
452.11/453.61 c #Conflicts: 754000 | #Constraints: 32394
452.11/453.61 c #Conflicts: 755000 | #Constraints: 33403
452.11/453.61 c #Conflicts: 756000 | #Constraints: 34407
452.11/453.61 c INPROCESSING
452.11/453.61 c GARBAGE COLLECT
452.11/453.61 c rational objective 14.1658
466.26/467.81 c #Conflicts: 757000 | #Constraints: 18038
466.26/467.81 c #Conflicts: 758000 | #Constraints: 19065
466.26/467.81 c #Conflicts: 759000 | #Constraints: 20094
466.26/467.81 c #Conflicts: 760000 | #Constraints: 21103
466.26/467.81 c #Conflicts: 761000 | #Constraints: 22111
466.26/467.81 c #Conflicts: 762000 | #Constraints: 23118
466.26/467.81 c #Conflicts: 763000 | #Constraints: 24125
466.26/467.81 c #Conflicts: 764000 | #Constraints: 25132
466.26/467.81 c #Conflicts: 765000 | #Constraints: 26142
466.26/467.81 c #Conflicts: 766000 | #Constraints: 27148
466.26/467.81 c #Conflicts: 767000 | #Constraints: 28156
466.26/467.81 c #Conflicts: 768000 | #Constraints: 29160
466.26/467.81 c #Conflicts: 769000 | #Constraints: 30164
466.26/467.81 c #Conflicts: 770000 | #Constraints: 31177
466.26/467.81 c #Conflicts: 771000 | #Constraints: 32184
466.26/467.81 c #Conflicts: 772000 | #Constraints: 33190
466.26/467.81 c #Conflicts: 773000 | #Constraints: 34200
466.26/467.81 c #Conflicts: 774000 | #Constraints: 35214
466.26/467.81 c INPROCESSING
466.26/467.81 c GARBAGE COLLECT
466.26/467.81 c rational objective 14.1658
478.13/479.74 c #Conflicts: 775000 | #Constraints: 18657
478.13/479.74 c #Conflicts: 776000 | #Constraints: 19667
478.13/479.74 c #Conflicts: 777000 | #Constraints: 20671
478.13/479.74 c #Conflicts: 778000 | #Constraints: 21685
478.13/479.74 c #Conflicts: 779000 | #Constraints: 22697
478.13/479.74 c #Conflicts: 780000 | #Constraints: 23718
478.13/479.74 c #Conflicts: 781000 | #Constraints: 24732
478.13/479.74 c #Conflicts: 782000 | #Constraints: 25745
478.13/479.74 c #Conflicts: 783000 | #Constraints: 26751
478.13/479.74 c #Conflicts: 784000 | #Constraints: 27764
478.13/479.74 c #Conflicts: 785000 | #Constraints: 28775
478.13/479.74 c #Conflicts: 786000 | #Constraints: 29792
478.13/479.74 c #Conflicts: 787000 | #Constraints: 30803
478.13/479.74 c #Conflicts: 788000 | #Constraints: 31813
478.13/479.74 c #Conflicts: 789000 | #Constraints: 32824
478.13/479.74 c #Conflicts: 790000 | #Constraints: 33827
478.13/479.74 c #Conflicts: 791000 | #Constraints: 34830
478.13/479.74 c #Conflicts: 792000 | #Constraints: 35838
478.13/479.74 c INPROCESSING
478.13/479.74 c GARBAGE COLLECT
478.13/479.74 c rational objective 14.1658
489.49/491.13 c #Conflicts: 793000 | #Constraints: 19045
489.49/491.13 c #Conflicts: 794000 | #Constraints: 20052
489.49/491.13 c #Conflicts: 795000 | #Constraints: 21065
489.49/491.13 c #Conflicts: 796000 | #Constraints: 22079
489.49/491.13 c #Conflicts: 797000 | #Constraints: 23091
489.49/491.13 c #Conflicts: 798000 | #Constraints: 24101
489.49/491.13 c #Conflicts: 799000 | #Constraints: 25107
489.49/491.13 c #Conflicts: 800000 | #Constraints: 26116
489.49/491.13 c #Conflicts: 801000 | #Constraints: 27127
489.49/491.13 c #Conflicts: 802000 | #Constraints: 28137
489.49/491.13 c #Conflicts: 803000 | #Constraints: 29155
489.49/491.13 c #Conflicts: 804000 | #Constraints: 30167
489.49/491.13 c #Conflicts: 805000 | #Constraints: 31180
489.49/491.13 c #Conflicts: 806000 | #Constraints: 32197
489.49/491.13 c #Conflicts: 807000 | #Constraints: 33211
489.49/491.13 c #Conflicts: 808000 | #Constraints: 34223
489.49/491.13 c #Conflicts: 809000 | #Constraints: 35237
489.49/491.13 c #Conflicts: 810000 | #Constraints: 36247
489.49/491.13 c INPROCESSING
489.49/491.13 c GARBAGE COLLECT
489.49/491.13 c rational objective 14.1658
501.84/503.53 c #Conflicts: 811000 | #Constraints: 19254
501.84/503.53 c #Conflicts: 812000 | #Constraints: 20257
501.84/503.53 c #Conflicts: 813000 | #Constraints: 21261
501.84/503.53 c #Conflicts: 814000 | #Constraints: 22273
501.84/503.53 c #Conflicts: 815000 | #Constraints: 23282
501.84/503.53 c #Conflicts: 816000 | #Constraints: 24294
501.84/503.53 c #Conflicts: 817000 | #Constraints: 25296
501.84/503.53 c #Conflicts: 818000 | #Constraints: 26300
501.84/503.53 c #Conflicts: 819000 | #Constraints: 27310
501.84/503.53 c #Conflicts: 820000 | #Constraints: 28315
501.84/503.53 c #Conflicts: 821000 | #Constraints: 29320
501.84/503.53 c #Conflicts: 822000 | #Constraints: 30323
501.84/503.53 c #Conflicts: 823000 | #Constraints: 31333
501.84/503.53 c #Conflicts: 824000 | #Constraints: 32350
501.84/503.53 c #Conflicts: 825000 | #Constraints: 33355
501.84/503.53 c #Conflicts: 826000 | #Constraints: 34371
501.84/503.53 c #Conflicts: 827000 | #Constraints: 35384
501.84/503.53 c #Conflicts: 828000 | #Constraints: 36391
501.84/503.53 c INPROCESSING
501.84/503.53 c GARBAGE COLLECT
501.84/503.53 c rational objective 14.1658
518.88/520.66 c #Conflicts: 829000 | #Constraints: 19239
518.88/520.66 c #Conflicts: 830000 | #Constraints: 20243
518.88/520.66 c #Conflicts: 831000 | #Constraints: 21249
518.88/520.66 c #Conflicts: 832000 | #Constraints: 22253
518.88/520.66 c #Conflicts: 833000 | #Constraints: 23256
518.88/520.66 c #Conflicts: 834000 | #Constraints: 24264
518.88/520.66 c #Conflicts: 835000 | #Constraints: 25271
518.88/520.66 c #Conflicts: 836000 | #Constraints: 26278
518.88/520.66 c #Conflicts: 837000 | #Constraints: 27284
518.88/520.66 c #Conflicts: 838000 | #Constraints: 28289
518.88/520.66 c #Conflicts: 839000 | #Constraints: 29294
518.88/520.66 c #Conflicts: 840000 | #Constraints: 30303
518.88/520.66 c #Conflicts: 841000 | #Constraints: 31308
518.88/520.66 c #Conflicts: 842000 | #Constraints: 32311
518.88/520.66 c #Conflicts: 843000 | #Constraints: 33321
518.88/520.66 c #Conflicts: 844000 | #Constraints: 34328
518.88/520.66 c #Conflicts: 845000 | #Constraints: 35334
518.88/520.66 c #Conflicts: 846000 | #Constraints: 36341
518.88/520.66 c INPROCESSING
518.88/520.66 c GARBAGE COLLECT
518.88/520.66 c rational objective 14.1658
530.85/532.62 c #Conflicts: 847000 | #Constraints: 18997
530.85/532.62 c #Conflicts: 848000 | #Constraints: 20003
530.85/532.62 c #Conflicts: 849000 | #Constraints: 21013
530.85/532.62 c #Conflicts: 850000 | #Constraints: 22019
530.85/532.62 c #Conflicts: 851000 | #Constraints: 23026
530.85/532.62 c #Conflicts: 852000 | #Constraints: 24035
530.85/532.62 c #Conflicts: 853000 | #Constraints: 25050
530.85/532.62 c #Conflicts: 854000 | #Constraints: 26064
530.85/532.62 c #Conflicts: 855000 | #Constraints: 27072
530.85/532.62 c #Conflicts: 856000 | #Constraints: 28075
530.85/532.62 c #Conflicts: 857000 | #Constraints: 29078
530.85/532.62 c #Conflicts: 858000 | #Constraints: 30089
530.85/532.62 c #Conflicts: 859000 | #Constraints: 31095
530.85/532.62 c #Conflicts: 860000 | #Constraints: 32099
530.85/532.62 c #Conflicts: 861000 | #Constraints: 33110
530.85/532.62 c #Conflicts: 862000 | #Constraints: 34123
530.85/532.62 c #Conflicts: 863000 | #Constraints: 35133
530.85/532.62 c #Conflicts: 864000 | #Constraints: 36150
530.85/532.62 c #Conflicts: 865000 | #Constraints: 37164
530.85/532.62 c INPROCESSING
530.85/532.62 c GARBAGE COLLECT
530.85/532.62 c rational objective 14.1658
544.70/546.51 c #Conflicts: 866000 | #Constraints: 19614
544.70/546.51 c #Conflicts: 867000 | #Constraints: 20623
544.70/546.51 c #Conflicts: 868000 | #Constraints: 21626
544.70/546.51 c #Conflicts: 869000 | #Constraints: 22638
544.70/546.51 c #Conflicts: 870000 | #Constraints: 23647
544.70/546.51 c #Conflicts: 871000 | #Constraints: 24661
544.70/546.51 c #Conflicts: 872000 | #Constraints: 25669
544.70/546.51 c #Conflicts: 873000 | #Constraints: 26681
544.70/546.51 c #Conflicts: 874000 | #Constraints: 27696
544.70/546.51 c #Conflicts: 875000 | #Constraints: 28701
544.70/546.51 c #Conflicts: 876000 | #Constraints: 29707
544.70/546.51 c #Conflicts: 877000 | #Constraints: 30719
544.70/546.51 c #Conflicts: 878000 | #Constraints: 31730
544.70/546.51 c #Conflicts: 879000 | #Constraints: 32743
544.70/546.51 c #Conflicts: 880000 | #Constraints: 33751
544.70/546.51 c #Conflicts: 881000 | #Constraints: 34761
544.70/546.51 c #Conflicts: 882000 | #Constraints: 35774
544.70/546.51 c #Conflicts: 883000 | #Constraints: 36786
544.70/546.51 c #Conflicts: 884000 | #Constraints: 37800
544.70/546.51 c INPROCESSING
544.70/546.51 c GARBAGE COLLECT
544.70/546.51 c rational objective 14.1658
557.16/559.07 c #Conflicts: 885000 | #Constraints: 20128
557.16/559.07 c #Conflicts: 886000 | #Constraints: 21136
557.16/559.07 c #Conflicts: 887000 | #Constraints: 22148
557.16/559.07 c #Conflicts: 888000 | #Constraints: 23168
557.16/559.07 c #Conflicts: 889000 | #Constraints: 24183
557.16/559.07 c #Conflicts: 890000 | #Constraints: 25201
557.16/559.07 c #Conflicts: 891000 | #Constraints: 26211
557.16/559.07 c #Conflicts: 892000 | #Constraints: 27219
557.16/559.07 c #Conflicts: 893000 | #Constraints: 28226
557.16/559.07 c #Conflicts: 894000 | #Constraints: 29233
557.16/559.07 c #Conflicts: 895000 | #Constraints: 30242
557.16/559.07 c #Conflicts: 896000 | #Constraints: 31249
557.16/559.07 c #Conflicts: 897000 | #Constraints: 32253
557.16/559.07 c #Conflicts: 898000 | #Constraints: 33258
557.16/559.07 c #Conflicts: 899000 | #Constraints: 34264
557.16/559.07 c #Conflicts: 900000 | #Constraints: 35273
557.16/559.07 c #Conflicts: 901000 | #Constraints: 36276
557.16/559.07 c #Conflicts: 902000 | #Constraints: 37279
557.16/559.07 c #Conflicts: 903000 | #Constraints: 38283
557.16/559.07 c INPROCESSING
557.16/559.07 c GARBAGE COLLECT
557.16/559.07 c rational objective 14.166
570.71/572.67 c #Conflicts: 904000 | #Constraints: 20270
570.71/572.67 c #Conflicts: 905000 | #Constraints: 21280
570.71/572.67 c #Conflicts: 906000 | #Constraints: 22297
570.71/572.67 c #Conflicts: 907000 | #Constraints: 23311
570.71/572.67 c #Conflicts: 908000 | #Constraints: 24329
570.71/572.67 c #Conflicts: 909000 | #Constraints: 25343
570.71/572.67 c #Conflicts: 910000 | #Constraints: 26361
570.71/572.67 c #Conflicts: 911000 | #Constraints: 27374
570.71/572.67 c #Conflicts: 912000 | #Constraints: 28382
570.71/572.67 c #Conflicts: 913000 | #Constraints: 29389
570.71/572.67 c #Conflicts: 914000 | #Constraints: 30406
570.71/572.67 c #Conflicts: 915000 | #Constraints: 31415
570.71/572.67 c #Conflicts: 916000 | #Constraints: 32422
570.71/572.67 c #Conflicts: 917000 | #Constraints: 33428
570.71/572.67 c #Conflicts: 918000 | #Constraints: 34439
570.71/572.67 c #Conflicts: 919000 | #Constraints: 35444
570.71/572.67 c #Conflicts: 920000 | #Constraints: 36452
570.71/572.67 c #Conflicts: 921000 | #Constraints: 37464
570.71/572.67 c #Conflicts: 922000 | #Constraints: 38470
570.71/572.67 c INPROCESSING
570.71/572.67 c GARBAGE COLLECT
570.71/572.67 c rational objective 14.166
583.96/585.98 c #Conflicts: 923000 | #Constraints: 20299
583.96/585.98 c #Conflicts: 924000 | #Constraints: 21303
583.96/585.98 c #Conflicts: 925000 | #Constraints: 22318
583.96/585.98 c #Conflicts: 926000 | #Constraints: 23331
583.96/585.98 c #Conflicts: 927000 | #Constraints: 24348
583.96/585.98 c #Conflicts: 928000 | #Constraints: 25360
583.96/585.98 c #Conflicts: 929000 | #Constraints: 26376
583.96/585.98 c #Conflicts: 930000 | #Constraints: 27385
583.96/585.98 c #Conflicts: 931000 | #Constraints: 28398
583.96/585.98 c #Conflicts: 932000 | #Constraints: 29417
583.96/585.98 c #Conflicts: 933000 | #Constraints: 30433
583.96/585.98 c #Conflicts: 934000 | #Constraints: 31442
583.96/585.98 c #Conflicts: 935000 | #Constraints: 32446
583.96/585.98 c #Conflicts: 936000 | #Constraints: 33460
583.96/585.98 c #Conflicts: 937000 | #Constraints: 34462
583.96/585.98 c #Conflicts: 938000 | #Constraints: 35477
583.96/585.98 c #Conflicts: 939000 | #Constraints: 36496
583.96/585.98 c #Conflicts: 940000 | #Constraints: 37516
583.96/585.98 c #Conflicts: 941000 | #Constraints: 38531
583.96/585.98 c INPROCESSING
583.96/585.98 c GARBAGE COLLECT
583.96/585.98 c rational objective 14.1664
596.92/598.98 c #Conflicts: 942000 | #Constraints: 20089
596.92/598.98 c #Conflicts: 943000 | #Constraints: 21100
596.92/598.98 c #Conflicts: 944000 | #Constraints: 22112
596.92/598.98 c #Conflicts: 945000 | #Constraints: 23125
596.92/598.98 c #Conflicts: 946000 | #Constraints: 24136
596.92/598.98 c #Conflicts: 947000 | #Constraints: 25145
596.92/598.98 c #Conflicts: 948000 | #Constraints: 26151
596.92/598.98 c #Conflicts: 949000 | #Constraints: 27160
596.92/598.98 c #Conflicts: 950000 | #Constraints: 28168
596.92/598.98 c #Conflicts: 951000 | #Constraints: 29182
596.92/598.98 c #Conflicts: 952000 | #Constraints: 30196
596.92/598.98 c #Conflicts: 953000 | #Constraints: 31204
596.92/598.98 c #Conflicts: 954000 | #Constraints: 32220
596.92/598.98 c #Conflicts: 955000 | #Constraints: 33228
596.92/598.98 c #Conflicts: 956000 | #Constraints: 34239
596.92/598.98 c #Conflicts: 957000 | #Constraints: 35253
596.92/598.98 c #Conflicts: 958000 | #Constraints: 36260
596.92/598.98 c #Conflicts: 959000 | #Constraints: 37268
596.92/598.98 c #Conflicts: 960000 | #Constraints: 38280
596.92/598.98 c #Conflicts: 961000 | #Constraints: 39292
596.92/598.98 c INPROCESSING
596.92/598.98 c GARBAGE COLLECT
596.92/598.98 c rational objective 14.1664
611.56/613.61 c #Conflicts: 962000 | #Constraints: 20687
611.56/613.61 c #Conflicts: 963000 | #Constraints: 21704
611.56/613.61 c #Conflicts: 964000 | #Constraints: 22717
611.56/613.61 c #Conflicts: 965000 | #Constraints: 23731
611.56/613.61 c #Conflicts: 966000 | #Constraints: 24743
611.56/613.61 c #Conflicts: 967000 | #Constraints: 25753
611.56/613.61 c #Conflicts: 968000 | #Constraints: 26764
611.56/613.61 c #Conflicts: 969000 | #Constraints: 27780
611.56/613.61 c #Conflicts: 970000 | #Constraints: 28796
611.56/613.61 c #Conflicts: 971000 | #Constraints: 29807
611.56/613.61 c #Conflicts: 972000 | #Constraints: 30820
611.56/613.61 c #Conflicts: 973000 | #Constraints: 31835
611.56/613.61 c #Conflicts: 974000 | #Constraints: 32850
611.56/613.61 c #Conflicts: 975000 | #Constraints: 33864
611.56/613.61 c #Conflicts: 976000 | #Constraints: 34880
611.56/613.61 c #Conflicts: 977000 | #Constraints: 35889
611.56/613.61 c #Conflicts: 978000 | #Constraints: 36902
611.56/613.61 c #Conflicts: 979000 | #Constraints: 37911
611.56/613.61 c #Conflicts: 980000 | #Constraints: 38925
611.56/613.61 c #Conflicts: 981000 | #Constraints: 39932
611.56/613.61 c INPROCESSING
611.56/613.61 c GARBAGE COLLECT
611.56/613.61 c rational objective 14.1664
624.13/626.25 c #Conflicts: 982000 | #Constraints: 21102
624.13/626.25 c #Conflicts: 983000 | #Constraints: 22120
624.13/626.25 c #Conflicts: 984000 | #Constraints: 23133
624.13/626.25 c #Conflicts: 985000 | #Constraints: 24145
624.13/626.25 c #Conflicts: 986000 | #Constraints: 25159
624.13/626.25 c #Conflicts: 987000 | #Constraints: 26171
624.13/626.25 c #Conflicts: 988000 | #Constraints: 27182
624.13/626.25 c #Conflicts: 989000 | #Constraints: 28192
624.13/626.25 c #Conflicts: 990000 | #Constraints: 29208
624.13/626.25 c #Conflicts: 991000 | #Constraints: 30222
624.13/626.25 c #Conflicts: 992000 | #Constraints: 31231
624.13/626.25 c #Conflicts: 993000 | #Constraints: 32242
624.13/626.25 c #Conflicts: 994000 | #Constraints: 33253
624.13/626.25 c #Conflicts: 995000 | #Constraints: 34262
624.13/626.25 c #Conflicts: 996000 | #Constraints: 35268
624.13/626.25 c #Conflicts: 997000 | #Constraints: 36276
624.13/626.25 c #Conflicts: 998000 | #Constraints: 37286
624.13/626.25 c #Conflicts: 999000 | #Constraints: 38301
624.13/626.25 c #Conflicts: 1000000 | #Constraints: 39313
624.13/626.25 c #Conflicts: 1001000 | #Constraints: 40326
624.13/626.25 c INPROCESSING
624.13/626.25 c GARBAGE COLLECT
624.13/626.25 c rational objective 14.1664
639.17/641.32 c #Conflicts: 1002000 | #Constraints: 21290
639.17/641.32 c #Conflicts: 1003000 | #Constraints: 22301
639.17/641.32 c #Conflicts: 1004000 | #Constraints: 23312
639.17/641.32 c #Conflicts: 1005000 | #Constraints: 24326
639.17/641.32 c #Conflicts: 1006000 | #Constraints: 25341
639.17/641.32 c #Conflicts: 1007000 | #Constraints: 26360
639.17/641.32 c #Conflicts: 1008000 | #Constraints: 27376
639.17/641.32 c #Conflicts: 1009000 | #Constraints: 28392
639.17/641.32 c #Conflicts: 1010000 | #Constraints: 29408
639.17/641.32 c #Conflicts: 1011000 | #Constraints: 30418
639.17/641.32 c #Conflicts: 1012000 | #Constraints: 31432
639.17/641.32 c #Conflicts: 1013000 | #Constraints: 32445
639.17/641.32 c #Conflicts: 1014000 | #Constraints: 33452
639.17/641.32 c #Conflicts: 1015000 | #Constraints: 34465
639.17/641.32 c #Conflicts: 1016000 | #Constraints: 35476
639.17/641.32 c #Conflicts: 1017000 | #Constraints: 36484
639.17/641.32 c #Conflicts: 1018000 | #Constraints: 37495
639.17/641.32 c #Conflicts: 1019000 | #Constraints: 38503
639.17/641.32 c #Conflicts: 1020000 | #Constraints: 39520
639.17/641.32 c #Conflicts: 1021000 | #Constraints: 40525
639.17/641.32 c INPROCESSING
639.17/641.32 c GARBAGE COLLECT
639.17/641.32 c rational objective 14.1664
653.83/656.01 c #Conflicts: 1022000 | #Constraints: 16294
653.83/656.01 c #Conflicts: 1023000 | #Constraints: 17305
653.83/656.01 c #Conflicts: 1024000 | #Constraints: 18314
653.83/656.01 c #Conflicts: 1025000 | #Constraints: 19323
653.83/656.01 c #Conflicts: 1026000 | #Constraints: 20328
653.83/656.01 c #Conflicts: 1027000 | #Constraints: 21345
653.83/656.01 c #Conflicts: 1028000 | #Constraints: 22355
653.83/656.01 c #Conflicts: 1029000 | #Constraints: 23367
653.83/656.01 c #Conflicts: 1030000 | #Constraints: 24375
653.83/656.01 c #Conflicts: 1031000 | #Constraints: 25388
653.83/656.01 c #Conflicts: 1032000 | #Constraints: 26395
653.83/656.01 c #Conflicts: 1033000 | #Constraints: 27400
653.83/656.01 c #Conflicts: 1034000 | #Constraints: 28407
653.83/656.01 c #Conflicts: 1035000 | #Constraints: 29414
653.83/656.01 c #Conflicts: 1036000 | #Constraints: 30422
653.83/656.01 c #Conflicts: 1037000 | #Constraints: 31426
653.83/656.01 c #Conflicts: 1038000 | #Constraints: 32433
653.83/656.01 c #Conflicts: 1039000 | #Constraints: 33440
653.83/656.01 c #Conflicts: 1040000 | #Constraints: 34446
653.83/656.01 c #Conflicts: 1041000 | #Constraints: 35456
653.83/656.01 c INPROCESSING
653.83/656.01 c GARBAGE COLLECT
653.83/656.01 c rational objective 14.1664
668.17/670.42 c #Conflicts: 1042000 | #Constraints: 18566
668.17/670.42 c #Conflicts: 1043000 | #Constraints: 19580
668.17/670.42 c #Conflicts: 1044000 | #Constraints: 20594
668.17/670.42 c #Conflicts: 1045000 | #Constraints: 21602
668.17/670.42 c #Conflicts: 1046000 | #Constraints: 22612
668.17/670.42 c #Conflicts: 1047000 | #Constraints: 23627
668.17/670.42 c #Conflicts: 1048000 | #Constraints: 24643
668.17/670.42 c #Conflicts: 1049000 | #Constraints: 25654
668.17/670.42 c #Conflicts: 1050000 | #Constraints: 26664
668.17/670.42 c #Conflicts: 1051000 | #Constraints: 27675
668.17/670.42 c #Conflicts: 1052000 | #Constraints: 28683
668.17/670.42 c #Conflicts: 1053000 | #Constraints: 29693
668.17/670.42 c #Conflicts: 1054000 | #Constraints: 30702
668.17/670.42 c #Conflicts: 1055000 | #Constraints: 31714
668.17/670.42 c #Conflicts: 1056000 | #Constraints: 32724
668.17/670.42 c #Conflicts: 1057000 | #Constraints: 33739
668.17/670.42 c #Conflicts: 1058000 | #Constraints: 34749
668.17/670.42 c #Conflicts: 1059000 | #Constraints: 35761
668.17/670.42 c #Conflicts: 1060000 | #Constraints: 36770
668.17/670.42 c #Conflicts: 1061000 | #Constraints: 37776
668.17/670.42 c #Conflicts: 1062000 | #Constraints: 38786
668.17/670.42 c INPROCESSING
668.17/670.42 c GARBAGE COLLECT
668.17/670.42 c rational objective 14.1665
685.51/687.88 c #Conflicts: 1063000 | #Constraints: 20424
685.51/687.88 c #Conflicts: 1064000 | #Constraints: 21439
685.51/687.88 c #Conflicts: 1065000 | #Constraints: 22452
685.51/687.88 c #Conflicts: 1066000 | #Constraints: 23460
685.51/687.88 c #Conflicts: 1067000 | #Constraints: 24472
685.51/687.88 c #Conflicts: 1068000 | #Constraints: 25485
685.51/687.88 c #Conflicts: 1069000 | #Constraints: 26499
685.51/687.88 c #Conflicts: 1070000 | #Constraints: 27514
685.51/687.88 c #Conflicts: 1071000 | #Constraints: 28520
685.51/687.88 c #Conflicts: 1072000 | #Constraints: 29526
685.51/687.88 c #Conflicts: 1073000 | #Constraints: 30538
685.51/687.88 c #Conflicts: 1074000 | #Constraints: 31547
685.51/687.88 c #Conflicts: 1075000 | #Constraints: 32560
685.51/687.88 c #Conflicts: 1076000 | #Constraints: 33568
685.51/687.88 c #Conflicts: 1077000 | #Constraints: 34572
685.51/687.88 c #Conflicts: 1078000 | #Constraints: 35583
685.51/687.88 c #Conflicts: 1079000 | #Constraints: 36592
685.51/687.88 c #Conflicts: 1080000 | #Constraints: 37599
685.51/687.88 c #Conflicts: 1081000 | #Constraints: 38611
685.51/687.88 c #Conflicts: 1082000 | #Constraints: 39620
685.51/687.88 c #Conflicts: 1083000 | #Constraints: 40631
685.51/687.88 c INPROCESSING
685.51/687.88 c GARBAGE COLLECT
685.51/687.88 c rational objective 14.2445
699.77/702.17 c #Conflicts: 1084000 | #Constraints: 17175
699.77/702.17 c #Conflicts: 1085000 | #Constraints: 18189
699.77/702.17 c #Conflicts: 1086000 | #Constraints: 19206
699.77/702.17 c #Conflicts: 1087000 | #Constraints: 20217
699.77/702.17 c #Conflicts: 1088000 | #Constraints: 21224
699.77/702.17 c #Conflicts: 1089000 | #Constraints: 22233
699.77/702.17 c #Conflicts: 1090000 | #Constraints: 23243
699.77/702.17 c #Conflicts: 1091000 | #Constraints: 24261
699.77/702.17 c #Conflicts: 1092000 | #Constraints: 25268
699.77/702.17 c #Conflicts: 1093000 | #Constraints: 26278
699.77/702.17 c #Conflicts: 1094000 | #Constraints: 27283
699.77/702.17 c #Conflicts: 1095000 | #Constraints: 28297
699.77/702.17 c #Conflicts: 1096000 | #Constraints: 29305
699.77/702.17 c #Conflicts: 1097000 | #Constraints: 30315
699.77/702.17 c #Conflicts: 1098000 | #Constraints: 31325
699.77/702.17 c #Conflicts: 1099000 | #Constraints: 32336
699.77/702.17 c #Conflicts: 1100000 | #Constraints: 33350
699.77/702.17 c #Conflicts: 1101000 | #Constraints: 34366
699.77/702.17 c #Conflicts: 1102000 | #Constraints: 35379
699.77/702.17 c #Conflicts: 1103000 | #Constraints: 36390
699.77/702.17 c #Conflicts: 1104000 | #Constraints: 37396
699.77/702.17 c INPROCESSING
699.77/702.17 c GARBAGE COLLECT
699.77/702.17 c rational objective 14.2772
716.62/719.04 c #Conflicts: 1105000 | #Constraints: 19831
716.62/719.04 c #Conflicts: 1106000 | #Constraints: 20856
716.62/719.04 c #Conflicts: 1107000 | #Constraints: 21876
716.62/719.04 c #Conflicts: 1108000 | #Constraints: 22898
716.62/719.04 c #Conflicts: 1109000 | #Constraints: 23912
716.62/719.04 c #Conflicts: 1110000 | #Constraints: 24927
716.62/719.04 c #Conflicts: 1111000 | #Constraints: 25945
716.62/719.04 c #Conflicts: 1112000 | #Constraints: 26963
716.62/719.04 c #Conflicts: 1113000 | #Constraints: 27976
716.62/719.04 c #Conflicts: 1114000 | #Constraints: 28989
716.62/719.04 c #Conflicts: 1115000 | #Constraints: 29998
716.62/719.04 c #Conflicts: 1116000 | #Constraints: 31014
716.62/719.04 c #Conflicts: 1117000 | #Constraints: 32029
716.62/719.04 c #Conflicts: 1118000 | #Constraints: 33040
716.62/719.04 c #Conflicts: 1119000 | #Constraints: 34051
716.62/719.04 c #Conflicts: 1120000 | #Constraints: 35059
716.62/719.04 c #Conflicts: 1121000 | #Constraints: 36065
716.62/719.04 c #Conflicts: 1122000 | #Constraints: 37081
716.62/719.04 c #Conflicts: 1123000 | #Constraints: 38096
716.62/719.04 c #Conflicts: 1124000 | #Constraints: 39105
716.62/719.04 c #Conflicts: 1125000 | #Constraints: 40117
716.62/719.04 c INPROCESSING
716.62/719.04 c GARBAGE COLLECT
716.62/719.04 c rational objective 14.2773
733.57/736.02 c #Conflicts: 1126000 | #Constraints: 21192
733.57/736.02 c #Conflicts: 1127000 | #Constraints: 22363
733.57/736.02 c #Conflicts: 1128000 | #Constraints: 23370
733.57/736.02 c #Conflicts: 1129000 | #Constraints: 24380
733.57/736.02 c #Conflicts: 1130000 | #Constraints: 25387
733.57/736.02 c #Conflicts: 1131000 | #Constraints: 26399
733.57/736.02 c #Conflicts: 1132000 | #Constraints: 27407
733.57/736.02 c #Conflicts: 1133000 | #Constraints: 28415
733.57/736.02 c #Conflicts: 1134000 | #Constraints: 29420
733.57/736.02 c #Conflicts: 1135000 | #Constraints: 30428
733.57/736.02 c #Conflicts: 1136000 | #Constraints: 31446
733.57/736.02 c #Conflicts: 1137000 | #Constraints: 32455
733.57/736.02 c #Conflicts: 1138000 | #Constraints: 33463
733.57/736.02 c #Conflicts: 1139000 | #Constraints: 34466
733.57/736.02 c #Conflicts: 1140000 | #Constraints: 35470
733.57/736.02 c #Conflicts: 1141000 | #Constraints: 36476
733.57/736.02 c #Conflicts: 1142000 | #Constraints: 37481
733.57/736.02 c #Conflicts: 1143000 | #Constraints: 38497
733.57/736.02 c #Conflicts: 1144000 | #Constraints: 39516
733.57/736.02 c #Conflicts: 1145000 | #Constraints: 40522
733.57/736.02 c #Conflicts: 1146000 | #Constraints: 41535
733.57/736.02 c INPROCESSING
733.57/736.02 c GARBAGE COLLECT
733.57/736.02 c rational objective 14.2774
749.22/751.78 c #Conflicts: 1147000 | #Constraints: 21594
749.22/751.78 c #Conflicts: 1148000 | #Constraints: 22647
749.22/751.78 c #Conflicts: 1149000 | #Constraints: 23734
749.22/751.78 c #Conflicts: 1150000 | #Constraints: 24810
749.22/751.78 c #Conflicts: 1151000 | #Constraints: 25827
749.22/751.78 c #Conflicts: 1152000 | #Constraints: 26831
749.22/751.78 c #Conflicts: 1153000 | #Constraints: 27838
749.22/751.78 c #Conflicts: 1154000 | #Constraints: 28846
749.22/751.78 c #Conflicts: 1155000 | #Constraints: 29855
749.22/751.78 c #Conflicts: 1156000 | #Constraints: 30862
749.22/751.78 c #Conflicts: 1157000 | #Constraints: 31867
749.22/751.78 c #Conflicts: 1158000 | #Constraints: 32875
749.22/751.78 c #Conflicts: 1159000 | #Constraints: 33883
749.22/751.78 c #Conflicts: 1160000 | #Constraints: 34891
749.22/751.78 c #Conflicts: 1161000 | #Constraints: 35894
749.22/751.78 c #Conflicts: 1162000 | #Constraints: 36898
749.22/751.78 c #Conflicts: 1163000 | #Constraints: 37911
749.22/751.78 c #Conflicts: 1164000 | #Constraints: 38921
749.22/751.78 c #Conflicts: 1165000 | #Constraints: 39948
749.22/751.78 c #Conflicts: 1166000 | #Constraints: 40964
749.22/751.78 c #Conflicts: 1167000 | #Constraints: 41973
749.22/751.78 c #Conflicts: 1168000 | #Constraints: 42977
749.22/751.78 c INPROCESSING
749.22/751.78 c GARBAGE COLLECT
749.22/751.78 c rational objective 14.2776
764.67/767.28 c #Conflicts: 1169000 | #Constraints: 22617
764.67/767.28 c #Conflicts: 1170000 | #Constraints: 23627
764.67/767.28 c #Conflicts: 1171000 | #Constraints: 24637
764.67/767.28 c #Conflicts: 1172000 | #Constraints: 25642
764.67/767.28 c #Conflicts: 1173000 | #Constraints: 26649
764.67/767.28 c #Conflicts: 1174000 | #Constraints: 27653
764.67/767.28 c #Conflicts: 1175000 | #Constraints: 28658
764.67/767.28 c #Conflicts: 1176000 | #Constraints: 29668
764.67/767.28 c #Conflicts: 1177000 | #Constraints: 30676
764.67/767.28 c #Conflicts: 1178000 | #Constraints: 31681
764.67/767.28 c #Conflicts: 1179000 | #Constraints: 32684
764.67/767.28 c #Conflicts: 1180000 | #Constraints: 33694
764.67/767.28 c #Conflicts: 1181000 | #Constraints: 34706
764.67/767.28 c #Conflicts: 1182000 | #Constraints: 35713
764.67/767.28 c #Conflicts: 1183000 | #Constraints: 36719
764.67/767.28 c #Conflicts: 1184000 | #Constraints: 37727
764.67/767.28 c #Conflicts: 1185000 | #Constraints: 38733
764.67/767.28 c #Conflicts: 1186000 | #Constraints: 39743
764.67/767.28 c #Conflicts: 1187000 | #Constraints: 40749
764.67/767.28 c #Conflicts: 1188000 | #Constraints: 41758
764.67/767.28 c #Conflicts: 1189000 | #Constraints: 42765
764.67/767.28 c #Conflicts: 1190000 | #Constraints: 43775
764.67/767.28 c INPROCESSING
764.67/767.28 c GARBAGE COLLECT
764.67/767.28 c rational objective 14.2776
780.63/783.20 c #Conflicts: 1191000 | #Constraints: 23142
780.63/783.20 c #Conflicts: 1192000 | #Constraints: 24375
780.63/783.20 c #Conflicts: 1193000 | #Constraints: 25394
780.63/783.20 c #Conflicts: 1194000 | #Constraints: 26397
780.63/783.20 c #Conflicts: 1195000 | #Constraints: 27404
780.63/783.20 c #Conflicts: 1196000 | #Constraints: 28412
780.63/783.20 c #Conflicts: 1197000 | #Constraints: 29416
780.63/783.20 c #Conflicts: 1198000 | #Constraints: 30418
780.63/783.20 c #Conflicts: 1199000 | #Constraints: 31424
780.63/783.20 c #Conflicts: 1200000 | #Constraints: 32433
780.63/783.20 c #Conflicts: 1201000 | #Constraints: 33439
780.63/783.20 c #Conflicts: 1202000 | #Constraints: 34443
780.63/783.20 c #Conflicts: 1203000 | #Constraints: 35447
780.63/783.20 c #Conflicts: 1204000 | #Constraints: 36460
780.63/783.20 c #Conflicts: 1205000 | #Constraints: 37462
780.63/783.20 c #Conflicts: 1206000 | #Constraints: 38466
780.63/783.20 c #Conflicts: 1207000 | #Constraints: 39482
780.63/783.20 c #Conflicts: 1208000 | #Constraints: 40493
780.63/783.20 c #Conflicts: 1209000 | #Constraints: 41501
780.63/783.20 c #Conflicts: 1210000 | #Constraints: 42511
780.63/783.20 c #Conflicts: 1211000 | #Constraints: 43519
780.63/783.20 c #Conflicts: 1212000 | #Constraints: 44531
780.63/783.20 c INPROCESSING
780.63/783.20 c GARBAGE COLLECT
780.63/783.20 c rational objective 14.2777
796.88/799.54 c #Conflicts: 1213000 | #Constraints: 23398
796.88/799.54 c #Conflicts: 1214000 | #Constraints: 24412
796.88/799.54 c #Conflicts: 1215000 | #Constraints: 25421
796.88/799.54 c #Conflicts: 1216000 | #Constraints: 26427
796.88/799.54 c #Conflicts: 1217000 | #Constraints: 27433
796.88/799.54 c #Conflicts: 1218000 | #Constraints: 28440
796.88/799.54 c #Conflicts: 1219000 | #Constraints: 29458
796.88/799.54 c #Conflicts: 1220000 | #Constraints: 30469
796.88/799.54 c #Conflicts: 1221000 | #Constraints: 31473
796.88/799.54 c #Conflicts: 1222000 | #Constraints: 32481
796.88/799.54 c #Conflicts: 1223000 | #Constraints: 33489
796.88/799.54 c #Conflicts: 1224000 | #Constraints: 34494
796.88/799.54 c #Conflicts: 1225000 | #Constraints: 35502
796.88/799.54 c #Conflicts: 1226000 | #Constraints: 36516
796.88/799.54 c #Conflicts: 1227000 | #Constraints: 37524
796.88/799.54 c #Conflicts: 1228000 | #Constraints: 38532
796.88/799.54 c #Conflicts: 1229000 | #Constraints: 39541
796.88/799.54 c #Conflicts: 1230000 | #Constraints: 40549
796.88/799.54 c #Conflicts: 1231000 | #Constraints: 41561
796.88/799.54 c #Conflicts: 1232000 | #Constraints: 42568
796.88/799.54 c #Conflicts: 1233000 | #Constraints: 43578
796.88/799.54 c #Conflicts: 1234000 | #Constraints: 44583
796.88/799.54 c INPROCESSING
796.88/799.54 c GARBAGE COLLECT
796.88/799.54 c rational objective 14.2777
812.84/815.58 c #Conflicts: 1235000 | #Constraints: 23328
812.84/815.58 c #Conflicts: 1236000 | #Constraints: 24351
812.84/815.58 c #Conflicts: 1237000 | #Constraints: 25365
812.84/815.58 c #Conflicts: 1238000 | #Constraints: 26379
812.84/815.58 c #Conflicts: 1239000 | #Constraints: 27388
812.84/815.58 c #Conflicts: 1240000 | #Constraints: 28395
812.84/815.58 c #Conflicts: 1241000 | #Constraints: 29399
812.84/815.58 c #Conflicts: 1242000 | #Constraints: 30402
812.84/815.58 c #Conflicts: 1243000 | #Constraints: 31410
812.84/815.58 c #Conflicts: 1244000 | #Constraints: 32412
812.84/815.58 c #Conflicts: 1245000 | #Constraints: 33428
812.84/815.58 c #Conflicts: 1246000 | #Constraints: 34447
812.84/815.58 c #Conflicts: 1247000 | #Constraints: 35464
812.84/815.58 c #Conflicts: 1248000 | #Constraints: 36477
812.84/815.58 c #Conflicts: 1249000 | #Constraints: 37493
812.84/815.58 c #Conflicts: 1250000 | #Constraints: 38500
812.84/815.58 c #Conflicts: 1251000 | #Constraints: 39504
812.84/815.58 c #Conflicts: 1252000 | #Constraints: 40507
812.84/815.58 c #Conflicts: 1253000 | #Constraints: 41512
812.84/815.58 c #Conflicts: 1254000 | #Constraints: 42516
812.84/815.58 c #Conflicts: 1255000 | #Constraints: 43521
812.84/815.58 c #Conflicts: 1256000 | #Constraints: 44523
812.84/815.58 c INPROCESSING
812.84/815.58 c GARBAGE COLLECT
812.84/815.58 c rational objective 14.2777
831.08/833.88 c #Conflicts: 1257000 | #Constraints: 23164
831.08/833.88 c #Conflicts: 1258000 | #Constraints: 24358
831.08/833.88 c #Conflicts: 1259000 | #Constraints: 25380
831.08/833.88 c #Conflicts: 1260000 | #Constraints: 26387
831.08/833.88 c #Conflicts: 1261000 | #Constraints: 27397
831.08/833.88 c #Conflicts: 1262000 | #Constraints: 28403
831.08/833.88 c #Conflicts: 1263000 | #Constraints: 29409
831.08/833.88 c #Conflicts: 1264000 | #Constraints: 30415
831.08/833.88 c #Conflicts: 1265000 | #Constraints: 31431
831.08/833.88 c #Conflicts: 1266000 | #Constraints: 32440
831.08/833.88 c #Conflicts: 1267000 | #Constraints: 33448
831.08/833.88 c #Conflicts: 1268000 | #Constraints: 34455
831.08/833.88 c #Conflicts: 1269000 | #Constraints: 35468
831.08/833.88 c #Conflicts: 1270000 | #Constraints: 36480
831.08/833.88 c #Conflicts: 1271000 | #Constraints: 37490
831.08/833.88 c #Conflicts: 1272000 | #Constraints: 38499
831.08/833.88 c #Conflicts: 1273000 | #Constraints: 39507
831.08/833.88 c #Conflicts: 1274000 | #Constraints: 40520
831.08/833.88 c #Conflicts: 1275000 | #Constraints: 41530
831.08/833.88 c #Conflicts: 1276000 | #Constraints: 42537
831.08/833.88 c #Conflicts: 1277000 | #Constraints: 43542
831.08/833.88 c #Conflicts: 1278000 | #Constraints: 44553
831.08/833.88 c #Conflicts: 1279000 | #Constraints: 45561
831.08/833.88 c INPROCESSING
831.08/833.88 c GARBAGE COLLECT
831.08/833.88 c rational objective 14.2777
847.73/850.57 c #Conflicts: 1280000 | #Constraints: 23828
847.73/850.57 c #Conflicts: 1281000 | #Constraints: 24832
847.73/850.57 c #Conflicts: 1282000 | #Constraints: 25837
847.73/850.57 c #Conflicts: 1283000 | #Constraints: 26844
847.73/850.57 c #Conflicts: 1284000 | #Constraints: 27855
847.73/850.57 c #Conflicts: 1285000 | #Constraints: 28860
847.73/850.57 c #Conflicts: 1286000 | #Constraints: 29866
847.73/850.57 c #Conflicts: 1287000 | #Constraints: 30875
847.73/850.57 c #Conflicts: 1288000 | #Constraints: 31880
847.73/850.57 c #Conflicts: 1289000 | #Constraints: 32887
847.73/850.57 c #Conflicts: 1290000 | #Constraints: 33895
847.73/850.57 c #Conflicts: 1291000 | #Constraints: 34904
847.73/850.57 c #Conflicts: 1292000 | #Constraints: 35917
847.73/850.57 c #Conflicts: 1293000 | #Constraints: 36925
847.73/850.57 c #Conflicts: 1294000 | #Constraints: 37939
847.73/850.57 c #Conflicts: 1295000 | #Constraints: 38948
847.73/850.57 c #Conflicts: 1296000 | #Constraints: 39953
847.73/850.57 c #Conflicts: 1297000 | #Constraints: 40957
847.73/850.57 c #Conflicts: 1298000 | #Constraints: 41965
847.73/850.57 c #Conflicts: 1299000 | #Constraints: 42971
847.73/850.57 c #Conflicts: 1300000 | #Constraints: 43976
847.73/850.57 c #Conflicts: 1301000 | #Constraints: 44980
847.73/850.57 c #Conflicts: 1302000 | #Constraints: 45984
847.73/850.57 c INPROCESSING
847.73/850.57 c GARBAGE COLLECT
847.73/850.57 c rational objective 14.2778
864.69/867.53 c #Conflicts: 1303000 | #Constraints: 24146
864.69/867.53 c #Conflicts: 1304000 | #Constraints: 25151
864.69/867.53 c #Conflicts: 1305000 | #Constraints: 26162
864.69/867.53 c #Conflicts: 1306000 | #Constraints: 27170
864.69/867.53 c #Conflicts: 1307000 | #Constraints: 28176
864.69/867.53 c #Conflicts: 1308000 | #Constraints: 29182
864.69/867.53 c #Conflicts: 1309000 | #Constraints: 30188
864.69/867.53 c #Conflicts: 1310000 | #Constraints: 31199
864.69/867.53 c #Conflicts: 1311000 | #Constraints: 32207
864.69/867.53 c #Conflicts: 1312000 | #Constraints: 33211
864.69/867.53 c #Conflicts: 1313000 | #Constraints: 34216
864.69/867.53 c #Conflicts: 1314000 | #Constraints: 35227
864.69/867.53 c #Conflicts: 1315000 | #Constraints: 36237
864.69/867.53 c #Conflicts: 1316000 | #Constraints: 37245
864.69/867.53 c #Conflicts: 1317000 | #Constraints: 38254
864.69/867.53 c #Conflicts: 1318000 | #Constraints: 39260
864.69/867.53 c #Conflicts: 1319000 | #Constraints: 40273
864.69/867.53 c #Conflicts: 1320000 | #Constraints: 41282
864.69/867.53 c #Conflicts: 1321000 | #Constraints: 42290
864.69/867.53 c #Conflicts: 1322000 | #Constraints: 43299
864.69/867.53 c #Conflicts: 1323000 | #Constraints: 44308
864.69/867.53 c #Conflicts: 1324000 | #Constraints: 45319
864.69/867.53 c #Conflicts: 1325000 | #Constraints: 46328
864.69/867.53 c INPROCESSING
864.69/867.53 c GARBAGE COLLECT
864.69/867.53 c rational objective 14.2778
882.74/885.65 c #Conflicts: 1326000 | #Constraints: 24322
882.74/885.65 c #Conflicts: 1327000 | #Constraints: 25403
882.74/885.65 c #Conflicts: 1328000 | #Constraints: 26415
882.74/885.65 c #Conflicts: 1329000 | #Constraints: 27428
882.74/885.65 c #Conflicts: 1330000 | #Constraints: 28434
882.74/885.65 c #Conflicts: 1331000 | #Constraints: 29440
882.74/885.65 c #Conflicts: 1332000 | #Constraints: 30447
882.74/885.65 c #Conflicts: 1333000 | #Constraints: 31455
882.74/885.65 c #Conflicts: 1334000 | #Constraints: 32462
882.74/885.65 c #Conflicts: 1335000 | #Constraints: 33469
882.74/885.65 c #Conflicts: 1336000 | #Constraints: 34476
882.74/885.65 c #Conflicts: 1337000 | #Constraints: 35489
882.74/885.65 c #Conflicts: 1338000 | #Constraints: 36498
882.74/885.65 c #Conflicts: 1339000 | #Constraints: 37512
882.74/885.65 c #Conflicts: 1340000 | #Constraints: 38519
882.74/885.65 c #Conflicts: 1341000 | #Constraints: 39525
882.74/885.65 c #Conflicts: 1342000 | #Constraints: 40538
882.74/885.65 c #Conflicts: 1343000 | #Constraints: 41542
882.74/885.65 c #Conflicts: 1344000 | #Constraints: 42545
882.74/885.65 c #Conflicts: 1345000 | #Constraints: 43560
882.74/885.65 c #Conflicts: 1346000 | #Constraints: 44575
882.74/885.65 c #Conflicts: 1347000 | #Constraints: 45596
882.74/885.65 c #Conflicts: 1348000 | #Constraints: 46613
882.74/885.65 c INPROCESSING
882.74/885.65 c GARBAGE COLLECT
882.74/885.65 c rational objective 14.3349
899.69/902.60 c #Conflicts: 1349000 | #Constraints: 21679
899.69/902.60 c #Conflicts: 1350000 | #Constraints: 22691
899.69/902.60 c #Conflicts: 1351000 | #Constraints: 23700
899.69/902.60 c #Conflicts: 1352000 | #Constraints: 24707
899.69/902.60 c #Conflicts: 1353000 | #Constraints: 25712
899.69/902.60 c #Conflicts: 1354000 | #Constraints: 26724
899.69/902.60 c #Conflicts: 1355000 | #Constraints: 27738
899.69/902.60 c #Conflicts: 1356000 | #Constraints: 28751
899.69/902.60 c #Conflicts: 1357000 | #Constraints: 29761
899.69/902.60 c #Conflicts: 1358000 | #Constraints: 30768
899.69/902.60 c #Conflicts: 1359000 | #Constraints: 31773
899.69/902.60 c #Conflicts: 1360000 | #Constraints: 32778
899.69/902.60 c #Conflicts: 1361000 | #Constraints: 33784
899.69/902.60 c #Conflicts: 1362000 | #Constraints: 34790
899.69/902.60 c #Conflicts: 1363000 | #Constraints: 35798
899.69/902.60 c #Conflicts: 1364000 | #Constraints: 36809
899.69/902.60 c #Conflicts: 1365000 | #Constraints: 37817
899.69/902.60 c #Conflicts: 1366000 | #Constraints: 38823
899.69/902.60 c #Conflicts: 1367000 | #Constraints: 39829
899.69/902.60 c #Conflicts: 1368000 | #Constraints: 40833
899.69/902.60 c #Conflicts: 1369000 | #Constraints: 41841
899.69/902.60 c #Conflicts: 1370000 | #Constraints: 42847
899.69/902.60 c #Conflicts: 1371000 | #Constraints: 43854
899.69/902.60 c INPROCESSING
899.69/902.60 c GARBAGE COLLECT
899.69/902.60 c rational objective 14.3782
916.73/919.75 c #Conflicts: 1372000 | #Constraints: 22750
916.73/919.75 c #Conflicts: 1373000 | #Constraints: 23754
916.73/919.75 c #Conflicts: 1374000 | #Constraints: 24766
916.73/919.75 c #Conflicts: 1375000 | #Constraints: 25784
916.73/919.75 c #Conflicts: 1376000 | #Constraints: 26794
916.73/919.75 c #Conflicts: 1377000 | #Constraints: 27808
916.73/919.75 c #Conflicts: 1378000 | #Constraints: 28832
916.73/919.75 c #Conflicts: 1379000 | #Constraints: 29845
916.73/919.75 c #Conflicts: 1380000 | #Constraints: 30851
916.73/919.75 c #Conflicts: 1381000 | #Constraints: 31857
916.73/919.75 c #Conflicts: 1382000 | #Constraints: 32864
916.73/919.75 c #Conflicts: 1383000 | #Constraints: 33869
916.73/919.75 c #Conflicts: 1384000 | #Constraints: 34875
916.73/919.75 c #Conflicts: 1385000 | #Constraints: 35880
916.73/919.75 c #Conflicts: 1386000 | #Constraints: 36882
916.73/919.75 c #Conflicts: 1387000 | #Constraints: 37888
916.73/919.75 c #Conflicts: 1388000 | #Constraints: 38892
916.73/919.75 c #Conflicts: 1389000 | #Constraints: 39895
916.73/919.75 c #Conflicts: 1390000 | #Constraints: 40902
916.73/919.75 c #Conflicts: 1391000 | #Constraints: 41906
916.73/919.75 c #Conflicts: 1392000 | #Constraints: 42910
916.73/919.75 c #Conflicts: 1393000 | #Constraints: 43919
916.73/919.75 c #Conflicts: 1394000 | #Constraints: 44929
916.73/919.75 c #Conflicts: 1395000 | #Constraints: 45934
916.73/919.75 c INPROCESSING
916.73/919.75 c GARBAGE COLLECT
916.73/919.75 c rational objective 14.3787
933.88/936.98 c #Conflicts: 1396000 | #Constraints: 24007
933.88/936.98 c #Conflicts: 1397000 | #Constraints: 25016
933.88/936.98 c #Conflicts: 1398000 | #Constraints: 26021
933.88/936.98 c #Conflicts: 1399000 | #Constraints: 27033
933.88/936.98 c #Conflicts: 1400000 | #Constraints: 28044
933.88/936.98 c #Conflicts: 1401000 | #Constraints: 29052
933.88/936.98 c #Conflicts: 1402000 | #Constraints: 30061
933.88/936.98 c #Conflicts: 1403000 | #Constraints: 31066
933.88/936.98 c #Conflicts: 1404000 | #Constraints: 32076
933.88/936.98 c #Conflicts: 1405000 | #Constraints: 33082
933.88/936.98 c #Conflicts: 1406000 | #Constraints: 34088
933.88/936.98 c #Conflicts: 1407000 | #Constraints: 35095
933.88/936.98 c #Conflicts: 1408000 | #Constraints: 36105
933.88/936.98 c #Conflicts: 1409000 | #Constraints: 37110
933.88/936.98 c #Conflicts: 1410000 | #Constraints: 38118
933.88/936.98 c #Conflicts: 1411000 | #Constraints: 39126
933.88/936.98 c #Conflicts: 1412000 | #Constraints: 40133
933.88/936.98 c #Conflicts: 1413000 | #Constraints: 41142
933.88/936.98 c #Conflicts: 1414000 | #Constraints: 42150
933.88/936.98 c #Conflicts: 1415000 | #Constraints: 43156
933.88/936.98 c #Conflicts: 1416000 | #Constraints: 44160
933.88/936.98 c #Conflicts: 1417000 | #Constraints: 45167
933.88/936.98 c #Conflicts: 1418000 | #Constraints: 46180
933.88/936.98 c #Conflicts: 1419000 | #Constraints: 47190
933.88/936.98 c INPROCESSING
933.88/936.98 c GARBAGE COLLECT
933.88/936.98 c rational objective 14.379
952.04/955.19 c #Conflicts: 1420000 | #Constraints: 24792
952.04/955.19 c #Conflicts: 1421000 | #Constraints: 25805
952.04/955.19 c #Conflicts: 1422000 | #Constraints: 26821
952.04/955.19 c #Conflicts: 1423000 | #Constraints: 27830
952.04/955.19 c #Conflicts: 1424000 | #Constraints: 28835
952.04/955.19 c #Conflicts: 1425000 | #Constraints: 29847
952.04/955.19 c #Conflicts: 1426000 | #Constraints: 30853
952.04/955.19 c #Conflicts: 1427000 | #Constraints: 31858
952.04/955.19 c #Conflicts: 1428000 | #Constraints: 32863
952.04/955.19 c #Conflicts: 1429000 | #Constraints: 33868
952.04/955.19 c #Conflicts: 1430000 | #Constraints: 34881
952.04/955.19 c #Conflicts: 1431000 | #Constraints: 35890
952.04/955.19 c #Conflicts: 1432000 | #Constraints: 36898
952.04/955.19 c #Conflicts: 1433000 | #Constraints: 37901
952.04/955.19 c #Conflicts: 1434000 | #Constraints: 38908
952.04/955.19 c #Conflicts: 1435000 | #Constraints: 39918
952.04/955.19 c #Conflicts: 1436000 | #Constraints: 40924
952.04/955.19 c #Conflicts: 1437000 | #Constraints: 41928
952.04/955.19 c #Conflicts: 1438000 | #Constraints: 42936
952.04/955.19 c #Conflicts: 1439000 | #Constraints: 43944
952.04/955.19 c #Conflicts: 1440000 | #Constraints: 44956
952.04/955.19 c #Conflicts: 1441000 | #Constraints: 45960
952.04/955.19 c #Conflicts: 1442000 | #Constraints: 46970
952.04/955.19 c #Conflicts: 1443000 | #Constraints: 47982
952.04/955.19 c INPROCESSING
952.04/955.19 c GARBAGE COLLECT
952.04/955.19 c rational objective 14.3792
970.38/973.54 c #Conflicts: 1444000 | #Constraints: 25168
970.38/973.54 c #Conflicts: 1445000 | #Constraints: 26172
970.38/973.54 c #Conflicts: 1446000 | #Constraints: 27181
970.38/973.54 c #Conflicts: 1447000 | #Constraints: 28191
970.38/973.54 c #Conflicts: 1448000 | #Constraints: 29198
970.38/973.54 c #Conflicts: 1449000 | #Constraints: 30208
970.38/973.54 c #Conflicts: 1450000 | #Constraints: 31213
970.38/973.54 c #Conflicts: 1451000 | #Constraints: 32222
970.38/973.54 c #Conflicts: 1452000 | #Constraints: 33232
970.38/973.54 c #Conflicts: 1453000 | #Constraints: 34241
970.38/973.54 c #Conflicts: 1454000 | #Constraints: 35245
970.38/973.54 c #Conflicts: 1455000 | #Constraints: 36251
970.38/973.54 c #Conflicts: 1456000 | #Constraints: 37261
970.38/973.54 c #Conflicts: 1457000 | #Constraints: 38270
970.38/973.54 c #Conflicts: 1458000 | #Constraints: 39282
970.38/973.54 c #Conflicts: 1459000 | #Constraints: 40296
970.38/973.54 c #Conflicts: 1460000 | #Constraints: 41306
970.38/973.54 c #Conflicts: 1461000 | #Constraints: 42314
970.38/973.54 c #Conflicts: 1462000 | #Constraints: 43319
970.38/973.54 c #Conflicts: 1463000 | #Constraints: 44322
970.38/973.54 c #Conflicts: 1464000 | #Constraints: 45328
970.38/973.54 c #Conflicts: 1465000 | #Constraints: 46335
970.38/973.54 c #Conflicts: 1466000 | #Constraints: 47342
970.38/973.54 c #Conflicts: 1467000 | #Constraints: 48355
970.38/973.54 c INPROCESSING
970.38/973.54 c GARBAGE COLLECT
970.38/973.54 c rational objective 14.3792
989.22/992.43 c #Conflicts: 1468000 | #Constraints: 25237
989.22/992.43 c #Conflicts: 1469000 | #Constraints: 26250
989.22/992.43 c #Conflicts: 1470000 | #Constraints: 27264
989.22/992.43 c #Conflicts: 1471000 | #Constraints: 28268
989.22/992.43 c #Conflicts: 1472000 | #Constraints: 29273
989.22/992.43 c #Conflicts: 1473000 | #Constraints: 30288
989.22/992.43 c #Conflicts: 1474000 | #Constraints: 31295
989.22/992.43 c #Conflicts: 1475000 | #Constraints: 32310
989.22/992.43 c #Conflicts: 1476000 | #Constraints: 33312
989.22/992.43 c #Conflicts: 1477000 | #Constraints: 34318
989.22/992.43 c #Conflicts: 1478000 | #Constraints: 35332
989.22/992.43 c #Conflicts: 1479000 | #Constraints: 36341
989.22/992.43 c #Conflicts: 1480000 | #Constraints: 37347
989.22/992.43 c #Conflicts: 1481000 | #Constraints: 38365
989.22/992.43 c #Conflicts: 1482000 | #Constraints: 39377
989.22/992.43 c #Conflicts: 1483000 | #Constraints: 40379
989.22/992.43 c #Conflicts: 1484000 | #Constraints: 41382
989.22/992.43 c #Conflicts: 1485000 | #Constraints: 42389
989.22/992.43 c #Conflicts: 1486000 | #Constraints: 43392
989.22/992.43 c #Conflicts: 1487000 | #Constraints: 44398
989.22/992.43 c #Conflicts: 1488000 | #Constraints: 45404
989.22/992.43 c #Conflicts: 1489000 | #Constraints: 46408
989.22/992.43 c #Conflicts: 1490000 | #Constraints: 47413
989.22/992.43 c #Conflicts: 1491000 | #Constraints: 48421
989.22/992.43 c INPROCESSING
989.22/992.43 c GARBAGE COLLECT
989.22/992.43 c rational objective 14.4127
1007.27/1010.54 c #Conflicts: 1492000 | #Constraints: 23405
1007.27/1010.54 c #Conflicts: 1493000 | #Constraints: 24413
1007.27/1010.54 c #Conflicts: 1494000 | #Constraints: 25420
1007.27/1010.54 c #Conflicts: 1495000 | #Constraints: 26427
1007.27/1010.54 c #Conflicts: 1496000 | #Constraints: 27432
1007.27/1010.54 c #Conflicts: 1497000 | #Constraints: 28438
1007.27/1010.54 c #Conflicts: 1498000 | #Constraints: 29449
1007.27/1010.54 c #Conflicts: 1499000 | #Constraints: 30456
1007.27/1010.54 c #Conflicts: 1500000 | #Constraints: 31460
1007.27/1010.54 c #Conflicts: 1501000 | #Constraints: 32469
1007.27/1010.54 c #Conflicts: 1502000 | #Constraints: 33485
1007.27/1010.54 c #Conflicts: 1503000 | #Constraints: 34497
1007.27/1010.54 c #Conflicts: 1504000 | #Constraints: 35506
1007.27/1010.54 c #Conflicts: 1505000 | #Constraints: 36519
1007.27/1010.54 c #Conflicts: 1506000 | #Constraints: 37525
1007.27/1010.54 c #Conflicts: 1507000 | #Constraints: 38533
1007.27/1010.54 c #Conflicts: 1508000 | #Constraints: 39538
1007.27/1010.54 c #Conflicts: 1509000 | #Constraints: 40543
1007.27/1010.54 c #Conflicts: 1510000 | #Constraints: 41550
1007.27/1010.54 c #Conflicts: 1511000 | #Constraints: 42553
1007.27/1010.54 c #Conflicts: 1512000 | #Constraints: 43561
1007.27/1010.54 c #Conflicts: 1513000 | #Constraints: 44565
1007.27/1010.54 c #Conflicts: 1514000 | #Constraints: 45576
1007.27/1010.54 c #Conflicts: 1515000 | #Constraints: 46582
1007.27/1010.54 c #Conflicts: 1516000 | #Constraints: 47590
1007.27/1010.54 c INPROCESSING
1007.27/1010.54 c GARBAGE COLLECT
1007.27/1010.54 c rational objective 14.4129
1027.82/1031.10 c #Conflicts: 1517000 | #Constraints: 24837
1027.82/1031.10 c #Conflicts: 1518000 | #Constraints: 25884
1027.82/1031.10 c #Conflicts: 1519000 | #Constraints: 26890
1027.82/1031.10 c #Conflicts: 1520000 | #Constraints: 27896
1027.82/1031.10 c #Conflicts: 1521000 | #Constraints: 28906
1027.82/1031.10 c #Conflicts: 1522000 | #Constraints: 29921
1027.82/1031.10 c #Conflicts: 1523000 | #Constraints: 30938
1027.82/1031.10 c #Conflicts: 1524000 | #Constraints: 31945
1027.82/1031.10 c #Conflicts: 1525000 | #Constraints: 32955
1027.82/1031.10 c #Conflicts: 1526000 | #Constraints: 33963
1027.82/1031.10 c #Conflicts: 1527000 | #Constraints: 34969
1027.82/1031.10 c #Conflicts: 1528000 | #Constraints: 35974
1027.82/1031.10 c #Conflicts: 1529000 | #Constraints: 36978
1027.82/1031.10 c #Conflicts: 1530000 | #Constraints: 37982
1027.82/1031.10 c #Conflicts: 1531000 | #Constraints: 38992
1027.82/1031.10 c #Conflicts: 1532000 | #Constraints: 39995
1027.82/1031.10 c #Conflicts: 1533000 | #Constraints: 41001
1027.82/1031.10 c #Conflicts: 1534000 | #Constraints: 42009
1027.82/1031.10 c #Conflicts: 1535000 | #Constraints: 43016
1027.82/1031.10 c #Conflicts: 1536000 | #Constraints: 44022
1027.82/1031.10 c #Conflicts: 1537000 | #Constraints: 45024
1027.82/1031.10 c #Conflicts: 1538000 | #Constraints: 46028
1027.82/1031.10 c #Conflicts: 1539000 | #Constraints: 47037
1027.82/1031.10 c #Conflicts: 1540000 | #Constraints: 48041
1027.82/1031.10 c #Conflicts: 1541000 | #Constraints: 49048
1027.82/1031.10 c INPROCESSING
1027.82/1031.10 c GARBAGE COLLECT
1027.82/1031.10 c rational objective 14.413
1047.36/1050.73 c #Conflicts: 1542000 | #Constraints: 25680
1047.36/1050.73 c #Conflicts: 1543000 | #Constraints: 26711
1047.36/1050.73 c #Conflicts: 1544000 | #Constraints: 27719
1047.36/1050.73 c #Conflicts: 1545000 | #Constraints: 28728
1047.36/1050.73 c #Conflicts: 1546000 | #Constraints: 29737
1047.36/1050.73 c #Conflicts: 1547000 | #Constraints: 30744
1047.36/1050.73 c #Conflicts: 1548000 | #Constraints: 31753
1047.36/1050.73 c #Conflicts: 1549000 | #Constraints: 32759
1047.36/1050.73 c #Conflicts: 1550000 | #Constraints: 33765
1047.36/1050.73 c #Conflicts: 1551000 | #Constraints: 34770
1047.36/1050.73 c #Conflicts: 1552000 | #Constraints: 35775
1047.36/1050.73 c #Conflicts: 1553000 | #Constraints: 36790
1047.36/1050.73 c #Conflicts: 1554000 | #Constraints: 37800
1047.36/1050.73 c #Conflicts: 1555000 | #Constraints: 38804
1047.36/1050.73 c #Conflicts: 1556000 | #Constraints: 39815
1047.36/1050.73 c #Conflicts: 1557000 | #Constraints: 40823
1047.36/1050.73 c #Conflicts: 1558000 | #Constraints: 41829
1047.36/1050.73 c #Conflicts: 1559000 | #Constraints: 42835
1047.36/1050.73 c #Conflicts: 1560000 | #Constraints: 43842
1047.36/1050.73 c #Conflicts: 1561000 | #Constraints: 44849
1047.36/1050.73 c #Conflicts: 1562000 | #Constraints: 45856
1047.36/1050.73 c #Conflicts: 1563000 | #Constraints: 46860
1047.36/1050.73 c #Conflicts: 1564000 | #Constraints: 47865
1047.36/1050.73 c #Conflicts: 1565000 | #Constraints: 48869
1047.36/1050.73 c #Conflicts: 1566000 | #Constraints: 49874
1047.36/1050.73 c INPROCESSING
1047.36/1050.73 c GARBAGE COLLECT
1047.36/1050.73 c rational objective 14.413
1068.49/1071.95 c #Conflicts: 1567000 | #Constraints: 26095
1068.49/1071.95 c #Conflicts: 1568000 | #Constraints: 27102
1068.49/1071.95 c #Conflicts: 1569000 | #Constraints: 28109
1068.49/1071.95 c #Conflicts: 1570000 | #Constraints: 29116
1068.49/1071.95 c #Conflicts: 1571000 | #Constraints: 30125
1068.49/1071.95 c #Conflicts: 1572000 | #Constraints: 31137
1068.49/1071.95 c #Conflicts: 1573000 | #Constraints: 32146
1068.49/1071.95 c #Conflicts: 1574000 | #Constraints: 33149
1068.49/1071.95 c #Conflicts: 1575000 | #Constraints: 34156
1068.49/1071.95 c #Conflicts: 1576000 | #Constraints: 35165
1068.49/1071.95 c #Conflicts: 1577000 | #Constraints: 36173
1068.49/1071.95 c #Conflicts: 1578000 | #Constraints: 37182
1068.49/1071.95 c #Conflicts: 1579000 | #Constraints: 38190
1068.49/1071.95 c #Conflicts: 1580000 | #Constraints: 39194
1068.49/1071.95 c #Conflicts: 1581000 | #Constraints: 40197
1068.49/1071.95 c #Conflicts: 1582000 | #Constraints: 41203
1068.49/1071.95 c #Conflicts: 1583000 | #Constraints: 42206
1068.49/1071.95 c #Conflicts: 1584000 | #Constraints: 43210
1068.49/1071.95 c #Conflicts: 1585000 | #Constraints: 44216
1068.49/1071.95 c #Conflicts: 1586000 | #Constraints: 45220
1068.49/1071.95 c #Conflicts: 1587000 | #Constraints: 46226
1068.49/1071.95 c #Conflicts: 1588000 | #Constraints: 47233
1068.49/1071.95 c #Conflicts: 1589000 | #Constraints: 48240
1068.49/1071.95 c #Conflicts: 1590000 | #Constraints: 49245
1068.49/1071.95 c #Conflicts: 1591000 | #Constraints: 50253
1068.49/1071.95 c INPROCESSING
1068.49/1071.95 c GARBAGE COLLECT
1068.49/1071.95 c rational objective 14.413
1092.23/1095.79 c #Conflicts: 1592000 | #Constraints: 26157
1092.23/1095.79 c #Conflicts: 1593000 | #Constraints: 27173
1092.23/1095.79 c #Conflicts: 1594000 | #Constraints: 28194
1092.23/1095.79 c #Conflicts: 1595000 | #Constraints: 29212
1092.23/1095.79 c #Conflicts: 1596000 | #Constraints: 30228
1092.23/1095.79 c #Conflicts: 1597000 | #Constraints: 31240
1092.23/1095.79 c #Conflicts: 1598000 | #Constraints: 32247
1092.23/1095.79 c #Conflicts: 1599000 | #Constraints: 33257
1092.23/1095.79 c #Conflicts: 1600000 | #Constraints: 34270
1092.23/1095.79 c #Conflicts: 1601000 | #Constraints: 35281
1092.23/1095.79 c #Conflicts: 1602000 | #Constraints: 36292
1092.23/1095.79 c #Conflicts: 1603000 | #Constraints: 37305
1092.23/1095.79 c #Conflicts: 1604000 | #Constraints: 38316
1092.23/1095.79 c #Conflicts: 1605000 | #Constraints: 39337
1092.23/1095.79 c #Conflicts: 1606000 | #Constraints: 40351
1092.23/1095.79 c #Conflicts: 1607000 | #Constraints: 41360
1092.23/1095.79 c #Conflicts: 1608000 | #Constraints: 42367
1092.23/1095.79 c #Conflicts: 1609000 | #Constraints: 43380
1092.23/1095.79 c #Conflicts: 1610000 | #Constraints: 44387
1092.23/1095.79 c #Conflicts: 1611000 | #Constraints: 45401
1092.23/1095.79 c #Conflicts: 1612000 | #Constraints: 46414
1092.23/1095.79 c #Conflicts: 1613000 | #Constraints: 47424
1092.23/1095.79 c #Conflicts: 1614000 | #Constraints: 48431
1092.23/1095.79 c #Conflicts: 1615000 | #Constraints: 49442
1092.23/1095.79 c #Conflicts: 1616000 | #Constraints: 50454
1092.23/1095.79 c INPROCESSING
1092.23/1095.79 c GARBAGE COLLECT
1092.23/1095.79 c rational objective 14.4131
1109.68/1113.28 c #Conflicts: 1617000 | #Constraints: 26116
1109.68/1113.28 c #Conflicts: 1618000 | #Constraints: 27198
1109.68/1113.28 c #Conflicts: 1619000 | #Constraints: 28204
1109.68/1113.28 c #Conflicts: 1620000 | #Constraints: 29208
1109.68/1113.28 c #Conflicts: 1621000 | #Constraints: 30215
1109.68/1113.28 c #Conflicts: 1622000 | #Constraints: 31218
1109.68/1113.28 c #Conflicts: 1623000 | #Constraints: 32219
1109.68/1113.28 c #Conflicts: 1624000 | #Constraints: 33228
1109.68/1113.28 c #Conflicts: 1625000 | #Constraints: 34234
1109.68/1113.28 c #Conflicts: 1626000 | #Constraints: 35240
1109.68/1113.28 c #Conflicts: 1627000 | #Constraints: 36247
1109.68/1113.28 c #Conflicts: 1628000 | #Constraints: 37255
1109.68/1113.28 c #Conflicts: 1629000 | #Constraints: 38262
1109.68/1113.28 c #Conflicts: 1630000 | #Constraints: 39267
1109.68/1113.28 c #Conflicts: 1631000 | #Constraints: 40272
1109.68/1113.28 c #Conflicts: 1632000 | #Constraints: 41282
1109.68/1113.28 c #Conflicts: 1633000 | #Constraints: 42284
1109.68/1113.28 c #Conflicts: 1634000 | #Constraints: 43297
1109.68/1113.28 c #Conflicts: 1635000 | #Constraints: 44303
1109.68/1113.28 c #Conflicts: 1636000 | #Constraints: 45308
1109.68/1113.28 c #Conflicts: 1637000 | #Constraints: 46317
1109.68/1113.28 c bounds 17 >= 14 @ 1098.15
1113.96/1117.57 c #Conflicts: 1638000 | #Constraints: 47357
1113.96/1117.57 c #Conflicts: 1639000 | #Constraints: 48371
1113.96/1117.57 c #Conflicts: 1640000 | #Constraints: 49377
1113.96/1117.57 c #Conflicts: 1641000 | #Constraints: 50385
1113.96/1117.57 c #Conflicts: 1642000 | #Constraints: 51388
1113.96/1117.57 c INPROCESSING
1113.96/1117.57 c GARBAGE COLLECT
1113.96/1117.57 c rational objective 14.4137
1128.22/1131.89 c #Conflicts: 1643000 | #Constraints: 26745
1128.22/1131.89 c #Conflicts: 1644000 | #Constraints: 27756
1128.22/1131.89 c #Conflicts: 1645000 | #Constraints: 28762
1128.22/1131.89 c #Conflicts: 1646000 | #Constraints: 29767
1128.22/1131.89 c #Conflicts: 1647000 | #Constraints: 30769
1128.22/1131.89 c #Conflicts: 1648000 | #Constraints: 31776
1128.22/1131.89 c #Conflicts: 1649000 | #Constraints: 32780
1128.22/1131.89 c #Conflicts: 1650000 | #Constraints: 33785
1128.22/1131.89 c #Conflicts: 1651000 | #Constraints: 34790
1128.22/1131.89 c #Conflicts: 1652000 | #Constraints: 35793
1128.22/1131.89 c #Conflicts: 1653000 | #Constraints: 36797
1128.22/1131.89 c #Conflicts: 1654000 | #Constraints: 37798
1128.22/1131.89 c #Conflicts: 1655000 | #Constraints: 38801
1128.22/1131.89 c #Conflicts: 1656000 | #Constraints: 39804
1128.22/1131.89 c #Conflicts: 1657000 | #Constraints: 40808
1128.22/1131.89 c #Conflicts: 1658000 | #Constraints: 41811
1128.22/1131.89 c #Conflicts: 1659000 | #Constraints: 42818
1128.22/1131.89 c #Conflicts: 1660000 | #Constraints: 43820
1128.22/1131.89 c bounds 17 >= 17 @ 1116.57
1128.22/1131.89 c cpu time 1116.57 s
1128.22/1131.89 c deterministic time 89350544504 8.94e+10
1128.22/1131.89 c optimization time 0.003115 s
1128.22/1131.89 c total solve time 1116.57 s
1128.22/1131.89 c core-guided solve time 577.011 s
1128.22/1131.89 c propagation time 725.155 s
1128.22/1131.89 c conflict analysis time 353.928 s
1128.22/1131.89 c propagations 169115533
1128.22/1131.89 c resolve steps 10671563
1128.22/1131.89 c decisions 4566372
1128.22/1131.89 c conflicts 1660305
1128.22/1131.89 c restarts 3132
1128.22/1131.89 c inprocessing phases 119
1128.22/1131.89 c garbage collections 119 ,( 100.00 )
1128.22/1131.89 c input clauses 152 ,( 51.53 )
1128.22/1131.89 c input cardinalities 81 ,( 27.46 )
1128.22/1131.89 c input general constraints 62 ,( 21.02 )
1128.22/1131.89 c input average constraint length 39.67
1128.22/1131.89 c input average constraint degree 13.65
1128.22/1131.89 c learned clauses 733072 ,( 43.61 )
1128.22/1131.89 c learned cardinalities 1169 ,( 0.07 )
1128.22/1131.89 c learned general constraints 946785 ,( 56.32 )
1128.22/1131.89 c learned average constraint length 77.55
1128.22/1131.89 c learned average constraint degree 3795880368.80
1128.22/1131.89 c watched CF 32, 64, 128, Arb: 63121 , 0 , 0 , 0
1128.22/1131.89 c counting CF 32, 64, 128, Arb: 883727 , 0 , 0 , 0
1128.22/1131.89 c watched constraints 63121 ,( 6.67 )
1128.22/1131.89 c counting constraints 883726 ,( 93.33 )
1128.22/1131.89 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 159387104 , 346653913 , 2391251633 ,( 67385093 , 2323866540 )
1128.22/1131.89 c gcd simplifications 216513
1128.22/1131.89 c detected cardinalities 26
1128.22/1131.89 c weakened non-implied lits 246786426
1128.22/1131.89 c weakened non-implying lits 618702
1128.22/1131.89 c original variables 299
1128.22/1131.89 c clausal propagations 7829674
1128.22/1131.89 c cardinality propagations 1447539
1128.22/1131.89 c watched propagations 308522
1128.22/1131.89 c counting propagations 153531825
1128.22/1131.89 c watch lookups 75335315099
1128.22/1131.89 c watch backjump lookups 0
1128.22/1131.89 c watch checks 2262234133
1128.22/1131.89 c propagation checks 9566643825
1128.22/1131.89 c constraint additions 1835645803
1128.22/1131.89 c trail pops 175325979
1128.22/1131.89 c formula constraints 103
1128.22/1131.89 c learned constraints 1644303
1128.22/1131.89 c bound constraints 20
1128.22/1131.89 c core-guided constraints 172
1128.22/1131.89 c encountered formula constraints 1386155
1128.22/1131.89 c encountered learned constraints 4320847
1128.22/1131.89 c encountered bound constraints 152
1128.22/1131.89 c encountered core-guided constraints 734992
1128.22/1131.89 c LP total time 47.2835 s
1128.22/1131.89 c LP solve time 35.3 s
1128.22/1131.89 c LP constraints added 226
1128.22/1131.89 c LP constraints removed 116
1128.22/1131.89 c LP pivots internal 1660342
1128.22/1131.89 c LP pivots root 37417
1128.22/1131.89 c LP calls 21388
1128.22/1131.89 c LP optimalities 610
1128.22/1131.89 c LP no pivot count 0
1128.22/1131.89 c LP infeasibilities 20688
1128.22/1131.89 c LP valid Farkas constraints 20600
1128.22/1131.89 c LP learned Farkas constraints 16003
1128.22/1131.89 c LP basis resets 178
1128.22/1131.89 c LP cycling count 90
1128.22/1131.89 c LP singular count 0
1128.22/1131.89 c LP no primal count 0
1128.22/1131.89 c LP no farkas count 88
1128.22/1131.89 c LP other issue count 0
1128.22/1131.89 c LP Gomory cuts 120
1128.22/1131.89 c LP learned cuts 3
1128.22/1131.89 c LP deleted cuts 116
1128.22/1131.89 c LP encountered Gomory constraints 0
1128.22/1131.89 c LP encountered Farkas constraints 5562527
1128.22/1131.89 c LP encountered learned Farkas constraints 311192
1128.22/1131.89 c CG auxiliary variables introduced 62
1128.22/1131.89 c CG solutions found 5
1128.22/1131.89 c CG cores constructed 14
1128.22/1131.89 c CG core cardinality constraints returned 0
1128.22/1131.89 c CG unit cores 0
1128.22/1131.89 c CG single cores 14
1128.22/1131.89 c CG blocks removed during cardinality reduction 0
1128.22/1131.89 c CG first core best 0
1128.22/1131.89 c CG decision core best 0
1128.22/1131.89 c CG core reduction tie 0
1128.22/1131.89 c CG core degree average 1.00
1128.22/1131.89 c CG core slack average 23.71
1128.22/1131.89 c CG core upper bound improvements 15
1128.22/1131.89 c STR number of successful calls 0
1128.22/1131.89 c STR number of unsuccessful calls 0
1128.22/1131.89 c STR number of inconclusive calls 0
1128.22/1131.89 c STR number of successful attempts 0
1128.22/1131.89 c STR number of unsuccessful attempts 0
1128.22/1131.89 c STR number of inconclusive attempts 0
1128.22/1131.89 c STR average degree increase per successful call inf
1128.22/1131.89 c STR average degree increase per successful attempt inf
1128.22/1131.89 c STR total number of conflicts for successful attempts 0
1128.22/1131.89 c STR total number of conflicts for unsuccessful attempts 0
1128.22/1131.89 c STR total number of conflicts for inconclusive attempts 0
1128.22/1131.89 c STR average number of conflicts per successful attempt inf
1128.22/1131.89 c STR average number of conflicts per unsuccessful attempt inf
1128.22/1131.89 c STR average number of conflicts per inconclusive attempt inf
1128.22/1131.89 c AVG.sumWPerc 76.61
1128.22/1131.89 c bigint constraints 0
1128.22/1131.89 o 17
1128.22/1131.89 s OPTIMUM FOUND
1128.32/1131.90 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: 63708 MiB (61503 MiB free)
memory of node 1: 64465 MiB (62483 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4491072-1751370992/watcher-4491072-1751370992 -o /tmp/evaluation-result-4491072-1751370992/solver-4491072-1751370992 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751363764-59059 --watchdog 3760 run-opt-ls.sh HOME/instance-4491072-1751370992.opb
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 VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el
solver pid=59885, runsolver pid=59882
Current StackSize limit: 8192 KiB
[startup+0.100055 s]*
/proc/loadavg: 4.17 4.13 4.10 5/263 59891
/proc/meminfo: memFree=126963264/131249992 swapFree=33010684/33010684
[pid=59885] ppid=59882 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/59885/stat : 59885 (run-opt-ls.sh) S 59882 59885 59048 0 -1 4194304 237 323 0 0 0 0 0 0 20 0 1 0 52778020 4292608 768 18446744073709551615 94388662095872 94388662990405 140731432803152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94388663229456 94388663277200 94388688019456 140731432806759 140731432806885 140731432806885 140731432812487 0
/proc/59885/statm: 1048 768 704 219 0 110 0
[pid=59888] ppid=59885 vsize=57540 memory=12672 CPUtime=0.06 cores=4,6
/proc/59888/stat : 59888 (roundingsat) R 59885 59885 59048 0 -1 4194304 943 0 0 0 6 0 0 0 20 0 1 0 52778022 58920960 3168 18446744073709551615 4227072 8923433 140729572175760 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38117376 140729572182342 140729572182568 140729572182568 140729572188138 0
/proc/59888/statm: 14385 3168 2464 1147 0 1812 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 61732 KiB
Current children cumulated memory: 15744 KiB
[startup+0.205518 s]*
/proc/loadavg: 4.17 4.13 4.10 4/261 59898
/proc/meminfo: memFree=126959036/131249992 swapFree=33010684/33010684
[pid=59885] ppid=59882 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/59885/stat : 59885 (run-opt-ls.sh) S 59882 59885 59048 0 -1 4194304 237 323 0 0 0 0 0 0 20 0 1 0 52778020 4292608 768 18446744073709551615 94388662095872 94388662990405 140731432803152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94388663229456 94388663277200 94388688019456 140731432806759 140731432806885 140731432806885 140731432812487 0
/proc/59885/statm: 1048 768 704 219 0 110 0
[pid=59888] ppid=59885 vsize=60100 memory=17312 CPUtime=0.17 cores=4,6
/proc/59888/stat : 59888 (roundingsat) R 59885 59885 59048 0 -1 4194304 1582 0 0 0 16 1 0 0 20 0 1 0 52778022 61542400 4328 18446744073709551615 4227072 8923433 140729572175760 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38117376 140729572182342 140729572182568 140729572182568 140729572188138 0
/proc/59888/statm: 15025 4328 2464 1147 0 2452 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 64292 KiB
Current children cumulated memory: 20384 KiB
[startup+0.305247 s]*
/proc/loadavg: 4.17 4.13 4.10 4/261 59905
/proc/meminfo: memFree=126954828/131249992 swapFree=33010684/33010684
[pid=59885] ppid=59882 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/59885/stat : 59885 (run-opt-ls.sh) S 59882 59885 59048 0 -1 4194304 237 323 0 0 0 0 0 0 20 0 1 0 52778020 4292608 768 18446744073709551615 94388662095872 94388662990405 140731432803152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94388663229456 94388663277200 94388688019456 140731432806759 140731432806885 140731432806885 140731432812487 0
/proc/59885/statm: 1048 768 704 219 0 110 0
[pid=59888] ppid=59885 vsize=61540 memory=18464 CPUtime=0.27 cores=4,6
/proc/59888/stat : 59888 (roundingsat) R 59885 59885 59048 0 -1 4194304 1881 0 0 0 25 2 0 0 20 0 1 0 52778022 63016960 4616 18446744073709551615 4227072 8923433 140729572175760 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38117376 140729572182342 140729572182568 140729572182568 140729572188138 0
/proc/59888/statm: 15385 4616 2464 1147 0 2812 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 65732 KiB
Current children cumulated memory: 21536 KiB
[startup+0.700158 s]
/proc/loadavg: 4.16 4.12 4.09 4/261 59911
/proc/meminfo: memFree=126938924/131249992 swapFree=33010684/33010684
[pid=59885] ppid=59882 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/59885/stat : 59885 (run-opt-ls.sh) S 59882 59885 59048 0 -1 4194304 237 323 0 0 0 0 0 0 20 0 1 0 52778020 4292608 768 18446744073709551615 94388662095872 94388662990405 140731432803152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94388663229456 94388663277200 94388688019456 140731432806759 140731432806885 140731432806885 140731432812487 0
/proc/59885/statm: 1048 768 704 219 0 110 0
[pid=59888] ppid=59885 vsize=64984 memory=23420 CPUtime=0.64 cores=4,6
/proc/59888/stat : 59888 (roundingsat) R 59885 59885 59048 0 -1 4194304 2599 0 0 0 61 3 0 0 20 0 1 0 52778022 66543616 5855 18446744073709551615 4227072 8923433 140729572175760 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38117376 140729572182342 140729572182568 140729572182568 140729572188138 0
/proc/59888/statm: 16246 5855 2464 1147 0 3673 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 69176 KiB
Current children cumulated memory: 26492 KiB
[startup+1.50016 s]
/proc/loadavg: 4.16 4.12 4.09 4/263 59935
/proc/meminfo: memFree=126946204/131249992 swapFree=33010684/33010684
[pid=59885] ppid=59882 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/59885/stat : 59885 (run-opt-ls.sh) S 59882 59885 59048 0 -1 4194304 237 323 0 0 0 0 0 0 20 0 1 0 52778020 4292608 768 18446744073709551615 94388662095872 94388662990405 140731432803152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94388663229456 94388663277200 94388688019456 140731432806759 140731432806885 140731432806885 140731432812487 0
/proc/59885/statm: 1048 768 704 219 0 110 0
[pid=59888] ppid=59885 vsize=66700 memory=24956 CPUtime=1.44 cores=4,6
/proc/59888/stat : 59888 (roundingsat) R 59885 59885 59048 0 -1 4194304 2991 0 0 0 136 8 0 0 20 0 1 0 52778022 68300800 6239 18446744073709551615 4227072 8923433 140729572175760 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38117376 140729572182342 140729572182568 140729572182568 140729572188138 0
/proc/59888/statm: 16675 6239 2464 1147 0 4102 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 70892 KiB
Current children cumulated memory: 28028 KiB
[startup+3.10522 s]
/proc/loadavg: 4.16 4.12 4.09 5/266 59968
/proc/meminfo: memFree=126883704/131249992 swapFree=33010684/33010684
[pid=59885] ppid=59882 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/59885/stat : 59885 (run-opt-ls.sh) S 59882 59885 59048 0 -1 4194304 237 323 0 0 0 0 0 0 20 0 1 0 52778020 4292608 768 18446744073709551615 94388662095872 94388662990405 140731432803152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94388663229456 94388663277200 94388688019456 140731432806759 140731432806885 140731432806885 140731432812487 0
/proc/59885/statm: 1048 768 704 219 0 110 0
[pid=59888] ppid=59885 vsize=69956 memory=27772 CPUtime=3.04 cores=4,6
/proc/59888/stat : 59888 (roundingsat) R 59885 59885 59048 0 -1 4194304 3699 0 0 0 290 14 0 0 20 0 1 0 52778022 71634944 6943 18446744073709551615 4227072 8923433 140729572175760 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38117376 140729572182342 140729572182568 140729572182568 140729572188138 0
/proc/59888/statm: 17489 6943 2464 1147 0 4916 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 74148 KiB
Current children cumulated memory: 30844 KiB
[startup+6.3002 s]
/proc/loadavg: 4.14 4.12 4.09 5/266 60015
/proc/meminfo: memFree=126859656/131249992 swapFree=33010684/33010684
[pid=59885] ppid=59882 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/59885/stat : 59885 (run-opt-ls.sh) S 59882 59885 59048 0 -1 4194304 237 323 0 0 0 0 0 0 20 0 1 0 52778020 4292608 768 18446744073709551615 94388662095872 94388662990405 140731432803152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94388663229456 94388663277200 94388688019456 140731432806759 140731432806885 140731432806885 140731432812487 0
/proc/59885/statm: 1048 768 704 219 0 110 0
[pid=59888] ppid=59885 vsize=75748 memory=30844 CPUtime=6.22 cores=4,6
/proc/59888/stat : 59888 (roundingsat) R 59885 59885 59048 0 -1 4194304 4473 0 0 0 602 20 0 0 20 0 1 0 52778022 77565952 7711 18446744073709551615 4227072 8923433 140729572175760 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38117376 140729572182342 140729572182568 140729572182568 140729572188138 0
/proc/59888/statm: 18937 7711 2464 1147 0 6364 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 79940 KiB
Current children cumulated memory: 33916 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.12 4.09 5/266 60015
/proc/meminfo: memFree=126809944/131249992 swapFree=33010684/33010684
[pid=59885] ppid=59882 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/59885/stat : 59885 (run-opt-ls.sh) S 59882 59885 59048 0 -1 4194304 237 323 0 0 0 0 0 0 20 0 1 0 52778020 4292608 768 18446744073709551615 94388662095872 94388662990405 140731432803152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94388663229456 94388663277200 94388688019456 140731432806759 140731432806885 140731432806885 140731432812487 0
/proc/59885/statm: 1048 768 704 219 0 110 0
[pid=59888] ppid=59885 vsize=83396 memory=39292 CPUtime=12.6 cores=4,6
/proc/59888/stat : 59888 (roundingsat) R 59885 59885 59048 0 -1 4194304 6582 0 0 0 1227 33 0 0 20 0 1 0 52778022 85397504 9823 18446744073709551615 4227072 8923433 140729572175760 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38117376 140729572182342 140729572182568 140729572182568 140729572188138 0
/proc/59888/statm: 20849 9823 2464 1147 0 8276 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 87588 KiB
Current children cumulated memory: 42364 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.11 4.09 5/266 60015
/proc/meminfo: memFree=126774852/131249992 swapFree=33010684/33010684
[pid=59885] ppid=59882 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/59885/stat : 59885 (run-opt-ls.sh) S 59882 59885 59048 0 -1 4194304 237 323 0 0 0 0 0 0 20 0 1 0 52778020 4292608 768 18446744073709551615 94388662095872 94388662990405 140731432803152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94388663229456 94388663277200 94388688019456 140731432806759 140731432806885 140731432806885 140731432812487 0
/proc/59885/statm: 1048 768 704 219 0 110 0
[pid=59888] ppid=59885 vsize=93164 memory=44924 CPUtime=25.36 cores=4,6
/proc/59888/stat : 59888 (roundingsat) R 59885 59885 59048 0 -1 4194304 8035 0 0 0 2478 58 0 0 20 0 1 0 52778022 95399936 11231 18446744073709551615 4227072 8923433 140729572175760 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38117376 140729572182342 140729572182568 140729572182568 140729572188138 0
/proc/59888/statm: 23291 11231 2464 1147 0 10718 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 97356 KiB
Current children cumulated memory: 47996 KiB
[startup+51.1053 s]
/proc/loadavg: 4.12 4.12 4.09 5/266 60015
/proc/meminfo: memFree=126654780/131249992 swapFree=33010684/33010684
[pid=59885] ppid=59882 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/59885/stat : 59885 (run-opt-ls.sh) S 59882 59885 59048 0 -1 4194304 237 323 0 0 0 0 0 0 20 0 1 0 52778020 4292608 768 18446744073709551615 94388662095872 94388662990405 140731432803152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94388663229456 94388663277200 94388688019456 140731432806759 140731432806885 140731432806885 140731432812487 0
/proc/59885/statm: 1048 768 704 219 0 110 0
[pid=59888] ppid=59885 vsize=109832 memory=56804 CPUtime=50.89 cores=4,6
/proc/59888/stat : 59888 (roundingsat) R 59885 59885 59048 0 -1 4194304 10556 0 0 0 4989 100 0 0 20 0 1 0 52778022 112467968 14201 18446744073709551615 4227072 8923433 140729572175760 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38117376 140729572182342 140729572182568 140729572182568 140729572188138 0
/proc/59888/statm: 27458 14201 2464 1147 0 14885 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 114024 KiB
Current children cumulated memory: 59876 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/266 60017
/proc/meminfo: memFree=126567532/131249992 swapFree=33010684/33010684
[pid=59885] ppid=59882 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/59885/stat : 59885 (run-opt-ls.sh) S 59882 59885 59048 0 -1 4194304 237 323 0 0 0 0 0 0 20 0 1 0 52778020 4292608 768 18446744073709551615 94388662095872 94388662990405 140731432803152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94388663229456 94388663277200 94388688019456 140731432806759 140731432806885 140731432806885 140731432812487 0
/proc/59885/statm: 1048 768 704 219 0 110 0
[pid=59888] ppid=59885 vsize=119508 memory=68132 CPUtime=101.93 cores=4,6
/proc/59888/stat : 59888 (roundingsat) R 59885 59885 59048 0 -1 4194304 13295 0 0 0 10020 173 0 0 20 0 1 0 52778022 122376192 17033 18446744073709551615 4227072 8923433 140729572175760 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38117376 140729572182342 140729572182568 140729572182568 140729572188138 0
/proc/59888/statm: 29877 17033 2464 1147 0 17304 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 123700 KiB
Current children cumulated memory: 71204 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/267 60020
/proc/meminfo: memFree=126509988/131249992 swapFree=33010684/33010684
[pid=59885] ppid=59882 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/59885/stat : 59885 (run-opt-ls.sh) S 59882 59885 59048 0 -1 4194304 237 323 0 0 0 0 0 0 20 0 1 0 52778020 4292608 768 18446744073709551615 94388662095872 94388662990405 140731432803152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94388663229456 94388663277200 94388688019456 140731432806759 140731432806885 140731432806885 140731432812487 0
/proc/59885/statm: 1048 768 704 219 0 110 0
[pid=59888] ppid=59885 vsize=133228 memory=79784 CPUtime=161.75 cores=4,6
/proc/59888/stat : 59888 (roundingsat) R 59885 59885 59048 0 -1 4194304 17775 0 0 0 15925 250 0 0 20 0 1 0 52778022 136425472 19946 18446744073709551615 4227072 8923433 140729572175760 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38117376 140729572182342 140729572182568 140729572182568 140729572188138 0
/proc/59888/statm: 33307 19946 2464 1147 0 20734 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 137420 KiB
Current children cumulated memory: 82856 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/267 60022
/proc/meminfo: memFree=126438256/131249992 swapFree=33010684/33010684
[pid=59885] ppid=59882 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/59885/stat : 59885 (run-opt-ls.sh) S 59882 59885 59048 0 -1 4194304 237 323 0 0 0 0 0 0 20 0 1 0 52778020 4292608 768 18446744073709551615 94388662095872 94388662990405 140731432803152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94388663229456 94388663277200 94388688019456 140731432806759 140731432806885 140731432806885 140731432812487 0
/proc/59885/statm: 1048 768 704 219 0 110 0
[pid=59888] ppid=59885 vsize=138244 memory=91832 CPUtime=221.57 cores=4,6
/proc/59888/stat : 59888 (roundingsat) R 59885 59885 59048 0 -1 4194304 19708 0 0 0 21845 312 0 0 20 0 1 0 52778022 141561856 22958 18446744073709551615 4227072 8923433 140729572175760 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38117376 140729572182342 140729572182568 140729572182568 140729572188138 0
/proc/59888/statm: 34561 22958 2464 1147 0 21988 0
Current children cumulated CPU time: 221.57 s
################
# More data... #
################
/proc/59888/stat : 59888 (roundingsat) R 59885 59885 59048 0 -1 4194304 34402 0 0 0 81050 912 0 0 20 0 1 0 52778022 192929792 35109 18446744073709551615 4227072 8923433 140729572175760 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38117376 140729572182342 140729572182568 140729572182568 140729572188138 0
/proc/59888/statm: 47102 35109 2464 1147 0 34529 0
Current children cumulated CPU time: 819.62 s
Current children cumulated vsize: 192600 KiB
Current children cumulated memory: 143508 KiB
[startup+882.3 s]
/proc/loadavg: 4.22 4.21 4.14 5/267 60063
/proc/meminfo: memFree=126211608/131249992 swapFree=33010684/33010684
[pid=59885] ppid=59882 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/59885/stat : 59885 (run-opt-ls.sh) S 59882 59885 59048 0 -1 4194304 237 323 0 0 0 0 0 0 20 0 1 0 52778020 4292608 768 18446744073709551615 94388662095872 94388662990405 140731432803152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94388663229456 94388663277200 94388688019456 140731432806759 140731432806885 140731432806885 140731432812487 0
/proc/59885/statm: 1048 768 704 219 0 110 0
[pid=59888] ppid=59885 vsize=188764 memory=140584 CPUtime=879.44 cores=4,6
/proc/59888/stat : 59888 (roundingsat) R 59885 59885 59048 0 -1 4194304 34908 0 0 0 86974 970 0 0 20 0 1 0 52778022 193294336 35146 18446744073709551615 4227072 8923433 140729572175760 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38117376 140729572182342 140729572182568 140729572182568 140729572188138 0
/proc/59888/statm: 47191 35146 2464 1147 0 34618 0
Current children cumulated CPU time: 879.44 s
Current children cumulated vsize: 192956 KiB
Current children cumulated memory: 143656 KiB
[startup+942.3 s]
/proc/loadavg: 4.18 4.20 4.14 5/267 60065
/proc/meminfo: memFree=126217860/131249992 swapFree=33010684/33010684
[pid=59885] ppid=59882 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/59885/stat : 59885 (run-opt-ls.sh) S 59882 59885 59048 0 -1 4194304 237 323 0 0 0 0 0 0 20 0 1 0 52778020 4292608 768 18446744073709551615 94388662095872 94388662990405 140731432803152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94388663229456 94388663277200 94388688019456 140731432806759 140731432806885 140731432806885 140731432812487 0
/proc/59885/statm: 1048 768 704 219 0 110 0
[pid=59888] ppid=59885 vsize=190752 memory=141692 CPUtime=939.28 cores=4,6
/proc/59888/stat : 59888 (roundingsat) R 59885 59885 59048 0 -1 4194304 35802 0 0 0 92901 1027 0 0 20 0 1 0 52778022 195330048 35423 18446744073709551615 4227072 8923433 140729572175760 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38117376 140729572182342 140729572182568 140729572182568 140729572188138 0
/proc/59888/statm: 47688 35423 2464 1147 0 35115 0
Current children cumulated CPU time: 939.28 s
Current children cumulated vsize: 194944 KiB
Current children cumulated memory: 144764 KiB
[startup+1002.3 s]
/proc/loadavg: 4.19 4.19 4.14 5/267 60067
/proc/meminfo: memFree=126223008/131249992 swapFree=33010684/33010684
[pid=59885] ppid=59882 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/59885/stat : 59885 (run-opt-ls.sh) S 59882 59885 59048 0 -1 4194304 237 323 0 0 0 0 0 0 20 0 1 0 52778020 4292608 768 18446744073709551615 94388662095872 94388662990405 140731432803152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94388663229456 94388663277200 94388688019456 140731432806759 140731432806885 140731432806885 140731432812487 0
/proc/59885/statm: 1048 768 704 219 0 110 0
[pid=59888] ppid=59885 vsize=193500 memory=144304 CPUtime=999.09 cores=4,6
/proc/59888/stat : 59888 (roundingsat) R 59885 59885 59048 0 -1 4194304 36610 0 0 0 98832 1077 0 0 20 0 1 0 52778022 198144000 36076 18446744073709551615 4227072 8923433 140729572175760 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38117376 140729572182342 140729572182568 140729572182568 140729572188138 0
/proc/59888/statm: 48375 36076 2464 1147 0 35802 0
Current children cumulated CPU time: 999.09 s
Current children cumulated vsize: 197692 KiB
Current children cumulated memory: 147376 KiB
[startup+1062.3 s]
/proc/loadavg: 4.11 4.17 4.13 5/268 60076
/proc/meminfo: memFree=126185908/131249992 swapFree=33010684/33010684
[pid=59885] ppid=59882 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/59885/stat : 59885 (run-opt-ls.sh) S 59882 59885 59048 0 -1 4194304 237 323 0 0 0 0 0 0 20 0 1 0 52778020 4292608 768 18446744073709551615 94388662095872 94388662990405 140731432803152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94388663229456 94388663277200 94388688019456 140731432806759 140731432806885 140731432806885 140731432812487 0
/proc/59885/statm: 1048 768 704 219 0 110 0
[pid=59888] ppid=59885 vsize=194908 memory=145720 CPUtime=1058.92 cores=4,6
/proc/59888/stat : 59888 (roundingsat) R 59885 59885 59048 0 -1 4194304 37128 0 0 0 104767 1125 0 0 20 0 1 0 52778022 199585792 36430 18446744073709551615 4227072 8923433 140729572175760 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38117376 140729572182342 140729572182568 140729572182568 140729572188138 0
/proc/59888/statm: 48727 36430 2464 1147 0 36154 0
Current children cumulated CPU time: 1058.92 s
Current children cumulated vsize: 199100 KiB
Current children cumulated memory: 148792 KiB
[startup+1122.3 s]
/proc/loadavg: 4.07 4.15 4.12 5/268 60078
/proc/meminfo: memFree=126196936/131249992 swapFree=33010684/33010684
[pid=59885] ppid=59882 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/59885/stat : 59885 (run-opt-ls.sh) S 59882 59885 59048 0 -1 4194304 237 323 0 0 0 0 0 0 20 0 1 0 52778020 4292608 768 18446744073709551615 94388662095872 94388662990405 140731432803152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94388663229456 94388663277200 94388688019456 140731432806759 140731432806885 140731432806885 140731432812487 0
/proc/59885/statm: 1048 768 704 219 0 110 0
[pid=59888] ppid=59885 vsize=220516 memory=153648 CPUtime=1118.75 cores=4,6
/proc/59888/stat : 59888 (roundingsat) R 59885 59885 59048 0 -1 4194304 38980 0 0 0 110706 1169 0 0 20 0 1 0 52778022 225808384 38412 18446744073709551615 4227072 8923433 140729572175760 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38117376 140729572182342 140729572182568 140729572182568 140729572188138 0
/proc/59888/statm: 55129 38412 2464 1147 0 42556 0
Current children cumulated CPU time: 1118.75 s
Current children cumulated vsize: 224708 KiB
Current children cumulated memory: 156720 KiB
[startup+1131.9 s]
# the end of solver process 59885 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1116.57 s, system=11.7662 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1126.4 s]
/proc/loadavg: 4.06 4.15 4.12 5/268 60078
/proc/meminfo: memFree=126192904/131249992 swapFree=33010684/33010684
[pid=59885] ppid=59882 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/59885/stat : 59885 (run-opt-ls.sh) S 59882 59885 59048 0 -1 4194304 237 323 0 0 0 0 0 0 20 0 1 0 52778020 4292608 768 18446744073709551615 94388662095872 94388662990405 140731432803152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94388663229456 94388663277200 94388688019456 140731432806759 140731432806885 140731432806885 140731432812487 0
/proc/59885/statm: 1048 768 704 219 0 110 0
[pid=59888] ppid=59885 vsize=220516 memory=153648 CPUtime=1122.84 cores=4,6
/proc/59888/stat : 59888 (roundingsat) R 59885 59885 59048 0 -1 4194304 38985 0 0 0 111112 1172 0 0 20 0 1 0 52778022 225808384 38412 18446744073709551615 4227072 8923433 140729572175760 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38117376 140729572182342 140729572182568 140729572182568 140729572188138 0
/proc/59888/statm: 55129 38412 2464 1147 0 42556 0
Current children cumulated CPU time: 1122.84 s
Current children cumulated vsize: 224708 KiB
Current children cumulated memory: 156720 KiB
[startup+1129.6 s]
/proc/loadavg: 4.06 4.15 4.12 5/268 60078
/proc/meminfo: memFree=126192904/131249992 swapFree=33010684/33010684
[pid=59885] ppid=59882 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/59885/stat : 59885 (run-opt-ls.sh) S 59882 59885 59048 0 -1 4194304 237 323 0 0 0 0 0 0 20 0 1 0 52778020 4292608 768 18446744073709551615 94388662095872 94388662990405 140731432803152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94388663229456 94388663277200 94388688019456 140731432806759 140731432806885 140731432806885 140731432812487 0
/proc/59885/statm: 1048 768 704 219 0 110 0
[pid=59888] ppid=59885 vsize=220516 memory=153648 CPUtime=1126.03 cores=4,6
/proc/59888/stat : 59888 (roundingsat) R 59885 59885 59048 0 -1 4194304 38985 0 0 0 111428 1175 0 0 20 0 1 0 52778022 225808384 38412 18446744073709551615 4227072 8923433 140729572175760 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38117376 140729572182342 140729572182568 140729572182568 140729572188138 0
/proc/59888/statm: 55129 38412 2464 1147 0 42556 0
Current children cumulated CPU time: 1126.03 s
Current children cumulated vsize: 224708 KiB
Current children cumulated memory: 156720 KiB
[startup+1131.2 s]
/proc/loadavg: 4.06 4.14 4.12 5/268 60078
/proc/meminfo: memFree=126192904/131249992 swapFree=33010684/33010684
[pid=59885] ppid=59882 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/59885/stat : 59885 (run-opt-ls.sh) S 59882 59885 59048 0 -1 4194304 237 323 0 0 0 0 0 0 20 0 1 0 52778020 4292608 768 18446744073709551615 94388662095872 94388662990405 140731432803152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94388663229456 94388663277200 94388688019456 140731432806759 140731432806885 140731432806885 140731432812487 0
/proc/59885/statm: 1048 768 704 219 0 110 0
[pid=59888] ppid=59885 vsize=220516 memory=153648 CPUtime=1127.62 cores=4,6
/proc/59888/stat : 59888 (roundingsat) R 59885 59885 59048 0 -1 4194304 38985 0 0 0 111587 1175 0 0 20 0 1 0 52778022 225808384 38412 18446744073709551615 4227072 8923433 140729572175760 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38117376 140729572182342 140729572182568 140729572182568 140729572188138 0
/proc/59888/statm: 55129 38412 2464 1147 0 42556 0
Current children cumulated CPU time: 1127.62 s
Current children cumulated vsize: 224708 KiB
Current children cumulated memory: 156720 KiB
[startup+1131.6 s]
/proc/loadavg: 4.06 4.14 4.12 5/268 60078
/proc/meminfo: memFree=126192904/131249992 swapFree=33010684/33010684
[pid=59885] ppid=59882 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/59885/stat : 59885 (run-opt-ls.sh) S 59882 59885 59048 0 -1 4194304 237 323 0 0 0 0 0 0 20 0 1 0 52778020 4292608 768 18446744073709551615 94388662095872 94388662990405 140731432803152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94388663229456 94388663277200 94388688019456 140731432806759 140731432806885 140731432806885 140731432812487 0
/proc/59885/statm: 1048 768 704 219 0 110 0
[pid=59888] ppid=59885 vsize=220516 memory=153648 CPUtime=1128.02 cores=4,6
/proc/59888/stat : 59888 (roundingsat) R 59885 59885 59048 0 -1 4194304 38985 0 0 0 111627 1175 0 0 20 0 1 0 52778022 225808384 38412 18446744073709551615 4227072 8923433 140729572175760 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38117376 140729572182342 140729572182568 140729572182568 140729572188138 0
/proc/59888/statm: 55129 38412 2464 1147 0 42556 0
Current children cumulated CPU time: 1128.02 s
Current children cumulated vsize: 224708 KiB
Current children cumulated memory: 156720 KiB
[startup+1131.8 s]
/proc/loadavg: 4.06 4.14 4.12 5/268 60078
/proc/meminfo: memFree=126192904/131249992 swapFree=33010684/33010684
[pid=59885] ppid=59882 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/59885/stat : 59885 (run-opt-ls.sh) S 59882 59885 59048 0 -1 4194304 237 323 0 0 0 0 0 0 20 0 1 0 52778020 4292608 768 18446744073709551615 94388662095872 94388662990405 140731432803152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94388663229456 94388663277200 94388688019456 140731432806759 140731432806885 140731432806885 140731432812487 0
/proc/59885/statm: 1048 768 704 219 0 110 0
[pid=59888] ppid=59885 vsize=220516 memory=153648 CPUtime=1128.22 cores=4,6
/proc/59888/stat : 59888 (roundingsat) R 59885 59885 59048 0 -1 4194304 38985 0 0 0 111647 1175 0 0 20 0 1 0 52778022 225808384 38412 18446744073709551615 4227072 8923433 140729572175760 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38117376 140729572182342 140729572182568 140729572182568 140729572188138 0
/proc/59888/statm: 55129 38412 2464 1147 0 42556 0
Current children cumulated CPU time: 1128.22 s
Current children cumulated vsize: 224708 KiB
Current children cumulated memory: 156720 KiB
[startup+1131.9 s]
/proc/loadavg: 4.06 4.14 4.12 5/268 60078
/proc/meminfo: memFree=126192904/131249992 swapFree=33010684/33010684
[pid=59885] ppid=59882 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/59885/stat : 59885 (run-opt-ls.sh) S 59882 59885 59048 0 -1 4194304 237 323 0 0 0 0 0 0 20 0 1 0 52778020 4292608 768 18446744073709551615 94388662095872 94388662990405 140731432803152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94388663229456 94388663277200 94388688019456 140731432806759 140731432806885 140731432806885 140731432812487 0
/proc/59885/statm: 1048 768 704 219 0 110 0
[pid=59888] ppid=59885 vsize=191256 memory=130032 CPUtime=1128.32 cores=4,6
/proc/59888/stat : 59888 (roundingsat) R 59885 59885 59048 0 -1 4194304 38985 0 0 0 111657 1175 0 0 20 0 1 0 52778022 195846144 32508 18446744073709551615 4227072 8923433 140729572175760 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38117376 140729572182342 140729572182568 140729572182568 140729572188138 0
/proc/59888/statm: 47814 32508 2464 1147 0 35241 0
Current children cumulated CPU time: 1128.32 s
Current children cumulated vsize: 195448 KiB
Current children cumulated memory: 133104 KiB
Child status: 0
Real time (s): 1131.9
CPU time (s): 1128.34
CPU user time (s): 1116.57
CPU system time (s): 11.7662
CPU usage (%): 99.6852
Max. virtual memory (cumulated for all children) (KiB): 224708
Max. memory (cumulated for all children) (KiB): 156720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1116.57
system time used= 11.7662
maximum resident set size= 153648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39568
page faults= 0
swaps= 0
block input operations= 0
block output operations= 32
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 255
involuntary context switches= 6736
# summary of solver processes directly reported to runsolver:
# pid: 59885
# total CPU time (s): 1128.34
# total CPU user time (s): 1116.57
# total CPU system time (s): 11.7662
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.42553 second user time and 4.83245 second system time
The end
Begin job on nodeC025 at 2025-07-01 13:56:33
IDJOB=4491072
IDBENCH=147676
IDSOLVER=3355
FILE ID=nodeC025/4491072-1751370992
RUNJOBID= nodeC025-1751363764-59059
SLURM_JOB_ID= 9598181
Free space on /tmp= 433040 MiB
SOLVER NAME= roundingsat-ls+pbsuma 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.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4491072-1751370992/watcher-4491072-1751370992 -o /tmp/evaluation-result-4491072-1751370992/solver-4491072-1751370992 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751363764-59059 --watchdog 3760 run-opt-ls.sh HOME/instance-4491072-1751370992.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 534ed9c29a1c7647bd6acd36efe0613e
RANDOM SEED=1032460297
nodeC025 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.794
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.67
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.885
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.331
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.829
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.67
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.214
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.67
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.806
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.827
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.813
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 126963136 kB
MemAvailable: 129702876 kB
Buffers: 3280 kB
Cached: 3537968 kB
SwapCached: 0 kB
Active: 488288 kB
Inactive: 3198788 kB
Active(anon): 163912 kB
Inactive(anon): 0 kB
Active(file): 324376 kB
Inactive(file): 3198788 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 22348 kB
Writeback: 0 kB
AnonPages: 148908 kB
Mapped: 113820 kB
Shmem: 18084 kB
KReclaimable: 111628 kB
Slab: 200688 kB
SReclaimable: 111628 kB
SUnreclaim: 89060 kB
KernelStack: 4240 kB
PageTables: 3400 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 466656 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 20480 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: 207572 kB
DirectMap2M: 9000960 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433024 MiB
End job on nodeC025 at 2025-07-01 14:15:25