0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4532265-1752600193.opb'
0.00/0.03 c read 1.36MB (20.41ms)
0.00/0.03 c [cnf: #variables 35169 #clauses 28730 #duplicates 0 #arr 120617]
0.00/0.03 c output proof to 'PROOFDIR/proof-4532265-1752600193'
0.00/0.03 c
0.00/0.03 c make graph and approximate orbits
0.00/0.07 c [group: #orbits ~= 9264] (39.50ms)
0.00/0.07 c
0.00/0.07 c detect special group actions
0.00/0.07 c probe for Johnson action (limit=64)
0.00/0.09 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.09 c probe for row symmetry (limit=64, splits=16.78M)
1.08/1.11 c (1042.06ms)
1.08/1.11 c
1.08/1.11 c detect symmetries on remainder
1.08/1.11 c [graph: #vertices 169293 #edges 452022]
1.08/1.11 c dejavu (support_limit=2048.00MB, budget_limit=64)
1.18/1.20 c [group: #symmetries 8.00*10^0 #generators 3] (94.30ms)
1.18/1.20 c
1.18/1.20 c optimize generators (opt_passes=64, conjugate_limit=256)
1.18/1.20 c (0.11ms)
1.18/1.20 c
1.18/1.20 c finalize break order and special generators
1.18/1.21 c
1.18/1.21 c add generic predicates (break_depth=20)
1.18/1.21 c added predicates for 3 generators (0.66ms)
1.18/1.21 c
1.18/1.21 c generation finished
1.18/1.21 c [sbp: #constraints 0 #add_vars 0]
1.18/1.21 c
1.18/1.21 c write result to 'HOME/instance-4532265-1752600193.opb.pre'
1.18/1.21 c wrote 1.39MB (3.29ms)
1.18/1.21 c ------------------------------------------------------------------
1.18/1.21 c 1042.06ms 86.28% detect_special
1.18/1.21 c 94.30ms 7.81% detect_generic
1.18/1.21 c 39.50ms 3.27% approx_orbits
1.18/1.21 c 20.41ms 1.69% parse
1.18/1.21 c 4.90ms 0.41% other
1.18/1.21 c 3.29ms 0.27% output
1.18/1.21 c 2.47ms 0.20% finalize_order
1.18/1.21 c 0.66ms 0.05% break_generic
1.18/1.21 c 0.11ms 0.01% optimize_gens
1.18/1.21 c ───────────────────────────────────────────────
1.18/1.21 c 1207.71ms 100% total
1.18/1.21 c ------------------------------------------------------------------
1.18/1.23 c RoundingSat 2
1.18/1.23 c branch pb25
1.18/1.23 c commit 0f876b3
1.20/1.44 c #variables 35169 #constraints 28953
1.20/1.44 c objective is ce32
1.20/1.62 c initial watched CF 32, 64, 128, Arb: 112 , 0 , 0 , 0
1.20/1.62 c initial counting CF 32, 64, 128, Arb: 22177 , 0 , 0 , 0
1.20/1.62 c bounds - >= 0 @ 0.349281
11.13/11.20 c #Conflicts: 1000 | #Constraints: 29952
11.13/11.20 c #Conflicts: 2000 | #Constraints: 30952
11.13/11.20 c INPROCESSING
11.13/11.20 c GARBAGE COLLECT
11.13/11.20 c #Conflicts: 3000 | #Constraints: 30982
11.13/11.20 c #Conflicts: 4000 | #Constraints: 31982
11.13/11.20 c INPROCESSING
11.13/11.20 c GARBAGE COLLECT
11.13/11.20 c #Conflicts: 5000 | #Constraints: 31396
11.13/11.20 c #Conflicts: 6000 | #Constraints: 32396
11.13/11.20 c INPROCESSING
11.13/11.20 c GARBAGE COLLECT
11.13/11.20 c rational objective 0
16.52/16.68 c #Conflicts: 7000 | #Constraints: 31471
16.52/16.68 c #Conflicts: 8000 | #Constraints: 32471
16.52/16.68 c #Conflicts: 9000 | #Constraints: 33471
16.52/16.68 c INPROCESSING
16.52/16.68 c GARBAGE COLLECT
16.52/16.68 c rational objective 0
35.74/36.04 c #Conflicts: 10000 | #Constraints: 32200
35.74/36.04 c #Conflicts: 11000 | #Constraints: 33200
35.74/36.04 c #Conflicts: 12000 | #Constraints: 34200
35.74/36.04 c INPROCESSING
35.74/36.04 c GARBAGE COLLECT
35.74/36.04 c #Conflicts: 13000 | #Constraints: 32632
35.74/36.04 c #Conflicts: 14000 | #Constraints: 33632
35.74/36.04 c #Conflicts: 15000 | #Constraints: 34633
35.74/36.04 c INPROCESSING
35.74/36.04 c GARBAGE COLLECT
35.74/36.04 c #Conflicts: 16000 | #Constraints: 32858
35.74/36.04 c #Conflicts: 17000 | #Constraints: 33858
35.74/36.04 c #Conflicts: 18000 | #Constraints: 34859
35.74/36.04 c INPROCESSING
35.74/36.04 c GARBAGE COLLECT
35.74/36.04 c rational objective 0
48.30/48.61 c #Conflicts: 19000 | #Constraints: 32898
48.30/48.61 c #Conflicts: 20000 | #Constraints: 33899
48.30/48.61 c #Conflicts: 21000 | #Constraints: 34899
48.30/48.61 c INPROCESSING
48.30/48.61 c GARBAGE COLLECT
48.30/48.61 c #Conflicts: 22000 | #Constraints: 32701
48.30/48.61 c #Conflicts: 23000 | #Constraints: 33704
48.30/48.61 c #Conflicts: 24000 | #Constraints: 34705
48.30/48.61 c #Conflicts: 25000 | #Constraints: 35705
48.30/48.61 c INPROCESSING
48.30/48.61 c GARBAGE COLLECT
48.30/48.61 c rational objective 0
56.49/56.80 c #Conflicts: 26000 | #Constraints: 33332
56.49/56.80 c #Conflicts: 27000 | #Constraints: 34334
56.49/56.80 c #Conflicts: 28000 | #Constraints: 35335
56.49/56.80 c #Conflicts: 29000 | #Constraints: 36335
56.49/56.80 c INPROCESSING
56.49/56.80 c GARBAGE COLLECT
56.49/56.80 c rational objective 0
69.25/69.63 c #Conflicts: 30000 | #Constraints: 33777
69.25/69.63 c #Conflicts: 31000 | #Constraints: 34777
69.25/69.63 c #Conflicts: 32000 | #Constraints: 35777
69.25/69.63 c #Conflicts: 33000 | #Constraints: 36777
69.25/69.63 c INPROCESSING
69.25/69.63 c GARBAGE COLLECT
69.25/69.63 c rational objective 0
92.18/92.69 c #Conflicts: 34000 | #Constraints: 33973
92.18/92.69 c #Conflicts: 35000 | #Constraints: 34973
92.18/92.69 c #Conflicts: 36000 | #Constraints: 35973
92.18/92.69 c #Conflicts: 37000 | #Constraints: 36973
92.18/92.69 c INPROCESSING
92.18/92.69 c GARBAGE COLLECT
92.18/92.69 c #Conflicts: 38000 | #Constraints: 33948
92.18/92.69 c #Conflicts: 39000 | #Constraints: 34948
92.18/92.69 c #Conflicts: 40000 | #Constraints: 35948
92.18/92.69 c #Conflicts: 41000 | #Constraints: 36948
92.18/92.69 c INPROCESSING
92.18/92.69 c GARBAGE COLLECT
92.18/92.69 c #Conflicts: 42000 | #Constraints: 33736
92.18/92.69 c #Conflicts: 43000 | #Constraints: 34737
92.18/92.69 c #Conflicts: 44000 | #Constraints: 35743
92.18/92.69 c #Conflicts: 45000 | #Constraints: 36753
92.18/92.69 c #Conflicts: 46000 | #Constraints: 37753
92.18/92.69 c INPROCESSING
92.18/92.69 c GARBAGE COLLECT
92.18/92.69 c rational objective 0
103.49/104.04 c #Conflicts: 47000 | #Constraints: 34366
103.49/104.04 c #Conflicts: 48000 | #Constraints: 35366
103.49/104.04 c #Conflicts: 49000 | #Constraints: 36366
103.49/104.04 c #Conflicts: 50000 | #Constraints: 37366
103.49/104.04 c #Conflicts: 51000 | #Constraints: 38366
103.49/104.04 c INPROCESSING
103.49/104.04 c GARBAGE COLLECT
103.49/104.04 c rational objective 0
118.55/119.19 c #Conflicts: 52000 | #Constraints: 34778
118.55/119.19 c #Conflicts: 53000 | #Constraints: 35778
118.55/119.19 c #Conflicts: 54000 | #Constraints: 36779
118.55/119.19 c #Conflicts: 55000 | #Constraints: 37779
118.55/119.19 c #Conflicts: 56000 | #Constraints: 38779
118.55/119.19 c INPROCESSING
118.55/119.19 c GARBAGE COLLECT
118.55/119.19 c #Conflicts: 57000 | #Constraints: 34961
118.55/119.19 c #Conflicts: 58000 | #Constraints: 35961
118.55/119.19 c #Conflicts: 59000 | #Constraints: 36961
118.55/119.19 c #Conflicts: 60000 | #Constraints: 37961
118.55/119.19 c #Conflicts: 61000 | #Constraints: 38961
118.55/119.19 c INPROCESSING
118.55/119.19 c GARBAGE COLLECT
118.55/119.19 c rational objective 0
127.12/129.01 c #Conflicts: 62000 | #Constraints: 34979
127.12/129.01 c #Conflicts: 63000 | #Constraints: 35979
127.12/129.01 c #Conflicts: 64000 | #Constraints: 36979
127.12/129.01 c #Conflicts: 65000 | #Constraints: 37982
127.12/129.01 c #Conflicts: 66000 | #Constraints: 38982
127.12/129.01 c INPROCESSING
127.12/129.01 c GARBAGE COLLECT
127.12/129.01 c rational objective 0
139.98/141.93 c #Conflicts: 67000 | #Constraints: 34792
139.98/141.93 c #Conflicts: 68000 | #Constraints: 35792
139.98/141.93 c #Conflicts: 69000 | #Constraints: 36792
139.98/141.93 c #Conflicts: 70000 | #Constraints: 37792
139.98/141.93 c #Conflicts: 71000 | #Constraints: 38792
139.98/141.93 c #Conflicts: 72000 | #Constraints: 39792
139.98/141.93 c INPROCESSING
139.98/141.93 c GARBAGE COLLECT
139.98/141.93 c rational objective 0
150.75/152.75 c #Conflicts: 73000 | #Constraints: 35430
150.75/152.75 c #Conflicts: 74000 | #Constraints: 36433
150.75/152.75 c #Conflicts: 75000 | #Constraints: 37435
150.75/152.75 c #Conflicts: 76000 | #Constraints: 38438
150.75/152.75 c #Conflicts: 77000 | #Constraints: 39442
150.75/152.75 c #Conflicts: 78000 | #Constraints: 40445
150.75/152.75 c INPROCESSING
150.75/152.75 c GARBAGE COLLECT
150.75/152.75 c rational objective 0
176.23/178.36 c #Conflicts: 79000 | #Constraints: 35849
176.23/178.36 c #Conflicts: 80000 | #Constraints: 36852
176.23/178.36 c #Conflicts: 81000 | #Constraints: 37853
176.23/178.36 c #Conflicts: 82000 | #Constraints: 38853
176.23/178.36 c #Conflicts: 83000 | #Constraints: 39853
176.23/178.36 c #Conflicts: 84000 | #Constraints: 40853
176.23/178.36 c INPROCESSING
176.23/178.36 c GARBAGE COLLECT
176.23/178.36 c #Conflicts: 85000 | #Constraints: 35997
176.23/178.36 c #Conflicts: 86000 | #Constraints: 36999
176.23/178.36 c #Conflicts: 87000 | #Constraints: 38003
176.23/178.36 c #Conflicts: 88000 | #Constraints: 39006
176.23/178.36 c #Conflicts: 89000 | #Constraints: 40007
176.23/178.36 c #Conflicts: 90000 | #Constraints: 41009
176.23/178.36 c INPROCESSING
176.23/178.36 c GARBAGE COLLECT
176.23/178.36 c rational objective 0
187.00/189.22 c #Conflicts: 91000 | #Constraints: 36037
187.00/189.22 c #Conflicts: 92000 | #Constraints: 37037
187.00/189.22 c #Conflicts: 93000 | #Constraints: 38037
187.00/189.22 c #Conflicts: 94000 | #Constraints: 39037
187.00/189.22 c #Conflicts: 95000 | #Constraints: 40037
187.00/189.22 c #Conflicts: 96000 | #Constraints: 41038
187.00/189.22 c INPROCESSING
187.00/189.22 c GARBAGE COLLECT
187.00/189.22 c rational objective 0
201.87/204.15 c #Conflicts: 97000 | #Constraints: 35828
201.87/204.15 c #Conflicts: 98000 | #Constraints: 36828
201.87/204.15 c #Conflicts: 99000 | #Constraints: 37828
201.87/204.15 c #Conflicts: 100000 | #Constraints: 38829
201.87/204.15 c #Conflicts: 101000 | #Constraints: 39829
201.87/204.15 c #Conflicts: 102000 | #Constraints: 40829
201.87/204.15 c #Conflicts: 103000 | #Constraints: 41829
201.87/204.15 c INPROCESSING
201.87/204.15 c GARBAGE COLLECT
201.87/204.15 c rational objective 0
211.94/214.29 c #Conflicts: 104000 | #Constraints: 36408
211.94/214.29 c #Conflicts: 105000 | #Constraints: 37409
211.94/214.29 c #Conflicts: 106000 | #Constraints: 38410
211.94/214.29 c #Conflicts: 107000 | #Constraints: 39410
211.94/214.29 c #Conflicts: 108000 | #Constraints: 40410
211.94/214.29 c #Conflicts: 109000 | #Constraints: 41410
211.94/214.29 c #Conflicts: 110000 | #Constraints: 42410
211.94/214.29 c INPROCESSING
211.94/214.29 c GARBAGE COLLECT
211.94/214.29 c rational objective 0
222.02/224.37 c #Conflicts: 111000 | #Constraints: 36875
222.02/224.37 c #Conflicts: 112000 | #Constraints: 37875
222.02/224.37 c #Conflicts: 113000 | #Constraints: 38875
222.02/224.37 c #Conflicts: 114000 | #Constraints: 39875
222.02/224.37 c #Conflicts: 115000 | #Constraints: 40875
222.02/224.37 c #Conflicts: 116000 | #Constraints: 41875
222.02/224.37 c #Conflicts: 117000 | #Constraints: 42875
222.02/224.37 c INPROCESSING
222.02/224.37 c GARBAGE COLLECT
222.02/224.37 c rational objective 0
237.98/240.37 c #Conflicts: 118000 | #Constraints: 37070
237.98/240.37 c #Conflicts: 119000 | #Constraints: 38070
237.98/240.37 c #Conflicts: 120000 | #Constraints: 39070
237.98/240.37 c #Conflicts: 121000 | #Constraints: 40070
237.98/240.37 c #Conflicts: 122000 | #Constraints: 41070
237.98/240.37 c #Conflicts: 123000 | #Constraints: 42070
237.98/240.37 c #Conflicts: 124000 | #Constraints: 43071
237.98/240.37 c INPROCESSING
237.98/240.37 c GARBAGE COLLECT
237.98/240.37 c rational objective 0
248.41/250.83 c #Conflicts: 125000 | #Constraints: 37094
248.41/250.83 c #Conflicts: 126000 | #Constraints: 38094
248.41/250.83 c #Conflicts: 127000 | #Constraints: 39094
248.41/250.83 c #Conflicts: 128000 | #Constraints: 40096
248.41/250.83 c #Conflicts: 129000 | #Constraints: 41098
248.41/250.83 c #Conflicts: 130000 | #Constraints: 42100
248.41/250.83 c #Conflicts: 131000 | #Constraints: 43100
248.41/250.83 c INPROCESSING
248.41/250.83 c GARBAGE COLLECT
248.41/250.83 c rational objective 0
260.29/262.75 c #Conflicts: 132000 | #Constraints: 36890
260.29/262.75 c #Conflicts: 133000 | #Constraints: 37890
260.29/262.75 c #Conflicts: 134000 | #Constraints: 38893
260.29/262.75 c #Conflicts: 135000 | #Constraints: 39896
260.29/262.75 c #Conflicts: 136000 | #Constraints: 40896
260.29/262.75 c #Conflicts: 137000 | #Constraints: 41898
260.29/262.75 c #Conflicts: 138000 | #Constraints: 42898
260.29/262.75 c #Conflicts: 139000 | #Constraints: 43898
260.29/262.75 c INPROCESSING
260.29/262.75 c GARBAGE COLLECT
260.29/262.75 c rational objective 0
273.05/275.60 c #Conflicts: 140000 | #Constraints: 37526
273.05/275.60 c #Conflicts: 141000 | #Constraints: 38527
273.05/275.60 c #Conflicts: 142000 | #Constraints: 39527
273.05/275.60 c #Conflicts: 143000 | #Constraints: 40527
273.05/275.60 c #Conflicts: 144000 | #Constraints: 41527
273.05/275.60 c #Conflicts: 145000 | #Constraints: 42527
273.05/275.60 c #Conflicts: 146000 | #Constraints: 43527
273.05/275.60 c #Conflicts: 147000 | #Constraints: 44527
273.05/275.60 c INPROCESSING
273.05/275.60 c GARBAGE COLLECT
273.05/275.60 c rational objective 0
295.72/298.36 c #Conflicts: 148000 | #Constraints: 37901
295.72/298.36 c #Conflicts: 149000 | #Constraints: 38901
295.72/298.36 c #Conflicts: 150000 | #Constraints: 39901
295.72/298.36 c #Conflicts: 151000 | #Constraints: 40901
295.72/298.36 c #Conflicts: 152000 | #Constraints: 41901
295.72/298.36 c #Conflicts: 153000 | #Constraints: 42901
295.72/298.36 c #Conflicts: 154000 | #Constraints: 43901
295.72/298.36 c #Conflicts: 155000 | #Constraints: 44901
295.72/298.36 c INPROCESSING
295.72/298.36 c GARBAGE COLLECT
295.72/298.36 c rational objective 0
308.19/310.82 c #Conflicts: 156000 | #Constraints: 38117
308.19/310.82 c #Conflicts: 157000 | #Constraints: 39117
308.19/310.82 c #Conflicts: 158000 | #Constraints: 40117
308.19/310.82 c #Conflicts: 159000 | #Constraints: 41117
308.19/310.82 c #Conflicts: 160000 | #Constraints: 42117
308.19/310.82 c #Conflicts: 161000 | #Constraints: 43117
308.19/310.82 c #Conflicts: 162000 | #Constraints: 44117
308.19/310.82 c #Conflicts: 163000 | #Constraints: 45117
308.19/310.82 c INPROCESSING
308.19/310.82 c GARBAGE COLLECT
308.19/310.82 c rational objective 0
321.96/324.60 c #Conflicts: 164000 | #Constraints: 38113
321.96/324.60 c #Conflicts: 165000 | #Constraints: 39113
321.96/324.60 c #Conflicts: 166000 | #Constraints: 40113
321.96/324.60 c #Conflicts: 167000 | #Constraints: 41113
321.96/324.60 c #Conflicts: 168000 | #Constraints: 42113
321.96/324.60 c #Conflicts: 169000 | #Constraints: 43113
321.96/324.60 c #Conflicts: 170000 | #Constraints: 44113
321.96/324.60 c #Conflicts: 171000 | #Constraints: 45113
321.96/324.60 c INPROCESSING
321.96/324.60 c GARBAGE COLLECT
321.96/324.60 c rational objective 0
335.34/338.06 c #Conflicts: 172000 | #Constraints: 37892
335.34/338.06 c #Conflicts: 173000 | #Constraints: 38892
335.34/338.06 c #Conflicts: 174000 | #Constraints: 39892
335.34/338.06 c #Conflicts: 175000 | #Constraints: 40893
335.34/338.06 c #Conflicts: 176000 | #Constraints: 41898
335.34/338.06 c #Conflicts: 177000 | #Constraints: 42899
335.34/338.06 c #Conflicts: 178000 | #Constraints: 43902
335.34/338.06 c #Conflicts: 179000 | #Constraints: 44902
335.34/338.06 c #Conflicts: 180000 | #Constraints: 45902
335.34/338.06 c INPROCESSING
335.34/338.06 c GARBAGE COLLECT
335.34/338.06 c rational objective 0
348.25/351.20 c #Conflicts: 181000 | #Constraints: 38512
348.25/351.20 c #Conflicts: 182000 | #Constraints: 39512
348.25/351.20 c #Conflicts: 183000 | #Constraints: 40512
348.25/351.20 c #Conflicts: 184000 | #Constraints: 41512
348.25/351.20 c #Conflicts: 185000 | #Constraints: 42512
348.25/351.20 c #Conflicts: 186000 | #Constraints: 43512
348.25/351.20 c #Conflicts: 187000 | #Constraints: 44512
348.25/351.20 c #Conflicts: 188000 | #Constraints: 45512
348.25/351.20 c #Conflicts: 189000 | #Constraints: 46513
348.25/351.20 c INPROCESSING
348.25/351.20 c GARBAGE COLLECT
348.25/351.20 c rational objective 1.29247e-26
380.37/383.63 c #Conflicts: 190000 | #Constraints: 38890
380.37/383.63 c #Conflicts: 191000 | #Constraints: 39890
380.37/383.63 c #Conflicts: 192000 | #Constraints: 40890
380.37/383.63 c #Conflicts: 193000 | #Constraints: 41890
380.37/383.63 c #Conflicts: 194000 | #Constraints: 42896
380.37/383.63 c #Conflicts: 195000 | #Constraints: 43901
380.37/383.63 c #Conflicts: 196000 | #Constraints: 44901
380.37/383.63 c #Conflicts: 197000 | #Constraints: 45901
380.37/383.63 c #Conflicts: 198000 | #Constraints: 46901
380.37/383.63 c INPROCESSING
380.37/383.63 c GARBAGE COLLECT
380.37/383.63 c #Conflicts: 199000 | #Constraints: 39061
380.37/383.63 c #Conflicts: 200000 | #Constraints: 40061
380.37/383.63 c #Conflicts: 201000 | #Constraints: 41061
380.37/383.63 c #Conflicts: 202000 | #Constraints: 42062
380.37/383.63 c #Conflicts: 203000 | #Constraints: 43062
380.37/383.63 c #Conflicts: 204000 | #Constraints: 44062
380.37/383.63 c #Conflicts: 205000 | #Constraints: 45062
380.37/383.63 c #Conflicts: 206000 | #Constraints: 46062
380.37/383.63 c #Conflicts: 207000 | #Constraints: 47062
380.37/383.63 c INPROCESSING
380.37/383.63 c GARBAGE COLLECT
380.37/383.63 c rational objective 0
398.93/402.21 c #Conflicts: 208000 | #Constraints: 39042
398.93/402.21 c #Conflicts: 209000 | #Constraints: 40042
398.93/402.21 c #Conflicts: 210000 | #Constraints: 41042
398.93/402.21 c #Conflicts: 211000 | #Constraints: 42042
398.93/402.21 c #Conflicts: 212000 | #Constraints: 43042
398.93/402.21 c #Conflicts: 213000 | #Constraints: 44042
398.93/402.21 c #Conflicts: 214000 | #Constraints: 45046
398.93/402.21 c #Conflicts: 215000 | #Constraints: 46046
398.93/402.21 c #Conflicts: 216000 | #Constraints: 47051
398.93/402.21 c INPROCESSING
398.93/402.21 c GARBAGE COLLECT
398.93/402.21 c rational objective 0
425.75/429.21 c #Conflicts: 217000 | #Constraints: 38901
425.75/429.21 c #Conflicts: 218000 | #Constraints: 39902
425.75/429.21 c #Conflicts: 219000 | #Constraints: 40905
425.75/429.21 c #Conflicts: 220000 | #Constraints: 41912
425.75/429.21 c #Conflicts: 221000 | #Constraints: 42916
425.75/429.21 c #Conflicts: 222000 | #Constraints: 43919
425.75/429.21 c #Conflicts: 223000 | #Constraints: 44924
425.75/429.21 c #Conflicts: 224000 | #Constraints: 45926
425.75/429.21 c #Conflicts: 225000 | #Constraints: 46929
425.75/429.21 c #Conflicts: 226000 | #Constraints: 47929
425.75/429.21 c INPROCESSING
425.75/429.21 c GARBAGE COLLECT
425.75/429.21 c rational objective 0
447.05/450.79 c #Conflicts: 227000 | #Constraints: 39495
447.05/450.79 c #Conflicts: 228000 | #Constraints: 40495
447.05/450.79 c #Conflicts: 229000 | #Constraints: 41495
447.05/450.79 c #Conflicts: 230000 | #Constraints: 42496
447.05/450.79 c #Conflicts: 231000 | #Constraints: 43496
447.05/450.79 c #Conflicts: 232000 | #Constraints: 44496
447.05/450.79 c #Conflicts: 233000 | #Constraints: 45497
447.05/450.79 c #Conflicts: 234000 | #Constraints: 46497
447.05/450.79 c #Conflicts: 235000 | #Constraints: 47497
447.05/450.79 c #Conflicts: 236000 | #Constraints: 48498
447.05/450.79 c INPROCESSING
447.05/450.79 c GARBAGE COLLECT
447.05/450.79 c rational objective 0
463.41/472.84 c #Conflicts: 237000 | #Constraints: 39917
463.41/472.84 c #Conflicts: 238000 | #Constraints: 40917
463.41/472.84 c #Conflicts: 239000 | #Constraints: 41917
463.41/472.84 c #Conflicts: 240000 | #Constraints: 42918
463.41/472.84 c #Conflicts: 241000 | #Constraints: 43918
463.41/472.84 c #Conflicts: 242000 | #Constraints: 44920
463.41/472.84 c #Conflicts: 243000 | #Constraints: 45922
463.41/472.84 c #Conflicts: 244000 | #Constraints: 46922
463.41/472.84 c #Conflicts: 245000 | #Constraints: 47922
463.41/472.84 c #Conflicts: 246000 | #Constraints: 48922
463.41/472.84 c INPROCESSING
463.41/472.84 c GARBAGE COLLECT
463.41/472.84 c rational objective 0
477.78/487.23 c #Conflicts: 247000 | #Constraints: 40098
477.78/487.23 c #Conflicts: 248000 | #Constraints: 41098
477.78/487.23 c #Conflicts: 249000 | #Constraints: 42098
477.78/487.23 c #Conflicts: 250000 | #Constraints: 43099
477.78/487.23 c #Conflicts: 251000 | #Constraints: 44099
477.78/487.23 c #Conflicts: 252000 | #Constraints: 45099
477.78/487.23 c #Conflicts: 253000 | #Constraints: 46099
477.78/487.23 c #Conflicts: 254000 | #Constraints: 47100
477.78/487.23 c #Conflicts: 255000 | #Constraints: 48101
477.78/487.23 c #Conflicts: 256000 | #Constraints: 49104
477.78/487.23 c INPROCESSING
477.78/487.23 c GARBAGE COLLECT
477.78/487.23 c rational objective 0
494.25/503.94 c #Conflicts: 257000 | #Constraints: 40119
494.25/503.94 c #Conflicts: 258000 | #Constraints: 41121
494.25/503.94 c #Conflicts: 259000 | #Constraints: 42121
494.25/503.94 c #Conflicts: 260000 | #Constraints: 43122
494.25/503.94 c #Conflicts: 261000 | #Constraints: 44127
494.25/503.94 c #Conflicts: 262000 | #Constraints: 45128
494.25/503.94 c #Conflicts: 263000 | #Constraints: 46128
494.25/503.94 c #Conflicts: 264000 | #Constraints: 47128
494.25/503.94 c #Conflicts: 265000 | #Constraints: 48128
494.25/503.94 c #Conflicts: 266000 | #Constraints: 49128
494.25/503.94 c INPROCESSING
494.25/503.94 c GARBAGE COLLECT
494.25/503.94 c rational objective 0
512.01/521.79 c #Conflicts: 267000 | #Constraints: 39926
512.01/521.79 c #Conflicts: 268000 | #Constraints: 40926
512.01/521.79 c #Conflicts: 269000 | #Constraints: 41927
512.01/521.79 c #Conflicts: 270000 | #Constraints: 42927
512.01/521.79 c #Conflicts: 271000 | #Constraints: 43927
512.01/521.79 c #Conflicts: 272000 | #Constraints: 44927
512.01/521.79 c #Conflicts: 273000 | #Constraints: 45928
512.01/521.79 c #Conflicts: 274000 | #Constraints: 46929
512.01/521.79 c #Conflicts: 275000 | #Constraints: 47933
512.01/521.79 c #Conflicts: 276000 | #Constraints: 48938
512.01/521.79 c #Conflicts: 277000 | #Constraints: 49944
512.01/521.79 c INPROCESSING
512.01/521.79 c GARBAGE COLLECT
512.01/521.79 c rational objective 0
529.99/540.02 c #Conflicts: 278000 | #Constraints: 40512
529.99/540.02 c #Conflicts: 279000 | #Constraints: 41512
529.99/540.02 c #Conflicts: 280000 | #Constraints: 42512
529.99/540.02 c #Conflicts: 281000 | #Constraints: 43512
529.99/540.02 c #Conflicts: 282000 | #Constraints: 44512
529.99/540.02 c #Conflicts: 283000 | #Constraints: 45512
529.99/540.02 c #Conflicts: 284000 | #Constraints: 46512
529.99/540.02 c #Conflicts: 285000 | #Constraints: 47512
529.99/540.02 c #Conflicts: 286000 | #Constraints: 48512
529.99/540.02 c #Conflicts: 287000 | #Constraints: 49512
529.99/540.02 c #Conflicts: 288000 | #Constraints: 50512
529.99/540.02 c INPROCESSING
529.99/540.02 c GARBAGE COLLECT
529.99/540.02 c rational objective 0
546.06/556.11 c #Conflicts: 289000 | #Constraints: 40924
546.06/556.11 c #Conflicts: 290000 | #Constraints: 41926
546.06/556.11 c #Conflicts: 291000 | #Constraints: 42927
546.06/556.11 c #Conflicts: 292000 | #Constraints: 43928
546.06/556.11 c #Conflicts: 293000 | #Constraints: 44930
546.06/556.11 c #Conflicts: 294000 | #Constraints: 45930
546.06/556.11 c #Conflicts: 295000 | #Constraints: 46930
546.06/556.11 c #Conflicts: 296000 | #Constraints: 47930
546.06/556.11 c #Conflicts: 297000 | #Constraints: 48931
546.06/556.11 c #Conflicts: 298000 | #Constraints: 49932
546.06/556.11 c #Conflicts: 299000 | #Constraints: 50933
546.06/556.11 c INPROCESSING
546.06/556.11 c GARBAGE COLLECT
546.06/556.11 c rational objective 0
580.81/591.04 c #Conflicts: 300000 | #Constraints: 41155
580.81/591.04 c #Conflicts: 301000 | #Constraints: 42155
580.81/591.04 c #Conflicts: 302000 | #Constraints: 43155
580.81/591.04 c #Conflicts: 303000 | #Constraints: 44155
580.81/591.04 c #Conflicts: 304000 | #Constraints: 45155
580.81/591.04 c #Conflicts: 305000 | #Constraints: 46155
580.81/591.04 c #Conflicts: 306000 | #Constraints: 47155
580.81/591.04 c #Conflicts: 307000 | #Constraints: 48155
580.81/591.04 c #Conflicts: 308000 | #Constraints: 49155
580.81/591.04 c #Conflicts: 309000 | #Constraints: 50155
580.81/591.04 c #Conflicts: 310000 | #Constraints: 51155
580.81/591.04 c INPROCESSING
580.81/591.04 c GARBAGE COLLECT
580.81/591.04 c rational objective 0
597.55/607.84 c #Conflicts: 311000 | #Constraints: 41187
597.55/607.84 c #Conflicts: 312000 | #Constraints: 42187
597.55/607.84 c #Conflicts: 313000 | #Constraints: 43187
597.55/607.84 c #Conflicts: 314000 | #Constraints: 44187
597.55/607.84 c #Conflicts: 315000 | #Constraints: 45187
597.55/607.84 c #Conflicts: 316000 | #Constraints: 46187
597.55/607.84 c #Conflicts: 317000 | #Constraints: 47187
597.55/607.84 c #Conflicts: 318000 | #Constraints: 48187
597.55/607.84 c #Conflicts: 319000 | #Constraints: 49187
597.55/607.84 c #Conflicts: 320000 | #Constraints: 50187
597.55/607.84 c #Conflicts: 321000 | #Constraints: 51187
597.55/607.84 c INPROCESSING
597.55/607.84 c GARBAGE COLLECT
597.55/607.84 c rational objective 0
615.14/625.50 c #Conflicts: 322000 | #Constraints: 40962
615.14/625.50 c #Conflicts: 323000 | #Constraints: 41966
615.14/625.50 c #Conflicts: 324000 | #Constraints: 42969
615.14/625.50 c #Conflicts: 325000 | #Constraints: 43969
615.14/625.50 c #Conflicts: 326000 | #Constraints: 44969
615.14/625.50 c #Conflicts: 327000 | #Constraints: 45969
615.14/625.50 c #Conflicts: 328000 | #Constraints: 46970
615.14/625.50 c #Conflicts: 329000 | #Constraints: 47970
615.14/625.50 c #Conflicts: 330000 | #Constraints: 48970
615.14/625.50 c #Conflicts: 331000 | #Constraints: 49972
615.14/625.50 c #Conflicts: 332000 | #Constraints: 50974
615.14/625.50 c #Conflicts: 333000 | #Constraints: 51974
615.14/625.50 c INPROCESSING
615.14/625.50 c GARBAGE COLLECT
615.14/625.50 c rational objective 0
633.81/644.22 c #Conflicts: 334000 | #Constraints: 41595
633.81/644.22 c #Conflicts: 335000 | #Constraints: 42596
633.81/644.22 c #Conflicts: 336000 | #Constraints: 43596
633.81/644.22 c #Conflicts: 337000 | #Constraints: 44597
633.81/644.22 c #Conflicts: 338000 | #Constraints: 45599
633.81/644.22 c #Conflicts: 339000 | #Constraints: 46600
633.81/644.22 c #Conflicts: 340000 | #Constraints: 47600
633.81/644.22 c #Conflicts: 341000 | #Constraints: 48600
633.81/644.22 c #Conflicts: 342000 | #Constraints: 49600
633.81/644.22 c #Conflicts: 343000 | #Constraints: 50600
633.81/644.22 c #Conflicts: 344000 | #Constraints: 51600
633.81/644.22 c #Conflicts: 345000 | #Constraints: 52600
633.81/644.22 c INPROCESSING
633.81/644.22 c GARBAGE COLLECT
633.81/644.22 c rational objective 0
653.68/664.29 c #Conflicts: 346000 | #Constraints: 41976
653.68/664.29 c #Conflicts: 347000 | #Constraints: 42976
653.68/664.29 c #Conflicts: 348000 | #Constraints: 43976
653.68/664.29 c #Conflicts: 349000 | #Constraints: 44976
653.68/664.29 c #Conflicts: 350000 | #Constraints: 45976
653.68/664.29 c #Conflicts: 351000 | #Constraints: 46976
653.68/664.29 c #Conflicts: 352000 | #Constraints: 47976
653.68/664.29 c #Conflicts: 353000 | #Constraints: 48976
653.68/664.29 c #Conflicts: 354000 | #Constraints: 49976
653.68/664.29 c #Conflicts: 355000 | #Constraints: 50977
653.68/664.29 c #Conflicts: 356000 | #Constraints: 51977
653.68/664.29 c #Conflicts: 357000 | #Constraints: 52977
653.68/664.29 c INPROCESSING
653.68/664.29 c GARBAGE COLLECT
653.68/664.29 c rational objective 0
681.12/691.75 c #Conflicts: 358000 | #Constraints: 42163
681.12/691.75 c #Conflicts: 359000 | #Constraints: 43163
681.12/691.75 c #Conflicts: 360000 | #Constraints: 44163
681.12/691.75 c #Conflicts: 361000 | #Constraints: 45163
681.12/691.75 c #Conflicts: 362000 | #Constraints: 46163
681.12/691.75 c #Conflicts: 363000 | #Constraints: 47163
681.12/691.75 c #Conflicts: 364000 | #Constraints: 48163
681.12/691.75 c #Conflicts: 365000 | #Constraints: 49163
681.12/691.75 c #Conflicts: 366000 | #Constraints: 50164
681.12/691.75 c #Conflicts: 367000 | #Constraints: 51164
681.12/691.75 c #Conflicts: 368000 | #Constraints: 52166
681.12/691.75 c #Conflicts: 369000 | #Constraints: 53167
681.12/691.75 c INPROCESSING
681.12/691.75 c GARBAGE COLLECT
681.12/691.75 c rational objective 0
702.27/712.96 c #Conflicts: 370000 | #Constraints: 42186
702.27/712.96 c #Conflicts: 371000 | #Constraints: 43186
702.27/712.96 c #Conflicts: 372000 | #Constraints: 44186
702.27/712.96 c #Conflicts: 373000 | #Constraints: 45186
702.27/712.96 c #Conflicts: 374000 | #Constraints: 46186
702.27/712.96 c #Conflicts: 375000 | #Constraints: 47187
702.27/712.96 c #Conflicts: 376000 | #Constraints: 48187
702.27/712.96 c #Conflicts: 377000 | #Constraints: 49187
702.27/712.96 c #Conflicts: 378000 | #Constraints: 50187
702.27/712.96 c #Conflicts: 379000 | #Constraints: 51187
702.27/712.96 c #Conflicts: 380000 | #Constraints: 52187
702.27/712.96 c #Conflicts: 381000 | #Constraints: 53187
702.27/712.96 c INPROCESSING
702.27/712.96 c GARBAGE COLLECT
702.27/712.96 c rational objective 0
730.81/741.52 c #Conflicts: 382000 | #Constraints: 41956
730.81/741.52 c #Conflicts: 383000 | #Constraints: 42956
730.81/741.52 c #Conflicts: 384000 | #Constraints: 43956
730.81/741.52 c #Conflicts: 385000 | #Constraints: 44956
730.81/741.52 c #Conflicts: 386000 | #Constraints: 45956
730.81/741.52 c #Conflicts: 387000 | #Constraints: 46956
730.81/741.52 c #Conflicts: 388000 | #Constraints: 47956
730.81/741.52 c #Conflicts: 389000 | #Constraints: 48956
730.81/741.52 c #Conflicts: 390000 | #Constraints: 49956
730.81/741.52 c #Conflicts: 391000 | #Constraints: 50956
730.81/741.52 c #Conflicts: 392000 | #Constraints: 51956
730.81/741.52 c #Conflicts: 393000 | #Constraints: 52956
730.81/741.52 c #Conflicts: 394000 | #Constraints: 53956
730.81/741.52 c INPROCESSING
730.81/741.52 c GARBAGE COLLECT
730.81/741.52 c rational objective 0
749.02/759.90 c #Conflicts: 395000 | #Constraints: 42595
749.02/759.90 c #Conflicts: 396000 | #Constraints: 43595
749.02/759.90 c #Conflicts: 397000 | #Constraints: 44595
749.02/759.90 c #Conflicts: 398000 | #Constraints: 45595
749.02/759.90 c #Conflicts: 399000 | #Constraints: 46595
749.02/759.90 c #Conflicts: 400000 | #Constraints: 47595
749.02/759.90 c #Conflicts: 401000 | #Constraints: 48595
749.02/759.90 c #Conflicts: 402000 | #Constraints: 49595
749.02/759.90 c #Conflicts: 403000 | #Constraints: 50595
749.02/759.90 c #Conflicts: 404000 | #Constraints: 51598
749.02/759.90 c #Conflicts: 405000 | #Constraints: 52598
749.02/759.90 c #Conflicts: 406000 | #Constraints: 53598
749.02/759.90 c #Conflicts: 407000 | #Constraints: 54598
749.02/759.90 c INPROCESSING
749.02/759.90 c GARBAGE COLLECT
749.02/759.90 c rational objective 0
777.08/788.26 c #Conflicts: 408000 | #Constraints: 43039
777.08/788.26 c #Conflicts: 409000 | #Constraints: 44042
777.08/788.26 c #Conflicts: 410000 | #Constraints: 45043
777.08/788.26 c #Conflicts: 411000 | #Constraints: 46043
777.08/788.26 c #Conflicts: 412000 | #Constraints: 47043
777.08/788.26 c #Conflicts: 413000 | #Constraints: 48044
777.08/788.26 c #Conflicts: 414000 | #Constraints: 49045
777.08/788.26 c #Conflicts: 415000 | #Constraints: 50045
777.08/788.26 c #Conflicts: 416000 | #Constraints: 51045
777.08/788.26 c #Conflicts: 417000 | #Constraints: 52046
777.08/788.26 c #Conflicts: 418000 | #Constraints: 53048
777.08/788.26 c #Conflicts: 419000 | #Constraints: 54053
777.08/788.26 c #Conflicts: 420000 | #Constraints: 55059
777.08/788.26 c INPROCESSING
777.08/788.26 c GARBAGE COLLECT
777.08/788.26 c rational objective 0
815.23/826.55 c #Conflicts: 421000 | #Constraints: 43248
815.23/826.55 c #Conflicts: 422000 | #Constraints: 44253
815.23/826.55 c #Conflicts: 423000 | #Constraints: 45265
815.23/826.55 c #Conflicts: 424000 | #Constraints: 46268
815.23/826.55 c #Conflicts: 425000 | #Constraints: 47269
815.23/826.55 c #Conflicts: 426000 | #Constraints: 48273
815.23/826.55 c #Conflicts: 427000 | #Constraints: 49275
815.23/826.55 c #Conflicts: 428000 | #Constraints: 50277
815.23/826.55 c #Conflicts: 429000 | #Constraints: 51277
815.23/826.55 c #Conflicts: 430000 | #Constraints: 52277
815.23/826.55 c #Conflicts: 431000 | #Constraints: 53278
815.23/826.55 c #Conflicts: 432000 | #Constraints: 54279
815.23/826.55 c #Conflicts: 433000 | #Constraints: 55280
815.23/826.55 c INPROCESSING
815.23/826.55 c GARBAGE COLLECT
815.23/826.55 c rational objective 0
852.08/863.67 c #Conflicts: 434000 | #Constraints: 43211
852.08/863.67 c #Conflicts: 435000 | #Constraints: 44211
852.08/863.67 c #Conflicts: 436000 | #Constraints: 45211
852.08/863.67 c #Conflicts: 437000 | #Constraints: 46211
852.08/863.67 c #Conflicts: 438000 | #Constraints: 47211
852.08/863.67 c #Conflicts: 439000 | #Constraints: 48211
852.08/863.67 c #Conflicts: 440000 | #Constraints: 49211
852.08/863.67 c #Conflicts: 441000 | #Constraints: 50211
852.08/863.67 c #Conflicts: 442000 | #Constraints: 51211
852.08/863.67 c #Conflicts: 443000 | #Constraints: 52211
852.08/863.67 c #Conflicts: 444000 | #Constraints: 53212
852.08/863.67 c #Conflicts: 445000 | #Constraints: 54212
852.08/863.67 c #Conflicts: 446000 | #Constraints: 55215
852.08/863.67 c INPROCESSING
852.08/863.67 c GARBAGE COLLECT
852.08/863.67 c rational objective 0
881.16/892.81 c #Conflicts: 447000 | #Constraints: 42996
881.16/892.81 c #Conflicts: 448000 | #Constraints: 43996
881.16/892.81 c #Conflicts: 449000 | #Constraints: 44996
881.16/892.81 c #Conflicts: 450000 | #Constraints: 45997
881.16/892.81 c #Conflicts: 451000 | #Constraints: 46997
881.16/892.81 c #Conflicts: 452000 | #Constraints: 47997
881.16/892.81 c #Conflicts: 453000 | #Constraints: 49000
881.16/892.81 c #Conflicts: 454000 | #Constraints: 50005
881.16/892.81 c #Conflicts: 455000 | #Constraints: 51012
881.16/892.81 c #Conflicts: 456000 | #Constraints: 52014
881.16/892.81 c #Conflicts: 457000 | #Constraints: 53019
881.16/892.81 c #Conflicts: 458000 | #Constraints: 54020
881.16/892.81 c #Conflicts: 459000 | #Constraints: 55022
881.16/892.81 c #Conflicts: 460000 | #Constraints: 56025
881.16/892.81 c INPROCESSING
881.16/892.81 c GARBAGE COLLECT
881.16/892.81 c rational objective 0
910.06/921.96 c #Conflicts: 461000 | #Constraints: 43540
910.06/921.96 c #Conflicts: 462000 | #Constraints: 44540
910.06/921.96 c #Conflicts: 463000 | #Constraints: 45543
910.06/921.96 c #Conflicts: 464000 | #Constraints: 46545
910.06/921.96 c #Conflicts: 465000 | #Constraints: 47545
910.06/921.96 c #Conflicts: 466000 | #Constraints: 48545
910.06/921.96 c #Conflicts: 467000 | #Constraints: 49545
910.06/921.96 c #Conflicts: 468000 | #Constraints: 50545
910.06/921.96 c #Conflicts: 469000 | #Constraints: 51545
910.06/921.96 c #Conflicts: 470000 | #Constraints: 52547
910.06/921.96 c #Conflicts: 471000 | #Constraints: 53551
910.06/921.96 c #Conflicts: 472000 | #Constraints: 54559
910.06/921.96 c #Conflicts: 473000 | #Constraints: 55563
910.06/921.96 c #Conflicts: 474000 | #Constraints: 56564
910.06/921.96 c INPROCESSING
910.06/921.96 c GARBAGE COLLECT
910.06/921.96 c rational objective 0
939.49/951.52 c #Conflicts: 475000 | #Constraints: 43958
939.49/951.52 c #Conflicts: 476000 | #Constraints: 44958
939.49/951.52 c #Conflicts: 477000 | #Constraints: 45958
939.49/951.52 c #Conflicts: 478000 | #Constraints: 46958
939.49/951.52 c #Conflicts: 479000 | #Constraints: 47958
939.49/951.52 c #Conflicts: 480000 | #Constraints: 48958
939.49/951.52 c #Conflicts: 481000 | #Constraints: 49959
939.49/951.52 c #Conflicts: 482000 | #Constraints: 50959
939.49/951.52 c #Conflicts: 483000 | #Constraints: 51959
939.49/951.52 c #Conflicts: 484000 | #Constraints: 52959
939.49/951.52 c #Conflicts: 485000 | #Constraints: 53965
939.49/951.52 c #Conflicts: 486000 | #Constraints: 54966
939.49/951.52 c #Conflicts: 487000 | #Constraints: 55973
939.49/951.52 c #Conflicts: 488000 | #Constraints: 56977
939.49/951.52 c INPROCESSING
939.49/951.52 c GARBAGE COLLECT
939.49/951.52 c rational objective 0
982.39/994.67 c #Conflicts: 489000 | #Constraints: 44189
982.39/994.67 c #Conflicts: 490000 | #Constraints: 45189
982.39/994.67 c #Conflicts: 491000 | #Constraints: 46189
982.39/994.67 c #Conflicts: 492000 | #Constraints: 47191
982.39/994.67 c #Conflicts: 493000 | #Constraints: 48200
982.39/994.67 c #Conflicts: 494000 | #Constraints: 49207
982.39/994.67 c #Conflicts: 495000 | #Constraints: 50209
982.39/994.67 c #Conflicts: 496000 | #Constraints: 51209
982.39/994.67 c #Conflicts: 497000 | #Constraints: 52210
982.39/994.67 c #Conflicts: 498000 | #Constraints: 53210
982.39/994.67 c #Conflicts: 499000 | #Constraints: 54213
982.39/994.67 c #Conflicts: 500000 | #Constraints: 55219
982.39/994.67 c #Conflicts: 501000 | #Constraints: 56228
982.39/994.67 c #Conflicts: 502000 | #Constraints: 57231
982.39/994.67 c INPROCESSING
982.39/994.67 c GARBAGE COLLECT
982.39/994.67 c rational objective 0
1008.71/1021.17 c #Conflicts: 503000 | #Constraints: 44241
1008.71/1021.17 c #Conflicts: 504000 | #Constraints: 45241
1008.71/1021.17 c #Conflicts: 505000 | #Constraints: 46241
1008.71/1021.17 c #Conflicts: 506000 | #Constraints: 47241
1008.71/1021.17 c #Conflicts: 507000 | #Constraints: 48241
1008.71/1021.17 c #Conflicts: 508000 | #Constraints: 49241
1008.71/1021.17 c #Conflicts: 509000 | #Constraints: 50241
1008.71/1021.17 c #Conflicts: 510000 | #Constraints: 51242
1008.71/1021.17 c #Conflicts: 511000 | #Constraints: 52244
1008.71/1021.17 c #Conflicts: 512000 | #Constraints: 53248
1008.71/1021.17 c #Conflicts: 513000 | #Constraints: 54249
1008.71/1021.17 c #Conflicts: 514000 | #Constraints: 55252
1008.71/1021.17 c #Conflicts: 515000 | #Constraints: 56257
1008.71/1021.17 c #Conflicts: 516000 | #Constraints: 57258
1008.71/1021.17 c INPROCESSING
1008.71/1021.17 c GARBAGE COLLECT
1008.71/1021.17 c rational objective -2.64117e-11
1032.22/1044.84 c #Conflicts: 517000 | #Constraints: 44057
1032.22/1044.84 c #Conflicts: 518000 | #Constraints: 45057
1032.22/1044.84 c #Conflicts: 519000 | #Constraints: 46059
1032.22/1044.84 c #Conflicts: 520000 | #Constraints: 47059
1032.22/1044.84 c #Conflicts: 521000 | #Constraints: 48059
1032.22/1044.84 c #Conflicts: 522000 | #Constraints: 49059
1032.22/1044.84 c #Conflicts: 523000 | #Constraints: 50059
1032.22/1044.84 c #Conflicts: 524000 | #Constraints: 51059
1032.22/1044.84 c #Conflicts: 525000 | #Constraints: 52064
1032.22/1044.84 c #Conflicts: 526000 | #Constraints: 53064
1032.22/1044.84 c #Conflicts: 527000 | #Constraints: 54064
1032.22/1044.84 c #Conflicts: 528000 | #Constraints: 55064
1032.22/1044.84 c #Conflicts: 529000 | #Constraints: 56064
1032.22/1044.84 c #Conflicts: 530000 | #Constraints: 57064
1032.22/1044.84 c #Conflicts: 531000 | #Constraints: 58064
1032.22/1044.84 c INPROCESSING
1032.22/1044.84 c GARBAGE COLLECT
1032.22/1044.84 c rational objective 0
1054.41/1067.18 c #Conflicts: 532000 | #Constraints: 44683
1054.41/1067.18 c #Conflicts: 533000 | #Constraints: 45684
1054.41/1067.18 c #Conflicts: 534000 | #Constraints: 46684
1054.41/1067.18 c #Conflicts: 535000 | #Constraints: 47684
1054.41/1067.18 c #Conflicts: 536000 | #Constraints: 48684
1054.41/1067.18 c #Conflicts: 537000 | #Constraints: 49685
1054.41/1067.18 c #Conflicts: 538000 | #Constraints: 50686
1054.41/1067.18 c #Conflicts: 539000 | #Constraints: 51688
1054.41/1067.18 c #Conflicts: 540000 | #Constraints: 52689
1054.41/1067.18 c #Conflicts: 541000 | #Constraints: 53690
1054.41/1067.18 c #Conflicts: 542000 | #Constraints: 54691
1054.41/1067.18 c #Conflicts: 543000 | #Constraints: 55691
1054.41/1067.18 c #Conflicts: 544000 | #Constraints: 56691
1054.41/1067.18 c #Conflicts: 545000 | #Constraints: 57692
1054.41/1067.18 c #Conflicts: 546000 | #Constraints: 58693
1054.41/1067.18 c INPROCESSING
1054.41/1067.18 c GARBAGE COLLECT
1054.41/1067.18 c rational objective 0
1082.11/1094.99 c #Conflicts: 547000 | #Constraints: 45093
1082.11/1094.99 c #Conflicts: 548000 | #Constraints: 46094
1082.11/1094.99 c #Conflicts: 549000 | #Constraints: 47094
1082.11/1094.99 c #Conflicts: 550000 | #Constraints: 48094
1082.11/1094.99 c #Conflicts: 551000 | #Constraints: 49094
1082.11/1094.99 c #Conflicts: 552000 | #Constraints: 50094
1082.11/1094.99 c #Conflicts: 553000 | #Constraints: 51094
1082.11/1094.99 c #Conflicts: 554000 | #Constraints: 52094
1082.11/1094.99 c #Conflicts: 555000 | #Constraints: 53094
1082.11/1094.99 c #Conflicts: 556000 | #Constraints: 54094
1082.11/1094.99 c #Conflicts: 557000 | #Constraints: 55094
1082.11/1094.99 c #Conflicts: 558000 | #Constraints: 56094
1082.11/1094.99 c #Conflicts: 559000 | #Constraints: 57094
1082.11/1094.99 c #Conflicts: 560000 | #Constraints: 58094
1082.11/1094.99 c #Conflicts: 561000 | #Constraints: 59095
1082.11/1094.99 c INPROCESSING
1082.11/1094.99 c GARBAGE COLLECT
1082.11/1094.99 c rational objective 0
1110.73/1123.61 c #Conflicts: 562000 | #Constraints: 45243
1110.73/1123.61 c #Conflicts: 563000 | #Constraints: 46243
1110.73/1123.61 c #Conflicts: 564000 | #Constraints: 47243
1110.73/1123.61 c #Conflicts: 565000 | #Constraints: 48243
1110.73/1123.61 c #Conflicts: 566000 | #Constraints: 49245
1110.73/1123.61 c #Conflicts: 567000 | #Constraints: 50246
1110.73/1123.61 c #Conflicts: 568000 | #Constraints: 51247
1110.73/1123.61 c #Conflicts: 569000 | #Constraints: 52248
1110.73/1123.61 c #Conflicts: 570000 | #Constraints: 53248
1110.73/1123.61 c #Conflicts: 571000 | #Constraints: 54248
1110.73/1123.61 c #Conflicts: 572000 | #Constraints: 55248
1110.73/1123.61 c #Conflicts: 573000 | #Constraints: 56248
1110.73/1123.61 c #Conflicts: 574000 | #Constraints: 57248
1110.73/1123.61 c #Conflicts: 575000 | #Constraints: 58248
1110.73/1123.61 c #Conflicts: 576000 | #Constraints: 59249
1110.73/1123.61 c INPROCESSING
1110.73/1123.61 c GARBAGE COLLECT
1110.73/1123.61 c rational objective 0
1134.00/1147.03 c #Conflicts: 577000 | #Constraints: 45277
1134.00/1147.03 c #Conflicts: 578000 | #Constraints: 46277
1134.00/1147.03 c #Conflicts: 579000 | #Constraints: 47277
1134.00/1147.03 c #Conflicts: 580000 | #Constraints: 48278
1134.00/1147.03 c #Conflicts: 581000 | #Constraints: 49280
1134.00/1147.03 c #Conflicts: 582000 | #Constraints: 50280
1134.00/1147.03 c #Conflicts: 583000 | #Constraints: 51280
1134.00/1147.03 c #Conflicts: 584000 | #Constraints: 52280
1134.00/1147.03 c #Conflicts: 585000 | #Constraints: 53280
1134.00/1147.03 c #Conflicts: 586000 | #Constraints: 54280
1134.00/1147.03 c #Conflicts: 587000 | #Constraints: 55281
1134.00/1147.03 c #Conflicts: 588000 | #Constraints: 56282
1134.00/1147.03 c #Conflicts: 589000 | #Constraints: 57282
1134.00/1147.03 c #Conflicts: 590000 | #Constraints: 58284
1134.00/1147.03 c #Conflicts: 591000 | #Constraints: 59284
1134.00/1147.03 c INPROCESSING
1134.00/1147.03 c GARBAGE COLLECT
1134.00/1147.03 c rational objective 0
1201.21/1214.72 c #Conflicts: 592000 | #Constraints: 45082
1201.21/1214.72 c #Conflicts: 593000 | #Constraints: 46083
1201.21/1214.72 c #Conflicts: 594000 | #Constraints: 47083
1201.21/1214.72 c #Conflicts: 595000 | #Constraints: 48083
1201.21/1214.72 c #Conflicts: 596000 | #Constraints: 49083
1201.21/1214.72 c #Conflicts: 597000 | #Constraints: 50084
1201.21/1214.72 c #Conflicts: 598000 | #Constraints: 51086
1201.21/1214.72 c #Conflicts: 599000 | #Constraints: 52089
1201.21/1214.72 c #Conflicts: 600000 | #Constraints: 53093
1201.21/1214.72 c #Conflicts: 601000 | #Constraints: 54097
1201.21/1214.72 c #Conflicts: 602000 | #Constraints: 55103
1201.21/1214.72 c #Conflicts: 603000 | #Constraints: 56103
1201.21/1214.72 c #Conflicts: 604000 | #Constraints: 57106
1201.21/1214.72 c #Conflicts: 605000 | #Constraints: 58109
1201.21/1214.72 c #Conflicts: 606000 | #Constraints: 59114
1201.21/1214.72 c #Conflicts: 607000 | #Constraints: 60115
1201.21/1214.72 c INPROCESSING
1201.21/1214.72 c GARBAGE COLLECT
1201.21/1214.72 c #Conflicts: 608000 | #Constraints: 45697
1201.21/1214.72 c #Conflicts: 609000 | #Constraints: 46697
1201.21/1214.72 c #Conflicts: 610000 | #Constraints: 47698
1201.21/1214.72 c #Conflicts: 611000 | #Constraints: 48698
1201.21/1214.72 c #Conflicts: 612000 | #Constraints: 49698
1201.21/1214.72 c #Conflicts: 613000 | #Constraints: 50699
1201.21/1214.72 c #Conflicts: 614000 | #Constraints: 51700
1201.21/1214.72 c #Conflicts: 615000 | #Constraints: 52702
1201.21/1214.72 c #Conflicts: 616000 | #Constraints: 53703
1201.21/1214.72 c #Conflicts: 617000 | #Constraints: 54703
1201.21/1214.72 c #Conflicts: 618000 | #Constraints: 55705
1201.21/1214.72 c #Conflicts: 619000 | #Constraints: 56706
1201.21/1214.72 c #Conflicts: 620000 | #Constraints: 57706
1201.21/1214.72 c #Conflicts: 621000 | #Constraints: 58707
1201.21/1214.72 c #Conflicts: 622000 | #Constraints: 59707
1201.21/1214.72 c #Conflicts: 623000 | #Constraints: 60707
1201.21/1214.72 c INPROCESSING
1201.21/1214.72 c GARBAGE COLLECT
1201.21/1214.72 c rational objective 0
1230.63/1244.30 c #Conflicts: 624000 | #Constraints: 46088
1230.63/1244.30 c #Conflicts: 625000 | #Constraints: 47088
1230.63/1244.30 c #Conflicts: 626000 | #Constraints: 48089
1230.63/1244.30 c #Conflicts: 627000 | #Constraints: 49093
1230.63/1244.30 c #Conflicts: 628000 | #Constraints: 50096
1230.63/1244.30 c #Conflicts: 629000 | #Constraints: 51096
1230.63/1244.30 c #Conflicts: 630000 | #Constraints: 52096
1230.63/1244.30 c #Conflicts: 631000 | #Constraints: 53096
1230.63/1244.30 c #Conflicts: 632000 | #Constraints: 54096
1230.63/1244.30 c #Conflicts: 633000 | #Constraints: 55096
1230.63/1244.30 c #Conflicts: 634000 | #Constraints: 56096
1230.63/1244.30 c #Conflicts: 635000 | #Constraints: 57096
1230.63/1244.30 c #Conflicts: 636000 | #Constraints: 58097
1230.63/1244.30 c #Conflicts: 637000 | #Constraints: 59098
1230.63/1244.30 c #Conflicts: 638000 | #Constraints: 60110
1230.63/1244.30 c #Conflicts: 639000 | #Constraints: 61118
1230.63/1244.30 c INPROCESSING
1230.63/1244.30 c GARBAGE COLLECT
1230.63/1244.30 c rational objective 0
1254.60/1268.47 c #Conflicts: 640000 | #Constraints: 46327
1254.60/1268.47 c #Conflicts: 641000 | #Constraints: 47327
1254.60/1268.47 c #Conflicts: 642000 | #Constraints: 48327
1254.60/1268.47 c #Conflicts: 643000 | #Constraints: 49329
1254.60/1268.47 c #Conflicts: 644000 | #Constraints: 50332
1254.60/1268.47 c #Conflicts: 645000 | #Constraints: 51336
1254.60/1268.47 c #Conflicts: 646000 | #Constraints: 52340
1254.60/1268.47 c #Conflicts: 647000 | #Constraints: 53340
1254.60/1268.47 c #Conflicts: 648000 | #Constraints: 54340
1254.60/1268.47 c #Conflicts: 649000 | #Constraints: 55341
1254.60/1268.47 c #Conflicts: 650000 | #Constraints: 56341
1254.60/1268.47 c #Conflicts: 651000 | #Constraints: 57342
1254.60/1268.47 c #Conflicts: 652000 | #Constraints: 58342
1254.60/1268.47 c #Conflicts: 653000 | #Constraints: 59344
1254.60/1268.47 c #Conflicts: 654000 | #Constraints: 60345
1254.60/1268.47 c #Conflicts: 655000 | #Constraints: 61346
1254.60/1268.47 c INPROCESSING
1254.60/1268.47 c GARBAGE COLLECT
1254.60/1268.47 c rational objective 0
1280.20/1294.26 c #Conflicts: 656000 | #Constraints: 46300
1280.20/1294.26 c #Conflicts: 657000 | #Constraints: 47308
1280.20/1294.26 c #Conflicts: 658000 | #Constraints: 48309
1280.20/1294.26 c #Conflicts: 659000 | #Constraints: 49310
1280.20/1294.26 c #Conflicts: 660000 | #Constraints: 50310
1280.20/1294.26 c #Conflicts: 661000 | #Constraints: 51312
1280.20/1294.26 c #Conflicts: 662000 | #Constraints: 52314
1280.20/1294.26 c #Conflicts: 663000 | #Constraints: 53318
1280.20/1294.26 c #Conflicts: 664000 | #Constraints: 54323
1280.20/1294.26 c #Conflicts: 665000 | #Constraints: 55326
1280.20/1294.26 c #Conflicts: 666000 | #Constraints: 56327
1280.20/1294.26 c #Conflicts: 667000 | #Constraints: 57327
1280.20/1294.26 c #Conflicts: 668000 | #Constraints: 58327
1280.20/1294.26 c #Conflicts: 669000 | #Constraints: 59327
1280.20/1294.26 c #Conflicts: 670000 | #Constraints: 60327
1280.20/1294.26 c #Conflicts: 671000 | #Constraints: 61327
1280.20/1294.26 c INPROCESSING
1280.20/1294.26 c GARBAGE COLLECT
1280.20/1294.26 c rational objective 0
1306.96/1321.23 c #Conflicts: 672000 | #Constraints: 46156
1306.96/1321.23 c #Conflicts: 673000 | #Constraints: 47157
1306.96/1321.23 c #Conflicts: 674000 | #Constraints: 48157
1306.96/1321.23 c #Conflicts: 675000 | #Constraints: 49157
1306.96/1321.23 c #Conflicts: 676000 | #Constraints: 50157
1306.96/1321.23 c #Conflicts: 677000 | #Constraints: 51157
1306.96/1321.23 c #Conflicts: 678000 | #Constraints: 52158
1306.96/1321.23 c #Conflicts: 679000 | #Constraints: 53159
1306.96/1321.23 c #Conflicts: 680000 | #Constraints: 54159
1306.96/1321.23 c #Conflicts: 681000 | #Constraints: 55159
1306.96/1321.23 c #Conflicts: 682000 | #Constraints: 56159
1306.96/1321.23 c #Conflicts: 683000 | #Constraints: 57159
1306.96/1321.23 c #Conflicts: 684000 | #Constraints: 58159
1306.96/1321.23 c #Conflicts: 685000 | #Constraints: 59159
1306.96/1321.23 c #Conflicts: 686000 | #Constraints: 60159
1306.96/1321.23 c #Conflicts: 687000 | #Constraints: 61159
1306.96/1321.23 c #Conflicts: 688000 | #Constraints: 62159
1306.96/1321.23 c INPROCESSING
1306.96/1321.23 c GARBAGE COLLECT
1306.96/1321.23 c rational objective -5.005e-11
1339.11/1353.57 c #Conflicts: 689000 | #Constraints: 46771
1339.11/1353.57 c #Conflicts: 690000 | #Constraints: 47773
1339.11/1353.57 c #Conflicts: 691000 | #Constraints: 48773
1339.11/1353.57 c #Conflicts: 692000 | #Constraints: 49773
1339.11/1353.57 c #Conflicts: 693000 | #Constraints: 50773
1339.11/1353.57 c #Conflicts: 694000 | #Constraints: 51773
1339.11/1353.57 c #Conflicts: 695000 | #Constraints: 52776
1339.11/1353.57 c #Conflicts: 696000 | #Constraints: 53776
1339.11/1353.57 c #Conflicts: 697000 | #Constraints: 54778
1339.11/1353.57 c #Conflicts: 698000 | #Constraints: 55779
1339.11/1353.57 c #Conflicts: 699000 | #Constraints: 56779
1339.11/1353.57 c #Conflicts: 700000 | #Constraints: 57782
1339.11/1353.57 c #Conflicts: 701000 | #Constraints: 58784
1339.11/1353.57 c #Conflicts: 702000 | #Constraints: 59784
1339.11/1353.57 c #Conflicts: 703000 | #Constraints: 60786
1339.11/1353.57 c #Conflicts: 704000 | #Constraints: 61787
1339.11/1353.57 c #Conflicts: 705000 | #Constraints: 62787
1339.11/1353.57 c INPROCESSING
1339.11/1353.57 c GARBAGE COLLECT
1339.11/1353.57 c rational objective -5.005e-11
1375.32/1389.99 c #Conflicts: 706000 | #Constraints: 47132
1375.32/1389.99 c #Conflicts: 707000 | #Constraints: 48132
1375.32/1389.99 c #Conflicts: 708000 | #Constraints: 49132
1375.32/1389.99 c #Conflicts: 709000 | #Constraints: 50132
1375.32/1389.99 c #Conflicts: 710000 | #Constraints: 51133
1375.32/1389.99 c #Conflicts: 711000 | #Constraints: 52133
1375.32/1389.99 c #Conflicts: 712000 | #Constraints: 53134
1375.32/1389.99 c #Conflicts: 713000 | #Constraints: 54135
1375.32/1389.99 c #Conflicts: 714000 | #Constraints: 55136
1375.32/1389.99 c #Conflicts: 715000 | #Constraints: 56136
1375.32/1389.99 c #Conflicts: 716000 | #Constraints: 57137
1375.32/1389.99 c #Conflicts: 717000 | #Constraints: 58137
1375.32/1389.99 c #Conflicts: 718000 | #Constraints: 59138
1375.32/1389.99 c #Conflicts: 719000 | #Constraints: 60140
1375.32/1389.99 c #Conflicts: 720000 | #Constraints: 61141
1375.32/1389.99 c #Conflicts: 721000 | #Constraints: 62141
1375.32/1389.99 c #Conflicts: 722000 | #Constraints: 63146
1375.32/1389.99 c INPROCESSING
1375.32/1389.99 c GARBAGE COLLECT
1375.32/1389.99 c rational objective 0
1420.68/1435.56 c #Conflicts: 723000 | #Constraints: 47271
1420.68/1435.56 c #Conflicts: 724000 | #Constraints: 48275
1420.68/1435.56 c #Conflicts: 725000 | #Constraints: 49275
1420.68/1435.56 c #Conflicts: 726000 | #Constraints: 50275
1420.68/1435.56 c #Conflicts: 727000 | #Constraints: 51279
1420.68/1435.56 c #Conflicts: 728000 | #Constraints: 52279
1420.68/1435.56 c #Conflicts: 729000 | #Constraints: 53286
1420.68/1435.56 c #Conflicts: 730000 | #Constraints: 54286
1420.68/1435.56 c #Conflicts: 731000 | #Constraints: 55286
1420.68/1435.56 c #Conflicts: 732000 | #Constraints: 56286
1420.68/1435.56 c #Conflicts: 733000 | #Constraints: 57286
1420.68/1435.56 c #Conflicts: 734000 | #Constraints: 58286
1420.68/1435.56 c #Conflicts: 735000 | #Constraints: 59286
1420.68/1435.56 c #Conflicts: 736000 | #Constraints: 60286
1420.68/1435.56 c #Conflicts: 737000 | #Constraints: 61286
1420.68/1435.56 c #Conflicts: 738000 | #Constraints: 62286
1420.68/1435.56 c #Conflicts: 739000 | #Constraints: 63286
1420.68/1435.56 c INPROCESSING
1420.68/1435.56 c GARBAGE COLLECT
1420.68/1435.56 c rational objective 0
1454.04/1469.06 c #Conflicts: 740000 | #Constraints: 47338
1454.04/1469.06 c #Conflicts: 741000 | #Constraints: 48338
1454.04/1469.06 c #Conflicts: 742000 | #Constraints: 49338
1454.04/1469.06 c #Conflicts: 743000 | #Constraints: 50338
1454.04/1469.06 c #Conflicts: 744000 | #Constraints: 51338
1454.04/1469.06 c #Conflicts: 745000 | #Constraints: 52338
1454.04/1469.06 c #Conflicts: 746000 | #Constraints: 53338
1454.04/1469.06 c #Conflicts: 747000 | #Constraints: 54338
1454.04/1469.06 c #Conflicts: 748000 | #Constraints: 55338
1454.04/1469.06 c #Conflicts: 749000 | #Constraints: 56338
1454.04/1469.06 c #Conflicts: 750000 | #Constraints: 57338
1454.04/1469.06 c #Conflicts: 751000 | #Constraints: 58339
1454.04/1469.06 c #Conflicts: 752000 | #Constraints: 59339
1454.04/1469.06 c #Conflicts: 753000 | #Constraints: 60339
1454.04/1469.06 c #Conflicts: 754000 | #Constraints: 61339
1454.04/1469.06 c #Conflicts: 755000 | #Constraints: 62340
1454.04/1469.06 c #Conflicts: 756000 | #Constraints: 63340
1454.04/1469.06 c INPROCESSING
1454.04/1469.06 c GARBAGE COLLECT
1454.04/1469.06 c rational objective 0
1486.24/1501.34 c #Conflicts: 757000 | #Constraints: 47083
1486.24/1501.34 c #Conflicts: 758000 | #Constraints: 48083
1486.24/1501.34 c #Conflicts: 759000 | #Constraints: 49084
1486.24/1501.34 c #Conflicts: 760000 | #Constraints: 50084
1486.24/1501.34 c #Conflicts: 761000 | #Constraints: 51086
1486.24/1501.34 c #Conflicts: 762000 | #Constraints: 52087
1486.24/1501.34 c #Conflicts: 763000 | #Constraints: 53087
1486.24/1501.34 c #Conflicts: 764000 | #Constraints: 54087
1486.24/1501.34 c #Conflicts: 765000 | #Constraints: 55087
1486.24/1501.34 c #Conflicts: 766000 | #Constraints: 56088
1486.24/1501.34 c #Conflicts: 767000 | #Constraints: 57090
1486.24/1501.34 c #Conflicts: 768000 | #Constraints: 58092
1486.24/1501.34 c #Conflicts: 769000 | #Constraints: 59093
1486.24/1501.34 c #Conflicts: 770000 | #Constraints: 60093
1486.24/1501.34 c #Conflicts: 771000 | #Constraints: 61093
1486.24/1501.34 c #Conflicts: 772000 | #Constraints: 62094
1486.24/1501.34 c #Conflicts: 773000 | #Constraints: 63095
1486.24/1501.34 c #Conflicts: 774000 | #Constraints: 64097
1486.24/1501.34 c INPROCESSING
1486.24/1501.34 c GARBAGE COLLECT
1486.24/1501.34 c rational objective 0
1519.29/1534.50 c #Conflicts: 775000 | #Constraints: 47703
1519.29/1534.50 c #Conflicts: 776000 | #Constraints: 48704
1519.29/1534.50 c #Conflicts: 777000 | #Constraints: 49704
1519.29/1534.50 c #Conflicts: 778000 | #Constraints: 50704
1519.29/1534.50 c #Conflicts: 779000 | #Constraints: 51705
1519.29/1534.50 c #Conflicts: 780000 | #Constraints: 52705
1519.29/1534.50 c #Conflicts: 781000 | #Constraints: 53705
1519.29/1534.50 c #Conflicts: 782000 | #Constraints: 54706
1519.29/1534.50 c #Conflicts: 783000 | #Constraints: 55706
1519.29/1534.50 c #Conflicts: 784000 | #Constraints: 56706
1519.29/1534.50 c #Conflicts: 785000 | #Constraints: 57706
1519.29/1534.50 c #Conflicts: 786000 | #Constraints: 58706
1519.29/1534.50 c #Conflicts: 787000 | #Constraints: 59710
1519.29/1534.50 c #Conflicts: 788000 | #Constraints: 60710
1519.29/1534.50 c #Conflicts: 789000 | #Constraints: 61710
1519.29/1534.50 c #Conflicts: 790000 | #Constraints: 62710
1519.29/1534.50 c #Conflicts: 791000 | #Constraints: 63710
1519.29/1534.50 c #Conflicts: 792000 | #Constraints: 64710
1519.29/1534.50 c INPROCESSING
1519.29/1534.50 c GARBAGE COLLECT
1519.29/1534.50 c rational objective 0
1758.56/1774.85 c #Conflicts: 793000 | #Constraints: 48164
1758.56/1774.85 c #Conflicts: 794000 | #Constraints: 49164
1758.56/1774.85 c #Conflicts: 795000 | #Constraints: 50166
1758.56/1774.85 c #Conflicts: 796000 | #Constraints: 51167
1758.56/1774.85 c #Conflicts: 797000 | #Constraints: 52168
1758.56/1774.85 c #Conflicts: 798000 | #Constraints: 53168
1758.56/1774.85 c #Conflicts: 799000 | #Constraints: 54168
1758.56/1774.85 c #Conflicts: 800000 | #Constraints: 55168
1758.56/1774.85 c #Conflicts: 801000 | #Constraints: 56168
1758.56/1774.85 c #Conflicts: 802000 | #Constraints: 57169
1758.56/1774.85 c #Conflicts: 803000 | #Constraints: 58171
1758.56/1774.85 c #Conflicts: 804000 | #Constraints: 59172
1758.56/1774.85 c #Conflicts: 805000 | #Constraints: 60174
1758.56/1774.85 c #Conflicts: 806000 | #Constraints: 61174
1758.56/1774.85 c #Conflicts: 807000 | #Constraints: 62176
1758.56/1774.85 c #Conflicts: 808000 | #Constraints: 63176
1758.56/1774.85 c #Conflicts: 809000 | #Constraints: 64176
1758.56/1774.85 c #Conflicts: 810000 | #Constraints: 65176
1758.56/1774.85 c #Conflicts: 811000 | #Constraints: 66177
1758.56/1774.85 c #Conflicts: 812000 | #Constraints: 67177
1758.56/1774.85 c #Conflicts: 813000 | #Constraints: 68178
1758.56/1774.85 c #Conflicts: 814000 | #Constraints: 69181
1758.56/1774.85 c #Conflicts: 815000 | #Constraints: 70182
1758.56/1774.85 c #Conflicts: 816000 | #Constraints: 71184
1758.56/1774.85 c #Conflicts: 817000 | #Constraints: 72185
1758.56/1774.85 c #Conflicts: 818000 | #Constraints: 73185
1758.56/1774.85 c #Conflicts: 819000 | #Constraints: 74185
1758.56/1774.85 c #Conflicts: 820000 | #Constraints: 75185
1758.56/1774.85 c #Conflicts: 821000 | #Constraints: 76185
1758.56/1774.85 c #Conflicts: 822000 | #Constraints: 77185
1758.56/1774.85 c #Conflicts: 823000 | #Constraints: 78185
1758.56/1774.85 c #Conflicts: 824000 | #Constraints: 79186
1758.56/1774.85 c #Conflicts: 825000 | #Constraints: 80187
1758.56/1774.85 c #Conflicts: 826000 | #Constraints: 81188
1758.56/1774.85 c #Conflicts: 827000 | #Constraints: 82189
1758.56/1774.85 c #Conflicts: 828000 | #Constraints: 83192
1758.56/1774.85 c #Conflicts: 829000 | #Constraints: 84192
1758.56/1774.85 c #Conflicts: 830000 | #Constraints: 85192
1758.56/1774.85 c #Conflicts: 831000 | #Constraints: 86195
1758.56/1774.85 c #Conflicts: 832000 | #Constraints: 87199
1758.56/1774.85 c #Conflicts: 833000 | #Constraints: 88200
1758.56/1774.85 c #Conflicts: 834000 | #Constraints: 89200
1758.56/1774.85 c #Conflicts: 835000 | #Constraints: 90200
1758.56/1774.85 c #Conflicts: 836000 | #Constraints: 91200
1758.56/1774.85 c #Conflicts: 837000 | #Constraints: 92202
1758.56/1774.85 c #Conflicts: 838000 | #Constraints: 93204
1758.56/1774.85 c #Conflicts: 839000 | #Constraints: 94204
1758.56/1774.85 c #Conflicts: 840000 | #Constraints: 95204
1758.56/1774.85 c #Conflicts: 841000 | #Constraints: 96204
1758.56/1774.85 c #Conflicts: 842000 | #Constraints: 97204
1758.56/1774.85 c #Conflicts: 843000 | #Constraints: 98204
1758.56/1774.85 c #Conflicts: 844000 | #Constraints: 99204
1758.56/1774.85 c #Conflicts: 845000 | #Constraints: 100206
1758.56/1774.85 c #Conflicts: 846000 | #Constraints: 101207
1758.56/1774.85 c #Conflicts: 847000 | #Constraints: 102208
1758.56/1774.85 c #Conflicts: 848000 | #Constraints: 103214
1758.56/1774.85 c #Conflicts: 849000 | #Constraints: 104220
1758.56/1774.85 c #Conflicts: 850000 | #Constraints: 105223
1758.56/1774.85 c #Conflicts: 851000 | #Constraints: 106229
1758.56/1774.85 c #Conflicts: 852000 | #Constraints: 107229
1758.56/1774.85 c #Conflicts: 853000 | #Constraints: 108229
1758.56/1774.85 c #Conflicts: 854000 | #Constraints: 109229
1758.56/1774.85 c #Conflicts: 855000 | #Constraints: 110229
1758.56/1774.85 c #Conflicts: 856000 | #Constraints: 111230
1758.56/1774.85 c #Conflicts: 857000 | #Constraints: 112231
1758.56/1774.85 c #Conflicts: 858000 | #Constraints: 113233
1758.56/1774.85 c #Conflicts: 859000 | #Constraints: 114238
1758.56/1774.85 c #Conflicts: 860000 | #Constraints: 115241
1758.56/1774.85 c #Conflicts: 861000 | #Constraints: 116242
1758.56/1774.85 c #Conflicts: 862000 | #Constraints: 117243
1758.56/1774.85 c #Conflicts: 863000 | #Constraints: 118245
1758.56/1774.85 c #Conflicts: 864000 | #Constraints: 119247
1758.56/1774.85 c #Conflicts: 865000 | #Constraints: 120247
1758.56/1774.85 c #Conflicts: 866000 | #Constraints: 121251
1758.56/1774.85 c #Conflicts: 867000 | #Constraints: 122254
1758.56/1774.85 c #Conflicts: 868000 | #Constraints: 123255
1758.56/1774.85 c #Conflicts: 869000 | #Constraints: 124255
1758.56/1774.85 c #Conflicts: 870000 | #Constraints: 125257
1758.56/1774.85 c #Conflicts: 871000 | #Constraints: 126257
1814.34/1830.82 c #Conflicts: 872000 | #Constraints: 127258
1814.34/1830.82 c #Conflicts: 873000 | #Constraints: 128261
1814.34/1830.82 c #Conflicts: 874000 | #Constraints: 129263
1814.34/1830.82 c #Conflicts: 875000 | #Constraints: 130266
1814.34/1830.82 c #Conflicts: 876000 | #Constraints: 131267
1814.34/1830.82 c #Conflicts: 877000 | #Constraints: 132270
1814.34/1830.82 c #Conflicts: 878000 | #Constraints: 133270
1814.34/1830.82 c #Conflicts: 879000 | #Constraints: 134272
1814.34/1830.82 c #Conflicts: 880000 | #Constraints: 135272
1814.34/1830.82 c #Conflicts: 881000 | #Constraints: 136272
1814.34/1830.82 c #Conflicts: 882000 | #Constraints: 137272
1814.34/1830.82 c INPROCESSING
1814.34/1830.82 c GARBAGE COLLECT
1814.34/1830.82 c rational objective 0
1866.05/1882.76 c #Conflicts: 883000 | #Constraints: 84008
1866.05/1882.76 c #Conflicts: 884000 | #Constraints: 85008
1866.05/1882.76 c #Conflicts: 885000 | #Constraints: 86009
1866.05/1882.76 c #Conflicts: 886000 | #Constraints: 87009
1866.05/1882.76 c #Conflicts: 887000 | #Constraints: 88009
1866.05/1882.76 c #Conflicts: 888000 | #Constraints: 89010
1866.05/1882.76 c #Conflicts: 889000 | #Constraints: 90010
1866.05/1882.76 c #Conflicts: 890000 | #Constraints: 91010
1866.05/1882.76 c #Conflicts: 891000 | #Constraints: 92010
1866.05/1882.76 c #Conflicts: 892000 | #Constraints: 93010
1866.05/1882.76 c #Conflicts: 893000 | #Constraints: 94010
1866.05/1882.76 c #Conflicts: 894000 | #Constraints: 95010
1866.05/1882.76 c #Conflicts: 895000 | #Constraints: 96011
1866.05/1882.76 c #Conflicts: 896000 | #Constraints: 97011
1866.05/1882.76 c #Conflicts: 897000 | #Constraints: 98016
1866.05/1882.76 c #Conflicts: 898000 | #Constraints: 99018
1866.05/1882.76 c #Conflicts: 899000 | #Constraints: 100020
1866.05/1882.76 c #Conflicts: 900000 | #Constraints: 101021
1866.05/1882.76 c #Conflicts: 901000 | #Constraints: 102021
1866.05/1882.76 c #Conflicts: 902000 | #Constraints: 103022
1866.05/1882.76 c INPROCESSING
1866.05/1882.76 c GARBAGE COLLECT
1866.05/1882.76 c rational objective 0
1906.69/1924.00 c #Conflicts: 903000 | #Constraints: 67286
1906.69/1924.00 c #Conflicts: 904000 | #Constraints: 68286
1906.69/1924.00 c #Conflicts: 905000 | #Constraints: 69287
1906.69/1924.00 c #Conflicts: 906000 | #Constraints: 70287
1906.69/1924.00 c #Conflicts: 907000 | #Constraints: 71287
1906.69/1924.00 c #Conflicts: 908000 | #Constraints: 72288
1906.69/1924.00 c #Conflicts: 909000 | #Constraints: 73288
1906.69/1924.00 c #Conflicts: 910000 | #Constraints: 74288
1906.69/1924.00 c #Conflicts: 911000 | #Constraints: 75289
1906.69/1924.00 c #Conflicts: 912000 | #Constraints: 76290
1906.69/1924.00 c #Conflicts: 913000 | #Constraints: 77290
1906.69/1924.00 c #Conflicts: 914000 | #Constraints: 78290
1906.69/1924.00 c #Conflicts: 915000 | #Constraints: 79294
1906.69/1924.00 c #Conflicts: 916000 | #Constraints: 80299
1906.69/1924.00 c #Conflicts: 917000 | #Constraints: 81300
1906.69/1924.00 c #Conflicts: 918000 | #Constraints: 82300
1906.69/1924.00 c #Conflicts: 919000 | #Constraints: 83301
1906.69/1924.00 c #Conflicts: 920000 | #Constraints: 84302
1906.69/1924.00 c #Conflicts: 921000 | #Constraints: 85302
1906.69/1924.00 c INPROCESSING
1906.69/1924.00 c GARBAGE COLLECT
1906.69/1924.00 c rational objective 0
1945.53/1963.05 c #Conflicts: 922000 | #Constraints: 58306
1945.53/1963.05 c #Conflicts: 923000 | #Constraints: 59306
1945.53/1963.05 c #Conflicts: 924000 | #Constraints: 60307
1945.53/1963.05 c #Conflicts: 925000 | #Constraints: 61308
1945.53/1963.05 c #Conflicts: 926000 | #Constraints: 62310
1945.53/1963.05 c #Conflicts: 927000 | #Constraints: 63310
1945.53/1963.05 c #Conflicts: 928000 | #Constraints: 64310
1945.53/1963.05 c #Conflicts: 929000 | #Constraints: 65310
1945.53/1963.05 c #Conflicts: 930000 | #Constraints: 66310
1945.53/1963.05 c #Conflicts: 931000 | #Constraints: 67310
1945.53/1963.05 c #Conflicts: 932000 | #Constraints: 68310
1945.53/1963.05 c #Conflicts: 933000 | #Constraints: 69310
1945.53/1963.05 c #Conflicts: 934000 | #Constraints: 70311
1945.53/1963.05 c #Conflicts: 935000 | #Constraints: 71311
1945.53/1963.05 c #Conflicts: 936000 | #Constraints: 72311
1945.53/1963.05 c #Conflicts: 937000 | #Constraints: 73311
1945.53/1963.05 c #Conflicts: 938000 | #Constraints: 74311
1945.53/1963.05 c #Conflicts: 939000 | #Constraints: 75313
1945.53/1963.05 c #Conflicts: 940000 | #Constraints: 76317
1945.53/1963.05 c INPROCESSING
1945.53/1963.05 c GARBAGE COLLECT
1945.53/1963.05 c rational objective 0
2181.38/2199.61 c #Conflicts: 941000 | #Constraints: 53531
2181.38/2199.61 c #Conflicts: 942000 | #Constraints: 54531
2181.38/2199.61 c #Conflicts: 943000 | #Constraints: 55531
2181.38/2199.61 c #Conflicts: 944000 | #Constraints: 56531
2181.38/2199.61 c #Conflicts: 945000 | #Constraints: 57531
2181.38/2199.61 c #Conflicts: 946000 | #Constraints: 58531
2181.38/2199.61 c #Conflicts: 947000 | #Constraints: 59531
2181.38/2199.61 c #Conflicts: 948000 | #Constraints: 60532
2181.38/2199.61 c #Conflicts: 949000 | #Constraints: 61532
2181.38/2199.61 c #Conflicts: 950000 | #Constraints: 62534
2181.38/2199.61 c #Conflicts: 951000 | #Constraints: 63558
2181.38/2199.61 c #Conflicts: 952000 | #Constraints: 64561
2181.38/2199.61 c #Conflicts: 953000 | #Constraints: 65567
2181.38/2199.61 c #Conflicts: 954000 | #Constraints: 66573
2181.38/2199.61 c #Conflicts: 955000 | #Constraints: 67769
2181.38/2199.61 c #Conflicts: 956000 | #Constraints: 69114
2181.38/2199.61 c #Conflicts: 957000 | #Constraints: 70508
2181.38/2199.61 c #Conflicts: 958000 | #Constraints: 71880
2181.38/2199.61 c #Conflicts: 959000 | #Constraints: 73291
2181.38/2199.61 c #Conflicts: 960000 | #Constraints: 74584
2181.38/2199.61 c INPROCESSING
2181.38/2199.61 c GARBAGE COLLECT
2181.38/2199.61 c #Conflicts: 961000 | #Constraints: 52885
2181.38/2199.61 c #Conflicts: 962000 | #Constraints: 53885
2181.38/2199.61 c #Conflicts: 963000 | #Constraints: 54885
2181.38/2199.61 c #Conflicts: 964000 | #Constraints: 55885
2181.38/2199.61 c #Conflicts: 965000 | #Constraints: 56885
2181.38/2199.61 c #Conflicts: 966000 | #Constraints: 57885
2181.38/2199.61 c #Conflicts: 967000 | #Constraints: 58885
2181.38/2199.61 c #Conflicts: 968000 | #Constraints: 59885
2181.38/2199.61 c #Conflicts: 969000 | #Constraints: 60885
2181.38/2199.61 c #Conflicts: 970000 | #Constraints: 61885
2181.38/2199.61 c #Conflicts: 971000 | #Constraints: 62978
2181.38/2199.61 c #Conflicts: 972000 | #Constraints: 64355
2181.38/2199.61 c #Conflicts: 973000 | #Constraints: 65717
2181.38/2199.61 c #Conflicts: 974000 | #Constraints: 67107
2181.38/2199.61 c #Conflicts: 975000 | #Constraints: 68474
2181.38/2199.61 c #Conflicts: 976000 | #Constraints: 69806
2181.38/2199.61 c #Conflicts: 977000 | #Constraints: 71109
2181.38/2199.61 c #Conflicts: 978000 | #Constraints: 72427
2181.38/2199.61 c #Conflicts: 979000 | #Constraints: 73739
2181.38/2199.61 c #Conflicts: 980000 | #Constraints: 75069
2181.38/2199.61 c INPROCESSING
2181.38/2199.61 c GARBAGE COLLECT
2181.38/2199.61 c #Conflicts: 981000 | #Constraints: 53219
2181.38/2199.61 c #Conflicts: 982000 | #Constraints: 54219
2181.38/2199.61 c #Conflicts: 983000 | #Constraints: 55219
2181.38/2199.61 c #Conflicts: 984000 | #Constraints: 56219
2181.38/2199.61 c #Conflicts: 985000 | #Constraints: 57219
2181.38/2199.61 c #Conflicts: 986000 | #Constraints: 58219
2181.38/2199.61 c #Conflicts: 987000 | #Constraints: 59219
2181.38/2199.61 c #Conflicts: 988000 | #Constraints: 60219
2181.38/2199.61 c #Conflicts: 989000 | #Constraints: 61219
2181.38/2199.61 c #Conflicts: 990000 | #Constraints: 62219
2181.38/2199.61 c #Conflicts: 991000 | #Constraints: 63219
2181.38/2199.61 c #Conflicts: 992000 | #Constraints: 64219
2181.38/2199.61 c #Conflicts: 993000 | #Constraints: 65219
2181.38/2199.61 c #Conflicts: 994000 | #Constraints: 66219
2181.38/2199.61 c #Conflicts: 995000 | #Constraints: 67219
2181.38/2199.61 c #Conflicts: 996000 | #Constraints: 68219
2181.38/2199.61 c #Conflicts: 997000 | #Constraints: 69219
2181.38/2199.61 c #Conflicts: 998000 | #Constraints: 70219
2181.38/2199.61 c #Conflicts: 999000 | #Constraints: 71219
2181.38/2199.61 c #Conflicts: 1000000 | #Constraints: 72219
2181.38/2199.61 c INPROCESSING
2181.38/2199.61 c GARBAGE COLLECT
2181.38/2199.61 c rational objective 0
2246.52/2265.16 c #Conflicts: 1001000 | #Constraints: 51731
2246.52/2265.16 c #Conflicts: 1002000 | #Constraints: 52731
2246.52/2265.16 c #Conflicts: 1003000 | #Constraints: 53731
2246.52/2265.16 c #Conflicts: 1004000 | #Constraints: 54731
2246.52/2265.16 c #Conflicts: 1005000 | #Constraints: 55731
2246.52/2265.16 c #Conflicts: 1006000 | #Constraints: 56731
2246.52/2265.16 c #Conflicts: 1007000 | #Constraints: 57732
2246.52/2265.16 c #Conflicts: 1008000 | #Constraints: 58736
2246.52/2265.16 c #Conflicts: 1009000 | #Constraints: 59737
2246.52/2265.16 c #Conflicts: 1010000 | #Constraints: 60737
2246.52/2265.16 c #Conflicts: 1011000 | #Constraints: 61738
2246.52/2265.16 c #Conflicts: 1012000 | #Constraints: 62740
2246.52/2265.16 c #Conflicts: 1013000 | #Constraints: 63743
2246.52/2265.16 c #Conflicts: 1014000 | #Constraints: 64743
2246.52/2265.16 c #Conflicts: 1015000 | #Constraints: 65744
2246.52/2265.16 c #Conflicts: 1016000 | #Constraints: 66745
2246.52/2265.16 c #Conflicts: 1017000 | #Constraints: 67745
2246.52/2265.16 c #Conflicts: 1018000 | #Constraints: 68745
2246.52/2265.16 c #Conflicts: 1019000 | #Constraints: 69747
2246.52/2265.16 c #Conflicts: 1020000 | #Constraints: 70749
2246.52/2265.16 c INPROCESSING
2246.52/2265.16 c GARBAGE COLLECT
2246.52/2265.16 c rational objective 0
2496.94/2519.67 c #Conflicts: 1021000 | #Constraints: 50839
2496.94/2519.67 c #Conflicts: 1022000 | #Constraints: 51841
2496.94/2519.67 c #Conflicts: 1023000 | #Constraints: 52844
2496.94/2519.67 c #Conflicts: 1024000 | #Constraints: 53846
2496.94/2519.67 c #Conflicts: 1025000 | #Constraints: 54846
2496.94/2519.67 c #Conflicts: 1026000 | #Constraints: 55846
2496.94/2519.67 c #Conflicts: 1027000 | #Constraints: 56847
2496.94/2519.67 c #Conflicts: 1028000 | #Constraints: 57847
2496.94/2519.67 c #Conflicts: 1029000 | #Constraints: 58848
2496.94/2519.67 c #Conflicts: 1030000 | #Constraints: 59852
2496.94/2519.67 c #Conflicts: 1031000 | #Constraints: 60852
2496.94/2519.67 c #Conflicts: 1032000 | #Constraints: 61856
2496.94/2519.67 c #Conflicts: 1033000 | #Constraints: 62856
2496.94/2519.67 c #Conflicts: 1034000 | #Constraints: 63857
2496.94/2519.67 c #Conflicts: 1035000 | #Constraints: 64859
2496.94/2519.67 c #Conflicts: 1036000 | #Constraints: 65859
2496.94/2519.67 c #Conflicts: 1037000 | #Constraints: 66859
2496.94/2519.67 c #Conflicts: 1038000 | #Constraints: 67864
2496.94/2519.67 c #Conflicts: 1039000 | #Constraints: 68873
2496.94/2519.67 c #Conflicts: 1040000 | #Constraints: 69885
2496.94/2519.67 c #Conflicts: 1041000 | #Constraints: 70891
2496.94/2519.67 c #Conflicts: 1042000 | #Constraints: 71899
2496.94/2519.67 c #Conflicts: 1043000 | #Constraints: 72903
2496.94/2519.67 c #Conflicts: 1044000 | #Constraints: 73905
2496.94/2519.67 c #Conflicts: 1045000 | #Constraints: 74907
2496.94/2519.67 c #Conflicts: 1046000 | #Constraints: 75913
2496.94/2519.67 c #Conflicts: 1047000 | #Constraints: 76915
2496.94/2519.67 c #Conflicts: 1048000 | #Constraints: 77920
2496.94/2519.67 c #Conflicts: 1049000 | #Constraints: 78926
2496.94/2519.67 c #Conflicts: 1050000 | #Constraints: 79936
2496.94/2519.67 c #Conflicts: 1051000 | #Constraints: 80942
2496.94/2519.67 c #Conflicts: 1052000 | #Constraints: 81950
2496.94/2519.67 c #Conflicts: 1053000 | #Constraints: 82951
2496.94/2519.67 c #Conflicts: 1054000 | #Constraints: 83953
2496.94/2519.67 c #Conflicts: 1055000 | #Constraints: 84954
2496.94/2519.67 c #Conflicts: 1056000 | #Constraints: 85962
2496.94/2519.67 c #Conflicts: 1057000 | #Constraints: 86965
2496.94/2519.67 c #Conflicts: 1058000 | #Constraints: 87973
2496.94/2519.67 c #Conflicts: 1059000 | #Constraints: 88976
2496.94/2519.67 c #Conflicts: 1060000 | #Constraints: 89976
2496.94/2519.67 c #Conflicts: 1061000 | #Constraints: 90983
2496.94/2519.67 c #Conflicts: 1062000 | #Constraints: 91995
2496.94/2519.67 c #Conflicts: 1063000 | #Constraints: 93004
2496.94/2519.67 c #Conflicts: 1064000 | #Constraints: 94009
2496.94/2519.67 c #Conflicts: 1065000 | #Constraints: 95011
2496.94/2519.67 c #Conflicts: 1066000 | #Constraints: 96017
2496.94/2519.67 c #Conflicts: 1067000 | #Constraints: 97023
2496.94/2519.67 c #Conflicts: 1068000 | #Constraints: 98035
2496.94/2519.67 c #Conflicts: 1069000 | #Constraints: 99040
2496.94/2519.67 c #Conflicts: 1070000 | #Constraints: 100046
2496.94/2519.67 c #Conflicts: 1071000 | #Constraints: 101048
2496.94/2519.67 c #Conflicts: 1072000 | #Constraints: 102048
2496.94/2519.67 c #Conflicts: 1073000 | #Constraints: 103059
2496.94/2519.67 c #Conflicts: 1074000 | #Constraints: 104064
2496.94/2519.67 c #Conflicts: 1075000 | #Constraints: 105070
2496.94/2519.67 c #Conflicts: 1076000 | #Constraints: 106075
2496.94/2519.67 c #Conflicts: 1077000 | #Constraints: 107076
2496.94/2519.67 c #Conflicts: 1078000 | #Constraints: 108079
2496.94/2519.67 c #Conflicts: 1079000 | #Constraints: 109083
2496.94/2519.67 c #Conflicts: 1080000 | #Constraints: 110085
2496.94/2519.67 c #Conflicts: 1081000 | #Constraints: 111088
2496.94/2519.67 c #Conflicts: 1082000 | #Constraints: 112089
2496.94/2519.67 c #Conflicts: 1083000 | #Constraints: 113090
2496.94/2519.67 c #Conflicts: 1084000 | #Constraints: 114094
2496.94/2519.67 c #Conflicts: 1085000 | #Constraints: 115097
2496.94/2519.67 c #Conflicts: 1086000 | #Constraints: 116099
2496.94/2519.67 c #Conflicts: 1087000 | #Constraints: 117102
2496.94/2519.67 c #Conflicts: 1088000 | #Constraints: 118106
2496.94/2519.67 c #Conflicts: 1089000 | #Constraints: 119109
2496.94/2519.67 c #Conflicts: 1090000 | #Constraints: 120112
2496.94/2519.67 c #Conflicts: 1091000 | #Constraints: 121114
2496.94/2519.67 c #Conflicts: 1092000 | #Constraints: 122117
2496.94/2519.67 c #Conflicts: 1093000 | #Constraints: 123119
2496.94/2519.67 c #Conflicts: 1094000 | #Constraints: 124123
2496.94/2519.67 c #Conflicts: 1095000 | #Constraints: 125128
2496.94/2519.67 c #Conflicts: 1096000 | #Constraints: 126130
2496.94/2519.67 c #Conflicts: 1097000 | #Constraints: 127131
2496.94/2519.67 c #Conflicts: 1098000 | #Constraints: 128132
2496.94/2519.67 c #Conflicts: 1099000 | #Constraints: 129133
2792.58/2816.28 c #Conflicts: 1100000 | #Constraints: 130133
2792.58/2816.28 c #Conflicts: 1101000 | #Constraints: 131133
2792.58/2816.28 c #Conflicts: 1102000 | #Constraints: 132137
2792.58/2816.28 c #Conflicts: 1103000 | #Constraints: 133424
2792.58/2816.28 c #Conflicts: 1104000 | #Constraints: 134867
2792.58/2816.28 c #Conflicts: 1105000 | #Constraints: 136230
2792.58/2816.28 c #Conflicts: 1106000 | #Constraints: 137621
2792.58/2816.28 c #Conflicts: 1107000 | #Constraints: 138989
2792.58/2816.28 c #Conflicts: 1108000 | #Constraints: 140345
2792.58/2816.28 c #Conflicts: 1109000 | #Constraints: 141661
2792.58/2816.28 c #Conflicts: 1110000 | #Constraints: 142909
2792.58/2816.28 c #Conflicts: 1111000 | #Constraints: 144308
2792.58/2816.28 c #Conflicts: 1112000 | #Constraints: 145672
2792.58/2816.28 c #Conflicts: 1113000 | #Constraints: 147030
2792.58/2816.28 c #Conflicts: 1114000 | #Constraints: 148385
2792.58/2816.28 c #Conflicts: 1115000 | #Constraints: 149834
2792.58/2816.28 c #Conflicts: 1116000 | #Constraints: 151165
2792.58/2816.28 c #Conflicts: 1117000 | #Constraints: 152433
2792.58/2816.28 c #Conflicts: 1118000 | #Constraints: 153724
2792.58/2816.28 c #Conflicts: 1119000 | #Constraints: 154966
2792.58/2816.28 c #Conflicts: 1120000 | #Constraints: 156241
2792.58/2816.28 c #Conflicts: 1121000 | #Constraints: 157651
2792.58/2816.28 c INPROCESSING
2792.58/2816.28 c GARBAGE COLLECT
2792.58/2816.28 c #Conflicts: 1122000 | #Constraints: 94554
2792.58/2816.28 c #Conflicts: 1123000 | #Constraints: 95554
2792.58/2816.28 c #Conflicts: 1124000 | #Constraints: 96554
2792.58/2816.28 c #Conflicts: 1125000 | #Constraints: 97554
2792.58/2816.28 c #Conflicts: 1126000 | #Constraints: 98554
2792.58/2816.28 c #Conflicts: 1127000 | #Constraints: 99554
2792.58/2816.28 c #Conflicts: 1128000 | #Constraints: 100554
2792.58/2816.28 c #Conflicts: 1129000 | #Constraints: 101554
2792.58/2816.28 c #Conflicts: 1130000 | #Constraints: 102554
2792.58/2816.28 c #Conflicts: 1131000 | #Constraints: 103554
2792.58/2816.28 c #Conflicts: 1132000 | #Constraints: 104554
2792.58/2816.28 c #Conflicts: 1133000 | #Constraints: 105555
2792.58/2816.28 c #Conflicts: 1134000 | #Constraints: 106555
2792.58/2816.28 c #Conflicts: 1135000 | #Constraints: 107555
2792.58/2816.28 c #Conflicts: 1136000 | #Constraints: 108555
2792.58/2816.28 c #Conflicts: 1137000 | #Constraints: 109555
2792.58/2816.28 c #Conflicts: 1138000 | #Constraints: 110555
2792.58/2816.28 c #Conflicts: 1139000 | #Constraints: 111574
2792.58/2816.28 c #Conflicts: 1140000 | #Constraints: 112589
2792.58/2816.28 c #Conflicts: 1141000 | #Constraints: 113741
2792.58/2816.28 c #Conflicts: 1142000 | #Constraints: 114941
2792.58/2816.28 c #Conflicts: 1143000 | #Constraints: 115941
2792.58/2816.28 c INPROCESSING
2792.58/2816.28 c GARBAGE COLLECT
2792.58/2816.28 c rational objective 0
2856.97/2880.85 c #Conflicts: 1144000 | #Constraints: 73787
2856.97/2880.85 c #Conflicts: 1145000 | #Constraints: 74787
2856.97/2880.85 c #Conflicts: 1146000 | #Constraints: 75787
2856.97/2880.85 c #Conflicts: 1147000 | #Constraints: 76787
2856.97/2880.85 c #Conflicts: 1148000 | #Constraints: 77787
2856.97/2880.85 c #Conflicts: 1149000 | #Constraints: 78787
2856.97/2880.85 c #Conflicts: 1150000 | #Constraints: 79787
2856.97/2880.85 c #Conflicts: 1151000 | #Constraints: 80787
2856.97/2880.85 c #Conflicts: 1152000 | #Constraints: 81787
2856.97/2880.85 c #Conflicts: 1153000 | #Constraints: 82787
2856.97/2880.85 c #Conflicts: 1154000 | #Constraints: 83787
2856.97/2880.85 c #Conflicts: 1155000 | #Constraints: 84787
2856.97/2880.85 c #Conflicts: 1156000 | #Constraints: 85787
2856.97/2880.85 c #Conflicts: 1157000 | #Constraints: 86787
2856.97/2880.85 c #Conflicts: 1158000 | #Constraints: 87787
2856.97/2880.85 c #Conflicts: 1159000 | #Constraints: 88787
2856.97/2880.85 c #Conflicts: 1160000 | #Constraints: 89787
2856.97/2880.85 c #Conflicts: 1161000 | #Constraints: 90787
2856.97/2880.85 c #Conflicts: 1162000 | #Constraints: 91787
2856.97/2880.85 c #Conflicts: 1163000 | #Constraints: 92787
2856.97/2880.85 c #Conflicts: 1164000 | #Constraints: 93787
2856.97/2880.85 c INPROCESSING
2856.97/2880.85 c GARBAGE COLLECT
2856.97/2880.85 c rational objective 0
2919.22/2943.33 c #Conflicts: 1165000 | #Constraints: 62326
2919.22/2943.33 c #Conflicts: 1166000 | #Constraints: 63326
2919.22/2943.33 c #Conflicts: 1167000 | #Constraints: 64326
2919.22/2943.33 c #Conflicts: 1168000 | #Constraints: 65326
2919.22/2943.33 c #Conflicts: 1169000 | #Constraints: 66326
2919.22/2943.33 c #Conflicts: 1170000 | #Constraints: 67326
2919.22/2943.33 c #Conflicts: 1171000 | #Constraints: 68326
2919.22/2943.33 c #Conflicts: 1172000 | #Constraints: 69327
2919.22/2943.33 c #Conflicts: 1173000 | #Constraints: 70328
2919.22/2943.33 c #Conflicts: 1174000 | #Constraints: 71328
2919.22/2943.33 c #Conflicts: 1175000 | #Constraints: 72329
2919.22/2943.33 c #Conflicts: 1176000 | #Constraints: 73329
2919.22/2943.33 c #Conflicts: 1177000 | #Constraints: 74332
2919.22/2943.33 c #Conflicts: 1178000 | #Constraints: 75333
2919.22/2943.33 c #Conflicts: 1179000 | #Constraints: 76336
2919.22/2943.33 c #Conflicts: 1180000 | #Constraints: 77338
2919.22/2943.33 c #Conflicts: 1181000 | #Constraints: 78341
2919.22/2943.33 c #Conflicts: 1182000 | #Constraints: 79343
2919.22/2943.33 c #Conflicts: 1183000 | #Constraints: 80345
2919.22/2943.33 c #Conflicts: 1184000 | #Constraints: 81346
2919.22/2943.33 c #Conflicts: 1185000 | #Constraints: 82346
2919.22/2943.33 c #Conflicts: 1186000 | #Constraints: 83346
2919.22/2943.33 c INPROCESSING
2919.22/2943.33 c GARBAGE COLLECT
2919.22/2943.33 c rational objective 0
2960.51/2984.79 c #Conflicts: 1187000 | #Constraints: 57129
2960.51/2984.79 c #Conflicts: 1188000 | #Constraints: 58129
2960.51/2984.79 c #Conflicts: 1189000 | #Constraints: 59129
2960.51/2984.79 c #Conflicts: 1190000 | #Constraints: 60129
2960.51/2984.79 c #Conflicts: 1191000 | #Constraints: 61129
2960.51/2984.79 c #Conflicts: 1192000 | #Constraints: 62129
2960.51/2984.79 c #Conflicts: 1193000 | #Constraints: 63132
2960.51/2984.79 c #Conflicts: 1194000 | #Constraints: 64135
2960.51/2984.79 c #Conflicts: 1195000 | #Constraints: 65135
2960.51/2984.79 c #Conflicts: 1196000 | #Constraints: 66138
2960.51/2984.79 c #Conflicts: 1197000 | #Constraints: 67140
2960.51/2984.79 c #Conflicts: 1198000 | #Constraints: 68143
2960.51/2984.79 c #Conflicts: 1199000 | #Constraints: 69144
2960.51/2984.79 c #Conflicts: 1200000 | #Constraints: 70145
2960.51/2984.79 c #Conflicts: 1201000 | #Constraints: 71147
2960.51/2984.79 c #Conflicts: 1202000 | #Constraints: 72147
2960.51/2984.79 c #Conflicts: 1203000 | #Constraints: 73147
2960.51/2984.79 c #Conflicts: 1204000 | #Constraints: 74147
2960.51/2984.79 c #Conflicts: 1205000 | #Constraints: 75147
2960.51/2984.79 c #Conflicts: 1206000 | #Constraints: 76147
2960.51/2984.79 c #Conflicts: 1207000 | #Constraints: 77147
2960.51/2984.79 c #Conflicts: 1208000 | #Constraints: 78147
2960.51/2984.79 c #Conflicts: 1209000 | #Constraints: 79149
2960.51/2984.79 c INPROCESSING
2960.51/2984.79 c GARBAGE COLLECT
2960.51/2984.79 c rational objective -5.9236e-11
3005.24/3029.64 c #Conflicts: 1210000 | #Constraints: 55419
3005.24/3029.64 c #Conflicts: 1211000 | #Constraints: 56419
3005.24/3029.64 c #Conflicts: 1212000 | #Constraints: 57419
3005.24/3029.64 c #Conflicts: 1213000 | #Constraints: 58420
3005.24/3029.64 c #Conflicts: 1214000 | #Constraints: 59422
3005.24/3029.64 c #Conflicts: 1215000 | #Constraints: 60430
3005.24/3029.64 c #Conflicts: 1216000 | #Constraints: 61432
3005.24/3029.64 c #Conflicts: 1217000 | #Constraints: 62432
3005.24/3029.64 c #Conflicts: 1218000 | #Constraints: 63432
3005.24/3029.64 c #Conflicts: 1219000 | #Constraints: 64432
3005.24/3029.64 c #Conflicts: 1220000 | #Constraints: 65432
3005.24/3029.64 c #Conflicts: 1221000 | #Constraints: 66432
3005.24/3029.64 c #Conflicts: 1222000 | #Constraints: 67432
3005.24/3029.64 c #Conflicts: 1223000 | #Constraints: 68435
3005.24/3029.64 c #Conflicts: 1224000 | #Constraints: 69439
3005.24/3029.64 c #Conflicts: 1225000 | #Constraints: 70441
3005.24/3029.64 c #Conflicts: 1226000 | #Constraints: 71441
3005.24/3029.64 c #Conflicts: 1227000 | #Constraints: 72443
3005.24/3029.64 c #Conflicts: 1228000 | #Constraints: 73450
3005.24/3029.64 c #Conflicts: 1229000 | #Constraints: 74452
3005.24/3029.64 c #Conflicts: 1230000 | #Constraints: 75458
3005.24/3029.64 c #Conflicts: 1231000 | #Constraints: 76465
3005.24/3029.64 c INPROCESSING
3005.24/3029.64 c GARBAGE COLLECT
3005.24/3029.64 c rational objective 0
3044.51/3069.10 c #Conflicts: 1232000 | #Constraints: 53863
3044.51/3069.10 c #Conflicts: 1233000 | #Constraints: 54863
3044.51/3069.10 c #Conflicts: 1234000 | #Constraints: 55863
3044.51/3069.10 c #Conflicts: 1235000 | #Constraints: 56863
3044.51/3069.10 c #Conflicts: 1236000 | #Constraints: 57863
3044.51/3069.10 c #Conflicts: 1237000 | #Constraints: 58863
3044.51/3069.10 c #Conflicts: 1238000 | #Constraints: 59863
3044.51/3069.10 c #Conflicts: 1239000 | #Constraints: 60863
3044.51/3069.10 c #Conflicts: 1240000 | #Constraints: 61863
3044.51/3069.10 c #Conflicts: 1241000 | #Constraints: 62863
3044.51/3069.10 c #Conflicts: 1242000 | #Constraints: 63864
3044.51/3069.10 c #Conflicts: 1243000 | #Constraints: 64865
3044.51/3069.10 c #Conflicts: 1244000 | #Constraints: 65865
3044.51/3069.10 c #Conflicts: 1245000 | #Constraints: 66867
3044.51/3069.10 c #Conflicts: 1246000 | #Constraints: 67868
3044.51/3069.10 c #Conflicts: 1247000 | #Constraints: 68868
3044.51/3069.10 c #Conflicts: 1248000 | #Constraints: 69868
3044.51/3069.10 c #Conflicts: 1249000 | #Constraints: 70868
3044.51/3069.10 c #Conflicts: 1250000 | #Constraints: 71868
3044.51/3069.10 c #Conflicts: 1251000 | #Constraints: 72868
3044.51/3069.10 c #Conflicts: 1252000 | #Constraints: 73868
3044.51/3069.10 c #Conflicts: 1253000 | #Constraints: 74868
3044.51/3069.10 c #Conflicts: 1254000 | #Constraints: 75868
3044.51/3069.10 c INPROCESSING
3044.51/3069.10 c GARBAGE COLLECT
3044.51/3069.10 c rational objective 0
3265.32/3290.81 c #Conflicts: 1255000 | #Constraints: 53805
3265.32/3290.81 c #Conflicts: 1256000 | #Constraints: 54805
3265.32/3290.81 c #Conflicts: 1257000 | #Constraints: 55805
3265.32/3290.81 c #Conflicts: 1258000 | #Constraints: 56805
3265.32/3290.81 c #Conflicts: 1259000 | #Constraints: 57805
3265.32/3290.81 c #Conflicts: 1260000 | #Constraints: 58806
3265.32/3290.81 c #Conflicts: 1261000 | #Constraints: 59807
3265.32/3290.81 c #Conflicts: 1262000 | #Constraints: 60810
3265.32/3290.81 c #Conflicts: 1263000 | #Constraints: 61813
3265.32/3290.81 c #Conflicts: 1264000 | #Constraints: 62817
3265.32/3290.81 c #Conflicts: 1265000 | #Constraints: 63819
3265.32/3290.81 c #Conflicts: 1266000 | #Constraints: 64820
3265.32/3290.81 c #Conflicts: 1267000 | #Constraints: 65821
3265.32/3290.81 c #Conflicts: 1268000 | #Constraints: 66822
3265.32/3290.81 c #Conflicts: 1269000 | #Constraints: 67824
3265.32/3290.81 c #Conflicts: 1270000 | #Constraints: 68827
3265.32/3290.81 c #Conflicts: 1271000 | #Constraints: 69827
3265.32/3290.81 c #Conflicts: 1272000 | #Constraints: 70827
3265.32/3290.81 c #Conflicts: 1273000 | #Constraints: 71827
3265.32/3290.81 c #Conflicts: 1274000 | #Constraints: 72827
3265.32/3290.81 c #Conflicts: 1275000 | #Constraints: 73827
3265.32/3290.81 c #Conflicts: 1276000 | #Constraints: 74829
3265.32/3290.81 c #Conflicts: 1277000 | #Constraints: 75831
3265.32/3290.81 c #Conflicts: 1278000 | #Constraints: 76835
3265.32/3290.81 c #Conflicts: 1279000 | #Constraints: 77836
3265.32/3290.81 c #Conflicts: 1280000 | #Constraints: 78844
3265.32/3290.81 c #Conflicts: 1281000 | #Constraints: 79847
3265.32/3290.81 c #Conflicts: 1282000 | #Constraints: 80850
3265.32/3290.81 c #Conflicts: 1283000 | #Constraints: 81853
3265.32/3290.81 c #Conflicts: 1284000 | #Constraints: 82854
3265.32/3290.81 c #Conflicts: 1285000 | #Constraints: 83855
3265.32/3290.81 c #Conflicts: 1286000 | #Constraints: 84856
3265.32/3290.81 c #Conflicts: 1287000 | #Constraints: 85856
3265.32/3290.81 c #Conflicts: 1288000 | #Constraints: 86856
3265.32/3290.81 c #Conflicts: 1289000 | #Constraints: 87856
3265.32/3290.81 c #Conflicts: 1290000 | #Constraints: 88856
3265.32/3290.81 c #Conflicts: 1291000 | #Constraints: 89856
3265.32/3290.81 c #Conflicts: 1292000 | #Constraints: 90856
3265.32/3290.81 c #Conflicts: 1293000 | #Constraints: 91856
3265.32/3290.81 c #Conflicts: 1294000 | #Constraints: 92856
3265.32/3290.81 c #Conflicts: 1295000 | #Constraints: 93856
3265.32/3290.81 c #Conflicts: 1296000 | #Constraints: 94857
3265.32/3290.81 c #Conflicts: 1297000 | #Constraints: 95857
3265.32/3290.81 c #Conflicts: 1298000 | #Constraints: 96860
3265.32/3290.81 c #Conflicts: 1299000 | #Constraints: 97862
3265.32/3290.81 c #Conflicts: 1300000 | #Constraints: 98863
3265.32/3290.81 c #Conflicts: 1301000 | #Constraints: 99867
3265.32/3290.81 c #Conflicts: 1302000 | #Constraints: 100867
3265.32/3290.81 c #Conflicts: 1303000 | #Constraints: 101868
3265.32/3290.81 c #Conflicts: 1304000 | #Constraints: 102869
3265.32/3290.81 c #Conflicts: 1305000 | #Constraints: 103869
3265.32/3290.81 c #Conflicts: 1306000 | #Constraints: 104870
3265.32/3290.81 c #Conflicts: 1307000 | #Constraints: 105872
3265.32/3290.81 c #Conflicts: 1308000 | #Constraints: 106874
3265.32/3290.81 c #Conflicts: 1309000 | #Constraints: 107875
3265.32/3290.81 c #Conflicts: 1310000 | #Constraints: 108879
3265.32/3290.81 c #Conflicts: 1311000 | #Constraints: 109880
3265.32/3290.81 c #Conflicts: 1312000 | #Constraints: 110883
3265.32/3290.81 c #Conflicts: 1313000 | #Constraints: 111883
3265.32/3290.81 c #Conflicts: 1314000 | #Constraints: 112885
3265.32/3290.81 c #Conflicts: 1315000 | #Constraints: 113886
3265.32/3290.81 c #Conflicts: 1316000 | #Constraints: 114886
3265.32/3290.81 c #Conflicts: 1317000 | #Constraints: 115886
3265.32/3290.81 c #Conflicts: 1318000 | #Constraints: 116886
3265.32/3290.81 c #Conflicts: 1319000 | #Constraints: 117886
3265.32/3290.81 c #Conflicts: 1320000 | #Constraints: 118886
3265.32/3290.81 c #Conflicts: 1321000 | #Constraints: 119886
3265.32/3290.81 c #Conflicts: 1322000 | #Constraints: 120887
3265.32/3290.81 c #Conflicts: 1323000 | #Constraints: 121887
3265.32/3290.81 c #Conflicts: 1324000 | #Constraints: 122888
3265.32/3290.81 c #Conflicts: 1325000 | #Constraints: 123890
3265.32/3290.81 c #Conflicts: 1326000 | #Constraints: 124894
3265.32/3290.81 c #Conflicts: 1327000 | #Constraints: 125899
3265.32/3290.81 c #Conflicts: 1328000 | #Constraints: 126899
3265.32/3290.81 c #Conflicts: 1329000 | #Constraints: 127899
3265.32/3290.81 c #Conflicts: 1330000 | #Constraints: 128899
3265.32/3290.81 c #Conflicts: 1331000 | #Constraints: 129899
3265.32/3290.81 c #Conflicts: 1332000 | #Constraints: 130899
3265.32/3290.81 c #Conflicts: 1333000 | #Constraints: 131899
3416.75/3442.83 c #Conflicts: 1334000 | #Constraints: 132900
3416.75/3442.83 c #Conflicts: 1335000 | #Constraints: 133901
3416.75/3442.83 c #Conflicts: 1336000 | #Constraints: 134903
3416.75/3442.83 c #Conflicts: 1337000 | #Constraints: 135907
3416.75/3442.83 c #Conflicts: 1338000 | #Constraints: 136911
3416.75/3442.83 c #Conflicts: 1339000 | #Constraints: 137912
3416.75/3442.83 c #Conflicts: 1340000 | #Constraints: 138914
3416.75/3442.83 c #Conflicts: 1341000 | #Constraints: 139914
3416.75/3442.83 c #Conflicts: 1342000 | #Constraints: 140914
3416.75/3442.83 c #Conflicts: 1343000 | #Constraints: 141914
3416.75/3442.83 c #Conflicts: 1344000 | #Constraints: 142914
3416.75/3442.83 c #Conflicts: 1345000 | #Constraints: 143917
3416.75/3442.83 c #Conflicts: 1346000 | #Constraints: 144919
3416.75/3442.83 c #Conflicts: 1347000 | #Constraints: 145923
3416.75/3442.83 c #Conflicts: 1348000 | #Constraints: 146925
3416.75/3442.83 c #Conflicts: 1349000 | #Constraints: 147925
3416.75/3442.83 c #Conflicts: 1350000 | #Constraints: 148930
3416.75/3442.83 c #Conflicts: 1351000 | #Constraints: 149936
3416.75/3442.83 c #Conflicts: 1352000 | #Constraints: 150943
3416.75/3442.83 c #Conflicts: 1353000 | #Constraints: 151945
3416.75/3442.83 c #Conflicts: 1354000 | #Constraints: 152946
3416.75/3442.83 c #Conflicts: 1355000 | #Constraints: 153946
3416.75/3442.83 c #Conflicts: 1356000 | #Constraints: 154948
3416.75/3442.83 c #Conflicts: 1357000 | #Constraints: 155948
3416.75/3442.83 c #Conflicts: 1358000 | #Constraints: 156951
3416.75/3442.83 c #Conflicts: 1359000 | #Constraints: 157952
3416.75/3442.83 c #Conflicts: 1360000 | #Constraints: 158952
3416.75/3442.83 c #Conflicts: 1361000 | #Constraints: 159954
3416.75/3442.83 c #Conflicts: 1362000 | #Constraints: 160956
3416.75/3442.83 c #Conflicts: 1363000 | #Constraints: 161960
3416.75/3442.83 c INPROCESSING
3416.75/3442.83 c GARBAGE COLLECT
3416.75/3442.83 c rational objective -1.39121e-10
3482.12/3508.44 c #Conflicts: 1364000 | #Constraints: 96791
3482.12/3508.44 c #Conflicts: 1365000 | #Constraints: 97791
3482.12/3508.44 c #Conflicts: 1366000 | #Constraints: 98791
3482.12/3508.44 c #Conflicts: 1367000 | #Constraints: 99791
3482.12/3508.44 c #Conflicts: 1368000 | #Constraints: 100792
3482.12/3508.44 c #Conflicts: 1369000 | #Constraints: 101795
3482.12/3508.44 c #Conflicts: 1370000 | #Constraints: 102797
3482.12/3508.44 c #Conflicts: 1371000 | #Constraints: 103799
3482.12/3508.44 c #Conflicts: 1372000 | #Constraints: 104801
3482.12/3508.44 c #Conflicts: 1373000 | #Constraints: 105802
3482.12/3508.44 c #Conflicts: 1374000 | #Constraints: 106803
3482.12/3508.44 c #Conflicts: 1375000 | #Constraints: 107804
3482.12/3508.44 c #Conflicts: 1376000 | #Constraints: 108806
3482.12/3508.44 c #Conflicts: 1377000 | #Constraints: 109808
3482.12/3508.44 c #Conflicts: 1378000 | #Constraints: 110811
3482.12/3508.44 c #Conflicts: 1379000 | #Constraints: 111812
3482.12/3508.44 c #Conflicts: 1380000 | #Constraints: 112813
3482.12/3508.44 c #Conflicts: 1381000 | #Constraints: 113813
3482.12/3508.44 c #Conflicts: 1382000 | #Constraints: 114813
3482.12/3508.44 c #Conflicts: 1383000 | #Constraints: 115814
3482.12/3508.44 c #Conflicts: 1384000 | #Constraints: 116816
3482.12/3508.44 c #Conflicts: 1385000 | #Constraints: 117820
3482.12/3508.44 c #Conflicts: 1386000 | #Constraints: 118821
3482.12/3508.44 c #Conflicts: 1387000 | #Constraints: 119821
3482.12/3508.44 c INPROCESSING
3482.12/3508.44 c GARBAGE COLLECT
3482.12/3508.44 c rational objective 0
3539.49/3565.95 c #Conflicts: 1388000 | #Constraints: 75684
3539.49/3565.95 c #Conflicts: 1389000 | #Constraints: 76685
3539.49/3565.95 c #Conflicts: 1390000 | #Constraints: 77686
3539.49/3565.95 c #Conflicts: 1391000 | #Constraints: 78688
3539.49/3565.95 c #Conflicts: 1392000 | #Constraints: 79689
3539.49/3565.95 c #Conflicts: 1393000 | #Constraints: 80690
3539.49/3565.95 c #Conflicts: 1394000 | #Constraints: 81690
3539.49/3565.95 c #Conflicts: 1395000 | #Constraints: 82690
3539.49/3565.95 c #Conflicts: 1396000 | #Constraints: 83690
3539.49/3565.95 c #Conflicts: 1397000 | #Constraints: 84690
3539.49/3565.95 c #Conflicts: 1398000 | #Constraints: 85690
3539.49/3565.95 c #Conflicts: 1399000 | #Constraints: 86690
3539.49/3565.95 c #Conflicts: 1400000 | #Constraints: 87690
3539.49/3565.95 c #Conflicts: 1401000 | #Constraints: 88690
3539.49/3565.95 c #Conflicts: 1402000 | #Constraints: 89690
3539.49/3565.95 c #Conflicts: 1403000 | #Constraints: 90690
3539.49/3565.95 c #Conflicts: 1404000 | #Constraints: 91690
3539.49/3565.95 c #Conflicts: 1405000 | #Constraints: 92691
3539.49/3565.95 c #Conflicts: 1406000 | #Constraints: 93691
3539.49/3565.95 c #Conflicts: 1407000 | #Constraints: 94691
3539.49/3565.95 c #Conflicts: 1408000 | #Constraints: 95691
3539.49/3565.95 c #Conflicts: 1409000 | #Constraints: 96691
3539.49/3565.95 c #Conflicts: 1410000 | #Constraints: 97691
3539.49/3565.95 c #Conflicts: 1411000 | #Constraints: 98692
3539.49/3565.95 c INPROCESSING
3539.49/3565.95 c GARBAGE COLLECT
3539.49/3565.95 c rational objective 0
3583.40/3610.08 c #Conflicts: 1412000 | #Constraints: 65166
3583.40/3610.08 c #Conflicts: 1413000 | #Constraints: 66166
3583.40/3610.08 c #Conflicts: 1414000 | #Constraints: 67166
3583.40/3610.08 c #Conflicts: 1415000 | #Constraints: 68167
3583.40/3610.08 c #Conflicts: 1416000 | #Constraints: 69169
3583.40/3610.08 c #Conflicts: 1417000 | #Constraints: 70171
3583.40/3610.08 c #Conflicts: 1418000 | #Constraints: 71171
3583.40/3610.08 c #Conflicts: 1419000 | #Constraints: 72171
3583.40/3610.08 c #Conflicts: 1420000 | #Constraints: 73171
3583.40/3610.08 c #Conflicts: 1421000 | #Constraints: 74171
3583.40/3610.08 c #Conflicts: 1422000 | #Constraints: 75171
3583.40/3610.08 c #Conflicts: 1423000 | #Constraints: 76172
3583.40/3610.08 c #Conflicts: 1424000 | #Constraints: 77172
3583.40/3610.08 c #Conflicts: 1425000 | #Constraints: 78175
3583.40/3610.08 c #Conflicts: 1426000 | #Constraints: 79175
3583.40/3610.08 c #Conflicts: 1427000 | #Constraints: 80177
3583.40/3610.08 c #Conflicts: 1428000 | #Constraints: 81179
3583.40/3610.08 c #Conflicts: 1429000 | #Constraints: 82180
3583.40/3610.08 c #Conflicts: 1430000 | #Constraints: 83180
3583.40/3610.08 c #Conflicts: 1431000 | #Constraints: 84183
3583.40/3610.08 c #Conflicts: 1432000 | #Constraints: 85184
3583.40/3610.08 c #Conflicts: 1433000 | #Constraints: 86185
3583.40/3610.08 c #Conflicts: 1434000 | #Constraints: 87188
3583.40/3610.08 c #Conflicts: 1435000 | #Constraints: 88188
3583.40/3610.08 c INPROCESSING
3583.40/3610.08 c GARBAGE COLLECT
3583.40/3610.08 c rational objective 0
3600.05/3626.70 c #Conflicts: 1436000 | #Constraints: 59684
3600.05/3626.70 c #Conflicts: 1437000 | #Constraints: 60684
3600.05/3626.70 c #Conflicts: 1438000 | #Constraints: 61685
3600.05/3626.70 c #Conflicts: 1439000 | #Constraints: 62685
3600.05/3626.70 c #Conflicts: 1440000 | #Constraints: 63686
3600.05/3626.70 c #Conflicts: 1441000 | #Constraints: 64687
3600.05/3626.70 c #Conflicts: 1442000 | #Constraints: 65691
3600.05/3626.70 c #Conflicts: 1443000 | #Constraints: 66692
3600.05/3626.70 c #Conflicts: 1444000 | #Constraints: 67694
3600.05/3626.70 c #Conflicts: 1445000 | #Constraints: 68697
3600.05/3626.70 c cpu time 3563.19 s
3600.05/3626.70 c deterministic time 294350808955 2.94e+11
3600.05/3626.70 c optimization time 14.6182 s
3600.05/3626.70 c total solve time 3548.4 s
3600.05/3626.70 c core-guided solve time 1740.55 s
3600.05/3626.70 c propagation time 1892.87 s
3600.05/3626.70 c conflict analysis time 1267.26 s
3600.05/3626.70 c propagations 944771534
3600.05/3626.70 c resolve steps 61772282
3600.05/3626.70 c decisions 24017653
3600.05/3626.70 c conflicts 1445177
3600.05/3626.70 c restarts 2809
3600.05/3626.70 c inprocessing phases 99
3600.05/3626.70 c garbage collections 99 ,( 100.00 )
3600.05/3626.70 c input clauses 6553 ,( 22.63 )
3600.05/3626.70 c input cardinalities 112 ,( 0.39 )
3600.05/3626.70 c input general constraints 22288 ,( 76.98 )
3600.05/3626.70 c input average constraint length 4.61
3600.05/3626.70 c input average constraint degree 8.19
3600.05/3626.70 c learned clauses 581923 ,( 39.81 )
3600.05/3626.70 c learned cardinalities 113016 ,( 7.73 )
3600.05/3626.70 c learned general constraints 766865 ,( 52.46 )
3600.05/3626.70 c learned average constraint length 1957.42
3600.05/3626.70 c learned average constraint degree 800725394.56
3600.05/3626.70 c watched CF 32, 64, 128, Arb: 687253 , 0 , 0 , 0
3600.05/3626.70 c counting CF 32, 64, 128, Arb: 101901 , 0 , 0 , 0
3600.05/3626.70 c watched constraints 687253 ,( 87.09 )
3600.05/3626.70 c counting constraints 101900 ,( 12.91 )
3600.05/3626.70 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 367884281 , 607944089 , 2572052080 ,( 732857254 , 1839194826 )
3600.05/3626.70 c gcd simplifications 135264
3600.05/3626.70 c detected cardinalities 2943
3600.05/3626.70 c weakened non-implied lits 347458922
3600.05/3626.70 c weakened non-implying lits 419996
3600.05/3626.70 c original variables 35169
3600.05/3626.70 c clausal propagations 149553574
3600.05/3626.70 c cardinality propagations 151186222
3600.05/3626.70 c watched propagations 77543937
3600.05/3626.70 c counting propagations 534917308
3600.05/3626.70 c watch lookups 37243992444
3600.05/3626.70 c watch backjump lookups 0
3600.05/3626.70 c watch checks 199401285127
3600.05/3626.70 c propagation checks 49677434698
3600.05/3626.70 c constraint additions 6087171535
3600.05/3626.70 c trail pops 970214611
3600.05/3626.70 c formula constraints 28953
3600.05/3626.70 c learned constraints 1443684
3600.05/3626.70 c bound constraints 0
3600.05/3626.70 c core-guided constraints 0
3600.05/3626.70 c encountered formula constraints 57937594
3600.05/3626.70 c encountered learned constraints 5069400
3600.05/3626.70 c encountered bound constraints 0
3600.05/3626.70 c encountered core-guided constraints 0
3600.05/3626.70 c LP total time 702.126 s
3600.05/3626.70 c LP solve time 552.2 s
3600.05/3626.70 c LP constraints added 35557
3600.05/3626.70 c LP constraints removed 6520
3600.05/3626.70 c LP pivots internal 1445230
3600.05/3626.70 c LP pivots root 476122
3600.05/3626.70 c LP calls 17992
3600.05/3626.70 c LP optimalities 3837
3600.05/3626.70 c LP no pivot count 1974
3600.05/3626.70 c LP infeasibilities 14144
3600.05/3626.70 c LP valid Farkas constraints 14135
3600.05/3626.70 c LP learned Farkas constraints 1492
3600.05/3626.70 c LP basis resets 15
3600.05/3626.70 c LP cycling count 6
3600.05/3626.70 c LP singular count 0
3600.05/3626.70 c LP no primal count 0
3600.05/3626.70 c LP no farkas count 9
3600.05/3626.70 c LP other issue count 0
3600.05/3626.70 c LP Gomory cuts 2493
3600.05/3626.70 c LP learned cuts 4111
3600.05/3626.70 c LP deleted cuts 6520
3600.05/3626.70 c LP encountered Gomory constraints 139748
3600.05/3626.70 c LP encountered Farkas constraints 59396
3600.05/3626.70 c LP encountered learned Farkas constraints 9829
3600.05/3626.70 c CG auxiliary variables introduced 0
3600.05/3626.70 c CG solutions found 0
3600.05/3626.70 c CG cores constructed 0
3600.05/3626.70 c CG core cardinality constraints returned 0
3600.05/3626.70 c CG unit cores 0
3600.05/3626.70 c CG single cores 0
3600.05/3626.70 c CG blocks removed during cardinality reduction 0
3600.05/3626.70 c CG first core best 0
3600.05/3626.70 c CG decision core best 0
3600.05/3626.70 c CG core reduction tie 0
3600.05/3626.70 c CG core degree average 0.00
3600.05/3626.70 c CG core slack average 0.00
3600.05/3626.70 c CG core upper bound improvements 0
3600.05/3626.70 c STR number of successful calls 0
3600.05/3626.70 c STR number of unsuccessful calls 0
3600.05/3626.70 c STR number of inconclusive calls 0
3600.05/3626.70 c STR number of successful attempts 0
3600.05/3626.70 c STR number of unsuccessful attempts 0
3600.05/3626.70 c STR number of inconclusive attempts 0
3600.05/3626.70 c STR average degree increase per successful call inf
3600.05/3626.70 c STR average degree increase per successful attempt inf
3600.05/3626.70 c STR total number of conflicts for successful attempts 0
3600.05/3626.70 c STR total number of conflicts for unsuccessful attempts 0
3600.05/3626.70 c STR total number of conflicts for inconclusive attempts 0
3600.05/3626.70 c STR average number of conflicts per successful attempt inf
3600.05/3626.70 c STR average number of conflicts per unsuccessful attempt inf
3600.05/3626.70 c STR average number of conflicts per inconclusive attempt inf
3600.05/3626.70 c AVG.sumWPerc 20.51
3600.05/3626.70 c bigint constraints 0
3600.05/3626.70 s UNKNOWN
3600.05/3626.70 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (57855 MiB free)
memory of node 1: 64507 MiB (63510 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4532265-1752600193/watcher-4532265-1752600193 -o /tmp/evaluation-result-4532265-1752600193/solver-4532265-1752600193 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1752596531-134706 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4532265-1752600193.opb PROOFDIR/proof-4532265-1752600193
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=135396, runsolver pid=135393
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 4.13 4.12 4.06 5/271 135398
/proc/meminfo: memFree=124232304/131250000 swapFree=33010416/33010684
[pid=135396] ppid=135393 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/135396/stat : 135396 (run-opt-ls-log.) S 135393 135396 134694 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 175697175 4292608 768 18446744073709551615 93877947158528 93877948053061 140736967954128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93877948292112 93877948339856 93877969072128 140736967956761 140736967956959 140736967956959 140736967962563 0
/proc/135396/statm: 1048 768 704 219 0 110 0
[pid=135398] ppid=135396 vsize=61276 memory=43284 CPUtime=0.08 cores=1,3
/proc/135398/stat : 135398 (pbsuma) R 135396 135396 134694 0 -1 4194304 11788 0 0 0 7 1 0 0 20 0 1 0 175697176 62746624 10821 18446744073709551615 4210688 4653049 140734475694752 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 5771264 140734475696353 140734475696688 140734475696688 140734475702255 0
/proc/135398/statm: 15319 10821 1024 108 0 12727 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 65468 KiB
Current children cumulated memory: 46356 KiB
[startup+0.205831 s]*
/proc/loadavg: 4.13 4.12 4.06 5/271 135398
/proc/meminfo: memFree=124211512/131250000 swapFree=33010416/33010684
[pid=135396] ppid=135393 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/135396/stat : 135396 (run-opt-ls-log.) S 135393 135396 134694 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 175697175 4292608 768 18446744073709551615 93877947158528 93877948053061 140736967954128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93877948292112 93877948339856 93877969072128 140736967956761 140736967956959 140736967956959 140736967962563 0
/proc/135396/statm: 1048 768 704 219 0 110 0
[pid=135398] ppid=135396 vsize=61276 memory=43284 CPUtime=0.19 cores=1,3
/proc/135398/stat : 135398 (pbsuma) R 135396 135396 134694 0 -1 4194304 11788 0 0 0 18 1 0 0 20 0 1 0 175697176 62746624 10821 18446744073709551615 4210688 4653049 140734475694752 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 5771264 140734475696353 140734475696688 140734475696688 140734475702255 0
/proc/135398/statm: 15319 10821 1024 108 0 12727 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 65468 KiB
Current children cumulated memory: 46356 KiB
[startup+0.3056 s]*
/proc/loadavg: 4.13 4.12 4.06 5/271 135398
/proc/meminfo: memFree=124207480/131250000 swapFree=33010416/33010684
[pid=135396] ppid=135393 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/135396/stat : 135396 (run-opt-ls-log.) S 135393 135396 134694 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 175697175 4292608 768 18446744073709551615 93877947158528 93877948053061 140736967954128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93877948292112 93877948339856 93877969072128 140736967956761 140736967956959 140736967956959 140736967962563 0
/proc/135396/statm: 1048 768 704 219 0 110 0
[pid=135398] ppid=135396 vsize=61276 memory=43284 CPUtime=0.28 cores=1,3
/proc/135398/stat : 135398 (pbsuma) R 135396 135396 134694 0 -1 4194304 11788 0 0 0 27 1 0 0 20 0 1 0 175697176 62746624 10821 18446744073709551615 4210688 4653049 140734475694752 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 5771264 140734475696353 140734475696688 140734475696688 140734475702255 0
/proc/135398/statm: 15319 10821 1024 108 0 12727 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 65468 KiB
Current children cumulated memory: 46356 KiB
[startup+0.700166 s]
/proc/loadavg: 4.13 4.12 4.06 5/271 135398
/proc/meminfo: memFree=124199416/131250000 swapFree=33010416/33010684
[pid=135396] ppid=135393 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/135396/stat : 135396 (run-opt-ls-log.) S 135393 135396 134694 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 175697175 4292608 768 18446744073709551615 93877947158528 93877948053061 140736967954128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93877948292112 93877948339856 93877969072128 140736967956761 140736967956959 140736967956959 140736967962563 0
/proc/135396/statm: 1048 768 704 219 0 110 0
[pid=135398] ppid=135396 vsize=61276 memory=43284 CPUtime=0.67 cores=1,3
/proc/135398/stat : 135398 (pbsuma) R 135396 135396 134694 0 -1 4194304 11788 0 0 0 66 1 0 0 20 0 1 0 175697176 62746624 10821 18446744073709551615 4210688 4653049 140734475694752 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 5771264 140734475696353 140734475696688 140734475696688 140734475702255 0
/proc/135398/statm: 15319 10821 1024 108 0 12727 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 65468 KiB
Current children cumulated memory: 46356 KiB
[startup+1.50019 s]
/proc/loadavg: 4.13 4.12 4.06 5/271 135398
/proc/meminfo: memFree=124191352/131250000 swapFree=33010416/33010684
[pid=135396] ppid=135393 vsize=4192 memory=3072 CPUtime=1.2 cores=1,3
/proc/135396/stat : 135396 (run-opt-ls-log.) S 135393 135396 134694 0 -1 4194304 240 18446 0 0 0 0 117 3 20 0 1 0 175697175 4292608 768 18446744073709551615 93877947158528 93877948053061 140736967954128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93877948292112 93877948339856 93877969072128 140736967956761 140736967956959 140736967956959 140736967962563 0
/proc/135396/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 1.2 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB
[startup+3.10552 s]
/proc/loadavg: 4.13 4.12 4.06 5/271 135399
/proc/meminfo: memFree=123998948/131250000 swapFree=33010416/33010684
[pid=135396] ppid=135393 vsize=4192 memory=3072 CPUtime=1.2 cores=1,3
/proc/135396/stat : 135396 (run-opt-ls-log.) S 135393 135396 134694 0 -1 4194304 240 18446 0 0 0 0 117 3 20 0 1 0 175697175 4292608 768 18446744073709551615 93877947158528 93877948053061 140736967954128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93877948292112 93877948339856 93877969072128 140736967956761 140736967956959 140736967956959 140736967962563 0
/proc/135396/statm: 1048 768 704 219 0 110 0
[pid=135399] ppid=135396 vsize=155908 memory=106668 CPUtime=1.86 cores=1,3
/proc/135399/stat : 135399 (roundingsat) R 135396 135396 134694 0 -1 4194304 20504 0 0 0 175 11 0 0 20 0 1 0 175697298 159649792 26667 18446744073709551615 4227072 8923577 140727770933952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 34131968 140727770941684 140727770941990 140727770941990 140727770947562 0
/proc/135399/statm: 38977 26667 2336 1147 0 26403 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 160100 KiB
Current children cumulated memory: 109740 KiB
[startup+6.30016 s]
/proc/loadavg: 4.12 4.12 4.06 5/271 135399
/proc/meminfo: memFree=123791896/131250000 swapFree=33010416/33010684
[pid=135396] ppid=135393 vsize=4192 memory=3072 CPUtime=1.2 cores=1,3
/proc/135396/stat : 135396 (run-opt-ls-log.) S 135393 135396 134694 0 -1 4194304 240 18446 0 0 0 0 117 3 20 0 1 0 175697175 4292608 768 18446744073709551615 93877947158528 93877948053061 140736967954128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93877948292112 93877948339856 93877969072128 140736967956761 140736967956959 140736967956959 140736967962563 0
/proc/135396/statm: 1048 768 704 219 0 110 0
[pid=135399] ppid=135396 vsize=198188 memory=138276 CPUtime=5.05 cores=1,3
/proc/135399/stat : 135399 (roundingsat) R 135396 135396 134694 0 -1 4194304 24793 0 0 0 488 17 0 0 20 0 1 0 175697298 202944512 34569 18446744073709551615 4227072 8923577 140727770933952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 34131968 140727770941684 140727770941990 140727770941990 140727770947562 0
/proc/135399/statm: 49547 34569 2368 1147 0 36973 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 202380 KiB
Current children cumulated memory: 141348 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.12 4.06 4/271 135399
/proc/meminfo: memFree=123293588/131250000 swapFree=33010416/33010684
[pid=135396] ppid=135393 vsize=4192 memory=3072 CPUtime=1.2 cores=1,3
/proc/135396/stat : 135396 (run-opt-ls-log.) S 135393 135396 134694 0 -1 4194304 240 18446 0 0 0 0 117 3 20 0 1 0 175697175 4292608 768 18446744073709551615 93877947158528 93877948053061 140736967954128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93877948292112 93877948339856 93877969072128 140736967956761 140736967956959 140736967956959 140736967962563 0
/proc/135396/statm: 1048 768 704 219 0 110 0
[pid=135399] ppid=135396 vsize=242060 memory=180084 CPUtime=11.43 cores=1,3
/proc/135399/stat : 135399 (roundingsat) R 135396 135396 134694 0 -1 4194304 34325 0 0 0 1113 30 0 0 20 0 1 0 175697298 247869440 45021 18446744073709551615 4227072 8923577 140727770933952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 34131968 140727770941684 140727770941990 140727770941990 140727770947562 0
/proc/135399/statm: 60515 45021 2368 1147 0 47941 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 246252 KiB
Current children cumulated memory: 183156 KiB
[startup+25.5001 s]
/proc/loadavg: 4.08 4.11 4.05 5/261 135453
/proc/meminfo: memFree=122480188/131250000 swapFree=33010416/33010684
[pid=135396] ppid=135393 vsize=4192 memory=3072 CPUtime=1.2 cores=1,3
/proc/135396/stat : 135396 (run-opt-ls-log.) S 135393 135396 134694 0 -1 4194304 240 18446 0 0 0 0 117 3 20 0 1 0 175697175 4292608 768 18446744073709551615 93877947158528 93877948053061 140736967954128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93877948292112 93877948339856 93877969072128 140736967956761 140736967956959 140736967956959 140736967962563 0
/proc/135396/statm: 1048 768 704 219 0 110 0
[pid=135399] ppid=135396 vsize=366964 memory=280568 CPUtime=24.2 cores=1,3
/proc/135399/stat : 135399 (roundingsat) R 135396 135396 134694 0 -1 4194304 54965 0 0 0 2368 52 0 0 20 0 1 0 175697298 375771136 70142 18446744073709551615 4227072 8923577 140727770933952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 34131968 140727770941684 140727770941990 140727770941990 140727770947562 0
/proc/135399/statm: 91741 70142 2368 1147 0 79167 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 371156 KiB
Current children cumulated memory: 283640 KiB
[startup+51.1056 s]
/proc/loadavg: 4.11 4.12 4.06 5/271 135496
/proc/meminfo: memFree=122321468/131250000 swapFree=33010416/33010684
[pid=135396] ppid=135393 vsize=4192 memory=3072 CPUtime=1.2 cores=1,3
/proc/135396/stat : 135396 (run-opt-ls-log.) S 135393 135396 134694 0 -1 4194304 240 18446 0 0 0 0 117 3 20 0 1 0 175697175 4292608 768 18446744073709551615 93877947158528 93877948053061 140736967954128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93877948292112 93877948339856 93877969072128 140736967956761 140736967956959 140736967956959 140736967962563 0
/proc/135396/statm: 1048 768 704 219 0 110 0
[pid=135399] ppid=135396 vsize=405460 memory=335048 CPUtime=49.6 cores=1,3
/proc/135399/stat : 135399 (roundingsat) R 135396 135396 134694 0 -1 4194304 64997 0 0 0 4870 90 0 0 20 0 1 0 175697298 415191040 83762 18446744073709551615 4227072 8923577 140727770933952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 34131968 140727770941684 140727770941990 140727770941990 140727770947562 0
/proc/135399/statm: 101365 83762 2368 1147 0 88791 0
Current children cumulated CPU time: 50.8 s
Current children cumulated vsize: 409652 KiB
Current children cumulated memory: 338120 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.11 4.06 5/271 135500
/proc/meminfo: memFree=119407176/131250000 swapFree=33010416/33010684
[pid=135396] ppid=135393 vsize=4192 memory=3072 CPUtime=1.2 cores=1,3
/proc/135396/stat : 135396 (run-opt-ls-log.) S 135393 135396 134694 0 -1 4194304 240 18446 0 0 0 0 117 3 20 0 1 0 175697175 4292608 768 18446744073709551615 93877947158528 93877948053061 140736967954128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93877948292112 93877948339856 93877969072128 140736967956761 140736967956959 140736967956959 140736967962563 0
/proc/135396/statm: 1048 768 704 219 0 110 0
[pid=135399] ppid=135396 vsize=461488 memory=369764 CPUtime=100.58 cores=1,3
/proc/135399/stat : 135399 (roundingsat) R 135396 135396 134694 0 -1 4194304 66523 0 0 0 9904 154 0 0 20 0 1 0 175697298 472563712 92441 18446744073709551615 4227072 8923577 140727770933952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 34131968 140727770941684 140727770941990 140727770941990 140727770947562 0
/proc/135399/statm: 115372 92441 2368 1147 0 102798 0
Current children cumulated CPU time: 101.78 s
Current children cumulated vsize: 465680 KiB
Current children cumulated memory: 372836 KiB
[startup+162.3 s]
/proc/loadavg: 3.85 4.06 4.04 4/261 135563
/proc/meminfo: memFree=118131280/131250000 swapFree=33010416/33010684
[pid=135396] ppid=135393 vsize=4192 memory=3072 CPUtime=1.2 cores=1,3
/proc/135396/stat : 135396 (run-opt-ls-log.) S 135393 135396 134694 0 -1 4194304 240 18446 0 0 0 0 117 3 20 0 1 0 175697175 4292608 768 18446744073709551615 93877947158528 93877948053061 140736967954128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93877948292112 93877948339856 93877969072128 140736967956761 140736967956959 140736967956959 140736967962563 0
/proc/135396/statm: 1048 768 704 219 0 110 0
[pid=135399] ppid=135396 vsize=468056 memory=383204 CPUtime=159.06 cores=1,3
/proc/135399/stat : 135399 (roundingsat) R 135396 135396 134694 0 -1 4194304 69566 0 0 0 15659 247 0 0 20 0 1 0 175697298 479289344 95801 18446744073709551615 4227072 8923577 140727770933952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 34131968 140727770941684 140727770941990 140727770941990 140727770947562 0
/proc/135399/statm: 117014 95801 2368 1147 0 104440 0
Current children cumulated CPU time: 160.26 s
Current children cumulated vsize: 472248 KiB
Current children cumulated memory: 386276 KiB
[startup+222.3 s]
/proc/loadavg: 2.84 3.74 3.93 3/259 135569
/proc/meminfo: memFree=116814232/131250000 swapFree=33010416/33010684
[pid=135396] ppid=135393 vsize=4192 memory=3072 CPUtime=1.2 cores=1,3
/proc/135396/stat : 135396 (run-opt-ls-log.) S 135393 135396 134694 0 -1 4194304 240 18446 0 0 0 0 117 3 20 0 1 0 175697175 4292608 768 18446744073709551615 93877947158528 93877948053061 140736967954128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93877948292112 93877948339856 93877969072128 140736967956761 140736967956959 140736967956959 140736967962563 0
/proc/135396/statm: 1048 768 704 219 0 110 0
[pid=135399] ppid=135396 vsize=557712 memory=474696 CPUtime=218.82 cores=1,3
/proc/135399/stat : 135399 (roundingsat) R 135396 135396 134694 0 -1 4194304 86657 0 0 0 21560 322 0 0 20 0 1 0 175697298 571097088 118674 18446744073709551615 4227072 8923577 140727770933952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 34131968 140727770941684 140727770941990 140727770941990 140727770947562 0
/proc/135399/statm: 139428 118674 2368 1147 0 126854 0
Current children cumulated CPU time: 220.02 s
Current children cumulated vsize: 561904 KiB
Current children cumulated memory: 477768 KiB
################
# More data... #
################
[pid=135399] ppid=135396 vsize=3815916 memory=3332076 CPUtime=3076.48 cores=1,3
/proc/135399/stat : 135399 (roundingsat) R 135396 135396 134694 0 -1 4194304 383474 0 0 0 304458 3190 0 0 20 0 1 0 175697298 3907497984 833019 18446744073709551615 4227072 8923577 140727770933952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 34131968 140727770941684 140727770941990 140727770941990 140727770947562 0
/proc/135399/statm: 953979 833019 2368 1147 0 941405 0
Current children cumulated CPU time: 3077.68 s
Current children cumulated vsize: 3820108 KiB
Current children cumulated memory: 3335148 KiB
[startup+3162.3 s]
/proc/loadavg: 1.08 1.09 1.40 2/249 135766
/proc/meminfo: memFree=109777040/131250000 swapFree=33010416/33010684
[pid=135396] ppid=135393 vsize=4192 memory=3072 CPUtime=1.2 cores=1,3
/proc/135396/stat : 135396 (run-opt-ls-log.) S 135393 135396 134694 0 -1 4194304 240 18446 0 0 0 0 117 3 20 0 1 0 175697175 4292608 768 18446744073709551615 93877947158528 93877948053061 140736967954128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93877948292112 93877948339856 93877969072128 140736967956761 140736967956959 140736967956959 140736967962563 0
/proc/135396/statm: 1048 768 704 219 0 110 0
[pid=135399] ppid=135396 vsize=3815916 memory=3332076 CPUtime=3136.26 cores=1,3
/proc/135399/stat : 135399 (roundingsat) R 135396 135396 134694 0 -1 4194304 383474 0 0 0 310375 3251 0 0 20 0 1 0 175697298 3907497984 833019 18446744073709551615 4227072 8923577 140727770933952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 34131968 140727770941684 140727770941990 140727770941990 140727770947562 0
/proc/135399/statm: 953979 833019 2368 1147 0 941405 0
Current children cumulated CPU time: 3137.46 s
Current children cumulated vsize: 3820108 KiB
Current children cumulated memory: 3335148 KiB
[startup+3222.3 s]
/proc/loadavg: 1.07 1.09 1.38 2/250 135771
/proc/meminfo: memFree=109717760/131250000 swapFree=33010416/33010684
[pid=135396] ppid=135393 vsize=4192 memory=3072 CPUtime=1.2 cores=1,3
/proc/135396/stat : 135396 (run-opt-ls-log.) S 135393 135396 134694 0 -1 4194304 240 18446 0 0 0 0 117 3 20 0 1 0 175697175 4292608 768 18446744073709551615 93877947158528 93877948053061 140736967954128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93877948292112 93877948339856 93877969072128 140736967956761 140736967956959 140736967956959 140736967962563 0
/proc/135396/statm: 1048 768 704 219 0 110 0
[pid=135399] ppid=135396 vsize=3815916 memory=3332076 CPUtime=3196.07 cores=1,3
/proc/135399/stat : 135399 (roundingsat) R 135396 135396 134694 0 -1 4194304 383922 0 0 0 316300 3307 0 0 20 0 1 0 175697298 3907497984 833019 18446744073709551615 4227072 8923577 140727770933952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 34131968 140727770941684 140727770941990 140727770941990 140727770947562 0
/proc/135399/statm: 953979 833019 2368 1147 0 941405 0
Current children cumulated CPU time: 3197.27 s
Current children cumulated vsize: 3820108 KiB
Current children cumulated memory: 3335148 KiB
[startup+3282.3 s]
/proc/loadavg: 1.08 1.09 1.36 2/251 135774
/proc/meminfo: memFree=109603260/131250000 swapFree=33010416/33010684
[pid=135396] ppid=135393 vsize=4192 memory=3072 CPUtime=1.2 cores=1,3
/proc/135396/stat : 135396 (run-opt-ls-log.) S 135393 135396 134694 0 -1 4194304 240 18446 0 0 0 0 117 3 20 0 1 0 175697175 4292608 768 18446744073709551615 93877947158528 93877948053061 140736967954128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93877948292112 93877948339856 93877969072128 140736967956761 140736967956959 140736967956959 140736967962563 0
/proc/135396/statm: 1048 768 704 219 0 110 0
[pid=135399] ppid=135396 vsize=3815916 memory=3334380 CPUtime=3255.64 cores=1,3
/proc/135399/stat : 135399 (roundingsat) R 135396 135396 134694 0 -1 4194304 383932 0 0 0 322232 3332 0 0 20 0 1 0 175697298 3907497984 833595 18446744073709551615 4227072 8923577 140727770933952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 34131968 140727770941684 140727770941990 140727770941990 140727770947562 0
/proc/135399/statm: 953979 833595 2368 1147 0 941405 0
Current children cumulated CPU time: 3256.84 s
Current children cumulated vsize: 3820108 KiB
Current children cumulated memory: 3337452 KiB
[startup+3342.3 s]
/proc/loadavg: 1.07 1.08 1.34 2/251 135777
/proc/meminfo: memFree=109523380/131250000 swapFree=33010416/33010684
[pid=135396] ppid=135393 vsize=4192 memory=3072 CPUtime=1.2 cores=1,3
/proc/135396/stat : 135396 (run-opt-ls-log.) S 135393 135396 134694 0 -1 4194304 240 18446 0 0 0 0 117 3 20 0 1 0 175697175 4292608 768 18446744073709551615 93877947158528 93877948053061 140736967954128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93877948292112 93877948339856 93877969072128 140736967956761 140736967956959 140736967956959 140736967962563 0
/proc/135396/statm: 1048 768 704 219 0 110 0
[pid=135399] ppid=135396 vsize=3815916 memory=3334636 CPUtime=3315.46 cores=1,3
/proc/135399/stat : 135399 (roundingsat) R 135396 135396 134694 0 -1 4194304 383936 0 0 0 328193 3353 0 0 20 0 1 0 175697298 3907497984 833659 18446744073709551615 4227072 8923577 140727770933952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 34131968 140727770941684 140727770941990 140727770941990 140727770947562 0
/proc/135399/statm: 953979 833659 2368 1147 0 941405 0
Current children cumulated CPU time: 3316.66 s
Current children cumulated vsize: 3820108 KiB
Current children cumulated memory: 3337708 KiB
[startup+3402.3 s]
/proc/loadavg: 1.12 1.10 1.33 2/251 135779
/proc/meminfo: memFree=109348244/131250000 swapFree=33010416/33010684
[pid=135396] ppid=135393 vsize=4192 memory=3072 CPUtime=1.2 cores=1,3
/proc/135396/stat : 135396 (run-opt-ls-log.) S 135393 135396 134694 0 -1 4194304 240 18446 0 0 0 0 117 3 20 0 1 0 175697175 4292608 768 18446744073709551615 93877947158528 93877948053061 140736967954128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93877948292112 93877948339856 93877969072128 140736967956761 140736967956959 140736967956959 140736967962563 0
/proc/135396/statm: 1048 768 704 219 0 110 0
[pid=135399] ppid=135396 vsize=3815916 memory=3341804 CPUtime=3375.21 cores=1,3
/proc/135399/stat : 135399 (roundingsat) R 135396 135396 134694 0 -1 4194304 384500 0 0 0 334138 3383 0 0 20 0 1 0 175697298 3907497984 835451 18446744073709551615 4227072 8923577 140727770933952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 34131968 140727770941684 140727770941990 140727770941990 140727770947562 0
/proc/135399/statm: 953979 835451 2368 1147 0 941405 0
Current children cumulated CPU time: 3376.41 s
Current children cumulated vsize: 3820108 KiB
Current children cumulated memory: 3344876 KiB
[startup+3462.3 s]
/proc/loadavg: 1.10 1.09 1.31 2/251 135781
/proc/meminfo: memFree=109221056/131250000 swapFree=33010416/33010684
[pid=135396] ppid=135393 vsize=4192 memory=3072 CPUtime=1.2 cores=1,3
/proc/135396/stat : 135396 (run-opt-ls-log.) S 135393 135396 134694 0 -1 4194304 240 18446 0 0 0 0 117 3 20 0 1 0 175697175 4292608 768 18446744073709551615 93877947158528 93877948053061 140736967954128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93877948292112 93877948339856 93877969072128 140736967956761 140736967956959 140736967956959 140736967962563 0
/proc/135396/statm: 1048 768 704 219 0 110 0
[pid=135399] ppid=135396 vsize=3815916 memory=3359596 CPUtime=3435 cores=1,3
/proc/135399/stat : 135399 (roundingsat) R 135396 135396 134694 0 -1 4194304 384558 0 0 0 340082 3418 0 0 20 0 1 0 175697298 3907497984 839899 18446744073709551615 4227072 8923577 140727770933952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 34131968 140727770941684 140727770941990 140727770941990 140727770947562 0
/proc/135399/statm: 953979 839899 2368 1147 0 941405 0
Current children cumulated CPU time: 3436.2 s
Current children cumulated vsize: 3820108 KiB
Current children cumulated memory: 3362668 KiB
[startup+3522.3 s]
/proc/loadavg: 1.14 1.10 1.30 2/250 135791
/proc/meminfo: memFree=109066188/131250000 swapFree=33010416/33010684
[pid=135396] ppid=135393 vsize=4192 memory=3072 CPUtime=1.2 cores=1,3
/proc/135396/stat : 135396 (run-opt-ls-log.) S 135393 135396 134694 0 -1 4194304 240 18446 0 0 0 0 117 3 20 0 1 0 175697175 4292608 768 18446744073709551615 93877947158528 93877948053061 140736967954128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93877948292112 93877948339856 93877969072128 140736967956761 140736967956959 140736967956959 140736967962563 0
/proc/135396/statm: 1048 768 704 219 0 110 0
[pid=135399] ppid=135396 vsize=3891328 memory=3407340 CPUtime=3494.78 cores=1,3
/proc/135399/stat : 135399 (roundingsat) R 135396 135396 134694 0 -1 4194304 396251 0 0 0 346010 3468 0 0 20 0 1 0 175697298 3984719872 851835 18446744073709551615 4227072 8923577 140727770933952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 34131968 140727770941684 140727770941990 140727770941990 140727770947562 0
/proc/135399/statm: 972832 851835 2368 1147 0 960258 0
Current children cumulated CPU time: 3495.98 s
Current children cumulated vsize: 3895520 KiB
Current children cumulated memory: 3410412 KiB
[startup+3582.3 s]
/proc/loadavg: 1.11 1.10 1.28 2/249 135793
/proc/meminfo: memFree=108960404/131250000 swapFree=33010416/33010684
[pid=135396] ppid=135393 vsize=4192 memory=3072 CPUtime=1.2 cores=1,3
/proc/135396/stat : 135396 (run-opt-ls-log.) S 135393 135396 134694 0 -1 4194304 240 18446 0 0 0 0 117 3 20 0 1 0 175697175 4292608 768 18446744073709551615 93877947158528 93877948053061 140736967954128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93877948292112 93877948339856 93877969072128 140736967956761 140736967956959 140736967956959 140736967962563 0
/proc/135396/statm: 1048 768 704 219 0 110 0
[pid=135399] ppid=135396 vsize=3892952 memory=3413996 CPUtime=3554.61 cores=1,3
/proc/135399/stat : 135399 (roundingsat) R 135396 135396 134694 0 -1 4194304 397946 0 0 0 351942 3519 0 0 20 0 1 0 175697298 3986382848 853499 18446744073709551615 4227072 8923577 140727770933952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 34131968 140727770941684 140727770941990 140727770941990 140727770947562 0
/proc/135399/statm: 973238 853499 2368 1147 0 960664 0
Current children cumulated CPU time: 3555.81 s
Current children cumulated vsize: 3897144 KiB
Current children cumulated memory: 3417068 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3626.7 s]
/proc/loadavg: 1.11 1.10 1.27 2/249 135795
/proc/meminfo: memFree=108850812/131250000 swapFree=33010416/33010684
[pid=135396] ppid=135393 vsize=4192 memory=3072 CPUtime=1.2 cores=1,3
/proc/135396/stat : 135396 (run-opt-ls-log.) S 135393 135396 134694 0 -1 4194304 240 18446 0 0 0 0 117 3 20 0 1 0 175697175 4292608 768 18446744073709551615 93877947158528 93877948053061 140736967954128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93877948292112 93877948339856 93877969072128 140736967956761 140736967956959 140736967956959 140736967962563 0
/proc/135396/statm: 1048 768 704 219 0 110 0
[pid=135399] ppid=135396 vsize=3892952 memory=3417324 CPUtime=3598.85 cores=1,3
/proc/135399/stat : 135399 (roundingsat) R 135396 135396 134694 0 -1 4194304 398788 0 0 0 356318 3567 0 0 20 0 1 0 175697298 3986382848 854331 18446744073709551615 4227072 8923577 140727770933952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 34131968 140727770941684 140727770941990 140727770941990 140727770947562 0
/proc/135399/statm: 973238 854331 2368 1147 0 960664 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 3897144 KiB
Current children cumulated memory: 3420396 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3626.7 s]
# the end of solver process 135396 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=1.18155 s, system=0.031857 s
Sleeping 2 seconds
[startup+3626.83 s]
# the end of solver process 135399 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3564.39 s, system=35.7531 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+3626.8 s]*
/proc/loadavg: 1.11 1.10 1.27 2/248 135795
/proc/meminfo: memFree=109844140/131250000 swapFree=33010416/33010684
[pid=135399] ppid=135393 vsize=3854148 memory=2080848 CPUtime=3598.9 cores=1,3
/proc/135399/stat : 135399 (roundingsat) R 135393 135396 134694 0 -1 4194304 398795 0 0 0 356319 3571 0 0 20 0 1 0 175697298 3946647552 520724 18446744073709551615 4227072 8923577 140727770933952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 34131968 140727770941684 140727770941990 140727770941990 140727770947562 0
/proc/135399/statm: 963537 520724 2464 1147 0 950963 0
Current cumulated CPU time of completed processes: 1.21341 s
Current children cumulated CPU time: 3598.9 s
Current children cumulated vsize: 3854148 KiB
Current children cumulated memory: 2080848 KiB
Child status: 2
Real time (s): 3626.83
CPU time (s): 3600.14
CPU user time (s): 3564.39
CPU system time (s): 35.7531
CPU usage (%): 99.2642
Max. virtual memory (cumulated for all children) (KiB): 3952812
Max. memory (cumulated for all children) (KiB): 3437248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3564.39
system time used= 35.7531
maximum resident set size= 3442848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 417496
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15776760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2294
involuntary context switches= 8151
# summary of solver processes directly reported to runsolver:
# pid: 135396,135399
# total CPU time (s): 3600.14
# total CPU user time (s): 3564.39
# total CPU system time (s): 35.7531
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.84105 second user time and 15.2639 second system time
The end
Begin job on nodeC018 at 2025-07-15 19:23:13
IDJOB=4532265
IDBENCH=180463
IDSOLVER=3392
FILE ID=nodeC018/4532265-1752600193
RUNJOBID= nodeC018-1752596531-134706
SLURM_JOB_ID= 9684373
Free space on /tmp= 432680 MiB
SOLVER NAME= roundingsat-ls+pbsuma-log 0f876b3
BENCH NAME= PB25/normalized-PB25/OPT-LIN/wallon/normalized-AztecDiamondSym-mini-07_c24.opb
COMMAND LINE= run-opt-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4532265-1752600193/watcher-4532265-1752600193 -o /tmp/evaluation-result-4532265-1752600193/solver-4532265-1752600193 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1752596531-134706 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4532265-1752600193.opb PROOFDIR/proof-4532265-1752600193
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7b7d352a7105ac7993395b7f6c3b04bc
RANDOM SEED=318632884
nodeC018 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.826
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.735
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3528.973
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.856
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.824
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.832
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3594.924
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3602.008
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 124278796 kB
MemAvailable: 129538988 kB
Buffers: 2128 kB
Cached: 6013164 kB
SwapCached: 32 kB
Active: 778456 kB
Inactive: 5474768 kB
Active(anon): 263904 kB
Inactive(anon): 288 kB
Active(file): 514552 kB
Inactive(file): 5474480 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 151752 kB
Writeback: 0 kB
AnonPages: 241100 kB
Mapped: 121556 kB
Shmem: 26236 kB
KReclaimable: 220400 kB
Slab: 320640 kB
SReclaimable: 220400 kB
SUnreclaim: 100240 kB
KernelStack: 4384 kB
PageTables: 3716 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 587120 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150600 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 55296 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432712 MiB
End job on nodeC018 at 2025-07-15 20:23:40