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-4523979-1751601030.opb'
0.00/0.03 c read 1.36MB (21.55ms)
0.00/0.03 c [cnf: #variables 35169 #clauses 28730 #duplicates 0 #arr 120617]
0.00/0.04 c output proof to 'PROOFDIR/proof-4523979-1751601030'
0.00/0.04 c
0.00/0.04 c make graph and approximate orbits
0.00/0.08 c [group: #orbits ~= 9264] (39.50ms)
0.00/0.08 c
0.00/0.08 c detect special group actions
0.00/0.08 c probe for Johnson action (limit=64)
0.08/0.11 c probe for row-column symmetry (limit=64, splits=16.78M)
0.08/0.11 c probe for row symmetry (limit=64, splits=16.78M)
1.36/1.47 c (1394.08ms)
1.36/1.47 c
1.36/1.47 c detect symmetries on remainder
1.36/1.47 c [graph: #vertices 169293 #edges 452022]
1.36/1.47 c dejavu (support_limit=2048.00MB, budget_limit=64)
1.46/1.57 c [group: #symmetries 8.00*10^0 #generators 3] (100.49ms)
1.46/1.57 c
1.46/1.57 c optimize generators (opt_passes=64, conjugate_limit=256)
1.46/1.57 c (0.12ms)
1.46/1.57 c
1.46/1.57 c finalize break order and special generators
1.46/1.58 c
1.46/1.58 c add generic predicates (break_depth=20)
1.46/1.58 c added predicates for 3 generators (0.66ms)
1.46/1.58 c
1.46/1.58 c generation finished
1.46/1.58 c [sbp: #constraints 0 #add_vars 0]
1.46/1.58 c
1.46/1.58 c write result to 'HOME/instance-4523979-1751601030.opb.pre'
1.46/1.58 c wrote 1.39MB (3.36ms)
1.46/1.58 c ------------------------------------------------------------------
1.46/1.58 c 1394.08ms 88.42% detect_special
1.46/1.58 c 100.49ms 6.37% detect_generic
1.46/1.58 c 39.50ms 2.51% approx_orbits
1.46/1.58 c 21.55ms 1.37% parse
1.46/1.58 c 14.31ms 0.91% other
1.46/1.58 c 3.36ms 0.21% output
1.46/1.58 c 2.62ms 0.17% finalize_order
1.46/1.58 c 0.66ms 0.04% break_generic
1.46/1.58 c 0.12ms 0.01% optimize_gens
1.46/1.58 c ───────────────────────────────────────────────
1.46/1.58 c 1576.69ms 100% total
1.46/1.58 c ------------------------------------------------------------------
1.55/1.60 c RoundingSat 2
1.55/1.60 c branch pb25
1.55/1.60 c commit 63f22ad
1.55/1.81 c #variables 35169 #constraints 28953
1.55/1.81 c objective is ce32
1.55/2.00 c initial watched CF 32, 64, 128, Arb: 112 , 0 , 0 , 0
1.55/2.00 c initial counting CF 32, 64, 128, Arb: 22177 , 0 , 0 , 0
1.55/2.00 c bounds - >= 0 @ 0.355076
11.59/11.79 c #Conflicts: 1000 | #Constraints: 29952
11.59/11.79 c #Conflicts: 2000 | #Constraints: 30952
11.59/11.79 c INPROCESSING
11.59/11.79 c GARBAGE COLLECT
11.59/11.79 c #Conflicts: 3000 | #Constraints: 30982
11.59/11.79 c #Conflicts: 4000 | #Constraints: 31982
11.59/11.79 c INPROCESSING
11.59/11.79 c GARBAGE COLLECT
11.59/11.79 c #Conflicts: 5000 | #Constraints: 31396
11.59/11.79 c #Conflicts: 6000 | #Constraints: 32396
11.59/11.79 c INPROCESSING
11.59/11.79 c GARBAGE COLLECT
11.59/11.79 c rational objective 0
17.17/17.38 c #Conflicts: 7000 | #Constraints: 31471
17.17/17.38 c #Conflicts: 8000 | #Constraints: 32471
17.17/17.38 c #Conflicts: 9000 | #Constraints: 33471
17.17/17.38 c INPROCESSING
17.17/17.38 c GARBAGE COLLECT
17.17/17.38 c rational objective 0
36.77/37.19 c #Conflicts: 10000 | #Constraints: 32200
36.77/37.19 c #Conflicts: 11000 | #Constraints: 33200
36.77/37.19 c #Conflicts: 12000 | #Constraints: 34200
36.77/37.19 c INPROCESSING
36.77/37.19 c GARBAGE COLLECT
36.77/37.19 c #Conflicts: 13000 | #Constraints: 32632
36.77/37.19 c #Conflicts: 14000 | #Constraints: 33632
36.77/37.19 c #Conflicts: 15000 | #Constraints: 34633
36.77/37.19 c INPROCESSING
36.77/37.19 c GARBAGE COLLECT
36.77/37.19 c #Conflicts: 16000 | #Constraints: 32858
36.77/37.19 c #Conflicts: 17000 | #Constraints: 33858
36.77/37.19 c #Conflicts: 18000 | #Constraints: 34859
36.77/37.19 c INPROCESSING
36.77/37.19 c GARBAGE COLLECT
36.77/37.19 c rational objective 0
49.54/49.91 c #Conflicts: 19000 | #Constraints: 32898
49.54/49.91 c #Conflicts: 20000 | #Constraints: 33899
49.54/49.91 c #Conflicts: 21000 | #Constraints: 34899
49.54/49.91 c INPROCESSING
49.54/49.91 c GARBAGE COLLECT
49.54/49.91 c #Conflicts: 22000 | #Constraints: 32701
49.54/49.91 c #Conflicts: 23000 | #Constraints: 33704
49.54/49.91 c #Conflicts: 24000 | #Constraints: 34705
49.54/49.91 c #Conflicts: 25000 | #Constraints: 35705
49.54/49.91 c INPROCESSING
49.54/49.91 c GARBAGE COLLECT
49.54/49.91 c rational objective 0
57.72/58.14 c #Conflicts: 26000 | #Constraints: 33332
57.72/58.14 c #Conflicts: 27000 | #Constraints: 34334
57.72/58.14 c #Conflicts: 28000 | #Constraints: 35335
57.72/58.14 c #Conflicts: 29000 | #Constraints: 36335
57.72/58.14 c INPROCESSING
57.72/58.14 c GARBAGE COLLECT
57.72/58.14 c rational objective 0
70.59/71.01 c #Conflicts: 30000 | #Constraints: 33777
70.59/71.01 c #Conflicts: 31000 | #Constraints: 34777
70.59/71.01 c #Conflicts: 32000 | #Constraints: 35777
70.59/71.01 c #Conflicts: 33000 | #Constraints: 36777
70.59/71.01 c INPROCESSING
70.59/71.01 c GARBAGE COLLECT
70.59/71.01 c rational objective 0
93.62/94.18 c #Conflicts: 34000 | #Constraints: 33973
93.62/94.18 c #Conflicts: 35000 | #Constraints: 34973
93.62/94.18 c #Conflicts: 36000 | #Constraints: 35973
93.62/94.18 c #Conflicts: 37000 | #Constraints: 36973
93.62/94.18 c INPROCESSING
93.62/94.18 c GARBAGE COLLECT
93.62/94.18 c #Conflicts: 38000 | #Constraints: 33948
93.62/94.18 c #Conflicts: 39000 | #Constraints: 34948
93.62/94.18 c #Conflicts: 40000 | #Constraints: 35948
93.62/94.18 c #Conflicts: 41000 | #Constraints: 36948
93.62/94.18 c INPROCESSING
93.62/94.18 c GARBAGE COLLECT
93.62/94.18 c #Conflicts: 42000 | #Constraints: 33736
93.62/94.18 c #Conflicts: 43000 | #Constraints: 34737
93.62/94.18 c #Conflicts: 44000 | #Constraints: 35743
93.62/94.18 c #Conflicts: 45000 | #Constraints: 36753
93.62/94.18 c #Conflicts: 46000 | #Constraints: 37753
93.62/94.18 c INPROCESSING
93.62/94.18 c GARBAGE COLLECT
93.62/94.18 c rational objective 0
105.00/105.60 c #Conflicts: 47000 | #Constraints: 34366
105.00/105.60 c #Conflicts: 48000 | #Constraints: 35366
105.00/105.60 c #Conflicts: 49000 | #Constraints: 36366
105.00/105.60 c #Conflicts: 50000 | #Constraints: 37366
105.00/105.60 c #Conflicts: 51000 | #Constraints: 38366
105.00/105.60 c INPROCESSING
105.00/105.60 c GARBAGE COLLECT
105.00/105.60 c rational objective 0
120.35/121.03 c #Conflicts: 52000 | #Constraints: 34778
120.35/121.03 c #Conflicts: 53000 | #Constraints: 35778
120.35/121.03 c #Conflicts: 54000 | #Constraints: 36779
120.35/121.03 c #Conflicts: 55000 | #Constraints: 37779
120.35/121.03 c #Conflicts: 56000 | #Constraints: 38779
120.35/121.03 c INPROCESSING
120.35/121.03 c GARBAGE COLLECT
120.35/121.03 c #Conflicts: 57000 | #Constraints: 34961
120.35/121.03 c #Conflicts: 58000 | #Constraints: 35961
120.35/121.03 c #Conflicts: 59000 | #Constraints: 36961
120.35/121.03 c #Conflicts: 60000 | #Constraints: 37961
120.35/121.03 c #Conflicts: 61000 | #Constraints: 38961
120.35/121.03 c INPROCESSING
120.35/121.03 c GARBAGE COLLECT
120.35/121.03 c rational objective 0
129.02/129.82 c #Conflicts: 62000 | #Constraints: 34979
129.02/129.82 c #Conflicts: 63000 | #Constraints: 35979
129.02/129.82 c #Conflicts: 64000 | #Constraints: 36979
129.02/129.82 c #Conflicts: 65000 | #Constraints: 37982
129.02/129.82 c #Conflicts: 66000 | #Constraints: 38982
129.02/129.82 c INPROCESSING
129.02/129.82 c GARBAGE COLLECT
129.02/129.82 c rational objective 0
141.96/142.89 c #Conflicts: 67000 | #Constraints: 34792
141.96/142.89 c #Conflicts: 68000 | #Constraints: 35792
141.96/142.89 c #Conflicts: 69000 | #Constraints: 36792
141.96/142.89 c #Conflicts: 70000 | #Constraints: 37792
141.96/142.89 c #Conflicts: 71000 | #Constraints: 38792
141.96/142.89 c #Conflicts: 72000 | #Constraints: 39792
141.96/142.89 c INPROCESSING
141.96/142.89 c GARBAGE COLLECT
141.96/142.89 c rational objective 0
152.99/153.99 c #Conflicts: 73000 | #Constraints: 35430
152.99/153.99 c #Conflicts: 74000 | #Constraints: 36433
152.99/153.99 c #Conflicts: 75000 | #Constraints: 37435
152.99/153.99 c #Conflicts: 76000 | #Constraints: 38438
152.99/153.99 c #Conflicts: 77000 | #Constraints: 39442
152.99/153.99 c #Conflicts: 78000 | #Constraints: 40445
152.99/153.99 c INPROCESSING
152.99/153.99 c GARBAGE COLLECT
152.99/153.99 c rational objective 0
179.12/180.29 c #Conflicts: 79000 | #Constraints: 35849
179.12/180.29 c #Conflicts: 80000 | #Constraints: 36852
179.12/180.29 c #Conflicts: 81000 | #Constraints: 37853
179.12/180.29 c #Conflicts: 82000 | #Constraints: 38853
179.12/180.29 c #Conflicts: 83000 | #Constraints: 39853
179.12/180.29 c #Conflicts: 84000 | #Constraints: 40853
179.12/180.29 c INPROCESSING
179.12/180.29 c GARBAGE COLLECT
179.12/180.29 c #Conflicts: 85000 | #Constraints: 35997
179.12/180.29 c #Conflicts: 86000 | #Constraints: 36999
179.12/180.29 c #Conflicts: 87000 | #Constraints: 38003
179.12/180.29 c #Conflicts: 88000 | #Constraints: 39006
179.12/180.29 c #Conflicts: 89000 | #Constraints: 40007
179.12/180.29 c #Conflicts: 90000 | #Constraints: 41009
179.12/180.29 c INPROCESSING
179.12/180.29 c GARBAGE COLLECT
179.12/180.29 c rational objective 0
190.20/191.41 c #Conflicts: 91000 | #Constraints: 36037
190.20/191.41 c #Conflicts: 92000 | #Constraints: 37037
190.20/191.41 c #Conflicts: 93000 | #Constraints: 38037
190.20/191.41 c #Conflicts: 94000 | #Constraints: 39037
190.20/191.41 c #Conflicts: 95000 | #Constraints: 40037
190.20/191.41 c #Conflicts: 96000 | #Constraints: 41038
190.20/191.41 c INPROCESSING
190.20/191.41 c GARBAGE COLLECT
190.20/191.41 c rational objective 0
205.36/206.64 c #Conflicts: 97000 | #Constraints: 35828
205.36/206.64 c #Conflicts: 98000 | #Constraints: 36828
205.36/206.64 c #Conflicts: 99000 | #Constraints: 37828
205.36/206.64 c #Conflicts: 100000 | #Constraints: 38829
205.36/206.64 c #Conflicts: 101000 | #Constraints: 39829
205.36/206.64 c #Conflicts: 102000 | #Constraints: 40829
205.36/206.64 c #Conflicts: 103000 | #Constraints: 41829
205.36/206.64 c INPROCESSING
205.36/206.64 c GARBAGE COLLECT
205.36/206.64 c rational objective 0
215.93/217.21 c #Conflicts: 104000 | #Constraints: 36408
215.93/217.21 c #Conflicts: 105000 | #Constraints: 37409
215.93/217.21 c #Conflicts: 106000 | #Constraints: 38410
215.93/217.21 c #Conflicts: 107000 | #Constraints: 39410
215.93/217.21 c #Conflicts: 108000 | #Constraints: 40410
215.93/217.21 c #Conflicts: 109000 | #Constraints: 41410
215.93/217.21 c #Conflicts: 110000 | #Constraints: 42410
215.93/217.21 c INPROCESSING
215.93/217.21 c GARBAGE COLLECT
215.93/217.21 c rational objective 0
226.41/227.87 c #Conflicts: 111000 | #Constraints: 36875
226.41/227.87 c #Conflicts: 112000 | #Constraints: 37875
226.41/227.87 c #Conflicts: 113000 | #Constraints: 38875
226.41/227.87 c #Conflicts: 114000 | #Constraints: 39875
226.41/227.87 c #Conflicts: 115000 | #Constraints: 40875
226.41/227.87 c #Conflicts: 116000 | #Constraints: 41875
226.41/227.87 c #Conflicts: 117000 | #Constraints: 42875
226.41/227.87 c INPROCESSING
226.41/227.87 c GARBAGE COLLECT
226.41/227.87 c rational objective 0
242.77/244.32 c #Conflicts: 118000 | #Constraints: 37070
242.77/244.32 c #Conflicts: 119000 | #Constraints: 38070
242.77/244.32 c #Conflicts: 120000 | #Constraints: 39070
242.77/244.32 c #Conflicts: 121000 | #Constraints: 40070
242.77/244.32 c #Conflicts: 122000 | #Constraints: 41070
242.77/244.32 c #Conflicts: 123000 | #Constraints: 42070
242.77/244.32 c #Conflicts: 124000 | #Constraints: 43071
242.77/244.32 c INPROCESSING
242.77/244.32 c GARBAGE COLLECT
242.77/244.32 c rational objective 0
253.58/255.20 c #Conflicts: 125000 | #Constraints: 37094
253.58/255.20 c #Conflicts: 126000 | #Constraints: 38094
253.58/255.20 c #Conflicts: 127000 | #Constraints: 39094
253.58/255.20 c #Conflicts: 128000 | #Constraints: 40096
253.58/255.20 c #Conflicts: 129000 | #Constraints: 41098
253.58/255.20 c #Conflicts: 130000 | #Constraints: 42100
253.58/255.20 c #Conflicts: 131000 | #Constraints: 43100
253.58/255.20 c INPROCESSING
253.58/255.20 c GARBAGE COLLECT
253.58/255.20 c rational objective 0
266.24/267.91 c #Conflicts: 132000 | #Constraints: 36890
266.24/267.91 c #Conflicts: 133000 | #Constraints: 37890
266.24/267.91 c #Conflicts: 134000 | #Constraints: 38893
266.24/267.91 c #Conflicts: 135000 | #Constraints: 39896
266.24/267.91 c #Conflicts: 136000 | #Constraints: 40896
266.24/267.91 c #Conflicts: 137000 | #Constraints: 41898
266.24/267.91 c #Conflicts: 138000 | #Constraints: 42898
266.24/267.91 c #Conflicts: 139000 | #Constraints: 43898
266.24/267.91 c INPROCESSING
266.24/267.91 c GARBAGE COLLECT
266.24/267.91 c rational objective 0
279.84/281.69 c #Conflicts: 140000 | #Constraints: 37526
279.84/281.69 c #Conflicts: 141000 | #Constraints: 38527
279.84/281.69 c #Conflicts: 142000 | #Constraints: 39527
279.84/281.69 c #Conflicts: 143000 | #Constraints: 40527
279.84/281.69 c #Conflicts: 144000 | #Constraints: 41527
279.84/281.69 c #Conflicts: 145000 | #Constraints: 42527
279.84/281.69 c #Conflicts: 146000 | #Constraints: 43527
279.84/281.69 c #Conflicts: 147000 | #Constraints: 44527
279.84/281.69 c INPROCESSING
279.84/281.69 c GARBAGE COLLECT
279.84/281.69 c rational objective 0
304.38/306.23 c #Conflicts: 148000 | #Constraints: 37901
304.38/306.23 c #Conflicts: 149000 | #Constraints: 38901
304.38/306.23 c #Conflicts: 150000 | #Constraints: 39901
304.38/306.23 c #Conflicts: 151000 | #Constraints: 40901
304.38/306.23 c #Conflicts: 152000 | #Constraints: 41901
304.38/306.23 c #Conflicts: 153000 | #Constraints: 42901
304.38/306.23 c #Conflicts: 154000 | #Constraints: 43901
304.38/306.23 c #Conflicts: 155000 | #Constraints: 44901
304.38/306.23 c INPROCESSING
304.38/306.23 c GARBAGE COLLECT
304.38/306.23 c rational objective 0
318.83/321.03 c #Conflicts: 156000 | #Constraints: 38117
318.83/321.03 c #Conflicts: 157000 | #Constraints: 39117
318.83/321.03 c #Conflicts: 158000 | #Constraints: 40117
318.83/321.03 c #Conflicts: 159000 | #Constraints: 41117
318.83/321.03 c #Conflicts: 160000 | #Constraints: 42117
318.83/321.03 c #Conflicts: 161000 | #Constraints: 43117
318.83/321.03 c #Conflicts: 162000 | #Constraints: 44117
318.83/321.03 c #Conflicts: 163000 | #Constraints: 45117
318.83/321.03 c INPROCESSING
318.83/321.03 c GARBAGE COLLECT
318.83/321.03 c rational objective 0
333.18/335.44 c #Conflicts: 164000 | #Constraints: 38113
333.18/335.44 c #Conflicts: 165000 | #Constraints: 39113
333.18/335.44 c #Conflicts: 166000 | #Constraints: 40113
333.18/335.44 c #Conflicts: 167000 | #Constraints: 41113
333.18/335.44 c #Conflicts: 168000 | #Constraints: 42113
333.18/335.44 c #Conflicts: 169000 | #Constraints: 43113
333.18/335.44 c #Conflicts: 170000 | #Constraints: 44113
333.18/335.44 c #Conflicts: 171000 | #Constraints: 45113
333.18/335.44 c INPROCESSING
333.18/335.44 c GARBAGE COLLECT
333.18/335.44 c rational objective 0
347.22/353.24 c #Conflicts: 172000 | #Constraints: 37892
347.22/353.24 c #Conflicts: 173000 | #Constraints: 38892
347.22/353.24 c #Conflicts: 174000 | #Constraints: 39892
347.22/353.24 c #Conflicts: 175000 | #Constraints: 40893
347.22/353.24 c #Conflicts: 176000 | #Constraints: 41898
347.22/353.24 c #Conflicts: 177000 | #Constraints: 42899
347.22/353.24 c #Conflicts: 178000 | #Constraints: 43902
347.22/353.24 c #Conflicts: 179000 | #Constraints: 44902
347.22/353.24 c #Conflicts: 180000 | #Constraints: 45902
347.22/353.24 c INPROCESSING
347.22/353.24 c GARBAGE COLLECT
347.22/353.24 c rational objective 0
360.68/366.75 c #Conflicts: 181000 | #Constraints: 38512
360.68/366.75 c #Conflicts: 182000 | #Constraints: 39512
360.68/366.75 c #Conflicts: 183000 | #Constraints: 40512
360.68/366.75 c #Conflicts: 184000 | #Constraints: 41512
360.68/366.75 c #Conflicts: 185000 | #Constraints: 42512
360.68/366.75 c #Conflicts: 186000 | #Constraints: 43512
360.68/366.75 c #Conflicts: 187000 | #Constraints: 44512
360.68/366.75 c #Conflicts: 188000 | #Constraints: 45512
360.68/366.75 c #Conflicts: 189000 | #Constraints: 46513
360.68/366.75 c INPROCESSING
360.68/366.75 c GARBAGE COLLECT
360.68/366.75 c rational objective 1.29247e-26
395.94/402.20 c #Conflicts: 190000 | #Constraints: 38890
395.94/402.20 c #Conflicts: 191000 | #Constraints: 39890
395.94/402.20 c #Conflicts: 192000 | #Constraints: 40890
395.94/402.20 c #Conflicts: 193000 | #Constraints: 41890
395.94/402.20 c #Conflicts: 194000 | #Constraints: 42896
395.94/402.20 c #Conflicts: 195000 | #Constraints: 43901
395.94/402.20 c #Conflicts: 196000 | #Constraints: 44901
395.94/402.20 c #Conflicts: 197000 | #Constraints: 45901
395.94/402.20 c #Conflicts: 198000 | #Constraints: 46901
395.94/402.20 c INPROCESSING
395.94/402.20 c GARBAGE COLLECT
395.94/402.20 c #Conflicts: 199000 | #Constraints: 39061
395.94/402.20 c #Conflicts: 200000 | #Constraints: 40061
395.94/402.20 c #Conflicts: 201000 | #Constraints: 41061
395.94/402.20 c #Conflicts: 202000 | #Constraints: 42062
395.94/402.20 c #Conflicts: 203000 | #Constraints: 43062
395.94/402.20 c #Conflicts: 204000 | #Constraints: 44062
395.94/402.20 c #Conflicts: 205000 | #Constraints: 45062
395.94/402.20 c #Conflicts: 206000 | #Constraints: 46062
395.94/402.20 c #Conflicts: 207000 | #Constraints: 47062
395.94/402.20 c INPROCESSING
395.94/402.20 c GARBAGE COLLECT
395.94/402.20 c rational objective 0
414.99/421.48 c #Conflicts: 208000 | #Constraints: 39042
414.99/421.48 c #Conflicts: 209000 | #Constraints: 40042
414.99/421.48 c #Conflicts: 210000 | #Constraints: 41042
414.99/421.48 c #Conflicts: 211000 | #Constraints: 42042
414.99/421.48 c #Conflicts: 212000 | #Constraints: 43042
414.99/421.48 c #Conflicts: 213000 | #Constraints: 44042
414.99/421.48 c #Conflicts: 214000 | #Constraints: 45046
414.99/421.48 c #Conflicts: 215000 | #Constraints: 46046
414.99/421.48 c #Conflicts: 216000 | #Constraints: 47051
414.99/421.48 c INPROCESSING
414.99/421.48 c GARBAGE COLLECT
414.99/421.48 c rational objective 0
442.67/449.30 c #Conflicts: 217000 | #Constraints: 38901
442.67/449.30 c #Conflicts: 218000 | #Constraints: 39902
442.67/449.30 c #Conflicts: 219000 | #Constraints: 40905
442.67/449.30 c #Conflicts: 220000 | #Constraints: 41912
442.67/449.30 c #Conflicts: 221000 | #Constraints: 42916
442.67/449.30 c #Conflicts: 222000 | #Constraints: 43919
442.67/449.30 c #Conflicts: 223000 | #Constraints: 44924
442.67/449.30 c #Conflicts: 224000 | #Constraints: 45926
442.67/449.30 c #Conflicts: 225000 | #Constraints: 46929
442.67/449.30 c #Conflicts: 226000 | #Constraints: 47929
442.67/449.30 c INPROCESSING
442.67/449.30 c GARBAGE COLLECT
442.67/449.30 c rational objective 0
464.33/471.25 c #Conflicts: 227000 | #Constraints: 39495
464.33/471.25 c #Conflicts: 228000 | #Constraints: 40495
464.33/471.25 c #Conflicts: 229000 | #Constraints: 41495
464.33/471.25 c #Conflicts: 230000 | #Constraints: 42496
464.33/471.25 c #Conflicts: 231000 | #Constraints: 43496
464.33/471.25 c #Conflicts: 232000 | #Constraints: 44496
464.33/471.25 c #Conflicts: 233000 | #Constraints: 45497
464.33/471.25 c #Conflicts: 234000 | #Constraints: 46497
464.33/471.25 c #Conflicts: 235000 | #Constraints: 47497
464.33/471.25 c #Conflicts: 236000 | #Constraints: 48498
464.33/471.25 c INPROCESSING
464.33/471.25 c GARBAGE COLLECT
464.33/471.25 c rational objective 0
481.28/488.23 c #Conflicts: 237000 | #Constraints: 39917
481.28/488.23 c #Conflicts: 238000 | #Constraints: 40917
481.28/488.23 c #Conflicts: 239000 | #Constraints: 41917
481.28/488.23 c #Conflicts: 240000 | #Constraints: 42918
481.28/488.23 c #Conflicts: 241000 | #Constraints: 43918
481.28/488.23 c #Conflicts: 242000 | #Constraints: 44920
481.28/488.23 c #Conflicts: 243000 | #Constraints: 45922
481.28/488.23 c #Conflicts: 244000 | #Constraints: 46922
481.28/488.23 c #Conflicts: 245000 | #Constraints: 47922
481.28/488.23 c #Conflicts: 246000 | #Constraints: 48922
481.28/488.23 c INPROCESSING
481.28/488.23 c GARBAGE COLLECT
481.28/488.23 c rational objective 0
496.12/503.20 c #Conflicts: 247000 | #Constraints: 40098
496.12/503.20 c #Conflicts: 248000 | #Constraints: 41098
496.12/503.20 c #Conflicts: 249000 | #Constraints: 42098
496.12/503.20 c #Conflicts: 250000 | #Constraints: 43099
496.12/503.20 c #Conflicts: 251000 | #Constraints: 44099
496.12/503.20 c #Conflicts: 252000 | #Constraints: 45099
496.12/503.20 c #Conflicts: 253000 | #Constraints: 46099
496.12/503.20 c #Conflicts: 254000 | #Constraints: 47100
496.12/503.20 c #Conflicts: 255000 | #Constraints: 48101
496.12/503.20 c #Conflicts: 256000 | #Constraints: 49104
496.12/503.20 c INPROCESSING
496.12/503.20 c GARBAGE COLLECT
496.12/503.20 c rational objective 0
513.18/520.36 c #Conflicts: 257000 | #Constraints: 40119
513.18/520.36 c #Conflicts: 258000 | #Constraints: 41121
513.18/520.36 c #Conflicts: 259000 | #Constraints: 42121
513.18/520.36 c #Conflicts: 260000 | #Constraints: 43122
513.18/520.36 c #Conflicts: 261000 | #Constraints: 44127
513.18/520.36 c #Conflicts: 262000 | #Constraints: 45128
513.18/520.36 c #Conflicts: 263000 | #Constraints: 46128
513.18/520.36 c #Conflicts: 264000 | #Constraints: 47128
513.18/520.36 c #Conflicts: 265000 | #Constraints: 48128
513.18/520.36 c #Conflicts: 266000 | #Constraints: 49128
513.18/520.36 c INPROCESSING
513.18/520.36 c GARBAGE COLLECT
513.18/520.36 c rational objective 0
531.59/538.97 c #Conflicts: 267000 | #Constraints: 39926
531.59/538.97 c #Conflicts: 268000 | #Constraints: 40926
531.59/538.97 c #Conflicts: 269000 | #Constraints: 41927
531.59/538.97 c #Conflicts: 270000 | #Constraints: 42927
531.59/538.97 c #Conflicts: 271000 | #Constraints: 43927
531.59/538.97 c #Conflicts: 272000 | #Constraints: 44927
531.59/538.97 c #Conflicts: 273000 | #Constraints: 45928
531.59/538.97 c #Conflicts: 274000 | #Constraints: 46929
531.59/538.97 c #Conflicts: 275000 | #Constraints: 47933
531.59/538.97 c #Conflicts: 276000 | #Constraints: 48938
531.59/538.97 c #Conflicts: 277000 | #Constraints: 49944
531.59/538.97 c INPROCESSING
531.59/538.97 c GARBAGE COLLECT
531.59/538.97 c rational objective 0
550.15/557.54 c #Conflicts: 278000 | #Constraints: 40512
550.15/557.54 c #Conflicts: 279000 | #Constraints: 41512
550.15/557.54 c #Conflicts: 280000 | #Constraints: 42512
550.15/557.54 c #Conflicts: 281000 | #Constraints: 43512
550.15/557.54 c #Conflicts: 282000 | #Constraints: 44512
550.15/557.54 c #Conflicts: 283000 | #Constraints: 45512
550.15/557.54 c #Conflicts: 284000 | #Constraints: 46512
550.15/557.54 c #Conflicts: 285000 | #Constraints: 47512
550.15/557.54 c #Conflicts: 286000 | #Constraints: 48512
550.15/557.54 c #Conflicts: 287000 | #Constraints: 49512
550.15/557.54 c #Conflicts: 288000 | #Constraints: 50512
550.15/557.54 c INPROCESSING
550.15/557.54 c GARBAGE COLLECT
550.15/557.54 c rational objective 0
566.74/580.09 c #Conflicts: 289000 | #Constraints: 40924
566.74/580.09 c #Conflicts: 290000 | #Constraints: 41926
566.74/580.09 c #Conflicts: 291000 | #Constraints: 42927
566.74/580.09 c #Conflicts: 292000 | #Constraints: 43928
566.74/580.09 c #Conflicts: 293000 | #Constraints: 44930
566.74/580.09 c #Conflicts: 294000 | #Constraints: 45930
566.74/580.09 c #Conflicts: 295000 | #Constraints: 46930
566.74/580.09 c #Conflicts: 296000 | #Constraints: 47930
566.74/580.09 c #Conflicts: 297000 | #Constraints: 48931
566.74/580.09 c #Conflicts: 298000 | #Constraints: 49932
566.74/580.09 c #Conflicts: 299000 | #Constraints: 50933
566.74/580.09 c INPROCESSING
566.74/580.09 c GARBAGE COLLECT
566.74/580.09 c rational objective 0
602.78/616.23 c #Conflicts: 300000 | #Constraints: 41155
602.78/616.23 c #Conflicts: 301000 | #Constraints: 42155
602.78/616.23 c #Conflicts: 302000 | #Constraints: 43155
602.78/616.23 c #Conflicts: 303000 | #Constraints: 44155
602.78/616.23 c #Conflicts: 304000 | #Constraints: 45155
602.78/616.23 c #Conflicts: 305000 | #Constraints: 46155
602.78/616.23 c #Conflicts: 306000 | #Constraints: 47155
602.78/616.23 c #Conflicts: 307000 | #Constraints: 48155
602.78/616.23 c #Conflicts: 308000 | #Constraints: 49155
602.78/616.23 c #Conflicts: 309000 | #Constraints: 50155
602.78/616.23 c #Conflicts: 310000 | #Constraints: 51155
602.78/616.23 c INPROCESSING
602.78/616.23 c GARBAGE COLLECT
602.78/616.23 c rational objective 0
621.98/635.64 c #Conflicts: 311000 | #Constraints: 41187
621.98/635.64 c #Conflicts: 312000 | #Constraints: 42187
621.98/635.64 c #Conflicts: 313000 | #Constraints: 43187
621.98/635.64 c #Conflicts: 314000 | #Constraints: 44187
621.98/635.64 c #Conflicts: 315000 | #Constraints: 45187
621.98/635.64 c #Conflicts: 316000 | #Constraints: 46187
621.98/635.64 c #Conflicts: 317000 | #Constraints: 47187
621.98/635.64 c #Conflicts: 318000 | #Constraints: 48187
621.98/635.64 c #Conflicts: 319000 | #Constraints: 49187
621.98/635.64 c #Conflicts: 320000 | #Constraints: 50187
621.98/635.64 c #Conflicts: 321000 | #Constraints: 51187
621.98/635.64 c INPROCESSING
621.98/635.64 c GARBAGE COLLECT
621.98/635.64 c rational objective 0
641.96/655.74 c #Conflicts: 322000 | #Constraints: 40962
641.96/655.74 c #Conflicts: 323000 | #Constraints: 41966
641.96/655.74 c #Conflicts: 324000 | #Constraints: 42969
641.96/655.74 c #Conflicts: 325000 | #Constraints: 43969
641.96/655.74 c #Conflicts: 326000 | #Constraints: 44969
641.96/655.74 c #Conflicts: 327000 | #Constraints: 45969
641.96/655.74 c #Conflicts: 328000 | #Constraints: 46970
641.96/655.74 c #Conflicts: 329000 | #Constraints: 47970
641.96/655.74 c #Conflicts: 330000 | #Constraints: 48970
641.96/655.74 c #Conflicts: 331000 | #Constraints: 49972
641.96/655.74 c #Conflicts: 332000 | #Constraints: 50974
641.96/655.74 c #Conflicts: 333000 | #Constraints: 51974
641.96/655.74 c INPROCESSING
641.96/655.74 c GARBAGE COLLECT
641.96/655.74 c rational objective 0
662.90/677.08 c #Conflicts: 334000 | #Constraints: 41595
662.90/677.08 c #Conflicts: 335000 | #Constraints: 42596
662.90/677.08 c #Conflicts: 336000 | #Constraints: 43596
662.90/677.08 c #Conflicts: 337000 | #Constraints: 44597
662.90/677.08 c #Conflicts: 338000 | #Constraints: 45599
662.90/677.08 c #Conflicts: 339000 | #Constraints: 46600
662.90/677.08 c #Conflicts: 340000 | #Constraints: 47600
662.90/677.08 c #Conflicts: 341000 | #Constraints: 48600
662.90/677.08 c #Conflicts: 342000 | #Constraints: 49600
662.90/677.08 c #Conflicts: 343000 | #Constraints: 50600
662.90/677.08 c #Conflicts: 344000 | #Constraints: 51600
662.90/677.08 c #Conflicts: 345000 | #Constraints: 52600
662.90/677.08 c INPROCESSING
662.90/677.08 c GARBAGE COLLECT
662.90/677.08 c rational objective 0
685.50/699.86 c #Conflicts: 346000 | #Constraints: 41976
685.50/699.86 c #Conflicts: 347000 | #Constraints: 42976
685.50/699.86 c #Conflicts: 348000 | #Constraints: 43976
685.50/699.86 c #Conflicts: 349000 | #Constraints: 44976
685.50/699.86 c #Conflicts: 350000 | #Constraints: 45976
685.50/699.86 c #Conflicts: 351000 | #Constraints: 46976
685.50/699.86 c #Conflicts: 352000 | #Constraints: 47976
685.50/699.86 c #Conflicts: 353000 | #Constraints: 48976
685.50/699.86 c #Conflicts: 354000 | #Constraints: 49976
685.50/699.86 c #Conflicts: 355000 | #Constraints: 50977
685.50/699.86 c #Conflicts: 356000 | #Constraints: 51977
685.50/699.86 c #Conflicts: 357000 | #Constraints: 52977
685.50/699.86 c INPROCESSING
685.50/699.86 c GARBAGE COLLECT
685.50/699.86 c rational objective 0
714.80/729.37 c #Conflicts: 358000 | #Constraints: 42163
714.80/729.37 c #Conflicts: 359000 | #Constraints: 43163
714.80/729.37 c #Conflicts: 360000 | #Constraints: 44163
714.80/729.37 c #Conflicts: 361000 | #Constraints: 45163
714.80/729.37 c #Conflicts: 362000 | #Constraints: 46163
714.80/729.37 c #Conflicts: 363000 | #Constraints: 47163
714.80/729.37 c #Conflicts: 364000 | #Constraints: 48163
714.80/729.37 c #Conflicts: 365000 | #Constraints: 49163
714.80/729.37 c #Conflicts: 366000 | #Constraints: 50164
714.80/729.37 c #Conflicts: 367000 | #Constraints: 51164
714.80/729.37 c #Conflicts: 368000 | #Constraints: 52166
714.80/729.37 c #Conflicts: 369000 | #Constraints: 53167
714.80/729.37 c INPROCESSING
714.80/729.37 c GARBAGE COLLECT
714.80/729.37 c rational objective 0
738.41/753.00 c #Conflicts: 370000 | #Constraints: 42186
738.41/753.00 c #Conflicts: 371000 | #Constraints: 43186
738.41/753.00 c #Conflicts: 372000 | #Constraints: 44186
738.41/753.00 c #Conflicts: 373000 | #Constraints: 45186
738.41/753.00 c #Conflicts: 374000 | #Constraints: 46186
738.41/753.00 c #Conflicts: 375000 | #Constraints: 47187
738.41/753.00 c #Conflicts: 376000 | #Constraints: 48187
738.41/753.00 c #Conflicts: 377000 | #Constraints: 49187
738.41/753.00 c #Conflicts: 378000 | #Constraints: 50187
738.41/753.00 c #Conflicts: 379000 | #Constraints: 51187
738.41/753.00 c #Conflicts: 380000 | #Constraints: 52187
738.41/753.00 c #Conflicts: 381000 | #Constraints: 53187
738.41/753.00 c INPROCESSING
738.41/753.00 c GARBAGE COLLECT
738.41/753.00 c rational objective 0
767.89/782.65 c #Conflicts: 382000 | #Constraints: 41956
767.89/782.65 c #Conflicts: 383000 | #Constraints: 42956
767.89/782.65 c #Conflicts: 384000 | #Constraints: 43956
767.89/782.65 c #Conflicts: 385000 | #Constraints: 44956
767.89/782.65 c #Conflicts: 386000 | #Constraints: 45956
767.89/782.65 c #Conflicts: 387000 | #Constraints: 46956
767.89/782.65 c #Conflicts: 388000 | #Constraints: 47956
767.89/782.65 c #Conflicts: 389000 | #Constraints: 48956
767.89/782.65 c #Conflicts: 390000 | #Constraints: 49956
767.89/782.65 c #Conflicts: 391000 | #Constraints: 50956
767.89/782.65 c #Conflicts: 392000 | #Constraints: 51956
767.89/782.65 c #Conflicts: 393000 | #Constraints: 52956
767.89/782.65 c #Conflicts: 394000 | #Constraints: 53956
767.89/782.65 c INPROCESSING
767.89/782.65 c GARBAGE COLLECT
767.89/782.65 c rational objective 0
786.74/801.53 c #Conflicts: 395000 | #Constraints: 42595
786.74/801.53 c #Conflicts: 396000 | #Constraints: 43595
786.74/801.53 c #Conflicts: 397000 | #Constraints: 44595
786.74/801.53 c #Conflicts: 398000 | #Constraints: 45595
786.74/801.53 c #Conflicts: 399000 | #Constraints: 46595
786.74/801.53 c #Conflicts: 400000 | #Constraints: 47595
786.74/801.53 c #Conflicts: 401000 | #Constraints: 48595
786.74/801.53 c #Conflicts: 402000 | #Constraints: 49595
786.74/801.53 c #Conflicts: 403000 | #Constraints: 50595
786.74/801.53 c #Conflicts: 404000 | #Constraints: 51598
786.74/801.53 c #Conflicts: 405000 | #Constraints: 52598
786.74/801.53 c #Conflicts: 406000 | #Constraints: 53598
786.74/801.53 c #Conflicts: 407000 | #Constraints: 54598
786.74/801.53 c INPROCESSING
786.74/801.53 c GARBAGE COLLECT
786.74/801.53 c rational objective 0
815.96/836.67 c #Conflicts: 408000 | #Constraints: 43039
815.96/836.67 c #Conflicts: 409000 | #Constraints: 44042
815.96/836.67 c #Conflicts: 410000 | #Constraints: 45043
815.96/836.67 c #Conflicts: 411000 | #Constraints: 46043
815.96/836.67 c #Conflicts: 412000 | #Constraints: 47043
815.96/836.67 c #Conflicts: 413000 | #Constraints: 48044
815.96/836.67 c #Conflicts: 414000 | #Constraints: 49045
815.96/836.67 c #Conflicts: 415000 | #Constraints: 50045
815.96/836.67 c #Conflicts: 416000 | #Constraints: 51045
815.96/836.67 c #Conflicts: 417000 | #Constraints: 52046
815.96/836.67 c #Conflicts: 418000 | #Constraints: 53048
815.96/836.67 c #Conflicts: 419000 | #Constraints: 54053
815.96/836.67 c #Conflicts: 420000 | #Constraints: 55059
815.96/836.67 c INPROCESSING
815.96/836.67 c GARBAGE COLLECT
815.96/836.67 c rational objective 0
855.25/876.21 c #Conflicts: 421000 | #Constraints: 43248
855.25/876.21 c #Conflicts: 422000 | #Constraints: 44253
855.25/876.21 c #Conflicts: 423000 | #Constraints: 45265
855.25/876.21 c #Conflicts: 424000 | #Constraints: 46268
855.25/876.21 c #Conflicts: 425000 | #Constraints: 47269
855.25/876.21 c #Conflicts: 426000 | #Constraints: 48273
855.25/876.21 c #Conflicts: 427000 | #Constraints: 49275
855.25/876.21 c #Conflicts: 428000 | #Constraints: 50277
855.25/876.21 c #Conflicts: 429000 | #Constraints: 51277
855.25/876.21 c #Conflicts: 430000 | #Constraints: 52277
855.25/876.21 c #Conflicts: 431000 | #Constraints: 53278
855.25/876.21 c #Conflicts: 432000 | #Constraints: 54279
855.25/876.21 c #Conflicts: 433000 | #Constraints: 55280
855.25/876.21 c INPROCESSING
855.25/876.21 c GARBAGE COLLECT
855.25/876.21 c rational objective 0
893.26/914.61 c #Conflicts: 434000 | #Constraints: 43211
893.26/914.61 c #Conflicts: 435000 | #Constraints: 44211
893.26/914.61 c #Conflicts: 436000 | #Constraints: 45211
893.26/914.61 c #Conflicts: 437000 | #Constraints: 46211
893.26/914.61 c #Conflicts: 438000 | #Constraints: 47211
893.26/914.61 c #Conflicts: 439000 | #Constraints: 48211
893.26/914.61 c #Conflicts: 440000 | #Constraints: 49211
893.26/914.61 c #Conflicts: 441000 | #Constraints: 50211
893.26/914.61 c #Conflicts: 442000 | #Constraints: 51211
893.26/914.61 c #Conflicts: 443000 | #Constraints: 52211
893.26/914.61 c #Conflicts: 444000 | #Constraints: 53212
893.26/914.61 c #Conflicts: 445000 | #Constraints: 54212
893.26/914.61 c #Conflicts: 446000 | #Constraints: 55215
893.26/914.61 c INPROCESSING
893.26/914.61 c GARBAGE COLLECT
893.26/914.61 c rational objective 0
923.07/944.64 c #Conflicts: 447000 | #Constraints: 42996
923.07/944.64 c #Conflicts: 448000 | #Constraints: 43996
923.07/944.64 c #Conflicts: 449000 | #Constraints: 44996
923.07/944.64 c #Conflicts: 450000 | #Constraints: 45997
923.07/944.64 c #Conflicts: 451000 | #Constraints: 46997
923.07/944.64 c #Conflicts: 452000 | #Constraints: 47997
923.07/944.64 c #Conflicts: 453000 | #Constraints: 49000
923.07/944.64 c #Conflicts: 454000 | #Constraints: 50005
923.07/944.64 c #Conflicts: 455000 | #Constraints: 51012
923.07/944.64 c #Conflicts: 456000 | #Constraints: 52014
923.07/944.64 c #Conflicts: 457000 | #Constraints: 53019
923.07/944.64 c #Conflicts: 458000 | #Constraints: 54020
923.07/944.64 c #Conflicts: 459000 | #Constraints: 55022
923.07/944.64 c #Conflicts: 460000 | #Constraints: 56025
923.07/944.64 c INPROCESSING
923.07/944.64 c GARBAGE COLLECT
923.07/944.64 c rational objective 0
952.69/974.39 c #Conflicts: 461000 | #Constraints: 43540
952.69/974.39 c #Conflicts: 462000 | #Constraints: 44540
952.69/974.39 c #Conflicts: 463000 | #Constraints: 45543
952.69/974.39 c #Conflicts: 464000 | #Constraints: 46545
952.69/974.39 c #Conflicts: 465000 | #Constraints: 47545
952.69/974.39 c #Conflicts: 466000 | #Constraints: 48545
952.69/974.39 c #Conflicts: 467000 | #Constraints: 49545
952.69/974.39 c #Conflicts: 468000 | #Constraints: 50545
952.69/974.39 c #Conflicts: 469000 | #Constraints: 51545
952.69/974.39 c #Conflicts: 470000 | #Constraints: 52547
952.69/974.39 c #Conflicts: 471000 | #Constraints: 53551
952.69/974.39 c #Conflicts: 472000 | #Constraints: 54559
952.69/974.39 c #Conflicts: 473000 | #Constraints: 55563
952.69/974.39 c #Conflicts: 474000 | #Constraints: 56564
952.69/974.39 c INPROCESSING
952.69/974.39 c GARBAGE COLLECT
952.69/974.39 c rational objective 0
985.56/1007.43 c #Conflicts: 475000 | #Constraints: 43958
985.56/1007.43 c #Conflicts: 476000 | #Constraints: 44958
985.56/1007.43 c #Conflicts: 477000 | #Constraints: 45958
985.56/1007.43 c #Conflicts: 478000 | #Constraints: 46958
985.56/1007.43 c #Conflicts: 479000 | #Constraints: 47958
985.56/1007.43 c #Conflicts: 480000 | #Constraints: 48958
985.56/1007.43 c #Conflicts: 481000 | #Constraints: 49959
985.56/1007.43 c #Conflicts: 482000 | #Constraints: 50959
985.56/1007.43 c #Conflicts: 483000 | #Constraints: 51959
985.56/1007.43 c #Conflicts: 484000 | #Constraints: 52959
985.56/1007.43 c #Conflicts: 485000 | #Constraints: 53965
985.56/1007.43 c #Conflicts: 486000 | #Constraints: 54966
985.56/1007.43 c #Conflicts: 487000 | #Constraints: 55973
985.56/1007.43 c #Conflicts: 488000 | #Constraints: 56977
985.56/1007.43 c INPROCESSING
985.56/1007.43 c GARBAGE COLLECT
985.56/1007.43 c rational objective 0
1030.14/1052.19 c #Conflicts: 489000 | #Constraints: 44189
1030.14/1052.19 c #Conflicts: 490000 | #Constraints: 45189
1030.14/1052.19 c #Conflicts: 491000 | #Constraints: 46189
1030.14/1052.19 c #Conflicts: 492000 | #Constraints: 47191
1030.14/1052.19 c #Conflicts: 493000 | #Constraints: 48200
1030.14/1052.19 c #Conflicts: 494000 | #Constraints: 49207
1030.14/1052.19 c #Conflicts: 495000 | #Constraints: 50209
1030.14/1052.19 c #Conflicts: 496000 | #Constraints: 51209
1030.14/1052.19 c #Conflicts: 497000 | #Constraints: 52210
1030.14/1052.19 c #Conflicts: 498000 | #Constraints: 53210
1030.14/1052.19 c #Conflicts: 499000 | #Constraints: 54213
1030.14/1052.19 c #Conflicts: 500000 | #Constraints: 55219
1030.14/1052.19 c #Conflicts: 501000 | #Constraints: 56228
1030.14/1052.19 c #Conflicts: 502000 | #Constraints: 57231
1030.14/1052.19 c INPROCESSING
1030.14/1052.19 c GARBAGE COLLECT
1030.14/1052.19 c rational objective 0
1057.45/1079.51 c #Conflicts: 503000 | #Constraints: 44241
1057.45/1079.51 c #Conflicts: 504000 | #Constraints: 45241
1057.45/1079.51 c #Conflicts: 505000 | #Constraints: 46241
1057.45/1079.51 c #Conflicts: 506000 | #Constraints: 47241
1057.45/1079.51 c #Conflicts: 507000 | #Constraints: 48241
1057.45/1079.51 c #Conflicts: 508000 | #Constraints: 49241
1057.45/1079.51 c #Conflicts: 509000 | #Constraints: 50241
1057.45/1079.51 c #Conflicts: 510000 | #Constraints: 51242
1057.45/1079.51 c #Conflicts: 511000 | #Constraints: 52244
1057.45/1079.51 c #Conflicts: 512000 | #Constraints: 53248
1057.45/1079.51 c #Conflicts: 513000 | #Constraints: 54249
1057.45/1079.51 c #Conflicts: 514000 | #Constraints: 55252
1057.45/1079.51 c #Conflicts: 515000 | #Constraints: 56257
1057.45/1079.51 c #Conflicts: 516000 | #Constraints: 57258
1057.45/1079.51 c INPROCESSING
1057.45/1079.51 c GARBAGE COLLECT
1057.45/1079.51 c rational objective -2.64117e-11
1082.08/1104.22 c #Conflicts: 517000 | #Constraints: 44057
1082.08/1104.22 c #Conflicts: 518000 | #Constraints: 45057
1082.08/1104.22 c #Conflicts: 519000 | #Constraints: 46059
1082.08/1104.22 c #Conflicts: 520000 | #Constraints: 47059
1082.08/1104.22 c #Conflicts: 521000 | #Constraints: 48059
1082.08/1104.22 c #Conflicts: 522000 | #Constraints: 49059
1082.08/1104.22 c #Conflicts: 523000 | #Constraints: 50059
1082.08/1104.22 c #Conflicts: 524000 | #Constraints: 51059
1082.08/1104.22 c #Conflicts: 525000 | #Constraints: 52064
1082.08/1104.22 c #Conflicts: 526000 | #Constraints: 53064
1082.08/1104.22 c #Conflicts: 527000 | #Constraints: 54064
1082.08/1104.22 c #Conflicts: 528000 | #Constraints: 55064
1082.08/1104.22 c #Conflicts: 529000 | #Constraints: 56064
1082.08/1104.22 c #Conflicts: 530000 | #Constraints: 57064
1082.08/1104.22 c #Conflicts: 531000 | #Constraints: 58064
1082.08/1104.22 c INPROCESSING
1082.08/1104.22 c GARBAGE COLLECT
1082.08/1104.22 c rational objective 0
1105.82/1128.09 c #Conflicts: 532000 | #Constraints: 44683
1105.82/1128.09 c #Conflicts: 533000 | #Constraints: 45684
1105.82/1128.09 c #Conflicts: 534000 | #Constraints: 46684
1105.82/1128.09 c #Conflicts: 535000 | #Constraints: 47684
1105.82/1128.09 c #Conflicts: 536000 | #Constraints: 48684
1105.82/1128.09 c #Conflicts: 537000 | #Constraints: 49685
1105.82/1128.09 c #Conflicts: 538000 | #Constraints: 50686
1105.82/1128.09 c #Conflicts: 539000 | #Constraints: 51688
1105.82/1128.09 c #Conflicts: 540000 | #Constraints: 52689
1105.82/1128.09 c #Conflicts: 541000 | #Constraints: 53690
1105.82/1128.09 c #Conflicts: 542000 | #Constraints: 54691
1105.82/1128.09 c #Conflicts: 543000 | #Constraints: 55691
1105.82/1128.09 c #Conflicts: 544000 | #Constraints: 56691
1105.82/1128.09 c #Conflicts: 545000 | #Constraints: 57692
1105.82/1128.09 c #Conflicts: 546000 | #Constraints: 58693
1105.82/1128.09 c INPROCESSING
1105.82/1128.09 c GARBAGE COLLECT
1105.82/1128.09 c rational objective 0
1135.12/1157.41 c #Conflicts: 547000 | #Constraints: 45093
1135.12/1157.41 c #Conflicts: 548000 | #Constraints: 46094
1135.12/1157.41 c #Conflicts: 549000 | #Constraints: 47094
1135.12/1157.41 c #Conflicts: 550000 | #Constraints: 48094
1135.12/1157.41 c #Conflicts: 551000 | #Constraints: 49094
1135.12/1157.41 c #Conflicts: 552000 | #Constraints: 50094
1135.12/1157.41 c #Conflicts: 553000 | #Constraints: 51094
1135.12/1157.41 c #Conflicts: 554000 | #Constraints: 52094
1135.12/1157.41 c #Conflicts: 555000 | #Constraints: 53094
1135.12/1157.41 c #Conflicts: 556000 | #Constraints: 54094
1135.12/1157.41 c #Conflicts: 557000 | #Constraints: 55094
1135.12/1157.41 c #Conflicts: 558000 | #Constraints: 56094
1135.12/1157.41 c #Conflicts: 559000 | #Constraints: 57094
1135.12/1157.41 c #Conflicts: 560000 | #Constraints: 58094
1135.12/1157.41 c #Conflicts: 561000 | #Constraints: 59095
1135.12/1157.41 c INPROCESSING
1135.12/1157.41 c GARBAGE COLLECT
1135.12/1157.41 c rational objective 0
1165.51/1187.91 c #Conflicts: 562000 | #Constraints: 45243
1165.51/1187.91 c #Conflicts: 563000 | #Constraints: 46243
1165.51/1187.91 c #Conflicts: 564000 | #Constraints: 47243
1165.51/1187.91 c #Conflicts: 565000 | #Constraints: 48243
1165.51/1187.91 c #Conflicts: 566000 | #Constraints: 49245
1165.51/1187.91 c #Conflicts: 567000 | #Constraints: 50246
1165.51/1187.91 c #Conflicts: 568000 | #Constraints: 51247
1165.51/1187.91 c #Conflicts: 569000 | #Constraints: 52248
1165.51/1187.91 c #Conflicts: 570000 | #Constraints: 53248
1165.51/1187.91 c #Conflicts: 571000 | #Constraints: 54248
1165.51/1187.91 c #Conflicts: 572000 | #Constraints: 55248
1165.51/1187.91 c #Conflicts: 573000 | #Constraints: 56248
1165.51/1187.91 c #Conflicts: 574000 | #Constraints: 57248
1165.51/1187.91 c #Conflicts: 575000 | #Constraints: 58248
1165.51/1187.91 c #Conflicts: 576000 | #Constraints: 59249
1165.51/1187.91 c INPROCESSING
1165.51/1187.91 c GARBAGE COLLECT
1165.51/1187.91 c rational objective 0
1190.13/1212.63 c #Conflicts: 577000 | #Constraints: 45277
1190.13/1212.63 c #Conflicts: 578000 | #Constraints: 46277
1190.13/1212.63 c #Conflicts: 579000 | #Constraints: 47277
1190.13/1212.63 c #Conflicts: 580000 | #Constraints: 48278
1190.13/1212.63 c #Conflicts: 581000 | #Constraints: 49280
1190.13/1212.63 c #Conflicts: 582000 | #Constraints: 50280
1190.13/1212.63 c #Conflicts: 583000 | #Constraints: 51280
1190.13/1212.63 c #Conflicts: 584000 | #Constraints: 52280
1190.13/1212.63 c #Conflicts: 585000 | #Constraints: 53280
1190.13/1212.63 c #Conflicts: 586000 | #Constraints: 54280
1190.13/1212.63 c #Conflicts: 587000 | #Constraints: 55281
1190.13/1212.63 c #Conflicts: 588000 | #Constraints: 56282
1190.13/1212.63 c #Conflicts: 589000 | #Constraints: 57282
1190.13/1212.63 c #Conflicts: 590000 | #Constraints: 58284
1190.13/1212.63 c #Conflicts: 591000 | #Constraints: 59284
1190.13/1212.63 c INPROCESSING
1190.13/1212.63 c GARBAGE COLLECT
1190.13/1212.63 c rational objective 0
1259.48/1282.73 c #Conflicts: 592000 | #Constraints: 45082
1259.48/1282.73 c #Conflicts: 593000 | #Constraints: 46083
1259.48/1282.73 c #Conflicts: 594000 | #Constraints: 47083
1259.48/1282.73 c #Conflicts: 595000 | #Constraints: 48083
1259.48/1282.73 c #Conflicts: 596000 | #Constraints: 49083
1259.48/1282.73 c #Conflicts: 597000 | #Constraints: 50084
1259.48/1282.73 c #Conflicts: 598000 | #Constraints: 51086
1259.48/1282.73 c #Conflicts: 599000 | #Constraints: 52089
1259.48/1282.73 c #Conflicts: 600000 | #Constraints: 53093
1259.48/1282.73 c #Conflicts: 601000 | #Constraints: 54097
1259.48/1282.73 c #Conflicts: 602000 | #Constraints: 55103
1259.48/1282.73 c #Conflicts: 603000 | #Constraints: 56103
1259.48/1282.73 c #Conflicts: 604000 | #Constraints: 57106
1259.48/1282.73 c #Conflicts: 605000 | #Constraints: 58109
1259.48/1282.73 c #Conflicts: 606000 | #Constraints: 59114
1259.48/1282.73 c #Conflicts: 607000 | #Constraints: 60115
1259.48/1282.73 c INPROCESSING
1259.48/1282.73 c GARBAGE COLLECT
1259.48/1282.73 c #Conflicts: 608000 | #Constraints: 45697
1259.48/1282.73 c #Conflicts: 609000 | #Constraints: 46697
1259.48/1282.73 c #Conflicts: 610000 | #Constraints: 47698
1259.48/1282.73 c #Conflicts: 611000 | #Constraints: 48698
1259.48/1282.73 c #Conflicts: 612000 | #Constraints: 49698
1259.48/1282.73 c #Conflicts: 613000 | #Constraints: 50699
1259.48/1282.73 c #Conflicts: 614000 | #Constraints: 51700
1259.48/1282.73 c #Conflicts: 615000 | #Constraints: 52702
1259.48/1282.73 c #Conflicts: 616000 | #Constraints: 53703
1259.48/1282.73 c #Conflicts: 617000 | #Constraints: 54703
1259.48/1282.73 c #Conflicts: 618000 | #Constraints: 55705
1259.48/1282.73 c #Conflicts: 619000 | #Constraints: 56706
1259.48/1282.73 c #Conflicts: 620000 | #Constraints: 57706
1259.48/1282.73 c #Conflicts: 621000 | #Constraints: 58707
1259.48/1282.73 c #Conflicts: 622000 | #Constraints: 59707
1259.48/1282.73 c #Conflicts: 623000 | #Constraints: 60707
1259.48/1282.73 c INPROCESSING
1259.48/1282.73 c GARBAGE COLLECT
1259.48/1282.73 c rational objective 0
1290.31/1313.93 c #Conflicts: 624000 | #Constraints: 46088
1290.31/1313.93 c #Conflicts: 625000 | #Constraints: 47088
1290.31/1313.93 c #Conflicts: 626000 | #Constraints: 48089
1290.31/1313.93 c #Conflicts: 627000 | #Constraints: 49093
1290.31/1313.93 c #Conflicts: 628000 | #Constraints: 50096
1290.31/1313.93 c #Conflicts: 629000 | #Constraints: 51096
1290.31/1313.93 c #Conflicts: 630000 | #Constraints: 52096
1290.31/1313.93 c #Conflicts: 631000 | #Constraints: 53096
1290.31/1313.93 c #Conflicts: 632000 | #Constraints: 54096
1290.31/1313.93 c #Conflicts: 633000 | #Constraints: 55096
1290.31/1313.93 c #Conflicts: 634000 | #Constraints: 56096
1290.31/1313.93 c #Conflicts: 635000 | #Constraints: 57096
1290.31/1313.93 c #Conflicts: 636000 | #Constraints: 58097
1290.31/1313.93 c #Conflicts: 637000 | #Constraints: 59098
1290.31/1313.93 c #Conflicts: 638000 | #Constraints: 60110
1290.31/1313.93 c #Conflicts: 639000 | #Constraints: 61118
1290.31/1313.93 c INPROCESSING
1290.31/1313.93 c GARBAGE COLLECT
1290.31/1313.93 c rational objective 0
1315.55/1339.27 c #Conflicts: 640000 | #Constraints: 46327
1315.55/1339.27 c #Conflicts: 641000 | #Constraints: 47327
1315.55/1339.27 c #Conflicts: 642000 | #Constraints: 48327
1315.55/1339.27 c #Conflicts: 643000 | #Constraints: 49329
1315.55/1339.27 c #Conflicts: 644000 | #Constraints: 50332
1315.55/1339.27 c #Conflicts: 645000 | #Constraints: 51336
1315.55/1339.27 c #Conflicts: 646000 | #Constraints: 52340
1315.55/1339.27 c #Conflicts: 647000 | #Constraints: 53340
1315.55/1339.27 c #Conflicts: 648000 | #Constraints: 54340
1315.55/1339.27 c #Conflicts: 649000 | #Constraints: 55341
1315.55/1339.27 c #Conflicts: 650000 | #Constraints: 56341
1315.55/1339.27 c #Conflicts: 651000 | #Constraints: 57342
1315.55/1339.27 c #Conflicts: 652000 | #Constraints: 58342
1315.55/1339.27 c #Conflicts: 653000 | #Constraints: 59344
1315.55/1339.27 c #Conflicts: 654000 | #Constraints: 60345
1315.55/1339.27 c #Conflicts: 655000 | #Constraints: 61346
1315.55/1339.27 c INPROCESSING
1315.55/1339.27 c GARBAGE COLLECT
1315.55/1339.27 c rational objective 0
1342.17/1365.95 c #Conflicts: 656000 | #Constraints: 46300
1342.17/1365.95 c #Conflicts: 657000 | #Constraints: 47308
1342.17/1365.95 c #Conflicts: 658000 | #Constraints: 48309
1342.17/1365.95 c #Conflicts: 659000 | #Constraints: 49310
1342.17/1365.95 c #Conflicts: 660000 | #Constraints: 50310
1342.17/1365.95 c #Conflicts: 661000 | #Constraints: 51312
1342.17/1365.95 c #Conflicts: 662000 | #Constraints: 52314
1342.17/1365.95 c #Conflicts: 663000 | #Constraints: 53318
1342.17/1365.95 c #Conflicts: 664000 | #Constraints: 54323
1342.17/1365.95 c #Conflicts: 665000 | #Constraints: 55326
1342.17/1365.95 c #Conflicts: 666000 | #Constraints: 56327
1342.17/1365.95 c #Conflicts: 667000 | #Constraints: 57327
1342.17/1365.95 c #Conflicts: 668000 | #Constraints: 58327
1342.17/1365.95 c #Conflicts: 669000 | #Constraints: 59327
1342.17/1365.95 c #Conflicts: 670000 | #Constraints: 60327
1342.17/1365.95 c #Conflicts: 671000 | #Constraints: 61327
1342.17/1365.95 c INPROCESSING
1342.17/1365.95 c GARBAGE COLLECT
1342.17/1365.95 c rational objective 0
1370.13/1394.07 c #Conflicts: 672000 | #Constraints: 46156
1370.13/1394.07 c #Conflicts: 673000 | #Constraints: 47157
1370.13/1394.07 c #Conflicts: 674000 | #Constraints: 48157
1370.13/1394.07 c #Conflicts: 675000 | #Constraints: 49157
1370.13/1394.07 c #Conflicts: 676000 | #Constraints: 50157
1370.13/1394.07 c #Conflicts: 677000 | #Constraints: 51157
1370.13/1394.07 c #Conflicts: 678000 | #Constraints: 52158
1370.13/1394.07 c #Conflicts: 679000 | #Constraints: 53159
1370.13/1394.07 c #Conflicts: 680000 | #Constraints: 54159
1370.13/1394.07 c #Conflicts: 681000 | #Constraints: 55159
1370.13/1394.07 c #Conflicts: 682000 | #Constraints: 56159
1370.13/1394.07 c #Conflicts: 683000 | #Constraints: 57159
1370.13/1394.07 c #Conflicts: 684000 | #Constraints: 58159
1370.13/1394.07 c #Conflicts: 685000 | #Constraints: 59159
1370.13/1394.07 c #Conflicts: 686000 | #Constraints: 60159
1370.13/1394.07 c #Conflicts: 687000 | #Constraints: 61159
1370.13/1394.07 c #Conflicts: 688000 | #Constraints: 62159
1370.13/1394.07 c INPROCESSING
1370.13/1394.07 c GARBAGE COLLECT
1370.13/1394.07 c rational objective -5.005e-11
1403.87/1427.90 c #Conflicts: 689000 | #Constraints: 46771
1403.87/1427.90 c #Conflicts: 690000 | #Constraints: 47773
1403.87/1427.90 c #Conflicts: 691000 | #Constraints: 48773
1403.87/1427.90 c #Conflicts: 692000 | #Constraints: 49773
1403.87/1427.90 c #Conflicts: 693000 | #Constraints: 50773
1403.87/1427.90 c #Conflicts: 694000 | #Constraints: 51773
1403.87/1427.90 c #Conflicts: 695000 | #Constraints: 52776
1403.87/1427.90 c #Conflicts: 696000 | #Constraints: 53776
1403.87/1427.90 c #Conflicts: 697000 | #Constraints: 54778
1403.87/1427.90 c #Conflicts: 698000 | #Constraints: 55779
1403.87/1427.90 c #Conflicts: 699000 | #Constraints: 56779
1403.87/1427.90 c #Conflicts: 700000 | #Constraints: 57782
1403.87/1427.90 c #Conflicts: 701000 | #Constraints: 58784
1403.87/1427.90 c #Conflicts: 702000 | #Constraints: 59784
1403.87/1427.90 c #Conflicts: 703000 | #Constraints: 60786
1403.87/1427.90 c #Conflicts: 704000 | #Constraints: 61787
1403.87/1427.90 c #Conflicts: 705000 | #Constraints: 62787
1403.87/1427.90 c INPROCESSING
1403.87/1427.90 c GARBAGE COLLECT
1403.87/1427.90 c rational objective -5.005e-11
1441.27/1465.53 c #Conflicts: 706000 | #Constraints: 47132
1441.27/1465.53 c #Conflicts: 707000 | #Constraints: 48132
1441.27/1465.53 c #Conflicts: 708000 | #Constraints: 49132
1441.27/1465.53 c #Conflicts: 709000 | #Constraints: 50132
1441.27/1465.53 c #Conflicts: 710000 | #Constraints: 51133
1441.27/1465.53 c #Conflicts: 711000 | #Constraints: 52133
1441.27/1465.53 c #Conflicts: 712000 | #Constraints: 53134
1441.27/1465.53 c #Conflicts: 713000 | #Constraints: 54135
1441.27/1465.53 c #Conflicts: 714000 | #Constraints: 55136
1441.27/1465.53 c #Conflicts: 715000 | #Constraints: 56136
1441.27/1465.53 c #Conflicts: 716000 | #Constraints: 57137
1441.27/1465.53 c #Conflicts: 717000 | #Constraints: 58137
1441.27/1465.53 c #Conflicts: 718000 | #Constraints: 59138
1441.27/1465.53 c #Conflicts: 719000 | #Constraints: 60140
1441.27/1465.53 c #Conflicts: 720000 | #Constraints: 61141
1441.27/1465.53 c #Conflicts: 721000 | #Constraints: 62141
1441.27/1465.53 c #Conflicts: 722000 | #Constraints: 63146
1441.27/1465.53 c INPROCESSING
1441.27/1465.53 c GARBAGE COLLECT
1441.27/1465.53 c rational objective 0
1488.22/1512.77 c #Conflicts: 723000 | #Constraints: 47271
1488.22/1512.77 c #Conflicts: 724000 | #Constraints: 48275
1488.22/1512.77 c #Conflicts: 725000 | #Constraints: 49275
1488.22/1512.77 c #Conflicts: 726000 | #Constraints: 50275
1488.22/1512.77 c #Conflicts: 727000 | #Constraints: 51279
1488.22/1512.77 c #Conflicts: 728000 | #Constraints: 52279
1488.22/1512.77 c #Conflicts: 729000 | #Constraints: 53286
1488.22/1512.77 c #Conflicts: 730000 | #Constraints: 54286
1488.22/1512.77 c #Conflicts: 731000 | #Constraints: 55286
1488.22/1512.77 c #Conflicts: 732000 | #Constraints: 56286
1488.22/1512.77 c #Conflicts: 733000 | #Constraints: 57286
1488.22/1512.77 c #Conflicts: 734000 | #Constraints: 58286
1488.22/1512.77 c #Conflicts: 735000 | #Constraints: 59286
1488.22/1512.77 c #Conflicts: 736000 | #Constraints: 60286
1488.22/1512.77 c #Conflicts: 737000 | #Constraints: 61286
1488.22/1512.77 c #Conflicts: 738000 | #Constraints: 62286
1488.22/1512.77 c #Conflicts: 739000 | #Constraints: 63286
1488.22/1512.77 c INPROCESSING
1488.22/1512.77 c GARBAGE COLLECT
1488.22/1512.77 c rational objective 0
1522.86/1547.54 c #Conflicts: 740000 | #Constraints: 47338
1522.86/1547.54 c #Conflicts: 741000 | #Constraints: 48338
1522.86/1547.54 c #Conflicts: 742000 | #Constraints: 49338
1522.86/1547.54 c #Conflicts: 743000 | #Constraints: 50338
1522.86/1547.54 c #Conflicts: 744000 | #Constraints: 51338
1522.86/1547.54 c #Conflicts: 745000 | #Constraints: 52338
1522.86/1547.54 c #Conflicts: 746000 | #Constraints: 53338
1522.86/1547.54 c #Conflicts: 747000 | #Constraints: 54338
1522.86/1547.54 c #Conflicts: 748000 | #Constraints: 55338
1522.86/1547.54 c #Conflicts: 749000 | #Constraints: 56338
1522.86/1547.54 c #Conflicts: 750000 | #Constraints: 57338
1522.86/1547.54 c #Conflicts: 751000 | #Constraints: 58339
1522.86/1547.54 c #Conflicts: 752000 | #Constraints: 59339
1522.86/1547.54 c #Conflicts: 753000 | #Constraints: 60339
1522.86/1547.54 c #Conflicts: 754000 | #Constraints: 61339
1522.86/1547.54 c #Conflicts: 755000 | #Constraints: 62340
1522.86/1547.54 c #Conflicts: 756000 | #Constraints: 63340
1522.86/1547.54 c INPROCESSING
1522.86/1547.54 c GARBAGE COLLECT
1522.86/1547.54 c rational objective 0
1556.59/1581.63 c #Conflicts: 757000 | #Constraints: 47083
1556.59/1581.63 c #Conflicts: 758000 | #Constraints: 48083
1556.59/1581.63 c #Conflicts: 759000 | #Constraints: 49084
1556.59/1581.63 c #Conflicts: 760000 | #Constraints: 50084
1556.59/1581.63 c #Conflicts: 761000 | #Constraints: 51086
1556.59/1581.63 c #Conflicts: 762000 | #Constraints: 52087
1556.59/1581.63 c #Conflicts: 763000 | #Constraints: 53087
1556.59/1581.63 c #Conflicts: 764000 | #Constraints: 54087
1556.59/1581.63 c #Conflicts: 765000 | #Constraints: 55087
1556.59/1581.63 c #Conflicts: 766000 | #Constraints: 56088
1556.59/1581.63 c #Conflicts: 767000 | #Constraints: 57090
1556.59/1581.63 c #Conflicts: 768000 | #Constraints: 58092
1556.59/1581.63 c #Conflicts: 769000 | #Constraints: 59093
1556.59/1581.63 c #Conflicts: 770000 | #Constraints: 60093
1556.59/1581.63 c #Conflicts: 771000 | #Constraints: 61093
1556.59/1581.63 c #Conflicts: 772000 | #Constraints: 62094
1556.59/1581.63 c #Conflicts: 773000 | #Constraints: 63095
1556.59/1581.63 c #Conflicts: 774000 | #Constraints: 64097
1556.59/1581.63 c INPROCESSING
1556.59/1581.63 c GARBAGE COLLECT
1556.59/1581.63 c rational objective 0
1591.14/1616.33 c #Conflicts: 775000 | #Constraints: 47703
1591.14/1616.33 c #Conflicts: 776000 | #Constraints: 48704
1591.14/1616.33 c #Conflicts: 777000 | #Constraints: 49704
1591.14/1616.33 c #Conflicts: 778000 | #Constraints: 50704
1591.14/1616.33 c #Conflicts: 779000 | #Constraints: 51705
1591.14/1616.33 c #Conflicts: 780000 | #Constraints: 52705
1591.14/1616.33 c #Conflicts: 781000 | #Constraints: 53705
1591.14/1616.33 c #Conflicts: 782000 | #Constraints: 54706
1591.14/1616.33 c #Conflicts: 783000 | #Constraints: 55706
1591.14/1616.33 c #Conflicts: 784000 | #Constraints: 56706
1591.14/1616.33 c #Conflicts: 785000 | #Constraints: 57706
1591.14/1616.33 c #Conflicts: 786000 | #Constraints: 58706
1591.14/1616.33 c #Conflicts: 787000 | #Constraints: 59710
1591.14/1616.33 c #Conflicts: 788000 | #Constraints: 60710
1591.14/1616.33 c #Conflicts: 789000 | #Constraints: 61710
1591.14/1616.33 c #Conflicts: 790000 | #Constraints: 62710
1591.14/1616.33 c #Conflicts: 791000 | #Constraints: 63710
1591.14/1616.33 c #Conflicts: 792000 | #Constraints: 64710
1591.14/1616.33 c INPROCESSING
1591.14/1616.33 c GARBAGE COLLECT
1591.14/1616.33 c rational objective 0
1848.18/1933.85 c #Conflicts: 793000 | #Constraints: 48164
1848.18/1933.85 c #Conflicts: 794000 | #Constraints: 49164
1848.18/1933.85 c #Conflicts: 795000 | #Constraints: 50166
1848.18/1933.85 c #Conflicts: 796000 | #Constraints: 51167
1848.18/1933.85 c #Conflicts: 797000 | #Constraints: 52168
1848.18/1933.85 c #Conflicts: 798000 | #Constraints: 53168
1848.18/1933.85 c #Conflicts: 799000 | #Constraints: 54168
1848.18/1933.85 c #Conflicts: 800000 | #Constraints: 55168
1848.18/1933.85 c #Conflicts: 801000 | #Constraints: 56168
1848.18/1933.85 c #Conflicts: 802000 | #Constraints: 57169
1848.18/1933.85 c #Conflicts: 803000 | #Constraints: 58171
1848.18/1933.85 c #Conflicts: 804000 | #Constraints: 59172
1848.18/1933.85 c #Conflicts: 805000 | #Constraints: 60174
1848.18/1933.85 c #Conflicts: 806000 | #Constraints: 61174
1848.18/1933.85 c #Conflicts: 807000 | #Constraints: 62176
1848.18/1933.85 c #Conflicts: 808000 | #Constraints: 63176
1848.18/1933.85 c #Conflicts: 809000 | #Constraints: 64176
1848.18/1933.85 c #Conflicts: 810000 | #Constraints: 65176
1848.18/1933.85 c #Conflicts: 811000 | #Constraints: 66177
1848.18/1933.85 c #Conflicts: 812000 | #Constraints: 67177
1848.18/1933.85 c #Conflicts: 813000 | #Constraints: 68178
1848.18/1933.85 c #Conflicts: 814000 | #Constraints: 69181
1848.18/1933.85 c #Conflicts: 815000 | #Constraints: 70182
1848.18/1933.85 c #Conflicts: 816000 | #Constraints: 71184
1848.18/1933.85 c #Conflicts: 817000 | #Constraints: 72185
1848.18/1933.85 c #Conflicts: 818000 | #Constraints: 73185
1848.18/1933.85 c #Conflicts: 819000 | #Constraints: 74185
1848.18/1933.85 c #Conflicts: 820000 | #Constraints: 75185
1848.18/1933.85 c #Conflicts: 821000 | #Constraints: 76185
1848.18/1933.85 c #Conflicts: 822000 | #Constraints: 77185
1848.18/1933.85 c #Conflicts: 823000 | #Constraints: 78185
1848.18/1933.85 c #Conflicts: 824000 | #Constraints: 79186
1848.18/1933.85 c #Conflicts: 825000 | #Constraints: 80187
1848.18/1933.85 c #Conflicts: 826000 | #Constraints: 81188
1848.18/1933.85 c #Conflicts: 827000 | #Constraints: 82189
1848.18/1933.85 c #Conflicts: 828000 | #Constraints: 83192
1848.18/1933.85 c #Conflicts: 829000 | #Constraints: 84192
1848.18/1933.85 c #Conflicts: 830000 | #Constraints: 85192
1848.18/1933.85 c #Conflicts: 831000 | #Constraints: 86195
1848.18/1933.85 c #Conflicts: 832000 | #Constraints: 87199
1848.18/1933.85 c #Conflicts: 833000 | #Constraints: 88200
1848.18/1933.85 c #Conflicts: 834000 | #Constraints: 89200
1848.18/1933.85 c #Conflicts: 835000 | #Constraints: 90200
1848.18/1933.85 c #Conflicts: 836000 | #Constraints: 91200
1848.18/1933.85 c #Conflicts: 837000 | #Constraints: 92202
1848.18/1933.85 c #Conflicts: 838000 | #Constraints: 93204
1848.18/1933.85 c #Conflicts: 839000 | #Constraints: 94204
1848.18/1933.85 c #Conflicts: 840000 | #Constraints: 95204
1848.18/1933.85 c #Conflicts: 841000 | #Constraints: 96204
1848.18/1933.85 c #Conflicts: 842000 | #Constraints: 97204
1848.18/1933.85 c #Conflicts: 843000 | #Constraints: 98204
1848.18/1933.85 c #Conflicts: 844000 | #Constraints: 99204
1848.18/1933.85 c #Conflicts: 845000 | #Constraints: 100206
1848.18/1933.85 c #Conflicts: 846000 | #Constraints: 101207
1848.18/1933.85 c #Conflicts: 847000 | #Constraints: 102208
1848.18/1933.85 c #Conflicts: 848000 | #Constraints: 103214
1848.18/1933.85 c #Conflicts: 849000 | #Constraints: 104220
1848.18/1933.85 c #Conflicts: 850000 | #Constraints: 105223
1848.18/1933.85 c #Conflicts: 851000 | #Constraints: 106229
1848.18/1933.85 c #Conflicts: 852000 | #Constraints: 107229
1848.18/1933.85 c #Conflicts: 853000 | #Constraints: 108229
1848.18/1933.85 c #Conflicts: 854000 | #Constraints: 109229
1848.18/1933.85 c #Conflicts: 855000 | #Constraints: 110229
1848.18/1933.85 c #Conflicts: 856000 | #Constraints: 111230
1848.18/1933.85 c #Conflicts: 857000 | #Constraints: 112231
1848.18/1933.85 c #Conflicts: 858000 | #Constraints: 113233
1848.18/1933.85 c #Conflicts: 859000 | #Constraints: 114238
1848.18/1933.85 c #Conflicts: 860000 | #Constraints: 115241
1848.18/1933.85 c #Conflicts: 861000 | #Constraints: 116242
1848.18/1933.85 c #Conflicts: 862000 | #Constraints: 117243
1848.18/1933.85 c #Conflicts: 863000 | #Constraints: 118245
1848.18/1933.85 c #Conflicts: 864000 | #Constraints: 119247
1848.18/1933.85 c #Conflicts: 865000 | #Constraints: 120247
1848.18/1933.85 c #Conflicts: 866000 | #Constraints: 121251
1848.18/1933.85 c #Conflicts: 867000 | #Constraints: 122254
1848.18/1933.85 c #Conflicts: 868000 | #Constraints: 123255
1848.18/1933.85 c #Conflicts: 869000 | #Constraints: 124255
1848.18/1933.85 c #Conflicts: 870000 | #Constraints: 125257
1848.18/1933.85 c #Conflicts: 871000 | #Constraints: 126257
1906.89/1995.00 c #Conflicts: 872000 | #Constraints: 127258
1906.89/1995.00 c #Conflicts: 873000 | #Constraints: 128261
1906.89/1995.00 c #Conflicts: 874000 | #Constraints: 129263
1906.89/1995.00 c #Conflicts: 875000 | #Constraints: 130266
1906.89/1995.00 c #Conflicts: 876000 | #Constraints: 131267
1906.89/1995.00 c #Conflicts: 877000 | #Constraints: 132270
1906.89/1995.00 c #Conflicts: 878000 | #Constraints: 133270
1906.89/1995.00 c #Conflicts: 879000 | #Constraints: 134272
1906.89/1995.00 c #Conflicts: 880000 | #Constraints: 135272
1906.89/1995.00 c #Conflicts: 881000 | #Constraints: 136272
1906.89/1995.00 c #Conflicts: 882000 | #Constraints: 137272
1906.89/1995.00 c INPROCESSING
1906.89/1995.00 c GARBAGE COLLECT
1906.89/1995.00 c rational objective 0
1960.49/2048.98 c #Conflicts: 883000 | #Constraints: 84008
1960.49/2048.98 c #Conflicts: 884000 | #Constraints: 85008
1960.49/2048.98 c #Conflicts: 885000 | #Constraints: 86009
1960.49/2048.98 c #Conflicts: 886000 | #Constraints: 87009
1960.49/2048.98 c #Conflicts: 887000 | #Constraints: 88009
1960.49/2048.98 c #Conflicts: 888000 | #Constraints: 89010
1960.49/2048.98 c #Conflicts: 889000 | #Constraints: 90010
1960.49/2048.98 c #Conflicts: 890000 | #Constraints: 91010
1960.49/2048.98 c #Conflicts: 891000 | #Constraints: 92010
1960.49/2048.98 c #Conflicts: 892000 | #Constraints: 93010
1960.49/2048.98 c #Conflicts: 893000 | #Constraints: 94010
1960.49/2048.98 c #Conflicts: 894000 | #Constraints: 95010
1960.49/2048.98 c #Conflicts: 895000 | #Constraints: 96011
1960.49/2048.98 c #Conflicts: 896000 | #Constraints: 97011
1960.49/2048.98 c #Conflicts: 897000 | #Constraints: 98016
1960.49/2048.98 c #Conflicts: 898000 | #Constraints: 99018
1960.49/2048.98 c #Conflicts: 899000 | #Constraints: 100020
1960.49/2048.98 c #Conflicts: 900000 | #Constraints: 101021
1960.49/2048.98 c #Conflicts: 901000 | #Constraints: 102021
1960.49/2048.98 c #Conflicts: 902000 | #Constraints: 103022
1960.49/2048.98 c INPROCESSING
1960.49/2048.98 c GARBAGE COLLECT
1960.49/2048.98 c rational objective 0
2005.26/2093.96 c #Conflicts: 903000 | #Constraints: 67286
2005.26/2093.96 c #Conflicts: 904000 | #Constraints: 68286
2005.26/2093.96 c #Conflicts: 905000 | #Constraints: 69287
2005.26/2093.96 c #Conflicts: 906000 | #Constraints: 70287
2005.26/2093.96 c #Conflicts: 907000 | #Constraints: 71287
2005.26/2093.96 c #Conflicts: 908000 | #Constraints: 72288
2005.26/2093.96 c #Conflicts: 909000 | #Constraints: 73288
2005.26/2093.96 c #Conflicts: 910000 | #Constraints: 74288
2005.26/2093.96 c #Conflicts: 911000 | #Constraints: 75289
2005.26/2093.96 c #Conflicts: 912000 | #Constraints: 76290
2005.26/2093.96 c #Conflicts: 913000 | #Constraints: 77290
2005.26/2093.96 c #Conflicts: 914000 | #Constraints: 78290
2005.26/2093.96 c #Conflicts: 915000 | #Constraints: 79294
2005.26/2093.96 c #Conflicts: 916000 | #Constraints: 80299
2005.26/2093.96 c #Conflicts: 917000 | #Constraints: 81300
2005.26/2093.96 c #Conflicts: 918000 | #Constraints: 82300
2005.26/2093.96 c #Conflicts: 919000 | #Constraints: 83301
2005.26/2093.96 c #Conflicts: 920000 | #Constraints: 84302
2005.26/2093.96 c #Conflicts: 921000 | #Constraints: 85302
2005.26/2093.96 c INPROCESSING
2005.26/2093.96 c GARBAGE COLLECT
2005.26/2093.96 c rational objective 0
2052.11/2140.95 c #Conflicts: 922000 | #Constraints: 58306
2052.11/2140.95 c #Conflicts: 923000 | #Constraints: 59306
2052.11/2140.95 c #Conflicts: 924000 | #Constraints: 60307
2052.11/2140.95 c #Conflicts: 925000 | #Constraints: 61308
2052.11/2140.95 c #Conflicts: 926000 | #Constraints: 62310
2052.11/2140.95 c #Conflicts: 927000 | #Constraints: 63310
2052.11/2140.95 c #Conflicts: 928000 | #Constraints: 64310
2052.11/2140.95 c #Conflicts: 929000 | #Constraints: 65310
2052.11/2140.95 c #Conflicts: 930000 | #Constraints: 66310
2052.11/2140.95 c #Conflicts: 931000 | #Constraints: 67310
2052.11/2140.95 c #Conflicts: 932000 | #Constraints: 68310
2052.11/2140.95 c #Conflicts: 933000 | #Constraints: 69310
2052.11/2140.95 c #Conflicts: 934000 | #Constraints: 70311
2052.11/2140.95 c #Conflicts: 935000 | #Constraints: 71311
2052.11/2140.95 c #Conflicts: 936000 | #Constraints: 72311
2052.11/2140.95 c #Conflicts: 937000 | #Constraints: 73311
2052.11/2140.95 c #Conflicts: 938000 | #Constraints: 74311
2052.11/2140.95 c #Conflicts: 939000 | #Constraints: 75313
2052.11/2140.95 c #Conflicts: 940000 | #Constraints: 76317
2052.11/2140.95 c INPROCESSING
2052.11/2140.95 c GARBAGE COLLECT
2052.11/2140.95 c rational objective 0
2302.81/2398.02 c #Conflicts: 941000 | #Constraints: 53531
2302.81/2398.02 c #Conflicts: 942000 | #Constraints: 54531
2302.81/2398.02 c #Conflicts: 943000 | #Constraints: 55531
2302.81/2398.02 c #Conflicts: 944000 | #Constraints: 56531
2302.81/2398.02 c #Conflicts: 945000 | #Constraints: 57531
2302.81/2398.02 c #Conflicts: 946000 | #Constraints: 58531
2302.81/2398.02 c #Conflicts: 947000 | #Constraints: 59531
2302.81/2398.02 c #Conflicts: 948000 | #Constraints: 60532
2302.81/2398.02 c #Conflicts: 949000 | #Constraints: 61532
2302.81/2398.02 c #Conflicts: 950000 | #Constraints: 62534
2302.81/2398.02 c #Conflicts: 951000 | #Constraints: 63558
2302.81/2398.02 c #Conflicts: 952000 | #Constraints: 64561
2302.81/2398.02 c #Conflicts: 953000 | #Constraints: 65567
2302.81/2398.02 c #Conflicts: 954000 | #Constraints: 66573
2302.81/2398.02 c #Conflicts: 955000 | #Constraints: 67769
2302.81/2398.02 c #Conflicts: 956000 | #Constraints: 69114
2302.81/2398.02 c #Conflicts: 957000 | #Constraints: 70508
2302.81/2398.02 c #Conflicts: 958000 | #Constraints: 71880
2302.81/2398.02 c #Conflicts: 959000 | #Constraints: 73291
2302.81/2398.02 c #Conflicts: 960000 | #Constraints: 74584
2302.81/2398.02 c INPROCESSING
2302.81/2398.02 c GARBAGE COLLECT
2302.81/2398.02 c #Conflicts: 961000 | #Constraints: 52885
2302.81/2398.02 c #Conflicts: 962000 | #Constraints: 53885
2302.81/2398.02 c #Conflicts: 963000 | #Constraints: 54885
2302.81/2398.02 c #Conflicts: 964000 | #Constraints: 55885
2302.81/2398.02 c #Conflicts: 965000 | #Constraints: 56885
2302.81/2398.02 c #Conflicts: 966000 | #Constraints: 57885
2302.81/2398.02 c #Conflicts: 967000 | #Constraints: 58885
2302.81/2398.02 c #Conflicts: 968000 | #Constraints: 59885
2302.81/2398.02 c #Conflicts: 969000 | #Constraints: 60885
2302.81/2398.02 c #Conflicts: 970000 | #Constraints: 61885
2302.81/2398.02 c #Conflicts: 971000 | #Constraints: 62978
2302.81/2398.02 c #Conflicts: 972000 | #Constraints: 64355
2302.81/2398.02 c #Conflicts: 973000 | #Constraints: 65717
2302.81/2398.02 c #Conflicts: 974000 | #Constraints: 67107
2302.81/2398.02 c #Conflicts: 975000 | #Constraints: 68474
2302.81/2398.02 c #Conflicts: 976000 | #Constraints: 69806
2302.81/2398.02 c #Conflicts: 977000 | #Constraints: 71109
2302.81/2398.02 c #Conflicts: 978000 | #Constraints: 72427
2302.81/2398.02 c #Conflicts: 979000 | #Constraints: 73739
2302.81/2398.02 c #Conflicts: 980000 | #Constraints: 75069
2302.81/2398.02 c INPROCESSING
2302.81/2398.02 c GARBAGE COLLECT
2302.81/2398.02 c #Conflicts: 981000 | #Constraints: 53219
2302.81/2398.02 c #Conflicts: 982000 | #Constraints: 54219
2302.81/2398.02 c #Conflicts: 983000 | #Constraints: 55219
2302.81/2398.02 c #Conflicts: 984000 | #Constraints: 56219
2302.81/2398.02 c #Conflicts: 985000 | #Constraints: 57219
2302.81/2398.02 c #Conflicts: 986000 | #Constraints: 58219
2302.81/2398.02 c #Conflicts: 987000 | #Constraints: 59219
2302.81/2398.02 c #Conflicts: 988000 | #Constraints: 60219
2302.81/2398.02 c #Conflicts: 989000 | #Constraints: 61219
2302.81/2398.02 c #Conflicts: 990000 | #Constraints: 62219
2302.81/2398.02 c #Conflicts: 991000 | #Constraints: 63219
2302.81/2398.02 c #Conflicts: 992000 | #Constraints: 64219
2302.81/2398.02 c #Conflicts: 993000 | #Constraints: 65219
2302.81/2398.02 c #Conflicts: 994000 | #Constraints: 66219
2302.81/2398.02 c #Conflicts: 995000 | #Constraints: 67219
2302.81/2398.02 c #Conflicts: 996000 | #Constraints: 68219
2302.81/2398.02 c #Conflicts: 997000 | #Constraints: 69219
2302.81/2398.02 c #Conflicts: 998000 | #Constraints: 70219
2302.81/2398.02 c #Conflicts: 999000 | #Constraints: 71219
2302.81/2398.02 c #Conflicts: 1000000 | #Constraints: 72219
2302.81/2398.02 c INPROCESSING
2302.81/2398.02 c GARBAGE COLLECT
2302.81/2398.02 c rational objective 0
2369.47/2468.09 c #Conflicts: 1001000 | #Constraints: 51731
2369.47/2468.09 c #Conflicts: 1002000 | #Constraints: 52731
2369.47/2468.09 c #Conflicts: 1003000 | #Constraints: 53731
2369.47/2468.09 c #Conflicts: 1004000 | #Constraints: 54731
2369.47/2468.09 c #Conflicts: 1005000 | #Constraints: 55731
2369.47/2468.09 c #Conflicts: 1006000 | #Constraints: 56731
2369.47/2468.09 c #Conflicts: 1007000 | #Constraints: 57732
2369.47/2468.09 c #Conflicts: 1008000 | #Constraints: 58736
2369.47/2468.09 c #Conflicts: 1009000 | #Constraints: 59737
2369.47/2468.09 c #Conflicts: 1010000 | #Constraints: 60737
2369.47/2468.09 c #Conflicts: 1011000 | #Constraints: 61738
2369.47/2468.09 c #Conflicts: 1012000 | #Constraints: 62740
2369.47/2468.09 c #Conflicts: 1013000 | #Constraints: 63743
2369.47/2468.09 c #Conflicts: 1014000 | #Constraints: 64743
2369.47/2468.09 c #Conflicts: 1015000 | #Constraints: 65744
2369.47/2468.09 c #Conflicts: 1016000 | #Constraints: 66745
2369.47/2468.09 c #Conflicts: 1017000 | #Constraints: 67745
2369.47/2468.09 c #Conflicts: 1018000 | #Constraints: 68745
2369.47/2468.09 c #Conflicts: 1019000 | #Constraints: 69747
2369.47/2468.09 c #Conflicts: 1020000 | #Constraints: 70749
2369.47/2468.09 c INPROCESSING
2369.47/2468.09 c GARBAGE COLLECT
2369.47/2468.09 c rational objective 0
2631.68/2735.72 c #Conflicts: 1021000 | #Constraints: 50839
2631.68/2735.72 c #Conflicts: 1022000 | #Constraints: 51841
2631.68/2735.72 c #Conflicts: 1023000 | #Constraints: 52844
2631.68/2735.72 c #Conflicts: 1024000 | #Constraints: 53846
2631.68/2735.72 c #Conflicts: 1025000 | #Constraints: 54846
2631.68/2735.72 c #Conflicts: 1026000 | #Constraints: 55846
2631.68/2735.72 c #Conflicts: 1027000 | #Constraints: 56847
2631.68/2735.72 c #Conflicts: 1028000 | #Constraints: 57847
2631.68/2735.72 c #Conflicts: 1029000 | #Constraints: 58848
2631.68/2735.72 c #Conflicts: 1030000 | #Constraints: 59852
2631.68/2735.72 c #Conflicts: 1031000 | #Constraints: 60852
2631.68/2735.72 c #Conflicts: 1032000 | #Constraints: 61856
2631.68/2735.72 c #Conflicts: 1033000 | #Constraints: 62856
2631.68/2735.72 c #Conflicts: 1034000 | #Constraints: 63857
2631.68/2735.72 c #Conflicts: 1035000 | #Constraints: 64859
2631.68/2735.72 c #Conflicts: 1036000 | #Constraints: 65859
2631.68/2735.72 c #Conflicts: 1037000 | #Constraints: 66859
2631.68/2735.72 c #Conflicts: 1038000 | #Constraints: 67864
2631.68/2735.72 c #Conflicts: 1039000 | #Constraints: 68873
2631.68/2735.72 c #Conflicts: 1040000 | #Constraints: 69885
2631.68/2735.72 c #Conflicts: 1041000 | #Constraints: 70891
2631.68/2735.72 c #Conflicts: 1042000 | #Constraints: 71899
2631.68/2735.72 c #Conflicts: 1043000 | #Constraints: 72903
2631.68/2735.72 c #Conflicts: 1044000 | #Constraints: 73905
2631.68/2735.72 c #Conflicts: 1045000 | #Constraints: 74907
2631.68/2735.72 c #Conflicts: 1046000 | #Constraints: 75913
2631.68/2735.72 c #Conflicts: 1047000 | #Constraints: 76915
2631.68/2735.72 c #Conflicts: 1048000 | #Constraints: 77920
2631.68/2735.72 c #Conflicts: 1049000 | #Constraints: 78926
2631.68/2735.72 c #Conflicts: 1050000 | #Constraints: 79936
2631.68/2735.72 c #Conflicts: 1051000 | #Constraints: 80942
2631.68/2735.72 c #Conflicts: 1052000 | #Constraints: 81950
2631.68/2735.72 c #Conflicts: 1053000 | #Constraints: 82951
2631.68/2735.72 c #Conflicts: 1054000 | #Constraints: 83953
2631.68/2735.72 c #Conflicts: 1055000 | #Constraints: 84954
2631.68/2735.72 c #Conflicts: 1056000 | #Constraints: 85962
2631.68/2735.72 c #Conflicts: 1057000 | #Constraints: 86965
2631.68/2735.72 c #Conflicts: 1058000 | #Constraints: 87973
2631.68/2735.72 c #Conflicts: 1059000 | #Constraints: 88976
2631.68/2735.72 c #Conflicts: 1060000 | #Constraints: 89976
2631.68/2735.72 c #Conflicts: 1061000 | #Constraints: 90983
2631.68/2735.72 c #Conflicts: 1062000 | #Constraints: 91995
2631.68/2735.72 c #Conflicts: 1063000 | #Constraints: 93004
2631.68/2735.72 c #Conflicts: 1064000 | #Constraints: 94009
2631.68/2735.72 c #Conflicts: 1065000 | #Constraints: 95011
2631.68/2735.72 c #Conflicts: 1066000 | #Constraints: 96017
2631.68/2735.72 c #Conflicts: 1067000 | #Constraints: 97023
2631.68/2735.72 c #Conflicts: 1068000 | #Constraints: 98035
2631.68/2735.72 c #Conflicts: 1069000 | #Constraints: 99040
2631.68/2735.72 c #Conflicts: 1070000 | #Constraints: 100046
2631.68/2735.72 c #Conflicts: 1071000 | #Constraints: 101048
2631.68/2735.72 c #Conflicts: 1072000 | #Constraints: 102048
2631.68/2735.72 c #Conflicts: 1073000 | #Constraints: 103059
2631.68/2735.72 c #Conflicts: 1074000 | #Constraints: 104064
2631.68/2735.72 c #Conflicts: 1075000 | #Constraints: 105070
2631.68/2735.72 c #Conflicts: 1076000 | #Constraints: 106075
2631.68/2735.72 c #Conflicts: 1077000 | #Constraints: 107076
2631.68/2735.72 c #Conflicts: 1078000 | #Constraints: 108079
2631.68/2735.72 c #Conflicts: 1079000 | #Constraints: 109083
2631.68/2735.72 c #Conflicts: 1080000 | #Constraints: 110085
2631.68/2735.72 c #Conflicts: 1081000 | #Constraints: 111088
2631.68/2735.72 c #Conflicts: 1082000 | #Constraints: 112089
2631.68/2735.72 c #Conflicts: 1083000 | #Constraints: 113090
2631.68/2735.72 c #Conflicts: 1084000 | #Constraints: 114094
2631.68/2735.72 c #Conflicts: 1085000 | #Constraints: 115097
2631.68/2735.72 c #Conflicts: 1086000 | #Constraints: 116099
2631.68/2735.72 c #Conflicts: 1087000 | #Constraints: 117102
2631.68/2735.72 c #Conflicts: 1088000 | #Constraints: 118106
2631.68/2735.72 c #Conflicts: 1089000 | #Constraints: 119109
2631.68/2735.72 c #Conflicts: 1090000 | #Constraints: 120112
2631.68/2735.72 c #Conflicts: 1091000 | #Constraints: 121114
2631.68/2735.72 c #Conflicts: 1092000 | #Constraints: 122117
2631.68/2735.72 c #Conflicts: 1093000 | #Constraints: 123119
2631.68/2735.72 c #Conflicts: 1094000 | #Constraints: 124123
2631.68/2735.72 c #Conflicts: 1095000 | #Constraints: 125128
2631.68/2735.72 c #Conflicts: 1096000 | #Constraints: 126130
2631.68/2735.72 c #Conflicts: 1097000 | #Constraints: 127131
2631.68/2735.72 c #Conflicts: 1098000 | #Constraints: 128132
2631.68/2735.72 c #Conflicts: 1099000 | #Constraints: 129133
2930.41/3046.77 c #Conflicts: 1100000 | #Constraints: 130133
2930.41/3046.77 c #Conflicts: 1101000 | #Constraints: 131133
2930.41/3046.77 c #Conflicts: 1102000 | #Constraints: 132137
2930.41/3046.77 c #Conflicts: 1103000 | #Constraints: 133424
2930.41/3046.77 c #Conflicts: 1104000 | #Constraints: 134867
2930.41/3046.77 c #Conflicts: 1105000 | #Constraints: 136230
2930.41/3046.77 c #Conflicts: 1106000 | #Constraints: 137621
2930.41/3046.77 c #Conflicts: 1107000 | #Constraints: 138989
2930.41/3046.77 c #Conflicts: 1108000 | #Constraints: 140345
2930.41/3046.77 c #Conflicts: 1109000 | #Constraints: 141661
2930.41/3046.77 c #Conflicts: 1110000 | #Constraints: 142909
2930.41/3046.77 c #Conflicts: 1111000 | #Constraints: 144308
2930.41/3046.77 c #Conflicts: 1112000 | #Constraints: 145672
2930.41/3046.77 c #Conflicts: 1113000 | #Constraints: 147030
2930.41/3046.77 c #Conflicts: 1114000 | #Constraints: 148385
2930.41/3046.77 c #Conflicts: 1115000 | #Constraints: 149834
2930.41/3046.77 c #Conflicts: 1116000 | #Constraints: 151165
2930.41/3046.77 c #Conflicts: 1117000 | #Constraints: 152433
2930.41/3046.77 c #Conflicts: 1118000 | #Constraints: 153724
2930.41/3046.77 c #Conflicts: 1119000 | #Constraints: 154966
2930.41/3046.77 c #Conflicts: 1120000 | #Constraints: 156241
2930.41/3046.77 c #Conflicts: 1121000 | #Constraints: 157651
2930.41/3046.77 c INPROCESSING
2930.41/3046.77 c GARBAGE COLLECT
2930.41/3046.77 c #Conflicts: 1122000 | #Constraints: 94554
2930.41/3046.77 c #Conflicts: 1123000 | #Constraints: 95554
2930.41/3046.77 c #Conflicts: 1124000 | #Constraints: 96554
2930.41/3046.77 c #Conflicts: 1125000 | #Constraints: 97554
2930.41/3046.77 c #Conflicts: 1126000 | #Constraints: 98554
2930.41/3046.77 c #Conflicts: 1127000 | #Constraints: 99554
2930.41/3046.77 c #Conflicts: 1128000 | #Constraints: 100554
2930.41/3046.77 c #Conflicts: 1129000 | #Constraints: 101554
2930.41/3046.77 c #Conflicts: 1130000 | #Constraints: 102554
2930.41/3046.77 c #Conflicts: 1131000 | #Constraints: 103554
2930.41/3046.77 c #Conflicts: 1132000 | #Constraints: 104554
2930.41/3046.77 c #Conflicts: 1133000 | #Constraints: 105555
2930.41/3046.77 c #Conflicts: 1134000 | #Constraints: 106555
2930.41/3046.77 c #Conflicts: 1135000 | #Constraints: 107555
2930.41/3046.77 c #Conflicts: 1136000 | #Constraints: 108555
2930.41/3046.77 c #Conflicts: 1137000 | #Constraints: 109555
2930.41/3046.77 c #Conflicts: 1138000 | #Constraints: 110555
2930.41/3046.77 c #Conflicts: 1139000 | #Constraints: 111574
2930.41/3046.77 c #Conflicts: 1140000 | #Constraints: 112589
2930.41/3046.77 c #Conflicts: 1141000 | #Constraints: 113741
2930.41/3046.77 c #Conflicts: 1142000 | #Constraints: 114941
2930.41/3046.77 c #Conflicts: 1143000 | #Constraints: 115941
2930.41/3046.77 c INPROCESSING
2930.41/3046.77 c GARBAGE COLLECT
2930.41/3046.77 c rational objective 0
2995.96/3112.56 c #Conflicts: 1144000 | #Constraints: 73787
2995.96/3112.56 c #Conflicts: 1145000 | #Constraints: 74787
2995.96/3112.56 c #Conflicts: 1146000 | #Constraints: 75787
2995.96/3112.56 c #Conflicts: 1147000 | #Constraints: 76787
2995.96/3112.56 c #Conflicts: 1148000 | #Constraints: 77787
2995.96/3112.56 c #Conflicts: 1149000 | #Constraints: 78787
2995.96/3112.56 c #Conflicts: 1150000 | #Constraints: 79787
2995.96/3112.56 c #Conflicts: 1151000 | #Constraints: 80787
2995.96/3112.56 c #Conflicts: 1152000 | #Constraints: 81787
2995.96/3112.56 c #Conflicts: 1153000 | #Constraints: 82787
2995.96/3112.56 c #Conflicts: 1154000 | #Constraints: 83787
2995.96/3112.56 c #Conflicts: 1155000 | #Constraints: 84787
2995.96/3112.56 c #Conflicts: 1156000 | #Constraints: 85787
2995.96/3112.56 c #Conflicts: 1157000 | #Constraints: 86787
2995.96/3112.56 c #Conflicts: 1158000 | #Constraints: 87787
2995.96/3112.56 c #Conflicts: 1159000 | #Constraints: 88787
2995.96/3112.56 c #Conflicts: 1160000 | #Constraints: 89787
2995.96/3112.56 c #Conflicts: 1161000 | #Constraints: 90787
2995.96/3112.56 c #Conflicts: 1162000 | #Constraints: 91787
2995.96/3112.56 c #Conflicts: 1163000 | #Constraints: 92787
2995.96/3112.56 c #Conflicts: 1164000 | #Constraints: 93787
2995.96/3112.56 c INPROCESSING
2995.96/3112.56 c GARBAGE COLLECT
2995.96/3112.56 c rational objective 0
3059.39/3176.22 c #Conflicts: 1165000 | #Constraints: 62326
3059.39/3176.22 c #Conflicts: 1166000 | #Constraints: 63326
3059.39/3176.22 c #Conflicts: 1167000 | #Constraints: 64326
3059.39/3176.22 c #Conflicts: 1168000 | #Constraints: 65326
3059.39/3176.22 c #Conflicts: 1169000 | #Constraints: 66326
3059.39/3176.22 c #Conflicts: 1170000 | #Constraints: 67326
3059.39/3176.22 c #Conflicts: 1171000 | #Constraints: 68326
3059.39/3176.22 c #Conflicts: 1172000 | #Constraints: 69327
3059.39/3176.22 c #Conflicts: 1173000 | #Constraints: 70328
3059.39/3176.22 c #Conflicts: 1174000 | #Constraints: 71328
3059.39/3176.22 c #Conflicts: 1175000 | #Constraints: 72329
3059.39/3176.22 c #Conflicts: 1176000 | #Constraints: 73329
3059.39/3176.22 c #Conflicts: 1177000 | #Constraints: 74332
3059.39/3176.22 c #Conflicts: 1178000 | #Constraints: 75333
3059.39/3176.22 c #Conflicts: 1179000 | #Constraints: 76336
3059.39/3176.22 c #Conflicts: 1180000 | #Constraints: 77338
3059.39/3176.22 c #Conflicts: 1181000 | #Constraints: 78341
3059.39/3176.22 c #Conflicts: 1182000 | #Constraints: 79343
3059.39/3176.22 c #Conflicts: 1183000 | #Constraints: 80345
3059.39/3176.22 c #Conflicts: 1184000 | #Constraints: 81346
3059.39/3176.22 c #Conflicts: 1185000 | #Constraints: 82346
3059.39/3176.22 c #Conflicts: 1186000 | #Constraints: 83346
3059.39/3176.22 c INPROCESSING
3059.39/3176.22 c GARBAGE COLLECT
3059.39/3176.22 c rational objective 0
3101.48/3219.14 c #Conflicts: 1187000 | #Constraints: 57129
3101.48/3219.14 c #Conflicts: 1188000 | #Constraints: 58129
3101.48/3219.14 c #Conflicts: 1189000 | #Constraints: 59129
3101.48/3219.14 c #Conflicts: 1190000 | #Constraints: 60129
3101.48/3219.14 c #Conflicts: 1191000 | #Constraints: 61129
3101.48/3219.14 c #Conflicts: 1192000 | #Constraints: 62129
3101.48/3219.14 c #Conflicts: 1193000 | #Constraints: 63132
3101.48/3219.14 c #Conflicts: 1194000 | #Constraints: 64135
3101.48/3219.14 c #Conflicts: 1195000 | #Constraints: 65135
3101.48/3219.14 c #Conflicts: 1196000 | #Constraints: 66138
3101.48/3219.14 c #Conflicts: 1197000 | #Constraints: 67140
3101.48/3219.14 c #Conflicts: 1198000 | #Constraints: 68143
3101.48/3219.14 c #Conflicts: 1199000 | #Constraints: 69144
3101.48/3219.14 c #Conflicts: 1200000 | #Constraints: 70145
3101.48/3219.14 c #Conflicts: 1201000 | #Constraints: 71147
3101.48/3219.14 c #Conflicts: 1202000 | #Constraints: 72147
3101.48/3219.14 c #Conflicts: 1203000 | #Constraints: 73147
3101.48/3219.14 c #Conflicts: 1204000 | #Constraints: 74147
3101.48/3219.14 c #Conflicts: 1205000 | #Constraints: 75147
3101.48/3219.14 c #Conflicts: 1206000 | #Constraints: 76147
3101.48/3219.14 c #Conflicts: 1207000 | #Constraints: 77147
3101.48/3219.14 c #Conflicts: 1208000 | #Constraints: 78147
3101.48/3219.14 c #Conflicts: 1209000 | #Constraints: 79149
3101.48/3219.14 c INPROCESSING
3101.48/3219.14 c GARBAGE COLLECT
3101.48/3219.14 c rational objective -5.9236e-11
3146.90/3264.70 c #Conflicts: 1210000 | #Constraints: 55419
3146.90/3264.70 c #Conflicts: 1211000 | #Constraints: 56419
3146.90/3264.70 c #Conflicts: 1212000 | #Constraints: 57419
3146.90/3264.70 c #Conflicts: 1213000 | #Constraints: 58420
3146.90/3264.70 c #Conflicts: 1214000 | #Constraints: 59422
3146.90/3264.70 c #Conflicts: 1215000 | #Constraints: 60430
3146.90/3264.70 c #Conflicts: 1216000 | #Constraints: 61432
3146.90/3264.70 c #Conflicts: 1217000 | #Constraints: 62432
3146.90/3264.70 c #Conflicts: 1218000 | #Constraints: 63432
3146.90/3264.70 c #Conflicts: 1219000 | #Constraints: 64432
3146.90/3264.70 c #Conflicts: 1220000 | #Constraints: 65432
3146.90/3264.70 c #Conflicts: 1221000 | #Constraints: 66432
3146.90/3264.70 c #Conflicts: 1222000 | #Constraints: 67432
3146.90/3264.70 c #Conflicts: 1223000 | #Constraints: 68435
3146.90/3264.70 c #Conflicts: 1224000 | #Constraints: 69439
3146.90/3264.70 c #Conflicts: 1225000 | #Constraints: 70441
3146.90/3264.70 c #Conflicts: 1226000 | #Constraints: 71441
3146.90/3264.70 c #Conflicts: 1227000 | #Constraints: 72443
3146.90/3264.70 c #Conflicts: 1228000 | #Constraints: 73450
3146.90/3264.70 c #Conflicts: 1229000 | #Constraints: 74452
3146.90/3264.70 c #Conflicts: 1230000 | #Constraints: 75458
3146.90/3264.70 c #Conflicts: 1231000 | #Constraints: 76465
3146.90/3264.70 c INPROCESSING
3146.90/3264.70 c GARBAGE COLLECT
3146.90/3264.70 c rational objective 0
3186.72/3304.82 c #Conflicts: 1232000 | #Constraints: 53863
3186.72/3304.82 c #Conflicts: 1233000 | #Constraints: 54863
3186.72/3304.82 c #Conflicts: 1234000 | #Constraints: 55863
3186.72/3304.82 c #Conflicts: 1235000 | #Constraints: 56863
3186.72/3304.82 c #Conflicts: 1236000 | #Constraints: 57863
3186.72/3304.82 c #Conflicts: 1237000 | #Constraints: 58863
3186.72/3304.82 c #Conflicts: 1238000 | #Constraints: 59863
3186.72/3304.82 c #Conflicts: 1239000 | #Constraints: 60863
3186.72/3304.82 c #Conflicts: 1240000 | #Constraints: 61863
3186.72/3304.82 c #Conflicts: 1241000 | #Constraints: 62863
3186.72/3304.82 c #Conflicts: 1242000 | #Constraints: 63864
3186.72/3304.82 c #Conflicts: 1243000 | #Constraints: 64865
3186.72/3304.82 c #Conflicts: 1244000 | #Constraints: 65865
3186.72/3304.82 c #Conflicts: 1245000 | #Constraints: 66867
3186.72/3304.82 c #Conflicts: 1246000 | #Constraints: 67868
3186.72/3304.82 c #Conflicts: 1247000 | #Constraints: 68868
3186.72/3304.82 c #Conflicts: 1248000 | #Constraints: 69868
3186.72/3304.82 c #Conflicts: 1249000 | #Constraints: 70868
3186.72/3304.82 c #Conflicts: 1250000 | #Constraints: 71868
3186.72/3304.82 c #Conflicts: 1251000 | #Constraints: 72868
3186.72/3304.82 c #Conflicts: 1252000 | #Constraints: 73868
3186.72/3304.82 c #Conflicts: 1253000 | #Constraints: 74868
3186.72/3304.82 c #Conflicts: 1254000 | #Constraints: 75868
3186.72/3304.82 c INPROCESSING
3186.72/3304.82 c GARBAGE COLLECT
3186.72/3304.82 c rational objective 0
3410.20/3537.24 c #Conflicts: 1255000 | #Constraints: 53805
3410.20/3537.24 c #Conflicts: 1256000 | #Constraints: 54805
3410.20/3537.24 c #Conflicts: 1257000 | #Constraints: 55805
3410.20/3537.24 c #Conflicts: 1258000 | #Constraints: 56805
3410.20/3537.24 c #Conflicts: 1259000 | #Constraints: 57805
3410.20/3537.24 c #Conflicts: 1260000 | #Constraints: 58806
3410.20/3537.24 c #Conflicts: 1261000 | #Constraints: 59807
3410.20/3537.24 c #Conflicts: 1262000 | #Constraints: 60810
3410.20/3537.24 c #Conflicts: 1263000 | #Constraints: 61813
3410.20/3537.24 c #Conflicts: 1264000 | #Constraints: 62817
3410.20/3537.24 c #Conflicts: 1265000 | #Constraints: 63819
3410.20/3537.24 c #Conflicts: 1266000 | #Constraints: 64820
3410.20/3537.24 c #Conflicts: 1267000 | #Constraints: 65821
3410.20/3537.24 c #Conflicts: 1268000 | #Constraints: 66822
3410.20/3537.24 c #Conflicts: 1269000 | #Constraints: 67824
3410.20/3537.24 c #Conflicts: 1270000 | #Constraints: 68827
3410.20/3537.24 c #Conflicts: 1271000 | #Constraints: 69827
3410.20/3537.24 c #Conflicts: 1272000 | #Constraints: 70827
3410.20/3537.24 c #Conflicts: 1273000 | #Constraints: 71827
3410.20/3537.24 c #Conflicts: 1274000 | #Constraints: 72827
3410.20/3537.24 c #Conflicts: 1275000 | #Constraints: 73827
3410.20/3537.24 c #Conflicts: 1276000 | #Constraints: 74829
3410.20/3537.24 c #Conflicts: 1277000 | #Constraints: 75831
3410.20/3537.24 c #Conflicts: 1278000 | #Constraints: 76835
3410.20/3537.24 c #Conflicts: 1279000 | #Constraints: 77836
3410.20/3537.24 c #Conflicts: 1280000 | #Constraints: 78844
3410.20/3537.24 c #Conflicts: 1281000 | #Constraints: 79847
3410.20/3537.24 c #Conflicts: 1282000 | #Constraints: 80850
3410.20/3537.24 c #Conflicts: 1283000 | #Constraints: 81853
3410.20/3537.24 c #Conflicts: 1284000 | #Constraints: 82854
3410.20/3537.24 c #Conflicts: 1285000 | #Constraints: 83855
3410.20/3537.24 c #Conflicts: 1286000 | #Constraints: 84856
3410.20/3537.24 c #Conflicts: 1287000 | #Constraints: 85856
3410.20/3537.24 c #Conflicts: 1288000 | #Constraints: 86856
3410.20/3537.24 c #Conflicts: 1289000 | #Constraints: 87856
3410.20/3537.24 c #Conflicts: 1290000 | #Constraints: 88856
3410.20/3537.24 c #Conflicts: 1291000 | #Constraints: 89856
3410.20/3537.24 c #Conflicts: 1292000 | #Constraints: 90856
3410.20/3537.24 c #Conflicts: 1293000 | #Constraints: 91856
3410.20/3537.24 c #Conflicts: 1294000 | #Constraints: 92856
3410.20/3537.24 c #Conflicts: 1295000 | #Constraints: 93856
3410.20/3537.24 c #Conflicts: 1296000 | #Constraints: 94857
3410.20/3537.24 c #Conflicts: 1297000 | #Constraints: 95857
3410.20/3537.24 c #Conflicts: 1298000 | #Constraints: 96860
3410.20/3537.24 c #Conflicts: 1299000 | #Constraints: 97862
3410.20/3537.24 c #Conflicts: 1300000 | #Constraints: 98863
3410.20/3537.24 c #Conflicts: 1301000 | #Constraints: 99867
3410.20/3537.24 c #Conflicts: 1302000 | #Constraints: 100867
3410.20/3537.24 c #Conflicts: 1303000 | #Constraints: 101868
3410.20/3537.24 c #Conflicts: 1304000 | #Constraints: 102869
3410.20/3537.24 c #Conflicts: 1305000 | #Constraints: 103869
3410.20/3537.24 c #Conflicts: 1306000 | #Constraints: 104870
3410.20/3537.24 c #Conflicts: 1307000 | #Constraints: 105872
3410.20/3537.24 c #Conflicts: 1308000 | #Constraints: 106874
3410.20/3537.24 c #Conflicts: 1309000 | #Constraints: 107875
3410.20/3537.24 c #Conflicts: 1310000 | #Constraints: 108879
3410.20/3537.24 c #Conflicts: 1311000 | #Constraints: 109880
3410.20/3537.24 c #Conflicts: 1312000 | #Constraints: 110883
3410.20/3537.24 c #Conflicts: 1313000 | #Constraints: 111883
3410.20/3537.24 c #Conflicts: 1314000 | #Constraints: 112885
3410.20/3537.24 c #Conflicts: 1315000 | #Constraints: 113886
3410.20/3537.24 c #Conflicts: 1316000 | #Constraints: 114886
3410.20/3537.24 c #Conflicts: 1317000 | #Constraints: 115886
3410.20/3537.24 c #Conflicts: 1318000 | #Constraints: 116886
3410.20/3537.24 c #Conflicts: 1319000 | #Constraints: 117886
3410.20/3537.24 c #Conflicts: 1320000 | #Constraints: 118886
3410.20/3537.24 c #Conflicts: 1321000 | #Constraints: 119886
3410.20/3537.24 c #Conflicts: 1322000 | #Constraints: 120887
3410.20/3537.24 c #Conflicts: 1323000 | #Constraints: 121887
3410.20/3537.24 c #Conflicts: 1324000 | #Constraints: 122888
3410.20/3537.24 c #Conflicts: 1325000 | #Constraints: 123890
3410.20/3537.24 c #Conflicts: 1326000 | #Constraints: 124894
3410.20/3537.24 c #Conflicts: 1327000 | #Constraints: 125899
3410.20/3537.24 c #Conflicts: 1328000 | #Constraints: 126899
3410.20/3537.24 c #Conflicts: 1329000 | #Constraints: 127899
3410.20/3537.24 c #Conflicts: 1330000 | #Constraints: 128899
3410.20/3537.24 c #Conflicts: 1331000 | #Constraints: 129899
3410.20/3537.24 c #Conflicts: 1332000 | #Constraints: 130899
3410.20/3537.24 c #Conflicts: 1333000 | #Constraints: 131899
3564.46/3694.23 c #Conflicts: 1334000 | #Constraints: 132900
3564.46/3694.23 c #Conflicts: 1335000 | #Constraints: 133901
3564.46/3694.23 c #Conflicts: 1336000 | #Constraints: 134903
3564.46/3694.23 c #Conflicts: 1337000 | #Constraints: 135907
3564.46/3694.23 c #Conflicts: 1338000 | #Constraints: 136911
3564.46/3694.23 c #Conflicts: 1339000 | #Constraints: 137912
3564.46/3694.23 c #Conflicts: 1340000 | #Constraints: 138914
3564.46/3694.23 c #Conflicts: 1341000 | #Constraints: 139914
3564.46/3694.23 c #Conflicts: 1342000 | #Constraints: 140914
3564.46/3694.23 c #Conflicts: 1343000 | #Constraints: 141914
3564.46/3694.23 c #Conflicts: 1344000 | #Constraints: 142914
3564.46/3694.23 c #Conflicts: 1345000 | #Constraints: 143917
3564.46/3694.23 c #Conflicts: 1346000 | #Constraints: 144919
3564.46/3694.23 c #Conflicts: 1347000 | #Constraints: 145923
3564.46/3694.23 c #Conflicts: 1348000 | #Constraints: 146925
3564.46/3694.23 c #Conflicts: 1349000 | #Constraints: 147925
3564.46/3694.23 c #Conflicts: 1350000 | #Constraints: 148930
3564.46/3694.23 c #Conflicts: 1351000 | #Constraints: 149936
3564.46/3694.23 c #Conflicts: 1352000 | #Constraints: 150943
3564.46/3694.23 c #Conflicts: 1353000 | #Constraints: 151945
3564.46/3694.23 c #Conflicts: 1354000 | #Constraints: 152946
3564.46/3694.23 c #Conflicts: 1355000 | #Constraints: 153946
3564.46/3694.23 c #Conflicts: 1356000 | #Constraints: 154948
3564.46/3694.23 c #Conflicts: 1357000 | #Constraints: 155948
3564.46/3694.23 c #Conflicts: 1358000 | #Constraints: 156951
3564.46/3694.23 c #Conflicts: 1359000 | #Constraints: 157952
3564.46/3694.23 c #Conflicts: 1360000 | #Constraints: 158952
3564.46/3694.23 c #Conflicts: 1361000 | #Constraints: 159954
3564.46/3694.23 c #Conflicts: 1362000 | #Constraints: 160956
3564.46/3694.23 c #Conflicts: 1363000 | #Constraints: 161960
3564.46/3694.23 c INPROCESSING
3564.46/3694.23 c GARBAGE COLLECT
3564.46/3694.23 c rational objective -1.39121e-10
3570.25/3700.00 c #Conflicts: 1364000 | #Constraints: 96791
3570.25/3700.00 c Disabling crashed LP
3570.25/3700.00 c cpu time 3532.54 s
3570.25/3700.00 c deterministic time 278793421236 2.79e+11
3570.25/3700.00 c optimization time 3.24163 s
3570.25/3700.00 c total solve time 3529.13 s
3570.25/3700.00 c core-guided solve time 1658.3 s
3570.25/3700.00 c propagation time 1901.28 s
3570.25/3700.00 c conflict analysis time 1231.4 s
3570.25/3700.00 c propagations 891633897
3570.25/3700.00 c resolve steps 57743202
3570.25/3700.00 c decisions 22877238
3570.25/3700.00 c conflicts 1364319
3570.25/3700.00 c restarts 2557
3570.25/3700.00 c inprocessing phases 96
3570.25/3700.00 c garbage collections 96 ,( 100.00 )
3570.25/3700.00 c input clauses 6553 ,( 22.63 )
3570.25/3700.00 c input cardinalities 112 ,( 0.39 )
3570.25/3700.00 c input general constraints 22288 ,( 76.98 )
3570.25/3700.00 c input average constraint length 4.61
3570.25/3700.00 c input average constraint degree 8.19
3570.25/3700.00 c learned clauses 545708 ,( 39.52 )
3570.25/3700.00 c learned cardinalities 108692 ,( 7.87 )
3570.25/3700.00 c learned general constraints 726393 ,( 52.61 )
3570.25/3700.00 c learned average constraint length 1983.56
3570.25/3700.00 c learned average constraint degree 821313660.81
3570.25/3700.00 c watched CF 32, 64, 128, Arb: 652476 , 0 , 0 , 0
3570.25/3700.00 c counting CF 32, 64, 128, Arb: 96206 , 0 , 0 , 0
3570.25/3700.00 c watched constraints 652476 ,( 87.15 )
3570.25/3700.00 c counting constraints 96205 ,( 12.85 )
3570.25/3700.00 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 341428005 , 555040932 , 2424898938 ,( 686260730 , 1738638208 )
3570.25/3700.00 c gcd simplifications 128674
3570.25/3700.00 c detected cardinalities 2858
3570.25/3700.00 c weakened non-implied lits 334335150
3570.25/3700.00 c weakened non-implying lits 407999
3570.25/3700.00 c original variables 35169
3570.25/3700.00 c clausal propagations 139562219
3570.25/3700.00 c cardinality propagations 142349869
3570.25/3700.00 c watched propagations 74585409
3570.25/3700.00 c counting propagations 504795952
3570.25/3700.00 c watch lookups 33710476725
3570.25/3700.00 c watch backjump lookups 0
3570.25/3700.00 c watch checks 190986937871
3570.25/3700.00 c propagation checks 46430131314
3570.25/3700.00 c constraint additions 5833682288
3570.25/3700.00 c trail pops 915844803
3570.25/3700.00 c formula constraints 28953
3570.25/3700.00 c learned constraints 1362901
3570.25/3700.00 c bound constraints 0
3570.25/3700.00 c core-guided constraints 0
3570.25/3700.00 c encountered formula constraints 54168396
3570.25/3700.00 c encountered learned constraints 4740689
3570.25/3700.00 c encountered bound constraints 0
3570.25/3700.00 c encountered core-guided constraints 0
3570.25/3700.00 c LP total time 698.784 s
3570.25/3700.00 c LP solve time 553.34 s
3570.25/3700.00 c LP constraints added 35295
3570.25/3700.00 c LP constraints removed 6230
3570.25/3700.00 c LP pivots internal 1364319
3570.25/3700.00 c LP pivots root 472780
3570.25/3700.00 c LP calls 17883
3570.25/3700.00 c LP optimalities 3802
3570.25/3700.00 c LP no pivot count 1973
3570.25/3700.00 c LP infeasibilities 14070
3570.25/3700.00 c LP valid Farkas constraints 14061
3570.25/3700.00 c LP learned Farkas constraints 1418
3570.25/3700.00 c LP basis resets 15
3570.25/3700.00 c LP cycling count 6
3570.25/3700.00 c LP singular count 0
3570.25/3700.00 c LP no primal count 0
3570.25/3700.00 c LP no farkas count 9
3570.25/3700.00 c LP other issue count 0
3570.25/3700.00 c LP Gomory cuts 2413
3570.25/3700.00 c LP learned cuts 3929
3570.25/3700.00 c LP deleted cuts 6230
3570.25/3700.00 c LP encountered Gomory constraints 129692
3570.25/3700.00 c LP encountered Farkas constraints 57670
3570.25/3700.00 c LP encountered learned Farkas constraints 9656
3570.25/3700.00 c CG auxiliary variables introduced 0
3570.25/3700.00 c CG solutions found 0
3570.25/3700.00 c CG cores constructed 0
3570.25/3700.00 c CG core cardinality constraints returned 0
3570.25/3700.00 c CG unit cores 0
3570.25/3700.00 c CG single cores 0
3570.25/3700.00 c CG blocks removed during cardinality reduction 0
3570.25/3700.00 c CG first core best 0
3570.25/3700.00 c CG decision core best 0
3570.25/3700.00 c CG core reduction tie 0
3570.25/3700.00 c CG core degree average 0.00
3570.25/3700.00 c CG core slack average 0.00
3570.25/3700.00 c CG core upper bound improvements 0
3570.25/3700.00 c STR number of successful calls 0
3570.25/3700.00 c STR number of unsuccessful calls 0
3570.25/3700.00 c STR number of inconclusive calls 0
3570.25/3700.00 c STR number of successful attempts 0
3570.25/3700.00 c STR number of unsuccessful attempts 0
3570.25/3700.00 c STR number of inconclusive attempts 0
3570.25/3700.00 c STR average degree increase per successful call inf
3570.25/3700.00 c STR average degree increase per successful attempt inf
3570.25/3700.00 c STR total number of conflicts for successful attempts 0
3570.25/3700.00 c STR total number of conflicts for unsuccessful attempts 0
3570.25/3700.00 c STR total number of conflicts for inconclusive attempts 0
3570.25/3700.00 c STR average number of conflicts per successful attempt inf
3570.25/3700.00 c STR average number of conflicts per unsuccessful attempt inf
3570.25/3700.00 c STR average number of conflicts per inconclusive attempt inf
3570.25/3700.00 c AVG.sumWPerc 20.54
3570.25/3700.00 c bigint constraints 0
3570.25/3700.00 s UNKNOWN
3570.25/3700.00 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: 63708 MiB (52260 MiB free)
memory of node 1: 64465 MiB (32004 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4523979-1751601030/watcher-4523979-1751601030 -o /tmp/evaluation-result-4523979-1751601030/solver-4523979-1751601030 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751597363-96998 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4523979-1751601030.opb PROOFDIR/proof-4523979-1751601030
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=98006, runsolver pid=98003
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 4.48 4.25 4.13 5/272 98008
/proc/meminfo: memFree=86249988/131249992 swapFree=33010160/33010684
[pid=98006] ppid=98003 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/98006/stat : 98006 (run-opt-ls-log.) S 98003 98006 96988 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 75781718 4292608 736 18446744073709551615 93996515225600 93996516120133 140733093870048 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93996516359184 93996516406928 93996546084864 140733093873947 140733093874145 140733093874145 140733093879747 0
/proc/98006/statm: 1048 736 672 219 0 110 0
[pid=98008] ppid=98006 vsize=59952 memory=40192 CPUtime=0.08 cores=0,2
/proc/98008/stat : 98008 (pbsuma) R 98006 98006 96988 0 -1 4194304 11048 0 0 0 6 2 0 0 20 0 1 0 75781719 61390848 10048 18446744073709551615 4210688 4653049 140728814164464 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 16556032 140728814168291 140728814168626 140728814168626 140728814174191 0
/proc/98008/statm: 14988 10048 1024 108 0 12396 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 64144 KiB
Current children cumulated memory: 43136 KiB
[startup+0.205647 s]*
/proc/loadavg: 4.48 4.25 4.13 5/272 98008
/proc/meminfo: memFree=86246208/131249992 swapFree=33010160/33010684
[pid=98006] ppid=98003 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/98006/stat : 98006 (run-opt-ls-log.) S 98003 98006 96988 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 75781718 4292608 736 18446744073709551615 93996515225600 93996516120133 140733093870048 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93996516359184 93996516406928 93996546084864 140733093873947 140733093874145 140733093874145 140733093879747 0
/proc/98006/statm: 1048 736 672 219 0 110 0
[pid=98008] ppid=98006 vsize=61276 memory=43264 CPUtime=0.18 cores=0,2
/proc/98008/stat : 98008 (pbsuma) R 98006 98006 96988 0 -1 4194304 11790 0 0 0 16 2 0 0 20 0 1 0 75781719 62746624 10816 18446744073709551615 4210688 4653049 140728814164464 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 16556032 140728814168291 140728814168626 140728814168626 140728814174191 0
/proc/98008/statm: 15319 10816 1024 108 0 12727 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 65468 KiB
Current children cumulated memory: 46208 KiB
[startup+0.305536 s]*
/proc/loadavg: 4.48 4.25 4.13 5/272 98008
/proc/meminfo: memFree=86238144/131249992 swapFree=33010160/33010684
[pid=98006] ppid=98003 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/98006/stat : 98006 (run-opt-ls-log.) S 98003 98006 96988 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 75781718 4292608 736 18446744073709551615 93996515225600 93996516120133 140733093870048 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93996516359184 93996516406928 93996546084864 140733093873947 140733093874145 140733093874145 140733093879747 0
/proc/98006/statm: 1048 736 672 219 0 110 0
[pid=98008] ppid=98006 vsize=61276 memory=43264 CPUtime=0.28 cores=0,2
/proc/98008/stat : 98008 (pbsuma) R 98006 98006 96988 0 -1 4194304 11790 0 0 0 26 2 0 0 20 0 1 0 75781719 62746624 10816 18446744073709551615 4210688 4653049 140728814164464 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 16556032 140728814168291 140728814168626 140728814168626 140728814174191 0
/proc/98008/statm: 15319 10816 1024 108 0 12727 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 65468 KiB
Current children cumulated memory: 46208 KiB
[startup+0.700219 s]
/proc/loadavg: 4.48 4.25 4.13 6/272 98008
/proc/meminfo: memFree=86230080/131249992 swapFree=33010160/33010684
[pid=98006] ppid=98003 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/98006/stat : 98006 (run-opt-ls-log.) S 98003 98006 96988 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 75781718 4292608 736 18446744073709551615 93996515225600 93996516120133 140733093870048 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93996516359184 93996516406928 93996546084864 140733093873947 140733093874145 140733093874145 140733093879747 0
/proc/98006/statm: 1048 736 672 219 0 110 0
[pid=98008] ppid=98006 vsize=61276 memory=43264 CPUtime=0.66 cores=0,2
/proc/98008/stat : 98008 (pbsuma) R 98006 98006 96988 0 -1 4194304 11790 0 0 0 64 2 0 0 20 0 1 0 75781719 62746624 10816 18446744073709551615 4210688 4653049 140728814164464 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 16556032 140728814168291 140728814168626 140728814168626 140728814174191 0
/proc/98008/statm: 15319 10816 1024 108 0 12727 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 65468 KiB
Current children cumulated memory: 46208 KiB
[startup+1.50022 s]
/proc/loadavg: 4.48 4.25 4.13 5/272 98008
/proc/meminfo: memFree=86193476/131249992 swapFree=33010160/33010684
[pid=98006] ppid=98003 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/98006/stat : 98006 (run-opt-ls-log.) S 98003 98006 96988 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 75781718 4292608 736 18446744073709551615 93996515225600 93996516120133 140733093870048 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93996516359184 93996516406928 93996546084864 140733093873947 140733093874145 140733093874145 140733093879747 0
/proc/98006/statm: 1048 736 672 219 0 110 0
[pid=98008] ppid=98006 vsize=93476 memory=62040 CPUtime=1.46 cores=0,2
/proc/98008/stat : 98008 (pbsuma) R 98006 98006 96988 0 -1 4194304 15714 0 0 0 143 3 0 0 20 0 1 0 75781719 95719424 15510 18446744073709551615 4210688 4653049 140728814164464 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 16556032 140728814168291 140728814168626 140728814168626 140728814174191 0
/proc/98008/statm: 23369 15510 1024 108 0 20777 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 97668 KiB
Current children cumulated memory: 64984 KiB
[startup+3.10544 s]
/proc/loadavg: 4.48 4.25 4.13 5/272 98009
/proc/meminfo: memFree=86026684/131249992 swapFree=33010160/33010684
[pid=98006] ppid=98003 vsize=4192 memory=2944 CPUtime=1.55 cores=0,2
/proc/98006/stat : 98006 (run-opt-ls-log.) S 98003 98006 96988 0 -1 4194304 240 18449 0 0 0 0 151 4 20 0 1 0 75781718 4292608 736 18446744073709551615 93996515225600 93996516120133 140733093870048 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93996516359184 93996516406928 93996546084864 140733093873947 140733093874145 140733093874145 140733093879747 0
/proc/98006/statm: 1048 736 672 219 0 110 0
[pid=98009] ppid=98006 vsize=146560 memory=101112 CPUtime=1.48 cores=0,2
/proc/98009/stat : 98009 (roundingsat) R 98006 98006 96988 0 -1 4194304 19530 0 0 0 140 8 0 0 20 0 1 0 75781878 150077440 25278 18446744073709551615 4227072 8923433 140737260116400 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10305536 140737260124406 140737260124712 140737260124712 140737260130282 0
/proc/98009/statm: 36640 25278 2432 1147 0 24067 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 150752 KiB
Current children cumulated memory: 104056 KiB
[startup+6.3002 s]
/proc/loadavg: 4.44 4.25 4.13 5/272 98009
/proc/meminfo: memFree=85861464/131249992 swapFree=33010160/33010684
[pid=98006] ppid=98003 vsize=4192 memory=2944 CPUtime=1.55 cores=0,2
/proc/98006/stat : 98006 (run-opt-ls-log.) S 98003 98006 96988 0 -1 4194304 240 18449 0 0 0 0 151 4 20 0 1 0 75781718 4292608 736 18446744073709551615 93996515225600 93996516120133 140733093870048 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93996516359184 93996516406928 93996546084864 140733093873947 140733093874145 140733093874145 140733093879747 0
/proc/98006/statm: 1048 736 672 219 0 110 0
[pid=98009] ppid=98006 vsize=179216 memory=130132 CPUtime=4.66 cores=0,2
/proc/98009/stat : 98009 (roundingsat) R 98006 98006 96988 0 -1 4194304 23696 0 0 0 448 18 0 0 20 0 1 0 75781878 183517184 32533 18446744073709551615 4227072 8923433 140737260116400 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10305536 140737260124406 140737260124712 140737260124712 140737260130282 0
/proc/98009/statm: 44804 32533 2432 1147 0 32231 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 183408 KiB
Current children cumulated memory: 133076 KiB
[startup+12.7002 s]
/proc/loadavg: 4.49 4.26 4.14 4/272 98009
/proc/meminfo: memFree=85530200/131249992 swapFree=33010160/33010684
[pid=98006] ppid=98003 vsize=4192 memory=2944 CPUtime=1.55 cores=0,2
/proc/98006/stat : 98006 (run-opt-ls-log.) S 98003 98006 96988 0 -1 4194304 240 18449 0 0 0 0 151 4 20 0 1 0 75781718 4292608 736 18446744073709551615 93996515225600 93996516120133 140733093870048 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93996516359184 93996516406928 93996546084864 140733093873947 140733093874145 140733093874145 140733093879747 0
/proc/98006/statm: 1048 736 672 219 0 110 0
[pid=98009] ppid=98006 vsize=242056 memory=180720 CPUtime=11.04 cores=0,2
/proc/98009/stat : 98009 (roundingsat) R 98006 98006 96988 0 -1 4194304 33891 0 0 0 1072 32 0 0 20 0 1 0 75781878 247865344 45180 18446744073709551615 4227072 8923433 140737260116400 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10305536 140737260124406 140737260124712 140737260124712 140737260130282 0
/proc/98009/statm: 60514 45180 2432 1147 0 47941 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 246248 KiB
Current children cumulated memory: 183664 KiB
[startup+25.5002 s]
/proc/loadavg: 4.38 4.25 4.13 5/277 98031
/proc/meminfo: memFree=108578540/131249992 swapFree=33010160/33010684
[pid=98006] ppid=98003 vsize=4192 memory=2944 CPUtime=1.55 cores=0,2
/proc/98006/stat : 98006 (run-opt-ls-log.) S 98003 98006 96988 0 -1 4194304 240 18449 0 0 0 0 151 4 20 0 1 0 75781718 4292608 736 18446744073709551615 93996515225600 93996516120133 140733093870048 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93996516359184 93996516406928 93996546084864 140733093873947 140733093874145 140733093874145 140733093879747 0
/proc/98006/statm: 1048 736 672 219 0 110 0
[pid=98009] ppid=98006 vsize=366960 memory=280664 CPUtime=23.8 cores=0,2
/proc/98009/stat : 98009 (roundingsat) R 98006 98006 96988 0 -1 4194304 55928 0 0 0 2324 56 0 0 20 0 1 0 75781878 375767040 70166 18446744073709551615 4227072 8923433 140737260116400 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10305536 140737260124406 140737260124712 140737260124712 140737260130282 0
/proc/98009/statm: 91740 70166 2432 1147 0 79167 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 371152 KiB
Current children cumulated memory: 283608 KiB
[startup+51.1056 s]
/proc/loadavg: 4.25 4.23 4.13 5/277 98081
/proc/meminfo: memFree=119561024/131249992 swapFree=33010160/33010684
[pid=98006] ppid=98003 vsize=4192 memory=2944 CPUtime=1.55 cores=0,2
/proc/98006/stat : 98006 (run-opt-ls-log.) S 98003 98006 96988 0 -1 4194304 240 18449 0 0 0 0 151 4 20 0 1 0 75781718 4292608 736 18446744073709551615 93996515225600 93996516120133 140733093870048 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93996516359184 93996516406928 93996546084864 140733093873947 140733093874145 140733093874145 140733093879747 0
/proc/98006/statm: 1048 736 672 219 0 110 0
[pid=98009] ppid=98006 vsize=389600 memory=324164 CPUtime=49.19 cores=0,2
/proc/98009/stat : 98009 (roundingsat) R 98006 98006 96988 0 -1 4194304 63215 0 0 0 4826 93 0 0 20 0 1 0 75781878 398950400 81041 18446744073709551615 4227072 8923433 140737260116400 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10305536 140737260124406 140737260124712 140737260124712 140737260130282 0
/proc/98009/statm: 97400 81041 2432 1147 0 84827 0
Current children cumulated CPU time: 50.74 s
Current children cumulated vsize: 393792 KiB
Current children cumulated memory: 327108 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.20 4.12 5/276 98083
/proc/meminfo: memFree=117155332/131249992 swapFree=33010160/33010684
[pid=98006] ppid=98003 vsize=4192 memory=2944 CPUtime=1.55 cores=0,2
/proc/98006/stat : 98006 (run-opt-ls-log.) S 98003 98006 96988 0 -1 4194304 240 18449 0 0 0 0 151 4 20 0 1 0 75781718 4292608 736 18446744073709551615 93996515225600 93996516120133 140733093870048 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93996516359184 93996516406928 93996546084864 140733093873947 140733093874145 140733093874145 140733093879747 0
/proc/98006/statm: 1048 736 672 219 0 110 0
[pid=98009] ppid=98006 vsize=461484 memory=370400 CPUtime=100.15 cores=0,2
/proc/98009/stat : 98009 (roundingsat) R 98006 98006 96988 0 -1 4194304 67622 0 0 0 9844 171 0 0 20 0 1 0 75781878 472559616 92600 18446744073709551615 4227072 8923433 140737260116400 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10305536 140737260124406 140737260124712 140737260124712 140737260130282 0
/proc/98009/statm: 115371 92600 2432 1147 0 102798 0
Current children cumulated CPU time: 101.7 s
Current children cumulated vsize: 465676 KiB
Current children cumulated memory: 373344 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.18 4.12 5/272 98113
/proc/meminfo: memFree=115152496/131249992 swapFree=33010160/33010684
[pid=98006] ppid=98003 vsize=4192 memory=2944 CPUtime=1.55 cores=0,2
/proc/98006/stat : 98006 (run-opt-ls-log.) S 98003 98006 96988 0 -1 4194304 240 18449 0 0 0 0 151 4 20 0 1 0 75781718 4292608 736 18446744073709551615 93996515225600 93996516120133 140733093870048 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93996516359184 93996516406928 93996546084864 140733093873947 140733093874145 140733093874145 140733093879747 0
/proc/98006/statm: 1048 736 672 219 0 110 0
[pid=98009] ppid=98006 vsize=468052 memory=382176 CPUtime=159.73 cores=0,2
/proc/98009/stat : 98009 (roundingsat) R 98006 98006 96988 0 -1 4194304 70584 0 0 0 15696 277 0 0 20 0 1 0 75781878 479285248 95544 18446744073709551615 4227072 8923433 140737260116400 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10305536 140737260124406 140737260124712 140737260124712 140737260130282 0
/proc/98009/statm: 117013 95544 2432 1147 0 104440 0
Current children cumulated CPU time: 161.28 s
Current children cumulated vsize: 472244 KiB
Current children cumulated memory: 385120 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.17 4.12 5/278 98136
/proc/meminfo: memFree=113329248/131249992 swapFree=33010160/33010684
[pid=98006] ppid=98003 vsize=4192 memory=2944 CPUtime=1.55 cores=0,2
/proc/98006/stat : 98006 (run-opt-ls-log.) S 98003 98006 96988 0 -1 4194304 240 18449 0 0 0 0 151 4 20 0 1 0 75781718 4292608 736 18446744073709551615 93996515225600 93996516120133 140733093870048 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93996516359184 93996516406928 93996546084864 140733093873947 140733093874145 140733093874145 140733093879747 0
/proc/98006/statm: 1048 736 672 219 0 110 0
[pid=98009] ppid=98006 vsize=557708 memory=472892 CPUtime=219.37 cores=0,2
/proc/98009/stat : 98009 (roundingsat) R 98006 98006 96988 0 -1 4194304 87732 0 0 0 21587 350 0 0 20 0 1 0 75781878 571092992 118223 18446744073709551615 4227072 8923433 140737260116400 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10305536 140737260124406 140737260124712 140737260124712 140737260130282 0
/proc/98009/statm: 139427 118223 2432 1147 0 126854 0
################
# More data... #
################
/proc/98009/statm: 952581 831858 2432 1147 0 940008 0
Current children cumulated CPU time: 2985.79 s
Current children cumulated vsize: 3814516 KiB
Current children cumulated memory: 3330376 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.16 4.14 5/273 98436
/proc/meminfo: memFree=84310392/131249992 swapFree=33010160/33010684
[pid=98006] ppid=98003 vsize=4192 memory=2944 CPUtime=1.55 cores=0,2
/proc/98006/stat : 98006 (run-opt-ls-log.) S 98003 98006 96988 0 -1 4194304 240 18449 0 0 0 0 151 4 20 0 1 0 75781718 4292608 736 18446744073709551615 93996515225600 93996516120133 140733093870048 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93996516359184 93996516406928 93996546084864 140733093873947 140733093874145 140733093874145 140733093879747 0
/proc/98006/statm: 1048 736 672 219 0 110 0
[pid=98009] ppid=98006 vsize=3948616 memory=3437376 CPUtime=3043.98 cores=0,2
/proc/98009/stat : 98009 (roundingsat) R 98006 98006 96988 0 -1 4194304 366139 0 0 0 301230 3168 0 0 20 0 1 0 75781878 4043382784 859344 18446744073709551615 4227072 8923433 140737260116400 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10305536 140737260124406 140737260124712 140737260124712 140737260130282 0
/proc/98009/statm: 987154 859344 2432 1147 0 974581 0
Current children cumulated CPU time: 3045.53 s
Current children cumulated vsize: 3952808 KiB
Current children cumulated memory: 3440320 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.15 4.13 5/273 98438
/proc/meminfo: memFree=84020544/131249992 swapFree=33010160/33010684
[pid=98006] ppid=98003 vsize=4192 memory=2944 CPUtime=1.55 cores=0,2
/proc/98006/stat : 98006 (run-opt-ls-log.) S 98003 98006 96988 0 -1 4194304 240 18449 0 0 0 0 151 4 20 0 1 0 75781718 4292608 736 18446744073709551615 93996515225600 93996516120133 140733093870048 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93996516359184 93996516406928 93996546084864 140733093873947 140733093874145 140733093874145 140733093879747 0
/proc/98006/statm: 1048 736 672 219 0 110 0
[pid=98009] ppid=98006 vsize=3815912 memory=3335216 CPUtime=3103.12 cores=0,2
/proc/98009/stat : 98009 (roundingsat) R 98006 98006 96988 0 -1 4194304 366144 0 0 0 307066 3246 0 0 20 0 1 0 75781878 3907493888 833804 18446744073709551615 4227072 8923433 140737260116400 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10305536 140737260124406 140737260124712 140737260124712 140737260130282 0
/proc/98009/statm: 953978 833804 2432 1147 0 941405 0
Current children cumulated CPU time: 3104.67 s
Current children cumulated vsize: 3820104 KiB
Current children cumulated memory: 3338160 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.15 4.13 5/273 98441
/proc/meminfo: memFree=83449184/131249992 swapFree=33010160/33010684
[pid=98006] ppid=98003 vsize=4192 memory=2944 CPUtime=1.55 cores=0,2
/proc/98006/stat : 98006 (run-opt-ls-log.) S 98003 98006 96988 0 -1 4194304 240 18449 0 0 0 0 151 4 20 0 1 0 75781718 4292608 736 18446744073709551615 93996515225600 93996516120133 140733093870048 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93996516359184 93996516406928 93996546084864 140733093873947 140733093874145 140733093874145 140733093879747 0
/proc/98006/statm: 1048 736 672 219 0 110 0
[pid=98009] ppid=98006 vsize=3815912 memory=3335216 CPUtime=3162.73 cores=0,2
/proc/98009/stat : 98009 (roundingsat) R 98006 98006 96988 0 -1 4194304 366144 0 0 0 312959 3314 0 0 20 0 1 0 75781878 3907493888 833804 18446744073709551615 4227072 8923433 140737260116400 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10305536 140737260124406 140737260124712 140737260124712 140737260130282 0
/proc/98009/statm: 953978 833804 2432 1147 0 941405 0
Current children cumulated CPU time: 3164.28 s
Current children cumulated vsize: 3820104 KiB
Current children cumulated memory: 3338160 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.14 4.13 5/274 98444
/proc/meminfo: memFree=82604792/131249992 swapFree=33010160/33010684
[pid=98006] ppid=98003 vsize=4192 memory=2944 CPUtime=1.55 cores=0,2
/proc/98006/stat : 98006 (run-opt-ls-log.) S 98003 98006 96988 0 -1 4194304 240 18449 0 0 0 0 151 4 20 0 1 0 75781718 4292608 736 18446744073709551615 93996515225600 93996516120133 140733093870048 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93996516359184 93996516406928 93996546084864 140733093873947 140733093874145 140733093874145 140733093879747 0
/proc/98006/statm: 1048 736 672 219 0 110 0
[pid=98009] ppid=98006 vsize=3815912 memory=3335216 CPUtime=3222.29 cores=0,2
/proc/98009/stat : 98009 (roundingsat) R 98006 98006 96988 0 -1 4194304 366146 0 0 0 318825 3404 0 0 20 0 1 0 75781878 3907493888 833804 18446744073709551615 4227072 8923433 140737260116400 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10305536 140737260124406 140737260124712 140737260124712 140737260130282 0
/proc/98009/statm: 953978 833804 2432 1147 0 941405 0
Current children cumulated CPU time: 3223.84 s
Current children cumulated vsize: 3820104 KiB
Current children cumulated memory: 3338160 KiB
[startup+3402.3 s]
/proc/loadavg: 4.04 4.11 4.12 5/274 98446
/proc/meminfo: memFree=81715840/131249992 swapFree=33010160/33010684
[pid=98006] ppid=98003 vsize=4192 memory=2944 CPUtime=1.55 cores=0,2
/proc/98006/stat : 98006 (run-opt-ls-log.) S 98003 98006 96988 0 -1 4194304 240 18449 0 0 0 0 151 4 20 0 1 0 75781718 4292608 736 18446744073709551615 93996515225600 93996516120133 140733093870048 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93996516359184 93996516406928 93996546084864 140733093873947 140733093874145 140733093874145 140733093879747 0
/proc/98006/statm: 1048 736 672 219 0 110 0
[pid=98009] ppid=98006 vsize=3815912 memory=3335216 CPUtime=3282.04 cores=0,2
/proc/98009/stat : 98009 (roundingsat) R 98006 98006 96988 0 -1 4194304 366146 0 0 0 324740 3464 0 0 20 0 1 0 75781878 3907493888 833804 18446744073709551615 4227072 8923433 140737260116400 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10305536 140737260124406 140737260124712 140737260124712 140737260130282 0
/proc/98009/statm: 953978 833804 2432 1147 0 941405 0
Current children cumulated CPU time: 3283.59 s
Current children cumulated vsize: 3820104 KiB
Current children cumulated memory: 3338160 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.12 4.12 5/274 98453
/proc/meminfo: memFree=80878136/131249992 swapFree=33010160/33010684
[pid=98006] ppid=98003 vsize=4192 memory=2944 CPUtime=1.55 cores=0,2
/proc/98006/stat : 98006 (run-opt-ls-log.) S 98003 98006 96988 0 -1 4194304 240 18449 0 0 0 0 151 4 20 0 1 0 75781718 4292608 736 18446744073709551615 93996515225600 93996516120133 140733093870048 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93996516359184 93996516406928 93996546084864 140733093873947 140733093874145 140733093874145 140733093879747 0
/proc/98006/statm: 1048 736 672 219 0 110 0
[pid=98009] ppid=98006 vsize=3815912 memory=3335216 CPUtime=3338.6 cores=0,2
/proc/98009/stat : 98009 (roundingsat) R 98006 98006 96988 0 -1 4194304 366146 0 0 0 330345 3515 0 0 20 0 1 0 75781878 3907493888 833804 18446744073709551615 4227072 8923433 140737260116400 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10305536 140737260124406 140737260124712 140737260124712 140737260130282 0
/proc/98009/statm: 953978 833804 2432 1147 0 941405 0
Current children cumulated CPU time: 3340.15 s
Current children cumulated vsize: 3820104 KiB
Current children cumulated memory: 3338160 KiB
[startup+3522.3 s]
/proc/loadavg: 4.20 4.15 4.13 5/274 98455
/proc/meminfo: memFree=80175632/131249992 swapFree=33010160/33010684
[pid=98006] ppid=98003 vsize=4192 memory=2944 CPUtime=1.55 cores=0,2
/proc/98006/stat : 98006 (run-opt-ls-log.) S 98003 98006 96988 0 -1 4194304 240 18449 0 0 0 0 151 4 20 0 1 0 75781718 4292608 736 18446744073709551615 93996515225600 93996516120133 140733093870048 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93996516359184 93996516406928 93996546084864 140733093873947 140733093874145 140733093874145 140733093879747 0
/proc/98006/statm: 1048 736 672 219 0 110 0
[pid=98009] ppid=98006 vsize=3815912 memory=3335216 CPUtime=3394.21 cores=0,2
/proc/98009/stat : 98009 (roundingsat) R 98006 98006 96988 0 -1 4194304 366680 0 0 0 335884 3537 0 0 20 0 1 0 75781878 3907493888 833804 18446744073709551615 4227072 8923433 140737260116400 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10305536 140737260124406 140737260124712 140737260124712 140737260130282 0
/proc/98009/statm: 953978 833804 2432 1147 0 941405 0
Current children cumulated CPU time: 3395.76 s
Current children cumulated vsize: 3820104 KiB
Current children cumulated memory: 3338160 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.15 4.13 5/275 98458
/proc/meminfo: memFree=79287928/131249992 swapFree=33010160/33010684
[pid=98006] ppid=98003 vsize=4192 memory=2944 CPUtime=1.55 cores=0,2
/proc/98006/stat : 98006 (run-opt-ls-log.) S 98003 98006 96988 0 -1 4194304 240 18449 0 0 0 0 151 4 20 0 1 0 75781718 4292608 736 18446744073709551615 93996515225600 93996516120133 140733093870048 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93996516359184 93996516406928 93996546084864 140733093873947 140733093874145 140733093874145 140733093879747 0
/proc/98006/statm: 1048 736 672 219 0 110 0
[pid=98009] ppid=98006 vsize=3815912 memory=3335216 CPUtime=3453.21 cores=0,2
/proc/98009/stat : 98009 (roundingsat) R 98006 98006 96988 0 -1 4194304 366681 0 0 0 341761 3560 0 0 20 0 1 0 75781878 3907493888 833804 18446744073709551615 4227072 8923433 140737260116400 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10305536 140737260124406 140737260124712 140737260124712 140737260130282 0
/proc/98009/statm: 953978 833804 2432 1147 0 941405 0
Current children cumulated CPU time: 3454.76 s
Current children cumulated vsize: 3820104 KiB
Current children cumulated memory: 3338160 KiB
[startup+3642.3 s]
/proc/loadavg: 4.12 4.14 4.12 5/274 98460
/proc/meminfo: memFree=78797944/131249992 swapFree=33010160/33010684
[pid=98006] ppid=98003 vsize=4192 memory=2944 CPUtime=1.55 cores=0,2
/proc/98006/stat : 98006 (run-opt-ls-log.) S 98003 98006 96988 0 -1 4194304 240 18449 0 0 0 0 151 4 20 0 1 0 75781718 4292608 736 18446744073709551615 93996515225600 93996516120133 140733093870048 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93996516359184 93996516406928 93996546084864 140733093873947 140733093874145 140733093874145 140733093879747 0
/proc/98006/statm: 1048 736 672 219 0 110 0
[pid=98009] ppid=98006 vsize=3815912 memory=3335216 CPUtime=3512 cores=0,2
/proc/98009/stat : 98009 (roundingsat) R 98006 98006 96988 0 -1 4194304 367071 0 0 0 347613 3587 0 0 20 0 1 0 75781878 3907493888 833804 18446744073709551615 4227072 8923433 140737260116400 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10305536 140737260124406 140737260124712 140737260124712 140737260130282 0
/proc/98009/statm: 953978 833804 2432 1147 0 941405 0
Current children cumulated CPU time: 3513.55 s
Current children cumulated vsize: 3820104 KiB
Current children cumulated memory: 3338160 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+3700 s]*
/proc/loadavg: 4.09 4.13 4.12 5/275 98463
/proc/meminfo: memFree=78028068/131249992 swapFree=33010160/33010684
[pid=98006] ppid=98003 vsize=4192 memory=2944 CPUtime=1.55 cores=0,2
/proc/98006/stat : 98006 (run-opt-ls-log.) S 98003 98006 96988 0 -1 4194304 240 18449 0 0 0 0 151 4 20 0 1 0 75781718 4292608 736 18446744073709551615 93996515225600 93996516120133 140733093870048 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93996516359184 93996516406928 93996546084864 140733093873947 140733093874145 140733093874145 140733093879747 0
/proc/98006/statm: 1048 736 672 219 0 110 0
[pid=98009] ppid=98006 vsize=3815912 memory=3335216 CPUtime=3568.7 cores=0,2
/proc/98009/stat : 98009 (roundingsat) R 98006 98006 96988 0 -1 4194304 367292 0 0 0 353254 3616 0 0 20 0 1 0 75781878 3907493888 833804 18446744073709551615 4227072 8923433 140737260116400 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10305536 140737260124406 140737260124712 140737260124712 140737260130282 0
/proc/98009/statm: 953978 833804 2432 1147 0 941405 0
Current children cumulated CPU time: 3570.25 s
Current children cumulated vsize: 3820104 KiB
Current children cumulated memory: 3338160 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3700.01 s]
# the end of solver process 98006 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=1.51618 s, system=0.048893 s
[startup+3700.09 s]
# the end of solver process 98009 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3534.08 s, system=36.2518 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
Child status: 2
Real time (s): 3700.09
CPU time (s): 3570.33
CPU user time (s): 3534.08
CPU system time (s): 36.2518
CPU usage (%): 96.4931
Max. virtual memory (cumulated for all children) (KiB): 3952808
Max. memory (cumulated for all children) (KiB): 3440320
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3534.08
system time used= 36.2518
maximum resident set size= 3446580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 386004
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15105224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 798
involuntary context switches= 5916
# summary of solver processes directly reported to runsolver:
# pid: 98006,98009
# total CPU time (s): 3570.33
# total CPU user time (s): 3534.08
# total CPU system time (s): 36.2518
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.17748 second user time and 15.5371 second system time
The end
Begin job on nodeC025 at 2025-07-04 05:50:30
IDJOB=4523979
IDBENCH=180463
IDSOLVER=3356
FILE ID=nodeC025/4523979-1751601030
RUNJOBID= nodeC025-1751597363-96998
SLURM_JOB_ID= 9598865
Free space on /tmp= 432888 MiB
SOLVER NAME= roundingsat-ls+pbsuma-log 63f22ad
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 --file-size-limit 102400 -w /tmp/evaluation-result-4523979-1751601030/watcher-4523979-1751601030 -o /tmp/evaluation-result-4523979-1751601030/solver-4523979-1751601030 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751597363-96998 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4523979-1751601030.opb PROOFDIR/proof-4523979-1751601030
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7b7d352a7105ac7993395b7f6c3b04bc
RANDOM SEED=1548381586
nodeC025 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.677
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3589.897
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3598.894
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.832
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.858
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.806
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.863
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 86287408 kB
MemAvailable: 119020840 kB
Buffers: 2128 kB
Cached: 33478800 kB
SwapCached: 200 kB
Active: 11110132 kB
Inactive: 33144728 kB
Active(anon): 10774972 kB
Inactive(anon): 17156 kB
Active(file): 335160 kB
Inactive(file): 33127572 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 169268 kB
Writeback: 0 kB
AnonPages: 10769196 kB
Mapped: 113512 kB
Shmem: 17856 kB
KReclaimable: 219880 kB
Slab: 316400 kB
SReclaimable: 219880 kB
SUnreclaim: 96520 kB
KernelStack: 4400 kB
PageTables: 24368 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 14314612 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150648 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 7559168 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 207572 kB
DirectMap2M: 9000960 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 431536 MiB
End job on nodeC025 at 2025-07-04 06:52:10