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-4532820-1752599760.opb'
0.00/0.03 c read 1.36MB (21.63ms)
0.00/0.03 c [cnf: #variables 35169 #clauses 28730 #duplicates 0 #arr 120617]
0.00/0.04 c output proof to 'PROOFDIR/proof-4532820-1752599760'
0.00/0.04 c
0.00/0.04 c make graph and approximate orbits
0.00/0.08 c [group: #orbits ~= 9264] (39.81ms)
0.00/0.08 c
0.00/0.08 c detect special group actions
0.00/0.08 c probe for Johnson action (limit=64)
0.08/0.10 c probe for row-column symmetry (limit=64, splits=16.78M)
0.08/0.11 c probe for row symmetry (limit=64, splits=16.78M)
1.37/1.47 c (1388.71ms)
1.37/1.47 c
1.37/1.47 c detect symmetries on remainder
1.37/1.47 c [graph: #vertices 169293 #edges 452022]
1.37/1.47 c dejavu (support_limit=2048.00MB, budget_limit=64)
1.46/1.57 c [group: #symmetries 8.00*10^0 #generators 3] (99.44ms)
1.46/1.57 c
1.46/1.57 c optimize generators (opt_passes=64, conjugate_limit=256)
1.46/1.57 c (0.14ms)
1.46/1.57 c
1.46/1.57 c finalize break order and special generators
1.46/1.57 c
1.46/1.57 c add generic predicates (break_depth=20)
1.46/1.57 c added predicates for 3 generators (0.66ms)
1.46/1.57 c
1.46/1.57 c generation finished
1.46/1.57 c [sbp: #constraints 0 #add_vars 0]
1.46/1.57 c
1.46/1.57 c write result to 'HOME/instance-4532820-1752599760.opb.pre'
1.46/1.58 c wrote 1.39MB (3.31ms)
1.46/1.58 c ------------------------------------------------------------------
1.46/1.58 c 1388.71ms 88.40% detect_special
1.46/1.58 c 99.44ms 6.33% detect_generic
1.46/1.58 c 39.81ms 2.53% approx_orbits
1.46/1.58 c 21.63ms 1.38% parse
1.46/1.58 c 14.65ms 0.93% other
1.46/1.58 c 3.31ms 0.21% output
1.46/1.58 c 2.51ms 0.16% finalize_order
1.46/1.58 c 0.66ms 0.04% break_generic
1.46/1.58 c 0.14ms 0.01% optimize_gens
1.46/1.58 c ───────────────────────────────────────────────
1.46/1.58 c 1570.86ms 100% total
1.46/1.58 c ------------------------------------------------------------------
1.46/1.59 c RoundingSat 2
1.46/1.59 c branch pb25
1.46/1.59 c commit 0f876b3
1.55/1.79 c #variables 35169 #constraints 28953
1.55/1.79 c objective is ce32
1.55/1.79 c initial watched CF 32, 64, 128, Arb: 112 , 0 , 0 , 0
1.55/1.79 c initial counting CF 32, 64, 128, Arb: 22177 , 0 , 0 , 0
1.55/1.79 c bounds - >= 0 @ 0.162937
12.12/12.25 c #Conflicts: 1000 | #Constraints: 29952
12.12/12.25 c #Conflicts: 2000 | #Constraints: 30952
12.12/12.25 c INPROCESSING
12.12/12.25 c GARBAGE COLLECT
12.12/12.25 c #Conflicts: 3000 | #Constraints: 30970
12.12/12.25 c #Conflicts: 4000 | #Constraints: 31971
12.12/12.25 c INPROCESSING
12.12/12.25 c GARBAGE COLLECT
12.12/12.25 c #Conflicts: 5000 | #Constraints: 31399
12.12/12.25 c #Conflicts: 6000 | #Constraints: 32399
12.12/12.25 c INPROCESSING
12.12/12.25 c GARBAGE COLLECT
12.12/12.25 c rational objective 0
18.81/18.97 c #Conflicts: 7000 | #Constraints: 31438
18.81/18.97 c #Conflicts: 8000 | #Constraints: 32438
18.81/18.97 c #Conflicts: 9000 | #Constraints: 33438
18.81/18.97 c INPROCESSING
18.81/18.97 c GARBAGE COLLECT
18.81/18.97 c rational objective 0
32.37/32.58 c #Conflicts: 10000 | #Constraints: 32162
32.37/32.58 c #Conflicts: 11000 | #Constraints: 33162
32.37/32.58 c #Conflicts: 12000 | #Constraints: 34163
32.37/32.58 c INPROCESSING
32.37/32.58 c GARBAGE COLLECT
32.37/32.58 c #Conflicts: 13000 | #Constraints: 32606
32.37/32.58 c #Conflicts: 14000 | #Constraints: 33606
32.37/32.58 c #Conflicts: 15000 | #Constraints: 34606
32.37/32.58 c INPROCESSING
32.37/32.58 c GARBAGE COLLECT
32.37/32.58 c rational objective 0
46.06/46.51 c #Conflicts: 16000 | #Constraints: 32885
46.06/46.51 c #Conflicts: 17000 | #Constraints: 33885
46.06/46.51 c #Conflicts: 18000 | #Constraints: 34885
46.06/46.51 c INPROCESSING
46.06/46.51 c GARBAGE COLLECT
46.06/46.51 c rational objective 0
72.08/72.71 c #Conflicts: 19000 | #Constraints: 32940
72.08/72.71 c #Conflicts: 20000 | #Constraints: 33940
72.08/72.71 c #Conflicts: 21000 | #Constraints: 34940
72.08/72.71 c INPROCESSING
72.08/72.71 c GARBAGE COLLECT
72.08/72.71 c #Conflicts: 22000 | #Constraints: 32707
72.08/72.71 c #Conflicts: 23000 | #Constraints: 33707
72.08/72.71 c #Conflicts: 24000 | #Constraints: 34707
72.08/72.71 c #Conflicts: 25000 | #Constraints: 35707
72.08/72.71 c INPROCESSING
72.08/72.71 c GARBAGE COLLECT
72.08/72.71 c #Conflicts: 26000 | #Constraints: 33302
72.08/72.71 c #Conflicts: 27000 | #Constraints: 34302
72.08/72.71 c #Conflicts: 28000 | #Constraints: 35303
72.08/72.71 c #Conflicts: 29000 | #Constraints: 36303
72.08/72.71 c INPROCESSING
72.08/72.71 c GARBAGE COLLECT
72.08/72.71 c #Conflicts: 30000 | #Constraints: 33706
72.08/72.71 c #Conflicts: 31000 | #Constraints: 34709
72.08/72.71 c #Conflicts: 32000 | #Constraints: 35711
72.08/72.71 c #Conflicts: 33000 | #Constraints: 36716
72.08/72.71 c INPROCESSING
72.08/72.71 c GARBAGE COLLECT
72.08/72.71 c rational objective 0
85.64/86.30 c #Conflicts: 34000 | #Constraints: 33943
85.64/86.30 c #Conflicts: 35000 | #Constraints: 34945
85.64/86.30 c #Conflicts: 36000 | #Constraints: 35946
85.64/86.30 c #Conflicts: 37000 | #Constraints: 36947
85.64/86.30 c INPROCESSING
85.64/86.30 c GARBAGE COLLECT
85.64/86.30 c #Conflicts: 38000 | #Constraints: 33930
85.64/86.30 c #Conflicts: 39000 | #Constraints: 34931
85.64/86.30 c #Conflicts: 40000 | #Constraints: 35931
85.64/86.30 c #Conflicts: 41000 | #Constraints: 36932
85.64/86.30 c INPROCESSING
85.64/86.30 c GARBAGE COLLECT
85.64/86.30 c rational objective -9.6117e-11
94.02/94.76 c #Conflicts: 42000 | #Constraints: 33733
94.02/94.76 c #Conflicts: 43000 | #Constraints: 34733
94.02/94.76 c #Conflicts: 44000 | #Constraints: 35733
94.02/94.76 c #Conflicts: 45000 | #Constraints: 36733
94.02/94.76 c #Conflicts: 46000 | #Constraints: 37733
94.02/94.76 c INPROCESSING
94.02/94.76 c GARBAGE COLLECT
94.02/94.76 c rational objective 0
107.78/108.88 c #Conflicts: 47000 | #Constraints: 34350
107.78/108.88 c #Conflicts: 48000 | #Constraints: 35350
107.78/108.88 c #Conflicts: 49000 | #Constraints: 36350
107.78/108.88 c #Conflicts: 50000 | #Constraints: 37350
107.78/108.88 c #Conflicts: 51000 | #Constraints: 38350
107.78/108.88 c INPROCESSING
107.78/108.88 c GARBAGE COLLECT
107.78/108.88 c rational objective 0
123.74/124.86 c #Conflicts: 52000 | #Constraints: 34770
123.74/124.86 c #Conflicts: 53000 | #Constraints: 35770
123.74/124.86 c #Conflicts: 54000 | #Constraints: 36778
123.74/124.86 c #Conflicts: 55000 | #Constraints: 37779
123.74/124.86 c #Conflicts: 56000 | #Constraints: 38779
123.74/124.86 c INPROCESSING
123.74/124.86 c GARBAGE COLLECT
123.74/124.86 c #Conflicts: 57000 | #Constraints: 34975
123.74/124.86 c #Conflicts: 58000 | #Constraints: 35975
123.74/124.86 c #Conflicts: 59000 | #Constraints: 36976
123.74/124.86 c #Conflicts: 60000 | #Constraints: 37977
123.74/124.86 c #Conflicts: 61000 | #Constraints: 38979
123.74/124.86 c INPROCESSING
123.74/124.86 c GARBAGE COLLECT
123.74/124.86 c rational objective 0
145.79/147.06 c #Conflicts: 62000 | #Constraints: 34978
145.79/147.06 c #Conflicts: 63000 | #Constraints: 35978
145.79/147.06 c #Conflicts: 64000 | #Constraints: 36978
145.79/147.06 c #Conflicts: 65000 | #Constraints: 37978
145.79/147.06 c #Conflicts: 66000 | #Constraints: 38978
145.79/147.06 c INPROCESSING
145.79/147.06 c GARBAGE COLLECT
145.79/147.06 c rational objective 0
184.00/185.30 c #Conflicts: 67000 | #Constraints: 34799
184.00/185.30 c #Conflicts: 68000 | #Constraints: 35800
184.00/185.30 c #Conflicts: 69000 | #Constraints: 36800
184.00/185.30 c #Conflicts: 70000 | #Constraints: 37800
184.00/185.30 c #Conflicts: 71000 | #Constraints: 38800
184.00/185.30 c #Conflicts: 72000 | #Constraints: 39800
184.00/185.30 c INPROCESSING
184.00/185.30 c GARBAGE COLLECT
184.00/185.30 c #Conflicts: 73000 | #Constraints: 35391
184.00/185.30 c #Conflicts: 74000 | #Constraints: 36391
184.00/185.30 c #Conflicts: 75000 | #Constraints: 37391
184.00/185.30 c #Conflicts: 76000 | #Constraints: 38391
184.00/185.30 c #Conflicts: 77000 | #Constraints: 39391
184.00/185.30 c #Conflicts: 78000 | #Constraints: 40391
184.00/185.30 c INPROCESSING
184.00/185.30 c GARBAGE COLLECT
184.00/185.30 c #Conflicts: 79000 | #Constraints: 35767
184.00/185.30 c #Conflicts: 80000 | #Constraints: 36767
184.00/185.30 c #Conflicts: 81000 | #Constraints: 37767
184.00/185.30 c #Conflicts: 82000 | #Constraints: 38767
184.00/185.30 c #Conflicts: 83000 | #Constraints: 39767
184.00/185.30 c #Conflicts: 84000 | #Constraints: 40767
184.00/185.30 c INPROCESSING
184.00/185.30 c GARBAGE COLLECT
184.00/185.30 c rational objective 0
208.23/209.65 c #Conflicts: 85000 | #Constraints: 35993
208.23/209.65 c #Conflicts: 86000 | #Constraints: 36993
208.23/209.65 c #Conflicts: 87000 | #Constraints: 37993
208.23/209.65 c #Conflicts: 88000 | #Constraints: 38993
208.23/209.65 c #Conflicts: 89000 | #Constraints: 39993
208.23/209.65 c #Conflicts: 90000 | #Constraints: 40993
208.23/209.65 c INPROCESSING
208.23/209.65 c GARBAGE COLLECT
208.23/209.65 c rational objective 0
257.81/259.54 c #Conflicts: 91000 | #Constraints: 36022
257.81/259.54 c #Conflicts: 92000 | #Constraints: 37022
257.81/259.54 c #Conflicts: 93000 | #Constraints: 38022
257.81/259.54 c #Conflicts: 94000 | #Constraints: 39022
257.81/259.54 c #Conflicts: 95000 | #Constraints: 40022
257.81/259.54 c #Conflicts: 96000 | #Constraints: 41022
257.81/259.54 c INPROCESSING
257.81/259.54 c GARBAGE COLLECT
257.81/259.54 c #Conflicts: 97000 | #Constraints: 35806
257.81/259.54 c #Conflicts: 98000 | #Constraints: 36807
257.81/259.54 c #Conflicts: 99000 | #Constraints: 37807
257.81/259.54 c #Conflicts: 100000 | #Constraints: 38807
257.81/259.54 c #Conflicts: 101000 | #Constraints: 39807
257.81/259.54 c #Conflicts: 102000 | #Constraints: 40807
257.81/259.54 c #Conflicts: 103000 | #Constraints: 41807
257.81/259.54 c INPROCESSING
257.81/259.54 c GARBAGE COLLECT
257.81/259.54 c rational objective 0
277.46/279.25 c #Conflicts: 104000 | #Constraints: 36429
277.46/279.25 c #Conflicts: 105000 | #Constraints: 37429
277.46/279.25 c #Conflicts: 106000 | #Constraints: 38429
277.46/279.25 c #Conflicts: 107000 | #Constraints: 39429
277.46/279.25 c #Conflicts: 108000 | #Constraints: 40429
277.46/279.25 c #Conflicts: 109000 | #Constraints: 41429
277.46/279.25 c #Conflicts: 110000 | #Constraints: 42429
277.46/279.25 c INPROCESSING
277.46/279.25 c GARBAGE COLLECT
277.46/279.25 c rational objective 0
290.37/292.22 c #Conflicts: 111000 | #Constraints: 36844
290.37/292.22 c #Conflicts: 112000 | #Constraints: 37844
290.37/292.22 c #Conflicts: 113000 | #Constraints: 38844
290.37/292.22 c #Conflicts: 114000 | #Constraints: 39844
290.37/292.22 c #Conflicts: 115000 | #Constraints: 40844
290.37/292.22 c #Conflicts: 116000 | #Constraints: 41844
290.37/292.22 c #Conflicts: 117000 | #Constraints: 42845
290.37/292.22 c INPROCESSING
290.37/292.22 c GARBAGE COLLECT
290.37/292.22 c rational objective 0
315.15/317.27 c #Conflicts: 118000 | #Constraints: 37038
315.15/317.27 c #Conflicts: 119000 | #Constraints: 38038
315.15/317.27 c #Conflicts: 120000 | #Constraints: 39038
315.15/317.27 c #Conflicts: 121000 | #Constraints: 40038
315.15/317.27 c #Conflicts: 122000 | #Constraints: 41038
315.15/317.27 c #Conflicts: 123000 | #Constraints: 42038
315.15/317.27 c #Conflicts: 124000 | #Constraints: 43038
315.15/317.27 c INPROCESSING
315.15/317.27 c GARBAGE COLLECT
315.15/317.27 c #Conflicts: 125000 | #Constraints: 36998
315.15/317.27 c #Conflicts: 126000 | #Constraints: 37998
315.15/317.27 c #Conflicts: 127000 | #Constraints: 38998
315.15/317.27 c #Conflicts: 128000 | #Constraints: 39998
315.15/317.27 c #Conflicts: 129000 | #Constraints: 40998
315.15/317.27 c #Conflicts: 130000 | #Constraints: 41999
315.15/317.27 c #Conflicts: 131000 | #Constraints: 42999
315.15/317.27 c INPROCESSING
315.15/317.27 c GARBAGE COLLECT
315.15/317.27 c rational objective 0
327.62/329.71 c #Conflicts: 132000 | #Constraints: 36824
327.62/329.71 c #Conflicts: 133000 | #Constraints: 37824
327.62/329.71 c #Conflicts: 134000 | #Constraints: 38824
327.62/329.71 c #Conflicts: 135000 | #Constraints: 39824
327.62/329.71 c #Conflicts: 136000 | #Constraints: 40824
327.62/329.71 c #Conflicts: 137000 | #Constraints: 41824
327.62/329.71 c #Conflicts: 138000 | #Constraints: 42824
327.62/329.71 c #Conflicts: 139000 | #Constraints: 43824
327.62/329.71 c INPROCESSING
327.62/329.71 c GARBAGE COLLECT
327.62/329.71 c rational objective 0
340.69/342.99 c #Conflicts: 140000 | #Constraints: 37509
340.69/342.99 c #Conflicts: 141000 | #Constraints: 38509
340.69/342.99 c #Conflicts: 142000 | #Constraints: 39511
340.69/342.99 c #Conflicts: 143000 | #Constraints: 40511
340.69/342.99 c #Conflicts: 144000 | #Constraints: 41511
340.69/342.99 c #Conflicts: 145000 | #Constraints: 42511
340.69/342.99 c #Conflicts: 146000 | #Constraints: 43512
340.69/342.99 c #Conflicts: 147000 | #Constraints: 44521
340.69/342.99 c INPROCESSING
340.69/342.99 c GARBAGE COLLECT
340.69/342.99 c rational objective 0
353.53/355.83 c #Conflicts: 148000 | #Constraints: 37892
353.53/355.83 c #Conflicts: 149000 | #Constraints: 38892
353.53/355.83 c #Conflicts: 150000 | #Constraints: 39892
353.53/355.83 c #Conflicts: 151000 | #Constraints: 40893
353.53/355.83 c #Conflicts: 152000 | #Constraints: 41895
353.53/355.83 c #Conflicts: 153000 | #Constraints: 42899
353.53/355.83 c #Conflicts: 154000 | #Constraints: 43899
353.53/355.83 c #Conflicts: 155000 | #Constraints: 44899
353.53/355.83 c INPROCESSING
353.53/355.83 c GARBAGE COLLECT
353.53/355.83 c rational objective 0
367.08/369.44 c #Conflicts: 156000 | #Constraints: 38095
367.08/369.44 c #Conflicts: 157000 | #Constraints: 39095
367.08/369.44 c #Conflicts: 158000 | #Constraints: 40095
367.08/369.44 c #Conflicts: 159000 | #Constraints: 41095
367.08/369.44 c #Conflicts: 160000 | #Constraints: 42095
367.08/369.44 c #Conflicts: 161000 | #Constraints: 43095
367.08/369.44 c #Conflicts: 162000 | #Constraints: 44095
367.08/369.44 c #Conflicts: 163000 | #Constraints: 45095
367.08/369.44 c INPROCESSING
367.08/369.44 c GARBAGE COLLECT
367.08/369.44 c rational objective 0
383.94/386.66 c #Conflicts: 164000 | #Constraints: 38068
383.94/386.66 c #Conflicts: 165000 | #Constraints: 39068
383.94/386.66 c #Conflicts: 166000 | #Constraints: 40068
383.94/386.66 c #Conflicts: 167000 | #Constraints: 41068
383.94/386.66 c #Conflicts: 168000 | #Constraints: 42068
383.94/386.66 c #Conflicts: 169000 | #Constraints: 43069
383.94/386.66 c #Conflicts: 170000 | #Constraints: 44072
383.94/386.66 c #Conflicts: 171000 | #Constraints: 45072
383.94/386.66 c INPROCESSING
383.94/386.66 c GARBAGE COLLECT
383.94/386.66 c rational objective 0
397.60/400.35 c #Conflicts: 172000 | #Constraints: 37864
397.60/400.35 c #Conflicts: 173000 | #Constraints: 38864
397.60/400.35 c #Conflicts: 174000 | #Constraints: 39864
397.60/400.35 c #Conflicts: 175000 | #Constraints: 40864
397.60/400.35 c #Conflicts: 176000 | #Constraints: 41864
397.60/400.35 c #Conflicts: 177000 | #Constraints: 42865
397.60/400.35 c #Conflicts: 178000 | #Constraints: 43866
397.60/400.35 c #Conflicts: 179000 | #Constraints: 44866
397.60/400.35 c #Conflicts: 180000 | #Constraints: 45866
397.60/400.35 c INPROCESSING
397.60/400.35 c GARBAGE COLLECT
397.60/400.35 c rational objective 0
422.00/424.80 c #Conflicts: 181000 | #Constraints: 38502
422.00/424.80 c #Conflicts: 182000 | #Constraints: 39502
422.00/424.80 c #Conflicts: 183000 | #Constraints: 40502
422.00/424.80 c #Conflicts: 184000 | #Constraints: 41502
422.00/424.80 c #Conflicts: 185000 | #Constraints: 42502
422.00/424.80 c #Conflicts: 186000 | #Constraints: 43502
422.00/424.80 c #Conflicts: 187000 | #Constraints: 44503
422.00/424.80 c #Conflicts: 188000 | #Constraints: 45503
422.00/424.80 c #Conflicts: 189000 | #Constraints: 46503
422.00/424.80 c INPROCESSING
422.00/424.80 c GARBAGE COLLECT
422.00/424.80 c rational objective 0
445.18/448.15 c #Conflicts: 190000 | #Constraints: 38919
445.18/448.15 c #Conflicts: 191000 | #Constraints: 39919
445.18/448.15 c #Conflicts: 192000 | #Constraints: 40920
445.18/448.15 c #Conflicts: 193000 | #Constraints: 41920
445.18/448.15 c #Conflicts: 194000 | #Constraints: 42920
445.18/448.15 c #Conflicts: 195000 | #Constraints: 43921
445.18/448.15 c #Conflicts: 196000 | #Constraints: 44921
445.18/448.15 c #Conflicts: 197000 | #Constraints: 45921
445.18/448.15 c #Conflicts: 198000 | #Constraints: 46921
445.18/448.15 c INPROCESSING
445.18/448.15 c GARBAGE COLLECT
445.18/448.15 c rational objective 0
467.57/470.91 c #Conflicts: 199000 | #Constraints: 39099
467.57/470.91 c #Conflicts: 200000 | #Constraints: 40109
467.57/470.91 c #Conflicts: 201000 | #Constraints: 41115
467.57/470.91 c #Conflicts: 202000 | #Constraints: 42120
467.57/470.91 c #Conflicts: 203000 | #Constraints: 43125
467.57/470.91 c #Conflicts: 204000 | #Constraints: 44128
467.57/470.91 c #Conflicts: 205000 | #Constraints: 45129
467.57/470.91 c #Conflicts: 206000 | #Constraints: 46132
467.57/470.91 c #Conflicts: 207000 | #Constraints: 47134
467.57/470.91 c INPROCESSING
467.57/470.91 c GARBAGE COLLECT
467.57/470.91 c rational objective 0
481.53/484.93 c #Conflicts: 208000 | #Constraints: 39136
481.53/484.93 c #Conflicts: 209000 | #Constraints: 40140
481.53/484.93 c #Conflicts: 210000 | #Constraints: 41141
481.53/484.93 c #Conflicts: 211000 | #Constraints: 42145
481.53/484.93 c #Conflicts: 212000 | #Constraints: 43149
481.53/484.93 c #Conflicts: 213000 | #Constraints: 44154
481.53/484.93 c #Conflicts: 214000 | #Constraints: 45166
481.53/484.93 c #Conflicts: 215000 | #Constraints: 46175
481.53/484.93 c #Conflicts: 216000 | #Constraints: 47185
481.53/484.93 c INPROCESSING
481.53/484.93 c GARBAGE COLLECT
481.53/484.93 c rational objective 0
495.87/499.60 c #Conflicts: 217000 | #Constraints: 38937
495.87/499.60 c #Conflicts: 218000 | #Constraints: 39937
495.87/499.60 c #Conflicts: 219000 | #Constraints: 40937
495.87/499.60 c #Conflicts: 220000 | #Constraints: 41937
495.87/499.60 c #Conflicts: 221000 | #Constraints: 42937
495.87/499.60 c #Conflicts: 222000 | #Constraints: 43937
495.87/499.60 c #Conflicts: 223000 | #Constraints: 44937
495.87/499.60 c #Conflicts: 224000 | #Constraints: 45937
495.87/499.60 c #Conflicts: 225000 | #Constraints: 46937
495.87/499.60 c #Conflicts: 226000 | #Constraints: 47937
495.87/499.60 c INPROCESSING
495.87/499.60 c GARBAGE COLLECT
495.87/499.60 c rational objective 0
513.33/517.18 c #Conflicts: 227000 | #Constraints: 39527
513.33/517.18 c #Conflicts: 228000 | #Constraints: 40527
513.33/517.18 c #Conflicts: 229000 | #Constraints: 41528
513.33/517.18 c #Conflicts: 230000 | #Constraints: 42530
513.33/517.18 c #Conflicts: 231000 | #Constraints: 43532
513.33/517.18 c #Conflicts: 232000 | #Constraints: 44533
513.33/517.18 c #Conflicts: 233000 | #Constraints: 45533
513.33/517.18 c #Conflicts: 234000 | #Constraints: 46533
513.33/517.18 c #Conflicts: 235000 | #Constraints: 47533
513.33/517.18 c #Conflicts: 236000 | #Constraints: 48533
513.33/517.18 c INPROCESSING
513.33/517.18 c GARBAGE COLLECT
513.33/517.18 c rational objective 0
533.53/537.90 c #Conflicts: 237000 | #Constraints: 39913
533.53/537.90 c #Conflicts: 238000 | #Constraints: 40913
533.53/537.90 c #Conflicts: 239000 | #Constraints: 41913
533.53/537.90 c #Conflicts: 240000 | #Constraints: 42913
533.53/537.90 c #Conflicts: 241000 | #Constraints: 43913
533.53/537.90 c #Conflicts: 242000 | #Constraints: 44913
533.53/537.90 c #Conflicts: 243000 | #Constraints: 45913
533.53/537.90 c #Conflicts: 244000 | #Constraints: 46913
533.53/537.90 c #Conflicts: 245000 | #Constraints: 47913
533.53/537.90 c #Conflicts: 246000 | #Constraints: 48914
533.53/537.90 c INPROCESSING
533.53/537.90 c GARBAGE COLLECT
533.53/537.90 c rational objective 0
551.98/556.43 c #Conflicts: 247000 | #Constraints: 40085
551.98/556.43 c #Conflicts: 248000 | #Constraints: 41086
551.98/556.43 c #Conflicts: 249000 | #Constraints: 42087
551.98/556.43 c #Conflicts: 250000 | #Constraints: 43087
551.98/556.43 c #Conflicts: 251000 | #Constraints: 44087
551.98/556.43 c #Conflicts: 252000 | #Constraints: 45087
551.98/556.43 c #Conflicts: 253000 | #Constraints: 46087
551.98/556.43 c #Conflicts: 254000 | #Constraints: 47088
551.98/556.43 c #Conflicts: 255000 | #Constraints: 48090
551.98/556.43 c #Conflicts: 256000 | #Constraints: 49093
551.98/556.43 c INPROCESSING
551.98/556.43 c GARBAGE COLLECT
551.98/556.43 c rational objective 0
568.75/575.75 c #Conflicts: 257000 | #Constraints: 40133
568.75/575.75 c #Conflicts: 258000 | #Constraints: 41133
568.75/575.75 c #Conflicts: 259000 | #Constraints: 42134
568.75/575.75 c #Conflicts: 260000 | #Constraints: 43134
568.75/575.75 c #Conflicts: 261000 | #Constraints: 44135
568.75/575.75 c #Conflicts: 262000 | #Constraints: 45135
568.75/575.75 c #Conflicts: 263000 | #Constraints: 46137
568.75/575.75 c #Conflicts: 264000 | #Constraints: 47140
568.75/575.75 c #Conflicts: 265000 | #Constraints: 48142
568.75/575.75 c #Conflicts: 266000 | #Constraints: 49147
568.75/575.75 c INPROCESSING
568.75/575.75 c GARBAGE COLLECT
568.75/575.75 c rational objective 0
590.18/597.30 c #Conflicts: 267000 | #Constraints: 39917
590.18/597.30 c #Conflicts: 268000 | #Constraints: 40918
590.18/597.30 c #Conflicts: 269000 | #Constraints: 41918
590.18/597.30 c #Conflicts: 270000 | #Constraints: 42918
590.18/597.30 c #Conflicts: 271000 | #Constraints: 43918
590.18/597.30 c #Conflicts: 272000 | #Constraints: 44918
590.18/597.30 c #Conflicts: 273000 | #Constraints: 45919
590.18/597.30 c #Conflicts: 274000 | #Constraints: 46921
590.18/597.30 c #Conflicts: 275000 | #Constraints: 47923
590.18/597.30 c #Conflicts: 276000 | #Constraints: 48925
590.18/597.30 c #Conflicts: 277000 | #Constraints: 49925
590.18/597.30 c INPROCESSING
590.18/597.30 c GARBAGE COLLECT
590.18/597.30 c rational objective 0
611.22/618.43 c #Conflicts: 278000 | #Constraints: 40560
611.22/618.43 c #Conflicts: 279000 | #Constraints: 41561
611.22/618.43 c #Conflicts: 280000 | #Constraints: 42561
611.22/618.43 c #Conflicts: 281000 | #Constraints: 43561
611.22/618.43 c #Conflicts: 282000 | #Constraints: 44562
611.22/618.43 c #Conflicts: 283000 | #Constraints: 45564
611.22/618.43 c #Conflicts: 284000 | #Constraints: 46565
611.22/618.43 c #Conflicts: 285000 | #Constraints: 47565
611.22/618.43 c #Conflicts: 286000 | #Constraints: 48565
611.22/618.43 c #Conflicts: 287000 | #Constraints: 49565
611.22/618.43 c #Conflicts: 288000 | #Constraints: 50567
611.22/618.43 c INPROCESSING
611.22/618.43 c GARBAGE COLLECT
611.22/618.43 c rational objective 0
630.18/637.70 c #Conflicts: 289000 | #Constraints: 40957
630.18/637.70 c #Conflicts: 290000 | #Constraints: 41958
630.18/637.70 c #Conflicts: 291000 | #Constraints: 42958
630.18/637.70 c #Conflicts: 292000 | #Constraints: 43958
630.18/637.70 c #Conflicts: 293000 | #Constraints: 44958
630.18/637.70 c #Conflicts: 294000 | #Constraints: 45958
630.18/637.70 c #Conflicts: 295000 | #Constraints: 46958
630.18/637.70 c #Conflicts: 296000 | #Constraints: 47958
630.18/637.70 c #Conflicts: 297000 | #Constraints: 48959
630.18/637.70 c #Conflicts: 298000 | #Constraints: 49960
630.18/637.70 c #Conflicts: 299000 | #Constraints: 50962
630.18/637.70 c INPROCESSING
630.18/637.70 c GARBAGE COLLECT
630.18/637.70 c rational objective -1.1063e-11
648.43/656.25 c #Conflicts: 300000 | #Constraints: 41145
648.43/656.25 c #Conflicts: 301000 | #Constraints: 42148
648.43/656.25 c #Conflicts: 302000 | #Constraints: 43149
648.43/656.25 c #Conflicts: 303000 | #Constraints: 44149
648.43/656.25 c #Conflicts: 304000 | #Constraints: 45149
648.43/656.25 c #Conflicts: 305000 | #Constraints: 46149
648.43/656.25 c #Conflicts: 306000 | #Constraints: 47149
648.43/656.25 c #Conflicts: 307000 | #Constraints: 48149
648.43/656.25 c #Conflicts: 308000 | #Constraints: 49149
648.43/656.25 c #Conflicts: 309000 | #Constraints: 50149
648.43/656.25 c #Conflicts: 310000 | #Constraints: 51149
648.43/656.25 c INPROCESSING
648.43/656.25 c GARBAGE COLLECT
648.43/656.25 c rational objective 0
667.08/674.98 c #Conflicts: 311000 | #Constraints: 41155
667.08/674.98 c #Conflicts: 312000 | #Constraints: 42156
667.08/674.98 c #Conflicts: 313000 | #Constraints: 43156
667.08/674.98 c #Conflicts: 314000 | #Constraints: 44156
667.08/674.98 c #Conflicts: 315000 | #Constraints: 45156
667.08/674.98 c #Conflicts: 316000 | #Constraints: 46156
667.08/674.98 c #Conflicts: 317000 | #Constraints: 47156
667.08/674.98 c #Conflicts: 318000 | #Constraints: 48159
667.08/674.98 c #Conflicts: 319000 | #Constraints: 49163
667.08/674.98 c #Conflicts: 320000 | #Constraints: 50169
667.08/674.98 c #Conflicts: 321000 | #Constraints: 51169
667.08/674.98 c INPROCESSING
667.08/674.98 c GARBAGE COLLECT
667.08/674.98 c rational objective 0
705.58/713.63 c #Conflicts: 322000 | #Constraints: 40983
705.58/713.63 c #Conflicts: 323000 | #Constraints: 41983
705.58/713.63 c #Conflicts: 324000 | #Constraints: 42983
705.58/713.63 c #Conflicts: 325000 | #Constraints: 43983
705.58/713.63 c #Conflicts: 326000 | #Constraints: 44983
705.58/713.63 c #Conflicts: 327000 | #Constraints: 45983
705.58/713.63 c #Conflicts: 328000 | #Constraints: 46983
705.58/713.63 c #Conflicts: 329000 | #Constraints: 47983
705.58/713.63 c #Conflicts: 330000 | #Constraints: 48983
705.58/713.63 c #Conflicts: 331000 | #Constraints: 49983
705.58/713.63 c #Conflicts: 332000 | #Constraints: 50983
705.58/713.63 c #Conflicts: 333000 | #Constraints: 51984
705.58/713.63 c INPROCESSING
705.58/713.63 c GARBAGE COLLECT
705.58/713.63 c rational objective 0
725.03/733.11 c #Conflicts: 334000 | #Constraints: 41614
725.03/733.11 c #Conflicts: 335000 | #Constraints: 42616
725.03/733.11 c #Conflicts: 336000 | #Constraints: 43617
725.03/733.11 c #Conflicts: 337000 | #Constraints: 44618
725.03/733.11 c #Conflicts: 338000 | #Constraints: 45618
725.03/733.11 c #Conflicts: 339000 | #Constraints: 46618
725.03/733.11 c #Conflicts: 340000 | #Constraints: 47618
725.03/733.11 c #Conflicts: 341000 | #Constraints: 48618
725.03/733.11 c #Conflicts: 342000 | #Constraints: 49618
725.03/733.11 c #Conflicts: 343000 | #Constraints: 50618
725.03/733.11 c #Conflicts: 344000 | #Constraints: 51619
725.03/733.11 c #Conflicts: 345000 | #Constraints: 52619
725.03/733.11 c INPROCESSING
725.03/733.11 c GARBAGE COLLECT
725.03/733.11 c rational objective 0
746.83/755.24 c #Conflicts: 346000 | #Constraints: 42000
746.83/755.24 c #Conflicts: 347000 | #Constraints: 43000
746.83/755.24 c #Conflicts: 348000 | #Constraints: 44000
746.83/755.24 c #Conflicts: 349000 | #Constraints: 45001
746.83/755.24 c #Conflicts: 350000 | #Constraints: 46001
746.83/755.24 c #Conflicts: 351000 | #Constraints: 47001
746.83/755.24 c #Conflicts: 352000 | #Constraints: 48001
746.83/755.24 c #Conflicts: 353000 | #Constraints: 49001
746.83/755.24 c #Conflicts: 354000 | #Constraints: 50001
746.83/755.24 c #Conflicts: 355000 | #Constraints: 51002
746.83/755.24 c #Conflicts: 356000 | #Constraints: 52002
746.83/755.24 c #Conflicts: 357000 | #Constraints: 53002
746.83/755.24 c INPROCESSING
746.83/755.24 c GARBAGE COLLECT
746.83/755.24 c rational objective 0
769.25/778.14 c #Conflicts: 358000 | #Constraints: 42180
769.25/778.14 c #Conflicts: 359000 | #Constraints: 43181
769.25/778.14 c #Conflicts: 360000 | #Constraints: 44181
769.25/778.14 c #Conflicts: 361000 | #Constraints: 45181
769.25/778.14 c #Conflicts: 362000 | #Constraints: 46181
769.25/778.14 c #Conflicts: 363000 | #Constraints: 47181
769.25/778.14 c #Conflicts: 364000 | #Constraints: 48182
769.25/778.14 c #Conflicts: 365000 | #Constraints: 49184
769.25/778.14 c #Conflicts: 366000 | #Constraints: 50184
769.25/778.14 c #Conflicts: 367000 | #Constraints: 51184
769.25/778.14 c #Conflicts: 368000 | #Constraints: 52184
769.25/778.14 c #Conflicts: 369000 | #Constraints: 53185
769.25/778.14 c INPROCESSING
769.25/778.14 c GARBAGE COLLECT
769.25/778.14 c rational objective 0
791.97/800.91 c #Conflicts: 370000 | #Constraints: 42187
791.97/800.91 c #Conflicts: 371000 | #Constraints: 43191
791.97/800.91 c #Conflicts: 372000 | #Constraints: 44194
791.97/800.91 c #Conflicts: 373000 | #Constraints: 45200
791.97/800.91 c #Conflicts: 374000 | #Constraints: 46201
791.97/800.91 c #Conflicts: 375000 | #Constraints: 47206
791.97/800.91 c #Conflicts: 376000 | #Constraints: 48206
791.97/800.91 c #Conflicts: 377000 | #Constraints: 49209
791.97/800.91 c #Conflicts: 378000 | #Constraints: 50209
791.97/800.91 c #Conflicts: 379000 | #Constraints: 51209
791.97/800.91 c #Conflicts: 380000 | #Constraints: 52209
791.97/800.91 c #Conflicts: 381000 | #Constraints: 53209
791.97/800.91 c INPROCESSING
791.97/800.91 c GARBAGE COLLECT
791.97/800.91 c rational objective 0
811.55/821.34 c #Conflicts: 382000 | #Constraints: 41970
811.55/821.34 c #Conflicts: 383000 | #Constraints: 42971
811.55/821.34 c #Conflicts: 384000 | #Constraints: 43971
811.55/821.34 c #Conflicts: 385000 | #Constraints: 44972
811.55/821.34 c #Conflicts: 386000 | #Constraints: 45972
811.55/821.34 c #Conflicts: 387000 | #Constraints: 46973
811.55/821.34 c #Conflicts: 388000 | #Constraints: 47975
811.55/821.34 c #Conflicts: 389000 | #Constraints: 48979
811.55/821.34 c #Conflicts: 390000 | #Constraints: 49982
811.55/821.34 c #Conflicts: 391000 | #Constraints: 50983
811.55/821.34 c #Conflicts: 392000 | #Constraints: 51983
811.55/821.34 c #Conflicts: 393000 | #Constraints: 52983
811.55/821.34 c #Conflicts: 394000 | #Constraints: 53983
811.55/821.34 c INPROCESSING
811.55/821.34 c GARBAGE COLLECT
811.55/821.34 c rational objective 0
833.47/843.69 c #Conflicts: 395000 | #Constraints: 42570
833.47/843.69 c #Conflicts: 396000 | #Constraints: 43570
833.47/843.69 c #Conflicts: 397000 | #Constraints: 44570
833.47/843.69 c #Conflicts: 398000 | #Constraints: 45570
833.47/843.69 c #Conflicts: 399000 | #Constraints: 46570
833.47/843.69 c #Conflicts: 400000 | #Constraints: 47570
833.47/843.69 c #Conflicts: 401000 | #Constraints: 48570
833.47/843.69 c #Conflicts: 402000 | #Constraints: 49570
833.47/843.69 c #Conflicts: 403000 | #Constraints: 50570
833.47/843.69 c #Conflicts: 404000 | #Constraints: 51570
833.47/843.69 c #Conflicts: 405000 | #Constraints: 52570
833.47/843.69 c #Conflicts: 406000 | #Constraints: 53571
833.47/843.69 c #Conflicts: 407000 | #Constraints: 54571
833.47/843.69 c INPROCESSING
833.47/843.69 c GARBAGE COLLECT
833.47/843.69 c rational objective 0
855.39/865.94 c #Conflicts: 408000 | #Constraints: 42986
855.39/865.94 c #Conflicts: 409000 | #Constraints: 43986
855.39/865.94 c #Conflicts: 410000 | #Constraints: 44986
855.39/865.94 c #Conflicts: 411000 | #Constraints: 45986
855.39/865.94 c #Conflicts: 412000 | #Constraints: 46987
855.39/865.94 c #Conflicts: 413000 | #Constraints: 47991
855.39/865.94 c #Conflicts: 414000 | #Constraints: 48991
855.39/865.94 c #Conflicts: 415000 | #Constraints: 49991
855.39/865.94 c #Conflicts: 416000 | #Constraints: 50991
855.39/865.94 c #Conflicts: 417000 | #Constraints: 51991
855.39/865.94 c #Conflicts: 418000 | #Constraints: 52991
855.39/865.94 c #Conflicts: 419000 | #Constraints: 53991
855.39/865.94 c #Conflicts: 420000 | #Constraints: 54991
855.39/865.94 c INPROCESSING
855.39/865.94 c GARBAGE COLLECT
855.39/865.94 c rational objective 0
896.95/914.87 c #Conflicts: 421000 | #Constraints: 43252
896.95/914.87 c #Conflicts: 422000 | #Constraints: 44253
896.95/914.87 c #Conflicts: 423000 | #Constraints: 45254
896.95/914.87 c #Conflicts: 424000 | #Constraints: 46254
896.95/914.87 c #Conflicts: 425000 | #Constraints: 47254
896.95/914.87 c #Conflicts: 426000 | #Constraints: 48254
896.95/914.87 c #Conflicts: 427000 | #Constraints: 49256
896.95/914.87 c #Conflicts: 428000 | #Constraints: 50257
896.95/914.87 c #Conflicts: 429000 | #Constraints: 51261
896.95/914.87 c #Conflicts: 430000 | #Constraints: 52261
896.95/914.87 c #Conflicts: 431000 | #Constraints: 53262
896.95/914.87 c #Conflicts: 432000 | #Constraints: 54266
896.95/914.87 c #Conflicts: 433000 | #Constraints: 55267
896.95/914.87 c INPROCESSING
896.95/914.87 c GARBAGE COLLECT
896.95/914.87 c rational objective 0
928.68/946.71 c #Conflicts: 434000 | #Constraints: 43208
928.68/946.71 c #Conflicts: 435000 | #Constraints: 44208
928.68/946.71 c #Conflicts: 436000 | #Constraints: 45211
928.68/946.71 c #Conflicts: 437000 | #Constraints: 46213
928.68/946.71 c #Conflicts: 438000 | #Constraints: 47214
928.68/946.71 c #Conflicts: 439000 | #Constraints: 48214
928.68/946.71 c #Conflicts: 440000 | #Constraints: 49214
928.68/946.71 c #Conflicts: 441000 | #Constraints: 50214
928.68/946.71 c #Conflicts: 442000 | #Constraints: 51214
928.68/946.71 c #Conflicts: 443000 | #Constraints: 52214
928.68/946.71 c #Conflicts: 444000 | #Constraints: 53214
928.68/946.71 c #Conflicts: 445000 | #Constraints: 54214
928.68/946.71 c #Conflicts: 446000 | #Constraints: 55214
928.68/946.71 c INPROCESSING
928.68/946.71 c GARBAGE COLLECT
928.68/946.71 c rational objective 0
975.43/993.72 c #Conflicts: 447000 | #Constraints: 43070
975.43/993.72 c #Conflicts: 448000 | #Constraints: 44071
975.43/993.72 c #Conflicts: 449000 | #Constraints: 45072
975.43/993.72 c #Conflicts: 450000 | #Constraints: 46082
975.43/993.72 c #Conflicts: 451000 | #Constraints: 47086
975.43/993.72 c #Conflicts: 452000 | #Constraints: 48088
975.43/993.72 c #Conflicts: 453000 | #Constraints: 49089
975.43/993.72 c #Conflicts: 454000 | #Constraints: 50092
975.43/993.72 c #Conflicts: 455000 | #Constraints: 51092
975.43/993.72 c #Conflicts: 456000 | #Constraints: 52094
975.43/993.72 c #Conflicts: 457000 | #Constraints: 53094
975.43/993.72 c #Conflicts: 458000 | #Constraints: 54096
975.43/993.72 c #Conflicts: 459000 | #Constraints: 55096
975.43/993.72 c #Conflicts: 460000 | #Constraints: 56099
975.43/993.72 c INPROCESSING
975.43/993.72 c GARBAGE COLLECT
975.43/993.72 c #Conflicts: 461000 | #Constraints: 43633
975.43/993.72 c #Conflicts: 462000 | #Constraints: 44634
975.43/993.72 c #Conflicts: 463000 | #Constraints: 45637
975.43/993.72 c #Conflicts: 464000 | #Constraints: 46639
975.43/993.72 c #Conflicts: 465000 | #Constraints: 47639
975.43/993.72 c #Conflicts: 466000 | #Constraints: 48640
975.43/993.72 c #Conflicts: 467000 | #Constraints: 49640
975.43/993.72 c #Conflicts: 468000 | #Constraints: 50640
975.43/993.72 c #Conflicts: 469000 | #Constraints: 51640
975.43/993.72 c #Conflicts: 470000 | #Constraints: 52640
975.43/993.72 c #Conflicts: 471000 | #Constraints: 53641
975.43/993.72 c #Conflicts: 472000 | #Constraints: 54641
975.43/993.72 c #Conflicts: 473000 | #Constraints: 55649
975.43/993.72 c #Conflicts: 474000 | #Constraints: 56655
975.43/993.72 c INPROCESSING
975.43/993.72 c GARBAGE COLLECT
975.43/993.72 c rational objective -2.134e-11
1010.94/1029.52 c #Conflicts: 475000 | #Constraints: 44073
1010.94/1029.52 c #Conflicts: 476000 | #Constraints: 45075
1010.94/1029.52 c #Conflicts: 477000 | #Constraints: 46076
1010.94/1029.52 c #Conflicts: 478000 | #Constraints: 47085
1010.94/1029.52 c #Conflicts: 479000 | #Constraints: 48091
1010.94/1029.52 c #Conflicts: 480000 | #Constraints: 49098
1010.94/1029.52 c #Conflicts: 481000 | #Constraints: 50100
1010.94/1029.52 c #Conflicts: 482000 | #Constraints: 51105
1010.94/1029.52 c #Conflicts: 483000 | #Constraints: 52109
1010.94/1029.52 c #Conflicts: 484000 | #Constraints: 53110
1010.94/1029.52 c #Conflicts: 485000 | #Constraints: 54116
1010.94/1029.52 c #Conflicts: 486000 | #Constraints: 55118
1010.94/1029.52 c #Conflicts: 487000 | #Constraints: 56121
1010.94/1029.52 c #Conflicts: 488000 | #Constraints: 57130
1010.94/1029.52 c INPROCESSING
1010.94/1029.52 c GARBAGE COLLECT
1010.94/1029.52 c rational objective 0
1045.67/1064.66 c #Conflicts: 489000 | #Constraints: 44283
1045.67/1064.66 c #Conflicts: 490000 | #Constraints: 45283
1045.67/1064.66 c #Conflicts: 491000 | #Constraints: 46283
1045.67/1064.66 c #Conflicts: 492000 | #Constraints: 47283
1045.67/1064.66 c #Conflicts: 493000 | #Constraints: 48283
1045.67/1064.66 c #Conflicts: 494000 | #Constraints: 49283
1045.67/1064.66 c #Conflicts: 495000 | #Constraints: 50283
1045.67/1064.66 c #Conflicts: 496000 | #Constraints: 51283
1045.67/1064.66 c #Conflicts: 497000 | #Constraints: 52283
1045.67/1064.66 c #Conflicts: 498000 | #Constraints: 53283
1045.67/1064.66 c #Conflicts: 499000 | #Constraints: 54284
1045.67/1064.66 c #Conflicts: 500000 | #Constraints: 55284
1045.67/1064.66 c #Conflicts: 501000 | #Constraints: 56284
1045.67/1064.66 c #Conflicts: 502000 | #Constraints: 57288
1045.67/1064.66 c INPROCESSING
1045.67/1064.66 c GARBAGE COLLECT
1045.67/1064.66 c rational objective 0
1085.96/1105.26 c #Conflicts: 503000 | #Constraints: 44211
1085.96/1105.26 c #Conflicts: 504000 | #Constraints: 45211
1085.96/1105.26 c #Conflicts: 505000 | #Constraints: 46211
1085.96/1105.26 c #Conflicts: 506000 | #Constraints: 47211
1085.96/1105.26 c #Conflicts: 507000 | #Constraints: 48211
1085.96/1105.26 c #Conflicts: 508000 | #Constraints: 49211
1085.96/1105.26 c #Conflicts: 509000 | #Constraints: 50211
1085.96/1105.26 c #Conflicts: 510000 | #Constraints: 51211
1085.96/1105.26 c #Conflicts: 511000 | #Constraints: 52211
1085.96/1105.26 c #Conflicts: 512000 | #Constraints: 53211
1085.96/1105.26 c #Conflicts: 513000 | #Constraints: 54211
1085.96/1105.26 c #Conflicts: 514000 | #Constraints: 55211
1085.96/1105.26 c #Conflicts: 515000 | #Constraints: 56213
1085.96/1105.26 c #Conflicts: 516000 | #Constraints: 57216
1085.96/1105.26 c INPROCESSING
1085.96/1105.26 c GARBAGE COLLECT
1085.96/1105.26 c rational objective 0
1109.88/1129.24 c #Conflicts: 517000 | #Constraints: 44007
1109.88/1129.24 c #Conflicts: 518000 | #Constraints: 45007
1109.88/1129.24 c #Conflicts: 519000 | #Constraints: 46007
1109.88/1129.24 c #Conflicts: 520000 | #Constraints: 47007
1109.88/1129.24 c #Conflicts: 521000 | #Constraints: 48007
1109.88/1129.24 c #Conflicts: 522000 | #Constraints: 49007
1109.88/1129.24 c #Conflicts: 523000 | #Constraints: 50009
1109.88/1129.24 c #Conflicts: 524000 | #Constraints: 51009
1109.88/1129.24 c #Conflicts: 525000 | #Constraints: 52009
1109.88/1129.24 c #Conflicts: 526000 | #Constraints: 53009
1109.88/1129.24 c #Conflicts: 527000 | #Constraints: 54009
1109.88/1129.24 c #Conflicts: 528000 | #Constraints: 55009
1109.88/1129.24 c #Conflicts: 529000 | #Constraints: 56009
1109.88/1129.24 c #Conflicts: 530000 | #Constraints: 57009
1109.88/1129.24 c #Conflicts: 531000 | #Constraints: 58009
1109.88/1129.24 c INPROCESSING
1109.88/1129.24 c GARBAGE COLLECT
1109.88/1129.24 c rational objective 0
1134.81/1154.42 c #Conflicts: 532000 | #Constraints: 44684
1134.81/1154.42 c #Conflicts: 533000 | #Constraints: 45685
1134.81/1154.42 c #Conflicts: 534000 | #Constraints: 46686
1134.81/1154.42 c #Conflicts: 535000 | #Constraints: 47687
1134.81/1154.42 c #Conflicts: 536000 | #Constraints: 48687
1134.81/1154.42 c #Conflicts: 537000 | #Constraints: 49688
1134.81/1154.42 c #Conflicts: 538000 | #Constraints: 50689
1134.81/1154.42 c #Conflicts: 539000 | #Constraints: 51694
1134.81/1154.42 c #Conflicts: 540000 | #Constraints: 52697
1134.81/1154.42 c #Conflicts: 541000 | #Constraints: 53697
1134.81/1154.42 c #Conflicts: 542000 | #Constraints: 54697
1134.81/1154.42 c #Conflicts: 543000 | #Constraints: 55697
1134.81/1154.42 c #Conflicts: 544000 | #Constraints: 56698
1134.81/1154.42 c #Conflicts: 545000 | #Constraints: 57701
1134.81/1154.42 c #Conflicts: 546000 | #Constraints: 58702
1134.81/1154.42 c INPROCESSING
1134.81/1154.42 c GARBAGE COLLECT
1134.81/1154.42 c rational objective 0
1166.15/1185.95 c #Conflicts: 547000 | #Constraints: 45073
1166.15/1185.95 c #Conflicts: 548000 | #Constraints: 46073
1166.15/1185.95 c #Conflicts: 549000 | #Constraints: 47074
1166.15/1185.95 c #Conflicts: 550000 | #Constraints: 48074
1166.15/1185.95 c #Conflicts: 551000 | #Constraints: 49074
1166.15/1185.95 c #Conflicts: 552000 | #Constraints: 50074
1166.15/1185.95 c #Conflicts: 553000 | #Constraints: 51074
1166.15/1185.95 c #Conflicts: 554000 | #Constraints: 52074
1166.15/1185.95 c #Conflicts: 555000 | #Constraints: 53074
1166.15/1185.95 c #Conflicts: 556000 | #Constraints: 54074
1166.15/1185.95 c #Conflicts: 557000 | #Constraints: 55074
1166.15/1185.95 c #Conflicts: 558000 | #Constraints: 56075
1166.15/1185.95 c #Conflicts: 559000 | #Constraints: 57076
1166.15/1185.95 c #Conflicts: 560000 | #Constraints: 58077
1166.15/1185.95 c #Conflicts: 561000 | #Constraints: 59077
1166.15/1185.95 c INPROCESSING
1166.15/1185.95 c GARBAGE COLLECT
1166.15/1185.95 c rational objective 0
1203.81/1223.93 c #Conflicts: 562000 | #Constraints: 45254
1203.81/1223.93 c #Conflicts: 563000 | #Constraints: 46256
1203.81/1223.93 c #Conflicts: 564000 | #Constraints: 47257
1203.81/1223.93 c #Conflicts: 565000 | #Constraints: 48259
1203.81/1223.93 c #Conflicts: 566000 | #Constraints: 49259
1203.81/1223.93 c #Conflicts: 567000 | #Constraints: 50260
1203.81/1223.93 c #Conflicts: 568000 | #Constraints: 51374
1203.81/1223.93 c #Conflicts: 569000 | #Constraints: 52374
1203.81/1223.93 c #Conflicts: 570000 | #Constraints: 53374
1203.81/1223.93 c #Conflicts: 571000 | #Constraints: 54374
1203.81/1223.93 c #Conflicts: 572000 | #Constraints: 55374
1203.81/1223.93 c #Conflicts: 573000 | #Constraints: 56374
1203.81/1223.93 c #Conflicts: 574000 | #Constraints: 57374
1203.81/1223.93 c #Conflicts: 575000 | #Constraints: 58374
1203.81/1223.93 c #Conflicts: 576000 | #Constraints: 59374
1203.81/1223.93 c INPROCESSING
1203.81/1223.93 c GARBAGE COLLECT
1203.81/1223.93 c rational objective 0
1233.02/1253.24 c #Conflicts: 577000 | #Constraints: 45316
1233.02/1253.24 c #Conflicts: 578000 | #Constraints: 46317
1233.02/1253.24 c #Conflicts: 579000 | #Constraints: 47318
1233.02/1253.24 c #Conflicts: 580000 | #Constraints: 48319
1233.02/1253.24 c #Conflicts: 581000 | #Constraints: 49319
1233.02/1253.24 c #Conflicts: 582000 | #Constraints: 50319
1233.02/1253.24 c #Conflicts: 583000 | #Constraints: 51319
1233.02/1253.24 c #Conflicts: 584000 | #Constraints: 52320
1233.02/1253.24 c #Conflicts: 585000 | #Constraints: 53320
1233.02/1253.24 c #Conflicts: 586000 | #Constraints: 54320
1233.02/1253.24 c #Conflicts: 587000 | #Constraints: 55321
1233.02/1253.24 c #Conflicts: 588000 | #Constraints: 56321
1233.02/1253.24 c #Conflicts: 589000 | #Constraints: 57321
1233.02/1253.24 c #Conflicts: 590000 | #Constraints: 58321
1233.02/1253.24 c #Conflicts: 591000 | #Constraints: 59321
1233.02/1253.24 c INPROCESSING
1233.02/1253.24 c GARBAGE COLLECT
1233.02/1253.24 c rational objective 0
1321.98/1342.53 c #Conflicts: 592000 | #Constraints: 45119
1321.98/1342.53 c #Conflicts: 593000 | #Constraints: 46119
1321.98/1342.53 c #Conflicts: 594000 | #Constraints: 47122
1321.98/1342.53 c #Conflicts: 595000 | #Constraints: 48123
1321.98/1342.53 c #Conflicts: 596000 | #Constraints: 49124
1321.98/1342.53 c #Conflicts: 597000 | #Constraints: 50126
1321.98/1342.53 c #Conflicts: 598000 | #Constraints: 51127
1321.98/1342.53 c #Conflicts: 599000 | #Constraints: 52127
1321.98/1342.53 c #Conflicts: 600000 | #Constraints: 53127
1321.98/1342.53 c #Conflicts: 601000 | #Constraints: 54129
1321.98/1342.53 c #Conflicts: 602000 | #Constraints: 55133
1321.98/1342.53 c #Conflicts: 603000 | #Constraints: 56144
1321.98/1342.53 c #Conflicts: 604000 | #Constraints: 57152
1321.98/1342.53 c #Conflicts: 605000 | #Constraints: 58275
1321.98/1342.53 c #Conflicts: 606000 | #Constraints: 59632
1321.98/1342.53 c #Conflicts: 607000 | #Constraints: 61065
1321.98/1342.53 c INPROCESSING
1321.98/1342.53 c GARBAGE COLLECT
1321.98/1342.53 c #Conflicts: 608000 | #Constraints: 46140
1321.98/1342.53 c #Conflicts: 609000 | #Constraints: 47140
1321.98/1342.53 c #Conflicts: 610000 | #Constraints: 48140
1321.98/1342.53 c #Conflicts: 611000 | #Constraints: 49140
1321.98/1342.53 c #Conflicts: 612000 | #Constraints: 50140
1321.98/1342.53 c #Conflicts: 613000 | #Constraints: 51140
1321.98/1342.53 c #Conflicts: 614000 | #Constraints: 52140
1321.98/1342.53 c #Conflicts: 615000 | #Constraints: 53140
1321.98/1342.53 c #Conflicts: 616000 | #Constraints: 54140
1321.98/1342.53 c #Conflicts: 617000 | #Constraints: 55140
1321.98/1342.53 c #Conflicts: 618000 | #Constraints: 56140
1321.98/1342.53 c #Conflicts: 619000 | #Constraints: 57140
1321.98/1342.53 c #Conflicts: 620000 | #Constraints: 58140
1321.98/1342.53 c #Conflicts: 621000 | #Constraints: 59140
1321.98/1342.53 c #Conflicts: 622000 | #Constraints: 60140
1321.98/1342.53 c #Conflicts: 623000 | #Constraints: 61140
1321.98/1342.53 c INPROCESSING
1321.98/1342.53 c GARBAGE COLLECT
1321.98/1342.53 c rational objective 0
1348.82/1369.59 c #Conflicts: 624000 | #Constraints: 46343
1348.82/1369.59 c #Conflicts: 625000 | #Constraints: 47343
1348.82/1369.59 c #Conflicts: 626000 | #Constraints: 48343
1348.82/1369.59 c #Conflicts: 627000 | #Constraints: 49343
1348.82/1369.59 c #Conflicts: 628000 | #Constraints: 50343
1348.82/1369.59 c #Conflicts: 629000 | #Constraints: 51343
1348.82/1369.59 c #Conflicts: 630000 | #Constraints: 52343
1348.82/1369.59 c #Conflicts: 631000 | #Constraints: 53343
1348.82/1369.59 c #Conflicts: 632000 | #Constraints: 54343
1348.82/1369.59 c #Conflicts: 633000 | #Constraints: 55343
1348.82/1369.59 c #Conflicts: 634000 | #Constraints: 56343
1348.82/1369.59 c #Conflicts: 635000 | #Constraints: 57344
1348.82/1369.59 c #Conflicts: 636000 | #Constraints: 58344
1348.82/1369.59 c #Conflicts: 637000 | #Constraints: 59344
1348.82/1369.59 c #Conflicts: 638000 | #Constraints: 60344
1348.82/1369.59 c #Conflicts: 639000 | #Constraints: 61344
1348.82/1369.59 c INPROCESSING
1348.82/1369.59 c GARBAGE COLLECT
1348.82/1369.59 c rational objective 0
1377.81/1398.63 c #Conflicts: 640000 | #Constraints: 46389
1377.81/1398.63 c #Conflicts: 641000 | #Constraints: 47389
1377.81/1398.63 c #Conflicts: 642000 | #Constraints: 48389
1377.81/1398.63 c #Conflicts: 643000 | #Constraints: 49390
1377.81/1398.63 c #Conflicts: 644000 | #Constraints: 50391
1377.81/1398.63 c #Conflicts: 645000 | #Constraints: 51391
1377.81/1398.63 c #Conflicts: 646000 | #Constraints: 52391
1377.81/1398.63 c #Conflicts: 647000 | #Constraints: 53391
1377.81/1398.63 c #Conflicts: 648000 | #Constraints: 54392
1377.81/1398.63 c #Conflicts: 649000 | #Constraints: 55392
1377.81/1398.63 c #Conflicts: 650000 | #Constraints: 56392
1377.81/1398.63 c #Conflicts: 651000 | #Constraints: 57393
1377.81/1398.63 c #Conflicts: 652000 | #Constraints: 58396
1377.81/1398.63 c #Conflicts: 653000 | #Constraints: 59396
1377.81/1398.63 c #Conflicts: 654000 | #Constraints: 60397
1377.81/1398.63 c #Conflicts: 655000 | #Constraints: 61403
1377.81/1398.63 c INPROCESSING
1377.81/1398.63 c GARBAGE COLLECT
1377.81/1398.63 c rational objective 0
1407.21/1428.31 c #Conflicts: 656000 | #Constraints: 46302
1407.21/1428.31 c #Conflicts: 657000 | #Constraints: 47305
1407.21/1428.31 c #Conflicts: 658000 | #Constraints: 48306
1407.21/1428.31 c #Conflicts: 659000 | #Constraints: 49311
1407.21/1428.31 c #Conflicts: 660000 | #Constraints: 50311
1407.21/1428.31 c #Conflicts: 661000 | #Constraints: 51311
1407.21/1428.31 c #Conflicts: 662000 | #Constraints: 52312
1407.21/1428.31 c #Conflicts: 663000 | #Constraints: 53312
1407.21/1428.31 c #Conflicts: 664000 | #Constraints: 54314
1407.21/1428.31 c #Conflicts: 665000 | #Constraints: 55316
1407.21/1428.31 c #Conflicts: 666000 | #Constraints: 56318
1407.21/1428.31 c #Conflicts: 667000 | #Constraints: 57318
1407.21/1428.31 c #Conflicts: 668000 | #Constraints: 58318
1407.21/1428.31 c #Conflicts: 669000 | #Constraints: 59318
1407.21/1428.31 c #Conflicts: 670000 | #Constraints: 60318
1407.21/1428.31 c #Conflicts: 671000 | #Constraints: 61318
1407.21/1428.31 c INPROCESSING
1407.21/1428.31 c GARBAGE COLLECT
1407.21/1428.31 c rational objective 0
1435.46/1456.77 c #Conflicts: 672000 | #Constraints: 46136
1435.46/1456.77 c #Conflicts: 673000 | #Constraints: 47138
1435.46/1456.77 c #Conflicts: 674000 | #Constraints: 48139
1435.46/1456.77 c #Conflicts: 675000 | #Constraints: 49141
1435.46/1456.77 c #Conflicts: 676000 | #Constraints: 50141
1435.46/1456.77 c #Conflicts: 677000 | #Constraints: 51141
1435.46/1456.77 c #Conflicts: 678000 | #Constraints: 52141
1435.46/1456.77 c #Conflicts: 679000 | #Constraints: 53141
1435.46/1456.77 c #Conflicts: 680000 | #Constraints: 54142
1435.46/1456.77 c #Conflicts: 681000 | #Constraints: 55142
1435.46/1456.77 c #Conflicts: 682000 | #Constraints: 56142
1435.46/1456.77 c #Conflicts: 683000 | #Constraints: 57142
1435.46/1456.77 c #Conflicts: 684000 | #Constraints: 58143
1435.46/1456.77 c #Conflicts: 685000 | #Constraints: 59145
1435.46/1456.77 c #Conflicts: 686000 | #Constraints: 60147
1435.46/1456.77 c #Conflicts: 687000 | #Constraints: 61148
1435.46/1456.77 c #Conflicts: 688000 | #Constraints: 62148
1435.46/1456.77 c INPROCESSING
1435.46/1456.77 c GARBAGE COLLECT
1435.46/1456.77 c rational objective 0
1467.53/1489.05 c #Conflicts: 689000 | #Constraints: 46748
1467.53/1489.05 c #Conflicts: 690000 | #Constraints: 47748
1467.53/1489.05 c #Conflicts: 691000 | #Constraints: 48748
1467.53/1489.05 c #Conflicts: 692000 | #Constraints: 49748
1467.53/1489.05 c #Conflicts: 693000 | #Constraints: 50748
1467.53/1489.05 c #Conflicts: 694000 | #Constraints: 51748
1467.53/1489.05 c #Conflicts: 695000 | #Constraints: 52748
1467.53/1489.05 c #Conflicts: 696000 | #Constraints: 53748
1467.53/1489.05 c #Conflicts: 697000 | #Constraints: 54748
1467.53/1489.05 c #Conflicts: 698000 | #Constraints: 55748
1467.53/1489.05 c #Conflicts: 699000 | #Constraints: 56748
1467.53/1489.05 c #Conflicts: 700000 | #Constraints: 57748
1467.53/1489.05 c #Conflicts: 701000 | #Constraints: 58748
1467.53/1489.05 c #Conflicts: 702000 | #Constraints: 59748
1467.53/1489.05 c #Conflicts: 703000 | #Constraints: 60748
1467.53/1489.05 c #Conflicts: 704000 | #Constraints: 61748
1467.53/1489.05 c #Conflicts: 705000 | #Constraints: 62748
1467.53/1489.05 c INPROCESSING
1467.53/1489.05 c GARBAGE COLLECT
1467.53/1489.05 c rational objective 0
1506.26/1527.93 c #Conflicts: 706000 | #Constraints: 47199
1506.26/1527.93 c #Conflicts: 707000 | #Constraints: 48200
1506.26/1527.93 c #Conflicts: 708000 | #Constraints: 49203
1506.26/1527.93 c #Conflicts: 709000 | #Constraints: 50205
1506.26/1527.93 c #Conflicts: 710000 | #Constraints: 51205
1506.26/1527.93 c #Conflicts: 711000 | #Constraints: 52205
1506.26/1527.93 c #Conflicts: 712000 | #Constraints: 53205
1506.26/1527.93 c #Conflicts: 713000 | #Constraints: 54205
1506.26/1527.93 c #Conflicts: 714000 | #Constraints: 55205
1506.26/1527.93 c #Conflicts: 715000 | #Constraints: 56205
1506.26/1527.93 c #Conflicts: 716000 | #Constraints: 57208
1506.26/1527.93 c #Conflicts: 717000 | #Constraints: 58210
1506.26/1527.93 c #Conflicts: 718000 | #Constraints: 59213
1506.26/1527.93 c #Conflicts: 719000 | #Constraints: 60219
1506.26/1527.93 c #Conflicts: 720000 | #Constraints: 61221
1506.26/1527.93 c #Conflicts: 721000 | #Constraints: 62222
1506.26/1527.93 c #Conflicts: 722000 | #Constraints: 63226
1506.26/1527.93 c INPROCESSING
1506.26/1527.93 c GARBAGE COLLECT
1506.26/1527.93 c rational objective 0
1537.31/1559.28 c #Conflicts: 723000 | #Constraints: 47337
1537.31/1559.28 c #Conflicts: 724000 | #Constraints: 48344
1537.31/1559.28 c #Conflicts: 725000 | #Constraints: 49345
1537.31/1559.28 c #Conflicts: 726000 | #Constraints: 50350
1537.31/1559.28 c #Conflicts: 727000 | #Constraints: 51358
1537.31/1559.28 c #Conflicts: 728000 | #Constraints: 52364
1537.31/1559.28 c #Conflicts: 729000 | #Constraints: 53372
1537.31/1559.28 c #Conflicts: 730000 | #Constraints: 54375
1537.31/1559.28 c #Conflicts: 731000 | #Constraints: 55375
1537.31/1559.28 c #Conflicts: 732000 | #Constraints: 56385
1537.31/1559.28 c #Conflicts: 733000 | #Constraints: 57393
1537.31/1559.28 c #Conflicts: 734000 | #Constraints: 58403
1537.31/1559.28 c #Conflicts: 735000 | #Constraints: 59409
1537.31/1559.28 c #Conflicts: 736000 | #Constraints: 60418
1537.31/1559.28 c #Conflicts: 737000 | #Constraints: 61430
1537.31/1559.28 c #Conflicts: 738000 | #Constraints: 62438
1537.31/1559.28 c #Conflicts: 739000 | #Constraints: 63445
1537.31/1559.28 c INPROCESSING
1537.31/1559.28 c GARBAGE COLLECT
1537.31/1559.28 c rational objective 0
1583.52/1605.85 c #Conflicts: 740000 | #Constraints: 47399
1583.52/1605.85 c #Conflicts: 741000 | #Constraints: 48401
1583.52/1605.85 c #Conflicts: 742000 | #Constraints: 49404
1583.52/1605.85 c #Conflicts: 743000 | #Constraints: 50408
1583.52/1605.85 c #Conflicts: 744000 | #Constraints: 51409
1583.52/1605.85 c #Conflicts: 745000 | #Constraints: 52415
1583.52/1605.85 c #Conflicts: 746000 | #Constraints: 53417
1583.52/1605.85 c #Conflicts: 747000 | #Constraints: 54419
1583.52/1605.85 c #Conflicts: 748000 | #Constraints: 55422
1583.52/1605.85 c #Conflicts: 749000 | #Constraints: 56548
1583.52/1605.85 c #Conflicts: 750000 | #Constraints: 57548
1583.52/1605.85 c #Conflicts: 751000 | #Constraints: 58548
1583.52/1605.85 c #Conflicts: 752000 | #Constraints: 59548
1583.52/1605.85 c #Conflicts: 753000 | #Constraints: 60548
1583.52/1605.85 c #Conflicts: 754000 | #Constraints: 61549
1583.52/1605.85 c #Conflicts: 755000 | #Constraints: 62549
1583.52/1605.85 c #Conflicts: 756000 | #Constraints: 63549
1583.52/1605.85 c INPROCESSING
1583.52/1605.85 c GARBAGE COLLECT
1583.52/1605.85 c rational objective 0
1613.79/1636.25 c #Conflicts: 757000 | #Constraints: 47257
1613.79/1636.25 c #Conflicts: 758000 | #Constraints: 48258
1613.79/1636.25 c #Conflicts: 759000 | #Constraints: 49261
1613.79/1636.25 c #Conflicts: 760000 | #Constraints: 50264
1613.79/1636.25 c #Conflicts: 761000 | #Constraints: 51264
1613.79/1636.25 c #Conflicts: 762000 | #Constraints: 52264
1613.79/1636.25 c #Conflicts: 763000 | #Constraints: 53264
1613.79/1636.25 c #Conflicts: 764000 | #Constraints: 54264
1613.79/1636.25 c #Conflicts: 765000 | #Constraints: 55264
1613.79/1636.25 c #Conflicts: 766000 | #Constraints: 56264
1613.79/1636.25 c #Conflicts: 767000 | #Constraints: 57265
1613.79/1636.25 c #Conflicts: 768000 | #Constraints: 58265
1613.79/1636.25 c #Conflicts: 769000 | #Constraints: 59265
1613.79/1636.25 c #Conflicts: 770000 | #Constraints: 60265
1613.79/1636.25 c #Conflicts: 771000 | #Constraints: 61266
1613.79/1636.25 c #Conflicts: 772000 | #Constraints: 62270
1613.79/1636.25 c #Conflicts: 773000 | #Constraints: 63271
1613.79/1636.25 c #Conflicts: 774000 | #Constraints: 64273
1613.79/1636.25 c INPROCESSING
1613.79/1636.25 c GARBAGE COLLECT
1613.79/1636.25 c rational objective 0
1651.51/1674.11 c #Conflicts: 775000 | #Constraints: 47734
1651.51/1674.11 c #Conflicts: 776000 | #Constraints: 48735
1651.51/1674.11 c #Conflicts: 777000 | #Constraints: 49738
1651.51/1674.11 c #Conflicts: 778000 | #Constraints: 50739
1651.51/1674.11 c #Conflicts: 779000 | #Constraints: 51740
1651.51/1674.11 c #Conflicts: 780000 | #Constraints: 52740
1651.51/1674.11 c #Conflicts: 781000 | #Constraints: 53740
1651.51/1674.11 c #Conflicts: 782000 | #Constraints: 54740
1651.51/1674.11 c #Conflicts: 783000 | #Constraints: 55740
1651.51/1674.11 c #Conflicts: 784000 | #Constraints: 56741
1651.51/1674.11 c #Conflicts: 785000 | #Constraints: 57741
1651.51/1674.11 c #Conflicts: 786000 | #Constraints: 58743
1651.51/1674.11 c #Conflicts: 787000 | #Constraints: 59743
1651.51/1674.11 c #Conflicts: 788000 | #Constraints: 60744
1651.51/1674.11 c #Conflicts: 789000 | #Constraints: 61751
1651.51/1674.11 c #Conflicts: 790000 | #Constraints: 62758
1651.51/1674.11 c #Conflicts: 791000 | #Constraints: 63762
1651.51/1674.11 c #Conflicts: 792000 | #Constraints: 64767
1651.51/1674.11 c INPROCESSING
1651.51/1674.11 c GARBAGE COLLECT
1651.51/1674.11 c rational objective 0
1683.34/1706.15 c #Conflicts: 793000 | #Constraints: 48198
1683.34/1706.15 c #Conflicts: 794000 | #Constraints: 49198
1683.34/1706.15 c #Conflicts: 795000 | #Constraints: 50198
1683.34/1706.15 c #Conflicts: 796000 | #Constraints: 51198
1683.34/1706.15 c #Conflicts: 797000 | #Constraints: 52198
1683.34/1706.15 c #Conflicts: 798000 | #Constraints: 53198
1683.34/1706.15 c #Conflicts: 799000 | #Constraints: 54198
1683.34/1706.15 c #Conflicts: 800000 | #Constraints: 55198
1683.34/1706.15 c #Conflicts: 801000 | #Constraints: 56198
1683.34/1706.15 c #Conflicts: 802000 | #Constraints: 57199
1683.34/1706.15 c #Conflicts: 803000 | #Constraints: 58199
1683.34/1706.15 c #Conflicts: 804000 | #Constraints: 59199
1683.34/1706.15 c #Conflicts: 805000 | #Constraints: 60199
1683.34/1706.15 c #Conflicts: 806000 | #Constraints: 61199
1683.34/1706.15 c #Conflicts: 807000 | #Constraints: 62200
1683.34/1706.15 c #Conflicts: 808000 | #Constraints: 63203
1683.34/1706.15 c #Conflicts: 809000 | #Constraints: 64205
1683.34/1706.15 c #Conflicts: 810000 | #Constraints: 65206
1683.34/1706.15 c INPROCESSING
1683.34/1706.15 c GARBAGE COLLECT
1683.34/1706.15 c rational objective 0
1717.60/1740.55 c #Conflicts: 811000 | #Constraints: 48357
1717.60/1740.55 c #Conflicts: 812000 | #Constraints: 49360
1717.60/1740.55 c #Conflicts: 813000 | #Constraints: 50366
1717.60/1740.55 c #Conflicts: 814000 | #Constraints: 51368
1717.60/1740.55 c #Conflicts: 815000 | #Constraints: 52370
1717.60/1740.55 c #Conflicts: 816000 | #Constraints: 53372
1717.60/1740.55 c #Conflicts: 817000 | #Constraints: 54372
1717.60/1740.55 c #Conflicts: 818000 | #Constraints: 55372
1717.60/1740.55 c #Conflicts: 819000 | #Constraints: 56372
1717.60/1740.55 c #Conflicts: 820000 | #Constraints: 57372
1717.60/1740.55 c #Conflicts: 821000 | #Constraints: 58372
1717.60/1740.55 c #Conflicts: 822000 | #Constraints: 59372
1717.60/1740.55 c #Conflicts: 823000 | #Constraints: 60372
1717.60/1740.55 c #Conflicts: 824000 | #Constraints: 61373
1717.60/1740.55 c #Conflicts: 825000 | #Constraints: 62374
1717.60/1740.55 c #Conflicts: 826000 | #Constraints: 63376
1717.60/1740.55 c #Conflicts: 827000 | #Constraints: 64379
1717.60/1740.55 c #Conflicts: 828000 | #Constraints: 65383
1717.60/1740.55 c INPROCESSING
1717.60/1740.55 c GARBAGE COLLECT
1717.60/1740.55 c rational objective 0
1751.75/1775.12 c #Conflicts: 829000 | #Constraints: 48405
1751.75/1775.12 c #Conflicts: 830000 | #Constraints: 49405
1751.75/1775.12 c #Conflicts: 831000 | #Constraints: 50405
1751.75/1775.12 c #Conflicts: 832000 | #Constraints: 51405
1751.75/1775.12 c #Conflicts: 833000 | #Constraints: 52405
1751.75/1775.12 c #Conflicts: 834000 | #Constraints: 53409
1751.75/1775.12 c #Conflicts: 835000 | #Constraints: 54413
1751.75/1775.12 c #Conflicts: 836000 | #Constraints: 55416
1751.75/1775.12 c #Conflicts: 837000 | #Constraints: 56419
1751.75/1775.12 c #Conflicts: 838000 | #Constraints: 57419
1751.75/1775.12 c #Conflicts: 839000 | #Constraints: 58420
1751.75/1775.12 c #Conflicts: 840000 | #Constraints: 59422
1751.75/1775.12 c #Conflicts: 841000 | #Constraints: 60422
1751.75/1775.12 c #Conflicts: 842000 | #Constraints: 61424
1751.75/1775.12 c #Conflicts: 843000 | #Constraints: 62433
1751.75/1775.12 c #Conflicts: 844000 | #Constraints: 63444
1751.75/1775.12 c #Conflicts: 845000 | #Constraints: 64450
1751.75/1775.12 c #Conflicts: 846000 | #Constraints: 65454
1751.75/1775.12 c INPROCESSING
1751.75/1775.12 c GARBAGE COLLECT
1751.75/1775.12 c rational objective 0
1790.13/1813.79 c #Conflicts: 847000 | #Constraints: 48242
1790.13/1813.79 c #Conflicts: 848000 | #Constraints: 49242
1790.13/1813.79 c #Conflicts: 849000 | #Constraints: 50243
1790.13/1813.79 c #Conflicts: 850000 | #Constraints: 51243
1790.13/1813.79 c #Conflicts: 851000 | #Constraints: 52243
1790.13/1813.79 c #Conflicts: 852000 | #Constraints: 53243
1790.13/1813.79 c #Conflicts: 853000 | #Constraints: 54243
1790.13/1813.79 c #Conflicts: 854000 | #Constraints: 55244
1790.13/1813.79 c #Conflicts: 855000 | #Constraints: 56247
1790.13/1813.79 c #Conflicts: 856000 | #Constraints: 57247
1790.13/1813.79 c #Conflicts: 857000 | #Constraints: 58247
1790.13/1813.79 c #Conflicts: 858000 | #Constraints: 59248
1790.13/1813.79 c #Conflicts: 859000 | #Constraints: 60248
1790.13/1813.79 c #Conflicts: 860000 | #Constraints: 61248
1790.13/1813.79 c #Conflicts: 861000 | #Constraints: 62249
1790.13/1813.79 c #Conflicts: 862000 | #Constraints: 63250
1790.13/1813.79 c #Conflicts: 863000 | #Constraints: 64252
1790.13/1813.79 c #Conflicts: 864000 | #Constraints: 65254
1790.13/1813.79 c #Conflicts: 865000 | #Constraints: 66255
1790.13/1813.79 c INPROCESSING
1790.13/1813.79 c GARBAGE COLLECT
1790.13/1813.79 c rational objective 0
1824.42/1848.28 c #Conflicts: 866000 | #Constraints: 48782
1824.42/1848.28 c #Conflicts: 867000 | #Constraints: 49782
1824.42/1848.28 c #Conflicts: 868000 | #Constraints: 50782
1824.42/1848.28 c #Conflicts: 869000 | #Constraints: 51782
1824.42/1848.28 c #Conflicts: 870000 | #Constraints: 52782
1824.42/1848.28 c #Conflicts: 871000 | #Constraints: 53782
1824.42/1848.28 c #Conflicts: 872000 | #Constraints: 54782
1824.42/1848.28 c #Conflicts: 873000 | #Constraints: 55782
1824.42/1848.28 c #Conflicts: 874000 | #Constraints: 56782
1824.42/1848.28 c #Conflicts: 875000 | #Constraints: 57782
1824.42/1848.28 c #Conflicts: 876000 | #Constraints: 58783
1824.42/1848.28 c #Conflicts: 877000 | #Constraints: 59783
1824.42/1848.28 c #Conflicts: 878000 | #Constraints: 60783
1824.42/1848.28 c #Conflicts: 879000 | #Constraints: 61785
1824.42/1848.28 c #Conflicts: 880000 | #Constraints: 62785
1824.42/1848.28 c #Conflicts: 881000 | #Constraints: 63786
1824.42/1848.28 c #Conflicts: 882000 | #Constraints: 64786
1824.42/1848.28 c #Conflicts: 883000 | #Constraints: 65786
1824.42/1848.28 c #Conflicts: 884000 | #Constraints: 66786
1824.42/1848.28 c INPROCESSING
1824.42/1848.28 c GARBAGE COLLECT
1824.42/1848.28 c rational objective 0
1861.91/1885.91 c #Conflicts: 885000 | #Constraints: 49192
1861.91/1885.91 c #Conflicts: 886000 | #Constraints: 50194
1861.91/1885.91 c #Conflicts: 887000 | #Constraints: 51196
1861.91/1885.91 c #Conflicts: 888000 | #Constraints: 52202
1861.91/1885.91 c #Conflicts: 889000 | #Constraints: 53213
1861.91/1885.91 c #Conflicts: 890000 | #Constraints: 54218
1861.91/1885.91 c #Conflicts: 891000 | #Constraints: 55218
1861.91/1885.91 c #Conflicts: 892000 | #Constraints: 56218
1861.91/1885.91 c #Conflicts: 893000 | #Constraints: 57219
1861.91/1885.91 c #Conflicts: 894000 | #Constraints: 58224
1861.91/1885.91 c #Conflicts: 895000 | #Constraints: 59232
1861.91/1885.91 c #Conflicts: 896000 | #Constraints: 60243
1861.91/1885.91 c #Conflicts: 897000 | #Constraints: 61246
1861.91/1885.91 c #Conflicts: 898000 | #Constraints: 62247
1861.91/1885.91 c #Conflicts: 899000 | #Constraints: 63247
1861.91/1885.91 c #Conflicts: 900000 | #Constraints: 64247
1861.91/1885.91 c #Conflicts: 901000 | #Constraints: 65247
1861.91/1885.91 c #Conflicts: 902000 | #Constraints: 66247
1861.91/1885.91 c #Conflicts: 903000 | #Constraints: 67247
1861.91/1885.91 c INPROCESSING
1861.91/1885.91 c GARBAGE COLLECT
1861.91/1885.91 c rational objective 0
1895.82/1920.19 c #Conflicts: 904000 | #Constraints: 49472
1895.82/1920.19 c #Conflicts: 905000 | #Constraints: 50472
1895.82/1920.19 c #Conflicts: 906000 | #Constraints: 51472
1895.82/1920.19 c #Conflicts: 907000 | #Constraints: 52473
1895.82/1920.19 c #Conflicts: 908000 | #Constraints: 53473
1895.82/1920.19 c #Conflicts: 909000 | #Constraints: 54474
1895.82/1920.19 c #Conflicts: 910000 | #Constraints: 55474
1895.82/1920.19 c #Conflicts: 911000 | #Constraints: 56475
1895.82/1920.19 c #Conflicts: 912000 | #Constraints: 57476
1895.82/1920.19 c #Conflicts: 913000 | #Constraints: 58479
1895.82/1920.19 c #Conflicts: 914000 | #Constraints: 59488
1895.82/1920.19 c #Conflicts: 915000 | #Constraints: 60491
1895.82/1920.19 c #Conflicts: 916000 | #Constraints: 61493
1895.82/1920.19 c #Conflicts: 917000 | #Constraints: 62493
1895.82/1920.19 c #Conflicts: 918000 | #Constraints: 63493
1895.82/1920.19 c #Conflicts: 919000 | #Constraints: 64493
1895.82/1920.19 c #Conflicts: 920000 | #Constraints: 65493
1895.82/1920.19 c #Conflicts: 921000 | #Constraints: 66493
1895.82/1920.19 c #Conflicts: 922000 | #Constraints: 67494
1895.82/1920.19 c INPROCESSING
1895.82/1920.19 c GARBAGE COLLECT
1895.82/1920.19 c rational objective 0
1928.97/1953.42 c #Conflicts: 923000 | #Constraints: 49461
1928.97/1953.42 c #Conflicts: 924000 | #Constraints: 50461
1928.97/1953.42 c #Conflicts: 925000 | #Constraints: 51461
1928.97/1953.42 c #Conflicts: 926000 | #Constraints: 52544
1928.97/1953.42 c #Conflicts: 927000 | #Constraints: 53544
1928.97/1953.42 c #Conflicts: 928000 | #Constraints: 54545
1928.97/1953.42 c #Conflicts: 929000 | #Constraints: 55548
1928.97/1953.42 c #Conflicts: 930000 | #Constraints: 56548
1928.97/1953.42 c #Conflicts: 931000 | #Constraints: 57548
1928.97/1953.42 c #Conflicts: 932000 | #Constraints: 58548
1928.97/1953.42 c #Conflicts: 933000 | #Constraints: 59548
1928.97/1953.42 c #Conflicts: 934000 | #Constraints: 60548
1928.97/1953.42 c #Conflicts: 935000 | #Constraints: 61548
1928.97/1953.42 c #Conflicts: 936000 | #Constraints: 62548
1928.97/1953.42 c #Conflicts: 937000 | #Constraints: 63554
1928.97/1953.42 c #Conflicts: 938000 | #Constraints: 64555
1928.97/1953.42 c #Conflicts: 939000 | #Constraints: 65555
1928.97/1953.42 c #Conflicts: 940000 | #Constraints: 66555
1928.97/1953.42 c #Conflicts: 941000 | #Constraints: 67555
1928.97/1953.42 c INPROCESSING
1928.97/1953.42 c GARBAGE COLLECT
1928.97/1953.42 c rational objective 0
2052.84/2077.75 c #Conflicts: 942000 | #Constraints: 49339
2052.84/2077.75 c #Conflicts: 943000 | #Constraints: 50340
2052.84/2077.75 c #Conflicts: 944000 | #Constraints: 51341
2052.84/2077.75 c #Conflicts: 945000 | #Constraints: 52342
2052.84/2077.75 c #Conflicts: 946000 | #Constraints: 53345
2052.84/2077.75 c #Conflicts: 947000 | #Constraints: 54349
2052.84/2077.75 c #Conflicts: 948000 | #Constraints: 55352
2052.84/2077.75 c #Conflicts: 949000 | #Constraints: 56354
2052.84/2077.75 c #Conflicts: 950000 | #Constraints: 57356
2052.84/2077.75 c #Conflicts: 951000 | #Constraints: 58356
2052.84/2077.75 c #Conflicts: 952000 | #Constraints: 59356
2052.84/2077.75 c #Conflicts: 953000 | #Constraints: 60360
2052.84/2077.75 c #Conflicts: 954000 | #Constraints: 61360
2052.84/2077.75 c #Conflicts: 955000 | #Constraints: 62360
2052.84/2077.75 c #Conflicts: 956000 | #Constraints: 63360
2052.84/2077.75 c #Conflicts: 957000 | #Constraints: 64521
2052.84/2077.75 c #Conflicts: 958000 | #Constraints: 65847
2052.84/2077.75 c #Conflicts: 959000 | #Constraints: 67214
2052.84/2077.75 c #Conflicts: 960000 | #Constraints: 68633
2052.84/2077.75 c #Conflicts: 961000 | #Constraints: 70016
2052.84/2077.75 c INPROCESSING
2052.84/2077.75 c GARBAGE COLLECT
2052.84/2077.75 c #Conflicts: 962000 | #Constraints: 50779
2052.84/2077.75 c #Conflicts: 963000 | #Constraints: 51779
2052.84/2077.75 c #Conflicts: 964000 | #Constraints: 52779
2052.84/2077.75 c #Conflicts: 965000 | #Constraints: 53779
2052.84/2077.75 c #Conflicts: 966000 | #Constraints: 54779
2052.84/2077.75 c #Conflicts: 967000 | #Constraints: 55779
2052.84/2077.75 c #Conflicts: 968000 | #Constraints: 56779
2052.84/2077.75 c #Conflicts: 969000 | #Constraints: 57779
2052.84/2077.75 c #Conflicts: 970000 | #Constraints: 58779
2052.84/2077.75 c #Conflicts: 971000 | #Constraints: 59779
2052.84/2077.75 c #Conflicts: 972000 | #Constraints: 60779
2052.84/2077.75 c #Conflicts: 973000 | #Constraints: 61779
2052.84/2077.75 c #Conflicts: 974000 | #Constraints: 62779
2052.84/2077.75 c #Conflicts: 975000 | #Constraints: 63779
2052.84/2077.75 c #Conflicts: 976000 | #Constraints: 64779
2052.84/2077.75 c #Conflicts: 977000 | #Constraints: 65779
2052.84/2077.75 c #Conflicts: 978000 | #Constraints: 66779
2052.84/2077.75 c #Conflicts: 979000 | #Constraints: 67779
2052.84/2077.75 c #Conflicts: 980000 | #Constraints: 68779
2052.84/2077.75 c #Conflicts: 981000 | #Constraints: 69779
2052.84/2077.75 c INPROCESSING
2052.84/2077.75 c GARBAGE COLLECT
2052.84/2077.75 c rational objective 0
2095.59/2120.69 c #Conflicts: 982000 | #Constraints: 50631
2095.59/2120.69 c #Conflicts: 983000 | #Constraints: 51631
2095.59/2120.69 c #Conflicts: 984000 | #Constraints: 52631
2095.59/2120.69 c #Conflicts: 985000 | #Constraints: 53631
2095.59/2120.69 c #Conflicts: 986000 | #Constraints: 54631
2095.59/2120.69 c #Conflicts: 987000 | #Constraints: 55631
2095.59/2120.69 c #Conflicts: 988000 | #Constraints: 56634
2095.59/2120.69 c #Conflicts: 989000 | #Constraints: 57638
2095.59/2120.69 c #Conflicts: 990000 | #Constraints: 58641
2095.59/2120.69 c #Conflicts: 991000 | #Constraints: 59644
2095.59/2120.69 c #Conflicts: 992000 | #Constraints: 60648
2095.59/2120.69 c #Conflicts: 993000 | #Constraints: 61653
2095.59/2120.69 c #Conflicts: 994000 | #Constraints: 62658
2095.59/2120.69 c #Conflicts: 995000 | #Constraints: 63661
2095.59/2120.69 c #Conflicts: 996000 | #Constraints: 64666
2095.59/2120.69 c #Conflicts: 997000 | #Constraints: 65669
2095.59/2120.69 c #Conflicts: 998000 | #Constraints: 66672
2095.59/2120.69 c #Conflicts: 999000 | #Constraints: 67674
2095.59/2120.69 c #Conflicts: 1000000 | #Constraints: 68675
2095.59/2120.69 c #Conflicts: 1001000 | #Constraints: 69681
2095.59/2120.69 c INPROCESSING
2095.59/2120.69 c GARBAGE COLLECT
2095.59/2120.69 c rational objective 0
2273.47/2300.02 c #Conflicts: 1002000 | #Constraints: 50588
2273.47/2300.02 c #Conflicts: 1003000 | #Constraints: 51588
2273.47/2300.02 c #Conflicts: 1004000 | #Constraints: 52588
2273.47/2300.02 c #Conflicts: 1005000 | #Constraints: 53588
2273.47/2300.02 c #Conflicts: 1006000 | #Constraints: 54589
2273.47/2300.02 c #Conflicts: 1007000 | #Constraints: 55590
2273.47/2300.02 c #Conflicts: 1008000 | #Constraints: 56590
2273.47/2300.02 c #Conflicts: 1009000 | #Constraints: 57591
2273.47/2300.02 c #Conflicts: 1010000 | #Constraints: 58594
2273.47/2300.02 c #Conflicts: 1011000 | #Constraints: 59598
2273.47/2300.02 c #Conflicts: 1012000 | #Constraints: 60604
2273.47/2300.02 c #Conflicts: 1013000 | #Constraints: 61605
2273.47/2300.02 c #Conflicts: 1014000 | #Constraints: 62605
2273.47/2300.02 c #Conflicts: 1015000 | #Constraints: 63610
2273.47/2300.02 c #Conflicts: 1016000 | #Constraints: 64617
2273.47/2300.02 c #Conflicts: 1017000 | #Constraints: 65619
2273.47/2300.02 c #Conflicts: 1018000 | #Constraints: 66622
2273.47/2300.02 c #Conflicts: 1019000 | #Constraints: 67624
2273.47/2300.02 c #Conflicts: 1020000 | #Constraints: 68624
2273.47/2300.02 c #Conflicts: 1021000 | #Constraints: 69624
2273.47/2300.02 c INPROCESSING
2273.47/2300.02 c GARBAGE COLLECT
2273.47/2300.02 c #Conflicts: 1022000 | #Constraints: 50447
2273.47/2300.02 c #Conflicts: 1023000 | #Constraints: 51447
2273.47/2300.02 c #Conflicts: 1024000 | #Constraints: 52447
2273.47/2300.02 c #Conflicts: 1025000 | #Constraints: 53447
2273.47/2300.02 c #Conflicts: 1026000 | #Constraints: 54447
2273.47/2300.02 c #Conflicts: 1027000 | #Constraints: 55447
2273.47/2300.02 c #Conflicts: 1028000 | #Constraints: 56447
2273.47/2300.02 c #Conflicts: 1029000 | #Constraints: 57447
2273.47/2300.02 c #Conflicts: 1030000 | #Constraints: 58447
2273.47/2300.02 c #Conflicts: 1031000 | #Constraints: 59447
2273.47/2300.02 c #Conflicts: 1032000 | #Constraints: 60447
2273.47/2300.02 c #Conflicts: 1033000 | #Constraints: 61448
2273.47/2300.02 c #Conflicts: 1034000 | #Constraints: 62454
2273.47/2300.02 c #Conflicts: 1035000 | #Constraints: 63461
2273.47/2300.02 c #Conflicts: 1036000 | #Constraints: 64463
2273.47/2300.02 c #Conflicts: 1037000 | #Constraints: 65606
2273.47/2300.02 c #Conflicts: 1038000 | #Constraints: 66987
2273.47/2300.02 c #Conflicts: 1039000 | #Constraints: 68309
2273.47/2300.02 c #Conflicts: 1040000 | #Constraints: 69690
2273.47/2300.02 c #Conflicts: 1041000 | #Constraints: 71088
2273.47/2300.02 c INPROCESSING
2273.47/2300.02 c GARBAGE COLLECT
2273.47/2300.02 c #Conflicts: 1042000 | #Constraints: 51135
2273.47/2300.02 c #Conflicts: 1043000 | #Constraints: 52135
2273.47/2300.02 c #Conflicts: 1044000 | #Constraints: 53135
2273.47/2300.02 c #Conflicts: 1045000 | #Constraints: 54135
2273.47/2300.02 c #Conflicts: 1046000 | #Constraints: 55135
2273.47/2300.02 c #Conflicts: 1047000 | #Constraints: 56135
2273.47/2300.02 c #Conflicts: 1048000 | #Constraints: 57135
2273.47/2300.02 c #Conflicts: 1049000 | #Constraints: 58135
2273.47/2300.02 c #Conflicts: 1050000 | #Constraints: 59135
2273.47/2300.02 c #Conflicts: 1051000 | #Constraints: 60135
2273.47/2300.02 c #Conflicts: 1052000 | #Constraints: 61135
2273.47/2300.02 c #Conflicts: 1053000 | #Constraints: 62135
2273.47/2300.02 c #Conflicts: 1054000 | #Constraints: 63135
2273.47/2300.02 c #Conflicts: 1055000 | #Constraints: 64135
2273.47/2300.02 c #Conflicts: 1056000 | #Constraints: 65135
2273.47/2300.02 c #Conflicts: 1057000 | #Constraints: 66135
2273.47/2300.02 c #Conflicts: 1058000 | #Constraints: 67135
2273.47/2300.02 c #Conflicts: 1059000 | #Constraints: 68135
2273.47/2300.02 c #Conflicts: 1060000 | #Constraints: 69135
2273.47/2300.02 c #Conflicts: 1061000 | #Constraints: 70135
2273.47/2300.02 c #Conflicts: 1062000 | #Constraints: 71135
2273.47/2300.02 c INPROCESSING
2273.47/2300.02 c GARBAGE COLLECT
2273.47/2300.02 c rational objective 0
2352.36/2379.22 c #Conflicts: 1063000 | #Constraints: 51249
2352.36/2379.22 c #Conflicts: 1064000 | #Constraints: 52249
2352.36/2379.22 c #Conflicts: 1065000 | #Constraints: 53249
2352.36/2379.22 c #Conflicts: 1066000 | #Constraints: 54249
2352.36/2379.22 c #Conflicts: 1067000 | #Constraints: 55249
2352.36/2379.22 c #Conflicts: 1068000 | #Constraints: 56249
2352.36/2379.22 c #Conflicts: 1069000 | #Constraints: 57249
2352.36/2379.22 c #Conflicts: 1070000 | #Constraints: 58249
2352.36/2379.22 c #Conflicts: 1071000 | #Constraints: 59253
2352.36/2379.22 c #Conflicts: 1072000 | #Constraints: 60254
2352.36/2379.22 c #Conflicts: 1073000 | #Constraints: 61255
2352.36/2379.22 c #Conflicts: 1074000 | #Constraints: 62260
2352.36/2379.22 c #Conflicts: 1075000 | #Constraints: 63268
2352.36/2379.22 c #Conflicts: 1076000 | #Constraints: 64273
2352.36/2379.22 c #Conflicts: 1077000 | #Constraints: 65276
2352.36/2379.22 c #Conflicts: 1078000 | #Constraints: 66281
2352.36/2379.22 c #Conflicts: 1079000 | #Constraints: 67285
2352.36/2379.22 c #Conflicts: 1080000 | #Constraints: 68289
2352.36/2379.22 c #Conflicts: 1081000 | #Constraints: 69291
2352.36/2379.22 c #Conflicts: 1082000 | #Constraints: 70300
2352.36/2379.22 c #Conflicts: 1083000 | #Constraints: 71305
2352.36/2379.22 c INPROCESSING
2352.36/2379.22 c GARBAGE COLLECT
2352.36/2379.22 c rational objective 0
2403.04/2430.22 c #Conflicts: 1084000 | #Constraints: 51430
2403.04/2430.22 c #Conflicts: 1085000 | #Constraints: 52430
2403.04/2430.22 c #Conflicts: 1086000 | #Constraints: 53430
2403.04/2430.22 c #Conflicts: 1087000 | #Constraints: 54430
2403.04/2430.22 c #Conflicts: 1088000 | #Constraints: 55430
2403.04/2430.22 c #Conflicts: 1089000 | #Constraints: 56431
2403.04/2430.22 c #Conflicts: 1090000 | #Constraints: 57432
2403.04/2430.22 c #Conflicts: 1091000 | #Constraints: 58436
2403.04/2430.22 c #Conflicts: 1092000 | #Constraints: 59443
2403.04/2430.22 c #Conflicts: 1093000 | #Constraints: 60447
2403.04/2430.22 c #Conflicts: 1094000 | #Constraints: 61455
2403.04/2430.22 c #Conflicts: 1095000 | #Constraints: 62462
2403.04/2430.22 c #Conflicts: 1096000 | #Constraints: 63470
2403.04/2430.22 c #Conflicts: 1097000 | #Constraints: 64475
2403.04/2430.22 c #Conflicts: 1098000 | #Constraints: 65481
2403.04/2430.22 c #Conflicts: 1099000 | #Constraints: 66484
2403.04/2430.22 c #Conflicts: 1100000 | #Constraints: 67490
2403.04/2430.22 c #Conflicts: 1101000 | #Constraints: 68498
2403.04/2430.22 c #Conflicts: 1102000 | #Constraints: 69504
2403.04/2430.22 c #Conflicts: 1103000 | #Constraints: 70511
2403.04/2430.22 c #Conflicts: 1104000 | #Constraints: 71520
2403.04/2430.22 c INPROCESSING
2403.04/2430.22 c GARBAGE COLLECT
2403.04/2430.22 c rational objective 0
2449.66/2477.14 c #Conflicts: 1105000 | #Constraints: 51507
2449.66/2477.14 c #Conflicts: 1106000 | #Constraints: 52507
2449.66/2477.14 c #Conflicts: 1107000 | #Constraints: 53507
2449.66/2477.14 c #Conflicts: 1108000 | #Constraints: 54507
2449.66/2477.14 c #Conflicts: 1109000 | #Constraints: 55507
2449.66/2477.14 c #Conflicts: 1110000 | #Constraints: 56507
2449.66/2477.14 c #Conflicts: 1111000 | #Constraints: 57507
2449.66/2477.14 c #Conflicts: 1112000 | #Constraints: 58507
2449.66/2477.14 c #Conflicts: 1113000 | #Constraints: 59518
2449.66/2477.14 c #Conflicts: 1114000 | #Constraints: 60527
2449.66/2477.14 c #Conflicts: 1115000 | #Constraints: 61527
2449.66/2477.14 c #Conflicts: 1116000 | #Constraints: 62528
2449.66/2477.14 c #Conflicts: 1117000 | #Constraints: 63534
2449.66/2477.14 c #Conflicts: 1118000 | #Constraints: 64540
2449.66/2477.14 c #Conflicts: 1119000 | #Constraints: 65542
2449.66/2477.14 c #Conflicts: 1120000 | #Constraints: 66545
2449.66/2477.14 c #Conflicts: 1121000 | #Constraints: 67549
2449.66/2477.14 c #Conflicts: 1122000 | #Constraints: 68554
2449.66/2477.14 c #Conflicts: 1123000 | #Constraints: 69557
2449.66/2477.14 c #Conflicts: 1124000 | #Constraints: 70558
2449.66/2477.14 c #Conflicts: 1125000 | #Constraints: 71559
2449.66/2477.14 c INPROCESSING
2449.66/2477.14 c GARBAGE COLLECT
2449.66/2477.14 c rational objective 0
2494.67/2522.36 c #Conflicts: 1126000 | #Constraints: 51421
2494.67/2522.36 c #Conflicts: 1127000 | #Constraints: 52421
2494.67/2522.36 c #Conflicts: 1128000 | #Constraints: 53421
2494.67/2522.36 c #Conflicts: 1129000 | #Constraints: 54421
2494.67/2522.36 c #Conflicts: 1130000 | #Constraints: 55422
2494.67/2522.36 c #Conflicts: 1131000 | #Constraints: 56423
2494.67/2522.36 c #Conflicts: 1132000 | #Constraints: 57426
2494.67/2522.36 c #Conflicts: 1133000 | #Constraints: 58432
2494.67/2522.36 c #Conflicts: 1134000 | #Constraints: 59434
2494.67/2522.36 c #Conflicts: 1135000 | #Constraints: 60436
2494.67/2522.36 c #Conflicts: 1136000 | #Constraints: 61437
2494.67/2522.36 c #Conflicts: 1137000 | #Constraints: 62437
2494.67/2522.36 c #Conflicts: 1138000 | #Constraints: 63437
2494.67/2522.36 c #Conflicts: 1139000 | #Constraints: 64437
2494.67/2522.36 c #Conflicts: 1140000 | #Constraints: 65437
2494.67/2522.36 c #Conflicts: 1141000 | #Constraints: 66439
2494.67/2522.36 c #Conflicts: 1142000 | #Constraints: 67439
2494.67/2522.36 c #Conflicts: 1143000 | #Constraints: 68439
2494.67/2522.36 c #Conflicts: 1144000 | #Constraints: 69439
2494.67/2522.36 c #Conflicts: 1145000 | #Constraints: 70439
2494.67/2522.36 c #Conflicts: 1146000 | #Constraints: 71439
2494.67/2522.36 c INPROCESSING
2494.67/2522.36 c GARBAGE COLLECT
2494.67/2522.36 c rational objective 0
2529.58/2557.38 c #Conflicts: 1147000 | #Constraints: 51230
2529.58/2557.38 c #Conflicts: 1148000 | #Constraints: 52231
2529.58/2557.38 c #Conflicts: 1149000 | #Constraints: 53233
2529.58/2557.38 c #Conflicts: 1150000 | #Constraints: 54234
2529.58/2557.38 c #Conflicts: 1151000 | #Constraints: 55234
2529.58/2557.38 c #Conflicts: 1152000 | #Constraints: 56234
2529.58/2557.38 c #Conflicts: 1153000 | #Constraints: 57234
2529.58/2557.38 c #Conflicts: 1154000 | #Constraints: 58234
2529.58/2557.38 c #Conflicts: 1155000 | #Constraints: 59234
2529.58/2557.38 c #Conflicts: 1156000 | #Constraints: 60235
2529.58/2557.38 c #Conflicts: 1157000 | #Constraints: 61236
2529.58/2557.38 c #Conflicts: 1158000 | #Constraints: 62236
2529.58/2557.38 c #Conflicts: 1159000 | #Constraints: 63237
2529.58/2557.38 c #Conflicts: 1160000 | #Constraints: 64237
2529.58/2557.38 c #Conflicts: 1161000 | #Constraints: 65238
2529.58/2557.38 c #Conflicts: 1162000 | #Constraints: 66239
2529.58/2557.38 c #Conflicts: 1163000 | #Constraints: 67239
2529.58/2557.38 c #Conflicts: 1164000 | #Constraints: 68239
2529.58/2557.38 c #Conflicts: 1165000 | #Constraints: 69240
2529.58/2557.38 c #Conflicts: 1166000 | #Constraints: 70241
2529.58/2557.38 c #Conflicts: 1167000 | #Constraints: 71241
2529.58/2557.38 c #Conflicts: 1168000 | #Constraints: 72241
2529.58/2557.38 c INPROCESSING
2529.58/2557.38 c GARBAGE COLLECT
2529.58/2557.38 c rational objective 0
2631.90/2660.04 c #Conflicts: 1169000 | #Constraints: 51828
2631.90/2660.04 c #Conflicts: 1170000 | #Constraints: 52828
2631.90/2660.04 c #Conflicts: 1171000 | #Constraints: 53828
2631.90/2660.04 c #Conflicts: 1172000 | #Constraints: 54828
2631.90/2660.04 c #Conflicts: 1173000 | #Constraints: 55828
2631.90/2660.04 c #Conflicts: 1174000 | #Constraints: 56828
2631.90/2660.04 c #Conflicts: 1175000 | #Constraints: 57828
2631.90/2660.04 c #Conflicts: 1176000 | #Constraints: 58829
2631.90/2660.04 c #Conflicts: 1177000 | #Constraints: 59829
2631.90/2660.04 c #Conflicts: 1178000 | #Constraints: 60830
2631.90/2660.04 c #Conflicts: 1179000 | #Constraints: 61830
2631.90/2660.04 c #Conflicts: 1180000 | #Constraints: 62830
2631.90/2660.04 c #Conflicts: 1181000 | #Constraints: 63832
2631.90/2660.04 c #Conflicts: 1182000 | #Constraints: 64834
2631.90/2660.04 c #Conflicts: 1183000 | #Constraints: 65835
2631.90/2660.04 c #Conflicts: 1184000 | #Constraints: 66837
2631.90/2660.04 c #Conflicts: 1185000 | #Constraints: 67838
2631.90/2660.04 c #Conflicts: 1186000 | #Constraints: 68839
2631.90/2660.04 c #Conflicts: 1187000 | #Constraints: 69842
2631.90/2660.04 c #Conflicts: 1188000 | #Constraints: 70854
2631.90/2660.04 c #Conflicts: 1189000 | #Constraints: 71854
2631.90/2660.04 c #Conflicts: 1190000 | #Constraints: 72972
2631.90/2660.04 c INPROCESSING
2631.90/2660.04 c GARBAGE COLLECT
2631.90/2660.04 c #Conflicts: 1191000 | #Constraints: 52238
2631.90/2660.04 c #Conflicts: 1192000 | #Constraints: 53241
2631.90/2660.04 c #Conflicts: 1193000 | #Constraints: 54245
2631.90/2660.04 c #Conflicts: 1194000 | #Constraints: 55252
2631.90/2660.04 c #Conflicts: 1195000 | #Constraints: 56261
2631.90/2660.04 c #Conflicts: 1196000 | #Constraints: 57263
2631.90/2660.04 c #Conflicts: 1197000 | #Constraints: 58264
2631.90/2660.04 c #Conflicts: 1198000 | #Constraints: 59265
2631.90/2660.04 c #Conflicts: 1199000 | #Constraints: 60265
2631.90/2660.04 c #Conflicts: 1200000 | #Constraints: 61265
2631.90/2660.04 c #Conflicts: 1201000 | #Constraints: 62267
2631.90/2660.04 c #Conflicts: 1202000 | #Constraints: 63269
2631.90/2660.04 c #Conflicts: 1203000 | #Constraints: 64271
2631.90/2660.04 c #Conflicts: 1204000 | #Constraints: 65272
2631.90/2660.04 c #Conflicts: 1205000 | #Constraints: 66275
2631.90/2660.04 c #Conflicts: 1206000 | #Constraints: 67275
2631.90/2660.04 c #Conflicts: 1207000 | #Constraints: 68275
2631.90/2660.04 c #Conflicts: 1208000 | #Constraints: 69275
2631.90/2660.04 c #Conflicts: 1209000 | #Constraints: 70275
2631.90/2660.04 c #Conflicts: 1210000 | #Constraints: 71275
2631.90/2660.04 c #Conflicts: 1211000 | #Constraints: 72275
2631.90/2660.04 c #Conflicts: 1212000 | #Constraints: 73276
2631.90/2660.04 c INPROCESSING
2631.90/2660.04 c GARBAGE COLLECT
2631.90/2660.04 c rational objective 0
2892.07/2921.53 c #Conflicts: 1213000 | #Constraints: 52424
2892.07/2921.53 c #Conflicts: 1214000 | #Constraints: 53426
2892.07/2921.53 c #Conflicts: 1215000 | #Constraints: 54428
2892.07/2921.53 c #Conflicts: 1216000 | #Constraints: 55432
2892.07/2921.53 c #Conflicts: 1217000 | #Constraints: 56432
2892.07/2921.53 c #Conflicts: 1218000 | #Constraints: 57432
2892.07/2921.53 c #Conflicts: 1219000 | #Constraints: 58432
2892.07/2921.53 c #Conflicts: 1220000 | #Constraints: 59432
2892.07/2921.53 c #Conflicts: 1221000 | #Constraints: 60432
2892.07/2921.53 c #Conflicts: 1222000 | #Constraints: 61432
2892.07/2921.53 c #Conflicts: 1223000 | #Constraints: 62437
2892.07/2921.53 c #Conflicts: 1224000 | #Constraints: 63438
2892.07/2921.53 c #Conflicts: 1225000 | #Constraints: 64439
2892.07/2921.53 c #Conflicts: 1226000 | #Constraints: 65447
2892.07/2921.53 c #Conflicts: 1227000 | #Constraints: 66449
2892.07/2921.53 c #Conflicts: 1228000 | #Constraints: 67456
2892.07/2921.53 c #Conflicts: 1229000 | #Constraints: 68463
2892.07/2921.53 c #Conflicts: 1230000 | #Constraints: 69464
2892.07/2921.53 c #Conflicts: 1231000 | #Constraints: 70468
2892.07/2921.53 c #Conflicts: 1232000 | #Constraints: 71476
2892.07/2921.53 c #Conflicts: 1233000 | #Constraints: 72483
2892.07/2921.53 c #Conflicts: 1234000 | #Constraints: 73484
2892.07/2921.53 c #Conflicts: 1235000 | #Constraints: 74487
2892.07/2921.53 c #Conflicts: 1236000 | #Constraints: 75491
2892.07/2921.53 c #Conflicts: 1237000 | #Constraints: 76498
2892.07/2921.53 c #Conflicts: 1238000 | #Constraints: 77500
2892.07/2921.53 c #Conflicts: 1239000 | #Constraints: 78500
2892.07/2921.53 c #Conflicts: 1240000 | #Constraints: 79500
2892.07/2921.53 c #Conflicts: 1241000 | #Constraints: 80500
2892.07/2921.53 c #Conflicts: 1242000 | #Constraints: 81500
2892.07/2921.53 c #Conflicts: 1243000 | #Constraints: 82501
2892.07/2921.53 c #Conflicts: 1244000 | #Constraints: 83501
2892.07/2921.53 c #Conflicts: 1245000 | #Constraints: 84501
2892.07/2921.53 c #Conflicts: 1246000 | #Constraints: 85501
2892.07/2921.53 c #Conflicts: 1247000 | #Constraints: 86502
2892.07/2921.53 c #Conflicts: 1248000 | #Constraints: 87503
2892.07/2921.53 c #Conflicts: 1249000 | #Constraints: 88504
2892.07/2921.53 c #Conflicts: 1250000 | #Constraints: 89506
2892.07/2921.53 c #Conflicts: 1251000 | #Constraints: 90506
2892.07/2921.53 c #Conflicts: 1252000 | #Constraints: 91506
2892.07/2921.53 c #Conflicts: 1253000 | #Constraints: 92506
2892.07/2921.53 c #Conflicts: 1254000 | #Constraints: 93506
2892.07/2921.53 c #Conflicts: 1255000 | #Constraints: 94507
2892.07/2921.53 c #Conflicts: 1256000 | #Constraints: 95507
2892.07/2921.53 c #Conflicts: 1257000 | #Constraints: 96508
2892.07/2921.53 c #Conflicts: 1258000 | #Constraints: 97550
2892.07/2921.53 c #Conflicts: 1259000 | #Constraints: 98550
2892.07/2921.53 c #Conflicts: 1260000 | #Constraints: 99550
2892.07/2921.53 c #Conflicts: 1261000 | #Constraints: 100550
2892.07/2921.53 c #Conflicts: 1262000 | #Constraints: 101550
2892.07/2921.53 c #Conflicts: 1263000 | #Constraints: 102550
2892.07/2921.53 c #Conflicts: 1264000 | #Constraints: 103550
2892.07/2921.53 c #Conflicts: 1265000 | #Constraints: 104550
2892.07/2921.53 c #Conflicts: 1266000 | #Constraints: 105593
2892.07/2921.53 c #Conflicts: 1267000 | #Constraints: 106738
2892.07/2921.53 c #Conflicts: 1268000 | #Constraints: 107738
2892.07/2921.53 c #Conflicts: 1269000 | #Constraints: 108738
2892.07/2921.53 c #Conflicts: 1270000 | #Constraints: 109738
2892.07/2921.53 c #Conflicts: 1271000 | #Constraints: 110738
2892.07/2921.53 c #Conflicts: 1272000 | #Constraints: 111738
2892.07/2921.53 c #Conflicts: 1273000 | #Constraints: 112738
2892.07/2921.53 c #Conflicts: 1274000 | #Constraints: 113738
2892.07/2921.53 c #Conflicts: 1275000 | #Constraints: 114754
2892.07/2921.53 c #Conflicts: 1276000 | #Constraints: 115805
2892.07/2921.53 c #Conflicts: 1277000 | #Constraints: 117098
2892.07/2921.53 c #Conflicts: 1278000 | #Constraints: 118478
2892.07/2921.53 c #Conflicts: 1279000 | #Constraints: 119820
2892.07/2921.53 c #Conflicts: 1280000 | #Constraints: 121139
2892.07/2921.53 c #Conflicts: 1281000 | #Constraints: 122548
2892.07/2921.53 c #Conflicts: 1282000 | #Constraints: 123919
2892.07/2921.53 c #Conflicts: 1283000 | #Constraints: 124919
2892.07/2921.53 c #Conflicts: 1284000 | #Constraints: 125919
2892.07/2921.53 c #Conflicts: 1285000 | #Constraints: 126919
2892.07/2921.53 c #Conflicts: 1286000 | #Constraints: 127919
2892.07/2921.53 c #Conflicts: 1287000 | #Constraints: 128919
2892.07/2921.53 c #Conflicts: 1288000 | #Constraints: 129919
2892.07/2921.53 c #Conflicts: 1289000 | #Constraints: 130919
2892.07/2921.53 c #Conflicts: 1290000 | #Constraints: 131919
2892.07/2921.53 c #Conflicts: 1291000 | #Constraints: 132919
3041.69/3071.67 c #Conflicts: 1292000 | #Constraints: 133919
3041.69/3071.67 c #Conflicts: 1293000 | #Constraints: 134919
3041.69/3071.67 c #Conflicts: 1294000 | #Constraints: 135919
3041.69/3071.67 c #Conflicts: 1295000 | #Constraints: 136920
3041.69/3071.67 c #Conflicts: 1296000 | #Constraints: 137921
3041.69/3071.67 c #Conflicts: 1297000 | #Constraints: 138922
3041.69/3071.67 c #Conflicts: 1298000 | #Constraints: 139922
3041.69/3071.67 c #Conflicts: 1299000 | #Constraints: 140922
3041.69/3071.67 c #Conflicts: 1300000 | #Constraints: 141922
3041.69/3071.67 c #Conflicts: 1301000 | #Constraints: 142922
3041.69/3071.67 c #Conflicts: 1302000 | #Constraints: 143922
3041.69/3071.67 c #Conflicts: 1303000 | #Constraints: 144922
3041.69/3071.67 c #Conflicts: 1304000 | #Constraints: 145923
3041.69/3071.67 c #Conflicts: 1305000 | #Constraints: 146923
3041.69/3071.67 c #Conflicts: 1306000 | #Constraints: 147923
3041.69/3071.67 c #Conflicts: 1307000 | #Constraints: 148925
3041.69/3071.67 c #Conflicts: 1308000 | #Constraints: 149926
3041.69/3071.67 c #Conflicts: 1309000 | #Constraints: 150929
3041.69/3071.67 c #Conflicts: 1310000 | #Constraints: 151933
3041.69/3071.67 c #Conflicts: 1311000 | #Constraints: 152935
3041.69/3071.67 c #Conflicts: 1312000 | #Constraints: 153936
3041.69/3071.67 c #Conflicts: 1313000 | #Constraints: 154938
3041.69/3071.67 c #Conflicts: 1314000 | #Constraints: 155938
3041.69/3071.67 c #Conflicts: 1315000 | #Constraints: 156938
3041.69/3071.67 c #Conflicts: 1316000 | #Constraints: 157938
3041.69/3071.67 c #Conflicts: 1317000 | #Constraints: 158939
3041.69/3071.67 c #Conflicts: 1318000 | #Constraints: 159940
3041.69/3071.67 c #Conflicts: 1319000 | #Constraints: 160945
3041.69/3071.67 c #Conflicts: 1320000 | #Constraints: 161947
3041.69/3071.67 c #Conflicts: 1321000 | #Constraints: 162951
3041.69/3071.67 c #Conflicts: 1322000 | #Constraints: 163952
3041.69/3071.67 c #Conflicts: 1323000 | #Constraints: 164952
3041.69/3071.67 c #Conflicts: 1324000 | #Constraints: 165954
3041.69/3071.67 c #Conflicts: 1325000 | #Constraints: 166954
3041.69/3071.67 c #Conflicts: 1326000 | #Constraints: 167955
3041.69/3071.67 c INPROCESSING
3041.69/3071.67 c GARBAGE COLLECT
3041.69/3071.67 c rational objective 0
3120.41/3150.82 c #Conflicts: 1327000 | #Constraints: 99832
3120.41/3150.82 c #Conflicts: 1328000 | #Constraints: 100832
3120.41/3150.82 c #Conflicts: 1329000 | #Constraints: 101832
3120.41/3150.82 c #Conflicts: 1330000 | #Constraints: 102834
3120.41/3150.82 c #Conflicts: 1331000 | #Constraints: 103839
3120.41/3150.82 c #Conflicts: 1332000 | #Constraints: 104846
3120.41/3150.82 c #Conflicts: 1333000 | #Constraints: 105850
3120.41/3150.82 c #Conflicts: 1334000 | #Constraints: 106854
3120.41/3150.82 c #Conflicts: 1335000 | #Constraints: 107855
3120.41/3150.82 c #Conflicts: 1336000 | #Constraints: 108861
3120.41/3150.82 c #Conflicts: 1337000 | #Constraints: 109863
3120.41/3150.82 c #Conflicts: 1338000 | #Constraints: 110871
3120.41/3150.82 c #Conflicts: 1339000 | #Constraints: 111873
3120.41/3150.82 c #Conflicts: 1340000 | #Constraints: 112876
3120.41/3150.82 c #Conflicts: 1341000 | #Constraints: 113882
3120.41/3150.82 c #Conflicts: 1342000 | #Constraints: 114883
3120.41/3150.82 c #Conflicts: 1343000 | #Constraints: 115884
3120.41/3150.82 c #Conflicts: 1344000 | #Constraints: 116898
3120.41/3150.82 c #Conflicts: 1345000 | #Constraints: 117903
3120.41/3150.82 c #Conflicts: 1346000 | #Constraints: 118905
3120.41/3150.82 c #Conflicts: 1347000 | #Constraints: 119912
3120.41/3150.82 c #Conflicts: 1348000 | #Constraints: 120917
3120.41/3150.82 c #Conflicts: 1349000 | #Constraints: 121923
3120.41/3150.82 c INPROCESSING
3120.41/3150.82 c GARBAGE COLLECT
3120.41/3150.82 c rational objective 0
3187.40/3218.29 c #Conflicts: 1350000 | #Constraints: 76669
3187.40/3218.29 c #Conflicts: 1351000 | #Constraints: 77669
3187.40/3218.29 c #Conflicts: 1352000 | #Constraints: 78669
3187.40/3218.29 c #Conflicts: 1353000 | #Constraints: 79669
3187.40/3218.29 c #Conflicts: 1354000 | #Constraints: 80669
3187.40/3218.29 c #Conflicts: 1355000 | #Constraints: 81669
3187.40/3218.29 c #Conflicts: 1356000 | #Constraints: 82670
3187.40/3218.29 c #Conflicts: 1357000 | #Constraints: 83670
3187.40/3218.29 c #Conflicts: 1358000 | #Constraints: 84675
3187.40/3218.29 c #Conflicts: 1359000 | #Constraints: 85679
3187.40/3218.29 c #Conflicts: 1360000 | #Constraints: 86690
3187.40/3218.29 c #Conflicts: 1361000 | #Constraints: 87701
3187.40/3218.29 c #Conflicts: 1362000 | #Constraints: 88704
3187.40/3218.29 c #Conflicts: 1363000 | #Constraints: 89704
3187.40/3218.29 c #Conflicts: 1364000 | #Constraints: 90704
3187.40/3218.29 c #Conflicts: 1365000 | #Constraints: 91704
3187.40/3218.29 c #Conflicts: 1366000 | #Constraints: 92706
3187.40/3218.29 c #Conflicts: 1367000 | #Constraints: 93707
3187.40/3218.29 c #Conflicts: 1368000 | #Constraints: 94708
3187.40/3218.29 c #Conflicts: 1369000 | #Constraints: 95709
3187.40/3218.29 c #Conflicts: 1370000 | #Constraints: 96710
3187.40/3218.29 c #Conflicts: 1371000 | #Constraints: 97712
3187.40/3218.29 c #Conflicts: 1372000 | #Constraints: 98715
3187.40/3218.29 c INPROCESSING
3187.40/3218.29 c GARBAGE COLLECT
3187.40/3218.29 c rational objective 0
3239.41/3270.42 c #Conflicts: 1373000 | #Constraints: 64760
3239.41/3270.42 c #Conflicts: 1374000 | #Constraints: 65762
3239.41/3270.42 c #Conflicts: 1375000 | #Constraints: 66762
3239.41/3270.42 c #Conflicts: 1376000 | #Constraints: 67763
3239.41/3270.42 c #Conflicts: 1377000 | #Constraints: 68766
3239.41/3270.42 c #Conflicts: 1378000 | #Constraints: 69766
3239.41/3270.42 c #Conflicts: 1379000 | #Constraints: 70766
3239.41/3270.42 c #Conflicts: 1380000 | #Constraints: 71767
3239.41/3270.42 c #Conflicts: 1381000 | #Constraints: 72771
3239.41/3270.42 c #Conflicts: 1382000 | #Constraints: 73774
3239.41/3270.42 c #Conflicts: 1383000 | #Constraints: 74774
3239.41/3270.42 c #Conflicts: 1384000 | #Constraints: 75774
3239.41/3270.42 c #Conflicts: 1385000 | #Constraints: 76774
3239.41/3270.42 c #Conflicts: 1386000 | #Constraints: 77774
3239.41/3270.42 c #Conflicts: 1387000 | #Constraints: 78774
3239.41/3270.42 c #Conflicts: 1388000 | #Constraints: 79774
3239.41/3270.42 c #Conflicts: 1389000 | #Constraints: 80775
3239.41/3270.42 c #Conflicts: 1390000 | #Constraints: 81776
3239.41/3270.42 c #Conflicts: 1391000 | #Constraints: 82778
3239.41/3270.42 c #Conflicts: 1392000 | #Constraints: 83779
3239.41/3270.42 c #Conflicts: 1393000 | #Constraints: 84782
3239.41/3270.42 c #Conflicts: 1394000 | #Constraints: 85783
3239.41/3270.42 c #Conflicts: 1395000 | #Constraints: 86785
3239.41/3270.42 c #Conflicts: 1396000 | #Constraints: 87786
3239.41/3270.42 c INPROCESSING
3239.41/3270.42 c GARBAGE COLLECT
3239.41/3270.42 c rational objective 0
3287.88/3319.28 c #Conflicts: 1397000 | #Constraints: 59444
3287.88/3319.28 c #Conflicts: 1398000 | #Constraints: 60448
3287.88/3319.28 c #Conflicts: 1399000 | #Constraints: 61451
3287.88/3319.28 c #Conflicts: 1400000 | #Constraints: 62454
3287.88/3319.28 c #Conflicts: 1401000 | #Constraints: 63454
3287.88/3319.28 c #Conflicts: 1402000 | #Constraints: 64454
3287.88/3319.28 c #Conflicts: 1403000 | #Constraints: 65454
3287.88/3319.28 c #Conflicts: 1404000 | #Constraints: 66454
3287.88/3319.28 c #Conflicts: 1405000 | #Constraints: 67454
3287.88/3319.28 c #Conflicts: 1406000 | #Constraints: 68454
3287.88/3319.28 c #Conflicts: 1407000 | #Constraints: 69454
3287.88/3319.28 c #Conflicts: 1408000 | #Constraints: 70455
3287.88/3319.28 c #Conflicts: 1409000 | #Constraints: 71459
3287.88/3319.28 c #Conflicts: 1410000 | #Constraints: 72468
3287.88/3319.28 c #Conflicts: 1411000 | #Constraints: 73473
3287.88/3319.28 c #Conflicts: 1412000 | #Constraints: 74474
3287.88/3319.28 c #Conflicts: 1413000 | #Constraints: 75474
3287.88/3319.28 c #Conflicts: 1414000 | #Constraints: 76474
3287.88/3319.28 c #Conflicts: 1415000 | #Constraints: 77474
3287.88/3319.28 c #Conflicts: 1416000 | #Constraints: 78474
3287.88/3319.28 c #Conflicts: 1417000 | #Constraints: 79475
3287.88/3319.28 c #Conflicts: 1418000 | #Constraints: 80475
3287.88/3319.28 c #Conflicts: 1419000 | #Constraints: 81475
3287.88/3319.28 c #Conflicts: 1420000 | #Constraints: 82475
3287.88/3319.28 c INPROCESSING
3287.88/3319.28 c GARBAGE COLLECT
3287.88/3319.28 c rational objective 0
3333.65/3365.29 c #Conflicts: 1421000 | #Constraints: 56944
3333.65/3365.29 c #Conflicts: 1422000 | #Constraints: 57946
3333.65/3365.29 c #Conflicts: 1423000 | #Constraints: 58949
3333.65/3365.29 c #Conflicts: 1424000 | #Constraints: 59949
3333.65/3365.29 c #Conflicts: 1425000 | #Constraints: 60949
3333.65/3365.29 c #Conflicts: 1426000 | #Constraints: 61949
3333.65/3365.29 c #Conflicts: 1427000 | #Constraints: 62949
3333.65/3365.29 c #Conflicts: 1428000 | #Constraints: 63949
3333.65/3365.29 c #Conflicts: 1429000 | #Constraints: 64949
3333.65/3365.29 c #Conflicts: 1430000 | #Constraints: 65949
3333.65/3365.29 c #Conflicts: 1431000 | #Constraints: 66949
3333.65/3365.29 c #Conflicts: 1432000 | #Constraints: 67949
3333.65/3365.29 c #Conflicts: 1433000 | #Constraints: 68949
3333.65/3365.29 c #Conflicts: 1434000 | #Constraints: 69955
3333.65/3365.29 c #Conflicts: 1435000 | #Constraints: 70961
3333.65/3365.29 c #Conflicts: 1436000 | #Constraints: 71961
3333.65/3365.29 c #Conflicts: 1437000 | #Constraints: 72961
3333.65/3365.29 c #Conflicts: 1438000 | #Constraints: 73961
3333.65/3365.29 c #Conflicts: 1439000 | #Constraints: 74961
3333.65/3365.29 c #Conflicts: 1440000 | #Constraints: 75961
3333.65/3365.29 c #Conflicts: 1441000 | #Constraints: 76961
3333.65/3365.29 c #Conflicts: 1442000 | #Constraints: 77961
3333.65/3365.29 c #Conflicts: 1443000 | #Constraints: 78961
3333.65/3365.29 c #Conflicts: 1444000 | #Constraints: 79961
3333.65/3365.29 c INPROCESSING
3333.65/3365.29 c GARBAGE COLLECT
3333.65/3365.29 c rational objective 0
3395.40/3427.30 c #Conflicts: 1445000 | #Constraints: 55573
3395.40/3427.30 c #Conflicts: 1446000 | #Constraints: 56577
3395.40/3427.30 c #Conflicts: 1447000 | #Constraints: 57577
3395.40/3427.30 c #Conflicts: 1448000 | #Constraints: 58577
3395.40/3427.30 c #Conflicts: 1449000 | #Constraints: 59577
3395.40/3427.30 c #Conflicts: 1450000 | #Constraints: 60577
3395.40/3427.30 c #Conflicts: 1451000 | #Constraints: 61577
3395.40/3427.30 c #Conflicts: 1452000 | #Constraints: 62577
3395.40/3427.30 c #Conflicts: 1453000 | #Constraints: 63578
3395.40/3427.30 c #Conflicts: 1454000 | #Constraints: 64581
3395.40/3427.30 c #Conflicts: 1455000 | #Constraints: 65589
3395.40/3427.30 c #Conflicts: 1456000 | #Constraints: 66594
3395.40/3427.30 c #Conflicts: 1457000 | #Constraints: 67595
3395.40/3427.30 c #Conflicts: 1458000 | #Constraints: 68596
3395.40/3427.30 c #Conflicts: 1459000 | #Constraints: 69596
3395.40/3427.30 c #Conflicts: 1460000 | #Constraints: 70596
3395.40/3427.30 c #Conflicts: 1461000 | #Constraints: 71596
3395.40/3427.30 c #Conflicts: 1462000 | #Constraints: 72596
3395.40/3427.30 c #Conflicts: 1463000 | #Constraints: 73597
3395.40/3427.30 c #Conflicts: 1464000 | #Constraints: 74597
3395.40/3427.30 c #Conflicts: 1465000 | #Constraints: 75597
3395.40/3427.30 c #Conflicts: 1466000 | #Constraints: 76597
3395.40/3427.30 c #Conflicts: 1467000 | #Constraints: 77597
3395.40/3427.30 c #Conflicts: 1468000 | #Constraints: 78597
3395.40/3427.30 c INPROCESSING
3395.40/3427.30 c GARBAGE COLLECT
3395.40/3427.30 c rational objective 0
3600.04/3632.90 c #Conflicts: 1469000 | #Constraints: 54765
3600.04/3632.90 c #Conflicts: 1470000 | #Constraints: 55765
3600.04/3632.90 c #Conflicts: 1471000 | #Constraints: 56765
3600.04/3632.90 c #Conflicts: 1472000 | #Constraints: 57765
3600.04/3632.90 c #Conflicts: 1473000 | #Constraints: 58765
3600.04/3632.90 c #Conflicts: 1474000 | #Constraints: 59765
3600.04/3632.90 c #Conflicts: 1475000 | #Constraints: 60765
3600.04/3632.90 c #Conflicts: 1476000 | #Constraints: 61765
3600.04/3632.90 c #Conflicts: 1477000 | #Constraints: 62765
3600.04/3632.90 c #Conflicts: 1478000 | #Constraints: 63765
3600.04/3632.90 c #Conflicts: 1479000 | #Constraints: 64765
3600.04/3632.90 c #Conflicts: 1480000 | #Constraints: 65765
3600.04/3632.90 c #Conflicts: 1481000 | #Constraints: 66766
3600.04/3632.90 c #Conflicts: 1482000 | #Constraints: 67767
3600.04/3632.90 c #Conflicts: 1483000 | #Constraints: 68767
3600.04/3632.90 c #Conflicts: 1484000 | #Constraints: 69768
3600.04/3632.90 c #Conflicts: 1485000 | #Constraints: 70768
3600.04/3632.90 c #Conflicts: 1486000 | #Constraints: 71768
3600.04/3632.90 c #Conflicts: 1487000 | #Constraints: 72770
3600.04/3632.90 c #Conflicts: 1488000 | #Constraints: 73777
3600.04/3632.90 c #Conflicts: 1489000 | #Constraints: 74778
3600.04/3632.90 c #Conflicts: 1490000 | #Constraints: 75778
3600.04/3632.90 c #Conflicts: 1491000 | #Constraints: 76780
3600.04/3632.90 c #Conflicts: 1492000 | #Constraints: 77780
3600.04/3632.90 c #Conflicts: 1493000 | #Constraints: 78781
3600.04/3632.90 c #Conflicts: 1494000 | #Constraints: 79783
3600.04/3632.90 c #Conflicts: 1495000 | #Constraints: 80784
3600.04/3632.90 c #Conflicts: 1496000 | #Constraints: 81787
3600.04/3632.90 c #Conflicts: 1497000 | #Constraints: 82789
3600.04/3632.90 c #Conflicts: 1498000 | #Constraints: 83789
3600.04/3632.90 c #Conflicts: 1499000 | #Constraints: 84789
3600.04/3632.90 c #Conflicts: 1500000 | #Constraints: 85789
3600.04/3632.90 c #Conflicts: 1501000 | #Constraints: 86789
3600.04/3632.90 c #Conflicts: 1502000 | #Constraints: 87789
3600.04/3632.90 c #Conflicts: 1503000 | #Constraints: 88789
3600.04/3632.90 c #Conflicts: 1504000 | #Constraints: 89790
3600.04/3632.90 c #Conflicts: 1505000 | #Constraints: 90792
3600.04/3632.90 c #Conflicts: 1506000 | #Constraints: 91792
3600.04/3632.90 c #Conflicts: 1507000 | #Constraints: 92792
3600.04/3632.90 c #Conflicts: 1508000 | #Constraints: 93792
3600.04/3632.90 c #Conflicts: 1509000 | #Constraints: 94792
3600.04/3632.90 c #Conflicts: 1510000 | #Constraints: 95793
3600.04/3632.90 c #Conflicts: 1511000 | #Constraints: 96794
3600.04/3632.90 c #Conflicts: 1512000 | #Constraints: 97794
3600.04/3632.90 c #Conflicts: 1513000 | #Constraints: 98794
3600.04/3632.90 c #Conflicts: 1514000 | #Constraints: 99795
3600.04/3632.90 c #Conflicts: 1515000 | #Constraints: 100796
3600.04/3632.90 c #Conflicts: 1516000 | #Constraints: 101798
3600.04/3632.90 c #Conflicts: 1517000 | #Constraints: 102799
3600.04/3632.90 c #Conflicts: 1518000 | #Constraints: 103800
3600.04/3632.90 c #Conflicts: 1519000 | #Constraints: 104802
3600.04/3632.90 c #Conflicts: 1520000 | #Constraints: 105804
3600.04/3632.90 c #Conflicts: 1521000 | #Constraints: 106805
3600.04/3632.90 c #Conflicts: 1522000 | #Constraints: 107808
3600.04/3632.90 c #Conflicts: 1523000 | #Constraints: 108810
3600.04/3632.90 c #Conflicts: 1524000 | #Constraints: 109811
3600.04/3632.90 c #Conflicts: 1525000 | #Constraints: 110815
3600.04/3632.90 c #Conflicts: 1526000 | #Constraints: 111815
3600.04/3632.90 c #Conflicts: 1527000 | #Constraints: 112815
3600.04/3632.90 c #Conflicts: 1528000 | #Constraints: 113815
3600.04/3632.90 c #Conflicts: 1529000 | #Constraints: 114815
3600.04/3632.90 c #Conflicts: 1530000 | #Constraints: 115815
3600.04/3632.90 c #Conflicts: 1531000 | #Constraints: 116815
3600.04/3632.90 c #Conflicts: 1532000 | #Constraints: 117815
3600.04/3632.90 c #Conflicts: 1533000 | #Constraints: 118816
3600.04/3632.90 c #Conflicts: 1534000 | #Constraints: 119817
3600.04/3632.90 c #Conflicts: 1535000 | #Constraints: 120819
3600.04/3632.90 c #Conflicts: 1536000 | #Constraints: 121821
3600.04/3632.90 c #Conflicts: 1537000 | #Constraints: 122822
3600.04/3632.90 c #Conflicts: 1538000 | #Constraints: 123823
3600.04/3632.90 c #Conflicts: 1539000 | #Constraints: 124823
3600.04/3632.90 c #Conflicts: 1540000 | #Constraints: 125823
3600.04/3632.90 c #Conflicts: 1541000 | #Constraints: 126823
3600.04/3632.90 c #Conflicts: 1542000 | #Constraints: 127823
3600.04/3632.90 c cpu time 3559.08 s
3600.04/3632.90 c deterministic time 289474389115 2.89e+11
3600.04/3632.90 c optimization time 200.818 s
3600.04/3632.90 c total solve time 3358.1 s
3600.04/3632.90 c core-guided solve time 1712.79 s
3600.04/3632.90 c propagation time 1940.01 s
3600.04/3632.90 c conflict analysis time 1177.67 s
3600.04/3632.90 c propagations 992401891
3600.04/3632.90 c resolve steps 60092038
3600.04/3632.90 c decisions 24926746
3600.04/3632.90 c conflicts 1542281
3600.04/3632.90 c restarts 3041
3600.04/3632.90 c inprocessing phases 108
3600.04/3632.90 c garbage collections 108 ,( 100.00 )
3600.04/3632.90 c input clauses 6553 ,( 22.63 )
3600.04/3632.90 c input cardinalities 112 ,( 0.39 )
3600.04/3632.90 c input general constraints 22288 ,( 76.98 )
3600.04/3632.90 c input average constraint length 4.61
3600.04/3632.90 c input average constraint degree 8.19
3600.04/3632.90 c learned clauses 594474 ,( 38.25 )
3600.04/3632.90 c learned cardinalities 131231 ,( 8.44 )
3600.04/3632.90 c learned general constraints 828607 ,( 53.31 )
3600.04/3632.90 c learned average constraint length 1843.95
3600.04/3632.90 c learned average constraint degree 978174818.92
3600.04/3632.90 c watched CF 32, 64, 128, Arb: 751334 , 0 , 0 , 0
3600.04/3632.90 c counting CF 32, 64, 128, Arb: 99562 , 0 , 0 , 0
3600.04/3632.90 c watched constraints 751334 ,( 88.30 )
3600.04/3632.90 c counting constraints 99561 ,( 11.70 )
3600.04/3632.90 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 364532106 , 602147178 , 2572879502 ,( 733238268 , 1839641234 )
3600.04/3632.90 c gcd simplifications 145393
3600.04/3632.90 c detected cardinalities 3609
3600.04/3632.90 c weakened non-implied lits 363634816
3600.04/3632.90 c weakened non-implying lits 542593
3600.04/3632.90 c original variables 35169
3600.04/3632.90 c clausal propagations 152782275
3600.04/3632.90 c cardinality propagations 154421270
3600.04/3632.90 c watched propagations 82395009
3600.04/3632.90 c counting propagations 567219721
3600.04/3632.90 c watch lookups 33674539371
3600.04/3632.90 c watch backjump lookups 0
3600.04/3632.90 c watch checks 196190241989
3600.04/3632.90 c propagation checks 51601213259
3600.04/3632.90 c constraint additions 5970166306
3600.04/3632.90 c trail pops 1018839781
3600.04/3632.90 c formula constraints 28953
3600.04/3632.90 c learned constraints 1540473
3600.04/3632.90 c bound constraints 0
3600.04/3632.90 c core-guided constraints 0
3600.04/3632.90 c encountered formula constraints 56219814
3600.04/3632.90 c encountered learned constraints 5146226
3600.04/3632.90 c encountered bound constraints 0
3600.04/3632.90 c encountered core-guided constraints 0
3600.04/3632.90 c LP total time 710.409 s
3600.04/3632.90 c LP solve time 595.2 s
3600.04/3632.90 c LP constraints added 36352
3600.04/3632.90 c LP constraints removed 7308
3600.04/3632.90 c LP pivots internal 1544131
3600.04/3632.90 c LP pivots root 515640
3600.04/3632.90 c LP calls 11287
3600.04/3632.90 c LP optimalities 1996
3600.04/3632.90 c LP no pivot count 789
3600.04/3632.90 c LP infeasibilities 9275
3600.04/3632.90 c LP valid Farkas constraints 9252
3600.04/3632.90 c LP learned Farkas constraints 1808
3600.04/3632.90 c LP basis resets 34
3600.04/3632.90 c LP cycling count 11
3600.04/3632.90 c LP singular count 0
3600.04/3632.90 c LP no primal count 0
3600.04/3632.90 c LP no farkas count 23
3600.04/3632.90 c LP other issue count 0
3600.04/3632.90 c LP Gomory cuts 2779
3600.04/3632.90 c LP learned cuts 4620
3600.04/3632.90 c LP deleted cuts 7308
3600.04/3632.90 c LP encountered Gomory constraints 185485
3600.04/3632.90 c LP encountered Farkas constraints 71990
3600.04/3632.90 c LP encountered learned Farkas constraints 8996
3600.04/3632.90 c CG auxiliary variables introduced 0
3600.04/3632.90 c CG solutions found 0
3600.04/3632.90 c CG cores constructed 0
3600.04/3632.90 c CG core cardinality constraints returned 0
3600.04/3632.90 c CG unit cores 0
3600.04/3632.90 c CG single cores 0
3600.04/3632.90 c CG blocks removed during cardinality reduction 0
3600.04/3632.90 c CG first core best 0
3600.04/3632.90 c CG decision core best 0
3600.04/3632.90 c CG core reduction tie 0
3600.04/3632.90 c CG core degree average 0.00
3600.04/3632.90 c CG core slack average 0.00
3600.04/3632.90 c CG core upper bound improvements 0
3600.04/3632.90 c STR number of successful calls 0
3600.04/3632.90 c STR number of unsuccessful calls 0
3600.04/3632.90 c STR number of inconclusive calls 0
3600.04/3632.90 c STR number of successful attempts 0
3600.04/3632.90 c STR number of unsuccessful attempts 0
3600.04/3632.90 c STR number of inconclusive attempts 0
3600.04/3632.90 c STR average degree increase per successful call inf
3600.04/3632.90 c STR average degree increase per successful attempt inf
3600.04/3632.90 c STR total number of conflicts for successful attempts 0
3600.04/3632.90 c STR total number of conflicts for unsuccessful attempts 0
3600.04/3632.90 c STR total number of conflicts for inconclusive attempts 0
3600.04/3632.90 c STR average number of conflicts per successful attempt inf
3600.04/3632.90 c STR average number of conflicts per unsuccessful attempt inf
3600.04/3632.90 c STR average number of conflicts per inconclusive attempt inf
3600.04/3632.90 c AVG.sumWPerc 19.83
3600.04/3632.90 c bigint constraints 0
3600.04/3632.90 s UNKNOWN
3600.04/3632.90 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 (60848 MiB free)
memory of node 1: 64507 MiB (55478 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4532820-1752599760/watcher-4532820-1752599760 -o /tmp/evaluation-result-4532820-1752599760/solver-4532820-1752599760 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1752597003-127696 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4532820-1752599760.opb PROOFDIR/proof-4532820-1752599760
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=129262, runsolver pid=129259
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 4.23 4.20 4.18 5/276 129264
/proc/meminfo: memFree=119074108/131250000 swapFree=33010416/33010684
[pid=129262] ppid=129259 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/129262/stat : 129262 (run-opt-break-l) S 129259 129262 127036 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 175655846 4292608 768 18446744073709551615 94182929719296 94182930613829 140734475672624 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94182930852880 94182930900624 94182931726336 140734475680019 140734475680220 140734475680220 140734475685824 0
/proc/129262/statm: 1048 768 704 219 0 110 0
[pid=129264] ppid=129262 vsize=59952 memory=40416 CPUtime=0.08 cores=4,6
/proc/129264/stat : 129264 (pbsuma) R 129262 129262 127036 0 -1 4194304 11070 0 0 0 6 2 0 0 20 0 1 0 175655847 61390848 10104 18446744073709551615 4210688 4653049 140734153976384 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 27357184 140734153980129 140734153980464 140734153980464 140734153986031 0
/proc/129264/statm: 14988 10104 1024 108 0 12396 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 64144 KiB
Current children cumulated memory: 43488 KiB
[startup+0.206156 s]*
/proc/loadavg: 4.23 4.20 4.18 5/276 129264
/proc/meminfo: memFree=119066044/131250000 swapFree=33010416/33010684
[pid=129262] ppid=129259 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/129262/stat : 129262 (run-opt-break-l) S 129259 129262 127036 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 175655846 4292608 768 18446744073709551615 94182929719296 94182930613829 140734475672624 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94182930852880 94182930900624 94182931726336 140734475680019 140734475680220 140734475680220 140734475685824 0
/proc/129262/statm: 1048 768 704 219 0 110 0
[pid=129264] ppid=129262 vsize=61276 memory=43232 CPUtime=0.18 cores=4,6
/proc/129264/stat : 129264 (pbsuma) R 129262 129262 127036 0 -1 4194304 11791 0 0 0 16 2 0 0 20 0 1 0 175655847 62746624 10808 18446744073709551615 4210688 4653049 140734153976384 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 27357184 140734153980129 140734153980464 140734153980464 140734153986031 0
/proc/129264/statm: 15319 10808 1024 108 0 12727 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 65468 KiB
Current children cumulated memory: 46304 KiB
[startup+0.306074 s]*
/proc/loadavg: 4.23 4.20 4.18 5/276 129264
/proc/meminfo: memFree=119064028/131250000 swapFree=33010416/33010684
[pid=129262] ppid=129259 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/129262/stat : 129262 (run-opt-break-l) S 129259 129262 127036 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 175655846 4292608 768 18446744073709551615 94182929719296 94182930613829 140734475672624 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94182930852880 94182930900624 94182931726336 140734475680019 140734475680220 140734475680220 140734475685824 0
/proc/129262/statm: 1048 768 704 219 0 110 0
[pid=129264] ppid=129262 vsize=61276 memory=43232 CPUtime=0.28 cores=4,6
/proc/129264/stat : 129264 (pbsuma) R 129262 129262 127036 0 -1 4194304 11791 0 0 0 26 2 0 0 20 0 1 0 175655847 62746624 10808 18446744073709551615 4210688 4653049 140734153976384 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 27357184 140734153980129 140734153980464 140734153980464 140734153986031 0
/proc/129264/statm: 15319 10808 1024 108 0 12727 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 65468 KiB
Current children cumulated memory: 46304 KiB
[startup+0.700201 s]
/proc/loadavg: 4.23 4.20 4.18 5/276 129264
/proc/meminfo: memFree=119064028/131250000 swapFree=33010416/33010684
[pid=129262] ppid=129259 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/129262/stat : 129262 (run-opt-break-l) S 129259 129262 127036 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 175655846 4292608 768 18446744073709551615 94182929719296 94182930613829 140734475672624 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94182930852880 94182930900624 94182931726336 140734475680019 140734475680220 140734475680220 140734475685824 0
/proc/129262/statm: 1048 768 704 219 0 110 0
[pid=129264] ppid=129262 vsize=61276 memory=43232 CPUtime=0.67 cores=4,6
/proc/129264/stat : 129264 (pbsuma) R 129262 129262 127036 0 -1 4194304 11791 0 0 0 65 2 0 0 20 0 1 0 175655847 62746624 10808 18446744073709551615 4210688 4653049 140734153976384 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 27357184 140734153980129 140734153980464 140734153980464 140734153986031 0
/proc/129264/statm: 15319 10808 1024 108 0 12727 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 65468 KiB
Current children cumulated memory: 46304 KiB
[startup+1.5002 s]
/proc/loadavg: 4.23 4.20 4.18 5/276 129264
/proc/meminfo: memFree=119056216/131250000 swapFree=33010416/33010684
[pid=129262] ppid=129259 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/129262/stat : 129262 (run-opt-break-l) S 129259 129262 127036 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 175655846 4292608 768 18446744073709551615 94182929719296 94182930613829 140734475672624 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94182930852880 94182930900624 94182931726336 140734475680019 140734475680220 140734475680220 140734475685824 0
/proc/129262/statm: 1048 768 704 219 0 110 0
[pid=129264] ppid=129262 vsize=93476 memory=63292 CPUtime=1.46 cores=4,6
/proc/129264/stat : 129264 (pbsuma) R 129262 129262 127036 0 -1 4194304 16112 0 0 0 144 2 0 0 20 0 1 0 175655847 95719424 15823 18446744073709551615 4210688 4653049 140734153976384 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 27357184 140734153980129 140734153980464 140734153980464 140734153986031 0
/proc/129264/statm: 23369 15823 1024 108 0 20777 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 97668 KiB
Current children cumulated memory: 66364 KiB
[startup+3.10589 s]
/proc/loadavg: 4.21 4.19 4.18 5/276 129265
/proc/meminfo: memFree=118951488/131250000 swapFree=33010416/33010684
[pid=129262] ppid=129259 vsize=4192 memory=3072 CPUtime=1.55 cores=4,6
/proc/129262/stat : 129262 (run-opt-break-l) S 129259 129262 127036 0 -1 4194304 239 18450 0 0 0 0 152 3 20 0 1 0 175655846 4292608 768 18446744073709551615 94182929719296 94182930613829 140734475672624 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94182930852880 94182930900624 94182931726336 140734475680019 140734475680220 140734475680220 140734475685824 0
/proc/129262/statm: 1048 768 704 219 0 110 0
[pid=129265] ppid=129262 vsize=142924 memory=97108 CPUtime=1.5 cores=4,6
/proc/129265/stat : 129265 (roundingsat) R 129262 129262 127036 0 -1 4194304 14923 0 0 0 143 7 0 0 20 0 1 0 175656005 146354176 24277 18446744073709551615 4227072 8923577 140723621402032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 11866112 140723621411090 140723621411366 140723621411366 140723621416938 0
/proc/129265/statm: 35731 24277 2368 1147 0 23157 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 147116 KiB
Current children cumulated memory: 100180 KiB
[startup+6.30019 s]
/proc/loadavg: 4.21 4.19 4.18 5/276 129265
/proc/meminfo: memFree=118838744/131250000 swapFree=33010416/33010684
[pid=129262] ppid=129259 vsize=4192 memory=3072 CPUtime=1.55 cores=4,6
/proc/129262/stat : 129262 (run-opt-break-l) S 129259 129262 127036 0 -1 4194304 239 18450 0 0 0 0 152 3 20 0 1 0 175655846 4292608 768 18446744073709551615 94182929719296 94182930613829 140734475672624 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94182930852880 94182930900624 94182931726336 140734475680019 140734475680220 140734475680220 140734475685824 0
/proc/129262/statm: 1048 768 704 219 0 110 0
[pid=129265] ppid=129262 vsize=192532 memory=132940 CPUtime=4.68 cores=4,6
/proc/129265/stat : 129265 (roundingsat) R 129262 129262 127036 0 -1 4194304 20330 0 0 0 455 13 0 0 20 0 1 0 175656005 197152768 33235 18446744073709551615 4227072 8923577 140723621402032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 11866112 140723621411090 140723621411366 140723621411366 140723621416938 0
/proc/129265/statm: 48133 33235 2368 1147 0 35559 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 196724 KiB
Current children cumulated memory: 136012 KiB
[startup+12.7002 s]
/proc/loadavg: 4.19 4.19 4.18 5/276 129265
/proc/meminfo: memFree=118755000/131250000 swapFree=33010416/33010684
[pid=129262] ppid=129259 vsize=4192 memory=3072 CPUtime=1.55 cores=4,6
/proc/129262/stat : 129262 (run-opt-break-l) S 129259 129262 127036 0 -1 4194304 239 18450 0 0 0 0 152 3 20 0 1 0 175655846 4292608 768 18446744073709551615 94182929719296 94182930613829 140734475672624 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94182930852880 94182930900624 94182931726336 140734475680019 140734475680220 140734475680220 140734475685824 0
/proc/129262/statm: 1048 768 704 219 0 110 0
[pid=129265] ppid=129262 vsize=206588 memory=156636 CPUtime=11.07 cores=4,6
/proc/129265/stat : 129265 (roundingsat) R 129262 129262 127036 0 -1 4194304 24267 0 0 0 1082 25 0 0 20 0 1 0 175656005 211546112 39159 18446744073709551615 4227072 8923577 140723621402032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 11866112 140723621411090 140723621411366 140723621411366 140723621416938 0
/proc/129265/statm: 51647 39159 2368 1147 0 39073 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 210780 KiB
Current children cumulated memory: 159708 KiB
[startup+25.5002 s]
/proc/loadavg: 4.15 4.18 4.18 5/276 129265
/proc/meminfo: memFree=118269584/131250000 swapFree=33010416/33010684
[pid=129262] ppid=129259 vsize=4192 memory=3072 CPUtime=1.55 cores=4,6
/proc/129262/stat : 129262 (run-opt-break-l) S 129259 129262 127036 0 -1 4194304 239 18450 0 0 0 0 152 3 20 0 1 0 175655846 4292608 768 18446744073709551615 94182929719296 94182930613829 140734475672624 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94182930852880 94182930900624 94182931726336 140734475680019 140734475680220 140734475680220 140734475685824 0
/proc/129262/statm: 1048 768 704 219 0 110 0
[pid=129265] ppid=129262 vsize=360512 memory=271324 CPUtime=23.84 cores=4,6
/proc/129265/stat : 129265 (roundingsat) R 129262 129262 127036 0 -1 4194304 50977 0 0 0 2337 47 0 0 20 0 1 0 175656005 369164288 67831 18446744073709551615 4227072 8923577 140723621402032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 11866112 140723621411090 140723621411366 140723621411366 140723621416938 0
/proc/129265/statm: 90128 67831 2368 1147 0 77554 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 364704 KiB
Current children cumulated memory: 274396 KiB
[startup+51.1059 s]
/proc/loadavg: 4.10 4.16 4.17 5/276 129267
/proc/meminfo: memFree=117635040/131250000 swapFree=33010416/33010684
[pid=129262] ppid=129259 vsize=4192 memory=3072 CPUtime=1.55 cores=4,6
/proc/129262/stat : 129262 (run-opt-break-l) S 129259 129262 127036 0 -1 4194304 239 18450 0 0 0 0 152 3 20 0 1 0 175655846 4292608 768 18446744073709551615 94182929719296 94182930613829 140734475672624 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94182930852880 94182930900624 94182931726336 140734475680019 140734475680220 140734475680220 140734475685824 0
/proc/129262/statm: 1048 768 704 219 0 110 0
[pid=129265] ppid=129262 vsize=360512 memory=290860 CPUtime=49.11 cores=4,6
/proc/129265/stat : 129265 (roundingsat) R 129262 129262 127036 0 -1 4194304 52813 0 0 0 4832 79 0 0 20 0 1 0 175656005 369164288 72715 18446744073709551615 4227072 8923577 140723621402032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 11866112 140723621411090 140723621411366 140723621411366 140723621416938 0
/proc/129265/statm: 90128 72715 2368 1147 0 77554 0
Current children cumulated CPU time: 50.66 s
Current children cumulated vsize: 364704 KiB
Current children cumulated memory: 293932 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.15 4.17 5/276 129270
/proc/meminfo: memFree=116272484/131250000 swapFree=33010416/33010684
[pid=129262] ppid=129259 vsize=4192 memory=3072 CPUtime=1.55 cores=4,6
/proc/129262/stat : 129262 (run-opt-break-l) S 129259 129262 127036 0 -1 4194304 239 18450 0 0 0 0 152 3 20 0 1 0 175655846 4292608 768 18446744073709551615 94182929719296 94182930613829 140734475672624 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94182930852880 94182930900624 94182931726336 140734475680019 140734475680220 140734475680220 140734475685824 0
/proc/129262/statm: 1048 768 704 219 0 110 0
[pid=129265] ppid=129262 vsize=360512 memory=305640 CPUtime=99.74 cores=4,6
/proc/129265/stat : 129265 (roundingsat) R 129262 129262 127036 0 -1 4194304 55007 0 0 0 9802 172 0 0 20 0 1 0 175656005 369164288 76410 18446744073709551615 4227072 8923577 140723621402032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 11866112 140723621411090 140723621411366 140723621411366 140723621416938 0
/proc/129265/statm: 90128 76410 2368 1147 0 77554 0
Current children cumulated CPU time: 101.29 s
Current children cumulated vsize: 364704 KiB
Current children cumulated memory: 308712 KiB
[startup+162.3 s]
/proc/loadavg: 4.22 4.17 4.17 5/276 129272
/proc/meminfo: memFree=114640080/131250000 swapFree=33010416/33010684
[pid=129262] ppid=129259 vsize=4192 memory=3072 CPUtime=1.55 cores=4,6
/proc/129262/stat : 129262 (run-opt-break-l) S 129259 129262 127036 0 -1 4194304 239 18450 0 0 0 0 152 3 20 0 1 0 175655846 4292608 768 18446744073709551615 94182929719296 94182930613829 140734475672624 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94182930852880 94182930900624 94182931726336 140734475680019 140734475680220 140734475680220 140734475685824 0
/proc/129262/statm: 1048 768 704 219 0 110 0
[pid=129265] ppid=129262 vsize=454668 memory=373476 CPUtime=159.49 cores=4,6
/proc/129265/stat : 129265 (roundingsat) R 129262 129262 127036 0 -1 4194304 71449 0 0 0 15690 259 0 0 20 0 1 0 175656005 465580032 93369 18446744073709551615 4227072 8923577 140723621402032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 11866112 140723621411090 140723621411366 140723621411366 140723621416938 0
/proc/129265/statm: 113667 93369 2368 1147 0 101093 0
Current children cumulated CPU time: 161.04 s
Current children cumulated vsize: 458860 KiB
Current children cumulated memory: 376548 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.15 4.17 5/276 129274
/proc/meminfo: memFree=113121116/131250000 swapFree=33010416/33010684
[pid=129262] ppid=129259 vsize=4192 memory=3072 CPUtime=1.55 cores=4,6
/proc/129262/stat : 129262 (run-opt-break-l) S 129259 129262 127036 0 -1 4194304 239 18450 0 0 0 0 152 3 20 0 1 0 175655846 4292608 768 18446744073709551615 94182929719296 94182930613829 140734475672624 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94182930852880 94182930900624 94182931726336 140734475680019 140734475680220 140734475680220 140734475685824 0
/proc/129262/statm: 1048 768 704 219 0 110 0
[pid=129265] ppid=129262 vsize=620880 memory=500200 CPUtime=219.26 cores=4,6
/proc/129265/stat : 129265 (roundingsat) R 129262 129262 127036 0 -1 4194304 85770 0 0 0 21598 328 0 0 20 0 1 0 175656005 635781120 125050 18446744073709551615 4227072 8923577 140723621402032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 11866112 140723621411090 140723621411366 140723621411366 140723621416938 0
/proc/129265/statm: 155220 125050 2368 1147 0 142646 0
################
# More data... #
################
/proc/129265/statm: 699469 637983 2368 1147 0 686895 0
Current children cumulated CPU time: 3072.21 s
Current children cumulated vsize: 2802068 KiB
Current children cumulated memory: 2555004 KiB
[startup+3162.3 s]
/proc/loadavg: 1.06 1.09 1.51 2/249 129522
/proc/meminfo: memFree=118308468/131250000 swapFree=33010416/33010684
[pid=129262] ppid=129259 vsize=4192 memory=3072 CPUtime=1.55 cores=4,6
/proc/129262/stat : 129262 (run-opt-break-l) S 129259 129262 127036 0 -1 4194304 239 18450 0 0 0 0 152 3 20 0 1 0 175655846 4292608 768 18446744073709551615 94182929719296 94182930613829 140734475672624 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94182930852880 94182930900624 94182931726336 140734475680019 140734475680220 140734475680220 140734475685824 0
/proc/129262/statm: 1048 768 704 219 0 110 0
[pid=129265] ppid=129262 vsize=2822140 memory=2586620 CPUtime=3130.26 cores=4,6
/proc/129265/stat : 129265 (roundingsat) R 129262 129262 127036 0 -1 4194304 353292 0 0 0 309581 3445 0 0 20 0 1 0 175656005 2889871360 646655 18446744073709551615 4227072 8923577 140723621402032 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9827200 9836688 11866112 140723621411090 140723621411366 140723621411366 140723621416938 0
/proc/129265/statm: 705535 646655 2368 1147 0 692961 0
Current children cumulated CPU time: 3131.81 s
Current children cumulated vsize: 2826332 KiB
Current children cumulated memory: 2589692 KiB
[startup+3222.3 s]
/proc/loadavg: 1.13 1.10 1.49 2/249 129524
/proc/meminfo: memFree=118177536/131250000 swapFree=33010416/33010684
[pid=129262] ppid=129259 vsize=4192 memory=3072 CPUtime=1.55 cores=4,6
/proc/129262/stat : 129262 (run-opt-break-l) S 129259 129262 127036 0 -1 4194304 239 18450 0 0 0 0 152 3 20 0 1 0 175655846 4292608 768 18446744073709551615 94182929719296 94182930613829 140734475672624 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94182930852880 94182930900624 94182931726336 140734475680019 140734475680220 140734475680220 140734475685824 0
/proc/129262/statm: 1048 768 704 219 0 110 0
[pid=129265] ppid=129262 vsize=2822140 memory=2588540 CPUtime=3189.94 cores=4,6
/proc/129265/stat : 129265 (roundingsat) R 129262 129262 127036 0 -1 4194304 353752 0 0 0 315497 3497 0 0 20 0 1 0 175656005 2889871360 647135 18446744073709551615 4227072 8923577 140723621402032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 11866112 140723621411090 140723621411366 140723621411366 140723621416938 0
/proc/129265/statm: 705535 647135 2368 1147 0 692961 0
Current children cumulated CPU time: 3191.49 s
Current children cumulated vsize: 2826332 KiB
Current children cumulated memory: 2591612 KiB
[startup+3282.3 s]
/proc/loadavg: 1.10 1.10 1.46 2/249 129526
/proc/meminfo: memFree=118050148/131250000 swapFree=33010416/33010684
[pid=129262] ppid=129259 vsize=4192 memory=3072 CPUtime=1.55 cores=4,6
/proc/129262/stat : 129262 (run-opt-break-l) S 129259 129262 127036 0 -1 4194304 239 18450 0 0 0 0 152 3 20 0 1 0 175655846 4292608 768 18446744073709551615 94182929719296 94182930613829 140734475672624 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94182930852880 94182930900624 94182931726336 140734475680019 140734475680220 140734475680220 140734475685824 0
/proc/129262/statm: 1048 768 704 219 0 110 0
[pid=129265] ppid=129262 vsize=2813632 memory=2583028 CPUtime=3249.64 cores=4,6
/proc/129265/stat : 129265 (roundingsat) R 129262 129262 127036 0 -1 4194304 354525 0 0 0 321394 3570 0 0 20 0 1 0 175656005 2881159168 645757 18446744073709551615 4227072 8923577 140723621402032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 11866112 140723621411090 140723621411366 140723621411366 140723621416938 0
/proc/129265/statm: 703408 645757 2368 1147 0 690834 0
Current children cumulated CPU time: 3251.19 s
Current children cumulated vsize: 2817824 KiB
Current children cumulated memory: 2586100 KiB
[startup+3342.3 s]
/proc/loadavg: 1.12 1.09 1.43 2/249 129528
/proc/meminfo: memFree=117910572/131250000 swapFree=33010416/33010684
[pid=129262] ppid=129259 vsize=4192 memory=3072 CPUtime=1.55 cores=4,6
/proc/129262/stat : 129262 (run-opt-break-l) S 129259 129262 127036 0 -1 4194304 239 18450 0 0 0 0 152 3 20 0 1 0 175655846 4292608 768 18446744073709551615 94182929719296 94182930613829 140734475672624 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94182930852880 94182930900624 94182931726336 140734475680019 140734475680220 140734475680220 140734475685824 0
/proc/129262/statm: 1048 768 704 219 0 110 0
[pid=129265] ppid=129262 vsize=2822168 memory=2593076 CPUtime=3309.32 cores=4,6
/proc/129265/stat : 129265 (roundingsat) D 129262 129262 127036 0 -1 4194304 356081 0 0 0 327284 3648 0 0 20 0 1 0 175656005 2889900032 648269 18446744073709551615 4227072 8923577 140723621402032 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9827200 9836688 11866112 140723621411090 140723621411366 140723621411366 140723621416938 0
/proc/129265/statm: 705542 648269 2368 1147 0 692968 0
Current children cumulated CPU time: 3310.87 s
Current children cumulated vsize: 2826360 KiB
Current children cumulated memory: 2596148 KiB
[startup+3402.3 s]
/proc/loadavg: 1.10 1.09 1.41 2/251 129535
/proc/meminfo: memFree=117738884/131250000 swapFree=33010416/33010684
[pid=129262] ppid=129259 vsize=4192 memory=3072 CPUtime=1.55 cores=4,6
/proc/129262/stat : 129262 (run-opt-break-l) S 129259 129262 127036 0 -1 4194304 239 18450 0 0 0 0 152 3 20 0 1 0 175655846 4292608 768 18446744073709551615 94182929719296 94182930613829 140734475672624 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94182930852880 94182930900624 94182931726336 140734475680019 140734475680220 140734475680220 140734475685824 0
/proc/129262/statm: 1048 768 704 219 0 110 0
[pid=129265] ppid=129262 vsize=2826096 memory=2597868 CPUtime=3369.07 cores=4,6
/proc/129265/stat : 129265 (roundingsat) R 129262 129262 127036 0 -1 4194304 356877 0 0 0 333197 3710 0 0 20 0 1 0 175656005 2893922304 649467 18446744073709551615 4227072 8923577 140723621402032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 11866112 140723621411090 140723621411366 140723621411366 140723621416938 0
/proc/129265/statm: 706524 649467 2368 1147 0 693950 0
Current children cumulated CPU time: 3370.62 s
Current children cumulated vsize: 2830288 KiB
Current children cumulated memory: 2600940 KiB
[startup+3462.3 s]
/proc/loadavg: 1.08 1.09 1.39 2/251 129538
/proc/meminfo: memFree=117626384/131250000 swapFree=33010416/33010684
[pid=129262] ppid=129259 vsize=4192 memory=3072 CPUtime=1.55 cores=4,6
/proc/129262/stat : 129262 (run-opt-break-l) S 129259 129262 127036 0 -1 4194304 239 18450 0 0 0 0 152 3 20 0 1 0 175655846 4292608 768 18446744073709551615 94182929719296 94182930613829 140734475672624 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94182930852880 94182930900624 94182931726336 140734475680019 140734475680220 140734475680220 140734475685824 0
/proc/129262/statm: 1048 768 704 219 0 110 0
[pid=129265] ppid=129262 vsize=2826096 memory=2598380 CPUtime=3428.72 cores=4,6
/proc/129265/stat : 129265 (roundingsat) R 129262 129262 127036 0 -1 4194304 356884 0 0 0 339092 3780 0 0 20 0 1 0 175656005 2893922304 649595 18446744073709551615 4227072 8923577 140723621402032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 11866112 140723621411090 140723621411366 140723621411366 140723621416938 0
/proc/129265/statm: 706524 649595 2368 1147 0 693950 0
Current children cumulated CPU time: 3430.27 s
Current children cumulated vsize: 2830288 KiB
Current children cumulated memory: 2601452 KiB
[startup+3522.3 s]
/proc/loadavg: 1.07 1.08 1.36 2/252 129545
/proc/meminfo: memFree=117505020/131250000 swapFree=33010416/33010684
[pid=129262] ppid=129259 vsize=4192 memory=3072 CPUtime=1.55 cores=4,6
/proc/129262/stat : 129262 (run-opt-break-l) S 129259 129262 127036 0 -1 4194304 239 18450 0 0 0 0 152 3 20 0 1 0 175655846 4292608 768 18446744073709551615 94182929719296 94182930613829 140734475672624 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94182930852880 94182930900624 94182931726336 140734475680019 140734475680220 140734475680220 140734475685824 0
/proc/129262/statm: 1048 768 704 219 0 110 0
[pid=129265] ppid=129262 vsize=2826096 memory=2606060 CPUtime=3488.48 cores=4,6
/proc/129265/stat : 129265 (roundingsat) R 129262 129262 127036 0 -1 4194304 356894 0 0 0 345000 3848 0 0 20 0 1 0 175656005 2893922304 651515 18446744073709551615 4227072 8923577 140723621402032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 11866112 140723621411090 140723621411366 140723621411366 140723621416938 0
/proc/129265/statm: 706524 651515 2368 1147 0 693950 0
Current children cumulated CPU time: 3490.03 s
Current children cumulated vsize: 2830288 KiB
Current children cumulated memory: 2609132 KiB
[startup+3582.3 s]
/proc/loadavg: 1.08 1.08 1.35 2/252 129549
/proc/meminfo: memFree=117431288/131250000 swapFree=33010416/33010684
[pid=129262] ppid=129259 vsize=4192 memory=3072 CPUtime=1.55 cores=4,6
/proc/129262/stat : 129262 (run-opt-break-l) S 129259 129262 127036 0 -1 4194304 239 18450 0 0 0 0 152 3 20 0 1 0 175655846 4292608 768 18446744073709551615 94182929719296 94182930613829 140734475672624 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94182930852880 94182930900624 94182931726336 140734475680019 140734475680220 140734475680220 140734475685824 0
/proc/129262/statm: 1048 768 704 219 0 110 0
[pid=129265] ppid=129262 vsize=2831148 memory=2620268 CPUtime=3548.33 cores=4,6
/proc/129265/stat : 129265 (roundingsat) R 129262 129262 127036 0 -1 4194304 357934 0 0 0 350932 3901 0 0 20 0 1 0 175656005 2899095552 655067 18446744073709551615 4227072 8923577 140723621402032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 11866112 140723621411090 140723621411366 140723621411366 140723621416938 0
/proc/129265/statm: 707787 655067 2368 1147 0 695213 0
Current children cumulated CPU time: 3549.88 s
Current children cumulated vsize: 2835340 KiB
Current children cumulated memory: 2623340 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3632.9 s]
/proc/loadavg: 1.08 1.08 1.33 2/252 129550
/proc/meminfo: memFree=117357948/131250000 swapFree=33010416/33010684
[pid=129262] ppid=129259 vsize=4192 memory=3072 CPUtime=1.55 cores=4,6
/proc/129262/stat : 129262 (run-opt-break-l) S 129259 129262 127036 0 -1 4194304 239 18450 0 0 0 0 152 3 20 0 1 0 175655846 4292608 768 18446744073709551615 94182929719296 94182930613829 140734475672624 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94182930852880 94182930900624 94182931726336 140734475680019 140734475680220 140734475680220 140734475685824 0
/proc/129262/statm: 1048 768 704 219 0 110 0
[pid=129265] ppid=129262 vsize=2842240 memory=2632940 CPUtime=3598.49 cores=4,6
/proc/129265/stat : 129265 (roundingsat) R 129262 129262 127036 0 -1 4194304 360659 0 0 0 355908 3941 0 0 20 0 1 0 175656005 2910453760 658235 18446744073709551615 4227072 8923577 140723621402032 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9827200 9836688 11866112 140723621411090 140723621411366 140723621411366 140723621416938 0
/proc/129265/statm: 710560 658235 2368 1147 0 697986 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 2846432 KiB
Current children cumulated memory: 2636012 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3632.9 s]
# the end of solver process 129262 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=1.52677 s, system=0.039677 s
[startup+3632.95 s]
# the end of solver process 129265 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3560.62 s, system=39.4707 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3632.9 s]
/proc/loadavg: 1.08 1.08 1.33 2/252 129550
/proc/meminfo: memFree=117357948/131250000 swapFree=33010416/33010684
[pid=129262] ppid=129259 vsize=4192 memory=3072 CPUtime=1.55 cores=4,6
/proc/129262/stat : 129262 (run-opt-break-l) S 129259 129262 127036 0 -1 4194304 239 18450 0 0 0 0 152 3 20 0 1 0 175655846 4292608 768 18446744073709551615 94182929719296 94182930613829 140734475672624 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94182930852880 94182930900624 94182931726336 140734475680019 140734475680220 140734475680220 140734475685824 0
/proc/129262/statm: 1048 768 704 219 0 110 0
[pid=129265] ppid=129262 vsize=2842240 memory=2632940 CPUtime=3598.49 cores=4,6
/proc/129265/stat : 129265 (roundingsat) R 129262 129262 127036 0 -1 4194304 360659 0 0 0 355908 3941 0 0 20 0 1 0 175656005 2910453760 658235 18446744073709551615 4227072 8923577 140723621402032 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9827200 9836688 11866112 140723621411090 140723621411366 140723621411366 140723621416938 0
/proc/129265/statm: 710560 658235 2368 1147 0 697986 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 2846432 KiB
Current children cumulated memory: 2636012 KiB
Child status: 2
Real time (s): 3632.95
CPU time (s): 3600.09
CPU user time (s): 3560.62
CPU system time (s): 39.4707
CPU usage (%): 99.0956
Max. virtual memory (cumulated for all children) (KiB): 2846432
Max. memory (cumulated for all children) (KiB): 2636012
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3560.62
system time used= 39.4707
maximum resident set size= 2633196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 379370
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15424320
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 630
involuntary context switches= 8254
# summary of solver processes directly reported to runsolver:
# pid: 129262,129265
# total CPU time (s): 3600.09
# total CPU user time (s): 3560.62
# total CPU system time (s): 39.4707
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.50346 second user time and 16.037 second system time
The end
Begin job on nodeC027 at 2025-07-15 19:16:00
IDJOB=4532820
IDBENCH=180463
IDSOLVER=3393
FILE ID=nodeC027/4532820-1752599760
RUNJOBID= nodeC027-1752597003-127696
SLURM_JOB_ID= 9684390
Free space on /tmp= 431572 MiB
SOLVER NAME= roundingsat+pbsuma-opt-log 0f876b3
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 -w /tmp/evaluation-result-4532820-1752599760/watcher-4532820-1752599760 -o /tmp/evaluation-result-4532820-1752599760/solver-4532820-1752599760 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1752597003-127696 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4532820-1752599760.opb PROOFDIR/proof-4532820-1752599760
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7b7d352a7105ac7993395b7f6c3b04bc
RANDOM SEED=316431628
nodeC027 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.646
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.29
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.670
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.29
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 : 3597.277
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.29
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 : 3591.278
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.29
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 : 3600.334
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.29
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.635
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.29
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.663
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.29
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 : 3671.378
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.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 119119280 kB
MemAvailable: 126994196 kB
Buffers: 2488 kB
Cached: 8652448 kB
SwapCached: 12 kB
Active: 3567720 kB
Inactive: 7880668 kB
Active(anon): 2816700 kB
Inactive(anon): 2792 kB
Active(file): 751020 kB
Inactive(file): 7877876 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 11404 kB
Writeback: 0 kB
AnonPages: 2791460 kB
Mapped: 122696 kB
Shmem: 26248 kB
KReclaimable: 170116 kB
Slab: 267264 kB
SReclaimable: 170116 kB
SUnreclaim: 97148 kB
KernelStack: 4448 kB
PageTables: 8948 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 3420296 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150744 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1540096 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: 203476 kB
DirectMap2M: 9005056 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 431628 MiB
End job on nodeC027 at 2025-07-15 20:16:33