0.00/0.02 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02 c │ pbsuma -- a PB interface for satsuma │
0.00/0.02 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.02 c │ (c) 2025 Markus Anders │
0.00/0.02 c └────────────────────────────────────────────────────────────────┘
0.00/0.02 c parse 'HOME/instance-4506765-1751170426.opb'
0.00/0.03 c read 1.39MB (18.72ms)
0.00/0.03 c [cnf: #variables 20111 #clauses 20451 #duplicates 0 #arr 131567]
0.00/0.08 c output proof to 'PROOFDIR/proof-4506765-1751170426'
0.00/0.08 c
0.00/0.08 c make graph and approximate orbits
0.03/0.11 c [group: #orbits ~= 3042] (30.59ms)
0.03/0.11 c
0.03/0.11 c detect special group actions
0.03/0.11 c probe for Johnson action (limit=64)
0.03/0.11 c probe for row-column symmetry (limit=64, splits=16.78M)
0.03/0.11 c probe for row symmetry (limit=64, splits=16.78M)
0.03/0.11 c (4.71ms)
0.03/0.11 c
0.03/0.11 c detect symmetries on remainder
0.03/0.11 c [graph: #vertices 100895 #edges 383800]
0.03/0.12 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.03/0.14 c [group: #symmetries 4.80*10^1 #generators 5] (22.29ms)
0.03/0.14 c
0.03/0.14 c optimize generators (opt_passes=64, conjugate_limit=256)
0.03/0.14 c (0.06ms)
0.03/0.14 c
0.03/0.14 c finalize break order and special generators
0.03/0.14 c
0.03/0.14 c add generic predicates (break_depth=10)
0.03/0.14 c added predicates for 5 generators (0.07ms)
0.03/0.15 c
0.03/0.15 c generation finished
0.03/0.15 c [sbp: #constraints 140 #add_vars 45]
0.03/0.15 c
0.03/0.15 c write result to 'HOME/instance-4506765-1751170426.opb.pre'
0.03/0.16 c wrote 1.41MB (3.24ms)
0.03/0.16 c ------------------------------------------------------------------
0.03/0.16 c 60.90ms 43.09% other
0.03/0.16 c 30.59ms 21.64% approx_orbits
0.03/0.16 c 22.29ms 15.77% detect_generic
0.03/0.16 c 18.72ms 13.24% parse
0.03/0.16 c 4.71ms 3.33% detect_special
0.03/0.16 c 3.24ms 2.29% output
0.03/0.16 c 0.77ms 0.55% finalize_order
0.03/0.16 c 0.07ms 0.05% break_generic
0.03/0.16 c 0.06ms 0.04% optimize_gens
0.03/0.16 c ───────────────────────────────────────────────
0.03/0.16 c 141.34ms 100% total
0.03/0.16 c ------------------------------------------------------------------
0.03/0.18 c RoundingSat 2
0.03/0.18 c branch pb25
0.03/0.18 c commit 63f22ad
0.21/0.36 c #variables 20156 #constraints 20589
122.01/123.45 c #Conflicts: 1000 | #Constraints: 21588
122.01/123.45 c #Conflicts: 2000 | #Constraints: 22588
122.01/123.45 c INPROCESSING
122.01/123.45 c GARBAGE COLLECT
122.01/123.45 c #Conflicts: 3000 | #Constraints: 21921
122.01/123.45 c #Conflicts: 4000 | #Constraints: 22921
122.01/123.45 c INPROCESSING
122.01/123.45 c GARBAGE COLLECT
122.01/123.45 c #Conflicts: 5000 | #Constraints: 22428
122.01/123.45 c #Conflicts: 6000 | #Constraints: 23428
122.01/123.45 c INPROCESSING
122.01/123.45 c GARBAGE COLLECT
122.01/123.45 c #Conflicts: 7000 | #Constraints: 22505
122.01/123.45 c #Conflicts: 8000 | #Constraints: 23505
122.01/123.45 c #Conflicts: 9000 | #Constraints: 24505
122.01/123.45 c INPROCESSING
122.01/123.45 c GARBAGE COLLECT
122.01/123.45 c #Conflicts: 10000 | #Constraints: 23281
122.01/123.45 c #Conflicts: 11000 | #Constraints: 24281
122.01/123.45 c #Conflicts: 12000 | #Constraints: 25281
122.01/123.45 c #Conflicts: 13000 | #Constraints: 26281
122.01/123.45 c #Conflicts: 14000 | #Constraints: 27281
122.01/123.45 c #Conflicts: 15000 | #Constraints: 28281
122.01/123.45 c #Conflicts: 16000 | #Constraints: 29281
122.01/123.45 c INPROCESSING
122.01/123.45 c GARBAGE COLLECT
122.01/123.45 c #Conflicts: 17000 | #Constraints: 25624
122.01/123.45 c #Conflicts: 18000 | #Constraints: 26624
122.01/123.45 c #Conflicts: 19000 | #Constraints: 27624
122.01/123.45 c #Conflicts: 20000 | #Constraints: 28624
122.01/123.45 c INPROCESSING
122.01/123.45 c GARBAGE COLLECT
122.01/123.45 c #Conflicts: 21000 | #Constraints: 25396
122.01/123.45 c #Conflicts: 22000 | #Constraints: 26396
122.01/123.45 c #Conflicts: 23000 | #Constraints: 27396
122.01/123.45 c #Conflicts: 24000 | #Constraints: 28396
122.01/123.45 c #Conflicts: 25000 | #Constraints: 29396
122.01/123.45 c #Conflicts: 26000 | #Constraints: 30396
122.01/123.45 c #Conflicts: 27000 | #Constraints: 31396
122.01/123.45 c #Conflicts: 28000 | #Constraints: 32396
122.01/123.45 c #Conflicts: 29000 | #Constraints: 33396
122.01/123.45 c #Conflicts: 30000 | #Constraints: 34396
122.01/123.45 c INPROCESSING
122.01/123.45 c GARBAGE COLLECT
122.01/123.45 c #Conflicts: 31000 | #Constraints: 28163
122.01/123.45 c #Conflicts: 32000 | #Constraints: 29163
122.01/123.45 c #Conflicts: 33000 | #Constraints: 30163
122.01/123.45 c #Conflicts: 34000 | #Constraints: 31163
122.01/123.45 c #Conflicts: 35000 | #Constraints: 32163
122.01/123.45 c #Conflicts: 36000 | #Constraints: 33163
122.01/123.45 c INPROCESSING
122.01/123.45 c GARBAGE COLLECT
122.01/123.45 c #Conflicts: 37000 | #Constraints: 28418
122.01/123.45 c #Conflicts: 38000 | #Constraints: 29418
122.01/123.45 c #Conflicts: 39000 | #Constraints: 30418
122.01/123.45 c #Conflicts: 40000 | #Constraints: 31418
122.01/123.45 c #Conflicts: 41000 | #Constraints: 32418
122.01/123.45 c #Conflicts: 42000 | #Constraints: 33418
122.01/123.45 c #Conflicts: 43000 | #Constraints: 34418
122.01/123.45 c #Conflicts: 44000 | #Constraints: 35418
122.01/123.45 c #Conflicts: 45000 | #Constraints: 36418
122.01/123.45 c #Conflicts: 46000 | #Constraints: 37418
122.01/123.45 c #Conflicts: 47000 | #Constraints: 38418
122.01/123.45 c #Conflicts: 48000 | #Constraints: 39418
122.01/123.45 c #Conflicts: 49000 | #Constraints: 40418
122.01/123.45 c INPROCESSING
122.01/123.45 c GARBAGE COLLECT
122.01/123.45 c #Conflicts: 50000 | #Constraints: 31465
122.01/123.45 c #Conflicts: 51000 | #Constraints: 32465
122.01/123.45 c #Conflicts: 52000 | #Constraints: 33465
122.01/123.45 c #Conflicts: 53000 | #Constraints: 34465
122.01/123.45 c #Conflicts: 54000 | #Constraints: 35465
122.01/123.45 c #Conflicts: 55000 | #Constraints: 36465
122.01/123.45 c #Conflicts: 56000 | #Constraints: 37465
122.01/123.45 c INPROCESSING
122.01/123.45 c GARBAGE COLLECT
122.01/123.45 c #Conflicts: 57000 | #Constraints: 31197
122.01/123.45 c #Conflicts: 58000 | #Constraints: 32197
122.01/123.45 c #Conflicts: 59000 | #Constraints: 33197
122.01/123.45 c #Conflicts: 60000 | #Constraints: 34197
122.01/123.45 c #Conflicts: 61000 | #Constraints: 35197
122.01/123.45 c #Conflicts: 62000 | #Constraints: 36197
122.01/123.45 c #Conflicts: 63000 | #Constraints: 37197
122.01/123.45 c #Conflicts: 64000 | #Constraints: 38197
122.01/123.45 c #Conflicts: 65000 | #Constraints: 39197
122.01/123.45 c #Conflicts: 66000 | #Constraints: 40197
122.01/123.45 c #Conflicts: 67000 | #Constraints: 41197
122.01/123.45 c #Conflicts: 68000 | #Constraints: 42197
122.01/123.45 c #Conflicts: 69000 | #Constraints: 43197
122.01/123.45 c #Conflicts: 70000 | #Constraints: 44197
122.01/123.45 c #Conflicts: 71000 | #Constraints: 45197
122.01/123.45 c #Conflicts: 72000 | #Constraints: 46197
122.01/123.45 c INPROCESSING
122.01/123.45 c GARBAGE COLLECT
255.88/258.89 c #Conflicts: 73000 | #Constraints: 34435
255.88/258.89 c #Conflicts: 74000 | #Constraints: 35435
255.88/258.89 c #Conflicts: 75000 | #Constraints: 36435
255.88/258.89 c #Conflicts: 76000 | #Constraints: 37435
255.88/258.89 c #Conflicts: 77000 | #Constraints: 38435
255.88/258.89 c #Conflicts: 78000 | #Constraints: 39435
255.88/258.89 c #Conflicts: 79000 | #Constraints: 40435
255.88/258.89 c #Conflicts: 80000 | #Constraints: 41435
255.88/258.89 c INPROCESSING
255.88/258.89 c GARBAGE COLLECT
255.88/258.89 c #Conflicts: 81000 | #Constraints: 33723
255.88/258.89 c #Conflicts: 82000 | #Constraints: 34723
255.88/258.89 c #Conflicts: 83000 | #Constraints: 35723
255.88/258.89 c #Conflicts: 84000 | #Constraints: 36723
255.88/258.89 c #Conflicts: 85000 | #Constraints: 37723
255.88/258.89 c #Conflicts: 86000 | #Constraints: 38723
255.88/258.89 c #Conflicts: 87000 | #Constraints: 39723
255.88/258.89 c #Conflicts: 88000 | #Constraints: 40723
255.88/258.89 c #Conflicts: 89000 | #Constraints: 41723
255.88/258.89 c #Conflicts: 90000 | #Constraints: 42723
255.88/258.89 c #Conflicts: 91000 | #Constraints: 43723
255.88/258.89 c #Conflicts: 92000 | #Constraints: 44723
255.88/258.89 c #Conflicts: 93000 | #Constraints: 45723
255.88/258.89 c #Conflicts: 94000 | #Constraints: 46723
255.88/258.89 c #Conflicts: 95000 | #Constraints: 47723
255.88/258.89 c #Conflicts: 96000 | #Constraints: 48723
255.88/258.89 c #Conflicts: 97000 | #Constraints: 49723
255.88/258.89 c #Conflicts: 98000 | #Constraints: 50723
255.88/258.89 c #Conflicts: 99000 | #Constraints: 51723
255.88/258.89 c #Conflicts: 100000 | #Constraints: 52723
255.88/258.89 c INPROCESSING
255.88/258.89 c GARBAGE COLLECT
255.88/258.89 c #Conflicts: 101000 | #Constraints: 38094
255.88/258.89 c #Conflicts: 102000 | #Constraints: 39094
255.88/258.89 c #Conflicts: 103000 | #Constraints: 40094
255.88/258.89 c #Conflicts: 104000 | #Constraints: 41094
255.88/258.89 c #Conflicts: 105000 | #Constraints: 42094
255.88/258.89 c #Conflicts: 106000 | #Constraints: 43094
255.88/258.89 c #Conflicts: 107000 | #Constraints: 44094
255.88/258.89 c #Conflicts: 108000 | #Constraints: 45094
255.88/258.89 c #Conflicts: 109000 | #Constraints: 46094
255.88/258.89 c INPROCESSING
255.88/258.89 c GARBAGE COLLECT
255.88/258.89 c #Conflicts: 110000 | #Constraints: 36348
255.88/258.89 c #Conflicts: 111000 | #Constraints: 37348
255.88/258.89 c #Conflicts: 112000 | #Constraints: 38348
255.88/258.89 c #Conflicts: 113000 | #Constraints: 39348
255.88/258.89 c #Conflicts: 114000 | #Constraints: 40348
255.88/258.89 c #Conflicts: 115000 | #Constraints: 41348
255.88/258.89 c #Conflicts: 116000 | #Constraints: 42348
255.88/258.89 c #Conflicts: 117000 | #Constraints: 43348
255.88/258.89 c #Conflicts: 118000 | #Constraints: 44348
255.88/258.89 c #Conflicts: 119000 | #Constraints: 45348
255.88/258.89 c #Conflicts: 120000 | #Constraints: 46348
255.88/258.89 c #Conflicts: 121000 | #Constraints: 47348
255.88/258.89 c #Conflicts: 122000 | #Constraints: 48348
255.88/258.89 c #Conflicts: 123000 | #Constraints: 49348
255.88/258.89 c #Conflicts: 124000 | #Constraints: 50348
255.88/258.89 c #Conflicts: 125000 | #Constraints: 51348
255.88/258.89 c #Conflicts: 126000 | #Constraints: 52348
255.88/258.89 c #Conflicts: 127000 | #Constraints: 53348
255.88/258.89 c #Conflicts: 128000 | #Constraints: 54348
255.88/258.89 c #Conflicts: 129000 | #Constraints: 55348
255.88/258.89 c #Conflicts: 130000 | #Constraints: 56348
255.88/258.89 c #Conflicts: 131000 | #Constraints: 57348
255.88/258.89 c #Conflicts: 132000 | #Constraints: 58348
255.88/258.89 c INPROCESSING
255.88/258.89 c GARBAGE COLLECT
255.88/258.89 c #Conflicts: 133000 | #Constraints: 41090
255.88/258.89 c #Conflicts: 134000 | #Constraints: 42090
255.88/258.89 c #Conflicts: 135000 | #Constraints: 43090
255.88/258.89 c #Conflicts: 136000 | #Constraints: 44090
255.88/258.89 c #Conflicts: 137000 | #Constraints: 45090
255.88/258.89 c #Conflicts: 138000 | #Constraints: 46090
255.88/258.89 c #Conflicts: 139000 | #Constraints: 47090
255.88/258.89 c #Conflicts: 140000 | #Constraints: 48090
255.88/258.89 c #Conflicts: 141000 | #Constraints: 49090
255.88/258.89 c #Conflicts: 142000 | #Constraints: 50090
255.88/258.89 c INPROCESSING
255.88/258.89 c GARBAGE COLLECT
255.88/258.89 c #Conflicts: 143000 | #Constraints: 39299
255.88/258.89 c #Conflicts: 144000 | #Constraints: 40299
255.88/258.89 c #Conflicts: 145000 | #Constraints: 41299
255.88/258.89 c #Conflicts: 146000 | #Constraints: 42299
255.88/258.89 c #Conflicts: 147000 | #Constraints: 43299
255.88/258.89 c #Conflicts: 148000 | #Constraints: 44299
439.35/443.34 c #Conflicts: 149000 | #Constraints: 45299
439.35/443.34 c #Conflicts: 150000 | #Constraints: 46299
439.35/443.34 c #Conflicts: 151000 | #Constraints: 47299
439.35/443.34 c #Conflicts: 152000 | #Constraints: 48299
439.35/443.34 c #Conflicts: 153000 | #Constraints: 49299
439.35/443.34 c #Conflicts: 154000 | #Constraints: 50299
439.35/443.34 c #Conflicts: 155000 | #Constraints: 51299
439.35/443.34 c #Conflicts: 156000 | #Constraints: 52299
439.35/443.34 c #Conflicts: 157000 | #Constraints: 53299
439.35/443.34 c #Conflicts: 158000 | #Constraints: 54299
439.35/443.34 c #Conflicts: 159000 | #Constraints: 55299
439.35/443.34 c #Conflicts: 160000 | #Constraints: 56299
439.35/443.34 c #Conflicts: 161000 | #Constraints: 57299
439.35/443.34 c #Conflicts: 162000 | #Constraints: 58299
439.35/443.34 c #Conflicts: 163000 | #Constraints: 59299
439.35/443.34 c #Conflicts: 164000 | #Constraints: 60299
439.35/443.34 c #Conflicts: 165000 | #Constraints: 61299
439.35/443.34 c #Conflicts: 166000 | #Constraints: 62299
439.35/443.34 c #Conflicts: 167000 | #Constraints: 63299
439.35/443.34 c #Conflicts: 168000 | #Constraints: 64299
439.35/443.34 c INPROCESSING
439.35/443.34 c GARBAGE COLLECT
439.35/443.34 c #Conflicts: 169000 | #Constraints: 43976
439.35/443.34 c #Conflicts: 170000 | #Constraints: 44976
439.35/443.34 c #Conflicts: 171000 | #Constraints: 45976
439.35/443.34 c #Conflicts: 172000 | #Constraints: 46976
439.35/443.34 c #Conflicts: 173000 | #Constraints: 47976
439.35/443.34 c #Conflicts: 174000 | #Constraints: 48976
439.35/443.34 c #Conflicts: 175000 | #Constraints: 49976
439.35/443.34 c #Conflicts: 176000 | #Constraints: 50976
439.35/443.34 c #Conflicts: 177000 | #Constraints: 51976
439.35/443.34 c #Conflicts: 178000 | #Constraints: 52976
439.35/443.34 c #Conflicts: 179000 | #Constraints: 53976
439.35/443.34 c #Conflicts: 180000 | #Constraints: 54976
439.35/443.34 c INPROCESSING
439.35/443.34 c GARBAGE COLLECT
439.35/443.34 c #Conflicts: 181000 | #Constraints: 42830
439.35/443.34 c #Conflicts: 182000 | #Constraints: 43830
439.35/443.34 c #Conflicts: 183000 | #Constraints: 44830
439.35/443.34 c #Conflicts: 184000 | #Constraints: 45830
439.35/443.34 c #Conflicts: 185000 | #Constraints: 46830
439.35/443.34 c #Conflicts: 186000 | #Constraints: 47830
439.35/443.34 c #Conflicts: 187000 | #Constraints: 48830
439.35/443.34 c #Conflicts: 188000 | #Constraints: 49830
439.35/443.34 c #Conflicts: 189000 | #Constraints: 50830
439.35/443.34 c #Conflicts: 190000 | #Constraints: 51830
439.35/443.34 c #Conflicts: 191000 | #Constraints: 52830
439.35/443.34 c #Conflicts: 192000 | #Constraints: 53830
439.35/443.34 c #Conflicts: 193000 | #Constraints: 54830
439.35/443.34 c #Conflicts: 194000 | #Constraints: 55830
439.35/443.34 c #Conflicts: 195000 | #Constraints: 56830
439.35/443.34 c #Conflicts: 196000 | #Constraints: 57830
439.35/443.34 c #Conflicts: 197000 | #Constraints: 58830
439.35/443.34 c #Conflicts: 198000 | #Constraints: 59830
439.35/443.34 c #Conflicts: 199000 | #Constraints: 60830
439.35/443.34 c #Conflicts: 200000 | #Constraints: 61830
439.35/443.34 c #Conflicts: 201000 | #Constraints: 62830
439.35/443.34 c #Conflicts: 202000 | #Constraints: 63830
439.35/443.34 c #Conflicts: 203000 | #Constraints: 64830
439.35/443.34 c #Conflicts: 204000 | #Constraints: 65830
439.35/443.34 c #Conflicts: 205000 | #Constraints: 66830
439.35/443.34 c #Conflicts: 206000 | #Constraints: 67830
439.35/443.34 c #Conflicts: 207000 | #Constraints: 68830
439.35/443.34 c #Conflicts: 208000 | #Constraints: 69830
439.35/443.34 c #Conflicts: 209000 | #Constraints: 70830
439.35/443.34 c INPROCESSING
439.35/443.34 c GARBAGE COLLECT
439.35/443.34 c #Conflicts: 210000 | #Constraints: 47554
439.35/443.34 c #Conflicts: 211000 | #Constraints: 48554
439.35/443.34 c #Conflicts: 212000 | #Constraints: 49554
439.35/443.34 c #Conflicts: 213000 | #Constraints: 50554
439.35/443.34 c #Conflicts: 214000 | #Constraints: 51554
439.35/443.34 c #Conflicts: 215000 | #Constraints: 52554
439.35/443.34 c #Conflicts: 216000 | #Constraints: 53554
439.35/443.34 c #Conflicts: 217000 | #Constraints: 54554
439.35/443.34 c #Conflicts: 218000 | #Constraints: 55554
439.35/443.34 c #Conflicts: 219000 | #Constraints: 56554
439.35/443.34 c #Conflicts: 220000 | #Constraints: 57554
439.35/443.34 c #Conflicts: 221000 | #Constraints: 58554
439.35/443.34 c #Conflicts: 222000 | #Constraints: 59554
439.35/443.34 c INPROCESSING
439.35/443.34 c GARBAGE COLLECT
439.35/443.34 c #Conflicts: 223000 | #Constraints: 45017
439.35/443.34 c #Conflicts: 224000 | #Constraints: 46017
598.81/603.57 c #Conflicts: 225000 | #Constraints: 47017
598.81/603.57 c #Conflicts: 226000 | #Constraints: 48017
598.81/603.57 c #Conflicts: 227000 | #Constraints: 49017
598.81/603.57 c #Conflicts: 228000 | #Constraints: 50017
598.81/603.57 c #Conflicts: 229000 | #Constraints: 51017
598.81/603.57 c #Conflicts: 230000 | #Constraints: 52017
598.81/603.57 c #Conflicts: 231000 | #Constraints: 53017
598.81/603.57 c #Conflicts: 232000 | #Constraints: 54017
598.81/603.57 c #Conflicts: 233000 | #Constraints: 55017
598.81/603.57 c #Conflicts: 234000 | #Constraints: 56017
598.81/603.57 c #Conflicts: 235000 | #Constraints: 57017
598.81/603.57 c #Conflicts: 236000 | #Constraints: 58017
598.81/603.57 c #Conflicts: 237000 | #Constraints: 59017
598.81/603.57 c #Conflicts: 238000 | #Constraints: 60017
598.81/603.57 c #Conflicts: 239000 | #Constraints: 61017
598.81/603.57 c #Conflicts: 240000 | #Constraints: 62017
598.81/603.57 c #Conflicts: 241000 | #Constraints: 63017
598.81/603.57 c #Conflicts: 242000 | #Constraints: 64017
598.81/603.57 c #Conflicts: 243000 | #Constraints: 65017
598.81/603.57 c #Conflicts: 244000 | #Constraints: 66017
598.81/603.57 c #Conflicts: 245000 | #Constraints: 67017
598.81/603.57 c #Conflicts: 246000 | #Constraints: 68017
598.81/603.57 c #Conflicts: 247000 | #Constraints: 69017
598.81/603.57 c #Conflicts: 248000 | #Constraints: 70017
598.81/603.57 c #Conflicts: 249000 | #Constraints: 71017
598.81/603.57 c #Conflicts: 250000 | #Constraints: 72017
598.81/603.57 c #Conflicts: 251000 | #Constraints: 73017
598.81/603.57 c #Conflicts: 252000 | #Constraints: 74017
598.81/603.57 c #Conflicts: 253000 | #Constraints: 75017
598.81/603.57 c #Conflicts: 254000 | #Constraints: 76017
598.81/603.57 c INPROCESSING
598.81/603.57 c GARBAGE COLLECT
598.81/603.57 c #Conflicts: 255000 | #Constraints: 49932
598.81/603.57 c #Conflicts: 256000 | #Constraints: 50932
598.81/603.57 c #Conflicts: 257000 | #Constraints: 51932
598.81/603.57 c #Conflicts: 258000 | #Constraints: 52932
598.81/603.57 c #Conflicts: 259000 | #Constraints: 53932
598.81/603.57 c #Conflicts: 260000 | #Constraints: 54932
598.81/603.57 c #Conflicts: 261000 | #Constraints: 55932
598.81/603.57 c #Conflicts: 262000 | #Constraints: 56932
598.81/603.57 c #Conflicts: 263000 | #Constraints: 57932
598.81/603.57 c #Conflicts: 264000 | #Constraints: 58932
598.81/603.57 c #Conflicts: 265000 | #Constraints: 59932
598.81/603.57 c #Conflicts: 266000 | #Constraints: 60932
598.81/603.57 c #Conflicts: 267000 | #Constraints: 61932
598.81/603.57 c #Conflicts: 268000 | #Constraints: 62932
598.81/603.57 c INPROCESSING
598.81/603.57 c GARBAGE COLLECT
598.81/603.57 c #Conflicts: 269000 | #Constraints: 47504
598.81/603.57 c #Conflicts: 270000 | #Constraints: 48504
598.81/603.57 c #Conflicts: 271000 | #Constraints: 49504
598.81/603.57 c #Conflicts: 272000 | #Constraints: 50504
598.81/603.57 c #Conflicts: 273000 | #Constraints: 51504
598.81/603.57 c #Conflicts: 274000 | #Constraints: 52504
598.81/603.57 c #Conflicts: 275000 | #Constraints: 53504
598.81/603.57 c #Conflicts: 276000 | #Constraints: 54504
598.81/603.57 c #Conflicts: 277000 | #Constraints: 55504
598.81/603.57 c #Conflicts: 278000 | #Constraints: 56504
598.81/603.57 c #Conflicts: 279000 | #Constraints: 57504
598.81/603.57 c #Conflicts: 280000 | #Constraints: 58504
598.81/603.57 c #Conflicts: 281000 | #Constraints: 59504
598.81/603.57 c #Conflicts: 282000 | #Constraints: 60504
598.81/603.57 c #Conflicts: 283000 | #Constraints: 61504
598.81/603.57 c #Conflicts: 284000 | #Constraints: 62504
598.81/603.57 c #Conflicts: 285000 | #Constraints: 63504
598.81/603.57 c #Conflicts: 286000 | #Constraints: 64504
598.81/603.57 c #Conflicts: 287000 | #Constraints: 65504
598.81/603.57 c #Conflicts: 288000 | #Constraints: 66504
598.81/603.57 c #Conflicts: 289000 | #Constraints: 67504
598.81/603.57 c #Conflicts: 290000 | #Constraints: 68504
598.81/603.57 c #Conflicts: 291000 | #Constraints: 69504
598.81/603.57 c #Conflicts: 292000 | #Constraints: 70504
598.81/603.57 c #Conflicts: 293000 | #Constraints: 71504
598.81/603.57 c #Conflicts: 294000 | #Constraints: 72504
598.81/603.57 c #Conflicts: 295000 | #Constraints: 73504
598.81/603.57 c #Conflicts: 296000 | #Constraints: 74504
598.81/603.57 c #Conflicts: 297000 | #Constraints: 75504
598.81/603.57 c #Conflicts: 298000 | #Constraints: 76504
598.81/603.57 c #Conflicts: 299000 | #Constraints: 77504
598.81/603.57 c #Conflicts: 300000 | #Constraints: 78504
598.81/603.57 c #Conflicts: 301000 | #Constraints: 79504
598.81/603.57 c #Conflicts: 302000 | #Constraints: 80504
726.67/733.58 c #Conflicts: 303000 | #Constraints: 81504
726.67/733.58 c INPROCESSING
726.67/733.58 c GARBAGE COLLECT
726.67/733.58 c #Conflicts: 304000 | #Constraints: 52680
726.67/733.58 c #Conflicts: 305000 | #Constraints: 53680
726.67/733.58 c #Conflicts: 306000 | #Constraints: 54680
726.67/733.58 c #Conflicts: 307000 | #Constraints: 55680
726.67/733.58 c #Conflicts: 308000 | #Constraints: 56680
726.67/733.58 c #Conflicts: 309000 | #Constraints: 57680
726.67/733.58 c #Conflicts: 310000 | #Constraints: 58680
726.67/733.58 c #Conflicts: 311000 | #Constraints: 59680
726.67/733.58 c #Conflicts: 312000 | #Constraints: 60680
726.67/733.58 c #Conflicts: 313000 | #Constraints: 61680
726.67/733.58 c #Conflicts: 314000 | #Constraints: 62680
726.67/733.58 c #Conflicts: 315000 | #Constraints: 63680
726.67/733.58 c #Conflicts: 316000 | #Constraints: 64680
726.67/733.58 c #Conflicts: 317000 | #Constraints: 65680
726.67/733.58 c #Conflicts: 318000 | #Constraints: 66680
726.67/733.58 c #Conflicts: 319000 | #Constraints: 67680
726.67/733.58 c INPROCESSING
726.67/733.58 c GARBAGE COLLECT
726.67/733.58 c #Conflicts: 320000 | #Constraints: 50619
726.67/733.58 c #Conflicts: 321000 | #Constraints: 51619
726.67/733.58 c #Conflicts: 322000 | #Constraints: 52619
726.67/733.58 c #Conflicts: 323000 | #Constraints: 53619
726.67/733.58 c #Conflicts: 324000 | #Constraints: 54619
726.67/733.58 c #Conflicts: 325000 | #Constraints: 55619
726.67/733.58 c #Conflicts: 326000 | #Constraints: 56619
726.67/733.58 c #Conflicts: 327000 | #Constraints: 57619
726.67/733.58 c #Conflicts: 328000 | #Constraints: 58619
726.67/733.58 c #Conflicts: 329000 | #Constraints: 59619
726.67/733.58 c #Conflicts: 330000 | #Constraints: 60619
726.67/733.58 c #Conflicts: 331000 | #Constraints: 61619
726.67/733.58 c #Conflicts: 332000 | #Constraints: 62619
726.67/733.58 c #Conflicts: 333000 | #Constraints: 63619
726.67/733.58 c #Conflicts: 334000 | #Constraints: 64619
726.67/733.58 c #Conflicts: 335000 | #Constraints: 65619
726.67/733.58 c #Conflicts: 336000 | #Constraints: 66619
726.67/733.58 c #Conflicts: 337000 | #Constraints: 67619
726.67/733.58 c #Conflicts: 338000 | #Constraints: 68619
726.67/733.58 c #Conflicts: 339000 | #Constraints: 69619
726.67/733.58 c #Conflicts: 340000 | #Constraints: 70619
726.67/733.58 c #Conflicts: 341000 | #Constraints: 71619
726.67/733.58 c #Conflicts: 342000 | #Constraints: 72619
726.67/733.58 c #Conflicts: 343000 | #Constraints: 73619
726.67/733.58 c #Conflicts: 344000 | #Constraints: 74619
726.67/733.58 c #Conflicts: 345000 | #Constraints: 75619
726.67/733.58 c #Conflicts: 346000 | #Constraints: 76619
726.67/733.58 c #Conflicts: 347000 | #Constraints: 77619
726.67/733.58 c #Conflicts: 348000 | #Constraints: 78619
726.67/733.58 c #Conflicts: 349000 | #Constraints: 79619
726.67/733.58 c #Conflicts: 350000 | #Constraints: 80619
726.67/733.58 c #Conflicts: 351000 | #Constraints: 81619
726.67/733.58 c #Conflicts: 352000 | #Constraints: 82619
726.67/733.58 c #Conflicts: 353000 | #Constraints: 83619
726.67/733.58 c #Conflicts: 354000 | #Constraints: 84619
726.67/733.58 c #Conflicts: 355000 | #Constraints: 85619
726.67/733.58 c #Conflicts: 356000 | #Constraints: 86619
726.67/733.58 c #Conflicts: 357000 | #Constraints: 87619
726.67/733.58 c INPROCESSING
726.67/733.58 c GARBAGE COLLECT
726.67/733.58 c #Conflicts: 358000 | #Constraints: 55831
726.67/733.58 c #Conflicts: 359000 | #Constraints: 56831
726.67/733.58 c #Conflicts: 360000 | #Constraints: 57831
726.67/733.58 c #Conflicts: 361000 | #Constraints: 58831
726.67/733.58 c #Conflicts: 362000 | #Constraints: 59831
726.67/733.58 c #Conflicts: 363000 | #Constraints: 60831
726.67/733.58 c #Conflicts: 364000 | #Constraints: 61831
726.67/733.58 c #Conflicts: 365000 | #Constraints: 62831
726.67/733.58 c #Conflicts: 366000 | #Constraints: 63831
726.67/733.58 c #Conflicts: 367000 | #Constraints: 64831
726.67/733.58 c #Conflicts: 368000 | #Constraints: 65831
726.67/733.58 c #Conflicts: 369000 | #Constraints: 66831
726.67/733.58 c #Conflicts: 370000 | #Constraints: 67831
726.67/733.58 c #Conflicts: 371000 | #Constraints: 68831
726.67/733.58 c #Conflicts: 372000 | #Constraints: 69831
726.67/733.58 c #Conflicts: 373000 | #Constraints: 70831
726.67/733.58 c #Conflicts: 374000 | #Constraints: 71831
726.67/733.58 c INPROCESSING
726.67/733.58 c GARBAGE COLLECT
726.67/733.58 c #Conflicts: 375000 | #Constraints: 53276
726.67/733.58 c #Conflicts: 376000 | #Constraints: 54276
726.67/733.58 c #Conflicts: 377000 | #Constraints: 55276
726.67/733.58 c #Conflicts: 378000 | #Constraints: 56276
874.77/885.50 c #Conflicts: 379000 | #Constraints: 57276
874.77/885.50 c #Conflicts: 380000 | #Constraints: 58276
874.77/885.50 c #Conflicts: 381000 | #Constraints: 59276
874.77/885.50 c #Conflicts: 382000 | #Constraints: 60276
874.77/885.50 c #Conflicts: 383000 | #Constraints: 61276
874.77/885.50 c #Conflicts: 384000 | #Constraints: 62276
874.77/885.50 c #Conflicts: 385000 | #Constraints: 63276
874.77/885.50 c #Conflicts: 386000 | #Constraints: 64276
874.77/885.50 c #Conflicts: 387000 | #Constraints: 65276
874.77/885.50 c #Conflicts: 388000 | #Constraints: 66276
874.77/885.50 c #Conflicts: 389000 | #Constraints: 67276
874.77/885.50 c #Conflicts: 390000 | #Constraints: 68276
874.77/885.50 c #Conflicts: 391000 | #Constraints: 69276
874.77/885.50 c #Conflicts: 392000 | #Constraints: 70276
874.77/885.50 c #Conflicts: 393000 | #Constraints: 71276
874.77/885.50 c #Conflicts: 394000 | #Constraints: 72276
874.77/885.50 c #Conflicts: 395000 | #Constraints: 73276
874.77/885.50 c #Conflicts: 396000 | #Constraints: 74276
874.77/885.50 c #Conflicts: 397000 | #Constraints: 75276
874.77/885.50 c #Conflicts: 398000 | #Constraints: 76276
874.77/885.50 c #Conflicts: 399000 | #Constraints: 77276
874.77/885.50 c #Conflicts: 400000 | #Constraints: 78276
874.77/885.50 c #Conflicts: 401000 | #Constraints: 79276
874.77/885.50 c #Conflicts: 402000 | #Constraints: 80276
874.77/885.50 c #Conflicts: 403000 | #Constraints: 81276
874.77/885.50 c #Conflicts: 404000 | #Constraints: 82276
874.77/885.50 c #Conflicts: 405000 | #Constraints: 83276
874.77/885.50 c #Conflicts: 406000 | #Constraints: 84276
874.77/885.50 c #Conflicts: 407000 | #Constraints: 85276
874.77/885.50 c #Conflicts: 408000 | #Constraints: 86276
874.77/885.50 c #Conflicts: 409000 | #Constraints: 87276
874.77/885.50 c #Conflicts: 410000 | #Constraints: 88276
874.77/885.50 c #Conflicts: 411000 | #Constraints: 89276
874.77/885.50 c #Conflicts: 412000 | #Constraints: 90276
874.77/885.50 c #Conflicts: 413000 | #Constraints: 91276
874.77/885.50 c #Conflicts: 414000 | #Constraints: 92276
874.77/885.50 c #Conflicts: 415000 | #Constraints: 93276
874.77/885.50 c INPROCESSING
874.77/885.50 c GARBAGE COLLECT
874.77/885.50 c #Conflicts: 416000 | #Constraints: 58574
874.77/885.50 c #Conflicts: 417000 | #Constraints: 59574
874.77/885.50 c #Conflicts: 418000 | #Constraints: 60574
874.77/885.50 c #Conflicts: 419000 | #Constraints: 61574
874.77/885.50 c #Conflicts: 420000 | #Constraints: 62574
874.77/885.50 c #Conflicts: 421000 | #Constraints: 63574
874.77/885.50 c #Conflicts: 422000 | #Constraints: 64574
874.77/885.50 c #Conflicts: 423000 | #Constraints: 65574
874.77/885.50 c #Conflicts: 424000 | #Constraints: 66574
874.77/885.50 c #Conflicts: 425000 | #Constraints: 67574
874.77/885.50 c #Conflicts: 426000 | #Constraints: 68574
874.77/885.50 c #Conflicts: 427000 | #Constraints: 69574
874.77/885.50 c #Conflicts: 428000 | #Constraints: 70574
874.77/885.50 c #Conflicts: 429000 | #Constraints: 71574
874.77/885.50 c #Conflicts: 430000 | #Constraints: 72574
874.77/885.50 c #Conflicts: 431000 | #Constraints: 73574
874.77/885.50 c #Conflicts: 432000 | #Constraints: 74574
874.77/885.50 c #Conflicts: 433000 | #Constraints: 75574
874.77/885.50 c #Conflicts: 434000 | #Constraints: 76574
874.77/885.50 c INPROCESSING
874.77/885.50 c GARBAGE COLLECT
874.77/885.50 c #Conflicts: 435000 | #Constraints: 56254
874.77/885.50 c #Conflicts: 436000 | #Constraints: 57254
874.77/885.50 c #Conflicts: 437000 | #Constraints: 58254
874.77/885.50 c #Conflicts: 438000 | #Constraints: 59254
874.77/885.50 c #Conflicts: 439000 | #Constraints: 60254
874.77/885.50 c #Conflicts: 440000 | #Constraints: 61254
874.77/885.50 c #Conflicts: 441000 | #Constraints: 62254
874.77/885.50 c #Conflicts: 442000 | #Constraints: 63254
874.77/885.50 c #Conflicts: 443000 | #Constraints: 64254
874.77/885.50 c #Conflicts: 444000 | #Constraints: 65254
874.77/885.50 c #Conflicts: 445000 | #Constraints: 66254
874.77/885.50 c #Conflicts: 446000 | #Constraints: 67254
874.77/885.50 c #Conflicts: 447000 | #Constraints: 68254
874.77/885.50 c #Conflicts: 448000 | #Constraints: 69254
874.77/885.50 c #Conflicts: 449000 | #Constraints: 70254
874.77/885.50 c #Conflicts: 450000 | #Constraints: 71254
874.77/885.50 c #Conflicts: 451000 | #Constraints: 72254
874.77/885.50 c #Conflicts: 452000 | #Constraints: 73254
874.77/885.50 c #Conflicts: 453000 | #Constraints: 74254
874.77/885.50 c #Conflicts: 454000 | #Constraints: 75254
874.77/885.50 c #Conflicts: 455000 | #Constraints: 76254
1047.61/1060.99 c #Conflicts: 456000 | #Constraints: 77254
1047.61/1060.99 c #Conflicts: 457000 | #Constraints: 78254
1047.61/1060.99 c #Conflicts: 458000 | #Constraints: 79254
1047.61/1060.99 c #Conflicts: 459000 | #Constraints: 80254
1047.61/1060.99 c #Conflicts: 460000 | #Constraints: 81254
1047.61/1060.99 c #Conflicts: 461000 | #Constraints: 82254
1047.61/1060.99 c #Conflicts: 462000 | #Constraints: 83254
1047.61/1060.99 c #Conflicts: 463000 | #Constraints: 84254
1047.61/1060.99 c #Conflicts: 464000 | #Constraints: 85254
1047.61/1060.99 c #Conflicts: 465000 | #Constraints: 86254
1047.61/1060.99 c #Conflicts: 466000 | #Constraints: 87254
1047.61/1060.99 c #Conflicts: 467000 | #Constraints: 88254
1047.61/1060.99 c #Conflicts: 468000 | #Constraints: 89254
1047.61/1060.99 c #Conflicts: 469000 | #Constraints: 90254
1047.61/1060.99 c #Conflicts: 470000 | #Constraints: 91254
1047.61/1060.99 c #Conflicts: 471000 | #Constraints: 92254
1047.61/1060.99 c #Conflicts: 472000 | #Constraints: 93254
1047.61/1060.99 c #Conflicts: 473000 | #Constraints: 94254
1047.61/1060.99 c #Conflicts: 474000 | #Constraints: 95254
1047.61/1060.99 c #Conflicts: 475000 | #Constraints: 96254
1047.61/1060.99 c #Conflicts: 476000 | #Constraints: 97254
1047.61/1060.99 c #Conflicts: 477000 | #Constraints: 98254
1047.61/1060.99 c #Conflicts: 478000 | #Constraints: 99254
1047.61/1060.99 c INPROCESSING
1047.61/1060.99 c GARBAGE COLLECT
1047.61/1060.99 c #Conflicts: 479000 | #Constraints: 61610
1047.61/1060.99 c #Conflicts: 480000 | #Constraints: 62610
1047.61/1060.99 c #Conflicts: 481000 | #Constraints: 63610
1047.61/1060.99 c #Conflicts: 482000 | #Constraints: 64610
1047.61/1060.99 c #Conflicts: 483000 | #Constraints: 65610
1047.61/1060.99 c #Conflicts: 484000 | #Constraints: 66610
1047.61/1060.99 c #Conflicts: 485000 | #Constraints: 67610
1047.61/1060.99 c #Conflicts: 486000 | #Constraints: 68610
1047.61/1060.99 c #Conflicts: 487000 | #Constraints: 69610
1047.61/1060.99 c #Conflicts: 488000 | #Constraints: 70610
1047.61/1060.99 c #Conflicts: 489000 | #Constraints: 71610
1047.61/1060.99 c #Conflicts: 490000 | #Constraints: 72610
1047.61/1060.99 c #Conflicts: 491000 | #Constraints: 73610
1047.61/1060.99 c #Conflicts: 492000 | #Constraints: 74610
1047.61/1060.99 c #Conflicts: 493000 | #Constraints: 75610
1047.61/1060.99 c #Conflicts: 494000 | #Constraints: 76610
1047.61/1060.99 c #Conflicts: 495000 | #Constraints: 77610
1047.61/1060.99 c #Conflicts: 496000 | #Constraints: 78610
1047.61/1060.99 c #Conflicts: 497000 | #Constraints: 79610
1047.61/1060.99 c #Conflicts: 498000 | #Constraints: 80610
1047.61/1060.99 c INPROCESSING
1047.61/1060.99 c GARBAGE COLLECT
1047.61/1060.99 c #Conflicts: 499000 | #Constraints: 58135
1047.61/1060.99 c #Conflicts: 500000 | #Constraints: 59135
1047.61/1060.99 c #Conflicts: 501000 | #Constraints: 60135
1047.61/1060.99 c #Conflicts: 502000 | #Constraints: 61135
1047.61/1060.99 c #Conflicts: 503000 | #Constraints: 62135
1047.61/1060.99 c #Conflicts: 504000 | #Constraints: 63135
1047.61/1060.99 c #Conflicts: 505000 | #Constraints: 64135
1047.61/1060.99 c #Conflicts: 506000 | #Constraints: 65135
1047.61/1060.99 c #Conflicts: 507000 | #Constraints: 66135
1047.61/1060.99 c #Conflicts: 508000 | #Constraints: 67135
1047.61/1060.99 c #Conflicts: 509000 | #Constraints: 68135
1047.61/1060.99 c #Conflicts: 510000 | #Constraints: 69135
1047.61/1060.99 c #Conflicts: 511000 | #Constraints: 70135
1047.61/1060.99 c #Conflicts: 512000 | #Constraints: 71135
1047.61/1060.99 c #Conflicts: 513000 | #Constraints: 72135
1047.61/1060.99 c #Conflicts: 514000 | #Constraints: 73135
1047.61/1060.99 c #Conflicts: 515000 | #Constraints: 74135
1047.61/1060.99 c #Conflicts: 516000 | #Constraints: 75135
1047.61/1060.99 c #Conflicts: 517000 | #Constraints: 76135
1047.61/1060.99 c #Conflicts: 518000 | #Constraints: 77135
1047.61/1060.99 c #Conflicts: 519000 | #Constraints: 78135
1047.61/1060.99 c #Conflicts: 520000 | #Constraints: 79135
1047.61/1060.99 c #Conflicts: 521000 | #Constraints: 80135
1047.61/1060.99 c #Conflicts: 522000 | #Constraints: 81135
1047.61/1060.99 c #Conflicts: 523000 | #Constraints: 82135
1047.61/1060.99 c #Conflicts: 524000 | #Constraints: 83135
1047.61/1060.99 c #Conflicts: 525000 | #Constraints: 84135
1047.61/1060.99 c #Conflicts: 526000 | #Constraints: 85135
1047.61/1060.99 c #Conflicts: 527000 | #Constraints: 86135
1047.61/1060.99 c #Conflicts: 528000 | #Constraints: 87135
1047.61/1060.99 c #Conflicts: 529000 | #Constraints: 88135
1047.61/1060.99 c #Conflicts: 530000 | #Constraints: 89135
1047.61/1060.99 c #Conflicts: 531000 | #Constraints: 90135
1047.61/1060.99 c #Conflicts: 532000 | #Constraints: 91135
1047.61/1060.99 c #Conflicts: 533000 | #Constraints: 92135
1329.99/1346.12 c #Conflicts: 534000 | #Constraints: 93135
1329.99/1346.12 c #Conflicts: 535000 | #Constraints: 94135
1329.99/1346.12 c #Conflicts: 536000 | #Constraints: 95135
1329.99/1346.12 c #Conflicts: 537000 | #Constraints: 96136
1329.99/1346.12 c #Conflicts: 538000 | #Constraints: 97136
1329.99/1346.12 c #Conflicts: 539000 | #Constraints: 98136
1329.99/1346.12 c #Conflicts: 540000 | #Constraints: 99136
1329.99/1346.12 c #Conflicts: 541000 | #Constraints: 100136
1329.99/1346.12 c #Conflicts: 542000 | #Constraints: 101136
1329.99/1346.12 c #Conflicts: 543000 | #Constraints: 102136
1329.99/1346.12 c #Conflicts: 544000 | #Constraints: 103136
1329.99/1346.12 c #Conflicts: 545000 | #Constraints: 104136
1329.99/1346.12 c INPROCESSING
1329.99/1346.12 c GARBAGE COLLECT
1329.99/1346.12 c #Conflicts: 546000 | #Constraints: 64136
1329.99/1346.12 c #Conflicts: 547000 | #Constraints: 65136
1329.99/1346.12 c #Conflicts: 548000 | #Constraints: 66136
1329.99/1346.12 c #Conflicts: 549000 | #Constraints: 67136
1329.99/1346.12 c #Conflicts: 550000 | #Constraints: 68136
1329.99/1346.12 c #Conflicts: 551000 | #Constraints: 69136
1329.99/1346.12 c #Conflicts: 552000 | #Constraints: 70136
1329.99/1346.12 c #Conflicts: 553000 | #Constraints: 71136
1329.99/1346.12 c #Conflicts: 554000 | #Constraints: 72136
1329.99/1346.12 c #Conflicts: 555000 | #Constraints: 73136
1329.99/1346.12 c #Conflicts: 556000 | #Constraints: 74136
1329.99/1346.12 c #Conflicts: 557000 | #Constraints: 75136
1329.99/1346.12 c #Conflicts: 558000 | #Constraints: 76136
1329.99/1346.12 c #Conflicts: 559000 | #Constraints: 77136
1329.99/1346.12 c #Conflicts: 560000 | #Constraints: 78136
1329.99/1346.12 c #Conflicts: 561000 | #Constraints: 79136
1329.99/1346.12 c #Conflicts: 562000 | #Constraints: 80136
1329.99/1346.12 c #Conflicts: 563000 | #Constraints: 81136
1329.99/1346.12 c #Conflicts: 564000 | #Constraints: 82136
1329.99/1346.12 c #Conflicts: 565000 | #Constraints: 83136
1329.99/1346.12 c #Conflicts: 566000 | #Constraints: 84136
1329.99/1346.12 c INPROCESSING
1329.99/1346.12 c GARBAGE COLLECT
1329.99/1346.12 c #Conflicts: 567000 | #Constraints: 60400
1329.99/1346.12 c #Conflicts: 568000 | #Constraints: 61400
1329.99/1346.12 c #Conflicts: 569000 | #Constraints: 62400
1329.99/1346.12 c #Conflicts: 570000 | #Constraints: 63400
1329.99/1346.12 c #Conflicts: 571000 | #Constraints: 64400
1329.99/1346.12 c #Conflicts: 572000 | #Constraints: 65400
1329.99/1346.12 c #Conflicts: 573000 | #Constraints: 66400
1329.99/1346.12 c #Conflicts: 574000 | #Constraints: 67400
1329.99/1346.12 c #Conflicts: 575000 | #Constraints: 68400
1329.99/1346.12 c #Conflicts: 576000 | #Constraints: 69400
1329.99/1346.12 c #Conflicts: 577000 | #Constraints: 70400
1329.99/1346.12 c #Conflicts: 578000 | #Constraints: 71400
1329.99/1346.12 c #Conflicts: 579000 | #Constraints: 72400
1329.99/1346.12 c #Conflicts: 580000 | #Constraints: 73400
1329.99/1346.12 c #Conflicts: 581000 | #Constraints: 74400
1329.99/1346.12 c #Conflicts: 582000 | #Constraints: 75400
1329.99/1346.12 c #Conflicts: 583000 | #Constraints: 76400
1329.99/1346.12 c #Conflicts: 584000 | #Constraints: 77400
1329.99/1346.12 c #Conflicts: 585000 | #Constraints: 78400
1329.99/1346.12 c #Conflicts: 586000 | #Constraints: 79400
1329.99/1346.12 c #Conflicts: 587000 | #Constraints: 80400
1329.99/1346.12 c #Conflicts: 588000 | #Constraints: 81400
1329.99/1346.12 c #Conflicts: 589000 | #Constraints: 82400
1329.99/1346.12 c #Conflicts: 590000 | #Constraints: 83400
1329.99/1346.12 c #Conflicts: 591000 | #Constraints: 84400
1329.99/1346.12 c #Conflicts: 592000 | #Constraints: 85400
1329.99/1346.12 c #Conflicts: 593000 | #Constraints: 86400
1329.99/1346.12 c #Conflicts: 594000 | #Constraints: 87400
1329.99/1346.12 c #Conflicts: 595000 | #Constraints: 88400
1329.99/1346.12 c #Conflicts: 596000 | #Constraints: 89400
1329.99/1346.12 c #Conflicts: 597000 | #Constraints: 90400
1329.99/1346.12 c #Conflicts: 598000 | #Constraints: 91400
1329.99/1346.12 c #Conflicts: 599000 | #Constraints: 92400
1329.99/1346.12 c #Conflicts: 600000 | #Constraints: 93400
1329.99/1346.12 c #Conflicts: 601000 | #Constraints: 94400
1329.99/1346.12 c #Conflicts: 602000 | #Constraints: 95400
1329.99/1346.12 c #Conflicts: 603000 | #Constraints: 96400
1329.99/1346.12 c #Conflicts: 604000 | #Constraints: 97400
1329.99/1346.12 c #Conflicts: 605000 | #Constraints: 98400
1329.99/1346.12 c #Conflicts: 606000 | #Constraints: 99400
1329.99/1346.12 c #Conflicts: 607000 | #Constraints: 100400
1329.99/1346.12 c #Conflicts: 608000 | #Constraints: 101400
1329.99/1346.12 c #Conflicts: 609000 | #Constraints: 102400
1329.99/1346.12 c #Conflicts: 610000 | #Constraints: 103400
1510.23/1527.43 c #Conflicts: 611000 | #Constraints: 104400
1510.23/1527.43 c #Conflicts: 612000 | #Constraints: 105400
1510.23/1527.43 c #Conflicts: 613000 | #Constraints: 106400
1510.23/1527.43 c #Conflicts: 614000 | #Constraints: 107400
1510.23/1527.43 c #Conflicts: 615000 | #Constraints: 108400
1510.23/1527.43 c #Conflicts: 616000 | #Constraints: 109400
1510.23/1527.43 c #Conflicts: 617000 | #Constraints: 110400
1510.23/1527.43 c INPROCESSING
1510.23/1527.43 c GARBAGE COLLECT
1510.23/1527.43 c #Conflicts: 618000 | #Constraints: 67701
1510.23/1527.43 c #Conflicts: 619000 | #Constraints: 68701
1510.23/1527.43 c #Conflicts: 620000 | #Constraints: 69701
1510.23/1527.43 c #Conflicts: 621000 | #Constraints: 70701
1510.23/1527.43 c #Conflicts: 622000 | #Constraints: 71701
1510.23/1527.43 c #Conflicts: 623000 | #Constraints: 72701
1510.23/1527.43 c #Conflicts: 624000 | #Constraints: 73701
1510.23/1527.43 c #Conflicts: 625000 | #Constraints: 74701
1510.23/1527.43 c #Conflicts: 626000 | #Constraints: 75701
1510.23/1527.43 c #Conflicts: 627000 | #Constraints: 76701
1510.23/1527.43 c #Conflicts: 628000 | #Constraints: 77701
1510.23/1527.43 c #Conflicts: 629000 | #Constraints: 78701
1510.23/1527.43 c #Conflicts: 630000 | #Constraints: 79701
1510.23/1527.43 c #Conflicts: 631000 | #Constraints: 80701
1510.23/1527.43 c #Conflicts: 632000 | #Constraints: 81701
1510.23/1527.43 c #Conflicts: 633000 | #Constraints: 82701
1510.23/1527.43 c #Conflicts: 634000 | #Constraints: 83701
1510.23/1527.43 c #Conflicts: 635000 | #Constraints: 84701
1510.23/1527.43 c #Conflicts: 636000 | #Constraints: 85701
1510.23/1527.43 c #Conflicts: 637000 | #Constraints: 86701
1510.23/1527.43 c #Conflicts: 638000 | #Constraints: 87701
1510.23/1527.43 c #Conflicts: 639000 | #Constraints: 88701
1510.23/1527.43 c INPROCESSING
1510.23/1527.43 c GARBAGE COLLECT
1510.23/1527.43 c #Conflicts: 640000 | #Constraints: 63476
1510.23/1527.43 c #Conflicts: 641000 | #Constraints: 64476
1510.23/1527.43 c #Conflicts: 642000 | #Constraints: 65476
1510.23/1527.43 c #Conflicts: 643000 | #Constraints: 66476
1510.23/1527.43 c #Conflicts: 644000 | #Constraints: 67476
1510.23/1527.43 c #Conflicts: 645000 | #Constraints: 68476
1510.23/1527.43 c #Conflicts: 646000 | #Constraints: 69476
1510.23/1527.43 c #Conflicts: 647000 | #Constraints: 70476
1510.23/1527.43 c #Conflicts: 648000 | #Constraints: 71476
1510.23/1527.43 c #Conflicts: 649000 | #Constraints: 72476
1510.23/1527.43 c #Conflicts: 650000 | #Constraints: 73476
1510.23/1527.43 c #Conflicts: 651000 | #Constraints: 74476
1510.23/1527.43 c #Conflicts: 652000 | #Constraints: 75476
1510.23/1527.43 c #Conflicts: 653000 | #Constraints: 76476
1510.23/1527.43 c #Conflicts: 654000 | #Constraints: 77476
1510.23/1527.43 c #Conflicts: 655000 | #Constraints: 78476
1510.23/1527.43 c #Conflicts: 656000 | #Constraints: 79476
1510.23/1527.43 c #Conflicts: 657000 | #Constraints: 80476
1510.23/1527.43 c #Conflicts: 658000 | #Constraints: 81476
1510.23/1527.43 c #Conflicts: 659000 | #Constraints: 82476
1510.23/1527.43 c #Conflicts: 660000 | #Constraints: 83476
1510.23/1527.43 c #Conflicts: 661000 | #Constraints: 84476
1510.23/1527.43 c #Conflicts: 662000 | #Constraints: 85476
1510.23/1527.43 c #Conflicts: 663000 | #Constraints: 86476
1510.23/1527.43 c #Conflicts: 664000 | #Constraints: 87476
1510.23/1527.43 c #Conflicts: 665000 | #Constraints: 88476
1510.23/1527.43 c #Conflicts: 666000 | #Constraints: 89476
1510.23/1527.43 c #Conflicts: 667000 | #Constraints: 90476
1510.23/1527.43 c #Conflicts: 668000 | #Constraints: 91476
1510.23/1527.43 c #Conflicts: 669000 | #Constraints: 92476
1510.23/1527.43 c #Conflicts: 670000 | #Constraints: 93476
1510.23/1527.43 c #Conflicts: 671000 | #Constraints: 94476
1510.23/1527.43 c #Conflicts: 672000 | #Constraints: 95476
1510.23/1527.43 c #Conflicts: 673000 | #Constraints: 96476
1510.23/1527.43 c #Conflicts: 674000 | #Constraints: 97476
1510.23/1527.43 c #Conflicts: 675000 | #Constraints: 98476
1510.23/1527.43 c #Conflicts: 676000 | #Constraints: 99476
1510.23/1527.43 c #Conflicts: 677000 | #Constraints: 100476
1510.23/1527.43 c #Conflicts: 678000 | #Constraints: 101476
1510.23/1527.43 c #Conflicts: 679000 | #Constraints: 102476
1510.23/1527.43 c #Conflicts: 680000 | #Constraints: 103476
1510.23/1527.43 c #Conflicts: 681000 | #Constraints: 104476
1510.23/1527.43 c #Conflicts: 682000 | #Constraints: 105476
1510.23/1527.43 c #Conflicts: 683000 | #Constraints: 106476
1510.23/1527.43 c #Conflicts: 684000 | #Constraints: 107476
1510.23/1527.43 c #Conflicts: 685000 | #Constraints: 108476
1510.23/1527.43 c #Conflicts: 686000 | #Constraints: 109476
1510.23/1527.43 c #Conflicts: 687000 | #Constraints: 110476
1510.23/1527.43 c #Conflicts: 688000 | #Constraints: 111476
1704.29/1722.22 c #Conflicts: 689000 | #Constraints: 112476
1704.29/1722.22 c #Conflicts: 690000 | #Constraints: 113476
1704.29/1722.22 c #Conflicts: 691000 | #Constraints: 114476
1704.29/1722.22 c #Conflicts: 692000 | #Constraints: 115476
1704.29/1722.22 c #Conflicts: 693000 | #Constraints: 116476
1704.29/1722.22 c INPROCESSING
1704.29/1722.22 c GARBAGE COLLECT
1704.29/1722.22 c #Conflicts: 694000 | #Constraints: 70776
1704.29/1722.22 c #Conflicts: 695000 | #Constraints: 71776
1704.29/1722.22 c #Conflicts: 696000 | #Constraints: 72776
1704.29/1722.22 c #Conflicts: 697000 | #Constraints: 73776
1704.29/1722.22 c #Conflicts: 698000 | #Constraints: 74776
1704.29/1722.22 c #Conflicts: 699000 | #Constraints: 75776
1704.29/1722.22 c #Conflicts: 700000 | #Constraints: 76776
1704.29/1722.22 c #Conflicts: 701000 | #Constraints: 77776
1704.29/1722.22 c #Conflicts: 702000 | #Constraints: 78776
1704.29/1722.22 c #Conflicts: 703000 | #Constraints: 79776
1704.29/1722.22 c #Conflicts: 704000 | #Constraints: 80776
1704.29/1722.22 c #Conflicts: 705000 | #Constraints: 81776
1704.29/1722.22 c #Conflicts: 706000 | #Constraints: 82776
1704.29/1722.22 c #Conflicts: 707000 | #Constraints: 83776
1704.29/1722.22 c #Conflicts: 708000 | #Constraints: 84776
1704.29/1722.22 c #Conflicts: 709000 | #Constraints: 85776
1704.29/1722.22 c #Conflicts: 710000 | #Constraints: 86776
1704.29/1722.22 c #Conflicts: 711000 | #Constraints: 87776
1704.29/1722.22 c #Conflicts: 712000 | #Constraints: 88776
1704.29/1722.22 c #Conflicts: 713000 | #Constraints: 89776
1704.29/1722.22 c #Conflicts: 714000 | #Constraints: 90776
1704.29/1722.22 c #Conflicts: 715000 | #Constraints: 91776
1704.29/1722.22 c #Conflicts: 716000 | #Constraints: 92776
1704.29/1722.22 c INPROCESSING
1704.29/1722.22 c GARBAGE COLLECT
1704.29/1722.22 c #Conflicts: 717000 | #Constraints: 65999
1704.29/1722.22 c #Conflicts: 718000 | #Constraints: 66999
1704.29/1722.22 c #Conflicts: 719000 | #Constraints: 67999
1704.29/1722.22 c #Conflicts: 720000 | #Constraints: 68999
1704.29/1722.22 c #Conflicts: 721000 | #Constraints: 69999
1704.29/1722.22 c #Conflicts: 722000 | #Constraints: 70999
1704.29/1722.22 c #Conflicts: 723000 | #Constraints: 71999
1704.29/1722.22 c #Conflicts: 724000 | #Constraints: 72999
1704.29/1722.22 c #Conflicts: 725000 | #Constraints: 73999
1704.29/1722.22 c #Conflicts: 726000 | #Constraints: 74999
1704.29/1722.22 c #Conflicts: 727000 | #Constraints: 75999
1704.29/1722.22 c #Conflicts: 728000 | #Constraints: 76999
1704.29/1722.22 c #Conflicts: 729000 | #Constraints: 77999
1704.29/1722.22 c #Conflicts: 730000 | #Constraints: 78999
1704.29/1722.22 c #Conflicts: 731000 | #Constraints: 79999
1704.29/1722.22 c #Conflicts: 732000 | #Constraints: 80999
1704.29/1722.22 c #Conflicts: 733000 | #Constraints: 81999
1704.29/1722.22 c #Conflicts: 734000 | #Constraints: 82999
1704.29/1722.22 c #Conflicts: 735000 | #Constraints: 83999
1704.29/1722.22 c #Conflicts: 736000 | #Constraints: 84999
1704.29/1722.22 c #Conflicts: 737000 | #Constraints: 85999
1704.29/1722.22 c #Conflicts: 738000 | #Constraints: 86999
1704.29/1722.22 c #Conflicts: 739000 | #Constraints: 87999
1704.29/1722.22 c #Conflicts: 740000 | #Constraints: 88999
1704.29/1722.22 c #Conflicts: 741000 | #Constraints: 89999
1704.29/1722.22 c #Conflicts: 742000 | #Constraints: 90999
1704.29/1722.22 c #Conflicts: 743000 | #Constraints: 91999
1704.29/1722.22 c #Conflicts: 744000 | #Constraints: 92999
1704.29/1722.22 c #Conflicts: 745000 | #Constraints: 93999
1704.29/1722.22 c #Conflicts: 746000 | #Constraints: 94999
1704.29/1722.22 c #Conflicts: 747000 | #Constraints: 95999
1704.29/1722.22 c #Conflicts: 748000 | #Constraints: 96999
1704.29/1722.22 c #Conflicts: 749000 | #Constraints: 97999
1704.29/1722.22 c #Conflicts: 750000 | #Constraints: 98999
1704.29/1722.22 c #Conflicts: 751000 | #Constraints: 99999
1704.29/1722.22 c #Conflicts: 752000 | #Constraints: 100999
1704.29/1722.22 c #Conflicts: 753000 | #Constraints: 101999
1704.29/1722.22 c #Conflicts: 754000 | #Constraints: 102999
1704.29/1722.22 c #Conflicts: 755000 | #Constraints: 103999
1704.29/1722.22 c #Conflicts: 756000 | #Constraints: 104999
1704.29/1722.22 c #Conflicts: 757000 | #Constraints: 105999
1704.29/1722.22 c #Conflicts: 758000 | #Constraints: 106999
1704.29/1722.22 c #Conflicts: 759000 | #Constraints: 107999
1704.29/1722.22 c #Conflicts: 760000 | #Constraints: 108999
1704.29/1722.22 c #Conflicts: 761000 | #Constraints: 109999
1704.29/1722.22 c #Conflicts: 762000 | #Constraints: 110999
1704.29/1722.22 c #Conflicts: 763000 | #Constraints: 111999
1704.29/1722.22 c #Conflicts: 764000 | #Constraints: 112999
1704.29/1722.22 c #Conflicts: 765000 | #Constraints: 113999
1890.53/1909.29 c #Conflicts: 766000 | #Constraints: 114999
1890.53/1909.29 c #Conflicts: 767000 | #Constraints: 115999
1890.53/1909.29 c #Conflicts: 768000 | #Constraints: 116999
1890.53/1909.29 c #Conflicts: 769000 | #Constraints: 117999
1890.53/1909.29 c #Conflicts: 770000 | #Constraints: 118999
1890.53/1909.29 c #Conflicts: 771000 | #Constraints: 119999
1890.53/1909.29 c #Conflicts: 772000 | #Constraints: 120999
1890.53/1909.29 c #Conflicts: 773000 | #Constraints: 121999
1890.53/1909.29 c INPROCESSING
1890.53/1909.29 c GARBAGE COLLECT
1890.53/1909.29 c #Conflicts: 774000 | #Constraints: 73466
1890.53/1909.29 c #Conflicts: 775000 | #Constraints: 74466
1890.53/1909.29 c #Conflicts: 776000 | #Constraints: 75466
1890.53/1909.29 c #Conflicts: 777000 | #Constraints: 76466
1890.53/1909.29 c #Conflicts: 778000 | #Constraints: 77466
1890.53/1909.29 c #Conflicts: 779000 | #Constraints: 78466
1890.53/1909.29 c #Conflicts: 780000 | #Constraints: 79466
1890.53/1909.29 c #Conflicts: 781000 | #Constraints: 80466
1890.53/1909.29 c #Conflicts: 782000 | #Constraints: 81466
1890.53/1909.29 c #Conflicts: 783000 | #Constraints: 82466
1890.53/1909.29 c #Conflicts: 784000 | #Constraints: 83466
1890.53/1909.29 c #Conflicts: 785000 | #Constraints: 84466
1890.53/1909.29 c #Conflicts: 786000 | #Constraints: 85466
1890.53/1909.29 c #Conflicts: 787000 | #Constraints: 86466
1890.53/1909.29 c #Conflicts: 788000 | #Constraints: 87466
1890.53/1909.29 c #Conflicts: 789000 | #Constraints: 88466
1890.53/1909.29 c #Conflicts: 790000 | #Constraints: 89466
1890.53/1909.29 c #Conflicts: 791000 | #Constraints: 90466
1890.53/1909.29 c #Conflicts: 792000 | #Constraints: 91466
1890.53/1909.29 c #Conflicts: 793000 | #Constraints: 92466
1890.53/1909.29 c #Conflicts: 794000 | #Constraints: 93466
1890.53/1909.29 c #Conflicts: 795000 | #Constraints: 94466
1890.53/1909.29 c #Conflicts: 796000 | #Constraints: 95466
1890.53/1909.29 c #Conflicts: 797000 | #Constraints: 96466
1890.53/1909.29 c #Conflicts: 798000 | #Constraints: 97466
1890.53/1909.29 c INPROCESSING
1890.53/1909.29 c GARBAGE COLLECT
1890.53/1909.29 c #Conflicts: 799000 | #Constraints: 69116
1890.53/1909.29 c #Conflicts: 800000 | #Constraints: 70116
1890.53/1909.29 c #Conflicts: 801000 | #Constraints: 71116
1890.53/1909.29 c #Conflicts: 802000 | #Constraints: 72116
1890.53/1909.29 c #Conflicts: 803000 | #Constraints: 73116
1890.53/1909.29 c #Conflicts: 804000 | #Constraints: 74116
1890.53/1909.29 c #Conflicts: 805000 | #Constraints: 75116
1890.53/1909.29 c #Conflicts: 806000 | #Constraints: 76116
1890.53/1909.29 c #Conflicts: 807000 | #Constraints: 77116
1890.53/1909.29 c #Conflicts: 808000 | #Constraints: 78116
1890.53/1909.29 c #Conflicts: 809000 | #Constraints: 79116
1890.53/1909.29 c #Conflicts: 810000 | #Constraints: 80116
1890.53/1909.29 c #Conflicts: 811000 | #Constraints: 81116
1890.53/1909.29 c #Conflicts: 812000 | #Constraints: 82116
1890.53/1909.29 c #Conflicts: 813000 | #Constraints: 83116
1890.53/1909.29 c #Conflicts: 814000 | #Constraints: 84116
1890.53/1909.29 c #Conflicts: 815000 | #Constraints: 85116
1890.53/1909.29 c #Conflicts: 816000 | #Constraints: 86116
1890.53/1909.29 c #Conflicts: 817000 | #Constraints: 87116
1890.53/1909.29 c #Conflicts: 818000 | #Constraints: 88116
1890.53/1909.29 c #Conflicts: 819000 | #Constraints: 89116
1890.53/1909.29 c #Conflicts: 820000 | #Constraints: 90116
1890.53/1909.29 c #Conflicts: 821000 | #Constraints: 91116
1890.53/1909.29 c #Conflicts: 822000 | #Constraints: 92116
1890.53/1909.29 c #Conflicts: 823000 | #Constraints: 93116
1890.53/1909.29 c #Conflicts: 824000 | #Constraints: 94116
1890.53/1909.29 c #Conflicts: 825000 | #Constraints: 95116
1890.53/1909.29 c #Conflicts: 826000 | #Constraints: 96116
1890.53/1909.29 c #Conflicts: 827000 | #Constraints: 97116
1890.53/1909.29 c #Conflicts: 828000 | #Constraints: 98116
1890.53/1909.29 c #Conflicts: 829000 | #Constraints: 99116
1890.53/1909.29 c #Conflicts: 830000 | #Constraints: 100116
1890.53/1909.29 c #Conflicts: 831000 | #Constraints: 101116
1890.53/1909.29 c #Conflicts: 832000 | #Constraints: 102116
1890.53/1909.29 c #Conflicts: 833000 | #Constraints: 103116
1890.53/1909.29 c #Conflicts: 834000 | #Constraints: 104116
1890.53/1909.29 c #Conflicts: 835000 | #Constraints: 105116
1890.53/1909.29 c #Conflicts: 836000 | #Constraints: 106116
1890.53/1909.29 c #Conflicts: 837000 | #Constraints: 107116
1890.53/1909.29 c #Conflicts: 838000 | #Constraints: 108116
1890.53/1909.29 c #Conflicts: 839000 | #Constraints: 109116
1890.53/1909.29 c #Conflicts: 840000 | #Constraints: 110116
1890.53/1909.29 c #Conflicts: 841000 | #Constraints: 111116
1890.53/1909.29 c #Conflicts: 842000 | #Constraints: 112116
1890.53/1909.29 c #Conflicts: 843000 | #Constraints: 113116
2064.67/2087.50 c #Conflicts: 844000 | #Constraints: 114116
2064.67/2087.50 c #Conflicts: 845000 | #Constraints: 115116
2064.67/2087.50 c #Conflicts: 846000 | #Constraints: 116116
2064.67/2087.50 c #Conflicts: 847000 | #Constraints: 117116
2064.67/2087.50 c #Conflicts: 848000 | #Constraints: 118116
2064.67/2087.50 c #Conflicts: 849000 | #Constraints: 119116
2064.67/2087.50 c #Conflicts: 850000 | #Constraints: 120116
2064.67/2087.50 c #Conflicts: 851000 | #Constraints: 121116
2064.67/2087.50 c #Conflicts: 852000 | #Constraints: 122116
2064.67/2087.50 c #Conflicts: 853000 | #Constraints: 123116
2064.67/2087.50 c #Conflicts: 854000 | #Constraints: 124116
2064.67/2087.50 c #Conflicts: 855000 | #Constraints: 125116
2064.67/2087.50 c #Conflicts: 856000 | #Constraints: 126116
2064.67/2087.50 c #Conflicts: 857000 | #Constraints: 127116
2064.67/2087.50 c #Conflicts: 858000 | #Constraints: 128116
2064.67/2087.50 c INPROCESSING
2064.67/2087.50 c GARBAGE COLLECT
2064.67/2087.50 c #Conflicts: 859000 | #Constraints: 76696
2064.67/2087.50 c #Conflicts: 860000 | #Constraints: 77696
2064.67/2087.50 c #Conflicts: 861000 | #Constraints: 78696
2064.67/2087.50 c #Conflicts: 862000 | #Constraints: 79696
2064.67/2087.50 c #Conflicts: 863000 | #Constraints: 80696
2064.67/2087.50 c #Conflicts: 864000 | #Constraints: 81696
2064.67/2087.50 c #Conflicts: 865000 | #Constraints: 82696
2064.67/2087.50 c #Conflicts: 866000 | #Constraints: 83696
2064.67/2087.50 c #Conflicts: 867000 | #Constraints: 84696
2064.67/2087.50 c #Conflicts: 868000 | #Constraints: 85696
2064.67/2087.50 c #Conflicts: 869000 | #Constraints: 86696
2064.67/2087.50 c #Conflicts: 870000 | #Constraints: 87696
2064.67/2087.50 c #Conflicts: 871000 | #Constraints: 88696
2064.67/2087.50 c #Conflicts: 872000 | #Constraints: 89696
2064.67/2087.50 c #Conflicts: 873000 | #Constraints: 90696
2064.67/2087.50 c #Conflicts: 874000 | #Constraints: 91696
2064.67/2087.50 c #Conflicts: 875000 | #Constraints: 92696
2064.67/2087.50 c #Conflicts: 876000 | #Constraints: 93696
2064.67/2087.50 c #Conflicts: 877000 | #Constraints: 94696
2064.67/2087.50 c #Conflicts: 878000 | #Constraints: 95696
2064.67/2087.50 c #Conflicts: 879000 | #Constraints: 96696
2064.67/2087.50 c #Conflicts: 880000 | #Constraints: 97696
2064.67/2087.50 c #Conflicts: 881000 | #Constraints: 98696
2064.67/2087.50 c #Conflicts: 882000 | #Constraints: 99696
2064.67/2087.50 c #Conflicts: 883000 | #Constraints: 100696
2064.67/2087.50 c #Conflicts: 884000 | #Constraints: 101696
2064.67/2087.50 c INPROCESSING
2064.67/2087.50 c GARBAGE COLLECT
2064.67/2087.50 c #Conflicts: 885000 | #Constraints: 71657
2064.67/2087.50 c #Conflicts: 886000 | #Constraints: 72657
2064.67/2087.50 c #Conflicts: 887000 | #Constraints: 73657
2064.67/2087.50 c #Conflicts: 888000 | #Constraints: 74657
2064.67/2087.50 c #Conflicts: 889000 | #Constraints: 75657
2064.67/2087.50 c #Conflicts: 890000 | #Constraints: 76657
2064.67/2087.50 c #Conflicts: 891000 | #Constraints: 77657
2064.67/2087.50 c #Conflicts: 892000 | #Constraints: 78657
2064.67/2087.50 c #Conflicts: 893000 | #Constraints: 79657
2064.67/2087.50 c #Conflicts: 894000 | #Constraints: 80657
2064.67/2087.50 c #Conflicts: 895000 | #Constraints: 81657
2064.67/2087.50 c #Conflicts: 896000 | #Constraints: 82657
2064.67/2087.50 c #Conflicts: 897000 | #Constraints: 83657
2064.67/2087.50 c #Conflicts: 898000 | #Constraints: 84657
2064.67/2087.50 c #Conflicts: 899000 | #Constraints: 85657
2064.67/2087.50 c #Conflicts: 900000 | #Constraints: 86657
2064.67/2087.50 c #Conflicts: 901000 | #Constraints: 87657
2064.67/2087.50 c #Conflicts: 902000 | #Constraints: 88657
2064.67/2087.50 c #Conflicts: 903000 | #Constraints: 89657
2064.67/2087.50 c #Conflicts: 904000 | #Constraints: 90657
2064.67/2087.50 c #Conflicts: 905000 | #Constraints: 91657
2064.67/2087.50 c #Conflicts: 906000 | #Constraints: 92657
2064.67/2087.50 c #Conflicts: 907000 | #Constraints: 93657
2064.67/2087.50 c #Conflicts: 908000 | #Constraints: 94657
2064.67/2087.50 c #Conflicts: 909000 | #Constraints: 95657
2064.67/2087.50 c #Conflicts: 910000 | #Constraints: 96657
2064.67/2087.50 c #Conflicts: 911000 | #Constraints: 97657
2064.67/2087.50 c #Conflicts: 912000 | #Constraints: 98657
2064.67/2087.50 c #Conflicts: 913000 | #Constraints: 99657
2064.67/2087.50 c #Conflicts: 914000 | #Constraints: 100657
2064.67/2087.50 c #Conflicts: 915000 | #Constraints: 101657
2064.67/2087.50 c #Conflicts: 916000 | #Constraints: 102657
2064.67/2087.50 c #Conflicts: 917000 | #Constraints: 103657
2064.67/2087.50 c #Conflicts: 918000 | #Constraints: 104657
2064.67/2087.50 c #Conflicts: 919000 | #Constraints: 105657
2064.67/2087.50 c #Conflicts: 920000 | #Constraints: 106657
2268.73/2292.48 c #Conflicts: 921000 | #Constraints: 107658
2268.73/2292.48 c #Conflicts: 922000 | #Constraints: 108658
2268.73/2292.48 c #Conflicts: 923000 | #Constraints: 109658
2268.73/2292.48 c #Conflicts: 924000 | #Constraints: 110658
2268.73/2292.48 c #Conflicts: 925000 | #Constraints: 111658
2268.73/2292.48 c #Conflicts: 926000 | #Constraints: 112658
2268.73/2292.48 c #Conflicts: 927000 | #Constraints: 113658
2268.73/2292.48 c #Conflicts: 928000 | #Constraints: 114658
2268.73/2292.48 c #Conflicts: 929000 | #Constraints: 115658
2268.73/2292.48 c #Conflicts: 930000 | #Constraints: 116658
2268.73/2292.48 c #Conflicts: 931000 | #Constraints: 117658
2268.73/2292.48 c #Conflicts: 932000 | #Constraints: 118658
2268.73/2292.48 c #Conflicts: 933000 | #Constraints: 119658
2268.73/2292.48 c #Conflicts: 934000 | #Constraints: 120658
2268.73/2292.48 c #Conflicts: 935000 | #Constraints: 121658
2268.73/2292.48 c #Conflicts: 936000 | #Constraints: 122658
2268.73/2292.48 c #Conflicts: 937000 | #Constraints: 123658
2268.73/2292.48 c #Conflicts: 938000 | #Constraints: 124658
2268.73/2292.48 c #Conflicts: 939000 | #Constraints: 125658
2268.73/2292.48 c #Conflicts: 940000 | #Constraints: 126658
2268.73/2292.48 c #Conflicts: 941000 | #Constraints: 127658
2268.73/2292.48 c #Conflicts: 942000 | #Constraints: 128658
2268.73/2292.48 c #Conflicts: 943000 | #Constraints: 129658
2268.73/2292.48 c #Conflicts: 944000 | #Constraints: 130658
2268.73/2292.48 c #Conflicts: 945000 | #Constraints: 131658
2268.73/2292.48 c #Conflicts: 946000 | #Constraints: 132658
2268.73/2292.48 c #Conflicts: 947000 | #Constraints: 133658
2268.73/2292.48 c INPROCESSING
2268.73/2292.48 c GARBAGE COLLECT
2268.73/2292.48 c #Conflicts: 948000 | #Constraints: 79113
2268.73/2292.48 c #Conflicts: 949000 | #Constraints: 80113
2268.73/2292.48 c #Conflicts: 950000 | #Constraints: 81113
2268.73/2292.48 c #Conflicts: 951000 | #Constraints: 82113
2268.73/2292.48 c #Conflicts: 952000 | #Constraints: 83113
2268.73/2292.48 c #Conflicts: 953000 | #Constraints: 84113
2268.73/2292.48 c #Conflicts: 954000 | #Constraints: 85113
2268.73/2292.48 c #Conflicts: 955000 | #Constraints: 86113
2268.73/2292.48 c #Conflicts: 956000 | #Constraints: 87113
2268.73/2292.48 c #Conflicts: 957000 | #Constraints: 88113
2268.73/2292.48 c #Conflicts: 958000 | #Constraints: 89113
2268.73/2292.48 c #Conflicts: 959000 | #Constraints: 90113
2268.73/2292.48 c #Conflicts: 960000 | #Constraints: 91113
2268.73/2292.48 c #Conflicts: 961000 | #Constraints: 92113
2268.73/2292.48 c #Conflicts: 962000 | #Constraints: 93113
2268.73/2292.48 c #Conflicts: 963000 | #Constraints: 94113
2268.73/2292.48 c #Conflicts: 964000 | #Constraints: 95113
2268.73/2292.48 c #Conflicts: 965000 | #Constraints: 96113
2268.73/2292.48 c #Conflicts: 966000 | #Constraints: 97113
2268.73/2292.48 c #Conflicts: 967000 | #Constraints: 98113
2268.73/2292.48 c #Conflicts: 968000 | #Constraints: 99113
2268.73/2292.48 c #Conflicts: 969000 | #Constraints: 100113
2268.73/2292.48 c #Conflicts: 970000 | #Constraints: 101113
2268.73/2292.48 c #Conflicts: 971000 | #Constraints: 102113
2268.73/2292.48 c #Conflicts: 972000 | #Constraints: 103113
2268.73/2292.48 c #Conflicts: 973000 | #Constraints: 104113
2268.73/2292.48 c #Conflicts: 974000 | #Constraints: 105113
2268.73/2292.48 c INPROCESSING
2268.73/2292.48 c GARBAGE COLLECT
2268.73/2292.48 c #Conflicts: 975000 | #Constraints: 73560
2268.73/2292.48 c #Conflicts: 976000 | #Constraints: 74560
2268.73/2292.48 c #Conflicts: 977000 | #Constraints: 75560
2268.73/2292.48 c #Conflicts: 978000 | #Constraints: 76560
2268.73/2292.48 c #Conflicts: 979000 | #Constraints: 77560
2268.73/2292.48 c #Conflicts: 980000 | #Constraints: 78560
2268.73/2292.48 c #Conflicts: 981000 | #Constraints: 79560
2268.73/2292.48 c #Conflicts: 982000 | #Constraints: 80560
2268.73/2292.48 c #Conflicts: 983000 | #Constraints: 81560
2268.73/2292.48 c #Conflicts: 984000 | #Constraints: 82560
2268.73/2292.48 c #Conflicts: 985000 | #Constraints: 83560
2268.73/2292.48 c #Conflicts: 986000 | #Constraints: 84560
2268.73/2292.48 c #Conflicts: 987000 | #Constraints: 85560
2268.73/2292.48 c #Conflicts: 988000 | #Constraints: 86560
2268.73/2292.48 c #Conflicts: 989000 | #Constraints: 87560
2268.73/2292.48 c #Conflicts: 990000 | #Constraints: 88560
2268.73/2292.48 c #Conflicts: 991000 | #Constraints: 89560
2268.73/2292.48 c #Conflicts: 992000 | #Constraints: 90560
2268.73/2292.48 c #Conflicts: 993000 | #Constraints: 91560
2268.73/2292.48 c #Conflicts: 994000 | #Constraints: 92560
2268.73/2292.48 c #Conflicts: 995000 | #Constraints: 93560
2268.73/2292.48 c #Conflicts: 996000 | #Constraints: 94560
2268.73/2292.48 c #Conflicts: 997000 | #Constraints: 95560
2268.73/2292.48 c #Conflicts: 998000 | #Constraints: 96560
2539.65/2564.35 c #Conflicts: 999000 | #Constraints: 97560
2539.65/2564.35 c #Conflicts: 1000000 | #Constraints: 98560
2539.65/2564.35 c #Conflicts: 1001000 | #Constraints: 99560
2539.65/2564.35 c #Conflicts: 1002000 | #Constraints: 100560
2539.65/2564.35 c #Conflicts: 1003000 | #Constraints: 101561
2539.65/2564.35 c #Conflicts: 1004000 | #Constraints: 102561
2539.65/2564.35 c #Conflicts: 1005000 | #Constraints: 103561
2539.65/2564.35 c #Conflicts: 1006000 | #Constraints: 104561
2539.65/2564.35 c #Conflicts: 1007000 | #Constraints: 105561
2539.65/2564.35 c #Conflicts: 1008000 | #Constraints: 106561
2539.65/2564.35 c #Conflicts: 1009000 | #Constraints: 107561
2539.65/2564.35 c #Conflicts: 1010000 | #Constraints: 108561
2539.65/2564.35 c #Conflicts: 1011000 | #Constraints: 109561
2539.65/2564.35 c #Conflicts: 1012000 | #Constraints: 110561
2539.65/2564.35 c #Conflicts: 1013000 | #Constraints: 111561
2539.65/2564.35 c #Conflicts: 1014000 | #Constraints: 112561
2539.65/2564.35 c #Conflicts: 1015000 | #Constraints: 113561
2539.65/2564.35 c #Conflicts: 1016000 | #Constraints: 114561
2539.65/2564.35 c #Conflicts: 1017000 | #Constraints: 115561
2539.65/2564.35 c #Conflicts: 1018000 | #Constraints: 116561
2539.65/2564.35 c #Conflicts: 1019000 | #Constraints: 117561
2539.65/2564.35 c #Conflicts: 1020000 | #Constraints: 118561
2539.65/2564.35 c #Conflicts: 1021000 | #Constraints: 119561
2539.65/2564.35 c #Conflicts: 1022000 | #Constraints: 120561
2539.65/2564.35 c #Conflicts: 1023000 | #Constraints: 121561
2539.65/2564.35 c #Conflicts: 1024000 | #Constraints: 122561
2539.65/2564.35 c #Conflicts: 1025000 | #Constraints: 123561
2539.65/2564.35 c #Conflicts: 1026000 | #Constraints: 124561
2539.65/2564.35 c #Conflicts: 1027000 | #Constraints: 125561
2539.65/2564.35 c #Conflicts: 1028000 | #Constraints: 126561
2539.65/2564.35 c #Conflicts: 1029000 | #Constraints: 127561
2539.65/2564.35 c #Conflicts: 1030000 | #Constraints: 128561
2539.65/2564.35 c #Conflicts: 1031000 | #Constraints: 129561
2539.65/2564.35 c #Conflicts: 1032000 | #Constraints: 130561
2539.65/2564.35 c #Conflicts: 1033000 | #Constraints: 131561
2539.65/2564.35 c #Conflicts: 1034000 | #Constraints: 132561
2539.65/2564.35 c #Conflicts: 1035000 | #Constraints: 133561
2539.65/2564.35 c #Conflicts: 1036000 | #Constraints: 134561
2539.65/2564.35 c #Conflicts: 1037000 | #Constraints: 135561
2539.65/2564.35 c #Conflicts: 1038000 | #Constraints: 136561
2539.65/2564.35 c #Conflicts: 1039000 | #Constraints: 137561
2539.65/2564.35 c #Conflicts: 1040000 | #Constraints: 138561
2539.65/2564.35 c INPROCESSING
2539.65/2564.35 c GARBAGE COLLECT
2539.65/2564.35 c #Conflicts: 1041000 | #Constraints: 81532
2539.65/2564.35 c #Conflicts: 1042000 | #Constraints: 82532
2539.65/2564.35 c #Conflicts: 1043000 | #Constraints: 83532
2539.65/2564.35 c #Conflicts: 1044000 | #Constraints: 84532
2539.65/2564.35 c #Conflicts: 1045000 | #Constraints: 85532
2539.65/2564.35 c #Conflicts: 1046000 | #Constraints: 86532
2539.65/2564.35 c #Conflicts: 1047000 | #Constraints: 87532
2539.65/2564.35 c #Conflicts: 1048000 | #Constraints: 88532
2539.65/2564.35 c #Conflicts: 1049000 | #Constraints: 89532
2539.65/2564.35 c #Conflicts: 1050000 | #Constraints: 90532
2539.65/2564.35 c #Conflicts: 1051000 | #Constraints: 91532
2539.65/2564.35 c #Conflicts: 1052000 | #Constraints: 92532
2539.65/2564.35 c #Conflicts: 1053000 | #Constraints: 93532
2539.65/2564.35 c #Conflicts: 1054000 | #Constraints: 94532
2539.65/2564.35 c #Conflicts: 1055000 | #Constraints: 95532
2539.65/2564.35 c #Conflicts: 1056000 | #Constraints: 96532
2539.65/2564.35 c #Conflicts: 1057000 | #Constraints: 97532
2539.65/2564.35 c #Conflicts: 1058000 | #Constraints: 98532
2539.65/2564.35 c #Conflicts: 1059000 | #Constraints: 99532
2539.65/2564.35 c #Conflicts: 1060000 | #Constraints: 100532
2539.65/2564.35 c #Conflicts: 1061000 | #Constraints: 101532
2539.65/2564.35 c #Conflicts: 1062000 | #Constraints: 102532
2539.65/2564.35 c #Conflicts: 1063000 | #Constraints: 103532
2539.65/2564.35 c #Conflicts: 1064000 | #Constraints: 104532
2539.65/2564.35 c #Conflicts: 1065000 | #Constraints: 105532
2539.65/2564.35 c #Conflicts: 1066000 | #Constraints: 106532
2539.65/2564.35 c #Conflicts: 1067000 | #Constraints: 107532
2539.65/2564.35 c #Conflicts: 1068000 | #Constraints: 108532
2539.65/2564.35 c #Conflicts: 1069000 | #Constraints: 109532
2539.65/2564.35 c INPROCESSING
2539.65/2564.35 c GARBAGE COLLECT
2539.65/2564.35 c #Conflicts: 1070000 | #Constraints: 75967
2539.65/2564.35 c #Conflicts: 1071000 | #Constraints: 76967
2539.65/2564.35 c #Conflicts: 1072000 | #Constraints: 77967
2539.65/2564.35 c #Conflicts: 1073000 | #Constraints: 78967
2539.65/2564.35 c #Conflicts: 1074000 | #Constraints: 79967
2539.65/2564.35 c #Conflicts: 1075000 | #Constraints: 80967
2767.03/2799.22 c #Conflicts: 1076000 | #Constraints: 81967
2767.03/2799.22 c #Conflicts: 1077000 | #Constraints: 82967
2767.03/2799.22 c #Conflicts: 1078000 | #Constraints: 83967
2767.03/2799.22 c #Conflicts: 1079000 | #Constraints: 84967
2767.03/2799.22 c #Conflicts: 1080000 | #Constraints: 85967
2767.03/2799.22 c #Conflicts: 1081000 | #Constraints: 86967
2767.03/2799.22 c #Conflicts: 1082000 | #Constraints: 87967
2767.03/2799.22 c #Conflicts: 1083000 | #Constraints: 88967
2767.03/2799.22 c #Conflicts: 1084000 | #Constraints: 89967
2767.03/2799.22 c #Conflicts: 1085000 | #Constraints: 90967
2767.03/2799.22 c #Conflicts: 1086000 | #Constraints: 91967
2767.03/2799.22 c #Conflicts: 1087000 | #Constraints: 92967
2767.03/2799.22 c #Conflicts: 1088000 | #Constraints: 93967
2767.03/2799.22 c #Conflicts: 1089000 | #Constraints: 94967
2767.03/2799.22 c #Conflicts: 1090000 | #Constraints: 95967
2767.03/2799.22 c #Conflicts: 1091000 | #Constraints: 96967
2767.03/2799.22 c #Conflicts: 1092000 | #Constraints: 97967
2767.03/2799.22 c #Conflicts: 1093000 | #Constraints: 98967
2767.03/2799.22 c #Conflicts: 1094000 | #Constraints: 99967
2767.03/2799.22 c #Conflicts: 1095000 | #Constraints: 100967
2767.03/2799.22 c #Conflicts: 1096000 | #Constraints: 101967
2767.03/2799.22 c #Conflicts: 1097000 | #Constraints: 102967
2767.03/2799.22 c #Conflicts: 1098000 | #Constraints: 103967
2767.03/2799.22 c #Conflicts: 1099000 | #Constraints: 104967
2767.03/2799.22 c #Conflicts: 1100000 | #Constraints: 105967
2767.03/2799.22 c #Conflicts: 1101000 | #Constraints: 106967
2767.03/2799.22 c #Conflicts: 1102000 | #Constraints: 107967
2767.03/2799.22 c #Conflicts: 1103000 | #Constraints: 108967
2767.03/2799.22 c #Conflicts: 1104000 | #Constraints: 109967
2767.03/2799.22 c #Conflicts: 1105000 | #Constraints: 110967
2767.03/2799.22 c #Conflicts: 1106000 | #Constraints: 111967
2767.03/2799.22 c #Conflicts: 1107000 | #Constraints: 112967
2767.03/2799.22 c #Conflicts: 1108000 | #Constraints: 113967
2767.03/2799.22 c #Conflicts: 1109000 | #Constraints: 114967
2767.03/2799.22 c #Conflicts: 1110000 | #Constraints: 115967
2767.03/2799.22 c #Conflicts: 1111000 | #Constraints: 116967
2767.03/2799.22 c #Conflicts: 1112000 | #Constraints: 117967
2767.03/2799.22 c #Conflicts: 1113000 | #Constraints: 118967
2767.03/2799.22 c #Conflicts: 1114000 | #Constraints: 119967
2767.03/2799.22 c #Conflicts: 1115000 | #Constraints: 120967
2767.03/2799.22 c #Conflicts: 1116000 | #Constraints: 121967
2767.03/2799.22 c #Conflicts: 1117000 | #Constraints: 122967
2767.03/2799.22 c #Conflicts: 1118000 | #Constraints: 123967
2767.03/2799.22 c #Conflicts: 1119000 | #Constraints: 124967
2767.03/2799.22 c #Conflicts: 1120000 | #Constraints: 125967
2767.03/2799.22 c #Conflicts: 1121000 | #Constraints: 126967
2767.03/2799.22 c #Conflicts: 1122000 | #Constraints: 127967
2767.03/2799.22 c #Conflicts: 1123000 | #Constraints: 128967
2767.03/2799.22 c #Conflicts: 1124000 | #Constraints: 129967
2767.03/2799.22 c #Conflicts: 1125000 | #Constraints: 130967
2767.03/2799.22 c #Conflicts: 1126000 | #Constraints: 131967
2767.03/2799.22 c #Conflicts: 1127000 | #Constraints: 132967
2767.03/2799.22 c #Conflicts: 1128000 | #Constraints: 133968
2767.03/2799.22 c #Conflicts: 1129000 | #Constraints: 134968
2767.03/2799.22 c #Conflicts: 1130000 | #Constraints: 135968
2767.03/2799.22 c #Conflicts: 1131000 | #Constraints: 136968
2767.03/2799.22 c #Conflicts: 1132000 | #Constraints: 137968
2767.03/2799.22 c #Conflicts: 1133000 | #Constraints: 138968
2767.03/2799.22 c #Conflicts: 1134000 | #Constraints: 139968
2767.03/2799.22 c #Conflicts: 1135000 | #Constraints: 140968
2767.03/2799.22 c #Conflicts: 1136000 | #Constraints: 141968
2767.03/2799.22 c #Conflicts: 1137000 | #Constraints: 142968
2767.03/2799.22 c #Conflicts: 1138000 | #Constraints: 143968
2767.03/2799.22 c INPROCESSING
2767.03/2799.22 c GARBAGE COLLECT
2767.03/2799.22 c #Conflicts: 1139000 | #Constraints: 84227
2767.03/2799.22 c #Conflicts: 1140000 | #Constraints: 85227
2767.03/2799.22 c #Conflicts: 1141000 | #Constraints: 86227
2767.03/2799.22 c #Conflicts: 1142000 | #Constraints: 87227
2767.03/2799.22 c #Conflicts: 1143000 | #Constraints: 88227
2767.03/2799.22 c #Conflicts: 1144000 | #Constraints: 89227
2767.03/2799.22 c #Conflicts: 1145000 | #Constraints: 90227
2767.03/2799.22 c #Conflicts: 1146000 | #Constraints: 91227
2767.03/2799.22 c #Conflicts: 1147000 | #Constraints: 92227
2767.03/2799.22 c #Conflicts: 1148000 | #Constraints: 93227
2767.03/2799.22 c #Conflicts: 1149000 | #Constraints: 94227
2767.03/2799.22 c #Conflicts: 1150000 | #Constraints: 95227
2767.03/2799.22 c #Conflicts: 1151000 | #Constraints: 96227
2767.03/2799.22 c #Conflicts: 1152000 | #Constraints: 97227
2767.03/2799.22 c #Conflicts: 1153000 | #Constraints: 98227
3016.40/3051.44 c #Conflicts: 1154000 | #Constraints: 99227
3016.40/3051.44 c #Conflicts: 1155000 | #Constraints: 100227
3016.40/3051.44 c #Conflicts: 1156000 | #Constraints: 101227
3016.40/3051.44 c #Conflicts: 1157000 | #Constraints: 102227
3016.40/3051.44 c #Conflicts: 1158000 | #Constraints: 103227
3016.40/3051.44 c #Conflicts: 1159000 | #Constraints: 104227
3016.40/3051.44 c #Conflicts: 1160000 | #Constraints: 105227
3016.40/3051.44 c #Conflicts: 1161000 | #Constraints: 106227
3016.40/3051.44 c #Conflicts: 1162000 | #Constraints: 107227
3016.40/3051.44 c #Conflicts: 1163000 | #Constraints: 108227
3016.40/3051.44 c #Conflicts: 1164000 | #Constraints: 109227
3016.40/3051.44 c #Conflicts: 1165000 | #Constraints: 110227
3016.40/3051.44 c #Conflicts: 1166000 | #Constraints: 111227
3016.40/3051.44 c #Conflicts: 1167000 | #Constraints: 112227
3016.40/3051.44 c #Conflicts: 1168000 | #Constraints: 113227
3016.40/3051.44 c INPROCESSING
3016.40/3051.44 c GARBAGE COLLECT
3016.40/3051.44 c #Conflicts: 1169000 | #Constraints: 78165
3016.40/3051.44 c #Conflicts: 1170000 | #Constraints: 79165
3016.40/3051.44 c #Conflicts: 1171000 | #Constraints: 80165
3016.40/3051.44 c #Conflicts: 1172000 | #Constraints: 81165
3016.40/3051.44 c #Conflicts: 1173000 | #Constraints: 82165
3016.40/3051.44 c #Conflicts: 1174000 | #Constraints: 83165
3016.40/3051.44 c #Conflicts: 1175000 | #Constraints: 84165
3016.40/3051.44 c #Conflicts: 1176000 | #Constraints: 85165
3016.40/3051.44 c #Conflicts: 1177000 | #Constraints: 86165
3016.40/3051.44 c #Conflicts: 1178000 | #Constraints: 87165
3016.40/3051.44 c #Conflicts: 1179000 | #Constraints: 88165
3016.40/3051.44 c #Conflicts: 1180000 | #Constraints: 89165
3016.40/3051.44 c #Conflicts: 1181000 | #Constraints: 90165
3016.40/3051.44 c #Conflicts: 1182000 | #Constraints: 91165
3016.40/3051.44 c #Conflicts: 1183000 | #Constraints: 92165
3016.40/3051.44 c #Conflicts: 1184000 | #Constraints: 93165
3016.40/3051.44 c #Conflicts: 1185000 | #Constraints: 94165
3016.40/3051.44 c #Conflicts: 1186000 | #Constraints: 95165
3016.40/3051.44 c #Conflicts: 1187000 | #Constraints: 96165
3016.40/3051.44 c #Conflicts: 1188000 | #Constraints: 97165
3016.40/3051.44 c #Conflicts: 1189000 | #Constraints: 98165
3016.40/3051.44 c #Conflicts: 1190000 | #Constraints: 99165
3016.40/3051.44 c #Conflicts: 1191000 | #Constraints: 100165
3016.40/3051.44 c #Conflicts: 1192000 | #Constraints: 101165
3016.40/3051.44 c #Conflicts: 1193000 | #Constraints: 102165
3016.40/3051.44 c #Conflicts: 1194000 | #Constraints: 103165
3016.40/3051.44 c #Conflicts: 1195000 | #Constraints: 104165
3016.40/3051.44 c #Conflicts: 1196000 | #Constraints: 105165
3016.40/3051.44 c #Conflicts: 1197000 | #Constraints: 106165
3016.40/3051.44 c #Conflicts: 1198000 | #Constraints: 107165
3016.40/3051.44 c #Conflicts: 1199000 | #Constraints: 108165
3016.40/3051.44 c #Conflicts: 1200000 | #Constraints: 109165
3016.40/3051.44 c #Conflicts: 1201000 | #Constraints: 110165
3016.40/3051.44 c #Conflicts: 1202000 | #Constraints: 111165
3016.40/3051.44 c #Conflicts: 1203000 | #Constraints: 112165
3016.40/3051.44 c #Conflicts: 1204000 | #Constraints: 113165
3016.40/3051.44 c #Conflicts: 1205000 | #Constraints: 114165
3016.40/3051.44 c #Conflicts: 1206000 | #Constraints: 115165
3016.40/3051.44 c #Conflicts: 1207000 | #Constraints: 116165
3016.40/3051.44 c #Conflicts: 1208000 | #Constraints: 117165
3016.40/3051.44 c #Conflicts: 1209000 | #Constraints: 118165
3016.40/3051.44 c #Conflicts: 1210000 | #Constraints: 119165
3016.40/3051.44 c #Conflicts: 1211000 | #Constraints: 120165
3016.40/3051.44 c #Conflicts: 1212000 | #Constraints: 121165
3016.40/3051.44 c #Conflicts: 1213000 | #Constraints: 122165
3016.40/3051.44 c #Conflicts: 1214000 | #Constraints: 123165
3016.40/3051.44 c #Conflicts: 1215000 | #Constraints: 124165
3016.40/3051.44 c #Conflicts: 1216000 | #Constraints: 125165
3016.40/3051.44 c #Conflicts: 1217000 | #Constraints: 126165
3016.40/3051.44 c #Conflicts: 1218000 | #Constraints: 127165
3016.40/3051.44 c #Conflicts: 1219000 | #Constraints: 128165
3016.40/3051.44 c #Conflicts: 1220000 | #Constraints: 129165
3016.40/3051.44 c #Conflicts: 1221000 | #Constraints: 130165
3016.40/3051.44 c #Conflicts: 1222000 | #Constraints: 131165
3016.40/3051.44 c #Conflicts: 1223000 | #Constraints: 132165
3016.40/3051.44 c #Conflicts: 1224000 | #Constraints: 133165
3016.40/3051.44 c #Conflicts: 1225000 | #Constraints: 134165
3016.40/3051.44 c #Conflicts: 1226000 | #Constraints: 135165
3016.40/3051.44 c #Conflicts: 1227000 | #Constraints: 136165
3016.40/3051.44 c #Conflicts: 1228000 | #Constraints: 137165
3016.40/3051.44 c #Conflicts: 1229000 | #Constraints: 138165
3016.40/3051.44 c #Conflicts: 1230000 | #Constraints: 139165
3016.40/3051.44 c #Conflicts: 1231000 | #Constraints: 140165
3016.40/3051.44 c #Conflicts: 1232000 | #Constraints: 141165
3129.61/3164.97 c #Conflicts: 1233000 | #Constraints: 142165
3129.61/3164.97 c #Conflicts: 1234000 | #Constraints: 143165
3129.61/3164.97 c #Conflicts: 1235000 | #Constraints: 144165
3129.61/3164.97 c #Conflicts: 1236000 | #Constraints: 145165
3129.61/3164.97 c #Conflicts: 1237000 | #Constraints: 146165
3129.61/3164.97 c #Conflicts: 1238000 | #Constraints: 147165
3129.61/3164.97 c #Conflicts: 1239000 | #Constraints: 148165
3129.61/3164.97 c #Conflicts: 1240000 | #Constraints: 149165
3129.61/3164.97 c INPROCESSING
3129.61/3164.97 c GARBAGE COLLECT
3129.61/3164.97 c rational objective 169.031
3315.55/3351.81 c #Conflicts: 1241000 | #Constraints: 86886
3315.55/3351.81 c #Conflicts: 1242000 | #Constraints: 87886
3315.55/3351.81 c #Conflicts: 1243000 | #Constraints: 88886
3315.55/3351.81 c #Conflicts: 1244000 | #Constraints: 89886
3315.55/3351.81 c #Conflicts: 1245000 | #Constraints: 90886
3315.55/3351.81 c #Conflicts: 1246000 | #Constraints: 91886
3315.55/3351.81 c #Conflicts: 1247000 | #Constraints: 92886
3315.55/3351.81 c #Conflicts: 1248000 | #Constraints: 93886
3315.55/3351.81 c #Conflicts: 1249000 | #Constraints: 94886
3315.55/3351.81 c #Conflicts: 1250000 | #Constraints: 95886
3315.55/3351.81 c #Conflicts: 1251000 | #Constraints: 96886
3315.55/3351.81 c #Conflicts: 1252000 | #Constraints: 97886
3315.55/3351.81 c #Conflicts: 1253000 | #Constraints: 98886
3315.55/3351.81 c #Conflicts: 1254000 | #Constraints: 99886
3315.55/3351.81 c #Conflicts: 1255000 | #Constraints: 100886
3315.55/3351.81 c #Conflicts: 1256000 | #Constraints: 101886
3315.55/3351.81 c #Conflicts: 1257000 | #Constraints: 102886
3315.55/3351.81 c #Conflicts: 1258000 | #Constraints: 103886
3315.55/3351.81 c #Conflicts: 1259000 | #Constraints: 104886
3315.55/3351.81 c #Conflicts: 1260000 | #Constraints: 105886
3315.55/3351.81 c #Conflicts: 1261000 | #Constraints: 106886
3315.55/3351.81 c #Conflicts: 1262000 | #Constraints: 107886
3315.55/3351.81 c #Conflicts: 1263000 | #Constraints: 108886
3315.55/3351.81 c #Conflicts: 1264000 | #Constraints: 109886
3315.55/3351.81 c #Conflicts: 1265000 | #Constraints: 110886
3315.55/3351.81 c #Conflicts: 1266000 | #Constraints: 111886
3315.55/3351.81 c #Conflicts: 1267000 | #Constraints: 112886
3315.55/3351.81 c #Conflicts: 1268000 | #Constraints: 113886
3315.55/3351.81 c #Conflicts: 1269000 | #Constraints: 114886
3315.55/3351.81 c #Conflicts: 1270000 | #Constraints: 115886
3315.55/3351.81 c #Conflicts: 1271000 | #Constraints: 116886
3315.55/3351.81 c #Conflicts: 1272000 | #Constraints: 117886
3315.55/3351.81 c INPROCESSING
3315.55/3351.81 c GARBAGE COLLECT
3315.55/3351.81 c #Conflicts: 1273000 | #Constraints: 81435
3315.55/3351.81 c #Conflicts: 1274000 | #Constraints: 82435
3315.55/3351.81 c #Conflicts: 1275000 | #Constraints: 83435
3315.55/3351.81 c #Conflicts: 1276000 | #Constraints: 84435
3315.55/3351.81 c #Conflicts: 1277000 | #Constraints: 85435
3315.55/3351.81 c #Conflicts: 1278000 | #Constraints: 86435
3315.55/3351.81 c #Conflicts: 1279000 | #Constraints: 87435
3315.55/3351.81 c #Conflicts: 1280000 | #Constraints: 88435
3315.55/3351.81 c #Conflicts: 1281000 | #Constraints: 89435
3315.55/3351.81 c #Conflicts: 1282000 | #Constraints: 90435
3315.55/3351.81 c #Conflicts: 1283000 | #Constraints: 91435
3315.55/3351.81 c #Conflicts: 1284000 | #Constraints: 92435
3315.55/3351.81 c #Conflicts: 1285000 | #Constraints: 93435
3315.55/3351.81 c #Conflicts: 1286000 | #Constraints: 94435
3315.55/3351.81 c #Conflicts: 1287000 | #Constraints: 95435
3315.55/3351.81 c #Conflicts: 1288000 | #Constraints: 96435
3315.55/3351.81 c #Conflicts: 1289000 | #Constraints: 97435
3315.55/3351.81 c #Conflicts: 1290000 | #Constraints: 98435
3315.55/3351.81 c #Conflicts: 1291000 | #Constraints: 99435
3315.55/3351.81 c #Conflicts: 1292000 | #Constraints: 100435
3315.55/3351.81 c #Conflicts: 1293000 | #Constraints: 101435
3315.55/3351.81 c #Conflicts: 1294000 | #Constraints: 102435
3315.55/3351.81 c #Conflicts: 1295000 | #Constraints: 103435
3315.55/3351.81 c #Conflicts: 1296000 | #Constraints: 104435
3315.55/3351.81 c #Conflicts: 1297000 | #Constraints: 105435
3315.55/3351.81 c #Conflicts: 1298000 | #Constraints: 106435
3315.55/3351.81 c #Conflicts: 1299000 | #Constraints: 107435
3315.55/3351.81 c #Conflicts: 1300000 | #Constraints: 108435
3315.55/3351.81 c #Conflicts: 1301000 | #Constraints: 109435
3315.55/3351.81 c #Conflicts: 1302000 | #Constraints: 110435
3315.55/3351.81 c #Conflicts: 1303000 | #Constraints: 111435
3315.55/3351.81 c #Conflicts: 1304000 | #Constraints: 112435
3315.55/3351.81 c #Conflicts: 1305000 | #Constraints: 113435
3315.55/3351.81 c #Conflicts: 1306000 | #Constraints: 114435
3315.55/3351.81 c #Conflicts: 1307000 | #Constraints: 115435
3315.55/3351.81 c #Conflicts: 1308000 | #Constraints: 116435
3315.55/3351.81 c #Conflicts: 1309000 | #Constraints: 117435
3315.55/3351.81 c #Conflicts: 1310000 | #Constraints: 118435
3315.55/3351.81 c #Conflicts: 1311000 | #Constraints: 119435
3315.55/3351.81 c #Conflicts: 1312000 | #Constraints: 120435
3315.55/3351.81 c #Conflicts: 1313000 | #Constraints: 121435
3315.55/3351.81 c #Conflicts: 1314000 | #Constraints: 122435
3315.55/3351.81 c #Conflicts: 1315000 | #Constraints: 123435
3315.55/3351.81 c #Conflicts: 1316000 | #Constraints: 124435
3315.55/3351.81 c #Conflicts: 1317000 | #Constraints: 125435
3315.55/3351.81 c #Conflicts: 1318000 | #Constraints: 126435
3315.55/3351.81 c #Conflicts: 1319000 | #Constraints: 127435
3556.97/3598.23 c #Conflicts: 1320000 | #Constraints: 128435
3556.97/3598.23 c #Conflicts: 1321000 | #Constraints: 129435
3556.97/3598.23 c #Conflicts: 1322000 | #Constraints: 130435
3556.97/3598.23 c #Conflicts: 1323000 | #Constraints: 131435
3556.97/3598.23 c #Conflicts: 1324000 | #Constraints: 132435
3556.97/3598.23 c #Conflicts: 1325000 | #Constraints: 133435
3556.97/3598.23 c #Conflicts: 1326000 | #Constraints: 134435
3556.97/3598.23 c #Conflicts: 1327000 | #Constraints: 135435
3556.97/3598.23 c #Conflicts: 1328000 | #Constraints: 136435
3556.97/3598.23 c #Conflicts: 1329000 | #Constraints: 137435
3556.97/3598.23 c #Conflicts: 1330000 | #Constraints: 138435
3556.97/3598.23 c #Conflicts: 1331000 | #Constraints: 139435
3556.97/3598.23 c #Conflicts: 1332000 | #Constraints: 140435
3556.97/3598.23 c #Conflicts: 1333000 | #Constraints: 141435
3556.97/3598.23 c #Conflicts: 1334000 | #Constraints: 142435
3556.97/3598.23 c #Conflicts: 1335000 | #Constraints: 143435
3556.97/3598.23 c #Conflicts: 1336000 | #Constraints: 144435
3556.97/3598.23 c #Conflicts: 1337000 | #Constraints: 145435
3556.97/3598.23 c #Conflicts: 1338000 | #Constraints: 146435
3556.97/3598.23 c #Conflicts: 1339000 | #Constraints: 147435
3556.97/3598.23 c #Conflicts: 1340000 | #Constraints: 148435
3556.97/3598.23 c #Conflicts: 1341000 | #Constraints: 149435
3556.97/3598.23 c #Conflicts: 1342000 | #Constraints: 150435
3556.97/3598.23 c #Conflicts: 1343000 | #Constraints: 151435
3556.97/3598.23 c #Conflicts: 1344000 | #Constraints: 152435
3556.97/3598.23 c #Conflicts: 1345000 | #Constraints: 153435
3556.97/3598.23 c #Conflicts: 1346000 | #Constraints: 154435
3556.97/3598.23 c #Conflicts: 1347000 | #Constraints: 155435
3556.97/3598.23 c INPROCESSING
3556.97/3598.23 c GARBAGE COLLECT
3556.97/3598.23 c #Conflicts: 1348000 | #Constraints: 90179
3556.97/3598.23 c #Conflicts: 1349000 | #Constraints: 91179
3556.97/3598.23 c #Conflicts: 1350000 | #Constraints: 92179
3556.97/3598.23 c #Conflicts: 1351000 | #Constraints: 93179
3556.97/3598.23 c #Conflicts: 1352000 | #Constraints: 94179
3556.97/3598.23 c #Conflicts: 1353000 | #Constraints: 95179
3556.97/3598.23 c #Conflicts: 1354000 | #Constraints: 96179
3556.97/3598.23 c #Conflicts: 1355000 | #Constraints: 97179
3556.97/3598.23 c #Conflicts: 1356000 | #Constraints: 98179
3556.97/3598.23 c #Conflicts: 1357000 | #Constraints: 99179
3556.97/3598.23 c #Conflicts: 1358000 | #Constraints: 100179
3556.97/3598.23 c #Conflicts: 1359000 | #Constraints: 101179
3556.97/3598.23 c #Conflicts: 1360000 | #Constraints: 102179
3556.97/3598.23 c #Conflicts: 1361000 | #Constraints: 103179
3556.97/3598.23 c #Conflicts: 1362000 | #Constraints: 104179
3556.97/3598.23 c #Conflicts: 1363000 | #Constraints: 105179
3556.97/3598.23 c #Conflicts: 1364000 | #Constraints: 106179
3556.97/3598.23 c #Conflicts: 1365000 | #Constraints: 107179
3556.97/3598.23 c #Conflicts: 1366000 | #Constraints: 108179
3556.97/3598.23 c #Conflicts: 1367000 | #Constraints: 109179
3556.97/3598.23 c #Conflicts: 1368000 | #Constraints: 110179
3556.97/3598.23 c #Conflicts: 1369000 | #Constraints: 111179
3556.97/3598.23 c #Conflicts: 1370000 | #Constraints: 112179
3556.97/3598.23 c #Conflicts: 1371000 | #Constraints: 113179
3556.97/3598.23 c #Conflicts: 1372000 | #Constraints: 114179
3556.97/3598.23 c #Conflicts: 1373000 | #Constraints: 115179
3556.97/3598.23 c #Conflicts: 1374000 | #Constraints: 116179
3556.97/3598.23 c #Conflicts: 1375000 | #Constraints: 117179
3556.97/3598.23 c #Conflicts: 1376000 | #Constraints: 118179
3556.97/3598.23 c #Conflicts: 1377000 | #Constraints: 119179
3556.97/3598.23 c #Conflicts: 1378000 | #Constraints: 120179
3556.97/3598.23 c #Conflicts: 1379000 | #Constraints: 121179
3556.97/3598.23 c #Conflicts: 1380000 | #Constraints: 122179
3556.97/3598.23 c INPROCESSING
3556.97/3598.23 c GARBAGE COLLECT
3556.97/3598.23 c #Conflicts: 1381000 | #Constraints: 84034
3556.97/3598.23 c #Conflicts: 1382000 | #Constraints: 85034
3556.97/3598.23 c #Conflicts: 1383000 | #Constraints: 86034
3556.97/3598.23 c #Conflicts: 1384000 | #Constraints: 87034
3556.97/3598.23 c #Conflicts: 1385000 | #Constraints: 88034
3556.97/3598.23 c #Conflicts: 1386000 | #Constraints: 89034
3556.97/3598.23 c #Conflicts: 1387000 | #Constraints: 90034
3556.97/3598.23 c #Conflicts: 1388000 | #Constraints: 91034
3556.97/3598.23 c #Conflicts: 1389000 | #Constraints: 92034
3556.97/3598.23 c #Conflicts: 1390000 | #Constraints: 93034
3556.97/3598.23 c #Conflicts: 1391000 | #Constraints: 94034
3556.97/3598.23 c #Conflicts: 1392000 | #Constraints: 95034
3556.97/3598.23 c #Conflicts: 1393000 | #Constraints: 96034
3556.97/3598.23 c #Conflicts: 1394000 | #Constraints: 97034
3556.97/3598.23 c #Conflicts: 1395000 | #Constraints: 98034
3556.97/3598.23 c #Conflicts: 1396000 | #Constraints: 99034
3600.02/3641.40 c #Conflicts: 1397000 | #Constraints: 100034
3600.02/3641.40 c #Conflicts: 1398000 | #Constraints: 101034
3600.02/3641.40 c #Conflicts: 1399000 | #Constraints: 102034
3600.02/3641.40 c #Conflicts: 1400000 | #Constraints: 103034
3600.02/3641.40 c #Conflicts: 1401000 | #Constraints: 104034
3600.02/3641.40 c #Conflicts: 1402000 | #Constraints: 105034
3600.02/3641.40 c #Conflicts: 1403000 | #Constraints: 106034
3600.02/3641.40 c #Conflicts: 1404000 | #Constraints: 107034
3600.02/3641.40 c #Conflicts: 1405000 | #Constraints: 108034
3600.02/3641.40 c #Conflicts: 1406000 | #Constraints: 109034
3600.02/3641.40 c #Conflicts: 1407000 | #Constraints: 110034
3600.02/3641.40 c #Conflicts: 1408000 | #Constraints: 111034
3600.02/3641.40 c #Conflicts: 1409000 | #Constraints: 112034
3600.02/3641.40 c #Conflicts: 1410000 | #Constraints: 113034
3600.02/3641.40 c #Conflicts: 1411000 | #Constraints: 114034
3600.02/3641.40 c cpu time 3563.31 s
3600.02/3641.40 c deterministic time 238844142683 2.39e+11
3600.02/3641.40 c optimization time 70.8636 s
3600.02/3641.40 c total solve time 3492.31 s
3600.02/3641.40 c core-guided solve time 0 s
3600.02/3641.40 c propagation time 1842.02 s
3600.02/3641.40 c conflict analysis time 1251.33 s
3600.02/3641.40 c propagations 1404863825
3600.02/3641.40 c resolve steps 86240337
3600.02/3641.40 c decisions 32489468
3600.02/3641.40 c conflicts 1411990
3600.02/3641.40 c restarts 2715
3600.02/3641.40 c inprocessing phases 50
3600.02/3641.40 c garbage collections 50 ,( 100.00 )
3600.02/3641.40 c input clauses 20420 ,( 99.18 )
3600.02/3641.40 c input cardinalities 169 ,( 0.82 )
3600.02/3641.40 c input general constraints 0 ,( 0.00 )
3600.02/3641.40 c input average constraint length 6.41
3600.02/3641.40 c input average constraint degree 1.96
3600.02/3641.40 c learned clauses 1034066 ,( 73.23 )
3600.02/3641.40 c learned cardinalities 46191 ,( 3.27 )
3600.02/3641.40 c learned general constraints 331737 ,( 23.49 )
3600.02/3641.40 c learned average constraint length 697.68
3600.02/3641.40 c learned average constraint degree 22705877.50
3600.02/3641.40 c watched CF 32, 64, 128, Arb: 83589 , 0 , 0 , 0
3600.02/3641.40 c counting CF 32, 64, 128, Arb: 248148 , 0 , 0 , 0
3600.02/3641.40 c watched constraints 83589 ,( 25.20 )
3600.02/3641.40 c counting constraints 248148 ,( 74.80 )
3600.02/3641.40 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1293545981 , 721010967 , 2058833289 ,( 82290566 , 1976542723 )
3600.02/3641.40 c gcd simplifications 776
3600.02/3641.40 c detected cardinalities 6610
3600.02/3641.40 c weakened non-implied lits 388657702
3600.02/3641.40 c weakened non-implying lits 222481
3600.02/3641.40 c original variables 20156
3600.02/3641.40 c clausal propagations 648889200
3600.02/3641.40 c cardinality propagations 516821378
3600.02/3641.40 c watched propagations 4227696
3600.02/3641.40 c counting propagations 221923459
3600.02/3641.40 c watch lookups 78184819319
3600.02/3641.40 c watch backjump lookups 0
3600.02/3641.40 c watch checks 31440792873
3600.02/3641.40 c propagation checks 121617357103
3600.02/3641.40 c constraint additions 4724781191
3600.02/3641.40 c trail pops 1438748826
3600.02/3641.40 c formula constraints 20589
3600.02/3641.40 c learned constraints 1411985
3600.02/3641.40 c bound constraints 0
3600.02/3641.40 c core-guided constraints 0
3600.02/3641.40 c encountered formula constraints 54749675
3600.02/3641.40 c encountered learned constraints 32902228
3600.02/3641.40 c encountered bound constraints 0
3600.02/3641.40 c encountered core-guided constraints 0
3600.02/3641.40 c LP total time 454.348 s
3600.02/3641.40 c LP solve time 445.97 s
3600.02/3641.40 c LP constraints added 20589
3600.02/3641.40 c LP constraints removed 0
3600.02/3641.40 c LP pivots internal 142404
3600.02/3641.40 c LP pivots root 147673
3600.02/3641.40 c LP calls 16
3600.02/3641.40 c LP optimalities 5
3600.02/3641.40 c LP no pivot count 0
3600.02/3641.40 c LP infeasibilities 4
3600.02/3641.40 c LP valid Farkas constraints 4
3600.02/3641.40 c LP learned Farkas constraints 4
3600.02/3641.40 c LP basis resets 0
3600.02/3641.40 c LP cycling count 0
3600.02/3641.40 c LP singular count 0
3600.02/3641.40 c LP no primal count 0
3600.02/3641.40 c LP no farkas count 0
3600.02/3641.40 c LP other issue count 0
3600.02/3641.40 c LP Gomory cuts 1
3600.02/3641.40 c LP learned cuts 218
3600.02/3641.40 c LP deleted cuts 0
3600.02/3641.40 c LP encountered Gomory constraints 0
3600.02/3641.40 c LP encountered Farkas constraints 415
3600.02/3641.40 c LP encountered learned Farkas constraints 5
3600.02/3641.40 c CG auxiliary variables introduced 0
3600.02/3641.40 c CG solutions found 0
3600.02/3641.40 c CG cores constructed 0
3600.02/3641.40 c CG core cardinality constraints returned 0
3600.02/3641.40 c CG unit cores 0
3600.02/3641.40 c CG single cores 0
3600.02/3641.40 c CG blocks removed during cardinality reduction 0
3600.02/3641.40 c CG first core best 0
3600.02/3641.40 c CG decision core best 0
3600.02/3641.40 c CG core reduction tie 0
3600.02/3641.40 c CG core degree average 0.00
3600.02/3641.40 c CG core slack average 0.00
3600.02/3641.40 c CG core upper bound improvements 0
3600.02/3641.40 c STR number of successful calls 0
3600.02/3641.40 c STR number of unsuccessful calls 0
3600.02/3641.40 c STR number of inconclusive calls 0
3600.02/3641.40 c STR number of successful attempts 0
3600.02/3641.40 c STR number of unsuccessful attempts 0
3600.02/3641.40 c STR number of inconclusive attempts 0
3600.02/3641.40 c STR average degree increase per successful call inf
3600.02/3641.40 c STR average degree increase per successful attempt inf
3600.02/3641.40 c STR total number of conflicts for successful attempts 0
3600.02/3641.40 c STR total number of conflicts for unsuccessful attempts 0
3600.02/3641.40 c STR total number of conflicts for inconclusive attempts 0
3600.02/3641.40 c STR average number of conflicts per successful attempt inf
3600.02/3641.40 c STR average number of conflicts per unsuccessful attempt inf
3600.02/3641.40 c STR average number of conflicts per inconclusive attempt inf
3600.02/3641.40 c AVG.sumWPerc 66.38
3600.02/3641.40 c bigint constraints 0
3600.02/3641.40 s UNKNOWN
3600.02/3641.40 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62983 MiB free)
memory of node 1: 64507 MiB (64061 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506765-1751170426/watcher-4506765-1751170426 -o /tmp/evaluation-result-4506765-1751170426/solver-4506765-1751170426 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751170426-22590 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4506765-1751170426.opb PROOFDIR/proof-4506765-1751170426
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=22625, runsolver pid=22619
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 1.10 2.51 3.41 5/259 22630
/proc/meminfo: memFree=130020548/131250000 swapFree=33010684/33010684
[pid=22625] ppid=22619 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/22625/stat : 22625 (run-dec-break-l) S 22619 22625 22578 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32722899 4292608 768 18446744073709551615 94804096528384 94804097422917 140736271398576 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94804097661968 94804097709712 94804104990720 140736271407381 140736271407582 140736271407582 140736271413184 0
/proc/22625/statm: 1048 768 704 219 0 110 0
[pid=22629] ppid=22625 vsize=40016 memory=27412 CPUtime=0.03 cores=1,3
/proc/22629/stat : 22629 (pbsuma) R 22625 22625 22578 0 -1 4194304 6161 0 0 0 2 1 0 0 20 0 1 0 32722900 40976384 6853 18446744073709551615 4210688 4653049 140721160550784 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 18399232 140721160554723 140721160555058 140721160555058 140721160560623 0
/proc/22629/statm: 10004 6853 992 108 0 7412 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 44208 KiB
Current children cumulated memory: 30484 KiB
[startup+0.205825 s]*
/proc/loadavg: 1.10 2.51 3.41 5/260 22638
/proc/meminfo: memFree=130003528/131250000 swapFree=33010684/33010684
[pid=22625] ppid=22619 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/22625/stat : 22625 (run-dec-break-l) S 22619 22625 22578 0 -1 4194304 241 13422 0 0 0 0 7 2 20 0 1 0 32722899 4292608 768 18446744073709551615 94804096528384 94804097422917 140736271398576 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94804097661968 94804097709712 94804104990720 140736271407381 140736271407582 140736271407582 140736271413184 0
/proc/22625/statm: 1048 768 704 219 0 110 0
[pid=22637] ppid=22625 vsize=62388 memory=15872 CPUtime=0.02 cores=1,3
/proc/22637/stat : 22637 (roundingsat) R 22625 22625 22578 0 -1 4194304 2110 0 0 0 2 0 0 0 20 0 1 0 32722916 63885312 3968 18446744073709551615 4227072 8923433 140735506690320 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22712320 140735506692340 140735506692648 140735506692648 140735506698218 0
/proc/22637/statm: 15597 3968 2080 1147 0 3024 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 66580 KiB
Current children cumulated memory: 18944 KiB
[startup+0.305633 s]*
/proc/loadavg: 1.10 2.51 3.41 5/265 22643
/proc/meminfo: memFree=129851648/131250000 swapFree=33010684/33010684
[pid=22625] ppid=22619 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/22625/stat : 22625 (run-dec-break-l) S 22619 22625 22578 0 -1 4194304 241 13422 0 0 0 0 7 2 20 0 1 0 32722899 4292608 768 18446744073709551615 94804096528384 94804097422917 140736271398576 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94804097661968 94804097709712 94804104990720 140736271407381 140736271407582 140736271407582 140736271413184 0
/proc/22625/statm: 1048 768 704 219 0 110 0
[pid=22637] ppid=22625 vsize=75808 memory=29904 CPUtime=0.12 cores=1,3
/proc/22637/stat : 22637 (roundingsat) R 22625 22625 22578 0 -1 4194304 5557 0 0 0 10 2 0 0 20 0 1 0 32722916 77627392 7476 18446744073709551615 4227072 8923433 140735506690320 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22712320 140735506692340 140735506692648 140735506692648 140735506698218 0
/proc/22637/statm: 18952 7476 2272 1147 0 6379 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 80000 KiB
Current children cumulated memory: 32976 KiB
[startup+0.700215 s]
/proc/loadavg: 1.10 2.51 3.41 5/265 22643
/proc/meminfo: memFree=129723072/131250000 swapFree=33010684/33010684
[pid=22625] ppid=22619 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/22625/stat : 22625 (run-dec-break-l) S 22619 22625 22578 0 -1 4194304 241 13422 0 0 0 0 7 2 20 0 1 0 32722899 4292608 768 18446744073709551615 94804096528384 94804097422917 140736271398576 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94804097661968 94804097709712 94804104990720 140736271407381 140736271407582 140736271407582 140736271413184 0
/proc/22625/statm: 1048 768 704 219 0 110 0
[pid=22637] ppid=22625 vsize=115996 memory=62072 CPUtime=0.51 cores=1,3
/proc/22637/stat : 22637 (roundingsat) R 22625 22625 22578 0 -1 4194304 12593 0 0 0 47 4 0 0 20 0 1 0 32722916 118779904 15518 18446744073709551615 4227072 8923433 140735506690320 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22712320 140735506692340 140735506692648 140735506692648 140735506698218 0
/proc/22637/statm: 28999 15518 2336 1147 0 16426 0
Current children cumulated CPU time: 0.6 s
Current children cumulated vsize: 120188 KiB
Current children cumulated memory: 65144 KiB
[startup+1.50019 s]
/proc/loadavg: 1.10 2.51 3.41 5/263 22643
/proc/meminfo: memFree=129423200/131250000 swapFree=33010684/33010684
[pid=22625] ppid=22619 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/22625/stat : 22625 (run-dec-break-l) S 22619 22625 22578 0 -1 4194304 241 13422 0 0 0 0 7 2 20 0 1 0 32722899 4292608 768 18446744073709551615 94804096528384 94804097422917 140736271398576 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94804097661968 94804097709712 94804104990720 140736271407381 140736271407582 140736271407582 140736271413184 0
/proc/22625/statm: 1048 768 704 219 0 110 0
[pid=22637] ppid=22625 vsize=115996 memory=62072 CPUtime=1.31 cores=1,3
/proc/22637/stat : 22637 (roundingsat) R 22625 22625 22578 0 -1 4194304 12593 0 0 0 127 4 0 0 20 0 1 0 32722916 118779904 15518 18446744073709551615 4227072 8923433 140735506690320 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22712320 140735506692340 140735506692648 140735506692648 140735506698218 0
/proc/22637/statm: 28999 15518 2336 1147 0 16426 0
Current children cumulated CPU time: 1.4 s
Current children cumulated vsize: 120188 KiB
Current children cumulated memory: 65144 KiB
[startup+3.10548 s]
/proc/loadavg: 1.34 2.53 3.42 5/269 22655
/proc/meminfo: memFree=128103188/131250000 swapFree=33010684/33010684
[pid=22625] ppid=22619 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/22625/stat : 22625 (run-dec-break-l) S 22619 22625 22578 0 -1 4194304 241 13422 0 0 0 0 7 2 20 0 1 0 32722899 4292608 768 18446744073709551615 94804096528384 94804097422917 140736271398576 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94804097661968 94804097709712 94804104990720 140736271407381 140736271407582 140736271407582 140736271413184 0
/proc/22625/statm: 1048 768 704 219 0 110 0
[pid=22637] ppid=22625 vsize=119836 memory=66168 CPUtime=2.91 cores=1,3
/proc/22637/stat : 22637 (roundingsat) R 22625 22625 22578 0 -1 4194304 13604 0 0 0 286 5 0 0 20 0 1 0 32722916 122712064 16542 18446744073709551615 4227072 8923433 140735506690320 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22712320 140735506692340 140735506692648 140735506692648 140735506698218 0
/proc/22637/statm: 29959 16542 2336 1147 0 17386 0
Current children cumulated CPU time: 3 s
Current children cumulated vsize: 124028 KiB
Current children cumulated memory: 69240 KiB
[startup+6.30018 s]
/proc/loadavg: 1.34 2.53 3.42 5/269 22655
/proc/meminfo: memFree=126566540/131250000 swapFree=33010684/33010684
[pid=22625] ppid=22619 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/22625/stat : 22625 (run-dec-break-l) S 22619 22625 22578 0 -1 4194304 241 13422 0 0 0 0 7 2 20 0 1 0 32722899 4292608 768 18446744073709551615 94804096528384 94804097422917 140736271398576 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94804097661968 94804097709712 94804104990720 140736271407381 140736271407582 140736271407582 140736271413184 0
/proc/22625/statm: 1048 768 704 219 0 110 0
[pid=22637] ppid=22625 vsize=124508 memory=75000 CPUtime=6.09 cores=1,3
/proc/22637/stat : 22637 (roundingsat) R 22625 22625 22578 0 -1 4194304 15291 0 0 0 597 12 0 0 20 0 1 0 32722916 127496192 18750 18446744073709551615 4227072 8923433 140735506690320 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22712320 140735506692340 140735506692648 140735506692648 140735506698218 0
/proc/22637/statm: 31127 18750 2400 1147 0 18554 0
Current children cumulated CPU time: 6.18 s
Current children cumulated vsize: 128700 KiB
Current children cumulated memory: 78072 KiB
[startup+12.7002 s]
/proc/loadavg: 1.83 2.60 3.43 5/269 22655
/proc/meminfo: memFree=126367912/131250000 swapFree=33010684/33010684
[pid=22625] ppid=22619 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/22625/stat : 22625 (run-dec-break-l) S 22619 22625 22578 0 -1 4194304 241 13422 0 0 0 0 7 2 20 0 1 0 32722899 4292608 768 18446744073709551615 94804096528384 94804097422917 140736271398576 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94804097661968 94804097709712 94804104990720 140736271407381 140736271407582 140736271407582 140736271413184 0
/proc/22625/statm: 1048 768 704 219 0 110 0
[pid=22637] ppid=22625 vsize=134260 memory=83064 CPUtime=12.48 cores=1,3
/proc/22637/stat : 22637 (roundingsat) R 22625 22625 22578 0 -1 4194304 17299 0 0 0 1220 28 0 0 20 0 1 0 32722916 137482240 20766 18446744073709551615 4227072 8923433 140735506690320 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22712320 140735506692340 140735506692648 140735506692648 140735506698218 0
/proc/22637/statm: 33565 20766 2400 1147 0 20992 0
Current children cumulated CPU time: 12.57 s
Current children cumulated vsize: 138452 KiB
Current children cumulated memory: 86136 KiB
[startup+25.5002 s]
/proc/loadavg: 2.16 2.64 3.44 5/272 22659
/proc/meminfo: memFree=126552620/131250000 swapFree=33010684/33010684
[pid=22625] ppid=22619 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/22625/stat : 22625 (run-dec-break-l) S 22619 22625 22578 0 -1 4194304 241 13422 0 0 0 0 7 2 20 0 1 0 32722899 4292608 768 18446744073709551615 94804096528384 94804097422917 140736271398576 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94804097661968 94804097709712 94804104990720 140736271407381 140736271407582 140736271407582 140736271413184 0
/proc/22625/statm: 1048 768 704 219 0 110 0
[pid=22637] ppid=22625 vsize=164516 memory=109664 CPUtime=25.25 cores=1,3
/proc/22637/stat : 22637 (roundingsat) R 22625 22625 22578 0 -1 4194304 23452 0 0 0 2467 58 0 0 20 0 1 0 32722916 168464384 27416 18446744073709551615 4227072 8923433 140735506690320 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22712320 140735506692340 140735506692648 140735506692648 140735506698218 0
/proc/22637/statm: 41129 27416 2400 1147 0 28556 0
Current children cumulated CPU time: 25.34 s
Current children cumulated vsize: 168708 KiB
Current children cumulated memory: 112736 KiB
[startup+51.1058 s]
/proc/loadavg: 2.94 2.79 3.46 5/273 22661
/proc/meminfo: memFree=125058264/131250000 swapFree=33010684/33010684
[pid=22625] ppid=22619 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/22625/stat : 22625 (run-dec-break-l) S 22619 22625 22578 0 -1 4194304 241 13422 0 0 0 0 7 2 20 0 1 0 32722899 4292608 768 18446744073709551615 94804096528384 94804097422917 140736271398576 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94804097661968 94804097709712 94804104990720 140736271407381 140736271407582 140736271407582 140736271413184 0
/proc/22625/statm: 1048 768 704 219 0 110 0
[pid=22637] ppid=22625 vsize=190140 memory=132788 CPUtime=50.7 cores=1,3
/proc/22637/stat : 22637 (roundingsat) R 22625 22625 22578 0 -1 4194304 28279 0 0 0 4961 109 0 0 20 0 1 0 32722916 194703360 33197 18446744073709551615 4227072 8923433 140735506690320 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22712320 140735506692340 140735506692648 140735506692648 140735506698218 0
/proc/22637/statm: 47535 33197 2400 1147 0 34962 0
Current children cumulated CPU time: 50.79 s
Current children cumulated vsize: 194332 KiB
Current children cumulated memory: 135860 KiB
[startup+102.3 s]
/proc/loadavg: 3.64 3.01 3.50 5/275 22666
/proc/meminfo: memFree=124827876/131250000 swapFree=33010684/33010684
[pid=22625] ppid=22619 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/22625/stat : 22625 (run-dec-break-l) S 22619 22625 22578 0 -1 4194304 241 13422 0 0 0 0 7 2 20 0 1 0 32722899 4292608 768 18446744073709551615 94804096528384 94804097422917 140736271398576 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94804097661968 94804097709712 94804104990720 140736271407381 140736271407582 140736271407582 140736271413184 0
/proc/22625/statm: 1048 768 704 219 0 110 0
[pid=22637] ppid=22625 vsize=235680 memory=169788 CPUtime=101.74 cores=1,3
/proc/22637/stat : 22637 (roundingsat) R 22625 22625 22578 0 -1 4194304 34486 0 0 0 9983 191 0 0 20 0 1 0 32722916 241336320 42447 18446744073709551615 4227072 8923433 140735506690320 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22712320 140735506692340 140735506692648 140735506692648 140735506698218 0
/proc/22637/statm: 58920 42447 2400 1147 0 46347 0
Current children cumulated CPU time: 101.83 s
Current children cumulated vsize: 239872 KiB
Current children cumulated memory: 172860 KiB
[startup+162.3 s]
/proc/loadavg: 3.87 3.19 3.54 5/275 22670
/proc/meminfo: memFree=124453684/131250000 swapFree=33010684/33010684
[pid=22625] ppid=22619 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/22625/stat : 22625 (run-dec-break-l) S 22619 22625 22578 0 -1 4194304 241 13422 0 0 0 0 7 2 20 0 1 0 32722899 4292608 768 18446744073709551615 94804096528384 94804097422917 140736271398576 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94804097661968 94804097709712 94804104990720 140736271407381 140736271407582 140736271407582 140736271413184 0
/proc/22625/statm: 1048 768 704 219 0 110 0
[pid=22637] ppid=22625 vsize=289812 memory=219552 CPUtime=160.05 cores=1,3
/proc/22637/stat : 22637 (roundingsat) R 22625 22625 22578 0 -1 4194304 40818 0 0 0 15692 313 0 0 20 0 1 0 32722916 296767488 54888 18446744073709551615 4227072 8923433 140735506690320 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22712320 140735506692340 140735506692648 140735506692648 140735506698218 0
/proc/22637/statm: 72453 54888 2400 1147 0 59880 0
Current children cumulated CPU time: 160.14 s
Current children cumulated vsize: 294004 KiB
Current children cumulated memory: 222624 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 3.39 3.58 5/274 22672
/proc/meminfo: memFree=124204492/131250000 swapFree=33010684/33010684
[pid=22625] ppid=22619 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/22625/stat : 22625 (run-dec-break-l) S 22619 22625 22578 0 -1 4194304 241 13422 0 0 0 0 7 2 20 0 1 0 32722899 4292608 768 18446744073709551615 94804096528384 94804097422917 140736271398576 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94804097661968 94804097709712 94804104990720 140736271407381 140736271407582 140736271407582 140736271413184 0
/proc/22625/statm: 1048 768 704 219 0 110 0
[pid=22637] ppid=22625 vsize=294248 memory=224288 CPUtime=219.65 cores=1,3
/proc/22637/stat : 22637 (roundingsat) R 22625 22625 22578 0 -1 4194304 41966 0 0 0 21581 384 0 0 20 0 1 0 32722916 301309952 56072 18446744073709551615 4227072 8923433 140735506690320 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22712320 140735506692340 140735506692648 140735506692648 140735506698218 0
################
# More data... #
################
/proc/22637/statm: 268288 216410 2400 1147 0 255715 0
Current children cumulated CPU time: 3007.36 s
Current children cumulated vsize: 1077344 KiB
Current children cumulated memory: 868712 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/271 22832
/proc/meminfo: memFree=112866684/131250000 swapFree=33010684/33010684
[pid=22625] ppid=22619 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/22625/stat : 22625 (run-dec-break-l) S 22619 22625 22578 0 -1 4194304 241 13422 0 0 0 0 7 2 20 0 1 0 32722899 4292608 768 18446744073709551615 94804096528384 94804097422917 140736271398576 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94804097661968 94804097709712 94804104990720 140736271407381 140736271407582 140736271407582 140736271413184 0
/proc/22625/statm: 1048 768 704 219 0 110 0
[pid=22637] ppid=22625 vsize=1082488 memory=874728 CPUtime=3067.08 cores=1,3
/proc/22637/stat : 22637 (roundingsat) R 22625 22625 22578 0 -1 4194304 118182 0 0 0 303527 3181 0 0 20 0 1 0 32722916 1108467712 218682 18446744073709551615 4227072 8923433 140735506690320 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22712320 140735506692340 140735506692648 140735506692648 140735506698218 0
/proc/22637/statm: 270622 218682 2400 1147 0 258049 0
Current children cumulated CPU time: 3067.17 s
Current children cumulated vsize: 1086680 KiB
Current children cumulated memory: 877800 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/274 22839
/proc/meminfo: memFree=112763816/131250000 swapFree=33010684/33010684
[pid=22625] ppid=22619 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/22625/stat : 22625 (run-dec-break-l) S 22619 22625 22578 0 -1 4194304 241 13422 0 0 0 0 7 2 20 0 1 0 32722899 4292608 768 18446744073709551615 94804096528384 94804097422917 140736271398576 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94804097661968 94804097709712 94804104990720 140736271407381 140736271407582 140736271407582 140736271413184 0
/proc/22625/statm: 1048 768 704 219 0 110 0
[pid=22637] ppid=22625 vsize=1086008 memory=877288 CPUtime=3126.93 cores=1,3
/proc/22637/stat : 22637 (roundingsat) R 22625 22625 22578 0 -1 4194304 118816 0 0 0 309498 3195 0 0 20 0 1 0 32722916 1112072192 219322 18446744073709551615 4227072 8923433 140735506690320 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22712320 140735506692340 140735506692648 140735506692648 140735506698218 0
/proc/22637/statm: 271502 219322 2400 1147 0 258929 0
Current children cumulated CPU time: 3127.02 s
Current children cumulated vsize: 1090200 KiB
Current children cumulated memory: 880360 KiB
[startup+3222.3 s]
/proc/loadavg: 4.04 4.09 4.08 5/274 22841
/proc/meminfo: memFree=112431372/131250000 swapFree=33010684/33010684
[pid=22625] ppid=22619 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/22625/stat : 22625 (run-dec-break-l) S 22619 22625 22578 0 -1 4194304 241 13422 0 0 0 0 7 2 20 0 1 0 32722899 4292608 768 18446744073709551615 94804096528384 94804097422917 140736271398576 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94804097661968 94804097709712 94804104990720 140736271407381 140736271407582 140736271407582 140736271413184 0
/proc/22625/statm: 1048 768 704 219 0 110 0
[pid=22637] ppid=22625 vsize=1137452 memory=929128 CPUtime=3186.56 cores=1,3
/proc/22637/stat : 22637 (roundingsat) R 22625 22625 22578 0 -1 4194304 131790 0 0 0 315384 3272 0 0 20 0 1 0 32722916 1164750848 232282 18446744073709551615 4227072 8923433 140735506690320 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22712320 140735506692340 140735506692648 140735506692648 140735506698218 0
/proc/22637/statm: 284363 232282 2400 1147 0 271790 0
Current children cumulated CPU time: 3186.65 s
Current children cumulated vsize: 1141644 KiB
Current children cumulated memory: 932200 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/272 22843
/proc/meminfo: memFree=112321076/131250000 swapFree=33010684/33010684
[pid=22625] ppid=22619 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/22625/stat : 22625 (run-dec-break-l) S 22619 22625 22578 0 -1 4194304 241 13422 0 0 0 0 7 2 20 0 1 0 32722899 4292608 768 18446744073709551615 94804096528384 94804097422917 140736271398576 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94804097661968 94804097709712 94804104990720 140736271407381 140736271407582 140736271407582 140736271413184 0
/proc/22625/statm: 1048 768 704 219 0 110 0
[pid=22637] ppid=22625 vsize=1139532 memory=931048 CPUtime=3246.23 cores=1,3
/proc/22637/stat : 22637 (roundingsat) R 22625 22625 22578 0 -1 4194304 132269 0 0 0 321274 3349 0 0 20 0 1 0 32722916 1166880768 232762 18446744073709551615 4227072 8923433 140735506690320 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22712320 140735506692340 140735506692648 140735506692648 140735506698218 0
/proc/22637/statm: 284883 232762 2400 1147 0 272310 0
Current children cumulated CPU time: 3246.32 s
Current children cumulated vsize: 1143724 KiB
Current children cumulated memory: 934120 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/272 22845
/proc/meminfo: memFree=112219712/131250000 swapFree=33010684/33010684
[pid=22625] ppid=22619 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/22625/stat : 22625 (run-dec-break-l) S 22619 22625 22578 0 -1 4194304 241 13422 0 0 0 0 7 2 20 0 1 0 32722899 4292608 768 18446744073709551615 94804096528384 94804097422917 140736271398576 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94804097661968 94804097709712 94804104990720 140736271407381 140736271407582 140736271407582 140736271413184 0
/proc/22625/statm: 1048 768 704 219 0 110 0
[pid=22637] ppid=22625 vsize=1141080 memory=932584 CPUtime=3305.98 cores=1,3
/proc/22637/stat : 22637 (roundingsat) R 22625 22625 22578 0 -1 4194304 132662 0 0 0 327190 3408 0 0 20 0 1 0 32722916 1168465920 233146 18446744073709551615 4227072 8923433 140735506690320 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22712320 140735506692340 140735506692648 140735506692648 140735506698218 0
/proc/22637/statm: 285270 233146 2400 1147 0 272697 0
Current children cumulated CPU time: 3306.07 s
Current children cumulated vsize: 1145272 KiB
Current children cumulated memory: 935656 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/273 22848
/proc/meminfo: memFree=112104016/131250000 swapFree=33010684/33010684
[pid=22625] ppid=22619 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/22625/stat : 22625 (run-dec-break-l) S 22619 22625 22578 0 -1 4194304 241 13422 0 0 0 0 7 2 20 0 1 0 32722899 4292608 768 18446744073709551615 94804096528384 94804097422917 140736271398576 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94804097661968 94804097709712 94804104990720 140736271407381 140736271407582 140736271407582 140736271413184 0
/proc/22625/statm: 1048 768 704 219 0 110 0
[pid=22637] ppid=22625 vsize=1144436 memory=935912 CPUtime=3365.77 cores=1,3
/proc/22637/stat : 22637 (roundingsat) R 22625 22625 22578 0 -1 4194304 133488 0 0 0 333127 3450 0 0 20 0 1 0 32722916 1171902464 233978 18446744073709551615 4227072 8923433 140735506690320 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22712320 140735506692340 140735506692648 140735506692648 140735506698218 0
/proc/22637/statm: 286109 233978 2400 1147 0 273536 0
Current children cumulated CPU time: 3365.86 s
Current children cumulated vsize: 1148628 KiB
Current children cumulated memory: 938984 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/270 22850
/proc/meminfo: memFree=111940716/131250000 swapFree=33010684/33010684
[pid=22625] ppid=22619 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/22625/stat : 22625 (run-dec-break-l) S 22619 22625 22578 0 -1 4194304 241 13422 0 0 0 0 7 2 20 0 1 0 32722899 4292608 768 18446744073709551615 94804096528384 94804097422917 140736271398576 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94804097661968 94804097709712 94804104990720 140736271407381 140736271407582 140736271407582 140736271413184 0
/proc/22625/statm: 1048 768 704 219 0 110 0
[pid=22637] ppid=22625 vsize=1154300 memory=945000 CPUtime=3425.59 cores=1,3
/proc/22637/stat : 22637 (roundingsat) R 22625 22625 22578 0 -1 4194304 135765 0 0 0 339078 3481 0 0 20 0 1 0 32722916 1182003200 236250 18446744073709551615 4227072 8923433 140735506690320 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22712320 140735506692340 140735506692648 140735506692648 140735506698218 0
/proc/22637/statm: 288575 236250 2400 1147 0 276002 0
Current children cumulated CPU time: 3425.68 s
Current children cumulated vsize: 1158492 KiB
Current children cumulated memory: 948072 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/271 22855
/proc/meminfo: memFree=111713776/131250000 swapFree=33010684/33010684
[pid=22625] ppid=22619 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/22625/stat : 22625 (run-dec-break-l) S 22619 22625 22578 0 -1 4194304 241 13422 0 0 0 0 7 2 20 0 1 0 32722899 4292608 768 18446744073709551615 94804096528384 94804097422917 140736271398576 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94804097661968 94804097709712 94804104990720 140736271407381 140736271407582 140736271407582 140736271413184 0
/proc/22625/statm: 1048 768 704 219 0 110 0
[pid=22637] ppid=22625 vsize=1162072 memory=952040 CPUtime=3485.41 cores=1,3
/proc/22637/stat : 22637 (roundingsat) R 22625 22625 22578 0 -1 4194304 137525 0 0 0 345013 3528 0 0 20 0 1 0 32722916 1189961728 238010 18446744073709551615 4227072 8923433 140735506690320 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22712320 140735506692340 140735506692648 140735506692648 140735506698218 0
/proc/22637/statm: 290518 238010 2400 1147 0 277945 0
Current children cumulated CPU time: 3485.5 s
Current children cumulated vsize: 1166264 KiB
Current children cumulated memory: 955112 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/270 22859
/proc/meminfo: memFree=111472728/131250000 swapFree=33010684/33010684
[pid=22625] ppid=22619 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/22625/stat : 22625 (run-dec-break-l) S 22619 22625 22578 0 -1 4194304 241 13422 0 0 0 0 7 2 20 0 1 0 32722899 4292608 768 18446744073709551615 94804096528384 94804097422917 140736271398576 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94804097661968 94804097709712 94804104990720 140736271407381 140736271407582 140736271407582 140736271413184 0
/proc/22625/statm: 1048 768 704 219 0 110 0
[pid=22637] ppid=22625 vsize=1162072 memory=952040 CPUtime=3541.08 cores=1,3
/proc/22637/stat : 22637 (roundingsat) R 22625 22625 22578 0 -1 4194304 137525 0 0 0 350512 3596 0 0 20 0 1 0 32722916 1189961728 238010 18446744073709551615 4227072 8923433 140735506690320 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22712320 140735506692340 140735506692648 140735506692648 140735506698218 0
/proc/22637/statm: 290518 238010 2400 1147 0 277945 0
Current children cumulated CPU time: 3541.17 s
Current children cumulated vsize: 1166264 KiB
Current children cumulated memory: 955112 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3641.4 s]
/proc/loadavg: 4.32 4.17 4.12 5/265 22988
/proc/meminfo: memFree=123078388/131250000 swapFree=33010684/33010684
[pid=22625] ppid=22619 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/22625/stat : 22625 (run-dec-break-l) S 22619 22625 22578 0 -1 4194304 241 13422 0 0 0 0 7 2 20 0 1 0 32722899 4292608 768 18446744073709551615 94804096528384 94804097422917 140736271398576 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94804097661968 94804097709712 94804104990720 140736271407381 140736271407582 140736271407582 140736271413184 0
/proc/22625/statm: 1048 768 704 219 0 110 0
[pid=22637] ppid=22625 vsize=1162072 memory=952040 CPUtime=3599.93 cores=1,3
/proc/22637/stat : 22637 (roundingsat) R 22625 22625 22578 0 -1 4194304 137525 0 0 0 356331 3662 0 0 20 0 1 0 32722916 1189961728 238010 18446744073709551615 4227072 8923433 140735506690320 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22712320 140735506692340 140735506692648 140735506692648 140735506698218 0
/proc/22637/statm: 290518 238010 2400 1147 0 277945 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1166264 KiB
Current children cumulated memory: 955112 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3641.4 s]
# the end of solver process 22625 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.075615 s, system=0.027225 s
[startup+3641.49 s]
# the end of solver process 22637 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3563.41 s, system=36.6864 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3641.49
CPU time (s): 3600.09
CPU user time (s): 3563.41
CPU system time (s): 36.6864
CPU usage (%): 98.8634
Max. virtual memory (cumulated for all children) (KiB): 1166264
Max. memory (cumulated for all children) (KiB): 955112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3563.41
system time used= 36.6864
maximum resident set size= 952424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 151209
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11773832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1532
involuntary context switches= 8085
# summary of solver processes directly reported to runsolver:
# pid: 22625,22637
# total CPU time (s): 3600.09
# total CPU user time (s): 3563.41
# total CPU system time (s): 36.6864
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.41425 second user time and 17.8521 second system time
The end
Begin job on nodeC013 at 2025-06-29 06:13:46
IDJOB=4506765
IDBENCH=158263
IDSOLVER=3358
FILE ID=nodeC013/4506765-1751170426
RUNJOBID= nodeC013-1751170426-22590
SLURM_JOB_ID= 9587527
Free space on /tmp= 433040 MiB
SOLVER NAME= roundingsat+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K169.opb
COMMAND LINE= run-dec-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506765-1751170426/watcher-4506765-1751170426 -o /tmp/evaluation-result-4506765-1751170426/solver-4506765-1751170426 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751170426-22590 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4506765-1751170426.opb PROOFDIR/proof-4506765-1751170426
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= e3ebae4cd87024085ca08d92094a2c8e
RANDOM SEED=1383446850
nodeC013 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.417
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.855
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.835
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3614.891
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.829
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.775
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3207.367
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.857
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 130139608 kB
MemAvailable: 129773892 kB
Buffers: 3280 kB
Cached: 427204 kB
SwapCached: 0 kB
Active: 294796 kB
Inactive: 218400 kB
Active(anon): 95996 kB
Inactive(anon): 0 kB
Active(file): 198800 kB
Inactive(file): 218400 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 56384 kB
Writeback: 0 kB
AnonPages: 86456 kB
Mapped: 98252 kB
Shmem: 13284 kB
KReclaimable: 86324 kB
Slab: 169336 kB
SReclaimable: 86324 kB
SUnreclaim: 83012 kB
KernelStack: 4108 kB
PageTables: 2672 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 334060 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150408 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 28672 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: 215764 kB
DirectMap2M: 8992768 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433016 MiB
End job on nodeC013 at 2025-06-29 07:14:28