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-4532091-1752686667.opb'
0.00/0.05 c read 1.11MB (40.49ms)
0.00/0.05 c [cnf: #variables 9324 #clauses 28661 #duplicates 0 #arr 100770]
0.00/0.05 c output proof to '/tmp/proof-4532091-1752686667'
0.00/0.06 c
0.00/0.06 c make graph and approximate orbits
0.08/0.11 c [group: #orbits ~= 2664] (59.00ms)
0.08/0.11 c
0.08/0.11 c detect special group actions
0.08/0.11 c probe for Johnson action (limit=64)
0.08/0.14 c probe for row-column symmetry (limit=64, splits=16.78M)
0.08/0.17 c probe for row symmetry (limit=64, splits=16.78M)
0.08/0.19 c found row 11x666, generating row predicate
0.08/0.19 c (77.07ms)
0.08/0.19 c
0.08/0.19 c detect symmetries on remainder
0.08/0.19 c [graph: #vertices 80207 #edges 285984]
0.08/0.19 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.19/0.25 c [group: #symmetries 1.24*10^7 #generators 13] (60.68ms)
0.19/0.25 c
0.19/0.25 c optimize generators (opt_passes=64, conjugate_limit=256)
0.19/0.25 c ran it=0, +gens=2
0.39/0.52 c con best_support=1332, best_gens=13, +gens=224
0.39/0.52 c (265.83ms)
0.39/0.52 c
0.39/0.52 c finalize break order and special generators
0.49/0.52 c
0.49/0.52 c add generic predicates (break_depth=20)
0.49/0.53 c added predicates for 239 generators (4.75ms)
1.07/1.14 c
1.07/1.14 c generation finished
1.07/1.14 c [sbp: #constraints 33822 #add_vars 11191]
1.07/1.14 c
1.07/1.14 c write result to 'HOME/instance-4532091-1752686667.opb.pre'
1.07/1.15 c wrote 2.40MB (9.78ms)
1.07/1.15 c ------------------------------------------------------------------
1.07/1.15 c 616.46ms 54.18% other
1.07/1.15 c 265.83ms 23.36% optimize_gens
1.07/1.15 c 77.07ms 6.77% detect_special
1.07/1.15 c 60.68ms 5.33% detect_generic
1.07/1.15 c 59.00ms 5.19% approx_orbits
1.07/1.15 c 40.49ms 3.56% parse
1.07/1.15 c 9.78ms 0.86% output
1.07/1.15 c 4.75ms 0.42% break_generic
1.07/1.15 c 3.76ms 0.33% finalize_order
1.07/1.15 c ───────────────────────────────────────────────
1.07/1.15 c 1137.84ms 100% total
1.07/1.15 c ------------------------------------------------------------------
1.07/1.17 c RoundingSat 2
1.07/1.17 c branch pb25
1.07/1.17 c commit 0f876b3
1.12/1.69 c #variables 20515 #constraints 62482
1.12/1.69 c objective is ce32
1.12/1.88 c initial watched CF 32, 64, 128, Arb: 840 , 0 , 0 , 0
1.12/1.88 c initial counting CF 32, 64, 128, Arb: 29 , 0 , 0 , 0
1.12/1.88 c bounds - >= 0 @ 0.609583
7.81/7.97 c #Conflicts: 1000 | #Constraints: 63481
7.81/7.97 c #Conflicts: 2000 | #Constraints: 64481
7.81/7.97 c INPROCESSING
7.81/7.97 c bounds - >= 10 @ 6.59266
7.81/7.99 c bounds - >= 20 @ 6.60429
8.03/8.14 c #Conflicts: 3000 | #Constraints: 64532
8.03/8.14 c bounds - >= 30 @ 6.75295
22.89/23.10 c #Conflicts: 4000 | #Constraints: 65541
22.89/23.10 c INPROCESSING
22.89/23.10 c GARBAGE COLLECT
22.89/23.10 c #Conflicts: 5000 | #Constraints: 64954
22.89/23.10 c #Conflicts: 6000 | #Constraints: 65954
22.89/23.10 c INPROCESSING
22.89/23.10 c #Conflicts: 7000 | #Constraints: 64957
22.89/23.10 c #Conflicts: 8000 | #Constraints: 65957
22.89/23.10 c #Conflicts: 9000 | #Constraints: 66957
22.89/23.10 c INPROCESSING
22.89/23.10 c GARBAGE COLLECT
22.89/23.10 c bounds - >= 40 @ 21.511
22.89/23.11 c bounds - >= 50 @ 21.5241
23.08/23.20 c #Conflicts: 10000 | #Constraints: 65696
23.08/23.20 c bounds - >= 60 @ 21.6142
68.44/68.79 c #Conflicts: 11000 | #Constraints: 66708
68.44/68.79 c #Conflicts: 12000 | #Constraints: 67708
68.44/68.79 c INPROCESSING
68.44/68.79 c #Conflicts: 13000 | #Constraints: 65808
68.44/68.79 c #Conflicts: 14000 | #Constraints: 66808
68.44/68.79 c #Conflicts: 15000 | #Constraints: 67808
68.44/68.79 c INPROCESSING
68.44/68.79 c GARBAGE COLLECT
68.44/68.79 c #Conflicts: 16000 | #Constraints: 66202
68.44/68.79 c #Conflicts: 17000 | #Constraints: 67202
68.44/68.79 c #Conflicts: 18000 | #Constraints: 68202
68.44/68.79 c INPROCESSING
68.44/68.79 c #Conflicts: 19000 | #Constraints: 66301
68.44/68.79 c #Conflicts: 20000 | #Constraints: 67301
68.44/68.79 c #Conflicts: 21000 | #Constraints: 68301
68.44/68.79 c INPROCESSING
68.44/68.79 c GARBAGE COLLECT
68.44/68.79 c #Conflicts: 22000 | #Constraints: 66148
68.44/68.79 c #Conflicts: 23000 | #Constraints: 67148
68.44/68.79 c #Conflicts: 24000 | #Constraints: 68148
68.44/68.79 c #Conflicts: 25000 | #Constraints: 69148
68.44/68.79 c INPROCESSING
68.44/68.79 c rational objective 60
74.53/74.88 c #Conflicts: 26000 | #Constraints: 66823
74.53/74.88 c #Conflicts: 27000 | #Constraints: 67823
74.53/74.88 c #Conflicts: 28000 | #Constraints: 68823
74.53/74.88 c #Conflicts: 29000 | #Constraints: 69823
74.53/74.88 c INPROCESSING
74.53/74.88 c GARBAGE COLLECT
74.53/74.88 c #Conflicts: 30000 | #Constraints: 67208
74.53/74.88 c #Conflicts: 31000 | #Constraints: 68208
74.53/74.88 c #Conflicts: 32000 | #Constraints: 69208
74.53/74.88 c #Conflicts: 33000 | #Constraints: 70208
74.53/74.88 c INPROCESSING
74.53/74.88 c GARBAGE COLLECT
74.53/74.88 c #Conflicts: 34000 | #Constraints: 67402
74.53/74.88 c #Conflicts: 35000 | #Constraints: 68402
74.53/74.88 c #Conflicts: 36000 | #Constraints: 69402
74.53/74.88 c #Conflicts: 37000 | #Constraints: 70402
74.53/74.88 c INPROCESSING
74.53/74.88 c rational objective 60
126.36/126.84 c #Conflicts: 38000 | #Constraints: 67486
126.36/126.84 c #Conflicts: 39000 | #Constraints: 68486
126.36/126.84 c #Conflicts: 40000 | #Constraints: 69486
126.36/126.84 c #Conflicts: 41000 | #Constraints: 70486
126.36/126.84 c INPROCESSING
126.36/126.84 c GARBAGE COLLECT
126.36/126.84 c rational objective 60
160.67/161.23 c #Conflicts: 42000 | #Constraints: 67317
160.67/161.23 c #Conflicts: 43000 | #Constraints: 68317
160.67/161.23 c #Conflicts: 44000 | #Constraints: 69317
160.67/161.23 c #Conflicts: 45000 | #Constraints: 70317
160.67/161.23 c #Conflicts: 46000 | #Constraints: 71317
160.67/161.23 c INPROCESSING
160.67/161.23 c GARBAGE COLLECT
160.67/161.23 c #Conflicts: 47000 | #Constraints: 67861
160.67/161.23 c #Conflicts: 48000 | #Constraints: 68861
160.67/161.23 c #Conflicts: 49000 | #Constraints: 69861
160.67/161.23 c #Conflicts: 50000 | #Constraints: 70861
160.67/161.23 c #Conflicts: 51000 | #Constraints: 71861
160.67/161.23 c INPROCESSING
160.67/161.23 c GARBAGE COLLECT
160.67/161.23 c #Conflicts: 52000 | #Constraints: 68234
160.67/161.23 c #Conflicts: 53000 | #Constraints: 69234
160.67/161.23 c #Conflicts: 54000 | #Constraints: 70234
160.67/161.23 c #Conflicts: 55000 | #Constraints: 71234
160.67/161.23 c #Conflicts: 56000 | #Constraints: 72234
160.67/161.23 c INPROCESSING
160.67/161.23 c GARBAGE COLLECT
160.67/161.23 c #Conflicts: 57000 | #Constraints: 68411
160.67/161.23 c #Conflicts: 58000 | #Constraints: 69411
160.67/161.23 c #Conflicts: 59000 | #Constraints: 70411
160.67/161.23 c #Conflicts: 60000 | #Constraints: 71411
160.67/161.23 c #Conflicts: 61000 | #Constraints: 72411
160.67/161.23 c INPROCESSING
160.67/161.23 c GARBAGE COLLECT
160.67/161.23 c #Conflicts: 62000 | #Constraints: 68405
160.67/161.23 c bounds - >= 70 @ 158.603
189.68/190.35 c #Conflicts: 63000 | #Constraints: 69417
189.68/190.35 c #Conflicts: 64000 | #Constraints: 70417
189.68/190.35 c #Conflicts: 65000 | #Constraints: 71417
189.68/190.35 c #Conflicts: 66000 | #Constraints: 72417
189.68/190.35 c INPROCESSING
189.68/190.35 c GARBAGE COLLECT
189.68/190.35 c #Conflicts: 67000 | #Constraints: 68215
189.68/190.35 c #Conflicts: 68000 | #Constraints: 69215
189.68/190.35 c #Conflicts: 69000 | #Constraints: 70215
189.68/190.35 c #Conflicts: 70000 | #Constraints: 71215
189.68/190.35 c #Conflicts: 71000 | #Constraints: 72215
189.68/190.35 c #Conflicts: 72000 | #Constraints: 73215
189.68/190.35 c INPROCESSING
189.68/190.35 c GARBAGE COLLECT
189.68/190.35 c #Conflicts: 73000 | #Constraints: 68814
189.68/190.35 c #Conflicts: 74000 | #Constraints: 69814
189.68/190.35 c #Conflicts: 75000 | #Constraints: 70814
189.68/190.35 c #Conflicts: 76000 | #Constraints: 71814
189.68/190.35 c #Conflicts: 77000 | #Constraints: 72814
189.68/190.35 c #Conflicts: 78000 | #Constraints: 73814
189.68/190.35 c INPROCESSING
189.68/190.35 c GARBAGE COLLECT
189.68/190.35 c rational objective 70
231.66/232.48 c #Conflicts: 79000 | #Constraints: 69211
231.66/232.48 c #Conflicts: 80000 | #Constraints: 70211
231.66/232.48 c #Conflicts: 81000 | #Constraints: 71211
231.66/232.48 c #Conflicts: 82000 | #Constraints: 72212
231.66/232.48 c #Conflicts: 83000 | #Constraints: 73212
231.66/232.48 c #Conflicts: 84000 | #Constraints: 74212
231.66/232.48 c INPROCESSING
231.66/232.48 c GARBAGE COLLECT
231.66/232.48 c #Conflicts: 85000 | #Constraints: 69411
231.66/232.48 c #Conflicts: 86000 | #Constraints: 70411
231.66/232.48 c #Conflicts: 87000 | #Constraints: 71411
231.66/232.48 c #Conflicts: 88000 | #Constraints: 72411
231.66/232.48 c #Conflicts: 89000 | #Constraints: 73411
231.66/232.48 c #Conflicts: 90000 | #Constraints: 74411
231.66/232.48 c INPROCESSING
231.66/232.48 c GARBAGE COLLECT
231.66/232.48 c #Conflicts: 91000 | #Constraints: 69412
231.66/232.48 c #Conflicts: 92000 | #Constraints: 70412
231.66/232.48 c #Conflicts: 93000 | #Constraints: 71412
231.66/232.48 c #Conflicts: 94000 | #Constraints: 72412
231.66/232.48 c #Conflicts: 95000 | #Constraints: 73412
231.66/232.48 c #Conflicts: 96000 | #Constraints: 74412
231.66/232.48 c INPROCESSING
231.66/232.48 c GARBAGE COLLECT
231.66/232.48 c #Conflicts: 97000 | #Constraints: 69210
231.66/232.48 c #Conflicts: 98000 | #Constraints: 70210
231.66/232.48 c #Conflicts: 99000 | #Constraints: 71210
231.66/232.48 c #Conflicts: 100000 | #Constraints: 72210
231.66/232.48 c #Conflicts: 101000 | #Constraints: 73210
231.66/232.48 c #Conflicts: 102000 | #Constraints: 74210
231.66/232.48 c #Conflicts: 103000 | #Constraints: 75210
231.66/232.48 c INPROCESSING
231.66/232.48 c GARBAGE COLLECT
231.66/232.48 c #Conflicts: 104000 | #Constraints: 69816
231.66/232.48 c #Conflicts: 105000 | #Constraints: 70816
231.66/232.48 c #Conflicts: 106000 | #Constraints: 71816
231.66/232.48 c #Conflicts: 107000 | #Constraints: 72816
231.66/232.48 c #Conflicts: 108000 | #Constraints: 73816
231.66/232.48 c #Conflicts: 109000 | #Constraints: 74816
231.66/232.48 c #Conflicts: 110000 | #Constraints: 75816
231.66/232.48 c INPROCESSING
231.66/232.48 c GARBAGE COLLECT
231.66/232.48 c rational objective 70
268.65/269.58 c #Conflicts: 111000 | #Constraints: 70219
268.65/269.58 c #Conflicts: 112000 | #Constraints: 71219
268.65/269.58 c #Conflicts: 113000 | #Constraints: 72219
268.65/269.58 c #Conflicts: 114000 | #Constraints: 73219
268.65/269.58 c #Conflicts: 115000 | #Constraints: 74219
268.65/269.58 c #Conflicts: 116000 | #Constraints: 75219
268.65/269.58 c #Conflicts: 117000 | #Constraints: 76219
268.65/269.58 c INPROCESSING
268.65/269.58 c GARBAGE COLLECT
268.65/269.58 c rational objective 70
317.21/318.21 c #Conflicts: 118000 | #Constraints: 70424
317.21/318.21 c #Conflicts: 119000 | #Constraints: 71424
317.21/318.21 c #Conflicts: 120000 | #Constraints: 72424
317.21/318.21 c #Conflicts: 121000 | #Constraints: 73424
317.21/318.21 c #Conflicts: 122000 | #Constraints: 74424
317.21/318.21 c #Conflicts: 123000 | #Constraints: 75424
317.21/318.21 c #Conflicts: 124000 | #Constraints: 76424
317.21/318.21 c INPROCESSING
317.21/318.21 c GARBAGE COLLECT
317.21/318.21 c #Conflicts: 125000 | #Constraints: 70426
317.21/318.21 c #Conflicts: 126000 | #Constraints: 71426
317.21/318.21 c #Conflicts: 127000 | #Constraints: 72426
317.21/318.21 c #Conflicts: 128000 | #Constraints: 73426
317.21/318.21 c #Conflicts: 129000 | #Constraints: 74426
317.21/318.21 c #Conflicts: 130000 | #Constraints: 75426
317.21/318.21 c #Conflicts: 131000 | #Constraints: 76426
317.21/318.21 c INPROCESSING
317.21/318.21 c GARBAGE COLLECT
317.21/318.21 c rational objective 70
354.30/355.44 c #Conflicts: 132000 | #Constraints: 70288
354.30/355.44 c #Conflicts: 133000 | #Constraints: 71288
354.30/355.44 c #Conflicts: 134000 | #Constraints: 72288
354.30/355.44 c #Conflicts: 135000 | #Constraints: 73288
354.30/355.44 c #Conflicts: 136000 | #Constraints: 74288
354.30/355.44 c #Conflicts: 137000 | #Constraints: 75288
354.30/355.44 c #Conflicts: 138000 | #Constraints: 76288
354.30/355.44 c #Conflicts: 139000 | #Constraints: 77288
354.30/355.44 c INPROCESSING
354.30/355.44 c GARBAGE COLLECT
354.30/355.44 c #Conflicts: 140000 | #Constraints: 70854
354.30/355.44 c #Conflicts: 141000 | #Constraints: 71854
354.30/355.44 c #Conflicts: 142000 | #Constraints: 72854
354.30/355.44 c #Conflicts: 143000 | #Constraints: 73855
354.30/355.44 c #Conflicts: 144000 | #Constraints: 74855
354.30/355.44 c #Conflicts: 145000 | #Constraints: 75855
354.30/355.44 c #Conflicts: 146000 | #Constraints: 76855
354.30/355.44 c #Conflicts: 147000 | #Constraints: 77855
354.30/355.44 c INPROCESSING
354.30/355.44 c GARBAGE COLLECT
354.30/355.44 c #Conflicts: 148000 | #Constraints: 71244
354.30/355.44 c #Conflicts: 149000 | #Constraints: 72244
354.30/355.44 c #Conflicts: 150000 | #Constraints: 73244
354.30/355.44 c #Conflicts: 151000 | #Constraints: 74244
354.30/355.44 c #Conflicts: 152000 | #Constraints: 75244
354.30/355.44 c #Conflicts: 153000 | #Constraints: 76244
354.30/355.44 c #Conflicts: 154000 | #Constraints: 77244
354.30/355.44 c #Conflicts: 155000 | #Constraints: 78244
354.30/355.44 c INPROCESSING
354.30/355.44 c GARBAGE COLLECT
354.30/355.44 c #Conflicts: 156000 | #Constraints: 71426
354.30/355.44 c #Conflicts: 157000 | #Constraints: 72426
354.30/355.44 c #Conflicts: 158000 | #Constraints: 73426
354.30/355.44 c #Conflicts: 159000 | #Constraints: 74426
354.30/355.44 c #Conflicts: 160000 | #Constraints: 75426
354.30/355.44 c #Conflicts: 161000 | #Constraints: 76426
354.30/355.44 c #Conflicts: 162000 | #Constraints: 77426
354.30/355.44 c #Conflicts: 163000 | #Constraints: 78426
354.30/355.44 c INPROCESSING
354.30/355.44 c GARBAGE COLLECT
354.30/355.44 c rational objective 70
396.18/397.44 c #Conflicts: 164000 | #Constraints: 71432
396.18/397.44 c #Conflicts: 165000 | #Constraints: 72432
396.18/397.44 c #Conflicts: 166000 | #Constraints: 73432
396.18/397.44 c #Conflicts: 167000 | #Constraints: 74432
396.18/397.44 c #Conflicts: 168000 | #Constraints: 75432
396.18/397.44 c #Conflicts: 169000 | #Constraints: 76432
396.18/397.44 c #Conflicts: 170000 | #Constraints: 77432
396.18/397.44 c #Conflicts: 171000 | #Constraints: 78432
396.18/397.44 c INPROCESSING
396.18/397.44 c GARBAGE COLLECT
396.18/397.44 c #Conflicts: 172000 | #Constraints: 71226
396.18/397.44 c #Conflicts: 173000 | #Constraints: 72226
396.18/397.44 c #Conflicts: 174000 | #Constraints: 73226
396.18/397.44 c #Conflicts: 175000 | #Constraints: 74226
396.18/397.44 c #Conflicts: 176000 | #Constraints: 75226
396.18/397.44 c #Conflicts: 177000 | #Constraints: 76226
396.18/397.44 c #Conflicts: 178000 | #Constraints: 77226
396.18/397.44 c #Conflicts: 179000 | #Constraints: 78226
396.18/397.44 c #Conflicts: 180000 | #Constraints: 79226
396.18/397.44 c INPROCESSING
396.18/397.44 c GARBAGE COLLECT
396.18/397.44 c rational objective 70
440.15/441.59 c #Conflicts: 181000 | #Constraints: 71830
440.15/441.59 c #Conflicts: 182000 | #Constraints: 72830
440.15/441.59 c #Conflicts: 183000 | #Constraints: 73830
440.15/441.59 c #Conflicts: 184000 | #Constraints: 74830
440.15/441.59 c #Conflicts: 185000 | #Constraints: 75830
440.15/441.59 c #Conflicts: 186000 | #Constraints: 76830
440.15/441.59 c #Conflicts: 187000 | #Constraints: 77830
440.15/441.59 c #Conflicts: 188000 | #Constraints: 78830
440.15/441.59 c #Conflicts: 189000 | #Constraints: 79830
440.15/441.59 c INPROCESSING
440.15/441.59 c GARBAGE COLLECT
440.15/441.59 c rational objective 70
474.85/476.31 c #Conflicts: 190000 | #Constraints: 72277
474.85/476.31 c #Conflicts: 191000 | #Constraints: 73277
474.85/476.31 c #Conflicts: 192000 | #Constraints: 74277
474.85/476.31 c #Conflicts: 193000 | #Constraints: 75277
474.85/476.31 c #Conflicts: 194000 | #Constraints: 76277
474.85/476.31 c #Conflicts: 195000 | #Constraints: 77277
474.85/476.31 c #Conflicts: 196000 | #Constraints: 78277
474.85/476.31 c #Conflicts: 197000 | #Constraints: 79277
474.85/476.31 c #Conflicts: 198000 | #Constraints: 80277
474.85/476.31 c INPROCESSING
474.85/476.31 c GARBAGE COLLECT
474.85/476.31 c #Conflicts: 199000 | #Constraints: 72448
474.85/476.31 c #Conflicts: 200000 | #Constraints: 73448
474.85/476.31 c #Conflicts: 201000 | #Constraints: 74448
474.85/476.31 c #Conflicts: 202000 | #Constraints: 75448
474.85/476.31 c #Conflicts: 203000 | #Constraints: 76448
474.85/476.31 c #Conflicts: 204000 | #Constraints: 77448
474.85/476.31 c #Conflicts: 205000 | #Constraints: 78448
474.85/476.31 c #Conflicts: 206000 | #Constraints: 79448
474.85/476.31 c #Conflicts: 207000 | #Constraints: 80448
474.85/476.31 c INPROCESSING
474.85/476.31 c GARBAGE COLLECT
474.85/476.31 c bounds - >= 80 @ 470.995
540.56/542.24 c #Conflicts: 208000 | #Constraints: 72448
540.56/542.24 c #Conflicts: 209000 | #Constraints: 73448
540.56/542.24 c #Conflicts: 210000 | #Constraints: 74448
540.56/542.24 c #Conflicts: 211000 | #Constraints: 75448
540.56/542.24 c #Conflicts: 212000 | #Constraints: 76448
540.56/542.24 c #Conflicts: 213000 | #Constraints: 77448
540.56/542.24 c #Conflicts: 214000 | #Constraints: 78448
540.56/542.24 c #Conflicts: 215000 | #Constraints: 79448
540.56/542.24 c #Conflicts: 216000 | #Constraints: 80448
540.56/542.24 c INPROCESSING
540.56/542.24 c GARBAGE COLLECT
540.56/542.24 c rational objective 80
592.91/594.79 c #Conflicts: 217000 | #Constraints: 72240
592.91/594.79 c #Conflicts: 218000 | #Constraints: 73240
592.91/594.79 c #Conflicts: 219000 | #Constraints: 74240
592.91/594.79 c #Conflicts: 220000 | #Constraints: 75240
592.91/594.79 c #Conflicts: 221000 | #Constraints: 76240
592.91/594.79 c #Conflicts: 222000 | #Constraints: 77240
592.91/594.79 c #Conflicts: 223000 | #Constraints: 78240
592.91/594.79 c #Conflicts: 224000 | #Constraints: 79240
592.91/594.79 c #Conflicts: 225000 | #Constraints: 80240
592.91/594.79 c #Conflicts: 226000 | #Constraints: 81240
592.91/594.79 c INPROCESSING
592.91/594.79 c GARBAGE COLLECT
592.91/594.79 c #Conflicts: 227000 | #Constraints: 72829
592.91/594.79 c #Conflicts: 228000 | #Constraints: 73829
592.91/594.79 c #Conflicts: 229000 | #Constraints: 74830
592.91/594.79 c #Conflicts: 230000 | #Constraints: 75830
592.91/594.79 c #Conflicts: 231000 | #Constraints: 76830
592.91/594.79 c #Conflicts: 232000 | #Constraints: 77830
592.91/594.79 c #Conflicts: 233000 | #Constraints: 78830
592.91/594.79 c #Conflicts: 234000 | #Constraints: 79830
592.91/594.79 c #Conflicts: 235000 | #Constraints: 80830
592.91/594.79 c #Conflicts: 236000 | #Constraints: 81830
592.91/594.79 c INPROCESSING
592.91/594.79 c GARBAGE COLLECT
592.91/594.79 c #Conflicts: 237000 | #Constraints: 72956
592.91/594.79 c #Conflicts: 238000 | #Constraints: 73956
592.91/594.79 c #Conflicts: 239000 | #Constraints: 74956
592.91/594.79 c #Conflicts: 240000 | #Constraints: 75956
592.91/594.79 c #Conflicts: 241000 | #Constraints: 76956
592.91/594.79 c #Conflicts: 242000 | #Constraints: 77956
592.91/594.79 c #Conflicts: 243000 | #Constraints: 78956
592.91/594.79 c #Conflicts: 244000 | #Constraints: 79956
592.91/594.79 c #Conflicts: 245000 | #Constraints: 80956
592.91/594.79 c #Conflicts: 246000 | #Constraints: 81956
592.91/594.79 c INPROCESSING
592.91/594.79 c GARBAGE COLLECT
592.91/594.79 c #Conflicts: 247000 | #Constraints: 73302
592.91/594.79 c #Conflicts: 248000 | #Constraints: 74302
592.91/594.79 c #Conflicts: 249000 | #Constraints: 75302
592.91/594.79 c #Conflicts: 250000 | #Constraints: 76302
592.91/594.79 c #Conflicts: 251000 | #Constraints: 77302
592.91/594.79 c #Conflicts: 252000 | #Constraints: 78302
592.91/594.79 c #Conflicts: 253000 | #Constraints: 79302
592.91/594.79 c #Conflicts: 254000 | #Constraints: 80302
592.91/594.79 c #Conflicts: 255000 | #Constraints: 81302
592.91/594.79 c #Conflicts: 256000 | #Constraints: 82302
592.91/594.79 c INPROCESSING
592.91/594.79 c GARBAGE COLLECT
592.91/594.79 c #Conflicts: 257000 | #Constraints: 73362
592.91/594.79 c #Conflicts: 258000 | #Constraints: 74362
592.91/594.79 c #Conflicts: 259000 | #Constraints: 75362
592.91/594.79 c #Conflicts: 260000 | #Constraints: 76362
592.91/594.79 c #Conflicts: 261000 | #Constraints: 77362
592.91/594.79 c #Conflicts: 262000 | #Constraints: 78362
592.91/594.79 c #Conflicts: 263000 | #Constraints: 79362
592.91/594.79 c #Conflicts: 264000 | #Constraints: 80362
592.91/594.79 c #Conflicts: 265000 | #Constraints: 81362
592.91/594.79 c #Conflicts: 266000 | #Constraints: 82362
592.91/594.79 c INPROCESSING
592.91/594.79 c GARBAGE COLLECT
592.91/594.79 c rational objective 80
713.65/715.86 c #Conflicts: 267000 | #Constraints: 73199
713.65/715.86 c #Conflicts: 268000 | #Constraints: 74199
713.65/715.86 c #Conflicts: 269000 | #Constraints: 75199
713.65/715.86 c #Conflicts: 270000 | #Constraints: 76199
713.65/715.86 c #Conflicts: 271000 | #Constraints: 77199
713.65/715.86 c #Conflicts: 272000 | #Constraints: 78199
713.65/715.86 c #Conflicts: 273000 | #Constraints: 79199
713.65/715.86 c #Conflicts: 274000 | #Constraints: 80199
713.65/715.86 c #Conflicts: 275000 | #Constraints: 81199
713.65/715.86 c #Conflicts: 276000 | #Constraints: 82199
713.65/715.86 c #Conflicts: 277000 | #Constraints: 83199
713.65/715.86 c INPROCESSING
713.65/715.86 c GARBAGE COLLECT
713.65/715.86 c rational objective 80
755.62/757.93 c #Conflicts: 278000 | #Constraints: 73815
755.62/757.93 c #Conflicts: 279000 | #Constraints: 74815
755.62/757.93 c #Conflicts: 280000 | #Constraints: 75815
755.62/757.93 c #Conflicts: 281000 | #Constraints: 76815
755.62/757.93 c #Conflicts: 282000 | #Constraints: 77815
755.62/757.93 c #Conflicts: 283000 | #Constraints: 78815
755.62/757.93 c #Conflicts: 284000 | #Constraints: 79815
755.62/757.93 c #Conflicts: 285000 | #Constraints: 80815
755.62/757.93 c #Conflicts: 286000 | #Constraints: 81815
755.62/757.93 c #Conflicts: 287000 | #Constraints: 82815
755.62/757.93 c #Conflicts: 288000 | #Constraints: 83815
755.62/757.93 c INPROCESSING
755.62/757.93 c GARBAGE COLLECT
755.62/757.93 c rational objective 80
798.50/800.93 c #Conflicts: 289000 | #Constraints: 74242
798.50/800.93 c #Conflicts: 290000 | #Constraints: 75242
798.50/800.93 c #Conflicts: 291000 | #Constraints: 76242
798.50/800.93 c #Conflicts: 292000 | #Constraints: 77242
798.50/800.93 c #Conflicts: 293000 | #Constraints: 78242
798.50/800.93 c #Conflicts: 294000 | #Constraints: 79242
798.50/800.93 c #Conflicts: 295000 | #Constraints: 80242
798.50/800.93 c #Conflicts: 296000 | #Constraints: 81242
798.50/800.93 c #Conflicts: 297000 | #Constraints: 82242
798.50/800.93 c #Conflicts: 298000 | #Constraints: 83242
798.50/800.93 c #Conflicts: 299000 | #Constraints: 84242
798.50/800.93 c INPROCESSING
798.50/800.93 c GARBAGE COLLECT
798.50/800.93 c #Conflicts: 300000 | #Constraints: 74445
798.50/800.93 c #Conflicts: 301000 | #Constraints: 75445
798.50/800.93 c #Conflicts: 302000 | #Constraints: 76445
798.50/800.93 c #Conflicts: 303000 | #Constraints: 77445
798.50/800.93 c #Conflicts: 304000 | #Constraints: 78445
798.50/800.93 c #Conflicts: 305000 | #Constraints: 79445
798.50/800.93 c #Conflicts: 306000 | #Constraints: 80445
798.50/800.93 c #Conflicts: 307000 | #Constraints: 81445
798.50/800.93 c #Conflicts: 308000 | #Constraints: 82445
798.50/800.93 c #Conflicts: 309000 | #Constraints: 83445
798.50/800.93 c #Conflicts: 310000 | #Constraints: 84445
798.50/800.93 c INPROCESSING
798.50/800.93 c GARBAGE COLLECT
798.50/800.93 c rational objective 80
868.29/871.00 c #Conflicts: 311000 | #Constraints: 74457
868.29/871.00 c #Conflicts: 312000 | #Constraints: 75457
868.29/871.00 c #Conflicts: 313000 | #Constraints: 76457
868.29/871.00 c #Conflicts: 314000 | #Constraints: 77457
868.29/871.00 c #Conflicts: 315000 | #Constraints: 78457
868.29/871.00 c #Conflicts: 316000 | #Constraints: 79457
868.29/871.00 c #Conflicts: 317000 | #Constraints: 80457
868.29/871.00 c #Conflicts: 318000 | #Constraints: 81457
868.29/871.00 c #Conflicts: 319000 | #Constraints: 82457
868.29/871.00 c #Conflicts: 320000 | #Constraints: 83457
868.29/871.00 c #Conflicts: 321000 | #Constraints: 84457
868.29/871.00 c INPROCESSING
868.29/871.00 c GARBAGE COLLECT
868.29/871.00 c #Conflicts: 322000 | #Constraints: 74240
868.29/871.00 c #Conflicts: 323000 | #Constraints: 75240
868.29/871.00 c #Conflicts: 324000 | #Constraints: 76240
868.29/871.00 c #Conflicts: 325000 | #Constraints: 77240
868.29/871.00 c #Conflicts: 326000 | #Constraints: 78240
868.29/871.00 c #Conflicts: 327000 | #Constraints: 79240
868.29/871.00 c #Conflicts: 328000 | #Constraints: 80240
868.29/871.00 c #Conflicts: 329000 | #Constraints: 81240
868.29/871.00 c #Conflicts: 330000 | #Constraints: 82240
868.29/871.00 c #Conflicts: 331000 | #Constraints: 83240
868.29/871.00 c #Conflicts: 332000 | #Constraints: 84240
868.29/871.00 c #Conflicts: 333000 | #Constraints: 85240
868.29/871.00 c INPROCESSING
868.29/871.00 c GARBAGE COLLECT
868.29/871.00 c #Conflicts: 334000 | #Constraints: 74838
868.29/871.00 c #Conflicts: 335000 | #Constraints: 75838
868.29/871.00 c #Conflicts: 336000 | #Constraints: 76838
868.29/871.00 c #Conflicts: 337000 | #Constraints: 77838
868.29/871.00 c #Conflicts: 338000 | #Constraints: 78838
868.29/871.00 c #Conflicts: 339000 | #Constraints: 79838
868.29/871.00 c #Conflicts: 340000 | #Constraints: 80838
868.29/871.00 c #Conflicts: 341000 | #Constraints: 81838
868.29/871.00 c #Conflicts: 342000 | #Constraints: 82838
868.29/871.00 c #Conflicts: 343000 | #Constraints: 83838
868.29/871.00 c #Conflicts: 344000 | #Constraints: 84838
868.29/871.00 c #Conflicts: 345000 | #Constraints: 85838
868.29/871.00 c INPROCESSING
868.29/871.00 c GARBAGE COLLECT
868.29/871.00 c rational objective 80
906.48/909.28 c #Conflicts: 346000 | #Constraints: 75243
906.48/909.28 c #Conflicts: 347000 | #Constraints: 76243
906.48/909.28 c #Conflicts: 348000 | #Constraints: 77243
906.48/909.28 c #Conflicts: 349000 | #Constraints: 78243
906.48/909.28 c #Conflicts: 350000 | #Constraints: 79243
906.48/909.28 c #Conflicts: 351000 | #Constraints: 80243
906.48/909.28 c #Conflicts: 352000 | #Constraints: 81243
906.48/909.28 c #Conflicts: 353000 | #Constraints: 82243
906.48/909.28 c #Conflicts: 354000 | #Constraints: 83243
906.48/909.28 c #Conflicts: 355000 | #Constraints: 84243
906.48/909.28 c #Conflicts: 356000 | #Constraints: 85243
906.48/909.28 c #Conflicts: 357000 | #Constraints: 86243
906.48/909.28 c INPROCESSING
906.48/909.28 c GARBAGE COLLECT
906.48/909.28 c rational objective 80
979.57/982.50 c #Conflicts: 358000 | #Constraints: 75463
979.57/982.50 c #Conflicts: 359000 | #Constraints: 76463
979.57/982.50 c #Conflicts: 360000 | #Constraints: 77463
979.57/982.50 c #Conflicts: 361000 | #Constraints: 78463
979.57/982.50 c #Conflicts: 362000 | #Constraints: 79463
979.57/982.50 c #Conflicts: 363000 | #Constraints: 80463
979.57/982.50 c #Conflicts: 364000 | #Constraints: 81463
979.57/982.50 c #Conflicts: 365000 | #Constraints: 82463
979.57/982.50 c #Conflicts: 366000 | #Constraints: 83463
979.57/982.50 c #Conflicts: 367000 | #Constraints: 84463
979.57/982.50 c #Conflicts: 368000 | #Constraints: 85463
979.57/982.50 c #Conflicts: 369000 | #Constraints: 86463
979.57/982.50 c INPROCESSING
979.57/982.50 c GARBAGE COLLECT
979.57/982.50 c #Conflicts: 370000 | #Constraints: 75445
979.57/982.50 c #Conflicts: 371000 | #Constraints: 76445
979.57/982.50 c #Conflicts: 372000 | #Constraints: 77445
979.57/982.50 c #Conflicts: 373000 | #Constraints: 78445
979.57/982.50 c #Conflicts: 374000 | #Constraints: 79445
979.57/982.50 c #Conflicts: 375000 | #Constraints: 80445
979.57/982.50 c #Conflicts: 376000 | #Constraints: 81445
979.57/982.50 c #Conflicts: 377000 | #Constraints: 82445
979.57/982.50 c #Conflicts: 378000 | #Constraints: 83445
979.57/982.50 c #Conflicts: 379000 | #Constraints: 84445
979.57/982.50 c #Conflicts: 380000 | #Constraints: 85445
979.57/982.50 c #Conflicts: 381000 | #Constraints: 86445
979.57/982.50 c INPROCESSING
979.57/982.50 c GARBAGE COLLECT
979.57/982.50 c rational objective 80
1024.73/1027.88 c #Conflicts: 382000 | #Constraints: 75238
1024.73/1027.88 c #Conflicts: 383000 | #Constraints: 76238
1024.73/1027.88 c #Conflicts: 384000 | #Constraints: 77238
1024.73/1027.88 c #Conflicts: 385000 | #Constraints: 78238
1024.73/1027.88 c #Conflicts: 386000 | #Constraints: 79238
1024.73/1027.88 c #Conflicts: 387000 | #Constraints: 80238
1024.73/1027.88 c #Conflicts: 388000 | #Constraints: 81238
1024.73/1027.88 c #Conflicts: 389000 | #Constraints: 82238
1024.73/1027.88 c #Conflicts: 390000 | #Constraints: 83238
1024.73/1027.88 c #Conflicts: 391000 | #Constraints: 84238
1024.73/1027.88 c #Conflicts: 392000 | #Constraints: 85238
1024.73/1027.88 c #Conflicts: 393000 | #Constraints: 86238
1024.73/1027.88 c #Conflicts: 394000 | #Constraints: 87238
1024.73/1027.88 c INPROCESSING
1024.73/1027.88 c GARBAGE COLLECT
1024.73/1027.88 c rational objective 80
1064.51/1067.78 c #Conflicts: 395000 | #Constraints: 75862
1064.51/1067.78 c #Conflicts: 396000 | #Constraints: 76862
1064.51/1067.78 c #Conflicts: 397000 | #Constraints: 77862
1064.51/1067.78 c #Conflicts: 398000 | #Constraints: 78862
1064.51/1067.78 c #Conflicts: 399000 | #Constraints: 79862
1064.51/1067.78 c #Conflicts: 400000 | #Constraints: 80862
1064.51/1067.78 c #Conflicts: 401000 | #Constraints: 81862
1064.51/1067.78 c #Conflicts: 402000 | #Constraints: 82862
1064.51/1067.78 c #Conflicts: 403000 | #Constraints: 83862
1064.51/1067.78 c #Conflicts: 404000 | #Constraints: 84862
1064.51/1067.78 c #Conflicts: 405000 | #Constraints: 85862
1064.51/1067.78 c #Conflicts: 406000 | #Constraints: 86862
1064.51/1067.78 c #Conflicts: 407000 | #Constraints: 87862
1064.51/1067.78 c INPROCESSING
1064.51/1067.78 c GARBAGE COLLECT
1064.51/1067.78 c #Conflicts: 408000 | #Constraints: 76245
1064.51/1067.78 c #Conflicts: 409000 | #Constraints: 77245
1064.51/1067.78 c #Conflicts: 410000 | #Constraints: 78245
1064.51/1067.78 c #Conflicts: 411000 | #Constraints: 79245
1064.51/1067.78 c #Conflicts: 412000 | #Constraints: 80245
1064.51/1067.78 c #Conflicts: 413000 | #Constraints: 81245
1064.51/1067.78 c #Conflicts: 414000 | #Constraints: 82245
1064.51/1067.78 c #Conflicts: 415000 | #Constraints: 83245
1064.51/1067.78 c #Conflicts: 416000 | #Constraints: 84245
1064.51/1067.78 c #Conflicts: 417000 | #Constraints: 85245
1064.51/1067.78 c #Conflicts: 418000 | #Constraints: 86245
1064.51/1067.78 c #Conflicts: 419000 | #Constraints: 87245
1064.51/1067.78 c #Conflicts: 420000 | #Constraints: 88245
1064.51/1067.78 c INPROCESSING
1064.51/1067.78 c GARBAGE COLLECT
1064.51/1067.78 c rational objective 80
1107.19/1110.55 c #Conflicts: 421000 | #Constraints: 76453
1107.19/1110.55 c #Conflicts: 422000 | #Constraints: 77453
1107.19/1110.55 c #Conflicts: 423000 | #Constraints: 78453
1107.19/1110.55 c #Conflicts: 424000 | #Constraints: 79453
1107.19/1110.55 c #Conflicts: 425000 | #Constraints: 80453
1107.19/1110.55 c #Conflicts: 426000 | #Constraints: 81453
1107.19/1110.55 c #Conflicts: 427000 | #Constraints: 82453
1107.19/1110.55 c #Conflicts: 428000 | #Constraints: 83453
1107.19/1110.55 c #Conflicts: 429000 | #Constraints: 84453
1107.19/1110.55 c #Conflicts: 430000 | #Constraints: 85453
1107.19/1110.55 c #Conflicts: 431000 | #Constraints: 86453
1107.19/1110.55 c #Conflicts: 432000 | #Constraints: 87453
1107.19/1110.55 c #Conflicts: 433000 | #Constraints: 88453
1107.19/1110.55 c INPROCESSING
1107.19/1110.55 c GARBAGE COLLECT
1107.19/1110.55 c rational objective 80
1175.51/1179.10 c #Conflicts: 434000 | #Constraints: 76453
1175.51/1179.10 c #Conflicts: 435000 | #Constraints: 77453
1175.51/1179.10 c #Conflicts: 436000 | #Constraints: 78453
1175.51/1179.10 c #Conflicts: 437000 | #Constraints: 79453
1175.51/1179.10 c #Conflicts: 438000 | #Constraints: 80453
1175.51/1179.10 c #Conflicts: 439000 | #Constraints: 81453
1175.51/1179.10 c #Conflicts: 440000 | #Constraints: 82453
1175.51/1179.10 c #Conflicts: 441000 | #Constraints: 83453
1175.51/1179.10 c #Conflicts: 442000 | #Constraints: 84453
1175.51/1179.10 c #Conflicts: 443000 | #Constraints: 85453
1175.51/1179.10 c #Conflicts: 444000 | #Constraints: 86453
1175.51/1179.10 c #Conflicts: 445000 | #Constraints: 87453
1175.51/1179.10 c #Conflicts: 446000 | #Constraints: 88453
1175.51/1179.10 c INPROCESSING
1175.51/1179.10 c GARBAGE COLLECT
1175.51/1179.10 c #Conflicts: 447000 | #Constraints: 76237
1175.51/1179.10 c #Conflicts: 448000 | #Constraints: 77237
1175.51/1179.10 c #Conflicts: 449000 | #Constraints: 78237
1175.51/1179.10 c #Conflicts: 450000 | #Constraints: 79237
1175.51/1179.10 c #Conflicts: 451000 | #Constraints: 80237
1175.51/1179.10 c #Conflicts: 452000 | #Constraints: 81237
1175.51/1179.10 c #Conflicts: 453000 | #Constraints: 82237
1175.51/1179.10 c #Conflicts: 454000 | #Constraints: 83237
1175.51/1179.10 c #Conflicts: 455000 | #Constraints: 84237
1175.51/1179.10 c #Conflicts: 456000 | #Constraints: 85237
1175.51/1179.10 c #Conflicts: 457000 | #Constraints: 86237
1175.51/1179.10 c #Conflicts: 458000 | #Constraints: 87237
1175.51/1179.10 c #Conflicts: 459000 | #Constraints: 88237
1175.51/1179.10 c #Conflicts: 460000 | #Constraints: 89237
1175.51/1179.10 c INPROCESSING
1175.51/1179.10 c GARBAGE COLLECT
1175.51/1179.10 c rational objective 80
1215.77/1219.45 c #Conflicts: 461000 | #Constraints: 76839
1215.77/1219.45 c #Conflicts: 462000 | #Constraints: 77839
1215.77/1219.45 c #Conflicts: 463000 | #Constraints: 78839
1215.77/1219.45 c #Conflicts: 464000 | #Constraints: 79839
1215.77/1219.45 c #Conflicts: 465000 | #Constraints: 80839
1215.77/1219.45 c #Conflicts: 466000 | #Constraints: 81839
1215.77/1219.45 c #Conflicts: 467000 | #Constraints: 82839
1215.77/1219.45 c #Conflicts: 468000 | #Constraints: 83839
1215.77/1219.45 c #Conflicts: 469000 | #Constraints: 84839
1215.77/1219.45 c #Conflicts: 470000 | #Constraints: 85839
1215.77/1219.45 c #Conflicts: 471000 | #Constraints: 86839
1215.77/1219.45 c #Conflicts: 472000 | #Constraints: 87839
1215.77/1219.45 c #Conflicts: 473000 | #Constraints: 88839
1215.77/1219.45 c #Conflicts: 474000 | #Constraints: 89839
1215.77/1219.45 c INPROCESSING
1215.77/1219.45 c GARBAGE COLLECT
1215.77/1219.45 c rational objective 80
1250.78/1254.51 c #Conflicts: 475000 | #Constraints: 77259
1250.78/1254.51 c #Conflicts: 476000 | #Constraints: 78259
1250.78/1254.51 c #Conflicts: 477000 | #Constraints: 79259
1250.78/1254.51 c #Conflicts: 478000 | #Constraints: 80259
1250.78/1254.51 c #Conflicts: 479000 | #Constraints: 81259
1250.78/1254.51 c #Conflicts: 480000 | #Constraints: 82259
1250.78/1254.51 c #Conflicts: 481000 | #Constraints: 83259
1250.78/1254.51 c #Conflicts: 482000 | #Constraints: 84259
1250.78/1254.51 c #Conflicts: 483000 | #Constraints: 85259
1250.78/1254.51 c #Conflicts: 484000 | #Constraints: 86259
1250.78/1254.51 c #Conflicts: 485000 | #Constraints: 87259
1250.78/1254.51 c #Conflicts: 486000 | #Constraints: 88259
1250.78/1254.51 c #Conflicts: 487000 | #Constraints: 89259
1250.78/1254.51 c #Conflicts: 488000 | #Constraints: 90259
1250.78/1254.51 c INPROCESSING
1250.78/1254.51 c GARBAGE COLLECT
1250.78/1254.51 c rational objective 80
1300.82/1304.71 c #Conflicts: 489000 | #Constraints: 77460
1300.82/1304.71 c #Conflicts: 490000 | #Constraints: 78460
1300.82/1304.71 c #Conflicts: 491000 | #Constraints: 79460
1300.82/1304.71 c #Conflicts: 492000 | #Constraints: 80460
1300.82/1304.71 c #Conflicts: 493000 | #Constraints: 81460
1300.82/1304.71 c #Conflicts: 494000 | #Constraints: 82460
1300.82/1304.71 c #Conflicts: 495000 | #Constraints: 83460
1300.82/1304.71 c #Conflicts: 496000 | #Constraints: 84460
1300.82/1304.71 c #Conflicts: 497000 | #Constraints: 85460
1300.82/1304.71 c #Conflicts: 498000 | #Constraints: 86460
1300.82/1304.71 c #Conflicts: 499000 | #Constraints: 87460
1300.82/1304.71 c #Conflicts: 500000 | #Constraints: 88460
1300.82/1304.71 c #Conflicts: 501000 | #Constraints: 89460
1300.82/1304.71 c #Conflicts: 502000 | #Constraints: 90460
1300.82/1304.71 c INPROCESSING
1300.82/1304.71 c GARBAGE COLLECT
1300.82/1304.71 c rational objective 80
1346.59/1350.69 c #Conflicts: 503000 | #Constraints: 77468
1346.59/1350.69 c #Conflicts: 504000 | #Constraints: 78468
1346.59/1350.69 c #Conflicts: 505000 | #Constraints: 79468
1346.59/1350.69 c #Conflicts: 506000 | #Constraints: 80468
1346.59/1350.69 c #Conflicts: 507000 | #Constraints: 81468
1346.59/1350.69 c #Conflicts: 508000 | #Constraints: 82468
1346.59/1350.69 c #Conflicts: 509000 | #Constraints: 83468
1346.59/1350.69 c #Conflicts: 510000 | #Constraints: 84468
1346.59/1350.69 c #Conflicts: 511000 | #Constraints: 85468
1346.59/1350.69 c #Conflicts: 512000 | #Constraints: 86468
1346.59/1350.69 c #Conflicts: 513000 | #Constraints: 87468
1346.59/1350.69 c #Conflicts: 514000 | #Constraints: 88468
1346.59/1350.69 c #Conflicts: 515000 | #Constraints: 89468
1346.59/1350.69 c #Conflicts: 516000 | #Constraints: 90468
1346.59/1350.69 c INPROCESSING
1346.59/1350.69 c GARBAGE COLLECT
1346.59/1350.69 c rational objective 80
1394.26/1398.48 c #Conflicts: 517000 | #Constraints: 77289
1394.26/1398.48 c #Conflicts: 518000 | #Constraints: 78289
1394.26/1398.48 c #Conflicts: 519000 | #Constraints: 79289
1394.26/1398.48 c #Conflicts: 520000 | #Constraints: 80289
1394.26/1398.48 c #Conflicts: 521000 | #Constraints: 81289
1394.26/1398.48 c #Conflicts: 522000 | #Constraints: 82289
1394.26/1398.48 c #Conflicts: 523000 | #Constraints: 83289
1394.26/1398.48 c #Conflicts: 524000 | #Constraints: 84289
1394.26/1398.48 c #Conflicts: 525000 | #Constraints: 85289
1394.26/1398.48 c #Conflicts: 526000 | #Constraints: 86289
1394.26/1398.48 c #Conflicts: 527000 | #Constraints: 87289
1394.26/1398.48 c #Conflicts: 528000 | #Constraints: 88289
1394.26/1398.48 c #Conflicts: 529000 | #Constraints: 89289
1394.26/1398.48 c #Conflicts: 530000 | #Constraints: 90289
1394.26/1398.48 c #Conflicts: 531000 | #Constraints: 91289
1394.26/1398.48 c INPROCESSING
1394.26/1398.48 c GARBAGE COLLECT
1394.26/1398.48 c #Conflicts: 532000 | #Constraints: 77863
1394.26/1398.48 c #Conflicts: 533000 | #Constraints: 78863
1394.26/1398.48 c #Conflicts: 534000 | #Constraints: 79863
1394.26/1398.48 c #Conflicts: 535000 | #Constraints: 80863
1394.26/1398.48 c #Conflicts: 536000 | #Constraints: 81863
1394.26/1398.48 c #Conflicts: 537000 | #Constraints: 82863
1394.26/1398.48 c #Conflicts: 538000 | #Constraints: 83863
1394.26/1398.48 c #Conflicts: 539000 | #Constraints: 84863
1394.26/1398.48 c #Conflicts: 540000 | #Constraints: 85863
1394.26/1398.48 c #Conflicts: 541000 | #Constraints: 86863
1394.26/1398.48 c #Conflicts: 542000 | #Constraints: 87863
1394.26/1398.48 c #Conflicts: 543000 | #Constraints: 88863
1394.26/1398.48 c #Conflicts: 544000 | #Constraints: 89863
1394.26/1398.48 c #Conflicts: 545000 | #Constraints: 90863
1394.26/1398.48 c #Conflicts: 546000 | #Constraints: 91863
1394.26/1398.48 c INPROCESSING
1394.26/1398.48 c GARBAGE COLLECT
1394.26/1398.48 c rational objective 80
1447.50/1451.88 c #Conflicts: 547000 | #Constraints: 78259
1447.50/1451.88 c #Conflicts: 548000 | #Constraints: 79259
1447.50/1451.88 c #Conflicts: 549000 | #Constraints: 80259
1447.50/1451.88 c #Conflicts: 550000 | #Constraints: 81259
1447.50/1451.88 c #Conflicts: 551000 | #Constraints: 82259
1447.50/1451.88 c #Conflicts: 552000 | #Constraints: 83259
1447.50/1451.88 c #Conflicts: 553000 | #Constraints: 84259
1447.50/1451.88 c #Conflicts: 554000 | #Constraints: 85259
1447.50/1451.88 c #Conflicts: 555000 | #Constraints: 86259
1447.50/1451.88 c #Conflicts: 556000 | #Constraints: 87259
1447.50/1451.88 c #Conflicts: 557000 | #Constraints: 88259
1447.50/1451.88 c #Conflicts: 558000 | #Constraints: 89259
1447.50/1451.88 c #Conflicts: 559000 | #Constraints: 90259
1447.50/1451.88 c #Conflicts: 560000 | #Constraints: 91259
1447.50/1451.88 c #Conflicts: 561000 | #Constraints: 92260
1447.50/1451.88 c INPROCESSING
1447.50/1451.88 c GARBAGE COLLECT
1447.50/1451.88 c rational objective 80
1497.56/1502.06 c #Conflicts: 562000 | #Constraints: 78455
1497.56/1502.06 c #Conflicts: 563000 | #Constraints: 79455
1497.56/1502.06 c #Conflicts: 564000 | #Constraints: 80455
1497.56/1502.06 c #Conflicts: 565000 | #Constraints: 81455
1497.56/1502.06 c #Conflicts: 566000 | #Constraints: 82455
1497.56/1502.06 c #Conflicts: 567000 | #Constraints: 83455
1497.56/1502.06 c #Conflicts: 568000 | #Constraints: 84455
1497.56/1502.06 c #Conflicts: 569000 | #Constraints: 85455
1497.56/1502.06 c #Conflicts: 570000 | #Constraints: 86455
1497.56/1502.06 c #Conflicts: 571000 | #Constraints: 87455
1497.56/1502.06 c #Conflicts: 572000 | #Constraints: 88455
1497.56/1502.06 c #Conflicts: 573000 | #Constraints: 89455
1497.56/1502.06 c #Conflicts: 574000 | #Constraints: 90455
1497.56/1502.06 c #Conflicts: 575000 | #Constraints: 91455
1497.56/1502.06 c #Conflicts: 576000 | #Constraints: 92455
1497.56/1502.06 c INPROCESSING
1497.56/1502.06 c GARBAGE COLLECT
1497.56/1502.06 c #Conflicts: 577000 | #Constraints: 78455
1497.56/1502.06 c #Conflicts: 578000 | #Constraints: 79455
1497.56/1502.06 c #Conflicts: 579000 | #Constraints: 80455
1497.56/1502.06 c #Conflicts: 580000 | #Constraints: 81455
1497.56/1502.06 c #Conflicts: 581000 | #Constraints: 82455
1497.56/1502.06 c #Conflicts: 582000 | #Constraints: 83455
1497.56/1502.06 c #Conflicts: 583000 | #Constraints: 84455
1497.56/1502.06 c #Conflicts: 584000 | #Constraints: 85455
1497.56/1502.06 c #Conflicts: 585000 | #Constraints: 86455
1497.56/1502.06 c #Conflicts: 586000 | #Constraints: 87455
1497.56/1502.06 c #Conflicts: 587000 | #Constraints: 88455
1497.56/1502.06 c #Conflicts: 588000 | #Constraints: 89455
1497.56/1502.06 c #Conflicts: 589000 | #Constraints: 90455
1497.56/1502.06 c #Conflicts: 590000 | #Constraints: 91455
1497.56/1502.06 c #Conflicts: 591000 | #Constraints: 92455
1497.56/1502.06 c INPROCESSING
1497.56/1502.06 c GARBAGE COLLECT
1497.56/1502.06 c rational objective 80
1576.52/1581.27 c #Conflicts: 592000 | #Constraints: 78253
1576.52/1581.27 c #Conflicts: 593000 | #Constraints: 79253
1576.52/1581.27 c #Conflicts: 594000 | #Constraints: 80253
1576.52/1581.27 c #Conflicts: 595000 | #Constraints: 81253
1576.52/1581.27 c #Conflicts: 596000 | #Constraints: 82253
1576.52/1581.27 c #Conflicts: 597000 | #Constraints: 83253
1576.52/1581.27 c #Conflicts: 598000 | #Constraints: 84253
1576.52/1581.27 c #Conflicts: 599000 | #Constraints: 85253
1576.52/1581.27 c #Conflicts: 600000 | #Constraints: 86253
1576.52/1581.27 c #Conflicts: 601000 | #Constraints: 87253
1576.52/1581.27 c #Conflicts: 602000 | #Constraints: 88253
1576.52/1581.27 c #Conflicts: 603000 | #Constraints: 89253
1576.52/1581.27 c #Conflicts: 604000 | #Constraints: 90253
1576.52/1581.27 c #Conflicts: 605000 | #Constraints: 91253
1576.52/1581.27 c #Conflicts: 606000 | #Constraints: 92253
1576.52/1581.27 c #Conflicts: 607000 | #Constraints: 93253
1576.52/1581.27 c INPROCESSING
1576.52/1581.27 c GARBAGE COLLECT
1576.52/1581.27 c rational objective 80
1613.81/1618.68 c #Conflicts: 608000 | #Constraints: 78854
1613.81/1618.68 c #Conflicts: 609000 | #Constraints: 79854
1613.81/1618.68 c #Conflicts: 610000 | #Constraints: 80854
1613.81/1618.68 c #Conflicts: 611000 | #Constraints: 81854
1613.81/1618.68 c #Conflicts: 612000 | #Constraints: 82854
1613.81/1618.68 c #Conflicts: 613000 | #Constraints: 83854
1613.81/1618.68 c #Conflicts: 614000 | #Constraints: 84854
1613.81/1618.68 c #Conflicts: 615000 | #Constraints: 85854
1613.81/1618.68 c #Conflicts: 616000 | #Constraints: 86854
1613.81/1618.68 c #Conflicts: 617000 | #Constraints: 87854
1613.81/1618.68 c #Conflicts: 618000 | #Constraints: 88854
1613.81/1618.68 c #Conflicts: 619000 | #Constraints: 89854
1613.81/1618.68 c #Conflicts: 620000 | #Constraints: 90854
1613.81/1618.68 c #Conflicts: 621000 | #Constraints: 91854
1613.81/1618.68 c #Conflicts: 622000 | #Constraints: 92854
1613.81/1618.68 c #Conflicts: 623000 | #Constraints: 93854
1613.81/1618.68 c INPROCESSING
1613.81/1618.68 c GARBAGE COLLECT
1613.81/1618.68 c rational objective 80
1653.58/1658.52 c #Conflicts: 624000 | #Constraints: 79244
1653.58/1658.52 c #Conflicts: 625000 | #Constraints: 80244
1653.58/1658.52 c #Conflicts: 626000 | #Constraints: 81244
1653.58/1658.52 c #Conflicts: 627000 | #Constraints: 82244
1653.58/1658.52 c #Conflicts: 628000 | #Constraints: 83244
1653.58/1658.52 c #Conflicts: 629000 | #Constraints: 84244
1653.58/1658.52 c #Conflicts: 630000 | #Constraints: 85244
1653.58/1658.52 c #Conflicts: 631000 | #Constraints: 86244
1653.58/1658.52 c #Conflicts: 632000 | #Constraints: 87244
1653.58/1658.52 c #Conflicts: 633000 | #Constraints: 88244
1653.58/1658.52 c #Conflicts: 634000 | #Constraints: 89244
1653.58/1658.52 c #Conflicts: 635000 | #Constraints: 90244
1653.58/1658.52 c #Conflicts: 636000 | #Constraints: 91244
1653.58/1658.52 c #Conflicts: 637000 | #Constraints: 92244
1653.58/1658.52 c #Conflicts: 638000 | #Constraints: 93244
1653.58/1658.52 c #Conflicts: 639000 | #Constraints: 94244
1653.58/1658.52 c INPROCESSING
1653.58/1658.52 c GARBAGE COLLECT
1653.58/1658.52 c rational objective 80
1722.38/1727.54 c #Conflicts: 640000 | #Constraints: 79439
1722.38/1727.54 c #Conflicts: 641000 | #Constraints: 80439
1722.38/1727.54 c #Conflicts: 642000 | #Constraints: 81439
1722.38/1727.54 c #Conflicts: 643000 | #Constraints: 82439
1722.38/1727.54 c #Conflicts: 644000 | #Constraints: 83439
1722.38/1727.54 c #Conflicts: 645000 | #Constraints: 84439
1722.38/1727.54 c #Conflicts: 646000 | #Constraints: 85439
1722.38/1727.54 c #Conflicts: 647000 | #Constraints: 86439
1722.38/1727.54 c #Conflicts: 648000 | #Constraints: 87439
1722.38/1727.54 c #Conflicts: 649000 | #Constraints: 88439
1722.38/1727.54 c #Conflicts: 650000 | #Constraints: 89439
1722.38/1727.54 c #Conflicts: 651000 | #Constraints: 90439
1722.38/1727.54 c #Conflicts: 652000 | #Constraints: 91439
1722.38/1727.54 c #Conflicts: 653000 | #Constraints: 92439
1722.38/1727.54 c #Conflicts: 654000 | #Constraints: 93439
1722.38/1727.54 c #Conflicts: 655000 | #Constraints: 94439
1722.38/1727.54 c INPROCESSING
1722.38/1727.54 c GARBAGE COLLECT
1722.38/1727.54 c rational objective 80
1763.27/1768.53 c #Conflicts: 656000 | #Constraints: 79448
1763.27/1768.53 c #Conflicts: 657000 | #Constraints: 80448
1763.27/1768.53 c #Conflicts: 658000 | #Constraints: 81448
1763.27/1768.53 c #Conflicts: 659000 | #Constraints: 82448
1763.27/1768.53 c #Conflicts: 660000 | #Constraints: 83448
1763.27/1768.53 c #Conflicts: 661000 | #Constraints: 84448
1763.27/1768.53 c #Conflicts: 662000 | #Constraints: 85448
1763.27/1768.53 c #Conflicts: 663000 | #Constraints: 86448
1763.27/1768.53 c #Conflicts: 664000 | #Constraints: 87448
1763.27/1768.53 c #Conflicts: 665000 | #Constraints: 88448
1763.27/1768.53 c #Conflicts: 666000 | #Constraints: 89448
1763.27/1768.53 c #Conflicts: 667000 | #Constraints: 90448
1763.27/1768.53 c #Conflicts: 668000 | #Constraints: 91448
1763.27/1768.53 c #Conflicts: 669000 | #Constraints: 92448
1763.27/1768.53 c #Conflicts: 670000 | #Constraints: 93448
1763.27/1768.53 c #Conflicts: 671000 | #Constraints: 94448
1763.27/1768.53 c INPROCESSING
1763.27/1768.53 c GARBAGE COLLECT
1763.27/1768.53 c rational objective 80
1810.13/1815.50 c #Conflicts: 672000 | #Constraints: 79285
1810.13/1815.50 c #Conflicts: 673000 | #Constraints: 80285
1810.13/1815.50 c #Conflicts: 674000 | #Constraints: 81285
1810.13/1815.50 c #Conflicts: 675000 | #Constraints: 82285
1810.13/1815.50 c #Conflicts: 676000 | #Constraints: 83285
1810.13/1815.50 c #Conflicts: 677000 | #Constraints: 84285
1810.13/1815.50 c #Conflicts: 678000 | #Constraints: 85285
1810.13/1815.50 c #Conflicts: 679000 | #Constraints: 86285
1810.13/1815.50 c #Conflicts: 680000 | #Constraints: 87285
1810.13/1815.50 c #Conflicts: 681000 | #Constraints: 88285
1810.13/1815.50 c #Conflicts: 682000 | #Constraints: 89285
1810.13/1815.50 c #Conflicts: 683000 | #Constraints: 90285
1810.13/1815.50 c #Conflicts: 684000 | #Constraints: 91285
1810.13/1815.50 c #Conflicts: 685000 | #Constraints: 92285
1810.13/1815.50 c #Conflicts: 686000 | #Constraints: 93285
1810.13/1815.50 c #Conflicts: 687000 | #Constraints: 94285
1810.13/1815.50 c #Conflicts: 688000 | #Constraints: 95285
1810.13/1815.50 c INPROCESSING
1810.13/1815.50 c GARBAGE COLLECT
1810.13/1815.50 c rational objective 80
1866.57/1872.16 c #Conflicts: 689000 | #Constraints: 79864
1866.57/1872.16 c #Conflicts: 690000 | #Constraints: 80864
1866.57/1872.16 c #Conflicts: 691000 | #Constraints: 81864
1866.57/1872.16 c #Conflicts: 692000 | #Constraints: 82864
1866.57/1872.16 c #Conflicts: 693000 | #Constraints: 83864
1866.57/1872.16 c #Conflicts: 694000 | #Constraints: 84864
1866.57/1872.16 c #Conflicts: 695000 | #Constraints: 85865
1866.57/1872.16 c #Conflicts: 696000 | #Constraints: 86865
1866.57/1872.16 c #Conflicts: 697000 | #Constraints: 87865
1866.57/1872.16 c #Conflicts: 698000 | #Constraints: 88865
1866.57/1872.16 c #Conflicts: 699000 | #Constraints: 89865
1866.57/1872.16 c #Conflicts: 700000 | #Constraints: 90865
1866.57/1872.16 c #Conflicts: 701000 | #Constraints: 91865
1866.57/1872.16 c #Conflicts: 702000 | #Constraints: 92865
1866.57/1872.16 c #Conflicts: 703000 | #Constraints: 93865
1866.57/1872.16 c #Conflicts: 704000 | #Constraints: 94865
1866.57/1872.16 c #Conflicts: 705000 | #Constraints: 95865
1866.57/1872.16 c INPROCESSING
1866.57/1872.16 c GARBAGE COLLECT
1866.57/1872.16 c #Conflicts: 706000 | #Constraints: 80265
1866.57/1872.16 c #Conflicts: 707000 | #Constraints: 81265
1866.57/1872.16 c #Conflicts: 708000 | #Constraints: 82265
1866.57/1872.16 c #Conflicts: 709000 | #Constraints: 83265
1866.57/1872.16 c #Conflicts: 710000 | #Constraints: 84265
1866.57/1872.16 c #Conflicts: 711000 | #Constraints: 85265
1866.57/1872.16 c #Conflicts: 712000 | #Constraints: 86265
1866.57/1872.16 c #Conflicts: 713000 | #Constraints: 87265
1866.57/1872.16 c #Conflicts: 714000 | #Constraints: 88265
1866.57/1872.16 c #Conflicts: 715000 | #Constraints: 89265
1866.57/1872.16 c #Conflicts: 716000 | #Constraints: 90265
1866.57/1872.16 c #Conflicts: 717000 | #Constraints: 91265
1866.57/1872.16 c #Conflicts: 718000 | #Constraints: 92265
1866.57/1872.16 c #Conflicts: 719000 | #Constraints: 93265
1866.57/1872.16 c #Conflicts: 720000 | #Constraints: 94265
1866.57/1872.16 c #Conflicts: 721000 | #Constraints: 95265
1866.57/1872.16 c #Conflicts: 722000 | #Constraints: 96265
1866.57/1872.16 c INPROCESSING
1866.57/1872.16 c GARBAGE COLLECT
1866.57/1872.16 c rational objective 80
1932.55/1938.34 c #Conflicts: 723000 | #Constraints: 80495
1932.55/1938.34 c #Conflicts: 724000 | #Constraints: 81495
1932.55/1938.34 c #Conflicts: 725000 | #Constraints: 82495
1932.55/1938.34 c #Conflicts: 726000 | #Constraints: 83495
1932.55/1938.34 c #Conflicts: 727000 | #Constraints: 84495
1932.55/1938.34 c #Conflicts: 728000 | #Constraints: 85495
1932.55/1938.34 c #Conflicts: 729000 | #Constraints: 86495
1932.55/1938.34 c #Conflicts: 730000 | #Constraints: 87495
1932.55/1938.34 c #Conflicts: 731000 | #Constraints: 88495
1932.55/1938.34 c #Conflicts: 732000 | #Constraints: 89495
1932.55/1938.34 c #Conflicts: 733000 | #Constraints: 90495
1932.55/1938.34 c #Conflicts: 734000 | #Constraints: 91495
1932.55/1938.34 c #Conflicts: 735000 | #Constraints: 92495
1932.55/1938.34 c #Conflicts: 736000 | #Constraints: 93495
1932.55/1938.34 c #Conflicts: 737000 | #Constraints: 94495
1932.55/1938.34 c #Conflicts: 738000 | #Constraints: 95495
1932.55/1938.34 c #Conflicts: 739000 | #Constraints: 96495
1932.55/1938.34 c INPROCESSING
1932.55/1938.34 c GARBAGE COLLECT
1932.55/1938.34 c rational objective 80
1977.82/1983.76 c #Conflicts: 740000 | #Constraints: 80469
1977.82/1983.76 c #Conflicts: 741000 | #Constraints: 81469
1977.82/1983.76 c #Conflicts: 742000 | #Constraints: 82469
1977.82/1983.76 c #Conflicts: 743000 | #Constraints: 83469
1977.82/1983.76 c #Conflicts: 744000 | #Constraints: 84469
1977.82/1983.76 c #Conflicts: 745000 | #Constraints: 85469
1977.82/1983.76 c #Conflicts: 746000 | #Constraints: 86469
1977.82/1983.76 c #Conflicts: 747000 | #Constraints: 87469
1977.82/1983.76 c #Conflicts: 748000 | #Constraints: 88469
1977.82/1983.76 c #Conflicts: 749000 | #Constraints: 89469
1977.82/1983.76 c #Conflicts: 750000 | #Constraints: 90469
1977.82/1983.76 c #Conflicts: 751000 | #Constraints: 91469
1977.82/1983.76 c #Conflicts: 752000 | #Constraints: 92469
1977.82/1983.76 c #Conflicts: 753000 | #Constraints: 93469
1977.82/1983.76 c #Conflicts: 754000 | #Constraints: 94469
1977.82/1983.76 c #Conflicts: 755000 | #Constraints: 95469
1977.82/1983.76 c #Conflicts: 756000 | #Constraints: 96469
1977.82/1983.76 c INPROCESSING
1977.82/1983.76 c GARBAGE COLLECT
1977.82/1983.76 c rational objective 80
2030.08/2036.15 c #Conflicts: 757000 | #Constraints: 80298
2030.08/2036.15 c #Conflicts: 758000 | #Constraints: 81298
2030.08/2036.15 c #Conflicts: 759000 | #Constraints: 82298
2030.08/2036.15 c #Conflicts: 760000 | #Constraints: 83298
2030.08/2036.15 c #Conflicts: 761000 | #Constraints: 84298
2030.08/2036.15 c #Conflicts: 762000 | #Constraints: 85298
2030.08/2036.15 c #Conflicts: 763000 | #Constraints: 86298
2030.08/2036.15 c #Conflicts: 764000 | #Constraints: 87298
2030.08/2036.15 c #Conflicts: 765000 | #Constraints: 88298
2030.08/2036.15 c #Conflicts: 766000 | #Constraints: 89298
2030.08/2036.15 c #Conflicts: 767000 | #Constraints: 90298
2030.08/2036.15 c #Conflicts: 768000 | #Constraints: 91298
2030.08/2036.15 c #Conflicts: 769000 | #Constraints: 92298
2030.08/2036.15 c #Conflicts: 770000 | #Constraints: 93298
2030.08/2036.15 c #Conflicts: 771000 | #Constraints: 94298
2030.08/2036.15 c #Conflicts: 772000 | #Constraints: 95298
2030.08/2036.15 c #Conflicts: 773000 | #Constraints: 96298
2030.08/2036.15 c #Conflicts: 774000 | #Constraints: 97298
2030.08/2036.15 c INPROCESSING
2030.08/2036.15 c GARBAGE COLLECT
2030.08/2036.15 c rational objective 80
2070.15/2076.31 c #Conflicts: 775000 | #Constraints: 80907
2070.15/2076.31 c #Conflicts: 776000 | #Constraints: 81907
2070.15/2076.31 c #Conflicts: 777000 | #Constraints: 82907
2070.15/2076.31 c #Conflicts: 778000 | #Constraints: 83907
2070.15/2076.31 c #Conflicts: 779000 | #Constraints: 84907
2070.15/2076.31 c #Conflicts: 780000 | #Constraints: 85907
2070.15/2076.31 c #Conflicts: 781000 | #Constraints: 86907
2070.15/2076.31 c #Conflicts: 782000 | #Constraints: 87907
2070.15/2076.31 c #Conflicts: 783000 | #Constraints: 88907
2070.15/2076.31 c #Conflicts: 784000 | #Constraints: 89907
2070.15/2076.31 c #Conflicts: 785000 | #Constraints: 90907
2070.15/2076.31 c #Conflicts: 786000 | #Constraints: 91907
2070.15/2076.31 c #Conflicts: 787000 | #Constraints: 92907
2070.15/2076.31 c #Conflicts: 788000 | #Constraints: 93907
2070.15/2076.31 c #Conflicts: 789000 | #Constraints: 94907
2070.15/2076.31 c #Conflicts: 790000 | #Constraints: 95907
2070.15/2076.31 c #Conflicts: 791000 | #Constraints: 96907
2070.15/2076.31 c #Conflicts: 792000 | #Constraints: 97907
2070.15/2076.31 c INPROCESSING
2070.15/2076.31 c GARBAGE COLLECT
2070.15/2076.31 c rational objective 80
2134.06/2140.45 c #Conflicts: 793000 | #Constraints: 81321
2134.06/2140.45 c #Conflicts: 794000 | #Constraints: 82321
2134.06/2140.45 c #Conflicts: 795000 | #Constraints: 83321
2134.06/2140.45 c #Conflicts: 796000 | #Constraints: 84321
2134.06/2140.45 c #Conflicts: 797000 | #Constraints: 85321
2134.06/2140.45 c #Conflicts: 798000 | #Constraints: 86321
2134.06/2140.45 c #Conflicts: 799000 | #Constraints: 87321
2134.06/2140.45 c #Conflicts: 800000 | #Constraints: 88321
2134.06/2140.45 c #Conflicts: 801000 | #Constraints: 89321
2134.06/2140.45 c #Conflicts: 802000 | #Constraints: 90322
2134.06/2140.45 c #Conflicts: 803000 | #Constraints: 91322
2134.06/2140.45 c #Conflicts: 804000 | #Constraints: 92322
2134.06/2140.45 c #Conflicts: 805000 | #Constraints: 93322
2134.06/2140.45 c #Conflicts: 806000 | #Constraints: 94322
2134.06/2140.45 c #Conflicts: 807000 | #Constraints: 95322
2134.06/2140.45 c #Conflicts: 808000 | #Constraints: 96322
2134.06/2140.45 c #Conflicts: 809000 | #Constraints: 97322
2134.06/2140.45 c #Conflicts: 810000 | #Constraints: 98322
2134.06/2140.45 c INPROCESSING
2134.06/2140.45 c GARBAGE COLLECT
2134.06/2140.45 c rational objective 80
2179.43/2186.00 c #Conflicts: 811000 | #Constraints: 81491
2179.43/2186.00 c #Conflicts: 812000 | #Constraints: 82491
2179.43/2186.00 c #Conflicts: 813000 | #Constraints: 83491
2179.43/2186.00 c #Conflicts: 814000 | #Constraints: 84491
2179.43/2186.00 c #Conflicts: 815000 | #Constraints: 85491
2179.43/2186.00 c #Conflicts: 816000 | #Constraints: 86491
2179.43/2186.00 c #Conflicts: 817000 | #Constraints: 87491
2179.43/2186.00 c #Conflicts: 818000 | #Constraints: 88491
2179.43/2186.00 c #Conflicts: 819000 | #Constraints: 89491
2179.43/2186.00 c #Conflicts: 820000 | #Constraints: 90491
2179.43/2186.00 c #Conflicts: 821000 | #Constraints: 91491
2179.43/2186.00 c #Conflicts: 822000 | #Constraints: 92491
2179.43/2186.00 c #Conflicts: 823000 | #Constraints: 93491
2179.43/2186.00 c #Conflicts: 824000 | #Constraints: 94491
2179.43/2186.00 c #Conflicts: 825000 | #Constraints: 95491
2179.43/2186.00 c #Conflicts: 826000 | #Constraints: 96491
2179.43/2186.00 c #Conflicts: 827000 | #Constraints: 97491
2179.43/2186.00 c #Conflicts: 828000 | #Constraints: 98491
2179.43/2186.00 c INPROCESSING
2179.43/2186.00 c GARBAGE COLLECT
2179.43/2186.00 c rational objective 80
2219.52/2226.16 c #Conflicts: 829000 | #Constraints: 81485
2219.52/2226.16 c #Conflicts: 830000 | #Constraints: 82485
2219.52/2226.16 c #Conflicts: 831000 | #Constraints: 83485
2219.52/2226.16 c #Conflicts: 832000 | #Constraints: 84485
2219.52/2226.16 c #Conflicts: 833000 | #Constraints: 85485
2219.52/2226.16 c #Conflicts: 834000 | #Constraints: 86485
2219.52/2226.16 c #Conflicts: 835000 | #Constraints: 87485
2219.52/2226.16 c #Conflicts: 836000 | #Constraints: 88485
2219.52/2226.16 c #Conflicts: 837000 | #Constraints: 89485
2219.52/2226.16 c #Conflicts: 838000 | #Constraints: 90485
2219.52/2226.16 c #Conflicts: 839000 | #Constraints: 91485
2219.52/2226.16 c #Conflicts: 840000 | #Constraints: 92485
2219.52/2226.16 c #Conflicts: 841000 | #Constraints: 93485
2219.52/2226.16 c #Conflicts: 842000 | #Constraints: 94485
2219.52/2226.16 c #Conflicts: 843000 | #Constraints: 95485
2219.52/2226.16 c #Conflicts: 844000 | #Constraints: 96485
2219.52/2226.16 c #Conflicts: 845000 | #Constraints: 97485
2219.52/2226.16 c #Conflicts: 846000 | #Constraints: 98485
2219.52/2226.16 c INPROCESSING
2219.52/2226.16 c GARBAGE COLLECT
2219.52/2226.16 c rational objective 80
2260.69/2267.40 c #Conflicts: 847000 | #Constraints: 81279
2260.69/2267.40 c #Conflicts: 848000 | #Constraints: 82279
2260.69/2267.40 c #Conflicts: 849000 | #Constraints: 83279
2260.69/2267.40 c #Conflicts: 850000 | #Constraints: 84279
2260.69/2267.40 c #Conflicts: 851000 | #Constraints: 85279
2260.69/2267.40 c #Conflicts: 852000 | #Constraints: 86279
2260.69/2267.40 c #Conflicts: 853000 | #Constraints: 87279
2260.69/2267.40 c #Conflicts: 854000 | #Constraints: 88279
2260.69/2267.40 c #Conflicts: 855000 | #Constraints: 89279
2260.69/2267.40 c #Conflicts: 856000 | #Constraints: 90279
2260.69/2267.40 c #Conflicts: 857000 | #Constraints: 91279
2260.69/2267.40 c #Conflicts: 858000 | #Constraints: 92279
2260.69/2267.40 c #Conflicts: 859000 | #Constraints: 93279
2260.69/2267.40 c #Conflicts: 860000 | #Constraints: 94279
2260.69/2267.40 c #Conflicts: 861000 | #Constraints: 95279
2260.69/2267.40 c #Conflicts: 862000 | #Constraints: 96279
2260.69/2267.40 c #Conflicts: 863000 | #Constraints: 97279
2260.69/2267.40 c #Conflicts: 864000 | #Constraints: 98279
2260.69/2267.40 c #Conflicts: 865000 | #Constraints: 99279
2260.69/2267.40 c INPROCESSING
2260.69/2267.40 c GARBAGE COLLECT
2260.69/2267.40 c rational objective 80
2336.47/2343.42 c #Conflicts: 866000 | #Constraints: 81859
2336.47/2343.42 c #Conflicts: 867000 | #Constraints: 82859
2336.47/2343.42 c #Conflicts: 868000 | #Constraints: 83859
2336.47/2343.42 c #Conflicts: 869000 | #Constraints: 84859
2336.47/2343.42 c #Conflicts: 870000 | #Constraints: 85859
2336.47/2343.42 c #Conflicts: 871000 | #Constraints: 86859
2336.47/2343.42 c #Conflicts: 872000 | #Constraints: 87859
2336.47/2343.42 c #Conflicts: 873000 | #Constraints: 88859
2336.47/2343.42 c #Conflicts: 874000 | #Constraints: 89859
2336.47/2343.42 c #Conflicts: 875000 | #Constraints: 90859
2336.47/2343.42 c #Conflicts: 876000 | #Constraints: 91859
2336.47/2343.42 c #Conflicts: 877000 | #Constraints: 92859
2336.47/2343.42 c #Conflicts: 878000 | #Constraints: 93859
2336.47/2343.42 c #Conflicts: 879000 | #Constraints: 94859
2336.47/2343.42 c #Conflicts: 880000 | #Constraints: 95859
2336.47/2343.42 c #Conflicts: 881000 | #Constraints: 96859
2336.47/2343.42 c #Conflicts: 882000 | #Constraints: 97859
2336.47/2343.42 c #Conflicts: 883000 | #Constraints: 98859
2336.47/2343.42 c #Conflicts: 884000 | #Constraints: 99859
2336.47/2343.42 c INPROCESSING
2336.47/2343.42 c GARBAGE COLLECT
2336.47/2343.42 c rational objective 80
2375.55/2382.63 c #Conflicts: 885000 | #Constraints: 82256
2375.55/2382.63 c #Conflicts: 886000 | #Constraints: 83256
2375.55/2382.63 c #Conflicts: 887000 | #Constraints: 84256
2375.55/2382.63 c #Conflicts: 888000 | #Constraints: 85256
2375.55/2382.63 c #Conflicts: 889000 | #Constraints: 86256
2375.55/2382.63 c #Conflicts: 890000 | #Constraints: 87256
2375.55/2382.63 c #Conflicts: 891000 | #Constraints: 88256
2375.55/2382.63 c #Conflicts: 892000 | #Constraints: 89256
2375.55/2382.63 c #Conflicts: 893000 | #Constraints: 90256
2375.55/2382.63 c #Conflicts: 894000 | #Constraints: 91256
2375.55/2382.63 c #Conflicts: 895000 | #Constraints: 92256
2375.55/2382.63 c #Conflicts: 896000 | #Constraints: 93256
2375.55/2382.63 c #Conflicts: 897000 | #Constraints: 94256
2375.55/2382.63 c #Conflicts: 898000 | #Constraints: 95256
2375.55/2382.63 c #Conflicts: 899000 | #Constraints: 96256
2375.55/2382.63 c #Conflicts: 900000 | #Constraints: 97256
2375.55/2382.63 c #Conflicts: 901000 | #Constraints: 98256
2375.55/2382.63 c #Conflicts: 902000 | #Constraints: 99256
2375.55/2382.63 c #Conflicts: 903000 | #Constraints: 100256
2375.55/2382.63 c INPROCESSING
2375.55/2382.63 c GARBAGE COLLECT
2375.55/2382.63 c rational objective 80
2421.82/2429.05 c #Conflicts: 904000 | #Constraints: 82449
2421.82/2429.05 c #Conflicts: 905000 | #Constraints: 83449
2421.82/2429.05 c #Conflicts: 906000 | #Constraints: 84449
2421.82/2429.05 c #Conflicts: 907000 | #Constraints: 85449
2421.82/2429.05 c #Conflicts: 908000 | #Constraints: 86449
2421.82/2429.05 c #Conflicts: 909000 | #Constraints: 87449
2421.82/2429.05 c #Conflicts: 910000 | #Constraints: 88449
2421.82/2429.05 c #Conflicts: 911000 | #Constraints: 89449
2421.82/2429.05 c #Conflicts: 912000 | #Constraints: 90449
2421.82/2429.05 c #Conflicts: 913000 | #Constraints: 91449
2421.82/2429.05 c #Conflicts: 914000 | #Constraints: 92449
2421.82/2429.05 c #Conflicts: 915000 | #Constraints: 93449
2421.82/2429.05 c #Conflicts: 916000 | #Constraints: 94449
2421.82/2429.05 c #Conflicts: 917000 | #Constraints: 95449
2421.82/2429.05 c #Conflicts: 918000 | #Constraints: 96449
2421.82/2429.05 c #Conflicts: 919000 | #Constraints: 97449
2421.82/2429.05 c #Conflicts: 920000 | #Constraints: 98449
2421.82/2429.05 c #Conflicts: 921000 | #Constraints: 99449
2421.82/2429.05 c #Conflicts: 922000 | #Constraints: 100449
2421.82/2429.05 c INPROCESSING
2421.82/2429.05 c GARBAGE COLLECT
2421.82/2429.05 c rational objective 80
2463.29/2470.64 c #Conflicts: 923000 | #Constraints: 82451
2463.29/2470.64 c #Conflicts: 924000 | #Constraints: 83451
2463.29/2470.64 c #Conflicts: 925000 | #Constraints: 84451
2463.29/2470.64 c #Conflicts: 926000 | #Constraints: 85451
2463.29/2470.64 c #Conflicts: 927000 | #Constraints: 86451
2463.29/2470.64 c #Conflicts: 928000 | #Constraints: 87451
2463.29/2470.64 c #Conflicts: 929000 | #Constraints: 88451
2463.29/2470.64 c #Conflicts: 930000 | #Constraints: 89451
2463.29/2470.64 c #Conflicts: 931000 | #Constraints: 90451
2463.29/2470.64 c #Conflicts: 932000 | #Constraints: 91451
2463.29/2470.64 c #Conflicts: 933000 | #Constraints: 92451
2463.29/2470.64 c #Conflicts: 934000 | #Constraints: 93451
2463.29/2470.64 c #Conflicts: 935000 | #Constraints: 94451
2463.29/2470.64 c #Conflicts: 936000 | #Constraints: 95451
2463.29/2470.64 c #Conflicts: 937000 | #Constraints: 96451
2463.29/2470.64 c #Conflicts: 938000 | #Constraints: 97451
2463.29/2470.64 c #Conflicts: 939000 | #Constraints: 98451
2463.29/2470.64 c #Conflicts: 940000 | #Constraints: 99451
2463.29/2470.64 c #Conflicts: 941000 | #Constraints: 100451
2463.29/2470.64 c INPROCESSING
2463.29/2470.64 c GARBAGE COLLECT
2463.29/2470.64 c rational objective 80
2486.02/2493.42 c #Conflicts: 942000 | #Constraints: 82262
2486.02/2493.42 c #Conflicts: 943000 | #Constraints: 83262
2486.02/2493.42 c #Conflicts: 944000 | #Constraints: 84263
2486.02/2493.42 c #Conflicts: 945000 | #Constraints: 85263
2486.02/2493.42 c #Conflicts: 946000 | #Constraints: 86263
2486.02/2493.42 c #Conflicts: 947000 | #Constraints: 87263
2486.02/2493.42 c #Conflicts: 948000 | #Constraints: 88263
2486.02/2493.42 c #Conflicts: 949000 | #Constraints: 89263
2486.02/2493.42 c #Conflicts: 950000 | #Constraints: 90263
2486.02/2493.42 WSVECS04 Frhs2[7587]: 6 -10 0 shouldn't be
2508.46/2515.97 c #Conflicts: 951000 | #Constraints: 91263
2508.46/2515.97 c #Conflicts: 952000 | #Constraints: 92263
2508.46/2515.97 c #Conflicts: 953000 | #Constraints: 93263
2508.46/2515.97 c #Conflicts: 954000 | #Constraints: 94263
2508.46/2515.97 c #Conflicts: 955000 | #Constraints: 95263
2508.46/2515.97 c #Conflicts: 956000 | #Constraints: 96263
2508.46/2515.97 c #Conflicts: 957000 | #Constraints: 97263
2508.46/2515.97 c #Conflicts: 958000 | #Constraints: 98263
2508.46/2515.97 c #Conflicts: 959000 | #Constraints: 99263
2508.46/2515.97 c #Conflicts: 960000 | #Constraints: 100263
2508.46/2515.97 c #Conflicts: 961000 | #Constraints: 101263
2508.46/2515.97 c INPROCESSING
2508.46/2515.97 c GARBAGE COLLECT
2508.46/2515.97 c rational objective 80
2565.19/2572.82 c #Conflicts: 962000 | #Constraints: 82892
2565.19/2572.82 c #Conflicts: 963000 | #Constraints: 83892
2565.19/2572.82 c #Conflicts: 964000 | #Constraints: 84892
2565.19/2572.82 c #Conflicts: 965000 | #Constraints: 85892
2565.19/2572.82 c #Conflicts: 966000 | #Constraints: 86892
2565.19/2572.82 c #Conflicts: 967000 | #Constraints: 87892
2565.19/2572.82 c #Conflicts: 968000 | #Constraints: 88892
2565.19/2572.82 c #Conflicts: 969000 | #Constraints: 89892
2565.19/2572.82 c #Conflicts: 970000 | #Constraints: 90892
2565.19/2572.82 c #Conflicts: 971000 | #Constraints: 91892
2565.19/2572.82 c #Conflicts: 972000 | #Constraints: 92892
2565.19/2572.82 c #Conflicts: 973000 | #Constraints: 93892
2565.19/2572.82 c #Conflicts: 974000 | #Constraints: 94892
2565.19/2572.82 c #Conflicts: 975000 | #Constraints: 95892
2565.19/2572.82 c #Conflicts: 976000 | #Constraints: 96892
2565.19/2572.82 c #Conflicts: 977000 | #Constraints: 97892
2565.19/2572.82 c #Conflicts: 978000 | #Constraints: 98892
2565.19/2572.82 c #Conflicts: 979000 | #Constraints: 99892
2565.19/2572.82 c #Conflicts: 980000 | #Constraints: 100892
2565.19/2572.82 c #Conflicts: 981000 | #Constraints: 101892
2565.19/2572.82 c INPROCESSING
2565.19/2572.82 c GARBAGE COLLECT
2565.19/2572.82 c rational objective 80
2616.64/2624.44 c #Conflicts: 982000 | #Constraints: 83310
2616.64/2624.44 c #Conflicts: 983000 | #Constraints: 84310
2616.64/2624.44 c #Conflicts: 984000 | #Constraints: 85310
2616.64/2624.44 c #Conflicts: 985000 | #Constraints: 86310
2616.64/2624.44 c #Conflicts: 986000 | #Constraints: 87310
2616.64/2624.44 c #Conflicts: 987000 | #Constraints: 88310
2616.64/2624.44 c #Conflicts: 988000 | #Constraints: 89310
2616.64/2624.44 c #Conflicts: 989000 | #Constraints: 90310
2616.64/2624.44 c #Conflicts: 990000 | #Constraints: 91310
2616.64/2624.44 c #Conflicts: 991000 | #Constraints: 92310
2616.64/2624.44 c #Conflicts: 992000 | #Constraints: 93310
2616.64/2624.44 c #Conflicts: 993000 | #Constraints: 94310
2616.64/2624.44 c #Conflicts: 994000 | #Constraints: 95310
2616.64/2624.44 c #Conflicts: 995000 | #Constraints: 96310
2616.64/2624.44 c #Conflicts: 996000 | #Constraints: 97310
2616.64/2624.44 c #Conflicts: 997000 | #Constraints: 98310
2616.64/2624.44 c #Conflicts: 998000 | #Constraints: 99310
2616.64/2624.44 c #Conflicts: 999000 | #Constraints: 100310
2616.64/2624.44 c #Conflicts: 1000000 | #Constraints: 101310
2616.64/2624.44 c #Conflicts: 1001000 | #Constraints: 102310
2616.64/2624.44 c INPROCESSING
2616.64/2624.44 c GARBAGE COLLECT
2616.64/2624.44 c rational objective 80
2672.87/2680.87 c #Conflicts: 1002000 | #Constraints: 83530
2672.87/2680.87 c #Conflicts: 1003000 | #Constraints: 84530
2672.87/2680.87 c #Conflicts: 1004000 | #Constraints: 85530
2672.87/2680.87 c #Conflicts: 1005000 | #Constraints: 86530
2672.87/2680.87 c #Conflicts: 1006000 | #Constraints: 87530
2672.87/2680.87 c #Conflicts: 1007000 | #Constraints: 88530
2672.87/2680.87 c #Conflicts: 1008000 | #Constraints: 89530
2672.87/2680.87 c #Conflicts: 1009000 | #Constraints: 90530
2672.87/2680.87 c #Conflicts: 1010000 | #Constraints: 91530
2672.87/2680.87 c #Conflicts: 1011000 | #Constraints: 92530
2672.87/2680.87 c #Conflicts: 1012000 | #Constraints: 93530
2672.87/2680.87 c #Conflicts: 1013000 | #Constraints: 94530
2672.87/2680.87 c #Conflicts: 1014000 | #Constraints: 95530
2672.87/2680.87 c #Conflicts: 1015000 | #Constraints: 96530
2672.87/2680.87 c #Conflicts: 1016000 | #Constraints: 97531
2672.87/2680.87 c #Conflicts: 1017000 | #Constraints: 98531
2672.87/2680.87 c #Conflicts: 1018000 | #Constraints: 99531
2672.87/2680.87 c #Conflicts: 1019000 | #Constraints: 100531
2672.87/2680.87 c #Conflicts: 1020000 | #Constraints: 101531
2672.87/2680.87 c #Conflicts: 1021000 | #Constraints: 102531
2672.87/2680.87 c INPROCESSING
2672.87/2680.87 c GARBAGE COLLECT
2672.87/2680.87 c rational objective 80
2727.31/2735.48 c #Conflicts: 1022000 | #Constraints: 83530
2727.31/2735.48 c #Conflicts: 1023000 | #Constraints: 84530
2727.31/2735.48 c #Conflicts: 1024000 | #Constraints: 85530
2727.31/2735.48 c #Conflicts: 1025000 | #Constraints: 86530
2727.31/2735.48 c #Conflicts: 1026000 | #Constraints: 87530
2727.31/2735.48 c #Conflicts: 1027000 | #Constraints: 88530
2727.31/2735.48 c #Conflicts: 1028000 | #Constraints: 89530
2727.31/2735.48 c #Conflicts: 1029000 | #Constraints: 90530
2727.31/2735.48 c #Conflicts: 1030000 | #Constraints: 91530
2727.31/2735.48 c #Conflicts: 1031000 | #Constraints: 92530
2727.31/2735.48 c #Conflicts: 1032000 | #Constraints: 93530
2727.31/2735.48 c #Conflicts: 1033000 | #Constraints: 94530
2727.31/2735.48 c #Conflicts: 1034000 | #Constraints: 95530
2727.31/2735.48 c #Conflicts: 1035000 | #Constraints: 96530
2727.31/2735.48 c #Conflicts: 1036000 | #Constraints: 97530
2727.31/2735.48 c #Conflicts: 1037000 | #Constraints: 98530
2727.31/2735.48 c #Conflicts: 1038000 | #Constraints: 99530
2727.31/2735.48 c #Conflicts: 1039000 | #Constraints: 100530
2727.31/2735.48 c #Conflicts: 1040000 | #Constraints: 101530
2727.31/2735.48 c #Conflicts: 1041000 | #Constraints: 102530
2727.31/2735.48 c INPROCESSING
2727.31/2735.48 c GARBAGE COLLECT
2727.31/2735.48 c rational objective 80
2823.51/2831.99 c #Conflicts: 1042000 | #Constraints: 83323
2823.51/2831.99 c #Conflicts: 1043000 | #Constraints: 84323
2823.51/2831.99 c #Conflicts: 1044000 | #Constraints: 85324
2823.51/2831.99 c #Conflicts: 1045000 | #Constraints: 86324
2823.51/2831.99 c #Conflicts: 1046000 | #Constraints: 87324
2823.51/2831.99 c #Conflicts: 1047000 | #Constraints: 88324
2823.51/2831.99 c #Conflicts: 1048000 | #Constraints: 89324
2823.51/2831.99 c #Conflicts: 1049000 | #Constraints: 90324
2823.51/2831.99 c #Conflicts: 1050000 | #Constraints: 91324
2823.51/2831.99 c #Conflicts: 1051000 | #Constraints: 92324
2823.51/2831.99 c #Conflicts: 1052000 | #Constraints: 93324
2823.51/2831.99 c #Conflicts: 1053000 | #Constraints: 94324
2823.51/2831.99 c #Conflicts: 1054000 | #Constraints: 95324
2823.51/2831.99 c #Conflicts: 1055000 | #Constraints: 96324
2823.51/2831.99 c #Conflicts: 1056000 | #Constraints: 97324
2823.51/2831.99 c #Conflicts: 1057000 | #Constraints: 98324
2823.51/2831.99 c #Conflicts: 1058000 | #Constraints: 99324
2823.51/2831.99 c #Conflicts: 1059000 | #Constraints: 100324
2823.51/2831.99 c #Conflicts: 1060000 | #Constraints: 101324
2823.51/2831.99 c #Conflicts: 1061000 | #Constraints: 102324
2823.51/2831.99 c #Conflicts: 1062000 | #Constraints: 103324
2823.51/2831.99 c INPROCESSING
2823.51/2831.99 c GARBAGE COLLECT
2823.51/2831.99 c rational objective 80
2865.89/2874.48 c #Conflicts: 1063000 | #Constraints: 83925
2865.89/2874.48 c #Conflicts: 1064000 | #Constraints: 84925
2865.89/2874.48 c #Conflicts: 1065000 | #Constraints: 85925
2865.89/2874.48 c #Conflicts: 1066000 | #Constraints: 86925
2865.89/2874.48 c #Conflicts: 1067000 | #Constraints: 87925
2865.89/2874.48 c #Conflicts: 1068000 | #Constraints: 88925
2865.89/2874.48 c #Conflicts: 1069000 | #Constraints: 89925
2865.89/2874.48 c #Conflicts: 1070000 | #Constraints: 90925
2865.89/2874.48 c #Conflicts: 1071000 | #Constraints: 91925
2865.89/2874.48 c #Conflicts: 1072000 | #Constraints: 92925
2865.89/2874.48 c #Conflicts: 1073000 | #Constraints: 93925
2865.89/2874.48 c #Conflicts: 1074000 | #Constraints: 94925
2865.89/2874.48 c #Conflicts: 1075000 | #Constraints: 95925
2865.89/2874.48 c #Conflicts: 1076000 | #Constraints: 96925
2865.89/2874.48 c #Conflicts: 1077000 | #Constraints: 97925
2865.89/2874.48 c #Conflicts: 1078000 | #Constraints: 98925
2865.89/2874.48 c #Conflicts: 1079000 | #Constraints: 99925
2865.89/2874.48 c #Conflicts: 1080000 | #Constraints: 100925
2865.89/2874.48 c #Conflicts: 1081000 | #Constraints: 101925
2865.89/2874.48 c #Conflicts: 1082000 | #Constraints: 102925
2865.89/2874.48 c #Conflicts: 1083000 | #Constraints: 103925
2865.89/2874.48 c INPROCESSING
2865.89/2874.48 c GARBAGE COLLECT
2865.89/2874.48 c rational objective 80
2910.85/2919.52 c #Conflicts: 1084000 | #Constraints: 84289
2910.85/2919.52 c #Conflicts: 1085000 | #Constraints: 85289
2910.85/2919.52 c #Conflicts: 1086000 | #Constraints: 86289
2910.85/2919.52 c #Conflicts: 1087000 | #Constraints: 87289
2910.85/2919.52 c #Conflicts: 1088000 | #Constraints: 88289
2910.85/2919.52 c #Conflicts: 1089000 | #Constraints: 89290
2910.85/2919.52 c #Conflicts: 1090000 | #Constraints: 90290
2910.85/2919.52 c #Conflicts: 1091000 | #Constraints: 91290
2910.85/2919.52 c #Conflicts: 1092000 | #Constraints: 92290
2910.85/2919.52 c #Conflicts: 1093000 | #Constraints: 93290
2910.85/2919.52 c #Conflicts: 1094000 | #Constraints: 94290
2910.85/2919.52 c #Conflicts: 1095000 | #Constraints: 95290
2910.85/2919.52 c #Conflicts: 1096000 | #Constraints: 96290
2910.85/2919.52 c #Conflicts: 1097000 | #Constraints: 97291
2910.85/2919.52 c #Conflicts: 1098000 | #Constraints: 98291
2910.85/2919.52 c #Conflicts: 1099000 | #Constraints: 99291
2910.85/2919.52 c #Conflicts: 1100000 | #Constraints: 100291
2910.85/2919.52 c #Conflicts: 1101000 | #Constraints: 101291
2910.85/2919.52 c #Conflicts: 1102000 | #Constraints: 102291
2910.85/2919.52 c #Conflicts: 1103000 | #Constraints: 103291
2910.85/2919.52 c #Conflicts: 1104000 | #Constraints: 104291
2910.85/2919.52 c INPROCESSING
2910.85/2919.52 c GARBAGE COLLECT
2910.85/2919.52 c rational objective 80
2958.61/2967.48 c #Conflicts: 1105000 | #Constraints: 84485
2958.61/2967.48 c #Conflicts: 1106000 | #Constraints: 85485
2958.61/2967.48 c #Conflicts: 1107000 | #Constraints: 86485
2958.61/2967.48 c #Conflicts: 1108000 | #Constraints: 87485
2958.61/2967.48 c #Conflicts: 1109000 | #Constraints: 88485
2958.61/2967.48 c #Conflicts: 1110000 | #Constraints: 89485
2958.61/2967.48 c #Conflicts: 1111000 | #Constraints: 90485
2958.61/2967.48 c #Conflicts: 1112000 | #Constraints: 91485
2958.61/2967.48 c #Conflicts: 1113000 | #Constraints: 92485
2958.61/2967.48 c #Conflicts: 1114000 | #Constraints: 93485
2958.61/2967.48 c #Conflicts: 1115000 | #Constraints: 94485
2958.61/2967.48 c #Conflicts: 1116000 | #Constraints: 95485
2958.61/2967.48 c #Conflicts: 1117000 | #Constraints: 96485
2958.61/2967.48 c #Conflicts: 1118000 | #Constraints: 97485
2958.61/2967.48 c #Conflicts: 1119000 | #Constraints: 98485
2958.61/2967.48 c #Conflicts: 1120000 | #Constraints: 99485
2958.61/2967.48 c #Conflicts: 1121000 | #Constraints: 100485
2958.61/2967.48 c #Conflicts: 1122000 | #Constraints: 101485
2958.61/2967.48 c #Conflicts: 1123000 | #Constraints: 102485
2958.61/2967.48 c #Conflicts: 1124000 | #Constraints: 103485
2958.61/2967.48 c #Conflicts: 1125000 | #Constraints: 104485
2958.61/2967.48 c INPROCESSING
2958.61/2967.48 c GARBAGE COLLECT
2958.61/2967.48 c rational objective 80
3037.28/3046.32 c #Conflicts: 1126000 | #Constraints: 84477
3037.28/3046.32 c #Conflicts: 1127000 | #Constraints: 85477
3037.28/3046.32 c #Conflicts: 1128000 | #Constraints: 86477
3037.28/3046.32 c #Conflicts: 1129000 | #Constraints: 87477
3037.28/3046.32 c #Conflicts: 1130000 | #Constraints: 88477
3037.28/3046.32 c #Conflicts: 1131000 | #Constraints: 89477
3037.28/3046.32 c #Conflicts: 1132000 | #Constraints: 90477
3037.28/3046.32 c #Conflicts: 1133000 | #Constraints: 91477
3037.28/3046.32 c #Conflicts: 1134000 | #Constraints: 92477
3037.28/3046.32 c #Conflicts: 1135000 | #Constraints: 93477
3037.28/3046.32 c #Conflicts: 1136000 | #Constraints: 94477
3037.28/3046.32 c #Conflicts: 1137000 | #Constraints: 95477
3037.28/3046.32 c #Conflicts: 1138000 | #Constraints: 96477
3037.28/3046.32 c #Conflicts: 1139000 | #Constraints: 97477
3037.28/3046.32 c #Conflicts: 1140000 | #Constraints: 98477
3037.28/3046.32 c #Conflicts: 1141000 | #Constraints: 99477
3037.28/3046.32 c #Conflicts: 1142000 | #Constraints: 100477
3037.28/3046.32 c #Conflicts: 1143000 | #Constraints: 101477
3037.28/3046.32 c #Conflicts: 1144000 | #Constraints: 102477
3037.28/3046.32 c #Conflicts: 1145000 | #Constraints: 103477
3037.28/3046.32 c #Conflicts: 1146000 | #Constraints: 104477
3037.28/3046.32 c INPROCESSING
3037.28/3046.32 c GARBAGE COLLECT
3037.28/3046.32 c rational objective 80
3082.24/3091.43 c #Conflicts: 1147000 | #Constraints: 84270
3082.24/3091.43 c #Conflicts: 1148000 | #Constraints: 85270
3082.24/3091.43 c #Conflicts: 1149000 | #Constraints: 86270
3082.24/3091.43 c #Conflicts: 1150000 | #Constraints: 87270
3082.24/3091.43 c #Conflicts: 1151000 | #Constraints: 88270
3082.24/3091.43 c #Conflicts: 1152000 | #Constraints: 89270
3082.24/3091.43 c #Conflicts: 1153000 | #Constraints: 90270
3082.24/3091.43 c #Conflicts: 1154000 | #Constraints: 91270
3082.24/3091.43 c #Conflicts: 1155000 | #Constraints: 92270
3082.24/3091.43 c #Conflicts: 1156000 | #Constraints: 93270
3082.24/3091.43 c #Conflicts: 1157000 | #Constraints: 94270
3082.24/3091.43 c #Conflicts: 1158000 | #Constraints: 95270
3082.24/3091.43 c #Conflicts: 1159000 | #Constraints: 96270
3082.24/3091.43 c #Conflicts: 1160000 | #Constraints: 97270
3082.24/3091.43 c #Conflicts: 1161000 | #Constraints: 98270
3082.24/3091.43 c #Conflicts: 1162000 | #Constraints: 99270
3082.24/3091.43 c #Conflicts: 1163000 | #Constraints: 100270
3082.24/3091.43 c #Conflicts: 1164000 | #Constraints: 101270
3082.24/3091.43 c #Conflicts: 1165000 | #Constraints: 102270
3082.24/3091.43 c #Conflicts: 1166000 | #Constraints: 103270
3082.24/3091.43 c #Conflicts: 1167000 | #Constraints: 104270
3082.24/3091.43 c #Conflicts: 1168000 | #Constraints: 105270
3082.24/3091.43 c INPROCESSING
3082.24/3091.43 c GARBAGE COLLECT
3082.24/3091.43 c rational objective 80
3124.91/3134.27 c #Conflicts: 1169000 | #Constraints: 84862
3124.91/3134.27 c #Conflicts: 1170000 | #Constraints: 85863
3124.91/3134.27 c #Conflicts: 1171000 | #Constraints: 86863
3124.91/3134.27 c #Conflicts: 1172000 | #Constraints: 87863
3124.91/3134.27 c #Conflicts: 1173000 | #Constraints: 88863
3124.91/3134.27 c #Conflicts: 1174000 | #Constraints: 89863
3124.91/3134.27 c #Conflicts: 1175000 | #Constraints: 90863
3124.91/3134.27 c #Conflicts: 1176000 | #Constraints: 91863
3124.91/3134.27 c #Conflicts: 1177000 | #Constraints: 92863
3124.91/3134.27 c #Conflicts: 1178000 | #Constraints: 93863
3124.91/3134.27 c #Conflicts: 1179000 | #Constraints: 94863
3124.91/3134.27 c #Conflicts: 1180000 | #Constraints: 95863
3124.91/3134.27 c #Conflicts: 1181000 | #Constraints: 96863
3124.91/3134.27 c #Conflicts: 1182000 | #Constraints: 97863
3124.91/3134.27 c #Conflicts: 1183000 | #Constraints: 98863
3124.91/3134.27 c #Conflicts: 1184000 | #Constraints: 99864
3124.91/3134.27 c #Conflicts: 1185000 | #Constraints: 100864
3124.91/3134.27 c #Conflicts: 1186000 | #Constraints: 101864
3124.91/3134.27 c #Conflicts: 1187000 | #Constraints: 102864
3124.91/3134.27 c #Conflicts: 1188000 | #Constraints: 103864
3124.91/3134.27 c #Conflicts: 1189000 | #Constraints: 104864
3124.91/3134.27 c #Conflicts: 1190000 | #Constraints: 105864
3124.91/3134.27 c INPROCESSING
3124.91/3134.27 c GARBAGE COLLECT
3124.91/3134.27 c rational objective 80
3160.80/3170.26 c #Conflicts: 1191000 | #Constraints: 85310
3160.80/3170.26 c #Conflicts: 1192000 | #Constraints: 86310
3160.80/3170.26 c #Conflicts: 1193000 | #Constraints: 87310
3160.80/3170.26 c #Conflicts: 1194000 | #Constraints: 88310
3160.80/3170.26 c #Conflicts: 1195000 | #Constraints: 89310
3160.80/3170.26 c #Conflicts: 1196000 | #Constraints: 90310
3160.80/3170.26 c #Conflicts: 1197000 | #Constraints: 91310
3160.80/3170.26 c #Conflicts: 1198000 | #Constraints: 92310
3160.80/3170.26 c #Conflicts: 1199000 | #Constraints: 93310
3160.80/3170.26 c #Conflicts: 1200000 | #Constraints: 94310
3160.80/3170.26 c #Conflicts: 1201000 | #Constraints: 95310
3160.80/3170.26 c #Conflicts: 1202000 | #Constraints: 96310
3160.80/3170.26 c #Conflicts: 1203000 | #Constraints: 97310
3160.80/3170.26 c #Conflicts: 1204000 | #Constraints: 98310
3160.80/3170.26 c #Conflicts: 1205000 | #Constraints: 99310
3160.80/3170.26 c #Conflicts: 1206000 | #Constraints: 100310
3160.80/3170.26 c #Conflicts: 1207000 | #Constraints: 101310
3160.80/3170.26 c #Conflicts: 1208000 | #Constraints: 102310
3160.80/3170.26 c #Conflicts: 1209000 | #Constraints: 103310
3160.80/3170.26 c #Conflicts: 1210000 | #Constraints: 104310
3160.80/3170.26 c #Conflicts: 1211000 | #Constraints: 105310
3160.80/3170.26 c #Conflicts: 1212000 | #Constraints: 106310
3160.80/3170.26 c INPROCESSING
3160.80/3170.26 c GARBAGE COLLECT
3160.80/3170.26 c rational objective 80
3227.42/3237.09 c #Conflicts: 1213000 | #Constraints: 85551
3227.42/3237.09 c #Conflicts: 1214000 | #Constraints: 86551
3227.42/3237.09 c #Conflicts: 1215000 | #Constraints: 87551
3227.42/3237.09 c #Conflicts: 1216000 | #Constraints: 88551
3227.42/3237.09 c #Conflicts: 1217000 | #Constraints: 89551
3227.42/3237.09 c #Conflicts: 1218000 | #Constraints: 90551
3227.42/3237.09 c #Conflicts: 1219000 | #Constraints: 91551
3227.42/3237.09 c #Conflicts: 1220000 | #Constraints: 92551
3227.42/3237.09 c #Conflicts: 1221000 | #Constraints: 93551
3227.42/3237.09 c #Conflicts: 1222000 | #Constraints: 94551
3227.42/3237.09 c #Conflicts: 1223000 | #Constraints: 95551
3227.42/3237.09 c #Conflicts: 1224000 | #Constraints: 96551
3227.42/3237.09 c #Conflicts: 1225000 | #Constraints: 97551
3227.42/3237.09 c #Conflicts: 1226000 | #Constraints: 98551
3227.42/3237.09 c #Conflicts: 1227000 | #Constraints: 99551
3227.42/3237.09 c #Conflicts: 1228000 | #Constraints: 100551
3227.42/3237.09 c #Conflicts: 1229000 | #Constraints: 101551
3227.42/3237.09 c #Conflicts: 1230000 | #Constraints: 102551
3227.42/3237.09 c #Conflicts: 1231000 | #Constraints: 103551
3227.42/3237.09 c #Conflicts: 1232000 | #Constraints: 104551
3227.42/3237.09 c #Conflicts: 1233000 | #Constraints: 105551
3227.42/3237.09 c #Conflicts: 1234000 | #Constraints: 106551
3227.42/3237.09 c INPROCESSING
3227.42/3237.09 c GARBAGE COLLECT
3227.42/3237.09 c rational objective 80
3270.09/3279.81 c #Conflicts: 1235000 | #Constraints: 85566
3270.09/3279.81 c #Conflicts: 1236000 | #Constraints: 86566
3270.09/3279.81 c #Conflicts: 1237000 | #Constraints: 87566
3270.09/3279.81 c #Conflicts: 1238000 | #Constraints: 88566
3270.09/3279.81 c #Conflicts: 1239000 | #Constraints: 89566
3270.09/3279.81 c #Conflicts: 1240000 | #Constraints: 90566
3270.09/3279.81 c #Conflicts: 1241000 | #Constraints: 91566
3270.09/3279.81 c #Conflicts: 1242000 | #Constraints: 92566
3270.09/3279.81 c #Conflicts: 1243000 | #Constraints: 93566
3270.09/3279.81 c #Conflicts: 1244000 | #Constraints: 94566
3270.09/3279.81 c #Conflicts: 1245000 | #Constraints: 95566
3270.09/3279.81 c #Conflicts: 1246000 | #Constraints: 96566
3270.09/3279.81 c #Conflicts: 1247000 | #Constraints: 97566
3270.09/3279.81 c #Conflicts: 1248000 | #Constraints: 98566
3270.09/3279.81 c #Conflicts: 1249000 | #Constraints: 99566
3270.09/3279.81 c #Conflicts: 1250000 | #Constraints: 100566
3270.09/3279.81 c #Conflicts: 1251000 | #Constraints: 101566
3270.09/3279.81 c #Conflicts: 1252000 | #Constraints: 102566
3270.09/3279.81 c #Conflicts: 1253000 | #Constraints: 103566
3270.09/3279.81 c #Conflicts: 1254000 | #Constraints: 104566
3270.09/3279.81 c #Conflicts: 1255000 | #Constraints: 105566
3270.09/3279.81 c #Conflicts: 1256000 | #Constraints: 106566
3270.09/3279.81 c INPROCESSING
3270.09/3279.81 c GARBAGE COLLECT
3270.09/3279.81 c rational objective 80
3321.73/3331.62 c #Conflicts: 1257000 | #Constraints: 85334
3321.73/3331.62 c #Conflicts: 1258000 | #Constraints: 86334
3321.73/3331.62 c #Conflicts: 1259000 | #Constraints: 87334
3321.73/3331.62 c #Conflicts: 1260000 | #Constraints: 88334
3321.73/3331.62 c #Conflicts: 1261000 | #Constraints: 89334
3321.73/3331.62 c #Conflicts: 1262000 | #Constraints: 90335
3321.73/3331.62 c #Conflicts: 1263000 | #Constraints: 91335
3321.73/3331.62 c #Conflicts: 1264000 | #Constraints: 92335
3321.73/3331.62 c #Conflicts: 1265000 | #Constraints: 93335
3321.73/3331.62 c #Conflicts: 1266000 | #Constraints: 94335
3321.73/3331.62 c #Conflicts: 1267000 | #Constraints: 95335
3321.73/3331.62 c #Conflicts: 1268000 | #Constraints: 96335
3321.73/3331.62 c #Conflicts: 1269000 | #Constraints: 97336
3321.73/3331.62 c #Conflicts: 1270000 | #Constraints: 98336
3321.73/3331.62 c #Conflicts: 1271000 | #Constraints: 99336
3321.73/3331.62 c #Conflicts: 1272000 | #Constraints: 100336
3321.73/3331.62 c #Conflicts: 1273000 | #Constraints: 101336
3321.73/3331.62 c #Conflicts: 1274000 | #Constraints: 102336
3321.73/3331.62 c #Conflicts: 1275000 | #Constraints: 103336
3321.73/3331.62 c #Conflicts: 1276000 | #Constraints: 104337
3321.73/3331.63 c #Conflicts: 1277000 | #Constraints: 105337
3321.73/3331.63 c #Conflicts: 1278000 | #Constraints: 106337
3321.73/3331.63 c #Conflicts: 1279000 | #Constraints: 107337
3321.73/3331.63 c INPROCESSING
3321.73/3331.63 c GARBAGE COLLECT
3321.73/3331.63 WSVECS04 Frhs2[521]: 6 -3.33339 0 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[1001]: 6 -3.3334 0 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[1721]: 6 -3.33342 0 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[3683]: 6 -0.0939529 0 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[3844]: 6 0 0.0939334 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[3849]: 6 0 0.0939772 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[3850]: 6 0 0.0939104 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[3851]: 6 0 0.093992 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[3852]: 6 0 0.0939132 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[3855]: 6 0 0.0939187 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[3856]: 6 0 0.140911 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[3858]: 6 0 0.0939511 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[3859]: 6 0 0.0939599 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[3860]: 6 0 0.0939475 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[3866]: 6 0 0.0939891 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[3868]: 6 0 0.0939376 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[3872]: 6 0 0.140861 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[3875]: 6 0 0.0939175 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[3876]: 6 0 0.0939358 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[3878]: 6 0 0.0939268 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[3879]: 6 0 0.0939199 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[3882]: 6 0 0.0939154 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[3883]: 6 0 0.0939462 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[3884]: 6 0 0.0939841 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[3887]: 6 0 0.0939153 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[3888]: 6 0 0.140878 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[3890]: 6 0 0.0939937 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[3892]: 6 0 0.0939238 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[3896]: 6 0 0.140886 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[3899]: 6 0 0.0939143 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[3901]: 6 0 0.0939118 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[3902]: 6 0 0.0939189 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[3906]: 6 0 0.0939497 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[3907]: 6 0 0.0939442 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[3908]: 6 0 0.0939395 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[3910]: 6 0 0.0939553 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[3911]: 6 0 0.0939194 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[3912]: 6 0 0.14087 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[3913]: 6 0 0.0939507 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[3914]: 6 0 0.0939592 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[3916]: 6 0 0.0939773 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[3917]: 6 0 0.0939252 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[3919]: 6 0 0.0939422 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[3920]: 6 0 0.140892 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[3922]: 6 0 0.18782 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[3924]: 6 0 0.0939199 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[3925]: 6 0 0.0939217 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[3927]: 6 0 0.0939537 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[3930]: 6 0 0.0939459 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[3931]: 6 0 0.0939892 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[3932]: 6 0 0.0939831 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[3936]: 6 0 0.140876 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[3937]: 6 0 0.0939454 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[3938]: 6 0 0.0939329 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[3940]: 6 0 0.0939624 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[3943]: 6 0 0.0939084 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[3951]: 6 0 0.0939268 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[3952]: 6 0 0.14086 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[3957]: 6 0 0.0939084 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[3963]: 6 0 0.0939074 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[3964]: 6 0 0.0939296 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[3970]: 6 0 0.0939136 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[3971]: 6 0 0.0939111 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[3972]: 6 0 0.0939662 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[3978]: 6 0 0.0939606 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[3980]: 6 0 0.0939184 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[3981]: 6 0 0.0939281 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[3985]: 6 0 0.0939217 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[3988]: 6 0 0.0939699 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[3994]: 6 0 0.0939302 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[3995]: 6 0 0.0939763 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[3996]: 6 0 0.0939319 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4003]: 6 0 0.0939103 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4009]: 6 0 0.093915 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4010]: 6 0 0.0939407 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4012]: 6 0 0.0939524 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4018]: 6 0 0.0939477 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4019]: 6 0 0.0939358 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4024]: 6 0 0.140894 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4027]: 6 0 0.0939171 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4028]: 6 0 0.093948 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4031]: 6 0 0.0939492 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4034]: 6 0 0.0939945 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4036]: 6 0 0.093915 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4039]: 6 0 0.0939078 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4042]: 6 0 0.0939091 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4043]: 6 0 0.0939213 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4055]: 6 0 0.093956 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4059]: 6 0 0.0939388 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4068]: 6 0 0.09393 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4074]: 6 0 0.0939636 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4080]: 6 0 0.140864 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4081]: 6 0 0.0939142 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4082]: 6 0 0.0939227 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4092]: 6 0 0.0939573 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4098]: 6 0 0.0939555 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4099]: 6 0 0.093993 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4100]: 6 0 0.0939388 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4101]: 6 0 0.0939741 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4104]: 6 0 0.140928 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4106]: 6 0 0.0939189 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4108]: 6 0 0.0939644 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4114]: 6 0 0.0939079 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4116]: 6 0 0.09397 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4124]: 6 0 0.0939252 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4128]: 6 0 0.140879 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4129]: 6 0 0.0939214 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4130]: 6 0 0.0939446 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4132]: 6 0 0.0939481 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4145]: 6 0 0.0939268 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4146]: 6 0 0.0939479 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4156]: 6 0 0.0939808 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4162]: 6 0 0.187857 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4164]: 6 0 0.0939506 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4166]: 6 0 0.0939103 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4167]: 6 0 0.0939277 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4169]: 6 0 0.093911 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4170]: 6 0 0.0939467 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4171]: 6 0 0.0939488 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4172]: 6 0 0.0939872 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4176]: 6 0 0.140899 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4178]: 6 0 0.0939114 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4179]: 6 0 0.0939492 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4180]: 6 0 0.0939199 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4191]: 6 0 0.0939328 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4193]: 6 0 0.093987 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4195]: 6 0 0.0939183 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4202]: 6 0 0.0939176 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4203]: 6 0 0.0939469 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4209]: 6 0 0.0939075 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4210]: 6 0 0.0939361 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4212]: 6 0 0.0939621 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4217]: 6 0 0.0939093 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4218]: 6 0 0.0939564 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4220]: 6 0 0.0939339 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4221]: 6 0 0.0939336 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4225]: 6 0 0.0939311 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4226]: 6 0 0.0939132 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4227]: 6 0 0.0939469 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4228]: 6 0 0.0939572 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4233]: 6 0 0.0939376 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4234]: 6 0 0.0939165 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4236]: 6 0 0.0939713 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4252]: 6 0 0.0939252 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4255]: 6 0 0.0939648 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4257]: 6 0 0.0939313 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4258]: 6 0 0.0939504 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4259]: 6 0 0.093975 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4260]: 6 0 0.0939206 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4262]: 6 0 0.0939095 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4265]: 6 0 0.0939097 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4266]: 6 0 0.0939173 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4267]: 6 0 0.0939136 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4268]: 6 0 0.0939618 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4269]: 6 0 0.0939103 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4271]: 6 0 0.0939359 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4274]: 6 0 0.0939651 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4275]: 6 0 0.0939103 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4276]: 6 0 0.093947 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4282]: 6 0 0.093912 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4283]: 6 0 0.0939246 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4285]: 6 0 0.0939165 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4286]: 6 0 0.0939125 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4288]: 6 0 0.140883 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4295]: 6 0 0.0939466 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4302]: 6 0 0.187817 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4304]: 6 0 0.140883 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4306]: 6 0 0.0939891 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4307]: 6 0 0.0939324 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4308]: 6 0 0.0939286 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4314]: 6 0 0.093979 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4315]: 6 0 0.0939113 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4316]: 6 0 0.0939166 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4317]: 6 0 0.0939457 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4318]: 6 0 0.0939245 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4319]: 6 0 0.0939069 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4320]: 6 0 0.140872 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4322]: 6 0 0.093918 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4330]: 6 0 0.0939493 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4332]: 6 0 0.0939756 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4333]: 6 0 0.0939101 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4336]: 6 0 0.140862 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4338]: 6 0 0.0939262 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4339]: 6 0 0.0939748 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4340]: 6 0 0.0939214 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4343]: 6 0 0.0939102 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4344]: 6 0 0.140879 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4346]: 6 0 0.0939269 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4347]: 6 0 0.0939111 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4348]: 6 0 0.0939764 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4349]: 6 0 0.0939233 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4352]: 6 0 0.140867 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4354]: 6 0 0.093959 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4355]: 6 0 0.0939934 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4356]: 6 0 0.0939319 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4362]: 6 0 0.0939292 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4364]: 6 0 0.0939797 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4368]: 6 0 0.140876 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4369]: 6 0 0.0939678 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4370]: 6 0 0.0939581 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4371]: 6 0 0.0939423 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4372]: 6 0 0.0939088 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4374]: 6 0 0.0939142 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4376]: 6 0 0.14087 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4379]: 6 0 0.093911 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4386]: 6 0 0.0939306 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4387]: 6 0 0.0939114 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4388]: 6 0 0.0939677 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4390]: 6 0 0.0939181 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4392]: 6 0 0.14087 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4394]: 6 0 0.0939445 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4396]: 6 0 0.0939118 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4397]: 6 0 0.0939094 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4402]: 6 0 0.187884 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4404]: 6 0 0.0939231 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4407]: 6 0 0.0939909 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4410]: 6 0 0.0939334 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4411]: 6 0 0.0939106 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4412]: 6 0 0.0939167 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4418]: 6 0 0.0939099 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4419]: 6 0 0.0939463 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4420]: 6 0 0.093968 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4431]: 6 0 0.0939267 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4434]: 6 0 0.0939404 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4436]: 6 0 0.0939122 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4437]: 6 0 0.0939099 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4443]: 6 0 0.0939305 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4444]: 6 0 0.0939401 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4446]: 6 0 0.093965 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4447]: 6 0 0.0939094 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4449]: 6 0 0.0939307 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4450]: 6 0 0.0939729 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4451]: 6 0 0.0939279 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4452]: 6 0 0.0939182 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4453]: 6 0 0.0939079 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4454]: 6 0 0.0939157 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4456]: 6 0 0.140871 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4458]: 6 0 0.0939474 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4459]: 6 0 0.0939098 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4461]: 6 0 0.0939933 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4467]: 6 0 0.0939246 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4468]: 6 0 0.093976 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4473]: 6 0 0.0939505 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4474]: 6 0 0.0939214 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4476]: 6 0 0.0939632 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4479]: 6 0 0.0939212 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4489]: 6 0 0.0939208 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4490]: 6 0 0.0939351 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4492]: 6 0 0.0939288 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4493]: 6 0 0.0939168 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4496]: 6 0 0.140856 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4498]: 6 0 0.0939475 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4499]: 6 0 0.0939362 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4500]: 6 0 0.0939329 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4504]: 6 0 0.140881 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4506]: 6 0 0.0939173 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4507]: 6 0 0.0939083 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4508]: 6 0 0.0939256 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4509]: 6 0 0.0939242 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4511]: 6 0 0.0939264 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4512]: 6 0 0.140879 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4514]: 6 0 0.0939816 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4516]: 6 0 0.0939771 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4521]: 6 0 0.0939186 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4522]: 6 0 0.0939212 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4531]: 6 0 0.0939119 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4532]: 6 0 0.0939304 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4535]: 6 0 0.0939336 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4540]: 6 0 0.0939094 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4544]: 6 0 0.140866 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4548]: 6 0 0.0939152 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4554]: 6 0 0.0939364 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4555]: 6 0 0.093918 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4556]: 6 0 0.0939593 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4802]: 6 0 0.0939193 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4804]: 6 0 0.0939123 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4810]: 6 0 0.0939511 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4811]: 6 0 0.0939563 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4812]: 6 0 0.0939487 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4816]: 6 0 0.140901 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4817]: 6 0 0.0939582 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4818]: 6 0 0.0939391 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4819]: 6 0 0.0939359 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4820]: 6 0 0.0939834 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4824]: 6 0 0.140877 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4825]: 6 0 0.0939754 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4826]: 6 0 0.0939168 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4827]: 6 0 0.0939656 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4828]: 6 0 0.0939291 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4833]: 6 0 0.0939153 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4835]: 6 0 0.0939502 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4836]: 6 0 0.0939068 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4840]: 6 0 0.140856 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4842]: 6 0 0.0939119 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4843]: 6 0 0.0939221 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4844]: 6 0 0.0939451 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4846]: 6 0 0.093926 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4848]: 6 0 0.140882 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4849]: 6 0 0.0939303 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4850]: 6 0 0.0939084 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4852]: 6 0 0.0939366 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4861]: 6 0 0.0939276 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4866]: 6 0 0.0939927 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4867]: 6 0 0.093939 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4868]: 6 0 0.0939392 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4872]: 6 0 0.657306 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4874]: 6 0 0.0939662 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4876]: 6 0 0.09395 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4880]: 6 0 0.140881 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4882]: 6 0 0.187877 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4884]: 6 0 0.0939313 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4887]: 6 0 0.0939275 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4892]: 6 0 0.0939719 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4898]: 6 0 0.0939425 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4899]: 6 0 0.0939279 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4900]: 6 0 0.0939718 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4913]: 6 0 0.0939174 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4917]: 6 0 0.0939123 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4922]: 6 0 0.0939152 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4927]: 6 0 0.093943 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4928]: 6 0 0.140867 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4930]: 6 0 0.0939704 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4932]: 6 0 0.0939545 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4941]: 6 0 0.0939687 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4948]: 6 0 0.0939621 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4953]: 6 0 0.0939152 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4954]: 6 0 0.0939258 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4963]: 6 0 0.0939163 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4964]: 6 0 0.0939191 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4970]: 6 0 0.0939361 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4975]: 6 0 0.093948 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4978]: 6 0 0.0939416 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4979]: 6 0 0.0939572 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4980]: 6 0 0.0939154 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4984]: 6 0 0.140856 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4987]: 6 0 0.0939156 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4988]: 6 0 0.0939418 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4989]: 6 0 0.0939235 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4991]: 6 0 0.0939468 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4994]: 6 0 0.0939589 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[4996]: 6 0 0.0939659 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5010]: 6 0 0.0939394 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5011]: 6 0 0.0939107 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5015]: 6 0 0.0939751 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5019]: 6 0 0.0939415 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5020]: 6 0 0.093909 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5024]: 6 0 0.140884 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5026]: 6 0 0.0939281 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5028]: 6 0 0.0939342 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5034]: 6 0 0.0939949 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5036]: 6 0 0.0939083 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5287]: 6 0 0.0939071 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5290]: 6 0 0.0939075 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5291]: 6 0 0.0939075 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5292]: 6 0 0.0939605 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5295]: 6 0 0.0939091 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5297]: 6 0 0.0939144 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5298]: 6 0 0.0939937 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5299]: 6 0 0.0939188 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5300]: 6 0 0.0939248 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5304]: 6 0 0.140913 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5305]: 6 0 0.093931 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5306]: 6 0 0.0939903 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5307]: 6 0 0.0939111 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5308]: 6 0 0.0939079 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5314]: 6 0 0.0939192 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5316]: 6 0 0.0939603 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5322]: 6 0 0.0939211 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5324]: 6 0 0.0939405 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5326]: 6 0 0.0939094 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5328]: 6 0 0.140896 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5330]: 6 0 0.0939244 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5332]: 6 0 0.0939089 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5338]: 6 0 0.09395 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5346]: 6 0 0.0939667 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5347]: 6 0 0.0939259 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5348]: 6 0 0.0939616 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5350]: 6 0 0.0939615 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5352]: 6 0 0.140878 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5354]: 6 0 0.0939816 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5355]: 6 0 0.0939503 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5356]: 6 0 0.0939368 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5357]: 6 0 0.093936 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5364]: 6 0 0.0939613 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5367]: 6 0 0.0939758 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5369]: 6 0 0.0939164 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5371]: 6 0 0.0939626 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5372]: 6 0 0.0939737 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5388]: 6 0 0.0939118 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5395]: 6 0 0.0939159 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5403]: 6 0 0.093931 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5404]: 6 0 0.0939072 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5406]: 6 0 0.0939176 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5407]: 6 0 0.0939556 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5410]: 6 0 0.0939119 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5411]: 6 0 0.0939208 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5412]: 6 0 0.0939397 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5414]: 6 0 0.0939083 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5418]: 6 0 0.0939342 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5421]: 6 0 0.0939548 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5427]: 6 0 0.0939241 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5428]: 6 0 0.0939611 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5431]: 6 0 0.093912 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5433]: 6 0 0.0939374 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5434]: 6 0 0.0939172 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5436]: 6 0 0.0939377 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5442]: 6 0 0.0939554 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5443]: 6 0 0.0939705 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5444]: 6 0 0.0939319 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5446]: 6 0 0.0939498 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5448]: 6 0 0.14093 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5460]: 6 0 0.0939307 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5462]: 6 0 0.093929 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5465]: 6 0 0.0939375 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5467]: 6 0 0.0939665 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5470]: 6 0 0.0939145 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5471]: 6 0 0.0939651 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5472]: 6 0 0.140859 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5473]: 6 0 0.0939162 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5476]: 6 0 0.0939568 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5482]: 6 0 0.0939584 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5489]: 6 0 0.0939093 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5495]: 6 0 0.0939104 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5513]: 6 0 0.0939174 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5514]: 6 0 0.0939479 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[5516]: 6 0 0.0939317 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6242]: 6 0 0.0939394 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6243]: 6 0 0.093935 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6244]: 6 0 0.0939256 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6250]: 6 0 0.0939353 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6251]: 6 0 0.0939847 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6252]: 6 0 0.0939691 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6258]: 6 0 0.0939143 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6263]: 6 0 0.0939171 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6264]: 6 0 0.14087 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6266]: 6 0 0.093949 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6267]: 6 0 0.0939247 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6268]: 6 0 0.0939616 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6269]: 6 0 0.0939817 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6274]: 6 0 0.0939702 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6275]: 6 0 0.0939923 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6276]: 6 0 0.0939472 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6277]: 6 0 0.0939481 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6284]: 6 0 0.0939302 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6288]: 6 0 0.14086 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6289]: 6 0 0.0939232 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6290]: 6 0 0.0939954 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6301]: 6 0 0.0939077 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6302]: 6 0 0.0939345 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6303]: 6 0 0.0939138 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6306]: 6 0 0.0939661 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6307]: 6 0 0.0939287 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6310]: 6 0 0.0939521 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6311]: 6 0 0.0939292 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6312]: 6 0 0.140857 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6314]: 6 0 0.0939524 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6315]: 6 0 0.0939356 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6316]: 6 0 0.0939527 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6319]: 6 0 0.0939341 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6320]: 6 0 0.140928 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6322]: 6 0 0.187862 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6325]: 6 0 0.0939107 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6327]: 6 0 0.0939273 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6329]: 6 0 0.0939115 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6330]: 6 0 0.0939475 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6331]: 6 0 0.0939131 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6332]: 6 0 0.0939712 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6333]: 6 0 0.093957 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6334]: 6 0 0.0939081 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6337]: 6 0 0.0939759 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6338]: 6 0 0.0939311 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6344]: 6 0 0.140864 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6348]: 6 0 0.0939135 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6352]: 6 0 0.140865 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6353]: 6 0 0.0939847 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6354]: 6 0 0.0939226 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6356]: 6 0 0.093927 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6357]: 6 0 0.0939069 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6360]: 6 0 0.140856 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6362]: 6 0 0.0939181 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6363]: 6 0 0.0939508 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6364]: 6 0 0.0939393 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6368]: 6 0 0.140858 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6369]: 6 0 0.0939336 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6370]: 6 0 0.0939829 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6372]: 6 0 0.0939691 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6373]: 6 0 0.0939189 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6375]: 6 0 0.0939204 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6376]: 6 0 0.140915 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6377]: 6 0 0.0939068 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6381]: 6 0 0.0939463 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6385]: 6 0 0.0939251 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6388]: 6 0 0.0939674 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6396]: 6 0 0.0939598 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6408]: 6 0 0.140866 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6409]: 6 0 0.0939205 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6410]: 6 0 0.0939411 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6415]: 6 0 0.0939173 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6417]: 6 0 0.0939141 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6418]: 6 0 0.093963 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6419]: 6 0 0.093933 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6424]: 6 0 0.140898 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6426]: 6 0 0.0939485 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6427]: 6 0 0.0939159 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6428]: 6 0 0.0939651 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6431]: 6 0 0.0939582 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6432]: 6 0 0.140866 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6434]: 6 0 0.0939392 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6436]: 6 0 0.0939198 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6441]: 6 0 0.0939345 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6442]: 6 0 0.0939085 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6450]: 6 0 0.0939114 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6455]: 6 0 0.0939791 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6459]: 6 0 0.0939144 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6474]: 6 0 0.0939297 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6475]: 6 0 0.0939417 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[6476]: 6 0 0.093937 shouldn't be
3321.73/3331.63 WSVECS04 Frhs2[7584]: 6 -10.0001 0 shouldn't be
3357.03/3367.03 c rational objective 80
3420.43/3430.60 c #Conflicts: 1280000 | #Constraints: 85994
3420.43/3430.60 c #Conflicts: 1281000 | #Constraints: 86994
3420.43/3430.60 c #Conflicts: 1282000 | #Constraints: 87994
3420.43/3430.60 c #Conflicts: 1283000 | #Constraints: 88994
3420.43/3430.60 c #Conflicts: 1284000 | #Constraints: 89994
3420.43/3430.60 c #Conflicts: 1285000 | #Constraints: 90994
3420.43/3430.60 c #Conflicts: 1286000 | #Constraints: 91994
3420.43/3430.60 c #Conflicts: 1287000 | #Constraints: 92994
3420.43/3430.60 c #Conflicts: 1288000 | #Constraints: 93994
3420.43/3430.60 c #Conflicts: 1289000 | #Constraints: 94994
3420.43/3430.60 c #Conflicts: 1290000 | #Constraints: 95994
3420.43/3430.60 c #Conflicts: 1291000 | #Constraints: 96994
3420.43/3430.60 c #Conflicts: 1292000 | #Constraints: 97994
3420.43/3430.60 c #Conflicts: 1293000 | #Constraints: 98994
3420.43/3430.60 c #Conflicts: 1294000 | #Constraints: 99994
3420.43/3430.60 c #Conflicts: 1295000 | #Constraints: 100994
3420.43/3430.60 c #Conflicts: 1296000 | #Constraints: 101994
3420.43/3430.60 c #Conflicts: 1297000 | #Constraints: 102994
3420.43/3430.60 c #Conflicts: 1298000 | #Constraints: 103994
3420.43/3430.60 c #Conflicts: 1299000 | #Constraints: 104994
3420.43/3430.60 c #Conflicts: 1300000 | #Constraints: 105994
3420.43/3430.60 c #Conflicts: 1301000 | #Constraints: 106994
3420.43/3430.60 c #Conflicts: 1302000 | #Constraints: 107994
3420.43/3430.60 c INPROCESSING
3420.43/3430.60 c GARBAGE COLLECT
3420.43/3430.60 c rational objective 80
3556.63/3567.28 c #Conflicts: 1303000 | #Constraints: 86399
3556.63/3567.28 c #Conflicts: 1304000 | #Constraints: 87399
3556.63/3567.28 c #Conflicts: 1305000 | #Constraints: 88399
3556.63/3567.28 c #Conflicts: 1306000 | #Constraints: 89399
3556.63/3567.28 c #Conflicts: 1307000 | #Constraints: 90399
3556.63/3567.28 c #Conflicts: 1308000 | #Constraints: 91399
3556.63/3567.28 c #Conflicts: 1309000 | #Constraints: 92399
3556.63/3567.28 c #Conflicts: 1310000 | #Constraints: 93399
3556.63/3567.28 c #Conflicts: 1311000 | #Constraints: 94399
3556.63/3567.28 c #Conflicts: 1312000 | #Constraints: 95399
3556.63/3567.28 c #Conflicts: 1313000 | #Constraints: 96399
3556.63/3567.28 c #Conflicts: 1314000 | #Constraints: 97399
3556.63/3567.28 c #Conflicts: 1315000 | #Constraints: 98399
3556.63/3567.28 c #Conflicts: 1316000 | #Constraints: 99399
3556.63/3567.28 c #Conflicts: 1317000 | #Constraints: 100399
3556.63/3567.28 c #Conflicts: 1318000 | #Constraints: 101399
3556.63/3567.28 c #Conflicts: 1319000 | #Constraints: 102399
3556.63/3567.28 c #Conflicts: 1320000 | #Constraints: 103399
3556.63/3567.28 c #Conflicts: 1321000 | #Constraints: 104399
3556.63/3567.28 c #Conflicts: 1322000 | #Constraints: 105399
3556.63/3567.28 c #Conflicts: 1323000 | #Constraints: 106399
3556.63/3567.28 c #Conflicts: 1324000 | #Constraints: 107399
3556.63/3567.28 c #Conflicts: 1325000 | #Constraints: 108399
3556.63/3567.28 c INPROCESSING
3556.63/3567.28 c GARBAGE COLLECT
3556.63/3567.28 c rational objective 80
3595.91/3606.66 c #Conflicts: 1326000 | #Constraints: 86557
3595.91/3606.66 c #Conflicts: 1327000 | #Constraints: 87557
3595.91/3606.66 c #Conflicts: 1328000 | #Constraints: 88557
3595.91/3606.66 c #Conflicts: 1329000 | #Constraints: 89557
3595.91/3606.66 c #Conflicts: 1330000 | #Constraints: 90557
3595.91/3606.66 c #Conflicts: 1331000 | #Constraints: 91557
3595.91/3606.66 c #Conflicts: 1332000 | #Constraints: 92557
3595.91/3606.66 c #Conflicts: 1333000 | #Constraints: 93557
3595.91/3606.66 c #Conflicts: 1334000 | #Constraints: 94557
3595.91/3606.66 c #Conflicts: 1335000 | #Constraints: 95557
3595.91/3606.66 c #Conflicts: 1336000 | #Constraints: 96557
3595.91/3606.66 c #Conflicts: 1337000 | #Constraints: 97557
3595.91/3606.66 c #Conflicts: 1338000 | #Constraints: 98557
3595.91/3606.66 c #Conflicts: 1339000 | #Constraints: 99557
3595.91/3606.66 c #Conflicts: 1340000 | #Constraints: 100557
3595.91/3606.66 c #Conflicts: 1341000 | #Constraints: 101557
3595.91/3606.66 c #Conflicts: 1342000 | #Constraints: 102557
3595.91/3606.66 c #Conflicts: 1343000 | #Constraints: 103557
3595.91/3606.66 c #Conflicts: 1344000 | #Constraints: 104557
3595.91/3606.66 c #Conflicts: 1345000 | #Constraints: 105557
3595.91/3606.66 c #Conflicts: 1346000 | #Constraints: 106557
3595.91/3606.66 c #Conflicts: 1347000 | #Constraints: 107557
3595.91/3606.66 c #Conflicts: 1348000 | #Constraints: 108557
3595.91/3606.66 c INPROCESSING
3595.91/3606.66 c GARBAGE COLLECT
3595.91/3606.66 c rational objective 80
3600.00/3610.70 c #Conflicts: 1349000 | #Constraints: 86540
3600.00/3610.70 c #Conflicts: 1350000 | #Constraints: 87540
3600.00/3610.70 c #Conflicts: 1351000 | #Constraints: 88540
3600.00/3610.70 c #Conflicts: 1352000 | #Constraints: 89540
3600.00/3610.70 c #Conflicts: 1353000 | #Constraints: 90540
3600.00/3610.70 c #Conflicts: 1354000 | #Constraints: 91540
3600.00/3610.70 c #Conflicts: 1355000 | #Constraints: 92540
3600.00/3610.70 c #Conflicts: 1356000 | #Constraints: 93540
3600.00/3610.70 c #Conflicts: 1357000 | #Constraints: 94540
3600.00/3610.70 c #Conflicts: 1358000 | #Constraints: 95540
3600.00/3610.70 c #Conflicts: 1359000 | #Constraints: 96540
3600.00/3610.70 c #Conflicts: 1360000 | #Constraints: 97540
3600.00/3610.70 c #Conflicts: 1361000 | #Constraints: 98540
3600.00/3610.70 c #Conflicts: 1362000 | #Constraints: 99540
3600.00/3610.70 c #Conflicts: 1363000 | #Constraints: 100540
3600.00/3610.70 c #Conflicts: 1364000 | #Constraints: 101540
3600.00/3610.70 c #Conflicts: 1365000 | #Constraints: 102540
3600.00/3610.70 c #Conflicts: 1366000 | #Constraints: 103540
3600.00/3610.70 c #Conflicts: 1367000 | #Constraints: 104540
3600.00/3610.70 c #Conflicts: 1368000 | #Constraints: 105540
3600.00/3610.70 c cpu time 3582.55 s
3600.00/3610.70 c deterministic time 31446649703 3.14e+10
3600.00/3610.70 c optimization time 3.79871 s
3600.00/3610.70 c total solve time 3578.32 s
3600.00/3610.70 c core-guided solve time 1171.18 s
3600.00/3610.70 c propagation time 1893.45 s
3600.00/3610.70 c conflict analysis time 80.9604 s
3600.00/3610.70 c propagations 234777218
3600.00/3610.70 c resolve steps 15909830
3600.00/3610.70 c decisions 2229616
3600.00/3610.70 c conflicts 1368790
3600.00/3610.70 c restarts 2598
3600.00/3610.70 c inprocessing phases 107
3600.00/3610.70 c garbage collections 101 ,( 94.39 )
3600.00/3610.70 c input clauses 61338 ,( 98.05 )
3600.00/3610.70 c input cardinalities 323 ,( 0.52 )
3600.00/3610.70 c input general constraints 896 ,( 1.43 )
3600.00/3610.70 c input average constraint length 3.23
3600.00/3610.70 c input average constraint degree 1.26
3600.00/3610.70 c learned clauses 982964 ,( 71.76 )
3600.00/3610.70 c learned cardinalities 103834 ,( 7.58 )
3600.00/3610.70 c learned general constraints 282969 ,( 20.66 )
3600.00/3610.70 c learned average constraint length 196.41
3600.00/3610.70 c learned average constraint degree 9179283.95
3600.00/3610.70 c watched CF 32, 64, 128, Arb: 268715 , 0 , 0 , 0
3600.00/3610.70 c counting CF 32, 64, 128, Arb: 15151 , 0 , 0 , 0
3600.00/3610.70 c watched constraints 268715 ,( 94.66 )
3600.00/3610.70 c counting constraints 15150 ,( 5.34 )
3600.00/3610.70 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 519564828 , 756774185 , 692815198 ,( 521739895 , 171075303 )
3600.00/3610.70 c gcd simplifications 36754
3600.00/3610.70 c detected cardinalities 6117
3600.00/3610.70 c weakened non-implied lits 20500252
3600.00/3610.70 c weakened non-implying lits 14293
3600.00/3610.70 c original variables 20515
3600.00/3610.70 c clausal propagations 217400702
3600.00/3610.70 c cardinality propagations 5915679
3600.00/3610.70 c watched propagations 7142743
3600.00/3610.70 c counting propagations 1983066
3600.00/3610.70 c watch lookups 6732842511
3600.00/3610.70 c watch backjump lookups 0
3600.00/3610.70 c watch checks 20554169216
3600.00/3610.70 c propagation checks 3018634826
3600.00/3610.70 c constraint additions 662974160
3600.00/3610.70 c trail pops 238375292
3600.00/3610.70 c formula constraints 62482
3600.00/3610.70 c learned constraints 1368770
3600.00/3610.70 c bound constraints 8
3600.00/3610.70 c core-guided constraints 67
3600.00/3610.70 c encountered formula constraints 11501583
3600.00/3610.70 c encountered learned constraints 5452385
3600.00/3610.70 c encountered bound constraints 0
3600.00/3610.70 c encountered core-guided constraints 165940
3600.00/3610.70 c LP total time 3267.73 s
3600.00/3610.70 c LP solve time 3244.85 s
3600.00/3610.70 c LP constraints added 71577
3600.00/3610.70 c LP constraints removed 8872
3600.00/3610.70 c LP pivots internal 1395038
3600.00/3610.70 c LP pivots root 1251825
3600.00/3610.70 c LP calls 127
3600.00/3610.70 c LP optimalities 100
3600.00/3610.70 c LP no pivot count 0
3600.00/3610.70 c LP infeasibilities 20
3600.00/3610.70 c LP valid Farkas constraints 19
3600.00/3610.70 c LP learned Farkas constraints 19
3600.00/3610.70 c LP basis resets 1
3600.00/3610.70 c LP cycling count 0
3600.00/3610.70 c LP singular count 0
3600.00/3610.70 c LP no primal count 0
3600.00/3610.70 c LP no farkas count 1
3600.00/3610.70 c LP other issue count 0
3600.00/3610.70 c LP Gomory cuts 959
3600.00/3610.70 c LP learned cuts 8338
3600.00/3610.70 c LP deleted cuts 9095
3600.00/3610.70 c LP encountered Gomory constraints 146922
3600.00/3610.70 c LP encountered Farkas constraints 10582
3600.00/3610.70 c LP encountered learned Farkas constraints 1189
3600.00/3610.70 c CG auxiliary variables introduced 25
3600.00/3610.70 c CG solutions found 0
3600.00/3610.70 c CG cores constructed 8
3600.00/3610.70 c CG core cardinality constraints returned 0
3600.00/3610.70 c CG unit cores 0
3600.00/3610.70 c CG single cores 8
3600.00/3610.70 c CG blocks removed during cardinality reduction 0
3600.00/3610.70 c CG first core best 0
3600.00/3610.70 c CG decision core best 0
3600.00/3610.70 c CG core reduction tie 0
3600.00/3610.70 c CG core degree average 1.00
3600.00/3610.70 c CG core slack average 3.88
3600.00/3610.70 c CG core upper bound improvements 0
3600.00/3610.70 c STR number of successful calls 0
3600.00/3610.70 c STR number of unsuccessful calls 0
3600.00/3610.70 c STR number of inconclusive calls 0
3600.00/3610.70 c STR number of successful attempts 0
3600.00/3610.70 c STR number of unsuccessful attempts 0
3600.00/3610.70 c STR number of inconclusive attempts 0
3600.00/3610.70 c STR average degree increase per successful call inf
3600.00/3610.70 c STR average degree increase per successful attempt inf
3600.00/3610.70 c STR total number of conflicts for successful attempts 0
3600.00/3610.70 c STR total number of conflicts for unsuccessful attempts 0
3600.00/3610.70 c STR total number of conflicts for inconclusive attempts 0
3600.00/3610.70 c STR average number of conflicts per successful attempt inf
3600.00/3610.70 c STR average number of conflicts per unsuccessful attempt inf
3600.00/3610.70 c STR average number of conflicts per inconclusive attempt inf
3600.00/3610.70 c AVG.sumWPerc 21.70
3600.00/3610.70 c bigint constraints 0
3600.00/3610.70 s UNKNOWN
3600.00/3610.70 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (30739 MiB free)
memory of node 1: 64507 MiB (38085 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4532091-1752686667/watcher-4532091-1752686667 -o /tmp/evaluation-result-4532091-1752686667/solver-4532091-1752686667 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1752683051-144302 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4532091-1752686667.opb /tmp/proof-4532091-1752686667
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=144710, runsolver pid=144707
Current StackSize limit: 8192 KiB
[startup+0.100072 s]*
/proc/loadavg: 4.18 4.21 4.18 5/244 144712
/proc/meminfo: memFree=73426652/131382116 swapFree=33010684/33010684
[pid=144710] ppid=144707 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/144710/stat : 144710 (run-opt-ls-log.) S 144707 144710 144152 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 184346416 4292608 768 18446744073709551615 94477100408832 94477101303365 140737235590368 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94477101542416 94477101590160 94477128478720 140737235593535 140737235593695 140737235593695 140737235599299 0
/proc/144710/statm: 1048 768 704 219 0 110 0
[pid=144712] ppid=144710 vsize=36816 memory=25292 CPUtime=0.08 cores=0,2
/proc/144712/stat : 144712 (pbsuma) R 144710 144710 144152 0 -1 4194304 5511 0 0 0 6 2 0 0 20 0 1 0 184346417 37699584 6323 18446744073709551615 4210688 4653049 140730804747792 0 0 0 0 0 0 0 0 0 17 2 0 0 0 0 0 4700520 4703148 4775936 140730804754695 140730804754992 140730804754992 140730804760559 0
/proc/144712/statm: 9204 6323 1024 108 0 6612 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 41008 KiB
Current children cumulated memory: 28364 KiB
[startup+0.21429 s]*
/proc/loadavg: 4.18 4.21 4.18 5/244 144712
/proc/meminfo: memFree=76777612/131382116 swapFree=33010684/33010684
[pid=144710] ppid=144707 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/144710/stat : 144710 (run-opt-ls-log.) S 144707 144710 144152 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 184346416 4292608 768 18446744073709551615 94477100408832 94477101303365 140737235590368 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94477101542416 94477101590160 94477128478720 140737235593535 140737235593695 140737235593695 140737235599299 0
/proc/144710/statm: 1048 768 704 219 0 110 0
[pid=144712] ppid=144710 vsize=53740 memory=36264 CPUtime=0.19 cores=0,2
/proc/144712/stat : 144712 (pbsuma) R 144710 144710 144152 0 -1 4194304 9423 0 0 0 15 4 0 0 20 0 1 0 184346417 55029760 9066 18446744073709551615 4210688 4653049 140730804747792 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 4775936 140730804754695 140730804754992 140730804754992 140730804760559 0
/proc/144712/statm: 13435 9066 1024 108 0 10843 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 57932 KiB
Current children cumulated memory: 39336 KiB
[startup+0.313177 s]*
/proc/loadavg: 4.18 4.21 4.18 4/244 144717
/proc/meminfo: memFree=78428356/131382116 swapFree=33010684/33010684
[pid=144710] ppid=144707 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/144710/stat : 144710 (run-opt-ls-log.) S 144707 144710 144152 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 184346416 4292608 768 18446744073709551615 94477100408832 94477101303365 140737235590368 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94477101542416 94477101590160 94477128478720 140737235593535 140737235593695 140737235593695 140737235599299 0
/proc/144710/statm: 1048 768 704 219 0 110 0
[pid=144712] ppid=144710 vsize=40048 memory=28468 CPUtime=0.29 cores=0,2
/proc/144712/stat : 144712 (pbsuma) R 144710 144710 144152 0 -1 4194304 9934 0 0 0 25 4 0 0 20 0 1 0 184346417 41009152 7117 18446744073709551615 4210688 4653049 140730804747792 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 4775936 140730804754695 140730804754992 140730804754992 140730804760559 0
/proc/144712/statm: 10012 7117 1024 108 0 7420 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 44240 KiB
Current children cumulated memory: 31540 KiB
[startup+0.700397 s]
/proc/loadavg: 4.18 4.21 4.18 4/245 144727
/proc/meminfo: memFree=81979856/131382116 swapFree=33010684/33010684
[pid=144710] ppid=144707 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/144710/stat : 144710 (run-opt-ls-log.) S 144707 144710 144152 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 184346416 4292608 768 18446744073709551615 94477100408832 94477101303365 140737235590368 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94477101542416 94477101590160 94477128478720 140737235593535 140737235593695 140737235593695 140737235599299 0
/proc/144710/statm: 1048 768 704 219 0 110 0
[pid=144712] ppid=144710 vsize=40048 memory=28724 CPUtime=0.66 cores=0,2
/proc/144712/stat : 144712 (pbsuma) R 144710 144710 144152 0 -1 4194304 10016 0 0 0 62 4 0 0 20 0 1 0 184346417 41009152 7181 18446744073709551615 4210688 4653049 140730804747792 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 4775936 140730804754695 140730804754992 140730804754992 140730804760559 0
/proc/144712/statm: 10012 7181 1024 108 0 7420 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 44240 KiB
Current children cumulated memory: 31796 KiB
[startup+1.50032 s]
/proc/loadavg: 4.18 4.21 4.18 5/246 144745
/proc/meminfo: memFree=89845124/131382116 swapFree=33010684/33010684
[pid=144710] ppid=144707 vsize=4192 memory=3072 CPUtime=1.12 cores=0,2
/proc/144710/stat : 144710 (run-opt-ls-log.) S 144707 144710 144152 0 -1 4194304 237 10624 0 0 0 0 98 14 20 0 1 0 184346416 4292608 768 18446744073709551615 94477100408832 94477101303365 140737235590368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94477101542416 94477101590160 94477128478720 140737235593535 140737235593695 140737235593695 140737235599299 0
/proc/144710/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB
[startup+3.11275 s]
/proc/loadavg: 4.18 4.21 4.18 5/247 144813
/proc/meminfo: memFree=89712196/131382116 swapFree=33010684/33010684
[pid=144710] ppid=144707 vsize=4192 memory=3072 CPUtime=1.12 cores=0,2
/proc/144710/stat : 144710 (run-opt-ls-log.) S 144707 144710 144152 0 -1 4194304 237 10624 0 0 0 0 98 14 20 0 1 0 184346416 4292608 768 18446744073709551615 94477100408832 94477101303365 140737235590368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94477101542416 94477101590160 94477128478720 140737235593535 140737235593695 140737235593695 140737235599299 0
/proc/144710/statm: 1048 768 704 219 0 110 0
[pid=144752] ppid=144710 vsize=162464 memory=118424 CPUtime=1.92 cores=0,2
/proc/144752/stat : 144752 (roundingsat) R 144710 144710 144152 0 -1 4194304 18848 0 0 0 177 15 0 0 20 0 1 0 184346533 166363136 29606 18446744073709551615 4227072 8923577 140723396102496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 17227776 140723396106522 140723396106790 140723396106790 140723396112362 0
/proc/144752/statm: 40616 29606 2432 1147 0 28042 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 166656 KiB
Current children cumulated memory: 121496 KiB
[startup+6.30037 s]
/proc/loadavg: 4.16 4.21 4.18 5/251 144863
/proc/meminfo: memFree=88179936/131382116 swapFree=33010684/33010684
[pid=144710] ppid=144707 vsize=4192 memory=3072 CPUtime=1.12 cores=0,2
/proc/144710/stat : 144710 (run-opt-ls-log.) S 144707 144710 144152 0 -1 4194304 237 10624 0 0 0 0 98 14 20 0 1 0 184346416 4292608 768 18446744073709551615 94477100408832 94477101303365 140737235590368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94477101542416 94477101590160 94477128478720 140737235593535 140737235593695 140737235593695 140737235599299 0
/proc/144710/statm: 1048 768 704 219 0 110 0
[pid=144752] ppid=144710 vsize=164576 memory=120472 CPUtime=5.11 cores=0,2
/proc/144752/stat : 144752 (roundingsat) R 144710 144710 144152 0 -1 4194304 19387 0 0 0 493 18 0 0 20 0 1 0 184346533 168525824 30118 18446744073709551615 4227072 8923577 140723396102496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 17227776 140723396106522 140723396106790 140723396106790 140723396112362 0
/proc/144752/statm: 41144 30118 2432 1147 0 28570 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 168768 KiB
Current children cumulated memory: 123544 KiB
[startup+12.7004 s]
/proc/loadavg: 4.15 4.20 4.18 5/250 144897
/proc/meminfo: memFree=87895104/131382116 swapFree=33010684/33010684
[pid=144710] ppid=144707 vsize=4192 memory=3072 CPUtime=1.12 cores=0,2
/proc/144710/stat : 144710 (run-opt-ls-log.) S 144707 144710 144152 0 -1 4194304 237 10624 0 0 0 0 98 14 20 0 1 0 184346416 4292608 768 18446744073709551615 94477100408832 94477101303365 140737235590368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94477101542416 94477101590160 94477128478720 140737235593535 140737235593695 140737235593695 140737235599299 0
/proc/144710/statm: 1048 768 704 219 0 110 0
[pid=144752] ppid=144710 vsize=175512 memory=127284 CPUtime=11.48 cores=0,2
/proc/144752/stat : 144752 (roundingsat) R 144710 144710 144152 0 -1 4194304 21073 0 0 0 1118 30 0 0 20 0 1 0 184346533 179724288 31821 18446744073709551615 4227072 8923577 140723396102496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 17227776 140723396106522 140723396106790 140723396106790 140723396112362 0
/proc/144752/statm: 43878 31821 2464 1147 0 31304 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 179704 KiB
Current children cumulated memory: 130356 KiB
[startup+25.5004 s]
/proc/loadavg: 4.04 4.18 4.17 4/242 144934
/proc/meminfo: memFree=88286664/131382116 swapFree=33010684/33010684
[pid=144710] ppid=144707 vsize=4192 memory=3072 CPUtime=1.12 cores=0,2
/proc/144710/stat : 144710 (run-opt-ls-log.) S 144707 144710 144152 0 -1 4194304 237 10624 0 0 0 0 98 14 20 0 1 0 184346416 4292608 768 18446744073709551615 94477100408832 94477101303365 140737235590368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94477101542416 94477101590160 94477128478720 140737235593535 140737235593695 140737235593695 140737235599299 0
/proc/144710/statm: 1048 768 704 219 0 110 0
[pid=144752] ppid=144710 vsize=179428 memory=129844 CPUtime=24.25 cores=0,2
/proc/144752/stat : 144752 (roundingsat) R 144710 144710 144152 0 -1 4194304 21721 0 0 0 2387 38 0 0 20 0 1 0 184346533 183734272 32461 18446744073709551615 4227072 8923577 140723396102496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 17227776 140723396106522 140723396106790 140723396106790 140723396112362 0
/proc/144752/statm: 44857 32461 2464 1147 0 32283 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 183620 KiB
Current children cumulated memory: 132916 KiB
[startup+51.1139 s]
/proc/loadavg: 3.46 4.03 4.12 3/241 144958
/proc/meminfo: memFree=97821572/131382116 swapFree=33010684/33010684
[pid=144710] ppid=144707 vsize=4192 memory=3072 CPUtime=1.12 cores=0,2
/proc/144710/stat : 144710 (run-opt-ls-log.) S 144707 144710 144152 0 -1 4194304 237 10624 0 0 0 0 98 14 20 0 1 0 184346416 4292608 768 18446744073709551615 94477100408832 94477101303365 140737235590368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94477101542416 94477101590160 94477128478720 140737235593535 140737235593695 140737235593695 140737235599299 0
/proc/144710/statm: 1048 768 704 219 0 110 0
[pid=144752] ppid=144710 vsize=180068 memory=130484 CPUtime=49.79 cores=0,2
/proc/144752/stat : 144752 (roundingsat) R 144710 144710 144152 0 -1 4194304 21847 0 0 0 4935 44 0 0 20 0 1 0 184346533 184389632 32621 18446744073709551615 4227072 8923577 140723396102496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 17227776 140723396106522 140723396106790 140723396106790 140723396112362 0
/proc/144752/statm: 45017 32621 2464 1147 0 32443 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 184260 KiB
Current children cumulated memory: 133556 KiB
[startup+102.3 s]
/proc/loadavg: 2.29 3.63 3.98 2/238 144965
/proc/meminfo: memFree=99013728/131382116 swapFree=33010684/33010684
[pid=144710] ppid=144707 vsize=4192 memory=3072 CPUtime=1.12 cores=0,2
/proc/144710/stat : 144710 (run-opt-ls-log.) S 144707 144710 144152 0 -1 4194304 237 10624 0 0 0 0 98 14 20 0 1 0 184346416 4292608 768 18446744073709551615 94477100408832 94477101303365 140737235590368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94477101542416 94477101590160 94477128478720 140737235593535 140737235593695 140737235593695 140737235599299 0
/proc/144710/statm: 1048 768 704 219 0 110 0
[pid=144752] ppid=144710 vsize=197148 memory=153184 CPUtime=100.82 cores=0,2
/proc/144752/stat : 144752 (roundingsat) R 144710 144710 144152 0 -1 4194304 25319 0 0 0 10014 68 0 0 20 0 1 0 184346533 201879552 38296 18446744073709551615 4227072 8923577 140723396102496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 17227776 140723396106522 140723396106790 140723396106790 140723396112362 0
/proc/144752/statm: 49287 38296 2464 1147 0 36713 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 201340 KiB
Current children cumulated memory: 156256 KiB
[startup+162.3 s]
/proc/loadavg: 1.59 3.18 3.80 2/238 144967
/proc/meminfo: memFree=98998088/131382116 swapFree=33010684/33010684
[pid=144710] ppid=144707 vsize=4192 memory=3072 CPUtime=1.12 cores=0,2
/proc/144710/stat : 144710 (run-opt-ls-log.) S 144707 144710 144152 0 -1 4194304 237 10624 0 0 0 0 98 14 20 0 1 0 184346416 4292608 768 18446744073709551615 94477100408832 94477101303365 140737235590368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94477101542416 94477101590160 94477128478720 140737235593535 140737235593695 140737235593695 140737235599299 0
/proc/144710/statm: 1048 768 704 219 0 110 0
[pid=144752] ppid=144710 vsize=209692 memory=165504 CPUtime=160.64 cores=0,2
/proc/144752/stat : 144752 (roundingsat) R 144710 144710 144152 0 -1 4194304 27185 0 0 0 15964 100 0 0 20 0 1 0 184346533 214724608 41376 18446744073709551615 4227072 8923577 140723396102496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 17227776 140723396106522 140723396106790 140723396106790 140723396112362 0
/proc/144752/statm: 52423 41376 2464 1147 0 39849 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 213884 KiB
Current children cumulated memory: 168576 KiB
[startup+222.3 s]
/proc/loadavg: 1.28 2.80 3.63 2/237 144969
/proc/meminfo: memFree=98996336/131382116 swapFree=33010684/33010684
[pid=144710] ppid=144707 vsize=4192 memory=3072 CPUtime=1.12 cores=0,2
/proc/144710/stat : 144710 (run-opt-ls-log.) S 144707 144710 144152 0 -1 4194304 237 10624 0 0 0 0 98 14 20 0 1 0 184346416 4292608 768 18446744073709551615 94477100408832 94477101303365 140737235590368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94477101542416 94477101590160 94477128478720 140737235593535 140737235593695 140737235593695 140737235599299 0
/proc/144710/statm: 1048 768 704 219 0 110 0
[pid=144752] ppid=144710 vsize=209692 memory=165504 CPUtime=220.47 cores=0,2
/proc/144752/stat : 144752 (roundingsat) R 144710 144710 144152 0 -1 4194304 27235 0 0 0 21904 143 0 0 20 0 1 0 184346533 214724608 41376 18446744073709551615 4227072 8923577 140723396102496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 17227776 140723396106522 140723396106790 140723396106790 140723396112362 0
/proc/144752/statm: 52423 41376 2464 1147 0 39849 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 213884 KiB
Current children cumulated memory: 168576 KiB
################
# More data... #
################
/proc/144752/statm: 111278 85287 2464 1147 0 98704 0
Current children cumulated CPU time: 3093.11 s
Current children cumulated vsize: 449304 KiB
Current children cumulated memory: 344220 KiB
[startup+3162.3 s]
/proc/loadavg: 1.09 1.11 1.22 2/233 145121
/proc/meminfo: memFree=98345500/131382116 swapFree=33010684/33010684
[pid=144710] ppid=144707 vsize=4192 memory=3072 CPUtime=1.12 cores=0,2
/proc/144710/stat : 144710 (run-opt-ls-log.) S 144707 144710 144152 0 -1 4194304 237 10624 0 0 0 0 98 14 20 0 1 0 184346416 4292608 768 18446744073709551615 94477100408832 94477101303365 140737235590368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94477101542416 94477101590160 94477128478720 140737235593535 140737235593695 140737235593695 140737235599299 0
/proc/144710/statm: 1048 768 704 219 0 110 0
[pid=144752] ppid=144710 vsize=458372 memory=353564 CPUtime=3151.81 cores=0,2
/proc/144752/stat : 144752 (roundingsat) R 144710 144710 144152 0 -1 4194304 41064 0 0 0 313723 1458 0 0 20 0 1 0 184346533 469372928 88391 18446744073709551615 4227072 8923577 140723396102496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 17227776 140723396106522 140723396106790 140723396106790 140723396112362 0
/proc/144752/statm: 114593 88391 2464 1147 0 102019 0
Current children cumulated CPU time: 3152.93 s
Current children cumulated vsize: 462564 KiB
Current children cumulated memory: 356636 KiB
[startup+3222.3 s]
/proc/loadavg: 1.14 1.12 1.21 2/233 145123
/proc/meminfo: memFree=98346272/131382116 swapFree=33010684/33010684
[pid=144710] ppid=144707 vsize=4192 memory=3072 CPUtime=1.12 cores=0,2
/proc/144710/stat : 144710 (run-opt-ls-log.) S 144707 144710 144152 0 -1 4194304 237 10624 0 0 0 0 98 14 20 0 1 0 184346416 4292608 768 18446744073709551615 94477100408832 94477101303365 140737235590368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94477101542416 94477101590160 94477128478720 140737235593535 140737235593695 140737235593695 140737235599299 0
/proc/144710/statm: 1048 768 704 219 0 110 0
[pid=144752] ppid=144710 vsize=458372 memory=353564 CPUtime=3211.63 cores=0,2
/proc/144752/stat : 144752 (roundingsat) R 144710 144710 144152 0 -1 4194304 41064 0 0 0 319686 1477 0 0 20 0 1 0 184346533 469372928 88391 18446744073709551615 4227072 8923577 140723396102496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 17227776 140723396106522 140723396106790 140723396106790 140723396112362 0
/proc/144752/statm: 114593 88391 2464 1147 0 102019 0
Current children cumulated CPU time: 3212.75 s
Current children cumulated vsize: 462564 KiB
Current children cumulated memory: 356636 KiB
[startup+3282.3 s]
/proc/loadavg: 1.11 1.11 1.20 2/233 145125
/proc/meminfo: memFree=98331340/131382116 swapFree=33010684/33010684
[pid=144710] ppid=144707 vsize=4192 memory=3072 CPUtime=1.12 cores=0,2
/proc/144710/stat : 144710 (run-opt-ls-log.) S 144707 144710 144152 0 -1 4194304 237 10624 0 0 0 0 98 14 20 0 1 0 184346416 4292608 768 18446744073709551615 94477100408832 94477101303365 140737235590368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94477101542416 94477101590160 94477128478720 140737235593535 140737235593695 140737235593695 140737235599299 0
/proc/144710/statm: 1048 768 704 219 0 110 0
[pid=144752] ppid=144710 vsize=460964 memory=356124 CPUtime=3271.46 cores=0,2
/proc/144752/stat : 144752 (roundingsat) R 144710 144710 144152 0 -1 4194304 41704 0 0 0 325636 1510 0 0 20 0 1 0 184346533 472027136 89031 18446744073709551615 4227072 8923577 140723396102496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 17227776 140723396106522 140723396106790 140723396106790 140723396112362 0
/proc/144752/statm: 115241 89031 2464 1147 0 102667 0
Current children cumulated CPU time: 3272.58 s
Current children cumulated vsize: 465156 KiB
Current children cumulated memory: 359196 KiB
[startup+3342.3 s]
/proc/loadavg: 1.16 1.12 1.19 2/233 145128
/proc/meminfo: memFree=98290280/131382116 swapFree=33010684/33010684
[pid=144710] ppid=144707 vsize=4192 memory=3072 CPUtime=1.12 cores=0,2
/proc/144710/stat : 144710 (run-opt-ls-log.) S 144707 144710 144152 0 -1 4194304 237 10624 0 0 0 0 98 14 20 0 1 0 184346416 4292608 768 18446744073709551615 94477100408832 94477101303365 140737235590368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94477101542416 94477101590160 94477128478720 140737235593535 140737235593695 140737235593695 140737235599299 0
/proc/144710/statm: 1048 768 704 219 0 110 0
[pid=144752] ppid=144710 vsize=470352 memory=380988 CPUtime=3331.28 cores=0,2
/proc/144752/stat : 144752 (roundingsat) R 144710 144710 144152 0 -1 4194304 43889 0 0 0 331594 1534 0 0 20 0 1 0 184346533 481640448 95247 18446744073709551615 4227072 8923577 140723396102496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 17227776 140723396106522 140723396106790 140723396106790 140723396112362 0
/proc/144752/statm: 117588 95247 2464 1147 0 105014 0
Current children cumulated CPU time: 3332.4 s
Current children cumulated vsize: 474544 KiB
Current children cumulated memory: 384060 KiB
[startup+3402.3 s]
/proc/loadavg: 1.17 1.13 1.19 2/233 145131
/proc/meminfo: memFree=98257140/131382116 swapFree=33010684/33010684
[pid=144710] ppid=144707 vsize=4192 memory=3072 CPUtime=1.12 cores=0,2
/proc/144710/stat : 144710 (run-opt-ls-log.) S 144707 144710 144152 0 -1 4194304 237 10624 0 0 0 0 98 14 20 0 1 0 184346416 4292608 768 18446744073709551615 94477100408832 94477101303365 140737235590368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94477101542416 94477101590160 94477128478720 140737235593535 140737235593695 140737235593695 140737235599299 0
/proc/144710/statm: 1048 768 704 219 0 110 0
[pid=144752] ppid=144710 vsize=472904 memory=384916 CPUtime=3391.1 cores=0,2
/proc/144752/stat : 144752 (roundingsat) R 144710 144710 144152 0 -1 4194304 44157 0 0 0 337556 1554 0 0 20 0 1 0 184346533 484253696 96229 18446744073709551615 4227072 8923577 140723396102496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 17227776 140723396106522 140723396106790 140723396106790 140723396112362 0
/proc/144752/statm: 118226 96229 2464 1147 0 105652 0
Current children cumulated CPU time: 3392.22 s
Current children cumulated vsize: 477096 KiB
Current children cumulated memory: 387988 KiB
[startup+3462.3 s]
/proc/loadavg: 1.11 1.12 1.18 2/233 145133
/proc/meminfo: memFree=98242588/131382116 swapFree=33010684/33010684
[pid=144710] ppid=144707 vsize=4192 memory=3072 CPUtime=1.12 cores=0,2
/proc/144710/stat : 144710 (run-opt-ls-log.) S 144707 144710 144152 0 -1 4194304 237 10624 0 0 0 0 98 14 20 0 1 0 184346416 4292608 768 18446744073709551615 94477100408832 94477101303365 140737235590368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94477101542416 94477101590160 94477128478720 140737235593535 140737235593695 140737235593695 140737235599299 0
/proc/144710/statm: 1048 768 704 219 0 110 0
[pid=144752] ppid=144710 vsize=472904 memory=385556 CPUtime=3450.92 cores=0,2
/proc/144752/stat : 144752 (roundingsat) R 144710 144710 144152 0 -1 4194304 44160 0 0 0 343509 1583 0 0 20 0 1 0 184346533 484253696 96389 18446744073709551615 4227072 8923577 140723396102496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 17227776 140723396106522 140723396106790 140723396106790 140723396112362 0
/proc/144752/statm: 118226 96389 2464 1147 0 105652 0
Current children cumulated CPU time: 3452.04 s
Current children cumulated vsize: 477096 KiB
Current children cumulated memory: 388628 KiB
[startup+3522.3 s]
/proc/loadavg: 1.08 1.11 1.17 2/233 145135
/proc/meminfo: memFree=98243596/131382116 swapFree=33010684/33010684
[pid=144710] ppid=144707 vsize=4192 memory=3072 CPUtime=1.12 cores=0,2
/proc/144710/stat : 144710 (run-opt-ls-log.) S 144707 144710 144152 0 -1 4194304 237 10624 0 0 0 0 98 14 20 0 1 0 184346416 4292608 768 18446744073709551615 94477100408832 94477101303365 140737235590368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94477101542416 94477101590160 94477128478720 140737235593535 140737235593695 140737235593695 140737235599299 0
/proc/144710/statm: 1048 768 704 219 0 110 0
[pid=144752] ppid=144710 vsize=472904 memory=385556 CPUtime=3510.74 cores=0,2
/proc/144752/stat : 144752 (roundingsat) R 144710 144710 144152 0 -1 4194304 44160 0 0 0 349479 1595 0 0 20 0 1 0 184346533 484253696 96389 18446744073709551615 4227072 8923577 140723396102496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 17227776 140723396106522 140723396106790 140723396106790 140723396112362 0
/proc/144752/statm: 118226 96389 2464 1147 0 105652 0
Current children cumulated CPU time: 3511.86 s
Current children cumulated vsize: 477096 KiB
Current children cumulated memory: 388628 KiB
[startup+3582.3 s]
/proc/loadavg: 1.08 1.10 1.17 2/234 145138
/proc/meminfo: memFree=98236508/131382116 swapFree=33010684/33010684
[pid=144710] ppid=144707 vsize=4192 memory=3072 CPUtime=1.12 cores=0,2
/proc/144710/stat : 144710 (run-opt-ls-log.) S 144707 144710 144152 0 -1 4194304 237 10624 0 0 0 0 98 14 20 0 1 0 184346416 4292608 768 18446744073709551615 94477100408832 94477101303365 140737235590368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94477101542416 94477101590160 94477128478720 140737235593535 140737235593695 140737235593695 140737235599299 0
/proc/144710/statm: 1048 768 704 219 0 110 0
[pid=144752] ppid=144710 vsize=472904 memory=385556 CPUtime=3570.56 cores=0,2
/proc/144752/stat : 144752 (roundingsat) R 144710 144710 144152 0 -1 4194304 44160 0 0 0 355438 1618 0 0 20 0 1 0 184346533 484253696 96389 18446744073709551615 4227072 8923577 140723396102496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 17227776 140723396106522 140723396106790 140723396106790 140723396112362 0
/proc/144752/statm: 118226 96389 2464 1147 0 105652 0
Current children cumulated CPU time: 3571.68 s
Current children cumulated vsize: 477096 KiB
Current children cumulated memory: 388628 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.7 s]
/proc/loadavg: 1.13 1.11 1.17 2/234 145138
/proc/meminfo: memFree=98228444/131382116 swapFree=33010684/33010684
[pid=144710] ppid=144707 vsize=4192 memory=3072 CPUtime=1.12 cores=0,2
/proc/144710/stat : 144710 (run-opt-ls-log.) S 144707 144710 144152 0 -1 4194304 237 10624 0 0 0 0 98 14 20 0 1 0 184346416 4292608 768 18446744073709551615 94477100408832 94477101303365 140737235590368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94477101542416 94477101590160 94477128478720 140737235593535 140737235593695 140737235593695 140737235599299 0
/proc/144710/statm: 1048 768 704 219 0 110 0
[pid=144752] ppid=144710 vsize=472904 memory=385556 CPUtime=3598.88 cores=0,2
/proc/144752/stat : 144752 (roundingsat) R 144710 144710 144152 0 -1 4194304 44160 0 0 0 358254 1634 0 0 20 0 1 0 184346533 484253696 96389 18446744073709551615 4227072 8923577 140723396102496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 17227776 140723396106522 140723396106790 140723396106790 140723396112362 0
/proc/144752/statm: 118226 96389 2464 1147 0 105652 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 477096 KiB
Current children cumulated memory: 388628 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.71 s]
# the end of solver process 144710 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.983887 s, system=0.149534 s
Sleeping 2 seconds
[startup+3610.72 s]
# the end of solver process 144752 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3583.55 s, system=16.4936 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.7 s]
/proc/loadavg: 1.13 1.11 1.17 2/234 145138
/proc/meminfo: memFree=98228444/131382116 swapFree=33010684/33010684
[pid=144710] ppid=144707 vsize=4192 memory=3072 CPUtime=1.12 cores=0,2
/proc/144710/stat : 144710 (run-opt-ls-log.) S 144707 144710 144152 0 -1 4194304 237 10624 0 0 0 0 98 14 20 0 1 0 184346416 4292608 768 18446744073709551615 94477100408832 94477101303365 140737235590368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94477101542416 94477101590160 94477128478720 140737235593535 140737235593695 140737235593695 140737235599299 0
/proc/144710/statm: 1048 768 704 219 0 110 0
[pid=144752] ppid=144710 vsize=472904 memory=385556 CPUtime=3598.88 cores=0,2
/proc/144752/stat : 144752 (roundingsat) R 144710 144710 144152 0 -1 4194304 44160 0 0 0 358254 1634 0 0 20 0 1 0 184346533 484253696 96389 18446744073709551615 4227072 8923577 140723396102496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 17227776 140723396106522 140723396106790 140723396106790 140723396112362 0
/proc/144752/statm: 118226 96389 2464 1147 0 105652 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 477096 KiB
Current children cumulated memory: 388628 KiB
Child status: 2
Real time (s): 3610.72
CPU time (s): 3600.04
CPU user time (s): 3583.55
CPU system time (s): 16.4936
CPU usage (%): 99.7043
Max. virtual memory (cumulated for all children) (KiB): 477096
Max. memory (cumulated for all children) (KiB): 388628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.55
system time used= 16.4936
maximum resident set size= 385812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55041
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1294592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 255
involuntary context switches= 8069
# summary of solver processes directly reported to runsolver:
# pid: 144710,144752
# total CPU time (s): 3600.04
# total CPU user time (s): 3583.55
# total CPU system time (s): 16.4936
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.3808 second user time and 34.8637 second system time
The end
Begin job on nodeC011 at 2025-07-16 19:24:27
IDJOB=4532091
IDBENCH=158390
IDSOLVER=3392
FILE ID=nodeC011/4532091-1752686667
RUNJOBID= nodeC011-1752683051-144302
SLURM_JOB_ID= 9686940
Free space on /tmp= 362768 MiB
SOLVER NAME= roundingsat-ls+pbsuma-log 0f876b3
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/EmployeeScheduling/normalized-sep4.5.opb
COMMAND LINE= run-opt-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4532091-1752686667/watcher-4532091-1752686667 -o /tmp/evaluation-result-4532091-1752686667/solver-4532091-1752686667 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1752683051-144302 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4532091-1752686667.opb /tmp/proof-4532091-1752686667
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b67c8b15922ffb2eac696beabc53406c
RANDOM SEED=1377291164
nodeC011 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 : 0xb00001f
cpu MHz : 2394.585
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20
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 : 0xb00001f
cpu MHz : 1197.718
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20
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 : 0xb00001f
cpu MHz : 1198.027
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20
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 : 0xb00001f
cpu MHz : 2993.231
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20
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 : 0xb00001f
cpu MHz : 1197.119
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20
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 : 0xb00001f
cpu MHz : 3662.913
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20
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 : 0xb00001f
cpu MHz : 2993.251
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20
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 : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 67513760 kB
MemAvailable: 129698224 kB
Buffers: 3276 kB
Cached: 62920220 kB
SwapCached: 0 kB
Active: 762560 kB
Inactive: 62405392 kB
Active(anon): 268560 kB
Inactive(anon): 2076 kB
Active(file): 494000 kB
Inactive(file): 62403316 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 259076 kB
Writeback: 4 kB
AnonPages: 246300 kB
Mapped: 114284 kB
Shmem: 26152 kB
KReclaimable: 253168 kB
Slab: 347432 kB
SReclaimable: 253168 kB
SUnreclaim: 94264 kB
KernelStack: 3984 kB
PageTables: 3284 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 555472 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149352 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 176128 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: 191304 kB
DirectMap2M: 8099840 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 431296 MiB
End job on nodeC011 at 2025-07-16 20:24:38