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-4498984-1751404676.opb'
0.00/0.02 c read 0.79MB (10.50ms)
0.00/0.02 c [cnf: #variables 8424 #clauses 9090 #duplicates 0 #arr 81135]
0.00/0.02 c
0.00/0.02 c make graph and approximate orbits
0.00/0.03 c [group: #orbits ~= 44] (10.47ms)
0.00/0.03 c
0.00/0.03 c detect special group actions
0.00/0.03 c probe for Johnson action (limit=64)
0.00/0.04 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)
0.08/0.11 c recursing 378 blocks of candidate 9x1872r
0.08/0.12 c found row 3x18, generating row predicate
0.08/0.13 c found row 9x1872, generating row predicate
0.08/0.14 c (104.80ms)
0.08/0.14 c
0.08/0.14 c detect symmetries on remainder
0.08/0.14 c [graph: #vertices 50589 #edges 228420]
0.08/0.14 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.19/0.23 c [group: #symmetries 9.77*10^218 #generators 302] (87.98ms)
0.19/0.23 c
0.19/0.23 c optimize generators (opt_passes=64, conjugate_limit=256)
0.19/0.30 c opt it=15, l=9182, m=517, opt=58, avg=1284, b=28, gens=302
0.29/0.36 c opt it=31, l=14593, m=968, opt=95, avg=1273, b=28, gens=302
0.39/0.42 c opt it=47, l=20002, m=1414, opt=134, avg=1265, b=28, gens=302
0.39/0.48 c opt it=63, l=25402, m=1835, opt=158, avg=1258, b=28, gens=302
0.39/0.49 c ran it=0, +gens=84
0.67/0.71 c con best_support=28, best_gens=134, +gens=246
0.67/0.71 c (480.43ms)
0.67/0.71 c
0.67/0.71 c finalize break order and special generators
0.67/0.71 c
0.67/0.71 c add generic predicates (break_depth=20)
0.67/0.74 c added predicates for 632 generators (32.30ms)
0.67/0.74 c
0.67/0.74 c generation finished
0.67/0.74 c [sbp: #constraints 74694 #add_vars 24684]
0.67/0.74 c
0.67/0.74 c write result to 'HOME/instance-4498984-1751404676.opb.pre'
0.67/0.75 c wrote 3.62MB (7.88ms)
0.67/0.75 c ------------------------------------------------------------------
0.67/0.75 c 480.43ms 64.78% optimize_gens
0.67/0.75 c 104.80ms 14.13% detect_special
0.67/0.75 c 87.98ms 11.86% detect_generic
0.67/0.75 c 32.30ms 4.35% break_generic
0.67/0.75 c 10.50ms 1.42% parse
0.67/0.75 c 10.47ms 1.41% approx_orbits
0.67/0.75 c 7.88ms 1.06% output
0.67/0.75 c 5.44ms 0.73% finalize_order
0.67/0.75 c 1.86ms 0.25% other
0.67/0.75 c ───────────────────────────────────────────────
0.67/0.75 c 741.67ms 100% total
0.67/0.75 c ------------------------------------------------------------------
0.67/0.77 c RoundingSat 2
0.67/0.77 c branch pb25
0.67/0.77 c commit 63f22ad
1.06/1.18 c #variables 33108 #constraints 83848
1.06/1.18 c objective is ce32
1.35/1.42 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
1.35/1.42 c initial counting CF 32, 64, 128, Arb: 577 , 0 , 0 , 0
1.35/1.42 c bounds - >= 0 @ 0.556345
2.74/2.86 c #Conflicts: 1000 | #Constraints: 84847
2.74/2.86 c #Conflicts: 2000 | #Constraints: 85847
2.74/2.86 c INPROCESSING
2.74/2.86 c GARBAGE COLLECT
2.74/2.86 c rational objective 9
4.64/4.77 c #Conflicts: 3000 | #Constraints: 76901
4.64/4.77 c #Conflicts: 4000 | #Constraints: 77901
4.64/4.77 c INPROCESSING
4.64/4.77 c GARBAGE COLLECT
4.64/4.77 c rational objective 9
7.64/7.74 c #Conflicts: 5000 | #Constraints: 77253
7.64/7.74 c #Conflicts: 6000 | #Constraints: 78253
7.64/7.74 c INPROCESSING
7.64/7.74 c GARBAGE COLLECT
7.64/7.74 c rational objective 9
10.93/11.06 c #Conflicts: 7000 | #Constraints: 76874
10.93/11.06 c #Conflicts: 8000 | #Constraints: 77874
10.93/11.06 c #Conflicts: 9000 | #Constraints: 78875
10.93/11.06 c INPROCESSING
10.93/11.06 c GARBAGE COLLECT
10.93/11.06 c rational objective 9
15.81/15.99 c #Conflicts: 10000 | #Constraints: 77454
15.81/15.99 c #Conflicts: 11000 | #Constraints: 78455
15.81/15.99 c #Conflicts: 12000 | #Constraints: 79455
15.81/15.99 c INPROCESSING
15.81/15.99 c GARBAGE COLLECT
15.81/15.99 c #Conflicts: 13000 | #Constraints: 77709
15.81/15.99 c #Conflicts: 14000 | #Constraints: 78709
15.81/15.99 c #Conflicts: 15000 | #Constraints: 79709
15.81/15.99 c INPROCESSING
15.81/15.99 c GARBAGE COLLECT
15.81/15.99 c rational objective 9
21.09/21.22 c #Conflicts: 16000 | #Constraints: 77945
21.09/21.22 c #Conflicts: 17000 | #Constraints: 78945
21.09/21.22 c #Conflicts: 18000 | #Constraints: 79946
21.09/21.22 c INPROCESSING
21.09/21.22 c GARBAGE COLLECT
21.09/21.22 c rational objective 9
24.78/24.94 c #Conflicts: 19000 | #Constraints: 77958
24.78/24.94 c #Conflicts: 20000 | #Constraints: 78958
24.78/24.94 c #Conflicts: 21000 | #Constraints: 79959
24.78/24.94 c INPROCESSING
24.78/24.94 c GARBAGE COLLECT
24.78/24.94 c rational objective 9
32.87/33.07 c #Conflicts: 22000 | #Constraints: 77737
32.87/33.07 c #Conflicts: 23000 | #Constraints: 78737
32.87/33.07 c #Conflicts: 24000 | #Constraints: 79738
32.87/33.07 c #Conflicts: 25000 | #Constraints: 80738
32.87/33.07 c INPROCESSING
32.87/33.07 c GARBAGE COLLECT
32.87/33.07 c #Conflicts: 26000 | #Constraints: 78233
32.87/33.07 c #Conflicts: 27000 | #Constraints: 79234
32.87/33.07 c #Conflicts: 28000 | #Constraints: 80234
32.87/33.07 c #Conflicts: 29000 | #Constraints: 81235
32.87/33.07 c INPROCESSING
32.87/33.07 c GARBAGE COLLECT
32.87/33.07 c rational objective 9
37.34/37.52 c #Conflicts: 30000 | #Constraints: 78620
37.34/37.52 c #Conflicts: 31000 | #Constraints: 79620
37.34/37.52 c #Conflicts: 32000 | #Constraints: 80620
37.34/37.52 c #Conflicts: 33000 | #Constraints: 81620
37.34/37.52 c INPROCESSING
37.34/37.52 c GARBAGE COLLECT
37.34/37.52 c rational objective 9
49.41/49.69 c #Conflicts: 34000 | #Constraints: 78589
49.41/49.69 c #Conflicts: 35000 | #Constraints: 79589
49.41/49.69 c #Conflicts: 36000 | #Constraints: 80589
49.41/49.69 c #Conflicts: 37000 | #Constraints: 81589
49.41/49.69 c INPROCESSING
49.41/49.69 c GARBAGE COLLECT
49.41/49.69 c rational objective 9
56.79/57.09 c #Conflicts: 38000 | #Constraints: 78409
56.79/57.09 c #Conflicts: 39000 | #Constraints: 79409
56.79/57.09 c #Conflicts: 40000 | #Constraints: 80410
56.79/57.09 c #Conflicts: 41000 | #Constraints: 81412
56.79/57.09 c INPROCESSING
56.79/57.09 c GARBAGE COLLECT
56.79/57.09 c rational objective 9
78.52/78.81 c #Conflicts: 42000 | #Constraints: 78232
78.52/78.81 c #Conflicts: 43000 | #Constraints: 79233
78.52/78.81 c #Conflicts: 44000 | #Constraints: 80233
78.52/78.81 c #Conflicts: 45000 | #Constraints: 81233
78.52/78.81 c #Conflicts: 46000 | #Constraints: 82233
78.52/78.81 c INPROCESSING
78.52/78.81 c GARBAGE COLLECT
78.52/78.81 c rational objective 9
85.81/86.15 c #Conflicts: 47000 | #Constraints: 78806
85.81/86.15 c #Conflicts: 48000 | #Constraints: 79806
85.81/86.15 c #Conflicts: 49000 | #Constraints: 80806
85.81/86.15 c #Conflicts: 50000 | #Constraints: 81806
85.81/86.15 c #Conflicts: 51000 | #Constraints: 82806
85.81/86.15 c INPROCESSING
85.81/86.15 c GARBAGE COLLECT
85.81/86.15 c rational objective 9
94.68/95.09 c #Conflicts: 52000 | #Constraints: 78485
94.68/95.09 c #Conflicts: 53000 | #Constraints: 79485
94.68/95.09 c #Conflicts: 54000 | #Constraints: 80485
94.68/95.09 c #Conflicts: 55000 | #Constraints: 81485
94.68/95.09 c #Conflicts: 56000 | #Constraints: 82485
94.68/95.09 c INPROCESSING
94.68/95.09 c GARBAGE COLLECT
94.68/95.09 c rational objective 9
107.33/107.73 c #Conflicts: 57000 | #Constraints: 78561
107.33/107.73 c #Conflicts: 58000 | #Constraints: 79562
107.33/107.73 c #Conflicts: 59000 | #Constraints: 80562
107.33/107.73 c #Conflicts: 60000 | #Constraints: 81562
107.33/107.73 c #Conflicts: 61000 | #Constraints: 82562
107.33/107.73 c INPROCESSING
107.33/107.73 c GARBAGE COLLECT
107.33/107.73 c #Conflicts: 62000 | #Constraints: 78229
107.33/107.73 c #Conflicts: 63000 | #Constraints: 79230
107.33/107.73 c #Conflicts: 64000 | #Constraints: 80231
107.33/107.73 c #Conflicts: 65000 | #Constraints: 81231
107.33/107.73 c #Conflicts: 66000 | #Constraints: 82233
107.33/107.73 c INPROCESSING
107.33/107.73 c GARBAGE COLLECT
107.33/107.73 c rational objective 9
113.51/113.92 c #Conflicts: 67000 | #Constraints: 77838
113.51/113.92 c #Conflicts: 68000 | #Constraints: 78838
113.51/113.92 c #Conflicts: 69000 | #Constraints: 79838
113.51/113.92 c #Conflicts: 70000 | #Constraints: 80839
113.51/113.92 c #Conflicts: 71000 | #Constraints: 81839
113.51/113.92 c #Conflicts: 72000 | #Constraints: 82839
113.51/113.92 c INPROCESSING
113.51/113.92 c GARBAGE COLLECT
113.51/113.92 c rational objective 9
118.00/118.46 c #Conflicts: 73000 | #Constraints: 78361
118.00/118.46 c #Conflicts: 74000 | #Constraints: 79361
118.00/118.46 c #Conflicts: 75000 | #Constraints: 80361
118.00/118.46 c #Conflicts: 76000 | #Constraints: 81361
118.00/118.46 c #Conflicts: 77000 | #Constraints: 82362
118.00/118.46 c #Conflicts: 78000 | #Constraints: 83362
118.00/118.46 c INPROCESSING
118.00/118.46 c GARBAGE COLLECT
118.00/118.46 c rational objective 9
124.08/124.50 c #Conflicts: 79000 | #Constraints: 78726
124.08/124.50 c #Conflicts: 80000 | #Constraints: 79726
124.08/124.50 c #Conflicts: 81000 | #Constraints: 80727
124.08/124.50 c #Conflicts: 82000 | #Constraints: 81727
124.08/124.50 c #Conflicts: 83000 | #Constraints: 82727
124.08/124.50 c #Conflicts: 84000 | #Constraints: 83727
124.08/124.50 c INPROCESSING
124.08/124.50 c GARBAGE COLLECT
124.08/124.50 c rational objective 9
134.56/135.02 c #Conflicts: 85000 | #Constraints: 78938
134.56/135.02 c #Conflicts: 86000 | #Constraints: 79938
134.56/135.02 c #Conflicts: 87000 | #Constraints: 80938
134.56/135.02 c #Conflicts: 88000 | #Constraints: 81940
134.56/135.02 c #Conflicts: 89000 | #Constraints: 82940
134.56/135.02 c #Conflicts: 90000 | #Constraints: 83940
134.56/135.02 c INPROCESSING
134.56/135.02 c GARBAGE COLLECT
134.56/135.02 c rational objective 9
144.33/144.88 c #Conflicts: 91000 | #Constraints: 78883
144.33/144.88 c #Conflicts: 92000 | #Constraints: 79883
144.33/144.88 c #Conflicts: 93000 | #Constraints: 80884
144.33/144.88 c #Conflicts: 94000 | #Constraints: 81886
144.33/144.88 c #Conflicts: 95000 | #Constraints: 82888
144.33/144.88 c #Conflicts: 96000 | #Constraints: 83890
144.33/144.88 c INPROCESSING
144.33/144.88 c GARBAGE COLLECT
144.33/144.88 c rational objective 9
154.29/154.80 c #Conflicts: 97000 | #Constraints: 78669
154.29/154.80 c #Conflicts: 98000 | #Constraints: 79670
154.29/154.80 c #Conflicts: 99000 | #Constraints: 80670
154.29/154.80 c #Conflicts: 100000 | #Constraints: 81670
154.29/154.80 c #Conflicts: 101000 | #Constraints: 82670
154.29/154.80 c #Conflicts: 102000 | #Constraints: 83670
154.29/154.80 c #Conflicts: 103000 | #Constraints: 84670
154.29/154.80 c INPROCESSING
154.29/154.80 c GARBAGE COLLECT
154.29/154.80 c rational objective 9
162.07/162.61 c #Conflicts: 104000 | #Constraints: 79237
162.07/162.61 c #Conflicts: 105000 | #Constraints: 80238
162.07/162.61 c #Conflicts: 106000 | #Constraints: 81238
162.07/162.61 c #Conflicts: 107000 | #Constraints: 82238
162.07/162.61 c #Conflicts: 108000 | #Constraints: 83239
162.07/162.61 c #Conflicts: 109000 | #Constraints: 84240
162.07/162.61 c #Conflicts: 110000 | #Constraints: 85240
162.07/162.61 c INPROCESSING
162.07/162.61 c GARBAGE COLLECT
162.07/162.61 c rational objective 9
168.84/169.41 c #Conflicts: 111000 | #Constraints: 79524
168.84/169.41 c #Conflicts: 112000 | #Constraints: 80524
168.84/169.41 c #Conflicts: 113000 | #Constraints: 81524
168.84/169.41 c #Conflicts: 114000 | #Constraints: 82524
168.84/169.41 c #Conflicts: 115000 | #Constraints: 83524
168.84/169.41 c #Conflicts: 116000 | #Constraints: 84524
168.84/169.41 c #Conflicts: 117000 | #Constraints: 85524
168.84/169.41 c INPROCESSING
168.84/169.41 c GARBAGE COLLECT
168.84/169.41 c rational objective 9
180.31/180.94 c #Conflicts: 118000 | #Constraints: 79635
180.31/180.94 c #Conflicts: 119000 | #Constraints: 80635
180.31/180.94 c #Conflicts: 120000 | #Constraints: 81635
180.31/180.94 c #Conflicts: 121000 | #Constraints: 82636
180.31/180.94 c #Conflicts: 122000 | #Constraints: 83637
180.31/180.94 c #Conflicts: 123000 | #Constraints: 84638
180.31/180.94 c #Conflicts: 124000 | #Constraints: 85639
180.31/180.94 c INPROCESSING
180.31/180.94 c GARBAGE COLLECT
180.31/180.94 c rational objective 9
186.20/186.89 c #Conflicts: 125000 | #Constraints: 79501
186.20/186.89 c #Conflicts: 126000 | #Constraints: 80501
186.20/186.89 c #Conflicts: 127000 | #Constraints: 81501
186.20/186.89 c #Conflicts: 128000 | #Constraints: 82501
186.20/186.89 c #Conflicts: 129000 | #Constraints: 83501
186.20/186.89 c #Conflicts: 130000 | #Constraints: 84501
186.20/186.89 c #Conflicts: 131000 | #Constraints: 85501
186.20/186.89 c INPROCESSING
186.20/186.89 c GARBAGE COLLECT
186.20/186.89 c rational objective 9
205.53/206.27 c #Conflicts: 132000 | #Constraints: 79291
205.53/206.27 c #Conflicts: 133000 | #Constraints: 80291
205.53/206.27 c #Conflicts: 134000 | #Constraints: 81291
205.53/206.27 c #Conflicts: 135000 | #Constraints: 82291
205.53/206.27 c #Conflicts: 136000 | #Constraints: 83291
205.53/206.27 c #Conflicts: 137000 | #Constraints: 84291
205.53/206.27 c #Conflicts: 138000 | #Constraints: 85291
205.53/206.27 c #Conflicts: 139000 | #Constraints: 86291
205.53/206.27 c INPROCESSING
205.53/206.27 c GARBAGE COLLECT
205.53/206.27 c rational objective 9
212.12/212.80 c #Conflicts: 140000 | #Constraints: 79705
212.12/212.80 c #Conflicts: 141000 | #Constraints: 80705
212.12/212.80 c #Conflicts: 142000 | #Constraints: 81705
212.12/212.80 c #Conflicts: 143000 | #Constraints: 82705
212.12/212.80 c #Conflicts: 144000 | #Constraints: 83705
212.12/212.80 c #Conflicts: 145000 | #Constraints: 84705
212.12/212.80 c #Conflicts: 146000 | #Constraints: 85707
212.12/212.80 c #Conflicts: 147000 | #Constraints: 86707
212.12/212.80 c INPROCESSING
212.12/212.80 c GARBAGE COLLECT
212.12/212.80 c rational objective 9
218.80/219.56 c #Conflicts: 148000 | #Constraints: 80140
218.80/219.56 c #Conflicts: 149000 | #Constraints: 81140
218.80/219.56 c #Conflicts: 150000 | #Constraints: 82140
218.80/219.56 c #Conflicts: 151000 | #Constraints: 83140
218.80/219.56 c #Conflicts: 152000 | #Constraints: 84140
218.80/219.56 c #Conflicts: 153000 | #Constraints: 85140
218.80/219.56 c #Conflicts: 154000 | #Constraints: 86140
218.80/219.56 c #Conflicts: 155000 | #Constraints: 87141
218.80/219.56 c INPROCESSING
218.80/219.56 c GARBAGE COLLECT
218.80/219.56 c rational objective 9
231.46/232.27 c #Conflicts: 156000 | #Constraints: 80252
231.46/232.27 c #Conflicts: 157000 | #Constraints: 81252
231.46/232.27 c #Conflicts: 158000 | #Constraints: 82252
231.46/232.27 c #Conflicts: 159000 | #Constraints: 83253
231.46/232.27 c #Conflicts: 160000 | #Constraints: 84254
231.46/232.27 c #Conflicts: 161000 | #Constraints: 85255
231.46/232.27 c #Conflicts: 162000 | #Constraints: 86255
231.46/232.27 c #Conflicts: 163000 | #Constraints: 87256
231.46/232.27 c INPROCESSING
231.46/232.27 c GARBAGE COLLECT
231.46/232.27 c rational objective 9
239.03/239.83 c #Conflicts: 164000 | #Constraints: 80047
239.03/239.83 c #Conflicts: 165000 | #Constraints: 81047
239.03/239.83 c #Conflicts: 166000 | #Constraints: 82048
239.03/239.83 c #Conflicts: 167000 | #Constraints: 83049
239.03/239.83 c #Conflicts: 168000 | #Constraints: 84049
239.03/239.83 c #Conflicts: 169000 | #Constraints: 85049
239.03/239.83 c #Conflicts: 170000 | #Constraints: 86049
239.03/239.83 c #Conflicts: 171000 | #Constraints: 87049
239.03/239.83 c INPROCESSING
239.03/239.83 c GARBAGE COLLECT
239.03/239.83 c rational objective 9
247.31/248.15 c #Conflicts: 172000 | #Constraints: 79819
247.31/248.15 c #Conflicts: 173000 | #Constraints: 80819
247.31/248.15 c #Conflicts: 174000 | #Constraints: 81820
247.31/248.15 c #Conflicts: 175000 | #Constraints: 82820
247.31/248.15 c #Conflicts: 176000 | #Constraints: 83820
247.31/248.15 c #Conflicts: 177000 | #Constraints: 84820
247.31/248.15 c #Conflicts: 178000 | #Constraints: 85820
247.31/248.15 c #Conflicts: 179000 | #Constraints: 86820
247.31/248.15 c #Conflicts: 180000 | #Constraints: 87820
247.31/248.15 c INPROCESSING
247.31/248.15 c GARBAGE COLLECT
247.31/248.15 c rational objective 9
260.07/260.98 c #Conflicts: 181000 | #Constraints: 80416
260.07/260.98 c #Conflicts: 182000 | #Constraints: 81416
260.07/260.98 c #Conflicts: 183000 | #Constraints: 82417
260.07/260.98 c #Conflicts: 184000 | #Constraints: 83417
260.07/260.98 c #Conflicts: 185000 | #Constraints: 84417
260.07/260.98 c #Conflicts: 186000 | #Constraints: 85417
260.07/260.98 c #Conflicts: 187000 | #Constraints: 86417
260.07/260.98 c #Conflicts: 188000 | #Constraints: 87417
260.07/260.98 c #Conflicts: 189000 | #Constraints: 88417
260.07/260.98 c INPROCESSING
260.07/260.98 c GARBAGE COLLECT
260.07/260.98 c rational objective 9
277.72/278.68 c #Conflicts: 190000 | #Constraints: 80809
277.72/278.68 c #Conflicts: 191000 | #Constraints: 81809
277.72/278.68 c #Conflicts: 192000 | #Constraints: 82809
277.72/278.68 c #Conflicts: 193000 | #Constraints: 83809
277.72/278.68 c #Conflicts: 194000 | #Constraints: 84809
277.72/278.68 c #Conflicts: 195000 | #Constraints: 85809
277.72/278.68 c #Conflicts: 196000 | #Constraints: 86809
277.72/278.68 c #Conflicts: 197000 | #Constraints: 87809
277.72/278.68 c #Conflicts: 198000 | #Constraints: 88809
277.72/278.68 c INPROCESSING
277.72/278.68 c GARBAGE COLLECT
277.72/278.68 c rational objective 9
290.58/291.58 c #Conflicts: 199000 | #Constraints: 80999
290.58/291.58 c #Conflicts: 200000 | #Constraints: 81999
290.58/291.58 c #Conflicts: 201000 | #Constraints: 82999
290.58/291.58 c #Conflicts: 202000 | #Constraints: 83999
290.58/291.58 c #Conflicts: 203000 | #Constraints: 85000
290.58/291.58 c #Conflicts: 204000 | #Constraints: 86000
290.58/291.58 c #Conflicts: 205000 | #Constraints: 87000
290.58/291.58 c #Conflicts: 206000 | #Constraints: 88000
290.58/291.58 c #Conflicts: 207000 | #Constraints: 89000
290.58/291.58 c INPROCESSING
290.58/291.58 c GARBAGE COLLECT
290.58/291.58 c rational objective 9
303.24/304.27 c #Conflicts: 208000 | #Constraints: 80891
303.24/304.27 c #Conflicts: 209000 | #Constraints: 81891
303.24/304.27 c #Conflicts: 210000 | #Constraints: 82891
303.24/304.27 c #Conflicts: 211000 | #Constraints: 83891
303.24/304.27 c #Conflicts: 212000 | #Constraints: 84892
303.24/304.27 c #Conflicts: 213000 | #Constraints: 85892
303.24/304.27 c #Conflicts: 214000 | #Constraints: 86892
303.24/304.27 c #Conflicts: 215000 | #Constraints: 87892
303.24/304.27 c #Conflicts: 216000 | #Constraints: 88892
303.24/304.27 c INPROCESSING
303.24/304.27 c GARBAGE COLLECT
303.24/304.27 c rational objective 9
315.01/316.05 c #Conflicts: 217000 | #Constraints: 80676
315.01/316.05 c #Conflicts: 218000 | #Constraints: 81676
315.01/316.05 c #Conflicts: 219000 | #Constraints: 82676
315.01/316.05 c #Conflicts: 220000 | #Constraints: 83676
315.01/316.05 c #Conflicts: 221000 | #Constraints: 84676
315.01/316.05 c #Conflicts: 222000 | #Constraints: 85677
315.01/316.05 c #Conflicts: 223000 | #Constraints: 86677
315.01/316.05 c #Conflicts: 224000 | #Constraints: 87677
315.01/316.05 c #Conflicts: 225000 | #Constraints: 88677
315.01/316.05 c #Conflicts: 226000 | #Constraints: 89677
315.01/316.05 c INPROCESSING
315.01/316.05 c GARBAGE COLLECT
315.01/316.05 c rational objective 9
338.83/339.95 c #Conflicts: 227000 | #Constraints: 81233
338.83/339.95 c #Conflicts: 228000 | #Constraints: 82233
338.83/339.95 c #Conflicts: 229000 | #Constraints: 83233
338.83/339.95 c #Conflicts: 230000 | #Constraints: 84234
338.83/339.95 c #Conflicts: 231000 | #Constraints: 85234
338.83/339.95 c #Conflicts: 232000 | #Constraints: 86234
338.83/339.95 c #Conflicts: 233000 | #Constraints: 87234
338.83/339.95 c #Conflicts: 234000 | #Constraints: 88234
338.83/339.95 c #Conflicts: 235000 | #Constraints: 89234
338.83/339.95 c #Conflicts: 236000 | #Constraints: 90234
338.83/339.95 c INPROCESSING
338.83/339.95 c GARBAGE COLLECT
338.83/339.95 c rational objective 9
360.57/361.78 c #Conflicts: 237000 | #Constraints: 81580
360.57/361.78 c #Conflicts: 238000 | #Constraints: 82580
360.57/361.78 c #Conflicts: 239000 | #Constraints: 83580
360.57/361.78 c #Conflicts: 240000 | #Constraints: 84580
360.57/361.78 c #Conflicts: 241000 | #Constraints: 85580
360.57/361.78 c #Conflicts: 242000 | #Constraints: 86580
360.57/361.78 c #Conflicts: 243000 | #Constraints: 87580
360.57/361.78 c #Conflicts: 244000 | #Constraints: 88580
360.57/361.78 c #Conflicts: 245000 | #Constraints: 89580
360.57/361.78 c #Conflicts: 246000 | #Constraints: 90580
360.57/361.78 c INPROCESSING
360.57/361.78 c GARBAGE COLLECT
360.57/361.78 c rational objective 9
369.64/370.82 c #Conflicts: 247000 | #Constraints: 81760
369.64/370.82 c #Conflicts: 248000 | #Constraints: 82760
369.64/370.82 c #Conflicts: 249000 | #Constraints: 83760
369.64/370.82 c #Conflicts: 250000 | #Constraints: 84760
369.64/370.82 c #Conflicts: 251000 | #Constraints: 85760
369.64/370.82 c #Conflicts: 252000 | #Constraints: 86760
369.64/370.82 c #Conflicts: 253000 | #Constraints: 87760
369.64/370.82 c #Conflicts: 254000 | #Constraints: 88760
369.64/370.82 c #Conflicts: 255000 | #Constraints: 89760
369.64/370.82 c #Conflicts: 256000 | #Constraints: 90761
369.64/370.82 c INPROCESSING
369.64/370.82 c GARBAGE COLLECT
369.64/370.82 c rational objective 9
392.57/393.81 c #Conflicts: 257000 | #Constraints: 81755
392.57/393.81 c #Conflicts: 258000 | #Constraints: 82755
392.57/393.81 c #Conflicts: 259000 | #Constraints: 83755
392.57/393.81 c #Conflicts: 260000 | #Constraints: 84755
392.57/393.81 c #Conflicts: 261000 | #Constraints: 85755
392.57/393.81 c #Conflicts: 262000 | #Constraints: 86755
392.57/393.81 c #Conflicts: 263000 | #Constraints: 87755
392.57/393.81 c #Conflicts: 264000 | #Constraints: 88755
392.57/393.81 c #Conflicts: 265000 | #Constraints: 89755
392.57/393.81 c #Conflicts: 266000 | #Constraints: 90755
392.57/393.81 c INPROCESSING
392.57/393.81 c GARBAGE COLLECT
392.57/393.81 c rational objective 9
406.63/407.98 c #Conflicts: 267000 | #Constraints: 81542
406.63/407.98 c #Conflicts: 268000 | #Constraints: 82542
406.63/407.98 c #Conflicts: 269000 | #Constraints: 83542
406.63/407.98 c #Conflicts: 270000 | #Constraints: 84542
406.63/407.98 c #Conflicts: 271000 | #Constraints: 85542
406.63/407.98 c #Conflicts: 272000 | #Constraints: 86542
406.63/407.98 c #Conflicts: 273000 | #Constraints: 87542
406.63/407.98 c #Conflicts: 274000 | #Constraints: 88542
406.63/407.98 c #Conflicts: 275000 | #Constraints: 89542
406.63/407.98 c #Conflicts: 276000 | #Constraints: 90543
406.63/407.98 c #Conflicts: 277000 | #Constraints: 91543
406.63/407.98 c INPROCESSING
406.63/407.98 c GARBAGE COLLECT
406.63/407.98 c rational objective 9
415.81/417.19 c #Conflicts: 278000 | #Constraints: 82113
415.81/417.19 c #Conflicts: 279000 | #Constraints: 83113
415.81/417.19 c #Conflicts: 280000 | #Constraints: 84113
415.81/417.19 c #Conflicts: 281000 | #Constraints: 85113
415.81/417.19 c #Conflicts: 282000 | #Constraints: 86113
415.81/417.19 c #Conflicts: 283000 | #Constraints: 87113
415.81/417.19 c #Conflicts: 284000 | #Constraints: 88113
415.81/417.19 c #Conflicts: 285000 | #Constraints: 89113
415.81/417.19 c #Conflicts: 286000 | #Constraints: 90113
415.81/417.19 c #Conflicts: 287000 | #Constraints: 91114
415.81/417.19 c #Conflicts: 288000 | #Constraints: 92114
415.81/417.19 c INPROCESSING
415.81/417.19 c GARBAGE COLLECT
415.81/417.19 c rational objective 9
428.27/429.61 c #Conflicts: 289000 | #Constraints: 82468
428.27/429.61 c #Conflicts: 290000 | #Constraints: 83468
428.27/429.61 c #Conflicts: 291000 | #Constraints: 84468
428.27/429.61 c #Conflicts: 292000 | #Constraints: 85468
428.27/429.61 c #Conflicts: 293000 | #Constraints: 86468
428.27/429.61 c #Conflicts: 294000 | #Constraints: 87468
428.27/429.61 c #Conflicts: 295000 | #Constraints: 88468
428.27/429.61 c #Conflicts: 296000 | #Constraints: 89469
428.27/429.61 c #Conflicts: 297000 | #Constraints: 90471
428.27/429.61 c #Conflicts: 298000 | #Constraints: 91472
428.27/429.61 c #Conflicts: 299000 | #Constraints: 92473
428.27/429.61 c INPROCESSING
428.27/429.61 c GARBAGE COLLECT
428.27/429.61 c rational objective 9
442.03/443.46 c #Conflicts: 300000 | #Constraints: 82617
442.03/443.46 c #Conflicts: 301000 | #Constraints: 83617
442.03/443.46 c #Conflicts: 302000 | #Constraints: 84617
442.03/443.46 c #Conflicts: 303000 | #Constraints: 85617
442.03/443.46 c #Conflicts: 304000 | #Constraints: 86617
442.03/443.46 c #Conflicts: 305000 | #Constraints: 87617
442.03/443.46 c #Conflicts: 306000 | #Constraints: 88617
442.03/443.46 c #Conflicts: 307000 | #Constraints: 89617
442.03/443.46 c #Conflicts: 308000 | #Constraints: 90618
442.03/443.46 c #Conflicts: 309000 | #Constraints: 91618
442.03/443.46 c #Conflicts: 310000 | #Constraints: 92618
442.03/443.46 c INPROCESSING
442.03/443.46 c GARBAGE COLLECT
442.03/443.46 c rational objective 9
462.26/463.79 c #Conflicts: 311000 | #Constraints: 82571
462.26/463.79 c #Conflicts: 312000 | #Constraints: 83571
462.26/463.79 c #Conflicts: 313000 | #Constraints: 84571
462.26/463.79 c #Conflicts: 314000 | #Constraints: 85571
462.26/463.79 c #Conflicts: 315000 | #Constraints: 86572
462.26/463.79 c #Conflicts: 316000 | #Constraints: 87572
462.26/463.79 c #Conflicts: 317000 | #Constraints: 88574
462.26/463.79 c #Conflicts: 318000 | #Constraints: 89575
462.26/463.79 c #Conflicts: 319000 | #Constraints: 90577
462.26/463.79 c #Conflicts: 320000 | #Constraints: 91579
462.26/463.79 c #Conflicts: 321000 | #Constraints: 92579
462.26/463.79 c INPROCESSING
462.26/463.79 c GARBAGE COLLECT
462.26/463.79 c rational objective 9
487.69/489.26 c #Conflicts: 322000 | #Constraints: 82278
487.69/489.26 c #Conflicts: 323000 | #Constraints: 83279
487.69/489.26 c #Conflicts: 324000 | #Constraints: 84279
487.69/489.26 c #Conflicts: 325000 | #Constraints: 85279
487.69/489.26 c #Conflicts: 326000 | #Constraints: 86279
487.69/489.26 c #Conflicts: 327000 | #Constraints: 87280
487.69/489.26 c #Conflicts: 328000 | #Constraints: 88282
487.69/489.26 c #Conflicts: 329000 | #Constraints: 89282
487.69/489.26 c #Conflicts: 330000 | #Constraints: 90283
487.69/489.26 c #Conflicts: 331000 | #Constraints: 91283
487.69/489.26 c #Conflicts: 332000 | #Constraints: 92285
487.69/489.26 c #Conflicts: 333000 | #Constraints: 93286
487.69/489.26 c INPROCESSING
487.69/489.26 c GARBAGE COLLECT
487.69/489.26 c rational objective 9
510.32/511.98 c #Conflicts: 334000 | #Constraints: 82806
510.32/511.98 c #Conflicts: 335000 | #Constraints: 83807
510.32/511.98 c #Conflicts: 336000 | #Constraints: 84807
510.32/511.98 c #Conflicts: 337000 | #Constraints: 85807
510.32/511.98 c #Conflicts: 338000 | #Constraints: 86808
510.32/511.98 c #Conflicts: 339000 | #Constraints: 87809
510.32/511.98 c #Conflicts: 340000 | #Constraints: 88811
510.32/511.98 c #Conflicts: 341000 | #Constraints: 89813
510.32/511.98 c #Conflicts: 342000 | #Constraints: 90815
510.32/511.98 c #Conflicts: 343000 | #Constraints: 91815
510.32/511.98 c #Conflicts: 344000 | #Constraints: 92815
510.32/511.98 c #Conflicts: 345000 | #Constraints: 93816
510.32/511.98 c INPROCESSING
510.32/511.98 c GARBAGE COLLECT
510.32/511.98 c rational objective 9
531.56/533.23 c #Conflicts: 346000 | #Constraints: 83186
531.56/533.23 c #Conflicts: 347000 | #Constraints: 84187
531.56/533.23 c #Conflicts: 348000 | #Constraints: 85187
531.56/533.23 c #Conflicts: 349000 | #Constraints: 86187
531.56/533.23 c #Conflicts: 350000 | #Constraints: 87187
531.56/533.23 c #Conflicts: 351000 | #Constraints: 88187
531.56/533.23 c #Conflicts: 352000 | #Constraints: 89187
531.56/533.23 c #Conflicts: 353000 | #Constraints: 90187
531.56/533.23 c #Conflicts: 354000 | #Constraints: 91189
531.56/533.23 c #Conflicts: 355000 | #Constraints: 92190
531.56/533.23 c #Conflicts: 356000 | #Constraints: 93192
531.56/533.23 c #Conflicts: 357000 | #Constraints: 94193
531.56/533.23 c INPROCESSING
531.56/533.23 c GARBAGE COLLECT
531.56/533.23 c rational objective 9
547.31/549.07 c #Conflicts: 358000 | #Constraints: 83387
547.31/549.07 c #Conflicts: 359000 | #Constraints: 84387
547.31/549.07 c #Conflicts: 360000 | #Constraints: 85387
547.31/549.07 c #Conflicts: 361000 | #Constraints: 86387
547.31/549.07 c #Conflicts: 362000 | #Constraints: 87387
547.31/549.07 c #Conflicts: 363000 | #Constraints: 88387
547.31/549.07 c #Conflicts: 364000 | #Constraints: 89387
547.31/549.07 c #Conflicts: 365000 | #Constraints: 90387
547.31/549.07 c #Conflicts: 366000 | #Constraints: 91387
547.31/549.07 c #Conflicts: 367000 | #Constraints: 92388
547.31/549.07 c #Conflicts: 368000 | #Constraints: 93388
547.31/549.07 c #Conflicts: 369000 | #Constraints: 94389
547.31/549.07 c INPROCESSING
547.31/549.07 c GARBAGE COLLECT
547.31/549.07 c rational objective 9
571.63/573.40 c #Conflicts: 370000 | #Constraints: 83211
571.63/573.40 c #Conflicts: 371000 | #Constraints: 84211
571.63/573.40 c #Conflicts: 372000 | #Constraints: 85211
571.63/573.40 c #Conflicts: 373000 | #Constraints: 86211
571.63/573.40 c #Conflicts: 374000 | #Constraints: 87211
571.63/573.40 c #Conflicts: 375000 | #Constraints: 88211
571.63/573.40 c #Conflicts: 376000 | #Constraints: 89211
571.63/573.40 c #Conflicts: 377000 | #Constraints: 90211
571.63/573.40 c #Conflicts: 378000 | #Constraints: 91211
571.63/573.40 c #Conflicts: 379000 | #Constraints: 92213
571.63/573.40 c #Conflicts: 380000 | #Constraints: 93215
571.63/573.40 c #Conflicts: 381000 | #Constraints: 94217
571.63/573.40 c INPROCESSING
571.63/573.40 c GARBAGE COLLECT
571.63/573.40 c rational objective 9
587.08/588.95 c #Conflicts: 382000 | #Constraints: 82936
587.08/588.95 c #Conflicts: 383000 | #Constraints: 83936
587.08/588.95 c #Conflicts: 384000 | #Constraints: 84936
587.08/588.95 c #Conflicts: 385000 | #Constraints: 85936
587.08/588.95 c #Conflicts: 386000 | #Constraints: 86936
587.08/588.95 c #Conflicts: 387000 | #Constraints: 87936
587.08/588.95 c #Conflicts: 388000 | #Constraints: 88936
587.08/588.95 c #Conflicts: 389000 | #Constraints: 89937
587.08/588.95 c #Conflicts: 390000 | #Constraints: 90937
587.08/588.95 c #Conflicts: 391000 | #Constraints: 91938
587.08/588.95 c #Conflicts: 392000 | #Constraints: 92938
587.08/588.95 c #Conflicts: 393000 | #Constraints: 93939
587.08/588.95 c #Conflicts: 394000 | #Constraints: 94940
587.08/588.95 c INPROCESSING
587.08/588.95 c GARBAGE COLLECT
587.08/588.95 c rational objective 9
614.50/616.49 c #Conflicts: 395000 | #Constraints: 83408
614.50/616.49 c #Conflicts: 396000 | #Constraints: 84409
614.50/616.49 c #Conflicts: 397000 | #Constraints: 85409
614.50/616.49 c #Conflicts: 398000 | #Constraints: 86409
614.50/616.49 c #Conflicts: 399000 | #Constraints: 87409
614.50/616.49 c #Conflicts: 400000 | #Constraints: 88409
614.50/616.49 c #Conflicts: 401000 | #Constraints: 89409
614.50/616.49 c #Conflicts: 402000 | #Constraints: 90409
614.50/616.49 c #Conflicts: 403000 | #Constraints: 91409
614.50/616.49 c #Conflicts: 404000 | #Constraints: 92410
614.50/616.49 c #Conflicts: 405000 | #Constraints: 93410
614.50/616.49 c #Conflicts: 406000 | #Constraints: 94410
614.50/616.49 c #Conflicts: 407000 | #Constraints: 95411
614.50/616.49 c INPROCESSING
614.50/616.49 c GARBAGE COLLECT
614.50/616.49 c rational objective 9
638.43/640.43 c #Conflicts: 408000 | #Constraints: 83801
638.43/640.43 c #Conflicts: 409000 | #Constraints: 84802
638.43/640.43 c #Conflicts: 410000 | #Constraints: 85802
638.43/640.43 c #Conflicts: 411000 | #Constraints: 86802
638.43/640.43 c #Conflicts: 412000 | #Constraints: 87802
638.43/640.43 c #Conflicts: 413000 | #Constraints: 88803
638.43/640.43 c #Conflicts: 414000 | #Constraints: 89803
638.43/640.43 c #Conflicts: 415000 | #Constraints: 90803
638.43/640.43 c #Conflicts: 416000 | #Constraints: 91804
638.43/640.43 c #Conflicts: 417000 | #Constraints: 92807
638.43/640.43 c #Conflicts: 418000 | #Constraints: 93807
638.43/640.43 c #Conflicts: 419000 | #Constraints: 94807
638.43/640.43 c #Conflicts: 420000 | #Constraints: 95807
638.43/640.43 c INPROCESSING
638.43/640.43 c GARBAGE COLLECT
638.43/640.43 c rational objective 9
661.36/663.44 c #Conflicts: 421000 | #Constraints: 83922
661.36/663.44 c #Conflicts: 422000 | #Constraints: 84922
661.36/663.44 c #Conflicts: 423000 | #Constraints: 85922
661.36/663.44 c #Conflicts: 424000 | #Constraints: 86922
661.36/663.44 c #Conflicts: 425000 | #Constraints: 87922
661.36/663.44 c #Conflicts: 426000 | #Constraints: 88922
661.36/663.44 c #Conflicts: 427000 | #Constraints: 89922
661.36/663.44 c #Conflicts: 428000 | #Constraints: 90924
661.36/663.44 c #Conflicts: 429000 | #Constraints: 91925
661.36/663.44 c #Conflicts: 430000 | #Constraints: 92926
661.36/663.44 c #Conflicts: 431000 | #Constraints: 93927
661.36/663.44 c #Conflicts: 432000 | #Constraints: 94927
661.36/663.44 c #Conflicts: 433000 | #Constraints: 95928
661.36/663.44 c INPROCESSING
661.36/663.44 c GARBAGE COLLECT
661.36/663.44 c rational objective 9
687.68/689.88 c #Conflicts: 434000 | #Constraints: 83932
687.68/689.88 c #Conflicts: 435000 | #Constraints: 84933
687.68/689.88 c #Conflicts: 436000 | #Constraints: 85933
687.68/689.88 c #Conflicts: 437000 | #Constraints: 86933
687.68/689.88 c #Conflicts: 438000 | #Constraints: 87933
687.68/689.88 c #Conflicts: 439000 | #Constraints: 88933
687.68/689.88 c #Conflicts: 440000 | #Constraints: 89933
687.68/689.88 c #Conflicts: 441000 | #Constraints: 90934
687.68/689.88 c #Conflicts: 442000 | #Constraints: 91934
687.68/689.88 c #Conflicts: 443000 | #Constraints: 92935
687.68/689.88 c #Conflicts: 444000 | #Constraints: 93936
687.68/689.88 c #Conflicts: 445000 | #Constraints: 94936
687.68/689.88 c #Conflicts: 446000 | #Constraints: 95937
687.68/689.88 c INPROCESSING
687.68/689.88 c GARBAGE COLLECT
687.68/689.88 c rational objective 9
740.22/742.56 c #Conflicts: 447000 | #Constraints: 83741
740.22/742.56 c #Conflicts: 448000 | #Constraints: 84741
740.22/742.56 c #Conflicts: 449000 | #Constraints: 85741
740.22/742.56 c #Conflicts: 450000 | #Constraints: 86741
740.22/742.56 c #Conflicts: 451000 | #Constraints: 87741
740.22/742.56 c #Conflicts: 452000 | #Constraints: 88741
740.22/742.56 c #Conflicts: 453000 | #Constraints: 89741
740.22/742.56 c #Conflicts: 454000 | #Constraints: 90741
740.22/742.56 c #Conflicts: 455000 | #Constraints: 91741
740.22/742.56 c #Conflicts: 456000 | #Constraints: 92741
740.22/742.56 c #Conflicts: 457000 | #Constraints: 93742
740.22/742.56 c #Conflicts: 458000 | #Constraints: 94743
740.22/742.56 c #Conflicts: 459000 | #Constraints: 95743
740.22/742.56 c #Conflicts: 460000 | #Constraints: 96744
740.22/742.56 c INPROCESSING
740.22/742.56 c GARBAGE COLLECT
740.22/742.56 c rational objective 9
768.24/770.66 c #Conflicts: 461000 | #Constraints: 84340
768.24/770.66 c #Conflicts: 462000 | #Constraints: 85341
768.24/770.66 c #Conflicts: 463000 | #Constraints: 86341
768.24/770.66 c #Conflicts: 464000 | #Constraints: 87341
768.24/770.66 c #Conflicts: 465000 | #Constraints: 88341
768.24/770.66 c #Conflicts: 466000 | #Constraints: 89341
768.24/770.66 c #Conflicts: 467000 | #Constraints: 90341
768.24/770.66 c #Conflicts: 468000 | #Constraints: 91341
768.24/770.66 c #Conflicts: 469000 | #Constraints: 92341
768.24/770.66 c #Conflicts: 470000 | #Constraints: 93344
768.24/770.66 c #Conflicts: 471000 | #Constraints: 94344
768.24/770.66 c #Conflicts: 472000 | #Constraints: 95344
768.24/770.66 c #Conflicts: 473000 | #Constraints: 96346
768.24/770.66 c #Conflicts: 474000 | #Constraints: 97348
768.24/770.66 c INPROCESSING
768.24/770.66 c GARBAGE COLLECT
768.24/770.66 c rational objective 9
822.08/824.63 c #Conflicts: 475000 | #Constraints: 84748
822.08/824.63 c #Conflicts: 476000 | #Constraints: 85748
822.08/824.63 c #Conflicts: 477000 | #Constraints: 86748
822.08/824.63 c #Conflicts: 478000 | #Constraints: 87748
822.08/824.63 c #Conflicts: 479000 | #Constraints: 88748
822.08/824.63 c #Conflicts: 480000 | #Constraints: 89748
822.08/824.63 c #Conflicts: 481000 | #Constraints: 90748
822.08/824.63 c #Conflicts: 482000 | #Constraints: 91748
822.08/824.63 c #Conflicts: 483000 | #Constraints: 92748
822.08/824.63 c #Conflicts: 484000 | #Constraints: 93748
822.08/824.63 c #Conflicts: 485000 | #Constraints: 94748
822.08/824.63 c #Conflicts: 486000 | #Constraints: 95748
822.08/824.63 c #Conflicts: 487000 | #Constraints: 96748
822.08/824.63 c #Conflicts: 488000 | #Constraints: 97748
822.08/824.63 c INPROCESSING
822.08/824.63 c GARBAGE COLLECT
822.08/824.63 c rational objective 9
910.30/913.12 c #Conflicts: 489000 | #Constraints: 84994
910.30/913.12 c #Conflicts: 490000 | #Constraints: 85994
910.30/913.12 c #Conflicts: 491000 | #Constraints: 86995
910.30/913.12 c #Conflicts: 492000 | #Constraints: 87995
910.30/913.12 c #Conflicts: 493000 | #Constraints: 88995
910.30/913.12 c #Conflicts: 494000 | #Constraints: 89995
910.30/913.12 c #Conflicts: 495000 | #Constraints: 90995
910.30/913.12 c #Conflicts: 496000 | #Constraints: 91995
910.30/913.12 c #Conflicts: 497000 | #Constraints: 92995
910.30/913.12 c #Conflicts: 498000 | #Constraints: 93995
910.30/913.12 c #Conflicts: 499000 | #Constraints: 94995
910.30/913.12 c #Conflicts: 500000 | #Constraints: 95995
910.30/913.12 c #Conflicts: 501000 | #Constraints: 96995
910.30/913.12 c #Conflicts: 502000 | #Constraints: 97995
910.30/913.12 c INPROCESSING
910.30/913.12 c GARBAGE COLLECT
910.30/913.12 c rational objective 9
938.12/941.08 c #Conflicts: 503000 | #Constraints: 84949
938.12/941.08 c #Conflicts: 504000 | #Constraints: 85949
938.12/941.08 c #Conflicts: 505000 | #Constraints: 86949
938.12/941.08 c #Conflicts: 506000 | #Constraints: 87950
938.12/941.08 c #Conflicts: 507000 | #Constraints: 88950
938.12/941.08 c #Conflicts: 508000 | #Constraints: 89950
938.12/941.08 c #Conflicts: 509000 | #Constraints: 90950
938.12/941.08 c #Conflicts: 510000 | #Constraints: 91950
938.12/941.08 c #Conflicts: 511000 | #Constraints: 92950
938.12/941.08 c #Conflicts: 512000 | #Constraints: 93950
938.12/941.08 c #Conflicts: 513000 | #Constraints: 94950
938.12/941.08 c #Conflicts: 514000 | #Constraints: 95951
938.12/941.08 c #Conflicts: 515000 | #Constraints: 96951
938.12/941.08 c #Conflicts: 516000 | #Constraints: 97952
938.12/941.08 c INPROCESSING
938.12/941.08 c GARBAGE COLLECT
938.12/941.08 c rational objective 9
970.22/973.28 c #Conflicts: 517000 | #Constraints: 84650
970.22/973.28 c #Conflicts: 518000 | #Constraints: 85651
970.22/973.28 c #Conflicts: 519000 | #Constraints: 86651
970.22/973.28 c #Conflicts: 520000 | #Constraints: 87651
970.22/973.28 c #Conflicts: 521000 | #Constraints: 88651
970.22/973.28 c #Conflicts: 522000 | #Constraints: 89651
970.22/973.28 c #Conflicts: 523000 | #Constraints: 90651
970.22/973.28 c #Conflicts: 524000 | #Constraints: 91651
970.22/973.28 c #Conflicts: 525000 | #Constraints: 92652
970.22/973.28 c #Conflicts: 526000 | #Constraints: 93653
970.22/973.28 c #Conflicts: 527000 | #Constraints: 94654
970.22/973.28 c #Conflicts: 528000 | #Constraints: 95656
970.22/973.28 c #Conflicts: 529000 | #Constraints: 96657
970.22/973.28 c #Conflicts: 530000 | #Constraints: 97657
970.22/973.28 c #Conflicts: 531000 | #Constraints: 98658
970.22/973.28 c INPROCESSING
970.22/973.28 c GARBAGE COLLECT
970.22/973.28 c rational objective 9
993.45/996.53 c #Conflicts: 532000 | #Constraints: 85189
993.45/996.53 c #Conflicts: 533000 | #Constraints: 86190
993.45/996.53 c #Conflicts: 534000 | #Constraints: 87190
993.45/996.53 c #Conflicts: 535000 | #Constraints: 88190
993.45/996.53 c #Conflicts: 536000 | #Constraints: 89190
993.45/996.53 c #Conflicts: 537000 | #Constraints: 90190
993.45/996.53 c #Conflicts: 538000 | #Constraints: 91190
993.45/996.53 c #Conflicts: 539000 | #Constraints: 92190
993.45/996.53 c #Conflicts: 540000 | #Constraints: 93191
993.45/996.53 c #Conflicts: 541000 | #Constraints: 94192
993.45/996.53 c #Conflicts: 542000 | #Constraints: 95193
993.45/996.53 c #Conflicts: 543000 | #Constraints: 96193
993.45/996.53 c #Conflicts: 544000 | #Constraints: 97194
993.45/996.53 c #Conflicts: 545000 | #Constraints: 98194
993.45/996.53 c #Conflicts: 546000 | #Constraints: 99195
993.45/996.53 c INPROCESSING
993.45/996.53 c GARBAGE COLLECT
993.45/996.53 c rational objective 9
1019.67/1022.86 c #Conflicts: 547000 | #Constraints: 85537
1019.67/1022.86 c #Conflicts: 548000 | #Constraints: 86537
1019.67/1022.86 c #Conflicts: 549000 | #Constraints: 87537
1019.67/1022.86 c #Conflicts: 550000 | #Constraints: 88537
1019.67/1022.86 c #Conflicts: 551000 | #Constraints: 89537
1019.67/1022.86 c #Conflicts: 552000 | #Constraints: 90537
1019.67/1022.86 c #Conflicts: 553000 | #Constraints: 91537
1019.67/1022.86 c #Conflicts: 554000 | #Constraints: 92537
1019.67/1022.86 c #Conflicts: 555000 | #Constraints: 93539
1019.67/1022.86 c #Conflicts: 556000 | #Constraints: 94541
1019.67/1022.86 c #Conflicts: 557000 | #Constraints: 95542
1019.67/1022.86 c #Conflicts: 558000 | #Constraints: 96543
1019.67/1022.86 c #Conflicts: 559000 | #Constraints: 97544
1019.67/1022.86 c #Conflicts: 560000 | #Constraints: 98547
1019.67/1022.86 c #Conflicts: 561000 | #Constraints: 99548
1019.67/1022.86 c INPROCESSING
1019.67/1022.86 c GARBAGE COLLECT
1019.67/1022.86 c rational objective 9
1054.57/1057.82 c #Conflicts: 562000 | #Constraints: 85708
1054.57/1057.82 c #Conflicts: 563000 | #Constraints: 86709
1054.57/1057.82 c #Conflicts: 564000 | #Constraints: 87714
1054.57/1057.82 c #Conflicts: 565000 | #Constraints: 88714
1054.57/1057.82 c #Conflicts: 566000 | #Constraints: 89714
1054.57/1057.82 c #Conflicts: 567000 | #Constraints: 90714
1054.57/1057.82 c #Conflicts: 568000 | #Constraints: 91715
1054.57/1057.82 c #Conflicts: 569000 | #Constraints: 92716
1054.57/1057.82 c #Conflicts: 570000 | #Constraints: 93716
1054.57/1057.82 c #Conflicts: 571000 | #Constraints: 94717
1054.57/1057.82 c #Conflicts: 572000 | #Constraints: 95719
1054.57/1057.82 c #Conflicts: 573000 | #Constraints: 96722
1054.57/1057.82 c #Conflicts: 574000 | #Constraints: 97725
1054.57/1057.82 c #Conflicts: 575000 | #Constraints: 98725
1054.57/1057.82 c #Conflicts: 576000 | #Constraints: 99725
1054.57/1057.82 c INPROCESSING
1054.57/1057.82 c GARBAGE COLLECT
1054.57/1057.82 c rational objective 9
1083.48/1086.86 c #Conflicts: 577000 | #Constraints: 85604
1083.48/1086.86 c #Conflicts: 578000 | #Constraints: 86604
1083.48/1086.86 c #Conflicts: 579000 | #Constraints: 87604
1083.48/1086.86 c #Conflicts: 580000 | #Constraints: 88604
1083.48/1086.86 c #Conflicts: 581000 | #Constraints: 89604
1083.48/1086.86 c #Conflicts: 582000 | #Constraints: 90606
1083.48/1086.86 c #Conflicts: 583000 | #Constraints: 91607
1083.48/1086.86 c #Conflicts: 584000 | #Constraints: 92609
1083.48/1086.86 c #Conflicts: 585000 | #Constraints: 93609
1083.48/1086.86 c #Conflicts: 586000 | #Constraints: 94609
1083.48/1086.86 c #Conflicts: 587000 | #Constraints: 95609
1083.48/1086.86 c #Conflicts: 588000 | #Constraints: 96609
1083.48/1086.86 c #Conflicts: 589000 | #Constraints: 97609
1083.48/1086.86 c #Conflicts: 590000 | #Constraints: 98610
1083.48/1086.86 c #Conflicts: 591000 | #Constraints: 99610
1083.48/1086.86 c INPROCESSING
1083.48/1086.86 c GARBAGE COLLECT
1083.48/1086.86 c rational objective 9
1118.67/1122.16 c #Conflicts: 592000 | #Constraints: 85319
1118.67/1122.16 c #Conflicts: 593000 | #Constraints: 86319
1118.67/1122.16 c #Conflicts: 594000 | #Constraints: 87319
1118.67/1122.16 c #Conflicts: 595000 | #Constraints: 88319
1118.67/1122.16 c #Conflicts: 596000 | #Constraints: 89320
1118.67/1122.16 c #Conflicts: 597000 | #Constraints: 90320
1118.67/1122.16 c #Conflicts: 598000 | #Constraints: 91320
1118.67/1122.16 c #Conflicts: 599000 | #Constraints: 92320
1118.67/1122.16 c #Conflicts: 600000 | #Constraints: 93320
1118.67/1122.16 c #Conflicts: 601000 | #Constraints: 94320
1118.67/1122.16 c #Conflicts: 602000 | #Constraints: 95320
1118.67/1122.16 c #Conflicts: 603000 | #Constraints: 96321
1118.67/1122.16 c #Conflicts: 604000 | #Constraints: 97322
1118.67/1122.16 c #Conflicts: 605000 | #Constraints: 98323
1118.67/1122.16 c #Conflicts: 606000 | #Constraints: 99325
1118.67/1122.16 c #Conflicts: 607000 | #Constraints: 100326
1118.67/1122.16 c INPROCESSING
1118.67/1122.16 c GARBAGE COLLECT
1118.67/1122.16 c rational objective 9
1143.19/1146.77 c #Conflicts: 608000 | #Constraints: 85933
1143.19/1146.77 c #Conflicts: 609000 | #Constraints: 86933
1143.19/1146.77 c #Conflicts: 610000 | #Constraints: 87933
1143.19/1146.77 c #Conflicts: 611000 | #Constraints: 88933
1143.19/1146.77 c #Conflicts: 612000 | #Constraints: 89933
1143.19/1146.77 c #Conflicts: 613000 | #Constraints: 90933
1143.19/1146.77 c #Conflicts: 614000 | #Constraints: 91933
1143.19/1146.77 c #Conflicts: 615000 | #Constraints: 92933
1143.19/1146.77 c #Conflicts: 616000 | #Constraints: 93933
1143.19/1146.77 c #Conflicts: 617000 | #Constraints: 94934
1143.19/1146.77 c #Conflicts: 618000 | #Constraints: 95935
1143.19/1146.77 c #Conflicts: 619000 | #Constraints: 96937
1143.19/1146.77 c #Conflicts: 620000 | #Constraints: 97939
1143.19/1146.77 c #Conflicts: 621000 | #Constraints: 98941
1143.19/1146.77 c #Conflicts: 622000 | #Constraints: 99942
1143.19/1146.77 c #Conflicts: 623000 | #Constraints: 100943
1143.19/1146.77 c INPROCESSING
1143.19/1146.77 c GARBAGE COLLECT
1143.19/1146.77 c rational objective 9
1169.01/1172.61 c #Conflicts: 624000 | #Constraints: 86290
1169.01/1172.61 c #Conflicts: 625000 | #Constraints: 87290
1169.01/1172.61 c #Conflicts: 626000 | #Constraints: 88290
1169.01/1172.61 c #Conflicts: 627000 | #Constraints: 89290
1169.01/1172.61 c #Conflicts: 628000 | #Constraints: 90290
1169.01/1172.61 c #Conflicts: 629000 | #Constraints: 91290
1169.01/1172.61 c #Conflicts: 630000 | #Constraints: 92290
1169.01/1172.61 c #Conflicts: 631000 | #Constraints: 93290
1169.01/1172.61 c #Conflicts: 632000 | #Constraints: 94290
1169.01/1172.61 c #Conflicts: 633000 | #Constraints: 95291
1169.01/1172.61 c #Conflicts: 634000 | #Constraints: 96292
1169.01/1172.61 c #Conflicts: 635000 | #Constraints: 97294
1169.01/1172.61 c #Conflicts: 636000 | #Constraints: 98296
1169.01/1172.61 c #Conflicts: 637000 | #Constraints: 99298
1169.01/1172.61 c #Conflicts: 638000 | #Constraints: 100300
1169.01/1172.61 c #Conflicts: 639000 | #Constraints: 101301
1169.01/1172.61 c INPROCESSING
1169.01/1172.61 c GARBAGE COLLECT
1169.01/1172.61 c rational objective 9
1202.12/1205.81 c #Conflicts: 640000 | #Constraints: 86422
1202.12/1205.81 c #Conflicts: 641000 | #Constraints: 87423
1202.12/1205.81 c #Conflicts: 642000 | #Constraints: 88423
1202.12/1205.81 c #Conflicts: 643000 | #Constraints: 89424
1202.12/1205.81 c #Conflicts: 644000 | #Constraints: 90425
1202.12/1205.81 c #Conflicts: 645000 | #Constraints: 91425
1202.12/1205.81 c #Conflicts: 646000 | #Constraints: 92426
1202.12/1205.81 c #Conflicts: 647000 | #Constraints: 93427
1202.12/1205.81 c #Conflicts: 648000 | #Constraints: 94427
1202.12/1205.81 c #Conflicts: 649000 | #Constraints: 95427
1202.12/1205.81 c #Conflicts: 650000 | #Constraints: 96428
1202.12/1205.81 c #Conflicts: 651000 | #Constraints: 97428
1202.12/1205.81 c #Conflicts: 652000 | #Constraints: 98428
1202.12/1205.81 c #Conflicts: 653000 | #Constraints: 99429
1202.12/1205.81 c #Conflicts: 654000 | #Constraints: 100429
1202.12/1205.81 c #Conflicts: 655000 | #Constraints: 101429
1202.12/1205.81 c INPROCESSING
1202.12/1205.81 c GARBAGE COLLECT
1202.12/1205.81 c rational objective 9
1251.57/1255.49 c #Conflicts: 656000 | #Constraints: 86422
1251.57/1255.49 c #Conflicts: 657000 | #Constraints: 87423
1251.57/1255.49 c #Conflicts: 658000 | #Constraints: 88423
1251.57/1255.49 c #Conflicts: 659000 | #Constraints: 89423
1251.57/1255.49 c #Conflicts: 660000 | #Constraints: 90423
1251.57/1255.49 c #Conflicts: 661000 | #Constraints: 91423
1251.57/1255.49 c #Conflicts: 662000 | #Constraints: 92423
1251.57/1255.49 c #Conflicts: 663000 | #Constraints: 93424
1251.57/1255.49 c #Conflicts: 664000 | #Constraints: 94425
1251.57/1255.49 c #Conflicts: 665000 | #Constraints: 95427
1251.57/1255.49 c #Conflicts: 666000 | #Constraints: 96429
1251.57/1255.49 c #Conflicts: 667000 | #Constraints: 97432
1251.57/1255.49 c #Conflicts: 668000 | #Constraints: 98433
1251.57/1255.49 c #Conflicts: 669000 | #Constraints: 99433
1251.57/1255.49 c #Conflicts: 670000 | #Constraints: 100434
1251.57/1255.49 c #Conflicts: 671000 | #Constraints: 101434
1251.57/1255.49 c INPROCESSING
1251.57/1255.49 c GARBAGE COLLECT
1251.57/1255.49 c rational objective 9
1325.34/1329.43 c #Conflicts: 672000 | #Constraints: 86198
1325.34/1329.43 c #Conflicts: 673000 | #Constraints: 87199
1325.34/1329.43 c #Conflicts: 674000 | #Constraints: 88199
1325.34/1329.43 c #Conflicts: 675000 | #Constraints: 89199
1325.34/1329.43 c #Conflicts: 676000 | #Constraints: 90199
1325.34/1329.43 c #Conflicts: 677000 | #Constraints: 91199
1325.34/1329.43 c #Conflicts: 678000 | #Constraints: 92199
1325.34/1329.43 c #Conflicts: 679000 | #Constraints: 93200
1325.34/1329.43 c #Conflicts: 680000 | #Constraints: 94201
1325.34/1329.43 c #Conflicts: 681000 | #Constraints: 95202
1325.34/1329.43 c #Conflicts: 682000 | #Constraints: 96203
1325.34/1329.43 c #Conflicts: 683000 | #Constraints: 97204
1325.34/1329.43 c #Conflicts: 684000 | #Constraints: 98205
1325.34/1329.43 c #Conflicts: 685000 | #Constraints: 99206
1325.34/1329.43 c #Conflicts: 686000 | #Constraints: 100207
1325.34/1329.43 c #Conflicts: 687000 | #Constraints: 101207
1325.34/1329.43 c #Conflicts: 688000 | #Constraints: 102207
1325.34/1329.43 c INPROCESSING
1325.34/1329.43 c GARBAGE COLLECT
1325.34/1329.43 c rational objective 9
1345.98/1350.14 c #Conflicts: 689000 | #Constraints: 86780
1345.98/1350.14 c #Conflicts: 690000 | #Constraints: 87780
1345.98/1350.14 c #Conflicts: 691000 | #Constraints: 88780
1345.98/1350.14 c #Conflicts: 692000 | #Constraints: 89780
1345.98/1350.14 c #Conflicts: 693000 | #Constraints: 90780
1345.98/1350.14 c #Conflicts: 694000 | #Constraints: 91780
1345.98/1350.14 c #Conflicts: 695000 | #Constraints: 92781
1345.98/1350.14 c #Conflicts: 696000 | #Constraints: 93781
1345.98/1350.14 c #Conflicts: 697000 | #Constraints: 94781
1345.98/1350.14 c #Conflicts: 698000 | #Constraints: 95781
1345.98/1350.14 c #Conflicts: 699000 | #Constraints: 96781
1345.98/1350.14 c #Conflicts: 700000 | #Constraints: 97781
1345.98/1350.14 c #Conflicts: 701000 | #Constraints: 98782
1345.98/1350.14 c #Conflicts: 702000 | #Constraints: 99784
1345.98/1350.14 c #Conflicts: 703000 | #Constraints: 100787
1345.98/1350.14 c #Conflicts: 704000 | #Constraints: 101787
1345.98/1350.14 c #Conflicts: 705000 | #Constraints: 102789
1345.98/1350.14 c INPROCESSING
1345.98/1350.14 c GARBAGE COLLECT
1345.98/1350.14 c rational objective 9
1371.70/1375.97 c #Conflicts: 706000 | #Constraints: 87197
1371.70/1375.97 c #Conflicts: 707000 | #Constraints: 88197
1371.70/1375.97 c #Conflicts: 708000 | #Constraints: 89197
1371.70/1375.97 c #Conflicts: 709000 | #Constraints: 90197
1371.70/1375.97 c #Conflicts: 710000 | #Constraints: 91197
1371.70/1375.97 c #Conflicts: 711000 | #Constraints: 92197
1371.70/1375.97 c #Conflicts: 712000 | #Constraints: 93197
1371.70/1375.97 c #Conflicts: 713000 | #Constraints: 94197
1371.70/1375.97 c #Conflicts: 714000 | #Constraints: 95197
1371.70/1375.97 c #Conflicts: 715000 | #Constraints: 96197
1371.70/1375.97 c #Conflicts: 716000 | #Constraints: 97197
1371.70/1375.97 c #Conflicts: 717000 | #Constraints: 98197
1371.70/1375.97 c #Conflicts: 718000 | #Constraints: 99198
1371.70/1375.97 c #Conflicts: 719000 | #Constraints: 100199
1371.70/1375.97 c #Conflicts: 720000 | #Constraints: 101201
1371.70/1375.97 c #Conflicts: 721000 | #Constraints: 102205
1371.70/1375.97 c #Conflicts: 722000 | #Constraints: 103207
1371.70/1375.97 c INPROCESSING
1371.70/1375.97 c GARBAGE COLLECT
1371.70/1375.97 c rational objective 9
1416.47/1420.88 c #Conflicts: 723000 | #Constraints: 87416
1416.47/1420.88 c #Conflicts: 724000 | #Constraints: 88416
1416.47/1420.88 c #Conflicts: 725000 | #Constraints: 89416
1416.47/1420.88 c #Conflicts: 726000 | #Constraints: 90416
1416.47/1420.88 c #Conflicts: 727000 | #Constraints: 91416
1416.47/1420.88 c #Conflicts: 728000 | #Constraints: 92416
1416.47/1420.88 c #Conflicts: 729000 | #Constraints: 93416
1416.47/1420.88 c #Conflicts: 730000 | #Constraints: 94417
1416.47/1420.88 c #Conflicts: 731000 | #Constraints: 95417
1416.47/1420.88 c #Conflicts: 732000 | #Constraints: 96417
1416.47/1420.88 c #Conflicts: 733000 | #Constraints: 97417
1416.47/1420.88 c #Conflicts: 734000 | #Constraints: 98418
1416.47/1420.88 c #Conflicts: 735000 | #Constraints: 99418
1416.47/1420.88 c #Conflicts: 736000 | #Constraints: 100418
1416.47/1420.88 c #Conflicts: 737000 | #Constraints: 101419
1416.47/1420.88 c #Conflicts: 738000 | #Constraints: 102419
1416.47/1420.88 c #Conflicts: 739000 | #Constraints: 103419
1416.47/1420.88 c INPROCESSING
1416.47/1420.88 c GARBAGE COLLECT
1416.47/1420.88 c rational objective 9
1455.14/1459.62 c #Conflicts: 740000 | #Constraints: 87470
1455.14/1459.62 c #Conflicts: 741000 | #Constraints: 88470
1455.14/1459.62 c #Conflicts: 742000 | #Constraints: 89472
1455.14/1459.62 c #Conflicts: 743000 | #Constraints: 90472
1455.14/1459.62 c #Conflicts: 744000 | #Constraints: 91472
1455.14/1459.62 c #Conflicts: 745000 | #Constraints: 92472
1455.14/1459.62 c #Conflicts: 746000 | #Constraints: 93472
1455.14/1459.62 c #Conflicts: 747000 | #Constraints: 94472
1455.14/1459.62 c #Conflicts: 748000 | #Constraints: 95472
1455.14/1459.62 c #Conflicts: 749000 | #Constraints: 96474
1455.14/1459.62 c #Conflicts: 750000 | #Constraints: 97477
1455.14/1459.62 c #Conflicts: 751000 | #Constraints: 98477
1455.14/1459.62 c #Conflicts: 752000 | #Constraints: 99479
1455.14/1459.62 c #Conflicts: 753000 | #Constraints: 100479
1455.14/1459.62 c #Conflicts: 754000 | #Constraints: 101480
1455.14/1459.62 c #Conflicts: 755000 | #Constraints: 102483
1455.14/1459.62 c #Conflicts: 756000 | #Constraints: 103484
1455.14/1459.62 c INPROCESSING
1455.14/1459.62 c GARBAGE COLLECT
1455.14/1459.62 c rational objective 9
1526.52/1531.25 c #Conflicts: 757000 | #Constraints: 87106
1526.52/1531.25 c #Conflicts: 758000 | #Constraints: 88106
1526.52/1531.25 c #Conflicts: 759000 | #Constraints: 89106
1526.52/1531.25 c #Conflicts: 760000 | #Constraints: 90106
1526.52/1531.25 c #Conflicts: 761000 | #Constraints: 91106
1526.52/1531.25 c #Conflicts: 762000 | #Constraints: 92106
1526.52/1531.25 c #Conflicts: 763000 | #Constraints: 93106
1526.52/1531.25 c #Conflicts: 764000 | #Constraints: 94106
1526.52/1531.25 c #Conflicts: 765000 | #Constraints: 95106
1526.52/1531.25 c #Conflicts: 766000 | #Constraints: 96106
1526.52/1531.25 c #Conflicts: 767000 | #Constraints: 97106
1526.52/1531.25 c #Conflicts: 768000 | #Constraints: 98106
1526.52/1531.25 c #Conflicts: 769000 | #Constraints: 99106
1526.52/1531.25 c #Conflicts: 770000 | #Constraints: 100106
1526.52/1531.25 c #Conflicts: 771000 | #Constraints: 101106
1526.52/1531.25 c #Conflicts: 772000 | #Constraints: 102106
1526.52/1531.25 c #Conflicts: 773000 | #Constraints: 103106
1526.52/1531.25 c #Conflicts: 774000 | #Constraints: 104106
1526.52/1531.25 c INPROCESSING
1526.52/1531.25 c GARBAGE COLLECT
1526.52/1531.25 c rational objective 9
1588.06/1592.95 c #Conflicts: 775000 | #Constraints: 87678
1588.06/1592.95 c #Conflicts: 776000 | #Constraints: 88678
1588.06/1592.95 c #Conflicts: 777000 | #Constraints: 89678
1588.06/1592.95 c #Conflicts: 778000 | #Constraints: 90678
1588.06/1592.95 c #Conflicts: 779000 | #Constraints: 91678
1588.06/1592.95 c #Conflicts: 780000 | #Constraints: 92678
1588.06/1592.95 c #Conflicts: 781000 | #Constraints: 93679
1588.06/1592.95 c #Conflicts: 782000 | #Constraints: 94679
1588.06/1592.95 c #Conflicts: 783000 | #Constraints: 95679
1588.06/1592.95 c #Conflicts: 784000 | #Constraints: 96679
1588.06/1592.95 c #Conflicts: 785000 | #Constraints: 97679
1588.06/1592.95 c #Conflicts: 786000 | #Constraints: 98679
1588.06/1592.95 c #Conflicts: 787000 | #Constraints: 99680
1588.06/1592.95 c #Conflicts: 788000 | #Constraints: 100682
1588.06/1592.95 c #Conflicts: 789000 | #Constraints: 101684
1588.06/1592.95 c #Conflicts: 790000 | #Constraints: 102685
1588.06/1592.95 c #Conflicts: 791000 | #Constraints: 103686
1588.06/1592.95 c #Conflicts: 792000 | #Constraints: 104686
1588.06/1592.95 c INPROCESSING
1588.06/1592.95 c GARBAGE COLLECT
1588.06/1592.95 c rational objective 9
1623.56/1628.55 c #Conflicts: 793000 | #Constraints: 88084
1623.56/1628.55 c #Conflicts: 794000 | #Constraints: 89084
1623.56/1628.55 c #Conflicts: 795000 | #Constraints: 90084
1623.56/1628.55 c #Conflicts: 796000 | #Constraints: 91084
1623.56/1628.55 c #Conflicts: 797000 | #Constraints: 92085
1623.56/1628.55 c #Conflicts: 798000 | #Constraints: 93085
1623.56/1628.55 c #Conflicts: 799000 | #Constraints: 94085
1623.56/1628.55 c #Conflicts: 800000 | #Constraints: 95085
1623.56/1628.55 c #Conflicts: 801000 | #Constraints: 96085
1623.56/1628.55 c #Conflicts: 802000 | #Constraints: 97085
1623.56/1628.55 c #Conflicts: 803000 | #Constraints: 98086
1623.56/1628.55 c #Conflicts: 804000 | #Constraints: 99086
1623.56/1628.55 c #Conflicts: 805000 | #Constraints: 100086
1623.56/1628.55 c #Conflicts: 806000 | #Constraints: 101086
1623.56/1628.55 c #Conflicts: 807000 | #Constraints: 102087
1623.56/1628.55 c #Conflicts: 808000 | #Constraints: 103088
1623.56/1628.55 c #Conflicts: 809000 | #Constraints: 104088
1623.56/1628.55 c #Conflicts: 810000 | #Constraints: 105088
1623.56/1628.55 c INPROCESSING
1623.56/1628.55 c GARBAGE COLLECT
1623.56/1628.55 c rational objective 9
1654.08/1659.17 c #Conflicts: 811000 | #Constraints: 88285
1654.08/1659.17 c #Conflicts: 812000 | #Constraints: 89285
1654.08/1659.17 c #Conflicts: 813000 | #Constraints: 90285
1654.08/1659.17 c #Conflicts: 814000 | #Constraints: 91285
1654.08/1659.17 c #Conflicts: 815000 | #Constraints: 92285
1654.08/1659.17 c #Conflicts: 816000 | #Constraints: 93285
1654.08/1659.17 c #Conflicts: 817000 | #Constraints: 94285
1654.08/1659.17 c #Conflicts: 818000 | #Constraints: 95285
1654.08/1659.17 c #Conflicts: 819000 | #Constraints: 96285
1654.08/1659.17 c #Conflicts: 820000 | #Constraints: 97286
1654.08/1659.17 c #Conflicts: 821000 | #Constraints: 98286
1654.08/1659.17 c #Conflicts: 822000 | #Constraints: 99287
1654.08/1659.17 c #Conflicts: 823000 | #Constraints: 100287
1654.08/1659.17 c #Conflicts: 824000 | #Constraints: 101287
1654.08/1659.17 c #Conflicts: 825000 | #Constraints: 102290
1654.08/1659.17 c #Conflicts: 826000 | #Constraints: 103291
1654.08/1659.17 c #Conflicts: 827000 | #Constraints: 104292
1654.08/1659.17 c #Conflicts: 828000 | #Constraints: 105293
1654.08/1659.17 c INPROCESSING
1654.08/1659.17 c GARBAGE COLLECT
1654.08/1659.17 c rational objective 9
1731.47/1736.78 c #Conflicts: 829000 | #Constraints: 88274
1731.47/1736.78 c #Conflicts: 830000 | #Constraints: 89274
1731.47/1736.78 c #Conflicts: 831000 | #Constraints: 90274
1731.47/1736.78 c #Conflicts: 832000 | #Constraints: 91274
1731.47/1736.78 c #Conflicts: 833000 | #Constraints: 92274
1731.47/1736.78 c #Conflicts: 834000 | #Constraints: 93274
1731.47/1736.78 c #Conflicts: 835000 | #Constraints: 94274
1731.47/1736.78 c #Conflicts: 836000 | #Constraints: 95274
1731.47/1736.78 c #Conflicts: 837000 | #Constraints: 96274
1731.47/1736.78 c #Conflicts: 838000 | #Constraints: 97276
1731.47/1736.78 c #Conflicts: 839000 | #Constraints: 98277
1731.47/1736.78 c #Conflicts: 840000 | #Constraints: 99280
1731.47/1736.78 c #Conflicts: 841000 | #Constraints: 100281
1731.47/1736.78 c #Conflicts: 842000 | #Constraints: 101281
1731.47/1736.78 c #Conflicts: 843000 | #Constraints: 102282
1731.47/1736.78 c #Conflicts: 844000 | #Constraints: 103282
1731.47/1736.78 c #Conflicts: 845000 | #Constraints: 104282
1731.47/1736.78 c #Conflicts: 846000 | #Constraints: 105282
1731.47/1736.78 c INPROCESSING
1731.47/1736.78 c GARBAGE COLLECT
1731.47/1736.78 c rational objective 9
1768.67/1774.06 c #Conflicts: 847000 | #Constraints: 88009
1768.67/1774.06 c #Conflicts: 848000 | #Constraints: 89009
1768.67/1774.06 c #Conflicts: 849000 | #Constraints: 90009
1768.67/1774.06 c #Conflicts: 850000 | #Constraints: 91009
1768.67/1774.06 c #Conflicts: 851000 | #Constraints: 92009
1768.67/1774.06 c #Conflicts: 852000 | #Constraints: 93010
1768.67/1774.06 c #Conflicts: 853000 | #Constraints: 94010
1768.67/1774.06 c #Conflicts: 854000 | #Constraints: 95010
1768.67/1774.06 c #Conflicts: 855000 | #Constraints: 96010
1768.67/1774.06 c #Conflicts: 856000 | #Constraints: 97013
1768.67/1774.06 c #Conflicts: 857000 | #Constraints: 98014
1768.67/1774.06 c #Conflicts: 858000 | #Constraints: 99014
1768.67/1774.06 c #Conflicts: 859000 | #Constraints: 100014
1768.67/1774.06 c #Conflicts: 860000 | #Constraints: 101014
1768.67/1774.06 c #Conflicts: 861000 | #Constraints: 102015
1768.67/1774.06 c #Conflicts: 862000 | #Constraints: 103015
1768.67/1774.06 c #Conflicts: 863000 | #Constraints: 104015
1768.67/1774.06 c #Conflicts: 864000 | #Constraints: 105016
1768.67/1774.06 c #Conflicts: 865000 | #Constraints: 106016
1768.67/1774.06 c INPROCESSING
1768.67/1774.06 c GARBAGE COLLECT
1768.67/1774.06 c rational objective 9
1807.76/1813.22 c #Conflicts: 866000 | #Constraints: 88477
1807.76/1813.22 c #Conflicts: 867000 | #Constraints: 89477
1807.76/1813.22 c #Conflicts: 868000 | #Constraints: 90477
1807.76/1813.22 c #Conflicts: 869000 | #Constraints: 91478
1807.76/1813.22 c #Conflicts: 870000 | #Constraints: 92478
1807.76/1813.22 c #Conflicts: 871000 | #Constraints: 93478
1807.76/1813.22 c #Conflicts: 872000 | #Constraints: 94478
1807.76/1813.22 c #Conflicts: 873000 | #Constraints: 95479
1807.76/1813.22 c #Conflicts: 874000 | #Constraints: 96480
1807.76/1813.22 c #Conflicts: 875000 | #Constraints: 97483
1807.76/1813.22 c #Conflicts: 876000 | #Constraints: 98483
1807.76/1813.22 c #Conflicts: 877000 | #Constraints: 99483
1807.76/1813.22 c #Conflicts: 878000 | #Constraints: 100486
1807.76/1813.22 c #Conflicts: 879000 | #Constraints: 101491
1807.76/1813.22 c #Conflicts: 880000 | #Constraints: 102494
1807.76/1813.22 c #Conflicts: 881000 | #Constraints: 103502
1807.76/1813.22 c #Conflicts: 882000 | #Constraints: 104504
1807.76/1813.22 c #Conflicts: 883000 | #Constraints: 105507
1807.76/1813.22 c #Conflicts: 884000 | #Constraints: 106508
1807.76/1813.22 c INPROCESSING
1807.76/1813.22 c GARBAGE COLLECT
1807.76/1813.22 c rational objective 9
1854.23/1859.81 c #Conflicts: 885000 | #Constraints: 88766
1854.23/1859.81 c #Conflicts: 886000 | #Constraints: 89766
1854.23/1859.81 c #Conflicts: 887000 | #Constraints: 90766
1854.23/1859.81 c #Conflicts: 888000 | #Constraints: 91766
1854.23/1859.81 c #Conflicts: 889000 | #Constraints: 92766
1854.23/1859.81 c #Conflicts: 890000 | #Constraints: 93767
1854.23/1859.81 c #Conflicts: 891000 | #Constraints: 94769
1854.23/1859.81 c #Conflicts: 892000 | #Constraints: 95769
1854.23/1859.81 c #Conflicts: 893000 | #Constraints: 96770
1854.23/1859.81 c #Conflicts: 894000 | #Constraints: 97770
1854.23/1859.81 c #Conflicts: 895000 | #Constraints: 98771
1854.23/1859.81 c #Conflicts: 896000 | #Constraints: 99772
1854.23/1859.81 c #Conflicts: 897000 | #Constraints: 100772
1854.23/1859.81 c #Conflicts: 898000 | #Constraints: 101772
1854.23/1859.81 c #Conflicts: 899000 | #Constraints: 102773
1854.23/1859.81 c #Conflicts: 900000 | #Constraints: 103773
1854.23/1859.81 c #Conflicts: 901000 | #Constraints: 104774
1854.23/1859.81 c #Conflicts: 902000 | #Constraints: 105774
1854.23/1859.81 c #Conflicts: 903000 | #Constraints: 106775
1854.23/1859.81 c INPROCESSING
1854.23/1859.81 c GARBAGE COLLECT
1854.23/1859.81 c rational objective 9
1890.73/1896.46 c #Conflicts: 904000 | #Constraints: 88884
1890.73/1896.46 c #Conflicts: 905000 | #Constraints: 89884
1890.73/1896.46 c #Conflicts: 906000 | #Constraints: 90884
1890.73/1896.46 c #Conflicts: 907000 | #Constraints: 91884
1890.73/1896.46 c #Conflicts: 908000 | #Constraints: 92884
1890.73/1896.46 c #Conflicts: 909000 | #Constraints: 93884
1890.73/1896.46 c #Conflicts: 910000 | #Constraints: 94884
1890.73/1896.46 c #Conflicts: 911000 | #Constraints: 95884
1890.73/1896.46 c #Conflicts: 912000 | #Constraints: 96884
1890.73/1896.46 c #Conflicts: 913000 | #Constraints: 97885
1890.73/1896.46 c #Conflicts: 914000 | #Constraints: 98885
1890.73/1896.46 c #Conflicts: 915000 | #Constraints: 99886
1890.73/1896.46 c #Conflicts: 916000 | #Constraints: 100887
1890.73/1896.46 c #Conflicts: 917000 | #Constraints: 101889
1890.73/1896.46 c #Conflicts: 918000 | #Constraints: 102891
1890.73/1896.46 c #Conflicts: 919000 | #Constraints: 103892
1890.73/1896.46 c #Conflicts: 920000 | #Constraints: 104893
1890.73/1896.46 c #Conflicts: 921000 | #Constraints: 105894
1890.73/1896.46 c #Conflicts: 922000 | #Constraints: 106894
1890.73/1896.46 c INPROCESSING
1890.73/1896.46 c GARBAGE COLLECT
1890.73/1896.46 c rational objective 9
1944.98/1950.83 c #Conflicts: 923000 | #Constraints: 88808
1944.98/1950.83 c #Conflicts: 924000 | #Constraints: 89808
1944.98/1950.83 c #Conflicts: 925000 | #Constraints: 90808
1944.98/1950.83 c #Conflicts: 926000 | #Constraints: 91808
1944.98/1950.83 c #Conflicts: 927000 | #Constraints: 92808
1944.98/1950.83 c #Conflicts: 928000 | #Constraints: 93808
1944.98/1950.83 c #Conflicts: 929000 | #Constraints: 94808
1944.98/1950.83 c #Conflicts: 930000 | #Constraints: 95808
1944.98/1950.83 c #Conflicts: 931000 | #Constraints: 96810
1944.98/1950.83 c #Conflicts: 932000 | #Constraints: 97811
1944.98/1950.83 c #Conflicts: 933000 | #Constraints: 98813
1944.98/1950.83 c #Conflicts: 934000 | #Constraints: 99814
1944.98/1950.83 c #Conflicts: 935000 | #Constraints: 100816
1944.98/1950.83 c #Conflicts: 936000 | #Constraints: 101816
1944.98/1950.83 c #Conflicts: 937000 | #Constraints: 102817
1944.98/1950.83 c #Conflicts: 938000 | #Constraints: 103818
1944.98/1950.83 c #Conflicts: 939000 | #Constraints: 104819
1944.98/1950.83 c #Conflicts: 940000 | #Constraints: 105820
1944.98/1950.83 c #Conflicts: 941000 | #Constraints: 106820
1944.98/1950.83 c INPROCESSING
1944.98/1950.83 c GARBAGE COLLECT
1944.98/1950.83 c rational objective 9
1999.43/2005.45 c #Conflicts: 942000 | #Constraints: 88587
1999.43/2005.45 c #Conflicts: 943000 | #Constraints: 89588
1999.43/2005.45 c #Conflicts: 944000 | #Constraints: 90589
1999.43/2005.45 c #Conflicts: 945000 | #Constraints: 91589
1999.43/2005.45 c #Conflicts: 946000 | #Constraints: 92589
1999.43/2005.45 c #Conflicts: 947000 | #Constraints: 93589
1999.43/2005.45 c #Conflicts: 948000 | #Constraints: 94590
1999.43/2005.45 c #Conflicts: 949000 | #Constraints: 95590
1999.43/2005.45 c #Conflicts: 950000 | #Constraints: 96592
1999.43/2005.45 c #Conflicts: 951000 | #Constraints: 97593
1999.43/2005.45 c #Conflicts: 952000 | #Constraints: 98594
1999.43/2005.45 c #Conflicts: 953000 | #Constraints: 99595
1999.43/2005.45 c #Conflicts: 954000 | #Constraints: 100596
1999.43/2005.45 c #Conflicts: 955000 | #Constraints: 101597
1999.43/2005.45 c #Conflicts: 956000 | #Constraints: 102597
1999.43/2005.45 c #Conflicts: 957000 | #Constraints: 103597
1999.43/2005.45 c #Conflicts: 958000 | #Constraints: 104598
1999.43/2005.45 c #Conflicts: 959000 | #Constraints: 105598
1999.43/2005.45 c #Conflicts: 960000 | #Constraints: 106598
1999.43/2005.45 c #Conflicts: 961000 | #Constraints: 107598
1999.43/2005.45 c INPROCESSING
1999.43/2005.45 c GARBAGE COLLECT
1999.43/2005.45 c rational objective 9
2052.99/2059.15 c #Conflicts: 962000 | #Constraints: 89212
2052.99/2059.15 c #Conflicts: 963000 | #Constraints: 90212
2052.99/2059.15 c #Conflicts: 964000 | #Constraints: 91212
2052.99/2059.15 c #Conflicts: 965000 | #Constraints: 92212
2052.99/2059.15 c #Conflicts: 966000 | #Constraints: 93212
2052.99/2059.15 c #Conflicts: 967000 | #Constraints: 94212
2052.99/2059.15 c #Conflicts: 968000 | #Constraints: 95214
2052.99/2059.15 c #Conflicts: 969000 | #Constraints: 96214
2052.99/2059.15 c #Conflicts: 970000 | #Constraints: 97215
2052.99/2059.15 c #Conflicts: 971000 | #Constraints: 98216
2052.99/2059.15 c #Conflicts: 972000 | #Constraints: 99216
2052.99/2059.15 c #Conflicts: 973000 | #Constraints: 100217
2052.99/2059.15 c #Conflicts: 974000 | #Constraints: 101217
2052.99/2059.15 c #Conflicts: 975000 | #Constraints: 102218
2052.99/2059.15 c #Conflicts: 976000 | #Constraints: 103219
2052.99/2059.15 c #Conflicts: 977000 | #Constraints: 104221
2052.99/2059.15 c #Conflicts: 978000 | #Constraints: 105223
2052.99/2059.15 c #Conflicts: 979000 | #Constraints: 106223
2052.99/2059.15 c #Conflicts: 980000 | #Constraints: 107223
2052.99/2059.15 c #Conflicts: 981000 | #Constraints: 108223
2052.99/2059.15 c INPROCESSING
2052.99/2059.15 c GARBAGE COLLECT
2052.99/2059.15 c rational objective 9
2106.33/2112.63 c #Conflicts: 982000 | #Constraints: 89609
2106.33/2112.63 c #Conflicts: 983000 | #Constraints: 90609
2106.33/2112.63 c #Conflicts: 984000 | #Constraints: 91609
2106.33/2112.63 c #Conflicts: 985000 | #Constraints: 92609
2106.33/2112.63 c #Conflicts: 986000 | #Constraints: 93609
2106.33/2112.63 c #Conflicts: 987000 | #Constraints: 94609
2106.33/2112.63 c #Conflicts: 988000 | #Constraints: 95609
2106.33/2112.63 c #Conflicts: 989000 | #Constraints: 96609
2106.33/2112.63 c #Conflicts: 990000 | #Constraints: 97609
2106.33/2112.63 c #Conflicts: 991000 | #Constraints: 98609
2106.33/2112.63 c #Conflicts: 992000 | #Constraints: 99609
2106.33/2112.63 c #Conflicts: 993000 | #Constraints: 100609
2106.33/2112.63 c #Conflicts: 994000 | #Constraints: 101610
2106.33/2112.63 c #Conflicts: 995000 | #Constraints: 102610
2106.33/2112.63 c #Conflicts: 996000 | #Constraints: 103610
2106.33/2112.63 c #Conflicts: 997000 | #Constraints: 104611
2106.33/2112.63 c #Conflicts: 998000 | #Constraints: 105611
2106.33/2112.63 c #Conflicts: 999000 | #Constraints: 106612
2106.33/2112.63 c #Conflicts: 1000000 | #Constraints: 107613
2106.33/2112.63 c #Conflicts: 1001000 | #Constraints: 108614
2106.33/2112.63 c INPROCESSING
2106.33/2112.63 c GARBAGE COLLECT
2106.33/2112.63 c rational objective 9
2202.47/2209.02 c #Conflicts: 1002000 | #Constraints: 89784
2202.47/2209.02 c #Conflicts: 1003000 | #Constraints: 90785
2202.47/2209.02 c #Conflicts: 1004000 | #Constraints: 91785
2202.47/2209.02 c #Conflicts: 1005000 | #Constraints: 92785
2202.47/2209.02 c #Conflicts: 1006000 | #Constraints: 93785
2202.47/2209.02 c #Conflicts: 1007000 | #Constraints: 94785
2202.47/2209.02 c #Conflicts: 1008000 | #Constraints: 95785
2202.47/2209.02 c #Conflicts: 1009000 | #Constraints: 96785
2202.47/2209.02 c #Conflicts: 1010000 | #Constraints: 97786
2202.47/2209.02 c #Conflicts: 1011000 | #Constraints: 98787
2202.47/2209.02 c #Conflicts: 1012000 | #Constraints: 99788
2202.47/2209.02 c #Conflicts: 1013000 | #Constraints: 100788
2202.47/2209.02 c #Conflicts: 1014000 | #Constraints: 101789
2202.47/2209.02 c #Conflicts: 1015000 | #Constraints: 102789
2202.47/2209.02 c #Conflicts: 1016000 | #Constraints: 103789
2202.47/2209.02 c #Conflicts: 1017000 | #Constraints: 104789
2202.47/2209.02 c #Conflicts: 1018000 | #Constraints: 105789
2202.47/2209.02 c #Conflicts: 1019000 | #Constraints: 106789
2202.47/2209.02 c #Conflicts: 1020000 | #Constraints: 107790
2202.47/2209.02 c #Conflicts: 1021000 | #Constraints: 108790
2202.47/2209.02 c INPROCESSING
2202.47/2209.02 c GARBAGE COLLECT
2202.47/2209.02 c rational objective 9
2252.14/2258.85 c #Conflicts: 1022000 | #Constraints: 89781
2252.14/2258.85 c #Conflicts: 1023000 | #Constraints: 90782
2252.14/2258.85 c #Conflicts: 1024000 | #Constraints: 91782
2252.14/2258.85 c #Conflicts: 1025000 | #Constraints: 92782
2252.14/2258.85 c #Conflicts: 1026000 | #Constraints: 93782
2252.14/2258.85 c #Conflicts: 1027000 | #Constraints: 94782
2252.14/2258.85 c #Conflicts: 1028000 | #Constraints: 95782
2252.14/2258.85 c #Conflicts: 1029000 | #Constraints: 96782
2252.14/2258.85 c #Conflicts: 1030000 | #Constraints: 97782
2252.14/2258.85 c #Conflicts: 1031000 | #Constraints: 98782
2252.14/2258.85 c #Conflicts: 1032000 | #Constraints: 99783
2252.14/2258.85 c #Conflicts: 1033000 | #Constraints: 100784
2252.14/2258.85 c #Conflicts: 1034000 | #Constraints: 101784
2252.14/2258.85 c #Conflicts: 1035000 | #Constraints: 102785
2252.14/2258.85 c #Conflicts: 1036000 | #Constraints: 103785
2252.14/2258.85 c #Conflicts: 1037000 | #Constraints: 104786
2252.14/2258.85 c #Conflicts: 1038000 | #Constraints: 105786
2252.14/2258.85 c #Conflicts: 1039000 | #Constraints: 106786
2252.14/2258.85 c #Conflicts: 1040000 | #Constraints: 107786
2252.14/2258.85 c #Conflicts: 1041000 | #Constraints: 108787
2252.14/2258.85 c INPROCESSING
2252.14/2258.85 c GARBAGE COLLECT
2252.14/2258.85 c rational objective 9
2303.80/2310.61 c #Conflicts: 1042000 | #Constraints: 89582
2303.80/2310.61 c #Conflicts: 1043000 | #Constraints: 90583
2303.80/2310.61 c #Conflicts: 1044000 | #Constraints: 91583
2303.80/2310.61 c #Conflicts: 1045000 | #Constraints: 92583
2303.80/2310.61 c #Conflicts: 1046000 | #Constraints: 93583
2303.80/2310.61 c #Conflicts: 1047000 | #Constraints: 94583
2303.80/2310.61 c #Conflicts: 1048000 | #Constraints: 95583
2303.80/2310.61 c #Conflicts: 1049000 | #Constraints: 96583
2303.80/2310.61 c #Conflicts: 1050000 | #Constraints: 97585
2303.80/2310.61 c #Conflicts: 1051000 | #Constraints: 98585
2303.80/2310.61 c #Conflicts: 1052000 | #Constraints: 99586
2303.80/2310.61 c #Conflicts: 1053000 | #Constraints: 100586
2303.80/2310.61 c #Conflicts: 1054000 | #Constraints: 101586
2303.80/2310.61 c #Conflicts: 1055000 | #Constraints: 102586
2303.80/2310.61 c #Conflicts: 1056000 | #Constraints: 103586
2303.80/2310.61 c #Conflicts: 1057000 | #Constraints: 104586
2303.80/2310.61 c #Conflicts: 1058000 | #Constraints: 105586
2303.80/2310.61 c #Conflicts: 1059000 | #Constraints: 106586
2303.80/2310.61 c #Conflicts: 1060000 | #Constraints: 107586
2303.80/2310.61 c #Conflicts: 1061000 | #Constraints: 108587
2303.80/2310.61 c #Conflicts: 1062000 | #Constraints: 109587
2303.80/2310.61 c INPROCESSING
2303.80/2310.61 c GARBAGE COLLECT
2303.80/2310.61 c rational objective 9
2338.11/2345.06 c #Conflicts: 1063000 | #Constraints: 90209
2338.11/2345.06 c #Conflicts: 1064000 | #Constraints: 91209
2338.11/2345.06 c #Conflicts: 1065000 | #Constraints: 92209
2338.11/2345.06 c #Conflicts: 1066000 | #Constraints: 93209
2338.11/2345.06 c #Conflicts: 1067000 | #Constraints: 94209
2338.11/2345.06 c #Conflicts: 1068000 | #Constraints: 95209
2338.11/2345.06 c #Conflicts: 1069000 | #Constraints: 96209
2338.11/2345.06 c #Conflicts: 1070000 | #Constraints: 97210
2338.11/2345.06 c #Conflicts: 1071000 | #Constraints: 98210
2338.11/2345.06 c #Conflicts: 1072000 | #Constraints: 99210
2338.11/2345.06 c #Conflicts: 1073000 | #Constraints: 100210
2338.11/2345.06 c #Conflicts: 1074000 | #Constraints: 101210
2338.11/2345.06 c #Conflicts: 1075000 | #Constraints: 102210
2338.11/2345.06 c #Conflicts: 1076000 | #Constraints: 103211
2338.11/2345.06 c #Conflicts: 1077000 | #Constraints: 104212
2338.11/2345.06 c #Conflicts: 1078000 | #Constraints: 105213
2338.11/2345.06 c #Conflicts: 1079000 | #Constraints: 106214
2338.11/2345.06 c #Conflicts: 1080000 | #Constraints: 107215
2338.11/2345.06 c #Conflicts: 1081000 | #Constraints: 108216
2338.11/2345.06 c #Conflicts: 1082000 | #Constraints: 109216
2338.11/2345.06 c #Conflicts: 1083000 | #Constraints: 110217
2338.11/2345.06 c INPROCESSING
2338.11/2345.06 c GARBAGE COLLECT
2338.11/2345.06 c rational objective 9
2371.41/2378.41 c #Conflicts: 1084000 | #Constraints: 90528
2371.41/2378.41 c #Conflicts: 1085000 | #Constraints: 91529
2371.41/2378.41 c #Conflicts: 1086000 | #Constraints: 92529
2371.41/2378.41 c #Conflicts: 1087000 | #Constraints: 93529
2371.41/2378.41 c #Conflicts: 1088000 | #Constraints: 94529
2371.41/2378.41 c #Conflicts: 1089000 | #Constraints: 95532
2371.41/2378.41 c #Conflicts: 1090000 | #Constraints: 96534
2371.41/2378.41 c #Conflicts: 1091000 | #Constraints: 97535
2371.41/2378.41 c #Conflicts: 1092000 | #Constraints: 98536
2371.41/2378.41 c #Conflicts: 1093000 | #Constraints: 99536
2371.41/2378.41 c #Conflicts: 1094000 | #Constraints: 100537
2371.41/2378.41 c #Conflicts: 1095000 | #Constraints: 101537
2371.41/2378.41 c #Conflicts: 1096000 | #Constraints: 102539
2371.41/2378.41 c #Conflicts: 1097000 | #Constraints: 103539
2371.41/2378.41 c #Conflicts: 1098000 | #Constraints: 104540
2371.41/2378.41 c #Conflicts: 1099000 | #Constraints: 105540
2371.41/2378.41 c #Conflicts: 1100000 | #Constraints: 106541
2371.41/2378.41 c #Conflicts: 1101000 | #Constraints: 107541
2371.41/2378.41 c #Conflicts: 1102000 | #Constraints: 108542
2371.41/2378.41 c #Conflicts: 1103000 | #Constraints: 109543
2371.41/2378.41 c #Conflicts: 1104000 | #Constraints: 110543
2371.41/2378.41 c INPROCESSING
2371.41/2378.41 c GARBAGE COLLECT
2371.41/2378.41 c rational objective 9
2411.80/2418.99 c #Conflicts: 1105000 | #Constraints: 90790
2411.80/2418.99 c #Conflicts: 1106000 | #Constraints: 91791
2411.80/2418.99 c #Conflicts: 1107000 | #Constraints: 92791
2411.80/2418.99 c #Conflicts: 1108000 | #Constraints: 93792
2411.80/2418.99 c #Conflicts: 1109000 | #Constraints: 94795
2411.80/2418.99 c #Conflicts: 1110000 | #Constraints: 95796
2411.80/2418.99 c #Conflicts: 1111000 | #Constraints: 96797
2411.80/2418.99 c #Conflicts: 1112000 | #Constraints: 97797
2411.80/2418.99 c #Conflicts: 1113000 | #Constraints: 98798
2411.80/2418.99 c #Conflicts: 1114000 | #Constraints: 99799
2411.80/2418.99 c #Conflicts: 1115000 | #Constraints: 100799
2411.80/2418.99 c #Conflicts: 1116000 | #Constraints: 101799
2411.80/2418.99 c #Conflicts: 1117000 | #Constraints: 102799
2411.80/2418.99 c #Conflicts: 1118000 | #Constraints: 103799
2411.80/2418.99 c #Conflicts: 1119000 | #Constraints: 104799
2411.80/2418.99 c #Conflicts: 1120000 | #Constraints: 105799
2411.80/2418.99 c #Conflicts: 1121000 | #Constraints: 106800
2411.80/2418.99 c #Conflicts: 1122000 | #Constraints: 107800
2411.80/2418.99 c #Conflicts: 1123000 | #Constraints: 108800
2411.80/2418.99 c #Conflicts: 1124000 | #Constraints: 109800
2411.80/2418.99 c #Conflicts: 1125000 | #Constraints: 110800
2411.80/2418.99 c INPROCESSING
2411.80/2418.99 c GARBAGE COLLECT
2411.80/2418.99 c rational objective 9
2502.36/2509.77 c #Conflicts: 1126000 | #Constraints: 90765
2502.36/2509.77 c #Conflicts: 1127000 | #Constraints: 91766
2502.36/2509.77 c #Conflicts: 1128000 | #Constraints: 92766
2502.36/2509.77 c #Conflicts: 1129000 | #Constraints: 93766
2502.36/2509.77 c #Conflicts: 1130000 | #Constraints: 94766
2502.36/2509.77 c #Conflicts: 1131000 | #Constraints: 95766
2502.36/2509.77 c #Conflicts: 1132000 | #Constraints: 96766
2502.36/2509.77 c #Conflicts: 1133000 | #Constraints: 97766
2502.36/2509.77 c #Conflicts: 1134000 | #Constraints: 98766
2502.36/2509.77 c #Conflicts: 1135000 | #Constraints: 99766
2502.36/2509.77 c #Conflicts: 1136000 | #Constraints: 100767
2502.36/2509.77 c #Conflicts: 1137000 | #Constraints: 101767
2502.36/2509.77 c #Conflicts: 1138000 | #Constraints: 102767
2502.36/2509.77 c #Conflicts: 1139000 | #Constraints: 103767
2502.36/2509.77 c #Conflicts: 1140000 | #Constraints: 104768
2502.36/2509.77 c #Conflicts: 1141000 | #Constraints: 105768
2502.36/2509.77 c #Conflicts: 1142000 | #Constraints: 106768
2502.36/2509.77 c #Conflicts: 1143000 | #Constraints: 107768
2502.36/2509.77 c #Conflicts: 1144000 | #Constraints: 108769
2502.36/2509.77 c #Conflicts: 1145000 | #Constraints: 109769
2502.36/2509.77 c #Conflicts: 1146000 | #Constraints: 110769
2502.36/2509.77 c INPROCESSING
2502.36/2509.77 c GARBAGE COLLECT
2502.36/2509.77 c rational objective 9
2583.74/2591.32 c #Conflicts: 1147000 | #Constraints: 90535
2583.74/2591.32 c #Conflicts: 1148000 | #Constraints: 91535
2583.74/2591.32 c #Conflicts: 1149000 | #Constraints: 92536
2583.74/2591.32 c #Conflicts: 1150000 | #Constraints: 93536
2583.74/2591.32 c #Conflicts: 1151000 | #Constraints: 94536
2583.74/2591.32 c #Conflicts: 1152000 | #Constraints: 95536
2583.74/2591.32 c #Conflicts: 1153000 | #Constraints: 96537
2583.74/2591.32 c #Conflicts: 1154000 | #Constraints: 97537
2583.74/2591.32 c #Conflicts: 1155000 | #Constraints: 98538
2583.74/2591.32 c #Conflicts: 1156000 | #Constraints: 99538
2583.74/2591.32 c #Conflicts: 1157000 | #Constraints: 100539
2583.74/2591.32 c #Conflicts: 1158000 | #Constraints: 101540
2583.74/2591.32 c #Conflicts: 1159000 | #Constraints: 102541
2583.74/2591.32 c #Conflicts: 1160000 | #Constraints: 103542
2583.74/2591.32 c #Conflicts: 1161000 | #Constraints: 104542
2583.74/2591.32 c #Conflicts: 1162000 | #Constraints: 105542
2583.74/2591.32 c #Conflicts: 1163000 | #Constraints: 106543
2583.74/2591.32 c #Conflicts: 1164000 | #Constraints: 107544
2583.74/2591.32 c #Conflicts: 1165000 | #Constraints: 108544
2583.74/2591.32 c #Conflicts: 1166000 | #Constraints: 109545
2583.74/2591.32 c #Conflicts: 1167000 | #Constraints: 110546
2583.74/2591.32 c #Conflicts: 1168000 | #Constraints: 111547
2583.74/2591.32 c INPROCESSING
2583.74/2591.32 c GARBAGE COLLECT
2583.74/2591.32 c rational objective 9
2651.36/2659.14 c #Conflicts: 1169000 | #Constraints: 91134
2651.36/2659.14 c #Conflicts: 1170000 | #Constraints: 92134
2651.36/2659.14 c #Conflicts: 1171000 | #Constraints: 93134
2651.36/2659.14 c #Conflicts: 1172000 | #Constraints: 94134
2651.36/2659.14 c #Conflicts: 1173000 | #Constraints: 95134
2651.36/2659.14 c #Conflicts: 1174000 | #Constraints: 96134
2651.36/2659.14 c #Conflicts: 1175000 | #Constraints: 97135
2651.36/2659.14 c #Conflicts: 1176000 | #Constraints: 98135
2651.36/2659.14 c #Conflicts: 1177000 | #Constraints: 99135
2651.36/2659.14 c #Conflicts: 1178000 | #Constraints: 100139
2651.36/2659.14 c #Conflicts: 1179000 | #Constraints: 101141
2651.36/2659.14 c #Conflicts: 1180000 | #Constraints: 102143
2651.36/2659.14 c #Conflicts: 1181000 | #Constraints: 103146
2651.36/2659.14 c #Conflicts: 1182000 | #Constraints: 104147
2651.36/2659.14 c #Conflicts: 1183000 | #Constraints: 105148
2651.36/2659.14 c #Conflicts: 1184000 | #Constraints: 106149
2651.36/2659.14 c #Conflicts: 1185000 | #Constraints: 107150
2651.36/2659.14 c #Conflicts: 1186000 | #Constraints: 108150
2651.36/2659.14 c #Conflicts: 1187000 | #Constraints: 109151
2651.36/2659.14 c #Conflicts: 1188000 | #Constraints: 110151
2651.36/2659.14 c #Conflicts: 1189000 | #Constraints: 111152
2651.36/2659.14 c #Conflicts: 1190000 | #Constraints: 112153
2651.36/2659.14 c INPROCESSING
2651.36/2659.14 c GARBAGE COLLECT
2651.36/2659.14 c rational objective 9
2693.25/2701.19 c #Conflicts: 1191000 | #Constraints: 91484
2693.25/2701.19 c #Conflicts: 1192000 | #Constraints: 92484
2693.25/2701.19 c #Conflicts: 1193000 | #Constraints: 93484
2693.25/2701.19 c #Conflicts: 1194000 | #Constraints: 94484
2693.25/2701.19 c #Conflicts: 1195000 | #Constraints: 95484
2693.25/2701.19 c #Conflicts: 1196000 | #Constraints: 96484
2693.25/2701.19 c #Conflicts: 1197000 | #Constraints: 97484
2693.25/2701.19 c #Conflicts: 1198000 | #Constraints: 98485
2693.25/2701.19 c #Conflicts: 1199000 | #Constraints: 99485
2693.25/2701.19 c #Conflicts: 1200000 | #Constraints: 100486
2693.25/2701.19 c #Conflicts: 1201000 | #Constraints: 101487
2693.25/2701.19 c #Conflicts: 1202000 | #Constraints: 102487
2693.25/2701.19 c #Conflicts: 1203000 | #Constraints: 103488
2693.25/2701.19 c #Conflicts: 1204000 | #Constraints: 104489
2693.25/2701.19 c #Conflicts: 1205000 | #Constraints: 105490
2693.25/2701.19 c #Conflicts: 1206000 | #Constraints: 106491
2693.25/2701.19 c #Conflicts: 1207000 | #Constraints: 107491
2693.25/2701.19 c #Conflicts: 1208000 | #Constraints: 108491
2693.25/2701.19 c #Conflicts: 1209000 | #Constraints: 109492
2693.25/2701.19 c #Conflicts: 1210000 | #Constraints: 110493
2693.25/2701.19 c #Conflicts: 1211000 | #Constraints: 111495
2693.25/2701.19 c #Conflicts: 1212000 | #Constraints: 112497
2693.25/2701.19 c INPROCESSING
2693.25/2701.19 c GARBAGE COLLECT
2693.25/2701.19 c rational objective 9
2742.31/2750.36 c #Conflicts: 1213000 | #Constraints: 91617
2742.31/2750.36 c #Conflicts: 1214000 | #Constraints: 92617
2742.31/2750.36 c #Conflicts: 1215000 | #Constraints: 93617
2742.31/2750.36 c #Conflicts: 1216000 | #Constraints: 94617
2742.31/2750.36 c #Conflicts: 1217000 | #Constraints: 95617
2742.31/2750.36 c #Conflicts: 1218000 | #Constraints: 96617
2742.31/2750.36 c #Conflicts: 1219000 | #Constraints: 97617
2742.31/2750.36 c #Conflicts: 1220000 | #Constraints: 98617
2742.31/2750.36 c #Conflicts: 1221000 | #Constraints: 99617
2742.31/2750.36 c #Conflicts: 1222000 | #Constraints: 100618
2742.31/2750.36 c #Conflicts: 1223000 | #Constraints: 101620
2742.31/2750.36 c #Conflicts: 1224000 | #Constraints: 102621
2742.31/2750.36 c #Conflicts: 1225000 | #Constraints: 103622
2742.31/2750.36 c #Conflicts: 1226000 | #Constraints: 104623
2742.31/2750.36 c #Conflicts: 1227000 | #Constraints: 105624
2742.31/2750.36 c #Conflicts: 1228000 | #Constraints: 106624
2742.31/2750.36 c #Conflicts: 1229000 | #Constraints: 107625
2742.31/2750.36 c #Conflicts: 1230000 | #Constraints: 108626
2742.31/2750.36 c #Conflicts: 1231000 | #Constraints: 109627
2742.31/2750.36 c #Conflicts: 1232000 | #Constraints: 110627
2742.31/2750.36 c #Conflicts: 1233000 | #Constraints: 111628
2742.31/2750.36 c #Conflicts: 1234000 | #Constraints: 112628
2742.31/2750.36 c INPROCESSING
2742.31/2750.36 c GARBAGE COLLECT
2742.31/2750.36 c rational objective 9
2796.25/2804.49 c #Conflicts: 1235000 | #Constraints: 91641
2796.25/2804.49 c #Conflicts: 1236000 | #Constraints: 92641
2796.25/2804.49 c #Conflicts: 1237000 | #Constraints: 93641
2796.25/2804.49 c #Conflicts: 1238000 | #Constraints: 94641
2796.25/2804.49 c #Conflicts: 1239000 | #Constraints: 95641
2796.25/2804.49 c #Conflicts: 1240000 | #Constraints: 96641
2796.25/2804.49 c #Conflicts: 1241000 | #Constraints: 97643
2796.25/2804.49 c #Conflicts: 1242000 | #Constraints: 98646
2796.25/2804.49 c #Conflicts: 1243000 | #Constraints: 99648
2796.25/2804.49 c #Conflicts: 1244000 | #Constraints: 100649
2796.25/2804.49 c #Conflicts: 1245000 | #Constraints: 101652
2796.25/2804.49 c #Conflicts: 1246000 | #Constraints: 102654
2796.25/2804.49 c #Conflicts: 1247000 | #Constraints: 103654
2796.25/2804.49 c #Conflicts: 1248000 | #Constraints: 104655
2796.25/2804.49 c #Conflicts: 1249000 | #Constraints: 105656
2796.25/2804.49 c #Conflicts: 1250000 | #Constraints: 106659
2796.25/2804.49 c #Conflicts: 1251000 | #Constraints: 107659
2796.25/2804.49 c #Conflicts: 1252000 | #Constraints: 108659
2796.25/2804.49 c #Conflicts: 1253000 | #Constraints: 109661
2796.25/2804.49 c #Conflicts: 1254000 | #Constraints: 110661
2796.25/2804.49 c #Conflicts: 1255000 | #Constraints: 111661
2796.25/2804.49 c #Conflicts: 1256000 | #Constraints: 112661
2796.25/2804.49 c INPROCESSING
2796.25/2804.49 c GARBAGE COLLECT
2796.25/2804.49 c rational objective 9
2848.00/2856.37 c #Conflicts: 1257000 | #Constraints: 91363
2848.00/2856.37 c #Conflicts: 1258000 | #Constraints: 92364
2848.00/2856.37 c #Conflicts: 1259000 | #Constraints: 93364
2848.00/2856.37 c #Conflicts: 1260000 | #Constraints: 94364
2848.00/2856.37 c #Conflicts: 1261000 | #Constraints: 95364
2848.00/2856.37 c #Conflicts: 1262000 | #Constraints: 96364
2848.00/2856.37 c #Conflicts: 1263000 | #Constraints: 97365
2848.00/2856.37 c #Conflicts: 1264000 | #Constraints: 98365
2848.00/2856.37 c #Conflicts: 1265000 | #Constraints: 99366
2848.00/2856.37 c #Conflicts: 1266000 | #Constraints: 100366
2848.00/2856.37 c #Conflicts: 1267000 | #Constraints: 101366
2848.00/2856.37 c #Conflicts: 1268000 | #Constraints: 102367
2848.00/2856.37 c #Conflicts: 1269000 | #Constraints: 103367
2848.00/2856.37 c #Conflicts: 1270000 | #Constraints: 104368
2848.00/2856.37 c #Conflicts: 1271000 | #Constraints: 105369
2848.00/2856.37 c #Conflicts: 1272000 | #Constraints: 106369
2848.00/2856.37 c #Conflicts: 1273000 | #Constraints: 107370
2848.00/2856.37 c #Conflicts: 1274000 | #Constraints: 108371
2848.00/2856.37 c #Conflicts: 1275000 | #Constraints: 109374
2848.00/2856.37 c #Conflicts: 1276000 | #Constraints: 110374
2848.00/2856.37 c #Conflicts: 1277000 | #Constraints: 111375
2848.00/2856.37 c #Conflicts: 1278000 | #Constraints: 112376
2848.00/2856.37 c #Conflicts: 1279000 | #Constraints: 113377
2848.00/2856.37 c INPROCESSING
2848.00/2856.37 c GARBAGE COLLECT
2848.00/2856.37 c rational objective 9
2915.61/2924.10 c #Conflicts: 1280000 | #Constraints: 91953
2915.61/2924.10 c #Conflicts: 1281000 | #Constraints: 92954
2915.61/2924.10 c #Conflicts: 1282000 | #Constraints: 93954
2915.61/2924.10 c #Conflicts: 1283000 | #Constraints: 94954
2915.61/2924.10 c #Conflicts: 1284000 | #Constraints: 95954
2915.61/2924.10 c #Conflicts: 1285000 | #Constraints: 96954
2915.61/2924.10 c #Conflicts: 1286000 | #Constraints: 97954
2915.61/2924.10 c #Conflicts: 1287000 | #Constraints: 98955
2915.61/2924.10 c #Conflicts: 1288000 | #Constraints: 99955
2915.61/2924.10 c #Conflicts: 1289000 | #Constraints: 100956
2915.61/2924.10 c #Conflicts: 1290000 | #Constraints: 101958
2915.61/2924.10 c #Conflicts: 1291000 | #Constraints: 102959
2915.61/2924.10 c #Conflicts: 1292000 | #Constraints: 103961
2915.61/2924.10 c #Conflicts: 1293000 | #Constraints: 104961
2915.61/2924.10 c #Conflicts: 1294000 | #Constraints: 105961
2915.61/2924.10 c #Conflicts: 1295000 | #Constraints: 106961
2915.61/2924.10 c #Conflicts: 1296000 | #Constraints: 107961
2915.61/2924.10 c #Conflicts: 1297000 | #Constraints: 108962
2915.61/2924.10 c #Conflicts: 1298000 | #Constraints: 109963
2915.61/2924.10 c #Conflicts: 1299000 | #Constraints: 110964
2915.61/2924.10 c #Conflicts: 1300000 | #Constraints: 111964
2915.61/2924.10 c #Conflicts: 1301000 | #Constraints: 112965
2915.61/2924.10 c #Conflicts: 1302000 | #Constraints: 113965
2915.61/2924.10 c INPROCESSING
2915.61/2924.10 c GARBAGE COLLECT
2915.61/2924.10 c rational objective 9
2974.53/2983.28 c #Conflicts: 1303000 | #Constraints: 92409
2974.53/2983.28 c #Conflicts: 1304000 | #Constraints: 93409
2974.53/2983.28 c #Conflicts: 1305000 | #Constraints: 94410
2974.53/2983.28 c #Conflicts: 1306000 | #Constraints: 95411
2974.53/2983.28 c #Conflicts: 1307000 | #Constraints: 96411
2974.53/2983.28 c #Conflicts: 1308000 | #Constraints: 97413
2974.53/2983.28 c #Conflicts: 1309000 | #Constraints: 98414
2974.53/2983.28 c #Conflicts: 1310000 | #Constraints: 99416
2974.53/2983.28 c #Conflicts: 1311000 | #Constraints: 100417
2974.53/2983.28 c #Conflicts: 1312000 | #Constraints: 101419
2974.53/2983.28 c #Conflicts: 1313000 | #Constraints: 102420
2974.53/2983.28 c #Conflicts: 1314000 | #Constraints: 103422
2974.53/2983.28 c #Conflicts: 1315000 | #Constraints: 104422
2974.53/2983.28 c #Conflicts: 1316000 | #Constraints: 105422
2974.53/2983.28 c #Conflicts: 1317000 | #Constraints: 106422
2974.53/2983.28 c #Conflicts: 1318000 | #Constraints: 107423
2974.53/2983.28 c #Conflicts: 1319000 | #Constraints: 108423
2974.53/2983.28 c #Conflicts: 1320000 | #Constraints: 109423
2974.53/2983.28 c #Conflicts: 1321000 | #Constraints: 110424
2974.53/2983.28 c #Conflicts: 1322000 | #Constraints: 111425
2974.53/2983.28 c #Conflicts: 1323000 | #Constraints: 112425
2974.53/2983.28 c #Conflicts: 1324000 | #Constraints: 113427
2974.53/2983.28 c #Conflicts: 1325000 | #Constraints: 114428
2974.53/2983.28 c INPROCESSING
2974.53/2983.28 c GARBAGE COLLECT
2974.53/2983.28 c rational objective 9
3049.51/3058.45 c #Conflicts: 1326000 | #Constraints: 92599
3049.51/3058.45 c #Conflicts: 1327000 | #Constraints: 93600
3049.51/3058.45 c #Conflicts: 1328000 | #Constraints: 94600
3049.51/3058.45 c #Conflicts: 1329000 | #Constraints: 95600
3049.51/3058.45 c #Conflicts: 1330000 | #Constraints: 96600
3049.51/3058.45 c #Conflicts: 1331000 | #Constraints: 97600
3049.51/3058.45 c #Conflicts: 1332000 | #Constraints: 98600
3049.51/3058.45 c #Conflicts: 1333000 | #Constraints: 99600
3049.51/3058.45 c #Conflicts: 1334000 | #Constraints: 100600
3049.51/3058.45 c #Conflicts: 1335000 | #Constraints: 101601
3049.51/3058.45 c #Conflicts: 1336000 | #Constraints: 102602
3049.51/3058.45 c #Conflicts: 1337000 | #Constraints: 103602
3049.51/3058.45 c #Conflicts: 1338000 | #Constraints: 104603
3049.51/3058.45 c #Conflicts: 1339000 | #Constraints: 105604
3049.51/3058.45 c #Conflicts: 1340000 | #Constraints: 106604
3049.51/3058.45 c #Conflicts: 1341000 | #Constraints: 107605
3049.51/3058.45 c #Conflicts: 1342000 | #Constraints: 108605
3049.51/3058.45 c #Conflicts: 1343000 | #Constraints: 109605
3049.51/3058.45 c #Conflicts: 1344000 | #Constraints: 110605
3049.51/3058.45 c #Conflicts: 1345000 | #Constraints: 111606
3049.51/3058.45 c #Conflicts: 1346000 | #Constraints: 112606
3049.51/3058.45 c #Conflicts: 1347000 | #Constraints: 113606
3049.51/3058.45 c #Conflicts: 1348000 | #Constraints: 114606
3049.51/3058.45 c INPROCESSING
3049.51/3058.45 c GARBAGE COLLECT
3049.51/3058.45 c rational objective 9
3115.01/3124.15 c #Conflicts: 1349000 | #Constraints: 92558
3115.01/3124.15 c #Conflicts: 1350000 | #Constraints: 93558
3115.01/3124.15 c #Conflicts: 1351000 | #Constraints: 94558
3115.01/3124.15 c #Conflicts: 1352000 | #Constraints: 95558
3115.01/3124.15 c #Conflicts: 1353000 | #Constraints: 96558
3115.01/3124.15 c #Conflicts: 1354000 | #Constraints: 97558
3115.01/3124.15 c #Conflicts: 1355000 | #Constraints: 98559
3115.01/3124.15 c #Conflicts: 1356000 | #Constraints: 99559
3115.01/3124.15 c #Conflicts: 1357000 | #Constraints: 100559
3115.01/3124.15 c #Conflicts: 1358000 | #Constraints: 101560
3115.01/3124.15 c #Conflicts: 1359000 | #Constraints: 102560
3115.01/3124.15 c #Conflicts: 1360000 | #Constraints: 103560
3115.01/3124.15 c #Conflicts: 1361000 | #Constraints: 104561
3115.01/3124.15 c #Conflicts: 1362000 | #Constraints: 105561
3115.01/3124.15 c #Conflicts: 1363000 | #Constraints: 106561
3115.01/3124.15 c #Conflicts: 1364000 | #Constraints: 107562
3115.01/3124.15 c #Conflicts: 1365000 | #Constraints: 108562
3115.01/3124.15 c #Conflicts: 1366000 | #Constraints: 109562
3115.01/3124.15 c #Conflicts: 1367000 | #Constraints: 110563
3115.01/3124.15 c #Conflicts: 1368000 | #Constraints: 111564
3115.01/3124.15 c #Conflicts: 1369000 | #Constraints: 112565
3115.01/3124.15 c #Conflicts: 1370000 | #Constraints: 113565
3115.01/3124.15 c #Conflicts: 1371000 | #Constraints: 114566
3115.01/3124.15 c INPROCESSING
3115.01/3124.15 c GARBAGE COLLECT
3115.01/3124.15 c rational objective 9
3160.38/3169.61 c #Conflicts: 1372000 | #Constraints: 92347
3160.38/3169.61 c #Conflicts: 1373000 | #Constraints: 93348
3160.38/3169.61 c #Conflicts: 1374000 | #Constraints: 94348
3160.38/3169.61 c #Conflicts: 1375000 | #Constraints: 95348
3160.38/3169.61 c #Conflicts: 1376000 | #Constraints: 96348
3160.38/3169.61 c #Conflicts: 1377000 | #Constraints: 97348
3160.38/3169.61 c #Conflicts: 1378000 | #Constraints: 98348
3160.38/3169.61 c #Conflicts: 1379000 | #Constraints: 99349
3160.38/3169.61 c #Conflicts: 1380000 | #Constraints: 100349
3160.38/3169.61 c #Conflicts: 1381000 | #Constraints: 101350
3160.38/3169.61 c #Conflicts: 1382000 | #Constraints: 102350
3160.38/3169.61 c #Conflicts: 1383000 | #Constraints: 103351
3160.38/3169.61 c #Conflicts: 1384000 | #Constraints: 104352
3160.38/3169.61 c #Conflicts: 1385000 | #Constraints: 105353
3160.38/3169.61 c #Conflicts: 1386000 | #Constraints: 106354
3160.38/3169.61 c #Conflicts: 1387000 | #Constraints: 107354
3160.38/3169.61 c #Conflicts: 1388000 | #Constraints: 108355
3160.38/3169.61 c #Conflicts: 1389000 | #Constraints: 109356
3160.38/3169.61 c #Conflicts: 1390000 | #Constraints: 110357
3160.38/3169.61 c #Conflicts: 1391000 | #Constraints: 111357
3160.38/3169.61 c #Conflicts: 1392000 | #Constraints: 112358
3160.38/3169.61 c #Conflicts: 1393000 | #Constraints: 113358
3160.38/3169.61 c #Conflicts: 1394000 | #Constraints: 114360
3160.38/3169.61 c #Conflicts: 1395000 | #Constraints: 115361
3160.38/3169.61 c INPROCESSING
3160.38/3169.61 c GARBAGE COLLECT
3160.38/3169.61 c rational objective 9
3217.81/3227.27 c #Conflicts: 1396000 | #Constraints: 92909
3217.81/3227.27 c #Conflicts: 1397000 | #Constraints: 93909
3217.81/3227.27 c #Conflicts: 1398000 | #Constraints: 94909
3217.81/3227.27 c #Conflicts: 1399000 | #Constraints: 95909
3217.81/3227.27 c #Conflicts: 1400000 | #Constraints: 96909
3217.81/3227.27 c #Conflicts: 1401000 | #Constraints: 97909
3217.81/3227.27 c #Conflicts: 1402000 | #Constraints: 98909
3217.81/3227.27 c #Conflicts: 1403000 | #Constraints: 99909
3217.81/3227.27 c #Conflicts: 1404000 | #Constraints: 100909
3217.81/3227.27 c #Conflicts: 1405000 | #Constraints: 101910
3217.81/3227.27 c #Conflicts: 1406000 | #Constraints: 102911
3217.81/3227.27 c #Conflicts: 1407000 | #Constraints: 103912
3217.81/3227.27 c #Conflicts: 1408000 | #Constraints: 104912
3217.81/3227.27 c #Conflicts: 1409000 | #Constraints: 105913
3217.81/3227.27 c #Conflicts: 1410000 | #Constraints: 106915
3217.81/3227.27 c #Conflicts: 1411000 | #Constraints: 107917
3217.81/3227.27 c #Conflicts: 1412000 | #Constraints: 108917
3217.81/3227.27 c #Conflicts: 1413000 | #Constraints: 109918
3217.81/3227.27 c #Conflicts: 1414000 | #Constraints: 110918
3217.81/3227.27 c #Conflicts: 1415000 | #Constraints: 111918
3217.81/3227.27 c #Conflicts: 1416000 | #Constraints: 112919
3217.81/3227.27 c #Conflicts: 1417000 | #Constraints: 113919
3217.81/3227.27 c #Conflicts: 1418000 | #Constraints: 114920
3217.81/3227.27 c #Conflicts: 1419000 | #Constraints: 115921
3217.81/3227.27 c INPROCESSING
3217.81/3227.27 c GARBAGE COLLECT
3217.81/3227.27 c rational objective 9
3317.01/3326.70 c #Conflicts: 1420000 | #Constraints: 93290
3317.01/3326.70 c #Conflicts: 1421000 | #Constraints: 94290
3317.01/3326.70 c #Conflicts: 1422000 | #Constraints: 95291
3317.01/3326.70 c #Conflicts: 1423000 | #Constraints: 96291
3317.01/3326.70 c #Conflicts: 1424000 | #Constraints: 97291
3317.01/3326.70 c #Conflicts: 1425000 | #Constraints: 98291
3317.01/3326.70 c #Conflicts: 1426000 | #Constraints: 99291
3317.01/3326.70 c #Conflicts: 1427000 | #Constraints: 100291
3317.01/3326.70 c #Conflicts: 1428000 | #Constraints: 101291
3317.01/3326.70 c #Conflicts: 1429000 | #Constraints: 102291
3317.01/3326.70 c #Conflicts: 1430000 | #Constraints: 103291
3317.01/3326.70 c #Conflicts: 1431000 | #Constraints: 104291
3317.01/3326.70 c #Conflicts: 1432000 | #Constraints: 105291
3317.01/3326.70 c #Conflicts: 1433000 | #Constraints: 106291
3317.01/3326.70 c #Conflicts: 1434000 | #Constraints: 107292
3317.01/3326.70 c #Conflicts: 1435000 | #Constraints: 108292
3317.01/3326.70 c #Conflicts: 1436000 | #Constraints: 109293
3317.01/3326.70 c #Conflicts: 1437000 | #Constraints: 110293
3317.01/3326.70 c #Conflicts: 1438000 | #Constraints: 111295
3317.01/3326.70 c #Conflicts: 1439000 | #Constraints: 112296
3317.01/3326.70 c #Conflicts: 1440000 | #Constraints: 113296
3317.01/3326.70 c #Conflicts: 1441000 | #Constraints: 114297
3317.01/3326.70 c #Conflicts: 1442000 | #Constraints: 115297
3317.01/3326.70 c #Conflicts: 1443000 | #Constraints: 116297
3317.01/3326.70 c INPROCESSING
3317.01/3326.70 c GARBAGE COLLECT
3317.01/3326.70 c rational objective 9
3406.05/3416.02 c #Conflicts: 1444000 | #Constraints: 93389
3406.05/3416.02 c #Conflicts: 1445000 | #Constraints: 94389
3406.05/3416.02 c #Conflicts: 1446000 | #Constraints: 95389
3406.05/3416.02 c #Conflicts: 1447000 | #Constraints: 96389
3406.05/3416.02 c #Conflicts: 1448000 | #Constraints: 97389
3406.05/3416.02 c #Conflicts: 1449000 | #Constraints: 98390
3406.05/3416.02 c #Conflicts: 1450000 | #Constraints: 99390
3406.05/3416.02 c #Conflicts: 1451000 | #Constraints: 100390
3406.05/3416.02 c #Conflicts: 1452000 | #Constraints: 101391
3406.05/3416.02 c #Conflicts: 1453000 | #Constraints: 102391
3406.05/3416.02 c #Conflicts: 1454000 | #Constraints: 103392
3406.05/3416.02 c #Conflicts: 1455000 | #Constraints: 104392
3406.05/3416.02 c #Conflicts: 1456000 | #Constraints: 105393
3406.05/3416.02 c #Conflicts: 1457000 | #Constraints: 106393
3406.05/3416.02 c #Conflicts: 1458000 | #Constraints: 107394
3406.05/3416.02 c #Conflicts: 1459000 | #Constraints: 108394
3406.05/3416.02 c #Conflicts: 1460000 | #Constraints: 109396
3406.05/3416.02 c #Conflicts: 1461000 | #Constraints: 110396
3406.05/3416.02 c #Conflicts: 1462000 | #Constraints: 111397
3406.05/3416.02 c #Conflicts: 1463000 | #Constraints: 112398
3406.05/3416.02 c #Conflicts: 1464000 | #Constraints: 113399
3406.05/3416.02 c #Conflicts: 1465000 | #Constraints: 114399
3406.05/3416.02 c #Conflicts: 1466000 | #Constraints: 115401
3406.05/3416.02 c #Conflicts: 1467000 | #Constraints: 116401
3406.05/3416.02 c INPROCESSING
3406.05/3416.02 c GARBAGE COLLECT
3406.05/3416.02 c rational objective 9
3483.92/3494.19 c #Conflicts: 1468000 | #Constraints: 93401
3483.92/3494.19 c #Conflicts: 1469000 | #Constraints: 94402
3483.92/3494.19 c #Conflicts: 1470000 | #Constraints: 95402
3483.92/3494.19 c #Conflicts: 1471000 | #Constraints: 96402
3483.92/3494.19 c #Conflicts: 1472000 | #Constraints: 97403
3483.92/3494.19 c #Conflicts: 1473000 | #Constraints: 98403
3483.92/3494.19 c #Conflicts: 1474000 | #Constraints: 99404
3483.92/3494.19 c #Conflicts: 1475000 | #Constraints: 100405
3483.92/3494.19 c #Conflicts: 1476000 | #Constraints: 101407
3483.92/3494.19 c #Conflicts: 1477000 | #Constraints: 102408
3483.92/3494.19 c #Conflicts: 1478000 | #Constraints: 103412
3483.92/3494.19 c #Conflicts: 1479000 | #Constraints: 104415
3483.92/3494.19 c #Conflicts: 1480000 | #Constraints: 105417
3483.92/3494.19 c #Conflicts: 1481000 | #Constraints: 106417
3483.92/3494.19 c #Conflicts: 1482000 | #Constraints: 107419
3483.92/3494.19 c #Conflicts: 1483000 | #Constraints: 108420
3483.92/3494.19 c #Conflicts: 1484000 | #Constraints: 109421
3483.92/3494.19 c #Conflicts: 1485000 | #Constraints: 110424
3483.92/3494.19 c #Conflicts: 1486000 | #Constraints: 111426
3483.92/3494.19 c #Conflicts: 1487000 | #Constraints: 112427
3483.92/3494.19 c #Conflicts: 1488000 | #Constraints: 113428
3483.92/3494.19 c #Conflicts: 1489000 | #Constraints: 114428
3483.92/3494.19 c #Conflicts: 1490000 | #Constraints: 115428
3483.92/3494.19 c #Conflicts: 1491000 | #Constraints: 116428
3483.92/3494.19 c INPROCESSING
3483.92/3494.19 c GARBAGE COLLECT
3483.92/3494.19 c rational objective 9
3568.06/3578.52 c #Conflicts: 1492000 | #Constraints: 93209
3568.06/3578.52 c #Conflicts: 1493000 | #Constraints: 94209
3568.06/3578.52 c #Conflicts: 1494000 | #Constraints: 95210
3568.06/3578.52 c #Conflicts: 1495000 | #Constraints: 96210
3568.06/3578.52 c #Conflicts: 1496000 | #Constraints: 97210
3568.06/3578.52 c #Conflicts: 1497000 | #Constraints: 98210
3568.06/3578.52 c #Conflicts: 1498000 | #Constraints: 99210
3568.06/3578.52 c #Conflicts: 1499000 | #Constraints: 100212
3568.06/3578.52 c #Conflicts: 1500000 | #Constraints: 101216
3568.06/3578.52 c #Conflicts: 1501000 | #Constraints: 102219
3568.06/3578.52 c #Conflicts: 1502000 | #Constraints: 103221
3568.06/3578.52 c #Conflicts: 1503000 | #Constraints: 104222
3568.06/3578.52 c #Conflicts: 1504000 | #Constraints: 105224
3568.06/3578.52 c #Conflicts: 1505000 | #Constraints: 106226
3568.06/3578.52 c #Conflicts: 1506000 | #Constraints: 107227
3568.06/3578.52 c #Conflicts: 1507000 | #Constraints: 108228
3568.06/3578.52 c #Conflicts: 1508000 | #Constraints: 109228
3568.06/3578.52 c #Conflicts: 1509000 | #Constraints: 110228
3568.06/3578.52 c #Conflicts: 1510000 | #Constraints: 111228
3568.06/3578.52 c #Conflicts: 1511000 | #Constraints: 112229
3568.06/3578.52 c #Conflicts: 1512000 | #Constraints: 113229
3568.06/3578.52 c #Conflicts: 1513000 | #Constraints: 114229
3568.06/3578.52 c #Conflicts: 1514000 | #Constraints: 115229
3568.06/3578.52 c #Conflicts: 1515000 | #Constraints: 116230
3568.06/3578.52 c #Conflicts: 1516000 | #Constraints: 117230
3568.06/3578.52 c INPROCESSING
3568.06/3578.52 c GARBAGE COLLECT
3568.06/3578.52 c rational objective 9
3600.06/3610.60 c #Conflicts: 1517000 | #Constraints: 93800
3600.06/3610.60 c #Conflicts: 1518000 | #Constraints: 94800
3600.06/3610.60 c #Conflicts: 1519000 | #Constraints: 95800
3600.06/3610.60 c #Conflicts: 1520000 | #Constraints: 96800
3600.06/3610.60 c #Conflicts: 1521000 | #Constraints: 97800
3600.06/3610.60 c #Conflicts: 1522000 | #Constraints: 98800
3600.06/3610.60 c #Conflicts: 1523000 | #Constraints: 99800
3600.06/3610.60 c #Conflicts: 1524000 | #Constraints: 100800
3600.06/3610.60 c #Conflicts: 1525000 | #Constraints: 101801
3600.06/3610.60 c #Conflicts: 1526000 | #Constraints: 102802
3600.06/3610.60 c #Conflicts: 1527000 | #Constraints: 103805
3600.06/3610.60 c #Conflicts: 1528000 | #Constraints: 104806
3600.06/3610.60 c #Conflicts: 1529000 | #Constraints: 105807
3600.06/3610.60 c cpu time 3577.1 s
3600.06/3610.60 c deterministic time 299706699511 3.00e+11
3600.06/3610.60 c optimization time 31.3895 s
3600.06/3610.60 c total solve time 3545.4 s
3600.06/3610.60 c core-guided solve time 1799.35 s
3600.06/3610.60 c propagation time 2207.65 s
3600.06/3610.60 c conflict analysis time 742.044 s
3600.06/3610.60 c propagations 1064902321
3600.06/3610.60 c resolve steps 12146067
3600.06/3610.60 c decisions 12262205
3600.06/3610.60 c conflicts 1529603
3600.06/3610.60 c restarts 3025
3600.06/3610.60 c inprocessing phases 114
3600.06/3610.60 c garbage collections 114 ,( 100.00 )
3600.06/3610.60 c input clauses 83174 ,( 99.20 )
3600.06/3610.60 c input cardinalities 98 ,( 0.12 )
3600.06/3610.60 c input general constraints 576 ,( 0.69 )
3600.06/3610.60 c input average constraint length 3.72
3600.06/3610.60 c input average constraint degree 8.75
3600.06/3610.60 c learned clauses 206454 ,( 13.49 )
3600.06/3610.60 c learned cardinalities 18045 ,( 1.18 )
3600.06/3610.60 c learned general constraints 1306303 ,( 85.33 )
3600.06/3610.60 c learned average constraint length 910.93
3600.06/3610.60 c learned average constraint degree 5915768319.69
3600.06/3610.60 c watched CF 32, 64, 128, Arb: 610640 , 0 , 0 , 0
3600.06/3610.60 c counting CF 32, 64, 128, Arb: 696240 , 0 , 0 , 0
3600.06/3610.60 c watched constraints 610640 ,( 46.73 )
3600.06/3610.60 c counting constraints 696239 ,( 53.27 )
3600.06/3610.60 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 494132172 , 38121622 , 2336372012 ,( 342664984 , 1993707028 )
3600.06/3610.60 c gcd simplifications 135897
3600.06/3610.60 c detected cardinalities 417
3600.06/3610.60 c weakened non-implied lits 398941523
3600.06/3610.60 c weakened non-implying lits 670160
3600.06/3610.60 c original variables 33108
3600.06/3610.60 c clausal propagations 449189391
3600.06/3610.60 c cardinality propagations 53194991
3600.06/3610.60 c watched propagations 7023417
3600.06/3610.60 c counting propagations 541050165
3600.06/3610.60 c watch lookups 105805017174
3600.06/3610.60 c watch backjump lookups 0
3600.06/3610.60 c watch checks 64994524024
3600.06/3610.60 c propagation checks 122297137693
3600.06/3610.60 c constraint additions 4452220434
3600.06/3610.60 c trail pops 1078684102
3600.06/3610.60 c formula constraints 83848
3600.06/3610.60 c learned constraints 1528856
3600.06/3610.60 c bound constraints 0
3600.06/3610.60 c core-guided constraints 0
3600.06/3610.60 c encountered formula constraints 8070373
3600.06/3610.60 c encountered learned constraints 5469521
3600.06/3610.60 c encountered bound constraints 0
3600.06/3610.60 c encountered core-guided constraints 0
3600.06/3610.60 c LP total time 1193.14 s
3600.06/3610.60 c LP solve time 1127.73 s
3600.06/3610.60 c LP constraints added 87584
3600.06/3610.60 c LP constraints removed 3692
3600.06/3610.60 c LP pivots internal 1535274
3600.06/3610.60 c LP pivots root 416283
3600.06/3610.60 c LP calls 891
3600.06/3610.60 c LP optimalities 140
3600.06/3610.60 c LP no pivot count 6
3600.06/3610.60 c LP infeasibilities 746
3600.06/3610.60 c LP valid Farkas constraints 746
3600.06/3610.60 c LP learned Farkas constraints 746
3600.06/3610.60 c LP basis resets 0
3600.06/3610.60 c LP cycling count 0
3600.06/3610.60 c LP singular count 0
3600.06/3610.60 c LP no primal count 0
3600.06/3610.60 c LP no farkas count 0
3600.06/3610.60 c LP other issue count 0
3600.06/3610.60 c LP Gomory cuts 454
3600.06/3610.60 c LP learned cuts 3282
3600.06/3610.60 c LP deleted cuts 3692
3600.06/3610.60 c LP encountered Gomory constraints 13791
3600.06/3610.60 c LP encountered Farkas constraints 97971
3600.06/3610.60 c LP encountered learned Farkas constraints 23268
3600.06/3610.60 c CG auxiliary variables introduced 0
3600.06/3610.60 c CG solutions found 0
3600.06/3610.60 c CG cores constructed 0
3600.06/3610.60 c CG core cardinality constraints returned 0
3600.06/3610.60 c CG unit cores 0
3600.06/3610.60 c CG single cores 0
3600.06/3610.60 c CG blocks removed during cardinality reduction 0
3600.06/3610.60 c CG first core best 0
3600.06/3610.60 c CG decision core best 0
3600.06/3610.60 c CG core reduction tie 0
3600.06/3610.60 c CG core degree average 0.00
3600.06/3610.60 c CG core slack average 0.00
3600.06/3610.60 c CG core upper bound improvements 0
3600.06/3610.60 c STR number of successful calls 0
3600.06/3610.60 c STR number of unsuccessful calls 0
3600.06/3610.60 c STR number of inconclusive calls 0
3600.06/3610.60 c STR number of successful attempts 0
3600.06/3610.60 c STR number of unsuccessful attempts 0
3600.06/3610.60 c STR number of inconclusive attempts 0
3600.06/3610.60 c STR average degree increase per successful call inf
3600.06/3610.60 c STR average degree increase per successful attempt inf
3600.06/3610.60 c STR total number of conflicts for successful attempts 0
3600.06/3610.60 c STR total number of conflicts for unsuccessful attempts 0
3600.06/3610.60 c STR total number of conflicts for inconclusive attempts 0
3600.06/3610.60 c STR average number of conflicts per successful attempt inf
3600.06/3610.60 c STR average number of conflicts per unsuccessful attempt inf
3600.06/3610.60 c STR average number of conflicts per inconclusive attempt inf
3600.06/3610.60 c AVG.sumWPerc 45.53
3600.06/3610.60 c bigint constraints 0
3600.06/3610.60 s UNKNOWN
3600.06/3610.60 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (36854 MiB free)
memory of node 1: 64465 MiB (43318 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4498984-1751404676/watcher-4498984-1751404676 -o /tmp/evaluation-result-4498984-1751404676/solver-4498984-1751404676 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751397441-55311 --watchdog 3760 run-opt-ls.sh HOME/instance-4498984-1751404676.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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=56405, runsolver pid=56402
Current StackSize limit: 8192 KiB
[startup+0.100066 s]*
/proc/loadavg: 4.14 4.14 4.10 5/268 56407
/proc/meminfo: memFree=82055180/131249996 swapFree=33010160/33010684
[pid=56405] ppid=56402 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/56405/stat : 56405 (run-opt-ls.sh) S 56402 56405 55300 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 56146006 4292608 768 18446744073709551615 94229789786112 94229790680645 140722477055344 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94229790919696 94229790967440 94229800673280 140722477062503 140722477062629 140722477062629 140722477068231 0
/proc/56405/statm: 1048 768 704 219 0 110 0
[pid=56407] ppid=56405 vsize=29680 memory=18880 CPUtime=0.08 cores=4,6
/proc/56407/stat : 56407 (pbsuma) R 56405 56405 55300 0 -1 4194304 5099 0 0 0 8 0 0 0 20 0 1 0 56146007 30392320 4720 18446744073709551615 4210688 4653049 140735838867600 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 10440704 140735838873955 140735838874162 140735838874162 140735838879727 0
/proc/56407/statm: 7420 4720 1024 108 0 4828 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 33872 KiB
Current children cumulated memory: 21952 KiB
[startup+0.206011 s]*
/proc/loadavg: 4.14 4.14 4.10 5/268 56408
/proc/meminfo: memFree=82041164/131249996 swapFree=33010160/33010684
[pid=56405] ppid=56402 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/56405/stat : 56405 (run-opt-ls.sh) S 56402 56405 55300 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 56146006 4292608 768 18446744073709551615 94229789786112 94229790680645 140722477055344 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94229790919696 94229790967440 94229800673280 140722477062503 140722477062629 140722477062629 140722477068231 0
/proc/56405/statm: 1048 768 704 219 0 110 0
[pid=56407] ppid=56405 vsize=42884 memory=30752 CPUtime=0.19 cores=4,6
/proc/56407/stat : 56407 (pbsuma) R 56405 56405 55300 0 -1 4194304 8434 0 0 0 18 1 0 0 20 0 1 0 56146007 43913216 7688 18446744073709551615 4210688 4653049 140735838867600 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 10440704 140735838873955 140735838874162 140735838874162 140735838879727 0
/proc/56407/statm: 10721 7688 1024 108 0 8129 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 47076 KiB
Current children cumulated memory: 33824 KiB
[startup+0.30569 s]*
/proc/loadavg: 4.14 4.14 4.10 6/268 56408
/proc/meminfo: memFree=82041164/131249996 swapFree=33010160/33010684
[pid=56405] ppid=56402 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/56405/stat : 56405 (run-opt-ls.sh) S 56402 56405 55300 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 56146006 4292608 768 18446744073709551615 94229789786112 94229790680645 140722477055344 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94229790919696 94229790967440 94229800673280 140722477062503 140722477062629 140722477062629 140722477068231 0
/proc/56405/statm: 1048 768 704 219 0 110 0
[pid=56407] ppid=56405 vsize=40508 memory=28828 CPUtime=0.29 cores=4,6
/proc/56407/stat : 56407 (pbsuma) R 56405 56405 55300 0 -1 4194304 8529 0 0 0 28 1 0 0 20 0 1 0 56146007 41480192 7207 18446744073709551615 4210688 4653049 140735838867600 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 10440704 140735838873955 140735838874162 140735838874162 140735838879727 0
/proc/56407/statm: 10127 7207 1024 108 0 7535 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 44700 KiB
Current children cumulated memory: 31900 KiB
[startup+0.700218 s]
/proc/loadavg: 4.14 4.14 4.10 5/268 56408
/proc/meminfo: memFree=82036820/131249996 swapFree=33010160/33010684
[pid=56405] ppid=56402 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/56405/stat : 56405 (run-opt-ls.sh) S 56402 56405 55300 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 56146006 4292608 768 18446744073709551615 94229789786112 94229790680645 140722477055344 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94229790919696 94229790967440 94229800673280 140722477062503 140722477062629 140722477062629 140722477068231 0
/proc/56405/statm: 1048 768 704 219 0 110 0
[pid=56407] ppid=56405 vsize=40508 memory=28956 CPUtime=0.67 cores=4,6
/proc/56407/stat : 56407 (pbsuma) R 56405 56405 55300 0 -1 4194304 8573 0 0 0 66 1 0 0 20 0 1 0 56146007 41480192 7239 18446744073709551615 4210688 4653049 140735838867600 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 10440704 140735838873955 140735838874162 140735838874162 140735838879727 0
/proc/56407/statm: 10127 7239 1024 108 0 7535 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 44700 KiB
Current children cumulated memory: 32028 KiB
[startup+1.50021 s]
/proc/loadavg: 4.14 4.14 4.10 5/268 56409
/proc/meminfo: memFree=82020816/131249996 swapFree=33010160/33010684
[pid=56405] ppid=56402 vsize=4192 memory=3072 CPUtime=0.73 cores=4,6
/proc/56405/stat : 56405 (run-opt-ls.sh) S 56402 56405 55300 0 -1 4194304 240 8964 0 0 0 0 72 1 20 0 1 0 56146006 4292608 768 18446744073709551615 94229789786112 94229790680645 140722477055344 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94229790919696 94229790967440 94229800673280 140722477062503 140722477062629 140722477062629 140722477068231 0
/proc/56405/statm: 1048 768 704 219 0 110 0
[pid=56409] ppid=56405 vsize=218808 memory=151776 CPUtime=0.72 cores=4,6
/proc/56409/stat : 56409 (roundingsat) R 56405 56405 55300 0 -1 4194304 24892 0 0 0 61 11 0 0 20 0 1 0 56146082 224059392 37944 18446744073709551615 4227072 8923433 140724001988048 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20353024 140724001995078 140724001995304 140724001995304 140724002000874 0
/proc/56409/statm: 54702 37944 2336 1147 0 42129 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 223000 KiB
Current children cumulated memory: 154848 KiB
[startup+3.10563 s]
/proc/loadavg: 4.12 4.14 4.10 5/268 56409
/proc/meminfo: memFree=81885556/131249996 swapFree=33010160/33010684
[pid=56405] ppid=56402 vsize=4192 memory=3072 CPUtime=0.73 cores=4,6
/proc/56405/stat : 56405 (run-opt-ls.sh) S 56402 56405 55300 0 -1 4194304 240 8964 0 0 0 0 72 1 20 0 1 0 56146006 4292608 768 18446744073709551615 94229789786112 94229790680645 140722477055344 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94229790919696 94229790967440 94229800673280 140722477062503 140722477062629 140722477062629 140722477068231 0
/proc/56405/statm: 1048 768 704 219 0 110 0
[pid=56409] ppid=56405 vsize=239388 memory=167676 CPUtime=2.32 cores=4,6
/proc/56409/stat : 56409 (roundingsat) R 56405 56405 55300 0 -1 4194304 28316 0 0 0 216 16 0 0 20 0 1 0 56146082 245133312 41919 18446744073709551615 4227072 8923433 140724001988048 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20353024 140724001995078 140724001995304 140724001995304 140724002000874 0
/proc/56409/statm: 59847 41919 2400 1147 0 47274 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 243580 KiB
Current children cumulated memory: 170748 KiB
[startup+6.30019 s]
/proc/loadavg: 4.12 4.14 4.10 5/268 56409
/proc/meminfo: memFree=81772016/131249996 swapFree=33010160/33010684
[pid=56405] ppid=56402 vsize=4192 memory=3072 CPUtime=0.73 cores=4,6
/proc/56405/stat : 56405 (run-opt-ls.sh) S 56402 56405 55300 0 -1 4194304 240 8964 0 0 0 0 72 1 20 0 1 0 56146006 4292608 768 18446744073709551615 94229789786112 94229790680645 140722477055344 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94229790919696 94229790967440 94229800673280 140722477062503 140722477062629 140722477062629 140722477068231 0
/proc/56405/statm: 1048 768 704 219 0 110 0
[pid=56409] ppid=56405 vsize=278144 memory=204164 CPUtime=5.5 cores=4,6
/proc/56409/stat : 56409 (roundingsat) R 56405 56405 55300 0 -1 4194304 33871 0 0 0 527 23 0 0 20 0 1 0 56146082 284819456 51041 18446744073709551615 4227072 8923433 140724001988048 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20353024 140724001995078 140724001995304 140724001995304 140724002000874 0
/proc/56409/statm: 69536 51041 2400 1147 0 56963 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 282336 KiB
Current children cumulated memory: 207236 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.14 4.10 5/268 56409
/proc/meminfo: memFree=81629572/131249996 swapFree=33010160/33010684
[pid=56405] ppid=56402 vsize=4192 memory=3072 CPUtime=0.73 cores=4,6
/proc/56405/stat : 56405 (run-opt-ls.sh) S 56402 56405 55300 0 -1 4194304 240 8964 0 0 0 0 72 1 20 0 1 0 56146006 4292608 768 18446744073709551615 94229789786112 94229790680645 140722477055344 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94229790919696 94229790967440 94229800673280 140722477062503 140722477062629 140722477062629 140722477068231 0
/proc/56405/statm: 1048 768 704 219 0 110 0
[pid=56409] ppid=56405 vsize=284852 memory=214176 CPUtime=11.89 cores=4,6
/proc/56409/stat : 56409 (roundingsat) R 56405 56405 55300 0 -1 4194304 35376 0 0 0 1155 34 0 0 20 0 1 0 56146082 291688448 53544 18446744073709551615 4227072 8923433 140724001988048 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20353024 140724001995078 140724001995304 140724001995304 140724002000874 0
/proc/56409/statm: 71213 53544 2400 1147 0 58640 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 289044 KiB
Current children cumulated memory: 217248 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.13 4.10 5/269 56410
/proc/meminfo: memFree=81155828/131249996 swapFree=33010160/33010684
[pid=56405] ppid=56402 vsize=4192 memory=3072 CPUtime=0.73 cores=4,6
/proc/56405/stat : 56405 (run-opt-ls.sh) S 56402 56405 55300 0 -1 4194304 240 8964 0 0 0 0 72 1 20 0 1 0 56146006 4292608 768 18446744073709551615 94229789786112 94229790680645 140722477055344 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94229790919696 94229790967440 94229800673280 140722477062503 140722477062629 140722477062629 140722477068231 0
/proc/56405/statm: 1048 768 704 219 0 110 0
[pid=56409] ppid=56405 vsize=325416 memory=250312 CPUtime=24.66 cores=4,6
/proc/56409/stat : 56409 (roundingsat) R 56405 56405 55300 0 -1 4194304 42899 0 0 0 2414 52 0 0 20 0 1 0 56146082 333225984 62578 18446744073709551615 4227072 8923433 140724001988048 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20353024 140724001995078 140724001995304 140724001995304 140724002000874 0
/proc/56409/statm: 81354 62578 2400 1147 0 68781 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 329608 KiB
Current children cumulated memory: 253384 KiB
[startup+51.1057 s]
/proc/loadavg: 4.12 4.13 4.10 5/269 56410
/proc/meminfo: memFree=77579620/131249996 swapFree=33010160/33010684
[pid=56405] ppid=56402 vsize=4192 memory=3072 CPUtime=0.73 cores=4,6
/proc/56405/stat : 56405 (run-opt-ls.sh) S 56402 56405 55300 0 -1 4194304 240 8964 0 0 0 0 72 1 20 0 1 0 56146006 4292608 768 18446744073709551615 94229789786112 94229790680645 140722477055344 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94229790919696 94229790967440 94229800673280 140722477062503 140722477062629 140722477062629 140722477068231 0
/proc/56405/statm: 1048 768 704 219 0 110 0
[pid=56409] ppid=56405 vsize=372480 memory=282312 CPUtime=50.18 cores=4,6
/proc/56409/stat : 56409 (roundingsat) R 56405 56405 55300 0 -1 4194304 49900 0 0 0 4937 81 0 0 20 0 1 0 56146082 381419520 70578 18446744073709551615 4227072 8923433 140724001988048 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20353024 140724001995078 140724001995304 140724001995304 140724002000874 0
/proc/56409/statm: 93120 70578 2400 1147 0 80547 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 376672 KiB
Current children cumulated memory: 285384 KiB
[startup+102.3 s]
/proc/loadavg: 4.05 4.11 4.09 5/268 56506
/proc/meminfo: memFree=104672820/131249996 swapFree=33010160/33010684
[pid=56405] ppid=56402 vsize=4192 memory=3072 CPUtime=0.73 cores=4,6
/proc/56405/stat : 56405 (run-opt-ls.sh) S 56402 56405 55300 0 -1 4194304 240 8964 0 0 0 0 72 1 20 0 1 0 56146006 4292608 768 18446744073709551615 94229789786112 94229790680645 140722477055344 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94229790919696 94229790967440 94229800673280 140722477062503 140722477062629 140722477062629 140722477068231 0
/proc/56405/statm: 1048 768 704 219 0 110 0
[pid=56409] ppid=56405 vsize=514612 memory=409868 CPUtime=101.22 cores=4,6
/proc/56409/stat : 56409 (roundingsat) R 56405 56405 55300 0 -1 4194304 76260 0 0 0 9987 135 0 0 20 0 1 0 56146082 526962688 102467 18446744073709551615 4227072 8923433 140724001988048 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20353024 140724001995078 140724001995304 140724001995304 140724002000874 0
/proc/56409/statm: 128653 102467 2400 1147 0 116080 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 518804 KiB
Current children cumulated memory: 412940 KiB
[startup+162.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/272 56520
/proc/meminfo: memFree=102740108/131249996 swapFree=33010160/33010684
[pid=56405] ppid=56402 vsize=4192 memory=3072 CPUtime=0.73 cores=4,6
/proc/56405/stat : 56405 (run-opt-ls.sh) S 56402 56405 55300 0 -1 4194304 240 8964 0 0 0 0 72 1 20 0 1 0 56146006 4292608 768 18446744073709551615 94229789786112 94229790680645 140722477055344 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94229790919696 94229790967440 94229800673280 140722477062503 140722477062629 140722477062629 140722477068231 0
/proc/56405/statm: 1048 768 704 219 0 110 0
[pid=56409] ppid=56405 vsize=719068 memory=576128 CPUtime=161.04 cores=4,6
/proc/56409/stat : 56409 (roundingsat) R 56405 56405 55300 0 -1 4194304 108656 0 0 0 15905 199 0 0 20 0 1 0 56146082 736325632 144032 18446744073709551615 4227072 8923433 140724001988048 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20353024 140724001995078 140724001995304 140724001995304 140724002000874 0
/proc/56409/statm: 179767 144032 2400 1147 0 167194 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 723260 KiB
Current children cumulated memory: 579200 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/270 56524
/proc/meminfo: memFree=100155016/131249996 swapFree=33010160/33010684
[pid=56405] ppid=56402 vsize=4192 memory=3072 CPUtime=0.73 cores=4,6
/proc/56405/stat : 56405 (run-opt-ls.sh) S 56402 56405 55300 0 -1 4194304 240 8964 0 0 0 0 72 1 20 0 1 0 56146006 4292608 768 18446744073709551615 94229789786112 94229790680645 140722477055344 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94229790919696 94229790967440 94229800673280 140722477062503 140722477062629 140722477062629 140722477068231 0
/proc/56405/statm: 1048 768 704 219 0 110 0
[pid=56409] ppid=56405 vsize=727584 memory=584448 CPUtime=220.85 cores=4,6
/proc/56409/stat : 56409 (roundingsat) R 56405 56405 55300 0 -1 4194304 110734 0 0 0 21822 263 0 0 20 0 1 0 56146082 745046016 146112 18446744073709551615 4227072 8923433 140724001988048 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20353024 140724001995078 140724001995304 140724001995304 140724002000874 0
/proc/56409/statm: 181896 146112 2400 1147 0 169323 0
################
# More data... #
################
/proc/56409/statm: 674294 553170 2496 1147 0 661721 0
Current children cumulated CPU time: 3033.46 s
Current children cumulated vsize: 2701368 KiB
Current children cumulated memory: 2215752 KiB
[startup+3102.3 s]
/proc/loadavg: 3.15 3.52 3.84 4/260 56810
/proc/meminfo: memFree=126146556/131249996 swapFree=33010160/33010684
[pid=56405] ppid=56402 vsize=4192 memory=3072 CPUtime=0.73 cores=4,6
/proc/56405/stat : 56405 (run-opt-ls.sh) S 56402 56405 55300 0 -1 4194304 240 8964 0 0 0 0 72 1 20 0 1 0 56146006 4292608 768 18446744073709551615 94229789786112 94229790680645 140722477055344 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94229790919696 94229790967440 94229800673280 140722477062503 140722477062629 140722477062629 140722477068231 0
/proc/56405/statm: 1048 768 704 219 0 110 0
[pid=56409] ppid=56405 vsize=2697176 memory=2212680 CPUtime=3092.55 cores=4,6
/proc/56409/stat : 56409 (roundingsat) R 56405 56405 55300 0 -1 4194304 471460 0 0 0 307271 1984 0 0 20 0 1 0 56146082 2761908224 553170 18446744073709551615 4227072 8923433 140724001988048 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20353024 140724001995078 140724001995304 140724001995304 140724002000874 0
/proc/56409/statm: 674294 553170 2496 1147 0 661721 0
Current children cumulated CPU time: 3093.28 s
Current children cumulated vsize: 2701368 KiB
Current children cumulated memory: 2215752 KiB
[startup+3162.3 s]
/proc/loadavg: 3.05 3.42 3.78 4/260 56812
/proc/meminfo: memFree=126148732/131249996 swapFree=33010160/33010684
[pid=56405] ppid=56402 vsize=4192 memory=3072 CPUtime=0.73 cores=4,6
/proc/56405/stat : 56405 (run-opt-ls.sh) S 56402 56405 55300 0 -1 4194304 240 8964 0 0 0 0 72 1 20 0 1 0 56146006 4292608 768 18446744073709551615 94229789786112 94229790680645 140722477055344 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94229790919696 94229790967440 94229800673280 140722477062503 140722477062629 140722477062629 140722477068231 0
/proc/56405/statm: 1048 768 704 219 0 110 0
[pid=56409] ppid=56405 vsize=2697176 memory=2212680 CPUtime=3152.37 cores=4,6
/proc/56409/stat : 56409 (roundingsat) R 56405 56405 55300 0 -1 4194304 471959 0 0 0 313215 2022 0 0 20 0 1 0 56146082 2761908224 553170 18446744073709551615 4227072 8923433 140724001988048 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20353024 140724001995078 140724001995304 140724001995304 140724002000874 0
/proc/56409/statm: 674294 553170 2496 1147 0 661721 0
Current children cumulated CPU time: 3153.1 s
Current children cumulated vsize: 2701368 KiB
Current children cumulated memory: 2215752 KiB
[startup+3222.3 s]
/proc/loadavg: 3.14 3.37 3.74 4/260 56814
/proc/meminfo: memFree=126148388/131249996 swapFree=33010160/33010684
[pid=56405] ppid=56402 vsize=4192 memory=3072 CPUtime=0.73 cores=4,6
/proc/56405/stat : 56405 (run-opt-ls.sh) S 56402 56405 55300 0 -1 4194304 240 8964 0 0 0 0 72 1 20 0 1 0 56146006 4292608 768 18446744073709551615 94229789786112 94229790680645 140722477055344 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94229790919696 94229790967440 94229800673280 140722477062503 140722477062629 140722477062629 140722477068231 0
/proc/56405/statm: 1048 768 704 219 0 110 0
[pid=56409] ppid=56405 vsize=2697176 memory=2212680 CPUtime=3212.2 cores=4,6
/proc/56409/stat : 56409 (roundingsat) R 56405 56405 55300 0 -1 4194304 471962 0 0 0 319166 2054 0 0 20 0 1 0 56146082 2761908224 553170 18446744073709551615 4227072 8923433 140724001988048 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20353024 140724001995078 140724001995304 140724001995304 140724002000874 0
/proc/56409/statm: 674294 553170 2496 1147 0 661721 0
Current children cumulated CPU time: 3212.93 s
Current children cumulated vsize: 2701368 KiB
Current children cumulated memory: 2215752 KiB
[startup+3282.3 s]
/proc/loadavg: 3.11 3.32 3.70 4/260 56816
/proc/meminfo: memFree=126095152/131249996 swapFree=33010160/33010684
[pid=56405] ppid=56402 vsize=4192 memory=3072 CPUtime=0.73 cores=4,6
/proc/56405/stat : 56405 (run-opt-ls.sh) S 56402 56405 55300 0 -1 4194304 240 8964 0 0 0 0 72 1 20 0 1 0 56146006 4292608 768 18446744073709551615 94229789786112 94229790680645 140722477055344 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94229790919696 94229790967440 94229800673280 140722477062503 140722477062629 140722477062629 140722477068231 0
/proc/56405/statm: 1048 768 704 219 0 110 0
[pid=56409] ppid=56405 vsize=2697176 memory=2213064 CPUtime=3272.01 cores=4,6
/proc/56409/stat : 56409 (roundingsat) R 56405 56405 55300 0 -1 4194304 472070 0 0 0 325116 2085 0 0 20 0 1 0 56146082 2761908224 553266 18446744073709551615 4227072 8923433 140724001988048 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20353024 140724001995078 140724001995304 140724001995304 140724002000874 0
/proc/56409/statm: 674294 553266 2496 1147 0 661721 0
Current children cumulated CPU time: 3272.74 s
Current children cumulated vsize: 2701368 KiB
Current children cumulated memory: 2216136 KiB
[startup+3342.3 s]
/proc/loadavg: 3.09 3.27 3.66 4/260 56818
/proc/meminfo: memFree=126087256/131249996 swapFree=33010160/33010684
[pid=56405] ppid=56402 vsize=4192 memory=3072 CPUtime=0.73 cores=4,6
/proc/56405/stat : 56405 (run-opt-ls.sh) S 56402 56405 55300 0 -1 4194304 240 8964 0 0 0 0 72 1 20 0 1 0 56146006 4292608 768 18446744073709551615 94229789786112 94229790680645 140722477055344 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94229790919696 94229790967440 94229800673280 140722477062503 140722477062629 140722477062629 140722477068231 0
/proc/56405/statm: 1048 768 704 219 0 110 0
[pid=56409] ppid=56405 vsize=2697176 memory=2213576 CPUtime=3331.83 cores=4,6
/proc/56409/stat : 56409 (roundingsat) R 56405 56405 55300 0 -1 4194304 472181 0 0 0 331080 2103 0 0 20 0 1 0 56146082 2761908224 553394 18446744073709551615 4227072 8923433 140724001988048 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20353024 140724001995078 140724001995304 140724001995304 140724002000874 0
/proc/56409/statm: 674294 553394 2496 1147 0 661721 0
Current children cumulated CPU time: 3332.56 s
Current children cumulated vsize: 2701368 KiB
Current children cumulated memory: 2216648 KiB
[startup+3402.3 s]
/proc/loadavg: 3.10 3.24 3.62 4/260 56820
/proc/meminfo: memFree=126042824/131249996 swapFree=33010160/33010684
[pid=56405] ppid=56402 vsize=4192 memory=3072 CPUtime=0.73 cores=4,6
/proc/56405/stat : 56405 (run-opt-ls.sh) S 56402 56405 55300 0 -1 4194304 240 8964 0 0 0 0 72 1 20 0 1 0 56146006 4292608 768 18446744073709551615 94229789786112 94229790680645 140722477055344 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94229790919696 94229790967440 94229800673280 140722477062503 140722477062629 140722477062629 140722477068231 0
/proc/56405/statm: 1048 768 704 219 0 110 0
[pid=56409] ppid=56405 vsize=2697176 memory=2223856 CPUtime=3391.66 cores=4,6
/proc/56409/stat : 56409 (roundingsat) R 56405 56405 55300 0 -1 4194304 472724 0 0 0 337041 2125 0 0 20 0 1 0 56146082 2761908224 555964 18446744073709551615 4227072 8923433 140724001988048 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20353024 140724001995078 140724001995304 140724001995304 140724002000874 0
/proc/56409/statm: 674294 555964 2496 1147 0 661721 0
Current children cumulated CPU time: 3392.39 s
Current children cumulated vsize: 2701368 KiB
Current children cumulated memory: 2226928 KiB
[startup+3462.3 s]
/proc/loadavg: 3.09 3.21 3.58 4/260 56825
/proc/meminfo: memFree=126033240/131249996 swapFree=33010160/33010684
[pid=56405] ppid=56402 vsize=4192 memory=3072 CPUtime=0.73 cores=4,6
/proc/56405/stat : 56405 (run-opt-ls.sh) S 56402 56405 55300 0 -1 4194304 240 8964 0 0 0 0 72 1 20 0 1 0 56146006 4292608 768 18446744073709551615 94229789786112 94229790680645 140722477055344 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94229790919696 94229790967440 94229800673280 140722477062503 140722477062629 140722477062629 140722477068231 0
/proc/56405/statm: 1048 768 704 219 0 110 0
[pid=56409] ppid=56405 vsize=2697176 memory=2236236 CPUtime=3451.48 cores=4,6
/proc/56409/stat : 56409 (roundingsat) R 56405 56405 55300 0 -1 4194304 472759 0 0 0 342992 2156 0 0 20 0 1 0 56146082 2761908224 559059 18446744073709551615 4227072 8923433 140724001988048 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20353024 140724001995078 140724001995304 140724001995304 140724002000874 0
/proc/56409/statm: 674294 559059 2496 1147 0 661721 0
Current children cumulated CPU time: 3452.21 s
Current children cumulated vsize: 2701368 KiB
Current children cumulated memory: 2239308 KiB
[startup+3522.3 s]
/proc/loadavg: 3.07 3.18 3.55 4/261 56828
/proc/meminfo: memFree=126033496/131249996 swapFree=33010160/33010684
[pid=56405] ppid=56402 vsize=4192 memory=3072 CPUtime=0.73 cores=4,6
/proc/56405/stat : 56405 (run-opt-ls.sh) S 56402 56405 55300 0 -1 4194304 240 8964 0 0 0 0 72 1 20 0 1 0 56146006 4292608 768 18446744073709551615 94229789786112 94229790680645 140722477055344 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94229790919696 94229790967440 94229800673280 140722477062503 140722477062629 140722477062629 140722477068231 0
/proc/56405/statm: 1048 768 704 219 0 110 0
[pid=56409] ppid=56405 vsize=2697176 memory=2236236 CPUtime=3511.3 cores=4,6
/proc/56409/stat : 56409 (roundingsat) R 56405 56405 55300 0 -1 4194304 472764 0 0 0 348946 2184 0 0 20 0 1 0 56146082 2761908224 559059 18446744073709551615 4227072 8923433 140724001988048 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20353024 140724001995078 140724001995304 140724001995304 140724002000874 0
/proc/56409/statm: 674294 559059 2496 1147 0 661721 0
Current children cumulated CPU time: 3512.03 s
Current children cumulated vsize: 2701368 KiB
Current children cumulated memory: 2239308 KiB
[startup+3582.3 s]
/proc/loadavg: 3.06 3.16 3.52 4/262 56835
/proc/meminfo: memFree=126032368/131249996 swapFree=33010160/33010684
[pid=56405] ppid=56402 vsize=4192 memory=3072 CPUtime=0.73 cores=4,6
/proc/56405/stat : 56405 (run-opt-ls.sh) S 56402 56405 55300 0 -1 4194304 240 8964 0 0 0 0 72 1 20 0 1 0 56146006 4292608 768 18446744073709551615 94229789786112 94229790680645 140722477055344 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94229790919696 94229790967440 94229800673280 140722477062503 140722477062629 140722477062629 140722477068231 0
/proc/56405/statm: 1048 768 704 219 0 110 0
[pid=56409] ppid=56405 vsize=2698396 memory=2237388 CPUtime=3571.12 cores=4,6
/proc/56409/stat : 56409 (roundingsat) R 56405 56405 55300 0 -1 4194304 473066 0 0 0 354903 2209 0 0 20 0 1 0 56146082 2763157504 559347 18446744073709551615 4227072 8923433 140724001988048 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20353024 140724001995078 140724001995304 140724001995304 140724002000874 0
/proc/56409/statm: 674599 559347 2496 1147 0 662026 0
Current children cumulated CPU time: 3571.85 s
Current children cumulated vsize: 2702588 KiB
Current children cumulated memory: 2240460 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.6 s]
/proc/loadavg: 3.11 3.16 3.51 4/262 56836
/proc/meminfo: memFree=126032248/131249996 swapFree=33010160/33010684
[pid=56405] ppid=56402 vsize=4192 memory=3072 CPUtime=0.73 cores=4,6
/proc/56405/stat : 56405 (run-opt-ls.sh) S 56402 56405 55300 0 -1 4194304 240 8964 0 0 0 0 72 1 20 0 1 0 56146006 4292608 768 18446744073709551615 94229789786112 94229790680645 140722477055344 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94229790919696 94229790967440 94229800673280 140722477062503 140722477062629 140722477062629 140722477068231 0
/proc/56405/statm: 1048 768 704 219 0 110 0
[pid=56409] ppid=56405 vsize=2698396 memory=2237388 CPUtime=3599.33 cores=4,6
/proc/56409/stat : 56409 (roundingsat) R 56405 56405 55300 0 -1 4194304 473566 0 0 0 357709 2224 0 0 20 0 1 0 56146082 2763157504 559347 18446744073709551615 4227072 8923433 140724001988048 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20353024 140724001995078 140724001995304 140724001995304 140724002000874 0
/proc/56409/statm: 674599 559347 2496 1147 0 662026 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 2702588 KiB
Current children cumulated memory: 2240460 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.6 s]
# the end of solver process 56405 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.724107 s, system=0.022681 s
Sleeping 2 seconds
[startup+3610.66 s]
# the end of solver process 56409 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3577.84 s, system=22.3199 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3610.66
CPU time (s): 3600.16
CPU user time (s): 3577.84
CPU system time (s): 22.3199
CPU usage (%): 99.709
Max. virtual memory (cumulated for all children) (KiB): 2702588
Max. memory (cumulated for all children) (KiB): 2240460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577.84
system time used= 22.3199
maximum resident set size= 2237644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 482790
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 359
involuntary context switches= 4026
# summary of solver processes directly reported to runsolver:
# pid: 56405,56409
# total CPU time (s): 3600.16
# total CPU user time (s): 3577.84
# total CPU system time (s): 22.3199
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.12959 second user time and 18.1566 second system time
The end
Begin job on nodeC029 at 2025-07-01 23:17:56
IDJOB=4498984
IDBENCH=148768
IDSOLVER=3355
FILE ID=nodeC029/4498984-1751404676
RUNJOBID= nodeC029-1751397441-55311
SLURM_JOB_ID= 9598277
Free space on /tmp= 432672 MiB
SOLVER NAME= roundingsat-ls+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx97.opb
COMMAND LINE= run-opt-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4498984-1751404676/watcher-4498984-1751404676 -o /tmp/evaluation-result-4498984-1751404676/solver-4498984-1751404676 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751397441-55311 --watchdog 3760 run-opt-ls.sh HOME/instance-4498984-1751404676.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b17790bf3951ca85a67cd8038da17b4d
RANDOM SEED=556326491
nodeC029 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.661
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.46
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.728
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.46
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 : 3596.649
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.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
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 : 3601.256
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.46
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.748
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.46
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.730
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.46
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 : 3600.135
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.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 82097204 kB
MemAvailable: 82476912 kB
Buffers: 2128 kB
Cached: 1185924 kB
SwapCached: 40 kB
Active: 47629972 kB
Inactive: 816292 kB
Active(anon): 47271464 kB
Inactive(anon): 4768 kB
Active(file): 358508 kB
Inactive(file): 811524 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 8104 kB
Writeback: 0 kB
AnonPages: 47260920 kB
Mapped: 117440 kB
Shmem: 18020 kB
KReclaimable: 97828 kB
Slab: 184872 kB
SReclaimable: 97828 kB
SUnreclaim: 87044 kB
KernelStack: 4320 kB
PageTables: 100928 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 52723668 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150632 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 9531392 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: 193236 kB
DirectMap2M: 11112448 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 433032 MiB
End job on nodeC029 at 2025-07-02 00:18:07