0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4506764-1751166689.opb'
0.00/0.07 c read 1.39MB (51.86ms)
0.00/0.07 c [cnf: #variables 20111 #clauses 20451 #duplicates 0 #arr 131567]
0.00/0.07 c
0.00/0.07 c make graph and approximate orbits
0.07/0.15 c [group: #orbits ~= 3042] (83.03ms)
0.07/0.15 c
0.07/0.15 c detect special group actions
0.07/0.15 c probe for Johnson action (limit=64)
0.07/0.15 c probe for row-column symmetry (limit=64, splits=16.78M)
0.07/0.16 c probe for row symmetry (limit=64, splits=16.78M)
0.07/0.16 c (11.74ms)
0.07/0.16 c
0.07/0.16 c detect symmetries on remainder
0.07/0.16 c [graph: #vertices 100895 #edges 383800]
0.07/0.16 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.07/0.22 c [group: #symmetries 4.80*10^1 #generators 5] (60.30ms)
0.07/0.22 c
0.07/0.22 c optimize generators (opt_passes=64, conjugate_limit=256)
0.07/0.22 c (0.24ms)
0.07/0.22 c
0.07/0.22 c finalize break order and special generators
0.19/0.22 c
0.19/0.22 c add generic predicates (break_depth=10)
0.19/0.23 c added predicates for 5 generators (0.54ms)
0.19/0.23 c
0.19/0.23 c generation finished
0.19/0.23 c [sbp: #constraints 140 #add_vars 45]
0.19/0.23 c
0.19/0.23 c write result to 'HOME/instance-4506764-1751166689.opb.pre'
0.19/0.24 c wrote 1.41MB (9.42ms)
0.19/0.24 c ------------------------------------------------------------------
0.19/0.24 c 83.03ms 37.21% approx_orbits
0.19/0.24 c 60.30ms 27.03% detect_generic
0.19/0.24 c 51.86ms 23.24% parse
0.19/0.24 c 11.74ms 5.26% detect_special
0.19/0.24 c 9.42ms 4.22% output
0.19/0.24 c 3.68ms 1.65% other
0.19/0.24 c 2.32ms 1.04% finalize_order
0.19/0.24 c 0.54ms 0.24% break_generic
0.19/0.24 c 0.24ms 0.11% optimize_gens
0.19/0.24 c ───────────────────────────────────────────────
0.19/0.24 c 223.13ms 100% total
0.19/0.24 c ------------------------------------------------------------------
0.19/0.26 c RoundingSat 2
0.19/0.26 c branch pb25
0.19/0.26 c commit 63f22ad
0.47/0.59 c #variables 20156 #constraints 20589
118.14/118.57 c #Conflicts: 1000 | #Constraints: 21588
118.14/118.57 c #Conflicts: 2000 | #Constraints: 22588
118.14/118.57 c INPROCESSING
118.14/118.57 c GARBAGE COLLECT
118.14/118.57 c #Conflicts: 3000 | #Constraints: 21921
118.14/118.57 c #Conflicts: 4000 | #Constraints: 22921
118.14/118.57 c INPROCESSING
118.14/118.57 c GARBAGE COLLECT
118.14/118.57 c #Conflicts: 5000 | #Constraints: 22428
118.14/118.57 c #Conflicts: 6000 | #Constraints: 23428
118.14/118.57 c INPROCESSING
118.14/118.57 c GARBAGE COLLECT
118.14/118.57 c #Conflicts: 7000 | #Constraints: 22505
118.14/118.57 c #Conflicts: 8000 | #Constraints: 23505
118.14/118.57 c #Conflicts: 9000 | #Constraints: 24505
118.14/118.57 c INPROCESSING
118.14/118.57 c GARBAGE COLLECT
118.14/118.57 c #Conflicts: 10000 | #Constraints: 23281
118.14/118.57 c #Conflicts: 11000 | #Constraints: 24281
118.14/118.57 c #Conflicts: 12000 | #Constraints: 25281
118.14/118.57 c #Conflicts: 13000 | #Constraints: 26281
118.14/118.57 c #Conflicts: 14000 | #Constraints: 27281
118.14/118.57 c #Conflicts: 15000 | #Constraints: 28281
118.14/118.57 c #Conflicts: 16000 | #Constraints: 29281
118.14/118.57 c INPROCESSING
118.14/118.57 c GARBAGE COLLECT
118.14/118.57 c #Conflicts: 17000 | #Constraints: 25624
118.14/118.57 c #Conflicts: 18000 | #Constraints: 26624
118.14/118.57 c #Conflicts: 19000 | #Constraints: 27624
118.14/118.57 c #Conflicts: 20000 | #Constraints: 28624
118.14/118.57 c INPROCESSING
118.14/118.57 c GARBAGE COLLECT
118.14/118.57 c #Conflicts: 21000 | #Constraints: 25396
118.14/118.57 c #Conflicts: 22000 | #Constraints: 26396
118.14/118.57 c #Conflicts: 23000 | #Constraints: 27396
118.14/118.57 c #Conflicts: 24000 | #Constraints: 28396
118.14/118.57 c #Conflicts: 25000 | #Constraints: 29396
118.14/118.57 c #Conflicts: 26000 | #Constraints: 30396
118.14/118.57 c #Conflicts: 27000 | #Constraints: 31396
118.14/118.57 c #Conflicts: 28000 | #Constraints: 32396
118.14/118.57 c #Conflicts: 29000 | #Constraints: 33396
118.14/118.57 c #Conflicts: 30000 | #Constraints: 34396
118.14/118.57 c INPROCESSING
118.14/118.57 c GARBAGE COLLECT
118.14/118.57 c #Conflicts: 31000 | #Constraints: 28163
118.14/118.57 c #Conflicts: 32000 | #Constraints: 29163
118.14/118.57 c #Conflicts: 33000 | #Constraints: 30163
118.14/118.57 c #Conflicts: 34000 | #Constraints: 31163
118.14/118.57 c #Conflicts: 35000 | #Constraints: 32163
118.14/118.57 c #Conflicts: 36000 | #Constraints: 33163
118.14/118.57 c INPROCESSING
118.14/118.57 c GARBAGE COLLECT
118.14/118.57 c #Conflicts: 37000 | #Constraints: 28418
118.14/118.57 c #Conflicts: 38000 | #Constraints: 29418
118.14/118.57 c #Conflicts: 39000 | #Constraints: 30418
118.14/118.57 c #Conflicts: 40000 | #Constraints: 31418
118.14/118.57 c #Conflicts: 41000 | #Constraints: 32418
118.14/118.57 c #Conflicts: 42000 | #Constraints: 33418
118.14/118.57 c #Conflicts: 43000 | #Constraints: 34418
118.14/118.57 c #Conflicts: 44000 | #Constraints: 35418
118.14/118.57 c #Conflicts: 45000 | #Constraints: 36418
118.14/118.57 c #Conflicts: 46000 | #Constraints: 37418
118.14/118.57 c #Conflicts: 47000 | #Constraints: 38418
118.14/118.57 c #Conflicts: 48000 | #Constraints: 39418
118.14/118.57 c #Conflicts: 49000 | #Constraints: 40418
118.14/118.57 c INPROCESSING
118.14/118.57 c GARBAGE COLLECT
118.14/118.57 c #Conflicts: 50000 | #Constraints: 31465
118.14/118.57 c #Conflicts: 51000 | #Constraints: 32465
118.14/118.57 c #Conflicts: 52000 | #Constraints: 33465
118.14/118.57 c #Conflicts: 53000 | #Constraints: 34465
118.14/118.57 c #Conflicts: 54000 | #Constraints: 35465
118.14/118.57 c #Conflicts: 55000 | #Constraints: 36465
118.14/118.57 c #Conflicts: 56000 | #Constraints: 37465
118.14/118.57 c INPROCESSING
118.14/118.57 c GARBAGE COLLECT
118.14/118.57 c #Conflicts: 57000 | #Constraints: 31197
118.14/118.57 c #Conflicts: 58000 | #Constraints: 32197
118.14/118.57 c #Conflicts: 59000 | #Constraints: 33197
118.14/118.57 c #Conflicts: 60000 | #Constraints: 34197
118.14/118.57 c #Conflicts: 61000 | #Constraints: 35197
118.14/118.57 c #Conflicts: 62000 | #Constraints: 36197
118.14/118.57 c #Conflicts: 63000 | #Constraints: 37197
118.14/118.57 c #Conflicts: 64000 | #Constraints: 38197
118.14/118.57 c #Conflicts: 65000 | #Constraints: 39197
118.14/118.57 c #Conflicts: 66000 | #Constraints: 40197
118.14/118.57 c #Conflicts: 67000 | #Constraints: 41197
118.14/118.57 c #Conflicts: 68000 | #Constraints: 42197
118.14/118.57 c #Conflicts: 69000 | #Constraints: 43197
118.14/118.57 c #Conflicts: 70000 | #Constraints: 44197
118.14/118.57 c #Conflicts: 71000 | #Constraints: 45197
118.14/118.57 c #Conflicts: 72000 | #Constraints: 46197
118.14/118.57 c INPROCESSING
118.14/118.57 c GARBAGE COLLECT
247.00/247.75 c #Conflicts: 73000 | #Constraints: 34435
247.00/247.75 c #Conflicts: 74000 | #Constraints: 35435
247.00/247.75 c #Conflicts: 75000 | #Constraints: 36435
247.00/247.75 c #Conflicts: 76000 | #Constraints: 37435
247.00/247.75 c #Conflicts: 77000 | #Constraints: 38435
247.00/247.75 c #Conflicts: 78000 | #Constraints: 39435
247.00/247.75 c #Conflicts: 79000 | #Constraints: 40435
247.00/247.75 c #Conflicts: 80000 | #Constraints: 41435
247.00/247.75 c INPROCESSING
247.00/247.75 c GARBAGE COLLECT
247.00/247.75 c #Conflicts: 81000 | #Constraints: 33723
247.00/247.75 c #Conflicts: 82000 | #Constraints: 34723
247.00/247.75 c #Conflicts: 83000 | #Constraints: 35723
247.00/247.75 c #Conflicts: 84000 | #Constraints: 36723
247.00/247.75 c #Conflicts: 85000 | #Constraints: 37723
247.00/247.75 c #Conflicts: 86000 | #Constraints: 38723
247.00/247.75 c #Conflicts: 87000 | #Constraints: 39723
247.00/247.75 c #Conflicts: 88000 | #Constraints: 40723
247.00/247.75 c #Conflicts: 89000 | #Constraints: 41723
247.00/247.75 c #Conflicts: 90000 | #Constraints: 42723
247.00/247.75 c #Conflicts: 91000 | #Constraints: 43723
247.00/247.75 c #Conflicts: 92000 | #Constraints: 44723
247.00/247.75 c #Conflicts: 93000 | #Constraints: 45723
247.00/247.75 c #Conflicts: 94000 | #Constraints: 46723
247.00/247.75 c #Conflicts: 95000 | #Constraints: 47723
247.00/247.75 c #Conflicts: 96000 | #Constraints: 48723
247.00/247.75 c #Conflicts: 97000 | #Constraints: 49723
247.00/247.75 c #Conflicts: 98000 | #Constraints: 50723
247.00/247.75 c #Conflicts: 99000 | #Constraints: 51723
247.00/247.75 c #Conflicts: 100000 | #Constraints: 52723
247.00/247.75 c INPROCESSING
247.00/247.75 c GARBAGE COLLECT
247.00/247.75 c #Conflicts: 101000 | #Constraints: 38094
247.00/247.75 c #Conflicts: 102000 | #Constraints: 39094
247.00/247.75 c #Conflicts: 103000 | #Constraints: 40094
247.00/247.75 c #Conflicts: 104000 | #Constraints: 41094
247.00/247.75 c #Conflicts: 105000 | #Constraints: 42094
247.00/247.75 c #Conflicts: 106000 | #Constraints: 43094
247.00/247.75 c #Conflicts: 107000 | #Constraints: 44094
247.00/247.75 c #Conflicts: 108000 | #Constraints: 45094
247.00/247.75 c #Conflicts: 109000 | #Constraints: 46094
247.00/247.75 c INPROCESSING
247.00/247.75 c GARBAGE COLLECT
247.00/247.75 c #Conflicts: 110000 | #Constraints: 36348
247.00/247.75 c #Conflicts: 111000 | #Constraints: 37348
247.00/247.75 c #Conflicts: 112000 | #Constraints: 38348
247.00/247.75 c #Conflicts: 113000 | #Constraints: 39348
247.00/247.75 c #Conflicts: 114000 | #Constraints: 40348
247.00/247.75 c #Conflicts: 115000 | #Constraints: 41348
247.00/247.75 c #Conflicts: 116000 | #Constraints: 42348
247.00/247.75 c #Conflicts: 117000 | #Constraints: 43348
247.00/247.75 c #Conflicts: 118000 | #Constraints: 44348
247.00/247.75 c #Conflicts: 119000 | #Constraints: 45348
247.00/247.75 c #Conflicts: 120000 | #Constraints: 46348
247.00/247.75 c #Conflicts: 121000 | #Constraints: 47348
247.00/247.75 c #Conflicts: 122000 | #Constraints: 48348
247.00/247.75 c #Conflicts: 123000 | #Constraints: 49348
247.00/247.75 c #Conflicts: 124000 | #Constraints: 50348
247.00/247.75 c #Conflicts: 125000 | #Constraints: 51348
247.00/247.75 c #Conflicts: 126000 | #Constraints: 52348
247.00/247.75 c #Conflicts: 127000 | #Constraints: 53348
247.00/247.75 c #Conflicts: 128000 | #Constraints: 54348
247.00/247.75 c #Conflicts: 129000 | #Constraints: 55348
247.00/247.75 c #Conflicts: 130000 | #Constraints: 56348
247.00/247.75 c #Conflicts: 131000 | #Constraints: 57348
247.00/247.75 c #Conflicts: 132000 | #Constraints: 58348
247.00/247.75 c INPROCESSING
247.00/247.75 c GARBAGE COLLECT
247.00/247.75 c #Conflicts: 133000 | #Constraints: 41090
247.00/247.75 c #Conflicts: 134000 | #Constraints: 42090
247.00/247.75 c #Conflicts: 135000 | #Constraints: 43090
247.00/247.75 c #Conflicts: 136000 | #Constraints: 44090
247.00/247.75 c #Conflicts: 137000 | #Constraints: 45090
247.00/247.75 c #Conflicts: 138000 | #Constraints: 46090
247.00/247.75 c #Conflicts: 139000 | #Constraints: 47090
247.00/247.75 c #Conflicts: 140000 | #Constraints: 48090
247.00/247.75 c #Conflicts: 141000 | #Constraints: 49090
247.00/247.75 c #Conflicts: 142000 | #Constraints: 50090
247.00/247.75 c INPROCESSING
247.00/247.75 c GARBAGE COLLECT
247.00/247.75 c #Conflicts: 143000 | #Constraints: 39299
247.00/247.75 c #Conflicts: 144000 | #Constraints: 40299
247.00/247.75 c #Conflicts: 145000 | #Constraints: 41299
247.00/247.75 c #Conflicts: 146000 | #Constraints: 42299
247.00/247.75 c #Conflicts: 147000 | #Constraints: 43299
247.00/247.75 c #Conflicts: 148000 | #Constraints: 44299
431.76/433.09 c #Conflicts: 149000 | #Constraints: 45299
431.76/433.09 c #Conflicts: 150000 | #Constraints: 46299
431.76/433.09 c #Conflicts: 151000 | #Constraints: 47299
431.76/433.09 c #Conflicts: 152000 | #Constraints: 48299
431.76/433.09 c #Conflicts: 153000 | #Constraints: 49299
431.76/433.09 c #Conflicts: 154000 | #Constraints: 50299
431.76/433.09 c #Conflicts: 155000 | #Constraints: 51299
431.76/433.09 c #Conflicts: 156000 | #Constraints: 52299
431.76/433.09 c #Conflicts: 157000 | #Constraints: 53299
431.76/433.09 c #Conflicts: 158000 | #Constraints: 54299
431.76/433.09 c #Conflicts: 159000 | #Constraints: 55299
431.76/433.09 c #Conflicts: 160000 | #Constraints: 56299
431.76/433.09 c #Conflicts: 161000 | #Constraints: 57299
431.76/433.09 c #Conflicts: 162000 | #Constraints: 58299
431.76/433.09 c #Conflicts: 163000 | #Constraints: 59299
431.76/433.09 c #Conflicts: 164000 | #Constraints: 60299
431.76/433.09 c #Conflicts: 165000 | #Constraints: 61299
431.76/433.09 c #Conflicts: 166000 | #Constraints: 62299
431.76/433.09 c #Conflicts: 167000 | #Constraints: 63299
431.76/433.09 c #Conflicts: 168000 | #Constraints: 64299
431.76/433.09 c INPROCESSING
431.76/433.09 c GARBAGE COLLECT
431.76/433.09 c #Conflicts: 169000 | #Constraints: 43976
431.76/433.09 c #Conflicts: 170000 | #Constraints: 44976
431.76/433.09 c #Conflicts: 171000 | #Constraints: 45976
431.76/433.09 c #Conflicts: 172000 | #Constraints: 46976
431.76/433.09 c #Conflicts: 173000 | #Constraints: 47976
431.76/433.09 c #Conflicts: 174000 | #Constraints: 48976
431.76/433.09 c #Conflicts: 175000 | #Constraints: 49976
431.76/433.09 c #Conflicts: 176000 | #Constraints: 50976
431.76/433.09 c #Conflicts: 177000 | #Constraints: 51976
431.76/433.09 c #Conflicts: 178000 | #Constraints: 52976
431.76/433.09 c #Conflicts: 179000 | #Constraints: 53976
431.76/433.09 c #Conflicts: 180000 | #Constraints: 54976
431.76/433.09 c INPROCESSING
431.76/433.09 c GARBAGE COLLECT
431.76/433.09 c #Conflicts: 181000 | #Constraints: 42830
431.76/433.09 c #Conflicts: 182000 | #Constraints: 43830
431.76/433.09 c #Conflicts: 183000 | #Constraints: 44830
431.76/433.09 c #Conflicts: 184000 | #Constraints: 45830
431.76/433.09 c #Conflicts: 185000 | #Constraints: 46830
431.76/433.09 c #Conflicts: 186000 | #Constraints: 47830
431.76/433.09 c #Conflicts: 187000 | #Constraints: 48830
431.76/433.09 c #Conflicts: 188000 | #Constraints: 49830
431.76/433.09 c #Conflicts: 189000 | #Constraints: 50830
431.76/433.09 c #Conflicts: 190000 | #Constraints: 51830
431.76/433.09 c #Conflicts: 191000 | #Constraints: 52830
431.76/433.09 c #Conflicts: 192000 | #Constraints: 53830
431.76/433.09 c #Conflicts: 193000 | #Constraints: 54830
431.76/433.09 c #Conflicts: 194000 | #Constraints: 55830
431.76/433.09 c #Conflicts: 195000 | #Constraints: 56830
431.76/433.09 c #Conflicts: 196000 | #Constraints: 57830
431.76/433.09 c #Conflicts: 197000 | #Constraints: 58830
431.76/433.09 c #Conflicts: 198000 | #Constraints: 59830
431.76/433.09 c #Conflicts: 199000 | #Constraints: 60830
431.76/433.09 c #Conflicts: 200000 | #Constraints: 61830
431.76/433.09 c #Conflicts: 201000 | #Constraints: 62830
431.76/433.09 c #Conflicts: 202000 | #Constraints: 63830
431.76/433.09 c #Conflicts: 203000 | #Constraints: 64830
431.76/433.09 c #Conflicts: 204000 | #Constraints: 65830
431.76/433.09 c #Conflicts: 205000 | #Constraints: 66830
431.76/433.09 c #Conflicts: 206000 | #Constraints: 67830
431.76/433.09 c #Conflicts: 207000 | #Constraints: 68830
431.76/433.09 c #Conflicts: 208000 | #Constraints: 69830
431.76/433.09 c #Conflicts: 209000 | #Constraints: 70830
431.76/433.09 c INPROCESSING
431.76/433.09 c GARBAGE COLLECT
431.76/433.09 c #Conflicts: 210000 | #Constraints: 47554
431.76/433.09 c #Conflicts: 211000 | #Constraints: 48554
431.76/433.09 c #Conflicts: 212000 | #Constraints: 49554
431.76/433.09 c #Conflicts: 213000 | #Constraints: 50554
431.76/433.09 c #Conflicts: 214000 | #Constraints: 51554
431.76/433.09 c #Conflicts: 215000 | #Constraints: 52554
431.76/433.09 c #Conflicts: 216000 | #Constraints: 53554
431.76/433.09 c #Conflicts: 217000 | #Constraints: 54554
431.76/433.09 c #Conflicts: 218000 | #Constraints: 55554
431.76/433.09 c #Conflicts: 219000 | #Constraints: 56554
431.76/433.09 c #Conflicts: 220000 | #Constraints: 57554
431.76/433.09 c #Conflicts: 221000 | #Constraints: 58554
431.76/433.09 c #Conflicts: 222000 | #Constraints: 59554
431.76/433.09 c INPROCESSING
431.76/433.09 c GARBAGE COLLECT
431.76/433.09 c #Conflicts: 223000 | #Constraints: 45017
431.76/433.09 c #Conflicts: 224000 | #Constraints: 46017
593.53/595.38 c #Conflicts: 225000 | #Constraints: 47017
593.53/595.38 c #Conflicts: 226000 | #Constraints: 48017
593.53/595.38 c #Conflicts: 227000 | #Constraints: 49017
593.53/595.38 c #Conflicts: 228000 | #Constraints: 50017
593.53/595.38 c #Conflicts: 229000 | #Constraints: 51017
593.53/595.38 c #Conflicts: 230000 | #Constraints: 52017
593.53/595.38 c #Conflicts: 231000 | #Constraints: 53017
593.53/595.38 c #Conflicts: 232000 | #Constraints: 54017
593.53/595.38 c #Conflicts: 233000 | #Constraints: 55017
593.53/595.38 c #Conflicts: 234000 | #Constraints: 56017
593.53/595.38 c #Conflicts: 235000 | #Constraints: 57017
593.53/595.38 c #Conflicts: 236000 | #Constraints: 58017
593.53/595.38 c #Conflicts: 237000 | #Constraints: 59017
593.53/595.38 c #Conflicts: 238000 | #Constraints: 60017
593.53/595.38 c #Conflicts: 239000 | #Constraints: 61017
593.53/595.38 c #Conflicts: 240000 | #Constraints: 62017
593.53/595.38 c #Conflicts: 241000 | #Constraints: 63017
593.53/595.38 c #Conflicts: 242000 | #Constraints: 64017
593.53/595.38 c #Conflicts: 243000 | #Constraints: 65017
593.53/595.38 c #Conflicts: 244000 | #Constraints: 66017
593.53/595.38 c #Conflicts: 245000 | #Constraints: 67017
593.53/595.38 c #Conflicts: 246000 | #Constraints: 68017
593.53/595.38 c #Conflicts: 247000 | #Constraints: 69017
593.53/595.38 c #Conflicts: 248000 | #Constraints: 70017
593.53/595.38 c #Conflicts: 249000 | #Constraints: 71017
593.53/595.38 c #Conflicts: 250000 | #Constraints: 72017
593.53/595.38 c #Conflicts: 251000 | #Constraints: 73017
593.53/595.38 c #Conflicts: 252000 | #Constraints: 74017
593.53/595.38 c #Conflicts: 253000 | #Constraints: 75017
593.53/595.38 c #Conflicts: 254000 | #Constraints: 76017
593.53/595.38 c INPROCESSING
593.53/595.38 c GARBAGE COLLECT
593.53/595.38 c #Conflicts: 255000 | #Constraints: 49932
593.53/595.38 c #Conflicts: 256000 | #Constraints: 50932
593.53/595.38 c #Conflicts: 257000 | #Constraints: 51932
593.53/595.38 c #Conflicts: 258000 | #Constraints: 52932
593.53/595.38 c #Conflicts: 259000 | #Constraints: 53932
593.53/595.38 c #Conflicts: 260000 | #Constraints: 54932
593.53/595.38 c #Conflicts: 261000 | #Constraints: 55932
593.53/595.38 c #Conflicts: 262000 | #Constraints: 56932
593.53/595.38 c #Conflicts: 263000 | #Constraints: 57932
593.53/595.38 c #Conflicts: 264000 | #Constraints: 58932
593.53/595.38 c #Conflicts: 265000 | #Constraints: 59932
593.53/595.38 c #Conflicts: 266000 | #Constraints: 60932
593.53/595.38 c #Conflicts: 267000 | #Constraints: 61932
593.53/595.38 c #Conflicts: 268000 | #Constraints: 62932
593.53/595.38 c INPROCESSING
593.53/595.38 c GARBAGE COLLECT
593.53/595.38 c #Conflicts: 269000 | #Constraints: 47504
593.53/595.38 c #Conflicts: 270000 | #Constraints: 48504
593.53/595.38 c #Conflicts: 271000 | #Constraints: 49504
593.53/595.38 c #Conflicts: 272000 | #Constraints: 50504
593.53/595.38 c #Conflicts: 273000 | #Constraints: 51504
593.53/595.38 c #Conflicts: 274000 | #Constraints: 52504
593.53/595.38 c #Conflicts: 275000 | #Constraints: 53504
593.53/595.38 c #Conflicts: 276000 | #Constraints: 54504
593.53/595.38 c #Conflicts: 277000 | #Constraints: 55504
593.53/595.38 c #Conflicts: 278000 | #Constraints: 56504
593.53/595.38 c #Conflicts: 279000 | #Constraints: 57504
593.53/595.38 c #Conflicts: 280000 | #Constraints: 58504
593.53/595.38 c #Conflicts: 281000 | #Constraints: 59504
593.53/595.38 c #Conflicts: 282000 | #Constraints: 60504
593.53/595.38 c #Conflicts: 283000 | #Constraints: 61504
593.53/595.38 c #Conflicts: 284000 | #Constraints: 62504
593.53/595.38 c #Conflicts: 285000 | #Constraints: 63504
593.53/595.38 c #Conflicts: 286000 | #Constraints: 64504
593.53/595.38 c #Conflicts: 287000 | #Constraints: 65504
593.53/595.38 c #Conflicts: 288000 | #Constraints: 66504
593.53/595.38 c #Conflicts: 289000 | #Constraints: 67504
593.53/595.38 c #Conflicts: 290000 | #Constraints: 68504
593.53/595.38 c #Conflicts: 291000 | #Constraints: 69504
593.53/595.38 c #Conflicts: 292000 | #Constraints: 70504
593.53/595.38 c #Conflicts: 293000 | #Constraints: 71504
593.53/595.38 c #Conflicts: 294000 | #Constraints: 72504
593.53/595.38 c #Conflicts: 295000 | #Constraints: 73504
593.53/595.38 c #Conflicts: 296000 | #Constraints: 74504
593.53/595.38 c #Conflicts: 297000 | #Constraints: 75504
593.53/595.38 c #Conflicts: 298000 | #Constraints: 76504
593.53/595.38 c #Conflicts: 299000 | #Constraints: 77504
593.53/595.38 c #Conflicts: 300000 | #Constraints: 78504
593.53/595.38 c #Conflicts: 301000 | #Constraints: 79504
593.53/595.38 c #Conflicts: 302000 | #Constraints: 80504
723.72/725.97 c #Conflicts: 303000 | #Constraints: 81504
723.72/725.97 c INPROCESSING
723.72/725.97 c GARBAGE COLLECT
723.72/725.97 c #Conflicts: 304000 | #Constraints: 52680
723.72/725.97 c #Conflicts: 305000 | #Constraints: 53680
723.72/725.97 c #Conflicts: 306000 | #Constraints: 54680
723.72/725.97 c #Conflicts: 307000 | #Constraints: 55680
723.72/725.97 c #Conflicts: 308000 | #Constraints: 56680
723.72/725.97 c #Conflicts: 309000 | #Constraints: 57680
723.72/725.97 c #Conflicts: 310000 | #Constraints: 58680
723.72/725.97 c #Conflicts: 311000 | #Constraints: 59680
723.72/725.97 c #Conflicts: 312000 | #Constraints: 60680
723.72/725.97 c #Conflicts: 313000 | #Constraints: 61680
723.72/725.97 c #Conflicts: 314000 | #Constraints: 62680
723.72/725.97 c #Conflicts: 315000 | #Constraints: 63680
723.72/725.97 c #Conflicts: 316000 | #Constraints: 64680
723.72/725.97 c #Conflicts: 317000 | #Constraints: 65680
723.72/725.97 c #Conflicts: 318000 | #Constraints: 66680
723.72/725.97 c #Conflicts: 319000 | #Constraints: 67680
723.72/725.97 c INPROCESSING
723.72/725.97 c GARBAGE COLLECT
723.72/725.97 c #Conflicts: 320000 | #Constraints: 50619
723.72/725.97 c #Conflicts: 321000 | #Constraints: 51619
723.72/725.97 c #Conflicts: 322000 | #Constraints: 52619
723.72/725.97 c #Conflicts: 323000 | #Constraints: 53619
723.72/725.97 c #Conflicts: 324000 | #Constraints: 54619
723.72/725.97 c #Conflicts: 325000 | #Constraints: 55619
723.72/725.97 c #Conflicts: 326000 | #Constraints: 56619
723.72/725.97 c #Conflicts: 327000 | #Constraints: 57619
723.72/725.97 c #Conflicts: 328000 | #Constraints: 58619
723.72/725.97 c #Conflicts: 329000 | #Constraints: 59619
723.72/725.97 c #Conflicts: 330000 | #Constraints: 60619
723.72/725.97 c #Conflicts: 331000 | #Constraints: 61619
723.72/725.97 c #Conflicts: 332000 | #Constraints: 62619
723.72/725.97 c #Conflicts: 333000 | #Constraints: 63619
723.72/725.97 c #Conflicts: 334000 | #Constraints: 64619
723.72/725.97 c #Conflicts: 335000 | #Constraints: 65619
723.72/725.97 c #Conflicts: 336000 | #Constraints: 66619
723.72/725.97 c #Conflicts: 337000 | #Constraints: 67619
723.72/725.97 c #Conflicts: 338000 | #Constraints: 68619
723.72/725.97 c #Conflicts: 339000 | #Constraints: 69619
723.72/725.97 c #Conflicts: 340000 | #Constraints: 70619
723.72/725.97 c #Conflicts: 341000 | #Constraints: 71619
723.72/725.97 c #Conflicts: 342000 | #Constraints: 72619
723.72/725.97 c #Conflicts: 343000 | #Constraints: 73619
723.72/725.97 c #Conflicts: 344000 | #Constraints: 74619
723.72/725.97 c #Conflicts: 345000 | #Constraints: 75619
723.72/725.97 c #Conflicts: 346000 | #Constraints: 76619
723.72/725.97 c #Conflicts: 347000 | #Constraints: 77619
723.72/725.97 c #Conflicts: 348000 | #Constraints: 78619
723.72/725.97 c #Conflicts: 349000 | #Constraints: 79619
723.72/725.97 c #Conflicts: 350000 | #Constraints: 80619
723.72/725.97 c #Conflicts: 351000 | #Constraints: 81619
723.72/725.97 c #Conflicts: 352000 | #Constraints: 82619
723.72/725.97 c #Conflicts: 353000 | #Constraints: 83619
723.72/725.97 c #Conflicts: 354000 | #Constraints: 84619
723.72/725.97 c #Conflicts: 355000 | #Constraints: 85619
723.72/725.97 c #Conflicts: 356000 | #Constraints: 86619
723.72/725.97 c #Conflicts: 357000 | #Constraints: 87619
723.72/725.97 c INPROCESSING
723.72/725.97 c GARBAGE COLLECT
723.72/725.97 c #Conflicts: 358000 | #Constraints: 55831
723.72/725.97 c #Conflicts: 359000 | #Constraints: 56831
723.72/725.97 c #Conflicts: 360000 | #Constraints: 57831
723.72/725.97 c #Conflicts: 361000 | #Constraints: 58831
723.72/725.97 c #Conflicts: 362000 | #Constraints: 59831
723.72/725.97 c #Conflicts: 363000 | #Constraints: 60831
723.72/725.97 c #Conflicts: 364000 | #Constraints: 61831
723.72/725.97 c #Conflicts: 365000 | #Constraints: 62831
723.72/725.97 c #Conflicts: 366000 | #Constraints: 63831
723.72/725.97 c #Conflicts: 367000 | #Constraints: 64831
723.72/725.97 c #Conflicts: 368000 | #Constraints: 65831
723.72/725.97 c #Conflicts: 369000 | #Constraints: 66831
723.72/725.97 c #Conflicts: 370000 | #Constraints: 67831
723.72/725.97 c #Conflicts: 371000 | #Constraints: 68831
723.72/725.97 c #Conflicts: 372000 | #Constraints: 69831
723.72/725.97 c #Conflicts: 373000 | #Constraints: 70831
723.72/725.97 c #Conflicts: 374000 | #Constraints: 71831
723.72/725.97 c INPROCESSING
723.72/725.97 c GARBAGE COLLECT
723.72/725.97 c #Conflicts: 375000 | #Constraints: 53276
723.72/725.97 c #Conflicts: 376000 | #Constraints: 54276
723.72/725.97 c #Conflicts: 377000 | #Constraints: 55276
723.72/725.97 c #Conflicts: 378000 | #Constraints: 56276
870.73/873.41 c #Conflicts: 379000 | #Constraints: 57276
870.73/873.41 c #Conflicts: 380000 | #Constraints: 58276
870.73/873.41 c #Conflicts: 381000 | #Constraints: 59276
870.73/873.41 c #Conflicts: 382000 | #Constraints: 60276
870.73/873.41 c #Conflicts: 383000 | #Constraints: 61276
870.73/873.41 c #Conflicts: 384000 | #Constraints: 62276
870.73/873.41 c #Conflicts: 385000 | #Constraints: 63276
870.73/873.41 c #Conflicts: 386000 | #Constraints: 64276
870.73/873.41 c #Conflicts: 387000 | #Constraints: 65276
870.73/873.41 c #Conflicts: 388000 | #Constraints: 66276
870.73/873.41 c #Conflicts: 389000 | #Constraints: 67276
870.73/873.41 c #Conflicts: 390000 | #Constraints: 68276
870.73/873.41 c #Conflicts: 391000 | #Constraints: 69276
870.73/873.41 c #Conflicts: 392000 | #Constraints: 70276
870.73/873.41 c #Conflicts: 393000 | #Constraints: 71276
870.73/873.41 c #Conflicts: 394000 | #Constraints: 72276
870.73/873.41 c #Conflicts: 395000 | #Constraints: 73276
870.73/873.41 c #Conflicts: 396000 | #Constraints: 74276
870.73/873.41 c #Conflicts: 397000 | #Constraints: 75276
870.73/873.41 c #Conflicts: 398000 | #Constraints: 76276
870.73/873.41 c #Conflicts: 399000 | #Constraints: 77276
870.73/873.41 c #Conflicts: 400000 | #Constraints: 78276
870.73/873.41 c #Conflicts: 401000 | #Constraints: 79276
870.73/873.41 c #Conflicts: 402000 | #Constraints: 80276
870.73/873.41 c #Conflicts: 403000 | #Constraints: 81276
870.73/873.41 c #Conflicts: 404000 | #Constraints: 82276
870.73/873.41 c #Conflicts: 405000 | #Constraints: 83276
870.73/873.41 c #Conflicts: 406000 | #Constraints: 84276
870.73/873.41 c #Conflicts: 407000 | #Constraints: 85276
870.73/873.41 c #Conflicts: 408000 | #Constraints: 86276
870.73/873.41 c #Conflicts: 409000 | #Constraints: 87276
870.73/873.41 c #Conflicts: 410000 | #Constraints: 88276
870.73/873.41 c #Conflicts: 411000 | #Constraints: 89276
870.73/873.41 c #Conflicts: 412000 | #Constraints: 90276
870.73/873.41 c #Conflicts: 413000 | #Constraints: 91276
870.73/873.41 c #Conflicts: 414000 | #Constraints: 92276
870.73/873.41 c #Conflicts: 415000 | #Constraints: 93276
870.73/873.41 c INPROCESSING
870.73/873.41 c GARBAGE COLLECT
870.73/873.41 c #Conflicts: 416000 | #Constraints: 58574
870.73/873.41 c #Conflicts: 417000 | #Constraints: 59574
870.73/873.41 c #Conflicts: 418000 | #Constraints: 60574
870.73/873.41 c #Conflicts: 419000 | #Constraints: 61574
870.73/873.41 c #Conflicts: 420000 | #Constraints: 62574
870.73/873.41 c #Conflicts: 421000 | #Constraints: 63574
870.73/873.41 c #Conflicts: 422000 | #Constraints: 64574
870.73/873.41 c #Conflicts: 423000 | #Constraints: 65574
870.73/873.41 c #Conflicts: 424000 | #Constraints: 66574
870.73/873.41 c #Conflicts: 425000 | #Constraints: 67574
870.73/873.41 c #Conflicts: 426000 | #Constraints: 68574
870.73/873.41 c #Conflicts: 427000 | #Constraints: 69574
870.73/873.41 c #Conflicts: 428000 | #Constraints: 70574
870.73/873.41 c #Conflicts: 429000 | #Constraints: 71574
870.73/873.41 c #Conflicts: 430000 | #Constraints: 72574
870.73/873.41 c #Conflicts: 431000 | #Constraints: 73574
870.73/873.41 c #Conflicts: 432000 | #Constraints: 74574
870.73/873.41 c #Conflicts: 433000 | #Constraints: 75574
870.73/873.41 c #Conflicts: 434000 | #Constraints: 76574
870.73/873.41 c INPROCESSING
870.73/873.41 c GARBAGE COLLECT
870.73/873.41 c #Conflicts: 435000 | #Constraints: 56254
870.73/873.41 c #Conflicts: 436000 | #Constraints: 57254
870.73/873.41 c #Conflicts: 437000 | #Constraints: 58254
870.73/873.41 c #Conflicts: 438000 | #Constraints: 59254
870.73/873.41 c #Conflicts: 439000 | #Constraints: 60254
870.73/873.41 c #Conflicts: 440000 | #Constraints: 61254
870.73/873.41 c #Conflicts: 441000 | #Constraints: 62254
870.73/873.41 c #Conflicts: 442000 | #Constraints: 63254
870.73/873.41 c #Conflicts: 443000 | #Constraints: 64254
870.73/873.41 c #Conflicts: 444000 | #Constraints: 65254
870.73/873.41 c #Conflicts: 445000 | #Constraints: 66254
870.73/873.41 c #Conflicts: 446000 | #Constraints: 67254
870.73/873.41 c #Conflicts: 447000 | #Constraints: 68254
870.73/873.41 c #Conflicts: 448000 | #Constraints: 69254
870.73/873.41 c #Conflicts: 449000 | #Constraints: 70254
870.73/873.41 c #Conflicts: 450000 | #Constraints: 71254
870.73/873.41 c #Conflicts: 451000 | #Constraints: 72254
870.73/873.41 c #Conflicts: 452000 | #Constraints: 73254
870.73/873.41 c #Conflicts: 453000 | #Constraints: 74254
870.73/873.41 c #Conflicts: 454000 | #Constraints: 75254
870.73/873.41 c #Conflicts: 455000 | #Constraints: 76254
1034.31/1037.58 c #Conflicts: 456000 | #Constraints: 77254
1034.31/1037.58 c #Conflicts: 457000 | #Constraints: 78254
1034.31/1037.58 c #Conflicts: 458000 | #Constraints: 79254
1034.31/1037.58 c #Conflicts: 459000 | #Constraints: 80254
1034.31/1037.58 c #Conflicts: 460000 | #Constraints: 81254
1034.31/1037.58 c #Conflicts: 461000 | #Constraints: 82254
1034.31/1037.58 c #Conflicts: 462000 | #Constraints: 83254
1034.31/1037.58 c #Conflicts: 463000 | #Constraints: 84254
1034.31/1037.58 c #Conflicts: 464000 | #Constraints: 85254
1034.31/1037.58 c #Conflicts: 465000 | #Constraints: 86254
1034.31/1037.58 c #Conflicts: 466000 | #Constraints: 87254
1034.31/1037.58 c #Conflicts: 467000 | #Constraints: 88254
1034.31/1037.58 c #Conflicts: 468000 | #Constraints: 89254
1034.31/1037.58 c #Conflicts: 469000 | #Constraints: 90254
1034.31/1037.58 c #Conflicts: 470000 | #Constraints: 91254
1034.31/1037.58 c #Conflicts: 471000 | #Constraints: 92254
1034.31/1037.58 c #Conflicts: 472000 | #Constraints: 93254
1034.31/1037.58 c #Conflicts: 473000 | #Constraints: 94254
1034.31/1037.58 c #Conflicts: 474000 | #Constraints: 95254
1034.31/1037.58 c #Conflicts: 475000 | #Constraints: 96254
1034.31/1037.58 c #Conflicts: 476000 | #Constraints: 97254
1034.31/1037.58 c #Conflicts: 477000 | #Constraints: 98254
1034.31/1037.58 c #Conflicts: 478000 | #Constraints: 99254
1034.31/1037.58 c INPROCESSING
1034.31/1037.58 c GARBAGE COLLECT
1034.31/1037.58 c #Conflicts: 479000 | #Constraints: 61610
1034.31/1037.58 c #Conflicts: 480000 | #Constraints: 62610
1034.31/1037.58 c #Conflicts: 481000 | #Constraints: 63610
1034.31/1037.58 c #Conflicts: 482000 | #Constraints: 64610
1034.31/1037.58 c #Conflicts: 483000 | #Constraints: 65610
1034.31/1037.58 c #Conflicts: 484000 | #Constraints: 66610
1034.31/1037.58 c #Conflicts: 485000 | #Constraints: 67610
1034.31/1037.58 c #Conflicts: 486000 | #Constraints: 68610
1034.31/1037.58 c #Conflicts: 487000 | #Constraints: 69610
1034.31/1037.58 c #Conflicts: 488000 | #Constraints: 70610
1034.31/1037.58 c #Conflicts: 489000 | #Constraints: 71610
1034.31/1037.58 c #Conflicts: 490000 | #Constraints: 72610
1034.31/1037.58 c #Conflicts: 491000 | #Constraints: 73610
1034.31/1037.58 c #Conflicts: 492000 | #Constraints: 74610
1034.31/1037.58 c #Conflicts: 493000 | #Constraints: 75610
1034.31/1037.58 c #Conflicts: 494000 | #Constraints: 76610
1034.31/1037.58 c #Conflicts: 495000 | #Constraints: 77610
1034.31/1037.58 c #Conflicts: 496000 | #Constraints: 78610
1034.31/1037.58 c #Conflicts: 497000 | #Constraints: 79610
1034.31/1037.58 c #Conflicts: 498000 | #Constraints: 80610
1034.31/1037.58 c INPROCESSING
1034.31/1037.58 c GARBAGE COLLECT
1034.31/1037.58 c #Conflicts: 499000 | #Constraints: 58135
1034.31/1037.58 c #Conflicts: 500000 | #Constraints: 59135
1034.31/1037.58 c #Conflicts: 501000 | #Constraints: 60135
1034.31/1037.58 c #Conflicts: 502000 | #Constraints: 61135
1034.31/1037.58 c #Conflicts: 503000 | #Constraints: 62135
1034.31/1037.58 c #Conflicts: 504000 | #Constraints: 63135
1034.31/1037.58 c #Conflicts: 505000 | #Constraints: 64135
1034.31/1037.58 c #Conflicts: 506000 | #Constraints: 65135
1034.31/1037.58 c #Conflicts: 507000 | #Constraints: 66135
1034.31/1037.58 c #Conflicts: 508000 | #Constraints: 67135
1034.31/1037.58 c #Conflicts: 509000 | #Constraints: 68135
1034.31/1037.58 c #Conflicts: 510000 | #Constraints: 69135
1034.31/1037.58 c #Conflicts: 511000 | #Constraints: 70135
1034.31/1037.58 c #Conflicts: 512000 | #Constraints: 71135
1034.31/1037.58 c #Conflicts: 513000 | #Constraints: 72135
1034.31/1037.58 c #Conflicts: 514000 | #Constraints: 73135
1034.31/1037.58 c #Conflicts: 515000 | #Constraints: 74135
1034.31/1037.58 c #Conflicts: 516000 | #Constraints: 75135
1034.31/1037.58 c #Conflicts: 517000 | #Constraints: 76135
1034.31/1037.58 c #Conflicts: 518000 | #Constraints: 77135
1034.31/1037.58 c #Conflicts: 519000 | #Constraints: 78135
1034.31/1037.58 c #Conflicts: 520000 | #Constraints: 79135
1034.31/1037.58 c #Conflicts: 521000 | #Constraints: 80135
1034.31/1037.58 c #Conflicts: 522000 | #Constraints: 81135
1034.31/1037.58 c #Conflicts: 523000 | #Constraints: 82135
1034.31/1037.58 c #Conflicts: 524000 | #Constraints: 83135
1034.31/1037.58 c #Conflicts: 525000 | #Constraints: 84135
1034.31/1037.58 c #Conflicts: 526000 | #Constraints: 85135
1034.31/1037.58 c #Conflicts: 527000 | #Constraints: 86135
1034.31/1037.58 c #Conflicts: 528000 | #Constraints: 87135
1034.31/1037.58 c #Conflicts: 529000 | #Constraints: 88135
1034.31/1037.58 c #Conflicts: 530000 | #Constraints: 89135
1034.31/1037.58 c #Conflicts: 531000 | #Constraints: 90135
1034.31/1037.58 c #Conflicts: 532000 | #Constraints: 91135
1034.31/1037.58 c #Conflicts: 533000 | #Constraints: 92135
1305.48/1309.46 c #Conflicts: 534000 | #Constraints: 93135
1305.48/1309.46 c #Conflicts: 535000 | #Constraints: 94135
1305.48/1309.46 c #Conflicts: 536000 | #Constraints: 95135
1305.48/1309.46 c #Conflicts: 537000 | #Constraints: 96136
1305.48/1309.46 c #Conflicts: 538000 | #Constraints: 97136
1305.48/1309.46 c #Conflicts: 539000 | #Constraints: 98136
1305.48/1309.46 c #Conflicts: 540000 | #Constraints: 99136
1305.48/1309.46 c #Conflicts: 541000 | #Constraints: 100136
1305.48/1309.46 c #Conflicts: 542000 | #Constraints: 101136
1305.48/1309.46 c #Conflicts: 543000 | #Constraints: 102136
1305.48/1309.46 c #Conflicts: 544000 | #Constraints: 103136
1305.48/1309.46 c #Conflicts: 545000 | #Constraints: 104136
1305.48/1309.46 c INPROCESSING
1305.48/1309.46 c GARBAGE COLLECT
1305.48/1309.46 c #Conflicts: 546000 | #Constraints: 64136
1305.48/1309.46 c #Conflicts: 547000 | #Constraints: 65136
1305.48/1309.46 c #Conflicts: 548000 | #Constraints: 66136
1305.48/1309.46 c #Conflicts: 549000 | #Constraints: 67136
1305.48/1309.46 c #Conflicts: 550000 | #Constraints: 68136
1305.48/1309.46 c #Conflicts: 551000 | #Constraints: 69136
1305.48/1309.46 c #Conflicts: 552000 | #Constraints: 70136
1305.48/1309.46 c #Conflicts: 553000 | #Constraints: 71136
1305.48/1309.46 c #Conflicts: 554000 | #Constraints: 72136
1305.48/1309.46 c #Conflicts: 555000 | #Constraints: 73136
1305.48/1309.46 c #Conflicts: 556000 | #Constraints: 74136
1305.48/1309.46 c #Conflicts: 557000 | #Constraints: 75136
1305.48/1309.46 c #Conflicts: 558000 | #Constraints: 76136
1305.48/1309.46 c #Conflicts: 559000 | #Constraints: 77136
1305.48/1309.46 c #Conflicts: 560000 | #Constraints: 78136
1305.48/1309.46 c #Conflicts: 561000 | #Constraints: 79136
1305.48/1309.46 c #Conflicts: 562000 | #Constraints: 80136
1305.48/1309.46 c #Conflicts: 563000 | #Constraints: 81136
1305.48/1309.46 c #Conflicts: 564000 | #Constraints: 82136
1305.48/1309.46 c #Conflicts: 565000 | #Constraints: 83136
1305.48/1309.46 c #Conflicts: 566000 | #Constraints: 84136
1305.48/1309.46 c INPROCESSING
1305.48/1309.46 c GARBAGE COLLECT
1305.48/1309.46 c #Conflicts: 567000 | #Constraints: 60400
1305.48/1309.46 c #Conflicts: 568000 | #Constraints: 61400
1305.48/1309.46 c #Conflicts: 569000 | #Constraints: 62400
1305.48/1309.46 c #Conflicts: 570000 | #Constraints: 63400
1305.48/1309.46 c #Conflicts: 571000 | #Constraints: 64400
1305.48/1309.46 c #Conflicts: 572000 | #Constraints: 65400
1305.48/1309.46 c #Conflicts: 573000 | #Constraints: 66400
1305.48/1309.46 c #Conflicts: 574000 | #Constraints: 67400
1305.48/1309.46 c #Conflicts: 575000 | #Constraints: 68400
1305.48/1309.46 c #Conflicts: 576000 | #Constraints: 69400
1305.48/1309.46 c #Conflicts: 577000 | #Constraints: 70400
1305.48/1309.46 c #Conflicts: 578000 | #Constraints: 71400
1305.48/1309.46 c #Conflicts: 579000 | #Constraints: 72400
1305.48/1309.46 c #Conflicts: 580000 | #Constraints: 73400
1305.48/1309.46 c #Conflicts: 581000 | #Constraints: 74400
1305.48/1309.46 c #Conflicts: 582000 | #Constraints: 75400
1305.48/1309.46 c #Conflicts: 583000 | #Constraints: 76400
1305.48/1309.46 c #Conflicts: 584000 | #Constraints: 77400
1305.48/1309.46 c #Conflicts: 585000 | #Constraints: 78400
1305.48/1309.46 c #Conflicts: 586000 | #Constraints: 79400
1305.48/1309.46 c #Conflicts: 587000 | #Constraints: 80400
1305.48/1309.46 c #Conflicts: 588000 | #Constraints: 81400
1305.48/1309.46 c #Conflicts: 589000 | #Constraints: 82400
1305.48/1309.46 c #Conflicts: 590000 | #Constraints: 83400
1305.48/1309.46 c #Conflicts: 591000 | #Constraints: 84400
1305.48/1309.46 c #Conflicts: 592000 | #Constraints: 85400
1305.48/1309.46 c #Conflicts: 593000 | #Constraints: 86400
1305.48/1309.46 c #Conflicts: 594000 | #Constraints: 87400
1305.48/1309.46 c #Conflicts: 595000 | #Constraints: 88400
1305.48/1309.46 c #Conflicts: 596000 | #Constraints: 89400
1305.48/1309.46 c #Conflicts: 597000 | #Constraints: 90400
1305.48/1309.46 c #Conflicts: 598000 | #Constraints: 91400
1305.48/1309.46 c #Conflicts: 599000 | #Constraints: 92400
1305.48/1309.46 c #Conflicts: 600000 | #Constraints: 93400
1305.48/1309.46 c #Conflicts: 601000 | #Constraints: 94400
1305.48/1309.46 c #Conflicts: 602000 | #Constraints: 95400
1305.48/1309.46 c #Conflicts: 603000 | #Constraints: 96400
1305.48/1309.46 c #Conflicts: 604000 | #Constraints: 97400
1305.48/1309.46 c #Conflicts: 605000 | #Constraints: 98400
1305.48/1309.46 c #Conflicts: 606000 | #Constraints: 99400
1305.48/1309.46 c #Conflicts: 607000 | #Constraints: 100400
1305.48/1309.46 c #Conflicts: 608000 | #Constraints: 101400
1305.48/1309.46 c #Conflicts: 609000 | #Constraints: 102400
1305.48/1309.46 c #Conflicts: 610000 | #Constraints: 103400
1475.05/1479.48 c #Conflicts: 611000 | #Constraints: 104400
1475.05/1479.48 c #Conflicts: 612000 | #Constraints: 105400
1475.05/1479.48 c #Conflicts: 613000 | #Constraints: 106400
1475.05/1479.48 c #Conflicts: 614000 | #Constraints: 107400
1475.05/1479.48 c #Conflicts: 615000 | #Constraints: 108400
1475.05/1479.48 c #Conflicts: 616000 | #Constraints: 109400
1475.05/1479.48 c #Conflicts: 617000 | #Constraints: 110400
1475.05/1479.48 c INPROCESSING
1475.05/1479.48 c GARBAGE COLLECT
1475.05/1479.48 c #Conflicts: 618000 | #Constraints: 67701
1475.05/1479.48 c #Conflicts: 619000 | #Constraints: 68701
1475.05/1479.48 c #Conflicts: 620000 | #Constraints: 69701
1475.05/1479.48 c #Conflicts: 621000 | #Constraints: 70701
1475.05/1479.48 c #Conflicts: 622000 | #Constraints: 71701
1475.05/1479.48 c #Conflicts: 623000 | #Constraints: 72701
1475.05/1479.48 c #Conflicts: 624000 | #Constraints: 73701
1475.05/1479.48 c #Conflicts: 625000 | #Constraints: 74701
1475.05/1479.48 c #Conflicts: 626000 | #Constraints: 75701
1475.05/1479.48 c #Conflicts: 627000 | #Constraints: 76701
1475.05/1479.48 c #Conflicts: 628000 | #Constraints: 77701
1475.05/1479.48 c #Conflicts: 629000 | #Constraints: 78701
1475.05/1479.48 c #Conflicts: 630000 | #Constraints: 79701
1475.05/1479.48 c #Conflicts: 631000 | #Constraints: 80701
1475.05/1479.48 c #Conflicts: 632000 | #Constraints: 81701
1475.05/1479.48 c #Conflicts: 633000 | #Constraints: 82701
1475.05/1479.48 c #Conflicts: 634000 | #Constraints: 83701
1475.05/1479.48 c #Conflicts: 635000 | #Constraints: 84701
1475.05/1479.48 c #Conflicts: 636000 | #Constraints: 85701
1475.05/1479.48 c #Conflicts: 637000 | #Constraints: 86701
1475.05/1479.48 c #Conflicts: 638000 | #Constraints: 87701
1475.05/1479.48 c #Conflicts: 639000 | #Constraints: 88701
1475.05/1479.48 c INPROCESSING
1475.05/1479.48 c GARBAGE COLLECT
1475.05/1479.48 c #Conflicts: 640000 | #Constraints: 63476
1475.05/1479.48 c #Conflicts: 641000 | #Constraints: 64476
1475.05/1479.48 c #Conflicts: 642000 | #Constraints: 65476
1475.05/1479.48 c #Conflicts: 643000 | #Constraints: 66476
1475.05/1479.48 c #Conflicts: 644000 | #Constraints: 67476
1475.05/1479.48 c #Conflicts: 645000 | #Constraints: 68476
1475.05/1479.48 c #Conflicts: 646000 | #Constraints: 69476
1475.05/1479.48 c #Conflicts: 647000 | #Constraints: 70476
1475.05/1479.48 c #Conflicts: 648000 | #Constraints: 71476
1475.05/1479.48 c #Conflicts: 649000 | #Constraints: 72476
1475.05/1479.48 c #Conflicts: 650000 | #Constraints: 73476
1475.05/1479.48 c #Conflicts: 651000 | #Constraints: 74476
1475.05/1479.48 c #Conflicts: 652000 | #Constraints: 75476
1475.05/1479.48 c #Conflicts: 653000 | #Constraints: 76476
1475.05/1479.48 c #Conflicts: 654000 | #Constraints: 77476
1475.05/1479.48 c #Conflicts: 655000 | #Constraints: 78476
1475.05/1479.48 c #Conflicts: 656000 | #Constraints: 79476
1475.05/1479.48 c #Conflicts: 657000 | #Constraints: 80476
1475.05/1479.48 c #Conflicts: 658000 | #Constraints: 81476
1475.05/1479.48 c #Conflicts: 659000 | #Constraints: 82476
1475.05/1479.48 c #Conflicts: 660000 | #Constraints: 83476
1475.05/1479.48 c #Conflicts: 661000 | #Constraints: 84476
1475.05/1479.48 c #Conflicts: 662000 | #Constraints: 85476
1475.05/1479.48 c #Conflicts: 663000 | #Constraints: 86476
1475.05/1479.48 c #Conflicts: 664000 | #Constraints: 87476
1475.05/1479.48 c #Conflicts: 665000 | #Constraints: 88476
1475.05/1479.48 c #Conflicts: 666000 | #Constraints: 89476
1475.05/1479.48 c #Conflicts: 667000 | #Constraints: 90476
1475.05/1479.48 c #Conflicts: 668000 | #Constraints: 91476
1475.05/1479.48 c #Conflicts: 669000 | #Constraints: 92476
1475.05/1479.48 c #Conflicts: 670000 | #Constraints: 93476
1475.05/1479.48 c #Conflicts: 671000 | #Constraints: 94476
1475.05/1479.48 c #Conflicts: 672000 | #Constraints: 95476
1475.05/1479.48 c #Conflicts: 673000 | #Constraints: 96476
1475.05/1479.48 c #Conflicts: 674000 | #Constraints: 97476
1475.05/1479.48 c #Conflicts: 675000 | #Constraints: 98476
1475.05/1479.48 c #Conflicts: 676000 | #Constraints: 99476
1475.05/1479.48 c #Conflicts: 677000 | #Constraints: 100476
1475.05/1479.48 c #Conflicts: 678000 | #Constraints: 101476
1475.05/1479.48 c #Conflicts: 679000 | #Constraints: 102476
1475.05/1479.48 c #Conflicts: 680000 | #Constraints: 103476
1475.05/1479.48 c #Conflicts: 681000 | #Constraints: 104476
1475.05/1479.48 c #Conflicts: 682000 | #Constraints: 105476
1475.05/1479.48 c #Conflicts: 683000 | #Constraints: 106476
1475.05/1479.48 c #Conflicts: 684000 | #Constraints: 107476
1475.05/1479.48 c #Conflicts: 685000 | #Constraints: 108476
1475.05/1479.48 c #Conflicts: 686000 | #Constraints: 109476
1475.05/1479.48 c #Conflicts: 687000 | #Constraints: 110476
1475.05/1479.48 c #Conflicts: 688000 | #Constraints: 111476
1658.00/1662.87 c #Conflicts: 689000 | #Constraints: 112476
1658.00/1662.87 c #Conflicts: 690000 | #Constraints: 113476
1658.00/1662.87 c #Conflicts: 691000 | #Constraints: 114476
1658.00/1662.87 c #Conflicts: 692000 | #Constraints: 115476
1658.00/1662.87 c #Conflicts: 693000 | #Constraints: 116476
1658.00/1662.87 c INPROCESSING
1658.00/1662.87 c GARBAGE COLLECT
1658.00/1662.87 c #Conflicts: 694000 | #Constraints: 70776
1658.00/1662.87 c #Conflicts: 695000 | #Constraints: 71776
1658.00/1662.87 c #Conflicts: 696000 | #Constraints: 72776
1658.00/1662.87 c #Conflicts: 697000 | #Constraints: 73776
1658.00/1662.87 c #Conflicts: 698000 | #Constraints: 74776
1658.00/1662.87 c #Conflicts: 699000 | #Constraints: 75776
1658.00/1662.87 c #Conflicts: 700000 | #Constraints: 76776
1658.00/1662.87 c #Conflicts: 701000 | #Constraints: 77776
1658.00/1662.87 c #Conflicts: 702000 | #Constraints: 78776
1658.00/1662.87 c #Conflicts: 703000 | #Constraints: 79776
1658.00/1662.87 c #Conflicts: 704000 | #Constraints: 80776
1658.00/1662.87 c #Conflicts: 705000 | #Constraints: 81776
1658.00/1662.87 c #Conflicts: 706000 | #Constraints: 82776
1658.00/1662.87 c #Conflicts: 707000 | #Constraints: 83776
1658.00/1662.87 c #Conflicts: 708000 | #Constraints: 84776
1658.00/1662.87 c #Conflicts: 709000 | #Constraints: 85776
1658.00/1662.87 c #Conflicts: 710000 | #Constraints: 86776
1658.00/1662.87 c #Conflicts: 711000 | #Constraints: 87776
1658.00/1662.87 c #Conflicts: 712000 | #Constraints: 88776
1658.00/1662.87 c #Conflicts: 713000 | #Constraints: 89776
1658.00/1662.87 c #Conflicts: 714000 | #Constraints: 90776
1658.00/1662.87 c #Conflicts: 715000 | #Constraints: 91776
1658.00/1662.87 c #Conflicts: 716000 | #Constraints: 92776
1658.00/1662.87 c INPROCESSING
1658.00/1662.87 c GARBAGE COLLECT
1658.00/1662.87 c #Conflicts: 717000 | #Constraints: 65999
1658.00/1662.87 c #Conflicts: 718000 | #Constraints: 66999
1658.00/1662.87 c #Conflicts: 719000 | #Constraints: 67999
1658.00/1662.87 c #Conflicts: 720000 | #Constraints: 68999
1658.00/1662.87 c #Conflicts: 721000 | #Constraints: 69999
1658.00/1662.87 c #Conflicts: 722000 | #Constraints: 70999
1658.00/1662.87 c #Conflicts: 723000 | #Constraints: 71999
1658.00/1662.87 c #Conflicts: 724000 | #Constraints: 72999
1658.00/1662.87 c #Conflicts: 725000 | #Constraints: 73999
1658.00/1662.87 c #Conflicts: 726000 | #Constraints: 74999
1658.00/1662.87 c #Conflicts: 727000 | #Constraints: 75999
1658.00/1662.87 c #Conflicts: 728000 | #Constraints: 76999
1658.00/1662.87 c #Conflicts: 729000 | #Constraints: 77999
1658.00/1662.87 c #Conflicts: 730000 | #Constraints: 78999
1658.00/1662.87 c #Conflicts: 731000 | #Constraints: 79999
1658.00/1662.87 c #Conflicts: 732000 | #Constraints: 80999
1658.00/1662.87 c #Conflicts: 733000 | #Constraints: 81999
1658.00/1662.87 c #Conflicts: 734000 | #Constraints: 82999
1658.00/1662.87 c #Conflicts: 735000 | #Constraints: 83999
1658.00/1662.87 c #Conflicts: 736000 | #Constraints: 84999
1658.00/1662.87 c #Conflicts: 737000 | #Constraints: 85999
1658.00/1662.87 c #Conflicts: 738000 | #Constraints: 86999
1658.00/1662.87 c #Conflicts: 739000 | #Constraints: 87999
1658.00/1662.87 c #Conflicts: 740000 | #Constraints: 88999
1658.00/1662.87 c #Conflicts: 741000 | #Constraints: 89999
1658.00/1662.87 c #Conflicts: 742000 | #Constraints: 90999
1658.00/1662.87 c #Conflicts: 743000 | #Constraints: 91999
1658.00/1662.87 c #Conflicts: 744000 | #Constraints: 92999
1658.00/1662.87 c #Conflicts: 745000 | #Constraints: 93999
1658.00/1662.87 c #Conflicts: 746000 | #Constraints: 94999
1658.00/1662.87 c #Conflicts: 747000 | #Constraints: 95999
1658.00/1662.87 c #Conflicts: 748000 | #Constraints: 96999
1658.00/1662.87 c #Conflicts: 749000 | #Constraints: 97999
1658.00/1662.87 c #Conflicts: 750000 | #Constraints: 98999
1658.00/1662.87 c #Conflicts: 751000 | #Constraints: 99999
1658.00/1662.87 c #Conflicts: 752000 | #Constraints: 100999
1658.00/1662.87 c #Conflicts: 753000 | #Constraints: 101999
1658.00/1662.87 c #Conflicts: 754000 | #Constraints: 102999
1658.00/1662.87 c #Conflicts: 755000 | #Constraints: 103999
1658.00/1662.87 c #Conflicts: 756000 | #Constraints: 104999
1658.00/1662.87 c #Conflicts: 757000 | #Constraints: 105999
1658.00/1662.87 c #Conflicts: 758000 | #Constraints: 106999
1658.00/1662.87 c #Conflicts: 759000 | #Constraints: 107999
1658.00/1662.87 c #Conflicts: 760000 | #Constraints: 108999
1658.00/1662.87 c #Conflicts: 761000 | #Constraints: 109999
1658.00/1662.87 c #Conflicts: 762000 | #Constraints: 110999
1658.00/1662.87 c #Conflicts: 763000 | #Constraints: 111999
1658.00/1662.87 c #Conflicts: 764000 | #Constraints: 112999
1658.00/1662.87 c #Conflicts: 765000 | #Constraints: 113999
1830.87/1836.16 c #Conflicts: 766000 | #Constraints: 114999
1830.87/1836.16 c #Conflicts: 767000 | #Constraints: 115999
1830.87/1836.16 c #Conflicts: 768000 | #Constraints: 116999
1830.87/1836.16 c #Conflicts: 769000 | #Constraints: 117999
1830.87/1836.16 c #Conflicts: 770000 | #Constraints: 118999
1830.87/1836.16 c #Conflicts: 771000 | #Constraints: 119999
1830.87/1836.16 c #Conflicts: 772000 | #Constraints: 120999
1830.87/1836.16 c #Conflicts: 773000 | #Constraints: 121999
1830.87/1836.16 c INPROCESSING
1830.87/1836.16 c GARBAGE COLLECT
1830.87/1836.16 c #Conflicts: 774000 | #Constraints: 73466
1830.87/1836.16 c #Conflicts: 775000 | #Constraints: 74466
1830.87/1836.16 c #Conflicts: 776000 | #Constraints: 75466
1830.87/1836.16 c #Conflicts: 777000 | #Constraints: 76466
1830.87/1836.16 c #Conflicts: 778000 | #Constraints: 77466
1830.87/1836.16 c #Conflicts: 779000 | #Constraints: 78466
1830.87/1836.16 c #Conflicts: 780000 | #Constraints: 79466
1830.87/1836.16 c #Conflicts: 781000 | #Constraints: 80466
1830.87/1836.16 c #Conflicts: 782000 | #Constraints: 81466
1830.87/1836.16 c #Conflicts: 783000 | #Constraints: 82466
1830.87/1836.16 c #Conflicts: 784000 | #Constraints: 83466
1830.87/1836.16 c #Conflicts: 785000 | #Constraints: 84466
1830.87/1836.16 c #Conflicts: 786000 | #Constraints: 85466
1830.87/1836.16 c #Conflicts: 787000 | #Constraints: 86466
1830.87/1836.16 c #Conflicts: 788000 | #Constraints: 87466
1830.87/1836.16 c #Conflicts: 789000 | #Constraints: 88466
1830.87/1836.16 c #Conflicts: 790000 | #Constraints: 89466
1830.87/1836.16 c #Conflicts: 791000 | #Constraints: 90466
1830.87/1836.16 c #Conflicts: 792000 | #Constraints: 91466
1830.87/1836.16 c #Conflicts: 793000 | #Constraints: 92466
1830.87/1836.16 c #Conflicts: 794000 | #Constraints: 93466
1830.87/1836.16 c #Conflicts: 795000 | #Constraints: 94466
1830.87/1836.16 c #Conflicts: 796000 | #Constraints: 95466
1830.87/1836.16 c #Conflicts: 797000 | #Constraints: 96466
1830.87/1836.16 c #Conflicts: 798000 | #Constraints: 97466
1830.87/1836.16 c INPROCESSING
1830.87/1836.16 c GARBAGE COLLECT
1830.87/1836.16 c #Conflicts: 799000 | #Constraints: 69116
1830.87/1836.16 c #Conflicts: 800000 | #Constraints: 70116
1830.87/1836.16 c #Conflicts: 801000 | #Constraints: 71116
1830.87/1836.16 c #Conflicts: 802000 | #Constraints: 72116
1830.87/1836.16 c #Conflicts: 803000 | #Constraints: 73116
1830.87/1836.16 c #Conflicts: 804000 | #Constraints: 74116
1830.87/1836.16 c #Conflicts: 805000 | #Constraints: 75116
1830.87/1836.16 c #Conflicts: 806000 | #Constraints: 76116
1830.87/1836.16 c #Conflicts: 807000 | #Constraints: 77116
1830.87/1836.16 c #Conflicts: 808000 | #Constraints: 78116
1830.87/1836.16 c #Conflicts: 809000 | #Constraints: 79116
1830.87/1836.16 c #Conflicts: 810000 | #Constraints: 80116
1830.87/1836.16 c #Conflicts: 811000 | #Constraints: 81116
1830.87/1836.16 c #Conflicts: 812000 | #Constraints: 82116
1830.87/1836.16 c #Conflicts: 813000 | #Constraints: 83116
1830.87/1836.16 c #Conflicts: 814000 | #Constraints: 84116
1830.87/1836.16 c #Conflicts: 815000 | #Constraints: 85116
1830.87/1836.16 c #Conflicts: 816000 | #Constraints: 86116
1830.87/1836.16 c #Conflicts: 817000 | #Constraints: 87116
1830.87/1836.16 c #Conflicts: 818000 | #Constraints: 88116
1830.87/1836.16 c #Conflicts: 819000 | #Constraints: 89116
1830.87/1836.16 c #Conflicts: 820000 | #Constraints: 90116
1830.87/1836.16 c #Conflicts: 821000 | #Constraints: 91116
1830.87/1836.16 c #Conflicts: 822000 | #Constraints: 92116
1830.87/1836.16 c #Conflicts: 823000 | #Constraints: 93116
1830.87/1836.16 c #Conflicts: 824000 | #Constraints: 94116
1830.87/1836.16 c #Conflicts: 825000 | #Constraints: 95116
1830.87/1836.16 c #Conflicts: 826000 | #Constraints: 96116
1830.87/1836.16 c #Conflicts: 827000 | #Constraints: 97116
1830.87/1836.16 c #Conflicts: 828000 | #Constraints: 98116
1830.87/1836.16 c #Conflicts: 829000 | #Constraints: 99116
1830.87/1836.16 c #Conflicts: 830000 | #Constraints: 100116
1830.87/1836.16 c #Conflicts: 831000 | #Constraints: 101116
1830.87/1836.16 c #Conflicts: 832000 | #Constraints: 102116
1830.87/1836.16 c #Conflicts: 833000 | #Constraints: 103116
1830.87/1836.16 c #Conflicts: 834000 | #Constraints: 104116
1830.87/1836.16 c #Conflicts: 835000 | #Constraints: 105116
1830.87/1836.16 c #Conflicts: 836000 | #Constraints: 106116
1830.87/1836.16 c #Conflicts: 837000 | #Constraints: 107116
1830.87/1836.16 c #Conflicts: 838000 | #Constraints: 108116
1830.87/1836.16 c #Conflicts: 839000 | #Constraints: 109116
1830.87/1836.16 c #Conflicts: 840000 | #Constraints: 110116
1830.87/1836.16 c #Conflicts: 841000 | #Constraints: 111116
1830.87/1836.16 c #Conflicts: 842000 | #Constraints: 112116
1830.87/1836.16 c #Conflicts: 843000 | #Constraints: 113116
1994.03/1999.77 c #Conflicts: 844000 | #Constraints: 114116
1994.03/1999.77 c #Conflicts: 845000 | #Constraints: 115116
1994.03/1999.77 c #Conflicts: 846000 | #Constraints: 116116
1994.03/1999.77 c #Conflicts: 847000 | #Constraints: 117116
1994.03/1999.77 c #Conflicts: 848000 | #Constraints: 118116
1994.03/1999.77 c #Conflicts: 849000 | #Constraints: 119116
1994.03/1999.77 c #Conflicts: 850000 | #Constraints: 120116
1994.03/1999.77 c #Conflicts: 851000 | #Constraints: 121116
1994.03/1999.77 c #Conflicts: 852000 | #Constraints: 122116
1994.03/1999.77 c #Conflicts: 853000 | #Constraints: 123116
1994.03/1999.77 c #Conflicts: 854000 | #Constraints: 124116
1994.03/1999.77 c #Conflicts: 855000 | #Constraints: 125116
1994.03/1999.77 c #Conflicts: 856000 | #Constraints: 126116
1994.03/1999.77 c #Conflicts: 857000 | #Constraints: 127116
1994.03/1999.77 c #Conflicts: 858000 | #Constraints: 128116
1994.03/1999.77 c INPROCESSING
1994.03/1999.77 c GARBAGE COLLECT
1994.03/1999.77 c #Conflicts: 859000 | #Constraints: 76696
1994.03/1999.77 c #Conflicts: 860000 | #Constraints: 77696
1994.03/1999.77 c #Conflicts: 861000 | #Constraints: 78696
1994.03/1999.77 c #Conflicts: 862000 | #Constraints: 79696
1994.03/1999.77 c #Conflicts: 863000 | #Constraints: 80696
1994.03/1999.77 c #Conflicts: 864000 | #Constraints: 81696
1994.03/1999.77 c #Conflicts: 865000 | #Constraints: 82696
1994.03/1999.77 c #Conflicts: 866000 | #Constraints: 83696
1994.03/1999.77 c #Conflicts: 867000 | #Constraints: 84696
1994.03/1999.77 c #Conflicts: 868000 | #Constraints: 85696
1994.03/1999.77 c #Conflicts: 869000 | #Constraints: 86696
1994.03/1999.77 c #Conflicts: 870000 | #Constraints: 87696
1994.03/1999.77 c #Conflicts: 871000 | #Constraints: 88696
1994.03/1999.77 c #Conflicts: 872000 | #Constraints: 89696
1994.03/1999.77 c #Conflicts: 873000 | #Constraints: 90696
1994.03/1999.77 c #Conflicts: 874000 | #Constraints: 91696
1994.03/1999.77 c #Conflicts: 875000 | #Constraints: 92696
1994.03/1999.77 c #Conflicts: 876000 | #Constraints: 93696
1994.03/1999.77 c #Conflicts: 877000 | #Constraints: 94696
1994.03/1999.77 c #Conflicts: 878000 | #Constraints: 95696
1994.03/1999.77 c #Conflicts: 879000 | #Constraints: 96696
1994.03/1999.77 c #Conflicts: 880000 | #Constraints: 97696
1994.03/1999.77 c #Conflicts: 881000 | #Constraints: 98696
1994.03/1999.77 c #Conflicts: 882000 | #Constraints: 99696
1994.03/1999.77 c #Conflicts: 883000 | #Constraints: 100696
1994.03/1999.77 c #Conflicts: 884000 | #Constraints: 101696
1994.03/1999.77 c INPROCESSING
1994.03/1999.77 c GARBAGE COLLECT
1994.03/1999.77 c #Conflicts: 885000 | #Constraints: 71657
1994.03/1999.77 c #Conflicts: 886000 | #Constraints: 72657
1994.03/1999.77 c #Conflicts: 887000 | #Constraints: 73657
1994.03/1999.77 c #Conflicts: 888000 | #Constraints: 74657
1994.03/1999.77 c #Conflicts: 889000 | #Constraints: 75657
1994.03/1999.77 c #Conflicts: 890000 | #Constraints: 76657
1994.03/1999.77 c #Conflicts: 891000 | #Constraints: 77657
1994.03/1999.77 c #Conflicts: 892000 | #Constraints: 78657
1994.03/1999.77 c #Conflicts: 893000 | #Constraints: 79657
1994.03/1999.77 c #Conflicts: 894000 | #Constraints: 80657
1994.03/1999.77 c #Conflicts: 895000 | #Constraints: 81657
1994.03/1999.77 c #Conflicts: 896000 | #Constraints: 82657
1994.03/1999.77 c #Conflicts: 897000 | #Constraints: 83657
1994.03/1999.77 c #Conflicts: 898000 | #Constraints: 84657
1994.03/1999.77 c #Conflicts: 899000 | #Constraints: 85657
1994.03/1999.77 c #Conflicts: 900000 | #Constraints: 86657
1994.03/1999.77 c #Conflicts: 901000 | #Constraints: 87657
1994.03/1999.77 c #Conflicts: 902000 | #Constraints: 88657
1994.03/1999.77 c #Conflicts: 903000 | #Constraints: 89657
1994.03/1999.77 c #Conflicts: 904000 | #Constraints: 90657
1994.03/1999.77 c #Conflicts: 905000 | #Constraints: 91657
1994.03/1999.77 c #Conflicts: 906000 | #Constraints: 92657
1994.03/1999.77 c #Conflicts: 907000 | #Constraints: 93657
1994.03/1999.77 c #Conflicts: 908000 | #Constraints: 94657
1994.03/1999.77 c #Conflicts: 909000 | #Constraints: 95657
1994.03/1999.77 c #Conflicts: 910000 | #Constraints: 96657
1994.03/1999.77 c #Conflicts: 911000 | #Constraints: 97657
1994.03/1999.77 c #Conflicts: 912000 | #Constraints: 98657
1994.03/1999.77 c #Conflicts: 913000 | #Constraints: 99657
1994.03/1999.77 c #Conflicts: 914000 | #Constraints: 100657
1994.03/1999.77 c #Conflicts: 915000 | #Constraints: 101657
1994.03/1999.77 c #Conflicts: 916000 | #Constraints: 102657
1994.03/1999.77 c #Conflicts: 917000 | #Constraints: 103657
1994.03/1999.77 c #Conflicts: 918000 | #Constraints: 104657
1994.03/1999.77 c #Conflicts: 919000 | #Constraints: 105657
1994.03/1999.77 c #Conflicts: 920000 | #Constraints: 106657
2185.14/2191.39 c #Conflicts: 921000 | #Constraints: 107658
2185.14/2191.39 c #Conflicts: 922000 | #Constraints: 108658
2185.14/2191.39 c #Conflicts: 923000 | #Constraints: 109658
2185.14/2191.39 c #Conflicts: 924000 | #Constraints: 110658
2185.14/2191.39 c #Conflicts: 925000 | #Constraints: 111658
2185.14/2191.39 c #Conflicts: 926000 | #Constraints: 112658
2185.14/2191.39 c #Conflicts: 927000 | #Constraints: 113658
2185.14/2191.39 c #Conflicts: 928000 | #Constraints: 114658
2185.14/2191.39 c #Conflicts: 929000 | #Constraints: 115658
2185.14/2191.39 c #Conflicts: 930000 | #Constraints: 116658
2185.14/2191.39 c #Conflicts: 931000 | #Constraints: 117658
2185.14/2191.39 c #Conflicts: 932000 | #Constraints: 118658
2185.14/2191.39 c #Conflicts: 933000 | #Constraints: 119658
2185.14/2191.39 c #Conflicts: 934000 | #Constraints: 120658
2185.14/2191.39 c #Conflicts: 935000 | #Constraints: 121658
2185.14/2191.39 c #Conflicts: 936000 | #Constraints: 122658
2185.14/2191.39 c #Conflicts: 937000 | #Constraints: 123658
2185.14/2191.39 c #Conflicts: 938000 | #Constraints: 124658
2185.14/2191.39 c #Conflicts: 939000 | #Constraints: 125658
2185.14/2191.39 c #Conflicts: 940000 | #Constraints: 126658
2185.14/2191.39 c #Conflicts: 941000 | #Constraints: 127658
2185.14/2191.39 c #Conflicts: 942000 | #Constraints: 128658
2185.14/2191.39 c #Conflicts: 943000 | #Constraints: 129658
2185.14/2191.39 c #Conflicts: 944000 | #Constraints: 130658
2185.14/2191.39 c #Conflicts: 945000 | #Constraints: 131658
2185.14/2191.39 c #Conflicts: 946000 | #Constraints: 132658
2185.14/2191.39 c #Conflicts: 947000 | #Constraints: 133658
2185.14/2191.39 c INPROCESSING
2185.14/2191.39 c GARBAGE COLLECT
2185.14/2191.39 c #Conflicts: 948000 | #Constraints: 79113
2185.14/2191.39 c #Conflicts: 949000 | #Constraints: 80113
2185.14/2191.39 c #Conflicts: 950000 | #Constraints: 81113
2185.14/2191.39 c #Conflicts: 951000 | #Constraints: 82113
2185.14/2191.39 c #Conflicts: 952000 | #Constraints: 83113
2185.14/2191.39 c #Conflicts: 953000 | #Constraints: 84113
2185.14/2191.39 c #Conflicts: 954000 | #Constraints: 85113
2185.14/2191.39 c #Conflicts: 955000 | #Constraints: 86113
2185.14/2191.39 c #Conflicts: 956000 | #Constraints: 87113
2185.14/2191.39 c #Conflicts: 957000 | #Constraints: 88113
2185.14/2191.39 c #Conflicts: 958000 | #Constraints: 89113
2185.14/2191.39 c #Conflicts: 959000 | #Constraints: 90113
2185.14/2191.39 c #Conflicts: 960000 | #Constraints: 91113
2185.14/2191.39 c #Conflicts: 961000 | #Constraints: 92113
2185.14/2191.39 c #Conflicts: 962000 | #Constraints: 93113
2185.14/2191.39 c #Conflicts: 963000 | #Constraints: 94113
2185.14/2191.39 c #Conflicts: 964000 | #Constraints: 95113
2185.14/2191.39 c #Conflicts: 965000 | #Constraints: 96113
2185.14/2191.39 c #Conflicts: 966000 | #Constraints: 97113
2185.14/2191.39 c #Conflicts: 967000 | #Constraints: 98113
2185.14/2191.39 c #Conflicts: 968000 | #Constraints: 99113
2185.14/2191.39 c #Conflicts: 969000 | #Constraints: 100113
2185.14/2191.39 c #Conflicts: 970000 | #Constraints: 101113
2185.14/2191.39 c #Conflicts: 971000 | #Constraints: 102113
2185.14/2191.39 c #Conflicts: 972000 | #Constraints: 103113
2185.14/2191.39 c #Conflicts: 973000 | #Constraints: 104113
2185.14/2191.39 c #Conflicts: 974000 | #Constraints: 105113
2185.14/2191.39 c INPROCESSING
2185.14/2191.39 c GARBAGE COLLECT
2185.14/2191.39 c #Conflicts: 975000 | #Constraints: 73560
2185.14/2191.39 c #Conflicts: 976000 | #Constraints: 74560
2185.14/2191.39 c #Conflicts: 977000 | #Constraints: 75560
2185.14/2191.39 c #Conflicts: 978000 | #Constraints: 76560
2185.14/2191.39 c #Conflicts: 979000 | #Constraints: 77560
2185.14/2191.39 c #Conflicts: 980000 | #Constraints: 78560
2185.14/2191.39 c #Conflicts: 981000 | #Constraints: 79560
2185.14/2191.39 c #Conflicts: 982000 | #Constraints: 80560
2185.14/2191.39 c #Conflicts: 983000 | #Constraints: 81560
2185.14/2191.39 c #Conflicts: 984000 | #Constraints: 82560
2185.14/2191.39 c #Conflicts: 985000 | #Constraints: 83560
2185.14/2191.39 c #Conflicts: 986000 | #Constraints: 84560
2185.14/2191.39 c #Conflicts: 987000 | #Constraints: 85560
2185.14/2191.39 c #Conflicts: 988000 | #Constraints: 86560
2185.14/2191.39 c #Conflicts: 989000 | #Constraints: 87560
2185.14/2191.39 c #Conflicts: 990000 | #Constraints: 88560
2185.14/2191.39 c #Conflicts: 991000 | #Constraints: 89560
2185.14/2191.39 c #Conflicts: 992000 | #Constraints: 90560
2185.14/2191.39 c #Conflicts: 993000 | #Constraints: 91560
2185.14/2191.39 c #Conflicts: 994000 | #Constraints: 92560
2185.14/2191.39 c #Conflicts: 995000 | #Constraints: 93560
2185.14/2191.39 c #Conflicts: 996000 | #Constraints: 94560
2185.14/2191.39 c #Conflicts: 997000 | #Constraints: 95560
2185.14/2191.39 c #Conflicts: 998000 | #Constraints: 96560
2441.19/2448.14 c #Conflicts: 999000 | #Constraints: 97560
2441.19/2448.14 c #Conflicts: 1000000 | #Constraints: 98560
2441.19/2448.14 c #Conflicts: 1001000 | #Constraints: 99560
2441.19/2448.14 c #Conflicts: 1002000 | #Constraints: 100560
2441.19/2448.14 c #Conflicts: 1003000 | #Constraints: 101561
2441.19/2448.14 c #Conflicts: 1004000 | #Constraints: 102561
2441.19/2448.14 c #Conflicts: 1005000 | #Constraints: 103561
2441.19/2448.14 c #Conflicts: 1006000 | #Constraints: 104561
2441.19/2448.14 c #Conflicts: 1007000 | #Constraints: 105561
2441.19/2448.14 c #Conflicts: 1008000 | #Constraints: 106561
2441.19/2448.14 c #Conflicts: 1009000 | #Constraints: 107561
2441.19/2448.14 c #Conflicts: 1010000 | #Constraints: 108561
2441.19/2448.14 c #Conflicts: 1011000 | #Constraints: 109561
2441.19/2448.14 c #Conflicts: 1012000 | #Constraints: 110561
2441.19/2448.14 c #Conflicts: 1013000 | #Constraints: 111561
2441.19/2448.14 c #Conflicts: 1014000 | #Constraints: 112561
2441.19/2448.14 c #Conflicts: 1015000 | #Constraints: 113561
2441.19/2448.14 c #Conflicts: 1016000 | #Constraints: 114561
2441.19/2448.14 c #Conflicts: 1017000 | #Constraints: 115561
2441.19/2448.14 c #Conflicts: 1018000 | #Constraints: 116561
2441.19/2448.14 c #Conflicts: 1019000 | #Constraints: 117561
2441.19/2448.14 c #Conflicts: 1020000 | #Constraints: 118561
2441.19/2448.14 c #Conflicts: 1021000 | #Constraints: 119561
2441.19/2448.14 c #Conflicts: 1022000 | #Constraints: 120561
2441.19/2448.14 c #Conflicts: 1023000 | #Constraints: 121561
2441.19/2448.14 c #Conflicts: 1024000 | #Constraints: 122561
2441.19/2448.14 c #Conflicts: 1025000 | #Constraints: 123561
2441.19/2448.14 c #Conflicts: 1026000 | #Constraints: 124561
2441.19/2448.14 c #Conflicts: 1027000 | #Constraints: 125561
2441.19/2448.14 c #Conflicts: 1028000 | #Constraints: 126561
2441.19/2448.14 c #Conflicts: 1029000 | #Constraints: 127561
2441.19/2448.14 c #Conflicts: 1030000 | #Constraints: 128561
2441.19/2448.14 c #Conflicts: 1031000 | #Constraints: 129561
2441.19/2448.14 c #Conflicts: 1032000 | #Constraints: 130561
2441.19/2448.14 c #Conflicts: 1033000 | #Constraints: 131561
2441.19/2448.14 c #Conflicts: 1034000 | #Constraints: 132561
2441.19/2448.14 c #Conflicts: 1035000 | #Constraints: 133561
2441.19/2448.14 c #Conflicts: 1036000 | #Constraints: 134561
2441.19/2448.14 c #Conflicts: 1037000 | #Constraints: 135561
2441.19/2448.14 c #Conflicts: 1038000 | #Constraints: 136561
2441.19/2448.14 c #Conflicts: 1039000 | #Constraints: 137561
2441.19/2448.14 c #Conflicts: 1040000 | #Constraints: 138561
2441.19/2448.14 c INPROCESSING
2441.19/2448.14 c GARBAGE COLLECT
2441.19/2448.14 c #Conflicts: 1041000 | #Constraints: 81532
2441.19/2448.14 c #Conflicts: 1042000 | #Constraints: 82532
2441.19/2448.14 c #Conflicts: 1043000 | #Constraints: 83532
2441.19/2448.14 c #Conflicts: 1044000 | #Constraints: 84532
2441.19/2448.14 c #Conflicts: 1045000 | #Constraints: 85532
2441.19/2448.14 c #Conflicts: 1046000 | #Constraints: 86532
2441.19/2448.14 c #Conflicts: 1047000 | #Constraints: 87532
2441.19/2448.14 c #Conflicts: 1048000 | #Constraints: 88532
2441.19/2448.14 c #Conflicts: 1049000 | #Constraints: 89532
2441.19/2448.14 c #Conflicts: 1050000 | #Constraints: 90532
2441.19/2448.14 c #Conflicts: 1051000 | #Constraints: 91532
2441.19/2448.14 c #Conflicts: 1052000 | #Constraints: 92532
2441.19/2448.14 c #Conflicts: 1053000 | #Constraints: 93532
2441.19/2448.14 c #Conflicts: 1054000 | #Constraints: 94532
2441.19/2448.14 c #Conflicts: 1055000 | #Constraints: 95532
2441.19/2448.14 c #Conflicts: 1056000 | #Constraints: 96532
2441.19/2448.14 c #Conflicts: 1057000 | #Constraints: 97532
2441.19/2448.14 c #Conflicts: 1058000 | #Constraints: 98532
2441.19/2448.14 c #Conflicts: 1059000 | #Constraints: 99532
2441.19/2448.14 c #Conflicts: 1060000 | #Constraints: 100532
2441.19/2448.14 c #Conflicts: 1061000 | #Constraints: 101532
2441.19/2448.14 c #Conflicts: 1062000 | #Constraints: 102532
2441.19/2448.14 c #Conflicts: 1063000 | #Constraints: 103532
2441.19/2448.14 c #Conflicts: 1064000 | #Constraints: 104532
2441.19/2448.14 c #Conflicts: 1065000 | #Constraints: 105532
2441.19/2448.14 c #Conflicts: 1066000 | #Constraints: 106532
2441.19/2448.14 c #Conflicts: 1067000 | #Constraints: 107532
2441.19/2448.14 c #Conflicts: 1068000 | #Constraints: 108532
2441.19/2448.14 c #Conflicts: 1069000 | #Constraints: 109532
2441.19/2448.14 c INPROCESSING
2441.19/2448.14 c GARBAGE COLLECT
2441.19/2448.14 c #Conflicts: 1070000 | #Constraints: 75967
2441.19/2448.14 c #Conflicts: 1071000 | #Constraints: 76967
2441.19/2448.14 c #Conflicts: 1072000 | #Constraints: 77967
2441.19/2448.14 c #Conflicts: 1073000 | #Constraints: 78967
2441.19/2448.14 c #Conflicts: 1074000 | #Constraints: 79967
2441.19/2448.14 c #Conflicts: 1075000 | #Constraints: 80967
2658.89/2666.59 c #Conflicts: 1076000 | #Constraints: 81967
2658.89/2666.59 c #Conflicts: 1077000 | #Constraints: 82967
2658.89/2666.59 c #Conflicts: 1078000 | #Constraints: 83967
2658.89/2666.59 c #Conflicts: 1079000 | #Constraints: 84967
2658.89/2666.59 c #Conflicts: 1080000 | #Constraints: 85967
2658.89/2666.59 c #Conflicts: 1081000 | #Constraints: 86967
2658.89/2666.59 c #Conflicts: 1082000 | #Constraints: 87967
2658.89/2666.59 c #Conflicts: 1083000 | #Constraints: 88967
2658.89/2666.59 c #Conflicts: 1084000 | #Constraints: 89967
2658.89/2666.59 c #Conflicts: 1085000 | #Constraints: 90967
2658.89/2666.59 c #Conflicts: 1086000 | #Constraints: 91967
2658.89/2666.59 c #Conflicts: 1087000 | #Constraints: 92967
2658.89/2666.59 c #Conflicts: 1088000 | #Constraints: 93967
2658.89/2666.59 c #Conflicts: 1089000 | #Constraints: 94967
2658.89/2666.59 c #Conflicts: 1090000 | #Constraints: 95967
2658.89/2666.59 c #Conflicts: 1091000 | #Constraints: 96967
2658.89/2666.59 c #Conflicts: 1092000 | #Constraints: 97967
2658.89/2666.59 c #Conflicts: 1093000 | #Constraints: 98967
2658.89/2666.59 c #Conflicts: 1094000 | #Constraints: 99967
2658.89/2666.59 c #Conflicts: 1095000 | #Constraints: 100967
2658.89/2666.59 c #Conflicts: 1096000 | #Constraints: 101967
2658.89/2666.59 c #Conflicts: 1097000 | #Constraints: 102967
2658.89/2666.59 c #Conflicts: 1098000 | #Constraints: 103967
2658.89/2666.59 c #Conflicts: 1099000 | #Constraints: 104967
2658.89/2666.59 c #Conflicts: 1100000 | #Constraints: 105967
2658.89/2666.59 c #Conflicts: 1101000 | #Constraints: 106967
2658.89/2666.59 c #Conflicts: 1102000 | #Constraints: 107967
2658.89/2666.59 c #Conflicts: 1103000 | #Constraints: 108967
2658.89/2666.59 c #Conflicts: 1104000 | #Constraints: 109967
2658.89/2666.59 c #Conflicts: 1105000 | #Constraints: 110967
2658.89/2666.59 c #Conflicts: 1106000 | #Constraints: 111967
2658.89/2666.59 c #Conflicts: 1107000 | #Constraints: 112967
2658.89/2666.59 c #Conflicts: 1108000 | #Constraints: 113967
2658.89/2666.59 c #Conflicts: 1109000 | #Constraints: 114967
2658.89/2666.59 c #Conflicts: 1110000 | #Constraints: 115967
2658.89/2666.59 c #Conflicts: 1111000 | #Constraints: 116967
2658.89/2666.59 c #Conflicts: 1112000 | #Constraints: 117967
2658.89/2666.59 c #Conflicts: 1113000 | #Constraints: 118967
2658.89/2666.59 c #Conflicts: 1114000 | #Constraints: 119967
2658.89/2666.59 c #Conflicts: 1115000 | #Constraints: 120967
2658.89/2666.59 c #Conflicts: 1116000 | #Constraints: 121967
2658.89/2666.59 c #Conflicts: 1117000 | #Constraints: 122967
2658.89/2666.59 c #Conflicts: 1118000 | #Constraints: 123967
2658.89/2666.59 c #Conflicts: 1119000 | #Constraints: 124967
2658.89/2666.59 c #Conflicts: 1120000 | #Constraints: 125967
2658.89/2666.59 c #Conflicts: 1121000 | #Constraints: 126967
2658.89/2666.59 c #Conflicts: 1122000 | #Constraints: 127967
2658.89/2666.59 c #Conflicts: 1123000 | #Constraints: 128967
2658.89/2666.59 c #Conflicts: 1124000 | #Constraints: 129967
2658.89/2666.59 c #Conflicts: 1125000 | #Constraints: 130967
2658.89/2666.59 c #Conflicts: 1126000 | #Constraints: 131967
2658.89/2666.59 c #Conflicts: 1127000 | #Constraints: 132967
2658.89/2666.59 c #Conflicts: 1128000 | #Constraints: 133968
2658.89/2666.59 c #Conflicts: 1129000 | #Constraints: 134968
2658.89/2666.59 c #Conflicts: 1130000 | #Constraints: 135968
2658.89/2666.59 c #Conflicts: 1131000 | #Constraints: 136968
2658.89/2666.59 c #Conflicts: 1132000 | #Constraints: 137968
2658.89/2666.59 c #Conflicts: 1133000 | #Constraints: 138968
2658.89/2666.59 c #Conflicts: 1134000 | #Constraints: 139968
2658.89/2666.59 c #Conflicts: 1135000 | #Constraints: 140968
2658.89/2666.59 c #Conflicts: 1136000 | #Constraints: 141968
2658.89/2666.59 c #Conflicts: 1137000 | #Constraints: 142968
2658.89/2666.59 c #Conflicts: 1138000 | #Constraints: 143968
2658.89/2666.59 c INPROCESSING
2658.89/2666.59 c GARBAGE COLLECT
2658.89/2666.59 c #Conflicts: 1139000 | #Constraints: 84227
2658.89/2666.59 c #Conflicts: 1140000 | #Constraints: 85227
2658.89/2666.59 c #Conflicts: 1141000 | #Constraints: 86227
2658.89/2666.59 c #Conflicts: 1142000 | #Constraints: 87227
2658.89/2666.59 c #Conflicts: 1143000 | #Constraints: 88227
2658.89/2666.59 c #Conflicts: 1144000 | #Constraints: 89227
2658.89/2666.59 c #Conflicts: 1145000 | #Constraints: 90227
2658.89/2666.59 c #Conflicts: 1146000 | #Constraints: 91227
2658.89/2666.59 c #Conflicts: 1147000 | #Constraints: 92227
2658.89/2666.59 c #Conflicts: 1148000 | #Constraints: 93227
2658.89/2666.59 c #Conflicts: 1149000 | #Constraints: 94227
2658.89/2666.59 c #Conflicts: 1150000 | #Constraints: 95227
2658.89/2666.59 c #Conflicts: 1151000 | #Constraints: 96227
2658.89/2666.59 c #Conflicts: 1152000 | #Constraints: 97227
2658.89/2666.59 c #Conflicts: 1153000 | #Constraints: 98227
2897.96/2906.31 c #Conflicts: 1154000 | #Constraints: 99227
2897.96/2906.31 c #Conflicts: 1155000 | #Constraints: 100227
2897.96/2906.31 c #Conflicts: 1156000 | #Constraints: 101227
2897.96/2906.31 c #Conflicts: 1157000 | #Constraints: 102227
2897.96/2906.31 c #Conflicts: 1158000 | #Constraints: 103227
2897.96/2906.31 c #Conflicts: 1159000 | #Constraints: 104227
2897.96/2906.31 c #Conflicts: 1160000 | #Constraints: 105227
2897.96/2906.31 c #Conflicts: 1161000 | #Constraints: 106227
2897.96/2906.31 c #Conflicts: 1162000 | #Constraints: 107227
2897.96/2906.31 c #Conflicts: 1163000 | #Constraints: 108227
2897.96/2906.31 c #Conflicts: 1164000 | #Constraints: 109227
2897.96/2906.31 c #Conflicts: 1165000 | #Constraints: 110227
2897.96/2906.31 c #Conflicts: 1166000 | #Constraints: 111227
2897.96/2906.31 c #Conflicts: 1167000 | #Constraints: 112227
2897.96/2906.31 c #Conflicts: 1168000 | #Constraints: 113227
2897.96/2906.31 c INPROCESSING
2897.96/2906.31 c GARBAGE COLLECT
2897.96/2906.31 c #Conflicts: 1169000 | #Constraints: 78165
2897.96/2906.31 c #Conflicts: 1170000 | #Constraints: 79165
2897.96/2906.31 c #Conflicts: 1171000 | #Constraints: 80165
2897.96/2906.31 c #Conflicts: 1172000 | #Constraints: 81165
2897.96/2906.31 c #Conflicts: 1173000 | #Constraints: 82165
2897.96/2906.31 c #Conflicts: 1174000 | #Constraints: 83165
2897.96/2906.31 c #Conflicts: 1175000 | #Constraints: 84165
2897.96/2906.31 c #Conflicts: 1176000 | #Constraints: 85165
2897.96/2906.31 c #Conflicts: 1177000 | #Constraints: 86165
2897.96/2906.31 c #Conflicts: 1178000 | #Constraints: 87165
2897.96/2906.31 c #Conflicts: 1179000 | #Constraints: 88165
2897.96/2906.31 c #Conflicts: 1180000 | #Constraints: 89165
2897.96/2906.31 c #Conflicts: 1181000 | #Constraints: 90165
2897.96/2906.31 c #Conflicts: 1182000 | #Constraints: 91165
2897.96/2906.31 c #Conflicts: 1183000 | #Constraints: 92165
2897.96/2906.31 c #Conflicts: 1184000 | #Constraints: 93165
2897.96/2906.31 c #Conflicts: 1185000 | #Constraints: 94165
2897.96/2906.31 c #Conflicts: 1186000 | #Constraints: 95165
2897.96/2906.31 c #Conflicts: 1187000 | #Constraints: 96165
2897.96/2906.31 c #Conflicts: 1188000 | #Constraints: 97165
2897.96/2906.31 c #Conflicts: 1189000 | #Constraints: 98165
2897.96/2906.31 c #Conflicts: 1190000 | #Constraints: 99165
2897.96/2906.31 c #Conflicts: 1191000 | #Constraints: 100165
2897.96/2906.31 c #Conflicts: 1192000 | #Constraints: 101165
2897.96/2906.31 c #Conflicts: 1193000 | #Constraints: 102165
2897.96/2906.31 c #Conflicts: 1194000 | #Constraints: 103165
2897.96/2906.31 c #Conflicts: 1195000 | #Constraints: 104165
2897.96/2906.31 c #Conflicts: 1196000 | #Constraints: 105165
2897.96/2906.31 c #Conflicts: 1197000 | #Constraints: 106165
2897.96/2906.31 c #Conflicts: 1198000 | #Constraints: 107165
2897.96/2906.31 c #Conflicts: 1199000 | #Constraints: 108165
2897.96/2906.31 c #Conflicts: 1200000 | #Constraints: 109165
2897.96/2906.31 c #Conflicts: 1201000 | #Constraints: 110165
2897.96/2906.31 c #Conflicts: 1202000 | #Constraints: 111165
2897.96/2906.31 c #Conflicts: 1203000 | #Constraints: 112165
2897.96/2906.31 c #Conflicts: 1204000 | #Constraints: 113165
2897.96/2906.31 c #Conflicts: 1205000 | #Constraints: 114165
2897.96/2906.31 c #Conflicts: 1206000 | #Constraints: 115165
2897.96/2906.31 c #Conflicts: 1207000 | #Constraints: 116165
2897.96/2906.31 c #Conflicts: 1208000 | #Constraints: 117165
2897.96/2906.31 c #Conflicts: 1209000 | #Constraints: 118165
2897.96/2906.31 c #Conflicts: 1210000 | #Constraints: 119165
2897.96/2906.31 c #Conflicts: 1211000 | #Constraints: 120165
2897.96/2906.31 c #Conflicts: 1212000 | #Constraints: 121165
2897.96/2906.31 c #Conflicts: 1213000 | #Constraints: 122165
2897.96/2906.31 c #Conflicts: 1214000 | #Constraints: 123165
2897.96/2906.31 c #Conflicts: 1215000 | #Constraints: 124165
2897.96/2906.31 c #Conflicts: 1216000 | #Constraints: 125165
2897.96/2906.31 c #Conflicts: 1217000 | #Constraints: 126165
2897.96/2906.31 c #Conflicts: 1218000 | #Constraints: 127165
2897.96/2906.31 c #Conflicts: 1219000 | #Constraints: 128165
2897.96/2906.31 c #Conflicts: 1220000 | #Constraints: 129165
2897.96/2906.31 c #Conflicts: 1221000 | #Constraints: 130165
2897.96/2906.31 c #Conflicts: 1222000 | #Constraints: 131165
2897.96/2906.31 c #Conflicts: 1223000 | #Constraints: 132165
2897.96/2906.31 c #Conflicts: 1224000 | #Constraints: 133165
2897.96/2906.31 c #Conflicts: 1225000 | #Constraints: 134165
2897.96/2906.31 c #Conflicts: 1226000 | #Constraints: 135165
2897.96/2906.31 c #Conflicts: 1227000 | #Constraints: 136165
2897.96/2906.31 c #Conflicts: 1228000 | #Constraints: 137165
2897.96/2906.31 c #Conflicts: 1229000 | #Constraints: 138165
2897.96/2906.31 c #Conflicts: 1230000 | #Constraints: 139165
2897.96/2906.31 c #Conflicts: 1231000 | #Constraints: 140165
2897.96/2906.31 c #Conflicts: 1232000 | #Constraints: 141165
3010.38/3019.06 c #Conflicts: 1233000 | #Constraints: 142165
3010.38/3019.06 c #Conflicts: 1234000 | #Constraints: 143165
3010.38/3019.06 c #Conflicts: 1235000 | #Constraints: 144165
3010.38/3019.06 c #Conflicts: 1236000 | #Constraints: 145165
3010.38/3019.06 c #Conflicts: 1237000 | #Constraints: 146165
3010.38/3019.06 c #Conflicts: 1238000 | #Constraints: 147165
3010.38/3019.06 c #Conflicts: 1239000 | #Constraints: 148165
3010.38/3019.06 c #Conflicts: 1240000 | #Constraints: 149165
3010.38/3019.06 c INPROCESSING
3010.38/3019.06 c GARBAGE COLLECT
3010.38/3019.06 c rational objective 169.031
3178.53/3187.67 c #Conflicts: 1241000 | #Constraints: 86886
3178.53/3187.67 c #Conflicts: 1242000 | #Constraints: 87886
3178.53/3187.67 c #Conflicts: 1243000 | #Constraints: 88886
3178.53/3187.67 c #Conflicts: 1244000 | #Constraints: 89886
3178.53/3187.67 c #Conflicts: 1245000 | #Constraints: 90886
3178.53/3187.67 c #Conflicts: 1246000 | #Constraints: 91886
3178.53/3187.67 c #Conflicts: 1247000 | #Constraints: 92886
3178.53/3187.67 c #Conflicts: 1248000 | #Constraints: 93886
3178.53/3187.67 c #Conflicts: 1249000 | #Constraints: 94886
3178.53/3187.67 c #Conflicts: 1250000 | #Constraints: 95886
3178.53/3187.67 c #Conflicts: 1251000 | #Constraints: 96886
3178.53/3187.67 c #Conflicts: 1252000 | #Constraints: 97886
3178.53/3187.67 c #Conflicts: 1253000 | #Constraints: 98886
3178.53/3187.67 c #Conflicts: 1254000 | #Constraints: 99886
3178.53/3187.67 c #Conflicts: 1255000 | #Constraints: 100886
3178.53/3187.67 c #Conflicts: 1256000 | #Constraints: 101886
3178.53/3187.67 c #Conflicts: 1257000 | #Constraints: 102886
3178.53/3187.67 c #Conflicts: 1258000 | #Constraints: 103886
3178.53/3187.67 c #Conflicts: 1259000 | #Constraints: 104886
3178.53/3187.67 c #Conflicts: 1260000 | #Constraints: 105886
3178.53/3187.67 c #Conflicts: 1261000 | #Constraints: 106886
3178.53/3187.67 c #Conflicts: 1262000 | #Constraints: 107886
3178.53/3187.67 c #Conflicts: 1263000 | #Constraints: 108886
3178.53/3187.67 c #Conflicts: 1264000 | #Constraints: 109886
3178.53/3187.67 c #Conflicts: 1265000 | #Constraints: 110886
3178.53/3187.67 c #Conflicts: 1266000 | #Constraints: 111886
3178.53/3187.67 c #Conflicts: 1267000 | #Constraints: 112886
3178.53/3187.67 c #Conflicts: 1268000 | #Constraints: 113886
3178.53/3187.67 c #Conflicts: 1269000 | #Constraints: 114886
3178.53/3187.67 c #Conflicts: 1270000 | #Constraints: 115886
3178.53/3187.67 c #Conflicts: 1271000 | #Constraints: 116886
3178.53/3187.67 c #Conflicts: 1272000 | #Constraints: 117886
3178.53/3187.67 c INPROCESSING
3178.53/3187.67 c GARBAGE COLLECT
3178.53/3187.67 c #Conflicts: 1273000 | #Constraints: 81435
3178.53/3187.67 c #Conflicts: 1274000 | #Constraints: 82435
3178.53/3187.67 c #Conflicts: 1275000 | #Constraints: 83435
3178.53/3187.67 c #Conflicts: 1276000 | #Constraints: 84435
3178.53/3187.67 c #Conflicts: 1277000 | #Constraints: 85435
3178.53/3187.67 c #Conflicts: 1278000 | #Constraints: 86435
3178.53/3187.67 c #Conflicts: 1279000 | #Constraints: 87435
3178.53/3187.67 c #Conflicts: 1280000 | #Constraints: 88435
3178.53/3187.67 c #Conflicts: 1281000 | #Constraints: 89435
3178.53/3187.67 c #Conflicts: 1282000 | #Constraints: 90435
3178.53/3187.67 c #Conflicts: 1283000 | #Constraints: 91435
3178.53/3187.67 c #Conflicts: 1284000 | #Constraints: 92435
3178.53/3187.67 c #Conflicts: 1285000 | #Constraints: 93435
3178.53/3187.67 c #Conflicts: 1286000 | #Constraints: 94435
3178.53/3187.67 c #Conflicts: 1287000 | #Constraints: 95435
3178.53/3187.67 c #Conflicts: 1288000 | #Constraints: 96435
3178.53/3187.67 c #Conflicts: 1289000 | #Constraints: 97435
3178.53/3187.67 c #Conflicts: 1290000 | #Constraints: 98435
3178.53/3187.67 c #Conflicts: 1291000 | #Constraints: 99435
3178.53/3187.67 c #Conflicts: 1292000 | #Constraints: 100435
3178.53/3187.67 c #Conflicts: 1293000 | #Constraints: 101435
3178.53/3187.67 c #Conflicts: 1294000 | #Constraints: 102435
3178.53/3187.67 c #Conflicts: 1295000 | #Constraints: 103435
3178.53/3187.67 c #Conflicts: 1296000 | #Constraints: 104435
3178.53/3187.67 c #Conflicts: 1297000 | #Constraints: 105435
3178.53/3187.67 c #Conflicts: 1298000 | #Constraints: 106435
3178.53/3187.67 c #Conflicts: 1299000 | #Constraints: 107435
3178.53/3187.67 c #Conflicts: 1300000 | #Constraints: 108435
3178.53/3187.67 c #Conflicts: 1301000 | #Constraints: 109435
3178.53/3187.67 c #Conflicts: 1302000 | #Constraints: 110435
3178.53/3187.67 c #Conflicts: 1303000 | #Constraints: 111435
3178.53/3187.67 c #Conflicts: 1304000 | #Constraints: 112435
3178.53/3187.67 c #Conflicts: 1305000 | #Constraints: 113435
3178.53/3187.67 c #Conflicts: 1306000 | #Constraints: 114435
3178.53/3187.67 c #Conflicts: 1307000 | #Constraints: 115435
3178.53/3187.67 c #Conflicts: 1308000 | #Constraints: 116435
3178.53/3187.67 c #Conflicts: 1309000 | #Constraints: 117435
3178.53/3187.67 c #Conflicts: 1310000 | #Constraints: 118435
3178.53/3187.67 c #Conflicts: 1311000 | #Constraints: 119435
3178.53/3187.67 c #Conflicts: 1312000 | #Constraints: 120435
3178.53/3187.67 c #Conflicts: 1313000 | #Constraints: 121435
3178.53/3187.67 c #Conflicts: 1314000 | #Constraints: 122435
3178.53/3187.67 c #Conflicts: 1315000 | #Constraints: 123435
3178.53/3187.67 c #Conflicts: 1316000 | #Constraints: 124435
3178.53/3187.67 c #Conflicts: 1317000 | #Constraints: 125435
3178.53/3187.67 c #Conflicts: 1318000 | #Constraints: 126435
3178.53/3187.67 c #Conflicts: 1319000 | #Constraints: 127435
3403.25/3412.93 c #Conflicts: 1320000 | #Constraints: 128435
3403.25/3412.93 c #Conflicts: 1321000 | #Constraints: 129435
3403.25/3412.93 c #Conflicts: 1322000 | #Constraints: 130435
3403.25/3412.93 c #Conflicts: 1323000 | #Constraints: 131435
3403.25/3412.93 c #Conflicts: 1324000 | #Constraints: 132435
3403.25/3412.93 c #Conflicts: 1325000 | #Constraints: 133435
3403.25/3412.93 c #Conflicts: 1326000 | #Constraints: 134435
3403.25/3412.93 c #Conflicts: 1327000 | #Constraints: 135435
3403.25/3412.93 c #Conflicts: 1328000 | #Constraints: 136435
3403.25/3412.93 c #Conflicts: 1329000 | #Constraints: 137435
3403.25/3412.93 c #Conflicts: 1330000 | #Constraints: 138435
3403.25/3412.93 c #Conflicts: 1331000 | #Constraints: 139435
3403.25/3412.93 c #Conflicts: 1332000 | #Constraints: 140435
3403.25/3412.93 c #Conflicts: 1333000 | #Constraints: 141435
3403.25/3412.93 c #Conflicts: 1334000 | #Constraints: 142435
3403.25/3412.93 c #Conflicts: 1335000 | #Constraints: 143435
3403.25/3412.93 c #Conflicts: 1336000 | #Constraints: 144435
3403.25/3412.93 c #Conflicts: 1337000 | #Constraints: 145435
3403.25/3412.93 c #Conflicts: 1338000 | #Constraints: 146435
3403.25/3412.93 c #Conflicts: 1339000 | #Constraints: 147435
3403.25/3412.93 c #Conflicts: 1340000 | #Constraints: 148435
3403.25/3412.93 c #Conflicts: 1341000 | #Constraints: 149435
3403.25/3412.93 c #Conflicts: 1342000 | #Constraints: 150435
3403.25/3412.93 c #Conflicts: 1343000 | #Constraints: 151435
3403.25/3412.93 c #Conflicts: 1344000 | #Constraints: 152435
3403.25/3412.93 c #Conflicts: 1345000 | #Constraints: 153435
3403.25/3412.93 c #Conflicts: 1346000 | #Constraints: 154435
3403.25/3412.93 c #Conflicts: 1347000 | #Constraints: 155435
3403.25/3412.93 c INPROCESSING
3403.25/3412.93 c GARBAGE COLLECT
3403.25/3412.93 c #Conflicts: 1348000 | #Constraints: 90179
3403.25/3412.93 c #Conflicts: 1349000 | #Constraints: 91179
3403.25/3412.93 c #Conflicts: 1350000 | #Constraints: 92179
3403.25/3412.93 c #Conflicts: 1351000 | #Constraints: 93179
3403.25/3412.93 c #Conflicts: 1352000 | #Constraints: 94179
3403.25/3412.93 c #Conflicts: 1353000 | #Constraints: 95179
3403.25/3412.93 c #Conflicts: 1354000 | #Constraints: 96179
3403.25/3412.93 c #Conflicts: 1355000 | #Constraints: 97179
3403.25/3412.93 c #Conflicts: 1356000 | #Constraints: 98179
3403.25/3412.93 c #Conflicts: 1357000 | #Constraints: 99179
3403.25/3412.93 c #Conflicts: 1358000 | #Constraints: 100179
3403.25/3412.93 c #Conflicts: 1359000 | #Constraints: 101179
3403.25/3412.93 c #Conflicts: 1360000 | #Constraints: 102179
3403.25/3412.93 c #Conflicts: 1361000 | #Constraints: 103179
3403.25/3412.93 c #Conflicts: 1362000 | #Constraints: 104179
3403.25/3412.93 c #Conflicts: 1363000 | #Constraints: 105179
3403.25/3412.93 c #Conflicts: 1364000 | #Constraints: 106179
3403.25/3412.93 c #Conflicts: 1365000 | #Constraints: 107179
3403.25/3412.93 c #Conflicts: 1366000 | #Constraints: 108179
3403.25/3412.93 c #Conflicts: 1367000 | #Constraints: 109179
3403.25/3412.93 c #Conflicts: 1368000 | #Constraints: 110179
3403.25/3412.93 c #Conflicts: 1369000 | #Constraints: 111179
3403.25/3412.93 c #Conflicts: 1370000 | #Constraints: 112179
3403.25/3412.93 c #Conflicts: 1371000 | #Constraints: 113179
3403.25/3412.93 c #Conflicts: 1372000 | #Constraints: 114179
3403.25/3412.93 c #Conflicts: 1373000 | #Constraints: 115179
3403.25/3412.93 c #Conflicts: 1374000 | #Constraints: 116179
3403.25/3412.93 c #Conflicts: 1375000 | #Constraints: 117179
3403.25/3412.93 c #Conflicts: 1376000 | #Constraints: 118179
3403.25/3412.93 c #Conflicts: 1377000 | #Constraints: 119179
3403.25/3412.93 c #Conflicts: 1378000 | #Constraints: 120179
3403.25/3412.93 c #Conflicts: 1379000 | #Constraints: 121179
3403.25/3412.93 c #Conflicts: 1380000 | #Constraints: 122179
3403.25/3412.93 c INPROCESSING
3403.25/3412.93 c GARBAGE COLLECT
3403.25/3412.93 c #Conflicts: 1381000 | #Constraints: 84034
3403.25/3412.93 c #Conflicts: 1382000 | #Constraints: 85034
3403.25/3412.93 c #Conflicts: 1383000 | #Constraints: 86034
3403.25/3412.93 c #Conflicts: 1384000 | #Constraints: 87034
3403.25/3412.93 c #Conflicts: 1385000 | #Constraints: 88034
3403.25/3412.93 c #Conflicts: 1386000 | #Constraints: 89034
3403.25/3412.93 c #Conflicts: 1387000 | #Constraints: 90034
3403.25/3412.93 c #Conflicts: 1388000 | #Constraints: 91034
3403.25/3412.93 c #Conflicts: 1389000 | #Constraints: 92034
3403.25/3412.93 c #Conflicts: 1390000 | #Constraints: 93034
3403.25/3412.93 c #Conflicts: 1391000 | #Constraints: 94034
3403.25/3412.93 c #Conflicts: 1392000 | #Constraints: 95034
3403.25/3412.93 c #Conflicts: 1393000 | #Constraints: 96034
3403.25/3412.93 c #Conflicts: 1394000 | #Constraints: 97034
3403.25/3412.93 c #Conflicts: 1395000 | #Constraints: 98034
3403.25/3412.93 c #Conflicts: 1396000 | #Constraints: 99034
3600.04/3610.20 c #Conflicts: 1397000 | #Constraints: 100034
3600.04/3610.20 c #Conflicts: 1398000 | #Constraints: 101034
3600.04/3610.20 c #Conflicts: 1399000 | #Constraints: 102034
3600.04/3610.20 c #Conflicts: 1400000 | #Constraints: 103034
3600.04/3610.20 c #Conflicts: 1401000 | #Constraints: 104034
3600.04/3610.20 c #Conflicts: 1402000 | #Constraints: 105034
3600.04/3610.20 c #Conflicts: 1403000 | #Constraints: 106034
3600.04/3610.20 c #Conflicts: 1404000 | #Constraints: 107034
3600.04/3610.20 c #Conflicts: 1405000 | #Constraints: 108034
3600.04/3610.20 c #Conflicts: 1406000 | #Constraints: 109034
3600.04/3610.20 c #Conflicts: 1407000 | #Constraints: 110034
3600.04/3610.20 c #Conflicts: 1408000 | #Constraints: 111034
3600.04/3610.20 c #Conflicts: 1409000 | #Constraints: 112034
3600.04/3610.20 c #Conflicts: 1410000 | #Constraints: 113034
3600.04/3610.20 c #Conflicts: 1411000 | #Constraints: 114034
3600.04/3610.20 c #Conflicts: 1412000 | #Constraints: 115034
3600.04/3610.20 c #Conflicts: 1413000 | #Constraints: 116034
3600.04/3610.20 c #Conflicts: 1414000 | #Constraints: 117034
3600.04/3610.20 c #Conflicts: 1415000 | #Constraints: 118034
3600.04/3610.20 c #Conflicts: 1416000 | #Constraints: 119034
3600.04/3610.20 c #Conflicts: 1417000 | #Constraints: 120034
3600.04/3610.20 c #Conflicts: 1418000 | #Constraints: 121034
3600.04/3610.20 c #Conflicts: 1419000 | #Constraints: 122034
3600.04/3610.20 c #Conflicts: 1420000 | #Constraints: 123034
3600.04/3610.20 c #Conflicts: 1421000 | #Constraints: 124034
3600.04/3610.20 c #Conflicts: 1422000 | #Constraints: 125034
3600.04/3610.20 c #Conflicts: 1423000 | #Constraints: 126034
3600.04/3610.20 c #Conflicts: 1424000 | #Constraints: 127034
3600.04/3610.20 c #Conflicts: 1425000 | #Constraints: 128035
3600.04/3610.20 c #Conflicts: 1426000 | #Constraints: 129035
3600.04/3610.20 c #Conflicts: 1427000 | #Constraints: 130035
3600.04/3610.20 c #Conflicts: 1428000 | #Constraints: 131035
3600.04/3610.20 c #Conflicts: 1429000 | #Constraints: 132035
3600.04/3610.20 c #Conflicts: 1430000 | #Constraints: 133035
3600.04/3610.20 c #Conflicts: 1431000 | #Constraints: 134035
3600.04/3610.20 c #Conflicts: 1432000 | #Constraints: 135035
3600.04/3610.20 c #Conflicts: 1433000 | #Constraints: 136035
3600.04/3610.20 c #Conflicts: 1434000 | #Constraints: 137035
3600.04/3610.20 c #Conflicts: 1435000 | #Constraints: 138035
3600.04/3610.20 c #Conflicts: 1436000 | #Constraints: 139035
3600.04/3610.20 c #Conflicts: 1437000 | #Constraints: 140035
3600.04/3610.20 c #Conflicts: 1438000 | #Constraints: 141035
3600.04/3610.20 c cpu time 3568.93 s
3600.04/3610.20 c deterministic time 246897180428 2.47e+11
3600.04/3610.20 c optimization time 221.722 s
3600.04/3610.20 c total solve time 3346.95 s
3600.04/3610.20 c core-guided solve time 0 s
3600.04/3610.20 c propagation time 1899.68 s
3600.04/3610.20 c conflict analysis time 1200.42 s
3600.04/3610.20 c propagations 1433164457
3600.04/3610.20 c resolve steps 87752853
3600.04/3610.20 c decisions 33243293
3600.04/3610.20 c conflicts 1438153
3600.04/3610.20 c restarts 2809
3600.04/3610.20 c inprocessing phases 50
3600.04/3610.20 c garbage collections 50 ,( 100.00 )
3600.04/3610.20 c input clauses 20420 ,( 99.18 )
3600.04/3610.20 c input cardinalities 169 ,( 0.82 )
3600.04/3610.20 c input general constraints 0 ,( 0.00 )
3600.04/3610.20 c input average constraint length 6.41
3600.04/3610.20 c input average constraint degree 1.96
3600.04/3610.20 c learned clauses 1053034 ,( 73.22 )
3600.04/3610.20 c learned cardinalities 46653 ,( 3.24 )
3600.04/3610.20 c learned general constraints 338472 ,( 23.54 )
3600.04/3610.20 c learned average constraint length 695.35
3600.04/3610.20 c learned average constraint degree 22837748.29
3600.04/3610.20 c watched CF 32, 64, 128, Arb: 85074 , 0 , 0 , 0
3600.04/3610.20 c counting CF 32, 64, 128, Arb: 253398 , 0 , 0 , 0
3600.04/3610.20 c watched constraints 85074 ,( 25.13 )
3600.04/3610.20 c counting constraints 253398 ,( 74.87 )
3600.04/3610.20 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1328376603 , 740791923 , 2132562244 ,( 85229843 , 2047332401 )
3600.04/3610.20 c gcd simplifications 794
3600.04/3610.20 c detected cardinalities 6660
3600.04/3610.20 c weakened non-implied lits 396366936
3600.04/3610.20 c weakened non-implying lits 224929
3600.04/3610.20 c original variables 20156
3600.04/3610.20 c clausal propagations 661191846
3600.04/3610.20 c cardinality propagations 527089522
3600.04/3610.20 c watched propagations 4311670
3600.04/3610.20 c counting propagations 227382350
3600.04/3610.20 c watch lookups 81571622613
3600.04/3610.20 c watch backjump lookups 0
3600.04/3610.20 c watch checks 32289649364
3600.04/3610.20 c propagation checks 125291617789
3600.04/3610.20 c constraint additions 4809715866
3600.04/3610.20 c trail pops 1467826591
3600.04/3610.20 c formula constraints 20589
3600.04/3610.20 c learned constraints 1438148
3600.04/3610.20 c bound constraints 0
3600.04/3610.20 c core-guided constraints 0
3600.04/3610.20 c encountered formula constraints 55585487
3600.04/3610.20 c encountered learned constraints 33605094
3600.04/3610.20 c encountered bound constraints 0
3600.04/3610.20 c encountered core-guided constraints 0
3600.04/3610.20 c LP total time 524.995 s
3600.04/3610.20 c LP solve time 520.78 s
3600.04/3610.20 c LP constraints added 20808
3600.04/3610.20 c LP constraints removed 0
3600.04/3610.20 c LP pivots internal 192781
3600.04/3610.20 c LP pivots root 147673
3600.04/3610.20 c LP calls 17
3600.04/3610.20 c LP optimalities 5
3600.04/3610.20 c LP no pivot count 0
3600.04/3610.20 c LP infeasibilities 5
3600.04/3610.20 c LP valid Farkas constraints 5
3600.04/3610.20 c LP learned Farkas constraints 5
3600.04/3610.20 c LP basis resets 0
3600.04/3610.20 c LP cycling count 0
3600.04/3610.20 c LP singular count 0
3600.04/3610.20 c LP no primal count 0
3600.04/3610.20 c LP no farkas count 0
3600.04/3610.20 c LP other issue count 0
3600.04/3610.20 c LP Gomory cuts 1
3600.04/3610.20 c LP learned cuts 218
3600.04/3610.20 c LP deleted cuts 0
3600.04/3610.20 c LP encountered Gomory constraints 0
3600.04/3610.20 c LP encountered Farkas constraints 415
3600.04/3610.20 c LP encountered learned Farkas constraints 5
3600.04/3610.20 c CG auxiliary variables introduced 0
3600.04/3610.20 c CG solutions found 0
3600.04/3610.20 c CG cores constructed 0
3600.04/3610.20 c CG core cardinality constraints returned 0
3600.04/3610.20 c CG unit cores 0
3600.04/3610.20 c CG single cores 0
3600.04/3610.20 c CG blocks removed during cardinality reduction 0
3600.04/3610.20 c CG first core best 0
3600.04/3610.20 c CG decision core best 0
3600.04/3610.20 c CG core reduction tie 0
3600.04/3610.20 c CG core degree average 0.00
3600.04/3610.20 c CG core slack average 0.00
3600.04/3610.20 c CG core upper bound improvements 0
3600.04/3610.20 c STR number of successful calls 0
3600.04/3610.20 c STR number of unsuccessful calls 0
3600.04/3610.20 c STR number of inconclusive calls 0
3600.04/3610.20 c STR number of successful attempts 0
3600.04/3610.20 c STR number of unsuccessful attempts 0
3600.04/3610.20 c STR number of inconclusive attempts 0
3600.04/3610.20 c STR average degree increase per successful call inf
3600.04/3610.20 c STR average degree increase per successful attempt inf
3600.04/3610.20 c STR total number of conflicts for successful attempts 0
3600.04/3610.20 c STR total number of conflicts for unsuccessful attempts 0
3600.04/3610.20 c STR total number of conflicts for inconclusive attempts 0
3600.04/3610.20 c STR average number of conflicts per successful attempt inf
3600.04/3610.20 c STR average number of conflicts per unsuccessful attempt inf
3600.04/3610.20 c STR average number of conflicts per inconclusive attempt inf
3600.04/3610.20 c AVG.sumWPerc 66.41
3600.04/3610.20 c bigint constraints 0
3600.04/3610.20 s UNKNOWN
3600.04/3610.20 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (61029 MiB free)
memory of node 1: 64507 MiB (64008 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506764-1751166689/watcher-4506764-1751166689 -o /tmp/evaluation-result-4506764-1751166689/solver-4506764-1751166689 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751159447-18295 --watchdog 3760 run-dec-break.sh HOME/instance-4506764-1751166689.opb
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 VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=19621, runsolver pid=19618
Current StackSize limit: 8192 KiB
[startup+0.100076 s]*
/proc/loadavg: 4.13 4.30 4.20 5/255 19623
/proc/meminfo: memFree=128036404/131382120 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/19621/stat : 19621 (run-dec-break.s) S 19618 19621 18283 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32348292 4292608 768 18446744073709551615 94841329881088 94841330775621 140726563078896 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94841331014672 94841331062416 94841332801536 140726563084641 140726563084770 140726563084770 140726563090372 0
/proc/19621/statm: 1048 768 704 219 0 110 0
[pid=19623] ppid=19621 vsize=36052 memory=25596 CPUtime=0.07 cores=1,3
/proc/19623/stat : 19623 (pbsuma) R 19621 19621 18283 0 -1 4194304 5692 0 0 0 6 1 0 0 20 0 1 0 32348293 36917248 6399 18446744073709551615 4210688 4653049 140728895421296 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 4700520 4703148 34656256 140728895424867 140728895425074 140728895425074 140728895430639 0
/proc/19623/statm: 9013 6399 1024 108 0 6421 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 40244 KiB
Current children cumulated memory: 28668 KiB
[startup+0.214077 s]*
/proc/loadavg: 4.13 4.30 4.20 5/255 19623
/proc/meminfo: memFree=128020348/131382120 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/19621/stat : 19621 (run-dec-break.s) S 19618 19621 18283 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32348292 4292608 768 18446744073709551615 94841329881088 94841330775621 140726563078896 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94841331014672 94841331062416 94841332801536 140726563084641 140726563084770 140726563084770 140726563090372 0
/proc/19621/statm: 1048 768 704 219 0 110 0
[pid=19623] ppid=19621 vsize=44544 memory=32336 CPUtime=0.19 cores=1,3
/proc/19623/stat : 19623 (pbsuma) R 19621 19621 18283 0 -1 4194304 13253 0 0 0 15 4 0 0 20 0 1 0 32348293 45613056 8084 18446744073709551615 4210688 4653049 140728895421296 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 34656256 140728895424867 140728895425074 140728895425074 140728895430639 0
/proc/19623/statm: 11136 8084 1024 108 0 8544 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 48736 KiB
Current children cumulated memory: 35408 KiB
[startup+0.314119 s]*
/proc/loadavg: 4.13 4.30 4.20 5/255 19624
/proc/meminfo: memFree=128035984/131382120 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=4192 memory=3072 CPUtime=0.21 cores=1,3
/proc/19621/stat : 19621 (run-dec-break.s) S 19618 19621 18283 0 -1 4194304 238 13405 0 0 0 0 16 5 20 0 1 0 32348292 4292608 768 18446744073709551615 94841329881088 94841330775621 140726563078896 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94841331014672 94841331062416 94841332801536 140726563084641 140726563084770 140726563084770 140726563090372 0
/proc/19621/statm: 1048 768 704 219 0 110 0
[pid=19624] ppid=19621 vsize=62692 memory=15744 CPUtime=0.06 cores=1,3
/proc/19624/stat : 19624 (roundingsat) R 19621 19621 18283 0 -1 4194304 2157 0 0 0 5 1 0 0 20 0 1 0 32348317 64196608 3936 18446744073709551615 4227072 8923433 140732309582560 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28631040 140732309584196 140732309584424 140732309584424 140732309589994 0
/proc/19624/statm: 15673 3936 1984 1147 0 3100 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 66884 KiB
Current children cumulated memory: 18816 KiB
[startup+0.700454 s]
/proc/loadavg: 4.13 4.30 4.20 5/255 19624
/proc/meminfo: memFree=128035984/131382120 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=4192 memory=3072 CPUtime=0.21 cores=1,3
/proc/19621/stat : 19621 (run-dec-break.s) S 19618 19621 18283 0 -1 4194304 238 13405 0 0 0 0 16 5 20 0 1 0 32348292 4292608 768 18446744073709551615 94841329881088 94841330775621 140726563078896 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94841331014672 94841331062416 94841332801536 140726563084641 140726563084770 140726563084770 140726563090372 0
/proc/19621/statm: 1048 768 704 219 0 110 0
[pid=19624] ppid=19621 vsize=110936 memory=57840 CPUtime=0.43 cores=1,3
/proc/19624/stat : 19624 (roundingsat) R 19621 19621 18283 0 -1 4194304 11078 0 0 0 35 8 0 0 20 0 1 0 32348317 113598464 14460 18446744073709551615 4227072 8923433 140732309582560 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28631040 140732309584196 140732309584424 140732309584424 140732309589994 0
/proc/19624/statm: 27734 14460 2272 1147 0 15161 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 115128 KiB
Current children cumulated memory: 60912 KiB
[startup+1.50035 s]
/proc/loadavg: 4.13 4.30 4.20 5/255 19624
/proc/meminfo: memFree=128008048/131382120 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=4192 memory=3072 CPUtime=0.21 cores=1,3
/proc/19621/stat : 19621 (run-dec-break.s) S 19618 19621 18283 0 -1 4194304 238 13405 0 0 0 0 16 5 20 0 1 0 32348292 4292608 768 18446744073709551615 94841329881088 94841330775621 140726563078896 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94841331014672 94841331062416 94841332801536 140726563084641 140726563084770 140726563084770 140726563090372 0
/proc/19621/statm: 1048 768 704 219 0 110 0
[pid=19624] ppid=19621 vsize=115032 memory=60784 CPUtime=1.23 cores=1,3
/proc/19624/stat : 19624 (roundingsat) R 19621 19621 18283 0 -1 4194304 11797 0 0 0 114 9 0 0 20 0 1 0 32348317 117792768 15196 18446744073709551615 4227072 8923433 140732309582560 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28631040 140732309584196 140732309584424 140732309584424 140732309589994 0
/proc/19624/statm: 28758 15196 2304 1147 0 16185 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 119224 KiB
Current children cumulated memory: 63856 KiB
[startup+3.11333 s]
/proc/loadavg: 4.20 4.32 4.21 5/255 19624
/proc/meminfo: memFree=128007316/131382120 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=4192 memory=3072 CPUtime=0.21 cores=1,3
/proc/19621/stat : 19621 (run-dec-break.s) S 19618 19621 18283 0 -1 4194304 238 13405 0 0 0 0 16 5 20 0 1 0 32348292 4292608 768 18446744073709551615 94841329881088 94841330775621 140726563078896 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94841331014672 94841331062416 94841332801536 140726563084641 140726563084770 140726563084770 140726563090372 0
/proc/19621/statm: 1048 768 704 219 0 110 0
[pid=19624] ppid=19621 vsize=115032 memory=60784 CPUtime=2.84 cores=1,3
/proc/19624/stat : 19624 (roundingsat) R 19621 19621 18283 0 -1 4194304 11798 0 0 0 275 9 0 0 20 0 1 0 32348317 117792768 15196 18446744073709551615 4227072 8923433 140732309582560 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28631040 140732309584196 140732309584424 140732309584424 140732309589994 0
/proc/19624/statm: 28758 15196 2304 1147 0 16185 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 119224 KiB
Current children cumulated memory: 63856 KiB
[startup+6.30034 s]
/proc/loadavg: 4.20 4.32 4.21 5/255 19624
/proc/meminfo: memFree=127986904/131382120 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=4192 memory=3072 CPUtime=0.21 cores=1,3
/proc/19621/stat : 19621 (run-dec-break.s) S 19618 19621 18283 0 -1 4194304 238 13405 0 0 0 0 16 5 20 0 1 0 32348292 4292608 768 18446744073709551615 94841329881088 94841330775621 140726563078896 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94841331014672 94841331062416 94841332801536 140726563084641 140726563084770 140726563084770 140726563090372 0
/proc/19621/statm: 1048 768 704 219 0 110 0
[pid=19624] ppid=19621 vsize=122720 memory=73060 CPUtime=6.01 cores=1,3
/proc/19624/stat : 19624 (roundingsat) R 19621 19621 18283 0 -1 4194304 14279 0 0 0 584 17 0 0 20 0 1 0 32348317 125665280 18265 18446744073709551615 4227072 8923433 140732309582560 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28631040 140732309584196 140732309584424 140732309584424 140732309589994 0
/proc/19624/statm: 30680 18265 2368 1147 0 18107 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 126912 KiB
Current children cumulated memory: 76132 KiB
[startup+12.7004 s]
/proc/loadavg: 4.17 4.30 4.20 5/255 19624
/proc/meminfo: memFree=127967188/131382120 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=4192 memory=3072 CPUtime=0.21 cores=1,3
/proc/19621/stat : 19621 (run-dec-break.s) S 19618 19621 18283 0 -1 4194304 238 13405 0 0 0 0 16 5 20 0 1 0 32348292 4292608 768 18446744073709551615 94841329881088 94841330775621 140726563078896 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94841331014672 94841331062416 94841332801536 140726563084641 140726563084770 140726563084770 140726563090372 0
/proc/19621/statm: 1048 768 704 219 0 110 0
[pid=19624] ppid=19621 vsize=132360 memory=80996 CPUtime=12.39 cores=1,3
/proc/19624/stat : 19624 (roundingsat) R 19621 19621 18283 0 -1 4194304 16262 0 0 0 1205 34 0 0 20 0 1 0 32348317 135536640 20249 18446744073709551615 4227072 8923433 140732309582560 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28631040 140732309584196 140732309584424 140732309584424 140732309589994 0
/proc/19624/statm: 33090 20249 2368 1147 0 20517 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 136552 KiB
Current children cumulated memory: 84068 KiB
[startup+25.5004 s]
/proc/loadavg: 4.14 4.29 4.20 5/255 19624
/proc/meminfo: memFree=127935948/131382120 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=4192 memory=3072 CPUtime=0.21 cores=1,3
/proc/19621/stat : 19621 (run-dec-break.s) S 19618 19621 18283 0 -1 4194304 238 13405 0 0 0 0 16 5 20 0 1 0 32348292 4292608 768 18446744073709551615 94841329881088 94841330775621 140726563078896 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94841331014672 94841331062416 94841332801536 140726563084641 140726563084770 140726563084770 140726563090372 0
/proc/19621/statm: 1048 768 704 219 0 110 0
[pid=19624] ppid=19621 vsize=162148 memory=108328 CPUtime=25.16 cores=1,3
/proc/19624/stat : 19624 (roundingsat) R 19621 19621 18283 0 -1 4194304 22082 0 0 0 2453 63 0 0 20 0 1 0 32348317 166039552 27082 18446744073709551615 4227072 8923433 140732309582560 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28631040 140732309584196 140732309584424 140732309584424 140732309589994 0
/proc/19624/statm: 40537 27082 2368 1147 0 27964 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 166340 KiB
Current children cumulated memory: 111400 KiB
[startup+51.1133 s]
/proc/loadavg: 4.09 4.27 4.19 5/255 19625
/proc/meminfo: memFree=127886364/131382120 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=4192 memory=3072 CPUtime=0.21 cores=1,3
/proc/19621/stat : 19621 (run-dec-break.s) S 19618 19621 18283 0 -1 4194304 238 13405 0 0 0 0 16 5 20 0 1 0 32348292 4292608 768 18446744073709551615 94841329881088 94841330775621 140726563078896 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94841331014672 94841331062416 94841332801536 140726563084641 140726563084770 140726563084770 140726563090372 0
/proc/19621/statm: 1048 768 704 219 0 110 0
[pid=19624] ppid=19621 vsize=187500 memory=129944 CPUtime=50.72 cores=1,3
/proc/19624/stat : 19624 (roundingsat) R 19621 19621 18283 0 -1 4194304 26538 0 0 0 4955 117 0 0 20 0 1 0 32348317 192000000 32486 18446744073709551615 4227072 8923433 140732309582560 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28631040 140732309584196 140732309584424 140732309584424 140732309589994 0
/proc/19624/statm: 46875 32486 2368 1147 0 34302 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 191692 KiB
Current children cumulated memory: 133016 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.24 4.18 5/254 19627
/proc/meminfo: memFree=127774188/131382120 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=4192 memory=3072 CPUtime=0.21 cores=1,3
/proc/19621/stat : 19621 (run-dec-break.s) S 19618 19621 18283 0 -1 4194304 238 13405 0 0 0 0 16 5 20 0 1 0 32348292 4292608 768 18446744073709551615 94841329881088 94841330775621 140726563078896 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94841331014672 94841331062416 94841332801536 140726563084641 140726563084770 140726563084770 140726563090372 0
/proc/19621/statm: 1048 768 704 219 0 110 0
[pid=19624] ppid=19621 vsize=232940 memory=167732 CPUtime=101.77 cores=1,3
/proc/19624/stat : 19624 (roundingsat) R 19621 19621 18283 0 -1 4194304 32936 0 0 0 9981 196 0 0 20 0 1 0 32348317 238530560 41933 18446744073709551615 4227072 8923433 140732309582560 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28631040 140732309584196 140732309584424 140732309584424 140732309589994 0
/proc/19624/statm: 58235 41933 2368 1147 0 45662 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 237132 KiB
Current children cumulated memory: 170804 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.21 4.18 5/254 19630
/proc/meminfo: memFree=127715772/131382120 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=4192 memory=3072 CPUtime=0.21 cores=1,3
/proc/19621/stat : 19621 (run-dec-break.s) S 19618 19621 18283 0 -1 4194304 238 13405 0 0 0 0 16 5 20 0 1 0 32348292 4292608 768 18446744073709551615 94841329881088 94841330775621 140726563078896 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94841331014672 94841331062416 94841332801536 140726563084641 140726563084770 140726563084770 140726563090372 0
/proc/19621/statm: 1048 768 704 219 0 110 0
[pid=19624] ppid=19621 vsize=290324 memory=220216 CPUtime=161.61 cores=1,3
/proc/19624/stat : 19624 (roundingsat) R 19621 19621 18283 0 -1 4194304 39428 0 0 0 15866 295 0 0 20 0 1 0 32348317 297291776 55054 18446744073709551615 4227072 8923433 140732309582560 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28631040 140732309584196 140732309584424 140732309584424 140732309589994 0
/proc/19624/statm: 72581 55054 2368 1147 0 60008 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 294516 KiB
Current children cumulated memory: 223288 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.20 4.18 5/254 19632
/proc/meminfo: memFree=127677236/131382120 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=4192 memory=3072 CPUtime=0.21 cores=1,3
/proc/19621/stat : 19621 (run-dec-break.s) S 19618 19621 18283 0 -1 4194304 238 13405 0 0 0 0 16 5 20 0 1 0 32348292 4292608 768 18446744073709551615 94841329881088 94841330775621 140726563078896 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94841331014672 94841331062416 94841332801536 140726563084641 140726563084770 140726563084770 140726563090372 0
/proc/19621/statm: 1048 768 704 219 0 110 0
[pid=19624] ppid=19621 vsize=297464 memory=227896 CPUtime=221.46 cores=1,3
/proc/19624/stat : 19624 (roundingsat) R 19621 19621 18283 0 -1 4194304 41342 0 0 0 21772 374 0 0 20 0 1 0 32348317 304603136 56974 18446744073709551615 4227072 8923433 140732309582560 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28631040 140732309584196 140732309584424 140732309584424 140732309589994 0
/proc/19624/statm: 74366 56974 2368 1147 0 61793 0
Current children cumulated CPU time: 221.67 s
################
# More data... #
################
/proc/19624/statm: 281743 233089 2368 1147 0 269170 0
Current children cumulated CPU time: 3033.61 s
Current children cumulated vsize: 1131164 KiB
Current children cumulated memory: 935428 KiB
[startup+3102.3 s]
/proc/loadavg: 4.07 4.15 4.17 5/255 19876
/proc/meminfo: memFree=127017788/131382120 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=4192 memory=3072 CPUtime=0.21 cores=1,3
/proc/19621/stat : 19621 (run-dec-break.s) S 19618 19621 18283 0 -1 4194304 238 13405 0 0 0 0 16 5 20 0 1 0 32348292 4292608 768 18446744073709551615 94841329881088 94841330775621 140726563078896 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94841331014672 94841331062416 94841332801536 140726563084641 140726563084770 140726563084770 140726563090372 0
/proc/19621/statm: 1048 768 704 219 0 110 0
[pid=19624] ppid=19621 vsize=1128424 memory=934020 CPUtime=3093.24 cores=1,3
/proc/19624/stat : 19624 (roundingsat) R 19621 19621 18283 0 -1 4194304 126520 0 0 0 306562 2762 0 0 20 0 1 0 32348317 1155506176 233505 18446744073709551615 4227072 8923433 140732309582560 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28631040 140732309584196 140732309584424 140732309584424 140732309589994 0
/proc/19624/statm: 282106 233505 2368 1147 0 269533 0
Current children cumulated CPU time: 3093.45 s
Current children cumulated vsize: 1132616 KiB
Current children cumulated memory: 937092 KiB
[startup+3162.3 s]
/proc/loadavg: 4.16 4.15 4.17 5/255 19879
/proc/meminfo: memFree=126989188/131382120 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=4192 memory=3072 CPUtime=0.21 cores=1,3
/proc/19621/stat : 19621 (run-dec-break.s) S 19618 19621 18283 0 -1 4194304 238 13405 0 0 0 0 16 5 20 0 1 0 32348292 4292608 768 18446744073709551615 94841329881088 94841330775621 140726563078896 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94841331014672 94841331062416 94841332801536 140726563084641 140726563084770 140726563084770 140726563090372 0
/proc/19621/statm: 1048 768 704 219 0 110 0
[pid=19624] ppid=19621 vsize=1129676 memory=935172 CPUtime=3153.09 cores=1,3
/proc/19624/stat : 19624 (roundingsat) R 19621 19621 18283 0 -1 4194304 126807 0 0 0 312485 2824 0 0 20 0 1 0 32348317 1156788224 233793 18446744073709551615 4227072 8923433 140732309582560 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28631040 140732309584196 140732309584424 140732309584424 140732309589994 0
/proc/19624/statm: 282419 233793 2368 1147 0 269846 0
Current children cumulated CPU time: 3153.3 s
Current children cumulated vsize: 1133868 KiB
Current children cumulated memory: 938244 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.14 4.16 5/256 19882
/proc/meminfo: memFree=126936432/131382120 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=4192 memory=3072 CPUtime=0.21 cores=1,3
/proc/19621/stat : 19621 (run-dec-break.s) S 19618 19621 18283 0 -1 4194304 238 13405 0 0 0 0 16 5 20 0 1 0 32348292 4292608 768 18446744073709551615 94841329881088 94841330775621 140726563078896 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94841331014672 94841331062416 94841332801536 140726563084641 140726563084770 140726563084770 140726563090372 0
/proc/19621/statm: 1048 768 704 219 0 110 0
[pid=19624] ppid=19621 vsize=1131712 memory=937092 CPUtime=3212.93 cores=1,3
/proc/19624/stat : 19624 (roundingsat) R 19621 19621 18283 0 -1 4194304 127289 0 0 0 318444 2849 0 0 20 0 1 0 32348317 1158873088 234273 18446744073709551615 4227072 8923433 140732309582560 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28631040 140732309584196 140732309584424 140732309584424 140732309589994 0
/proc/19624/statm: 282928 234273 2368 1147 0 270355 0
Current children cumulated CPU time: 3213.14 s
Current children cumulated vsize: 1135904 KiB
Current children cumulated memory: 940164 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.14 4.16 5/256 19884
/proc/meminfo: memFree=126879060/131382120 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=4192 memory=3072 CPUtime=0.21 cores=1,3
/proc/19621/stat : 19621 (run-dec-break.s) S 19618 19621 18283 0 -1 4194304 238 13405 0 0 0 0 16 5 20 0 1 0 32348292 4292608 768 18446744073709551615 94841329881088 94841330775621 140726563078896 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94841331014672 94841331062416 94841332801536 140726563084641 140726563084770 140726563084770 140726563090372 0
/proc/19621/statm: 1048 768 704 219 0 110 0
[pid=19624] ppid=19621 vsize=1141692 memory=944900 CPUtime=3272.77 cores=1,3
/proc/19624/stat : 19624 (roundingsat) R 19621 19621 18283 0 -1 4194304 129241 0 0 0 324402 2875 0 0 20 0 1 0 32348317 1169092608 236225 18446744073709551615 4227072 8923433 140732309582560 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28631040 140732309584196 140732309584424 140732309584424 140732309589994 0
/proc/19624/statm: 285423 236225 2368 1147 0 272850 0
Current children cumulated CPU time: 3272.98 s
Current children cumulated vsize: 1145884 KiB
Current children cumulated memory: 947972 KiB
[startup+3342.3 s]
/proc/loadavg: 4.05 4.11 4.15 5/257 19889
/proc/meminfo: memFree=126867892/131382120 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=4192 memory=3072 CPUtime=0.21 cores=1,3
/proc/19621/stat : 19621 (run-dec-break.s) S 19618 19621 18283 0 -1 4194304 238 13405 0 0 0 0 16 5 20 0 1 0 32348292 4292608 768 18446744073709551615 94841329881088 94841330775621 140726563078896 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94841331014672 94841331062416 94841332801536 140726563084641 140726563084770 140726563084770 140726563090372 0
/proc/19621/statm: 1048 768 704 219 0 110 0
[pid=19624] ppid=19621 vsize=1150100 memory=952580 CPUtime=3332.62 cores=1,3
/proc/19624/stat : 19624 (roundingsat) R 19621 19621 18283 0 -1 4194304 131402 0 0 0 330358 2904 0 0 20 0 1 0 32348317 1177702400 238145 18446744073709551615 4227072 8923433 140732309582560 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28631040 140732309584196 140732309584424 140732309584424 140732309589994 0
/proc/19624/statm: 287525 238145 2368 1147 0 274952 0
Current children cumulated CPU time: 3332.83 s
Current children cumulated vsize: 1154292 KiB
Current children cumulated memory: 955652 KiB
[startup+3402.3 s]
/proc/loadavg: 4.74 4.29 4.21 5/257 19891
/proc/meminfo: memFree=126780856/131382120 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=4192 memory=3072 CPUtime=0.21 cores=1,3
/proc/19621/stat : 19621 (run-dec-break.s) S 19618 19621 18283 0 -1 4194304 238 13405 0 0 0 0 16 5 20 0 1 0 32348292 4292608 768 18446744073709551615 94841329881088 94841330775621 140726563078896 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94841331014672 94841331062416 94841332801536 140726563084641 140726563084770 140726563084770 140726563090372 0
/proc/19621/statm: 1048 768 704 219 0 110 0
[pid=19624] ppid=19621 vsize=1150100 memory=952580 CPUtime=3392.46 cores=1,3
/proc/19624/stat : 19624 (roundingsat) R 19621 19621 18283 0 -1 4194304 131437 0 0 0 336286 2960 0 0 20 0 1 0 32348317 1177702400 238145 18446744073709551615 4227072 8923433 140732309582560 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28631040 140732309584196 140732309584424 140732309584424 140732309589994 0
/proc/19624/statm: 287525 238145 2368 1147 0 274952 0
Current children cumulated CPU time: 3392.67 s
Current children cumulated vsize: 1154292 KiB
Current children cumulated memory: 955652 KiB
[startup+3462.3 s]
/proc/loadavg: 4.44 4.30 4.22 5/256 19895
/proc/meminfo: memFree=126769768/131382120 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=4192 memory=3072 CPUtime=0.21 cores=1,3
/proc/19621/stat : 19621 (run-dec-break.s) S 19618 19621 18283 0 -1 4194304 238 13405 0 0 0 0 16 5 20 0 1 0 32348292 4292608 768 18446744073709551615 94841329881088 94841330775621 140726563078896 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94841331014672 94841331062416 94841332801536 140726563084641 140726563084770 140726563084770 140726563090372 0
/proc/19621/statm: 1048 768 704 219 0 110 0
[pid=19624] ppid=19621 vsize=1150100 memory=952580 CPUtime=3452.31 cores=1,3
/proc/19624/stat : 19624 (roundingsat) R 19621 19621 18283 0 -1 4194304 131437 0 0 0 342221 3010 0 0 20 0 1 0 32348317 1177702400 238145 18446744073709551615 4227072 8923433 140732309582560 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28631040 140732309584196 140732309584424 140732309584424 140732309589994 0
/proc/19624/statm: 287525 238145 2368 1147 0 274952 0
Current children cumulated CPU time: 3452.52 s
Current children cumulated vsize: 1154292 KiB
Current children cumulated memory: 955652 KiB
[startup+3522.3 s]
/proc/loadavg: 4.21 4.26 4.21 5/255 19899
/proc/meminfo: memFree=126772800/131382120 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=4192 memory=3072 CPUtime=0.21 cores=1,3
/proc/19621/stat : 19621 (run-dec-break.s) S 19618 19621 18283 0 -1 4194304 238 13405 0 0 0 0 16 5 20 0 1 0 32348292 4292608 768 18446744073709551615 94841329881088 94841330775621 140726563078896 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94841331014672 94841331062416 94841332801536 140726563084641 140726563084770 140726563084770 140726563090372 0
/proc/19621/statm: 1048 768 704 219 0 110 0
[pid=19624] ppid=19621 vsize=1160504 memory=963072 CPUtime=3512.16 cores=1,3
/proc/19624/stat : 19624 (roundingsat) R 19621 19621 18283 0 -1 4194304 133539 0 0 0 348175 3041 0 0 20 0 1 0 32348317 1188356096 240768 18446744073709551615 4227072 8923433 140732309582560 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28631040 140732309584196 140732309584424 140732309584424 140732309589994 0
/proc/19624/statm: 290126 240768 2368 1147 0 277553 0
Current children cumulated CPU time: 3512.37 s
Current children cumulated vsize: 1164696 KiB
Current children cumulated memory: 966144 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.22 4.20 5/255 19902
/proc/meminfo: memFree=126775184/131382120 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=4192 memory=3072 CPUtime=0.21 cores=1,3
/proc/19621/stat : 19621 (run-dec-break.s) S 19618 19621 18283 0 -1 4194304 238 13405 0 0 0 0 16 5 20 0 1 0 32348292 4292608 768 18446744073709551615 94841329881088 94841330775621 140726563078896 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94841331014672 94841331062416 94841332801536 140726563084641 140726563084770 140726563084770 140726563090372 0
/proc/19621/statm: 1048 768 704 219 0 110 0
[pid=19624] ppid=19621 vsize=1160504 memory=963072 CPUtime=3572 cores=1,3
/proc/19624/stat : 19624 (roundingsat) R 19621 19621 18283 0 -1 4194304 133549 0 0 0 354130 3070 0 0 20 0 1 0 32348317 1188356096 240768 18446744073709551615 4227072 8923433 140732309582560 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28631040 140732309584196 140732309584424 140732309584424 140732309589994 0
/proc/19624/statm: 290126 240768 2368 1147 0 277553 0
Current children cumulated CPU time: 3572.21 s
Current children cumulated vsize: 1164696 KiB
Current children cumulated memory: 966144 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.2 s]
/proc/loadavg: 4.14 4.22 4.19 5/250 19912
/proc/meminfo: memFree=127656468/131382120 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=4192 memory=3072 CPUtime=0.21 cores=1,3
/proc/19621/stat : 19621 (run-dec-break.s) S 19618 19621 18283 0 -1 4194304 238 13405 0 0 0 0 16 5 20 0 1 0 32348292 4292608 768 18446744073709551615 94841329881088 94841330775621 140726563078896 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94841331014672 94841331062416 94841332801536 140726563084641 140726563084770 140726563084770 140726563090372 0
/proc/19621/statm: 1048 768 704 219 0 110 0
[pid=19624] ppid=19621 vsize=1160504 memory=963072 CPUtime=3599.83 cores=1,3
/proc/19624/stat : 19624 (roundingsat) R 19621 19621 18283 0 -1 4194304 133560 0 0 0 356893 3090 0 0 20 0 1 0 32348317 1188356096 240768 18446744073709551615 4227072 8923433 140732309582560 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28631040 140732309584196 140732309584424 140732309584424 140732309589994 0
/proc/19624/statm: 290126 240768 2368 1147 0 277553 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1164696 KiB
Current children cumulated memory: 966144 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.21 s]
# the end of solver process 19621 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.170882 s, system=0.054713 s
Sleeping 2 seconds
[startup+3610.22 s]
# the end of solver process 19624 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3569.11 s, system=30.9629 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3610.22
CPU time (s): 3600.08
CPU user time (s): 3569.11
CPU system time (s): 30.9629
CPU usage (%): 99.7192
Max. virtual memory (cumulated for all children) (KiB): 1164696
Max. memory (cumulated for all children) (KiB): 966144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3569.11
system time used= 30.9629
maximum resident set size= 963328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 147222
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 441
involuntary context switches= 2952
# summary of solver processes directly reported to runsolver:
# pid: 19621,19624
# total CPU time (s): 3600.08
# total CPU user time (s): 3569.11
# total CPU system time (s): 30.9629
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.5433 second user time and 37.8822 second system time
The end
Begin job on nodeC006 at 2025-06-29 05:11:29
IDJOB=4506764
IDBENCH=158263
IDSOLVER=3357
FILE ID=nodeC006/4506764-1751166689
RUNJOBID= nodeC006-1751159447-18295
SLURM_JOB_ID= 9587503
Free space on /tmp= 432936 MiB
SOLVER NAME= roundingsat+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K169.opb
COMMAND LINE= run-dec-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506764-1751166689/watcher-4506764-1751166689 -o /tmp/evaluation-result-4506764-1751166689/solver-4506764-1751166689 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751159447-18295 --watchdog 3760 run-dec-break.sh HOME/instance-4506764-1751166689.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= e3ebae4cd87024085ca08d92094a2c8e
RANDOM SEED=818111766
nodeC006 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3657.260
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.745
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.311
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.145
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.660
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.137
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.747
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 128039528 kB
MemAvailable: 127778364 kB
Buffers: 3280 kB
Cached: 550428 kB
SwapCached: 0 kB
Active: 2516268 kB
Inactive: 302664 kB
Active(anon): 2283184 kB
Inactive(anon): 0 kB
Active(file): 233084 kB
Inactive(file): 302664 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 18308 kB
Writeback: 0 kB
AnonPages: 2266252 kB
Mapped: 115796 kB
Shmem: 17960 kB
KReclaimable: 85044 kB
Slab: 163924 kB
SReclaimable: 85044 kB
SUnreclaim: 78880 kB
KernelStack: 4096 kB
PageTables: 7640 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 2866304 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149480 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1929216 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191304 kB
DirectMap2M: 10196992 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 433020 MiB
End job on nodeC006 at 2025-06-29 06:11:40