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-4531780-1752588268.opb'
0.00/0.01 c read 0.01MB (0.28ms)
0.00/0.01 c [cnf: #variables 299 #clauses 101 #duplicates 0 #arr 1751]
0.00/0.29 c output proof to 'PROOFDIR/proof-4531780-1752588268'
0.00/0.29 c
0.00/0.29 c make graph and approximate orbits
0.00/0.29 c [group: #orbits ~= 4] (0.29ms)
0.00/0.29 c
0.00/0.29 c detect special group actions
0.00/0.29 c probe for Johnson action (limit=64)
0.00/0.29 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.29 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.29 c found row 3x2, generating row predicate
0.00/0.29 c (0.08ms)
0.00/0.29 c
0.00/0.29 c detect symmetries on remainder
0.00/0.29 c [graph: #vertices 998 #edges 4698]
0.00/0.29 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.29 c [group: #symmetries 2.00*10^0 #generators 1] (0.27ms)
0.00/0.29 c
0.00/0.29 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.29 c (0.00ms)
0.00/0.29 c
0.00/0.29 c finalize break order and special generators
0.00/0.29 c
0.00/0.29 c add generic predicates (break_depth=20)
0.00/0.29 c added predicates for 1 generators (0.00ms)
0.00/0.29 c
0.00/0.29 c generation finished
0.00/0.29 c [sbp: #constraints 3 #add_vars 0]
0.00/0.29 c
0.00/0.29 c write result to 'HOME/instance-4531780-1752588268.opb.pre'
0.00/0.29 c wrote 0.01MB (0.12ms)
0.00/0.29 c ------------------------------------------------------------------
0.00/0.29 c 284.34ms 99.63% other
0.00/0.29 c 0.29ms 0.10% approx_orbits
0.00/0.29 c 0.28ms 0.10% parse
0.00/0.29 c 0.27ms 0.09% detect_generic
0.00/0.29 c 0.12ms 0.04% output
0.00/0.29 c 0.08ms 0.03% detect_special
0.00/0.29 c 0.01ms 0.00% finalize_order
0.00/0.29 c 0.00ms 0.00% optimize_gens
0.00/0.29 c 0.00ms 0.00% break_generic
0.00/0.29 c ───────────────────────────────────────────────
0.00/0.29 c 285.39ms 100% total
0.00/0.29 c ------------------------------------------------------------------
0.00/0.31 c RoundingSat 2
0.00/0.31 c branch pb25
0.00/0.31 c commit 0f876b3
0.00/0.33 c #variables 299 #constraints 103
0.00/0.33 c objective is ce32
0.00/0.33 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.33 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.33 c bounds 22 >= 0 @ 0.003913
0.00/0.34 c rational objective 14.1297
0.07/0.46 c bounds 21 >= 0 @ 0.128009
0.07/0.46 c bounds 21 >= 1 @ 0.128191
0.07/0.46 c bounds 21 >= 2 @ 0.128309
0.07/0.46 c bounds 21 >= 3 @ 0.128472
0.07/0.46 c bounds 21 >= 4 @ 0.128669
0.07/0.46 c bounds 21 >= 5 @ 0.128985
0.07/0.46 c bounds 21 >= 6 @ 0.129187
0.07/0.46 c bounds 21 >= 7 @ 0.129558
0.07/0.46 c bounds 21 >= 8 @ 0.130077
0.07/0.48 c bounds 20 >= 8 @ 0.143373
0.07/0.48 c bounds 20 >= 9 @ 0.147008
0.17/0.51 c bounds 20 >= 10 @ 0.170936
0.26/0.69 c #Conflicts: 1000 | #Constraints: 1219
0.26/0.69 c bounds 19 >= 10 @ 0.33367
0.46/0.83 c #Conflicts: 2000 | #Constraints: 2225
0.46/0.83 c INPROCESSING
0.46/0.83 c GARBAGE COLLECT
0.46/0.83 c rational objective 14.1643
0.66/1.00 c bounds 18 >= 10 @ 0.631491
1.15/1.50 c #Conflicts: 3000 | #Constraints: 2216
1.15/1.50 c #Conflicts: 4000 | #Constraints: 3234
1.15/1.50 c INPROCESSING
1.15/1.50 c GARBAGE COLLECT
1.15/1.50 c rational objective 14.1645
1.35/1.70 c bounds 18 >= 11 @ 1.29998
1.95/2.32 c #Conflicts: 5000 | #Constraints: 2636
1.95/2.32 c #Conflicts: 6000 | #Constraints: 3639
1.95/2.32 c INPROCESSING
1.95/2.32 c GARBAGE COLLECT
1.95/2.32 c rational objective 14.1645
2.76/3.16 c #Conflicts: 7000 | #Constraints: 2624
2.76/3.16 c #Conflicts: 8000 | #Constraints: 3682
2.76/3.16 c #Conflicts: 9000 | #Constraints: 4715
2.76/3.16 c INPROCESSING
2.76/3.16 c GARBAGE COLLECT
2.76/3.16 c rational objective 14.1645
2.95/3.33 c bounds 18 >= 12 @ 2.87628
3.85/4.22 c #Conflicts: 10000 | #Constraints: 3400
3.85/4.22 c #Conflicts: 11000 | #Constraints: 4454
3.85/4.22 c #Conflicts: 12000 | #Constraints: 5473
3.85/4.22 c INPROCESSING
3.85/4.22 c GARBAGE COLLECT
3.85/4.22 c rational objective 14.1645
5.14/5.56 c #Conflicts: 13000 | #Constraints: 3881
5.14/5.56 c #Conflicts: 14000 | #Constraints: 4902
5.14/5.56 c #Conflicts: 15000 | #Constraints: 5997
5.14/5.56 c INPROCESSING
5.14/5.56 c GARBAGE COLLECT
5.14/5.56 c rational objective 14.1646
6.44/6.84 c #Conflicts: 16000 | #Constraints: 4111
6.44/6.84 c #Conflicts: 17000 | #Constraints: 5133
6.44/6.84 c #Conflicts: 18000 | #Constraints: 6159
6.44/6.84 c INPROCESSING
6.44/6.84 c GARBAGE COLLECT
6.44/6.84 c rational objective 14.1646
8.13/8.52 c #Conflicts: 19000 | #Constraints: 4092
8.13/8.52 c #Conflicts: 20000 | #Constraints: 5094
8.13/8.52 c #Conflicts: 21000 | #Constraints: 6095
8.13/8.52 c INPROCESSING
8.13/8.52 c GARBAGE COLLECT
8.13/8.52 c rational objective 14.1649
9.43/9.86 c #Conflicts: 22000 | #Constraints: 4022
9.43/9.86 c #Conflicts: 23000 | #Constraints: 5043
9.43/9.86 c #Conflicts: 24000 | #Constraints: 6067
9.43/9.86 c #Conflicts: 25000 | #Constraints: 7083
9.43/9.86 c INPROCESSING
9.43/9.86 c GARBAGE COLLECT
9.43/9.86 c rational objective 14.1649
11.03/11.41 c #Conflicts: 26000 | #Constraints: 4711
11.03/11.41 c #Conflicts: 27000 | #Constraints: 5879
11.03/11.41 c #Conflicts: 28000 | #Constraints: 6895
11.03/11.41 c #Conflicts: 29000 | #Constraints: 7914
11.03/11.41 c INPROCESSING
11.03/11.41 c GARBAGE COLLECT
11.03/11.41 c rational objective 14.165
13.02/13.44 c #Conflicts: 30000 | #Constraints: 5066
13.02/13.44 c #Conflicts: 31000 | #Constraints: 6067
13.02/13.44 c #Conflicts: 32000 | #Constraints: 7071
13.02/13.44 c #Conflicts: 33000 | #Constraints: 8072
13.02/13.44 c INPROCESSING
13.02/13.44 c GARBAGE COLLECT
13.02/13.44 c rational objective 14.1652
14.72/15.10 c #Conflicts: 34000 | #Constraints: 5152
14.72/15.10 c #Conflicts: 35000 | #Constraints: 6170
14.72/15.10 c #Conflicts: 36000 | #Constraints: 7196
14.72/15.10 c #Conflicts: 37000 | #Constraints: 8215
14.72/15.10 c INPROCESSING
14.72/15.10 c GARBAGE COLLECT
14.72/15.10 c rational objective 14.1654
16.52/16.95 c #Conflicts: 38000 | #Constraints: 5137
16.52/16.95 c #Conflicts: 39000 | #Constraints: 6154
16.52/16.95 c #Conflicts: 40000 | #Constraints: 7168
16.52/16.95 c #Conflicts: 41000 | #Constraints: 8184
16.52/16.95 c INPROCESSING
16.52/16.95 c GARBAGE COLLECT
16.52/16.95 c rational objective 14.1654
18.71/19.17 c #Conflicts: 42000 | #Constraints: 4946
18.71/19.17 c #Conflicts: 43000 | #Constraints: 5953
18.71/19.17 c #Conflicts: 44000 | #Constraints: 6963
18.71/19.17 c #Conflicts: 45000 | #Constraints: 7968
18.71/19.17 c #Conflicts: 46000 | #Constraints: 8968
18.71/19.17 c INPROCESSING
18.71/19.17 c GARBAGE COLLECT
18.71/19.17 c rational objective 14.1654
20.50/20.97 c #Conflicts: 47000 | #Constraints: 5507
20.50/20.97 c #Conflicts: 48000 | #Constraints: 6540
20.50/20.97 c #Conflicts: 49000 | #Constraints: 7556
20.50/20.97 c #Conflicts: 50000 | #Constraints: 8567
20.50/20.97 c #Conflicts: 51000 | #Constraints: 9587
20.50/20.97 c INPROCESSING
20.50/20.97 c GARBAGE COLLECT
20.50/20.97 c rational objective 14.1654
23.39/23.89 c #Conflicts: 52000 | #Constraints: 5902
23.39/23.89 c #Conflicts: 53000 | #Constraints: 6908
23.39/23.89 c #Conflicts: 54000 | #Constraints: 7910
23.39/23.89 c #Conflicts: 55000 | #Constraints: 8912
23.39/23.89 c #Conflicts: 56000 | #Constraints: 9915
23.39/23.89 c INPROCESSING
23.39/23.89 c GARBAGE COLLECT
23.39/23.89 c rational objective 14.1654
25.57/26.06 c #Conflicts: 57000 | #Constraints: 6092
25.57/26.06 c #Conflicts: 58000 | #Constraints: 7107
25.57/26.06 c #Conflicts: 59000 | #Constraints: 8128
25.57/26.06 c #Conflicts: 60000 | #Constraints: 9151
25.57/26.06 c #Conflicts: 61000 | #Constraints: 10171
25.57/26.06 c INPROCESSING
25.57/26.06 c GARBAGE COLLECT
25.57/26.06 c rational objective 14.1654
28.04/28.58 c #Conflicts: 62000 | #Constraints: 6110
28.04/28.58 c #Conflicts: 63000 | #Constraints: 7131
28.04/28.58 c #Conflicts: 64000 | #Constraints: 8147
28.04/28.58 c #Conflicts: 65000 | #Constraints: 9162
28.04/28.58 c #Conflicts: 66000 | #Constraints: 10174
28.04/28.58 c INPROCESSING
28.04/28.58 c GARBAGE COLLECT
28.04/28.58 c rational objective 14.1654
31.70/32.26 c #Conflicts: 67000 | #Constraints: 5901
31.70/32.26 c #Conflicts: 68000 | #Constraints: 6919
31.70/32.26 c #Conflicts: 69000 | #Constraints: 7924
31.70/32.26 c #Conflicts: 70000 | #Constraints: 8927
31.70/32.26 c #Conflicts: 71000 | #Constraints: 9932
31.70/32.26 c #Conflicts: 72000 | #Constraints: 10944
31.70/32.26 c INPROCESSING
31.70/32.26 c GARBAGE COLLECT
31.70/32.26 c rational objective 14.1654
34.20/34.71 c #Conflicts: 73000 | #Constraints: 6479
34.20/34.71 c #Conflicts: 74000 | #Constraints: 7500
34.20/34.71 c #Conflicts: 75000 | #Constraints: 8520
34.20/34.71 c #Conflicts: 76000 | #Constraints: 9534
34.20/34.71 c #Conflicts: 77000 | #Constraints: 10548
34.20/34.71 c #Conflicts: 78000 | #Constraints: 11558
34.20/34.71 c INPROCESSING
34.20/34.71 c GARBAGE COLLECT
34.20/34.71 c rational objective 14.1655
37.87/38.46 c #Conflicts: 79000 | #Constraints: 6888
37.87/38.46 c #Conflicts: 80000 | #Constraints: 7889
37.87/38.46 c #Conflicts: 81000 | #Constraints: 8890
37.87/38.46 c #Conflicts: 82000 | #Constraints: 9890
37.87/38.46 c #Conflicts: 83000 | #Constraints: 10894
37.87/38.46 c bounds 18 >= 13 @ 36.9184
37.98/38.57 c #Conflicts: 84000 | #Constraints: 11928
37.98/38.57 c INPROCESSING
37.98/38.57 c GARBAGE COLLECT
37.98/38.57 c rational objective 14.1655
41.06/41.63 c #Conflicts: 85000 | #Constraints: 7111
41.06/41.63 c #Conflicts: 86000 | #Constraints: 8126
41.06/41.63 c #Conflicts: 87000 | #Constraints: 9147
41.06/41.63 c #Conflicts: 88000 | #Constraints: 10171
41.06/41.63 c #Conflicts: 89000 | #Constraints: 11190
41.06/41.63 c #Conflicts: 90000 | #Constraints: 12201
41.06/41.63 c INPROCESSING
41.06/41.63 c GARBAGE COLLECT
41.06/41.63 c rational objective 14.1655
44.36/44.92 c #Conflicts: 91000 | #Constraints: 7140
44.36/44.92 c #Conflicts: 92000 | #Constraints: 8161
44.36/44.92 c #Conflicts: 93000 | #Constraints: 9186
44.36/44.92 c #Conflicts: 94000 | #Constraints: 10201
44.36/44.92 c #Conflicts: 95000 | #Constraints: 11224
44.36/44.92 c #Conflicts: 96000 | #Constraints: 12245
44.36/44.92 c INPROCESSING
44.36/44.92 c GARBAGE COLLECT
44.36/44.92 c rational objective 14.1655
48.24/48.87 c #Conflicts: 97000 | #Constraints: 6959
48.24/48.87 c #Conflicts: 98000 | #Constraints: 7962
48.24/48.87 c #Conflicts: 99000 | #Constraints: 8970
48.24/48.87 c #Conflicts: 100000 | #Constraints: 9976
48.24/48.87 c #Conflicts: 101000 | #Constraints: 10979
48.24/48.87 c #Conflicts: 102000 | #Constraints: 11981
48.24/48.87 c #Conflicts: 103000 | #Constraints: 12985
48.24/48.87 c INPROCESSING
48.24/48.87 c GARBAGE COLLECT
48.24/48.87 c rational objective 14.1655
51.64/52.26 c #Conflicts: 104000 | #Constraints: 7514
51.64/52.26 c #Conflicts: 105000 | #Constraints: 8529
51.64/52.26 c #Conflicts: 106000 | #Constraints: 9546
51.64/52.26 c #Conflicts: 107000 | #Constraints: 10558
51.64/52.26 c #Conflicts: 108000 | #Constraints: 11569
51.64/52.26 c #Conflicts: 109000 | #Constraints: 12585
51.64/52.26 c #Conflicts: 110000 | #Constraints: 13601
51.64/52.26 c INPROCESSING
51.64/52.26 c GARBAGE COLLECT
51.64/52.26 c rational objective 14.1655
56.30/56.90 c #Conflicts: 111000 | #Constraints: 7919
56.30/56.90 c #Conflicts: 112000 | #Constraints: 8921
56.30/56.90 c #Conflicts: 113000 | #Constraints: 9923
56.30/56.90 c #Conflicts: 114000 | #Constraints: 10924
56.30/56.90 c #Conflicts: 115000 | #Constraints: 11928
56.30/56.90 c #Conflicts: 116000 | #Constraints: 12929
56.30/56.90 c #Conflicts: 117000 | #Constraints: 13933
56.30/56.90 c INPROCESSING
56.30/56.90 c GARBAGE COLLECT
56.30/56.90 c rational objective 14.1655
60.16/60.84 c #Conflicts: 118000 | #Constraints: 8328
60.16/60.84 c #Conflicts: 119000 | #Constraints: 9542
60.16/60.84 c #Conflicts: 120000 | #Constraints: 10563
60.16/60.84 c #Conflicts: 121000 | #Constraints: 11582
60.16/60.84 c #Conflicts: 122000 | #Constraints: 12600
60.16/60.84 c #Conflicts: 123000 | #Constraints: 13611
60.16/60.84 c #Conflicts: 124000 | #Constraints: 14618
60.16/60.84 c INPROCESSING
60.16/60.84 c GARBAGE COLLECT
60.16/60.84 c rational objective 14.1655
65.01/65.77 c #Conflicts: 125000 | #Constraints: 8345
65.01/65.77 c #Conflicts: 126000 | #Constraints: 9347
65.01/65.77 c #Conflicts: 127000 | #Constraints: 10351
65.01/65.77 c #Conflicts: 128000 | #Constraints: 11358
65.01/65.77 c #Conflicts: 129000 | #Constraints: 12363
65.01/65.77 c #Conflicts: 130000 | #Constraints: 13368
65.01/65.77 c #Conflicts: 131000 | #Constraints: 14371
65.01/65.77 c INPROCESSING
65.01/65.77 c GARBAGE COLLECT
65.01/65.77 c rational objective 14.1655
68.90/69.67 c #Conflicts: 132000 | #Constraints: 8014
68.90/69.67 c #Conflicts: 133000 | #Constraints: 9106
68.90/69.67 c #Conflicts: 134000 | #Constraints: 10116
68.90/69.67 c #Conflicts: 135000 | #Constraints: 11128
68.90/69.67 c #Conflicts: 136000 | #Constraints: 12146
68.90/69.67 c #Conflicts: 137000 | #Constraints: 13162
68.90/69.67 c #Conflicts: 138000 | #Constraints: 14179
68.90/69.67 c #Conflicts: 139000 | #Constraints: 15199
68.90/69.67 c INPROCESSING
68.90/69.67 c GARBAGE COLLECT
68.90/69.67 c rational objective 14.1655
73.59/74.38 c #Conflicts: 140000 | #Constraints: 8623
73.59/74.38 c #Conflicts: 141000 | #Constraints: 9642
73.59/74.38 c #Conflicts: 142000 | #Constraints: 10661
73.59/74.38 c #Conflicts: 143000 | #Constraints: 11677
73.59/74.38 c #Conflicts: 144000 | #Constraints: 12696
73.59/74.38 c #Conflicts: 145000 | #Constraints: 13709
73.59/74.38 c #Conflicts: 146000 | #Constraints: 14725
73.59/74.38 c #Conflicts: 147000 | #Constraints: 15739
73.59/74.38 c INPROCESSING
73.59/74.38 c GARBAGE COLLECT
73.59/74.38 c rational objective 14.1655
79.17/79.96 c #Conflicts: 148000 | #Constraints: 9006
79.17/79.96 c #Conflicts: 149000 | #Constraints: 10034
79.17/79.96 c #Conflicts: 150000 | #Constraints: 11043
79.17/79.96 c #Conflicts: 151000 | #Constraints: 12054
79.17/79.96 c #Conflicts: 152000 | #Constraints: 13055
79.17/79.96 c #Conflicts: 153000 | #Constraints: 14058
79.17/79.96 c #Conflicts: 154000 | #Constraints: 15061
79.17/79.96 c #Conflicts: 155000 | #Constraints: 16070
79.17/79.96 c INPROCESSING
79.17/79.96 c GARBAGE COLLECT
79.17/79.96 c rational objective 14.1655
83.46/84.26 c #Conflicts: 156000 | #Constraints: 9335
83.46/84.26 c #Conflicts: 157000 | #Constraints: 10349
83.46/84.26 c #Conflicts: 158000 | #Constraints: 11361
83.46/84.26 c #Conflicts: 159000 | #Constraints: 12375
83.46/84.26 c #Conflicts: 160000 | #Constraints: 13385
83.46/84.26 c #Conflicts: 161000 | #Constraints: 14398
83.46/84.26 c #Conflicts: 162000 | #Constraints: 15410
83.46/84.26 c #Conflicts: 163000 | #Constraints: 16429
83.46/84.26 c INPROCESSING
83.46/84.26 c GARBAGE COLLECT
83.46/84.26 c rational objective 14.1655
89.75/90.52 c #Conflicts: 164000 | #Constraints: 9233
89.75/90.52 c #Conflicts: 165000 | #Constraints: 10235
89.75/90.52 c #Conflicts: 166000 | #Constraints: 11235
89.75/90.52 c #Conflicts: 167000 | #Constraints: 12241
89.75/90.52 c #Conflicts: 168000 | #Constraints: 13251
89.75/90.52 c #Conflicts: 169000 | #Constraints: 14253
89.75/90.52 c #Conflicts: 170000 | #Constraints: 15255
89.75/90.52 c #Conflicts: 171000 | #Constraints: 16257
89.75/90.52 c INPROCESSING
89.75/90.52 c GARBAGE COLLECT
89.75/90.52 c rational objective 14.1655
94.24/95.09 c #Conflicts: 172000 | #Constraints: 8941
94.24/95.09 c #Conflicts: 173000 | #Constraints: 9962
94.24/95.09 c #Conflicts: 174000 | #Constraints: 10980
94.24/95.09 c #Conflicts: 175000 | #Constraints: 11997
94.24/95.09 c #Conflicts: 176000 | #Constraints: 13009
94.24/95.09 c #Conflicts: 177000 | #Constraints: 14020
94.24/95.09 c #Conflicts: 178000 | #Constraints: 15037
94.24/95.09 c #Conflicts: 179000 | #Constraints: 16044
94.24/95.09 c #Conflicts: 180000 | #Constraints: 17054
94.24/95.09 c INPROCESSING
94.24/95.09 c GARBAGE COLLECT
94.24/95.09 c rational objective 14.1655
99.59/100.46 c #Conflicts: 181000 | #Constraints: 9554
99.59/100.46 c #Conflicts: 182000 | #Constraints: 10569
99.59/100.46 c #Conflicts: 183000 | #Constraints: 11589
99.59/100.46 c #Conflicts: 184000 | #Constraints: 12611
99.59/100.46 c #Conflicts: 185000 | #Constraints: 13626
99.59/100.46 c #Conflicts: 186000 | #Constraints: 14642
99.59/100.46 c #Conflicts: 187000 | #Constraints: 15658
99.59/100.46 c #Conflicts: 188000 | #Constraints: 16672
99.59/100.46 c #Conflicts: 189000 | #Constraints: 17689
99.59/100.46 c INPROCESSING
99.59/100.46 c GARBAGE COLLECT
99.59/100.46 c rational objective 14.1655
106.26/107.17 c #Conflicts: 190000 | #Constraints: 9972
106.26/107.17 c #Conflicts: 191000 | #Constraints: 10984
106.26/107.17 c #Conflicts: 192000 | #Constraints: 11996
106.26/107.17 c #Conflicts: 193000 | #Constraints: 13003
106.26/107.17 c #Conflicts: 194000 | #Constraints: 14009
106.26/107.17 c #Conflicts: 195000 | #Constraints: 15018
106.26/107.17 c #Conflicts: 196000 | #Constraints: 16022
106.26/107.17 c #Conflicts: 197000 | #Constraints: 17025
106.26/107.17 c #Conflicts: 198000 | #Constraints: 18028
106.26/107.17 c INPROCESSING
106.26/107.17 c GARBAGE COLLECT
106.26/107.17 c rational objective 14.1655
111.94/112.87 c #Conflicts: 199000 | #Constraints: 10144
111.94/112.87 c #Conflicts: 200000 | #Constraints: 11155
111.94/112.87 c #Conflicts: 201000 | #Constraints: 12171
111.94/112.87 c #Conflicts: 202000 | #Constraints: 13184
111.94/112.87 c #Conflicts: 203000 | #Constraints: 14200
111.94/112.87 c #Conflicts: 204000 | #Constraints: 15219
111.94/112.87 c #Conflicts: 205000 | #Constraints: 16234
111.94/112.87 c #Conflicts: 206000 | #Constraints: 17250
111.94/112.87 c #Conflicts: 207000 | #Constraints: 18266
111.94/112.87 c INPROCESSING
111.94/112.87 c GARBAGE COLLECT
111.94/112.87 c rational objective 14.1655
118.51/119.47 c #Conflicts: 208000 | #Constraints: 10162
118.51/119.47 c #Conflicts: 209000 | #Constraints: 11171
118.51/119.47 c #Conflicts: 210000 | #Constraints: 12181
118.51/119.47 c #Conflicts: 211000 | #Constraints: 13192
118.51/119.47 c #Conflicts: 212000 | #Constraints: 14201
118.51/119.47 c #Conflicts: 213000 | #Constraints: 15209
118.51/119.47 c #Conflicts: 214000 | #Constraints: 16217
118.51/119.47 c #Conflicts: 215000 | #Constraints: 17223
118.51/119.47 c #Conflicts: 216000 | #Constraints: 18227
118.51/119.47 c INPROCESSING
118.51/119.47 c GARBAGE COLLECT
118.51/119.47 c rational objective 14.1655
124.37/125.33 c #Conflicts: 217000 | #Constraints: 9936
124.37/125.33 c #Conflicts: 218000 | #Constraints: 10957
124.37/125.33 c #Conflicts: 219000 | #Constraints: 11980
124.37/125.33 c #Conflicts: 220000 | #Constraints: 12996
124.37/125.33 c #Conflicts: 221000 | #Constraints: 14015
124.37/125.33 c #Conflicts: 222000 | #Constraints: 15036
124.37/125.33 c #Conflicts: 223000 | #Constraints: 16057
124.37/125.33 c #Conflicts: 224000 | #Constraints: 17078
124.37/125.33 c #Conflicts: 225000 | #Constraints: 18099
124.37/125.33 c #Conflicts: 226000 | #Constraints: 19114
124.37/125.33 c INPROCESSING
124.37/125.33 c GARBAGE COLLECT
124.37/125.33 c rational objective 14.1655
131.43/132.50 c #Conflicts: 227000 | #Constraints: 10589
131.43/132.50 c #Conflicts: 228000 | #Constraints: 11605
131.43/132.50 c #Conflicts: 229000 | #Constraints: 12624
131.43/132.50 c #Conflicts: 230000 | #Constraints: 13635
131.43/132.50 c #Conflicts: 231000 | #Constraints: 14639
131.43/132.50 c #Conflicts: 232000 | #Constraints: 15645
131.43/132.50 c #Conflicts: 233000 | #Constraints: 16649
131.43/132.50 c #Conflicts: 234000 | #Constraints: 17650
131.43/132.50 c #Conflicts: 235000 | #Constraints: 18650
131.43/132.50 c #Conflicts: 236000 | #Constraints: 19653
131.43/132.50 c INPROCESSING
131.43/132.50 c GARBAGE COLLECT
131.43/132.50 c rational objective 14.1656
137.32/138.30 c #Conflicts: 237000 | #Constraints: 10968
137.32/138.30 c #Conflicts: 238000 | #Constraints: 11984
137.32/138.30 c #Conflicts: 239000 | #Constraints: 13000
137.32/138.30 c #Conflicts: 240000 | #Constraints: 14011
137.32/138.30 c #Conflicts: 241000 | #Constraints: 15019
137.32/138.30 c #Conflicts: 242000 | #Constraints: 16032
137.32/138.30 c #Conflicts: 243000 | #Constraints: 17047
137.32/138.30 c #Conflicts: 244000 | #Constraints: 18063
137.32/138.30 c #Conflicts: 245000 | #Constraints: 19073
137.32/138.30 c #Conflicts: 246000 | #Constraints: 20080
137.32/138.30 c INPROCESSING
137.32/138.30 c GARBAGE COLLECT
137.32/138.30 c rational objective 14.1656
146.08/147.16 c #Conflicts: 247000 | #Constraints: 11160
146.08/147.16 c #Conflicts: 248000 | #Constraints: 12161
146.08/147.16 c #Conflicts: 249000 | #Constraints: 13163
146.08/147.16 c #Conflicts: 250000 | #Constraints: 14165
146.08/147.16 c #Conflicts: 251000 | #Constraints: 15166
146.08/147.16 c #Conflicts: 252000 | #Constraints: 16170
146.08/147.16 c #Conflicts: 253000 | #Constraints: 17176
146.08/147.16 c #Conflicts: 254000 | #Constraints: 18180
146.08/147.16 c #Conflicts: 255000 | #Constraints: 19184
146.08/147.16 c #Conflicts: 256000 | #Constraints: 20186
146.08/147.16 c INPROCESSING
146.08/147.16 c GARBAGE COLLECT
146.08/147.16 c rational objective 14.1656
151.92/153.09 c #Conflicts: 257000 | #Constraints: 11119
151.92/153.09 c #Conflicts: 258000 | #Constraints: 12139
151.92/153.09 c #Conflicts: 259000 | #Constraints: 13147
151.92/153.09 c #Conflicts: 260000 | #Constraints: 14160
151.92/153.09 c #Conflicts: 261000 | #Constraints: 15174
151.92/153.09 c #Conflicts: 262000 | #Constraints: 16183
151.92/153.09 c #Conflicts: 263000 | #Constraints: 17200
151.92/153.09 c #Conflicts: 264000 | #Constraints: 18213
151.92/153.09 c #Conflicts: 265000 | #Constraints: 19224
151.92/153.09 c #Conflicts: 266000 | #Constraints: 20235
151.92/153.09 c INPROCESSING
151.92/153.09 c GARBAGE COLLECT
151.92/153.09 c rational objective 14.1656
158.47/159.64 c #Conflicts: 267000 | #Constraints: 10945
158.47/159.64 c #Conflicts: 268000 | #Constraints: 11966
158.47/159.64 c #Conflicts: 269000 | #Constraints: 12983
158.47/159.64 c #Conflicts: 270000 | #Constraints: 13998
158.47/159.64 c #Conflicts: 271000 | #Constraints: 15011
158.47/159.64 c #Conflicts: 272000 | #Constraints: 16033
158.47/159.64 c #Conflicts: 273000 | #Constraints: 17047
158.47/159.64 c #Conflicts: 274000 | #Constraints: 18062
158.47/159.64 c #Conflicts: 275000 | #Constraints: 19079
158.47/159.64 c #Conflicts: 276000 | #Constraints: 20091
158.47/159.64 c #Conflicts: 277000 | #Constraints: 21099
158.47/159.64 c INPROCESSING
158.47/159.64 c GARBAGE COLLECT
158.47/159.64 c rational objective 14.1656
167.54/168.73 c #Conflicts: 278000 | #Constraints: 11573
167.54/168.73 c #Conflicts: 279000 | #Constraints: 12575
167.54/168.73 c #Conflicts: 280000 | #Constraints: 13579
167.54/168.73 c #Conflicts: 281000 | #Constraints: 14580
167.54/168.73 c #Conflicts: 282000 | #Constraints: 15585
167.54/168.73 c #Conflicts: 283000 | #Constraints: 16589
167.54/168.73 c #Conflicts: 284000 | #Constraints: 17591
167.54/168.73 c #Conflicts: 285000 | #Constraints: 18593
167.54/168.73 c #Conflicts: 286000 | #Constraints: 19596
167.54/168.73 c #Conflicts: 287000 | #Constraints: 20602
167.54/168.73 c #Conflicts: 288000 | #Constraints: 21606
167.54/168.73 c INPROCESSING
167.54/168.73 c GARBAGE COLLECT
167.54/168.73 c rational objective 14.1656
168.53/169.71 c #Conflicts: 289000 | #Constraints: 11937
168.53/169.71 c bounds 17 >= 13 @ 164.535
174.79/176.08 c #Conflicts: 290000 | #Constraints: 12958
174.79/176.08 c #Conflicts: 291000 | #Constraints: 13978
174.79/176.08 c #Conflicts: 292000 | #Constraints: 14996
174.79/176.08 c #Conflicts: 293000 | #Constraints: 16024
174.79/176.08 c #Conflicts: 294000 | #Constraints: 17044
174.79/176.08 c #Conflicts: 295000 | #Constraints: 18063
174.79/176.08 c #Conflicts: 296000 | #Constraints: 19077
174.79/176.08 c #Conflicts: 297000 | #Constraints: 20087
174.79/176.08 c #Conflicts: 298000 | #Constraints: 21102
174.79/176.08 c #Conflicts: 299000 | #Constraints: 22114
174.79/176.08 c INPROCESSING
174.79/176.08 c GARBAGE COLLECT
174.79/176.08 c rational objective 14.1656
184.44/185.71 c #Conflicts: 300000 | #Constraints: 12181
184.44/185.71 c #Conflicts: 301000 | #Constraints: 13190
184.44/185.71 c #Conflicts: 302000 | #Constraints: 14193
184.44/185.71 c #Conflicts: 303000 | #Constraints: 15199
184.44/185.71 c #Conflicts: 304000 | #Constraints: 16203
184.44/185.71 c #Conflicts: 305000 | #Constraints: 17210
184.44/185.71 c #Conflicts: 306000 | #Constraints: 18226
184.44/185.71 c #Conflicts: 307000 | #Constraints: 19232
184.44/185.71 c #Conflicts: 308000 | #Constraints: 20237
184.44/185.71 c #Conflicts: 309000 | #Constraints: 21245
184.44/185.71 c #Conflicts: 310000 | #Constraints: 22253
184.44/185.71 c INPROCESSING
184.44/185.71 c GARBAGE COLLECT
184.44/185.71 c rational objective 14.1656
192.48/193.81 c #Conflicts: 311000 | #Constraints: 12175
192.48/193.81 c #Conflicts: 312000 | #Constraints: 13199
192.48/193.81 c #Conflicts: 313000 | #Constraints: 14225
192.48/193.81 c #Conflicts: 314000 | #Constraints: 15243
192.48/193.81 c #Conflicts: 315000 | #Constraints: 16271
192.48/193.81 c #Conflicts: 316000 | #Constraints: 17288
192.48/193.81 c #Conflicts: 317000 | #Constraints: 18300
192.48/193.81 c #Conflicts: 318000 | #Constraints: 19314
192.48/193.81 c #Conflicts: 319000 | #Constraints: 20328
192.48/193.81 c #Conflicts: 320000 | #Constraints: 21347
192.48/193.81 c #Conflicts: 321000 | #Constraints: 22365
192.48/193.81 c INPROCESSING
192.48/193.81 c GARBAGE COLLECT
192.48/193.81 c rational objective 14.1656
201.64/203.07 c #Conflicts: 322000 | #Constraints: 12002
201.64/203.07 c #Conflicts: 323000 | #Constraints: 13028
201.64/203.07 c #Conflicts: 324000 | #Constraints: 14055
201.64/203.07 c #Conflicts: 325000 | #Constraints: 15067
201.64/203.07 c #Conflicts: 326000 | #Constraints: 16078
201.64/203.07 c #Conflicts: 327000 | #Constraints: 17094
201.64/203.07 c #Conflicts: 328000 | #Constraints: 18115
201.64/203.07 c #Conflicts: 329000 | #Constraints: 19134
201.64/203.07 c #Conflicts: 330000 | #Constraints: 20152
201.64/203.07 c #Conflicts: 331000 | #Constraints: 21167
201.64/203.07 c #Conflicts: 332000 | #Constraints: 22182
201.64/203.07 c #Conflicts: 333000 | #Constraints: 23196
201.64/203.07 c INPROCESSING
201.64/203.07 c GARBAGE COLLECT
201.64/203.07 c rational objective 14.1656
211.49/212.93 c #Conflicts: 334000 | #Constraints: 12622
211.49/212.93 c #Conflicts: 335000 | #Constraints: 13625
211.49/212.93 c #Conflicts: 336000 | #Constraints: 14631
211.49/212.93 c #Conflicts: 337000 | #Constraints: 15637
211.49/212.93 c #Conflicts: 338000 | #Constraints: 16644
211.49/212.93 c #Conflicts: 339000 | #Constraints: 17651
211.49/212.93 c #Conflicts: 340000 | #Constraints: 18661
211.49/212.93 c #Conflicts: 341000 | #Constraints: 19672
211.49/212.93 c #Conflicts: 342000 | #Constraints: 20680
211.49/212.93 c #Conflicts: 343000 | #Constraints: 21690
211.49/212.93 c #Conflicts: 344000 | #Constraints: 22695
211.49/212.93 c #Conflicts: 345000 | #Constraints: 23705
211.49/212.93 c INPROCESSING
211.49/212.93 c GARBAGE COLLECT
211.49/212.93 c rational objective 14.1656
220.33/221.81 c #Conflicts: 346000 | #Constraints: 12983
220.33/221.81 c #Conflicts: 347000 | #Constraints: 13999
220.33/221.81 c #Conflicts: 348000 | #Constraints: 15016
220.33/221.81 c #Conflicts: 349000 | #Constraints: 16030
220.33/221.81 c #Conflicts: 350000 | #Constraints: 17039
220.33/221.81 c #Conflicts: 351000 | #Constraints: 18051
220.33/221.81 c #Conflicts: 352000 | #Constraints: 19059
220.33/221.81 c #Conflicts: 353000 | #Constraints: 20064
220.33/221.81 c #Conflicts: 354000 | #Constraints: 21070
220.33/221.81 c #Conflicts: 355000 | #Constraints: 22081
220.33/221.81 c #Conflicts: 356000 | #Constraints: 23091
220.33/221.81 c #Conflicts: 357000 | #Constraints: 24101
220.33/221.81 c INPROCESSING
220.33/221.81 c GARBAGE COLLECT
220.33/221.81 c rational objective 14.1656
231.46/233.01 c #Conflicts: 358000 | #Constraints: 13168
231.46/233.01 c #Conflicts: 359000 | #Constraints: 14175
231.46/233.01 c #Conflicts: 360000 | #Constraints: 15181
231.46/233.01 c #Conflicts: 361000 | #Constraints: 16190
231.46/233.01 c #Conflicts: 362000 | #Constraints: 17198
231.46/233.01 c #Conflicts: 363000 | #Constraints: 18202
231.46/233.01 c #Conflicts: 364000 | #Constraints: 19213
231.46/233.01 c #Conflicts: 365000 | #Constraints: 20215
231.46/233.01 c #Conflicts: 366000 | #Constraints: 21219
231.46/233.01 c #Conflicts: 367000 | #Constraints: 22228
231.46/233.01 c #Conflicts: 368000 | #Constraints: 23231
231.46/233.01 c #Conflicts: 369000 | #Constraints: 24235
231.46/233.01 c INPROCESSING
231.46/233.01 c GARBAGE COLLECT
231.46/233.01 c rational objective 14.1656
240.79/242.46 c #Conflicts: 370000 | #Constraints: 13152
240.79/242.46 c #Conflicts: 371000 | #Constraints: 14173
240.79/242.46 c #Conflicts: 372000 | #Constraints: 15180
240.79/242.46 c #Conflicts: 373000 | #Constraints: 16190
240.79/242.46 c #Conflicts: 374000 | #Constraints: 17207
240.79/242.46 c #Conflicts: 375000 | #Constraints: 18223
240.79/242.46 c #Conflicts: 376000 | #Constraints: 19243
240.79/242.46 c #Conflicts: 377000 | #Constraints: 20265
240.79/242.46 c #Conflicts: 378000 | #Constraints: 21284
240.79/242.46 c #Conflicts: 379000 | #Constraints: 22293
240.79/242.46 c #Conflicts: 380000 | #Constraints: 23301
240.79/242.46 c #Conflicts: 381000 | #Constraints: 24311
240.79/242.46 c INPROCESSING
240.79/242.46 c GARBAGE COLLECT
240.79/242.46 c rational objective 14.1656
251.80/253.52 c #Conflicts: 382000 | #Constraints: 12983
251.80/253.52 c #Conflicts: 383000 | #Constraints: 13988
251.80/253.52 c #Conflicts: 384000 | #Constraints: 15009
251.80/253.52 c #Conflicts: 385000 | #Constraints: 16017
251.80/253.52 c #Conflicts: 386000 | #Constraints: 17027
251.80/253.52 c #Conflicts: 387000 | #Constraints: 18030
251.80/253.52 c #Conflicts: 388000 | #Constraints: 19035
251.80/253.52 c #Conflicts: 389000 | #Constraints: 20041
251.80/253.52 c #Conflicts: 390000 | #Constraints: 21049
251.80/253.52 c #Conflicts: 391000 | #Constraints: 22052
251.80/253.52 c #Conflicts: 392000 | #Constraints: 23056
251.80/253.52 c #Conflicts: 393000 | #Constraints: 24062
251.80/253.52 c #Conflicts: 394000 | #Constraints: 25076
251.80/253.52 c INPROCESSING
251.80/253.52 c GARBAGE COLLECT
251.80/253.52 c rational objective 14.1656
261.54/263.30 c #Conflicts: 395000 | #Constraints: 13608
261.54/263.30 c #Conflicts: 396000 | #Constraints: 14630
261.54/263.30 c #Conflicts: 397000 | #Constraints: 15647
261.54/263.30 c #Conflicts: 398000 | #Constraints: 16658
261.54/263.30 c #Conflicts: 399000 | #Constraints: 17668
261.54/263.30 c #Conflicts: 400000 | #Constraints: 18673
261.54/263.30 c #Conflicts: 401000 | #Constraints: 19685
261.54/263.30 c #Conflicts: 402000 | #Constraints: 20697
261.54/263.30 c #Conflicts: 403000 | #Constraints: 21709
261.54/263.30 c #Conflicts: 404000 | #Constraints: 22717
261.54/263.30 c #Conflicts: 405000 | #Constraints: 23731
261.54/263.30 c #Conflicts: 406000 | #Constraints: 24736
261.54/263.30 c #Conflicts: 407000 | #Constraints: 25742
261.54/263.30 c INPROCESSING
261.54/263.30 c GARBAGE COLLECT
261.54/263.30 c rational objective 14.1656
271.97/273.83 c #Conflicts: 408000 | #Constraints: 14011
271.97/273.83 c #Conflicts: 409000 | #Constraints: 15024
271.97/273.83 c #Conflicts: 410000 | #Constraints: 16028
271.97/273.83 c #Conflicts: 411000 | #Constraints: 17036
271.97/273.83 c #Conflicts: 412000 | #Constraints: 18040
271.97/273.83 c #Conflicts: 413000 | #Constraints: 19055
271.97/273.83 c #Conflicts: 414000 | #Constraints: 20067
271.97/273.83 c #Conflicts: 415000 | #Constraints: 21086
271.97/273.83 c #Conflicts: 416000 | #Constraints: 22099
271.97/273.83 c #Conflicts: 417000 | #Constraints: 23107
271.97/273.83 c #Conflicts: 418000 | #Constraints: 24119
271.97/273.83 c #Conflicts: 419000 | #Constraints: 25133
271.97/273.83 c #Conflicts: 420000 | #Constraints: 26148
271.97/273.83 c INPROCESSING
271.97/273.83 c GARBAGE COLLECT
271.97/273.83 c rational objective 14.1656
283.98/285.96 c #Conflicts: 421000 | #Constraints: 14232
283.98/285.96 c #Conflicts: 422000 | #Constraints: 15252
283.98/285.96 c #Conflicts: 423000 | #Constraints: 16264
283.98/285.96 c #Conflicts: 424000 | #Constraints: 17273
283.98/285.96 c #Conflicts: 425000 | #Constraints: 18284
283.98/285.96 c #Conflicts: 426000 | #Constraints: 19292
283.98/285.96 c #Conflicts: 427000 | #Constraints: 20301
283.98/285.96 c #Conflicts: 428000 | #Constraints: 21309
283.98/285.96 c #Conflicts: 429000 | #Constraints: 22319
283.98/285.96 c #Conflicts: 430000 | #Constraints: 23325
283.98/285.96 c #Conflicts: 431000 | #Constraints: 24330
283.98/285.96 c #Conflicts: 432000 | #Constraints: 25335
283.98/285.96 c #Conflicts: 433000 | #Constraints: 26339
283.98/285.96 c INPROCESSING
283.98/285.96 c GARBAGE COLLECT
283.98/285.96 c rational objective 14.1657
295.02/297.02 c #Conflicts: 434000 | #Constraints: 14202
295.02/297.02 c #Conflicts: 435000 | #Constraints: 15224
295.02/297.02 c #Conflicts: 436000 | #Constraints: 16234
295.02/297.02 c #Conflicts: 437000 | #Constraints: 17239
295.02/297.02 c #Conflicts: 438000 | #Constraints: 18259
295.02/297.02 c #Conflicts: 439000 | #Constraints: 19280
295.02/297.02 c #Conflicts: 440000 | #Constraints: 20290
295.02/297.02 c #Conflicts: 441000 | #Constraints: 21304
295.02/297.02 c #Conflicts: 442000 | #Constraints: 22318
295.02/297.02 c #Conflicts: 443000 | #Constraints: 23330
295.02/297.02 c #Conflicts: 444000 | #Constraints: 24344
295.02/297.02 c #Conflicts: 445000 | #Constraints: 25360
295.02/297.02 c #Conflicts: 446000 | #Constraints: 26381
295.02/297.02 c INPROCESSING
295.02/297.02 c GARBAGE COLLECT
295.02/297.02 c rational objective 14.1657
305.44/307.51 c #Conflicts: 447000 | #Constraints: 14023
305.44/307.51 c #Conflicts: 448000 | #Constraints: 15041
305.44/307.51 c #Conflicts: 449000 | #Constraints: 16060
305.44/307.51 c #Conflicts: 450000 | #Constraints: 17071
305.44/307.51 c #Conflicts: 451000 | #Constraints: 18079
305.44/307.51 c #Conflicts: 452000 | #Constraints: 19093
305.44/307.51 c #Conflicts: 453000 | #Constraints: 20107
305.44/307.51 c #Conflicts: 454000 | #Constraints: 21118
305.44/307.51 c #Conflicts: 455000 | #Constraints: 22128
305.44/307.51 c #Conflicts: 456000 | #Constraints: 23140
305.44/307.51 c #Conflicts: 457000 | #Constraints: 24149
305.44/307.51 c #Conflicts: 458000 | #Constraints: 25155
305.44/307.51 c #Conflicts: 459000 | #Constraints: 26165
305.44/307.51 c #Conflicts: 460000 | #Constraints: 27176
305.44/307.51 c INPROCESSING
305.44/307.51 c GARBAGE COLLECT
305.44/307.51 c rational objective 14.1657
316.97/319.13 c #Conflicts: 461000 | #Constraints: 14615
316.97/319.13 c #Conflicts: 462000 | #Constraints: 15628
316.97/319.13 c #Conflicts: 463000 | #Constraints: 16647
316.97/319.13 c #Conflicts: 464000 | #Constraints: 17658
316.97/319.13 c #Conflicts: 465000 | #Constraints: 18668
316.97/319.13 c #Conflicts: 466000 | #Constraints: 19686
316.97/319.13 c #Conflicts: 467000 | #Constraints: 20700
316.97/319.13 c #Conflicts: 468000 | #Constraints: 21718
316.97/319.13 c #Conflicts: 469000 | #Constraints: 22739
316.97/319.13 c #Conflicts: 470000 | #Constraints: 23756
316.97/319.13 c #Conflicts: 471000 | #Constraints: 24770
316.97/319.13 c #Conflicts: 472000 | #Constraints: 25782
316.97/319.13 c #Conflicts: 473000 | #Constraints: 26793
316.97/319.13 c #Conflicts: 474000 | #Constraints: 27802
316.97/319.13 c INPROCESSING
316.97/319.13 c GARBAGE COLLECT
316.97/319.13 c rational objective 14.1657
327.89/330.11 c #Conflicts: 475000 | #Constraints: 15030
327.89/330.11 c #Conflicts: 476000 | #Constraints: 16044
327.89/330.11 c #Conflicts: 477000 | #Constraints: 17053
327.89/330.11 c #Conflicts: 478000 | #Constraints: 18062
327.89/330.11 c #Conflicts: 479000 | #Constraints: 19072
327.89/330.11 c #Conflicts: 480000 | #Constraints: 20081
327.89/330.11 c #Conflicts: 481000 | #Constraints: 21097
327.89/330.11 c #Conflicts: 482000 | #Constraints: 22111
327.89/330.11 c #Conflicts: 483000 | #Constraints: 23127
327.89/330.11 c #Conflicts: 484000 | #Constraints: 24144
327.89/330.11 c #Conflicts: 485000 | #Constraints: 25154
327.89/330.11 c #Conflicts: 486000 | #Constraints: 26161
327.89/330.11 c #Conflicts: 487000 | #Constraints: 27168
327.89/330.11 c #Conflicts: 488000 | #Constraints: 28182
327.89/330.11 c INPROCESSING
327.89/330.11 c GARBAGE COLLECT
327.89/330.11 c rational objective 14.1657
339.00/341.38 c #Conflicts: 489000 | #Constraints: 15242
339.00/341.38 c #Conflicts: 490000 | #Constraints: 16258
339.00/341.38 c #Conflicts: 491000 | #Constraints: 17271
339.00/341.38 c #Conflicts: 492000 | #Constraints: 18285
339.00/341.38 c #Conflicts: 493000 | #Constraints: 19301
339.00/341.38 c #Conflicts: 494000 | #Constraints: 20317
339.00/341.38 c #Conflicts: 495000 | #Constraints: 21336
339.00/341.38 c #Conflicts: 496000 | #Constraints: 22348
339.00/341.38 c #Conflicts: 497000 | #Constraints: 23359
339.00/341.38 c #Conflicts: 498000 | #Constraints: 24381
339.00/341.38 c #Conflicts: 499000 | #Constraints: 25397
339.00/341.38 c #Conflicts: 500000 | #Constraints: 26412
339.00/341.38 c #Conflicts: 501000 | #Constraints: 27430
339.00/341.38 c #Conflicts: 502000 | #Constraints: 28451
339.00/341.38 c INPROCESSING
339.00/341.38 c GARBAGE COLLECT
339.00/341.38 c rational objective 14.1657
351.33/353.71 c #Conflicts: 503000 | #Constraints: 15265
351.33/353.71 c #Conflicts: 504000 | #Constraints: 16275
351.33/353.71 c #Conflicts: 505000 | #Constraints: 17283
351.33/353.71 c #Conflicts: 506000 | #Constraints: 18289
351.33/353.71 c #Conflicts: 507000 | #Constraints: 19300
351.33/353.71 c #Conflicts: 508000 | #Constraints: 20313
351.33/353.71 c #Conflicts: 509000 | #Constraints: 21323
351.33/353.71 c #Conflicts: 510000 | #Constraints: 22332
351.33/353.71 c #Conflicts: 511000 | #Constraints: 23337
351.33/353.71 c #Conflicts: 512000 | #Constraints: 24348
351.33/353.71 c #Conflicts: 513000 | #Constraints: 25357
351.33/353.71 c #Conflicts: 514000 | #Constraints: 26360
351.33/353.71 c #Conflicts: 515000 | #Constraints: 27363
351.33/353.71 c #Conflicts: 516000 | #Constraints: 28366
351.33/353.71 c INPROCESSING
351.33/353.71 c GARBAGE COLLECT
351.33/353.71 c rational objective 14.1657
363.23/365.79 c #Conflicts: 517000 | #Constraints: 15003
363.23/365.79 c #Conflicts: 518000 | #Constraints: 16007
363.23/365.79 c #Conflicts: 519000 | #Constraints: 17022
363.23/365.79 c #Conflicts: 520000 | #Constraints: 18035
363.23/365.79 c #Conflicts: 521000 | #Constraints: 19043
363.23/365.79 c #Conflicts: 522000 | #Constraints: 20049
363.23/365.79 c #Conflicts: 523000 | #Constraints: 21055
363.23/365.79 c #Conflicts: 524000 | #Constraints: 22066
363.23/365.79 c #Conflicts: 525000 | #Constraints: 23072
363.23/365.79 c #Conflicts: 526000 | #Constraints: 24077
363.23/365.79 c #Conflicts: 527000 | #Constraints: 25081
363.23/365.79 c #Conflicts: 528000 | #Constraints: 26096
363.23/365.79 c #Conflicts: 529000 | #Constraints: 27109
363.23/365.79 c #Conflicts: 530000 | #Constraints: 28122
363.23/365.79 c #Conflicts: 531000 | #Constraints: 29137
363.23/365.79 c INPROCESSING
363.23/365.79 c GARBAGE COLLECT
363.23/365.79 c rational objective 14.1657
375.74/378.39 c #Conflicts: 532000 | #Constraints: 15605
375.74/378.39 c #Conflicts: 533000 | #Constraints: 16609
375.74/378.39 c #Conflicts: 534000 | #Constraints: 17616
375.74/378.39 c #Conflicts: 535000 | #Constraints: 18620
375.74/378.39 c #Conflicts: 536000 | #Constraints: 19625
375.74/378.39 c #Conflicts: 537000 | #Constraints: 20634
375.74/378.39 c #Conflicts: 538000 | #Constraints: 21645
375.74/378.39 c #Conflicts: 539000 | #Constraints: 22656
375.74/378.39 c #Conflicts: 540000 | #Constraints: 23669
375.74/378.39 c #Conflicts: 541000 | #Constraints: 24673
375.74/378.39 c #Conflicts: 542000 | #Constraints: 25677
375.74/378.39 c #Conflicts: 543000 | #Constraints: 26685
375.74/378.39 c #Conflicts: 544000 | #Constraints: 27688
375.74/378.39 c #Conflicts: 545000 | #Constraints: 28692
375.74/378.39 c #Conflicts: 546000 | #Constraints: 29704
375.74/378.39 c INPROCESSING
375.74/378.39 c GARBAGE COLLECT
375.74/378.39 c rational objective 14.1657
388.95/391.67 c #Conflicts: 547000 | #Constraints: 15977
388.95/391.67 c #Conflicts: 548000 | #Constraints: 16990
388.95/391.67 c #Conflicts: 549000 | #Constraints: 17996
388.95/391.67 c #Conflicts: 550000 | #Constraints: 19015
388.95/391.67 c #Conflicts: 551000 | #Constraints: 20027
388.95/391.67 c #Conflicts: 552000 | #Constraints: 21042
388.95/391.67 c #Conflicts: 553000 | #Constraints: 22054
388.95/391.67 c #Conflicts: 554000 | #Constraints: 23074
388.95/391.67 c #Conflicts: 555000 | #Constraints: 24086
388.95/391.67 c #Conflicts: 556000 | #Constraints: 25102
388.95/391.67 c #Conflicts: 557000 | #Constraints: 26112
388.95/391.67 c #Conflicts: 558000 | #Constraints: 27120
388.95/391.67 c #Conflicts: 559000 | #Constraints: 28124
388.95/391.67 c #Conflicts: 560000 | #Constraints: 29132
388.95/391.67 c #Conflicts: 561000 | #Constraints: 30139
388.95/391.67 c INPROCESSING
388.95/391.67 c GARBAGE COLLECT
388.95/391.67 c rational objective 14.1657
402.84/405.62 c #Conflicts: 562000 | #Constraints: 16217
402.84/405.62 c #Conflicts: 563000 | #Constraints: 17228
402.84/405.62 c #Conflicts: 564000 | #Constraints: 18248
402.84/405.62 c #Conflicts: 565000 | #Constraints: 19265
402.84/405.62 c #Conflicts: 566000 | #Constraints: 20280
402.84/405.62 c #Conflicts: 567000 | #Constraints: 21293
402.84/405.62 c #Conflicts: 568000 | #Constraints: 22299
402.84/405.62 c #Conflicts: 569000 | #Constraints: 23307
402.84/405.62 c #Conflicts: 570000 | #Constraints: 24311
402.84/405.62 c #Conflicts: 571000 | #Constraints: 25319
402.84/405.62 c #Conflicts: 572000 | #Constraints: 26325
402.84/405.62 c #Conflicts: 573000 | #Constraints: 27333
402.84/405.62 c #Conflicts: 574000 | #Constraints: 28345
402.84/405.62 c #Conflicts: 575000 | #Constraints: 29353
402.84/405.62 c #Conflicts: 576000 | #Constraints: 30360
402.84/405.62 c INPROCESSING
402.84/405.62 c GARBAGE COLLECT
402.84/405.62 c rational objective 14.1657
415.94/418.80 c #Conflicts: 577000 | #Constraints: 16210
415.94/418.80 c #Conflicts: 578000 | #Constraints: 17214
415.94/418.80 c #Conflicts: 579000 | #Constraints: 18219
415.94/418.80 c #Conflicts: 580000 | #Constraints: 19231
415.94/418.80 c #Conflicts: 581000 | #Constraints: 20238
415.94/418.80 c #Conflicts: 582000 | #Constraints: 21246
415.94/418.80 c #Conflicts: 583000 | #Constraints: 22256
415.94/418.80 c #Conflicts: 584000 | #Constraints: 23269
415.94/418.80 c #Conflicts: 585000 | #Constraints: 24276
415.94/418.80 c #Conflicts: 586000 | #Constraints: 25280
415.94/418.80 c #Conflicts: 587000 | #Constraints: 26288
415.94/418.80 c #Conflicts: 588000 | #Constraints: 27294
415.94/418.80 c #Conflicts: 589000 | #Constraints: 28296
415.94/418.80 c #Conflicts: 590000 | #Constraints: 29303
415.94/418.80 c #Conflicts: 591000 | #Constraints: 30309
415.94/418.80 c INPROCESSING
415.94/418.80 c GARBAGE COLLECT
415.94/418.80 c rational objective 14.1657
428.65/431.65 c #Conflicts: 592000 | #Constraints: 15982
428.65/431.65 c #Conflicts: 593000 | #Constraints: 16992
428.65/431.65 c #Conflicts: 594000 | #Constraints: 18003
428.65/431.65 c #Conflicts: 595000 | #Constraints: 19016
428.65/431.65 c #Conflicts: 596000 | #Constraints: 20029
428.65/431.65 c #Conflicts: 597000 | #Constraints: 21039
428.65/431.65 c #Conflicts: 598000 | #Constraints: 22050
428.65/431.65 c #Conflicts: 599000 | #Constraints: 23064
428.65/431.65 c #Conflicts: 600000 | #Constraints: 24077
428.65/431.65 c #Conflicts: 601000 | #Constraints: 25086
428.65/431.65 c #Conflicts: 602000 | #Constraints: 26092
428.65/431.65 c #Conflicts: 603000 | #Constraints: 27103
428.65/431.65 c #Conflicts: 604000 | #Constraints: 28115
428.65/431.65 c #Conflicts: 605000 | #Constraints: 29129
428.65/431.65 c #Conflicts: 606000 | #Constraints: 30137
428.65/431.65 c #Conflicts: 607000 | #Constraints: 31150
428.65/431.65 c INPROCESSING
428.65/431.65 c GARBAGE COLLECT
428.65/431.65 c rational objective 14.1657
442.07/445.19 c #Conflicts: 608000 | #Constraints: 16613
442.07/445.19 c #Conflicts: 609000 | #Constraints: 17627
442.07/445.19 c #Conflicts: 610000 | #Constraints: 18645
442.07/445.19 c #Conflicts: 611000 | #Constraints: 19665
442.07/445.19 c #Conflicts: 612000 | #Constraints: 20679
442.07/445.19 c #Conflicts: 613000 | #Constraints: 21687
442.07/445.19 c #Conflicts: 614000 | #Constraints: 22697
442.07/445.19 c #Conflicts: 615000 | #Constraints: 23709
442.07/445.19 c #Conflicts: 616000 | #Constraints: 24713
442.07/445.19 c #Conflicts: 617000 | #Constraints: 25720
442.07/445.19 c #Conflicts: 618000 | #Constraints: 26724
442.07/445.19 c #Conflicts: 619000 | #Constraints: 27735
442.07/445.19 c #Conflicts: 620000 | #Constraints: 28741
442.07/445.19 c #Conflicts: 621000 | #Constraints: 29746
442.07/445.19 c #Conflicts: 622000 | #Constraints: 30756
442.07/445.19 c #Conflicts: 623000 | #Constraints: 31764
442.07/445.19 c INPROCESSING
442.07/445.19 c GARBAGE COLLECT
442.07/445.19 c rational objective 14.1657
456.54/459.73 c #Conflicts: 624000 | #Constraints: 17017
456.54/459.73 c #Conflicts: 625000 | #Constraints: 18025
456.54/459.73 c #Conflicts: 626000 | #Constraints: 19032
456.54/459.73 c #Conflicts: 627000 | #Constraints: 20039
456.54/459.73 c #Conflicts: 628000 | #Constraints: 21045
456.54/459.73 c #Conflicts: 629000 | #Constraints: 22052
456.54/459.73 c #Conflicts: 630000 | #Constraints: 23067
456.54/459.73 c #Conflicts: 631000 | #Constraints: 24086
456.54/459.73 c #Conflicts: 632000 | #Constraints: 25100
456.54/459.73 c #Conflicts: 633000 | #Constraints: 26117
456.54/459.73 c #Conflicts: 634000 | #Constraints: 27134
456.54/459.73 c #Conflicts: 635000 | #Constraints: 28147
456.54/459.73 c #Conflicts: 636000 | #Constraints: 29154
456.54/459.73 c #Conflicts: 637000 | #Constraints: 30159
456.54/459.73 c #Conflicts: 638000 | #Constraints: 31166
456.54/459.73 c #Conflicts: 639000 | #Constraints: 32174
456.54/459.73 c INPROCESSING
456.54/459.73 c GARBAGE COLLECT
456.54/459.73 c rational objective 14.1658
470.15/473.46 c #Conflicts: 640000 | #Constraints: 17210
470.15/473.46 c #Conflicts: 641000 | #Constraints: 18220
470.15/473.46 c #Conflicts: 642000 | #Constraints: 19236
470.15/473.46 c #Conflicts: 643000 | #Constraints: 20248
470.15/473.46 c #Conflicts: 644000 | #Constraints: 21251
470.15/473.46 c #Conflicts: 645000 | #Constraints: 22253
470.15/473.46 c #Conflicts: 646000 | #Constraints: 23265
470.15/473.46 c #Conflicts: 647000 | #Constraints: 24268
470.15/473.46 c #Conflicts: 648000 | #Constraints: 25272
470.15/473.46 c #Conflicts: 649000 | #Constraints: 26281
470.15/473.46 c #Conflicts: 650000 | #Constraints: 27293
470.15/473.46 c #Conflicts: 651000 | #Constraints: 28301
470.15/473.46 c #Conflicts: 652000 | #Constraints: 29312
470.15/473.46 c #Conflicts: 653000 | #Constraints: 30325
470.15/473.46 c #Conflicts: 654000 | #Constraints: 31334
470.15/473.46 c #Conflicts: 655000 | #Constraints: 32350
470.15/473.46 c INPROCESSING
470.15/473.46 c GARBAGE COLLECT
470.15/473.46 c rational objective 14.1658
483.99/487.35 c #Conflicts: 656000 | #Constraints: 17208
483.99/487.35 c #Conflicts: 657000 | #Constraints: 18225
483.99/487.35 c #Conflicts: 658000 | #Constraints: 19239
483.99/487.35 c #Conflicts: 659000 | #Constraints: 20252
483.99/487.35 c #Conflicts: 660000 | #Constraints: 21263
483.99/487.35 c #Conflicts: 661000 | #Constraints: 22271
483.99/487.35 c #Conflicts: 662000 | #Constraints: 23276
483.99/487.35 c #Conflicts: 663000 | #Constraints: 24290
483.99/487.35 c #Conflicts: 664000 | #Constraints: 25298
483.99/487.35 c #Conflicts: 665000 | #Constraints: 26304
483.99/487.35 c #Conflicts: 666000 | #Constraints: 27309
483.99/487.35 c #Conflicts: 667000 | #Constraints: 28319
483.99/487.35 c #Conflicts: 668000 | #Constraints: 29334
483.99/487.35 c #Conflicts: 669000 | #Constraints: 30347
483.99/487.35 c #Conflicts: 670000 | #Constraints: 31354
483.99/487.35 c #Conflicts: 671000 | #Constraints: 32363
483.99/487.35 c INPROCESSING
483.99/487.35 c GARBAGE COLLECT
483.99/487.35 c rational objective 14.1658
498.54/501.92 c #Conflicts: 672000 | #Constraints: 16995
498.54/501.92 c #Conflicts: 673000 | #Constraints: 18003
498.54/501.92 c #Conflicts: 674000 | #Constraints: 19006
498.54/501.92 c #Conflicts: 675000 | #Constraints: 20012
498.54/501.92 c #Conflicts: 676000 | #Constraints: 21023
498.54/501.92 c #Conflicts: 677000 | #Constraints: 22039
498.54/501.92 c #Conflicts: 678000 | #Constraints: 23043
498.54/501.92 c #Conflicts: 679000 | #Constraints: 24057
498.54/501.92 c #Conflicts: 680000 | #Constraints: 25066
498.54/501.92 c #Conflicts: 681000 | #Constraints: 26068
498.54/501.92 c #Conflicts: 682000 | #Constraints: 27071
498.54/501.92 c #Conflicts: 683000 | #Constraints: 28074
498.54/501.92 c #Conflicts: 684000 | #Constraints: 29080
498.54/501.92 c #Conflicts: 685000 | #Constraints: 30084
498.54/501.92 c #Conflicts: 686000 | #Constraints: 31090
498.54/501.92 c #Conflicts: 687000 | #Constraints: 32098
498.54/501.92 c #Conflicts: 688000 | #Constraints: 33104
498.54/501.92 c INPROCESSING
498.54/501.92 c GARBAGE COLLECT
498.54/501.92 c rational objective 14.1658
512.30/515.78 c #Conflicts: 689000 | #Constraints: 17585
512.30/515.78 c #Conflicts: 690000 | #Constraints: 18593
512.30/515.78 c #Conflicts: 691000 | #Constraints: 19597
512.30/515.78 c #Conflicts: 692000 | #Constraints: 20605
512.30/515.78 c #Conflicts: 693000 | #Constraints: 21614
512.30/515.78 c #Conflicts: 694000 | #Constraints: 22638
512.30/515.78 c #Conflicts: 695000 | #Constraints: 23654
512.30/515.78 c #Conflicts: 696000 | #Constraints: 24666
512.30/515.78 c #Conflicts: 697000 | #Constraints: 25681
512.30/515.78 c #Conflicts: 698000 | #Constraints: 26692
512.30/515.78 c #Conflicts: 699000 | #Constraints: 27708
512.30/515.78 c #Conflicts: 700000 | #Constraints: 28730
512.30/515.78 c #Conflicts: 701000 | #Constraints: 29744
512.30/515.78 c #Conflicts: 702000 | #Constraints: 30756
512.30/515.78 c #Conflicts: 703000 | #Constraints: 31763
512.30/515.78 c #Conflicts: 704000 | #Constraints: 32776
512.30/515.78 c #Conflicts: 705000 | #Constraints: 33783
512.30/515.78 c INPROCESSING
512.30/515.78 c GARBAGE COLLECT
512.30/515.78 c rational objective 14.1658
526.86/530.32 c #Conflicts: 706000 | #Constraints: 18019
526.86/530.32 c #Conflicts: 707000 | #Constraints: 19026
526.86/530.32 c #Conflicts: 708000 | #Constraints: 20041
526.86/530.32 c #Conflicts: 709000 | #Constraints: 21056
526.86/530.32 c #Conflicts: 710000 | #Constraints: 22073
526.86/530.32 c #Conflicts: 711000 | #Constraints: 23084
526.86/530.32 c #Conflicts: 712000 | #Constraints: 24101
526.86/530.32 c #Conflicts: 713000 | #Constraints: 25114
526.86/530.32 c #Conflicts: 714000 | #Constraints: 26129
526.86/530.32 c #Conflicts: 715000 | #Constraints: 27151
526.86/530.32 c #Conflicts: 716000 | #Constraints: 28165
526.86/530.32 c #Conflicts: 717000 | #Constraints: 29173
526.86/530.32 c #Conflicts: 718000 | #Constraints: 30184
526.86/530.32 c #Conflicts: 719000 | #Constraints: 31191
526.86/530.32 c #Conflicts: 720000 | #Constraints: 32219
526.86/530.32 c #Conflicts: 721000 | #Constraints: 33236
526.86/530.32 c #Conflicts: 722000 | #Constraints: 34251
526.86/530.32 c INPROCESSING
526.86/530.32 c GARBAGE COLLECT
526.86/530.32 c rational objective 14.1658
541.12/544.64 c #Conflicts: 723000 | #Constraints: 18256
541.12/544.64 c #Conflicts: 724000 | #Constraints: 19270
541.12/544.64 c #Conflicts: 725000 | #Constraints: 20282
541.12/544.64 c #Conflicts: 726000 | #Constraints: 21302
541.12/544.64 c #Conflicts: 727000 | #Constraints: 22316
541.12/544.64 c #Conflicts: 728000 | #Constraints: 23330
541.12/544.64 c #Conflicts: 729000 | #Constraints: 24338
541.12/544.64 c #Conflicts: 730000 | #Constraints: 25349
541.12/544.64 c #Conflicts: 731000 | #Constraints: 26360
541.12/544.64 c #Conflicts: 732000 | #Constraints: 27371
541.12/544.64 c #Conflicts: 733000 | #Constraints: 28379
541.12/544.64 c #Conflicts: 734000 | #Constraints: 29390
541.12/544.64 c #Conflicts: 735000 | #Constraints: 30402
541.12/544.64 c #Conflicts: 736000 | #Constraints: 31414
541.12/544.64 c #Conflicts: 737000 | #Constraints: 32421
541.12/544.64 c #Conflicts: 738000 | #Constraints: 33435
541.12/544.64 c #Conflicts: 739000 | #Constraints: 34448
541.12/544.64 c INPROCESSING
541.12/544.64 c GARBAGE COLLECT
541.12/544.64 c rational objective 14.1658
556.49/560.03 c #Conflicts: 740000 | #Constraints: 18266
556.49/560.03 c #Conflicts: 741000 | #Constraints: 19282
556.49/560.03 c #Conflicts: 742000 | #Constraints: 20300
556.49/560.03 c #Conflicts: 743000 | #Constraints: 21323
556.49/560.03 c #Conflicts: 744000 | #Constraints: 22335
556.49/560.03 c #Conflicts: 745000 | #Constraints: 23338
556.49/560.03 c #Conflicts: 746000 | #Constraints: 24343
556.49/560.03 c #Conflicts: 747000 | #Constraints: 25352
556.49/560.03 c #Conflicts: 748000 | #Constraints: 26365
556.49/560.03 c #Conflicts: 749000 | #Constraints: 27369
556.49/560.03 c #Conflicts: 750000 | #Constraints: 28378
556.49/560.03 c #Conflicts: 751000 | #Constraints: 29385
556.49/560.03 c #Conflicts: 752000 | #Constraints: 30389
556.49/560.03 c #Conflicts: 753000 | #Constraints: 31393
556.49/560.03 c #Conflicts: 754000 | #Constraints: 32394
556.49/560.03 c #Conflicts: 755000 | #Constraints: 33403
556.49/560.03 c #Conflicts: 756000 | #Constraints: 34407
556.49/560.03 c INPROCESSING
556.49/560.03 c GARBAGE COLLECT
556.49/560.03 c rational objective 14.1658
571.94/575.53 c #Conflicts: 757000 | #Constraints: 18038
571.94/575.53 c #Conflicts: 758000 | #Constraints: 19065
571.94/575.53 c #Conflicts: 759000 | #Constraints: 20094
571.94/575.53 c #Conflicts: 760000 | #Constraints: 21103
571.94/575.53 c #Conflicts: 761000 | #Constraints: 22111
571.94/575.53 c #Conflicts: 762000 | #Constraints: 23118
571.94/575.53 c #Conflicts: 763000 | #Constraints: 24125
571.94/575.53 c #Conflicts: 764000 | #Constraints: 25132
571.94/575.53 c #Conflicts: 765000 | #Constraints: 26142
571.94/575.53 c #Conflicts: 766000 | #Constraints: 27148
571.94/575.53 c #Conflicts: 767000 | #Constraints: 28156
571.94/575.53 c #Conflicts: 768000 | #Constraints: 29160
571.94/575.53 c #Conflicts: 769000 | #Constraints: 30164
571.94/575.53 c #Conflicts: 770000 | #Constraints: 31177
571.94/575.53 c #Conflicts: 771000 | #Constraints: 32184
571.94/575.53 c #Conflicts: 772000 | #Constraints: 33190
571.94/575.53 c #Conflicts: 773000 | #Constraints: 34200
571.94/575.53 c #Conflicts: 774000 | #Constraints: 35214
571.94/575.53 c INPROCESSING
571.94/575.53 c GARBAGE COLLECT
571.94/575.53 c rational objective 14.1658
587.80/591.44 c #Conflicts: 775000 | #Constraints: 18657
587.80/591.44 c #Conflicts: 776000 | #Constraints: 19667
587.80/591.44 c #Conflicts: 777000 | #Constraints: 20671
587.80/591.44 c #Conflicts: 778000 | #Constraints: 21685
587.80/591.44 c #Conflicts: 779000 | #Constraints: 22697
587.80/591.44 c #Conflicts: 780000 | #Constraints: 23718
587.80/591.44 c #Conflicts: 781000 | #Constraints: 24732
587.80/591.44 c #Conflicts: 782000 | #Constraints: 25745
587.80/591.44 c #Conflicts: 783000 | #Constraints: 26751
587.80/591.44 c #Conflicts: 784000 | #Constraints: 27764
587.80/591.44 c #Conflicts: 785000 | #Constraints: 28775
587.80/591.44 c #Conflicts: 786000 | #Constraints: 29792
587.80/591.44 c #Conflicts: 787000 | #Constraints: 30803
587.80/591.44 c #Conflicts: 788000 | #Constraints: 31813
587.80/591.44 c #Conflicts: 789000 | #Constraints: 32824
587.80/591.44 c #Conflicts: 790000 | #Constraints: 33827
587.80/591.44 c #Conflicts: 791000 | #Constraints: 34830
587.80/591.44 c #Conflicts: 792000 | #Constraints: 35838
587.80/591.44 c INPROCESSING
587.80/591.44 c GARBAGE COLLECT
587.80/591.44 c rational objective 14.1658
602.16/605.84 c #Conflicts: 793000 | #Constraints: 19045
602.16/605.84 c #Conflicts: 794000 | #Constraints: 20052
602.16/605.84 c #Conflicts: 795000 | #Constraints: 21065
602.16/605.84 c #Conflicts: 796000 | #Constraints: 22079
602.16/605.84 c #Conflicts: 797000 | #Constraints: 23091
602.16/605.84 c #Conflicts: 798000 | #Constraints: 24101
602.16/605.84 c #Conflicts: 799000 | #Constraints: 25107
602.16/605.84 c #Conflicts: 800000 | #Constraints: 26116
602.16/605.84 c #Conflicts: 801000 | #Constraints: 27127
602.16/605.84 c #Conflicts: 802000 | #Constraints: 28137
602.16/605.84 c #Conflicts: 803000 | #Constraints: 29155
602.16/605.84 c #Conflicts: 804000 | #Constraints: 30167
602.16/605.84 c #Conflicts: 805000 | #Constraints: 31180
602.16/605.84 c #Conflicts: 806000 | #Constraints: 32197
602.16/605.84 c #Conflicts: 807000 | #Constraints: 33211
602.16/605.84 c #Conflicts: 808000 | #Constraints: 34223
602.16/605.84 c #Conflicts: 809000 | #Constraints: 35237
602.16/605.84 c #Conflicts: 810000 | #Constraints: 36247
602.16/605.84 c INPROCESSING
602.16/605.84 c GARBAGE COLLECT
602.16/605.84 c rational objective 14.1658
618.32/622.01 c #Conflicts: 811000 | #Constraints: 19254
618.32/622.01 c #Conflicts: 812000 | #Constraints: 20257
618.32/622.01 c #Conflicts: 813000 | #Constraints: 21261
618.32/622.01 c #Conflicts: 814000 | #Constraints: 22273
618.32/622.01 c #Conflicts: 815000 | #Constraints: 23282
618.32/622.01 c #Conflicts: 816000 | #Constraints: 24294
618.32/622.01 c #Conflicts: 817000 | #Constraints: 25296
618.32/622.01 c #Conflicts: 818000 | #Constraints: 26300
618.32/622.01 c #Conflicts: 819000 | #Constraints: 27310
618.32/622.01 c #Conflicts: 820000 | #Constraints: 28315
618.32/622.01 c #Conflicts: 821000 | #Constraints: 29320
618.32/622.01 c #Conflicts: 822000 | #Constraints: 30323
618.32/622.01 c #Conflicts: 823000 | #Constraints: 31333
618.32/622.01 c #Conflicts: 824000 | #Constraints: 32350
618.32/622.01 c #Conflicts: 825000 | #Constraints: 33355
618.32/622.01 c #Conflicts: 826000 | #Constraints: 34371
618.32/622.01 c #Conflicts: 827000 | #Constraints: 35384
618.32/622.01 c #Conflicts: 828000 | #Constraints: 36391
618.32/622.01 c INPROCESSING
618.32/622.01 c GARBAGE COLLECT
618.32/622.01 c rational objective 14.1658
636.47/640.21 c #Conflicts: 829000 | #Constraints: 19239
636.47/640.21 c #Conflicts: 830000 | #Constraints: 20243
636.47/640.21 c #Conflicts: 831000 | #Constraints: 21249
636.47/640.21 c #Conflicts: 832000 | #Constraints: 22253
636.47/640.21 c #Conflicts: 833000 | #Constraints: 23256
636.47/640.21 c #Conflicts: 834000 | #Constraints: 24264
636.47/640.21 c #Conflicts: 835000 | #Constraints: 25271
636.47/640.21 c #Conflicts: 836000 | #Constraints: 26278
636.47/640.21 c #Conflicts: 837000 | #Constraints: 27284
636.47/640.21 c #Conflicts: 838000 | #Constraints: 28289
636.47/640.21 c #Conflicts: 839000 | #Constraints: 29294
636.47/640.21 c #Conflicts: 840000 | #Constraints: 30303
636.47/640.21 c #Conflicts: 841000 | #Constraints: 31308
636.47/640.21 c #Conflicts: 842000 | #Constraints: 32311
636.47/640.21 c #Conflicts: 843000 | #Constraints: 33321
636.47/640.21 c #Conflicts: 844000 | #Constraints: 34328
636.47/640.21 c #Conflicts: 845000 | #Constraints: 35334
636.47/640.21 c #Conflicts: 846000 | #Constraints: 36341
636.47/640.21 c INPROCESSING
636.47/640.21 c GARBAGE COLLECT
636.47/640.21 c rational objective 14.1658
652.23/656.09 c #Conflicts: 847000 | #Constraints: 18997
652.23/656.09 c #Conflicts: 848000 | #Constraints: 20003
652.23/656.09 c #Conflicts: 849000 | #Constraints: 21013
652.23/656.09 c #Conflicts: 850000 | #Constraints: 22019
652.23/656.09 c #Conflicts: 851000 | #Constraints: 23026
652.23/656.09 c #Conflicts: 852000 | #Constraints: 24035
652.23/656.09 c #Conflicts: 853000 | #Constraints: 25050
652.23/656.09 c #Conflicts: 854000 | #Constraints: 26064
652.23/656.09 c #Conflicts: 855000 | #Constraints: 27072
652.23/656.09 c #Conflicts: 856000 | #Constraints: 28075
652.23/656.09 c #Conflicts: 857000 | #Constraints: 29078
652.23/656.09 c #Conflicts: 858000 | #Constraints: 30089
652.23/656.09 c #Conflicts: 859000 | #Constraints: 31095
652.23/656.09 c #Conflicts: 860000 | #Constraints: 32099
652.23/656.09 c #Conflicts: 861000 | #Constraints: 33110
652.23/656.09 c #Conflicts: 862000 | #Constraints: 34123
652.23/656.09 c #Conflicts: 863000 | #Constraints: 35133
652.23/656.09 c #Conflicts: 864000 | #Constraints: 36150
652.23/656.09 c #Conflicts: 865000 | #Constraints: 37164
652.23/656.09 c INPROCESSING
652.23/656.09 c GARBAGE COLLECT
652.23/656.09 c rational objective 14.1658
668.58/672.49 c #Conflicts: 866000 | #Constraints: 19614
668.58/672.49 c #Conflicts: 867000 | #Constraints: 20623
668.58/672.49 c #Conflicts: 868000 | #Constraints: 21626
668.58/672.49 c #Conflicts: 869000 | #Constraints: 22638
668.58/672.49 c #Conflicts: 870000 | #Constraints: 23647
668.58/672.49 c #Conflicts: 871000 | #Constraints: 24661
668.58/672.49 c #Conflicts: 872000 | #Constraints: 25669
668.58/672.49 c #Conflicts: 873000 | #Constraints: 26681
668.58/672.49 c #Conflicts: 874000 | #Constraints: 27696
668.58/672.49 c #Conflicts: 875000 | #Constraints: 28701
668.58/672.49 c #Conflicts: 876000 | #Constraints: 29707
668.58/672.49 c #Conflicts: 877000 | #Constraints: 30719
668.58/672.49 c #Conflicts: 878000 | #Constraints: 31730
668.58/672.49 c #Conflicts: 879000 | #Constraints: 32743
668.58/672.49 c #Conflicts: 880000 | #Constraints: 33751
668.58/672.49 c #Conflicts: 881000 | #Constraints: 34761
668.58/672.49 c #Conflicts: 882000 | #Constraints: 35774
668.58/672.49 c #Conflicts: 883000 | #Constraints: 36786
668.58/672.49 c #Conflicts: 884000 | #Constraints: 37800
668.58/672.49 c INPROCESSING
668.58/672.49 c GARBAGE COLLECT
668.58/672.49 c rational objective 14.1658
685.24/689.18 c #Conflicts: 885000 | #Constraints: 20128
685.24/689.18 c #Conflicts: 886000 | #Constraints: 21136
685.24/689.18 c #Conflicts: 887000 | #Constraints: 22148
685.24/689.18 c #Conflicts: 888000 | #Constraints: 23168
685.24/689.18 c #Conflicts: 889000 | #Constraints: 24183
685.24/689.18 c #Conflicts: 890000 | #Constraints: 25201
685.24/689.18 c #Conflicts: 891000 | #Constraints: 26211
685.24/689.18 c #Conflicts: 892000 | #Constraints: 27219
685.24/689.18 c #Conflicts: 893000 | #Constraints: 28226
685.24/689.18 c #Conflicts: 894000 | #Constraints: 29233
685.24/689.18 c #Conflicts: 895000 | #Constraints: 30242
685.24/689.18 c #Conflicts: 896000 | #Constraints: 31249
685.24/689.18 c #Conflicts: 897000 | #Constraints: 32253
685.24/689.18 c #Conflicts: 898000 | #Constraints: 33258
685.24/689.18 c #Conflicts: 899000 | #Constraints: 34264
685.24/689.18 c #Conflicts: 900000 | #Constraints: 35273
685.24/689.18 c #Conflicts: 901000 | #Constraints: 36276
685.24/689.18 c #Conflicts: 902000 | #Constraints: 37279
685.24/689.18 c #Conflicts: 903000 | #Constraints: 38283
685.24/689.18 c INPROCESSING
685.24/689.18 c GARBAGE COLLECT
685.24/689.18 c rational objective 14.166
701.69/705.66 c #Conflicts: 904000 | #Constraints: 20270
701.69/705.66 c #Conflicts: 905000 | #Constraints: 21280
701.69/705.66 c #Conflicts: 906000 | #Constraints: 22297
701.69/705.66 c #Conflicts: 907000 | #Constraints: 23311
701.69/705.66 c #Conflicts: 908000 | #Constraints: 24329
701.69/705.66 c #Conflicts: 909000 | #Constraints: 25343
701.69/705.66 c #Conflicts: 910000 | #Constraints: 26361
701.69/705.66 c #Conflicts: 911000 | #Constraints: 27374
701.69/705.66 c #Conflicts: 912000 | #Constraints: 28382
701.69/705.66 c #Conflicts: 913000 | #Constraints: 29389
701.69/705.66 c #Conflicts: 914000 | #Constraints: 30406
701.69/705.66 c #Conflicts: 915000 | #Constraints: 31415
701.69/705.66 c #Conflicts: 916000 | #Constraints: 32422
701.69/705.66 c #Conflicts: 917000 | #Constraints: 33428
701.69/705.66 c #Conflicts: 918000 | #Constraints: 34439
701.69/705.66 c #Conflicts: 919000 | #Constraints: 35444
701.69/705.66 c #Conflicts: 920000 | #Constraints: 36452
701.69/705.66 c #Conflicts: 921000 | #Constraints: 37464
701.69/705.66 c #Conflicts: 922000 | #Constraints: 38470
701.69/705.66 c INPROCESSING
701.69/705.66 c GARBAGE COLLECT
701.69/705.66 c rational objective 14.166
719.24/723.29 c #Conflicts: 923000 | #Constraints: 20299
719.24/723.29 c #Conflicts: 924000 | #Constraints: 21303
719.24/723.29 c #Conflicts: 925000 | #Constraints: 22318
719.24/723.29 c #Conflicts: 926000 | #Constraints: 23331
719.24/723.29 c #Conflicts: 927000 | #Constraints: 24348
719.24/723.29 c #Conflicts: 928000 | #Constraints: 25360
719.24/723.29 c #Conflicts: 929000 | #Constraints: 26376
719.24/723.29 c #Conflicts: 930000 | #Constraints: 27385
719.24/723.29 c #Conflicts: 931000 | #Constraints: 28398
719.24/723.29 c #Conflicts: 932000 | #Constraints: 29417
719.24/723.29 c #Conflicts: 933000 | #Constraints: 30433
719.24/723.29 c #Conflicts: 934000 | #Constraints: 31442
719.24/723.29 c #Conflicts: 935000 | #Constraints: 32446
719.24/723.29 c #Conflicts: 936000 | #Constraints: 33460
719.24/723.29 c #Conflicts: 937000 | #Constraints: 34462
719.24/723.29 c #Conflicts: 938000 | #Constraints: 35477
719.24/723.29 c #Conflicts: 939000 | #Constraints: 36496
719.24/723.29 c #Conflicts: 940000 | #Constraints: 37516
719.24/723.29 c #Conflicts: 941000 | #Constraints: 38531
719.24/723.29 c INPROCESSING
719.24/723.29 c GARBAGE COLLECT
719.24/723.29 c rational objective 14.1664
735.90/739.94 c #Conflicts: 942000 | #Constraints: 20089
735.90/739.94 c #Conflicts: 943000 | #Constraints: 21100
735.90/739.94 c #Conflicts: 944000 | #Constraints: 22112
735.90/739.94 c #Conflicts: 945000 | #Constraints: 23125
735.90/739.94 c #Conflicts: 946000 | #Constraints: 24136
735.90/739.94 c #Conflicts: 947000 | #Constraints: 25145
735.90/739.94 c #Conflicts: 948000 | #Constraints: 26151
735.90/739.94 c #Conflicts: 949000 | #Constraints: 27160
735.90/739.94 c #Conflicts: 950000 | #Constraints: 28168
735.90/739.94 c #Conflicts: 951000 | #Constraints: 29182
735.90/739.94 c #Conflicts: 952000 | #Constraints: 30196
735.90/739.94 c #Conflicts: 953000 | #Constraints: 31204
735.90/739.94 c #Conflicts: 954000 | #Constraints: 32220
735.90/739.94 c #Conflicts: 955000 | #Constraints: 33228
735.90/739.94 c #Conflicts: 956000 | #Constraints: 34239
735.90/739.94 c #Conflicts: 957000 | #Constraints: 35253
735.90/739.94 c #Conflicts: 958000 | #Constraints: 36260
735.90/739.94 c #Conflicts: 959000 | #Constraints: 37268
735.90/739.94 c #Conflicts: 960000 | #Constraints: 38280
735.90/739.94 c #Conflicts: 961000 | #Constraints: 39292
735.90/739.94 c INPROCESSING
735.90/739.94 c GARBAGE COLLECT
735.90/739.94 c rational objective 14.1664
754.95/759.08 c #Conflicts: 962000 | #Constraints: 20687
754.95/759.08 c #Conflicts: 963000 | #Constraints: 21704
754.95/759.08 c #Conflicts: 964000 | #Constraints: 22717
754.95/759.08 c #Conflicts: 965000 | #Constraints: 23731
754.95/759.08 c #Conflicts: 966000 | #Constraints: 24743
754.95/759.08 c #Conflicts: 967000 | #Constraints: 25753
754.95/759.08 c #Conflicts: 968000 | #Constraints: 26764
754.95/759.08 c #Conflicts: 969000 | #Constraints: 27780
754.95/759.08 c #Conflicts: 970000 | #Constraints: 28796
754.95/759.08 c #Conflicts: 971000 | #Constraints: 29807
754.95/759.08 c #Conflicts: 972000 | #Constraints: 30820
754.95/759.08 c #Conflicts: 973000 | #Constraints: 31835
754.95/759.08 c #Conflicts: 974000 | #Constraints: 32850
754.95/759.08 c #Conflicts: 975000 | #Constraints: 33864
754.95/759.08 c #Conflicts: 976000 | #Constraints: 34880
754.95/759.08 c #Conflicts: 977000 | #Constraints: 35889
754.95/759.08 c #Conflicts: 978000 | #Constraints: 36902
754.95/759.08 c #Conflicts: 979000 | #Constraints: 37911
754.95/759.08 c #Conflicts: 980000 | #Constraints: 38925
754.95/759.08 c #Conflicts: 981000 | #Constraints: 39932
754.95/759.08 c INPROCESSING
754.95/759.08 c GARBAGE COLLECT
754.95/759.08 c rational objective 14.1664
771.60/775.76 c #Conflicts: 982000 | #Constraints: 21102
771.60/775.76 c #Conflicts: 983000 | #Constraints: 22120
771.60/775.76 c #Conflicts: 984000 | #Constraints: 23133
771.60/775.76 c #Conflicts: 985000 | #Constraints: 24145
771.60/775.76 c #Conflicts: 986000 | #Constraints: 25159
771.60/775.76 c #Conflicts: 987000 | #Constraints: 26171
771.60/775.76 c #Conflicts: 988000 | #Constraints: 27182
771.60/775.76 c #Conflicts: 989000 | #Constraints: 28192
771.60/775.76 c #Conflicts: 990000 | #Constraints: 29208
771.60/775.76 c #Conflicts: 991000 | #Constraints: 30222
771.60/775.76 c #Conflicts: 992000 | #Constraints: 31231
771.60/775.76 c #Conflicts: 993000 | #Constraints: 32242
771.60/775.76 c #Conflicts: 994000 | #Constraints: 33253
771.60/775.76 c #Conflicts: 995000 | #Constraints: 34262
771.60/775.76 c #Conflicts: 996000 | #Constraints: 35268
771.60/775.76 c #Conflicts: 997000 | #Constraints: 36276
771.60/775.76 c #Conflicts: 998000 | #Constraints: 37286
771.60/775.76 c #Conflicts: 999000 | #Constraints: 38301
771.60/775.76 c #Conflicts: 1000000 | #Constraints: 39313
771.60/775.76 c #Conflicts: 1001000 | #Constraints: 40326
771.60/775.76 c INPROCESSING
771.60/775.76 c GARBAGE COLLECT
771.60/775.76 c rational objective 14.1664
791.25/795.47 c #Conflicts: 1002000 | #Constraints: 21290
791.25/795.47 c #Conflicts: 1003000 | #Constraints: 22301
791.25/795.47 c #Conflicts: 1004000 | #Constraints: 23312
791.25/795.47 c #Conflicts: 1005000 | #Constraints: 24326
791.25/795.47 c #Conflicts: 1006000 | #Constraints: 25341
791.25/795.47 c #Conflicts: 1007000 | #Constraints: 26360
791.25/795.47 c #Conflicts: 1008000 | #Constraints: 27376
791.25/795.47 c #Conflicts: 1009000 | #Constraints: 28392
791.25/795.47 c #Conflicts: 1010000 | #Constraints: 29408
791.25/795.47 c #Conflicts: 1011000 | #Constraints: 30418
791.25/795.47 c #Conflicts: 1012000 | #Constraints: 31432
791.25/795.47 c #Conflicts: 1013000 | #Constraints: 32445
791.25/795.47 c #Conflicts: 1014000 | #Constraints: 33452
791.25/795.47 c #Conflicts: 1015000 | #Constraints: 34465
791.25/795.47 c #Conflicts: 1016000 | #Constraints: 35476
791.25/795.47 c #Conflicts: 1017000 | #Constraints: 36484
791.25/795.47 c #Conflicts: 1018000 | #Constraints: 37495
791.25/795.47 c #Conflicts: 1019000 | #Constraints: 38503
791.25/795.47 c #Conflicts: 1020000 | #Constraints: 39520
791.25/795.47 c #Conflicts: 1021000 | #Constraints: 40525
791.25/795.47 c INPROCESSING
791.25/795.47 c GARBAGE COLLECT
791.25/795.47 c rational objective 14.1664
810.00/814.21 c #Conflicts: 1022000 | #Constraints: 16294
810.00/814.21 c #Conflicts: 1023000 | #Constraints: 17305
810.00/814.21 c #Conflicts: 1024000 | #Constraints: 18314
810.00/814.21 c #Conflicts: 1025000 | #Constraints: 19323
810.00/814.21 c #Conflicts: 1026000 | #Constraints: 20328
810.00/814.21 c #Conflicts: 1027000 | #Constraints: 21345
810.00/814.21 c #Conflicts: 1028000 | #Constraints: 22355
810.00/814.21 c #Conflicts: 1029000 | #Constraints: 23367
810.00/814.21 c #Conflicts: 1030000 | #Constraints: 24375
810.00/814.21 c #Conflicts: 1031000 | #Constraints: 25388
810.00/814.21 c #Conflicts: 1032000 | #Constraints: 26395
810.00/814.21 c #Conflicts: 1033000 | #Constraints: 27400
810.00/814.21 c #Conflicts: 1034000 | #Constraints: 28407
810.00/814.21 c #Conflicts: 1035000 | #Constraints: 29414
810.00/814.21 c #Conflicts: 1036000 | #Constraints: 30422
810.00/814.21 c #Conflicts: 1037000 | #Constraints: 31426
810.00/814.21 c #Conflicts: 1038000 | #Constraints: 32433
810.00/814.21 c #Conflicts: 1039000 | #Constraints: 33440
810.00/814.21 c #Conflicts: 1040000 | #Constraints: 34446
810.00/814.21 c #Conflicts: 1041000 | #Constraints: 35456
810.00/814.21 c INPROCESSING
810.00/814.21 c GARBAGE COLLECT
810.00/814.21 c rational objective 14.1664
828.34/832.67 c #Conflicts: 1042000 | #Constraints: 18566
828.34/832.67 c #Conflicts: 1043000 | #Constraints: 19580
828.34/832.67 c #Conflicts: 1044000 | #Constraints: 20594
828.34/832.67 c #Conflicts: 1045000 | #Constraints: 21602
828.34/832.67 c #Conflicts: 1046000 | #Constraints: 22612
828.34/832.67 c #Conflicts: 1047000 | #Constraints: 23627
828.34/832.67 c #Conflicts: 1048000 | #Constraints: 24643
828.34/832.67 c #Conflicts: 1049000 | #Constraints: 25654
828.34/832.67 c #Conflicts: 1050000 | #Constraints: 26664
828.34/832.67 c #Conflicts: 1051000 | #Constraints: 27675
828.34/832.67 c #Conflicts: 1052000 | #Constraints: 28683
828.34/832.67 c #Conflicts: 1053000 | #Constraints: 29693
828.34/832.67 c #Conflicts: 1054000 | #Constraints: 30702
828.34/832.67 c #Conflicts: 1055000 | #Constraints: 31714
828.34/832.67 c #Conflicts: 1056000 | #Constraints: 32724
828.34/832.67 c #Conflicts: 1057000 | #Constraints: 33739
828.34/832.67 c #Conflicts: 1058000 | #Constraints: 34749
828.34/832.67 c #Conflicts: 1059000 | #Constraints: 35761
828.34/832.67 c #Conflicts: 1060000 | #Constraints: 36770
828.34/832.67 c #Conflicts: 1061000 | #Constraints: 37776
828.34/832.67 c #Conflicts: 1062000 | #Constraints: 38786
828.34/832.67 c INPROCESSING
828.34/832.67 c GARBAGE COLLECT
828.34/832.67 c rational objective 14.1665
850.57/854.98 c #Conflicts: 1063000 | #Constraints: 20424
850.57/854.98 c #Conflicts: 1064000 | #Constraints: 21439
850.57/854.98 c #Conflicts: 1065000 | #Constraints: 22452
850.57/854.98 c #Conflicts: 1066000 | #Constraints: 23460
850.57/854.98 c #Conflicts: 1067000 | #Constraints: 24472
850.57/854.98 c #Conflicts: 1068000 | #Constraints: 25485
850.57/854.98 c #Conflicts: 1069000 | #Constraints: 26499
850.57/854.98 c #Conflicts: 1070000 | #Constraints: 27514
850.57/854.98 c #Conflicts: 1071000 | #Constraints: 28520
850.57/854.98 c #Conflicts: 1072000 | #Constraints: 29526
850.57/854.98 c #Conflicts: 1073000 | #Constraints: 30538
850.57/854.98 c #Conflicts: 1074000 | #Constraints: 31547
850.57/854.98 c #Conflicts: 1075000 | #Constraints: 32560
850.57/854.98 c #Conflicts: 1076000 | #Constraints: 33568
850.57/854.98 c #Conflicts: 1077000 | #Constraints: 34572
850.57/854.98 c #Conflicts: 1078000 | #Constraints: 35583
850.57/854.98 c #Conflicts: 1079000 | #Constraints: 36592
850.57/854.98 c #Conflicts: 1080000 | #Constraints: 37599
850.57/854.98 c #Conflicts: 1081000 | #Constraints: 38611
850.57/854.98 c #Conflicts: 1082000 | #Constraints: 39620
850.57/854.98 c #Conflicts: 1083000 | #Constraints: 40631
850.57/854.98 c INPROCESSING
850.57/854.98 c GARBAGE COLLECT
850.57/854.98 c rational objective 14.2445
869.22/873.66 c #Conflicts: 1084000 | #Constraints: 17175
869.22/873.66 c #Conflicts: 1085000 | #Constraints: 18189
869.22/873.66 c #Conflicts: 1086000 | #Constraints: 19206
869.22/873.66 c #Conflicts: 1087000 | #Constraints: 20217
869.22/873.66 c #Conflicts: 1088000 | #Constraints: 21224
869.22/873.66 c #Conflicts: 1089000 | #Constraints: 22233
869.22/873.66 c #Conflicts: 1090000 | #Constraints: 23243
869.22/873.66 c #Conflicts: 1091000 | #Constraints: 24261
869.22/873.66 c #Conflicts: 1092000 | #Constraints: 25268
869.22/873.66 c #Conflicts: 1093000 | #Constraints: 26278
869.22/873.66 c #Conflicts: 1094000 | #Constraints: 27283
869.22/873.66 c #Conflicts: 1095000 | #Constraints: 28297
869.22/873.66 c #Conflicts: 1096000 | #Constraints: 29305
869.22/873.66 c #Conflicts: 1097000 | #Constraints: 30315
869.22/873.66 c #Conflicts: 1098000 | #Constraints: 31325
869.22/873.66 c #Conflicts: 1099000 | #Constraints: 32336
869.22/873.66 c #Conflicts: 1100000 | #Constraints: 33350
869.22/873.66 c #Conflicts: 1101000 | #Constraints: 34366
869.22/873.66 c #Conflicts: 1102000 | #Constraints: 35379
869.22/873.66 c #Conflicts: 1103000 | #Constraints: 36390
869.22/873.66 c #Conflicts: 1104000 | #Constraints: 37396
869.22/873.66 c INPROCESSING
869.22/873.66 c GARBAGE COLLECT
869.22/873.66 c rational objective 14.2772
890.97/895.43 c #Conflicts: 1105000 | #Constraints: 19831
890.97/895.43 c #Conflicts: 1106000 | #Constraints: 20856
890.97/895.43 c #Conflicts: 1107000 | #Constraints: 21876
890.97/895.43 c #Conflicts: 1108000 | #Constraints: 22898
890.97/895.43 c #Conflicts: 1109000 | #Constraints: 23912
890.97/895.43 c #Conflicts: 1110000 | #Constraints: 24927
890.97/895.43 c #Conflicts: 1111000 | #Constraints: 25945
890.97/895.43 c #Conflicts: 1112000 | #Constraints: 26963
890.97/895.43 c #Conflicts: 1113000 | #Constraints: 27976
890.97/895.43 c #Conflicts: 1114000 | #Constraints: 28989
890.97/895.43 c #Conflicts: 1115000 | #Constraints: 29998
890.97/895.43 c #Conflicts: 1116000 | #Constraints: 31014
890.97/895.43 c #Conflicts: 1117000 | #Constraints: 32029
890.97/895.43 c #Conflicts: 1118000 | #Constraints: 33040
890.97/895.43 c #Conflicts: 1119000 | #Constraints: 34051
890.97/895.43 c #Conflicts: 1120000 | #Constraints: 35059
890.97/895.43 c #Conflicts: 1121000 | #Constraints: 36065
890.97/895.43 c #Conflicts: 1122000 | #Constraints: 37081
890.97/895.43 c #Conflicts: 1123000 | #Constraints: 38096
890.97/895.43 c #Conflicts: 1124000 | #Constraints: 39105
890.97/895.43 c #Conflicts: 1125000 | #Constraints: 40117
890.97/895.43 c INPROCESSING
890.97/895.43 c GARBAGE COLLECT
890.97/895.43 c rational objective 14.2773
912.31/916.86 c #Conflicts: 1126000 | #Constraints: 21192
912.31/916.86 c #Conflicts: 1127000 | #Constraints: 22363
912.31/916.86 c #Conflicts: 1128000 | #Constraints: 23370
912.31/916.86 c #Conflicts: 1129000 | #Constraints: 24380
912.31/916.86 c #Conflicts: 1130000 | #Constraints: 25387
912.31/916.86 c #Conflicts: 1131000 | #Constraints: 26399
912.31/916.86 c #Conflicts: 1132000 | #Constraints: 27407
912.31/916.86 c #Conflicts: 1133000 | #Constraints: 28415
912.31/916.86 c #Conflicts: 1134000 | #Constraints: 29420
912.31/916.86 c #Conflicts: 1135000 | #Constraints: 30428
912.31/916.86 c #Conflicts: 1136000 | #Constraints: 31446
912.31/916.86 c #Conflicts: 1137000 | #Constraints: 32455
912.31/916.86 c #Conflicts: 1138000 | #Constraints: 33463
912.31/916.86 c #Conflicts: 1139000 | #Constraints: 34466
912.31/916.86 c #Conflicts: 1140000 | #Constraints: 35470
912.31/916.86 c #Conflicts: 1141000 | #Constraints: 36476
912.31/916.86 c #Conflicts: 1142000 | #Constraints: 37481
912.31/916.86 c #Conflicts: 1143000 | #Constraints: 38497
912.31/916.86 c #Conflicts: 1144000 | #Constraints: 39516
912.31/916.86 c #Conflicts: 1145000 | #Constraints: 40522
912.31/916.86 c #Conflicts: 1146000 | #Constraints: 41535
912.31/916.86 c INPROCESSING
912.31/916.86 c GARBAGE COLLECT
912.31/916.86 c rational objective 14.2774
932.75/937.33 c #Conflicts: 1147000 | #Constraints: 21594
932.75/937.33 c #Conflicts: 1148000 | #Constraints: 22647
932.75/937.33 c #Conflicts: 1149000 | #Constraints: 23734
932.75/937.33 c #Conflicts: 1150000 | #Constraints: 24810
932.75/937.33 c #Conflicts: 1151000 | #Constraints: 25827
932.75/937.33 c #Conflicts: 1152000 | #Constraints: 26831
932.75/937.33 c #Conflicts: 1153000 | #Constraints: 27838
932.75/937.33 c #Conflicts: 1154000 | #Constraints: 28846
932.75/937.33 c #Conflicts: 1155000 | #Constraints: 29855
932.75/937.33 c #Conflicts: 1156000 | #Constraints: 30862
932.75/937.33 c #Conflicts: 1157000 | #Constraints: 31867
932.75/937.33 c #Conflicts: 1158000 | #Constraints: 32875
932.75/937.33 c #Conflicts: 1159000 | #Constraints: 33883
932.75/937.33 c #Conflicts: 1160000 | #Constraints: 34891
932.75/937.33 c #Conflicts: 1161000 | #Constraints: 35894
932.75/937.33 c #Conflicts: 1162000 | #Constraints: 36898
932.75/937.33 c #Conflicts: 1163000 | #Constraints: 37911
932.75/937.33 c #Conflicts: 1164000 | #Constraints: 38921
932.75/937.33 c #Conflicts: 1165000 | #Constraints: 39948
932.75/937.33 c #Conflicts: 1166000 | #Constraints: 40964
932.75/937.33 c #Conflicts: 1167000 | #Constraints: 41973
932.75/937.33 c #Conflicts: 1168000 | #Constraints: 42977
932.75/937.33 c INPROCESSING
932.75/937.33 c GARBAGE COLLECT
932.75/937.33 c rational objective 14.2776
952.60/957.26 c #Conflicts: 1169000 | #Constraints: 22617
952.60/957.26 c #Conflicts: 1170000 | #Constraints: 23627
952.60/957.26 c #Conflicts: 1171000 | #Constraints: 24637
952.60/957.26 c #Conflicts: 1172000 | #Constraints: 25642
952.60/957.26 c #Conflicts: 1173000 | #Constraints: 26649
952.60/957.26 c #Conflicts: 1174000 | #Constraints: 27653
952.60/957.26 c #Conflicts: 1175000 | #Constraints: 28658
952.60/957.26 c #Conflicts: 1176000 | #Constraints: 29668
952.60/957.26 c #Conflicts: 1177000 | #Constraints: 30676
952.60/957.26 c #Conflicts: 1178000 | #Constraints: 31681
952.60/957.26 c #Conflicts: 1179000 | #Constraints: 32684
952.60/957.26 c #Conflicts: 1180000 | #Constraints: 33694
952.60/957.26 c #Conflicts: 1181000 | #Constraints: 34706
952.60/957.26 c #Conflicts: 1182000 | #Constraints: 35713
952.60/957.26 c #Conflicts: 1183000 | #Constraints: 36719
952.60/957.26 c #Conflicts: 1184000 | #Constraints: 37727
952.60/957.26 c #Conflicts: 1185000 | #Constraints: 38733
952.60/957.26 c #Conflicts: 1186000 | #Constraints: 39743
952.60/957.26 c #Conflicts: 1187000 | #Constraints: 40749
952.60/957.26 c #Conflicts: 1188000 | #Constraints: 41758
952.60/957.26 c #Conflicts: 1189000 | #Constraints: 42765
952.60/957.26 c #Conflicts: 1190000 | #Constraints: 43775
952.60/957.26 c INPROCESSING
952.60/957.26 c GARBAGE COLLECT
952.60/957.26 c rational objective 14.2776
973.25/977.99 c #Conflicts: 1191000 | #Constraints: 23142
973.25/977.99 c #Conflicts: 1192000 | #Constraints: 24375
973.25/977.99 c #Conflicts: 1193000 | #Constraints: 25394
973.25/977.99 c #Conflicts: 1194000 | #Constraints: 26397
973.25/977.99 c #Conflicts: 1195000 | #Constraints: 27404
973.25/977.99 c #Conflicts: 1196000 | #Constraints: 28412
973.25/977.99 c #Conflicts: 1197000 | #Constraints: 29416
973.25/977.99 c #Conflicts: 1198000 | #Constraints: 30418
973.25/977.99 c #Conflicts: 1199000 | #Constraints: 31424
973.25/977.99 c #Conflicts: 1200000 | #Constraints: 32433
973.25/977.99 c #Conflicts: 1201000 | #Constraints: 33439
973.25/977.99 c #Conflicts: 1202000 | #Constraints: 34443
973.25/977.99 c #Conflicts: 1203000 | #Constraints: 35447
973.25/977.99 c #Conflicts: 1204000 | #Constraints: 36460
973.25/977.99 c #Conflicts: 1205000 | #Constraints: 37462
973.25/977.99 c #Conflicts: 1206000 | #Constraints: 38466
973.25/977.99 c #Conflicts: 1207000 | #Constraints: 39482
973.25/977.99 c #Conflicts: 1208000 | #Constraints: 40493
973.25/977.99 c #Conflicts: 1209000 | #Constraints: 41501
973.25/977.99 c #Conflicts: 1210000 | #Constraints: 42511
973.25/977.99 c #Conflicts: 1211000 | #Constraints: 43519
973.25/977.99 c #Conflicts: 1212000 | #Constraints: 44531
973.25/977.99 c INPROCESSING
973.25/977.99 c GARBAGE COLLECT
973.25/977.99 c rational objective 14.2777
994.59/999.32 c #Conflicts: 1213000 | #Constraints: 23398
994.59/999.32 c #Conflicts: 1214000 | #Constraints: 24412
994.59/999.32 c #Conflicts: 1215000 | #Constraints: 25421
994.59/999.32 c #Conflicts: 1216000 | #Constraints: 26427
994.59/999.32 c #Conflicts: 1217000 | #Constraints: 27433
994.59/999.32 c #Conflicts: 1218000 | #Constraints: 28440
994.59/999.32 c #Conflicts: 1219000 | #Constraints: 29458
994.59/999.32 c #Conflicts: 1220000 | #Constraints: 30469
994.59/999.32 c #Conflicts: 1221000 | #Constraints: 31473
994.59/999.32 c #Conflicts: 1222000 | #Constraints: 32481
994.59/999.32 c #Conflicts: 1223000 | #Constraints: 33489
994.59/999.32 c #Conflicts: 1224000 | #Constraints: 34494
994.59/999.32 c #Conflicts: 1225000 | #Constraints: 35502
994.59/999.32 c #Conflicts: 1226000 | #Constraints: 36516
994.59/999.32 c #Conflicts: 1227000 | #Constraints: 37524
994.59/999.32 c #Conflicts: 1228000 | #Constraints: 38532
994.59/999.32 c #Conflicts: 1229000 | #Constraints: 39541
994.59/999.32 c #Conflicts: 1230000 | #Constraints: 40549
994.59/999.32 c #Conflicts: 1231000 | #Constraints: 41561
994.59/999.32 c #Conflicts: 1232000 | #Constraints: 42568
994.59/999.32 c #Conflicts: 1233000 | #Constraints: 43578
994.59/999.32 c #Conflicts: 1234000 | #Constraints: 44583
994.59/999.32 c INPROCESSING
994.59/999.32 c GARBAGE COLLECT
994.59/999.32 c rational objective 14.2777
1015.63/1020.44 c #Conflicts: 1235000 | #Constraints: 23328
1015.63/1020.44 c #Conflicts: 1236000 | #Constraints: 24351
1015.63/1020.44 c #Conflicts: 1237000 | #Constraints: 25365
1015.63/1020.44 c #Conflicts: 1238000 | #Constraints: 26379
1015.63/1020.44 c #Conflicts: 1239000 | #Constraints: 27388
1015.63/1020.44 c #Conflicts: 1240000 | #Constraints: 28395
1015.63/1020.44 c #Conflicts: 1241000 | #Constraints: 29399
1015.63/1020.44 c #Conflicts: 1242000 | #Constraints: 30402
1015.63/1020.44 c #Conflicts: 1243000 | #Constraints: 31410
1015.63/1020.44 c #Conflicts: 1244000 | #Constraints: 32412
1015.63/1020.44 c #Conflicts: 1245000 | #Constraints: 33428
1015.63/1020.44 c #Conflicts: 1246000 | #Constraints: 34447
1015.63/1020.44 c #Conflicts: 1247000 | #Constraints: 35464
1015.63/1020.44 c #Conflicts: 1248000 | #Constraints: 36477
1015.63/1020.44 c #Conflicts: 1249000 | #Constraints: 37493
1015.63/1020.44 c #Conflicts: 1250000 | #Constraints: 38500
1015.63/1020.44 c #Conflicts: 1251000 | #Constraints: 39504
1015.63/1020.44 c #Conflicts: 1252000 | #Constraints: 40507
1015.63/1020.44 c #Conflicts: 1253000 | #Constraints: 41512
1015.63/1020.44 c #Conflicts: 1254000 | #Constraints: 42516
1015.63/1020.44 c #Conflicts: 1255000 | #Constraints: 43521
1015.63/1020.44 c #Conflicts: 1256000 | #Constraints: 44523
1015.63/1020.44 c INPROCESSING
1015.63/1020.44 c GARBAGE COLLECT
1015.63/1020.44 c rational objective 14.2777
1038.78/1043.60 c #Conflicts: 1257000 | #Constraints: 23164
1038.78/1043.60 c #Conflicts: 1258000 | #Constraints: 24358
1038.78/1043.60 c #Conflicts: 1259000 | #Constraints: 25380
1038.78/1043.60 c #Conflicts: 1260000 | #Constraints: 26387
1038.78/1043.60 c #Conflicts: 1261000 | #Constraints: 27397
1038.78/1043.60 c #Conflicts: 1262000 | #Constraints: 28403
1038.78/1043.60 c #Conflicts: 1263000 | #Constraints: 29409
1038.78/1043.60 c #Conflicts: 1264000 | #Constraints: 30415
1038.78/1043.60 c #Conflicts: 1265000 | #Constraints: 31431
1038.78/1043.60 c #Conflicts: 1266000 | #Constraints: 32440
1038.78/1043.60 c #Conflicts: 1267000 | #Constraints: 33448
1038.78/1043.60 c #Conflicts: 1268000 | #Constraints: 34455
1038.78/1043.60 c #Conflicts: 1269000 | #Constraints: 35468
1038.78/1043.60 c #Conflicts: 1270000 | #Constraints: 36480
1038.78/1043.60 c #Conflicts: 1271000 | #Constraints: 37490
1038.78/1043.60 c #Conflicts: 1272000 | #Constraints: 38499
1038.78/1043.60 c #Conflicts: 1273000 | #Constraints: 39507
1038.78/1043.60 c #Conflicts: 1274000 | #Constraints: 40520
1038.78/1043.60 c #Conflicts: 1275000 | #Constraints: 41530
1038.78/1043.60 c #Conflicts: 1276000 | #Constraints: 42537
1038.78/1043.60 c #Conflicts: 1277000 | #Constraints: 43542
1038.78/1043.60 c #Conflicts: 1278000 | #Constraints: 44553
1038.78/1043.60 c #Conflicts: 1279000 | #Constraints: 45561
1038.78/1043.60 c INPROCESSING
1038.78/1043.60 c GARBAGE COLLECT
1038.78/1043.60 c rational objective 14.2777
1060.32/1065.27 c #Conflicts: 1280000 | #Constraints: 23828
1060.32/1065.27 c #Conflicts: 1281000 | #Constraints: 24832
1060.32/1065.27 c #Conflicts: 1282000 | #Constraints: 25837
1060.32/1065.27 c #Conflicts: 1283000 | #Constraints: 26844
1060.32/1065.27 c #Conflicts: 1284000 | #Constraints: 27855
1060.32/1065.27 c #Conflicts: 1285000 | #Constraints: 28860
1060.32/1065.27 c #Conflicts: 1286000 | #Constraints: 29866
1060.32/1065.27 c #Conflicts: 1287000 | #Constraints: 30875
1060.32/1065.27 c #Conflicts: 1288000 | #Constraints: 31880
1060.32/1065.27 c #Conflicts: 1289000 | #Constraints: 32887
1060.32/1065.27 c #Conflicts: 1290000 | #Constraints: 33895
1060.32/1065.27 c #Conflicts: 1291000 | #Constraints: 34904
1060.32/1065.27 c #Conflicts: 1292000 | #Constraints: 35917
1060.32/1065.27 c #Conflicts: 1293000 | #Constraints: 36925
1060.32/1065.27 c #Conflicts: 1294000 | #Constraints: 37939
1060.32/1065.27 c #Conflicts: 1295000 | #Constraints: 38948
1060.32/1065.27 c #Conflicts: 1296000 | #Constraints: 39953
1060.32/1065.27 c #Conflicts: 1297000 | #Constraints: 40957
1060.32/1065.27 c #Conflicts: 1298000 | #Constraints: 41965
1060.32/1065.27 c #Conflicts: 1299000 | #Constraints: 42971
1060.32/1065.27 c #Conflicts: 1300000 | #Constraints: 43976
1060.32/1065.27 c #Conflicts: 1301000 | #Constraints: 44980
1060.32/1065.27 c #Conflicts: 1302000 | #Constraints: 45984
1060.32/1065.27 c INPROCESSING
1060.32/1065.27 c GARBAGE COLLECT
1060.32/1065.27 c rational objective 14.2778
1082.26/1087.29 c #Conflicts: 1303000 | #Constraints: 24146
1082.26/1087.29 c #Conflicts: 1304000 | #Constraints: 25151
1082.26/1087.29 c #Conflicts: 1305000 | #Constraints: 26162
1082.26/1087.29 c #Conflicts: 1306000 | #Constraints: 27170
1082.26/1087.29 c #Conflicts: 1307000 | #Constraints: 28176
1082.26/1087.29 c #Conflicts: 1308000 | #Constraints: 29182
1082.26/1087.29 c #Conflicts: 1309000 | #Constraints: 30188
1082.26/1087.29 c #Conflicts: 1310000 | #Constraints: 31199
1082.26/1087.29 c #Conflicts: 1311000 | #Constraints: 32207
1082.26/1087.29 c #Conflicts: 1312000 | #Constraints: 33211
1082.26/1087.29 c #Conflicts: 1313000 | #Constraints: 34216
1082.26/1087.29 c #Conflicts: 1314000 | #Constraints: 35227
1082.26/1087.29 c #Conflicts: 1315000 | #Constraints: 36237
1082.26/1087.29 c #Conflicts: 1316000 | #Constraints: 37245
1082.26/1087.29 c #Conflicts: 1317000 | #Constraints: 38254
1082.26/1087.29 c #Conflicts: 1318000 | #Constraints: 39260
1082.26/1087.29 c #Conflicts: 1319000 | #Constraints: 40273
1082.26/1087.29 c #Conflicts: 1320000 | #Constraints: 41282
1082.26/1087.29 c #Conflicts: 1321000 | #Constraints: 42290
1082.26/1087.29 c #Conflicts: 1322000 | #Constraints: 43299
1082.26/1087.29 c #Conflicts: 1323000 | #Constraints: 44308
1082.26/1087.29 c #Conflicts: 1324000 | #Constraints: 45319
1082.26/1087.29 c #Conflicts: 1325000 | #Constraints: 46328
1082.26/1087.29 c INPROCESSING
1082.26/1087.29 c GARBAGE COLLECT
1082.26/1087.29 c rational objective 14.2778
1106.00/1111.06 c #Conflicts: 1326000 | #Constraints: 24322
1106.00/1111.06 c #Conflicts: 1327000 | #Constraints: 25403
1106.00/1111.06 c #Conflicts: 1328000 | #Constraints: 26415
1106.00/1111.06 c #Conflicts: 1329000 | #Constraints: 27428
1106.00/1111.06 c #Conflicts: 1330000 | #Constraints: 28434
1106.00/1111.06 c #Conflicts: 1331000 | #Constraints: 29440
1106.00/1111.06 c #Conflicts: 1332000 | #Constraints: 30447
1106.00/1111.06 c #Conflicts: 1333000 | #Constraints: 31455
1106.00/1111.06 c #Conflicts: 1334000 | #Constraints: 32462
1106.00/1111.06 c #Conflicts: 1335000 | #Constraints: 33469
1106.00/1111.06 c #Conflicts: 1336000 | #Constraints: 34476
1106.00/1111.06 c #Conflicts: 1337000 | #Constraints: 35489
1106.00/1111.06 c #Conflicts: 1338000 | #Constraints: 36498
1106.00/1111.06 c #Conflicts: 1339000 | #Constraints: 37512
1106.00/1111.06 c #Conflicts: 1340000 | #Constraints: 38519
1106.00/1111.06 c #Conflicts: 1341000 | #Constraints: 39525
1106.00/1111.06 c #Conflicts: 1342000 | #Constraints: 40538
1106.00/1111.06 c #Conflicts: 1343000 | #Constraints: 41542
1106.00/1111.06 c #Conflicts: 1344000 | #Constraints: 42545
1106.00/1111.06 c #Conflicts: 1345000 | #Constraints: 43560
1106.00/1111.06 c #Conflicts: 1346000 | #Constraints: 44575
1106.00/1111.06 c #Conflicts: 1347000 | #Constraints: 45596
1106.00/1111.06 c #Conflicts: 1348000 | #Constraints: 46613
1106.00/1111.06 c INPROCESSING
1106.00/1111.06 c GARBAGE COLLECT
1106.00/1111.06 c rational objective 14.3349
1127.92/1133.05 c #Conflicts: 1349000 | #Constraints: 21679
1127.92/1133.05 c #Conflicts: 1350000 | #Constraints: 22691
1127.92/1133.05 c #Conflicts: 1351000 | #Constraints: 23700
1127.92/1133.05 c #Conflicts: 1352000 | #Constraints: 24707
1127.92/1133.05 c #Conflicts: 1353000 | #Constraints: 25712
1127.92/1133.05 c #Conflicts: 1354000 | #Constraints: 26724
1127.92/1133.05 c #Conflicts: 1355000 | #Constraints: 27738
1127.92/1133.05 c #Conflicts: 1356000 | #Constraints: 28751
1127.92/1133.05 c #Conflicts: 1357000 | #Constraints: 29761
1127.92/1133.05 c #Conflicts: 1358000 | #Constraints: 30768
1127.92/1133.05 c #Conflicts: 1359000 | #Constraints: 31773
1127.92/1133.05 c #Conflicts: 1360000 | #Constraints: 32778
1127.92/1133.05 c #Conflicts: 1361000 | #Constraints: 33784
1127.92/1133.05 c #Conflicts: 1362000 | #Constraints: 34790
1127.92/1133.05 c #Conflicts: 1363000 | #Constraints: 35798
1127.92/1133.05 c #Conflicts: 1364000 | #Constraints: 36809
1127.92/1133.05 c #Conflicts: 1365000 | #Constraints: 37817
1127.92/1133.05 c #Conflicts: 1366000 | #Constraints: 38823
1127.92/1133.05 c #Conflicts: 1367000 | #Constraints: 39829
1127.92/1133.05 c #Conflicts: 1368000 | #Constraints: 40833
1127.92/1133.05 c #Conflicts: 1369000 | #Constraints: 41841
1127.92/1133.05 c #Conflicts: 1370000 | #Constraints: 42847
1127.92/1133.05 c #Conflicts: 1371000 | #Constraints: 43854
1127.92/1133.05 c INPROCESSING
1127.92/1133.05 c GARBAGE COLLECT
1127.92/1133.05 c rational objective 14.3782
1150.15/1155.35 c #Conflicts: 1372000 | #Constraints: 22750
1150.15/1155.35 c #Conflicts: 1373000 | #Constraints: 23754
1150.15/1155.35 c #Conflicts: 1374000 | #Constraints: 24766
1150.15/1155.35 c #Conflicts: 1375000 | #Constraints: 25784
1150.15/1155.35 c #Conflicts: 1376000 | #Constraints: 26794
1150.15/1155.35 c #Conflicts: 1377000 | #Constraints: 27808
1150.15/1155.35 c #Conflicts: 1378000 | #Constraints: 28832
1150.15/1155.35 c #Conflicts: 1379000 | #Constraints: 29845
1150.15/1155.35 c #Conflicts: 1380000 | #Constraints: 30851
1150.15/1155.35 c #Conflicts: 1381000 | #Constraints: 31857
1150.15/1155.35 c #Conflicts: 1382000 | #Constraints: 32864
1150.15/1155.35 c #Conflicts: 1383000 | #Constraints: 33869
1150.15/1155.35 c #Conflicts: 1384000 | #Constraints: 34875
1150.15/1155.35 c #Conflicts: 1385000 | #Constraints: 35880
1150.15/1155.35 c #Conflicts: 1386000 | #Constraints: 36882
1150.15/1155.35 c #Conflicts: 1387000 | #Constraints: 37888
1150.15/1155.35 c #Conflicts: 1388000 | #Constraints: 38892
1150.15/1155.35 c #Conflicts: 1389000 | #Constraints: 39895
1150.15/1155.35 c #Conflicts: 1390000 | #Constraints: 40902
1150.15/1155.35 c #Conflicts: 1391000 | #Constraints: 41906
1150.15/1155.35 c #Conflicts: 1392000 | #Constraints: 42910
1150.15/1155.35 c #Conflicts: 1393000 | #Constraints: 43919
1150.15/1155.35 c #Conflicts: 1394000 | #Constraints: 44929
1150.15/1155.35 c #Conflicts: 1395000 | #Constraints: 45934
1150.15/1155.35 c INPROCESSING
1150.15/1155.35 c GARBAGE COLLECT
1150.15/1155.35 c rational objective 14.3787
1172.39/1177.62 c #Conflicts: 1396000 | #Constraints: 24007
1172.39/1177.62 c #Conflicts: 1397000 | #Constraints: 25016
1172.39/1177.62 c #Conflicts: 1398000 | #Constraints: 26021
1172.39/1177.62 c #Conflicts: 1399000 | #Constraints: 27033
1172.39/1177.62 c #Conflicts: 1400000 | #Constraints: 28044
1172.39/1177.62 c #Conflicts: 1401000 | #Constraints: 29052
1172.39/1177.62 c #Conflicts: 1402000 | #Constraints: 30061
1172.39/1177.62 c #Conflicts: 1403000 | #Constraints: 31066
1172.39/1177.62 c #Conflicts: 1404000 | #Constraints: 32076
1172.39/1177.62 c #Conflicts: 1405000 | #Constraints: 33082
1172.39/1177.62 c #Conflicts: 1406000 | #Constraints: 34088
1172.39/1177.62 c #Conflicts: 1407000 | #Constraints: 35095
1172.39/1177.62 c #Conflicts: 1408000 | #Constraints: 36105
1172.39/1177.62 c #Conflicts: 1409000 | #Constraints: 37110
1172.39/1177.62 c #Conflicts: 1410000 | #Constraints: 38118
1172.39/1177.62 c #Conflicts: 1411000 | #Constraints: 39126
1172.39/1177.62 c #Conflicts: 1412000 | #Constraints: 40133
1172.39/1177.62 c #Conflicts: 1413000 | #Constraints: 41142
1172.39/1177.62 c #Conflicts: 1414000 | #Constraints: 42150
1172.39/1177.62 c #Conflicts: 1415000 | #Constraints: 43156
1172.39/1177.62 c #Conflicts: 1416000 | #Constraints: 44160
1172.39/1177.62 c #Conflicts: 1417000 | #Constraints: 45167
1172.39/1177.62 c #Conflicts: 1418000 | #Constraints: 46180
1172.39/1177.62 c #Conflicts: 1419000 | #Constraints: 47190
1172.39/1177.62 c INPROCESSING
1172.39/1177.62 c GARBAGE COLLECT
1172.39/1177.62 c rational objective 14.379
1195.93/1201.23 c #Conflicts: 1420000 | #Constraints: 24792
1195.93/1201.23 c #Conflicts: 1421000 | #Constraints: 25805
1195.93/1201.23 c #Conflicts: 1422000 | #Constraints: 26821
1195.93/1201.23 c #Conflicts: 1423000 | #Constraints: 27830
1195.93/1201.23 c #Conflicts: 1424000 | #Constraints: 28835
1195.93/1201.23 c #Conflicts: 1425000 | #Constraints: 29847
1195.93/1201.23 c #Conflicts: 1426000 | #Constraints: 30853
1195.93/1201.23 c #Conflicts: 1427000 | #Constraints: 31858
1195.93/1201.23 c #Conflicts: 1428000 | #Constraints: 32863
1195.93/1201.23 c #Conflicts: 1429000 | #Constraints: 33868
1195.93/1201.23 c #Conflicts: 1430000 | #Constraints: 34881
1195.93/1201.23 c #Conflicts: 1431000 | #Constraints: 35890
1195.93/1201.23 c #Conflicts: 1432000 | #Constraints: 36898
1195.93/1201.23 c #Conflicts: 1433000 | #Constraints: 37901
1195.93/1201.23 c #Conflicts: 1434000 | #Constraints: 38908
1195.93/1201.23 c #Conflicts: 1435000 | #Constraints: 39918
1195.93/1201.23 c #Conflicts: 1436000 | #Constraints: 40924
1195.93/1201.23 c #Conflicts: 1437000 | #Constraints: 41928
1195.93/1201.23 c #Conflicts: 1438000 | #Constraints: 42936
1195.93/1201.23 c #Conflicts: 1439000 | #Constraints: 43944
1195.93/1201.23 c #Conflicts: 1440000 | #Constraints: 44956
1195.93/1201.23 c #Conflicts: 1441000 | #Constraints: 45960
1195.93/1201.23 c #Conflicts: 1442000 | #Constraints: 46970
1195.93/1201.23 c #Conflicts: 1443000 | #Constraints: 47982
1195.93/1201.23 c INPROCESSING
1195.93/1201.23 c GARBAGE COLLECT
1195.93/1201.23 c rational objective 14.3792
1219.78/1225.15 c #Conflicts: 1444000 | #Constraints: 25168
1219.78/1225.15 c #Conflicts: 1445000 | #Constraints: 26172
1219.78/1225.15 c #Conflicts: 1446000 | #Constraints: 27181
1219.78/1225.15 c #Conflicts: 1447000 | #Constraints: 28191
1219.78/1225.15 c #Conflicts: 1448000 | #Constraints: 29198
1219.78/1225.15 c #Conflicts: 1449000 | #Constraints: 30208
1219.78/1225.15 c #Conflicts: 1450000 | #Constraints: 31213
1219.78/1225.15 c #Conflicts: 1451000 | #Constraints: 32222
1219.78/1225.15 c #Conflicts: 1452000 | #Constraints: 33232
1219.78/1225.15 c #Conflicts: 1453000 | #Constraints: 34241
1219.78/1225.15 c #Conflicts: 1454000 | #Constraints: 35245
1219.78/1225.15 c #Conflicts: 1455000 | #Constraints: 36251
1219.78/1225.15 c #Conflicts: 1456000 | #Constraints: 37261
1219.78/1225.15 c #Conflicts: 1457000 | #Constraints: 38270
1219.78/1225.15 c #Conflicts: 1458000 | #Constraints: 39282
1219.78/1225.15 c #Conflicts: 1459000 | #Constraints: 40296
1219.78/1225.15 c #Conflicts: 1460000 | #Constraints: 41306
1219.78/1225.15 c #Conflicts: 1461000 | #Constraints: 42314
1219.78/1225.15 c #Conflicts: 1462000 | #Constraints: 43319
1219.78/1225.15 c #Conflicts: 1463000 | #Constraints: 44322
1219.78/1225.15 c #Conflicts: 1464000 | #Constraints: 45328
1219.78/1225.15 c #Conflicts: 1465000 | #Constraints: 46335
1219.78/1225.15 c #Conflicts: 1466000 | #Constraints: 47342
1219.78/1225.15 c #Conflicts: 1467000 | #Constraints: 48355
1219.78/1225.15 c INPROCESSING
1219.78/1225.15 c GARBAGE COLLECT
1219.78/1225.15 c rational objective 14.3792
1244.20/1249.63 c #Conflicts: 1468000 | #Constraints: 25237
1244.20/1249.63 c #Conflicts: 1469000 | #Constraints: 26250
1244.20/1249.63 c #Conflicts: 1470000 | #Constraints: 27264
1244.20/1249.63 c #Conflicts: 1471000 | #Constraints: 28268
1244.20/1249.63 c #Conflicts: 1472000 | #Constraints: 29273
1244.20/1249.63 c #Conflicts: 1473000 | #Constraints: 30288
1244.20/1249.63 c #Conflicts: 1474000 | #Constraints: 31295
1244.20/1249.63 c #Conflicts: 1475000 | #Constraints: 32310
1244.20/1249.63 c #Conflicts: 1476000 | #Constraints: 33312
1244.20/1249.63 c #Conflicts: 1477000 | #Constraints: 34318
1244.20/1249.63 c #Conflicts: 1478000 | #Constraints: 35332
1244.20/1249.63 c #Conflicts: 1479000 | #Constraints: 36341
1244.20/1249.63 c #Conflicts: 1480000 | #Constraints: 37347
1244.20/1249.63 c #Conflicts: 1481000 | #Constraints: 38365
1244.20/1249.63 c #Conflicts: 1482000 | #Constraints: 39377
1244.20/1249.63 c #Conflicts: 1483000 | #Constraints: 40379
1244.20/1249.63 c #Conflicts: 1484000 | #Constraints: 41382
1244.20/1249.63 c #Conflicts: 1485000 | #Constraints: 42389
1244.20/1249.63 c #Conflicts: 1486000 | #Constraints: 43392
1244.20/1249.63 c #Conflicts: 1487000 | #Constraints: 44398
1244.20/1249.63 c #Conflicts: 1488000 | #Constraints: 45404
1244.20/1249.63 c #Conflicts: 1489000 | #Constraints: 46408
1244.20/1249.63 c #Conflicts: 1490000 | #Constraints: 47413
1244.20/1249.63 c #Conflicts: 1491000 | #Constraints: 48421
1244.20/1249.63 c INPROCESSING
1244.20/1249.63 c GARBAGE COLLECT
1244.20/1249.63 c rational objective 14.4127
1267.74/1273.24 c #Conflicts: 1492000 | #Constraints: 23405
1267.74/1273.24 c #Conflicts: 1493000 | #Constraints: 24413
1267.74/1273.24 c #Conflicts: 1494000 | #Constraints: 25420
1267.74/1273.24 c #Conflicts: 1495000 | #Constraints: 26427
1267.74/1273.24 c #Conflicts: 1496000 | #Constraints: 27432
1267.74/1273.24 c #Conflicts: 1497000 | #Constraints: 28438
1267.74/1273.24 c #Conflicts: 1498000 | #Constraints: 29449
1267.74/1273.24 c #Conflicts: 1499000 | #Constraints: 30456
1267.74/1273.24 c #Conflicts: 1500000 | #Constraints: 31460
1267.74/1273.24 c #Conflicts: 1501000 | #Constraints: 32469
1267.74/1273.24 c #Conflicts: 1502000 | #Constraints: 33485
1267.74/1273.24 c #Conflicts: 1503000 | #Constraints: 34497
1267.74/1273.24 c #Conflicts: 1504000 | #Constraints: 35506
1267.74/1273.24 c #Conflicts: 1505000 | #Constraints: 36519
1267.74/1273.24 c #Conflicts: 1506000 | #Constraints: 37525
1267.74/1273.24 c #Conflicts: 1507000 | #Constraints: 38533
1267.74/1273.24 c #Conflicts: 1508000 | #Constraints: 39538
1267.74/1273.24 c #Conflicts: 1509000 | #Constraints: 40543
1267.74/1273.24 c #Conflicts: 1510000 | #Constraints: 41550
1267.74/1273.24 c #Conflicts: 1511000 | #Constraints: 42553
1267.74/1273.24 c #Conflicts: 1512000 | #Constraints: 43561
1267.74/1273.24 c #Conflicts: 1513000 | #Constraints: 44565
1267.74/1273.24 c #Conflicts: 1514000 | #Constraints: 45576
1267.74/1273.24 c #Conflicts: 1515000 | #Constraints: 46582
1267.74/1273.24 c #Conflicts: 1516000 | #Constraints: 47590
1267.74/1273.24 c INPROCESSING
1267.74/1273.24 c GARBAGE COLLECT
1267.74/1273.24 c rational objective 14.4129
1293.87/1299.41 c #Conflicts: 1517000 | #Constraints: 24837
1293.87/1299.41 c #Conflicts: 1518000 | #Constraints: 25884
1293.87/1299.41 c #Conflicts: 1519000 | #Constraints: 26890
1293.87/1299.41 c #Conflicts: 1520000 | #Constraints: 27896
1293.87/1299.41 c #Conflicts: 1521000 | #Constraints: 28906
1293.87/1299.41 c #Conflicts: 1522000 | #Constraints: 29921
1293.87/1299.41 c #Conflicts: 1523000 | #Constraints: 30938
1293.87/1299.41 c #Conflicts: 1524000 | #Constraints: 31945
1293.87/1299.41 c #Conflicts: 1525000 | #Constraints: 32955
1293.87/1299.41 c #Conflicts: 1526000 | #Constraints: 33963
1293.87/1299.41 c #Conflicts: 1527000 | #Constraints: 34969
1293.87/1299.41 c #Conflicts: 1528000 | #Constraints: 35974
1293.87/1299.41 c #Conflicts: 1529000 | #Constraints: 36978
1293.87/1299.41 c #Conflicts: 1530000 | #Constraints: 37982
1293.87/1299.41 c #Conflicts: 1531000 | #Constraints: 38992
1293.87/1299.41 c #Conflicts: 1532000 | #Constraints: 39995
1293.87/1299.41 c #Conflicts: 1533000 | #Constraints: 41001
1293.87/1299.41 c #Conflicts: 1534000 | #Constraints: 42009
1293.87/1299.41 c #Conflicts: 1535000 | #Constraints: 43016
1293.87/1299.41 c #Conflicts: 1536000 | #Constraints: 44022
1293.87/1299.41 c #Conflicts: 1537000 | #Constraints: 45024
1293.87/1299.41 c #Conflicts: 1538000 | #Constraints: 46028
1293.87/1299.41 c #Conflicts: 1539000 | #Constraints: 47037
1293.87/1299.41 c #Conflicts: 1540000 | #Constraints: 48041
1293.87/1299.41 c #Conflicts: 1541000 | #Constraints: 49048
1293.87/1299.41 c INPROCESSING
1293.87/1299.41 c GARBAGE COLLECT
1293.87/1299.41 c rational objective 14.413
1319.18/1324.80 c #Conflicts: 1542000 | #Constraints: 25680
1319.18/1324.80 c #Conflicts: 1543000 | #Constraints: 26711
1319.18/1324.80 c #Conflicts: 1544000 | #Constraints: 27719
1319.18/1324.80 c #Conflicts: 1545000 | #Constraints: 28728
1319.18/1324.80 c #Conflicts: 1546000 | #Constraints: 29737
1319.18/1324.80 c #Conflicts: 1547000 | #Constraints: 30744
1319.18/1324.80 c #Conflicts: 1548000 | #Constraints: 31753
1319.18/1324.80 c #Conflicts: 1549000 | #Constraints: 32759
1319.18/1324.80 c #Conflicts: 1550000 | #Constraints: 33765
1319.18/1324.80 c #Conflicts: 1551000 | #Constraints: 34770
1319.18/1324.80 c #Conflicts: 1552000 | #Constraints: 35775
1319.18/1324.80 c #Conflicts: 1553000 | #Constraints: 36790
1319.18/1324.80 c #Conflicts: 1554000 | #Constraints: 37800
1319.18/1324.80 c #Conflicts: 1555000 | #Constraints: 38804
1319.18/1324.80 c #Conflicts: 1556000 | #Constraints: 39815
1319.18/1324.80 c #Conflicts: 1557000 | #Constraints: 40823
1319.18/1324.80 c #Conflicts: 1558000 | #Constraints: 41829
1319.18/1324.80 c #Conflicts: 1559000 | #Constraints: 42835
1319.18/1324.80 c #Conflicts: 1560000 | #Constraints: 43842
1319.18/1324.80 c #Conflicts: 1561000 | #Constraints: 44849
1319.18/1324.80 c #Conflicts: 1562000 | #Constraints: 45856
1319.18/1324.80 c #Conflicts: 1563000 | #Constraints: 46860
1319.18/1324.80 c #Conflicts: 1564000 | #Constraints: 47865
1319.18/1324.80 c #Conflicts: 1565000 | #Constraints: 48869
1319.18/1324.80 c #Conflicts: 1566000 | #Constraints: 49874
1319.18/1324.80 c INPROCESSING
1319.18/1324.80 c GARBAGE COLLECT
1319.18/1324.80 c rational objective 14.413
1346.42/1352.13 c #Conflicts: 1567000 | #Constraints: 26095
1346.42/1352.13 c #Conflicts: 1568000 | #Constraints: 27102
1346.42/1352.13 c #Conflicts: 1569000 | #Constraints: 28109
1346.42/1352.13 c #Conflicts: 1570000 | #Constraints: 29116
1346.42/1352.13 c #Conflicts: 1571000 | #Constraints: 30125
1346.42/1352.13 c #Conflicts: 1572000 | #Constraints: 31137
1346.42/1352.13 c #Conflicts: 1573000 | #Constraints: 32146
1346.42/1352.13 c #Conflicts: 1574000 | #Constraints: 33149
1346.42/1352.13 c #Conflicts: 1575000 | #Constraints: 34156
1346.42/1352.13 c #Conflicts: 1576000 | #Constraints: 35165
1346.42/1352.13 c #Conflicts: 1577000 | #Constraints: 36173
1346.42/1352.13 c #Conflicts: 1578000 | #Constraints: 37182
1346.42/1352.13 c #Conflicts: 1579000 | #Constraints: 38190
1346.42/1352.13 c #Conflicts: 1580000 | #Constraints: 39194
1346.42/1352.13 c #Conflicts: 1581000 | #Constraints: 40197
1346.42/1352.13 c #Conflicts: 1582000 | #Constraints: 41203
1346.42/1352.13 c #Conflicts: 1583000 | #Constraints: 42206
1346.42/1352.13 c #Conflicts: 1584000 | #Constraints: 43210
1346.42/1352.13 c #Conflicts: 1585000 | #Constraints: 44216
1346.42/1352.13 c #Conflicts: 1586000 | #Constraints: 45220
1346.42/1352.13 c #Conflicts: 1587000 | #Constraints: 46226
1346.42/1352.13 c #Conflicts: 1588000 | #Constraints: 47233
1346.42/1352.13 c #Conflicts: 1589000 | #Constraints: 48240
1346.42/1352.13 c #Conflicts: 1590000 | #Constraints: 49245
1346.42/1352.13 c #Conflicts: 1591000 | #Constraints: 50253
1346.42/1352.13 c INPROCESSING
1346.42/1352.13 c GARBAGE COLLECT
1346.42/1352.13 c rational objective 14.413
1376.54/1382.33 c #Conflicts: 1592000 | #Constraints: 26157
1376.54/1382.33 c #Conflicts: 1593000 | #Constraints: 27173
1376.54/1382.33 c #Conflicts: 1594000 | #Constraints: 28194
1376.54/1382.33 c #Conflicts: 1595000 | #Constraints: 29212
1376.54/1382.33 c #Conflicts: 1596000 | #Constraints: 30228
1376.54/1382.33 c #Conflicts: 1597000 | #Constraints: 31240
1376.54/1382.33 c #Conflicts: 1598000 | #Constraints: 32247
1376.54/1382.33 c #Conflicts: 1599000 | #Constraints: 33257
1376.54/1382.33 c #Conflicts: 1600000 | #Constraints: 34270
1376.54/1382.33 c #Conflicts: 1601000 | #Constraints: 35281
1376.54/1382.33 c #Conflicts: 1602000 | #Constraints: 36292
1376.54/1382.33 c #Conflicts: 1603000 | #Constraints: 37305
1376.54/1382.33 c #Conflicts: 1604000 | #Constraints: 38316
1376.54/1382.33 c #Conflicts: 1605000 | #Constraints: 39337
1376.54/1382.33 c #Conflicts: 1606000 | #Constraints: 40351
1376.54/1382.33 c #Conflicts: 1607000 | #Constraints: 41360
1376.54/1382.33 c #Conflicts: 1608000 | #Constraints: 42367
1376.54/1382.33 c #Conflicts: 1609000 | #Constraints: 43380
1376.54/1382.33 c #Conflicts: 1610000 | #Constraints: 44387
1376.54/1382.33 c #Conflicts: 1611000 | #Constraints: 45401
1376.54/1382.33 c #Conflicts: 1612000 | #Constraints: 46414
1376.54/1382.33 c #Conflicts: 1613000 | #Constraints: 47424
1376.54/1382.33 c #Conflicts: 1614000 | #Constraints: 48431
1376.54/1382.33 c #Conflicts: 1615000 | #Constraints: 49442
1376.54/1382.33 c #Conflicts: 1616000 | #Constraints: 50454
1376.54/1382.33 c INPROCESSING
1376.54/1382.33 c GARBAGE COLLECT
1376.54/1382.33 c rational objective 14.4131
1399.07/1404.94 c #Conflicts: 1617000 | #Constraints: 26116
1399.07/1404.94 c #Conflicts: 1618000 | #Constraints: 27198
1399.07/1404.94 c #Conflicts: 1619000 | #Constraints: 28204
1399.07/1404.94 c #Conflicts: 1620000 | #Constraints: 29208
1399.07/1404.94 c #Conflicts: 1621000 | #Constraints: 30215
1399.07/1404.94 c #Conflicts: 1622000 | #Constraints: 31218
1399.07/1404.94 c #Conflicts: 1623000 | #Constraints: 32219
1399.07/1404.94 c #Conflicts: 1624000 | #Constraints: 33228
1399.07/1404.94 c #Conflicts: 1625000 | #Constraints: 34234
1399.07/1404.94 c #Conflicts: 1626000 | #Constraints: 35240
1399.07/1404.94 c #Conflicts: 1627000 | #Constraints: 36247
1399.07/1404.94 c #Conflicts: 1628000 | #Constraints: 37255
1399.07/1404.94 c #Conflicts: 1629000 | #Constraints: 38262
1399.07/1404.94 c #Conflicts: 1630000 | #Constraints: 39267
1399.07/1404.94 c #Conflicts: 1631000 | #Constraints: 40272
1399.07/1404.94 c #Conflicts: 1632000 | #Constraints: 41282
1399.07/1404.94 c #Conflicts: 1633000 | #Constraints: 42284
1399.07/1404.94 c #Conflicts: 1634000 | #Constraints: 43297
1399.07/1404.94 c #Conflicts: 1635000 | #Constraints: 44303
1399.07/1404.94 c #Conflicts: 1636000 | #Constraints: 45308
1399.07/1404.94 c #Conflicts: 1637000 | #Constraints: 46317
1399.07/1404.94 c bounds 17 >= 14 @ 1368.59
1404.36/1410.28 c #Conflicts: 1638000 | #Constraints: 47357
1404.36/1410.28 c #Conflicts: 1639000 | #Constraints: 48371
1404.36/1410.28 c #Conflicts: 1640000 | #Constraints: 49377
1404.36/1410.28 c #Conflicts: 1641000 | #Constraints: 50385
1404.36/1410.28 c #Conflicts: 1642000 | #Constraints: 51388
1404.36/1410.28 c INPROCESSING
1404.36/1410.28 c GARBAGE COLLECT
1404.36/1410.28 c rational objective 14.4137
1422.90/1428.85 c #Conflicts: 1643000 | #Constraints: 26745
1422.90/1428.85 c #Conflicts: 1644000 | #Constraints: 27756
1422.90/1428.85 c #Conflicts: 1645000 | #Constraints: 28762
1422.90/1428.85 c #Conflicts: 1646000 | #Constraints: 29767
1422.90/1428.85 c #Conflicts: 1647000 | #Constraints: 30769
1422.90/1428.85 c #Conflicts: 1648000 | #Constraints: 31776
1422.90/1428.85 c #Conflicts: 1649000 | #Constraints: 32780
1422.90/1428.85 c #Conflicts: 1650000 | #Constraints: 33785
1422.90/1428.85 c #Conflicts: 1651000 | #Constraints: 34790
1422.90/1428.85 c #Conflicts: 1652000 | #Constraints: 35793
1422.90/1428.85 c #Conflicts: 1653000 | #Constraints: 36797
1422.90/1428.85 c #Conflicts: 1654000 | #Constraints: 37798
1422.90/1428.85 c #Conflicts: 1655000 | #Constraints: 38801
1422.90/1428.85 c #Conflicts: 1656000 | #Constraints: 39804
1422.90/1428.85 c #Conflicts: 1657000 | #Constraints: 40808
1422.90/1428.85 c #Conflicts: 1658000 | #Constraints: 41811
1422.90/1428.85 c #Conflicts: 1659000 | #Constraints: 42818
1422.90/1428.85 c #Conflicts: 1660000 | #Constraints: 43820
1422.90/1428.85 c bounds 17 >= 17 @ 1391.94
1422.90/1428.85 c cpu time 1391.94 s
1422.90/1428.85 c deterministic time 89350544504 8.94e+10
1422.90/1428.85 c optimization time 0.006117 s
1422.90/1428.85 c total solve time 1391.94 s
1422.90/1428.85 c core-guided solve time 694.102 s
1422.90/1428.85 c propagation time 744.688 s
1422.90/1428.85 c conflict analysis time 583.908 s
1422.90/1428.85 c propagations 169115533
1422.90/1428.85 c resolve steps 10671563
1422.90/1428.85 c decisions 4566372
1422.90/1428.85 c conflicts 1660305
1422.90/1428.85 c restarts 3132
1422.90/1428.85 c inprocessing phases 119
1422.90/1428.85 c garbage collections 119 ,( 100.00 )
1422.90/1428.85 c input clauses 152 ,( 51.53 )
1422.90/1428.85 c input cardinalities 81 ,( 27.46 )
1422.90/1428.85 c input general constraints 62 ,( 21.02 )
1422.90/1428.85 c input average constraint length 39.67
1422.90/1428.85 c input average constraint degree 13.65
1422.90/1428.85 c learned clauses 733072 ,( 43.61 )
1422.90/1428.85 c learned cardinalities 1169 ,( 0.07 )
1422.90/1428.85 c learned general constraints 946785 ,( 56.32 )
1422.90/1428.85 c learned average constraint length 77.55
1422.90/1428.85 c learned average constraint degree 3795880368.80
1422.90/1428.85 c watched CF 32, 64, 128, Arb: 63121 , 0 , 0 , 0
1422.90/1428.85 c counting CF 32, 64, 128, Arb: 883727 , 0 , 0 , 0
1422.90/1428.85 c watched constraints 63121 ,( 6.67 )
1422.90/1428.85 c counting constraints 883726 ,( 93.33 )
1422.90/1428.85 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 159387104 , 346653913 , 2391251633 ,( 67385093 , 2323866540 )
1422.90/1428.85 c gcd simplifications 216513
1422.90/1428.85 c detected cardinalities 26
1422.90/1428.85 c weakened non-implied lits 246786426
1422.90/1428.85 c weakened non-implying lits 618702
1422.90/1428.85 c original variables 299
1422.90/1428.85 c clausal propagations 7829674
1422.90/1428.85 c cardinality propagations 1447539
1422.90/1428.85 c watched propagations 308522
1422.90/1428.85 c counting propagations 153531825
1422.90/1428.85 c watch lookups 75335315099
1422.90/1428.85 c watch backjump lookups 0
1422.90/1428.85 c watch checks 2262234133
1422.90/1428.85 c propagation checks 9566643825
1422.90/1428.85 c constraint additions 1835645803
1422.90/1428.85 c trail pops 175325979
1422.90/1428.85 c formula constraints 103
1422.90/1428.85 c learned constraints 1644303
1422.90/1428.85 c bound constraints 20
1422.90/1428.85 c core-guided constraints 172
1422.90/1428.85 c encountered formula constraints 1386155
1422.90/1428.85 c encountered learned constraints 4320847
1422.90/1428.85 c encountered bound constraints 152
1422.90/1428.85 c encountered core-guided constraints 734992
1422.90/1428.85 c LP total time 57.7521 s
1422.90/1428.85 c LP solve time 35.54 s
1422.90/1428.85 c LP constraints added 226
1422.90/1428.85 c LP constraints removed 116
1422.90/1428.85 c LP pivots internal 1660342
1422.90/1428.85 c LP pivots root 37417
1422.90/1428.85 c LP calls 21388
1422.90/1428.85 c LP optimalities 610
1422.90/1428.85 c LP no pivot count 0
1422.90/1428.85 c LP infeasibilities 20688
1422.90/1428.85 c LP valid Farkas constraints 20600
1422.90/1428.85 c LP learned Farkas constraints 16003
1422.90/1428.85 c LP basis resets 178
1422.90/1428.85 c LP cycling count 90
1422.90/1428.85 c LP singular count 0
1422.90/1428.85 c LP no primal count 0
1422.90/1428.85 c LP no farkas count 88
1422.90/1428.85 c LP other issue count 0
1422.90/1428.85 c LP Gomory cuts 120
1422.90/1428.85 c LP learned cuts 3
1422.90/1428.85 c LP deleted cuts 116
1422.90/1428.85 c LP encountered Gomory constraints 0
1422.90/1428.85 c LP encountered Farkas constraints 5562527
1422.90/1428.85 c LP encountered learned Farkas constraints 311192
1422.90/1428.85 c CG auxiliary variables introduced 62
1422.90/1428.85 c CG solutions found 5
1422.90/1428.85 c CG cores constructed 14
1422.90/1428.85 c CG core cardinality constraints returned 0
1422.90/1428.85 c CG unit cores 0
1422.90/1428.85 c CG single cores 14
1422.90/1428.85 c CG blocks removed during cardinality reduction 0
1422.90/1428.85 c CG first core best 0
1422.90/1428.85 c CG decision core best 0
1422.90/1428.85 c CG core reduction tie 0
1422.90/1428.85 c CG core degree average 1.00
1422.90/1428.85 c CG core slack average 23.71
1422.90/1428.85 c CG core upper bound improvements 15
1422.90/1428.85 c STR number of successful calls 0
1422.90/1428.85 c STR number of unsuccessful calls 0
1422.90/1428.85 c STR number of inconclusive calls 0
1422.90/1428.85 c STR number of successful attempts 0
1422.90/1428.85 c STR number of unsuccessful attempts 0
1422.90/1428.85 c STR number of inconclusive attempts 0
1422.90/1428.85 c STR average degree increase per successful call inf
1422.90/1428.85 c STR average degree increase per successful attempt inf
1422.90/1428.85 c STR total number of conflicts for successful attempts 0
1422.90/1428.85 c STR total number of conflicts for unsuccessful attempts 0
1422.90/1428.85 c STR total number of conflicts for inconclusive attempts 0
1422.90/1428.85 c STR average number of conflicts per successful attempt inf
1422.90/1428.85 c STR average number of conflicts per unsuccessful attempt inf
1422.90/1428.85 c STR average number of conflicts per inconclusive attempt inf
1422.90/1428.85 c AVG.sumWPerc 76.61
1422.90/1428.85 c bigint constraints 0
1422.90/1428.85 o 17
1422.90/1428.85 s OPTIMUM FOUND
1424.40/1460.43 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 (62369 MiB free)
memory of node 1: 64465 MiB (49728 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4531780-1752588268/watcher-4531780-1752588268 -o /tmp/evaluation-result-4531780-1752588268/solver-4531780-1752588268 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1752584602-134598 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4531780-1752588268.opb PROOFDIR/proof-4531780-1752588268
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=135248, runsolver pid=135245
[startup+0.100057 s]*
/proc/loadavg: 4.20 4.18 4.09 4/273 135250
/proc/meminfo: memFree=114784224/131250000 swapFree=33008356/33010684
[pid=135248] ppid=135245 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/135248/stat : 135248 (run-opt-ls-log.) S 135245 135248 134587 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 174504346 4292608 768 18446744073709551615 94333980123136 94333981017669 140731087417408 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94333981256720 94333981304464 94333981376512 140731087423769 140731087423967 140731087423967 140731087429571 0
/proc/135248/statm: 1048 768 704 219 0 110 0
[pid=135250] ppid=135248 vsize=10904 memory=4096 CPUtime=0 cores=4,6
/proc/135250/stat : 135250 (pbsuma) D 135248 135248 134587 0 -1 4456448 186 0 0 0 0 0 0 0 20 0 1 0 174504346 11165696 1024 18446744073709551615 4210688 4653049 140735257512176 0 0 0 0 0 0 1 0 0 17 6 0 0 0 0 0 4700520 4703148 14856192 140735257520353 140735257520688 140735257520688 140735257526255 0
/proc/135250/statm: 2726 1024 960 108 0 134 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 15096 KiB
Current children cumulated memory: 7168 KiB
[startup+0.205124 s]*
/proc/loadavg: 4.20 4.18 4.09 4/273 135250
/proc/meminfo: memFree=114783732/131250000 swapFree=33008356/33010684
[pid=135248] ppid=135245 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/135248/stat : 135248 (run-opt-ls-log.) S 135245 135248 134587 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 174504346 4292608 768 18446744073709551615 94333980123136 94333981017669 140731087417408 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94333981256720 94333981304464 94333981376512 140731087423769 140731087423967 140731087423967 140731087429571 0
/proc/135248/statm: 1048 768 704 219 0 110 0
[pid=135250] ppid=135248 vsize=10904 memory=4096 CPUtime=0 cores=4,6
/proc/135250/stat : 135250 (pbsuma) D 135248 135248 134587 0 -1 4456448 186 0 0 0 0 0 0 0 20 0 1 0 174504346 11165696 1024 18446744073709551615 4210688 4653049 140735257512176 0 0 0 0 0 0 1 0 0 17 6 0 0 0 0 0 4700520 4703148 14856192 140735257520353 140735257520688 140735257520688 140735257526255 0
/proc/135250/statm: 2726 1024 960 108 0 134 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 15096 KiB
Current children cumulated memory: 7168 KiB
[startup+0.304837 s]*
/proc/loadavg: 4.20 4.18 4.09 4/273 135251
/proc/meminfo: memFree=114783228/131250000 swapFree=33008356/33010684
[pid=135248] ppid=135245 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/135248/stat : 135248 (run-opt-ls-log.) S 135245 135248 134587 0 -1 4194304 241 321 0 0 0 0 0 0 20 0 1 0 174504346 4292608 768 18446744073709551615 94333980123136 94333981017669 140731087417408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94333981256720 94333981304464 94333981376512 140731087423769 140731087423967 140731087423967 140731087429571 0
/proc/135248/statm: 1048 768 704 219 0 110 0
[pid=135251] ppid=135248 vsize=5936 memory=128 CPUtime=0 cores=4,6
/proc/135251/stat : 135251 (roundingsat) R 135248 135248 134587 0 -1 4456448 44 0 0 0 0 0 0 0 20 0 1 0 174504376 6078464 32 18446744073709551615 4227072 8923577 140730923280544 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 9827200 9836688 19566592 140730923288820 140730923289126 140730923289126 140730923294698 0
/proc/135251/statm: 1484 32 32 1147 0 51 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 10128 KiB
Current children cumulated memory: 3200 KiB
[startup+0.700151 s]
/proc/loadavg: 4.20 4.18 4.09 5/273 135251
/proc/meminfo: memFree=114759288/131250000 swapFree=33008356/33010684
[pid=135248] ppid=135245 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/135248/stat : 135248 (run-opt-ls-log.) S 135245 135248 134587 0 -1 4194304 241 321 0 0 0 0 0 0 20 0 1 0 174504346 4292608 768 18446744073709551615 94333980123136 94333981017669 140731087417408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94333981256720 94333981304464 94333981376512 140731087423769 140731087423967 140731087423967 140731087429571 0
/proc/135248/statm: 1048 768 704 219 0 110 0
[pid=135251] ppid=135248 vsize=62360 memory=19272 CPUtime=0.36 cores=4,6
/proc/135251/stat : 135251 (roundingsat) R 135248 135248 134587 0 -1 4194304 2136 0 0 0 34 2 0 0 20 0 1 0 174504376 63856640 4818 18446744073709551615 4227072 8923577 140730923280544 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 19566592 140730923288820 140730923289126 140730923289126 140730923294698 0
/proc/135251/statm: 15590 4818 2432 1147 0 3016 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 66552 KiB
Current children cumulated memory: 22344 KiB
[startup+1.50017 s]
/proc/loadavg: 4.18 4.18 4.09 5/273 135251
/proc/meminfo: memFree=114743160/131250000 swapFree=33008356/33010684
[pid=135248] ppid=135245 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/135248/stat : 135248 (run-opt-ls-log.) S 135245 135248 134587 0 -1 4194304 241 321 0 0 0 0 0 0 20 0 1 0 174504346 4292608 768 18446744073709551615 94333980123136 94333981017669 140731087417408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94333981256720 94333981304464 94333981376512 140731087423769 140731087423967 140731087423967 140731087429571 0
/proc/135248/statm: 1048 768 704 219 0 110 0
[pid=135251] ppid=135248 vsize=66108 memory=24780 CPUtime=1.15 cores=4,6
/proc/135251/stat : 135251 (roundingsat) R 135248 135248 134587 0 -1 4194304 3010 0 0 0 109 6 0 0 20 0 1 0 174504376 67694592 6195 18446744073709551615 4227072 8923577 140730923280544 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 19566592 140730923288820 140730923289126 140730923289126 140730923294698 0
/proc/135251/statm: 16527 6195 2432 1147 0 3953 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 70300 KiB
Current children cumulated memory: 27852 KiB
[startup+3.1055 s]
/proc/loadavg: 4.18 4.18 4.09 5/273 135252
/proc/meminfo: memFree=114614892/131250000 swapFree=33008356/33010684
[pid=135248] ppid=135245 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/135248/stat : 135248 (run-opt-ls-log.) S 135245 135248 134587 0 -1 4194304 241 321 0 0 0 0 0 0 20 0 1 0 174504346 4292608 768 18446744073709551615 94333980123136 94333981017669 140731087417408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94333981256720 94333981304464 94333981376512 140731087423769 140731087423967 140731087423967 140731087429571 0
/proc/135248/statm: 1048 768 704 219 0 110 0
[pid=135251] ppid=135248 vsize=68028 memory=26188 CPUtime=2.76 cores=4,6
/proc/135251/stat : 135251 (roundingsat) R 135248 135248 134587 0 -1 4194304 3368 0 0 0 265 11 0 0 20 0 1 0 174504376 69660672 6547 18446744073709551615 4227072 8923577 140730923280544 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 19566592 140730923288820 140730923289126 140730923289126 140730923294698 0
/proc/135251/statm: 17007 6547 2432 1147 0 4433 0
Current children cumulated CPU time: 2.76 s
Current children cumulated vsize: 72220 KiB
Current children cumulated memory: 29260 KiB
[startup+6.30015 s]
/proc/loadavg: 4.16 4.18 4.09 5/273 135252
/proc/meminfo: memFree=114455336/131250000 swapFree=33008356/33010684
[pid=135248] ppid=135245 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/135248/stat : 135248 (run-opt-ls-log.) S 135245 135248 134587 0 -1 4194304 241 321 0 0 0 0 0 0 20 0 1 0 174504346 4292608 768 18446744073709551615 94333980123136 94333981017669 140731087417408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94333981256720 94333981304464 94333981376512 140731087423769 140731087423967 140731087423967 140731087429571 0
/proc/135248/statm: 1048 768 704 219 0 110 0
[pid=135251] ppid=135248 vsize=75204 memory=30028 CPUtime=5.94 cores=4,6
/proc/135251/stat : 135251 (roundingsat) R 135248 135248 134587 0 -1 4194304 4320 0 0 0 575 19 0 0 20 0 1 0 174504376 77008896 7507 18446744073709551615 4227072 8923577 140730923280544 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 19566592 140730923288820 140730923289126 140730923289126 140730923294698 0
/proc/135251/statm: 18801 7507 2432 1147 0 6227 0
Current children cumulated CPU time: 5.94 s
Current children cumulated vsize: 79396 KiB
Current children cumulated memory: 33100 KiB
[startup+12.7002 s]
/proc/loadavg: 4.15 4.17 4.09 5/273 135252
/proc/meminfo: memFree=114113636/131250000 swapFree=33008356/33010684
[pid=135248] ppid=135245 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/135248/stat : 135248 (run-opt-ls-log.) S 135245 135248 134587 0 -1 4194304 241 321 0 0 0 0 0 0 20 0 1 0 174504346 4292608 768 18446744073709551615 94333980123136 94333981017669 140731087417408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94333981256720 94333981304464 94333981376512 140731087423769 140731087423967 140731087423967 140731087429571 0
/proc/135248/statm: 1048 768 704 219 0 110 0
[pid=135251] ppid=135248 vsize=80716 memory=37196 CPUtime=12.32 cores=4,6
/proc/135251/stat : 135251 (roundingsat) R 135248 135248 134587 0 -1 4194304 6113 0 0 0 1196 36 0 0 20 0 1 0 174504376 82653184 9299 18446744073709551615 4227072 8923577 140730923280544 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 19566592 140730923288820 140730923289126 140730923289126 140730923294698 0
/proc/135251/statm: 20179 9299 2432 1147 0 7605 0
Current children cumulated CPU time: 12.32 s
Current children cumulated vsize: 84908 KiB
Current children cumulated memory: 40268 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 4.17 4.08 5/273 135252
/proc/meminfo: memFree=113389412/131250000 swapFree=33008356/33010684
[pid=135248] ppid=135245 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/135248/stat : 135248 (run-opt-ls-log.) S 135245 135248 134587 0 -1 4194304 241 321 0 0 0 0 0 0 20 0 1 0 174504346 4292608 768 18446744073709551615 94333980123136 94333981017669 140731087417408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94333981256720 94333981304464 94333981376512 140731087423769 140731087423967 140731087423967 140731087429571 0
/proc/135248/statm: 1048 768 704 219 0 110 0
[pid=135251] ppid=135248 vsize=91812 memory=43212 CPUtime=25.07 cores=4,6
/proc/135251/stat : 135251 (roundingsat) R 135248 135248 134587 0 -1 4194304 7630 0 0 0 2436 71 0 0 20 0 1 0 174504376 94015488 10803 18446744073709551615 4227072 8923577 140730923280544 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 19566592 140730923288820 140730923289126 140730923289126 140730923294698 0
/proc/135251/statm: 22953 10803 2432 1147 0 10379 0
Current children cumulated CPU time: 25.07 s
Current children cumulated vsize: 96004 KiB
Current children cumulated memory: 46284 KiB
[startup+51.1056 s]
/proc/loadavg: 4.14 4.17 4.09 5/273 135252
/proc/meminfo: memFree=112035472/131250000 swapFree=33008356/33010684
[pid=135248] ppid=135245 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/135248/stat : 135248 (run-opt-ls-log.) S 135245 135248 134587 0 -1 4194304 241 321 0 0 0 0 0 0 20 0 1 0 174504346 4292608 768 18446744073709551615 94333980123136 94333981017669 140731087417408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94333981256720 94333981304464 94333981376512 140731087423769 140731087423967 140731087423967 140731087429571 0
/proc/135248/statm: 1048 768 704 219 0 110 0
[pid=135251] ppid=135248 vsize=100860 memory=54512 CPUtime=50.54 cores=4,6
/proc/135251/stat : 135251 (roundingsat) R 135248 135248 134587 0 -1 4194304 10049 0 0 0 4919 135 0 0 20 0 1 0 174504376 103280640 13628 18446744073709551615 4227072 8923577 140730923280544 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 19566592 140730923288820 140730923289126 140730923289126 140730923294698 0
/proc/135251/statm: 25215 13628 2432 1147 0 12641 0
Current children cumulated CPU time: 50.54 s
Current children cumulated vsize: 105052 KiB
Current children cumulated memory: 57584 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.15 4.09 5/274 135301
/proc/meminfo: memFree=121736412/131250000 swapFree=33008356/33010684
[pid=135248] ppid=135245 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/135248/stat : 135248 (run-opt-ls-log.) S 135245 135248 134587 0 -1 4194304 241 321 0 0 0 0 0 0 20 0 1 0 174504346 4292608 768 18446744073709551615 94333980123136 94333981017669 140731087417408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94333981256720 94333981304464 94333981376512 140731087423769 140731087423967 140731087423967 140731087429571 0
/proc/135248/statm: 1048 768 704 219 0 110 0
[pid=135251] ppid=135248 vsize=118060 memory=67032 CPUtime=101.48 cores=4,6
/proc/135251/stat : 135251 (roundingsat) R 135248 135248 134587 0 -1 4194304 13229 0 0 0 9891 257 0 0 20 0 1 0 174504376 120893440 16758 18446744073709551615 4227072 8923577 140730923280544 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 19566592 140730923288820 140730923289126 140730923289126 140730923294698 0
/proc/135251/statm: 29515 16758 2432 1147 0 16941 0
Current children cumulated CPU time: 101.48 s
Current children cumulated vsize: 122252 KiB
Current children cumulated memory: 70104 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.15 4.09 5/277 135306
/proc/meminfo: memFree=116865056/131250000 swapFree=33008356/33010684
[pid=135248] ppid=135245 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/135248/stat : 135248 (run-opt-ls-log.) S 135245 135248 134587 0 -1 4194304 241 321 0 0 0 0 0 0 20 0 1 0 174504346 4292608 768 18446744073709551615 94333980123136 94333981017669 140731087417408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94333981256720 94333981304464 94333981376512 140731087423769 140731087423967 140731087423967 140731087429571 0
/proc/135248/statm: 1048 768 704 219 0 110 0
[pid=135251] ppid=135248 vsize=129436 memory=80856 CPUtime=161.16 cores=4,6
/proc/135251/stat : 135251 (roundingsat) R 135248 135248 134587 0 -1 4194304 16729 0 0 0 15724 392 0 0 20 0 1 0 174504376 132542464 20214 18446744073709551615 4227072 8923577 140730923280544 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 19566592 140730923288820 140730923289126 140730923289126 140730923294698 0
/proc/135251/statm: 32359 20214 2432 1147 0 19785 0
Current children cumulated CPU time: 161.16 s
Current children cumulated vsize: 133628 KiB
Current children cumulated memory: 83928 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.14 4.09 4/276 135308
/proc/meminfo: memFree=114358844/131250000 swapFree=33008356/33010684
[pid=135248] ppid=135245 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/135248/stat : 135248 (run-opt-ls-log.) S 135245 135248 134587 0 -1 4194304 241 321 0 0 0 0 0 0 20 0 1 0 174504346 4292608 768 18446744073709551615 94333980123136 94333981017669 140731087417408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94333981256720 94333981304464 94333981376512 140731087423769 140731087423967 140731087423967 140731087429571 0
/proc/135248/statm: 1048 768 704 219 0 110 0
[pid=135251] ppid=135248 vsize=138140 memory=87768 CPUtime=220.83 cores=4,6
/proc/135251/stat : 135251 (roundingsat) R 135248 135248 134587 0 -1 4194304 19182 0 0 0 21559 524 0 0 20 0 1 0 174504376 141455360 21942 18446744073709551615 4227072 8923577 140730923280544 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 19566592 140730923288820 140730923289126 140730923289126 140730923294698 0
/proc/135251/statm: 34535 21942 2432 1147 0 21961 0
################
# More data... #
################
/proc/135251/stat : 135251 (roundingsat) R 135248 135248 134587 0 -1 4194304 36480 0 0 0 120949 2743 0 0 20 0 1 0 174504376 199860224 37451 18446744073709551615 4227072 8923577 140730923280544 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 19566592 140730923288820 140730923289126 140730923289126 140730923294698 0
/proc/135251/statm: 48794 37451 2432 1147 0 36220 0
Current children cumulated CPU time: 1236.92 s
Current children cumulated vsize: 199368 KiB
Current children cumulated memory: 152876 KiB
[startup+1302.3 s]
/proc/loadavg: 4.24 4.15 4.10 5/275 135511
/proc/meminfo: memFree=81101800/131250000 swapFree=33008356/33010684
[pid=135248] ppid=135245 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/135248/stat : 135248 (run-opt-ls-log.) S 135245 135248 134587 0 -1 4194304 241 321 0 0 0 0 0 0 20 0 1 0 174504346 4292608 768 18446744073709551615 94333980123136 94333981017669 140731087417408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94333981256720 94333981304464 94333981376512 140731087423769 140731087423967 140731087423967 140731087429571 0
/proc/135248/statm: 1048 768 704 219 0 110 0
[pid=135251] ppid=135248 vsize=195932 memory=150716 CPUtime=1296.77 cores=4,6
/proc/135251/stat : 135251 (roundingsat) R 135248 135248 134587 0 -1 4194304 36909 0 0 0 126817 2860 0 0 20 0 1 0 174504376 200634368 37679 18446744073709551615 4227072 8923577 140730923280544 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 19566592 140730923288820 140730923289126 140730923289126 140730923294698 0
/proc/135251/statm: 48983 37679 2432 1147 0 36409 0
Current children cumulated CPU time: 1296.77 s
Current children cumulated vsize: 200124 KiB
Current children cumulated memory: 153788 KiB
[startup+1362.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/275 135513
/proc/meminfo: memFree=79280912/131250000 swapFree=33008356/33010684
[pid=135248] ppid=135245 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/135248/stat : 135248 (run-opt-ls-log.) S 135245 135248 134587 0 -1 4194304 241 321 0 0 0 0 0 0 20 0 1 0 174504346 4292608 768 18446744073709551615 94333980123136 94333981017669 140731087417408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94333981256720 94333981304464 94333981376512 140731087423769 140731087423967 140731087423967 140731087429571 0
/proc/135248/statm: 1048 768 704 219 0 110 0
[pid=135251] ppid=135248 vsize=196832 memory=151484 CPUtime=1356.59 cores=4,6
/proc/135251/stat : 135251 (roundingsat) R 135248 135248 134587 0 -1 4194304 37160 0 0 0 132678 2981 0 0 20 0 1 0 174504376 201555968 37871 18446744073709551615 4227072 8923577 140730923280544 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 19566592 140730923288820 140730923289126 140730923289126 140730923294698 0
/proc/135251/statm: 49208 37871 2432 1147 0 36634 0
Current children cumulated CPU time: 1356.59 s
Current children cumulated vsize: 201024 KiB
Current children cumulated memory: 154556 KiB
[startup+1422.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/275 135515
/proc/meminfo: memFree=77453236/131250000 swapFree=33008356/33010684
[pid=135248] ppid=135245 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/135248/stat : 135248 (run-opt-ls-log.) S 135245 135248 134587 0 -1 4194304 241 321 0 0 0 0 0 0 20 0 1 0 174504346 4292608 768 18446744073709551615 94333980123136 94333981017669 140731087417408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94333981256720 94333981304464 94333981376512 140731087423769 140731087423967 140731087423967 140731087429571 0
/proc/135248/statm: 1048 768 704 219 0 110 0
[pid=135251] ppid=135248 vsize=221548 memory=158636 CPUtime=1416.43 cores=4,6
/proc/135251/stat : 135251 (roundingsat) R 135248 135248 134587 0 -1 4194304 38773 0 0 0 138552 3091 0 0 20 0 1 0 174504376 226865152 39659 18446744073709551615 4227072 8923577 140730923280544 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 19566592 140730923288820 140730923289126 140730923289126 140730923294698 0
/proc/135251/statm: 55387 39659 2432 1147 0 42813 0
Current children cumulated CPU time: 1416.43 s
Current children cumulated vsize: 225740 KiB
Current children cumulated memory: 161708 KiB
[startup+1460.44 s]
# the end of solver process 135248 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1392.03 s, system=32.3871 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1433.6 s]
/proc/loadavg: 4.21 4.15 4.10 4/275 135515
/proc/meminfo: memFree=77130568/131250000 swapFree=33008356/33010684
[pid=135248] ppid=135245 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/135248/stat : 135248 (run-opt-ls-log.) S 135245 135248 134587 0 -1 4194304 241 321 0 0 0 0 0 0 20 0 1 0 174504346 4292608 768 18446744073709551615 94333980123136 94333981017669 140731087417408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94333981256720 94333981304464 94333981376512 140731087423769 140731087423967 140731087423967 140731087429571 0
/proc/135248/statm: 1048 768 704 219 0 110 0
[pid=135251] ppid=135248 vsize=221548 memory=158636 CPUtime=1424.02 cores=4,6
/proc/135251/stat : 135251 (roundingsat) D 135248 135248 134587 0 -1 4194304 38773 0 0 0 139196 3206 0 0 20 0 1 0 174504376 226865152 39659 18446744073709551615 4227072 8923577 140730923280544 0 0 0 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9827200 9836688 19566592 140730923288820 140730923289126 140730923289126 140730923294698 0
/proc/135251/statm: 55387 39659 2432 1147 0 42813 0
Current children cumulated CPU time: 1424.02 s
Current children cumulated vsize: 225740 KiB
Current children cumulated memory: 161708 KiB
[startup+1446.4 s]
/proc/loadavg: 4.16 4.14 4.10 4/276 135516
/proc/meminfo: memFree=77027060/131250000 swapFree=33008356/33010684
[pid=135248] ppid=135245 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/135248/stat : 135248 (run-opt-ls-log.) S 135245 135248 134587 0 -1 4194304 241 321 0 0 0 0 0 0 20 0 1 0 174504346 4292608 768 18446744073709551615 94333980123136 94333981017669 140731087417408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94333981256720 94333981304464 94333981376512 140731087423769 140731087423967 140731087423967 140731087429571 0
/proc/135248/statm: 1048 768 704 219 0 110 0
[pid=135251] ppid=135248 vsize=221548 memory=158636 CPUtime=1424.23 cores=4,6
/proc/135251/stat : 135251 (roundingsat) D 135248 135248 134587 0 -1 4194304 38773 0 0 0 139200 3223 0 0 20 0 1 0 174504376 226865152 39659 18446744073709551615 4227072 8923577 140730923280544 0 0 0 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9827200 9836688 19566592 140730923288820 140730923289126 140730923289126 140730923294698 0
/proc/135251/statm: 55387 39659 2432 1147 0 42813 0
Current children cumulated CPU time: 1424.23 s
Current children cumulated vsize: 225740 KiB
Current children cumulated memory: 161708 KiB
[startup+1452.8 s]
/proc/loadavg: 4.15 4.14 4.10 5/276 135516
/proc/meminfo: memFree=76933092/131250000 swapFree=33008356/33010684
[pid=135248] ppid=135245 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/135248/stat : 135248 (run-opt-ls-log.) S 135245 135248 134587 0 -1 4194304 241 321 0 0 0 0 0 0 20 0 1 0 174504346 4292608 768 18446744073709551615 94333980123136 94333981017669 140731087417408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94333981256720 94333981304464 94333981376512 140731087423769 140731087423967 140731087423967 140731087429571 0
/proc/135248/statm: 1048 768 704 219 0 110 0
[pid=135251] ppid=135248 vsize=221548 memory=158636 CPUtime=1424.24 cores=4,6
/proc/135251/stat : 135251 (roundingsat) D 135248 135248 134587 0 -1 4194304 38773 0 0 0 139200 3224 0 0 20 0 1 0 174504376 226865152 39659 18446744073709551615 4227072 8923577 140730923280544 0 0 0 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9827200 9836688 19566592 140730923288820 140730923289126 140730923289126 140730923294698 0
/proc/135251/statm: 55387 39659 2432 1147 0 42813 0
Current children cumulated CPU time: 1424.24 s
Current children cumulated vsize: 225740 KiB
Current children cumulated memory: 161708 KiB
[startup+1456 s]*
/proc/loadavg: 4.14 4.14 4.09 5/276 135516
/proc/meminfo: memFree=76901560/131250000 swapFree=33008356/33010684
[pid=135248] ppid=135245 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/135248/stat : 135248 (run-opt-ls-log.) S 135245 135248 134587 0 -1 4194304 241 321 0 0 0 0 0 0 20 0 1 0 174504346 4292608 768 18446744073709551615 94333980123136 94333981017669 140731087417408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94333981256720 94333981304464 94333981376512 140731087423769 140731087423967 140731087423967 140731087429571 0
/proc/135248/statm: 1048 768 704 219 0 110 0
[pid=135251] ppid=135248 vsize=221548 memory=158636 CPUtime=1424.27 cores=4,6
/proc/135251/stat : 135251 (roundingsat) D 135248 135248 134587 0 -1 4194304 38773 0 0 0 139200 3227 0 0 20 0 1 0 174504376 226865152 39659 18446744073709551615 4227072 8923577 140730923280544 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9827200 9836688 19566592 140730923288820 140730923289126 140730923289126 140730923294698 0
/proc/135251/statm: 55387 39659 2432 1147 0 42813 0
Current children cumulated CPU time: 1424.27 s
Current children cumulated vsize: 225740 KiB
Current children cumulated memory: 161708 KiB
[startup+1457.6 s]
/proc/loadavg: 4.14 4.14 4.09 4/276 135516
/proc/meminfo: memFree=76880380/131250000 swapFree=33008356/33010684
[pid=135248] ppid=135245 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/135248/stat : 135248 (run-opt-ls-log.) S 135245 135248 134587 0 -1 4194304 241 321 0 0 0 0 0 0 20 0 1 0 174504346 4292608 768 18446744073709551615 94333980123136 94333981017669 140731087417408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94333981256720 94333981304464 94333981376512 140731087423769 140731087423967 140731087423967 140731087429571 0
/proc/135248/statm: 1048 768 704 219 0 110 0
[pid=135251] ppid=135248 vsize=221548 memory=158636 CPUtime=1424.3 cores=4,6
/proc/135251/stat : 135251 (roundingsat) D 135248 135248 134587 0 -1 4194304 38773 0 0 0 139201 3229 0 0 20 0 1 0 174504376 226865152 39659 18446744073709551615 4227072 8923577 140730923280544 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9827200 9836688 19566592 140730923288820 140730923289126 140730923289126 140730923294698 0
/proc/135251/statm: 55387 39659 2432 1147 0 42813 0
Current children cumulated CPU time: 1424.3 s
Current children cumulated vsize: 225740 KiB
Current children cumulated memory: 161708 KiB
[startup+1459.2 s]
/proc/loadavg: 4.14 4.14 4.09 6/276 135516
/proc/meminfo: memFree=76876940/131250000 swapFree=33008356/33010684
[pid=135248] ppid=135245 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/135248/stat : 135248 (run-opt-ls-log.) S 135245 135248 134587 0 -1 4194304 241 321 0 0 0 0 0 0 20 0 1 0 174504346 4292608 768 18446744073709551615 94333980123136 94333981017669 140731087417408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94333981256720 94333981304464 94333981376512 140731087423769 140731087423967 140731087423967 140731087429571 0
/proc/135248/statm: 1048 768 704 219 0 110 0
[pid=135251] ppid=135248 vsize=221548 memory=158636 CPUtime=1424.35 cores=4,6
/proc/135251/stat : 135251 (roundingsat) D 135248 135248 134587 0 -1 4194304 38773 0 0 0 139202 3233 0 0 20 0 1 0 174504376 226865152 39659 18446744073709551615 4227072 8923577 140730923280544 0 0 0 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9827200 9836688 19566592 140730923288820 140730923289126 140730923289126 140730923294698 0
/proc/135251/statm: 55387 39659 2432 1147 0 42813 0
Current children cumulated CPU time: 1424.35 s
Current children cumulated vsize: 225740 KiB
Current children cumulated memory: 161708 KiB
[startup+1460 s]*
/proc/loadavg: 4.14 4.14 4.09 5/276 135516
/proc/meminfo: memFree=76958556/131250000 swapFree=33008356/33010684
[pid=135248] ppid=135245 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/135248/stat : 135248 (run-opt-ls-log.) S 135245 135248 134587 0 -1 4194304 241 321 0 0 0 0 0 0 20 0 1 0 174504346 4292608 768 18446744073709551615 94333980123136 94333981017669 140731087417408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94333981256720 94333981304464 94333981376512 140731087423769 140731087423967 140731087423967 140731087429571 0
/proc/135248/statm: 1048 768 704 219 0 110 0
[pid=135251] ppid=135248 vsize=221548 memory=158636 CPUtime=1424.4 cores=4,6
/proc/135251/stat : 135251 (roundingsat) D 135248 135248 134587 0 -1 4194304 38773 0 0 0 139202 3238 0 0 20 0 1 0 174504376 226865152 39659 18446744073709551615 4227072 8923577 140730923280544 0 0 0 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9827200 9836688 19566592 140730923288820 140730923289126 140730923289126 140730923294698 0
/proc/135251/statm: 55387 39659 2432 1147 0 42813 0
Current children cumulated CPU time: 1424.4 s
Current children cumulated vsize: 225740 KiB
Current children cumulated memory: 161708 KiB
[startup+1460.4 s]
/proc/loadavg: 4.14 4.14 4.09 5/276 135516
/proc/meminfo: memFree=76958556/131250000 swapFree=33008356/33010684
[pid=135248] ppid=135245 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/135248/stat : 135248 (run-opt-ls-log.) S 135245 135248 134587 0 -1 4194304 241 321 0 0 0 0 0 0 20 0 1 0 174504346 4292608 768 18446744073709551615 94333980123136 94333981017669 140731087417408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94333981256720 94333981304464 94333981376512 140731087423769 140731087423967 140731087423967 140731087429571 0
/proc/135248/statm: 1048 768 704 219 0 110 0
[pid=135251] ppid=135248 vsize=221548 memory=158636 CPUtime=1424.4 cores=4,6
/proc/135251/stat : 135251 (roundingsat) D 135248 135248 134587 0 -1 4194304 38773 0 0 0 139202 3238 0 0 20 0 1 0 174504376 226865152 39659 18446744073709551615 4227072 8923577 140730923280544 0 0 0 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9827200 9836688 19566592 140730923288820 140730923289126 140730923289126 140730923294698 0
/proc/135251/statm: 55387 39659 2432 1147 0 42813 0
Current children cumulated CPU time: 1424.4 s
Current children cumulated vsize: 225740 KiB
Current children cumulated memory: 161708 KiB
Child status: 0
Real time (s): 1460.44
CPU time (s): 1424.42
CPU user time (s): 1392.03
CPU system time (s): 32.3871
CPU usage (%): 97.5337
Max. virtual memory (cumulated for all children) (KiB): 225740
Max. memory (cumulated for all children) (KiB): 161708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1392.03
system time used= 32.3871
maximum resident set size= 158636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39358
page faults= 0
swaps= 0
block input operations= 0
block output operations= 47187232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 422490
involuntary context switches= 2179
# summary of solver processes directly reported to runsolver:
# pid: 135248
# total CPU time (s): 1424.42
# total CPU user time (s): 1392.03
# total CPU system time (s): 32.3871
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.00101 second user time and 6.80595 second system time
The end
Begin job on nodeC019 at 2025-07-15 16:04:28
IDJOB=4531780
IDBENCH=147676
IDSOLVER=3392
FILE ID=nodeC019/4531780-1752588268
RUNJOBID= nodeC019-1752584602-134598
SLURM_JOB_ID= 9684349
Free space on /tmp= 432944 MiB
SOLVER NAME= roundingsat-ls+pbsuma-log 0f876b3
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/logic_synthesis/normalized-m100_300_10_20.r.opb
COMMAND LINE= run-opt-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4531780-1752588268/watcher-4531780-1752588268 -o /tmp/evaluation-result-4531780-1752588268/solver-4531780-1752588268 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1752584602-134598 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4531780-1752588268.opb PROOFDIR/proof-4531780-1752588268
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 534ed9c29a1c7647bd6acd36efe0613e
RANDOM SEED=758036026
nodeC019 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.681
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.37
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.678
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.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.247
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.37
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 : 3700.000
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.37
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.677
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.37
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.682
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.37
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.098
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.37
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.768
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.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 114796384 kB
MemAvailable: 129569044 kB
Buffers: 904 kB
Cached: 15564948 kB
SwapCached: 436 kB
Active: 463664 kB
Inactive: 15344344 kB
Active(anon): 240328 kB
Inactive(anon): 27304 kB
Active(file): 223336 kB
Inactive(file): 15317040 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33008356 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 305524 kB
Writeback: 40 kB
AnonPages: 244628 kB
Mapped: 121452 kB
Shmem: 25412 kB
KReclaimable: 143044 kB
Slab: 246212 kB
SReclaimable: 143044 kB
SUnreclaim: 103168 kB
KernelStack: 4432 kB
PageTables: 3808 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 601656 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150664 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 137216 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: 176852 kB
DirectMap2M: 9031680 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432940 MiB
End job on nodeC019 at 2025-07-15 16:28:49