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-4523981-1751598397.opb'
0.00/0.03 c read 1.36MB (19.34ms)
0.00/0.03 c [cnf: #variables 35169 #clauses 28730 #duplicates 0 #arr 120617]
0.00/0.05 c output proof to 'PROOFDIR/proof-4523981-1751598397'
0.00/0.05 c
0.00/0.05 c make graph and approximate orbits
0.00/0.09 c [group: #orbits ~= 9264] (39.94ms)
0.00/0.09 c
0.00/0.09 c detect special group actions
0.00/0.09 c probe for Johnson action (limit=64)
0.06/0.11 c probe for row-column symmetry (limit=64, splits=16.78M)
0.06/0.11 c probe for row symmetry (limit=64, splits=16.78M)
1.36/1.43 c (1345.53ms)
1.36/1.43 c
1.36/1.43 c detect symmetries on remainder
1.36/1.43 c [graph: #vertices 169293 #edges 452022]
1.36/1.43 c dejavu (support_limit=2048.00MB, budget_limit=64)
1.46/1.53 c [group: #symmetries 8.00*10^0 #generators 3] (98.57ms)
1.46/1.53 c
1.46/1.53 c optimize generators (opt_passes=64, conjugate_limit=256)
1.46/1.53 c (0.11ms)
1.46/1.53 c
1.46/1.53 c finalize break order and special generators
1.46/1.53 c
1.46/1.53 c add generic predicates (break_depth=20)
1.46/1.53 c added predicates for 3 generators (0.65ms)
1.46/1.54 c
1.46/1.54 c generation finished
1.46/1.54 c [sbp: #constraints 0 #add_vars 0]
1.46/1.54 c
1.46/1.54 c write result to 'HOME/instance-4523981-1751598397.opb.pre'
1.46/1.54 c wrote 1.39MB (3.28ms)
1.46/1.54 c ------------------------------------------------------------------
1.46/1.54 c 1345.53ms 87.73% detect_special
1.46/1.54 c 98.57ms 6.43% detect_generic
1.46/1.54 c 39.94ms 2.60% approx_orbits
1.46/1.54 c 23.86ms 1.56% other
1.46/1.54 c 19.33ms 1.26% parse
1.46/1.54 c 3.28ms 0.21% output
1.46/1.54 c 2.48ms 0.16% finalize_order
1.46/1.54 c 0.65ms 0.04% break_generic
1.46/1.54 c 0.11ms 0.01% optimize_gens
1.46/1.54 c ───────────────────────────────────────────────
1.46/1.54 c 1533.78ms 100% total
1.46/1.54 c ------------------------------------------------------------------
1.46/1.56 c RoundingSat 2
1.46/1.56 c branch pb25
1.46/1.56 c commit 63f22ad
1.51/1.75 c #variables 35169 #constraints 28953
1.51/1.75 c objective is ce32
1.51/1.75 c initial watched CF 32, 64, 128, Arb: 112 , 0 , 0 , 0
1.51/1.75 c initial counting CF 32, 64, 128, Arb: 22177 , 0 , 0 , 0
1.51/1.75 c bounds - >= 0 @ 0.16035
11.91/17.63 c #Conflicts: 1000 | #Constraints: 29952
11.91/17.63 c #Conflicts: 2000 | #Constraints: 30952
11.91/17.63 c INPROCESSING
11.91/17.63 c GARBAGE COLLECT
11.91/17.63 c #Conflicts: 3000 | #Constraints: 30970
11.91/17.63 c #Conflicts: 4000 | #Constraints: 31971
11.91/17.63 c INPROCESSING
11.91/17.63 c GARBAGE COLLECT
11.91/17.63 c #Conflicts: 5000 | #Constraints: 31399
11.91/17.63 c #Conflicts: 6000 | #Constraints: 32399
11.91/17.63 c INPROCESSING
11.91/17.63 c GARBAGE COLLECT
11.91/17.63 c rational objective 0
18.47/24.38 c #Conflicts: 7000 | #Constraints: 31438
18.47/24.38 c #Conflicts: 8000 | #Constraints: 32438
18.47/24.38 c #Conflicts: 9000 | #Constraints: 33438
18.47/24.38 c INPROCESSING
18.47/24.38 c GARBAGE COLLECT
18.47/24.38 c rational objective 0
32.00/37.90 c #Conflicts: 10000 | #Constraints: 32162
32.00/37.90 c #Conflicts: 11000 | #Constraints: 33162
32.00/37.90 c #Conflicts: 12000 | #Constraints: 34163
32.00/37.90 c INPROCESSING
32.00/37.90 c GARBAGE COLLECT
32.00/37.90 c #Conflicts: 13000 | #Constraints: 32606
32.00/37.90 c #Conflicts: 14000 | #Constraints: 33606
32.00/37.90 c #Conflicts: 15000 | #Constraints: 34606
32.00/37.90 c INPROCESSING
32.00/37.90 c GARBAGE COLLECT
32.00/37.90 c rational objective 0
45.45/51.50 c #Conflicts: 16000 | #Constraints: 32885
45.45/51.50 c #Conflicts: 17000 | #Constraints: 33885
45.45/51.50 c #Conflicts: 18000 | #Constraints: 34885
45.45/51.50 c INPROCESSING
45.45/51.50 c GARBAGE COLLECT
45.45/51.50 c rational objective 0
70.99/77.96 c #Conflicts: 19000 | #Constraints: 32940
70.99/77.96 c #Conflicts: 20000 | #Constraints: 33940
70.99/77.96 c #Conflicts: 21000 | #Constraints: 34940
70.99/77.96 c INPROCESSING
70.99/77.96 c GARBAGE COLLECT
70.99/77.96 c #Conflicts: 22000 | #Constraints: 32707
70.99/77.96 c #Conflicts: 23000 | #Constraints: 33707
70.99/77.96 c #Conflicts: 24000 | #Constraints: 34707
70.99/77.96 c #Conflicts: 25000 | #Constraints: 35707
70.99/77.96 c INPROCESSING
70.99/77.96 c GARBAGE COLLECT
70.99/77.96 c #Conflicts: 26000 | #Constraints: 33302
70.99/77.96 c #Conflicts: 27000 | #Constraints: 34302
70.99/77.96 c #Conflicts: 28000 | #Constraints: 35303
70.99/77.96 c #Conflicts: 29000 | #Constraints: 36303
70.99/77.96 c INPROCESSING
70.99/77.96 c GARBAGE COLLECT
70.99/77.96 c #Conflicts: 30000 | #Constraints: 33706
70.99/77.96 c #Conflicts: 31000 | #Constraints: 34709
70.99/77.96 c #Conflicts: 32000 | #Constraints: 35711
70.99/77.96 c #Conflicts: 33000 | #Constraints: 36716
70.99/77.96 c INPROCESSING
70.99/77.96 c GARBAGE COLLECT
70.99/77.96 c rational objective 0
84.47/91.63 c #Conflicts: 34000 | #Constraints: 33943
84.47/91.63 c #Conflicts: 35000 | #Constraints: 34945
84.47/91.63 c #Conflicts: 36000 | #Constraints: 35946
84.47/91.63 c #Conflicts: 37000 | #Constraints: 36947
84.47/91.63 c INPROCESSING
84.47/91.63 c GARBAGE COLLECT
84.47/91.63 c #Conflicts: 38000 | #Constraints: 33930
84.47/91.63 c #Conflicts: 39000 | #Constraints: 34931
84.47/91.63 c #Conflicts: 40000 | #Constraints: 35931
84.47/91.63 c #Conflicts: 41000 | #Constraints: 36932
84.47/91.63 c INPROCESSING
84.47/91.63 c GARBAGE COLLECT
84.47/91.63 c rational objective -9.6117e-11
92.74/99.93 c #Conflicts: 42000 | #Constraints: 33733
92.74/99.93 c #Conflicts: 43000 | #Constraints: 34733
92.74/99.93 c #Conflicts: 44000 | #Constraints: 35733
92.74/99.93 c #Conflicts: 45000 | #Constraints: 36733
92.74/99.93 c #Conflicts: 46000 | #Constraints: 37733
92.74/99.93 c INPROCESSING
92.74/99.93 c GARBAGE COLLECT
92.74/99.93 c rational objective 0
106.37/114.15 c #Conflicts: 47000 | #Constraints: 34350
106.37/114.15 c #Conflicts: 48000 | #Constraints: 35350
106.37/114.15 c #Conflicts: 49000 | #Constraints: 36350
106.37/114.15 c #Conflicts: 50000 | #Constraints: 37350
106.37/114.15 c #Conflicts: 51000 | #Constraints: 38350
106.37/114.15 c INPROCESSING
106.37/114.15 c GARBAGE COLLECT
106.37/114.15 c rational objective 0
122.00/130.05 c #Conflicts: 52000 | #Constraints: 34770
122.00/130.05 c #Conflicts: 53000 | #Constraints: 35770
122.00/130.05 c #Conflicts: 54000 | #Constraints: 36778
122.00/130.05 c #Conflicts: 55000 | #Constraints: 37779
122.00/130.05 c #Conflicts: 56000 | #Constraints: 38779
122.00/130.05 c INPROCESSING
122.00/130.05 c GARBAGE COLLECT
122.00/130.05 c #Conflicts: 57000 | #Constraints: 34975
122.00/130.05 c #Conflicts: 58000 | #Constraints: 35975
122.00/130.05 c #Conflicts: 59000 | #Constraints: 36976
122.00/130.05 c #Conflicts: 60000 | #Constraints: 37977
122.00/130.05 c #Conflicts: 61000 | #Constraints: 38979
122.00/130.05 c INPROCESSING
122.00/130.05 c GARBAGE COLLECT
122.00/130.05 c rational objective 0
143.88/152.16 c #Conflicts: 62000 | #Constraints: 34978
143.88/152.16 c #Conflicts: 63000 | #Constraints: 35978
143.88/152.16 c #Conflicts: 64000 | #Constraints: 36978
143.88/152.16 c #Conflicts: 65000 | #Constraints: 37978
143.88/152.16 c #Conflicts: 66000 | #Constraints: 38978
143.88/152.16 c INPROCESSING
143.88/152.16 c GARBAGE COLLECT
143.88/152.16 c rational objective 0
181.57/189.90 c #Conflicts: 67000 | #Constraints: 34799
181.57/189.90 c #Conflicts: 68000 | #Constraints: 35800
181.57/189.90 c #Conflicts: 69000 | #Constraints: 36800
181.57/189.90 c #Conflicts: 70000 | #Constraints: 37800
181.57/189.90 c #Conflicts: 71000 | #Constraints: 38800
181.57/189.90 c #Conflicts: 72000 | #Constraints: 39800
181.57/189.90 c INPROCESSING
181.57/189.90 c GARBAGE COLLECT
181.57/189.90 c #Conflicts: 73000 | #Constraints: 35391
181.57/189.90 c #Conflicts: 74000 | #Constraints: 36391
181.57/189.90 c #Conflicts: 75000 | #Constraints: 37391
181.57/189.90 c #Conflicts: 76000 | #Constraints: 38391
181.57/189.90 c #Conflicts: 77000 | #Constraints: 39391
181.57/189.90 c #Conflicts: 78000 | #Constraints: 40391
181.57/189.90 c INPROCESSING
181.57/189.90 c GARBAGE COLLECT
181.57/189.90 c #Conflicts: 79000 | #Constraints: 35767
181.57/189.90 c #Conflicts: 80000 | #Constraints: 36767
181.57/189.90 c #Conflicts: 81000 | #Constraints: 37767
181.57/189.90 c #Conflicts: 82000 | #Constraints: 38767
181.57/189.90 c #Conflicts: 83000 | #Constraints: 39767
181.57/189.90 c #Conflicts: 84000 | #Constraints: 40767
181.57/189.90 c INPROCESSING
181.57/189.90 c GARBAGE COLLECT
181.57/189.90 c rational objective 0
205.50/214.13 c #Conflicts: 85000 | #Constraints: 35993
205.50/214.13 c #Conflicts: 86000 | #Constraints: 36993
205.50/214.13 c #Conflicts: 87000 | #Constraints: 37993
205.50/214.13 c #Conflicts: 88000 | #Constraints: 38993
205.50/214.13 c #Conflicts: 89000 | #Constraints: 39993
205.50/214.13 c #Conflicts: 90000 | #Constraints: 40993
205.50/214.13 c INPROCESSING
205.50/214.13 c GARBAGE COLLECT
205.50/214.13 c rational objective 0
253.66/262.46 c #Conflicts: 91000 | #Constraints: 36022
253.66/262.46 c #Conflicts: 92000 | #Constraints: 37022
253.66/262.46 c #Conflicts: 93000 | #Constraints: 38022
253.66/262.46 c #Conflicts: 94000 | #Constraints: 39022
253.66/262.46 c #Conflicts: 95000 | #Constraints: 40022
253.66/262.46 c #Conflicts: 96000 | #Constraints: 41022
253.66/262.46 c INPROCESSING
253.66/262.46 c GARBAGE COLLECT
253.66/262.46 c #Conflicts: 97000 | #Constraints: 35806
253.66/262.46 c #Conflicts: 98000 | #Constraints: 36807
253.66/262.46 c #Conflicts: 99000 | #Constraints: 37807
253.66/262.46 c #Conflicts: 100000 | #Constraints: 38807
253.66/262.46 c #Conflicts: 101000 | #Constraints: 39807
253.66/262.46 c #Conflicts: 102000 | #Constraints: 40807
253.66/262.46 c #Conflicts: 103000 | #Constraints: 41807
253.66/262.46 c INPROCESSING
253.66/262.46 c GARBAGE COLLECT
253.66/262.46 c rational objective 0
272.80/281.65 c #Conflicts: 104000 | #Constraints: 36429
272.80/281.65 c #Conflicts: 105000 | #Constraints: 37429
272.80/281.65 c #Conflicts: 106000 | #Constraints: 38429
272.80/281.65 c #Conflicts: 107000 | #Constraints: 39429
272.80/281.65 c #Conflicts: 108000 | #Constraints: 40429
272.80/281.65 c #Conflicts: 109000 | #Constraints: 41429
272.80/281.65 c #Conflicts: 110000 | #Constraints: 42429
272.80/281.65 c INPROCESSING
272.80/281.65 c GARBAGE COLLECT
272.80/281.65 c rational objective 0
285.18/294.08 c #Conflicts: 111000 | #Constraints: 36844
285.18/294.08 c #Conflicts: 112000 | #Constraints: 37844
285.18/294.08 c #Conflicts: 113000 | #Constraints: 38844
285.18/294.08 c #Conflicts: 114000 | #Constraints: 39844
285.18/294.08 c #Conflicts: 115000 | #Constraints: 40844
285.18/294.08 c #Conflicts: 116000 | #Constraints: 41844
285.18/294.08 c #Conflicts: 117000 | #Constraints: 42845
285.18/294.08 c INPROCESSING
285.18/294.08 c GARBAGE COLLECT
285.18/294.08 c rational objective 0
309.21/318.18 c #Conflicts: 118000 | #Constraints: 37038
309.21/318.18 c #Conflicts: 119000 | #Constraints: 38038
309.21/318.18 c #Conflicts: 120000 | #Constraints: 39038
309.21/318.18 c #Conflicts: 121000 | #Constraints: 40038
309.21/318.18 c #Conflicts: 122000 | #Constraints: 41038
309.21/318.18 c #Conflicts: 123000 | #Constraints: 42038
309.21/318.18 c #Conflicts: 124000 | #Constraints: 43038
309.21/318.18 c INPROCESSING
309.21/318.18 c GARBAGE COLLECT
309.21/318.18 c #Conflicts: 125000 | #Constraints: 36998
309.21/318.18 c #Conflicts: 126000 | #Constraints: 37998
309.21/318.18 c #Conflicts: 127000 | #Constraints: 38998
309.21/318.18 c #Conflicts: 128000 | #Constraints: 39998
309.21/318.18 c #Conflicts: 129000 | #Constraints: 40998
309.21/318.18 c #Conflicts: 130000 | #Constraints: 41999
309.21/318.18 c #Conflicts: 131000 | #Constraints: 42999
309.21/318.18 c INPROCESSING
309.21/318.18 c GARBAGE COLLECT
309.21/318.18 c rational objective 0
321.27/330.24 c #Conflicts: 132000 | #Constraints: 36824
321.27/330.24 c #Conflicts: 133000 | #Constraints: 37824
321.27/330.24 c #Conflicts: 134000 | #Constraints: 38824
321.27/330.24 c #Conflicts: 135000 | #Constraints: 39824
321.27/330.24 c #Conflicts: 136000 | #Constraints: 40824
321.27/330.24 c #Conflicts: 137000 | #Constraints: 41824
321.27/330.24 c #Conflicts: 138000 | #Constraints: 42824
321.27/330.24 c #Conflicts: 139000 | #Constraints: 43824
321.27/330.24 c INPROCESSING
321.27/330.24 c GARBAGE COLLECT
321.27/330.24 c rational objective 0
334.03/343.05 c #Conflicts: 140000 | #Constraints: 37509
334.03/343.05 c #Conflicts: 141000 | #Constraints: 38509
334.03/343.05 c #Conflicts: 142000 | #Constraints: 39511
334.03/343.05 c #Conflicts: 143000 | #Constraints: 40511
334.03/343.05 c #Conflicts: 144000 | #Constraints: 41511
334.03/343.05 c #Conflicts: 145000 | #Constraints: 42511
334.03/343.05 c #Conflicts: 146000 | #Constraints: 43512
334.03/343.05 c #Conflicts: 147000 | #Constraints: 44521
334.03/343.05 c INPROCESSING
334.03/343.05 c GARBAGE COLLECT
334.03/343.05 c rational objective 0
346.19/355.21 c #Conflicts: 148000 | #Constraints: 37892
346.19/355.21 c #Conflicts: 149000 | #Constraints: 38892
346.19/355.21 c #Conflicts: 150000 | #Constraints: 39892
346.19/355.21 c #Conflicts: 151000 | #Constraints: 40893
346.19/355.21 c #Conflicts: 152000 | #Constraints: 41895
346.19/355.21 c #Conflicts: 153000 | #Constraints: 42899
346.19/355.21 c #Conflicts: 154000 | #Constraints: 43899
346.19/355.21 c #Conflicts: 155000 | #Constraints: 44899
346.19/355.21 c INPROCESSING
346.19/355.21 c GARBAGE COLLECT
346.19/355.21 c rational objective 0
359.25/368.35 c #Conflicts: 156000 | #Constraints: 38095
359.25/368.35 c #Conflicts: 157000 | #Constraints: 39095
359.25/368.35 c #Conflicts: 158000 | #Constraints: 40095
359.25/368.35 c #Conflicts: 159000 | #Constraints: 41095
359.25/368.35 c #Conflicts: 160000 | #Constraints: 42095
359.25/368.35 c #Conflicts: 161000 | #Constraints: 43095
359.25/368.35 c #Conflicts: 162000 | #Constraints: 44095
359.25/368.35 c #Conflicts: 163000 | #Constraints: 45095
359.25/368.35 c INPROCESSING
359.25/368.35 c GARBAGE COLLECT
359.25/368.35 c rational objective 0
375.40/384.50 c #Conflicts: 164000 | #Constraints: 38068
375.40/384.50 c #Conflicts: 165000 | #Constraints: 39068
375.40/384.50 c #Conflicts: 166000 | #Constraints: 40068
375.40/384.50 c #Conflicts: 167000 | #Constraints: 41068
375.40/384.50 c #Conflicts: 168000 | #Constraints: 42068
375.40/384.50 c #Conflicts: 169000 | #Constraints: 43069
375.40/384.50 c #Conflicts: 170000 | #Constraints: 44072
375.40/384.50 c #Conflicts: 171000 | #Constraints: 45072
375.40/384.50 c INPROCESSING
375.40/384.50 c GARBAGE COLLECT
375.40/384.50 c rational objective 0
388.48/397.70 c #Conflicts: 172000 | #Constraints: 37864
388.48/397.70 c #Conflicts: 173000 | #Constraints: 38864
388.48/397.70 c #Conflicts: 174000 | #Constraints: 39864
388.48/397.70 c #Conflicts: 175000 | #Constraints: 40864
388.48/397.70 c #Conflicts: 176000 | #Constraints: 41864
388.48/397.70 c #Conflicts: 177000 | #Constraints: 42865
388.48/397.70 c #Conflicts: 178000 | #Constraints: 43866
388.48/397.70 c #Conflicts: 179000 | #Constraints: 44866
388.48/397.70 c #Conflicts: 180000 | #Constraints: 45866
388.48/397.70 c INPROCESSING
388.48/397.70 c GARBAGE COLLECT
388.48/397.70 c rational objective 0
412.42/421.70 c #Conflicts: 181000 | #Constraints: 38502
412.42/421.70 c #Conflicts: 182000 | #Constraints: 39502
412.42/421.70 c #Conflicts: 183000 | #Constraints: 40502
412.42/421.70 c #Conflicts: 184000 | #Constraints: 41502
412.42/421.70 c #Conflicts: 185000 | #Constraints: 42502
412.42/421.70 c #Conflicts: 186000 | #Constraints: 43502
412.42/421.70 c #Conflicts: 187000 | #Constraints: 44503
412.42/421.70 c #Conflicts: 188000 | #Constraints: 45503
412.42/421.70 c #Conflicts: 189000 | #Constraints: 46503
412.42/421.70 c INPROCESSING
412.42/421.70 c GARBAGE COLLECT
412.42/421.70 c rational objective 0
434.67/444.61 c #Conflicts: 190000 | #Constraints: 38919
434.67/444.61 c #Conflicts: 191000 | #Constraints: 39919
434.67/444.61 c #Conflicts: 192000 | #Constraints: 40920
434.67/444.61 c #Conflicts: 193000 | #Constraints: 41920
434.67/444.61 c #Conflicts: 194000 | #Constraints: 42920
434.67/444.61 c #Conflicts: 195000 | #Constraints: 43921
434.67/444.61 c #Conflicts: 196000 | #Constraints: 44921
434.67/444.61 c #Conflicts: 197000 | #Constraints: 45921
434.67/444.61 c #Conflicts: 198000 | #Constraints: 46921
434.67/444.61 c INPROCESSING
434.67/444.61 c GARBAGE COLLECT
434.67/444.61 c rational objective 0
456.22/466.49 c #Conflicts: 199000 | #Constraints: 39099
456.22/466.49 c #Conflicts: 200000 | #Constraints: 40109
456.22/466.49 c #Conflicts: 201000 | #Constraints: 41115
456.22/466.49 c #Conflicts: 202000 | #Constraints: 42120
456.22/466.49 c #Conflicts: 203000 | #Constraints: 43125
456.22/466.49 c #Conflicts: 204000 | #Constraints: 44128
456.22/466.49 c #Conflicts: 205000 | #Constraints: 45129
456.22/466.49 c #Conflicts: 206000 | #Constraints: 46132
456.22/466.49 c #Conflicts: 207000 | #Constraints: 47134
456.22/466.49 c INPROCESSING
456.22/466.49 c GARBAGE COLLECT
456.22/466.49 c rational objective 0
469.69/479.95 c #Conflicts: 208000 | #Constraints: 39136
469.69/479.95 c #Conflicts: 209000 | #Constraints: 40140
469.69/479.95 c #Conflicts: 210000 | #Constraints: 41141
469.69/479.95 c #Conflicts: 211000 | #Constraints: 42145
469.69/479.95 c #Conflicts: 212000 | #Constraints: 43149
469.69/479.95 c #Conflicts: 213000 | #Constraints: 44154
469.69/479.95 c #Conflicts: 214000 | #Constraints: 45166
469.69/479.95 c #Conflicts: 215000 | #Constraints: 46175
469.69/479.95 c #Conflicts: 216000 | #Constraints: 47185
469.69/479.95 c INPROCESSING
469.69/479.95 c GARBAGE COLLECT
469.69/479.95 c rational objective 0
483.42/493.91 c #Conflicts: 217000 | #Constraints: 38937
483.42/493.91 c #Conflicts: 218000 | #Constraints: 39937
483.42/493.91 c #Conflicts: 219000 | #Constraints: 40937
483.42/493.91 c #Conflicts: 220000 | #Constraints: 41937
483.42/493.91 c #Conflicts: 221000 | #Constraints: 42937
483.42/493.91 c #Conflicts: 222000 | #Constraints: 43937
483.42/493.91 c #Conflicts: 223000 | #Constraints: 44937
483.42/493.91 c #Conflicts: 224000 | #Constraints: 45937
483.42/493.91 c #Conflicts: 225000 | #Constraints: 46937
483.42/493.91 c #Conflicts: 226000 | #Constraints: 47937
483.42/493.91 c INPROCESSING
483.42/493.91 c GARBAGE COLLECT
483.42/493.91 c rational objective 0
500.03/510.60 c #Conflicts: 227000 | #Constraints: 39527
500.03/510.60 c #Conflicts: 228000 | #Constraints: 40527
500.03/510.60 c #Conflicts: 229000 | #Constraints: 41528
500.03/510.60 c #Conflicts: 230000 | #Constraints: 42530
500.03/510.60 c #Conflicts: 231000 | #Constraints: 43532
500.03/510.60 c #Conflicts: 232000 | #Constraints: 44533
500.03/510.60 c #Conflicts: 233000 | #Constraints: 45533
500.03/510.60 c #Conflicts: 234000 | #Constraints: 46533
500.03/510.60 c #Conflicts: 235000 | #Constraints: 47533
500.03/510.60 c #Conflicts: 236000 | #Constraints: 48533
500.03/510.60 c INPROCESSING
500.03/510.60 c GARBAGE COLLECT
500.03/510.60 c rational objective 0
520.22/530.93 c #Conflicts: 237000 | #Constraints: 39913
520.22/530.93 c #Conflicts: 238000 | #Constraints: 40913
520.22/530.93 c #Conflicts: 239000 | #Constraints: 41913
520.22/530.93 c #Conflicts: 240000 | #Constraints: 42913
520.22/530.93 c #Conflicts: 241000 | #Constraints: 43913
520.22/530.93 c #Conflicts: 242000 | #Constraints: 44913
520.22/530.93 c #Conflicts: 243000 | #Constraints: 45913
520.22/530.93 c #Conflicts: 244000 | #Constraints: 46913
520.22/530.93 c #Conflicts: 245000 | #Constraints: 47913
520.22/530.93 c #Conflicts: 246000 | #Constraints: 48914
520.22/530.93 c INPROCESSING
520.22/530.93 c GARBAGE COLLECT
520.22/530.93 c rational objective 0
539.64/550.42 c #Conflicts: 247000 | #Constraints: 40085
539.64/550.42 c #Conflicts: 248000 | #Constraints: 41086
539.64/550.42 c #Conflicts: 249000 | #Constraints: 42087
539.64/550.42 c #Conflicts: 250000 | #Constraints: 43087
539.64/550.42 c #Conflicts: 251000 | #Constraints: 44087
539.64/550.42 c #Conflicts: 252000 | #Constraints: 45087
539.64/550.42 c #Conflicts: 253000 | #Constraints: 46087
539.64/550.42 c #Conflicts: 254000 | #Constraints: 47088
539.64/550.42 c #Conflicts: 255000 | #Constraints: 48090
539.64/550.42 c #Conflicts: 256000 | #Constraints: 49093
539.64/550.42 c INPROCESSING
539.64/550.42 c GARBAGE COLLECT
539.64/550.42 c rational objective 0
557.86/568.72 c #Conflicts: 257000 | #Constraints: 40133
557.86/568.72 c #Conflicts: 258000 | #Constraints: 41133
557.86/568.72 c #Conflicts: 259000 | #Constraints: 42134
557.86/568.72 c #Conflicts: 260000 | #Constraints: 43134
557.86/568.72 c #Conflicts: 261000 | #Constraints: 44135
557.86/568.72 c #Conflicts: 262000 | #Constraints: 45135
557.86/568.72 c #Conflicts: 263000 | #Constraints: 46137
557.86/568.72 c #Conflicts: 264000 | #Constraints: 47140
557.86/568.72 c #Conflicts: 265000 | #Constraints: 48142
557.86/568.72 c #Conflicts: 266000 | #Constraints: 49147
557.86/568.72 c INPROCESSING
557.86/568.72 c GARBAGE COLLECT
557.86/568.72 c rational objective 0
578.54/591.79 c #Conflicts: 267000 | #Constraints: 39917
578.54/591.79 c #Conflicts: 268000 | #Constraints: 40918
578.54/591.79 c #Conflicts: 269000 | #Constraints: 41918
578.54/591.79 c #Conflicts: 270000 | #Constraints: 42918
578.54/591.79 c #Conflicts: 271000 | #Constraints: 43918
578.54/591.79 c #Conflicts: 272000 | #Constraints: 44918
578.54/591.79 c #Conflicts: 273000 | #Constraints: 45919
578.54/591.79 c #Conflicts: 274000 | #Constraints: 46921
578.54/591.79 c #Conflicts: 275000 | #Constraints: 47923
578.54/591.79 c #Conflicts: 276000 | #Constraints: 48925
578.54/591.79 c #Conflicts: 277000 | #Constraints: 49925
578.54/591.79 c INPROCESSING
578.54/591.79 c GARBAGE COLLECT
578.54/591.79 c rational objective 0
598.39/611.65 c #Conflicts: 278000 | #Constraints: 40560
598.39/611.65 c #Conflicts: 279000 | #Constraints: 41561
598.39/611.65 c #Conflicts: 280000 | #Constraints: 42561
598.39/611.65 c #Conflicts: 281000 | #Constraints: 43561
598.39/611.65 c #Conflicts: 282000 | #Constraints: 44562
598.39/611.65 c #Conflicts: 283000 | #Constraints: 45564
598.39/611.65 c #Conflicts: 284000 | #Constraints: 46565
598.39/611.65 c #Conflicts: 285000 | #Constraints: 47565
598.39/611.65 c #Conflicts: 286000 | #Constraints: 48565
598.39/611.65 c #Conflicts: 287000 | #Constraints: 49565
598.39/611.65 c #Conflicts: 288000 | #Constraints: 50567
598.39/611.65 c INPROCESSING
598.39/611.65 c GARBAGE COLLECT
598.39/611.65 c rational objective 0
616.45/635.44 c #Conflicts: 289000 | #Constraints: 40957
616.45/635.44 c #Conflicts: 290000 | #Constraints: 41958
616.45/635.44 c #Conflicts: 291000 | #Constraints: 42958
616.45/635.44 c #Conflicts: 292000 | #Constraints: 43958
616.45/635.44 c #Conflicts: 293000 | #Constraints: 44958
616.45/635.44 c #Conflicts: 294000 | #Constraints: 45958
616.45/635.44 c #Conflicts: 295000 | #Constraints: 46958
616.45/635.44 c #Conflicts: 296000 | #Constraints: 47958
616.45/635.44 c #Conflicts: 297000 | #Constraints: 48959
616.45/635.44 c #Conflicts: 298000 | #Constraints: 49960
616.45/635.44 c #Conflicts: 299000 | #Constraints: 50962
616.45/635.44 c INPROCESSING
616.45/635.44 c GARBAGE COLLECT
616.45/635.44 c rational objective -1.1063e-11
633.89/652.98 c #Conflicts: 300000 | #Constraints: 41145
633.89/652.98 c #Conflicts: 301000 | #Constraints: 42148
633.89/652.98 c #Conflicts: 302000 | #Constraints: 43149
633.89/652.98 c #Conflicts: 303000 | #Constraints: 44149
633.89/652.98 c #Conflicts: 304000 | #Constraints: 45149
633.89/652.98 c #Conflicts: 305000 | #Constraints: 46149
633.89/652.98 c #Conflicts: 306000 | #Constraints: 47149
633.89/652.98 c #Conflicts: 307000 | #Constraints: 48149
633.89/652.98 c #Conflicts: 308000 | #Constraints: 49149
633.89/652.98 c #Conflicts: 309000 | #Constraints: 50149
633.89/652.98 c #Conflicts: 310000 | #Constraints: 51149
633.89/652.98 c INPROCESSING
633.89/652.98 c GARBAGE COLLECT
633.89/652.98 c rational objective 0
652.00/674.18 c #Conflicts: 311000 | #Constraints: 41155
652.00/674.18 c #Conflicts: 312000 | #Constraints: 42156
652.00/674.18 c #Conflicts: 313000 | #Constraints: 43156
652.00/674.18 c #Conflicts: 314000 | #Constraints: 44156
652.00/674.18 c #Conflicts: 315000 | #Constraints: 45156
652.00/674.18 c #Conflicts: 316000 | #Constraints: 46156
652.00/674.18 c #Conflicts: 317000 | #Constraints: 47156
652.00/674.18 c #Conflicts: 318000 | #Constraints: 48159
652.00/674.18 c #Conflicts: 319000 | #Constraints: 49163
652.00/674.18 c #Conflicts: 320000 | #Constraints: 50169
652.00/674.18 c #Conflicts: 321000 | #Constraints: 51169
652.00/674.18 c INPROCESSING
652.00/674.18 c GARBAGE COLLECT
652.00/674.18 c rational objective 0
692.76/715.13 c #Conflicts: 322000 | #Constraints: 40983
692.76/715.13 c #Conflicts: 323000 | #Constraints: 41983
692.76/715.13 c #Conflicts: 324000 | #Constraints: 42983
692.76/715.13 c #Conflicts: 325000 | #Constraints: 43983
692.76/715.13 c #Conflicts: 326000 | #Constraints: 44983
692.76/715.13 c #Conflicts: 327000 | #Constraints: 45983
692.76/715.13 c #Conflicts: 328000 | #Constraints: 46983
692.76/715.13 c #Conflicts: 329000 | #Constraints: 47983
692.76/715.13 c #Conflicts: 330000 | #Constraints: 48983
692.76/715.13 c #Conflicts: 331000 | #Constraints: 49983
692.76/715.13 c #Conflicts: 332000 | #Constraints: 50983
692.76/715.13 c #Conflicts: 333000 | #Constraints: 51984
692.76/715.13 c INPROCESSING
692.76/715.13 c GARBAGE COLLECT
692.76/715.13 c rational objective 0
713.11/735.67 c #Conflicts: 334000 | #Constraints: 41614
713.11/735.67 c #Conflicts: 335000 | #Constraints: 42616
713.11/735.67 c #Conflicts: 336000 | #Constraints: 43617
713.11/735.67 c #Conflicts: 337000 | #Constraints: 44618
713.11/735.67 c #Conflicts: 338000 | #Constraints: 45618
713.11/735.67 c #Conflicts: 339000 | #Constraints: 46618
713.11/735.67 c #Conflicts: 340000 | #Constraints: 47618
713.11/735.67 c #Conflicts: 341000 | #Constraints: 48618
713.11/735.67 c #Conflicts: 342000 | #Constraints: 49618
713.11/735.67 c #Conflicts: 343000 | #Constraints: 50618
713.11/735.67 c #Conflicts: 344000 | #Constraints: 51619
713.11/735.67 c #Conflicts: 345000 | #Constraints: 52619
713.11/735.67 c INPROCESSING
713.11/735.67 c GARBAGE COLLECT
713.11/735.67 c rational objective 0
734.00/756.62 c #Conflicts: 346000 | #Constraints: 42000
734.00/756.62 c #Conflicts: 347000 | #Constraints: 43000
734.00/756.62 c #Conflicts: 348000 | #Constraints: 44000
734.00/756.62 c #Conflicts: 349000 | #Constraints: 45001
734.00/756.62 c #Conflicts: 350000 | #Constraints: 46001
734.00/756.62 c #Conflicts: 351000 | #Constraints: 47001
734.00/756.62 c #Conflicts: 352000 | #Constraints: 48001
734.00/756.62 c #Conflicts: 353000 | #Constraints: 49001
734.00/756.62 c #Conflicts: 354000 | #Constraints: 50001
734.00/756.62 c #Conflicts: 355000 | #Constraints: 51002
734.00/756.62 c #Conflicts: 356000 | #Constraints: 52002
734.00/756.62 c #Conflicts: 357000 | #Constraints: 53002
734.00/756.62 c INPROCESSING
734.00/756.62 c GARBAGE COLLECT
734.00/756.62 c rational objective 0
755.35/778.05 c #Conflicts: 358000 | #Constraints: 42180
755.35/778.05 c #Conflicts: 359000 | #Constraints: 43181
755.35/778.05 c #Conflicts: 360000 | #Constraints: 44181
755.35/778.05 c #Conflicts: 361000 | #Constraints: 45181
755.35/778.05 c #Conflicts: 362000 | #Constraints: 46181
755.35/778.05 c #Conflicts: 363000 | #Constraints: 47181
755.35/778.05 c #Conflicts: 364000 | #Constraints: 48182
755.35/778.05 c #Conflicts: 365000 | #Constraints: 49184
755.35/778.05 c #Conflicts: 366000 | #Constraints: 50184
755.35/778.05 c #Conflicts: 367000 | #Constraints: 51184
755.35/778.05 c #Conflicts: 368000 | #Constraints: 52184
755.35/778.05 c #Conflicts: 369000 | #Constraints: 53185
755.35/778.05 c INPROCESSING
755.35/778.05 c GARBAGE COLLECT
755.35/778.05 c rational objective 0
777.45/800.22 c #Conflicts: 370000 | #Constraints: 42187
777.45/800.22 c #Conflicts: 371000 | #Constraints: 43191
777.45/800.22 c #Conflicts: 372000 | #Constraints: 44194
777.45/800.22 c #Conflicts: 373000 | #Constraints: 45200
777.45/800.22 c #Conflicts: 374000 | #Constraints: 46201
777.45/800.22 c #Conflicts: 375000 | #Constraints: 47206
777.45/800.22 c #Conflicts: 376000 | #Constraints: 48206
777.45/800.22 c #Conflicts: 377000 | #Constraints: 49209
777.45/800.22 c #Conflicts: 378000 | #Constraints: 50209
777.45/800.22 c #Conflicts: 379000 | #Constraints: 51209
777.45/800.22 c #Conflicts: 380000 | #Constraints: 52209
777.45/800.22 c #Conflicts: 381000 | #Constraints: 53209
777.45/800.22 c INPROCESSING
777.45/800.22 c GARBAGE COLLECT
777.45/800.22 c rational objective 0
799.08/822.03 c #Conflicts: 382000 | #Constraints: 41970
799.08/822.03 c #Conflicts: 383000 | #Constraints: 42971
799.08/822.03 c #Conflicts: 384000 | #Constraints: 43971
799.08/822.03 c #Conflicts: 385000 | #Constraints: 44972
799.08/822.03 c #Conflicts: 386000 | #Constraints: 45972
799.08/822.03 c #Conflicts: 387000 | #Constraints: 46973
799.08/822.03 c #Conflicts: 388000 | #Constraints: 47975
799.08/822.03 c #Conflicts: 389000 | #Constraints: 48979
799.08/822.03 c #Conflicts: 390000 | #Constraints: 49982
799.08/822.03 c #Conflicts: 391000 | #Constraints: 50983
799.08/822.03 c #Conflicts: 392000 | #Constraints: 51983
799.08/822.03 c #Conflicts: 393000 | #Constraints: 52983
799.08/822.03 c #Conflicts: 394000 | #Constraints: 53983
799.08/822.03 c INPROCESSING
799.08/822.03 c GARBAGE COLLECT
799.08/822.03 c rational objective 0
822.60/845.67 c #Conflicts: 395000 | #Constraints: 42570
822.60/845.67 c #Conflicts: 396000 | #Constraints: 43570
822.60/845.67 c #Conflicts: 397000 | #Constraints: 44570
822.60/845.67 c #Conflicts: 398000 | #Constraints: 45570
822.60/845.67 c #Conflicts: 399000 | #Constraints: 46570
822.60/845.67 c #Conflicts: 400000 | #Constraints: 47570
822.60/845.67 c #Conflicts: 401000 | #Constraints: 48570
822.60/845.67 c #Conflicts: 402000 | #Constraints: 49570
822.60/845.67 c #Conflicts: 403000 | #Constraints: 50570
822.60/845.67 c #Conflicts: 404000 | #Constraints: 51570
822.60/845.67 c #Conflicts: 405000 | #Constraints: 52570
822.60/845.67 c #Conflicts: 406000 | #Constraints: 53571
822.60/845.67 c #Conflicts: 407000 | #Constraints: 54571
822.60/845.67 c INPROCESSING
822.60/845.67 c GARBAGE COLLECT
822.60/845.67 c rational objective 0
845.84/868.99 c #Conflicts: 408000 | #Constraints: 42986
845.84/868.99 c #Conflicts: 409000 | #Constraints: 43986
845.84/868.99 c #Conflicts: 410000 | #Constraints: 44986
845.84/868.99 c #Conflicts: 411000 | #Constraints: 45986
845.84/868.99 c #Conflicts: 412000 | #Constraints: 46987
845.84/868.99 c #Conflicts: 413000 | #Constraints: 47991
845.84/868.99 c #Conflicts: 414000 | #Constraints: 48991
845.84/868.99 c #Conflicts: 415000 | #Constraints: 49991
845.84/868.99 c #Conflicts: 416000 | #Constraints: 50991
845.84/868.99 c #Conflicts: 417000 | #Constraints: 51991
845.84/868.99 c #Conflicts: 418000 | #Constraints: 52991
845.84/868.99 c #Conflicts: 419000 | #Constraints: 53991
845.84/868.99 c #Conflicts: 420000 | #Constraints: 54991
845.84/868.99 c INPROCESSING
845.84/868.99 c GARBAGE COLLECT
845.84/868.99 c rational objective 0
889.03/912.38 c #Conflicts: 421000 | #Constraints: 43252
889.03/912.38 c #Conflicts: 422000 | #Constraints: 44253
889.03/912.38 c #Conflicts: 423000 | #Constraints: 45254
889.03/912.38 c #Conflicts: 424000 | #Constraints: 46254
889.03/912.38 c #Conflicts: 425000 | #Constraints: 47254
889.03/912.38 c #Conflicts: 426000 | #Constraints: 48254
889.03/912.38 c #Conflicts: 427000 | #Constraints: 49256
889.03/912.38 c #Conflicts: 428000 | #Constraints: 50257
889.03/912.38 c #Conflicts: 429000 | #Constraints: 51261
889.03/912.38 c #Conflicts: 430000 | #Constraints: 52261
889.03/912.38 c #Conflicts: 431000 | #Constraints: 53262
889.03/912.38 c #Conflicts: 432000 | #Constraints: 54266
889.03/912.38 c #Conflicts: 433000 | #Constraints: 55267
889.03/912.38 c INPROCESSING
889.03/912.38 c GARBAGE COLLECT
889.03/912.38 c rational objective 0
921.76/945.27 c #Conflicts: 434000 | #Constraints: 43208
921.76/945.27 c #Conflicts: 435000 | #Constraints: 44208
921.76/945.27 c #Conflicts: 436000 | #Constraints: 45211
921.76/945.27 c #Conflicts: 437000 | #Constraints: 46213
921.76/945.27 c #Conflicts: 438000 | #Constraints: 47214
921.76/945.27 c #Conflicts: 439000 | #Constraints: 48214
921.76/945.27 c #Conflicts: 440000 | #Constraints: 49214
921.76/945.27 c #Conflicts: 441000 | #Constraints: 50214
921.76/945.27 c #Conflicts: 442000 | #Constraints: 51214
921.76/945.27 c #Conflicts: 443000 | #Constraints: 52214
921.76/945.27 c #Conflicts: 444000 | #Constraints: 53214
921.76/945.27 c #Conflicts: 445000 | #Constraints: 54214
921.76/945.27 c #Conflicts: 446000 | #Constraints: 55214
921.76/945.27 c INPROCESSING
921.76/945.27 c GARBAGE COLLECT
921.76/945.27 c rational objective 0
970.00/997.04 c #Conflicts: 447000 | #Constraints: 43070
970.00/997.04 c #Conflicts: 448000 | #Constraints: 44071
970.00/997.04 c #Conflicts: 449000 | #Constraints: 45072
970.00/997.04 c #Conflicts: 450000 | #Constraints: 46082
970.00/997.04 c #Conflicts: 451000 | #Constraints: 47086
970.00/997.04 c #Conflicts: 452000 | #Constraints: 48088
970.00/997.04 c #Conflicts: 453000 | #Constraints: 49089
970.00/997.04 c #Conflicts: 454000 | #Constraints: 50092
970.00/997.04 c #Conflicts: 455000 | #Constraints: 51092
970.00/997.04 c #Conflicts: 456000 | #Constraints: 52094
970.00/997.04 c #Conflicts: 457000 | #Constraints: 53094
970.00/997.04 c #Conflicts: 458000 | #Constraints: 54096
970.00/997.04 c #Conflicts: 459000 | #Constraints: 55096
970.00/997.04 c #Conflicts: 460000 | #Constraints: 56099
970.00/997.04 c INPROCESSING
970.00/997.04 c GARBAGE COLLECT
970.00/997.04 c #Conflicts: 461000 | #Constraints: 43633
970.00/997.04 c #Conflicts: 462000 | #Constraints: 44634
970.00/997.04 c #Conflicts: 463000 | #Constraints: 45637
970.00/997.04 c #Conflicts: 464000 | #Constraints: 46639
970.00/997.04 c #Conflicts: 465000 | #Constraints: 47639
970.00/997.04 c #Conflicts: 466000 | #Constraints: 48640
970.00/997.04 c #Conflicts: 467000 | #Constraints: 49640
970.00/997.04 c #Conflicts: 468000 | #Constraints: 50640
970.00/997.04 c #Conflicts: 469000 | #Constraints: 51640
970.00/997.04 c #Conflicts: 470000 | #Constraints: 52640
970.00/997.04 c #Conflicts: 471000 | #Constraints: 53641
970.00/997.04 c #Conflicts: 472000 | #Constraints: 54641
970.00/997.04 c #Conflicts: 473000 | #Constraints: 55649
970.00/997.04 c #Conflicts: 474000 | #Constraints: 56655
970.00/997.04 c INPROCESSING
970.00/997.04 c GARBAGE COLLECT
970.00/997.04 c rational objective -2.134e-11
1005.34/1032.66 c #Conflicts: 475000 | #Constraints: 44073
1005.34/1032.66 c #Conflicts: 476000 | #Constraints: 45075
1005.34/1032.66 c #Conflicts: 477000 | #Constraints: 46076
1005.34/1032.66 c #Conflicts: 478000 | #Constraints: 47085
1005.34/1032.66 c #Conflicts: 479000 | #Constraints: 48091
1005.34/1032.66 c #Conflicts: 480000 | #Constraints: 49098
1005.34/1032.66 c #Conflicts: 481000 | #Constraints: 50100
1005.34/1032.66 c #Conflicts: 482000 | #Constraints: 51105
1005.34/1032.66 c #Conflicts: 483000 | #Constraints: 52109
1005.34/1032.66 c #Conflicts: 484000 | #Constraints: 53110
1005.34/1032.66 c #Conflicts: 485000 | #Constraints: 54116
1005.34/1032.66 c #Conflicts: 486000 | #Constraints: 55118
1005.34/1032.66 c #Conflicts: 487000 | #Constraints: 56121
1005.34/1032.66 c #Conflicts: 488000 | #Constraints: 57130
1005.34/1032.66 c INPROCESSING
1005.34/1032.66 c GARBAGE COLLECT
1005.34/1032.66 c rational objective 0
1038.21/1065.87 c #Conflicts: 489000 | #Constraints: 44283
1038.21/1065.87 c #Conflicts: 490000 | #Constraints: 45283
1038.21/1065.87 c #Conflicts: 491000 | #Constraints: 46283
1038.21/1065.87 c #Conflicts: 492000 | #Constraints: 47283
1038.21/1065.87 c #Conflicts: 493000 | #Constraints: 48283
1038.21/1065.87 c #Conflicts: 494000 | #Constraints: 49283
1038.21/1065.87 c #Conflicts: 495000 | #Constraints: 50283
1038.21/1065.87 c #Conflicts: 496000 | #Constraints: 51283
1038.21/1065.87 c #Conflicts: 497000 | #Constraints: 52283
1038.21/1065.87 c #Conflicts: 498000 | #Constraints: 53283
1038.21/1065.87 c #Conflicts: 499000 | #Constraints: 54284
1038.21/1065.87 c #Conflicts: 500000 | #Constraints: 55284
1038.21/1065.87 c #Conflicts: 501000 | #Constraints: 56284
1038.21/1065.87 c #Conflicts: 502000 | #Constraints: 57288
1038.21/1065.87 c INPROCESSING
1038.21/1065.87 c GARBAGE COLLECT
1038.21/1065.87 c rational objective 0
1075.21/1102.98 c #Conflicts: 503000 | #Constraints: 44211
1075.21/1102.98 c #Conflicts: 504000 | #Constraints: 45211
1075.21/1102.98 c #Conflicts: 505000 | #Constraints: 46211
1075.21/1102.98 c #Conflicts: 506000 | #Constraints: 47211
1075.21/1102.98 c #Conflicts: 507000 | #Constraints: 48211
1075.21/1102.98 c #Conflicts: 508000 | #Constraints: 49211
1075.21/1102.98 c #Conflicts: 509000 | #Constraints: 50211
1075.21/1102.98 c #Conflicts: 510000 | #Constraints: 51211
1075.21/1102.98 c #Conflicts: 511000 | #Constraints: 52211
1075.21/1102.98 c #Conflicts: 512000 | #Constraints: 53211
1075.21/1102.98 c #Conflicts: 513000 | #Constraints: 54211
1075.21/1102.98 c #Conflicts: 514000 | #Constraints: 55211
1075.21/1102.98 c #Conflicts: 515000 | #Constraints: 56213
1075.21/1102.98 c #Conflicts: 516000 | #Constraints: 57216
1075.21/1102.98 c INPROCESSING
1075.21/1102.98 c GARBAGE COLLECT
1075.21/1102.98 c rational objective 0
1097.65/1125.46 c #Conflicts: 517000 | #Constraints: 44007
1097.65/1125.46 c #Conflicts: 518000 | #Constraints: 45007
1097.65/1125.46 c #Conflicts: 519000 | #Constraints: 46007
1097.65/1125.46 c #Conflicts: 520000 | #Constraints: 47007
1097.65/1125.46 c #Conflicts: 521000 | #Constraints: 48007
1097.65/1125.46 c #Conflicts: 522000 | #Constraints: 49007
1097.65/1125.46 c #Conflicts: 523000 | #Constraints: 50009
1097.65/1125.46 c #Conflicts: 524000 | #Constraints: 51009
1097.65/1125.46 c #Conflicts: 525000 | #Constraints: 52009
1097.65/1125.46 c #Conflicts: 526000 | #Constraints: 53009
1097.65/1125.46 c #Conflicts: 527000 | #Constraints: 54009
1097.65/1125.46 c #Conflicts: 528000 | #Constraints: 55009
1097.65/1125.46 c #Conflicts: 529000 | #Constraints: 56009
1097.65/1125.46 c #Conflicts: 530000 | #Constraints: 57009
1097.65/1125.46 c #Conflicts: 531000 | #Constraints: 58009
1097.65/1125.46 c INPROCESSING
1097.65/1125.46 c GARBAGE COLLECT
1097.65/1125.46 c rational objective 0
1121.26/1151.31 c #Conflicts: 532000 | #Constraints: 44684
1121.26/1151.31 c #Conflicts: 533000 | #Constraints: 45685
1121.26/1151.31 c #Conflicts: 534000 | #Constraints: 46686
1121.26/1151.31 c #Conflicts: 535000 | #Constraints: 47687
1121.26/1151.31 c #Conflicts: 536000 | #Constraints: 48687
1121.26/1151.31 c #Conflicts: 537000 | #Constraints: 49688
1121.26/1151.31 c #Conflicts: 538000 | #Constraints: 50689
1121.26/1151.31 c #Conflicts: 539000 | #Constraints: 51694
1121.26/1151.31 c #Conflicts: 540000 | #Constraints: 52697
1121.26/1151.31 c #Conflicts: 541000 | #Constraints: 53697
1121.26/1151.31 c #Conflicts: 542000 | #Constraints: 54697
1121.26/1151.31 c #Conflicts: 543000 | #Constraints: 55697
1121.26/1151.31 c #Conflicts: 544000 | #Constraints: 56698
1121.26/1151.31 c #Conflicts: 545000 | #Constraints: 57701
1121.26/1151.31 c #Conflicts: 546000 | #Constraints: 58702
1121.26/1151.31 c INPROCESSING
1121.26/1151.31 c GARBAGE COLLECT
1121.26/1151.31 c rational objective 0
1150.60/1185.79 c #Conflicts: 547000 | #Constraints: 45073
1150.60/1185.79 c #Conflicts: 548000 | #Constraints: 46073
1150.60/1185.79 c #Conflicts: 549000 | #Constraints: 47074
1150.60/1185.79 c #Conflicts: 550000 | #Constraints: 48074
1150.60/1185.79 c #Conflicts: 551000 | #Constraints: 49074
1150.60/1185.79 c #Conflicts: 552000 | #Constraints: 50074
1150.60/1185.79 c #Conflicts: 553000 | #Constraints: 51074
1150.60/1185.79 c #Conflicts: 554000 | #Constraints: 52074
1150.60/1185.79 c #Conflicts: 555000 | #Constraints: 53074
1150.60/1185.79 c #Conflicts: 556000 | #Constraints: 54074
1150.60/1185.79 c #Conflicts: 557000 | #Constraints: 55074
1150.60/1185.79 c #Conflicts: 558000 | #Constraints: 56075
1150.60/1185.79 c #Conflicts: 559000 | #Constraints: 57076
1150.60/1185.79 c #Conflicts: 560000 | #Constraints: 58077
1150.60/1185.79 c #Conflicts: 561000 | #Constraints: 59077
1150.60/1185.79 c INPROCESSING
1150.60/1185.79 c GARBAGE COLLECT
1150.60/1185.79 c rational objective 0
1186.07/1221.32 c #Conflicts: 562000 | #Constraints: 45254
1186.07/1221.32 c #Conflicts: 563000 | #Constraints: 46256
1186.07/1221.32 c #Conflicts: 564000 | #Constraints: 47257
1186.07/1221.32 c #Conflicts: 565000 | #Constraints: 48259
1186.07/1221.32 c #Conflicts: 566000 | #Constraints: 49259
1186.07/1221.32 c #Conflicts: 567000 | #Constraints: 50260
1186.07/1221.32 c #Conflicts: 568000 | #Constraints: 51374
1186.07/1221.32 c #Conflicts: 569000 | #Constraints: 52374
1186.07/1221.32 c #Conflicts: 570000 | #Constraints: 53374
1186.07/1221.32 c #Conflicts: 571000 | #Constraints: 54374
1186.07/1221.32 c #Conflicts: 572000 | #Constraints: 55374
1186.07/1221.32 c #Conflicts: 573000 | #Constraints: 56374
1186.07/1221.32 c #Conflicts: 574000 | #Constraints: 57374
1186.07/1221.32 c #Conflicts: 575000 | #Constraints: 58374
1186.07/1221.32 c #Conflicts: 576000 | #Constraints: 59374
1186.07/1221.32 c INPROCESSING
1186.07/1221.32 c GARBAGE COLLECT
1186.07/1221.32 c rational objective 0
1213.43/1248.81 c #Conflicts: 577000 | #Constraints: 45316
1213.43/1248.81 c #Conflicts: 578000 | #Constraints: 46317
1213.43/1248.81 c #Conflicts: 579000 | #Constraints: 47318
1213.43/1248.81 c #Conflicts: 580000 | #Constraints: 48319
1213.43/1248.81 c #Conflicts: 581000 | #Constraints: 49319
1213.43/1248.81 c #Conflicts: 582000 | #Constraints: 50319
1213.43/1248.81 c #Conflicts: 583000 | #Constraints: 51319
1213.43/1248.81 c #Conflicts: 584000 | #Constraints: 52320
1213.43/1248.81 c #Conflicts: 585000 | #Constraints: 53320
1213.43/1248.81 c #Conflicts: 586000 | #Constraints: 54320
1213.43/1248.81 c #Conflicts: 587000 | #Constraints: 55321
1213.43/1248.81 c #Conflicts: 588000 | #Constraints: 56321
1213.43/1248.81 c #Conflicts: 589000 | #Constraints: 57321
1213.43/1248.81 c #Conflicts: 590000 | #Constraints: 58321
1213.43/1248.81 c #Conflicts: 591000 | #Constraints: 59321
1213.43/1248.81 c INPROCESSING
1213.43/1248.81 c GARBAGE COLLECT
1213.43/1248.81 c rational objective 0
1297.51/1336.18 c #Conflicts: 592000 | #Constraints: 45119
1297.51/1336.18 c #Conflicts: 593000 | #Constraints: 46119
1297.51/1336.18 c #Conflicts: 594000 | #Constraints: 47122
1297.51/1336.18 c #Conflicts: 595000 | #Constraints: 48123
1297.51/1336.18 c #Conflicts: 596000 | #Constraints: 49124
1297.51/1336.18 c #Conflicts: 597000 | #Constraints: 50126
1297.51/1336.18 c #Conflicts: 598000 | #Constraints: 51127
1297.51/1336.18 c #Conflicts: 599000 | #Constraints: 52127
1297.51/1336.18 c #Conflicts: 600000 | #Constraints: 53127
1297.51/1336.18 c #Conflicts: 601000 | #Constraints: 54129
1297.51/1336.18 c #Conflicts: 602000 | #Constraints: 55133
1297.51/1336.18 c #Conflicts: 603000 | #Constraints: 56144
1297.51/1336.18 c #Conflicts: 604000 | #Constraints: 57152
1297.51/1336.18 c #Conflicts: 605000 | #Constraints: 58275
1297.51/1336.18 c #Conflicts: 606000 | #Constraints: 59632
1297.51/1336.18 c #Conflicts: 607000 | #Constraints: 61065
1297.51/1336.18 c INPROCESSING
1297.51/1336.18 c GARBAGE COLLECT
1297.51/1336.18 c #Conflicts: 608000 | #Constraints: 46140
1297.51/1336.18 c #Conflicts: 609000 | #Constraints: 47140
1297.51/1336.18 c #Conflicts: 610000 | #Constraints: 48140
1297.51/1336.18 c #Conflicts: 611000 | #Constraints: 49140
1297.51/1336.18 c #Conflicts: 612000 | #Constraints: 50140
1297.51/1336.18 c #Conflicts: 613000 | #Constraints: 51140
1297.51/1336.18 c #Conflicts: 614000 | #Constraints: 52140
1297.51/1336.18 c #Conflicts: 615000 | #Constraints: 53140
1297.51/1336.18 c #Conflicts: 616000 | #Constraints: 54140
1297.51/1336.18 c #Conflicts: 617000 | #Constraints: 55140
1297.51/1336.18 c #Conflicts: 618000 | #Constraints: 56140
1297.51/1336.18 c #Conflicts: 619000 | #Constraints: 57140
1297.51/1336.18 c #Conflicts: 620000 | #Constraints: 58140
1297.51/1336.18 c #Conflicts: 621000 | #Constraints: 59140
1297.51/1336.18 c #Conflicts: 622000 | #Constraints: 60140
1297.51/1336.18 c #Conflicts: 623000 | #Constraints: 61140
1297.51/1336.18 c INPROCESSING
1297.51/1336.18 c GARBAGE COLLECT
1297.51/1336.18 c rational objective 0
1322.48/1365.67 c #Conflicts: 624000 | #Constraints: 46343
1322.48/1365.67 c #Conflicts: 625000 | #Constraints: 47343
1322.48/1365.67 c #Conflicts: 626000 | #Constraints: 48343
1322.48/1365.67 c #Conflicts: 627000 | #Constraints: 49343
1322.48/1365.67 c #Conflicts: 628000 | #Constraints: 50343
1322.48/1365.67 c #Conflicts: 629000 | #Constraints: 51343
1322.48/1365.67 c #Conflicts: 630000 | #Constraints: 52343
1322.48/1365.67 c #Conflicts: 631000 | #Constraints: 53343
1322.48/1365.67 c #Conflicts: 632000 | #Constraints: 54343
1322.48/1365.67 c #Conflicts: 633000 | #Constraints: 55343
1322.48/1365.67 c #Conflicts: 634000 | #Constraints: 56343
1322.48/1365.67 c #Conflicts: 635000 | #Constraints: 57344
1322.48/1365.67 c #Conflicts: 636000 | #Constraints: 58344
1322.48/1365.67 c #Conflicts: 637000 | #Constraints: 59344
1322.48/1365.67 c #Conflicts: 638000 | #Constraints: 60344
1322.48/1365.67 c #Conflicts: 639000 | #Constraints: 61344
1322.48/1365.67 c INPROCESSING
1322.48/1365.67 c GARBAGE COLLECT
1322.48/1365.67 c rational objective 0
1348.96/1392.23 c #Conflicts: 640000 | #Constraints: 46389
1348.96/1392.23 c #Conflicts: 641000 | #Constraints: 47389
1348.96/1392.23 c #Conflicts: 642000 | #Constraints: 48389
1348.96/1392.23 c #Conflicts: 643000 | #Constraints: 49390
1348.96/1392.23 c #Conflicts: 644000 | #Constraints: 50391
1348.96/1392.23 c #Conflicts: 645000 | #Constraints: 51391
1348.96/1392.23 c #Conflicts: 646000 | #Constraints: 52391
1348.96/1392.23 c #Conflicts: 647000 | #Constraints: 53391
1348.96/1392.23 c #Conflicts: 648000 | #Constraints: 54392
1348.96/1392.23 c #Conflicts: 649000 | #Constraints: 55392
1348.96/1392.23 c #Conflicts: 650000 | #Constraints: 56392
1348.96/1392.23 c #Conflicts: 651000 | #Constraints: 57393
1348.96/1392.23 c #Conflicts: 652000 | #Constraints: 58396
1348.96/1392.23 c #Conflicts: 653000 | #Constraints: 59396
1348.96/1392.23 c #Conflicts: 654000 | #Constraints: 60397
1348.96/1392.23 c #Conflicts: 655000 | #Constraints: 61403
1348.96/1392.23 c INPROCESSING
1348.96/1392.23 c GARBAGE COLLECT
1348.96/1392.23 c rational objective 0
1376.43/1419.86 c #Conflicts: 656000 | #Constraints: 46302
1376.43/1419.86 c #Conflicts: 657000 | #Constraints: 47305
1376.43/1419.86 c #Conflicts: 658000 | #Constraints: 48306
1376.43/1419.86 c #Conflicts: 659000 | #Constraints: 49311
1376.43/1419.86 c #Conflicts: 660000 | #Constraints: 50311
1376.43/1419.86 c #Conflicts: 661000 | #Constraints: 51311
1376.43/1419.86 c #Conflicts: 662000 | #Constraints: 52312
1376.43/1419.86 c #Conflicts: 663000 | #Constraints: 53312
1376.43/1419.86 c #Conflicts: 664000 | #Constraints: 54314
1376.43/1419.86 c #Conflicts: 665000 | #Constraints: 55316
1376.43/1419.86 c #Conflicts: 666000 | #Constraints: 56318
1376.43/1419.86 c #Conflicts: 667000 | #Constraints: 57318
1376.43/1419.86 c #Conflicts: 668000 | #Constraints: 58318
1376.43/1419.86 c #Conflicts: 669000 | #Constraints: 59318
1376.43/1419.86 c #Conflicts: 670000 | #Constraints: 60318
1376.43/1419.86 c #Conflicts: 671000 | #Constraints: 61318
1376.43/1419.86 c INPROCESSING
1376.43/1419.86 c GARBAGE COLLECT
1376.43/1419.86 c rational objective 0
1402.16/1445.64 c #Conflicts: 672000 | #Constraints: 46136
1402.16/1445.64 c #Conflicts: 673000 | #Constraints: 47138
1402.16/1445.64 c #Conflicts: 674000 | #Constraints: 48139
1402.16/1445.64 c #Conflicts: 675000 | #Constraints: 49141
1402.16/1445.64 c #Conflicts: 676000 | #Constraints: 50141
1402.16/1445.64 c #Conflicts: 677000 | #Constraints: 51141
1402.16/1445.64 c #Conflicts: 678000 | #Constraints: 52141
1402.16/1445.64 c #Conflicts: 679000 | #Constraints: 53141
1402.16/1445.64 c #Conflicts: 680000 | #Constraints: 54142
1402.16/1445.64 c #Conflicts: 681000 | #Constraints: 55142
1402.16/1445.64 c #Conflicts: 682000 | #Constraints: 56142
1402.16/1445.64 c #Conflicts: 683000 | #Constraints: 57142
1402.16/1445.64 c #Conflicts: 684000 | #Constraints: 58143
1402.16/1445.64 c #Conflicts: 685000 | #Constraints: 59145
1402.16/1445.64 c #Conflicts: 686000 | #Constraints: 60147
1402.16/1445.64 c #Conflicts: 687000 | #Constraints: 61148
1402.16/1445.64 c #Conflicts: 688000 | #Constraints: 62148
1402.16/1445.64 c INPROCESSING
1402.16/1445.64 c GARBAGE COLLECT
1402.16/1445.64 c rational objective 0
1431.52/1475.17 c #Conflicts: 689000 | #Constraints: 46748
1431.52/1475.17 c #Conflicts: 690000 | #Constraints: 47748
1431.52/1475.17 c #Conflicts: 691000 | #Constraints: 48748
1431.52/1475.17 c #Conflicts: 692000 | #Constraints: 49748
1431.52/1475.17 c #Conflicts: 693000 | #Constraints: 50748
1431.52/1475.17 c #Conflicts: 694000 | #Constraints: 51748
1431.52/1475.17 c #Conflicts: 695000 | #Constraints: 52748
1431.52/1475.17 c #Conflicts: 696000 | #Constraints: 53748
1431.52/1475.17 c #Conflicts: 697000 | #Constraints: 54748
1431.52/1475.17 c #Conflicts: 698000 | #Constraints: 55748
1431.52/1475.17 c #Conflicts: 699000 | #Constraints: 56748
1431.52/1475.17 c #Conflicts: 700000 | #Constraints: 57748
1431.52/1475.17 c #Conflicts: 701000 | #Constraints: 58748
1431.52/1475.17 c #Conflicts: 702000 | #Constraints: 59748
1431.52/1475.17 c #Conflicts: 703000 | #Constraints: 60748
1431.52/1475.17 c #Conflicts: 704000 | #Constraints: 61748
1431.52/1475.17 c #Conflicts: 705000 | #Constraints: 62748
1431.52/1475.17 c INPROCESSING
1431.52/1475.17 c GARBAGE COLLECT
1431.52/1475.17 c rational objective 0
1466.87/1510.79 c #Conflicts: 706000 | #Constraints: 47199
1466.87/1510.79 c #Conflicts: 707000 | #Constraints: 48200
1466.87/1510.79 c #Conflicts: 708000 | #Constraints: 49203
1466.87/1510.79 c #Conflicts: 709000 | #Constraints: 50205
1466.87/1510.79 c #Conflicts: 710000 | #Constraints: 51205
1466.87/1510.79 c #Conflicts: 711000 | #Constraints: 52205
1466.87/1510.79 c #Conflicts: 712000 | #Constraints: 53205
1466.87/1510.79 c #Conflicts: 713000 | #Constraints: 54205
1466.87/1510.79 c #Conflicts: 714000 | #Constraints: 55205
1466.87/1510.79 c #Conflicts: 715000 | #Constraints: 56205
1466.87/1510.79 c #Conflicts: 716000 | #Constraints: 57208
1466.87/1510.79 c #Conflicts: 717000 | #Constraints: 58210
1466.87/1510.79 c #Conflicts: 718000 | #Constraints: 59213
1466.87/1510.79 c #Conflicts: 719000 | #Constraints: 60219
1466.87/1510.79 c #Conflicts: 720000 | #Constraints: 61221
1466.87/1510.79 c #Conflicts: 721000 | #Constraints: 62222
1466.87/1510.79 c #Conflicts: 722000 | #Constraints: 63226
1466.87/1510.79 c INPROCESSING
1466.87/1510.79 c GARBAGE COLLECT
1466.87/1510.79 c rational objective 0
1496.19/1540.12 c #Conflicts: 723000 | #Constraints: 47337
1496.19/1540.12 c #Conflicts: 724000 | #Constraints: 48344
1496.19/1540.12 c #Conflicts: 725000 | #Constraints: 49345
1496.19/1540.12 c #Conflicts: 726000 | #Constraints: 50350
1496.19/1540.12 c #Conflicts: 727000 | #Constraints: 51358
1496.19/1540.12 c #Conflicts: 728000 | #Constraints: 52364
1496.19/1540.12 c #Conflicts: 729000 | #Constraints: 53372
1496.19/1540.12 c #Conflicts: 730000 | #Constraints: 54375
1496.19/1540.12 c #Conflicts: 731000 | #Constraints: 55375
1496.19/1540.12 c #Conflicts: 732000 | #Constraints: 56385
1496.19/1540.12 c #Conflicts: 733000 | #Constraints: 57393
1496.19/1540.12 c #Conflicts: 734000 | #Constraints: 58403
1496.19/1540.12 c #Conflicts: 735000 | #Constraints: 59409
1496.19/1540.12 c #Conflicts: 736000 | #Constraints: 60418
1496.19/1540.12 c #Conflicts: 737000 | #Constraints: 61430
1496.19/1540.12 c #Conflicts: 738000 | #Constraints: 62438
1496.19/1540.12 c #Conflicts: 739000 | #Constraints: 63445
1496.19/1540.12 c INPROCESSING
1496.19/1540.12 c GARBAGE COLLECT
1496.19/1540.12 c rational objective 0
1538.32/1582.63 c #Conflicts: 740000 | #Constraints: 47399
1538.32/1582.63 c #Conflicts: 741000 | #Constraints: 48401
1538.32/1582.63 c #Conflicts: 742000 | #Constraints: 49404
1538.32/1582.63 c #Conflicts: 743000 | #Constraints: 50408
1538.32/1582.63 c #Conflicts: 744000 | #Constraints: 51409
1538.32/1582.63 c #Conflicts: 745000 | #Constraints: 52415
1538.32/1582.63 c #Conflicts: 746000 | #Constraints: 53417
1538.32/1582.63 c #Conflicts: 747000 | #Constraints: 54419
1538.32/1582.63 c #Conflicts: 748000 | #Constraints: 55422
1538.32/1582.63 c #Conflicts: 749000 | #Constraints: 56548
1538.32/1582.63 c #Conflicts: 750000 | #Constraints: 57548
1538.32/1582.63 c #Conflicts: 751000 | #Constraints: 58548
1538.32/1582.63 c #Conflicts: 752000 | #Constraints: 59548
1538.32/1582.63 c #Conflicts: 753000 | #Constraints: 60548
1538.32/1582.63 c #Conflicts: 754000 | #Constraints: 61549
1538.32/1582.63 c #Conflicts: 755000 | #Constraints: 62549
1538.32/1582.63 c #Conflicts: 756000 | #Constraints: 63549
1538.32/1582.63 c INPROCESSING
1538.32/1582.63 c GARBAGE COLLECT
1538.32/1582.63 c rational objective 0
1566.10/1610.52 c #Conflicts: 757000 | #Constraints: 47257
1566.10/1610.52 c #Conflicts: 758000 | #Constraints: 48258
1566.10/1610.52 c #Conflicts: 759000 | #Constraints: 49261
1566.10/1610.52 c #Conflicts: 760000 | #Constraints: 50264
1566.10/1610.52 c #Conflicts: 761000 | #Constraints: 51264
1566.10/1610.52 c #Conflicts: 762000 | #Constraints: 52264
1566.10/1610.52 c #Conflicts: 763000 | #Constraints: 53264
1566.10/1610.52 c #Conflicts: 764000 | #Constraints: 54264
1566.10/1610.52 c #Conflicts: 765000 | #Constraints: 55264
1566.10/1610.52 c #Conflicts: 766000 | #Constraints: 56264
1566.10/1610.52 c #Conflicts: 767000 | #Constraints: 57265
1566.10/1610.52 c #Conflicts: 768000 | #Constraints: 58265
1566.10/1610.52 c #Conflicts: 769000 | #Constraints: 59265
1566.10/1610.52 c #Conflicts: 770000 | #Constraints: 60265
1566.10/1610.52 c #Conflicts: 771000 | #Constraints: 61266
1566.10/1610.52 c #Conflicts: 772000 | #Constraints: 62270
1566.10/1610.52 c #Conflicts: 773000 | #Constraints: 63271
1566.10/1610.52 c #Conflicts: 774000 | #Constraints: 64273
1566.10/1610.52 c INPROCESSING
1566.10/1610.52 c GARBAGE COLLECT
1566.10/1610.52 c rational objective 0
1600.65/1645.25 c #Conflicts: 775000 | #Constraints: 47734
1600.65/1645.25 c #Conflicts: 776000 | #Constraints: 48735
1600.65/1645.25 c #Conflicts: 777000 | #Constraints: 49738
1600.65/1645.25 c #Conflicts: 778000 | #Constraints: 50739
1600.65/1645.25 c #Conflicts: 779000 | #Constraints: 51740
1600.65/1645.25 c #Conflicts: 780000 | #Constraints: 52740
1600.65/1645.25 c #Conflicts: 781000 | #Constraints: 53740
1600.65/1645.25 c #Conflicts: 782000 | #Constraints: 54740
1600.65/1645.25 c #Conflicts: 783000 | #Constraints: 55740
1600.65/1645.25 c #Conflicts: 784000 | #Constraints: 56741
1600.65/1645.25 c #Conflicts: 785000 | #Constraints: 57741
1600.65/1645.25 c #Conflicts: 786000 | #Constraints: 58743
1600.65/1645.25 c #Conflicts: 787000 | #Constraints: 59743
1600.65/1645.25 c #Conflicts: 788000 | #Constraints: 60744
1600.65/1645.25 c #Conflicts: 789000 | #Constraints: 61751
1600.65/1645.25 c #Conflicts: 790000 | #Constraints: 62758
1600.65/1645.25 c #Conflicts: 791000 | #Constraints: 63762
1600.65/1645.25 c #Conflicts: 792000 | #Constraints: 64767
1600.65/1645.25 c INPROCESSING
1600.65/1645.25 c GARBAGE COLLECT
1600.65/1645.25 c rational objective 0
1629.87/1674.60 c #Conflicts: 793000 | #Constraints: 48198
1629.87/1674.60 c #Conflicts: 794000 | #Constraints: 49198
1629.87/1674.60 c #Conflicts: 795000 | #Constraints: 50198
1629.87/1674.60 c #Conflicts: 796000 | #Constraints: 51198
1629.87/1674.60 c #Conflicts: 797000 | #Constraints: 52198
1629.87/1674.60 c #Conflicts: 798000 | #Constraints: 53198
1629.87/1674.60 c #Conflicts: 799000 | #Constraints: 54198
1629.87/1674.60 c #Conflicts: 800000 | #Constraints: 55198
1629.87/1674.60 c #Conflicts: 801000 | #Constraints: 56198
1629.87/1674.60 c #Conflicts: 802000 | #Constraints: 57199
1629.87/1674.60 c #Conflicts: 803000 | #Constraints: 58199
1629.87/1674.60 c #Conflicts: 804000 | #Constraints: 59199
1629.87/1674.60 c #Conflicts: 805000 | #Constraints: 60199
1629.87/1674.60 c #Conflicts: 806000 | #Constraints: 61199
1629.87/1674.60 c #Conflicts: 807000 | #Constraints: 62200
1629.87/1674.60 c #Conflicts: 808000 | #Constraints: 63203
1629.87/1674.60 c #Conflicts: 809000 | #Constraints: 64205
1629.87/1674.60 c #Conflicts: 810000 | #Constraints: 65206
1629.87/1674.60 c INPROCESSING
1629.87/1674.60 c GARBAGE COLLECT
1629.87/1674.60 c rational objective 0
1661.00/1705.98 c #Conflicts: 811000 | #Constraints: 48357
1661.00/1705.98 c #Conflicts: 812000 | #Constraints: 49360
1661.00/1705.98 c #Conflicts: 813000 | #Constraints: 50366
1661.00/1705.98 c #Conflicts: 814000 | #Constraints: 51368
1661.00/1705.98 c #Conflicts: 815000 | #Constraints: 52370
1661.00/1705.98 c #Conflicts: 816000 | #Constraints: 53372
1661.00/1705.98 c #Conflicts: 817000 | #Constraints: 54372
1661.00/1705.98 c #Conflicts: 818000 | #Constraints: 55372
1661.00/1705.98 c #Conflicts: 819000 | #Constraints: 56372
1661.00/1705.98 c #Conflicts: 820000 | #Constraints: 57372
1661.00/1705.98 c #Conflicts: 821000 | #Constraints: 58372
1661.00/1705.98 c #Conflicts: 822000 | #Constraints: 59372
1661.00/1705.98 c #Conflicts: 823000 | #Constraints: 60372
1661.00/1705.98 c #Conflicts: 824000 | #Constraints: 61373
1661.00/1705.98 c #Conflicts: 825000 | #Constraints: 62374
1661.00/1705.98 c #Conflicts: 826000 | #Constraints: 63376
1661.00/1705.98 c #Conflicts: 827000 | #Constraints: 64379
1661.00/1705.98 c #Conflicts: 828000 | #Constraints: 65383
1661.00/1705.98 c INPROCESSING
1661.00/1705.98 c GARBAGE COLLECT
1661.00/1705.98 c rational objective 0
1693.01/1744.18 c #Conflicts: 829000 | #Constraints: 48405
1693.01/1744.18 c #Conflicts: 830000 | #Constraints: 49405
1693.01/1744.18 c #Conflicts: 831000 | #Constraints: 50405
1693.01/1744.18 c #Conflicts: 832000 | #Constraints: 51405
1693.01/1744.18 c #Conflicts: 833000 | #Constraints: 52405
1693.01/1744.18 c #Conflicts: 834000 | #Constraints: 53409
1693.01/1744.18 c #Conflicts: 835000 | #Constraints: 54413
1693.01/1744.18 c #Conflicts: 836000 | #Constraints: 55416
1693.01/1744.18 c #Conflicts: 837000 | #Constraints: 56419
1693.01/1744.18 c #Conflicts: 838000 | #Constraints: 57419
1693.01/1744.18 c #Conflicts: 839000 | #Constraints: 58420
1693.01/1744.18 c #Conflicts: 840000 | #Constraints: 59422
1693.01/1744.18 c #Conflicts: 841000 | #Constraints: 60422
1693.01/1744.18 c #Conflicts: 842000 | #Constraints: 61424
1693.01/1744.18 c #Conflicts: 843000 | #Constraints: 62433
1693.01/1744.18 c #Conflicts: 844000 | #Constraints: 63444
1693.01/1744.18 c #Conflicts: 845000 | #Constraints: 64450
1693.01/1744.18 c #Conflicts: 846000 | #Constraints: 65454
1693.01/1744.18 c INPROCESSING
1693.01/1744.18 c GARBAGE COLLECT
1693.01/1744.18 c rational objective 0
1728.09/1779.67 c #Conflicts: 847000 | #Constraints: 48242
1728.09/1779.67 c #Conflicts: 848000 | #Constraints: 49242
1728.09/1779.67 c #Conflicts: 849000 | #Constraints: 50243
1728.09/1779.67 c #Conflicts: 850000 | #Constraints: 51243
1728.09/1779.67 c #Conflicts: 851000 | #Constraints: 52243
1728.09/1779.67 c #Conflicts: 852000 | #Constraints: 53243
1728.09/1779.67 c #Conflicts: 853000 | #Constraints: 54243
1728.09/1779.67 c #Conflicts: 854000 | #Constraints: 55244
1728.09/1779.67 c #Conflicts: 855000 | #Constraints: 56247
1728.09/1779.67 c #Conflicts: 856000 | #Constraints: 57247
1728.09/1779.67 c #Conflicts: 857000 | #Constraints: 58247
1728.09/1779.67 c #Conflicts: 858000 | #Constraints: 59248
1728.09/1779.67 c #Conflicts: 859000 | #Constraints: 60248
1728.09/1779.67 c #Conflicts: 860000 | #Constraints: 61248
1728.09/1779.67 c #Conflicts: 861000 | #Constraints: 62249
1728.09/1779.67 c #Conflicts: 862000 | #Constraints: 63250
1728.09/1779.67 c #Conflicts: 863000 | #Constraints: 64252
1728.09/1779.67 c #Conflicts: 864000 | #Constraints: 65254
1728.09/1779.67 c #Conflicts: 865000 | #Constraints: 66255
1728.09/1779.67 c INPROCESSING
1728.09/1779.67 c GARBAGE COLLECT
1728.09/1779.67 c rational objective 0
1759.49/1811.40 c #Conflicts: 866000 | #Constraints: 48782
1759.49/1811.40 c #Conflicts: 867000 | #Constraints: 49782
1759.49/1811.40 c #Conflicts: 868000 | #Constraints: 50782
1759.49/1811.40 c #Conflicts: 869000 | #Constraints: 51782
1759.49/1811.40 c #Conflicts: 870000 | #Constraints: 52782
1759.49/1811.40 c #Conflicts: 871000 | #Constraints: 53782
1759.49/1811.40 c #Conflicts: 872000 | #Constraints: 54782
1759.49/1811.40 c #Conflicts: 873000 | #Constraints: 55782
1759.49/1811.40 c #Conflicts: 874000 | #Constraints: 56782
1759.49/1811.40 c #Conflicts: 875000 | #Constraints: 57782
1759.49/1811.40 c #Conflicts: 876000 | #Constraints: 58783
1759.49/1811.40 c #Conflicts: 877000 | #Constraints: 59783
1759.49/1811.40 c #Conflicts: 878000 | #Constraints: 60783
1759.49/1811.40 c #Conflicts: 879000 | #Constraints: 61785
1759.49/1811.40 c #Conflicts: 880000 | #Constraints: 62785
1759.49/1811.40 c #Conflicts: 881000 | #Constraints: 63786
1759.49/1811.40 c #Conflicts: 882000 | #Constraints: 64786
1759.49/1811.40 c #Conflicts: 883000 | #Constraints: 65786
1759.49/1811.40 c #Conflicts: 884000 | #Constraints: 66786
1759.49/1811.40 c INPROCESSING
1759.49/1811.40 c GARBAGE COLLECT
1759.49/1811.40 c rational objective 0
1794.14/1846.38 c #Conflicts: 885000 | #Constraints: 49192
1794.14/1846.38 c #Conflicts: 886000 | #Constraints: 50194
1794.14/1846.38 c #Conflicts: 887000 | #Constraints: 51196
1794.14/1846.38 c #Conflicts: 888000 | #Constraints: 52202
1794.14/1846.38 c #Conflicts: 889000 | #Constraints: 53213
1794.14/1846.38 c #Conflicts: 890000 | #Constraints: 54218
1794.14/1846.38 c #Conflicts: 891000 | #Constraints: 55218
1794.14/1846.38 c #Conflicts: 892000 | #Constraints: 56218
1794.14/1846.38 c #Conflicts: 893000 | #Constraints: 57219
1794.14/1846.38 c #Conflicts: 894000 | #Constraints: 58224
1794.14/1846.38 c #Conflicts: 895000 | #Constraints: 59232
1794.14/1846.38 c #Conflicts: 896000 | #Constraints: 60243
1794.14/1846.38 c #Conflicts: 897000 | #Constraints: 61246
1794.14/1846.38 c #Conflicts: 898000 | #Constraints: 62247
1794.14/1846.38 c #Conflicts: 899000 | #Constraints: 63247
1794.14/1846.38 c #Conflicts: 900000 | #Constraints: 64247
1794.14/1846.38 c #Conflicts: 901000 | #Constraints: 65247
1794.14/1846.38 c #Conflicts: 902000 | #Constraints: 66247
1794.14/1846.38 c #Conflicts: 903000 | #Constraints: 67247
1794.14/1846.38 c INPROCESSING
1794.14/1846.38 c GARBAGE COLLECT
1794.14/1846.38 c rational objective 0
1827.53/1880.04 c #Conflicts: 904000 | #Constraints: 49472
1827.53/1880.04 c #Conflicts: 905000 | #Constraints: 50472
1827.53/1880.04 c #Conflicts: 906000 | #Constraints: 51472
1827.53/1880.04 c #Conflicts: 907000 | #Constraints: 52473
1827.53/1880.04 c #Conflicts: 908000 | #Constraints: 53473
1827.53/1880.04 c #Conflicts: 909000 | #Constraints: 54474
1827.53/1880.04 c #Conflicts: 910000 | #Constraints: 55474
1827.53/1880.04 c #Conflicts: 911000 | #Constraints: 56475
1827.53/1880.04 c #Conflicts: 912000 | #Constraints: 57476
1827.53/1880.04 c #Conflicts: 913000 | #Constraints: 58479
1827.53/1880.04 c #Conflicts: 914000 | #Constraints: 59488
1827.53/1880.04 c #Conflicts: 915000 | #Constraints: 60491
1827.53/1880.04 c #Conflicts: 916000 | #Constraints: 61493
1827.53/1880.04 c #Conflicts: 917000 | #Constraints: 62493
1827.53/1880.04 c #Conflicts: 918000 | #Constraints: 63493
1827.53/1880.04 c #Conflicts: 919000 | #Constraints: 64493
1827.53/1880.04 c #Conflicts: 920000 | #Constraints: 65493
1827.53/1880.04 c #Conflicts: 921000 | #Constraints: 66493
1827.53/1880.04 c #Conflicts: 922000 | #Constraints: 67494
1827.53/1880.04 c INPROCESSING
1827.53/1880.04 c GARBAGE COLLECT
1827.53/1880.04 c rational objective 0
1860.38/1913.13 c #Conflicts: 923000 | #Constraints: 49461
1860.38/1913.13 c #Conflicts: 924000 | #Constraints: 50461
1860.38/1913.13 c #Conflicts: 925000 | #Constraints: 51461
1860.38/1913.13 c #Conflicts: 926000 | #Constraints: 52544
1860.38/1913.13 c #Conflicts: 927000 | #Constraints: 53544
1860.38/1913.13 c #Conflicts: 928000 | #Constraints: 54545
1860.38/1913.13 c #Conflicts: 929000 | #Constraints: 55548
1860.38/1913.13 c #Conflicts: 930000 | #Constraints: 56548
1860.38/1913.13 c #Conflicts: 931000 | #Constraints: 57548
1860.38/1913.13 c #Conflicts: 932000 | #Constraints: 58548
1860.38/1913.13 c #Conflicts: 933000 | #Constraints: 59548
1860.38/1913.13 c #Conflicts: 934000 | #Constraints: 60548
1860.38/1913.13 c #Conflicts: 935000 | #Constraints: 61548
1860.38/1913.13 c #Conflicts: 936000 | #Constraints: 62548
1860.38/1913.13 c #Conflicts: 937000 | #Constraints: 63554
1860.38/1913.13 c #Conflicts: 938000 | #Constraints: 64555
1860.38/1913.13 c #Conflicts: 939000 | #Constraints: 65555
1860.38/1913.13 c #Conflicts: 940000 | #Constraints: 66555
1860.38/1913.13 c #Conflicts: 941000 | #Constraints: 67555
1860.38/1913.13 c INPROCESSING
1860.38/1913.13 c GARBAGE COLLECT
1860.38/1913.13 c rational objective 0
1983.86/2037.69 c #Conflicts: 942000 | #Constraints: 49339
1983.86/2037.69 c #Conflicts: 943000 | #Constraints: 50340
1983.86/2037.69 c #Conflicts: 944000 | #Constraints: 51341
1983.86/2037.69 c #Conflicts: 945000 | #Constraints: 52342
1983.86/2037.69 c #Conflicts: 946000 | #Constraints: 53345
1983.86/2037.69 c #Conflicts: 947000 | #Constraints: 54349
1983.86/2037.69 c #Conflicts: 948000 | #Constraints: 55352
1983.86/2037.69 c #Conflicts: 949000 | #Constraints: 56354
1983.86/2037.69 c #Conflicts: 950000 | #Constraints: 57356
1983.86/2037.69 c #Conflicts: 951000 | #Constraints: 58356
1983.86/2037.69 c #Conflicts: 952000 | #Constraints: 59356
1983.86/2037.69 c #Conflicts: 953000 | #Constraints: 60360
1983.86/2037.69 c #Conflicts: 954000 | #Constraints: 61360
1983.86/2037.69 c #Conflicts: 955000 | #Constraints: 62360
1983.86/2037.69 c #Conflicts: 956000 | #Constraints: 63360
1983.86/2037.69 c #Conflicts: 957000 | #Constraints: 64521
1983.86/2037.69 c #Conflicts: 958000 | #Constraints: 65847
1983.86/2037.69 c #Conflicts: 959000 | #Constraints: 67214
1983.86/2037.69 c #Conflicts: 960000 | #Constraints: 68633
1983.86/2037.69 c #Conflicts: 961000 | #Constraints: 70016
1983.86/2037.69 c INPROCESSING
1983.86/2037.69 c GARBAGE COLLECT
1983.86/2037.69 c #Conflicts: 962000 | #Constraints: 50779
1983.86/2037.69 c #Conflicts: 963000 | #Constraints: 51779
1983.86/2037.69 c #Conflicts: 964000 | #Constraints: 52779
1983.86/2037.69 c #Conflicts: 965000 | #Constraints: 53779
1983.86/2037.69 c #Conflicts: 966000 | #Constraints: 54779
1983.86/2037.69 c #Conflicts: 967000 | #Constraints: 55779
1983.86/2037.69 c #Conflicts: 968000 | #Constraints: 56779
1983.86/2037.69 c #Conflicts: 969000 | #Constraints: 57779
1983.86/2037.69 c #Conflicts: 970000 | #Constraints: 58779
1983.86/2037.69 c #Conflicts: 971000 | #Constraints: 59779
1983.86/2037.69 c #Conflicts: 972000 | #Constraints: 60779
1983.86/2037.69 c #Conflicts: 973000 | #Constraints: 61779
1983.86/2037.69 c #Conflicts: 974000 | #Constraints: 62779
1983.86/2037.69 c #Conflicts: 975000 | #Constraints: 63779
1983.86/2037.69 c #Conflicts: 976000 | #Constraints: 64779
1983.86/2037.69 c #Conflicts: 977000 | #Constraints: 65779
1983.86/2037.69 c #Conflicts: 978000 | #Constraints: 66779
1983.86/2037.69 c #Conflicts: 979000 | #Constraints: 67779
1983.86/2037.69 c #Conflicts: 980000 | #Constraints: 68779
1983.86/2037.69 c #Conflicts: 981000 | #Constraints: 69779
1983.86/2037.69 c INPROCESSING
1983.86/2037.69 c GARBAGE COLLECT
1983.86/2037.69 c rational objective 0
2026.69/2080.70 c #Conflicts: 982000 | #Constraints: 50631
2026.69/2080.70 c #Conflicts: 983000 | #Constraints: 51631
2026.69/2080.70 c #Conflicts: 984000 | #Constraints: 52631
2026.69/2080.70 c #Conflicts: 985000 | #Constraints: 53631
2026.69/2080.70 c #Conflicts: 986000 | #Constraints: 54631
2026.69/2080.70 c #Conflicts: 987000 | #Constraints: 55631
2026.69/2080.70 c #Conflicts: 988000 | #Constraints: 56634
2026.69/2080.70 c #Conflicts: 989000 | #Constraints: 57638
2026.69/2080.70 c #Conflicts: 990000 | #Constraints: 58641
2026.69/2080.70 c #Conflicts: 991000 | #Constraints: 59644
2026.69/2080.70 c #Conflicts: 992000 | #Constraints: 60648
2026.69/2080.70 c #Conflicts: 993000 | #Constraints: 61653
2026.69/2080.70 c #Conflicts: 994000 | #Constraints: 62658
2026.69/2080.70 c #Conflicts: 995000 | #Constraints: 63661
2026.69/2080.70 c #Conflicts: 996000 | #Constraints: 64666
2026.69/2080.70 c #Conflicts: 997000 | #Constraints: 65669
2026.69/2080.70 c #Conflicts: 998000 | #Constraints: 66672
2026.69/2080.70 c #Conflicts: 999000 | #Constraints: 67674
2026.69/2080.70 c #Conflicts: 1000000 | #Constraints: 68675
2026.69/2080.70 c #Conflicts: 1001000 | #Constraints: 69681
2026.69/2080.70 c INPROCESSING
2026.69/2080.70 c GARBAGE COLLECT
2026.69/2080.70 c rational objective 0
2205.12/2260.40 c #Conflicts: 1002000 | #Constraints: 50588
2205.12/2260.40 c #Conflicts: 1003000 | #Constraints: 51588
2205.12/2260.40 c #Conflicts: 1004000 | #Constraints: 52588
2205.12/2260.40 c #Conflicts: 1005000 | #Constraints: 53588
2205.12/2260.40 c #Conflicts: 1006000 | #Constraints: 54589
2205.12/2260.40 c #Conflicts: 1007000 | #Constraints: 55590
2205.12/2260.40 c #Conflicts: 1008000 | #Constraints: 56590
2205.12/2260.40 c #Conflicts: 1009000 | #Constraints: 57591
2205.12/2260.40 c #Conflicts: 1010000 | #Constraints: 58594
2205.12/2260.40 c #Conflicts: 1011000 | #Constraints: 59598
2205.12/2260.40 c #Conflicts: 1012000 | #Constraints: 60604
2205.12/2260.40 c #Conflicts: 1013000 | #Constraints: 61605
2205.12/2260.40 c #Conflicts: 1014000 | #Constraints: 62605
2205.12/2260.40 c #Conflicts: 1015000 | #Constraints: 63610
2205.12/2260.40 c #Conflicts: 1016000 | #Constraints: 64617
2205.12/2260.40 c #Conflicts: 1017000 | #Constraints: 65619
2205.12/2260.40 c #Conflicts: 1018000 | #Constraints: 66622
2205.12/2260.40 c #Conflicts: 1019000 | #Constraints: 67624
2205.12/2260.40 c #Conflicts: 1020000 | #Constraints: 68624
2205.12/2260.40 c #Conflicts: 1021000 | #Constraints: 69624
2205.12/2260.40 c INPROCESSING
2205.12/2260.40 c GARBAGE COLLECT
2205.12/2260.40 c #Conflicts: 1022000 | #Constraints: 50447
2205.12/2260.40 c #Conflicts: 1023000 | #Constraints: 51447
2205.12/2260.40 c #Conflicts: 1024000 | #Constraints: 52447
2205.12/2260.40 c #Conflicts: 1025000 | #Constraints: 53447
2205.12/2260.40 c #Conflicts: 1026000 | #Constraints: 54447
2205.12/2260.40 c #Conflicts: 1027000 | #Constraints: 55447
2205.12/2260.40 c #Conflicts: 1028000 | #Constraints: 56447
2205.12/2260.40 c #Conflicts: 1029000 | #Constraints: 57447
2205.12/2260.40 c #Conflicts: 1030000 | #Constraints: 58447
2205.12/2260.40 c #Conflicts: 1031000 | #Constraints: 59447
2205.12/2260.40 c #Conflicts: 1032000 | #Constraints: 60447
2205.12/2260.40 c #Conflicts: 1033000 | #Constraints: 61448
2205.12/2260.40 c #Conflicts: 1034000 | #Constraints: 62454
2205.12/2260.40 c #Conflicts: 1035000 | #Constraints: 63461
2205.12/2260.40 c #Conflicts: 1036000 | #Constraints: 64463
2205.12/2260.40 c #Conflicts: 1037000 | #Constraints: 65606
2205.12/2260.40 c #Conflicts: 1038000 | #Constraints: 66987
2205.12/2260.40 c #Conflicts: 1039000 | #Constraints: 68309
2205.12/2260.40 c #Conflicts: 1040000 | #Constraints: 69690
2205.12/2260.40 c #Conflicts: 1041000 | #Constraints: 71088
2205.12/2260.40 c INPROCESSING
2205.12/2260.40 c GARBAGE COLLECT
2205.12/2260.40 c #Conflicts: 1042000 | #Constraints: 51135
2205.12/2260.40 c #Conflicts: 1043000 | #Constraints: 52135
2205.12/2260.40 c #Conflicts: 1044000 | #Constraints: 53135
2205.12/2260.40 c #Conflicts: 1045000 | #Constraints: 54135
2205.12/2260.40 c #Conflicts: 1046000 | #Constraints: 55135
2205.12/2260.40 c #Conflicts: 1047000 | #Constraints: 56135
2205.12/2260.40 c #Conflicts: 1048000 | #Constraints: 57135
2205.12/2260.40 c #Conflicts: 1049000 | #Constraints: 58135
2205.12/2260.40 c #Conflicts: 1050000 | #Constraints: 59135
2205.12/2260.40 c #Conflicts: 1051000 | #Constraints: 60135
2205.12/2260.40 c #Conflicts: 1052000 | #Constraints: 61135
2205.12/2260.40 c #Conflicts: 1053000 | #Constraints: 62135
2205.12/2260.40 c #Conflicts: 1054000 | #Constraints: 63135
2205.12/2260.40 c #Conflicts: 1055000 | #Constraints: 64135
2205.12/2260.40 c #Conflicts: 1056000 | #Constraints: 65135
2205.12/2260.40 c #Conflicts: 1057000 | #Constraints: 66135
2205.12/2260.40 c #Conflicts: 1058000 | #Constraints: 67135
2205.12/2260.40 c #Conflicts: 1059000 | #Constraints: 68135
2205.12/2260.40 c #Conflicts: 1060000 | #Constraints: 69135
2205.12/2260.40 c #Conflicts: 1061000 | #Constraints: 70135
2205.12/2260.40 c #Conflicts: 1062000 | #Constraints: 71135
2205.12/2260.40 c INPROCESSING
2205.12/2260.40 c GARBAGE COLLECT
2205.12/2260.40 c rational objective 0
2284.07/2344.74 c #Conflicts: 1063000 | #Constraints: 51249
2284.07/2344.74 c #Conflicts: 1064000 | #Constraints: 52249
2284.07/2344.74 c #Conflicts: 1065000 | #Constraints: 53249
2284.07/2344.74 c #Conflicts: 1066000 | #Constraints: 54249
2284.07/2344.74 c #Conflicts: 1067000 | #Constraints: 55249
2284.07/2344.74 c #Conflicts: 1068000 | #Constraints: 56249
2284.07/2344.74 c #Conflicts: 1069000 | #Constraints: 57249
2284.07/2344.74 c #Conflicts: 1070000 | #Constraints: 58249
2284.07/2344.74 c #Conflicts: 1071000 | #Constraints: 59253
2284.07/2344.74 c #Conflicts: 1072000 | #Constraints: 60254
2284.07/2344.74 c #Conflicts: 1073000 | #Constraints: 61255
2284.07/2344.74 c #Conflicts: 1074000 | #Constraints: 62260
2284.07/2344.74 c #Conflicts: 1075000 | #Constraints: 63268
2284.07/2344.74 c #Conflicts: 1076000 | #Constraints: 64273
2284.07/2344.74 c #Conflicts: 1077000 | #Constraints: 65276
2284.07/2344.74 c #Conflicts: 1078000 | #Constraints: 66281
2284.07/2344.74 c #Conflicts: 1079000 | #Constraints: 67285
2284.07/2344.74 c #Conflicts: 1080000 | #Constraints: 68289
2284.07/2344.74 c #Conflicts: 1081000 | #Constraints: 69291
2284.07/2344.74 c #Conflicts: 1082000 | #Constraints: 70300
2284.07/2344.74 c #Conflicts: 1083000 | #Constraints: 71305
2284.07/2344.74 c INPROCESSING
2284.07/2344.74 c GARBAGE COLLECT
2284.07/2344.74 c rational objective 0
2335.14/2396.09 c #Conflicts: 1084000 | #Constraints: 51430
2335.14/2396.09 c #Conflicts: 1085000 | #Constraints: 52430
2335.14/2396.09 c #Conflicts: 1086000 | #Constraints: 53430
2335.14/2396.09 c #Conflicts: 1087000 | #Constraints: 54430
2335.14/2396.09 c #Conflicts: 1088000 | #Constraints: 55430
2335.14/2396.09 c #Conflicts: 1089000 | #Constraints: 56431
2335.14/2396.09 c #Conflicts: 1090000 | #Constraints: 57432
2335.14/2396.09 c #Conflicts: 1091000 | #Constraints: 58436
2335.14/2396.09 c #Conflicts: 1092000 | #Constraints: 59443
2335.14/2396.09 c #Conflicts: 1093000 | #Constraints: 60447
2335.14/2396.09 c #Conflicts: 1094000 | #Constraints: 61455
2335.14/2396.09 c #Conflicts: 1095000 | #Constraints: 62462
2335.14/2396.09 c #Conflicts: 1096000 | #Constraints: 63470
2335.14/2396.09 c #Conflicts: 1097000 | #Constraints: 64475
2335.14/2396.09 c #Conflicts: 1098000 | #Constraints: 65481
2335.14/2396.09 c #Conflicts: 1099000 | #Constraints: 66484
2335.14/2396.09 c #Conflicts: 1100000 | #Constraints: 67490
2335.14/2396.09 c #Conflicts: 1101000 | #Constraints: 68498
2335.14/2396.09 c #Conflicts: 1102000 | #Constraints: 69504
2335.14/2396.09 c #Conflicts: 1103000 | #Constraints: 70511
2335.14/2396.09 c #Conflicts: 1104000 | #Constraints: 71520
2335.14/2396.09 c INPROCESSING
2335.14/2396.09 c GARBAGE COLLECT
2335.14/2396.09 c rational objective 0
2382.39/2443.58 c #Conflicts: 1105000 | #Constraints: 51507
2382.39/2443.58 c #Conflicts: 1106000 | #Constraints: 52507
2382.39/2443.58 c #Conflicts: 1107000 | #Constraints: 53507
2382.39/2443.58 c #Conflicts: 1108000 | #Constraints: 54507
2382.39/2443.58 c #Conflicts: 1109000 | #Constraints: 55507
2382.39/2443.58 c #Conflicts: 1110000 | #Constraints: 56507
2382.39/2443.58 c #Conflicts: 1111000 | #Constraints: 57507
2382.39/2443.58 c #Conflicts: 1112000 | #Constraints: 58507
2382.39/2443.58 c #Conflicts: 1113000 | #Constraints: 59518
2382.39/2443.58 c #Conflicts: 1114000 | #Constraints: 60527
2382.39/2443.58 c #Conflicts: 1115000 | #Constraints: 61527
2382.39/2443.58 c #Conflicts: 1116000 | #Constraints: 62528
2382.39/2443.58 c #Conflicts: 1117000 | #Constraints: 63534
2382.39/2443.58 c #Conflicts: 1118000 | #Constraints: 64540
2382.39/2443.58 c #Conflicts: 1119000 | #Constraints: 65542
2382.39/2443.58 c #Conflicts: 1120000 | #Constraints: 66545
2382.39/2443.58 c #Conflicts: 1121000 | #Constraints: 67549
2382.39/2443.58 c #Conflicts: 1122000 | #Constraints: 68554
2382.39/2443.58 c #Conflicts: 1123000 | #Constraints: 69557
2382.39/2443.58 c #Conflicts: 1124000 | #Constraints: 70558
2382.39/2443.58 c #Conflicts: 1125000 | #Constraints: 71559
2382.39/2443.58 c INPROCESSING
2382.39/2443.58 c GARBAGE COLLECT
2382.39/2443.58 c rational objective 0
2428.19/2489.59 c #Conflicts: 1126000 | #Constraints: 51421
2428.19/2489.59 c #Conflicts: 1127000 | #Constraints: 52421
2428.19/2489.59 c #Conflicts: 1128000 | #Constraints: 53421
2428.19/2489.59 c #Conflicts: 1129000 | #Constraints: 54421
2428.19/2489.59 c #Conflicts: 1130000 | #Constraints: 55422
2428.19/2489.59 c #Conflicts: 1131000 | #Constraints: 56423
2428.19/2489.59 c #Conflicts: 1132000 | #Constraints: 57426
2428.19/2489.59 c #Conflicts: 1133000 | #Constraints: 58432
2428.19/2489.59 c #Conflicts: 1134000 | #Constraints: 59434
2428.19/2489.59 c #Conflicts: 1135000 | #Constraints: 60436
2428.19/2489.59 c #Conflicts: 1136000 | #Constraints: 61437
2428.19/2489.59 c #Conflicts: 1137000 | #Constraints: 62437
2428.19/2489.59 c #Conflicts: 1138000 | #Constraints: 63437
2428.19/2489.59 c #Conflicts: 1139000 | #Constraints: 64437
2428.19/2489.59 c #Conflicts: 1140000 | #Constraints: 65437
2428.19/2489.59 c #Conflicts: 1141000 | #Constraints: 66439
2428.19/2489.59 c #Conflicts: 1142000 | #Constraints: 67439
2428.19/2489.59 c #Conflicts: 1143000 | #Constraints: 68439
2428.19/2489.59 c #Conflicts: 1144000 | #Constraints: 69439
2428.19/2489.59 c #Conflicts: 1145000 | #Constraints: 70439
2428.19/2489.59 c #Conflicts: 1146000 | #Constraints: 71439
2428.19/2489.59 c INPROCESSING
2428.19/2489.59 c GARBAGE COLLECT
2428.19/2489.59 c rational objective 0
2463.91/2525.68 c #Conflicts: 1147000 | #Constraints: 51230
2463.91/2525.68 c #Conflicts: 1148000 | #Constraints: 52231
2463.91/2525.68 c #Conflicts: 1149000 | #Constraints: 53233
2463.91/2525.68 c #Conflicts: 1150000 | #Constraints: 54234
2463.91/2525.68 c #Conflicts: 1151000 | #Constraints: 55234
2463.91/2525.68 c #Conflicts: 1152000 | #Constraints: 56234
2463.91/2525.68 c #Conflicts: 1153000 | #Constraints: 57234
2463.91/2525.68 c #Conflicts: 1154000 | #Constraints: 58234
2463.91/2525.68 c #Conflicts: 1155000 | #Constraints: 59234
2463.91/2525.68 c #Conflicts: 1156000 | #Constraints: 60235
2463.91/2525.68 c #Conflicts: 1157000 | #Constraints: 61236
2463.91/2525.68 c #Conflicts: 1158000 | #Constraints: 62236
2463.91/2525.68 c #Conflicts: 1159000 | #Constraints: 63237
2463.91/2525.68 c #Conflicts: 1160000 | #Constraints: 64237
2463.91/2525.68 c #Conflicts: 1161000 | #Constraints: 65238
2463.91/2525.68 c #Conflicts: 1162000 | #Constraints: 66239
2463.91/2525.68 c #Conflicts: 1163000 | #Constraints: 67239
2463.91/2525.68 c #Conflicts: 1164000 | #Constraints: 68239
2463.91/2525.68 c #Conflicts: 1165000 | #Constraints: 69240
2463.91/2525.68 c #Conflicts: 1166000 | #Constraints: 70241
2463.91/2525.68 c #Conflicts: 1167000 | #Constraints: 71241
2463.91/2525.68 c #Conflicts: 1168000 | #Constraints: 72241
2463.91/2525.68 c INPROCESSING
2463.91/2525.68 c GARBAGE COLLECT
2463.91/2525.68 c rational objective 0
2568.11/2635.53 c #Conflicts: 1169000 | #Constraints: 51828
2568.11/2635.53 c #Conflicts: 1170000 | #Constraints: 52828
2568.11/2635.53 c #Conflicts: 1171000 | #Constraints: 53828
2568.11/2635.53 c #Conflicts: 1172000 | #Constraints: 54828
2568.11/2635.53 c #Conflicts: 1173000 | #Constraints: 55828
2568.11/2635.53 c #Conflicts: 1174000 | #Constraints: 56828
2568.11/2635.53 c #Conflicts: 1175000 | #Constraints: 57828
2568.11/2635.53 c #Conflicts: 1176000 | #Constraints: 58829
2568.11/2635.53 c #Conflicts: 1177000 | #Constraints: 59829
2568.11/2635.53 c #Conflicts: 1178000 | #Constraints: 60830
2568.11/2635.53 c #Conflicts: 1179000 | #Constraints: 61830
2568.11/2635.53 c #Conflicts: 1180000 | #Constraints: 62830
2568.11/2635.53 c #Conflicts: 1181000 | #Constraints: 63832
2568.11/2635.53 c #Conflicts: 1182000 | #Constraints: 64834
2568.11/2635.53 c #Conflicts: 1183000 | #Constraints: 65835
2568.11/2635.53 c #Conflicts: 1184000 | #Constraints: 66837
2568.11/2635.53 c #Conflicts: 1185000 | #Constraints: 67838
2568.11/2635.53 c #Conflicts: 1186000 | #Constraints: 68839
2568.11/2635.53 c #Conflicts: 1187000 | #Constraints: 69842
2568.11/2635.53 c #Conflicts: 1188000 | #Constraints: 70854
2568.11/2635.53 c #Conflicts: 1189000 | #Constraints: 71854
2568.11/2635.53 c #Conflicts: 1190000 | #Constraints: 72972
2568.11/2635.53 c INPROCESSING
2568.11/2635.53 c GARBAGE COLLECT
2568.11/2635.53 c #Conflicts: 1191000 | #Constraints: 52238
2568.11/2635.53 c #Conflicts: 1192000 | #Constraints: 53241
2568.11/2635.53 c #Conflicts: 1193000 | #Constraints: 54245
2568.11/2635.53 c #Conflicts: 1194000 | #Constraints: 55252
2568.11/2635.53 c #Conflicts: 1195000 | #Constraints: 56261
2568.11/2635.53 c #Conflicts: 1196000 | #Constraints: 57263
2568.11/2635.53 c #Conflicts: 1197000 | #Constraints: 58264
2568.11/2635.53 c #Conflicts: 1198000 | #Constraints: 59265
2568.11/2635.53 c #Conflicts: 1199000 | #Constraints: 60265
2568.11/2635.53 c #Conflicts: 1200000 | #Constraints: 61265
2568.11/2635.53 c #Conflicts: 1201000 | #Constraints: 62267
2568.11/2635.53 c #Conflicts: 1202000 | #Constraints: 63269
2568.11/2635.53 c #Conflicts: 1203000 | #Constraints: 64271
2568.11/2635.53 c #Conflicts: 1204000 | #Constraints: 65272
2568.11/2635.53 c #Conflicts: 1205000 | #Constraints: 66275
2568.11/2635.53 c #Conflicts: 1206000 | #Constraints: 67275
2568.11/2635.53 c #Conflicts: 1207000 | #Constraints: 68275
2568.11/2635.53 c #Conflicts: 1208000 | #Constraints: 69275
2568.11/2635.53 c #Conflicts: 1209000 | #Constraints: 70275
2568.11/2635.53 c #Conflicts: 1210000 | #Constraints: 71275
2568.11/2635.53 c #Conflicts: 1211000 | #Constraints: 72275
2568.11/2635.53 c #Conflicts: 1212000 | #Constraints: 73276
2568.11/2635.53 c INPROCESSING
2568.11/2635.53 c GARBAGE COLLECT
2568.11/2635.53 c rational objective 0
2836.63/2910.86 c #Conflicts: 1213000 | #Constraints: 52424
2836.63/2910.86 c #Conflicts: 1214000 | #Constraints: 53426
2836.63/2910.86 c #Conflicts: 1215000 | #Constraints: 54428
2836.63/2910.86 c #Conflicts: 1216000 | #Constraints: 55432
2836.63/2910.86 c #Conflicts: 1217000 | #Constraints: 56432
2836.63/2910.86 c #Conflicts: 1218000 | #Constraints: 57432
2836.63/2910.86 c #Conflicts: 1219000 | #Constraints: 58432
2836.63/2910.86 c #Conflicts: 1220000 | #Constraints: 59432
2836.63/2910.86 c #Conflicts: 1221000 | #Constraints: 60432
2836.63/2910.86 c #Conflicts: 1222000 | #Constraints: 61432
2836.63/2910.86 c #Conflicts: 1223000 | #Constraints: 62437
2836.63/2910.86 c #Conflicts: 1224000 | #Constraints: 63438
2836.63/2910.86 c #Conflicts: 1225000 | #Constraints: 64439
2836.63/2910.86 c #Conflicts: 1226000 | #Constraints: 65447
2836.63/2910.86 c #Conflicts: 1227000 | #Constraints: 66449
2836.63/2910.86 c #Conflicts: 1228000 | #Constraints: 67456
2836.63/2910.86 c #Conflicts: 1229000 | #Constraints: 68463
2836.63/2910.86 c #Conflicts: 1230000 | #Constraints: 69464
2836.63/2910.86 c #Conflicts: 1231000 | #Constraints: 70468
2836.63/2910.86 c #Conflicts: 1232000 | #Constraints: 71476
2836.63/2910.86 c #Conflicts: 1233000 | #Constraints: 72483
2836.63/2910.86 c #Conflicts: 1234000 | #Constraints: 73484
2836.63/2910.86 c #Conflicts: 1235000 | #Constraints: 74487
2836.63/2910.86 c #Conflicts: 1236000 | #Constraints: 75491
2836.63/2910.86 c #Conflicts: 1237000 | #Constraints: 76498
2836.63/2910.86 c #Conflicts: 1238000 | #Constraints: 77500
2836.63/2910.86 c #Conflicts: 1239000 | #Constraints: 78500
2836.63/2910.86 c #Conflicts: 1240000 | #Constraints: 79500
2836.63/2910.86 c #Conflicts: 1241000 | #Constraints: 80500
2836.63/2910.86 c #Conflicts: 1242000 | #Constraints: 81500
2836.63/2910.86 c #Conflicts: 1243000 | #Constraints: 82501
2836.63/2910.86 c #Conflicts: 1244000 | #Constraints: 83501
2836.63/2910.86 c #Conflicts: 1245000 | #Constraints: 84501
2836.63/2910.86 c #Conflicts: 1246000 | #Constraints: 85501
2836.63/2910.86 c #Conflicts: 1247000 | #Constraints: 86502
2836.63/2910.86 c #Conflicts: 1248000 | #Constraints: 87503
2836.63/2910.86 c #Conflicts: 1249000 | #Constraints: 88504
2836.63/2910.86 c #Conflicts: 1250000 | #Constraints: 89506
2836.63/2910.86 c #Conflicts: 1251000 | #Constraints: 90506
2836.63/2910.86 c #Conflicts: 1252000 | #Constraints: 91506
2836.63/2910.86 c #Conflicts: 1253000 | #Constraints: 92506
2836.63/2910.86 c #Conflicts: 1254000 | #Constraints: 93506
2836.63/2910.86 c #Conflicts: 1255000 | #Constraints: 94507
2836.63/2910.86 c #Conflicts: 1256000 | #Constraints: 95507
2836.63/2910.86 c #Conflicts: 1257000 | #Constraints: 96508
2836.63/2910.86 c #Conflicts: 1258000 | #Constraints: 97550
2836.63/2910.86 c #Conflicts: 1259000 | #Constraints: 98550
2836.63/2910.86 c #Conflicts: 1260000 | #Constraints: 99550
2836.63/2910.86 c #Conflicts: 1261000 | #Constraints: 100550
2836.63/2910.86 c #Conflicts: 1262000 | #Constraints: 101550
2836.63/2910.86 c #Conflicts: 1263000 | #Constraints: 102550
2836.63/2910.86 c #Conflicts: 1264000 | #Constraints: 103550
2836.63/2910.86 c #Conflicts: 1265000 | #Constraints: 104550
2836.63/2910.86 c #Conflicts: 1266000 | #Constraints: 105593
2836.63/2910.86 c #Conflicts: 1267000 | #Constraints: 106738
2836.63/2910.86 c #Conflicts: 1268000 | #Constraints: 107738
2836.63/2910.86 c #Conflicts: 1269000 | #Constraints: 108738
2836.63/2910.86 c #Conflicts: 1270000 | #Constraints: 109738
2836.63/2910.86 c #Conflicts: 1271000 | #Constraints: 110738
2836.63/2910.86 c #Conflicts: 1272000 | #Constraints: 111738
2836.63/2910.86 c #Conflicts: 1273000 | #Constraints: 112738
2836.63/2910.86 c #Conflicts: 1274000 | #Constraints: 113738
2836.63/2910.86 c #Conflicts: 1275000 | #Constraints: 114754
2836.63/2910.86 c #Conflicts: 1276000 | #Constraints: 115805
2836.63/2910.86 c #Conflicts: 1277000 | #Constraints: 117098
2836.63/2910.86 c #Conflicts: 1278000 | #Constraints: 118478
2836.63/2910.86 c #Conflicts: 1279000 | #Constraints: 119820
2836.63/2910.86 c #Conflicts: 1280000 | #Constraints: 121139
2836.63/2910.86 c #Conflicts: 1281000 | #Constraints: 122548
2836.63/2910.86 c #Conflicts: 1282000 | #Constraints: 123919
2836.63/2910.86 c #Conflicts: 1283000 | #Constraints: 124919
2836.63/2910.86 c #Conflicts: 1284000 | #Constraints: 125919
2836.63/2910.86 c #Conflicts: 1285000 | #Constraints: 126919
2836.63/2910.86 c #Conflicts: 1286000 | #Constraints: 127919
2836.63/2910.86 c #Conflicts: 1287000 | #Constraints: 128919
2836.63/2910.86 c #Conflicts: 1288000 | #Constraints: 129919
2836.63/2910.86 c #Conflicts: 1289000 | #Constraints: 130919
2836.63/2910.86 c #Conflicts: 1290000 | #Constraints: 131919
2836.63/2910.86 c #Conflicts: 1291000 | #Constraints: 132919
2989.11/3063.72 c #Conflicts: 1292000 | #Constraints: 133919
2989.11/3063.72 c #Conflicts: 1293000 | #Constraints: 134919
2989.11/3063.72 c #Conflicts: 1294000 | #Constraints: 135919
2989.11/3063.72 c #Conflicts: 1295000 | #Constraints: 136920
2989.11/3063.72 c #Conflicts: 1296000 | #Constraints: 137921
2989.11/3063.72 c #Conflicts: 1297000 | #Constraints: 138922
2989.11/3063.72 c #Conflicts: 1298000 | #Constraints: 139922
2989.11/3063.72 c #Conflicts: 1299000 | #Constraints: 140922
2989.11/3063.72 c #Conflicts: 1300000 | #Constraints: 141922
2989.11/3063.72 c #Conflicts: 1301000 | #Constraints: 142922
2989.11/3063.72 c #Conflicts: 1302000 | #Constraints: 143922
2989.11/3063.72 c #Conflicts: 1303000 | #Constraints: 144922
2989.11/3063.72 c #Conflicts: 1304000 | #Constraints: 145923
2989.11/3063.72 c #Conflicts: 1305000 | #Constraints: 146923
2989.11/3063.72 c #Conflicts: 1306000 | #Constraints: 147923
2989.11/3063.72 c #Conflicts: 1307000 | #Constraints: 148925
2989.11/3063.72 c #Conflicts: 1308000 | #Constraints: 149926
2989.11/3063.72 c #Conflicts: 1309000 | #Constraints: 150929
2989.11/3063.72 c #Conflicts: 1310000 | #Constraints: 151933
2989.11/3063.72 c #Conflicts: 1311000 | #Constraints: 152935
2989.11/3063.72 c #Conflicts: 1312000 | #Constraints: 153936
2989.11/3063.72 c #Conflicts: 1313000 | #Constraints: 154938
2989.11/3063.72 c #Conflicts: 1314000 | #Constraints: 155938
2989.11/3063.72 c #Conflicts: 1315000 | #Constraints: 156938
2989.11/3063.72 c #Conflicts: 1316000 | #Constraints: 157938
2989.11/3063.72 c #Conflicts: 1317000 | #Constraints: 158939
2989.11/3063.72 c #Conflicts: 1318000 | #Constraints: 159940
2989.11/3063.72 c #Conflicts: 1319000 | #Constraints: 160945
2989.11/3063.72 c #Conflicts: 1320000 | #Constraints: 161947
2989.11/3063.72 c #Conflicts: 1321000 | #Constraints: 162951
2989.11/3063.72 c #Conflicts: 1322000 | #Constraints: 163952
2989.11/3063.72 c #Conflicts: 1323000 | #Constraints: 164952
2989.11/3063.72 c #Conflicts: 1324000 | #Constraints: 165954
2989.11/3063.72 c #Conflicts: 1325000 | #Constraints: 166954
2989.11/3063.72 c #Conflicts: 1326000 | #Constraints: 167955
2989.11/3063.72 c INPROCESSING
2989.11/3063.72 c GARBAGE COLLECT
2989.11/3063.72 c rational objective 0
3068.50/3143.70 c #Conflicts: 1327000 | #Constraints: 99832
3068.50/3143.70 c #Conflicts: 1328000 | #Constraints: 100832
3068.50/3143.70 c #Conflicts: 1329000 | #Constraints: 101832
3068.50/3143.70 c #Conflicts: 1330000 | #Constraints: 102834
3068.50/3143.70 c #Conflicts: 1331000 | #Constraints: 103839
3068.50/3143.70 c #Conflicts: 1332000 | #Constraints: 104846
3068.50/3143.70 c #Conflicts: 1333000 | #Constraints: 105850
3068.50/3143.70 c #Conflicts: 1334000 | #Constraints: 106854
3068.50/3143.70 c #Conflicts: 1335000 | #Constraints: 107855
3068.50/3143.70 c #Conflicts: 1336000 | #Constraints: 108861
3068.50/3143.70 c #Conflicts: 1337000 | #Constraints: 109863
3068.50/3143.70 c #Conflicts: 1338000 | #Constraints: 110871
3068.50/3143.70 c #Conflicts: 1339000 | #Constraints: 111873
3068.50/3143.70 c #Conflicts: 1340000 | #Constraints: 112876
3068.50/3143.70 c #Conflicts: 1341000 | #Constraints: 113882
3068.50/3143.70 c #Conflicts: 1342000 | #Constraints: 114883
3068.50/3143.70 c #Conflicts: 1343000 | #Constraints: 115884
3068.50/3143.70 c #Conflicts: 1344000 | #Constraints: 116898
3068.50/3143.70 c #Conflicts: 1345000 | #Constraints: 117903
3068.50/3143.70 c #Conflicts: 1346000 | #Constraints: 118905
3068.50/3143.70 c #Conflicts: 1347000 | #Constraints: 119912
3068.50/3143.70 c #Conflicts: 1348000 | #Constraints: 120917
3068.50/3143.70 c #Conflicts: 1349000 | #Constraints: 121923
3068.50/3143.70 c INPROCESSING
3068.50/3143.70 c GARBAGE COLLECT
3068.50/3143.70 c rational objective 0
3136.40/3211.92 c #Conflicts: 1350000 | #Constraints: 76669
3136.40/3211.92 c #Conflicts: 1351000 | #Constraints: 77669
3136.40/3211.92 c #Conflicts: 1352000 | #Constraints: 78669
3136.40/3211.92 c #Conflicts: 1353000 | #Constraints: 79669
3136.40/3211.92 c #Conflicts: 1354000 | #Constraints: 80669
3136.40/3211.92 c #Conflicts: 1355000 | #Constraints: 81669
3136.40/3211.92 c #Conflicts: 1356000 | #Constraints: 82670
3136.40/3211.92 c #Conflicts: 1357000 | #Constraints: 83670
3136.40/3211.92 c #Conflicts: 1358000 | #Constraints: 84675
3136.40/3211.92 c #Conflicts: 1359000 | #Constraints: 85679
3136.40/3211.92 c #Conflicts: 1360000 | #Constraints: 86690
3136.40/3211.92 c #Conflicts: 1361000 | #Constraints: 87701
3136.40/3211.92 c #Conflicts: 1362000 | #Constraints: 88704
3136.40/3211.92 c #Conflicts: 1363000 | #Constraints: 89704
3136.40/3211.92 c #Conflicts: 1364000 | #Constraints: 90704
3136.40/3211.92 c #Conflicts: 1365000 | #Constraints: 91704
3136.40/3211.92 c #Conflicts: 1366000 | #Constraints: 92706
3136.40/3211.92 c #Conflicts: 1367000 | #Constraints: 93707
3136.40/3211.92 c #Conflicts: 1368000 | #Constraints: 94708
3136.40/3211.92 c #Conflicts: 1369000 | #Constraints: 95709
3136.40/3211.92 c #Conflicts: 1370000 | #Constraints: 96710
3136.40/3211.92 c #Conflicts: 1371000 | #Constraints: 97712
3136.40/3211.92 c #Conflicts: 1372000 | #Constraints: 98715
3136.40/3211.92 c INPROCESSING
3136.40/3211.92 c GARBAGE COLLECT
3136.40/3211.92 c rational objective 0
3188.97/3264.72 c #Conflicts: 1373000 | #Constraints: 64760
3188.97/3264.72 c #Conflicts: 1374000 | #Constraints: 65762
3188.97/3264.72 c #Conflicts: 1375000 | #Constraints: 66762
3188.97/3264.72 c #Conflicts: 1376000 | #Constraints: 67763
3188.97/3264.72 c #Conflicts: 1377000 | #Constraints: 68766
3188.97/3264.72 c #Conflicts: 1378000 | #Constraints: 69766
3188.97/3264.72 c #Conflicts: 1379000 | #Constraints: 70766
3188.97/3264.72 c #Conflicts: 1380000 | #Constraints: 71767
3188.97/3264.72 c #Conflicts: 1381000 | #Constraints: 72771
3188.97/3264.72 c #Conflicts: 1382000 | #Constraints: 73774
3188.97/3264.72 c #Conflicts: 1383000 | #Constraints: 74774
3188.97/3264.72 c #Conflicts: 1384000 | #Constraints: 75774
3188.97/3264.72 c #Conflicts: 1385000 | #Constraints: 76774
3188.97/3264.72 c #Conflicts: 1386000 | #Constraints: 77774
3188.97/3264.72 c #Conflicts: 1387000 | #Constraints: 78774
3188.97/3264.72 c #Conflicts: 1388000 | #Constraints: 79774
3188.97/3264.72 c #Conflicts: 1389000 | #Constraints: 80775
3188.97/3264.72 c #Conflicts: 1390000 | #Constraints: 81776
3188.97/3264.72 c #Conflicts: 1391000 | #Constraints: 82778
3188.97/3264.72 c #Conflicts: 1392000 | #Constraints: 83779
3188.97/3264.72 c #Conflicts: 1393000 | #Constraints: 84782
3188.97/3264.72 c #Conflicts: 1394000 | #Constraints: 85783
3188.97/3264.72 c #Conflicts: 1395000 | #Constraints: 86785
3188.97/3264.72 c #Conflicts: 1396000 | #Constraints: 87786
3188.97/3264.72 c INPROCESSING
3188.97/3264.72 c GARBAGE COLLECT
3188.97/3264.72 c rational objective 0
3237.95/3313.96 c #Conflicts: 1397000 | #Constraints: 59444
3237.95/3313.96 c #Conflicts: 1398000 | #Constraints: 60448
3237.95/3313.96 c #Conflicts: 1399000 | #Constraints: 61451
3237.95/3313.96 c #Conflicts: 1400000 | #Constraints: 62454
3237.95/3313.96 c #Conflicts: 1401000 | #Constraints: 63454
3237.95/3313.96 c #Conflicts: 1402000 | #Constraints: 64454
3237.95/3313.96 c #Conflicts: 1403000 | #Constraints: 65454
3237.95/3313.96 c #Conflicts: 1404000 | #Constraints: 66454
3237.95/3313.96 c #Conflicts: 1405000 | #Constraints: 67454
3237.95/3313.96 c #Conflicts: 1406000 | #Constraints: 68454
3237.95/3313.96 c #Conflicts: 1407000 | #Constraints: 69454
3237.95/3313.96 c #Conflicts: 1408000 | #Constraints: 70455
3237.95/3313.96 c #Conflicts: 1409000 | #Constraints: 71459
3237.95/3313.96 c #Conflicts: 1410000 | #Constraints: 72468
3237.95/3313.96 c #Conflicts: 1411000 | #Constraints: 73473
3237.95/3313.96 c #Conflicts: 1412000 | #Constraints: 74474
3237.95/3313.96 c #Conflicts: 1413000 | #Constraints: 75474
3237.95/3313.96 c #Conflicts: 1414000 | #Constraints: 76474
3237.95/3313.96 c #Conflicts: 1415000 | #Constraints: 77474
3237.95/3313.96 c #Conflicts: 1416000 | #Constraints: 78474
3237.95/3313.96 c #Conflicts: 1417000 | #Constraints: 79475
3237.95/3313.96 c #Conflicts: 1418000 | #Constraints: 80475
3237.95/3313.96 c #Conflicts: 1419000 | #Constraints: 81475
3237.95/3313.96 c #Conflicts: 1420000 | #Constraints: 82475
3237.95/3313.96 c INPROCESSING
3237.95/3313.96 c GARBAGE COLLECT
3237.95/3313.96 c rational objective 0
3284.26/3365.91 c #Conflicts: 1421000 | #Constraints: 56944
3284.26/3365.91 c #Conflicts: 1422000 | #Constraints: 57946
3284.26/3365.91 c #Conflicts: 1423000 | #Constraints: 58949
3284.26/3365.91 c #Conflicts: 1424000 | #Constraints: 59949
3284.26/3365.91 c #Conflicts: 1425000 | #Constraints: 60949
3284.26/3365.91 c #Conflicts: 1426000 | #Constraints: 61949
3284.26/3365.91 c #Conflicts: 1427000 | #Constraints: 62949
3284.26/3365.91 c #Conflicts: 1428000 | #Constraints: 63949
3284.26/3365.91 c #Conflicts: 1429000 | #Constraints: 64949
3284.26/3365.91 c #Conflicts: 1430000 | #Constraints: 65949
3284.26/3365.91 c #Conflicts: 1431000 | #Constraints: 66949
3284.26/3365.91 c #Conflicts: 1432000 | #Constraints: 67949
3284.26/3365.91 c #Conflicts: 1433000 | #Constraints: 68949
3284.26/3365.91 c #Conflicts: 1434000 | #Constraints: 69955
3284.26/3365.91 c #Conflicts: 1435000 | #Constraints: 70961
3284.26/3365.91 c #Conflicts: 1436000 | #Constraints: 71961
3284.26/3365.91 c #Conflicts: 1437000 | #Constraints: 72961
3284.26/3365.91 c #Conflicts: 1438000 | #Constraints: 73961
3284.26/3365.91 c #Conflicts: 1439000 | #Constraints: 74961
3284.26/3365.91 c #Conflicts: 1440000 | #Constraints: 75961
3284.26/3365.91 c #Conflicts: 1441000 | #Constraints: 76961
3284.26/3365.91 c #Conflicts: 1442000 | #Constraints: 77961
3284.26/3365.91 c #Conflicts: 1443000 | #Constraints: 78961
3284.26/3365.91 c #Conflicts: 1444000 | #Constraints: 79961
3284.26/3365.91 c INPROCESSING
3284.26/3365.91 c GARBAGE COLLECT
3284.26/3365.91 c rational objective 0
3346.40/3428.38 c #Conflicts: 1445000 | #Constraints: 55573
3346.40/3428.38 c #Conflicts: 1446000 | #Constraints: 56577
3346.40/3428.38 c #Conflicts: 1447000 | #Constraints: 57577
3346.40/3428.38 c #Conflicts: 1448000 | #Constraints: 58577
3346.40/3428.38 c #Conflicts: 1449000 | #Constraints: 59577
3346.40/3428.38 c #Conflicts: 1450000 | #Constraints: 60577
3346.40/3428.38 c #Conflicts: 1451000 | #Constraints: 61577
3346.40/3428.38 c #Conflicts: 1452000 | #Constraints: 62577
3346.40/3428.38 c #Conflicts: 1453000 | #Constraints: 63578
3346.40/3428.38 c #Conflicts: 1454000 | #Constraints: 64581
3346.40/3428.38 c #Conflicts: 1455000 | #Constraints: 65589
3346.40/3428.38 c #Conflicts: 1456000 | #Constraints: 66594
3346.40/3428.38 c #Conflicts: 1457000 | #Constraints: 67595
3346.40/3428.38 c #Conflicts: 1458000 | #Constraints: 68596
3346.40/3428.38 c #Conflicts: 1459000 | #Constraints: 69596
3346.40/3428.38 c #Conflicts: 1460000 | #Constraints: 70596
3346.40/3428.38 c #Conflicts: 1461000 | #Constraints: 71596
3346.40/3428.38 c #Conflicts: 1462000 | #Constraints: 72596
3346.40/3428.38 c #Conflicts: 1463000 | #Constraints: 73597
3346.40/3428.38 c #Conflicts: 1464000 | #Constraints: 74597
3346.40/3428.38 c #Conflicts: 1465000 | #Constraints: 75597
3346.40/3428.38 c #Conflicts: 1466000 | #Constraints: 76597
3346.40/3428.38 c #Conflicts: 1467000 | #Constraints: 77597
3346.40/3428.38 c #Conflicts: 1468000 | #Constraints: 78597
3346.40/3428.38 c INPROCESSING
3346.40/3428.38 c GARBAGE COLLECT
3346.40/3428.38 c rational objective 0
3573.91/3662.47 c #Conflicts: 1469000 | #Constraints: 54765
3573.91/3662.47 c #Conflicts: 1470000 | #Constraints: 55765
3573.91/3662.47 c #Conflicts: 1471000 | #Constraints: 56765
3573.91/3662.47 c #Conflicts: 1472000 | #Constraints: 57765
3573.91/3662.47 c #Conflicts: 1473000 | #Constraints: 58765
3573.91/3662.47 c #Conflicts: 1474000 | #Constraints: 59765
3573.91/3662.47 c #Conflicts: 1475000 | #Constraints: 60765
3573.91/3662.47 c #Conflicts: 1476000 | #Constraints: 61765
3573.91/3662.47 c #Conflicts: 1477000 | #Constraints: 62765
3573.91/3662.47 c #Conflicts: 1478000 | #Constraints: 63765
3573.91/3662.47 c #Conflicts: 1479000 | #Constraints: 64765
3573.91/3662.47 c #Conflicts: 1480000 | #Constraints: 65765
3573.91/3662.47 c #Conflicts: 1481000 | #Constraints: 66766
3573.91/3662.47 c #Conflicts: 1482000 | #Constraints: 67767
3573.91/3662.47 c #Conflicts: 1483000 | #Constraints: 68767
3573.91/3662.47 c #Conflicts: 1484000 | #Constraints: 69768
3573.91/3662.47 c #Conflicts: 1485000 | #Constraints: 70768
3573.91/3662.47 c #Conflicts: 1486000 | #Constraints: 71768
3573.91/3662.47 c #Conflicts: 1487000 | #Constraints: 72770
3573.91/3662.47 c #Conflicts: 1488000 | #Constraints: 73777
3573.91/3662.47 c #Conflicts: 1489000 | #Constraints: 74778
3573.91/3662.47 c #Conflicts: 1490000 | #Constraints: 75778
3573.91/3662.47 c #Conflicts: 1491000 | #Constraints: 76780
3573.91/3662.47 c #Conflicts: 1492000 | #Constraints: 77780
3573.91/3662.47 c #Conflicts: 1493000 | #Constraints: 78781
3573.91/3662.47 c #Conflicts: 1494000 | #Constraints: 79783
3573.91/3662.47 c #Conflicts: 1495000 | #Constraints: 80784
3573.91/3662.47 c #Conflicts: 1496000 | #Constraints: 81787
3573.91/3662.47 c #Conflicts: 1497000 | #Constraints: 82789
3573.91/3662.47 c #Conflicts: 1498000 | #Constraints: 83789
3573.91/3662.47 c #Conflicts: 1499000 | #Constraints: 84789
3573.91/3662.47 c #Conflicts: 1500000 | #Constraints: 85789
3573.91/3662.47 c #Conflicts: 1501000 | #Constraints: 86789
3573.91/3662.47 c #Conflicts: 1502000 | #Constraints: 87789
3573.91/3662.47 c #Conflicts: 1503000 | #Constraints: 88789
3573.91/3662.47 c #Conflicts: 1504000 | #Constraints: 89790
3573.91/3662.47 c #Conflicts: 1505000 | #Constraints: 90792
3573.91/3662.47 c #Conflicts: 1506000 | #Constraints: 91792
3573.91/3662.47 c #Conflicts: 1507000 | #Constraints: 92792
3573.91/3662.47 c #Conflicts: 1508000 | #Constraints: 93792
3573.91/3662.47 c #Conflicts: 1509000 | #Constraints: 94792
3573.91/3662.47 c #Conflicts: 1510000 | #Constraints: 95793
3573.91/3662.47 c #Conflicts: 1511000 | #Constraints: 96794
3573.91/3662.47 c #Conflicts: 1512000 | #Constraints: 97794
3573.91/3662.47 c #Conflicts: 1513000 | #Constraints: 98794
3573.91/3662.47 c #Conflicts: 1514000 | #Constraints: 99795
3573.91/3662.47 c #Conflicts: 1515000 | #Constraints: 100796
3573.91/3662.47 c #Conflicts: 1516000 | #Constraints: 101798
3573.91/3662.47 c #Conflicts: 1517000 | #Constraints: 102799
3573.91/3662.47 c #Conflicts: 1518000 | #Constraints: 103800
3573.91/3662.47 c #Conflicts: 1519000 | #Constraints: 104802
3573.91/3662.47 c #Conflicts: 1520000 | #Constraints: 105804
3573.91/3662.47 c #Conflicts: 1521000 | #Constraints: 106805
3573.91/3662.47 c #Conflicts: 1522000 | #Constraints: 107808
3573.91/3662.47 c #Conflicts: 1523000 | #Constraints: 108810
3573.91/3662.47 c #Conflicts: 1524000 | #Constraints: 109811
3573.91/3662.47 c #Conflicts: 1525000 | #Constraints: 110815
3573.91/3662.47 c #Conflicts: 1526000 | #Constraints: 111815
3573.91/3662.47 c #Conflicts: 1527000 | #Constraints: 112815
3573.91/3662.47 c #Conflicts: 1528000 | #Constraints: 113815
3573.91/3662.47 c #Conflicts: 1529000 | #Constraints: 114815
3573.91/3662.47 c #Conflicts: 1530000 | #Constraints: 115815
3573.91/3662.47 c #Conflicts: 1531000 | #Constraints: 116815
3573.91/3662.47 c #Conflicts: 1532000 | #Constraints: 117815
3573.91/3662.47 c #Conflicts: 1533000 | #Constraints: 118816
3573.91/3662.47 c #Conflicts: 1534000 | #Constraints: 119817
3573.91/3662.47 c #Conflicts: 1535000 | #Constraints: 120819
3573.91/3662.47 c #Conflicts: 1536000 | #Constraints: 121821
3573.91/3662.47 c #Conflicts: 1537000 | #Constraints: 122822
3573.91/3662.47 c #Conflicts: 1538000 | #Constraints: 123823
3573.91/3662.47 c #Conflicts: 1539000 | #Constraints: 124823
3573.91/3662.47 c #Conflicts: 1540000 | #Constraints: 125823
3573.91/3662.47 c #Conflicts: 1541000 | #Constraints: 126823
3573.91/3662.47 c #Conflicts: 1542000 | #Constraints: 127823
3573.91/3662.47 c #Conflicts: 1543000 | #Constraints: 128823
3573.91/3662.47 c #Conflicts: 1544000 | #Constraints: 129823
3573.91/3662.47 c #Conflicts: 1545000 | #Constraints: 130824
3573.91/3662.47 c #Conflicts: 1546000 | #Constraints: 131824
3573.91/3662.47 c #Conflicts: 1547000 | #Constraints: 132825
3600.01/3688.60 c #Conflicts: 1548000 | #Constraints: 133825
3600.01/3688.60 c #Conflicts: 1549000 | #Constraints: 134831
3600.01/3688.60 c #Conflicts: 1550000 | #Constraints: 135834
3600.01/3688.60 c #Conflicts: 1551000 | #Constraints: 136835
3600.01/3688.60 c #Conflicts: 1552000 | #Constraints: 137835
3600.01/3688.60 c #Conflicts: 1553000 | #Constraints: 138836
3600.01/3688.60 c #Conflicts: 1554000 | #Constraints: 139838
3600.01/3688.60 c cpu time 3560.35 s
3600.01/3688.60 c deterministic time 294096496823 2.94e+11
3600.01/3688.60 c optimization time 249.39 s
3600.01/3688.60 c total solve time 3310.8 s
3600.01/3688.60 c core-guided solve time 1697.14 s
3600.01/3688.60 c propagation time 1933.77 s
3600.01/3688.60 c conflict analysis time 1188.22 s
3600.01/3688.60 c propagations 1000246187
3600.01/3688.60 c resolve steps 60656881
3600.01/3688.60 c decisions 25168803
3600.01/3688.60 c conflicts 1554879
3600.01/3688.60 c restarts 3066
3600.01/3688.60 c inprocessing phases 108
3600.01/3688.60 c garbage collections 108 ,( 100.00 )
3600.01/3688.60 c input clauses 6553 ,( 22.63 )
3600.01/3688.60 c input cardinalities 112 ,( 0.39 )
3600.01/3688.60 c input general constraints 22288 ,( 76.98 )
3600.01/3688.60 c input average constraint length 4.61
3600.01/3688.60 c input average constraint degree 8.19
3600.01/3688.60 c learned clauses 599376 ,( 38.25 )
3600.01/3688.60 c learned cardinalities 132204 ,( 8.44 )
3600.01/3688.60 c learned general constraints 835467 ,( 53.31 )
3600.01/3688.60 c learned average constraint length 1843.54
3600.01/3688.60 c learned average constraint degree 975482122.76
3600.01/3688.60 c watched CF 32, 64, 128, Arb: 757206 , 0 , 0 , 0
3600.01/3688.60 c counting CF 32, 64, 128, Arb: 100550 , 0 , 0 , 0
3600.01/3688.60 c watched constraints 757206 ,( 88.28 )
3600.01/3688.60 c counting constraints 100549 ,( 11.72 )
3600.01/3688.60 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 369196245 , 615529109 , 2605900090 ,( 746899478 , 1859000612 )
3600.01/3688.60 c gcd simplifications 146520
3600.01/3688.60 c detected cardinalities 3622
3600.01/3688.60 c weakened non-implied lits 366054325
3600.01/3688.60 c weakened non-implying lits 544659
3600.01/3688.60 c original variables 35169
3600.01/3688.60 c clausal propagations 154050557
3600.01/3688.60 c cardinality propagations 155950398
3600.01/3688.60 c watched propagations 82844428
3600.01/3688.60 c counting propagations 571586939
3600.01/3688.60 c watch lookups 34992602422
3600.01/3688.60 c watch backjump lookups 0
3600.01/3688.60 c watch checks 198684518430
3600.01/3688.60 c propagation checks 52349957735
3600.01/3688.60 c constraint additions 6014998704
3600.01/3688.60 c trail pops 1026934317
3600.01/3688.60 c formula constraints 28953
3600.01/3688.60 c learned constraints 1553058
3600.01/3688.60 c bound constraints 0
3600.01/3688.60 c core-guided constraints 0
3600.01/3688.60 c encountered formula constraints 56745643
3600.01/3688.60 c encountered learned constraints 5195167
3600.01/3688.60 c encountered bound constraints 0
3600.01/3688.60 c encountered core-guided constraints 0
3600.01/3688.60 c LP total time 708.33 s
3600.01/3688.60 c LP solve time 594.22 s
3600.01/3688.60 c LP constraints added 36352
3600.01/3688.60 c LP constraints removed 7308
3600.01/3688.60 c LP pivots internal 1554584
3600.01/3688.60 c LP pivots root 515640
3600.01/3688.60 c LP calls 11433
3600.01/3688.60 c LP optimalities 2004
3600.01/3688.60 c LP no pivot count 789
3600.01/3688.60 c LP infeasibilities 9413
3600.01/3688.60 c LP valid Farkas constraints 9390
3600.01/3688.60 c LP learned Farkas constraints 1820
3600.01/3688.60 c LP basis resets 34
3600.01/3688.60 c LP cycling count 11
3600.01/3688.60 c LP singular count 0
3600.01/3688.60 c LP no primal count 0
3600.01/3688.60 c LP no farkas count 23
3600.01/3688.60 c LP other issue count 0
3600.01/3688.60 c LP Gomory cuts 2779
3600.01/3688.60 c LP learned cuts 4620
3600.01/3688.60 c LP deleted cuts 7308
3600.01/3688.60 c LP encountered Gomory constraints 187757
3600.01/3688.60 c LP encountered Farkas constraints 72354
3600.01/3688.60 c LP encountered learned Farkas constraints 9019
3600.01/3688.60 c CG auxiliary variables introduced 0
3600.01/3688.60 c CG solutions found 0
3600.01/3688.60 c CG cores constructed 0
3600.01/3688.60 c CG core cardinality constraints returned 0
3600.01/3688.60 c CG unit cores 0
3600.01/3688.60 c CG single cores 0
3600.01/3688.60 c CG blocks removed during cardinality reduction 0
3600.01/3688.60 c CG first core best 0
3600.01/3688.60 c CG decision core best 0
3600.01/3688.60 c CG core reduction tie 0
3600.01/3688.60 c CG core degree average 0.00
3600.01/3688.60 c CG core slack average 0.00
3600.01/3688.60 c CG core upper bound improvements 0
3600.01/3688.60 c STR number of successful calls 0
3600.01/3688.60 c STR number of unsuccessful calls 0
3600.01/3688.60 c STR number of inconclusive calls 0
3600.01/3688.60 c STR number of successful attempts 0
3600.01/3688.60 c STR number of unsuccessful attempts 0
3600.01/3688.60 c STR number of inconclusive attempts 0
3600.01/3688.60 c STR average degree increase per successful call inf
3600.01/3688.60 c STR average degree increase per successful attempt inf
3600.01/3688.60 c STR total number of conflicts for successful attempts 0
3600.01/3688.60 c STR total number of conflicts for unsuccessful attempts 0
3600.01/3688.60 c STR total number of conflicts for inconclusive attempts 0
3600.01/3688.60 c STR average number of conflicts per successful attempt inf
3600.01/3688.60 c STR average number of conflicts per unsuccessful attempt inf
3600.01/3688.60 c STR average number of conflicts per inconclusive attempt inf
3600.01/3688.60 c AVG.sumWPerc 19.84
3600.01/3688.60 c bigint constraints 0
3600.01/3688.60 s UNKNOWN
3600.01/3688.60 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (17570 MiB free)
memory of node 1: 64507 MiB (241 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4523981-1751598397/watcher-4523981-1751598397 -o /tmp/evaluation-result-4523981-1751598397/solver-4523981-1751598397 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751591121-84566 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4523981-1751598397.opb PROOFDIR/proof-4523981-1751598397
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=86065, runsolver pid=86062
[startup+0.10006 s]*
/proc/loadavg: 4.34 4.19 4.16 5/272 86067
/proc/meminfo: memFree=18185612/131249996 swapFree=33010416/33010684
[pid=86065] ppid=86062 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/86065/stat : 86065 (run-opt-break-l) S 86062 86065 84555 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 75517490 4292608 736 18446744073709551615 94678044553216 94678045447749 140736803047120 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94678045686800 94678045734544 94678049914880 140736803051797 140736803051998 140736803051998 140736803057600 0
/proc/86065/statm: 1048 736 672 219 0 110 0
[pid=86067] ppid=86065 vsize=59952 memory=40032 CPUtime=0.06 cores=4,6
/proc/86067/stat : 86067 (pbsuma) R 86065 86065 84555 0 -1 4194304 10464 0 0 0 5 1 0 0 20 0 1 0 75517491 61390848 10008 18446744073709551615 4210688 4653049 140721094385664 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 28213248 140721094387939 140721094388274 140721094388274 140721094393839 0
/proc/86067/statm: 14988 10008 1024 108 0 12396 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 64144 KiB
Current children cumulated memory: 42976 KiB
[startup+0.2057 s]*
/proc/loadavg: 4.34 4.19 4.16 6/272 86067
/proc/meminfo: memFree=18169484/131249996 swapFree=33010416/33010684
[pid=86065] ppid=86062 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/86065/stat : 86065 (run-opt-break-l) S 86062 86065 84555 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 75517490 4292608 736 18446744073709551615 94678044553216 94678045447749 140736803047120 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94678045686800 94678045734544 94678049914880 140736803051797 140736803051998 140736803051998 140736803057600 0
/proc/86065/statm: 1048 736 672 219 0 110 0
[pid=86067] ppid=86065 vsize=61276 memory=43232 CPUtime=0.17 cores=4,6
/proc/86067/stat : 86067 (pbsuma) R 86065 86065 84555 0 -1 4194304 11280 0 0 0 15 2 0 0 20 0 1 0 75517491 62746624 10808 18446744073709551615 4210688 4653049 140721094385664 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 28213248 140721094387939 140721094388274 140721094388274 140721094393839 0
/proc/86067/statm: 15319 10808 1024 108 0 12727 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 65468 KiB
Current children cumulated memory: 46176 KiB
[startup+0.305626 s]*
/proc/loadavg: 4.34 4.19 4.16 5/272 86067
/proc/meminfo: memFree=18151340/131249996 swapFree=33010416/33010684
[pid=86065] ppid=86062 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/86065/stat : 86065 (run-opt-break-l) S 86062 86065 84555 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 75517490 4292608 736 18446744073709551615 94678044553216 94678045447749 140736803047120 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94678045686800 94678045734544 94678049914880 140736803051797 140736803051998 140736803051998 140736803057600 0
/proc/86065/statm: 1048 736 672 219 0 110 0
[pid=86067] ppid=86065 vsize=61276 memory=43232 CPUtime=0.27 cores=4,6
/proc/86067/stat : 86067 (pbsuma) R 86065 86065 84555 0 -1 4194304 11280 0 0 0 25 2 0 0 20 0 1 0 75517491 62746624 10808 18446744073709551615 4210688 4653049 140721094385664 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 28213248 140721094387939 140721094388274 140721094388274 140721094393839 0
/proc/86067/statm: 15319 10808 1024 108 0 12727 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 65468 KiB
Current children cumulated memory: 46176 KiB
[startup+0.70017 s]
/proc/loadavg: 4.34 4.19 4.16 5/272 86067
/proc/meminfo: memFree=18135212/131249996 swapFree=33010416/33010684
[pid=86065] ppid=86062 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/86065/stat : 86065 (run-opt-break-l) S 86062 86065 84555 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 75517490 4292608 736 18446744073709551615 94678044553216 94678045447749 140736803047120 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94678045686800 94678045734544 94678049914880 140736803051797 140736803051998 140736803051998 140736803057600 0
/proc/86065/statm: 1048 736 672 219 0 110 0
[pid=86067] ppid=86065 vsize=61276 memory=43232 CPUtime=0.66 cores=4,6
/proc/86067/stat : 86067 (pbsuma) R 86065 86065 84555 0 -1 4194304 11280 0 0 0 64 2 0 0 20 0 1 0 75517491 62746624 10808 18446744073709551615 4210688 4653049 140721094385664 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 28213248 140721094387939 140721094388274 140721094388274 140721094393839 0
/proc/86067/statm: 15319 10808 1024 108 0 12727 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 65468 KiB
Current children cumulated memory: 46176 KiB
[startup+1.5002 s]
/proc/loadavg: 4.34 4.19 4.16 5/272 86067
/proc/meminfo: memFree=18094936/131249996 swapFree=33010416/33010684
[pid=86065] ppid=86062 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/86065/stat : 86065 (run-opt-break-l) S 86062 86065 84555 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 75517490 4292608 736 18446744073709551615 94678044553216 94678045447749 140736803047120 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94678045686800 94678045734544 94678049914880 140736803051797 140736803051998 140736803051998 140736803057600 0
/proc/86065/statm: 1048 736 672 219 0 110 0
[pid=86067] ppid=86065 vsize=95472 memory=69252 CPUtime=1.46 cores=4,6
/proc/86067/stat : 86067 (pbsuma) R 86065 86065 84555 0 -1 4194304 17367 0 0 0 143 3 0 0 20 0 1 0 75517491 97763328 17313 18446744073709551615 4210688 4653049 140721094385664 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 28213248 140721094387939 140721094388274 140721094388274 140721094393839 0
/proc/86067/statm: 23868 17313 1024 108 0 21276 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 99664 KiB
Current children cumulated memory: 72196 KiB
[startup+3.10544 s]
/proc/loadavg: 4.39 4.21 4.16 5/272 86068
/proc/meminfo: memFree=17975652/131249996 swapFree=33010416/33010684
[pid=86065] ppid=86062 vsize=4192 memory=2944 CPUtime=1.51 cores=4,6
/proc/86065/stat : 86065 (run-opt-break-l) S 86062 86065 84555 0 -1 4194304 242 17938 0 0 0 0 148 3 20 0 1 0 75517490 4292608 736 18446744073709551615 94678044553216 94678045447749 140736803047120 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94678045686800 94678045734544 94678049914880 140736803051797 140736803051998 140736803051998 140736803057600 0
/proc/86065/statm: 1048 736 672 219 0 110 0
[pid=86068] ppid=86065 vsize=142776 memory=96416 CPUtime=1.36 cores=4,6
/proc/86068/stat : 86068 (roundingsat) R 86065 86065 84555 0 -1 4194304 16312 0 0 0 129 7 0 0 20 0 1 0 75517645 146202624 24104 18446744073709551615 4227072 8923433 140720828312928 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34471936 140720828315924 140720828316200 140720828316200 140720828321770 0
/proc/86068/statm: 35694 24104 2368 1147 0 23121 0
Current children cumulated CPU time: 2.87 s
Current children cumulated vsize: 146968 KiB
Current children cumulated memory: 99360 KiB
[startup+6.30015 s]
/proc/loadavg: 4.39 4.21 4.16 5/272 86069
/proc/meminfo: memFree=17722592/131249996 swapFree=33010416/33010684
[pid=86065] ppid=86062 vsize=4192 memory=2944 CPUtime=1.51 cores=4,6
/proc/86065/stat : 86065 (run-opt-break-l) S 86062 86065 84555 0 -1 4194304 242 17938 0 0 0 0 148 3 20 0 1 0 75517490 4292608 736 18446744073709551615 94678044553216 94678045447749 140736803047120 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94678045686800 94678045734544 94678049914880 140736803051797 140736803051998 140736803051998 140736803057600 0
/proc/86065/statm: 1048 736 672 219 0 110 0
[pid=86068] ppid=86065 vsize=191952 memory=131648 CPUtime=4.55 cores=4,6
/proc/86068/stat : 86068 (roundingsat) R 86065 86065 84555 0 -1 4194304 21507 0 0 0 444 11 0 0 20 0 1 0 75517645 196558848 32912 18446744073709551615 4227072 8923433 140720828312928 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34471936 140720828315924 140720828316200 140720828316200 140720828321770 0
/proc/86068/statm: 47988 32912 2400 1147 0 35415 0
Current children cumulated CPU time: 6.06 s
Current children cumulated vsize: 196144 KiB
Current children cumulated memory: 134592 KiB
[startup+12.7002 s]
/proc/loadavg: 4.41 4.22 4.17 3/272 86069
/proc/meminfo: memFree=17331684/131249996 swapFree=33010416/33010684
[pid=86065] ppid=86062 vsize=4192 memory=2944 CPUtime=1.51 cores=4,6
/proc/86065/stat : 86065 (run-opt-break-l) S 86062 86065 84555 0 -1 4194304 242 17938 0 0 0 0 148 3 20 0 1 0 75517490 4292608 736 18446744073709551615 94678044553216 94678045447749 140736803047120 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94678045686800 94678045734544 94678049914880 140736803051797 140736803051998 140736803051998 140736803057600 0
/proc/86065/statm: 1048 736 672 219 0 110 0
[pid=86068] ppid=86065 vsize=202080 memory=142400 CPUtime=9.09 cores=4,6
/proc/86068/stat : 86068 (roundingsat) D 86065 86065 84555 0 -1 4194304 24215 0 0 0 890 19 0 0 20 0 1 0 75517645 206929920 35600 18446744073709551615 4227072 8923433 140720828312928 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 34471936 140720828315924 140720828316200 140720828316200 140720828321770 0
/proc/86068/statm: 50520 35600 2400 1147 0 37947 0
Current children cumulated CPU time: 10.6 s
Current children cumulated vsize: 206272 KiB
Current children cumulated memory: 145344 KiB
[startup+25.5002 s]
/proc/loadavg: 4.49 4.24 4.17 5/272 86069
/proc/meminfo: memFree=16347108/131249996 swapFree=33010416/33010684
[pid=86065] ppid=86062 vsize=4192 memory=2944 CPUtime=1.51 cores=4,6
/proc/86065/stat : 86065 (run-opt-break-l) S 86062 86065 84555 0 -1 4194304 242 17938 0 0 0 0 148 3 20 0 1 0 75517490 4292608 736 18446744073709551615 94678044553216 94678045447749 140736803047120 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94678045686800 94678045734544 94678049914880 140736803051797 140736803051998 140736803051998 140736803057600 0
/proc/86065/statm: 1048 736 672 219 0 110 0
[pid=86068] ppid=86065 vsize=282452 memory=204744 CPUtime=18.15 cores=4,6
/proc/86068/stat : 86068 (roundingsat) R 86065 86065 84555 0 -1 4194304 35885 0 0 0 1780 35 0 0 20 0 1 0 75517645 289230848 51186 18446744073709551615 4227072 8923433 140720828312928 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34471936 140720828315924 140720828316200 140720828316200 140720828321770 0
/proc/86068/statm: 70613 51186 2400 1147 0 58040 0
Current children cumulated CPU time: 19.66 s
Current children cumulated vsize: 286644 KiB
Current children cumulated memory: 207688 KiB
heavy processes:
[startup+51.1056 s]
/proc/loadavg: 4.38 4.24 4.18 5/272 86069
/proc/meminfo: memFree=14545152/131249996 swapFree=33010416/33010684
[pid=86065] ppid=86062 vsize=4192 memory=2944 CPUtime=1.51 cores=4,6
/proc/86065/stat : 86065 (run-opt-break-l) S 86062 86065 84555 0 -1 4194304 242 17938 0 0 0 0 148 3 20 0 1 0 75517490 4292608 736 18446744073709551615 94678044553216 94678045447749 140736803047120 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94678045686800 94678045734544 94678049914880 140736803051797 140736803051998 140736803051998 140736803057600 0
/proc/86065/statm: 1048 736 672 219 0 110 0
[pid=86068] ppid=86065 vsize=360508 memory=288468 CPUtime=43.54 cores=4,6
/proc/86068/stat : 86068 (roundingsat) R 86065 86065 84555 0 -1 4194304 52200 0 0 0 4285 69 0 0 20 0 1 0 75517645 369160192 72117 18446744073709551615 4227072 8923433 140720828312928 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34471936 140720828315924 140720828316200 140720828316200 140720828321770 0
/proc/86068/statm: 90127 72117 2400 1147 0 77554 0
Current children cumulated CPU time: 45.05 s
Current children cumulated vsize: 364700 KiB
Current children cumulated memory: 291412 KiB
[startup+102.3 s]
/proc/loadavg: 4.22 4.21 4.17 5/272 86071
/proc/meminfo: memFree=11118356/131249996 swapFree=33010416/33010684
[pid=86065] ppid=86062 vsize=4192 memory=2944 CPUtime=1.51 cores=4,6
/proc/86065/stat : 86065 (run-opt-break-l) S 86062 86065 84555 0 -1 4194304 242 17938 0 0 0 0 148 3 20 0 1 0 75517490 4292608 736 18446744073709551615 94678044553216 94678045447749 140736803047120 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94678045686800 94678045734544 94678049914880 140736803051797 140736803051998 140736803051998 140736803057600 0
/proc/86065/statm: 1048 736 672 219 0 110 0
[pid=86068] ppid=86065 vsize=360508 memory=307184 CPUtime=93.08 cores=4,6
/proc/86068/stat : 86068 (roundingsat) R 86065 86065 84555 0 -1 4194304 55352 0 0 0 9148 160 0 0 20 0 1 0 75517645 369160192 76796 18446744073709551615 4227072 8923433 140720828312928 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34471936 140720828315924 140720828316200 140720828316200 140720828321770 0
/proc/86068/statm: 90127 76796 2400 1147 0 77554 0
Current children cumulated CPU time: 94.59 s
Current children cumulated vsize: 364700 KiB
Current children cumulated memory: 310128 KiB
[startup+162.3 s]
/proc/loadavg: 4.24 4.22 4.18 4/265 86103
/proc/meminfo: memFree=28671264/131249996 swapFree=33010416/33010684
[pid=86065] ppid=86062 vsize=4192 memory=2944 CPUtime=1.51 cores=4,6
/proc/86065/stat : 86065 (run-opt-break-l) S 86062 86065 84555 0 -1 4194304 242 17938 0 0 0 0 148 3 20 0 1 0 75517490 4292608 736 18446744073709551615 94678044553216 94678045447749 140736803047120 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94678045686800 94678045734544 94678049914880 140736803051797 140736803051998 140736803051998 140736803057600 0
/proc/86065/statm: 1048 736 672 219 0 110 0
[pid=86068] ppid=86065 vsize=454664 memory=375128 CPUtime=152.53 cores=4,6
/proc/86068/stat : 86068 (roundingsat) R 86065 86065 84555 0 -1 4194304 71825 0 0 0 15001 252 0 0 20 0 1 0 75517645 465575936 93782 18446744073709551615 4227072 8923433 140720828312928 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34471936 140720828315924 140720828316200 140720828316200 140720828321770 0
/proc/86068/statm: 113666 93782 2400 1147 0 101093 0
Current children cumulated CPU time: 154.04 s
Current children cumulated vsize: 458856 KiB
Current children cumulated memory: 378072 KiB
[startup+222.3 s]
/proc/loadavg: 4.37 4.27 4.20 5/271 86125
/proc/meminfo: memFree=76696544/131249996 swapFree=33010416/33010684
[pid=86065] ppid=86062 vsize=4192 memory=2944 CPUtime=1.51 cores=4,6
/proc/86065/stat : 86065 (run-opt-break-l) S 86062 86065 84555 0 -1 4194304 242 17938 0 0 0 0 148 3 20 0 1 0 75517490 4292608 736 18446744073709551615 94678044553216 94678045447749 140736803047120 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94678045686800 94678045734544 94678049914880 140736803051797 140736803051998 140736803051998 140736803057600 0
/proc/86065/statm: 1048 736 672 219 0 110 0
[pid=86068] ppid=86065 vsize=620876 memory=499724 CPUtime=212.17 cores=4,6
################
# More data... #
################
/proc/86068/statm: 699729 633418 2400 1147 0 687156 0
Current children cumulated CPU time: 3027.52 s
Current children cumulated vsize: 2803108 KiB
Current children cumulated memory: 2536616 KiB
[startup+3162.3 s]
/proc/loadavg: 4.16 4.17 4.13 5/269 86604
/proc/meminfo: memFree=87021996/131249996 swapFree=33010416/33010684
[pid=86065] ppid=86062 vsize=4192 memory=2944 CPUtime=1.51 cores=4,6
/proc/86065/stat : 86065 (run-opt-break-l) S 86062 86065 84555 0 -1 4194304 242 17938 0 0 0 0 148 3 20 0 1 0 75517490 4292608 736 18446744073709551615 94678044553216 94678045447749 140736803047120 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94678045686800 94678045734544 94678049914880 140736803051797 140736803051998 140736803051998 140736803057600 0
/proc/86065/statm: 1048 736 672 219 0 110 0
[pid=86068] ppid=86065 vsize=2822136 memory=2567464 CPUtime=3085.55 cores=4,6
/proc/86068/stat : 86068 (roundingsat) R 86065 86065 84555 0 -1 4194304 346866 0 0 0 305271 3284 0 0 20 0 1 0 75517645 2889867264 641866 18446744073709551615 4227072 8923433 140720828312928 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34471936 140720828315924 140720828316200 140720828316200 140720828321770 0
/proc/86068/statm: 705534 641866 2400 1147 0 692961 0
Current children cumulated CPU time: 3087.06 s
Current children cumulated vsize: 2826328 KiB
Current children cumulated memory: 2570408 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.15 4.12 5/271 86612
/proc/meminfo: memFree=86581248/131249996 swapFree=33010416/33010684
[pid=86065] ppid=86062 vsize=4192 memory=2944 CPUtime=1.51 cores=4,6
/proc/86065/stat : 86065 (run-opt-break-l) S 86062 86065 84555 0 -1 4194304 242 17938 0 0 0 0 148 3 20 0 1 0 75517490 4292608 736 18446744073709551615 94678044553216 94678045447749 140736803047120 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94678045686800 94678045734544 94678049914880 140736803051797 140736803051998 140736803051998 140736803057600 0
/proc/86065/statm: 1048 736 672 219 0 110 0
[pid=86068] ppid=86065 vsize=2822136 memory=2569512 CPUtime=3145.27 cores=4,6
/proc/86068/stat : 86068 (roundingsat) R 86065 86065 84555 0 -1 4194304 347376 0 0 0 311181 3346 0 0 20 0 1 0 75517645 2889867264 642378 18446744073709551615 4227072 8923433 140720828312928 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34471936 140720828315924 140720828316200 140720828316200 140720828321770 0
/proc/86068/statm: 705534 642378 2400 1147 0 692961 0
Current children cumulated CPU time: 3146.78 s
Current children cumulated vsize: 2826328 KiB
Current children cumulated memory: 2572456 KiB
[startup+3282.3 s]
/proc/loadavg: 4.37 4.23 4.15 5/271 86625
/proc/meminfo: memFree=86201256/131249996 swapFree=33010416/33010684
[pid=86065] ppid=86062 vsize=4192 memory=2944 CPUtime=1.51 cores=4,6
/proc/86065/stat : 86065 (run-opt-break-l) S 86062 86065 84555 0 -1 4194304 242 17938 0 0 0 0 148 3 20 0 1 0 75517490 4292608 736 18446744073709551615 94678044553216 94678045447749 140736803047120 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94678045686800 94678045734544 94678049914880 140736803051797 140736803051998 140736803051998 140736803057600 0
/proc/86065/statm: 1048 736 672 219 0 110 0
[pid=86068] ppid=86065 vsize=2813628 memory=2563824 CPUtime=3205.02 cores=4,6
/proc/86068/stat : 86068 (roundingsat) R 86065 86065 84555 0 -1 4194304 348099 0 0 0 317088 3414 0 0 20 0 1 0 75517645 2881155072 640956 18446744073709551615 4227072 8923433 140720828312928 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34471936 140720828315924 140720828316200 140720828316200 140720828321770 0
/proc/86068/statm: 703407 640956 2400 1147 0 690834 0
Current children cumulated CPU time: 3206.53 s
Current children cumulated vsize: 2817820 KiB
Current children cumulated memory: 2566768 KiB
[startup+3342.3 s]
/proc/loadavg: 4.28 4.23 4.16 5/271 86628
/proc/meminfo: memFree=85748188/131249996 swapFree=33010416/33010684
[pid=86065] ppid=86062 vsize=4192 memory=2944 CPUtime=1.51 cores=4,6
/proc/86065/stat : 86065 (run-opt-break-l) S 86062 86065 84555 0 -1 4194304 242 17938 0 0 0 0 148 3 20 0 1 0 75517490 4292608 736 18446744073709551615 94678044553216 94678045447749 140736803047120 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94678045686800 94678045734544 94678049914880 140736803051797 140736803051998 140736803051998 140736803057600 0
/proc/86065/statm: 1048 736 672 219 0 110 0
[pid=86068] ppid=86065 vsize=2822164 memory=2573872 CPUtime=3259.24 cores=4,6
/proc/86068/stat : 86068 (roundingsat) R 86065 86065 84555 0 -1 4194304 349144 0 0 0 322433 3491 0 0 20 0 1 0 75517645 2889895936 643468 18446744073709551615 4227072 8923433 140720828312928 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34471936 140720828315924 140720828316200 140720828316200 140720828321770 0
/proc/86068/statm: 705541 643468 2400 1147 0 692968 0
Current children cumulated CPU time: 3260.75 s
Current children cumulated vsize: 2826356 KiB
Current children cumulated memory: 2576816 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.20 4.15 5/271 86630
/proc/meminfo: memFree=85330696/131249996 swapFree=33010416/33010684
[pid=86065] ppid=86062 vsize=4192 memory=2944 CPUtime=1.51 cores=4,6
/proc/86065/stat : 86065 (run-opt-break-l) S 86062 86065 84555 0 -1 4194304 242 17938 0 0 0 0 148 3 20 0 1 0 75517490 4292608 736 18446744073709551615 94678044553216 94678045447749 140736803047120 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94678045686800 94678045734544 94678049914880 140736803051797 140736803051998 140736803051998 140736803057600 0
/proc/86065/statm: 1048 736 672 219 0 110 0
[pid=86068] ppid=86065 vsize=2826092 memory=2578732 CPUtime=3319.01 cores=4,6
/proc/86068/stat : 86068 (roundingsat) R 86065 86065 84555 0 -1 4194304 350452 0 0 0 328351 3550 0 0 20 0 1 0 75517645 2893918208 644683 18446744073709551615 4227072 8923433 140720828312928 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34471936 140720828315924 140720828316200 140720828316200 140720828321770 0
/proc/86068/statm: 706523 644683 2400 1147 0 693950 0
Current children cumulated CPU time: 3320.52 s
Current children cumulated vsize: 2830284 KiB
Current children cumulated memory: 2581676 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.18 4.15 5/273 86634
/proc/meminfo: memFree=84208904/131249996 swapFree=33010416/33010684
[pid=86065] ppid=86062 vsize=4192 memory=2944 CPUtime=1.51 cores=4,6
/proc/86065/stat : 86065 (run-opt-break-l) S 86062 86065 84555 0 -1 4194304 242 17938 0 0 0 0 148 3 20 0 1 0 75517490 4292608 736 18446744073709551615 94678044553216 94678045447749 140736803047120 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94678045686800 94678045734544 94678049914880 140736803051797 140736803051998 140736803051998 140736803057600 0
/proc/86065/statm: 1048 736 672 219 0 110 0
[pid=86068] ppid=86065 vsize=2826092 memory=2578732 CPUtime=3377.37 cores=4,6
/proc/86068/stat : 86068 (roundingsat) R 86065 86065 84555 0 -1 4194304 350454 0 0 0 334115 3622 0 0 20 0 1 0 75517645 2893918208 644683 18446744073709551615 4227072 8923433 140720828312928 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34471936 140720828315924 140720828316200 140720828316200 140720828321770 0
/proc/86068/statm: 706523 644683 2400 1147 0 693950 0
Current children cumulated CPU time: 3378.88 s
Current children cumulated vsize: 2830284 KiB
Current children cumulated memory: 2581676 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.17 4.15 5/273 86636
/proc/meminfo: memFree=83355032/131249996 swapFree=33010416/33010684
[pid=86065] ppid=86062 vsize=4192 memory=2944 CPUtime=1.51 cores=4,6
/proc/86065/stat : 86065 (run-opt-break-l) S 86062 86065 84555 0 -1 4194304 242 17938 0 0 0 0 148 3 20 0 1 0 75517490 4292608 736 18446744073709551615 94678044553216 94678045447749 140736803047120 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94678045686800 94678045734544 94678049914880 140736803051797 140736803051998 140736803051998 140736803057600 0
/proc/86065/statm: 1048 736 672 219 0 110 0
[pid=86068] ppid=86065 vsize=2826092 memory=2578732 CPUtime=3433.37 cores=4,6
/proc/86068/stat : 86068 (roundingsat) R 86065 86065 84555 0 -1 4194304 350455 0 0 0 339652 3685 0 0 20 0 1 0 75517645 2893918208 644683 18446744073709551615 4227072 8923433 140720828312928 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34471936 140720828315924 140720828316200 140720828316200 140720828321770 0
/proc/86068/statm: 706523 644683 2400 1147 0 693950 0
Current children cumulated CPU time: 3434.88 s
Current children cumulated vsize: 2830284 KiB
Current children cumulated memory: 2581676 KiB
[startup+3582.3 s]
/proc/loadavg: 4.05 4.14 4.13 5/272 86638
/proc/meminfo: memFree=82753776/131249996 swapFree=33010416/33010684
[pid=86065] ppid=86062 vsize=4192 memory=2944 CPUtime=1.51 cores=4,6
/proc/86065/stat : 86065 (run-opt-break-l) S 86062 86065 84555 0 -1 4194304 242 17938 0 0 0 0 148 3 20 0 1 0 75517490 4292608 736 18446744073709551615 94678044553216 94678045447749 140736803047120 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94678045686800 94678045734544 94678049914880 140736803051797 140736803051998 140736803051998 140736803057600 0
/proc/86065/statm: 1048 736 672 219 0 110 0
[pid=86068] ppid=86065 vsize=2827000 memory=2578732 CPUtime=3493.12 cores=4,6
/proc/86068/stat : 86068 (roundingsat) R 86065 86065 84555 0 -1 4194304 350523 0 0 0 345575 3737 0 0 20 0 1 0 75517645 2894848000 644683 18446744073709551615 4227072 8923433 140720828312928 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 34471936 140720828315924 140720828316200 140720828316200 140720828321770 0
/proc/86068/statm: 706750 644683 2400 1147 0 694177 0
Current children cumulated CPU time: 3494.63 s
Current children cumulated vsize: 2831192 KiB
Current children cumulated memory: 2581676 KiB
[startup+3642.3 s]
/proc/loadavg: 4.12 4.14 4.13 5/273 86643
/proc/meminfo: memFree=82191924/131249996 swapFree=33010416/33010684
[pid=86065] ppid=86062 vsize=4192 memory=2944 CPUtime=1.51 cores=4,6
/proc/86065/stat : 86065 (run-opt-break-l) S 86062 86065 84555 0 -1 4194304 242 17938 0 0 0 0 148 3 20 0 1 0 75517490 4292608 736 18446744073709551615 94678044553216 94678045447749 140736803047120 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94678045686800 94678045734544 94678049914880 140736803051797 140736803051998 140736803051998 140736803057600 0
/proc/86065/statm: 1048 736 672 219 0 110 0
[pid=86068] ppid=86065 vsize=2842236 memory=2593708 CPUtime=3552.93 cores=4,6
/proc/86068/stat : 86068 (roundingsat) R 86065 86065 84555 0 -1 4194304 354365 0 0 0 351507 3786 0 0 20 0 1 0 75517645 2910449664 648427 18446744073709551615 4227072 8923433 140720828312928 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34471936 140720828315924 140720828316200 140720828316200 140720828321770 0
/proc/86068/statm: 710559 648427 2400 1147 0 697986 0
Current children cumulated CPU time: 3554.44 s
Current children cumulated vsize: 2846428 KiB
Current children cumulated memory: 2596652 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3688.6 s]
/proc/loadavg: 4.20 4.15 4.14 5/273 86643
/proc/meminfo: memFree=81700464/131249996 swapFree=33010416/33010684
[pid=86065] ppid=86062 vsize=4192 memory=2944 CPUtime=1.51 cores=4,6
/proc/86065/stat : 86065 (run-opt-break-l) S 86062 86065 84555 0 -1 4194304 242 17938 0 0 0 0 148 3 20 0 1 0 75517490 4292608 736 18446744073709551615 94678044553216 94678045447749 140736803047120 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94678045686800 94678045734544 94678049914880 140736803051797 140736803051998 140736803051998 140736803057600 0
/proc/86065/statm: 1048 736 672 219 0 110 0
[pid=86068] ppid=86065 vsize=2857828 memory=2607148 CPUtime=3598.5 cores=4,6
/proc/86068/stat : 86068 (roundingsat) R 86065 86065 84555 0 -1 4194304 357971 0 0 0 356034 3816 0 0 20 0 1 0 75517645 2926415872 651787 18446744073709551615 4227072 8923433 140720828312928 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34471936 140720828315924 140720828316200 140720828316200 140720828321770 0
/proc/86068/statm: 714457 651787 2400 1147 0 701884 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 2862020 KiB
Current children cumulated memory: 2610092 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3688.6 s]
# the end of solver process 86065 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=1.48201 s, system=0.036237 s
[startup+3688.68 s]
# the end of solver process 86068 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3561.85 s, system=38.2407 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): 3688.68
CPU time (s): 3600.09
CPU user time (s): 3561.85
CPU system time (s): 38.2407
CPU usage (%): 97.5983
Max. virtual memory (cumulated for all children) (KiB): 2862020
Max. memory (cumulated for all children) (KiB): 2610092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3561.85
system time used= 38.2407
maximum resident set size= 2607532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 376174
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15516520
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 931
involuntary context switches= 6764
# summary of solver processes directly reported to runsolver:
# pid: 86065,86068
# total CPU time (s): 3600.09
# total CPU user time (s): 3561.85
# total CPU system time (s): 38.2407
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.30656 second user time and 17.361 second system time
The end
Begin job on nodeC022 at 2025-07-04 05:06:37
IDJOB=4523981
IDBENCH=180463
IDSOLVER=3360
FILE ID=nodeC022/4523981-1751598397
RUNJOBID= nodeC022-1751591121-84566
SLURM_JOB_ID= 9598849
Free space on /tmp= 432220 MiB
SOLVER NAME= roundingsat+pbsuma-opt-log 63f22ad
BENCH NAME= PB25/normalized-PB25/OPT-LIN/wallon/normalized-AztecDiamondSym-mini-07_c24.opb
COMMAND LINE= run-opt-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4523981-1751598397/watcher-4523981-1751598397 -o /tmp/evaluation-result-4523981-1751598397/solver-4523981-1751598397 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751591121-84566 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4523981-1751598397.opb PROOFDIR/proof-4523981-1751598397
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7b7d352a7105ac7993395b7f6c3b04bc
RANDOM SEED=1920362440
nodeC022 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.668
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.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.710
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.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.425
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.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
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 : 3607.288
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.44
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.713
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.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.706
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.44
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.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 18239100 kB
MemAvailable: 85164632 kB
Buffers: 2128 kB
Cached: 67639624 kB
SwapCached: 32 kB
Active: 44921572 kB
Inactive: 66988556 kB
Active(anon): 44282324 kB
Inactive(anon): 4176 kB
Active(file): 639248 kB
Inactive(file): 66984380 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 8393028 kB
Writeback: 0 kB
AnonPages: 44271500 kB
Mapped: 117248 kB
Shmem: 18028 kB
KReclaimable: 281888 kB
Slab: 636744 kB
SReclaimable: 281888 kB
SUnreclaim: 354856 kB
KernelStack: 4400 kB
PageTables: 90508 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 51931604 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150712 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4730880 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: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432260 MiB
End job on nodeC022 at 2025-07-04 06:08:06