0.00/0.02 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02 c │ pbsuma -- a PB interface for satsuma │
0.00/0.02 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.02 c │ (c) 2025 Markus Anders │
0.00/0.02 c └────────────────────────────────────────────────────────────────┘
0.00/0.02 c parse 'HOME/instance-4532084-1752596052.opb'
0.00/0.07 c read 1.14MB (45.06ms)
0.00/0.07 c [cnf: #variables 9632 #clauses 29621 #duplicates 0 #arr 104186]
0.00/0.09 c output proof to 'PROOFDIR/proof-4532084-1752596052'
0.00/0.10 c
0.00/0.10 c make graph and approximate orbits
0.04/0.16 c [group: #orbits ~= 2752] (67.51ms)
0.04/0.16 c
0.04/0.16 c detect special group actions
0.04/0.16 c probe for Johnson action (limit=64)
0.04/0.19 c probe for row-column symmetry (limit=64, splits=16.78M)
0.15/0.23 c probe for row symmetry (limit=64, splits=16.78M)
0.15/0.26 c found row 11x688, generating row predicate
0.15/0.26 c (95.37ms)
0.15/0.26 c
0.15/0.26 c detect symmetries on remainder
0.15/0.26 c [graph: #vertices 82875 #edges 295616]
0.15/0.26 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.25/0.36 c [group: #symmetries 1.24*10^7 #generators 13] (100.32ms)
0.25/0.36 c
0.25/0.36 c optimize generators (opt_passes=64, conjugate_limit=256)
0.25/0.36 c ran it=0, +gens=2
0.62/0.71 c con best_support=1376, best_gens=13, +gens=224
0.62/0.71 c (354.59ms)
0.62/0.71 c
0.62/0.71 c finalize break order and special generators
0.62/0.72 c
0.62/0.72 c add generic predicates (break_depth=20)
0.62/0.72 c added predicates for 239 generators (3.82ms)
1.21/1.31 c
1.21/1.31 c generation finished
1.21/1.31 c [sbp: #constraints 34482 #add_vars 11411]
1.21/1.31 c
1.21/1.31 c write result to 'HOME/instance-4532084-1752596052.opb.pre'
1.21/1.32 c wrote 2.47MB (8.47ms)
1.21/1.32 c ------------------------------------------------------------------
1.21/1.32 c 618.63ms 47.71% other
1.21/1.32 c 354.59ms 27.34% optimize_gens
1.21/1.32 c 100.32ms 7.74% detect_generic
1.21/1.32 c 95.37ms 7.35% detect_special
1.21/1.32 c 67.51ms 5.21% approx_orbits
1.21/1.32 c 45.06ms 3.47% parse
1.21/1.32 c 8.47ms 0.65% output
1.21/1.32 c 3.82ms 0.29% break_generic
1.21/1.32 c 2.98ms 0.23% finalize_order
1.21/1.32 c ───────────────────────────────────────────────
1.21/1.32 c 1296.74ms 100% total
1.21/1.32 c ------------------------------------------------------------------
1.27/11.01 c RoundingSat 2
1.27/11.01 c branch pb25
1.27/11.01 c commit 0f876b3
2.17/12.00 c #variables 21043 #constraints 64102
2.17/12.00 c objective is ce32
2.67/12.44 c initial watched CF 32, 64, 128, Arb: 868 , 0 , 0 , 0
2.67/12.44 c initial counting CF 32, 64, 128, Arb: 29 , 0 , 0 , 0
2.67/12.44 c bounds 85 >= 0 @ 1.22211
3.38/13.15 c bounds 82 >= 0 @ 1.90781
5.96/15.77 c #Conflicts: 1000 | #Constraints: 65103
5.96/15.77 c #Conflicts: 2000 | #Constraints: 66103
5.96/15.77 c INPROCESSING
5.96/15.77 c bounds 80 >= 0 @ 4.47172
5.96/15.78 c bounds 78 >= 0 @ 4.48028
6.15/15.98 c #Conflicts: 3000 | #Constraints: 66110
6.15/15.98 c bounds 75 >= 0 @ 4.64274
6.15/16.00 c bounds 73 >= 0 @ 4.65062
21.33/31.12 c #Conflicts: 4000 | #Constraints: 67112
21.33/31.12 c INPROCESSING
21.33/31.12 c GARBAGE COLLECT
21.33/31.12 c #Conflicts: 5000 | #Constraints: 66537
21.33/31.12 c #Conflicts: 6000 | #Constraints: 67537
21.33/31.12 c INPROCESSING
21.33/31.12 c #Conflicts: 7000 | #Constraints: 66548
21.33/31.12 c #Conflicts: 8000 | #Constraints: 67548
21.33/31.12 c #Conflicts: 9000 | #Constraints: 68548
21.33/31.12 c INPROCESSING
21.33/31.12 c GARBAGE COLLECT
21.33/31.12 c rational objective 0
35.68/45.93 c #Conflicts: 10000 | #Constraints: 67297
35.68/45.93 c #Conflicts: 11000 | #Constraints: 68297
35.68/45.93 c #Conflicts: 12000 | #Constraints: 69297
35.68/45.93 c INPROCESSING
35.68/45.93 c GARBAGE COLLECT
35.68/45.93 c rational objective 0
36.59/46.84 c #Conflicts: 13000 | #Constraints: 67752
36.59/46.84 c #Conflicts: 14000 | #Constraints: 68752
36.59/46.84 c #Conflicts: 15000 | #Constraints: 69752
36.59/46.84 c INPROCESSING
36.59/46.84 c #Conflicts: 16000 | #Constraints: 67976
36.59/46.84 c #Conflicts: 17000 | #Constraints: 68976
36.59/46.84 c #Conflicts: 18000 | #Constraints: 69976
36.59/46.84 c INPROCESSING
36.59/46.84 c GARBAGE COLLECT
36.59/46.84 c #Conflicts: 19000 | #Constraints: 67985
36.59/46.84 c #Conflicts: 20000 | #Constraints: 68985
36.59/46.84 c bounds 73 >= 5 @ 34.7797
74.47/84.82 c #Conflicts: 21000 | #Constraints: 69988
74.47/84.82 c INPROCESSING
74.47/84.82 c GARBAGE COLLECT
74.47/84.82 c #Conflicts: 22000 | #Constraints: 67794
74.47/84.82 c #Conflicts: 23000 | #Constraints: 68794
74.47/84.82 c #Conflicts: 24000 | #Constraints: 69794
74.47/84.82 c #Conflicts: 25000 | #Constraints: 70794
74.47/84.82 c INPROCESSING
74.47/84.82 c GARBAGE COLLECT
74.47/84.82 c #Conflicts: 26000 | #Constraints: 68396
74.47/84.82 c #Conflicts: 27000 | #Constraints: 69396
74.47/84.82 c #Conflicts: 28000 | #Constraints: 70396
74.47/84.82 c #Conflicts: 29000 | #Constraints: 71396
74.47/84.82 c INPROCESSING
74.47/84.82 c GARBAGE COLLECT
74.47/84.82 c #Conflicts: 30000 | #Constraints: 68807
74.47/84.82 c #Conflicts: 31000 | #Constraints: 69807
74.47/84.82 c #Conflicts: 32000 | #Constraints: 70807
74.47/84.82 c #Conflicts: 33000 | #Constraints: 71807
74.47/84.82 c INPROCESSING
74.47/84.82 c GARBAGE COLLECT
74.47/84.82 c #Conflicts: 34000 | #Constraints: 69009
74.47/84.82 c #Conflicts: 35000 | #Constraints: 70009
74.47/84.82 c #Conflicts: 36000 | #Constraints: 71009
74.47/84.82 c #Conflicts: 37000 | #Constraints: 72009
74.47/84.82 c INPROCESSING
74.47/84.82 c GARBAGE COLLECT
74.47/84.82 c rational objective 5
100.61/111.07 c #Conflicts: 38000 | #Constraints: 69080
100.61/111.07 c #Conflicts: 39000 | #Constraints: 70080
100.61/111.07 c #Conflicts: 40000 | #Constraints: 71080
100.61/111.07 c #Conflicts: 41000 | #Constraints: 72080
100.61/111.07 c INPROCESSING
100.61/111.07 c GARBAGE COLLECT
100.61/111.07 c #Conflicts: 42000 | #Constraints: 68856
100.61/111.07 c #Conflicts: 43000 | #Constraints: 69856
100.61/111.07 c #Conflicts: 44000 | #Constraints: 70856
100.61/111.07 c #Conflicts: 45000 | #Constraints: 71856
100.61/111.07 c #Conflicts: 46000 | #Constraints: 72856
100.61/111.07 c INPROCESSING
100.61/111.07 c GARBAGE COLLECT
100.61/111.07 c #Conflicts: 47000 | #Constraints: 69454
100.61/111.07 c #Conflicts: 48000 | #Constraints: 70454
100.61/111.07 c #Conflicts: 49000 | #Constraints: 71454
100.61/111.07 c #Conflicts: 50000 | #Constraints: 72454
100.61/111.07 c #Conflicts: 51000 | #Constraints: 73454
100.61/111.07 c INPROCESSING
100.61/111.07 c GARBAGE COLLECT
100.61/111.07 c #Conflicts: 52000 | #Constraints: 69845
100.61/111.07 c #Conflicts: 53000 | #Constraints: 70845
100.61/111.07 c #Conflicts: 54000 | #Constraints: 71845
100.61/111.07 c #Conflicts: 55000 | #Constraints: 72845
100.61/111.07 c #Conflicts: 56000 | #Constraints: 73845
100.61/111.07 c INPROCESSING
100.61/111.07 c GARBAGE COLLECT
100.61/111.07 c rational objective 5
117.25/127.79 c #Conflicts: 57000 | #Constraints: 70053
117.25/127.79 c #Conflicts: 58000 | #Constraints: 71053
117.25/127.79 c #Conflicts: 59000 | #Constraints: 72053
117.25/127.79 c #Conflicts: 60000 | #Constraints: 73053
117.25/127.79 c #Conflicts: 61000 | #Constraints: 74053
117.25/127.79 c INPROCESSING
117.25/127.79 c GARBAGE COLLECT
117.25/127.79 c #Conflicts: 62000 | #Constraints: 70040
117.25/127.79 c #Conflicts: 63000 | #Constraints: 71040
117.25/127.79 c #Conflicts: 64000 | #Constraints: 72040
117.25/127.79 c #Conflicts: 65000 | #Constraints: 73040
117.25/127.79 c #Conflicts: 66000 | #Constraints: 74040
117.25/127.79 c INPROCESSING
117.25/127.79 c GARBAGE COLLECT
117.25/127.79 c rational objective 5
146.26/156.81 c #Conflicts: 67000 | #Constraints: 69868
146.26/156.81 c #Conflicts: 68000 | #Constraints: 70868
146.26/156.81 c #Conflicts: 69000 | #Constraints: 71868
146.26/156.81 c #Conflicts: 70000 | #Constraints: 72868
146.26/156.81 c #Conflicts: 71000 | #Constraints: 73868
146.26/156.81 c #Conflicts: 72000 | #Constraints: 74868
146.26/156.81 c INPROCESSING
146.26/156.81 c GARBAGE COLLECT
146.26/156.81 c rational objective 5
168.34/179.01 c #Conflicts: 73000 | #Constraints: 70457
168.34/179.01 c #Conflicts: 74000 | #Constraints: 71457
168.34/179.01 c #Conflicts: 75000 | #Constraints: 72458
168.34/179.01 c #Conflicts: 76000 | #Constraints: 73458
168.34/179.01 c #Conflicts: 77000 | #Constraints: 74459
168.34/179.01 c #Conflicts: 78000 | #Constraints: 75459
168.34/179.01 c INPROCESSING
168.34/179.01 c GARBAGE COLLECT
168.34/179.01 c #Conflicts: 79000 | #Constraints: 70871
168.34/179.01 c #Conflicts: 80000 | #Constraints: 71871
168.34/179.01 c #Conflicts: 81000 | #Constraints: 72871
168.34/179.01 c #Conflicts: 82000 | #Constraints: 73871
168.34/179.01 c #Conflicts: 83000 | #Constraints: 74872
168.34/179.01 c #Conflicts: 84000 | #Constraints: 75873
168.34/179.01 c INPROCESSING
168.34/179.01 c GARBAGE COLLECT
168.34/179.01 c #Conflicts: 85000 | #Constraints: 71079
168.34/179.01 c #Conflicts: 86000 | #Constraints: 72079
168.34/179.01 c #Conflicts: 87000 | #Constraints: 73079
168.34/179.01 c #Conflicts: 88000 | #Constraints: 74079
168.34/179.01 c #Conflicts: 89000 | #Constraints: 75079
168.34/179.01 c #Conflicts: 90000 | #Constraints: 76079
168.34/179.01 c INPROCESSING
168.34/179.01 c GARBAGE COLLECT
168.34/179.01 c #Conflicts: 91000 | #Constraints: 71066
168.34/179.01 c #Conflicts: 92000 | #Constraints: 72066
168.34/179.01 c #Conflicts: 93000 | #Constraints: 73066
168.34/179.01 c #Conflicts: 94000 | #Constraints: 74066
168.34/179.01 c #Conflicts: 95000 | #Constraints: 75066
168.34/179.01 c #Conflicts: 96000 | #Constraints: 76066
168.34/179.01 c INPROCESSING
168.34/179.01 c GARBAGE COLLECT
168.34/179.01 c rational objective 5
183.79/194.51 c #Conflicts: 97000 | #Constraints: 70909
183.79/194.51 c #Conflicts: 98000 | #Constraints: 71909
183.79/194.51 c #Conflicts: 99000 | #Constraints: 72909
183.79/194.51 c #Conflicts: 100000 | #Constraints: 73909
183.79/194.51 c #Conflicts: 101000 | #Constraints: 74909
183.79/194.51 c #Conflicts: 102000 | #Constraints: 75909
183.79/194.51 c #Conflicts: 103000 | #Constraints: 76909
183.79/194.51 c INPROCESSING
183.79/194.51 c GARBAGE COLLECT
183.79/194.51 c #Conflicts: 104000 | #Constraints: 71477
183.79/194.51 c #Conflicts: 105000 | #Constraints: 72477
183.79/194.51 c #Conflicts: 106000 | #Constraints: 73477
183.79/194.51 c #Conflicts: 107000 | #Constraints: 74477
183.79/194.51 c #Conflicts: 108000 | #Constraints: 75477
183.79/194.51 c #Conflicts: 109000 | #Constraints: 76477
183.79/194.51 c #Conflicts: 110000 | #Constraints: 77477
183.79/194.51 c INPROCESSING
183.79/194.51 c GARBAGE COLLECT
183.79/194.51 c rational objective 5
200.05/210.84 c #Conflicts: 111000 | #Constraints: 71882
200.05/210.84 c #Conflicts: 112000 | #Constraints: 72882
200.05/210.84 c #Conflicts: 113000 | #Constraints: 73882
200.05/210.84 c #Conflicts: 114000 | #Constraints: 74882
200.05/210.84 c #Conflicts: 115000 | #Constraints: 75882
200.05/210.84 c #Conflicts: 116000 | #Constraints: 76882
200.05/210.84 c #Conflicts: 117000 | #Constraints: 77882
200.05/210.84 c INPROCESSING
200.05/210.84 c GARBAGE COLLECT
200.05/210.84 c rational objective 5
213.70/224.57 c #Conflicts: 118000 | #Constraints: 72160
213.70/224.57 c #Conflicts: 119000 | #Constraints: 73160
213.70/224.57 c #Conflicts: 120000 | #Constraints: 74160
213.70/224.57 c #Conflicts: 121000 | #Constraints: 75160
213.70/224.57 c #Conflicts: 122000 | #Constraints: 76160
213.70/224.57 c #Conflicts: 123000 | #Constraints: 77160
213.70/224.57 c #Conflicts: 124000 | #Constraints: 78160
213.70/224.57 c INPROCESSING
213.70/224.57 c GARBAGE COLLECT
213.70/224.57 c rational objective 5
231.45/242.35 c #Conflicts: 125000 | #Constraints: 72173
231.45/242.35 c #Conflicts: 126000 | #Constraints: 73173
231.45/242.35 c #Conflicts: 127000 | #Constraints: 74173
231.45/242.35 c #Conflicts: 128000 | #Constraints: 75173
231.45/242.35 c #Conflicts: 129000 | #Constraints: 76173
231.45/242.35 c #Conflicts: 130000 | #Constraints: 77173
231.45/242.35 c #Conflicts: 131000 | #Constraints: 78173
231.45/242.35 c INPROCESSING
231.45/242.35 c GARBAGE COLLECT
231.45/242.35 c #Conflicts: 132000 | #Constraints: 71927
231.45/242.35 c #Conflicts: 133000 | #Constraints: 72927
231.45/242.35 c #Conflicts: 134000 | #Constraints: 73927
231.45/242.35 c #Conflicts: 135000 | #Constraints: 74927
231.45/242.35 c #Conflicts: 136000 | #Constraints: 75927
231.45/242.35 c #Conflicts: 137000 | #Constraints: 76927
231.45/242.35 c #Conflicts: 138000 | #Constraints: 77927
231.45/242.35 c #Conflicts: 139000 | #Constraints: 78927
231.45/242.35 c INPROCESSING
231.45/242.35 c GARBAGE COLLECT
231.45/242.35 c rational objective 5
248.90/259.87 c #Conflicts: 140000 | #Constraints: 72559
248.90/259.87 c #Conflicts: 141000 | #Constraints: 73559
248.90/259.87 c #Conflicts: 142000 | #Constraints: 74559
248.90/259.87 c #Conflicts: 143000 | #Constraints: 75559
248.90/259.87 c #Conflicts: 144000 | #Constraints: 76559
248.90/259.87 c #Conflicts: 145000 | #Constraints: 77559
248.90/259.87 c #Conflicts: 146000 | #Constraints: 78559
248.90/259.87 c #Conflicts: 147000 | #Constraints: 79559
248.90/259.87 c INPROCESSING
248.90/259.87 c GARBAGE COLLECT
248.90/259.87 c rational objective 5
289.17/300.27 c #Conflicts: 148000 | #Constraints: 72955
289.17/300.27 c #Conflicts: 149000 | #Constraints: 73955
289.17/300.27 c #Conflicts: 150000 | #Constraints: 74955
289.17/300.27 c #Conflicts: 151000 | #Constraints: 75955
289.17/300.27 c #Conflicts: 152000 | #Constraints: 76955
289.17/300.27 c #Conflicts: 153000 | #Constraints: 77955
289.17/300.27 c #Conflicts: 154000 | #Constraints: 78955
289.17/300.27 c #Conflicts: 155000 | #Constraints: 79955
289.17/300.27 c INPROCESSING
289.17/300.27 c GARBAGE COLLECT
289.17/300.27 c rational objective 5
304.82/316.01 c #Conflicts: 156000 | #Constraints: 73156
304.82/316.01 c #Conflicts: 157000 | #Constraints: 74156
304.82/316.01 c #Conflicts: 158000 | #Constraints: 75156
304.82/316.01 c #Conflicts: 159000 | #Constraints: 76156
304.82/316.01 c #Conflicts: 160000 | #Constraints: 77156
304.82/316.01 c #Conflicts: 161000 | #Constraints: 78156
304.82/316.01 c #Conflicts: 162000 | #Constraints: 79156
304.82/316.01 c #Conflicts: 163000 | #Constraints: 80156
304.82/316.01 c INPROCESSING
304.82/316.01 c GARBAGE COLLECT
304.82/316.01 c #Conflicts: 164000 | #Constraints: 73161
304.82/316.01 c #Conflicts: 165000 | #Constraints: 74161
304.82/316.01 c #Conflicts: 166000 | #Constraints: 75161
304.82/316.01 c #Conflicts: 167000 | #Constraints: 76161
304.82/316.01 c #Conflicts: 168000 | #Constraints: 77161
304.82/316.01 c #Conflicts: 169000 | #Constraints: 78161
304.82/316.01 c #Conflicts: 170000 | #Constraints: 79161
304.82/316.01 c #Conflicts: 171000 | #Constraints: 80161
304.82/316.01 c INPROCESSING
304.82/316.01 c GARBAGE COLLECT
304.82/316.01 c rational objective 5
324.05/335.21 c #Conflicts: 172000 | #Constraints: 72991
324.05/335.21 c #Conflicts: 173000 | #Constraints: 73991
324.05/335.21 c #Conflicts: 174000 | #Constraints: 74991
324.05/335.21 c #Conflicts: 175000 | #Constraints: 75991
324.05/335.21 c #Conflicts: 176000 | #Constraints: 76991
324.05/335.21 c #Conflicts: 177000 | #Constraints: 77991
324.05/335.21 c #Conflicts: 178000 | #Constraints: 78991
324.05/335.21 c #Conflicts: 179000 | #Constraints: 79991
324.05/335.21 c #Conflicts: 180000 | #Constraints: 80991
324.05/335.21 c INPROCESSING
324.05/335.21 c GARBAGE COLLECT
324.05/335.21 c rational objective 5
340.01/351.22 c #Conflicts: 181000 | #Constraints: 73637
340.01/351.22 c #Conflicts: 182000 | #Constraints: 74637
340.01/351.22 c #Conflicts: 183000 | #Constraints: 75637
340.01/351.22 c #Conflicts: 184000 | #Constraints: 76637
340.01/351.22 c #Conflicts: 185000 | #Constraints: 77637
340.01/351.22 c #Conflicts: 186000 | #Constraints: 78637
340.01/351.22 c #Conflicts: 187000 | #Constraints: 79637
340.01/351.22 c #Conflicts: 188000 | #Constraints: 80637
340.01/351.22 c #Conflicts: 189000 | #Constraints: 81637
340.01/351.22 c INPROCESSING
340.01/351.22 c GARBAGE COLLECT
340.01/351.22 c #Conflicts: 190000 | #Constraints: 73994
340.01/351.22 c #Conflicts: 191000 | #Constraints: 74994
340.01/351.22 c #Conflicts: 192000 | #Constraints: 75994
340.01/351.22 c #Conflicts: 193000 | #Constraints: 76994
340.01/351.22 c #Conflicts: 194000 | #Constraints: 77994
340.01/351.22 c #Conflicts: 195000 | #Constraints: 78994
340.01/351.22 c #Conflicts: 196000 | #Constraints: 79994
340.01/351.22 c #Conflicts: 197000 | #Constraints: 80994
340.01/351.22 c #Conflicts: 198000 | #Constraints: 81994
340.01/351.22 c INPROCESSING
340.01/351.22 c GARBAGE COLLECT
340.01/351.22 c rational objective 5
355.95/367.28 c #Conflicts: 199000 | #Constraints: 74189
355.95/367.28 c #Conflicts: 200000 | #Constraints: 75189
355.95/367.28 c #Conflicts: 201000 | #Constraints: 76189
355.95/367.28 c #Conflicts: 202000 | #Constraints: 77189
355.95/367.28 c #Conflicts: 203000 | #Constraints: 78189
355.95/367.28 c #Conflicts: 204000 | #Constraints: 79189
355.95/367.28 c #Conflicts: 205000 | #Constraints: 80189
355.95/367.28 c #Conflicts: 206000 | #Constraints: 81189
355.95/367.28 c #Conflicts: 207000 | #Constraints: 82189
355.95/367.28 c INPROCESSING
355.95/367.28 c GARBAGE COLLECT
355.95/367.28 c rational objective 5
376.00/387.36 c #Conflicts: 208000 | #Constraints: 74190
376.00/387.36 c #Conflicts: 209000 | #Constraints: 75190
376.00/387.36 c #Conflicts: 210000 | #Constraints: 76190
376.00/387.36 c #Conflicts: 211000 | #Constraints: 77190
376.00/387.36 c #Conflicts: 212000 | #Constraints: 78190
376.00/387.36 c #Conflicts: 213000 | #Constraints: 79190
376.00/387.36 c #Conflicts: 214000 | #Constraints: 80190
376.00/387.36 c #Conflicts: 215000 | #Constraints: 81190
376.00/387.36 c #Conflicts: 216000 | #Constraints: 82191
376.00/387.36 c INPROCESSING
376.00/387.36 c GARBAGE COLLECT
376.00/387.36 c rational objective 5
391.77/403.19 c #Conflicts: 217000 | #Constraints: 74009
391.77/403.19 c #Conflicts: 218000 | #Constraints: 75009
391.77/403.19 c #Conflicts: 219000 | #Constraints: 76009
391.77/403.19 c #Conflicts: 220000 | #Constraints: 77009
391.77/403.19 c #Conflicts: 221000 | #Constraints: 78009
391.77/403.19 c #Conflicts: 222000 | #Constraints: 79009
391.77/403.19 c #Conflicts: 223000 | #Constraints: 80009
391.77/403.19 c #Conflicts: 224000 | #Constraints: 81009
391.77/403.19 c #Conflicts: 225000 | #Constraints: 82009
391.77/403.19 c #Conflicts: 226000 | #Constraints: 83009
391.77/403.19 c INPROCESSING
391.77/403.19 c GARBAGE COLLECT
391.77/403.19 c rational objective 5
420.08/431.51 c #Conflicts: 227000 | #Constraints: 74605
420.08/431.51 c #Conflicts: 228000 | #Constraints: 75605
420.08/431.51 c #Conflicts: 229000 | #Constraints: 76605
420.08/431.51 c #Conflicts: 230000 | #Constraints: 77605
420.08/431.51 c #Conflicts: 231000 | #Constraints: 78605
420.08/431.51 c #Conflicts: 232000 | #Constraints: 79605
420.08/431.51 c #Conflicts: 233000 | #Constraints: 80605
420.08/431.51 c #Conflicts: 234000 | #Constraints: 81605
420.08/431.51 c #Conflicts: 235000 | #Constraints: 82605
420.08/431.51 c #Conflicts: 236000 | #Constraints: 83605
420.08/431.51 c INPROCESSING
420.08/431.51 c GARBAGE COLLECT
420.08/431.51 c rational objective 5
455.26/466.81 c #Conflicts: 237000 | #Constraints: 74989
455.26/466.81 c #Conflicts: 238000 | #Constraints: 75989
455.26/466.81 c #Conflicts: 239000 | #Constraints: 76989
455.26/466.81 c #Conflicts: 240000 | #Constraints: 77989
455.26/466.81 c #Conflicts: 241000 | #Constraints: 78989
455.26/466.81 c #Conflicts: 242000 | #Constraints: 79989
455.26/466.81 c #Conflicts: 243000 | #Constraints: 80989
455.26/466.81 c #Conflicts: 244000 | #Constraints: 81989
455.26/466.81 c #Conflicts: 245000 | #Constraints: 82989
455.26/466.81 c #Conflicts: 246000 | #Constraints: 83989
455.26/466.81 c INPROCESSING
455.26/466.81 c GARBAGE COLLECT
455.26/466.81 c rational objective 5
530.06/542.26 c #Conflicts: 247000 | #Constraints: 75213
530.06/542.26 c #Conflicts: 248000 | #Constraints: 76213
530.06/542.26 c #Conflicts: 249000 | #Constraints: 77213
530.06/542.26 c #Conflicts: 250000 | #Constraints: 78213
530.06/542.26 c #Conflicts: 251000 | #Constraints: 79213
530.06/542.26 c #Conflicts: 252000 | #Constraints: 80213
530.06/542.26 c #Conflicts: 253000 | #Constraints: 81213
530.06/542.26 c #Conflicts: 254000 | #Constraints: 82213
530.06/542.26 c #Conflicts: 255000 | #Constraints: 83213
530.06/542.26 c #Conflicts: 256000 | #Constraints: 84213
530.06/542.26 c INPROCESSING
530.06/542.26 c GARBAGE COLLECT
530.06/542.26 c #Conflicts: 257000 | #Constraints: 75187
530.06/542.26 c #Conflicts: 258000 | #Constraints: 76187
530.06/542.26 c #Conflicts: 259000 | #Constraints: 77187
530.06/542.26 c #Conflicts: 260000 | #Constraints: 78187
530.06/542.26 c #Conflicts: 261000 | #Constraints: 79187
530.06/542.26 c #Conflicts: 262000 | #Constraints: 80187
530.06/542.26 c #Conflicts: 263000 | #Constraints: 81187
530.06/542.26 c #Conflicts: 264000 | #Constraints: 82187
530.06/542.26 c #Conflicts: 265000 | #Constraints: 83187
530.06/542.26 c #Conflicts: 266000 | #Constraints: 84187
530.06/542.26 c INPROCESSING
530.06/542.26 c GARBAGE COLLECT
530.06/542.26 c #Conflicts: 267000 | #Constraints: 75006
530.06/542.26 c #Conflicts: 268000 | #Constraints: 76006
530.06/542.26 c #Conflicts: 269000 | #Constraints: 77006
530.06/542.26 c #Conflicts: 270000 | #Constraints: 78006
530.06/542.26 c #Conflicts: 271000 | #Constraints: 79006
530.06/542.26 c #Conflicts: 272000 | #Constraints: 80006
530.06/542.26 c #Conflicts: 273000 | #Constraints: 81006
530.06/542.26 c #Conflicts: 274000 | #Constraints: 82006
530.06/542.26 c #Conflicts: 275000 | #Constraints: 83006
530.06/542.26 c #Conflicts: 276000 | #Constraints: 84006
530.06/542.26 c #Conflicts: 277000 | #Constraints: 85006
530.06/542.26 c INPROCESSING
530.06/542.26 c GARBAGE COLLECT
530.06/542.26 c #Conflicts: 278000 | #Constraints: 75602
530.06/542.26 c #Conflicts: 279000 | #Constraints: 76602
530.06/542.26 c #Conflicts: 280000 | #Constraints: 77602
530.06/542.26 c #Conflicts: 281000 | #Constraints: 78602
530.06/542.26 c #Conflicts: 282000 | #Constraints: 79602
530.06/542.26 c #Conflicts: 283000 | #Constraints: 80602
530.06/542.26 c #Conflicts: 284000 | #Constraints: 81602
530.06/542.26 c #Conflicts: 285000 | #Constraints: 82602
530.06/542.26 c #Conflicts: 286000 | #Constraints: 83602
530.06/542.26 c #Conflicts: 287000 | #Constraints: 84602
530.06/542.26 c #Conflicts: 288000 | #Constraints: 85602
530.06/542.26 c INPROCESSING
530.06/542.26 c GARBAGE COLLECT
530.06/542.26 c rational objective 5
543.95/577.90 c #Conflicts: 289000 | #Constraints: 76045
543.95/577.90 c #Conflicts: 290000 | #Constraints: 77045
543.95/577.90 c #Conflicts: 291000 | #Constraints: 78045
543.95/577.90 c #Conflicts: 292000 | #Constraints: 79045
543.95/577.90 c #Conflicts: 293000 | #Constraints: 80045
543.95/577.90 c #Conflicts: 294000 | #Constraints: 81047
543.95/577.90 c #Conflicts: 295000 | #Constraints: 82047
543.95/577.90 c #Conflicts: 296000 | #Constraints: 83048
543.95/577.90 c #Conflicts: 297000 | #Constraints: 84049
543.95/577.90 c #Conflicts: 298000 | #Constraints: 85049
543.95/577.90 c #Conflicts: 299000 | #Constraints: 86049
543.95/577.90 c INPROCESSING
543.95/577.90 c GARBAGE COLLECT
543.95/577.90 c #Conflicts: 300000 | #Constraints: 76226
543.95/577.90 c #Conflicts: 301000 | #Constraints: 77226
543.95/577.90 c #Conflicts: 302000 | #Constraints: 78226
543.95/577.90 c #Conflicts: 303000 | #Constraints: 79226
543.95/577.90 c #Conflicts: 304000 | #Constraints: 80226
543.95/577.90 c #Conflicts: 305000 | #Constraints: 81226
543.95/577.90 c #Conflicts: 306000 | #Constraints: 82226
543.95/577.90 c #Conflicts: 307000 | #Constraints: 83226
543.95/577.90 c #Conflicts: 308000 | #Constraints: 84226
543.95/577.90 c #Conflicts: 309000 | #Constraints: 85226
543.95/577.90 c #Conflicts: 310000 | #Constraints: 86226
543.95/577.90 c INPROCESSING
543.95/577.90 c GARBAGE COLLECT
543.95/577.90 c rational objective 5
559.38/593.92 c #Conflicts: 311000 | #Constraints: 76245
559.38/593.92 c #Conflicts: 312000 | #Constraints: 77245
559.38/593.92 c #Conflicts: 313000 | #Constraints: 78245
559.38/593.92 c #Conflicts: 314000 | #Constraints: 79245
559.38/593.92 c #Conflicts: 315000 | #Constraints: 80245
559.38/593.92 c #Conflicts: 316000 | #Constraints: 81245
559.38/593.92 c #Conflicts: 317000 | #Constraints: 82245
559.38/593.92 c #Conflicts: 318000 | #Constraints: 83245
559.38/593.92 c #Conflicts: 319000 | #Constraints: 84245
559.38/593.92 c #Conflicts: 320000 | #Constraints: 85245
559.38/593.92 c #Conflicts: 321000 | #Constraints: 86245
559.38/593.92 c INPROCESSING
559.38/593.92 c GARBAGE COLLECT
559.38/593.92 c rational objective 5
575.24/609.88 c #Conflicts: 322000 | #Constraints: 76095
575.24/609.88 c #Conflicts: 323000 | #Constraints: 77095
575.24/609.88 c #Conflicts: 324000 | #Constraints: 78095
575.24/609.88 c #Conflicts: 325000 | #Constraints: 79095
575.24/609.88 c #Conflicts: 326000 | #Constraints: 80095
575.24/609.88 c #Conflicts: 327000 | #Constraints: 81095
575.24/609.88 c #Conflicts: 328000 | #Constraints: 82095
575.24/609.88 c #Conflicts: 329000 | #Constraints: 83095
575.24/609.88 c #Conflicts: 330000 | #Constraints: 84095
575.24/609.88 c bounds 73 >= 10 @ 569.312
626.00/660.75 c #Conflicts: 331000 | #Constraints: 85098
626.00/660.75 c #Conflicts: 332000 | #Constraints: 86098
626.00/660.75 c #Conflicts: 333000 | #Constraints: 87098
626.00/660.75 c INPROCESSING
626.00/660.75 c GARBAGE COLLECT
626.00/660.75 c rational objective 10
640.55/675.37 c #Conflicts: 334000 | #Constraints: 76685
640.55/675.37 c #Conflicts: 335000 | #Constraints: 77685
640.55/675.37 c #Conflicts: 336000 | #Constraints: 78685
640.55/675.37 c #Conflicts: 337000 | #Constraints: 79685
640.55/675.37 c #Conflicts: 338000 | #Constraints: 80685
640.55/675.37 c #Conflicts: 339000 | #Constraints: 81685
640.55/675.37 c #Conflicts: 340000 | #Constraints: 82685
640.55/675.37 c #Conflicts: 341000 | #Constraints: 83685
640.55/675.37 c #Conflicts: 342000 | #Constraints: 84685
640.55/675.37 c #Conflicts: 343000 | #Constraints: 85685
640.55/675.37 c #Conflicts: 344000 | #Constraints: 86685
640.55/675.37 c #Conflicts: 345000 | #Constraints: 87685
640.55/675.37 c INPROCESSING
640.55/675.37 c GARBAGE COLLECT
640.55/675.37 c #Conflicts: 346000 | #Constraints: 77056
640.55/675.37 c #Conflicts: 347000 | #Constraints: 78056
640.55/675.37 c #Conflicts: 348000 | #Constraints: 79056
640.55/675.37 c #Conflicts: 349000 | #Constraints: 80056
640.55/675.37 c #Conflicts: 350000 | #Constraints: 81056
640.55/675.37 c #Conflicts: 351000 | #Constraints: 82056
640.55/675.37 c #Conflicts: 352000 | #Constraints: 83056
640.55/675.37 c #Conflicts: 353000 | #Constraints: 84056
640.55/675.37 c #Conflicts: 354000 | #Constraints: 85056
640.55/675.37 c #Conflicts: 355000 | #Constraints: 86056
640.55/675.37 c #Conflicts: 356000 | #Constraints: 87056
640.55/675.37 c #Conflicts: 357000 | #Constraints: 88056
640.55/675.37 c INPROCESSING
640.55/675.37 c GARBAGE COLLECT
640.55/675.37 c rational objective 10
654.12/688.90 c #Conflicts: 358000 | #Constraints: 77244
654.12/688.90 c #Conflicts: 359000 | #Constraints: 78244
654.12/688.90 c #Conflicts: 360000 | #Constraints: 79244
654.12/688.90 c #Conflicts: 361000 | #Constraints: 80244
654.12/688.90 c #Conflicts: 362000 | #Constraints: 81244
654.12/688.90 c #Conflicts: 363000 | #Constraints: 82244
654.12/688.90 c #Conflicts: 364000 | #Constraints: 83244
654.12/688.90 c #Conflicts: 365000 | #Constraints: 84244
654.12/688.90 c #Conflicts: 366000 | #Constraints: 85244
654.12/688.90 c #Conflicts: 367000 | #Constraints: 86244
654.12/688.90 c #Conflicts: 368000 | #Constraints: 87244
654.12/688.90 c #Conflicts: 369000 | #Constraints: 88244
654.12/688.90 c INPROCESSING
654.12/688.90 c GARBAGE COLLECT
654.12/688.90 c rational objective 10
670.37/705.33 c #Conflicts: 370000 | #Constraints: 77280
670.37/705.33 c #Conflicts: 371000 | #Constraints: 78280
670.37/705.33 c #Conflicts: 372000 | #Constraints: 79280
670.37/705.33 c #Conflicts: 373000 | #Constraints: 80280
670.37/705.33 c #Conflicts: 374000 | #Constraints: 81280
670.37/705.33 c #Conflicts: 375000 | #Constraints: 82280
670.37/705.33 c #Conflicts: 376000 | #Constraints: 83280
670.37/705.33 c #Conflicts: 377000 | #Constraints: 84280
670.37/705.33 c #Conflicts: 378000 | #Constraints: 85280
670.37/705.33 c #Conflicts: 379000 | #Constraints: 86280
670.37/705.33 c #Conflicts: 380000 | #Constraints: 87280
670.37/705.33 c #Conflicts: 381000 | #Constraints: 88280
670.37/705.33 c INPROCESSING
670.37/705.33 c GARBAGE COLLECT
670.37/705.33 c rational objective 10
680.84/715.82 c #Conflicts: 382000 | #Constraints: 77093
680.84/715.82 c #Conflicts: 383000 | #Constraints: 78093
680.84/715.82 c #Conflicts: 384000 | #Constraints: 79093
680.84/715.82 c #Conflicts: 385000 | #Constraints: 80093
680.84/715.82 c #Conflicts: 386000 | #Constraints: 81093
680.84/715.82 c #Conflicts: 387000 | #Constraints: 82093
680.84/715.82 c #Conflicts: 388000 | #Constraints: 83094
680.84/715.82 c #Conflicts: 389000 | #Constraints: 84094
680.84/715.82 c #Conflicts: 390000 | #Constraints: 85094
680.84/715.82 c #Conflicts: 391000 | #Constraints: 86094
680.84/715.82 c #Conflicts: 392000 | #Constraints: 87094
680.84/715.82 c #Conflicts: 393000 | #Constraints: 88094
680.84/715.82 c #Conflicts: 394000 | #Constraints: 89094
680.84/715.82 c INPROCESSING
680.84/715.82 c GARBAGE COLLECT
680.84/715.82 c rational objective 10
694.51/729.53 c #Conflicts: 395000 | #Constraints: 77710
694.51/729.53 c #Conflicts: 396000 | #Constraints: 78710
694.51/729.53 c #Conflicts: 397000 | #Constraints: 79710
694.51/729.53 c #Conflicts: 398000 | #Constraints: 80710
694.51/729.53 c #Conflicts: 399000 | #Constraints: 81710
694.51/729.53 c #Conflicts: 400000 | #Constraints: 82710
694.51/729.53 c #Conflicts: 401000 | #Constraints: 83710
694.51/729.53 c #Conflicts: 402000 | #Constraints: 84710
694.51/729.53 c #Conflicts: 403000 | #Constraints: 85710
694.51/729.53 c #Conflicts: 404000 | #Constraints: 86710
694.51/729.53 c #Conflicts: 405000 | #Constraints: 87710
694.51/729.53 c #Conflicts: 406000 | #Constraints: 88710
694.51/729.53 c #Conflicts: 407000 | #Constraints: 89710
694.51/729.53 c INPROCESSING
694.51/729.53 c GARBAGE COLLECT
694.51/729.53 c rational objective 10
708.76/743.94 c #Conflicts: 408000 | #Constraints: 78137
708.76/743.94 c #Conflicts: 409000 | #Constraints: 79138
708.76/743.94 c #Conflicts: 410000 | #Constraints: 80138
708.76/743.94 c #Conflicts: 411000 | #Constraints: 81138
708.76/743.94 c #Conflicts: 412000 | #Constraints: 82138
708.76/743.94 c #Conflicts: 413000 | #Constraints: 83138
708.76/743.94 c #Conflicts: 414000 | #Constraints: 84138
708.76/743.94 c #Conflicts: 415000 | #Constraints: 85138
708.76/743.94 c #Conflicts: 416000 | #Constraints: 86139
708.76/743.94 c #Conflicts: 417000 | #Constraints: 87139
708.76/743.94 c #Conflicts: 418000 | #Constraints: 88139
708.76/743.94 c #Conflicts: 419000 | #Constraints: 89139
708.76/743.94 c #Conflicts: 420000 | #Constraints: 90139
708.76/743.94 c INPROCESSING
708.76/743.94 c GARBAGE COLLECT
708.76/743.94 c rational objective 10
734.09/769.31 c #Conflicts: 421000 | #Constraints: 78325
734.09/769.31 c #Conflicts: 422000 | #Constraints: 79325
734.09/769.31 c #Conflicts: 423000 | #Constraints: 80325
734.09/769.31 c #Conflicts: 424000 | #Constraints: 81325
734.09/769.31 c #Conflicts: 425000 | #Constraints: 82325
734.09/769.31 c #Conflicts: 426000 | #Constraints: 83325
734.09/769.31 c #Conflicts: 427000 | #Constraints: 84325
734.09/769.31 c #Conflicts: 428000 | #Constraints: 85325
734.09/769.31 c #Conflicts: 429000 | #Constraints: 86325
734.09/769.31 c #Conflicts: 430000 | #Constraints: 87325
734.09/769.31 c #Conflicts: 431000 | #Constraints: 88325
734.09/769.31 c #Conflicts: 432000 | #Constraints: 89325
734.09/769.31 c #Conflicts: 433000 | #Constraints: 90325
734.09/769.31 c INPROCESSING
734.09/769.31 c GARBAGE COLLECT
734.09/769.31 c rational objective 10
747.77/783.02 c #Conflicts: 434000 | #Constraints: 78328
747.77/783.02 c #Conflicts: 435000 | #Constraints: 79328
747.77/783.02 c #Conflicts: 436000 | #Constraints: 80328
747.77/783.02 c #Conflicts: 437000 | #Constraints: 81328
747.77/783.02 c #Conflicts: 438000 | #Constraints: 82328
747.77/783.02 c #Conflicts: 439000 | #Constraints: 83328
747.77/783.02 c #Conflicts: 440000 | #Constraints: 84328
747.77/783.02 c #Conflicts: 441000 | #Constraints: 85328
747.77/783.02 c #Conflicts: 442000 | #Constraints: 86328
747.77/783.02 c #Conflicts: 443000 | #Constraints: 87328
747.77/783.02 c #Conflicts: 444000 | #Constraints: 88328
747.77/783.02 c #Conflicts: 445000 | #Constraints: 89328
747.77/783.02 c #Conflicts: 446000 | #Constraints: 90328
747.77/783.02 c INPROCESSING
747.77/783.02 c GARBAGE COLLECT
747.77/783.02 c rational objective 10
760.21/795.54 c #Conflicts: 447000 | #Constraints: 78107
760.21/795.54 c #Conflicts: 448000 | #Constraints: 79107
760.21/795.54 c #Conflicts: 449000 | #Constraints: 80107
760.21/795.54 c #Conflicts: 450000 | #Constraints: 81107
760.21/795.54 c #Conflicts: 451000 | #Constraints: 82107
760.21/795.54 c #Conflicts: 452000 | #Constraints: 83107
760.21/795.54 c #Conflicts: 453000 | #Constraints: 84107
760.21/795.54 c #Conflicts: 454000 | #Constraints: 85107
760.21/795.54 c #Conflicts: 455000 | #Constraints: 86107
760.21/795.54 c #Conflicts: 456000 | #Constraints: 87107
760.21/795.54 c #Conflicts: 457000 | #Constraints: 88107
760.21/795.54 c #Conflicts: 458000 | #Constraints: 89107
760.21/795.54 c #Conflicts: 459000 | #Constraints: 90107
760.21/795.54 c #Conflicts: 460000 | #Constraints: 91107
760.21/795.54 c INPROCESSING
760.21/795.54 c GARBAGE COLLECT
760.21/795.54 c rational objective 10
802.08/837.52 c #Conflicts: 461000 | #Constraints: 78701
802.08/837.52 c #Conflicts: 462000 | #Constraints: 79701
802.08/837.52 c #Conflicts: 463000 | #Constraints: 80701
802.08/837.52 c #Conflicts: 464000 | #Constraints: 81701
802.08/837.52 c #Conflicts: 465000 | #Constraints: 82701
802.08/837.52 c #Conflicts: 466000 | #Constraints: 83701
802.08/837.52 c #Conflicts: 467000 | #Constraints: 84701
802.08/837.52 c #Conflicts: 468000 | #Constraints: 85701
802.08/837.52 c #Conflicts: 469000 | #Constraints: 86701
802.08/837.52 c #Conflicts: 470000 | #Constraints: 87701
802.08/837.52 c #Conflicts: 471000 | #Constraints: 88701
802.08/837.52 c #Conflicts: 472000 | #Constraints: 89701
802.08/837.52 c #Conflicts: 473000 | #Constraints: 90701
802.08/837.52 c #Conflicts: 474000 | #Constraints: 91701
802.08/837.52 c INPROCESSING
802.08/837.52 c GARBAGE COLLECT
802.08/837.52 c rational objective 10
813.33/848.97 c #Conflicts: 475000 | #Constraints: 79092
813.33/848.97 c #Conflicts: 476000 | #Constraints: 80092
813.33/848.97 c #Conflicts: 477000 | #Constraints: 81092
813.33/848.97 c #Conflicts: 478000 | #Constraints: 82092
813.33/848.97 c #Conflicts: 479000 | #Constraints: 83092
813.33/848.97 c #Conflicts: 480000 | #Constraints: 84092
813.33/848.97 c #Conflicts: 481000 | #Constraints: 85092
813.33/848.97 c #Conflicts: 482000 | #Constraints: 86092
813.33/848.97 c #Conflicts: 483000 | #Constraints: 87092
813.33/848.97 c #Conflicts: 484000 | #Constraints: 88092
813.33/848.97 c #Conflicts: 485000 | #Constraints: 89092
813.33/848.97 c #Conflicts: 486000 | #Constraints: 90092
813.33/848.97 c #Conflicts: 487000 | #Constraints: 91092
813.33/848.97 c #Conflicts: 488000 | #Constraints: 92092
813.33/848.97 c INPROCESSING
813.33/848.97 c GARBAGE COLLECT
813.33/848.97 c rational objective 10
828.58/864.29 c #Conflicts: 489000 | #Constraints: 79318
828.58/864.29 c #Conflicts: 490000 | #Constraints: 80318
828.58/864.29 c #Conflicts: 491000 | #Constraints: 81318
828.58/864.29 c #Conflicts: 492000 | #Constraints: 82318
828.58/864.29 c #Conflicts: 493000 | #Constraints: 83318
828.58/864.29 c #Conflicts: 494000 | #Constraints: 84318
828.58/864.29 c #Conflicts: 495000 | #Constraints: 85318
828.58/864.29 c #Conflicts: 496000 | #Constraints: 86318
828.58/864.29 c #Conflicts: 497000 | #Constraints: 87318
828.58/864.29 c #Conflicts: 498000 | #Constraints: 88318
828.58/864.29 c #Conflicts: 499000 | #Constraints: 89318
828.58/864.29 c #Conflicts: 500000 | #Constraints: 90318
828.58/864.29 c #Conflicts: 501000 | #Constraints: 91318
828.58/864.29 c #Conflicts: 502000 | #Constraints: 92318
828.58/864.29 c INPROCESSING
828.58/864.29 c GARBAGE COLLECT
828.58/864.29 c rational objective 10
846.54/882.26 c #Conflicts: 503000 | #Constraints: 79286
846.54/882.26 c #Conflicts: 504000 | #Constraints: 80286
846.54/882.26 c #Conflicts: 505000 | #Constraints: 81286
846.54/882.26 c #Conflicts: 506000 | #Constraints: 82286
846.54/882.26 c #Conflicts: 507000 | #Constraints: 83286
846.54/882.26 c #Conflicts: 508000 | #Constraints: 84286
846.54/882.26 c #Conflicts: 509000 | #Constraints: 85286
846.54/882.26 c #Conflicts: 510000 | #Constraints: 86286
846.54/882.26 c #Conflicts: 511000 | #Constraints: 87286
846.54/882.26 c #Conflicts: 512000 | #Constraints: 88286
846.54/882.26 c #Conflicts: 513000 | #Constraints: 89286
846.54/882.26 c #Conflicts: 514000 | #Constraints: 90286
846.54/882.26 c #Conflicts: 515000 | #Constraints: 91286
846.54/882.26 c #Conflicts: 516000 | #Constraints: 92286
846.54/882.26 c INPROCESSING
846.54/882.26 c GARBAGE COLLECT
846.54/882.26 c rational objective 10
862.69/898.48 c #Conflicts: 517000 | #Constraints: 79123
862.69/898.48 c #Conflicts: 518000 | #Constraints: 80123
862.69/898.48 c #Conflicts: 519000 | #Constraints: 81123
862.69/898.48 c #Conflicts: 520000 | #Constraints: 82123
862.69/898.48 c #Conflicts: 521000 | #Constraints: 83123
862.69/898.48 c #Conflicts: 522000 | #Constraints: 84123
862.69/898.48 c #Conflicts: 523000 | #Constraints: 85123
862.69/898.48 c #Conflicts: 524000 | #Constraints: 86123
862.69/898.48 c #Conflicts: 525000 | #Constraints: 87123
862.69/898.48 c #Conflicts: 526000 | #Constraints: 88123
862.69/898.48 c #Conflicts: 527000 | #Constraints: 89123
862.69/898.48 c #Conflicts: 528000 | #Constraints: 90123
862.69/898.48 c #Conflicts: 529000 | #Constraints: 91123
862.69/898.48 c #Conflicts: 530000 | #Constraints: 92124
862.69/898.48 c #Conflicts: 531000 | #Constraints: 93124
862.69/898.48 c INPROCESSING
862.69/898.48 c GARBAGE COLLECT
862.69/898.48 c rational objective 10
878.72/915.16 c #Conflicts: 532000 | #Constraints: 79746
878.72/915.16 c #Conflicts: 533000 | #Constraints: 80746
878.72/915.16 c #Conflicts: 534000 | #Constraints: 81746
878.72/915.16 c #Conflicts: 535000 | #Constraints: 82746
878.72/915.16 c #Conflicts: 536000 | #Constraints: 83746
878.72/915.16 c #Conflicts: 537000 | #Constraints: 84746
878.72/915.16 c #Conflicts: 538000 | #Constraints: 85746
878.72/915.16 c #Conflicts: 539000 | #Constraints: 86746
878.72/915.16 c #Conflicts: 540000 | #Constraints: 87746
878.72/915.16 c #Conflicts: 541000 | #Constraints: 88746
878.72/915.16 c #Conflicts: 542000 | #Constraints: 89746
878.72/915.16 c #Conflicts: 543000 | #Constraints: 90746
878.72/915.16 c #Conflicts: 544000 | #Constraints: 91746
878.72/915.16 c #Conflicts: 545000 | #Constraints: 92746
878.72/915.16 c #Conflicts: 546000 | #Constraints: 93746
878.72/915.16 c INPROCESSING
878.72/915.16 c GARBAGE COLLECT
878.72/915.16 c rational objective 10
890.48/926.90 c #Conflicts: 547000 | #Constraints: 80115
890.48/926.90 c #Conflicts: 548000 | #Constraints: 81115
890.48/926.90 c #Conflicts: 549000 | #Constraints: 82115
890.48/926.90 c #Conflicts: 550000 | #Constraints: 83115
890.48/926.90 c #Conflicts: 551000 | #Constraints: 84115
890.48/926.90 c #Conflicts: 552000 | #Constraints: 85115
890.48/926.90 c #Conflicts: 553000 | #Constraints: 86115
890.48/926.90 c #Conflicts: 554000 | #Constraints: 87115
890.48/926.90 c #Conflicts: 555000 | #Constraints: 88115
890.48/926.90 c #Conflicts: 556000 | #Constraints: 89115
890.48/926.90 c #Conflicts: 557000 | #Constraints: 90115
890.48/926.90 c #Conflicts: 558000 | #Constraints: 91115
890.48/926.90 c #Conflicts: 559000 | #Constraints: 92115
890.48/926.90 c #Conflicts: 560000 | #Constraints: 93115
890.48/926.90 c #Conflicts: 561000 | #Constraints: 94115
890.48/926.90 c INPROCESSING
890.48/926.90 c GARBAGE COLLECT
890.48/926.90 c rational objective 10
907.33/943.84 c #Conflicts: 562000 | #Constraints: 80329
907.33/943.84 c #Conflicts: 563000 | #Constraints: 81329
907.33/943.84 c #Conflicts: 564000 | #Constraints: 82329
907.33/943.84 c #Conflicts: 565000 | #Constraints: 83329
907.33/943.84 c #Conflicts: 566000 | #Constraints: 84329
907.33/943.84 c #Conflicts: 567000 | #Constraints: 85329
907.33/943.84 c #Conflicts: 568000 | #Constraints: 86329
907.33/943.84 c #Conflicts: 569000 | #Constraints: 87329
907.33/943.84 c #Conflicts: 570000 | #Constraints: 88330
907.33/943.84 c #Conflicts: 571000 | #Constraints: 89330
907.33/943.84 c #Conflicts: 572000 | #Constraints: 90330
907.33/943.84 c #Conflicts: 573000 | #Constraints: 91330
907.33/943.84 c #Conflicts: 574000 | #Constraints: 92330
907.33/943.84 c #Conflicts: 575000 | #Constraints: 93330
907.33/943.84 c #Conflicts: 576000 | #Constraints: 94330
907.33/943.84 c INPROCESSING
907.33/943.84 c GARBAGE COLLECT
907.33/943.84 c rational objective 10
922.17/958.77 c #Conflicts: 577000 | #Constraints: 80310
922.17/958.77 c #Conflicts: 578000 | #Constraints: 81310
922.17/958.77 c #Conflicts: 579000 | #Constraints: 82310
922.17/958.77 c #Conflicts: 580000 | #Constraints: 83310
922.17/958.77 c #Conflicts: 581000 | #Constraints: 84310
922.17/958.77 c #Conflicts: 582000 | #Constraints: 85310
922.17/958.77 c #Conflicts: 583000 | #Constraints: 86310
922.17/958.77 c #Conflicts: 584000 | #Constraints: 87310
922.17/958.77 c #Conflicts: 585000 | #Constraints: 88310
922.17/958.77 c #Conflicts: 586000 | #Constraints: 89310
922.17/958.77 c #Conflicts: 587000 | #Constraints: 90310
922.17/958.77 c #Conflicts: 588000 | #Constraints: 91311
922.17/958.77 c #Conflicts: 589000 | #Constraints: 92311
922.17/958.77 c #Conflicts: 590000 | #Constraints: 93311
922.17/958.77 c #Conflicts: 591000 | #Constraints: 94311
922.17/958.77 c INPROCESSING
922.17/958.77 c GARBAGE COLLECT
922.17/958.77 c rational objective 10
938.72/975.37 c #Conflicts: 592000 | #Constraints: 80143
938.72/975.37 c #Conflicts: 593000 | #Constraints: 81143
938.72/975.37 c #Conflicts: 594000 | #Constraints: 82143
938.72/975.37 c #Conflicts: 595000 | #Constraints: 83143
938.72/975.37 c #Conflicts: 596000 | #Constraints: 84143
938.72/975.37 c #Conflicts: 597000 | #Constraints: 85143
938.72/975.37 c #Conflicts: 598000 | #Constraints: 86143
938.72/975.37 c #Conflicts: 599000 | #Constraints: 87143
938.72/975.37 c #Conflicts: 600000 | #Constraints: 88143
938.72/975.37 c #Conflicts: 601000 | #Constraints: 89143
938.72/975.37 c #Conflicts: 602000 | #Constraints: 90143
938.72/975.37 c #Conflicts: 603000 | #Constraints: 91143
938.72/975.37 c #Conflicts: 604000 | #Constraints: 92143
938.72/975.37 c #Conflicts: 605000 | #Constraints: 93143
938.72/975.37 c #Conflicts: 606000 | #Constraints: 94143
938.72/975.37 c #Conflicts: 607000 | #Constraints: 95143
938.72/975.37 c INPROCESSING
938.72/975.37 c GARBAGE COLLECT
938.72/975.37 c rational objective 10
955.77/992.40 c #Conflicts: 608000 | #Constraints: 80746
955.77/992.40 c #Conflicts: 609000 | #Constraints: 81746
955.77/992.40 c #Conflicts: 610000 | #Constraints: 82746
955.77/992.40 c #Conflicts: 611000 | #Constraints: 83746
955.77/992.40 c #Conflicts: 612000 | #Constraints: 84746
955.77/992.40 c #Conflicts: 613000 | #Constraints: 85746
955.77/992.40 c #Conflicts: 614000 | #Constraints: 86746
955.77/992.40 c #Conflicts: 615000 | #Constraints: 87746
955.77/992.40 c #Conflicts: 616000 | #Constraints: 88746
955.77/992.40 c #Conflicts: 617000 | #Constraints: 89746
955.77/992.40 c #Conflicts: 618000 | #Constraints: 90746
955.77/992.40 c #Conflicts: 619000 | #Constraints: 91746
955.77/992.40 c #Conflicts: 620000 | #Constraints: 92746
955.77/992.40 c #Conflicts: 621000 | #Constraints: 93746
955.77/992.40 c #Conflicts: 622000 | #Constraints: 94746
955.77/992.40 c #Conflicts: 623000 | #Constraints: 95747
955.77/992.40 c INPROCESSING
955.77/992.40 c GARBAGE COLLECT
955.77/992.40 c rational objective 10
972.23/1008.91 c #Conflicts: 624000 | #Constraints: 81181
972.23/1008.91 c #Conflicts: 625000 | #Constraints: 82181
972.23/1008.91 c #Conflicts: 626000 | #Constraints: 83181
972.23/1008.91 c #Conflicts: 627000 | #Constraints: 84181
972.23/1008.91 c #Conflicts: 628000 | #Constraints: 85181
972.23/1008.91 c #Conflicts: 629000 | #Constraints: 86181
972.23/1008.91 c #Conflicts: 630000 | #Constraints: 87181
972.23/1008.91 c #Conflicts: 631000 | #Constraints: 88181
972.23/1008.91 c #Conflicts: 632000 | #Constraints: 89181
972.23/1008.91 c #Conflicts: 633000 | #Constraints: 90181
972.23/1008.91 c #Conflicts: 634000 | #Constraints: 91181
972.23/1008.91 c #Conflicts: 635000 | #Constraints: 92181
972.23/1008.91 c #Conflicts: 636000 | #Constraints: 93181
972.23/1008.91 c #Conflicts: 637000 | #Constraints: 94181
972.23/1008.91 c #Conflicts: 638000 | #Constraints: 95181
972.23/1008.91 c #Conflicts: 639000 | #Constraints: 96181
972.23/1008.91 c INPROCESSING
972.23/1008.91 c GARBAGE COLLECT
972.23/1008.91 c rational objective 10
991.47/1028.22 c #Conflicts: 640000 | #Constraints: 81407
991.47/1028.22 c #Conflicts: 641000 | #Constraints: 82407
991.47/1028.22 c #Conflicts: 642000 | #Constraints: 83407
991.47/1028.22 c #Conflicts: 643000 | #Constraints: 84407
991.47/1028.22 c #Conflicts: 644000 | #Constraints: 85407
991.47/1028.22 c #Conflicts: 645000 | #Constraints: 86407
991.47/1028.22 c #Conflicts: 646000 | #Constraints: 87407
991.47/1028.22 c #Conflicts: 647000 | #Constraints: 88407
991.47/1028.22 c #Conflicts: 648000 | #Constraints: 89407
991.47/1028.22 c #Conflicts: 649000 | #Constraints: 90407
991.47/1028.22 c #Conflicts: 650000 | #Constraints: 91407
991.47/1028.22 c #Conflicts: 651000 | #Constraints: 92407
991.47/1028.22 c #Conflicts: 652000 | #Constraints: 93407
991.47/1028.22 c #Conflicts: 653000 | #Constraints: 94407
991.47/1028.22 c #Conflicts: 654000 | #Constraints: 95407
991.47/1028.22 c #Conflicts: 655000 | #Constraints: 96407
991.47/1028.22 c INPROCESSING
991.47/1028.22 c GARBAGE COLLECT
991.47/1028.22 c rational objective 10
1006.04/1042.82 c #Conflicts: 656000 | #Constraints: 81396
1006.04/1042.82 c #Conflicts: 657000 | #Constraints: 82396
1006.04/1042.82 c #Conflicts: 658000 | #Constraints: 83396
1006.04/1042.82 c #Conflicts: 659000 | #Constraints: 84396
1006.04/1042.82 c #Conflicts: 660000 | #Constraints: 85396
1006.04/1042.82 c #Conflicts: 661000 | #Constraints: 86396
1006.04/1042.82 c #Conflicts: 662000 | #Constraints: 87396
1006.04/1042.82 c #Conflicts: 663000 | #Constraints: 88396
1006.04/1042.82 c #Conflicts: 664000 | #Constraints: 89396
1006.04/1042.82 c #Conflicts: 665000 | #Constraints: 90396
1006.04/1042.82 c #Conflicts: 666000 | #Constraints: 91396
1006.04/1042.82 c #Conflicts: 667000 | #Constraints: 92396
1006.04/1042.82 c #Conflicts: 668000 | #Constraints: 93396
1006.04/1042.82 c #Conflicts: 669000 | #Constraints: 94396
1006.04/1042.82 c #Conflicts: 670000 | #Constraints: 95396
1006.04/1042.82 c #Conflicts: 671000 | #Constraints: 96396
1006.04/1042.82 c INPROCESSING
1006.04/1042.82 c GARBAGE COLLECT
1006.04/1042.82 c rational objective 10
1022.69/1059.56 c #Conflicts: 672000 | #Constraints: 81185
1022.69/1059.56 c #Conflicts: 673000 | #Constraints: 82185
1022.69/1059.56 c #Conflicts: 674000 | #Constraints: 83185
1022.69/1059.56 c #Conflicts: 675000 | #Constraints: 84185
1022.69/1059.56 c #Conflicts: 676000 | #Constraints: 85185
1022.69/1059.56 c #Conflicts: 677000 | #Constraints: 86185
1022.69/1059.56 c #Conflicts: 678000 | #Constraints: 87185
1022.69/1059.56 c #Conflicts: 679000 | #Constraints: 88185
1022.69/1059.56 c #Conflicts: 680000 | #Constraints: 89185
1022.69/1059.56 c #Conflicts: 681000 | #Constraints: 90185
1022.69/1059.56 c #Conflicts: 682000 | #Constraints: 91185
1022.69/1059.56 c #Conflicts: 683000 | #Constraints: 92185
1022.69/1059.56 c #Conflicts: 684000 | #Constraints: 93185
1022.69/1059.56 c #Conflicts: 685000 | #Constraints: 94185
1022.69/1059.56 c #Conflicts: 686000 | #Constraints: 95185
1022.69/1059.56 c #Conflicts: 687000 | #Constraints: 96185
1022.69/1059.56 c #Conflicts: 688000 | #Constraints: 97185
1022.69/1059.56 c INPROCESSING
1022.69/1059.56 c GARBAGE COLLECT
1022.69/1059.56 c rational objective 10
1039.03/1075.99 c #Conflicts: 689000 | #Constraints: 81802
1039.03/1075.99 c #Conflicts: 690000 | #Constraints: 82802
1039.03/1075.99 c #Conflicts: 691000 | #Constraints: 83802
1039.03/1075.99 c #Conflicts: 692000 | #Constraints: 84802
1039.03/1075.99 c #Conflicts: 693000 | #Constraints: 85802
1039.03/1075.99 c #Conflicts: 694000 | #Constraints: 86802
1039.03/1075.99 c #Conflicts: 695000 | #Constraints: 87802
1039.03/1075.99 c #Conflicts: 696000 | #Constraints: 88802
1039.03/1075.99 c #Conflicts: 697000 | #Constraints: 89802
1039.03/1075.99 c #Conflicts: 698000 | #Constraints: 90802
1039.03/1075.99 c #Conflicts: 699000 | #Constraints: 91802
1039.03/1075.99 c #Conflicts: 700000 | #Constraints: 92802
1039.03/1075.99 c #Conflicts: 701000 | #Constraints: 93802
1039.03/1075.99 c #Conflicts: 702000 | #Constraints: 94802
1039.03/1075.99 c #Conflicts: 703000 | #Constraints: 95802
1039.03/1075.99 c #Conflicts: 704000 | #Constraints: 96802
1039.03/1075.99 c #Conflicts: 705000 | #Constraints: 97802
1039.03/1075.99 c INPROCESSING
1039.03/1075.99 c GARBAGE COLLECT
1039.03/1075.99 c rational objective 10
1055.49/1092.45 c #Conflicts: 706000 | #Constraints: 82172
1055.49/1092.45 c #Conflicts: 707000 | #Constraints: 83172
1055.49/1092.45 c #Conflicts: 708000 | #Constraints: 84172
1055.49/1092.45 c #Conflicts: 709000 | #Constraints: 85172
1055.49/1092.45 c #Conflicts: 710000 | #Constraints: 86172
1055.49/1092.45 c #Conflicts: 711000 | #Constraints: 87172
1055.49/1092.45 c #Conflicts: 712000 | #Constraints: 88172
1055.49/1092.45 c #Conflicts: 713000 | #Constraints: 89172
1055.49/1092.45 c #Conflicts: 714000 | #Constraints: 90172
1055.49/1092.45 c #Conflicts: 715000 | #Constraints: 91172
1055.49/1092.45 c #Conflicts: 716000 | #Constraints: 92172
1055.49/1092.45 c #Conflicts: 717000 | #Constraints: 93172
1055.49/1092.45 c #Conflicts: 718000 | #Constraints: 94172
1055.49/1092.45 c #Conflicts: 719000 | #Constraints: 95172
1055.49/1092.45 c #Conflicts: 720000 | #Constraints: 96172
1055.49/1092.45 c #Conflicts: 721000 | #Constraints: 97172
1055.49/1092.45 c #Conflicts: 722000 | #Constraints: 98172
1055.49/1092.45 c INPROCESSING
1055.49/1092.45 c GARBAGE COLLECT
1055.49/1092.45 c rational objective 10
1072.06/1109.09 c #Conflicts: 723000 | #Constraints: 82390
1072.06/1109.09 c #Conflicts: 724000 | #Constraints: 83390
1072.06/1109.09 c #Conflicts: 725000 | #Constraints: 84390
1072.06/1109.09 c #Conflicts: 726000 | #Constraints: 85390
1072.06/1109.09 c #Conflicts: 727000 | #Constraints: 86390
1072.06/1109.09 c #Conflicts: 728000 | #Constraints: 87390
1072.06/1109.09 c #Conflicts: 729000 | #Constraints: 88390
1072.06/1109.09 c #Conflicts: 730000 | #Constraints: 89390
1072.06/1109.09 c #Conflicts: 731000 | #Constraints: 90390
1072.06/1109.09 c #Conflicts: 732000 | #Constraints: 91390
1072.06/1109.09 c #Conflicts: 733000 | #Constraints: 92391
1072.06/1109.09 c #Conflicts: 734000 | #Constraints: 93391
1072.06/1109.09 c #Conflicts: 735000 | #Constraints: 94391
1072.06/1109.09 c #Conflicts: 736000 | #Constraints: 95391
1072.06/1109.09 c #Conflicts: 737000 | #Constraints: 96391
1072.06/1109.09 c #Conflicts: 738000 | #Constraints: 97391
1072.06/1109.09 c #Conflicts: 739000 | #Constraints: 98391
1072.06/1109.09 c INPROCESSING
1072.06/1109.09 c GARBAGE COLLECT
1072.06/1109.09 c rational objective 10
1114.82/1151.90 c #Conflicts: 740000 | #Constraints: 82391
1114.82/1151.90 c #Conflicts: 741000 | #Constraints: 83391
1114.82/1151.90 c #Conflicts: 742000 | #Constraints: 84391
1114.82/1151.90 c #Conflicts: 743000 | #Constraints: 85391
1114.82/1151.90 c #Conflicts: 744000 | #Constraints: 86391
1114.82/1151.90 c #Conflicts: 745000 | #Constraints: 87391
1114.82/1151.90 c #Conflicts: 746000 | #Constraints: 88391
1114.82/1151.90 c #Conflicts: 747000 | #Constraints: 89391
1114.82/1151.90 c #Conflicts: 748000 | #Constraints: 90391
1114.82/1151.90 c #Conflicts: 749000 | #Constraints: 91391
1114.82/1151.90 c #Conflicts: 750000 | #Constraints: 92391
1114.82/1151.90 c #Conflicts: 751000 | #Constraints: 93391
1114.82/1151.90 c #Conflicts: 752000 | #Constraints: 94391
1114.82/1151.90 c #Conflicts: 753000 | #Constraints: 95391
1114.82/1151.90 c #Conflicts: 754000 | #Constraints: 96391
1114.82/1151.90 c #Conflicts: 755000 | #Constraints: 97391
1114.82/1151.90 c #Conflicts: 756000 | #Constraints: 98391
1114.82/1151.90 c INPROCESSING
1114.82/1151.90 c GARBAGE COLLECT
1114.82/1151.90 c rational objective 10
1130.47/1167.64 c #Conflicts: 757000 | #Constraints: 82145
1130.47/1167.64 c #Conflicts: 758000 | #Constraints: 83145
1130.47/1167.64 c #Conflicts: 759000 | #Constraints: 84145
1130.47/1167.64 c #Conflicts: 760000 | #Constraints: 85145
1130.47/1167.64 c #Conflicts: 761000 | #Constraints: 86145
1130.47/1167.64 c #Conflicts: 762000 | #Constraints: 87145
1130.47/1167.64 c #Conflicts: 763000 | #Constraints: 88145
1130.47/1167.64 c #Conflicts: 764000 | #Constraints: 89145
1130.47/1167.64 c #Conflicts: 765000 | #Constraints: 90145
1130.47/1167.64 c #Conflicts: 766000 | #Constraints: 91145
1130.47/1167.64 c #Conflicts: 767000 | #Constraints: 92145
1130.47/1167.64 c #Conflicts: 768000 | #Constraints: 93145
1130.47/1167.64 c #Conflicts: 769000 | #Constraints: 94145
1130.47/1167.64 c #Conflicts: 770000 | #Constraints: 95145
1130.47/1167.64 c #Conflicts: 771000 | #Constraints: 96145
1130.47/1167.64 c #Conflicts: 772000 | #Constraints: 97145
1130.47/1167.64 c #Conflicts: 773000 | #Constraints: 98145
1130.47/1167.64 c #Conflicts: 774000 | #Constraints: 99146
1130.47/1167.64 c INPROCESSING
1130.47/1167.64 c GARBAGE COLLECT
1130.47/1167.64 c rational objective 10
1143.15/1180.34 c #Conflicts: 775000 | #Constraints: 82810
1143.15/1180.34 c #Conflicts: 776000 | #Constraints: 83810
1143.15/1180.34 c #Conflicts: 777000 | #Constraints: 84810
1143.15/1180.34 c #Conflicts: 778000 | #Constraints: 85810
1143.15/1180.34 c #Conflicts: 779000 | #Constraints: 86810
1143.15/1180.34 c #Conflicts: 780000 | #Constraints: 87810
1143.15/1180.34 c #Conflicts: 781000 | #Constraints: 88810
1143.15/1180.34 c #Conflicts: 782000 | #Constraints: 89810
1143.15/1180.34 c #Conflicts: 783000 | #Constraints: 90810
1143.15/1180.34 c #Conflicts: 784000 | #Constraints: 91810
1143.15/1180.34 c #Conflicts: 785000 | #Constraints: 92812
1143.15/1180.34 c #Conflicts: 786000 | #Constraints: 93812
1143.15/1180.34 c #Conflicts: 787000 | #Constraints: 94812
1143.15/1180.34 c #Conflicts: 788000 | #Constraints: 95812
1143.15/1180.34 c #Conflicts: 789000 | #Constraints: 96812
1143.15/1180.34 c #Conflicts: 790000 | #Constraints: 97812
1143.15/1180.34 c #Conflicts: 791000 | #Constraints: 98812
1143.15/1180.34 c #Conflicts: 792000 | #Constraints: 99812
1143.15/1180.34 c INPROCESSING
1143.15/1180.34 c GARBAGE COLLECT
1143.15/1180.34 c rational objective 10
1168.37/1205.61 c #Conflicts: 793000 | #Constraints: 83243
1168.37/1205.61 c #Conflicts: 794000 | #Constraints: 84243
1168.37/1205.61 c #Conflicts: 795000 | #Constraints: 85243
1168.37/1205.61 c #Conflicts: 796000 | #Constraints: 86243
1168.37/1205.61 c #Conflicts: 797000 | #Constraints: 87243
1168.37/1205.61 c #Conflicts: 798000 | #Constraints: 88243
1168.37/1205.61 c #Conflicts: 799000 | #Constraints: 89243
1168.37/1205.61 c #Conflicts: 800000 | #Constraints: 90243
1168.37/1205.61 c #Conflicts: 801000 | #Constraints: 91243
1168.37/1205.61 c #Conflicts: 802000 | #Constraints: 92243
1168.37/1205.61 c #Conflicts: 803000 | #Constraints: 93243
1168.37/1205.61 c #Conflicts: 804000 | #Constraints: 94243
1168.37/1205.61 c #Conflicts: 805000 | #Constraints: 95243
1168.37/1205.61 c #Conflicts: 806000 | #Constraints: 96243
1168.37/1205.61 c #Conflicts: 807000 | #Constraints: 97243
1168.37/1205.61 c #Conflicts: 808000 | #Constraints: 98243
1168.37/1205.61 c #Conflicts: 809000 | #Constraints: 99243
1168.37/1205.61 c #Conflicts: 810000 | #Constraints: 100243
1168.37/1205.61 c INPROCESSING
1168.37/1205.61 c GARBAGE COLLECT
1168.37/1205.61 c #Conflicts: 811000 | #Constraints: 83424
1168.37/1205.61 c #Conflicts: 812000 | #Constraints: 84424
1168.37/1205.61 c #Conflicts: 813000 | #Constraints: 85424
1168.37/1205.61 c #Conflicts: 814000 | #Constraints: 86424
1168.37/1205.61 c #Conflicts: 815000 | #Constraints: 87424
1168.37/1205.61 c #Conflicts: 816000 | #Constraints: 88424
1168.37/1205.61 c #Conflicts: 817000 | #Constraints: 89424
1168.37/1205.61 c #Conflicts: 818000 | #Constraints: 90424
1168.37/1205.61 c #Conflicts: 819000 | #Constraints: 91424
1168.37/1205.61 c #Conflicts: 820000 | #Constraints: 92424
1168.37/1205.61 c #Conflicts: 821000 | #Constraints: 93424
1168.37/1205.61 c #Conflicts: 822000 | #Constraints: 94424
1168.37/1205.61 c #Conflicts: 823000 | #Constraints: 95424
1168.37/1205.61 c #Conflicts: 824000 | #Constraints: 96424
1168.37/1205.61 c #Conflicts: 825000 | #Constraints: 97424
1168.37/1205.61 c #Conflicts: 826000 | #Constraints: 98424
1168.37/1205.61 c #Conflicts: 827000 | #Constraints: 99425
1168.37/1205.61 c #Conflicts: 828000 | #Constraints: 100425
1168.37/1205.61 c INPROCESSING
1168.37/1205.61 c GARBAGE COLLECT
1168.37/1205.61 c rational objective 10
1184.93/1222.24 c #Conflicts: 829000 | #Constraints: 83452
1184.93/1222.24 c #Conflicts: 830000 | #Constraints: 84452
1184.93/1222.24 c #Conflicts: 831000 | #Constraints: 85452
1184.93/1222.24 c #Conflicts: 832000 | #Constraints: 86452
1184.93/1222.24 c #Conflicts: 833000 | #Constraints: 87452
1184.93/1222.24 c #Conflicts: 834000 | #Constraints: 88452
1184.93/1222.24 c #Conflicts: 835000 | #Constraints: 89452
1184.93/1222.24 c #Conflicts: 836000 | #Constraints: 90452
1184.93/1222.24 c #Conflicts: 837000 | #Constraints: 91452
1184.93/1222.24 c #Conflicts: 838000 | #Constraints: 92452
1184.93/1222.24 c #Conflicts: 839000 | #Constraints: 93452
1184.93/1222.24 c #Conflicts: 840000 | #Constraints: 94452
1184.93/1222.24 c #Conflicts: 841000 | #Constraints: 95452
1184.93/1222.24 c #Conflicts: 842000 | #Constraints: 96452
1184.93/1222.24 c #Conflicts: 843000 | #Constraints: 97452
1184.93/1222.24 c #Conflicts: 844000 | #Constraints: 98452
1184.93/1222.24 c #Conflicts: 845000 | #Constraints: 99452
1184.93/1222.24 c #Conflicts: 846000 | #Constraints: 100452
1184.93/1222.24 c INPROCESSING
1184.93/1222.24 c GARBAGE COLLECT
1184.93/1222.24 c rational objective 10
1200.38/1237.72 c #Conflicts: 847000 | #Constraints: 83219
1200.38/1237.72 c #Conflicts: 848000 | #Constraints: 84220
1200.38/1237.72 c #Conflicts: 849000 | #Constraints: 85220
1200.38/1237.72 c #Conflicts: 850000 | #Constraints: 86220
1200.38/1237.72 c #Conflicts: 851000 | #Constraints: 87220
1200.38/1237.72 c #Conflicts: 852000 | #Constraints: 88220
1200.38/1237.72 c #Conflicts: 853000 | #Constraints: 89220
1200.38/1237.72 c #Conflicts: 854000 | #Constraints: 90220
1200.38/1237.72 c #Conflicts: 855000 | #Constraints: 91220
1200.38/1237.72 c #Conflicts: 856000 | #Constraints: 92220
1200.38/1237.72 c #Conflicts: 857000 | #Constraints: 93220
1200.38/1237.72 c #Conflicts: 858000 | #Constraints: 94220
1200.38/1237.72 c #Conflicts: 859000 | #Constraints: 95220
1200.38/1237.72 c #Conflicts: 860000 | #Constraints: 96221
1200.38/1237.72 c #Conflicts: 861000 | #Constraints: 97224
1200.38/1237.72 c #Conflicts: 862000 | #Constraints: 98226
1200.38/1237.72 c #Conflicts: 863000 | #Constraints: 99226
1200.38/1237.72 c #Conflicts: 864000 | #Constraints: 100226
1200.38/1237.72 c #Conflicts: 865000 | #Constraints: 101226
1200.38/1237.72 c INPROCESSING
1200.38/1237.72 c GARBAGE COLLECT
1200.38/1237.72 c rational objective 10
1215.44/1252.80 c #Conflicts: 866000 | #Constraints: 83850
1215.44/1252.80 c #Conflicts: 867000 | #Constraints: 84850
1215.44/1252.80 c #Conflicts: 868000 | #Constraints: 85850
1215.44/1252.80 c #Conflicts: 869000 | #Constraints: 86850
1215.44/1252.80 c #Conflicts: 870000 | #Constraints: 87850
1215.44/1252.80 c #Conflicts: 871000 | #Constraints: 88850
1215.44/1252.80 c #Conflicts: 872000 | #Constraints: 89851
1215.44/1252.80 c #Conflicts: 873000 | #Constraints: 90851
1215.44/1252.80 c #Conflicts: 874000 | #Constraints: 91851
1215.44/1252.80 c #Conflicts: 875000 | #Constraints: 92851
1215.44/1252.80 c #Conflicts: 876000 | #Constraints: 93851
1215.44/1252.80 c #Conflicts: 877000 | #Constraints: 94851
1215.44/1252.80 c #Conflicts: 878000 | #Constraints: 95851
1215.44/1252.80 c #Conflicts: 879000 | #Constraints: 96851
1215.44/1252.80 c #Conflicts: 880000 | #Constraints: 97851
1215.44/1252.80 c #Conflicts: 881000 | #Constraints: 98851
1215.44/1252.80 c #Conflicts: 882000 | #Constraints: 99851
1215.44/1252.80 c #Conflicts: 883000 | #Constraints: 100851
1215.44/1252.80 c #Conflicts: 884000 | #Constraints: 101851
1215.44/1252.80 c INPROCESSING
1215.44/1252.80 c GARBAGE COLLECT
1215.44/1252.80 c rational objective 10
1232.99/1270.47 c #Conflicts: 885000 | #Constraints: 84238
1232.99/1270.47 c #Conflicts: 886000 | #Constraints: 85238
1232.99/1270.47 c #Conflicts: 887000 | #Constraints: 86238
1232.99/1270.47 c #Conflicts: 888000 | #Constraints: 87238
1232.99/1270.47 c #Conflicts: 889000 | #Constraints: 88238
1232.99/1270.47 c #Conflicts: 890000 | #Constraints: 89238
1232.99/1270.47 c #Conflicts: 891000 | #Constraints: 90238
1232.99/1270.47 c #Conflicts: 892000 | #Constraints: 91238
1232.99/1270.47 c #Conflicts: 893000 | #Constraints: 92238
1232.99/1270.47 c #Conflicts: 894000 | #Constraints: 93238
1232.99/1270.47 c #Conflicts: 895000 | #Constraints: 94238
1232.99/1270.47 c #Conflicts: 896000 | #Constraints: 95238
1232.99/1270.47 c #Conflicts: 897000 | #Constraints: 96238
1232.99/1270.47 c #Conflicts: 898000 | #Constraints: 97238
1232.99/1270.47 c #Conflicts: 899000 | #Constraints: 98238
1232.99/1270.47 c #Conflicts: 900000 | #Constraints: 99238
1232.99/1270.47 c #Conflicts: 901000 | #Constraints: 100238
1232.99/1270.47 c #Conflicts: 902000 | #Constraints: 101238
1232.99/1270.47 c #Conflicts: 903000 | #Constraints: 102238
1232.99/1270.47 c INPROCESSING
1232.99/1270.47 c GARBAGE COLLECT
1232.99/1270.47 c rational objective 10
1252.05/1289.52 c #Conflicts: 904000 | #Constraints: 84431
1252.05/1289.52 c #Conflicts: 905000 | #Constraints: 85431
1252.05/1289.52 c #Conflicts: 906000 | #Constraints: 86431
1252.05/1289.52 c #Conflicts: 907000 | #Constraints: 87431
1252.05/1289.52 c #Conflicts: 908000 | #Constraints: 88431
1252.05/1289.52 c #Conflicts: 909000 | #Constraints: 89431
1252.05/1289.52 c #Conflicts: 910000 | #Constraints: 90431
1252.05/1289.52 c #Conflicts: 911000 | #Constraints: 91431
1252.05/1289.52 c #Conflicts: 912000 | #Constraints: 92431
1252.05/1289.52 c #Conflicts: 913000 | #Constraints: 93431
1252.05/1289.52 c #Conflicts: 914000 | #Constraints: 94431
1252.05/1289.52 c #Conflicts: 915000 | #Constraints: 95431
1252.05/1289.52 c #Conflicts: 916000 | #Constraints: 96431
1252.05/1289.52 c #Conflicts: 917000 | #Constraints: 97431
1252.05/1289.52 c #Conflicts: 918000 | #Constraints: 98431
1252.05/1289.52 c #Conflicts: 919000 | #Constraints: 99431
1252.05/1289.52 c #Conflicts: 920000 | #Constraints: 100431
1252.05/1289.52 c #Conflicts: 921000 | #Constraints: 101431
1252.05/1289.52 c #Conflicts: 922000 | #Constraints: 102431
1252.05/1289.52 c INPROCESSING
1252.05/1289.52 c GARBAGE COLLECT
1252.05/1289.52 c rational objective 10
1266.11/1303.68 c #Conflicts: 923000 | #Constraints: 84397
1266.11/1303.68 c #Conflicts: 924000 | #Constraints: 85397
1266.11/1303.68 c #Conflicts: 925000 | #Constraints: 86397
1266.11/1303.68 c #Conflicts: 926000 | #Constraints: 87397
1266.11/1303.68 c #Conflicts: 927000 | #Constraints: 88397
1266.11/1303.68 c #Conflicts: 928000 | #Constraints: 89397
1266.11/1303.68 c #Conflicts: 929000 | #Constraints: 90397
1266.11/1303.68 c #Conflicts: 930000 | #Constraints: 91397
1266.11/1303.68 c #Conflicts: 931000 | #Constraints: 92397
1266.11/1303.68 c #Conflicts: 932000 | #Constraints: 93397
1266.11/1303.68 c #Conflicts: 933000 | #Constraints: 94398
1266.11/1303.68 c #Conflicts: 934000 | #Constraints: 95398
1266.11/1303.68 c #Conflicts: 935000 | #Constraints: 96399
1266.11/1303.68 c #Conflicts: 936000 | #Constraints: 97400
1266.11/1303.68 c #Conflicts: 937000 | #Constraints: 98400
1266.11/1303.68 c #Conflicts: 938000 | #Constraints: 99400
1266.11/1303.68 c #Conflicts: 939000 | #Constraints: 100400
1266.11/1303.68 c #Conflicts: 940000 | #Constraints: 101400
1266.11/1303.68 c #Conflicts: 941000 | #Constraints: 102400
1266.11/1303.68 c INPROCESSING
1266.11/1303.68 c GARBAGE COLLECT
1266.11/1303.68 c rational objective 10
1288.74/1326.36 c #Conflicts: 942000 | #Constraints: 84229
1288.74/1326.36 c #Conflicts: 943000 | #Constraints: 85229
1288.74/1326.36 c #Conflicts: 944000 | #Constraints: 86229
1288.74/1326.36 c #Conflicts: 945000 | #Constraints: 87229
1288.74/1326.36 c #Conflicts: 946000 | #Constraints: 88229
1288.74/1326.36 c #Conflicts: 947000 | #Constraints: 89229
1288.74/1326.36 c #Conflicts: 948000 | #Constraints: 90229
1288.74/1326.36 c #Conflicts: 949000 | #Constraints: 91229
1288.74/1326.36 c #Conflicts: 950000 | #Constraints: 92229
1288.74/1326.36 c #Conflicts: 951000 | #Constraints: 93229
1288.74/1326.36 c #Conflicts: 952000 | #Constraints: 94229
1288.74/1326.36 c #Conflicts: 953000 | #Constraints: 95229
1288.74/1326.36 c #Conflicts: 954000 | #Constraints: 96229
1288.74/1326.36 c #Conflicts: 955000 | #Constraints: 97229
1288.74/1326.36 c #Conflicts: 956000 | #Constraints: 98229
1288.74/1326.36 c #Conflicts: 957000 | #Constraints: 99229
1288.74/1326.36 c #Conflicts: 958000 | #Constraints: 100229
1288.74/1326.36 c #Conflicts: 959000 | #Constraints: 101229
1288.74/1326.36 c #Conflicts: 960000 | #Constraints: 102229
1288.74/1326.36 c #Conflicts: 961000 | #Constraints: 103229
1288.74/1326.36 c INPROCESSING
1288.74/1326.36 c GARBAGE COLLECT
1288.74/1326.36 c rational objective 10
1323.94/1361.62 c #Conflicts: 962000 | #Constraints: 84799
1323.94/1361.62 c #Conflicts: 963000 | #Constraints: 85799
1323.94/1361.62 c #Conflicts: 964000 | #Constraints: 86799
1323.94/1361.62 c #Conflicts: 965000 | #Constraints: 87799
1323.94/1361.62 c #Conflicts: 966000 | #Constraints: 88799
1323.94/1361.62 c #Conflicts: 967000 | #Constraints: 89799
1323.94/1361.62 c #Conflicts: 968000 | #Constraints: 90799
1323.94/1361.62 c #Conflicts: 969000 | #Constraints: 91799
1323.94/1361.62 c #Conflicts: 970000 | #Constraints: 92799
1323.94/1361.62 c #Conflicts: 971000 | #Constraints: 93799
1323.94/1361.62 c #Conflicts: 972000 | #Constraints: 94799
1323.94/1361.62 c #Conflicts: 973000 | #Constraints: 95799
1323.94/1361.62 c #Conflicts: 974000 | #Constraints: 96799
1323.94/1361.62 c #Conflicts: 975000 | #Constraints: 97799
1323.94/1361.62 c #Conflicts: 976000 | #Constraints: 98799
1323.94/1361.62 c #Conflicts: 977000 | #Constraints: 99799
1323.94/1361.62 c #Conflicts: 978000 | #Constraints: 100799
1323.94/1361.62 c #Conflicts: 979000 | #Constraints: 101799
1323.94/1361.62 c #Conflicts: 980000 | #Constraints: 102799
1323.94/1361.62 c #Conflicts: 981000 | #Constraints: 103799
1323.94/1361.62 c INPROCESSING
1323.94/1361.62 c GARBAGE COLLECT
1323.94/1361.62 c rational objective 10
1345.29/1383.07 c #Conflicts: 982000 | #Constraints: 85169
1345.29/1383.07 c #Conflicts: 983000 | #Constraints: 86169
1345.29/1383.07 c #Conflicts: 984000 | #Constraints: 87169
1345.29/1383.07 c #Conflicts: 985000 | #Constraints: 88169
1345.29/1383.07 c #Conflicts: 986000 | #Constraints: 89169
1345.29/1383.07 c #Conflicts: 987000 | #Constraints: 90169
1345.29/1383.07 c #Conflicts: 988000 | #Constraints: 91169
1345.29/1383.07 c #Conflicts: 989000 | #Constraints: 92169
1345.29/1383.07 c #Conflicts: 990000 | #Constraints: 93169
1345.29/1383.07 c #Conflicts: 991000 | #Constraints: 94169
1345.29/1383.07 c #Conflicts: 992000 | #Constraints: 95169
1345.29/1383.07 c #Conflicts: 993000 | #Constraints: 96169
1345.29/1383.07 c #Conflicts: 994000 | #Constraints: 97170
1345.29/1383.07 c #Conflicts: 995000 | #Constraints: 98170
1345.29/1383.07 c #Conflicts: 996000 | #Constraints: 99171
1345.29/1383.07 c #Conflicts: 997000 | #Constraints: 100171
1345.29/1383.07 c #Conflicts: 998000 | #Constraints: 101172
1345.29/1383.07 c #Conflicts: 999000 | #Constraints: 102172
1345.29/1383.07 c #Conflicts: 1000000 | #Constraints: 103172
1345.29/1383.07 c #Conflicts: 1001000 | #Constraints: 104172
1345.29/1383.08 c INPROCESSING
1345.29/1383.08 c GARBAGE COLLECT
1345.29/1383.08 c rational objective 10
1367.02/1404.81 c #Conflicts: 1002000 | #Constraints: 85357
1367.02/1404.81 c #Conflicts: 1003000 | #Constraints: 86357
1367.02/1404.81 c #Conflicts: 1004000 | #Constraints: 87357
1367.02/1404.81 c #Conflicts: 1005000 | #Constraints: 88357
1367.02/1404.81 c #Conflicts: 1006000 | #Constraints: 89357
1367.02/1404.81 c #Conflicts: 1007000 | #Constraints: 90357
1367.02/1404.81 c #Conflicts: 1008000 | #Constraints: 91357
1367.02/1404.81 c #Conflicts: 1009000 | #Constraints: 92357
1367.02/1404.81 c #Conflicts: 1010000 | #Constraints: 93357
1367.02/1404.81 c #Conflicts: 1011000 | #Constraints: 94357
1367.02/1404.81 c #Conflicts: 1012000 | #Constraints: 95357
1367.02/1404.81 c #Conflicts: 1013000 | #Constraints: 96357
1367.02/1404.81 c #Conflicts: 1014000 | #Constraints: 97357
1367.02/1404.81 c #Conflicts: 1015000 | #Constraints: 98357
1367.02/1404.81 c #Conflicts: 1016000 | #Constraints: 99357
1367.02/1404.81 c #Conflicts: 1017000 | #Constraints: 100357
1367.02/1404.81 c #Conflicts: 1018000 | #Constraints: 101357
1367.02/1404.81 c #Conflicts: 1019000 | #Constraints: 102357
1367.02/1404.81 c #Conflicts: 1020000 | #Constraints: 103357
1367.02/1404.81 c #Conflicts: 1021000 | #Constraints: 104357
1367.02/1404.81 c INPROCESSING
1367.02/1404.81 c GARBAGE COLLECT
1367.02/1404.81 c rational objective 10
1391.75/1429.65 c #Conflicts: 1022000 | #Constraints: 85351
1391.75/1429.65 c #Conflicts: 1023000 | #Constraints: 86351
1391.75/1429.65 c #Conflicts: 1024000 | #Constraints: 87351
1391.75/1429.65 c #Conflicts: 1025000 | #Constraints: 88351
1391.75/1429.65 c #Conflicts: 1026000 | #Constraints: 89351
1391.75/1429.65 c #Conflicts: 1027000 | #Constraints: 90351
1391.75/1429.65 c #Conflicts: 1028000 | #Constraints: 91351
1391.75/1429.65 c #Conflicts: 1029000 | #Constraints: 92351
1391.75/1429.65 c #Conflicts: 1030000 | #Constraints: 93351
1391.75/1429.65 c #Conflicts: 1031000 | #Constraints: 94351
1391.75/1429.65 c #Conflicts: 1032000 | #Constraints: 95351
1391.75/1429.65 c #Conflicts: 1033000 | #Constraints: 96351
1391.75/1429.65 c #Conflicts: 1034000 | #Constraints: 97351
1391.75/1429.65 c #Conflicts: 1035000 | #Constraints: 98351
1391.75/1429.65 c #Conflicts: 1036000 | #Constraints: 99351
1391.75/1429.65 c #Conflicts: 1037000 | #Constraints: 100351
1391.75/1429.65 c #Conflicts: 1038000 | #Constraints: 101351
1391.75/1429.65 c #Conflicts: 1039000 | #Constraints: 102351
1391.75/1429.65 c #Conflicts: 1040000 | #Constraints: 103351
1391.75/1429.65 c #Conflicts: 1041000 | #Constraints: 104351
1391.75/1429.65 c INPROCESSING
1391.75/1429.65 c GARBAGE COLLECT
1391.75/1429.65 c rational objective 10
1419.37/1457.37 c #Conflicts: 1042000 | #Constraints: 85157
1419.37/1457.37 c #Conflicts: 1043000 | #Constraints: 86157
1419.37/1457.37 c #Conflicts: 1044000 | #Constraints: 87157
1419.37/1457.37 c #Conflicts: 1045000 | #Constraints: 88157
1419.37/1457.37 c #Conflicts: 1046000 | #Constraints: 89157
1419.37/1457.37 c #Conflicts: 1047000 | #Constraints: 90157
1419.37/1457.37 c #Conflicts: 1048000 | #Constraints: 91157
1419.37/1457.37 c #Conflicts: 1049000 | #Constraints: 92157
1419.37/1457.37 c #Conflicts: 1050000 | #Constraints: 93157
1419.37/1457.37 c #Conflicts: 1051000 | #Constraints: 94157
1419.37/1457.37 c #Conflicts: 1052000 | #Constraints: 95157
1419.37/1457.37 c #Conflicts: 1053000 | #Constraints: 96157
1419.37/1457.37 c #Conflicts: 1054000 | #Constraints: 97157
1419.37/1457.37 c #Conflicts: 1055000 | #Constraints: 98157
1419.37/1457.37 c #Conflicts: 1056000 | #Constraints: 99157
1419.37/1457.37 c #Conflicts: 1057000 | #Constraints: 100157
1419.37/1457.37 c #Conflicts: 1058000 | #Constraints: 101157
1419.37/1457.37 c #Conflicts: 1059000 | #Constraints: 102157
1419.37/1457.37 c #Conflicts: 1060000 | #Constraints: 103157
1419.37/1457.37 c #Conflicts: 1061000 | #Constraints: 104157
1419.37/1457.37 c #Conflicts: 1062000 | #Constraints: 105157
1419.37/1457.37 c INPROCESSING
1419.37/1457.37 c GARBAGE COLLECT
1419.37/1457.37 c rational objective 10
1439.60/1477.60 c #Conflicts: 1063000 | #Constraints: 85744
1439.60/1477.60 c #Conflicts: 1064000 | #Constraints: 86744
1439.60/1477.60 c #Conflicts: 1065000 | #Constraints: 87744
1439.60/1477.60 c #Conflicts: 1066000 | #Constraints: 88744
1439.60/1477.60 c #Conflicts: 1067000 | #Constraints: 89744
1439.60/1477.60 c #Conflicts: 1068000 | #Constraints: 90744
1439.60/1477.60 c #Conflicts: 1069000 | #Constraints: 91744
1439.60/1477.60 c #Conflicts: 1070000 | #Constraints: 92744
1439.60/1477.60 c #Conflicts: 1071000 | #Constraints: 93744
1439.60/1477.60 c #Conflicts: 1072000 | #Constraints: 94744
1439.60/1477.60 c #Conflicts: 1073000 | #Constraints: 95744
1439.60/1477.60 c #Conflicts: 1074000 | #Constraints: 96744
1439.60/1477.60 c #Conflicts: 1075000 | #Constraints: 97744
1439.60/1477.60 c #Conflicts: 1076000 | #Constraints: 98744
1439.60/1477.60 c #Conflicts: 1077000 | #Constraints: 99744
1439.60/1477.60 c #Conflicts: 1078000 | #Constraints: 100744
1439.60/1477.60 c #Conflicts: 1079000 | #Constraints: 101744
1439.60/1477.60 c #Conflicts: 1080000 | #Constraints: 102744
1439.60/1477.60 c #Conflicts: 1081000 | #Constraints: 103745
1439.60/1477.60 c #Conflicts: 1082000 | #Constraints: 104745
1439.60/1477.60 c #Conflicts: 1083000 | #Constraints: 105745
1439.60/1477.60 c INPROCESSING
1439.60/1477.60 c GARBAGE COLLECT
1439.60/1477.60 c rational objective 10
1461.13/1499.21 c #Conflicts: 1084000 | #Constraints: 86195
1461.13/1499.21 c #Conflicts: 1085000 | #Constraints: 87195
1461.13/1499.21 c #Conflicts: 1086000 | #Constraints: 88195
1461.13/1499.21 c #Conflicts: 1087000 | #Constraints: 89195
1461.13/1499.21 c #Conflicts: 1088000 | #Constraints: 90195
1461.13/1499.21 c #Conflicts: 1089000 | #Constraints: 91195
1461.13/1499.21 c #Conflicts: 1090000 | #Constraints: 92195
1461.13/1499.21 c #Conflicts: 1091000 | #Constraints: 93195
1461.13/1499.21 c #Conflicts: 1092000 | #Constraints: 94195
1461.13/1499.21 c #Conflicts: 1093000 | #Constraints: 95195
1461.13/1499.21 c #Conflicts: 1094000 | #Constraints: 96195
1461.13/1499.21 c #Conflicts: 1095000 | #Constraints: 97195
1461.13/1499.21 c #Conflicts: 1096000 | #Constraints: 98195
1461.13/1499.21 c #Conflicts: 1097000 | #Constraints: 99195
1461.13/1499.21 c #Conflicts: 1098000 | #Constraints: 100195
1461.13/1499.21 c #Conflicts: 1099000 | #Constraints: 101195
1461.13/1499.21 c #Conflicts: 1100000 | #Constraints: 102195
1461.13/1499.21 c #Conflicts: 1101000 | #Constraints: 103195
1461.13/1499.21 c #Conflicts: 1102000 | #Constraints: 104195
1461.13/1499.21 c #Conflicts: 1103000 | #Constraints: 105195
1461.13/1499.21 c #Conflicts: 1104000 | #Constraints: 106195
1461.13/1499.21 c INPROCESSING
1461.13/1499.21 c GARBAGE COLLECT
1461.13/1499.21 c rational objective 10
1479.57/1517.77 c #Conflicts: 1105000 | #Constraints: 86407
1479.57/1517.77 c #Conflicts: 1106000 | #Constraints: 87407
1479.57/1517.77 c #Conflicts: 1107000 | #Constraints: 88407
1479.57/1517.77 c #Conflicts: 1108000 | #Constraints: 89407
1479.57/1517.77 c #Conflicts: 1109000 | #Constraints: 90409
1479.57/1517.77 c #Conflicts: 1110000 | #Constraints: 91410
1479.57/1517.77 c #Conflicts: 1111000 | #Constraints: 92410
1479.57/1517.77 c #Conflicts: 1112000 | #Constraints: 93410
1479.57/1517.77 c #Conflicts: 1113000 | #Constraints: 94410
1479.57/1517.77 c #Conflicts: 1114000 | #Constraints: 95410
1479.57/1517.77 c #Conflicts: 1115000 | #Constraints: 96410
1479.57/1517.77 c #Conflicts: 1116000 | #Constraints: 97410
1479.57/1517.77 c #Conflicts: 1117000 | #Constraints: 98410
1479.57/1517.77 c #Conflicts: 1118000 | #Constraints: 99410
1479.57/1517.77 c #Conflicts: 1119000 | #Constraints: 100410
1479.57/1517.77 c #Conflicts: 1120000 | #Constraints: 101410
1479.57/1517.77 c #Conflicts: 1121000 | #Constraints: 102410
1479.57/1517.77 c #Conflicts: 1122000 | #Constraints: 103410
1479.57/1517.77 c #Conflicts: 1123000 | #Constraints: 104410
1479.57/1517.77 c #Conflicts: 1124000 | #Constraints: 105410
1479.57/1517.77 c #Conflicts: 1125000 | #Constraints: 106410
1479.57/1517.77 c INPROCESSING
1479.57/1517.77 c GARBAGE COLLECT
1479.57/1517.77 c rational objective 10
1523.83/1562.13 c #Conflicts: 1126000 | #Constraints: 86447
1523.83/1562.13 c #Conflicts: 1127000 | #Constraints: 87447
1523.83/1562.13 c #Conflicts: 1128000 | #Constraints: 88447
1523.83/1562.13 c #Conflicts: 1129000 | #Constraints: 89447
1523.83/1562.13 c #Conflicts: 1130000 | #Constraints: 90447
1523.83/1562.13 c #Conflicts: 1131000 | #Constraints: 91447
1523.83/1562.13 c #Conflicts: 1132000 | #Constraints: 92447
1523.83/1562.13 c #Conflicts: 1133000 | #Constraints: 93447
1523.83/1562.13 c #Conflicts: 1134000 | #Constraints: 94447
1523.83/1562.13 c #Conflicts: 1135000 | #Constraints: 95447
1523.83/1562.13 c #Conflicts: 1136000 | #Constraints: 96447
1523.83/1562.13 c #Conflicts: 1137000 | #Constraints: 97447
1523.83/1562.13 c #Conflicts: 1138000 | #Constraints: 98447
1523.83/1562.13 c #Conflicts: 1139000 | #Constraints: 99447
1523.83/1562.13 c #Conflicts: 1140000 | #Constraints: 100447
1523.83/1562.13 c #Conflicts: 1141000 | #Constraints: 101447
1523.83/1562.13 c #Conflicts: 1142000 | #Constraints: 102447
1523.83/1562.13 c #Conflicts: 1143000 | #Constraints: 103447
1523.83/1562.13 c #Conflicts: 1144000 | #Constraints: 104447
1523.83/1562.13 c #Conflicts: 1145000 | #Constraints: 105447
1523.83/1562.13 c #Conflicts: 1146000 | #Constraints: 106447
1523.83/1562.13 c INPROCESSING
1523.83/1562.13 c GARBAGE COLLECT
1523.83/1562.13 c rational objective 10
1553.14/1591.58 c #Conflicts: 1147000 | #Constraints: 86193
1553.14/1591.58 c #Conflicts: 1148000 | #Constraints: 87193
1553.14/1591.58 c #Conflicts: 1149000 | #Constraints: 88193
1553.14/1591.58 c #Conflicts: 1150000 | #Constraints: 89193
1553.14/1591.58 c #Conflicts: 1151000 | #Constraints: 90193
1553.14/1591.58 c #Conflicts: 1152000 | #Constraints: 91193
1553.14/1591.58 c #Conflicts: 1153000 | #Constraints: 92193
1553.14/1591.58 c #Conflicts: 1154000 | #Constraints: 93193
1553.14/1591.58 c #Conflicts: 1155000 | #Constraints: 94193
1553.14/1591.58 c #Conflicts: 1156000 | #Constraints: 95193
1553.14/1591.58 c #Conflicts: 1157000 | #Constraints: 96193
1553.14/1591.58 c #Conflicts: 1158000 | #Constraints: 97193
1553.14/1591.58 c #Conflicts: 1159000 | #Constraints: 98193
1553.14/1591.58 c #Conflicts: 1160000 | #Constraints: 99193
1553.14/1591.58 c #Conflicts: 1161000 | #Constraints: 100193
1553.14/1591.58 c #Conflicts: 1162000 | #Constraints: 101193
1553.14/1591.58 c #Conflicts: 1163000 | #Constraints: 102193
1553.14/1591.58 c #Conflicts: 1164000 | #Constraints: 103193
1553.14/1591.58 c #Conflicts: 1165000 | #Constraints: 104193
1553.14/1591.58 c #Conflicts: 1166000 | #Constraints: 105193
1553.14/1591.58 c #Conflicts: 1167000 | #Constraints: 106193
1553.14/1591.58 c #Conflicts: 1168000 | #Constraints: 107193
1553.14/1591.58 c INPROCESSING
1553.14/1591.58 c GARBAGE COLLECT
1553.14/1591.58 c rational objective 10
1569.71/1608.19 c #Conflicts: 1169000 | #Constraints: 86850
1569.71/1608.19 c #Conflicts: 1170000 | #Constraints: 87850
1569.71/1608.19 c #Conflicts: 1171000 | #Constraints: 88850
1569.71/1608.19 c #Conflicts: 1172000 | #Constraints: 89850
1569.71/1608.19 c #Conflicts: 1173000 | #Constraints: 90850
1569.71/1608.19 c #Conflicts: 1174000 | #Constraints: 91850
1569.71/1608.19 c #Conflicts: 1175000 | #Constraints: 92850
1569.71/1608.19 c #Conflicts: 1176000 | #Constraints: 93850
1569.71/1608.19 c #Conflicts: 1177000 | #Constraints: 94850
1569.71/1608.19 c #Conflicts: 1178000 | #Constraints: 95850
1569.71/1608.19 c #Conflicts: 1179000 | #Constraints: 96850
1569.71/1608.19 c #Conflicts: 1180000 | #Constraints: 97850
1569.71/1608.19 c #Conflicts: 1181000 | #Constraints: 98851
1569.71/1608.19 c #Conflicts: 1182000 | #Constraints: 99851
1569.71/1608.19 c #Conflicts: 1183000 | #Constraints: 100851
1569.71/1608.19 c #Conflicts: 1184000 | #Constraints: 101851
1569.71/1608.19 c #Conflicts: 1185000 | #Constraints: 102851
1569.71/1608.19 c #Conflicts: 1186000 | #Constraints: 103851
1569.71/1608.19 c #Conflicts: 1187000 | #Constraints: 104851
1569.71/1608.19 c #Conflicts: 1188000 | #Constraints: 105851
1569.71/1608.19 c #Conflicts: 1189000 | #Constraints: 106851
1569.71/1608.19 c #Conflicts: 1190000 | #Constraints: 107852
1569.71/1608.19 c INPROCESSING
1569.71/1608.19 c GARBAGE COLLECT
1569.71/1608.19 c rational objective 10
1587.45/1626.00 c #Conflicts: 1191000 | #Constraints: 87301
1587.45/1626.00 c #Conflicts: 1192000 | #Constraints: 88301
1587.45/1626.00 c #Conflicts: 1193000 | #Constraints: 89301
1587.45/1626.00 c #Conflicts: 1194000 | #Constraints: 90301
1587.45/1626.00 c #Conflicts: 1195000 | #Constraints: 91302
1587.45/1626.00 c #Conflicts: 1196000 | #Constraints: 92302
1587.45/1626.00 c #Conflicts: 1197000 | #Constraints: 93302
1587.45/1626.00 c #Conflicts: 1198000 | #Constraints: 94302
1587.45/1626.00 c #Conflicts: 1199000 | #Constraints: 95303
1587.45/1626.00 c #Conflicts: 1200000 | #Constraints: 96304
1587.45/1626.00 c #Conflicts: 1201000 | #Constraints: 97304
1587.45/1626.00 c #Conflicts: 1202000 | #Constraints: 98304
1587.45/1626.00 c #Conflicts: 1203000 | #Constraints: 99306
1587.45/1626.00 c #Conflicts: 1204000 | #Constraints: 100306
1587.45/1626.00 c #Conflicts: 1205000 | #Constraints: 101306
1587.45/1626.00 c #Conflicts: 1206000 | #Constraints: 102306
1587.45/1626.00 c #Conflicts: 1207000 | #Constraints: 103307
1587.45/1626.00 c #Conflicts: 1208000 | #Constraints: 104307
1587.45/1626.00 c #Conflicts: 1209000 | #Constraints: 105307
1587.45/1626.00 c #Conflicts: 1210000 | #Constraints: 106307
1587.45/1626.00 c #Conflicts: 1211000 | #Constraints: 107307
1587.45/1626.00 c #Conflicts: 1212000 | #Constraints: 108307
1587.45/1626.00 c INPROCESSING
1587.45/1626.00 c GARBAGE COLLECT
1587.45/1626.00 c rational objective 10
1621.25/1659.83 c #Conflicts: 1213000 | #Constraints: 87499
1621.25/1659.83 c #Conflicts: 1214000 | #Constraints: 88499
1621.25/1659.83 c #Conflicts: 1215000 | #Constraints: 89502
1621.25/1659.83 c #Conflicts: 1216000 | #Constraints: 90504
1621.25/1659.83 c #Conflicts: 1217000 | #Constraints: 91505
1621.25/1659.83 c #Conflicts: 1218000 | #Constraints: 92505
1621.25/1659.83 c #Conflicts: 1219000 | #Constraints: 93505
1621.25/1659.83 c #Conflicts: 1220000 | #Constraints: 94505
1621.25/1659.83 c #Conflicts: 1221000 | #Constraints: 95505
1621.25/1659.83 c #Conflicts: 1222000 | #Constraints: 96505
1621.25/1659.83 c #Conflicts: 1223000 | #Constraints: 97505
1621.25/1659.83 c #Conflicts: 1224000 | #Constraints: 98505
1621.25/1659.83 c #Conflicts: 1225000 | #Constraints: 99505
1621.25/1659.83 c #Conflicts: 1226000 | #Constraints: 100505
1621.25/1659.83 c #Conflicts: 1227000 | #Constraints: 101505
1621.25/1659.83 c #Conflicts: 1228000 | #Constraints: 102505
1621.25/1659.83 c #Conflicts: 1229000 | #Constraints: 103505
1621.25/1659.83 c #Conflicts: 1230000 | #Constraints: 104505
1621.25/1659.83 c #Conflicts: 1231000 | #Constraints: 105505
1621.25/1659.83 c #Conflicts: 1232000 | #Constraints: 106505
1621.25/1659.83 c #Conflicts: 1233000 | #Constraints: 107505
1621.25/1659.83 c #Conflicts: 1234000 | #Constraints: 108505
1621.25/1659.83 c INPROCESSING
1621.25/1659.83 c GARBAGE COLLECT
1621.25/1659.83 c rational objective 10
1636.80/1675.43 c #Conflicts: 1235000 | #Constraints: 87478
1636.80/1675.43 c #Conflicts: 1236000 | #Constraints: 88478
1636.80/1675.43 c #Conflicts: 1237000 | #Constraints: 89478
1636.80/1675.43 c #Conflicts: 1238000 | #Constraints: 90478
1636.80/1675.43 c #Conflicts: 1239000 | #Constraints: 91478
1636.80/1675.43 c #Conflicts: 1240000 | #Constraints: 92478
1636.80/1675.43 c #Conflicts: 1241000 | #Constraints: 93478
1636.80/1675.43 c #Conflicts: 1242000 | #Constraints: 94478
1636.80/1675.43 c #Conflicts: 1243000 | #Constraints: 95478
1636.80/1675.43 c #Conflicts: 1244000 | #Constraints: 96478
1636.80/1675.43 c #Conflicts: 1245000 | #Constraints: 97478
1636.80/1675.43 c #Conflicts: 1246000 | #Constraints: 98478
1636.80/1675.43 c #Conflicts: 1247000 | #Constraints: 99478
1636.80/1675.43 c #Conflicts: 1248000 | #Constraints: 100478
1636.80/1675.43 c #Conflicts: 1249000 | #Constraints: 101478
1636.80/1675.43 c #Conflicts: 1250000 | #Constraints: 102478
1636.80/1675.43 c #Conflicts: 1251000 | #Constraints: 103478
1636.80/1675.43 c #Conflicts: 1252000 | #Constraints: 104478
1636.80/1675.43 c #Conflicts: 1253000 | #Constraints: 105478
1636.80/1675.43 c #Conflicts: 1254000 | #Constraints: 106478
1636.80/1675.43 c #Conflicts: 1255000 | #Constraints: 107478
1636.80/1675.43 c #Conflicts: 1256000 | #Constraints: 108478
1636.80/1675.43 c INPROCESSING
1636.80/1675.43 c GARBAGE COLLECT
1636.80/1675.43 c rational objective 10
1654.55/1693.22 c #Conflicts: 1257000 | #Constraints: 87304
1654.55/1693.22 c #Conflicts: 1258000 | #Constraints: 88304
1654.55/1693.22 c #Conflicts: 1259000 | #Constraints: 89304
1654.55/1693.22 c #Conflicts: 1260000 | #Constraints: 90304
1654.55/1693.22 c #Conflicts: 1261000 | #Constraints: 91304
1654.55/1693.22 c #Conflicts: 1262000 | #Constraints: 92304
1654.55/1693.22 c #Conflicts: 1263000 | #Constraints: 93304
1654.55/1693.22 c #Conflicts: 1264000 | #Constraints: 94304
1654.55/1693.22 c #Conflicts: 1265000 | #Constraints: 95304
1654.55/1693.22 c #Conflicts: 1266000 | #Constraints: 96304
1654.55/1693.22 c #Conflicts: 1267000 | #Constraints: 97304
1654.55/1693.22 c #Conflicts: 1268000 | #Constraints: 98304
1654.55/1693.22 c #Conflicts: 1269000 | #Constraints: 99304
1654.55/1693.22 c #Conflicts: 1270000 | #Constraints: 100304
1654.55/1693.22 c #Conflicts: 1271000 | #Constraints: 101304
1654.55/1693.22 c #Conflicts: 1272000 | #Constraints: 102306
1654.55/1693.22 c #Conflicts: 1273000 | #Constraints: 103307
1654.55/1693.22 c #Conflicts: 1274000 | #Constraints: 104307
1654.55/1693.22 c #Conflicts: 1275000 | #Constraints: 105309
1654.55/1693.22 c #Conflicts: 1276000 | #Constraints: 106309
1654.55/1693.22 c #Conflicts: 1277000 | #Constraints: 107309
1654.55/1693.22 c #Conflicts: 1278000 | #Constraints: 108309
1654.55/1693.22 c #Conflicts: 1279000 | #Constraints: 109309
1654.55/1693.22 c INPROCESSING
1654.55/1693.22 c GARBAGE COLLECT
1654.55/1693.22 c rational objective 10
1685.15/1723.97 c #Conflicts: 1280000 | #Constraints: 87926
1685.15/1723.97 c #Conflicts: 1281000 | #Constraints: 88926
1685.15/1723.97 c #Conflicts: 1282000 | #Constraints: 89926
1685.15/1723.97 c #Conflicts: 1283000 | #Constraints: 90926
1685.15/1723.97 c #Conflicts: 1284000 | #Constraints: 91926
1685.15/1723.97 c #Conflicts: 1285000 | #Constraints: 92926
1685.15/1723.97 c #Conflicts: 1286000 | #Constraints: 93926
1685.15/1723.97 c #Conflicts: 1287000 | #Constraints: 94926
1685.15/1723.97 c #Conflicts: 1288000 | #Constraints: 95926
1685.15/1723.97 c #Conflicts: 1289000 | #Constraints: 96926
1685.15/1723.97 c #Conflicts: 1290000 | #Constraints: 97926
1685.15/1723.97 c #Conflicts: 1291000 | #Constraints: 98926
1685.15/1723.97 c #Conflicts: 1292000 | #Constraints: 99926
1685.15/1723.97 c #Conflicts: 1293000 | #Constraints: 100926
1685.15/1723.97 c #Conflicts: 1294000 | #Constraints: 101926
1685.15/1723.97 c #Conflicts: 1295000 | #Constraints: 102927
1685.15/1723.97 c #Conflicts: 1296000 | #Constraints: 103927
1685.15/1723.97 c #Conflicts: 1297000 | #Constraints: 104927
1685.15/1723.97 c #Conflicts: 1298000 | #Constraints: 105927
1685.15/1723.97 c #Conflicts: 1299000 | #Constraints: 106927
1685.15/1723.97 c #Conflicts: 1300000 | #Constraints: 107927
1685.15/1723.97 c #Conflicts: 1301000 | #Constraints: 108927
1685.15/1723.97 c #Conflicts: 1302000 | #Constraints: 109927
1685.15/1723.97 c INPROCESSING
1685.15/1723.97 c GARBAGE COLLECT
1685.15/1723.97 c rational objective 10
1703.90/1742.72 c #Conflicts: 1303000 | #Constraints: 88296
1703.90/1742.72 c #Conflicts: 1304000 | #Constraints: 89296
1703.90/1742.72 c #Conflicts: 1305000 | #Constraints: 90296
1703.90/1742.72 c #Conflicts: 1306000 | #Constraints: 91296
1703.90/1742.72 c #Conflicts: 1307000 | #Constraints: 92296
1703.90/1742.72 c #Conflicts: 1308000 | #Constraints: 93296
1703.90/1742.72 c #Conflicts: 1309000 | #Constraints: 94296
1703.90/1742.72 c #Conflicts: 1310000 | #Constraints: 95296
1703.90/1742.72 c #Conflicts: 1311000 | #Constraints: 96296
1703.90/1742.72 c #Conflicts: 1312000 | #Constraints: 97296
1703.90/1742.72 c #Conflicts: 1313000 | #Constraints: 98296
1703.90/1742.72 c #Conflicts: 1314000 | #Constraints: 99296
1703.90/1742.72 c #Conflicts: 1315000 | #Constraints: 100296
1703.90/1742.72 c #Conflicts: 1316000 | #Constraints: 101296
1703.90/1742.72 c #Conflicts: 1317000 | #Constraints: 102296
1703.90/1742.72 c #Conflicts: 1318000 | #Constraints: 103296
1703.90/1742.72 c #Conflicts: 1319000 | #Constraints: 104297
1703.90/1742.72 c #Conflicts: 1320000 | #Constraints: 105297
1703.90/1742.72 c #Conflicts: 1321000 | #Constraints: 106297
1703.90/1742.72 c #Conflicts: 1322000 | #Constraints: 107297
1703.90/1742.72 c #Conflicts: 1323000 | #Constraints: 108297
1703.90/1742.72 c #Conflicts: 1324000 | #Constraints: 109299
1703.90/1742.72 c #Conflicts: 1325000 | #Constraints: 110300
1703.90/1742.72 c INPROCESSING
1703.90/1742.72 c GARBAGE COLLECT
1703.90/1742.72 c rational objective 10
1759.93/1798.96 c #Conflicts: 1326000 | #Constraints: 88539
1759.93/1798.96 c #Conflicts: 1327000 | #Constraints: 89539
1759.93/1798.96 c #Conflicts: 1328000 | #Constraints: 90539
1759.93/1798.96 c #Conflicts: 1329000 | #Constraints: 91539
1759.93/1798.96 c #Conflicts: 1330000 | #Constraints: 92539
1759.93/1798.96 c #Conflicts: 1331000 | #Constraints: 93540
1759.93/1798.96 c #Conflicts: 1332000 | #Constraints: 94540
1759.93/1798.96 c #Conflicts: 1333000 | #Constraints: 95540
1759.93/1798.96 c #Conflicts: 1334000 | #Constraints: 96540
1759.93/1798.96 c #Conflicts: 1335000 | #Constraints: 97540
1759.93/1798.96 c #Conflicts: 1336000 | #Constraints: 98540
1759.93/1798.96 c #Conflicts: 1337000 | #Constraints: 99540
1759.93/1798.96 c #Conflicts: 1338000 | #Constraints: 100540
1759.93/1798.96 c #Conflicts: 1339000 | #Constraints: 101645
1759.93/1798.96 c #Conflicts: 1340000 | #Constraints: 103187
1759.93/1798.96 c #Conflicts: 1341000 | #Constraints: 104704
1759.93/1798.96 c #Conflicts: 1342000 | #Constraints: 106222
1759.93/1798.96 c #Conflicts: 1343000 | #Constraints: 107751
1759.93/1798.96 c #Conflicts: 1344000 | #Constraints: 109285
1759.93/1798.96 c #Conflicts: 1345000 | #Constraints: 110818
1759.93/1798.96 c #Conflicts: 1346000 | #Constraints: 112357
1759.93/1798.96 c #Conflicts: 1347000 | #Constraints: 113864
1759.93/1798.96 c #Conflicts: 1348000 | #Constraints: 115372
1759.93/1798.96 c INPROCESSING
1759.93/1798.96 c GARBAGE COLLECT
1759.93/1798.96 c rational objective 10
2081.87/2121.81 c #Conflicts: 1349000 | #Constraints: 91000
2081.87/2121.81 c #Conflicts: 1350000 | #Constraints: 92000
2081.87/2121.81 c #Conflicts: 1351000 | #Constraints: 93000
2081.87/2121.81 c #Conflicts: 1352000 | #Constraints: 94000
2081.87/2121.81 c #Conflicts: 1353000 | #Constraints: 95000
2081.87/2121.81 c #Conflicts: 1354000 | #Constraints: 96000
2081.87/2121.81 c #Conflicts: 1355000 | #Constraints: 97000
2081.87/2121.81 c #Conflicts: 1356000 | #Constraints: 98000
2081.87/2121.81 c #Conflicts: 1357000 | #Constraints: 99000
2081.87/2121.81 c #Conflicts: 1358000 | #Constraints: 100000
2081.87/2121.81 c #Conflicts: 1359000 | #Constraints: 101000
2081.87/2121.81 c #Conflicts: 1360000 | #Constraints: 102000
2081.87/2121.81 c #Conflicts: 1361000 | #Constraints: 103000
2081.87/2121.81 c #Conflicts: 1362000 | #Constraints: 104000
2081.87/2121.81 c #Conflicts: 1363000 | #Constraints: 105000
2081.87/2121.81 c #Conflicts: 1364000 | #Constraints: 106000
2081.87/2121.81 c #Conflicts: 1365000 | #Constraints: 107000
2081.87/2121.81 c #Conflicts: 1366000 | #Constraints: 108000
2081.87/2121.81 c #Conflicts: 1367000 | #Constraints: 109000
2081.87/2121.81 c #Conflicts: 1368000 | #Constraints: 110000
2081.87/2121.81 c #Conflicts: 1369000 | #Constraints: 111000
2081.87/2121.81 c #Conflicts: 1370000 | #Constraints: 112000
2081.87/2121.81 c #Conflicts: 1371000 | #Constraints: 113000
2081.87/2121.81 c INPROCESSING
2081.87/2121.81 c GARBAGE COLLECT
2081.87/2121.81 c #Conflicts: 1372000 | #Constraints: 89528
2081.87/2121.81 c #Conflicts: 1373000 | #Constraints: 90528
2081.87/2121.81 c #Conflicts: 1374000 | #Constraints: 91528
2081.87/2121.81 c #Conflicts: 1375000 | #Constraints: 92528
2081.87/2121.81 c #Conflicts: 1376000 | #Constraints: 93528
2081.87/2121.81 c #Conflicts: 1377000 | #Constraints: 94528
2081.87/2121.81 c #Conflicts: 1378000 | #Constraints: 95528
2081.87/2121.81 c #Conflicts: 1379000 | #Constraints: 96528
2081.87/2121.81 c #Conflicts: 1380000 | #Constraints: 97528
2081.87/2121.81 c #Conflicts: 1381000 | #Constraints: 98528
2081.87/2121.81 c #Conflicts: 1382000 | #Constraints: 99528
2081.87/2121.81 c #Conflicts: 1383000 | #Constraints: 100528
2081.87/2121.81 c #Conflicts: 1384000 | #Constraints: 101528
2081.87/2121.81 c #Conflicts: 1385000 | #Constraints: 102528
2081.87/2121.81 c #Conflicts: 1386000 | #Constraints: 103528
2081.87/2121.81 c #Conflicts: 1387000 | #Constraints: 104528
2081.87/2121.81 c #Conflicts: 1388000 | #Constraints: 105528
2081.87/2121.81 c #Conflicts: 1389000 | #Constraints: 106528
2081.87/2121.81 c #Conflicts: 1390000 | #Constraints: 107528
2081.87/2121.81 c #Conflicts: 1391000 | #Constraints: 108528
2081.87/2121.81 c #Conflicts: 1392000 | #Constraints: 109528
2081.87/2121.81 c #Conflicts: 1393000 | #Constraints: 110528
2081.87/2121.81 c #Conflicts: 1394000 | #Constraints: 111528
2081.87/2121.81 c #Conflicts: 1395000 | #Constraints: 112528
2081.87/2121.81 c INPROCESSING
2081.87/2121.81 c GARBAGE COLLECT
2081.87/2121.81 c rational objective 10
2106.31/2146.38 c #Conflicts: 1396000 | #Constraints: 89549
2106.31/2146.38 c #Conflicts: 1397000 | #Constraints: 90549
2106.31/2146.38 c #Conflicts: 1398000 | #Constraints: 91549
2106.31/2146.38 c #Conflicts: 1399000 | #Constraints: 92549
2106.31/2146.38 c #Conflicts: 1400000 | #Constraints: 93549
2106.31/2146.38 c #Conflicts: 1401000 | #Constraints: 94549
2106.31/2146.38 c #Conflicts: 1402000 | #Constraints: 95549
2106.31/2146.38 c #Conflicts: 1403000 | #Constraints: 96549
2106.31/2146.38 c #Conflicts: 1404000 | #Constraints: 97549
2106.31/2146.38 c #Conflicts: 1405000 | #Constraints: 98549
2106.31/2146.38 c #Conflicts: 1406000 | #Constraints: 99549
2106.31/2146.38 c #Conflicts: 1407000 | #Constraints: 100549
2106.31/2146.38 c #Conflicts: 1408000 | #Constraints: 101549
2106.31/2146.38 c #Conflicts: 1409000 | #Constraints: 102549
2106.31/2146.38 c #Conflicts: 1410000 | #Constraints: 103549
2106.31/2146.38 c #Conflicts: 1411000 | #Constraints: 104549
2106.31/2146.38 c #Conflicts: 1412000 | #Constraints: 105549
2106.31/2146.38 c #Conflicts: 1413000 | #Constraints: 106549
2106.31/2146.38 c #Conflicts: 1414000 | #Constraints: 107549
2106.31/2146.38 c #Conflicts: 1415000 | #Constraints: 108549
2106.31/2146.38 c #Conflicts: 1416000 | #Constraints: 109549
2106.31/2146.38 c #Conflicts: 1417000 | #Constraints: 110549
2106.31/2146.38 c #Conflicts: 1418000 | #Constraints: 111549
2106.31/2146.38 c #Conflicts: 1419000 | #Constraints: 112549
2106.31/2146.38 c INPROCESSING
2106.31/2146.38 c GARBAGE COLLECT
2106.31/2146.38 c rational objective 10
2127.15/2167.21 c #Conflicts: 1420000 | #Constraints: 89657
2127.15/2167.21 c #Conflicts: 1421000 | #Constraints: 90657
2127.15/2167.21 c #Conflicts: 1422000 | #Constraints: 91657
2127.15/2167.21 c #Conflicts: 1423000 | #Constraints: 92657
2127.15/2167.21 c #Conflicts: 1424000 | #Constraints: 93657
2127.15/2167.21 c #Conflicts: 1425000 | #Constraints: 94657
2127.15/2167.21 c #Conflicts: 1426000 | #Constraints: 95657
2127.15/2167.21 c #Conflicts: 1427000 | #Constraints: 96657
2127.15/2167.21 c #Conflicts: 1428000 | #Constraints: 97657
2127.15/2167.21 c #Conflicts: 1429000 | #Constraints: 98657
2127.15/2167.21 c #Conflicts: 1430000 | #Constraints: 99657
2127.15/2167.21 c #Conflicts: 1431000 | #Constraints: 100657
2127.15/2167.21 c #Conflicts: 1432000 | #Constraints: 101657
2127.15/2167.21 c #Conflicts: 1433000 | #Constraints: 102657
2127.15/2167.21 c #Conflicts: 1434000 | #Constraints: 103657
2127.15/2167.21 c #Conflicts: 1435000 | #Constraints: 104657
2127.15/2167.21 c #Conflicts: 1436000 | #Constraints: 105657
2127.15/2167.21 c #Conflicts: 1437000 | #Constraints: 106658
2127.15/2167.21 c #Conflicts: 1438000 | #Constraints: 107658
2127.15/2167.21 c #Conflicts: 1439000 | #Constraints: 108658
2127.15/2167.21 c #Conflicts: 1440000 | #Constraints: 109658
2127.15/2167.21 c #Conflicts: 1441000 | #Constraints: 110658
2127.15/2167.21 c #Conflicts: 1442000 | #Constraints: 111658
2127.15/2167.21 c #Conflicts: 1443000 | #Constraints: 112659
2127.15/2167.21 c INPROCESSING
2127.15/2167.21 c GARBAGE COLLECT
2127.15/2167.21 c rational objective 10
2529.86/2571.17 c #Conflicts: 1444000 | #Constraints: 89701
2529.86/2571.17 c #Conflicts: 1445000 | #Constraints: 90702
2529.86/2571.17 c #Conflicts: 1446000 | #Constraints: 91702
2529.86/2571.17 c #Conflicts: 1447000 | #Constraints: 92702
2529.86/2571.17 c #Conflicts: 1448000 | #Constraints: 93702
2529.86/2571.17 c #Conflicts: 1449000 | #Constraints: 94702
2529.86/2571.17 c #Conflicts: 1450000 | #Constraints: 95702
2529.86/2571.17 c #Conflicts: 1451000 | #Constraints: 96702
2529.86/2571.17 c #Conflicts: 1452000 | #Constraints: 97790
2529.86/2571.17 c #Conflicts: 1453000 | #Constraints: 99299
2529.86/2571.17 c #Conflicts: 1454000 | #Constraints: 100810
2529.86/2571.17 c #Conflicts: 1455000 | #Constraints: 102345
2529.86/2571.17 c #Conflicts: 1456000 | #Constraints: 103859
2529.86/2571.17 c #Conflicts: 1457000 | #Constraints: 105372
2529.86/2571.17 c #Conflicts: 1458000 | #Constraints: 106897
2529.86/2571.17 c #Conflicts: 1459000 | #Constraints: 108412
2529.86/2571.17 c #Conflicts: 1460000 | #Constraints: 109916
2529.86/2571.17 c #Conflicts: 1461000 | #Constraints: 111418
2529.86/2571.17 c #Conflicts: 1462000 | #Constraints: 112721
2529.86/2571.17 c #Conflicts: 1463000 | #Constraints: 113816
2529.86/2571.17 c #Conflicts: 1464000 | #Constraints: 114827
2529.86/2571.17 c #Conflicts: 1465000 | #Constraints: 115900
2529.86/2571.17 c #Conflicts: 1466000 | #Constraints: 116900
2529.86/2571.17 c #Conflicts: 1467000 | #Constraints: 117900
2529.86/2571.17 c INPROCESSING
2529.86/2571.17 c GARBAGE COLLECT
2529.86/2571.17 c #Conflicts: 1468000 | #Constraints: 92207
2529.86/2571.17 c #Conflicts: 1469000 | #Constraints: 93207
2529.86/2571.17 c #Conflicts: 1470000 | #Constraints: 94207
2529.86/2571.17 c #Conflicts: 1471000 | #Constraints: 95207
2529.86/2571.17 c #Conflicts: 1472000 | #Constraints: 96207
2529.86/2571.17 c #Conflicts: 1473000 | #Constraints: 97208
2529.86/2571.17 c #Conflicts: 1474000 | #Constraints: 98208
2529.86/2571.17 c #Conflicts: 1475000 | #Constraints: 99208
2529.86/2571.17 c #Conflicts: 1476000 | #Constraints: 100208
2529.86/2571.17 c #Conflicts: 1477000 | #Constraints: 101208
2529.86/2571.17 c #Conflicts: 1478000 | #Constraints: 102208
2529.86/2571.17 c #Conflicts: 1479000 | #Constraints: 103208
2529.86/2571.17 c #Conflicts: 1480000 | #Constraints: 104208
2529.86/2571.17 c #Conflicts: 1481000 | #Constraints: 105209
2529.86/2571.17 c #Conflicts: 1482000 | #Constraints: 106209
2529.86/2571.17 c #Conflicts: 1483000 | #Constraints: 107223
2529.86/2571.17 c #Conflicts: 1484000 | #Constraints: 108470
2529.86/2571.17 c #Conflicts: 1485000 | #Constraints: 109470
2529.86/2571.17 c #Conflicts: 1486000 | #Constraints: 110470
2529.86/2571.17 c #Conflicts: 1487000 | #Constraints: 111470
2529.86/2571.17 c #Conflicts: 1488000 | #Constraints: 112470
2529.86/2571.17 c #Conflicts: 1489000 | #Constraints: 113470
2529.86/2571.17 c #Conflicts: 1490000 | #Constraints: 114470
2529.86/2571.17 c #Conflicts: 1491000 | #Constraints: 115470
2529.86/2571.17 c INPROCESSING
2529.86/2571.17 c GARBAGE COLLECT
2529.86/2571.17 c #Conflicts: 1492000 | #Constraints: 90786
2529.86/2571.17 c #Conflicts: 1493000 | #Constraints: 91786
2529.86/2571.17 c #Conflicts: 1494000 | #Constraints: 92787
2529.86/2571.17 c #Conflicts: 1495000 | #Constraints: 93787
2529.86/2571.17 c #Conflicts: 1496000 | #Constraints: 94787
2529.86/2571.17 c #Conflicts: 1497000 | #Constraints: 95787
2529.86/2571.17 c #Conflicts: 1498000 | #Constraints: 96787
2529.86/2571.17 c #Conflicts: 1499000 | #Constraints: 97787
2529.86/2571.17 c #Conflicts: 1500000 | #Constraints: 98787
2529.86/2571.17 c #Conflicts: 1501000 | #Constraints: 99787
2529.86/2571.17 c #Conflicts: 1502000 | #Constraints: 100788
2529.86/2571.17 c #Conflicts: 1503000 | #Constraints: 101788
2529.86/2571.17 c #Conflicts: 1504000 | #Constraints: 102788
2529.86/2571.17 c #Conflicts: 1505000 | #Constraints: 104047
2529.86/2571.17 c #Conflicts: 1506000 | #Constraints: 105128
2529.86/2571.17 c #Conflicts: 1507000 | #Constraints: 106233
2529.86/2571.17 c #Conflicts: 1508000 | #Constraints: 107233
2529.86/2571.17 c #Conflicts: 1509000 | #Constraints: 108233
2529.86/2571.17 c #Conflicts: 1510000 | #Constraints: 109233
2529.86/2571.17 c #Conflicts: 1511000 | #Constraints: 110233
2529.86/2571.17 c #Conflicts: 1512000 | #Constraints: 111233
2529.86/2571.17 c #Conflicts: 1513000 | #Constraints: 112233
2529.86/2571.17 c #Conflicts: 1514000 | #Constraints: 113233
2529.86/2571.17 c #Conflicts: 1515000 | #Constraints: 114233
2529.86/2571.17 c #Conflicts: 1516000 | #Constraints: 115233
2529.86/2571.17 c INPROCESSING
2529.86/2571.17 c GARBAGE COLLECT
2529.86/2571.17 c rational objective 10
2574.28/2615.73 c #Conflicts: 1517000 | #Constraints: 90896
2574.28/2615.73 c #Conflicts: 1518000 | #Constraints: 91896
2574.28/2615.73 c #Conflicts: 1519000 | #Constraints: 92896
2574.28/2615.73 c #Conflicts: 1520000 | #Constraints: 93896
2574.28/2615.73 c #Conflicts: 1521000 | #Constraints: 94896
2574.28/2615.73 c #Conflicts: 1522000 | #Constraints: 95896
2574.28/2615.73 c #Conflicts: 1523000 | #Constraints: 96896
2574.28/2615.73 c #Conflicts: 1524000 | #Constraints: 97896
2574.28/2615.73 c #Conflicts: 1525000 | #Constraints: 98896
2574.28/2615.73 c #Conflicts: 1526000 | #Constraints: 99896
2574.28/2615.73 c #Conflicts: 1527000 | #Constraints: 100896
2574.28/2615.73 c #Conflicts: 1528000 | #Constraints: 101896
2574.28/2615.73 c #Conflicts: 1529000 | #Constraints: 102896
2574.28/2615.73 c #Conflicts: 1530000 | #Constraints: 103896
2574.28/2615.73 c #Conflicts: 1531000 | #Constraints: 104896
2574.28/2615.73 c #Conflicts: 1532000 | #Constraints: 105896
2574.28/2615.73 c #Conflicts: 1533000 | #Constraints: 106896
2574.28/2615.73 c #Conflicts: 1534000 | #Constraints: 107896
2574.28/2615.73 c #Conflicts: 1535000 | #Constraints: 108896
2574.28/2615.73 c #Conflicts: 1536000 | #Constraints: 109896
2574.28/2615.73 c #Conflicts: 1537000 | #Constraints: 110896
2574.28/2615.73 c #Conflicts: 1538000 | #Constraints: 111896
2574.28/2615.73 c #Conflicts: 1539000 | #Constraints: 112896
2574.28/2615.73 c #Conflicts: 1540000 | #Constraints: 113896
2574.28/2615.73 c #Conflicts: 1541000 | #Constraints: 114896
2574.28/2615.73 c INPROCESSING
2574.28/2615.73 c GARBAGE COLLECT
2574.28/2615.73 c rational objective 10
2600.11/2641.69 c #Conflicts: 1542000 | #Constraints: 90797
2600.11/2641.69 c #Conflicts: 1543000 | #Constraints: 91797
2600.11/2641.69 c #Conflicts: 1544000 | #Constraints: 92797
2600.11/2641.69 c #Conflicts: 1545000 | #Constraints: 93797
2600.11/2641.69 c #Conflicts: 1546000 | #Constraints: 94797
2600.11/2641.69 c #Conflicts: 1547000 | #Constraints: 95797
2600.11/2641.69 c #Conflicts: 1548000 | #Constraints: 96797
2600.11/2641.69 c #Conflicts: 1549000 | #Constraints: 97797
2600.11/2641.69 c #Conflicts: 1550000 | #Constraints: 98797
2600.11/2641.69 c #Conflicts: 1551000 | #Constraints: 99797
2600.11/2641.69 c #Conflicts: 1552000 | #Constraints: 100797
2600.11/2641.69 c #Conflicts: 1553000 | #Constraints: 101797
2600.11/2641.69 c #Conflicts: 1554000 | #Constraints: 102798
2600.11/2641.69 c #Conflicts: 1555000 | #Constraints: 103798
2600.11/2641.69 c #Conflicts: 1556000 | #Constraints: 104798
2600.11/2641.69 c #Conflicts: 1557000 | #Constraints: 105798
2600.11/2641.69 c #Conflicts: 1558000 | #Constraints: 106798
2600.11/2641.69 c #Conflicts: 1559000 | #Constraints: 107798
2600.11/2641.69 c #Conflicts: 1560000 | #Constraints: 108798
2600.11/2641.69 c #Conflicts: 1561000 | #Constraints: 109798
2600.11/2641.69 c #Conflicts: 1562000 | #Constraints: 110798
2600.11/2641.69 c #Conflicts: 1563000 | #Constraints: 111798
2600.11/2641.69 c #Conflicts: 1564000 | #Constraints: 112798
2600.11/2641.69 c #Conflicts: 1565000 | #Constraints: 113798
2600.11/2641.69 c #Conflicts: 1566000 | #Constraints: 114798
2600.11/2641.69 c INPROCESSING
2600.11/2641.69 c GARBAGE COLLECT
2600.11/2641.69 c rational objective 10
2623.74/2665.39 c #Conflicts: 1567000 | #Constraints: 90791
2623.74/2665.39 c #Conflicts: 1568000 | #Constraints: 91791
2623.74/2665.39 c #Conflicts: 1569000 | #Constraints: 92791
2623.74/2665.39 c #Conflicts: 1570000 | #Constraints: 93791
2623.74/2665.39 c #Conflicts: 1571000 | #Constraints: 94791
2623.74/2665.39 c #Conflicts: 1572000 | #Constraints: 95791
2623.74/2665.39 c #Conflicts: 1573000 | #Constraints: 96791
2623.74/2665.39 c #Conflicts: 1574000 | #Constraints: 97791
2623.74/2665.39 c #Conflicts: 1575000 | #Constraints: 98791
2623.74/2665.39 c #Conflicts: 1576000 | #Constraints: 99792
2623.74/2665.39 c #Conflicts: 1577000 | #Constraints: 100792
2623.74/2665.39 c #Conflicts: 1578000 | #Constraints: 101792
2623.74/2665.39 c #Conflicts: 1579000 | #Constraints: 102793
2623.74/2665.39 c #Conflicts: 1580000 | #Constraints: 103793
2623.74/2665.39 c #Conflicts: 1581000 | #Constraints: 104793
2623.74/2665.39 c #Conflicts: 1582000 | #Constraints: 105793
2623.74/2665.39 c #Conflicts: 1583000 | #Constraints: 106793
2623.74/2665.39 c #Conflicts: 1584000 | #Constraints: 107793
2623.74/2665.39 c #Conflicts: 1585000 | #Constraints: 108793
2623.74/2665.39 c #Conflicts: 1586000 | #Constraints: 109793
2623.74/2665.39 c #Conflicts: 1587000 | #Constraints: 110794
2623.74/2665.39 c #Conflicts: 1588000 | #Constraints: 111795
2623.74/2665.39 c #Conflicts: 1589000 | #Constraints: 112795
2623.74/2665.39 c #Conflicts: 1590000 | #Constraints: 113797
2623.74/2665.39 c #Conflicts: 1591000 | #Constraints: 114797
2623.74/2665.39 c INPROCESSING
2623.74/2665.39 c GARBAGE COLLECT
2623.74/2665.39 c rational objective 10
2644.58/2686.22 c #Conflicts: 1592000 | #Constraints: 90656
2644.58/2686.22 c #Conflicts: 1593000 | #Constraints: 91656
2644.58/2686.22 c #Conflicts: 1594000 | #Constraints: 92656
2644.58/2686.22 c #Conflicts: 1595000 | #Constraints: 93656
2644.58/2686.22 c #Conflicts: 1596000 | #Constraints: 94656
2644.58/2686.22 c #Conflicts: 1597000 | #Constraints: 95656
2644.58/2686.22 c #Conflicts: 1598000 | #Constraints: 96656
2644.58/2686.22 c #Conflicts: 1599000 | #Constraints: 97656
2644.58/2686.22 c #Conflicts: 1600000 | #Constraints: 98656
2644.58/2686.22 c #Conflicts: 1601000 | #Constraints: 99656
2644.58/2686.22 c #Conflicts: 1602000 | #Constraints: 100656
2644.58/2686.22 c #Conflicts: 1603000 | #Constraints: 101656
2644.58/2686.22 c #Conflicts: 1604000 | #Constraints: 102656
2644.58/2686.22 c #Conflicts: 1605000 | #Constraints: 103656
2644.58/2686.22 c #Conflicts: 1606000 | #Constraints: 104656
2644.58/2686.22 c #Conflicts: 1607000 | #Constraints: 105656
2644.58/2686.22 c #Conflicts: 1608000 | #Constraints: 106656
2644.58/2686.22 c #Conflicts: 1609000 | #Constraints: 107657
2644.58/2686.22 c #Conflicts: 1610000 | #Constraints: 108658
2644.58/2686.22 c #Conflicts: 1611000 | #Constraints: 109659
2644.58/2686.22 c #Conflicts: 1612000 | #Constraints: 110661
2644.58/2686.22 c #Conflicts: 1613000 | #Constraints: 111661
2644.58/2686.22 c #Conflicts: 1614000 | #Constraints: 112661
2644.58/2686.22 c #Conflicts: 1615000 | #Constraints: 113661
2644.58/2686.22 c #Conflicts: 1616000 | #Constraints: 114661
2644.58/2686.22 c INPROCESSING
2644.58/2686.22 c GARBAGE COLLECT
2644.58/2686.22 c rational objective 10
2669.32/2711.03 c #Conflicts: 1617000 | #Constraints: 90370
2669.32/2711.03 c #Conflicts: 1618000 | #Constraints: 91370
2669.32/2711.03 c #Conflicts: 1619000 | #Constraints: 92370
2669.32/2711.03 c #Conflicts: 1620000 | #Constraints: 93370
2669.32/2711.03 c #Conflicts: 1621000 | #Constraints: 94370
2669.32/2711.03 c #Conflicts: 1622000 | #Constraints: 95370
2669.32/2711.03 c #Conflicts: 1623000 | #Constraints: 96373
2669.32/2711.03 c #Conflicts: 1624000 | #Constraints: 97373
2669.32/2711.03 c #Conflicts: 1625000 | #Constraints: 98373
2669.32/2711.03 c #Conflicts: 1626000 | #Constraints: 99373
2669.32/2711.03 c #Conflicts: 1627000 | #Constraints: 100373
2669.32/2711.03 c #Conflicts: 1628000 | #Constraints: 101373
2669.32/2711.03 c #Conflicts: 1629000 | #Constraints: 102373
2669.32/2711.03 c #Conflicts: 1630000 | #Constraints: 103373
2669.32/2711.03 c #Conflicts: 1631000 | #Constraints: 104373
2669.32/2711.03 c #Conflicts: 1632000 | #Constraints: 105373
2669.32/2711.03 c #Conflicts: 1633000 | #Constraints: 106373
2669.32/2711.03 c #Conflicts: 1634000 | #Constraints: 107373
2669.32/2711.03 c #Conflicts: 1635000 | #Constraints: 108373
2669.32/2711.03 c #Conflicts: 1636000 | #Constraints: 109373
2669.32/2711.03 c #Conflicts: 1637000 | #Constraints: 110373
2669.32/2711.03 c #Conflicts: 1638000 | #Constraints: 111373
2669.32/2711.03 c #Conflicts: 1639000 | #Constraints: 112373
2669.32/2711.03 c #Conflicts: 1640000 | #Constraints: 113373
2669.32/2711.03 c #Conflicts: 1641000 | #Constraints: 114373
2669.32/2711.03 c #Conflicts: 1642000 | #Constraints: 115373
2669.32/2711.03 c INPROCESSING
2669.32/2711.03 c GARBAGE COLLECT
2669.32/2711.03 c rational objective 10
2686.76/2728.59 c #Conflicts: 1643000 | #Constraints: 90946
2686.76/2728.59 c #Conflicts: 1644000 | #Constraints: 91946
2686.76/2728.59 c #Conflicts: 1645000 | #Constraints: 92946
2686.76/2728.59 c #Conflicts: 1646000 | #Constraints: 93946
2686.76/2728.59 c #Conflicts: 1647000 | #Constraints: 94946
2686.76/2728.59 c #Conflicts: 1648000 | #Constraints: 95946
2686.76/2728.59 c #Conflicts: 1649000 | #Constraints: 96946
2686.76/2728.59 c #Conflicts: 1650000 | #Constraints: 97946
2686.76/2728.59 c #Conflicts: 1651000 | #Constraints: 98946
2686.76/2728.59 c #Conflicts: 1652000 | #Constraints: 99947
2686.76/2728.59 c #Conflicts: 1653000 | #Constraints: 100947
2686.76/2728.59 c #Conflicts: 1654000 | #Constraints: 101947
2686.76/2728.59 c #Conflicts: 1655000 | #Constraints: 102947
2686.76/2728.59 c #Conflicts: 1656000 | #Constraints: 103947
2686.76/2728.59 c #Conflicts: 1657000 | #Constraints: 104947
2686.76/2728.59 c #Conflicts: 1658000 | #Constraints: 105947
2686.76/2728.59 c #Conflicts: 1659000 | #Constraints: 106947
2686.76/2728.59 c #Conflicts: 1660000 | #Constraints: 107947
2686.76/2728.59 c #Conflicts: 1661000 | #Constraints: 108947
2686.76/2728.59 c #Conflicts: 1662000 | #Constraints: 109947
2686.76/2728.59 c #Conflicts: 1663000 | #Constraints: 110947
2686.76/2728.59 c #Conflicts: 1664000 | #Constraints: 111948
2686.76/2728.59 c #Conflicts: 1665000 | #Constraints: 112948
2686.76/2728.59 c #Conflicts: 1666000 | #Constraints: 113948
2686.76/2728.59 c #Conflicts: 1667000 | #Constraints: 114948
2686.76/2728.59 c #Conflicts: 1668000 | #Constraints: 115948
2686.76/2728.59 c INPROCESSING
2686.76/2728.59 c GARBAGE COLLECT
2686.76/2728.59 c rational objective 10
2707.80/2749.64 c #Conflicts: 1669000 | #Constraints: 91384
2707.80/2749.64 c #Conflicts: 1670000 | #Constraints: 92384
2707.80/2749.64 c #Conflicts: 1671000 | #Constraints: 93384
2707.80/2749.64 c #Conflicts: 1672000 | #Constraints: 94385
2707.80/2749.64 c #Conflicts: 1673000 | #Constraints: 95385
2707.80/2749.64 c #Conflicts: 1674000 | #Constraints: 96385
2707.80/2749.64 c #Conflicts: 1675000 | #Constraints: 97386
2707.80/2749.64 c #Conflicts: 1676000 | #Constraints: 98387
2707.80/2749.64 c #Conflicts: 1677000 | #Constraints: 99387
2707.80/2749.64 c #Conflicts: 1678000 | #Constraints: 100387
2707.80/2749.64 c #Conflicts: 1679000 | #Constraints: 101387
2707.80/2749.64 c #Conflicts: 1680000 | #Constraints: 102389
2707.80/2749.64 c #Conflicts: 1681000 | #Constraints: 103392
2707.80/2749.64 c #Conflicts: 1682000 | #Constraints: 104392
2707.80/2749.64 c #Conflicts: 1683000 | #Constraints: 105392
2707.80/2749.64 c #Conflicts: 1684000 | #Constraints: 106392
2707.80/2749.64 c #Conflicts: 1685000 | #Constraints: 107392
2707.80/2749.64 c #Conflicts: 1686000 | #Constraints: 108392
2707.80/2749.64 c #Conflicts: 1687000 | #Constraints: 109392
2707.80/2749.64 c #Conflicts: 1688000 | #Constraints: 110392
2707.80/2749.64 c #Conflicts: 1689000 | #Constraints: 111392
2707.80/2749.64 c #Conflicts: 1690000 | #Constraints: 112392
2707.80/2749.64 c #Conflicts: 1691000 | #Constraints: 113392
2707.80/2749.64 c #Conflicts: 1692000 | #Constraints: 114392
2707.80/2749.64 c #Conflicts: 1693000 | #Constraints: 115392
2707.80/2749.64 c #Conflicts: 1694000 | #Constraints: 116392
2707.80/2749.64 c INPROCESSING
2707.80/2749.64 c GARBAGE COLLECT
2707.80/2749.64 c rational objective 10
2728.34/2770.21 c #Conflicts: 1695000 | #Constraints: 91545
2728.34/2770.21 c #Conflicts: 1696000 | #Constraints: 92545
2728.34/2770.21 c #Conflicts: 1697000 | #Constraints: 93545
2728.34/2770.21 c #Conflicts: 1698000 | #Constraints: 94545
2728.34/2770.21 c #Conflicts: 1699000 | #Constraints: 95545
2728.34/2770.21 c #Conflicts: 1700000 | #Constraints: 96545
2728.34/2770.21 c #Conflicts: 1701000 | #Constraints: 97545
2728.34/2770.21 c #Conflicts: 1702000 | #Constraints: 98545
2728.34/2770.21 c #Conflicts: 1703000 | #Constraints: 99546
2728.34/2770.21 c #Conflicts: 1704000 | #Constraints: 100546
2728.34/2770.21 c #Conflicts: 1705000 | #Constraints: 101546
2728.34/2770.21 c #Conflicts: 1706000 | #Constraints: 102546
2728.34/2770.21 c #Conflicts: 1707000 | #Constraints: 103546
2728.34/2770.21 c #Conflicts: 1708000 | #Constraints: 104546
2728.34/2770.21 c #Conflicts: 1709000 | #Constraints: 105546
2728.34/2770.21 c #Conflicts: 1710000 | #Constraints: 106546
2728.34/2770.21 c #Conflicts: 1711000 | #Constraints: 107546
2728.34/2770.21 c #Conflicts: 1712000 | #Constraints: 108546
2728.34/2770.21 c #Conflicts: 1713000 | #Constraints: 109546
2728.34/2770.21 c #Conflicts: 1714000 | #Constraints: 110546
2728.34/2770.21 c #Conflicts: 1715000 | #Constraints: 111546
2728.34/2770.21 c #Conflicts: 1716000 | #Constraints: 112546
2728.34/2770.21 c #Conflicts: 1717000 | #Constraints: 113547
2728.34/2770.21 c #Conflicts: 1718000 | #Constraints: 114547
2728.34/2770.21 c #Conflicts: 1719000 | #Constraints: 115547
2728.34/2770.21 c #Conflicts: 1720000 | #Constraints: 116547
2728.34/2770.21 c INPROCESSING
2728.34/2770.21 c GARBAGE COLLECT
2728.34/2770.21 c rational objective 10
2749.20/2791.12 c #Conflicts: 1721000 | #Constraints: 91564
2749.20/2791.12 c #Conflicts: 1722000 | #Constraints: 92564
2749.20/2791.12 c #Conflicts: 1723000 | #Constraints: 93564
2749.20/2791.12 c #Conflicts: 1724000 | #Constraints: 94564
2749.20/2791.12 c #Conflicts: 1725000 | #Constraints: 95566
2749.20/2791.12 c #Conflicts: 1726000 | #Constraints: 96566
2749.20/2791.12 c #Conflicts: 1727000 | #Constraints: 97566
2749.20/2791.12 c #Conflicts: 1728000 | #Constraints: 98566
2749.20/2791.12 c #Conflicts: 1729000 | #Constraints: 99566
2749.20/2791.12 c #Conflicts: 1730000 | #Constraints: 100568
2749.20/2791.12 c #Conflicts: 1731000 | #Constraints: 101568
2749.20/2791.12 c #Conflicts: 1732000 | #Constraints: 102569
2749.20/2791.12 c #Conflicts: 1733000 | #Constraints: 103569
2749.20/2791.12 c #Conflicts: 1734000 | #Constraints: 104569
2749.20/2791.12 c #Conflicts: 1735000 | #Constraints: 105569
2749.20/2791.12 c #Conflicts: 1736000 | #Constraints: 106569
2749.20/2791.12 c #Conflicts: 1737000 | #Constraints: 107569
2749.20/2791.12 c #Conflicts: 1738000 | #Constraints: 108569
2749.20/2791.12 c #Conflicts: 1739000 | #Constraints: 109569
2749.20/2791.12 c #Conflicts: 1740000 | #Constraints: 110569
2749.20/2791.12 c #Conflicts: 1741000 | #Constraints: 111569
2749.20/2791.12 c #Conflicts: 1742000 | #Constraints: 112569
2749.20/2791.12 c #Conflicts: 1743000 | #Constraints: 113569
2749.20/2791.12 c #Conflicts: 1744000 | #Constraints: 114569
2749.20/2791.12 c #Conflicts: 1745000 | #Constraints: 115569
2749.20/2791.12 c #Conflicts: 1746000 | #Constraints: 116569
2749.20/2791.12 c INPROCESSING
2749.20/2791.12 c GARBAGE COLLECT
2749.20/2791.12 c rational objective 10
2767.53/2809.59 c #Conflicts: 1747000 | #Constraints: 91378
2767.53/2809.59 c #Conflicts: 1748000 | #Constraints: 92379
2767.53/2809.59 c #Conflicts: 1749000 | #Constraints: 93379
2767.53/2809.59 c #Conflicts: 1750000 | #Constraints: 94379
2767.53/2809.59 c #Conflicts: 1751000 | #Constraints: 95380
2767.53/2809.59 c #Conflicts: 1752000 | #Constraints: 96381
2767.53/2809.59 c #Conflicts: 1753000 | #Constraints: 97381
2767.53/2809.59 c #Conflicts: 1754000 | #Constraints: 98382
2767.53/2809.59 c #Conflicts: 1755000 | #Constraints: 99382
2767.53/2809.59 c #Conflicts: 1756000 | #Constraints: 100383
2767.53/2809.59 c #Conflicts: 1757000 | #Constraints: 101383
2767.53/2809.59 c #Conflicts: 1758000 | #Constraints: 102383
2767.53/2809.59 c #Conflicts: 1759000 | #Constraints: 103383
2767.53/2809.59 c #Conflicts: 1760000 | #Constraints: 104383
2767.53/2809.59 c #Conflicts: 1761000 | #Constraints: 105383
2767.53/2809.59 c #Conflicts: 1762000 | #Constraints: 106384
2767.53/2809.59 c #Conflicts: 1763000 | #Constraints: 107384
2767.53/2809.59 c #Conflicts: 1764000 | #Constraints: 108384
2767.53/2809.59 c #Conflicts: 1765000 | #Constraints: 109385
2767.53/2809.59 c #Conflicts: 1766000 | #Constraints: 110385
2767.53/2809.59 c #Conflicts: 1767000 | #Constraints: 111385
2767.53/2809.59 c #Conflicts: 1768000 | #Constraints: 112386
2767.53/2809.59 c #Conflicts: 1769000 | #Constraints: 113387
2767.53/2809.59 c #Conflicts: 1770000 | #Constraints: 114387
2767.53/2809.59 c #Conflicts: 1771000 | #Constraints: 115387
2767.53/2809.59 c #Conflicts: 1772000 | #Constraints: 116387
2767.53/2809.59 c #Conflicts: 1773000 | #Constraints: 117387
2767.53/2809.59 c INPROCESSING
2767.53/2809.59 c GARBAGE COLLECT
2767.53/2809.59 c rational objective 10
2807.41/2849.55 c #Conflicts: 1774000 | #Constraints: 92016
2807.41/2849.55 c #Conflicts: 1775000 | #Constraints: 93016
2807.41/2849.55 c #Conflicts: 1776000 | #Constraints: 94016
2807.41/2849.55 c #Conflicts: 1777000 | #Constraints: 95016
2807.41/2849.55 c #Conflicts: 1778000 | #Constraints: 96016
2807.41/2849.55 c #Conflicts: 1779000 | #Constraints: 97016
2807.41/2849.55 c #Conflicts: 1780000 | #Constraints: 98016
2807.41/2849.55 c #Conflicts: 1781000 | #Constraints: 99016
2807.41/2849.55 c #Conflicts: 1782000 | #Constraints: 100016
2807.41/2849.55 c #Conflicts: 1783000 | #Constraints: 101016
2807.41/2849.55 c #Conflicts: 1784000 | #Constraints: 102016
2807.41/2849.55 c #Conflicts: 1785000 | #Constraints: 103016
2807.41/2849.55 c #Conflicts: 1786000 | #Constraints: 104016
2807.41/2849.55 c #Conflicts: 1787000 | #Constraints: 105016
2807.41/2849.55 c #Conflicts: 1788000 | #Constraints: 106016
2807.41/2849.55 c #Conflicts: 1789000 | #Constraints: 107016
2807.41/2849.55 c #Conflicts: 1790000 | #Constraints: 108016
2807.41/2849.55 c #Conflicts: 1791000 | #Constraints: 109016
2807.41/2849.55 c #Conflicts: 1792000 | #Constraints: 110016
2807.41/2849.55 c #Conflicts: 1793000 | #Constraints: 111016
2807.41/2849.55 c #Conflicts: 1794000 | #Constraints: 112016
2807.41/2849.55 c #Conflicts: 1795000 | #Constraints: 113016
2807.41/2849.55 c #Conflicts: 1796000 | #Constraints: 114016
2807.41/2849.55 c #Conflicts: 1797000 | #Constraints: 115016
2807.41/2849.55 c #Conflicts: 1798000 | #Constraints: 116016
2807.41/2849.55 c #Conflicts: 1799000 | #Constraints: 117016
2807.41/2849.55 c #Conflicts: 1800000 | #Constraints: 118016
2807.41/2849.55 c INPROCESSING
2807.41/2849.55 c GARBAGE COLLECT
2807.41/2849.55 c rational objective 10
2829.87/2872.05 c #Conflicts: 1801000 | #Constraints: 92387
2829.87/2872.05 c #Conflicts: 1802000 | #Constraints: 93387
2829.87/2872.05 c #Conflicts: 1803000 | #Constraints: 94387
2829.87/2872.05 c #Conflicts: 1804000 | #Constraints: 95387
2829.87/2872.05 c #Conflicts: 1805000 | #Constraints: 96387
2829.87/2872.05 c #Conflicts: 1806000 | #Constraints: 97387
2829.87/2872.05 c #Conflicts: 1807000 | #Constraints: 98387
2829.87/2872.05 c #Conflicts: 1808000 | #Constraints: 99388
2829.87/2872.05 c #Conflicts: 1809000 | #Constraints: 100389
2829.87/2872.05 c #Conflicts: 1810000 | #Constraints: 101389
2829.87/2872.05 c #Conflicts: 1811000 | #Constraints: 102390
2829.87/2872.05 c #Conflicts: 1812000 | #Constraints: 103390
2829.87/2872.05 c #Conflicts: 1813000 | #Constraints: 104390
2829.87/2872.05 c #Conflicts: 1814000 | #Constraints: 105390
2829.87/2872.05 c #Conflicts: 1815000 | #Constraints: 106390
2829.87/2872.05 c #Conflicts: 1816000 | #Constraints: 107390
2829.87/2872.05 c #Conflicts: 1817000 | #Constraints: 108390
2829.87/2872.05 c #Conflicts: 1818000 | #Constraints: 109390
2829.87/2872.05 c #Conflicts: 1819000 | #Constraints: 110390
2829.87/2872.05 c #Conflicts: 1820000 | #Constraints: 111391
2829.87/2872.05 c #Conflicts: 1821000 | #Constraints: 112391
2829.87/2872.05 c #Conflicts: 1822000 | #Constraints: 113392
2829.87/2872.05 c #Conflicts: 1823000 | #Constraints: 114392
2829.87/2872.05 c #Conflicts: 1824000 | #Constraints: 115392
2829.87/2872.05 c #Conflicts: 1825000 | #Constraints: 116392
2829.87/2872.05 c #Conflicts: 1826000 | #Constraints: 117392
2829.87/2872.05 c #Conflicts: 1827000 | #Constraints: 118392
2829.87/2872.05 c INPROCESSING
2829.87/2872.05 c GARBAGE COLLECT
2829.87/2872.05 c rational objective 10
2851.81/2894.05 c #Conflicts: 1828000 | #Constraints: 92609
2851.81/2894.05 c #Conflicts: 1829000 | #Constraints: 93609
2851.81/2894.05 c #Conflicts: 1830000 | #Constraints: 94609
2851.81/2894.05 c #Conflicts: 1831000 | #Constraints: 95609
2851.81/2894.05 c #Conflicts: 1832000 | #Constraints: 96609
2851.81/2894.05 c #Conflicts: 1833000 | #Constraints: 97609
2851.81/2894.05 c #Conflicts: 1834000 | #Constraints: 98609
2851.81/2894.05 c #Conflicts: 1835000 | #Constraints: 99611
2851.81/2894.05 c #Conflicts: 1836000 | #Constraints: 100611
2851.81/2894.05 c #Conflicts: 1837000 | #Constraints: 101611
2851.81/2894.05 c #Conflicts: 1838000 | #Constraints: 102611
2851.81/2894.05 c #Conflicts: 1839000 | #Constraints: 103611
2851.81/2894.05 c #Conflicts: 1840000 | #Constraints: 104611
2851.81/2894.05 c #Conflicts: 1841000 | #Constraints: 105611
2851.81/2894.05 c #Conflicts: 1842000 | #Constraints: 106611
2851.81/2894.05 c #Conflicts: 1843000 | #Constraints: 107611
2851.81/2894.05 c #Conflicts: 1844000 | #Constraints: 108611
2851.81/2894.05 c #Conflicts: 1845000 | #Constraints: 109611
2851.81/2894.05 c #Conflicts: 1846000 | #Constraints: 110611
2851.81/2894.05 c #Conflicts: 1847000 | #Constraints: 111612
2851.81/2894.05 c #Conflicts: 1848000 | #Constraints: 112612
2851.81/2894.05 c #Conflicts: 1849000 | #Constraints: 113613
2851.81/2894.05 c #Conflicts: 1850000 | #Constraints: 114613
2851.81/2894.05 c #Conflicts: 1851000 | #Constraints: 115613
2851.81/2894.05 c #Conflicts: 1852000 | #Constraints: 116613
2851.81/2894.05 c #Conflicts: 1853000 | #Constraints: 117613
2851.81/2894.05 c #Conflicts: 1854000 | #Constraints: 118613
2851.81/2894.05 c INPROCESSING
2851.81/2894.05 c GARBAGE COLLECT
2851.81/2894.05 c rational objective 10
2894.87/2937.29 c #Conflicts: 1855000 | #Constraints: 92568
2894.87/2937.29 c #Conflicts: 1856000 | #Constraints: 93568
2894.87/2937.29 c #Conflicts: 1857000 | #Constraints: 94568
2894.87/2937.29 c #Conflicts: 1858000 | #Constraints: 95568
2894.87/2937.29 c #Conflicts: 1859000 | #Constraints: 96568
2894.87/2937.29 c #Conflicts: 1860000 | #Constraints: 97568
2894.87/2937.29 c #Conflicts: 1861000 | #Constraints: 98568
2894.87/2937.29 c #Conflicts: 1862000 | #Constraints: 99568
2894.87/2937.29 c #Conflicts: 1863000 | #Constraints: 100568
2894.87/2937.29 c #Conflicts: 1864000 | #Constraints: 101568
2894.87/2937.29 c #Conflicts: 1865000 | #Constraints: 102568
2894.87/2937.29 c #Conflicts: 1866000 | #Constraints: 103568
2894.87/2937.29 c #Conflicts: 1867000 | #Constraints: 104568
2894.87/2937.29 c #Conflicts: 1868000 | #Constraints: 105568
2894.87/2937.29 c #Conflicts: 1869000 | #Constraints: 106568
2894.87/2937.29 c #Conflicts: 1870000 | #Constraints: 107568
2894.87/2937.29 c #Conflicts: 1871000 | #Constraints: 108568
2894.87/2937.29 c #Conflicts: 1872000 | #Constraints: 109568
2894.87/2937.29 c #Conflicts: 1873000 | #Constraints: 110568
2894.87/2937.29 c #Conflicts: 1874000 | #Constraints: 111568
2894.87/2937.29 c #Conflicts: 1875000 | #Constraints: 112568
2894.87/2937.29 c #Conflicts: 1876000 | #Constraints: 113568
2894.87/2937.29 c #Conflicts: 1877000 | #Constraints: 114568
2894.87/2937.29 c #Conflicts: 1878000 | #Constraints: 115568
2894.87/2937.29 c #Conflicts: 1879000 | #Constraints: 116568
2894.87/2937.29 c #Conflicts: 1880000 | #Constraints: 117568
2894.87/2937.29 c #Conflicts: 1881000 | #Constraints: 118568
2894.87/2937.29 c INPROCESSING
2894.87/2937.29 c GARBAGE COLLECT
2894.87/2937.29 c rational objective 10
2918.20/2960.67 c #Conflicts: 1882000 | #Constraints: 92322
2918.20/2960.67 c #Conflicts: 1883000 | #Constraints: 93322
2918.20/2960.67 c #Conflicts: 1884000 | #Constraints: 94323
2918.20/2960.67 c #Conflicts: 1885000 | #Constraints: 95323
2918.20/2960.67 c #Conflicts: 1886000 | #Constraints: 96323
2918.20/2960.67 c #Conflicts: 1887000 | #Constraints: 97323
2918.20/2960.67 c #Conflicts: 1888000 | #Constraints: 98323
2918.20/2960.67 c #Conflicts: 1889000 | #Constraints: 99323
2918.20/2960.67 c #Conflicts: 1890000 | #Constraints: 100323
2918.20/2960.67 c #Conflicts: 1891000 | #Constraints: 101323
2918.20/2960.67 c #Conflicts: 1892000 | #Constraints: 102323
2918.20/2960.67 c #Conflicts: 1893000 | #Constraints: 103323
2918.20/2960.67 c #Conflicts: 1894000 | #Constraints: 104323
2918.20/2960.67 c #Conflicts: 1895000 | #Constraints: 105323
2918.20/2960.67 c #Conflicts: 1896000 | #Constraints: 106323
2918.20/2960.67 c #Conflicts: 1897000 | #Constraints: 107323
2918.20/2960.67 c #Conflicts: 1898000 | #Constraints: 108323
2918.20/2960.67 c #Conflicts: 1899000 | #Constraints: 109323
2918.20/2960.67 c #Conflicts: 1900000 | #Constraints: 110323
2918.20/2960.67 c #Conflicts: 1901000 | #Constraints: 111323
2918.20/2960.67 c #Conflicts: 1902000 | #Constraints: 112323
2918.20/2960.67 c #Conflicts: 1903000 | #Constraints: 113323
2918.20/2960.67 c #Conflicts: 1904000 | #Constraints: 114323
2918.20/2960.67 c #Conflicts: 1905000 | #Constraints: 115323
2918.20/2960.67 c #Conflicts: 1906000 | #Constraints: 116323
2918.20/2960.67 c #Conflicts: 1907000 | #Constraints: 117323
2918.20/2960.67 c #Conflicts: 1908000 | #Constraints: 118323
2918.20/2960.67 c #Conflicts: 1909000 | #Constraints: 119323
2918.20/2960.67 c INPROCESSING
2918.20/2960.67 c GARBAGE COLLECT
2918.20/2960.67 c rational objective 10
2936.84/2979.32 c #Conflicts: 1910000 | #Constraints: 92979
2936.84/2979.32 c #Conflicts: 1911000 | #Constraints: 93979
2936.84/2979.32 c #Conflicts: 1912000 | #Constraints: 94979
2936.84/2979.32 c #Conflicts: 1913000 | #Constraints: 95979
2936.84/2979.32 c #Conflicts: 1914000 | #Constraints: 96979
2936.84/2979.32 c #Conflicts: 1915000 | #Constraints: 97979
2936.84/2979.32 c #Conflicts: 1916000 | #Constraints: 98979
2936.84/2979.32 c #Conflicts: 1917000 | #Constraints: 99980
2936.84/2979.32 c #Conflicts: 1918000 | #Constraints: 100980
2936.84/2979.32 c #Conflicts: 1919000 | #Constraints: 101980
2936.84/2979.32 c #Conflicts: 1920000 | #Constraints: 102980
2936.84/2979.32 c #Conflicts: 1921000 | #Constraints: 103982
2936.84/2979.32 c #Conflicts: 1922000 | #Constraints: 104982
2936.84/2979.32 c #Conflicts: 1923000 | #Constraints: 105982
2936.84/2979.32 c #Conflicts: 1924000 | #Constraints: 106982
2936.84/2979.32 c #Conflicts: 1925000 | #Constraints: 107982
2936.84/2979.32 c #Conflicts: 1926000 | #Constraints: 108982
2936.84/2979.32 c #Conflicts: 1927000 | #Constraints: 109982
2936.84/2979.32 c #Conflicts: 1928000 | #Constraints: 110982
2936.84/2979.32 c #Conflicts: 1929000 | #Constraints: 111982
2936.84/2979.32 c #Conflicts: 1930000 | #Constraints: 112982
2936.84/2979.32 c #Conflicts: 1931000 | #Constraints: 113982
2936.84/2979.32 c #Conflicts: 1932000 | #Constraints: 114982
2936.84/2979.32 c #Conflicts: 1933000 | #Constraints: 115982
2936.84/2979.32 c #Conflicts: 1934000 | #Constraints: 116982
2936.84/2979.32 c #Conflicts: 1935000 | #Constraints: 117982
2936.84/2979.32 c #Conflicts: 1936000 | #Constraints: 118982
2936.84/2979.32 c #Conflicts: 1937000 | #Constraints: 119982
2936.84/2979.32 c INPROCESSING
2936.84/2979.32 c GARBAGE COLLECT
2936.84/2979.32 c rational objective 10
3011.38/3054.29 c #Conflicts: 1938000 | #Constraints: 93417
3011.38/3054.29 c #Conflicts: 1939000 | #Constraints: 94417
3011.38/3054.29 c #Conflicts: 1940000 | #Constraints: 95417
3011.38/3054.29 c #Conflicts: 1941000 | #Constraints: 96417
3011.38/3054.29 c #Conflicts: 1942000 | #Constraints: 97417
3011.38/3054.29 c #Conflicts: 1943000 | #Constraints: 98417
3011.38/3054.29 c #Conflicts: 1944000 | #Constraints: 99417
3011.38/3054.29 c #Conflicts: 1945000 | #Constraints: 100417
3011.38/3054.29 c #Conflicts: 1946000 | #Constraints: 101417
3011.38/3054.29 c #Conflicts: 1947000 | #Constraints: 102417
3011.38/3054.29 c #Conflicts: 1948000 | #Constraints: 103417
3011.38/3054.29 c #Conflicts: 1949000 | #Constraints: 104417
3011.38/3054.29 c #Conflicts: 1950000 | #Constraints: 105417
3011.38/3054.29 c #Conflicts: 1951000 | #Constraints: 106417
3011.38/3054.29 c #Conflicts: 1952000 | #Constraints: 107417
3011.38/3054.29 c #Conflicts: 1953000 | #Constraints: 108417
3011.38/3054.29 c #Conflicts: 1954000 | #Constraints: 109417
3011.38/3054.29 c #Conflicts: 1955000 | #Constraints: 110418
3011.38/3054.29 c #Conflicts: 1956000 | #Constraints: 111942
3011.38/3054.29 c #Conflicts: 1957000 | #Constraints: 113476
3011.38/3054.29 c #Conflicts: 1958000 | #Constraints: 114990
3011.38/3054.29 c #Conflicts: 1959000 | #Constraints: 116501
3011.38/3054.29 c #Conflicts: 1960000 | #Constraints: 118038
3011.38/3054.29 c #Conflicts: 1961000 | #Constraints: 119582
3011.38/3054.29 c #Conflicts: 1962000 | #Constraints: 121082
3011.38/3054.29 c #Conflicts: 1963000 | #Constraints: 122580
3011.38/3054.29 c #Conflicts: 1964000 | #Constraints: 124100
3011.38/3054.29 c #Conflicts: 1965000 | #Constraints: 125622
3011.38/3054.29 c INPROCESSING
3011.38/3054.29 c GARBAGE COLLECT
3011.38/3054.29 c rational objective 10
3297.83/3341.56 c #Conflicts: 1966000 | #Constraints: 96203
3297.83/3341.56 c #Conflicts: 1967000 | #Constraints: 97203
3297.83/3341.56 c #Conflicts: 1968000 | #Constraints: 98203
3297.83/3341.56 c #Conflicts: 1969000 | #Constraints: 99203
3297.83/3341.56 c #Conflicts: 1970000 | #Constraints: 100203
3297.83/3341.56 c #Conflicts: 1971000 | #Constraints: 101203
3297.83/3341.56 c #Conflicts: 1972000 | #Constraints: 102203
3297.83/3341.56 c #Conflicts: 1973000 | #Constraints: 103203
3297.83/3341.56 c #Conflicts: 1974000 | #Constraints: 104203
3297.83/3341.56 c #Conflicts: 1975000 | #Constraints: 105203
3297.83/3341.56 c #Conflicts: 1976000 | #Constraints: 106203
3297.83/3341.56 c #Conflicts: 1977000 | #Constraints: 107203
3297.83/3341.56 c #Conflicts: 1978000 | #Constraints: 108203
3297.83/3341.56 c #Conflicts: 1979000 | #Constraints: 109203
3297.83/3341.56 c #Conflicts: 1980000 | #Constraints: 110203
3297.83/3341.56 c #Conflicts: 1981000 | #Constraints: 111203
3297.83/3341.56 c #Conflicts: 1982000 | #Constraints: 112203
3297.83/3341.56 c #Conflicts: 1983000 | #Constraints: 113203
3297.83/3341.56 c #Conflicts: 1984000 | #Constraints: 114203
3297.83/3341.56 c #Conflicts: 1985000 | #Constraints: 115203
3297.83/3341.56 c #Conflicts: 1986000 | #Constraints: 116203
3297.83/3341.56 c #Conflicts: 1987000 | #Constraints: 117203
3297.83/3341.56 c #Conflicts: 1988000 | #Constraints: 118203
3297.83/3341.56 c #Conflicts: 1989000 | #Constraints: 119203
3297.83/3341.56 c #Conflicts: 1990000 | #Constraints: 120203
3297.83/3341.56 c #Conflicts: 1991000 | #Constraints: 121203
3297.83/3341.56 c #Conflicts: 1992000 | #Constraints: 122203
3297.83/3341.56 c #Conflicts: 1993000 | #Constraints: 123203
3297.83/3341.56 c INPROCESSING
3297.83/3341.56 c GARBAGE COLLECT
3297.83/3341.56 c #Conflicts: 1994000 | #Constraints: 94888
3297.83/3341.56 c #Conflicts: 1995000 | #Constraints: 95888
3297.83/3341.56 c #Conflicts: 1996000 | #Constraints: 96888
3297.83/3341.56 c #Conflicts: 1997000 | #Constraints: 97888
3297.83/3341.56 c #Conflicts: 1998000 | #Constraints: 98888
3297.83/3341.56 c #Conflicts: 1999000 | #Constraints: 99888
3297.83/3341.56 c #Conflicts: 2000000 | #Constraints: 100888
3297.83/3341.56 c #Conflicts: 2001000 | #Constraints: 101888
3297.83/3341.56 c #Conflicts: 2002000 | #Constraints: 102888
3297.83/3341.56 c #Conflicts: 2003000 | #Constraints: 103888
3297.83/3341.56 c #Conflicts: 2004000 | #Constraints: 104888
3297.83/3341.56 c #Conflicts: 2005000 | #Constraints: 105888
3297.83/3341.56 c #Conflicts: 2006000 | #Constraints: 106888
3297.83/3341.56 c #Conflicts: 2007000 | #Constraints: 107888
3297.83/3341.56 c #Conflicts: 2008000 | #Constraints: 108888
3297.83/3341.56 c #Conflicts: 2009000 | #Constraints: 109888
3297.83/3341.56 c #Conflicts: 2010000 | #Constraints: 110888
3297.83/3341.56 c bounds 73 >= 15 @ 3272.97
3434.58/3478.75 c #Conflicts: 2011000 | #Constraints: 111894
3434.58/3478.75 c #Conflicts: 2012000 | #Constraints: 112894
3434.58/3478.75 c #Conflicts: 2013000 | #Constraints: 113894
3434.58/3478.75 c #Conflicts: 2014000 | #Constraints: 114894
3434.58/3478.75 c #Conflicts: 2015000 | #Constraints: 115894
3434.58/3478.75 c #Conflicts: 2016000 | #Constraints: 116894
3434.58/3478.75 c #Conflicts: 2017000 | #Constraints: 117894
3434.58/3478.75 c #Conflicts: 2018000 | #Constraints: 118894
3434.58/3478.75 c #Conflicts: 2019000 | #Constraints: 119894
3434.58/3478.75 c #Conflicts: 2020000 | #Constraints: 120894
3434.58/3478.75 c #Conflicts: 2021000 | #Constraints: 121894
3434.58/3478.75 c INPROCESSING
3434.58/3478.75 c GARBAGE COLLECT
3434.58/3478.75 c rational objective 15
3548.41/3592.94 c #Conflicts: 2022000 | #Constraints: 94055
3548.41/3592.94 c #Conflicts: 2023000 | #Constraints: 95055
3548.41/3592.94 c #Conflicts: 2024000 | #Constraints: 96055
3548.41/3592.94 c #Conflicts: 2025000 | #Constraints: 97055
3548.41/3592.94 c #Conflicts: 2026000 | #Constraints: 98055
3548.41/3592.94 c #Conflicts: 2027000 | #Constraints: 99055
3548.41/3592.94 c #Conflicts: 2028000 | #Constraints: 100055
3548.41/3592.94 c #Conflicts: 2029000 | #Constraints: 101055
3548.41/3592.94 c #Conflicts: 2030000 | #Constraints: 102055
3548.41/3592.94 c #Conflicts: 2031000 | #Constraints: 103055
3548.41/3592.94 c #Conflicts: 2032000 | #Constraints: 104055
3548.41/3592.94 c #Conflicts: 2033000 | #Constraints: 105055
3548.41/3592.94 c #Conflicts: 2034000 | #Constraints: 106055
3548.41/3592.94 c #Conflicts: 2035000 | #Constraints: 107055
3548.41/3592.94 c #Conflicts: 2036000 | #Constraints: 108055
3548.41/3592.94 c #Conflicts: 2037000 | #Constraints: 109055
3548.41/3592.94 c #Conflicts: 2038000 | #Constraints: 110055
3548.41/3592.94 c #Conflicts: 2039000 | #Constraints: 111055
3548.41/3592.94 c #Conflicts: 2040000 | #Constraints: 112055
3548.41/3592.94 c #Conflicts: 2041000 | #Constraints: 113055
3548.41/3592.94 c #Conflicts: 2042000 | #Constraints: 114055
3548.41/3592.94 c #Conflicts: 2043000 | #Constraints: 115055
3548.41/3592.94 c #Conflicts: 2044000 | #Constraints: 116055
3548.41/3592.94 c #Conflicts: 2045000 | #Constraints: 117055
3548.41/3592.94 c #Conflicts: 2046000 | #Constraints: 118055
3548.41/3592.94 c #Conflicts: 2047000 | #Constraints: 119055
3548.41/3592.94 c #Conflicts: 2048000 | #Constraints: 120055
3548.41/3592.94 c #Conflicts: 2049000 | #Constraints: 121055
3548.41/3592.94 c #Conflicts: 2050000 | #Constraints: 122055
3548.41/3592.94 c INPROCESSING
3548.41/3592.94 c GARBAGE COLLECT
3548.41/3592.94 c rational objective 15
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: 63837 MiB (62456 MiB free)
memory of node 1: 64465 MiB (62279 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4532084-1752596052/watcher-4532084-1752596052 -o /tmp/evaluation-result-4532084-1752596052/solver-4532084-1752596052 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1752596052-132480 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4532084-1752596052.opb PROOFDIR/proof-4532084-1752596052
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
Starting watchdog thread
solver pid=132529, runsolver pid=132520
Current StackSize limit: 8192 KiB
[startup+0.100031 s]*
/proc/loadavg: 4.13 3.43 3.50 4/276 132542
/proc/meminfo: memFree=127711268/131382112 swapFree=33002444/33010684
[pid=132529] ppid=132520 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/132529/stat : 132529 (run-opt-ls-log.) S 132520 132529 132469 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 175284566 4292608 768 18446744073709551615 94792404574208 94792405468741 140725169742944 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94792405707792 94792405755536 94792409526272 140725169744153 140725169744351 140725169744351 140725169749955 0
/proc/132529/statm: 1048 768 704 219 0 110 0
[pid=132540] ppid=132529 vsize=20568 memory=12932 CPUtime=0.04 cores=4,6
/proc/132540/stat : 132540 (pbsuma) R 132529 132529 132469 0 -1 4194304 2529 0 0 0 3 1 0 0 20 0 1 0 175284567 21061632 3233 18446744073709551615 4210688 4653049 140735062576944 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 4700520 4703148 32088064 140735062583521 140735062583856 140735062583856 140735062589423 0
/proc/132540/statm: 5142 3233 1024 108 0 2550 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 24760 KiB
Current children cumulated memory: 16004 KiB
[startup+0.215678 s]*
/proc/loadavg: 4.13 3.43 3.50 6/276 132542
/proc/meminfo: memFree=127674896/131382112 swapFree=33002444/33010684
[pid=132529] ppid=132520 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/132529/stat : 132529 (run-opt-ls-log.) S 132520 132529 132469 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 175284566 4292608 768 18446744073709551615 94792404574208 94792405468741 140725169742944 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94792405707792 94792405755536 94792409526272 140725169744153 140725169744351 140725169744351 140725169749955 0
/proc/132529/statm: 1048 768 704 219 0 110 0
[pid=132540] ppid=132529 vsize=37456 memory=25456 CPUtime=0.15 cores=4,6
/proc/132540/stat : 132540 (pbsuma) R 132529 132529 132469 0 -1 4194304 7153 0 0 0 12 3 0 0 20 0 1 0 175284567 38354944 6364 18446744073709551615 4210688 4653049 140735062576944 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 32088064 140735062583521 140735062583856 140735062583856 140735062589423 0
/proc/132540/statm: 9364 6364 1056 108 0 6772 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 41648 KiB
Current children cumulated memory: 28528 KiB
[startup+0.315818 s]*
/proc/loadavg: 4.13 3.43 3.50 6/276 132542
/proc/meminfo: memFree=127634836/131382112 swapFree=33002444/33010684
[pid=132529] ppid=132520 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/132529/stat : 132529 (run-opt-ls-log.) S 132520 132529 132469 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 175284566 4292608 768 18446744073709551615 94792404574208 94792405468741 140725169742944 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94792405707792 94792405755536 94792409526272 140725169744153 140725169744351 140725169744351 140725169749955 0
/proc/132529/statm: 1048 768 704 219 0 110 0
[pid=132540] ppid=132529 vsize=55008 memory=38000 CPUtime=0.25 cores=4,6
/proc/132540/stat : 132540 (pbsuma) R 132529 132529 132469 0 -1 4194304 10474 0 0 0 21 4 0 0 20 0 1 0 175284567 56328192 9500 18446744073709551615 4210688 4653049 140735062576944 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 32088064 140735062583521 140735062583856 140735062583856 140735062589423 0
/proc/132540/statm: 13752 9500 1056 108 0 11160 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 59200 KiB
Current children cumulated memory: 41072 KiB
[startup+0.700336 s]
/proc/loadavg: 4.13 3.43 3.50 6/276 132542
/proc/meminfo: memFree=127610644/131382112 swapFree=33002444/33010684
[pid=132529] ppid=132520 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/132529/stat : 132529 (run-opt-ls-log.) S 132520 132529 132469 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 175284566 4292608 768 18446744073709551615 94792404574208 94792405468741 140725169742944 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94792405707792 94792405755536 94792409526272 140725169744153 140725169744351 140725169744351 140725169749955 0
/proc/132529/statm: 1048 768 704 219 0 110 0
[pid=132540] ppid=132529 vsize=38864 memory=27976 CPUtime=0.62 cores=4,6
/proc/132540/stat : 132540 (pbsuma) R 132529 132529 132469 0 -1 4194304 10717 0 0 0 58 4 0 0 20 0 1 0 175284567 39796736 6994 18446744073709551615 4210688 4653049 140735062576944 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 32088064 140735062583521 140735062583856 140735062583856 140735062589423 0
/proc/132540/statm: 9716 6994 1056 108 0 7124 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 43056 KiB
Current children cumulated memory: 31048 KiB
[startup+1.5004 s]
/proc/loadavg: 4.13 3.43 3.50 6/276 132542
/proc/meminfo: memFree=127546888/131382112 swapFree=33002444/33010684
[pid=132529] ppid=132520 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/132529/stat : 132529 (run-opt-ls-log.) S 132520 132529 132469 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 175284566 4292608 768 18446744073709551615 94792404574208 94792405468741 140725169742944 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94792405707792 94792405755536 94792409526272 140725169744153 140725169744351 140725169744351 140725169749955 0
/proc/132529/statm: 1048 768 704 219 0 110 0
[pid=132540] ppid=132529 vsize=40948 memory=29620 CPUtime=1.26 cores=4,6
/proc/132540/stat : 132540 (pbsuma) D 132529 132529 132469 0 -1 4194304 11775 0 0 0 108 18 0 0 20 0 1 0 175284567 41930752 7405 18446744073709551615 4210688 4653049 140735062576944 0 0 0 0 0 0 1 0 0 17 4 0 0 0 0 0 4700520 4703148 32088064 140735062583521 140735062583856 140735062583856 140735062589423 0
/proc/132540/statm: 10237 7405 1056 108 0 7645 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 45140 KiB
Current children cumulated memory: 32692 KiB
[startup+3.11442 s]
/proc/loadavg: 4.13 3.43 3.50 2/276 132542
/proc/meminfo: memFree=127179864/131382112 swapFree=33002444/33010684
[pid=132529] ppid=132520 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/132529/stat : 132529 (run-opt-ls-log.) S 132520 132529 132469 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 175284566 4292608 768 18446744073709551615 94792404574208 94792405468741 140725169742944 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94792405707792 94792405755536 94792409526272 140725169744153 140725169744351 140725169744351 140725169749955 0
/proc/132529/statm: 1048 768 704 219 0 110 0
[pid=132540] ppid=132529 vsize=40948 memory=29620 CPUtime=1.26 cores=4,6
/proc/132540/stat : 132540 (pbsuma) D 132529 132529 132469 0 -1 4194304 11775 0 0 0 108 18 0 0 20 0 1 0 175284567 41930752 7405 18446744073709551615 4210688 4653049 140735062576944 0 0 0 0 0 0 1 0 0 17 4 0 0 0 0 0 4700520 4703148 32088064 140735062583521 140735062583856 140735062583856 140735062589423 0
/proc/132540/statm: 10237 7405 1056 108 0 7645 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 45140 KiB
Current children cumulated memory: 32692 KiB
heavy processes:
[startup+6.30032 s]
/proc/loadavg: 4.12 3.44 3.50 3/276 132542
/proc/meminfo: memFree=127179728/131382112 swapFree=33002444/33010684
[pid=132529] ppid=132520 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/132529/stat : 132529 (run-opt-ls-log.) S 132520 132529 132469 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 175284566 4292608 768 18446744073709551615 94792404574208 94792405468741 140725169742944 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94792405707792 94792405755536 94792409526272 140725169744153 140725169744351 140725169744351 140725169749955 0
/proc/132529/statm: 1048 768 704 219 0 110 0
[pid=132540] ppid=132529 vsize=40948 memory=29620 CPUtime=1.26 cores=4,6
/proc/132540/stat : 132540 (pbsuma) D 132529 132529 132469 0 -1 4194304 11775 0 0 0 108 18 0 0 20 0 1 0 175284567 41930752 7405 18446744073709551615 4210688 4653049 140735062576944 0 0 0 0 0 0 1 0 0 17 4 0 0 0 0 0 4700520 4703148 32088064 140735062583521 140735062583856 140735062583856 140735062589423 0
/proc/132540/statm: 10237 7405 1056 108 0 7645 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 45140 KiB
Current children cumulated memory: 32692 KiB
heavy processes:
[startup+12.7004 s]
/proc/loadavg: 4.11 3.45 3.50 6/276 132547
/proc/meminfo: memFree=126950596/131382112 swapFree=33002444/33010684
[pid=132529] ppid=132520 vsize=4192 memory=3072 CPUtime=1.29 cores=4,6
/proc/132529/stat : 132529 (run-opt-ls-log.) S 132520 132529 132469 0 -1 4194304 244 11778 0 0 0 0 108 21 20 0 1 0 175284566 4292608 768 18446744073709551615 94792404574208 94792405468741 140725169742944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94792405707792 94792405755536 94792409526272 140725169744153 140725169744351 140725169744351 140725169749955 0
/proc/132529/statm: 1048 768 704 219 0 110 0
[pid=132546] ppid=132529 vsize=159604 memory=115504 CPUtime=1.67 cores=4,6
/proc/132546/stat : 132546 (roundingsat) R 132529 132529 132469 0 -1 4194304 19296 0 0 0 146 21 0 0 20 0 1 0 175285664 163434496 28876 18446744073709551615 4227072 8923577 140734140321104 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 30339072 140734140328180 140734140328486 140734140328486 140734140334058 0
/proc/132546/statm: 39901 28876 2304 1147 0 27327 0
Current children cumulated CPU time: 2.96 s
Current children cumulated vsize: 163796 KiB
Current children cumulated memory: 118576 KiB
heavy processes:
[startup+25.5004 s]
/proc/loadavg: 4.08 3.48 3.51 6/275 132547
/proc/meminfo: memFree=126763772/131382112 swapFree=33002444/33010684
[pid=132529] ppid=132520 vsize=4192 memory=3072 CPUtime=1.29 cores=4,6
/proc/132529/stat : 132529 (run-opt-ls-log.) S 132520 132529 132469 0 -1 4194304 244 11778 0 0 0 0 108 21 20 0 1 0 175284566 4292608 768 18446744073709551615 94792404574208 94792405468741 140725169742944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94792405707792 94792405755536 94792409526272 140725169744153 140725169744351 140725169744351 140725169749955 0
/proc/132529/statm: 1048 768 704 219 0 110 0
[pid=132546] ppid=132529 vsize=172228 memory=126204 CPUtime=14.43 cores=4,6
/proc/132546/stat : 132546 (roundingsat) R 132529 132529 132469 0 -1 4194304 22084 0 0 0 1407 36 0 0 20 0 1 0 175285664 176361472 31551 18446744073709551615 4227072 8923577 140734140321104 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 30339072 140734140328180 140734140328486 140734140328486 140734140334058 0
/proc/132546/statm: 43057 31551 2368 1147 0 30483 0
Current children cumulated CPU time: 15.72 s
Current children cumulated vsize: 176420 KiB
Current children cumulated memory: 129276 KiB
heavy processes:
[startup+51.1144 s]
/proc/loadavg: 4.05 3.52 3.53 6/273 132547
/proc/meminfo: memFree=126740328/131382112 swapFree=33002444/33010684
[pid=132529] ppid=132520 vsize=4192 memory=3072 CPUtime=1.29 cores=4,6
/proc/132529/stat : 132529 (run-opt-ls-log.) S 132520 132529 132469 0 -1 4194304 244 11778 0 0 0 0 108 21 20 0 1 0 175284566 4292608 768 18446744073709551615 94792404574208 94792405468741 140725169742944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94792405707792 94792405755536 94792409526272 140725169744153 140725169744351 140725169744351 140725169749955 0
/proc/132529/statm: 1048 768 704 219 0 110 0
[pid=132546] ppid=132529 vsize=192344 memory=144016 CPUtime=39.6 cores=4,6
/proc/132546/stat : 132546 (roundingsat) R 132529 132529 132469 0 -1 4194304 25925 0 0 0 3899 61 0 0 20 0 1 0 175285664 196960256 36004 18446744073709551615 4227072 8923577 140734140321104 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 30339072 140734140328180 140734140328486 140734140328486 140734140334058 0
/proc/132546/statm: 48086 36004 2400 1147 0 35512 0
Current children cumulated CPU time: 40.89 s
Current children cumulated vsize: 196536 KiB
Current children cumulated memory: 147088 KiB
heavy processes:
[startup+102.3 s]
/proc/loadavg: 4.08 3.61 3.56 6/273 132549
/proc/meminfo: memFree=126652720/131382112 swapFree=33002444/33010684
[pid=132529] ppid=132520 vsize=4192 memory=3072 CPUtime=1.29 cores=4,6
/proc/132529/stat : 132529 (run-opt-ls-log.) S 132520 132529 132469 0 -1 4194304 244 11778 0 0 0 0 108 21 20 0 1 0 175284566 4292608 768 18446744073709551615 94792404574208 94792405468741 140725169742944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94792405707792 94792405755536 94792409526272 140725169744153 140725169744351 140725169744351 140725169749955 0
/proc/132529/statm: 1048 768 704 219 0 110 0
[pid=132546] ppid=132529 vsize=197496 memory=150928 CPUtime=90.63 cores=4,6
/proc/132546/stat : 132546 (roundingsat) R 132529 132529 132469 0 -1 4194304 27651 0 0 0 8960 103 0 0 20 0 1 0 175285664 202235904 37732 18446744073709551615 4227072 8923577 140734140321104 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 30339072 140734140328180 140734140328486 140734140328486 140734140334058 0
/proc/132546/statm: 49374 37732 2400 1147 0 36800 0
Current children cumulated CPU time: 91.92 s
Current children cumulated vsize: 201688 KiB
Current children cumulated memory: 154000 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 3.70 3.59 6/273 132551
/proc/meminfo: memFree=126613912/131382112 swapFree=33002444/33010684
[pid=132529] ppid=132520 vsize=4192 memory=3072 CPUtime=1.29 cores=4,6
/proc/132529/stat : 132529 (run-opt-ls-log.) S 132520 132529 132469 0 -1 4194304 244 11778 0 0 0 0 108 21 20 0 1 0 175284566 4292608 768 18446744073709551615 94792404574208 94792405468741 140725169742944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94792405707792 94792405755536 94792409526272 140725169744153 140725169744351 140725169744351 140725169749955 0
/proc/132529/statm: 1048 768 704 219 0 110 0
[pid=132546] ppid=132529 vsize=201744 memory=155152 CPUtime=150.4 cores=4,6
/proc/132546/stat : 132546 (roundingsat) R 132529 132529 132469 0 -1 4194304 28724 0 0 0 14890 150 0 0 20 0 1 0 175285664 206585856 38788 18446744073709551615 4227072 8923577 140734140321104 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 30339072 140734140328180 140734140328486 140734140328486 140734140334058 0
/proc/132546/statm: 50436 38788 2400 1147 0 37862 0
Current children cumulated CPU time: 151.69 s
Current children cumulated vsize: 205936 KiB
Current children cumulated memory: 158224 KiB
[startup+222.3 s]
/proc/loadavg: 4.17 3.80 3.64 6/273 132553
/proc/meminfo: memFree=126558008/131382112 swapFree=33002444/33010684
[pid=132529] ppid=132520 vsize=4192 memory=3072 CPUtime=1.29 cores=4,6
/proc/132529/stat : 132529 (run-opt-ls-log.) S 132520 132529 132469 0 -1 4194304 244 11778 0 0 0 0 108 21 20 0 1 0 175284566 4292608 768 18446744073709551615 94792404574208 94792405468741 140725169742944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94792405707792 94792405755536 94792409526272 140725169744153 140725169744351 140725169744351 140725169749955 0
################
# More data... #
################
[startup+3402.3 s]
/proc/loadavg: 4.13 4.11 4.09 6/259 132723
/proc/meminfo: memFree=123165548/131382112 swapFree=33002444/33010684
[pid=132529] ppid=132520 vsize=4192 memory=3072 CPUtime=1.29 cores=4,6
/proc/132529/stat : 132529 (run-opt-ls-log.) S 132520 132529 132469 0 -1 4194304 244 11778 0 0 0 0 108 21 20 0 1 0 175284566 4292608 768 18446744073709551615 94792404574208 94792405468741 140725169742944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94792405707792 94792405755536 94792409526272 140725169744153 140725169744351 140725169744351 140725169749955 0
/proc/132529/statm: 1048 768 704 219 0 110 0
[pid=132546] ppid=132529 vsize=345268 memory=301248 CPUtime=3357.14 cores=4,6
/proc/132546/stat : 132546 (roundingsat) R 132529 132529 132469 0 -1 4194304 53943 0 0 0 333327 2387 0 0 20 0 1 0 175285664 353554432 75312 18446744073709551615 4227072 8923577 140734140321104 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 30339072 140734140328180 140734140328486 140734140328486 140734140334058 0
/proc/132546/statm: 86317 75312 2496 1147 0 73743 0
Current children cumulated CPU time: 3358.43 s
Current children cumulated vsize: 349460 KiB
Current children cumulated memory: 304320 KiB
[startup+3462.3 s]
/proc/loadavg: 4.18 4.12 4.10 6/258 132727
/proc/meminfo: memFree=123155616/131382112 swapFree=33002444/33010684
[pid=132529] ppid=132520 vsize=4192 memory=3072 CPUtime=1.29 cores=4,6
/proc/132529/stat : 132529 (run-opt-ls-log.) S 132520 132529 132469 0 -1 4194304 244 11778 0 0 0 0 108 21 20 0 1 0 175284566 4292608 768 18446744073709551615 94792404574208 94792405468741 140725169742944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94792405707792 94792405755536 94792409526272 140725169744153 140725169744351 140725169744351 140725169749955 0
/proc/132529/statm: 1048 768 704 219 0 110 0
[pid=132546] ppid=132529 vsize=345268 memory=301248 CPUtime=3416.95 cores=4,6
/proc/132546/stat : 132546 (roundingsat) R 132529 132529 132469 0 -1 4194304 53943 0 0 0 339298 2397 0 0 20 0 1 0 175285664 353554432 75312 18446744073709551615 4227072 8923577 140734140321104 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 30339072 140734140328180 140734140328486 140734140328486 140734140334058 0
/proc/132546/statm: 86317 75312 2496 1147 0 73743 0
Current children cumulated CPU time: 3418.24 s
Current children cumulated vsize: 349460 KiB
Current children cumulated memory: 304320 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.13 4.10 6/258 132734
/proc/meminfo: memFree=123013160/131382112 swapFree=33002444/33010684
[pid=132529] ppid=132520 vsize=4192 memory=3072 CPUtime=1.29 cores=4,6
/proc/132529/stat : 132529 (run-opt-ls-log.) S 132520 132529 132469 0 -1 4194304 244 11778 0 0 0 0 108 21 20 0 1 0 175284566 4292608 768 18446744073709551615 94792404574208 94792405468741 140725169742944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94792405707792 94792405755536 94792409526272 140725169744153 140725169744351 140725169744351 140725169749955 0
/proc/132529/statm: 1048 768 704 219 0 110 0
[pid=132546] ppid=132529 vsize=345268 memory=301248 CPUtime=3476.76 cores=4,6
/proc/132546/stat : 132546 (roundingsat) R 132529 132529 132469 0 -1 4194304 53943 0 0 0 345259 2417 0 0 20 0 1 0 175285664 353554432 75312 18446744073709551615 4227072 8923577 140734140321104 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 30339072 140734140328180 140734140328486 140734140328486 140734140334058 0
/proc/132546/statm: 86317 75312 2496 1147 0 73743 0
Current children cumulated CPU time: 3478.05 s
Current children cumulated vsize: 349460 KiB
Current children cumulated memory: 304320 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.13 4.10 6/258 132736
/proc/meminfo: memFree=122998988/131382112 swapFree=33002444/33010684
[pid=132529] ppid=132520 vsize=4192 memory=3072 CPUtime=1.29 cores=4,6
/proc/132529/stat : 132529 (run-opt-ls-log.) S 132520 132529 132469 0 -1 4194304 244 11778 0 0 0 0 108 21 20 0 1 0 175284566 4292608 768 18446744073709551615 94792404574208 94792405468741 140725169742944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94792405707792 94792405755536 94792409526272 140725169744153 140725169744351 140725169744351 140725169749955 0
/proc/132529/statm: 1048 768 704 219 0 110 0
[pid=132546] ppid=132529 vsize=345268 memory=301248 CPUtime=3536.56 cores=4,6
/proc/132546/stat : 132546 (roundingsat) R 132529 132529 132469 0 -1 4194304 53943 0 0 0 351226 2430 0 0 20 0 1 0 175285664 353554432 75312 18446744073709551615 4227072 8923577 140734140321104 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 30339072 140734140328180 140734140328486 140734140328486 140734140334058 0
/proc/132546/statm: 86317 75312 2496 1147 0 73743 0
Current children cumulated CPU time: 3537.85 s
Current children cumulated vsize: 349460 KiB
Current children cumulated memory: 304320 KiB
[startup+3642.3 s]
/proc/loadavg: 4.25 4.15 4.10 5/258 132833
/proc/meminfo: memFree=125098364/131382112 swapFree=33002444/33010684
[pid=132529] ppid=132520 vsize=4192 memory=3072 CPUtime=1.29 cores=4,6
/proc/132529/stat : 132529 (run-opt-ls-log.) S 132520 132529 132469 0 -1 4194304 244 11778 0 0 0 0 108 21 20 0 1 0 175284566 4292608 768 18446744073709551615 94792404574208 94792405468741 140725169742944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94792405707792 94792405755536 94792409526272 140725169744153 140725169744351 140725169744351 140725169749955 0
/proc/132529/statm: 1048 768 704 219 0 110 0
[pid=132546] ppid=132529 vsize=351540 memory=307520 CPUtime=3596.36 cores=4,6
/proc/132546/stat : 132546 (roundingsat) R 132529 132529 132469 0 -1 4194304 55512 0 0 0 357176 2460 0 0 20 0 1 0 175285664 359976960 76880 18446744073709551615 4227072 8923577 140734140321104 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 30339072 140734140328180 140734140328486 140734140328486 140734140334058 0
/proc/132546/statm: 87885 76880 2496 1147 0 75311 0
Current children cumulated CPU time: 3597.65 s
Current children cumulated vsize: 355732 KiB
Current children cumulated memory: 310592 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3644.7 s]
/proc/loadavg: 4.25 4.15 4.10 5/258 132833
/proc/meminfo: memFree=125098364/131382112 swapFree=33002444/33010684
[pid=132529] ppid=132520 vsize=4192 memory=3072 CPUtime=1.29 cores=4,6
/proc/132529/stat : 132529 (run-opt-ls-log.) S 132520 132529 132469 0 -1 4194304 244 11778 0 0 0 0 108 21 20 0 1 0 175284566 4292608 768 18446744073709551615 94792404574208 94792405468741 140725169742944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94792405707792 94792405755536 94792409526272 140725169744153 140725169744351 140725169744351 140725169749955 0
/proc/132529/statm: 1048 768 704 219 0 110 0
[pid=132546] ppid=132529 vsize=351540 memory=307520 CPUtime=3598.76 cores=4,6
/proc/132546/stat : 132546 (roundingsat) R 132529 132529 132469 0 -1 4194304 55512 0 0 0 357415 2461 0 0 20 0 1 0 175285664 359976960 76880 18446744073709551615 4227072 8923577 140734140321104 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 30339072 140734140328180 140734140328486 140734140328486 140734140334058 0
/proc/132546/statm: 87885 76880 2496 1147 0 75311 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 355732 KiB
Current children cumulated memory: 310592 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3644.71 s]
# the end of solver process 132529 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=1.09043 s, system=0.21483 s
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3646.7 s]
# the end of solver process 132546 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3577.23 s, system=24.835 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3644.81 s]*
/proc/loadavg: 4.25 4.15 4.10 4/252 132841
/proc/meminfo: memFree=125298508/131382112 swapFree=33002444/33010684
[pid=132546] ppid=132520 vsize=351540 memory=307520 CPUtime=3598.87 cores=4,6
/proc/132546/stat : 132546 (roundingsat) R 132520 132529 132469 0 -1 4194304 55512 0 0 0 357426 2461 0 0 20 0 1 0 175285664 359976960 76880 18446744073709551615 4227072 8923577 140734140321104 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 30339072 140734140328180 140734140328486 140734140328486 140734140334058 0
/proc/132546/statm: 87885 76880 2496 1147 0 75311 0
Current cumulated CPU time of completed processes: 1.30526 s
Current children cumulated CPU time: 3598.87 s
Current children cumulated vsize: 351540 KiB
Current children cumulated memory: 307520 KiB
[startup+3645.6 s]
/proc/loadavg: 4.25 4.15 4.10 4/252 132841
/proc/meminfo: memFree=125303692/131382112 swapFree=33002444/33010684
[pid=132546] ppid=132520 vsize=351540 memory=307520 CPUtime=3599.65 cores=4,6
/proc/132546/stat : 132546 (roundingsat) R 132520 132529 132469 0 -1 4194304 55512 0 0 0 357504 2461 0 0 20 0 1 0 175285664 359976960 76880 18446744073709551615 4227072 8923577 140734140321104 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 30339072 140734140328180 140734140328486 140734140328486 140734140334058 0
/proc/132546/statm: 87885 76880 2496 1147 0 75311 0
Current cumulated CPU time of completed processes: 1.30526 s
Current children cumulated CPU time: 3599.65 s
Current children cumulated vsize: 351540 KiB
Current children cumulated memory: 307520 KiB
[startup+3646.4 s]
/proc/loadavg: 4.23 4.15 4.10 5/251 132859
/proc/meminfo: memFree=125245112/131382112 swapFree=33002444/33010684
[pid=132546] ppid=132520 vsize=351540 memory=307520 CPUtime=3600.45 cores=4,6
/proc/132546/stat : 132546 (roundingsat) R 132520 132529 132469 0 -1 4194304 55512 0 0 0 357584 2461 0 0 20 0 1 0 175285664 359976960 76880 18446744073709551615 4227072 8923577 140734140321104 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 30339072 140734140328180 140734140328486 140734140328486 140734140334058 0
/proc/132546/statm: 87885 76880 2496 1147 0 75311 0
Current cumulated CPU time of completed processes: 1.30526 s
Current children cumulated CPU time: 3600.45 s
Current children cumulated vsize: 351540 KiB
Current children cumulated memory: 307520 KiB
[startup+3646.6 s]
/proc/loadavg: 4.23 4.15 4.10 5/251 132859
/proc/meminfo: memFree=125245112/131382112 swapFree=33002444/33010684
[pid=132546] ppid=132520 vsize=351540 memory=307520 CPUtime=3600.65 cores=4,6
/proc/132546/stat : 132546 (roundingsat) R 132520 132529 132469 0 -1 4194304 55512 0 0 0 357604 2461 0 0 20 0 1 0 175285664 359976960 76880 18446744073709551615 4227072 8923577 140734140321104 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 30339072 140734140328180 140734140328486 140734140328486 140734140334058 0
/proc/132546/statm: 87885 76880 2496 1147 0 75311 0
Current cumulated CPU time of completed processes: 1.30526 s
Current children cumulated CPU time: 3600.65 s
Current children cumulated vsize: 351540 KiB
Current children cumulated memory: 307520 KiB
[startup+3646.7 s]
/proc/loadavg: 4.23 4.15 4.10 5/251 132859
/proc/meminfo: memFree=125245112/131382112 swapFree=33002444/33010684
[pid=132546] ppid=132520 vsize=351540 memory=307520 CPUtime=3600.75 cores=4,6
/proc/132546/stat : 132546 (roundingsat) R 132520 132529 132469 0 -1 4194304 55512 0 0 0 357614 2461 0 0 20 0 1 0 175285664 359976960 76880 18446744073709551615 4227072 8923577 140734140321104 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 30339072 140734140328180 140734140328486 140734140328486 140734140334058 0
/proc/132546/statm: 87885 76880 2496 1147 0 75311 0
Current cumulated CPU time of completed processes: 1.30526 s
Current children cumulated CPU time: 3600.75 s
Current children cumulated vsize: 351540 KiB
Current children cumulated memory: 307520 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3646.7
CPU time (s): 3602.07
CPU user time (s): 3577.23
CPU system time (s): 24.835
CPU usage (%): 98.776
Max. virtual memory (cumulated for all children) (KiB): 355732
Max. memory (cumulated for all children) (KiB): 310592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577.23
system time used= 24.835
maximum resident set size= 307520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67534
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1346176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3385
involuntary context switches= 20554
# summary of solver processes directly reported to runsolver:
# pid: 132529,132546
# total CPU time (s): 3602.07
# total CPU user time (s): 3577.23
# total CPU system time (s): 24.835
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.299 second user time and 37.8388 second system time
The end
Begin job on nodeC005 at 2025-07-15 18:14:12
IDJOB=4532084
IDBENCH=158395
IDSOLVER=3392
FILE ID=nodeC005/4532084-1752596052
RUNJOBID= nodeC005-1752596052-132480
SLURM_JOB_ID= 9684366
Free space on /tmp= 431444 MiB
SOLVER NAME= roundingsat-ls+pbsuma-log 0f876b3
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/EmployeeScheduling/normalized-aug6.5.opb
COMMAND LINE= run-opt-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4532084-1752596052/watcher-4532084-1752596052 -o /tmp/evaluation-result-4532084-1752596052/solver-4532084-1752596052 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1752596052-132480 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4532084-1752596052.opb PROOFDIR/proof-4532084-1752596052
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 83ba36613360d6ce9be489830858dbc7
RANDOM SEED=170793801
nodeC005 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 : 0xb00001f
cpu MHz : 1197.237
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90
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 : 0xb00001f
cpu MHz : 1197.219
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90
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 : 0xb00001f
cpu MHz : 1197.658
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90
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 : 0xb00001f
cpu MHz : 2594.174
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90
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 : 0xb00001f
cpu MHz : 1197.567
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90
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 : 0xb00001f
cpu MHz : 1197.245
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90
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 : 0xb00001f
cpu MHz : 1197.243
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90
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 : 0xb00001f
cpu MHz : 1197.744
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 127706388 kB
MemAvailable: 129884204 kB
Buffers: 12 kB
Cached: 2956692 kB
SwapCached: 244 kB
Active: 347160 kB
Inactive: 2673336 kB
Active(anon): 45456 kB
Inactive(anon): 39452 kB
Active(file): 301704 kB
Inactive(file): 2633884 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33002444 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 33880 kB
Writeback: 8 kB
AnonPages: 66696 kB
Mapped: 102796 kB
Shmem: 21084 kB
KReclaimable: 163708 kB
Slab: 255504 kB
SReclaimable: 163708 kB
SUnreclaim: 91796 kB
KernelStack: 4160 kB
PageTables: 2900 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 349688 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149592 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 8192 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: 201544 kB
DirectMap2M: 8089600 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 431324 MiB
End job on nodeC005 at 2025-07-15 19:14:59