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-4507233-1751174074.opb'
0.00/0.03 c read 1.46MB (19.28ms)
0.00/0.03 c [cnf: #variables 21063 #clauses 21419 #duplicates 0 #arr 137815]
0.00/0.03 c output proof to 'PROOFDIR/proof-4507233-1751174074'
0.00/0.03 c
0.00/0.03 c make graph and approximate orbits
0.00/0.05 c [group: #orbits ~= 3186] (27.18ms)
0.00/0.06 c
0.00/0.06 c detect special group actions
0.00/0.06 c probe for Johnson action (limit=64)
0.00/0.06 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.06 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.06 c (4.04ms)
0.00/0.06 c
0.00/0.06 c detect symmetries on remainder
0.00/0.06 c [graph: #vertices 105671 #edges 402008]
0.00/0.06 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.08 c [group: #symmetries 4.80*10^1 #generators 5] (22.93ms)
0.00/0.08 c
0.00/0.08 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.08 c (0.06ms)
0.00/0.08 c
0.00/0.08 c finalize break order and special generators
0.00/0.08 c
0.00/0.08 c add generic predicates (break_depth=10)
0.00/0.08 c added predicates for 5 generators (0.07ms)
0.00/0.10 c
0.00/0.10 c generation finished
0.00/0.10 c [sbp: #constraints 140 #add_vars 45]
0.00/0.10 c
0.00/0.10 c write result to 'HOME/instance-4507233-1751174074.opb.pre'
0.09/0.10 c wrote 1.48MB (3.44ms)
0.09/0.10 c ------------------------------------------------------------------
0.09/0.10 c 27.18ms 27.96% approx_orbits
0.09/0.10 c 22.93ms 23.59% detect_generic
0.09/0.10 c 19.38ms 19.94% other
0.09/0.10 c 19.28ms 19.84% parse
0.09/0.10 c 4.04ms 4.16% detect_special
0.09/0.10 c 3.44ms 3.54% output
0.09/0.10 c 0.82ms 0.85% finalize_order
0.09/0.10 c 0.07ms 0.07% break_generic
0.09/0.10 c 0.06ms 0.06% optimize_gens
0.09/0.10 c ───────────────────────────────────────────────
0.09/0.10 c 97.20ms 100% total
0.09/0.10 c ------------------------------------------------------------------
0.09/0.13 c RoundingSat 2
0.09/0.13 c branch pb25
0.09/0.13 c commit 63f22ad
0.16/0.30 c #variables 21108 #constraints 21557
117.27/117.89 c #Conflicts: 1000 | #Constraints: 22556
117.27/117.89 c #Conflicts: 2000 | #Constraints: 23556
117.27/117.89 c INPROCESSING
117.27/117.89 c GARBAGE COLLECT
117.27/117.89 c #Conflicts: 3000 | #Constraints: 22801
117.27/117.89 c #Conflicts: 4000 | #Constraints: 23801
117.27/117.89 c INPROCESSING
117.27/117.89 c GARBAGE COLLECT
117.27/117.89 c #Conflicts: 5000 | #Constraints: 23320
117.27/117.89 c #Conflicts: 6000 | #Constraints: 24320
117.27/117.89 c INPROCESSING
117.27/117.89 c GARBAGE COLLECT
117.27/117.89 c #Conflicts: 7000 | #Constraints: 23419
117.27/117.89 c #Conflicts: 8000 | #Constraints: 24419
117.27/117.89 c #Conflicts: 9000 | #Constraints: 25419
117.27/117.89 c #Conflicts: 10000 | #Constraints: 26419
117.27/117.89 c #Conflicts: 11000 | #Constraints: 27419
117.27/117.89 c #Conflicts: 12000 | #Constraints: 28419
117.27/117.89 c INPROCESSING
117.27/117.89 c GARBAGE COLLECT
117.27/117.89 c #Conflicts: 13000 | #Constraints: 25437
117.27/117.89 c #Conflicts: 14000 | #Constraints: 26437
117.27/117.89 c #Conflicts: 15000 | #Constraints: 27437
117.27/117.89 c #Conflicts: 16000 | #Constraints: 28437
117.27/117.89 c INPROCESSING
117.27/117.89 c GARBAGE COLLECT
117.27/117.89 c #Conflicts: 17000 | #Constraints: 25673
117.27/117.89 c #Conflicts: 18000 | #Constraints: 26673
117.27/117.89 c #Conflicts: 19000 | #Constraints: 27673
117.27/117.89 c #Conflicts: 20000 | #Constraints: 28673
117.27/117.89 c #Conflicts: 21000 | #Constraints: 29673
117.27/117.89 c #Conflicts: 22000 | #Constraints: 30673
117.27/117.89 c #Conflicts: 23000 | #Constraints: 31673
117.27/117.89 c #Conflicts: 24000 | #Constraints: 32673
117.27/117.89 c #Conflicts: 25000 | #Constraints: 33673
117.27/117.89 c INPROCESSING
117.27/117.89 c GARBAGE COLLECT
117.27/117.89 c #Conflicts: 26000 | #Constraints: 28258
117.27/117.89 c #Conflicts: 27000 | #Constraints: 29258
117.27/117.89 c #Conflicts: 28000 | #Constraints: 30258
117.27/117.89 c #Conflicts: 29000 | #Constraints: 31258
117.27/117.89 c #Conflicts: 30000 | #Constraints: 32258
117.27/117.89 c INPROCESSING
117.27/117.89 c GARBAGE COLLECT
117.27/117.89 c #Conflicts: 31000 | #Constraints: 27938
117.27/117.89 c #Conflicts: 32000 | #Constraints: 28938
117.27/117.89 c #Conflicts: 33000 | #Constraints: 29938
117.27/117.89 c #Conflicts: 34000 | #Constraints: 30938
117.27/117.89 c #Conflicts: 35000 | #Constraints: 31938
117.27/117.89 c #Conflicts: 36000 | #Constraints: 32938
117.27/117.89 c #Conflicts: 37000 | #Constraints: 33938
117.27/117.89 c #Conflicts: 38000 | #Constraints: 34938
117.27/117.89 c #Conflicts: 39000 | #Constraints: 35938
117.27/117.89 c #Conflicts: 40000 | #Constraints: 36938
117.27/117.89 c #Conflicts: 41000 | #Constraints: 37938
117.27/117.89 c #Conflicts: 42000 | #Constraints: 38938
117.27/117.89 c #Conflicts: 43000 | #Constraints: 39938
117.27/117.89 c INPROCESSING
117.27/117.89 c GARBAGE COLLECT
117.27/117.89 c #Conflicts: 44000 | #Constraints: 31803
117.27/117.89 c #Conflicts: 45000 | #Constraints: 32803
117.27/117.89 c #Conflicts: 46000 | #Constraints: 33803
117.27/117.89 c #Conflicts: 47000 | #Constraints: 34803
117.27/117.89 c #Conflicts: 48000 | #Constraints: 35803
117.27/117.89 c #Conflicts: 49000 | #Constraints: 36803
117.27/117.89 c INPROCESSING
117.27/117.89 c GARBAGE COLLECT
117.27/117.89 c #Conflicts: 50000 | #Constraints: 30949
117.27/117.89 c #Conflicts: 51000 | #Constraints: 31949
117.27/117.89 c #Conflicts: 52000 | #Constraints: 32949
117.27/117.89 c #Conflicts: 53000 | #Constraints: 33949
117.27/117.89 c #Conflicts: 54000 | #Constraints: 34949
117.27/117.89 c #Conflicts: 55000 | #Constraints: 35949
117.27/117.89 c #Conflicts: 56000 | #Constraints: 36949
117.27/117.89 c #Conflicts: 57000 | #Constraints: 37949
117.27/117.89 c #Conflicts: 58000 | #Constraints: 38949
117.27/117.89 c #Conflicts: 59000 | #Constraints: 39949
117.27/117.89 c #Conflicts: 60000 | #Constraints: 40949
117.27/117.89 c #Conflicts: 61000 | #Constraints: 41949
117.27/117.89 c #Conflicts: 62000 | #Constraints: 42949
117.27/117.89 c #Conflicts: 63000 | #Constraints: 43949
117.27/117.89 c #Conflicts: 64000 | #Constraints: 44949
117.27/117.89 c #Conflicts: 65000 | #Constraints: 45949
117.27/117.89 c INPROCESSING
117.27/117.89 c GARBAGE COLLECT
117.27/117.89 c #Conflicts: 66000 | #Constraints: 35008
117.27/117.89 c #Conflicts: 67000 | #Constraints: 36008
117.27/117.89 c #Conflicts: 68000 | #Constraints: 37008
117.27/117.89 c #Conflicts: 69000 | #Constraints: 38008
117.27/117.89 c #Conflicts: 70000 | #Constraints: 39008
117.27/117.89 c #Conflicts: 71000 | #Constraints: 40008
117.27/117.89 c #Conflicts: 72000 | #Constraints: 41008
117.27/117.89 c INPROCESSING
117.27/117.89 c GARBAGE COLLECT
247.54/249.07 c #Conflicts: 73000 | #Constraints: 34301
247.54/249.07 c #Conflicts: 74000 | #Constraints: 35301
247.54/249.07 c #Conflicts: 75000 | #Constraints: 36301
247.54/249.07 c #Conflicts: 76000 | #Constraints: 37301
247.54/249.07 c #Conflicts: 77000 | #Constraints: 38301
247.54/249.07 c #Conflicts: 78000 | #Constraints: 39301
247.54/249.07 c #Conflicts: 79000 | #Constraints: 40301
247.54/249.07 c #Conflicts: 80000 | #Constraints: 41301
247.54/249.07 c #Conflicts: 81000 | #Constraints: 42301
247.54/249.07 c #Conflicts: 82000 | #Constraints: 43301
247.54/249.07 c #Conflicts: 83000 | #Constraints: 44301
247.54/249.07 c #Conflicts: 84000 | #Constraints: 45301
247.54/249.07 c #Conflicts: 85000 | #Constraints: 46301
247.54/249.07 c #Conflicts: 86000 | #Constraints: 47301
247.54/249.07 c #Conflicts: 87000 | #Constraints: 48301
247.54/249.07 c #Conflicts: 88000 | #Constraints: 49301
247.54/249.07 c #Conflicts: 89000 | #Constraints: 50301
247.54/249.07 c #Conflicts: 90000 | #Constraints: 51301
247.54/249.07 c #Conflicts: 91000 | #Constraints: 52301
247.54/249.07 c INPROCESSING
247.54/249.07 c GARBAGE COLLECT
247.54/249.07 c #Conflicts: 92000 | #Constraints: 38199
247.54/249.07 c #Conflicts: 93000 | #Constraints: 39199
247.54/249.07 c #Conflicts: 94000 | #Constraints: 40199
247.54/249.07 c #Conflicts: 95000 | #Constraints: 41199
247.54/249.07 c #Conflicts: 96000 | #Constraints: 42199
247.54/249.07 c #Conflicts: 97000 | #Constraints: 43199
247.54/249.07 c #Conflicts: 98000 | #Constraints: 44199
247.54/249.07 c #Conflicts: 99000 | #Constraints: 45199
247.54/249.07 c #Conflicts: 100000 | #Constraints: 46199
247.54/249.07 c INPROCESSING
247.54/249.07 c GARBAGE COLLECT
247.54/249.07 c #Conflicts: 101000 | #Constraints: 37477
247.54/249.07 c #Conflicts: 102000 | #Constraints: 38477
247.54/249.07 c #Conflicts: 103000 | #Constraints: 39477
247.54/249.07 c #Conflicts: 104000 | #Constraints: 40477
247.54/249.07 c #Conflicts: 105000 | #Constraints: 41477
247.54/249.07 c #Conflicts: 106000 | #Constraints: 42477
247.54/249.07 c #Conflicts: 107000 | #Constraints: 43477
247.54/249.07 c #Conflicts: 108000 | #Constraints: 44477
247.54/249.07 c #Conflicts: 109000 | #Constraints: 45477
247.54/249.07 c #Conflicts: 110000 | #Constraints: 46477
247.54/249.07 c #Conflicts: 111000 | #Constraints: 47477
247.54/249.07 c #Conflicts: 112000 | #Constraints: 48477
247.54/249.07 c #Conflicts: 113000 | #Constraints: 49477
247.54/249.07 c #Conflicts: 114000 | #Constraints: 50477
247.54/249.07 c #Conflicts: 115000 | #Constraints: 51477
247.54/249.07 c #Conflicts: 116000 | #Constraints: 52477
247.54/249.07 c #Conflicts: 117000 | #Constraints: 53477
247.54/249.07 c #Conflicts: 118000 | #Constraints: 54477
247.54/249.07 c #Conflicts: 119000 | #Constraints: 55477
247.54/249.07 c #Conflicts: 120000 | #Constraints: 56477
247.54/249.07 c #Conflicts: 121000 | #Constraints: 57477
247.54/249.07 c INPROCESSING
247.54/249.07 c GARBAGE COLLECT
247.54/249.07 c #Conflicts: 122000 | #Constraints: 40584
247.54/249.07 c #Conflicts: 123000 | #Constraints: 41584
247.54/249.07 c #Conflicts: 124000 | #Constraints: 42584
247.54/249.07 c #Conflicts: 125000 | #Constraints: 43584
247.54/249.07 c #Conflicts: 126000 | #Constraints: 44584
247.54/249.07 c #Conflicts: 127000 | #Constraints: 45584
247.54/249.07 c #Conflicts: 128000 | #Constraints: 46584
247.54/249.07 c #Conflicts: 129000 | #Constraints: 47584
247.54/249.07 c #Conflicts: 130000 | #Constraints: 48584
247.54/249.07 c #Conflicts: 131000 | #Constraints: 49584
247.54/249.07 c #Conflicts: 132000 | #Constraints: 50584
247.54/249.07 c INPROCESSING
247.54/249.07 c GARBAGE COLLECT
247.54/249.07 c #Conflicts: 133000 | #Constraints: 40947
247.54/249.07 c #Conflicts: 134000 | #Constraints: 41947
247.54/249.07 c #Conflicts: 135000 | #Constraints: 42947
247.54/249.07 c #Conflicts: 136000 | #Constraints: 43947
247.54/249.07 c #Conflicts: 137000 | #Constraints: 44947
247.54/249.07 c #Conflicts: 138000 | #Constraints: 45947
247.54/249.07 c #Conflicts: 139000 | #Constraints: 46947
247.54/249.07 c #Conflicts: 140000 | #Constraints: 47947
247.54/249.07 c #Conflicts: 141000 | #Constraints: 48947
247.54/249.07 c #Conflicts: 142000 | #Constraints: 49947
247.54/249.07 c #Conflicts: 143000 | #Constraints: 50947
247.54/249.07 c #Conflicts: 144000 | #Constraints: 51947
247.54/249.07 c #Conflicts: 145000 | #Constraints: 52947
247.54/249.07 c #Conflicts: 146000 | #Constraints: 53947
247.54/249.07 c #Conflicts: 147000 | #Constraints: 54947
247.54/249.07 c #Conflicts: 148000 | #Constraints: 55947
247.54/249.07 c #Conflicts: 149000 | #Constraints: 56947
373.81/376.88 c #Conflicts: 150000 | #Constraints: 57947
373.81/376.88 c #Conflicts: 151000 | #Constraints: 58947
373.81/376.88 c #Conflicts: 152000 | #Constraints: 59947
373.81/376.88 c #Conflicts: 153000 | #Constraints: 60947
373.81/376.88 c #Conflicts: 154000 | #Constraints: 61947
373.81/376.88 c #Conflicts: 155000 | #Constraints: 62947
373.81/376.88 c #Conflicts: 156000 | #Constraints: 63947
373.81/376.88 c INPROCESSING
373.81/376.88 c GARBAGE COLLECT
373.81/376.88 c #Conflicts: 157000 | #Constraints: 44005
373.81/376.88 c #Conflicts: 158000 | #Constraints: 45005
373.81/376.88 c #Conflicts: 159000 | #Constraints: 46005
373.81/376.88 c #Conflicts: 160000 | #Constraints: 47005
373.81/376.88 c #Conflicts: 161000 | #Constraints: 48005
373.81/376.88 c #Conflicts: 162000 | #Constraints: 49005
373.81/376.88 c #Conflicts: 163000 | #Constraints: 50005
373.81/376.88 c #Conflicts: 164000 | #Constraints: 51005
373.81/376.88 c #Conflicts: 165000 | #Constraints: 52005
373.81/376.88 c #Conflicts: 166000 | #Constraints: 53005
373.81/376.88 c #Conflicts: 167000 | #Constraints: 54005
373.81/376.88 c #Conflicts: 168000 | #Constraints: 55005
373.81/376.88 c INPROCESSING
373.81/376.88 c GARBAGE COLLECT
373.81/376.88 c #Conflicts: 169000 | #Constraints: 43736
373.81/376.88 c #Conflicts: 170000 | #Constraints: 44736
373.81/376.88 c #Conflicts: 171000 | #Constraints: 45736
373.81/376.88 c #Conflicts: 172000 | #Constraints: 46736
373.81/376.88 c #Conflicts: 173000 | #Constraints: 47736
373.81/376.88 c #Conflicts: 174000 | #Constraints: 48736
373.81/376.88 c #Conflicts: 175000 | #Constraints: 49736
373.81/376.88 c #Conflicts: 176000 | #Constraints: 50736
373.81/376.88 c #Conflicts: 177000 | #Constraints: 51736
373.81/376.88 c #Conflicts: 178000 | #Constraints: 52736
373.81/376.88 c #Conflicts: 179000 | #Constraints: 53736
373.81/376.88 c #Conflicts: 180000 | #Constraints: 54736
373.81/376.88 c #Conflicts: 181000 | #Constraints: 55736
373.81/376.88 c #Conflicts: 182000 | #Constraints: 56736
373.81/376.88 c #Conflicts: 183000 | #Constraints: 57736
373.81/376.88 c #Conflicts: 184000 | #Constraints: 58736
373.81/376.88 c #Conflicts: 185000 | #Constraints: 59736
373.81/376.88 c #Conflicts: 186000 | #Constraints: 60736
373.81/376.88 c #Conflicts: 187000 | #Constraints: 61736
373.81/376.88 c #Conflicts: 188000 | #Constraints: 62736
373.81/376.88 c #Conflicts: 189000 | #Constraints: 63736
373.81/376.88 c #Conflicts: 190000 | #Constraints: 64736
373.81/376.88 c #Conflicts: 191000 | #Constraints: 65736
373.81/376.88 c #Conflicts: 192000 | #Constraints: 66736
373.81/376.88 c #Conflicts: 193000 | #Constraints: 67736
373.81/376.88 c #Conflicts: 194000 | #Constraints: 68736
373.81/376.88 c #Conflicts: 195000 | #Constraints: 69736
373.81/376.88 c #Conflicts: 196000 | #Constraints: 70736
373.81/376.88 c INPROCESSING
373.81/376.88 c GARBAGE COLLECT
373.81/376.88 c #Conflicts: 197000 | #Constraints: 47753
373.81/376.88 c #Conflicts: 198000 | #Constraints: 48753
373.81/376.88 c #Conflicts: 199000 | #Constraints: 49753
373.81/376.88 c #Conflicts: 200000 | #Constraints: 50753
373.81/376.88 c #Conflicts: 201000 | #Constraints: 51753
373.81/376.88 c #Conflicts: 202000 | #Constraints: 52753
373.81/376.88 c #Conflicts: 203000 | #Constraints: 53753
373.81/376.88 c #Conflicts: 204000 | #Constraints: 54753
373.81/376.88 c #Conflicts: 205000 | #Constraints: 55753
373.81/376.88 c #Conflicts: 206000 | #Constraints: 56753
373.81/376.88 c #Conflicts: 207000 | #Constraints: 57753
373.81/376.88 c #Conflicts: 208000 | #Constraints: 58753
373.81/376.88 c #Conflicts: 209000 | #Constraints: 59753
373.81/376.88 c INPROCESSING
373.81/376.88 c GARBAGE COLLECT
373.81/376.88 c #Conflicts: 210000 | #Constraints: 46899
373.81/376.88 c #Conflicts: 211000 | #Constraints: 47899
373.81/376.88 c #Conflicts: 212000 | #Constraints: 48899
373.81/376.88 c #Conflicts: 213000 | #Constraints: 49899
373.81/376.88 c #Conflicts: 214000 | #Constraints: 50899
373.81/376.88 c #Conflicts: 215000 | #Constraints: 51899
373.81/376.88 c #Conflicts: 216000 | #Constraints: 52899
373.81/376.88 c #Conflicts: 217000 | #Constraints: 53899
373.81/376.88 c #Conflicts: 218000 | #Constraints: 54899
373.81/376.88 c #Conflicts: 219000 | #Constraints: 55899
373.81/376.88 c #Conflicts: 220000 | #Constraints: 56899
373.81/376.88 c #Conflicts: 221000 | #Constraints: 57899
373.81/376.88 c #Conflicts: 222000 | #Constraints: 58899
373.81/376.88 c #Conflicts: 223000 | #Constraints: 59899
373.81/376.88 c #Conflicts: 224000 | #Constraints: 60899
373.81/376.88 c #Conflicts: 225000 | #Constraints: 61899
632.08/644.49 c #Conflicts: 226000 | #Constraints: 62899
632.08/644.49 c #Conflicts: 227000 | #Constraints: 63899
632.08/644.49 c #Conflicts: 228000 | #Constraints: 64899
632.08/644.49 c #Conflicts: 229000 | #Constraints: 65899
632.08/644.49 c #Conflicts: 230000 | #Constraints: 66899
632.08/644.49 c #Conflicts: 231000 | #Constraints: 67899
632.08/644.49 c #Conflicts: 232000 | #Constraints: 68899
632.08/644.49 c #Conflicts: 233000 | #Constraints: 69899
632.08/644.49 c #Conflicts: 234000 | #Constraints: 70899
632.08/644.49 c #Conflicts: 235000 | #Constraints: 71899
632.08/644.49 c #Conflicts: 236000 | #Constraints: 72899
632.08/644.49 c #Conflicts: 237000 | #Constraints: 73899
632.08/644.49 c #Conflicts: 238000 | #Constraints: 74899
632.08/644.49 c #Conflicts: 239000 | #Constraints: 75899
632.08/644.49 c #Conflicts: 240000 | #Constraints: 76899
632.08/644.49 c INPROCESSING
632.08/644.49 c GARBAGE COLLECT
632.08/644.49 c #Conflicts: 241000 | #Constraints: 50972
632.08/644.49 c #Conflicts: 242000 | #Constraints: 51972
632.08/644.49 c #Conflicts: 243000 | #Constraints: 52972
632.08/644.49 c #Conflicts: 244000 | #Constraints: 53972
632.08/644.49 c #Conflicts: 245000 | #Constraints: 54972
632.08/644.49 c #Conflicts: 246000 | #Constraints: 55972
632.08/644.49 c #Conflicts: 247000 | #Constraints: 56972
632.08/644.49 c #Conflicts: 248000 | #Constraints: 57972
632.08/644.49 c #Conflicts: 249000 | #Constraints: 58972
632.08/644.49 c #Conflicts: 250000 | #Constraints: 59972
632.08/644.49 c #Conflicts: 251000 | #Constraints: 60972
632.08/644.49 c #Conflicts: 252000 | #Constraints: 61972
632.08/644.49 c #Conflicts: 253000 | #Constraints: 62972
632.08/644.49 c #Conflicts: 254000 | #Constraints: 63972
632.08/644.49 c INPROCESSING
632.08/644.49 c GARBAGE COLLECT
632.08/644.49 c #Conflicts: 255000 | #Constraints: 49269
632.08/644.49 c #Conflicts: 256000 | #Constraints: 50269
632.08/644.49 c #Conflicts: 257000 | #Constraints: 51269
632.08/644.49 c #Conflicts: 258000 | #Constraints: 52269
632.08/644.49 c #Conflicts: 259000 | #Constraints: 53269
632.08/644.49 c #Conflicts: 260000 | #Constraints: 54269
632.08/644.49 c #Conflicts: 261000 | #Constraints: 55269
632.08/644.49 c #Conflicts: 262000 | #Constraints: 56269
632.08/644.49 c #Conflicts: 263000 | #Constraints: 57269
632.08/644.49 c #Conflicts: 264000 | #Constraints: 58269
632.08/644.49 c #Conflicts: 265000 | #Constraints: 59269
632.08/644.49 c #Conflicts: 266000 | #Constraints: 60269
632.08/644.49 c #Conflicts: 267000 | #Constraints: 61269
632.08/644.49 c #Conflicts: 268000 | #Constraints: 62269
632.08/644.49 c #Conflicts: 269000 | #Constraints: 63269
632.08/644.49 c #Conflicts: 270000 | #Constraints: 64269
632.08/644.49 c #Conflicts: 271000 | #Constraints: 65269
632.08/644.49 c #Conflicts: 272000 | #Constraints: 66269
632.08/644.49 c #Conflicts: 273000 | #Constraints: 67269
632.08/644.49 c #Conflicts: 274000 | #Constraints: 68269
632.08/644.49 c #Conflicts: 275000 | #Constraints: 69269
632.08/644.49 c #Conflicts: 276000 | #Constraints: 70269
632.08/644.49 c #Conflicts: 277000 | #Constraints: 71269
632.08/644.49 c #Conflicts: 278000 | #Constraints: 72269
632.08/644.49 c #Conflicts: 279000 | #Constraints: 73269
632.08/644.49 c #Conflicts: 280000 | #Constraints: 74269
632.08/644.49 c #Conflicts: 281000 | #Constraints: 75269
632.08/644.49 c #Conflicts: 282000 | #Constraints: 76269
632.08/644.49 c #Conflicts: 283000 | #Constraints: 77269
632.08/644.49 c #Conflicts: 284000 | #Constraints: 78269
632.08/644.49 c #Conflicts: 285000 | #Constraints: 79269
632.08/644.49 c #Conflicts: 286000 | #Constraints: 80269
632.08/644.49 c #Conflicts: 287000 | #Constraints: 81269
632.08/644.49 c #Conflicts: 288000 | #Constraints: 82269
632.08/644.49 c INPROCESSING
632.08/644.49 c GARBAGE COLLECT
632.08/644.49 c #Conflicts: 289000 | #Constraints: 53880
632.08/644.49 c #Conflicts: 290000 | #Constraints: 54880
632.08/644.49 c #Conflicts: 291000 | #Constraints: 55880
632.08/644.49 c #Conflicts: 292000 | #Constraints: 56880
632.08/644.49 c #Conflicts: 293000 | #Constraints: 57880
632.08/644.49 c #Conflicts: 294000 | #Constraints: 58880
632.08/644.49 c #Conflicts: 295000 | #Constraints: 59880
632.08/644.49 c #Conflicts: 296000 | #Constraints: 60880
632.08/644.49 c #Conflicts: 297000 | #Constraints: 61880
632.08/644.49 c #Conflicts: 298000 | #Constraints: 62880
632.08/644.49 c #Conflicts: 299000 | #Constraints: 63880
632.08/644.49 c #Conflicts: 300000 | #Constraints: 64880
632.08/644.49 c #Conflicts: 301000 | #Constraints: 65880
632.08/644.49 c #Conflicts: 302000 | #Constraints: 66880
777.13/794.82 c #Conflicts: 303000 | #Constraints: 67880
777.13/794.82 c INPROCESSING
777.13/794.82 c GARBAGE COLLECT
777.13/794.82 c #Conflicts: 304000 | #Constraints: 51755
777.13/794.82 c #Conflicts: 305000 | #Constraints: 52755
777.13/794.82 c #Conflicts: 306000 | #Constraints: 53755
777.13/794.82 c #Conflicts: 307000 | #Constraints: 54755
777.13/794.82 c #Conflicts: 308000 | #Constraints: 55755
777.13/794.82 c #Conflicts: 309000 | #Constraints: 56755
777.13/794.82 c #Conflicts: 310000 | #Constraints: 57755
777.13/794.82 c #Conflicts: 311000 | #Constraints: 58755
777.13/794.82 c #Conflicts: 312000 | #Constraints: 59755
777.13/794.82 c #Conflicts: 313000 | #Constraints: 60755
777.13/794.82 c #Conflicts: 314000 | #Constraints: 61755
777.13/794.82 c #Conflicts: 315000 | #Constraints: 62755
777.13/794.82 c #Conflicts: 316000 | #Constraints: 63755
777.13/794.82 c #Conflicts: 317000 | #Constraints: 64755
777.13/794.82 c #Conflicts: 318000 | #Constraints: 65755
777.13/794.82 c #Conflicts: 319000 | #Constraints: 66755
777.13/794.82 c #Conflicts: 320000 | #Constraints: 67755
777.13/794.82 c #Conflicts: 321000 | #Constraints: 68755
777.13/794.82 c #Conflicts: 322000 | #Constraints: 69755
777.13/794.82 c #Conflicts: 323000 | #Constraints: 70755
777.13/794.82 c #Conflicts: 324000 | #Constraints: 71755
777.13/794.82 c #Conflicts: 325000 | #Constraints: 72755
777.13/794.82 c #Conflicts: 326000 | #Constraints: 73755
777.13/794.82 c #Conflicts: 327000 | #Constraints: 74755
777.13/794.82 c #Conflicts: 328000 | #Constraints: 75755
777.13/794.82 c #Conflicts: 329000 | #Constraints: 76755
777.13/794.82 c #Conflicts: 330000 | #Constraints: 77755
777.13/794.82 c #Conflicts: 331000 | #Constraints: 78755
777.13/794.82 c #Conflicts: 332000 | #Constraints: 79755
777.13/794.82 c #Conflicts: 333000 | #Constraints: 80755
777.13/794.82 c #Conflicts: 334000 | #Constraints: 81755
777.13/794.82 c #Conflicts: 335000 | #Constraints: 82755
777.13/794.82 c #Conflicts: 336000 | #Constraints: 83755
777.13/794.82 c #Conflicts: 337000 | #Constraints: 84755
777.13/794.82 c #Conflicts: 338000 | #Constraints: 85755
777.13/794.82 c #Conflicts: 339000 | #Constraints: 86755
777.13/794.82 c #Conflicts: 340000 | #Constraints: 87755
777.13/794.82 c INPROCESSING
777.13/794.82 c GARBAGE COLLECT
777.13/794.82 c #Conflicts: 341000 | #Constraints: 56202
777.13/794.82 c #Conflicts: 342000 | #Constraints: 57202
777.13/794.82 c #Conflicts: 343000 | #Constraints: 58202
777.13/794.82 c #Conflicts: 344000 | #Constraints: 59202
777.13/794.82 c #Conflicts: 345000 | #Constraints: 60202
777.13/794.82 c #Conflicts: 346000 | #Constraints: 61202
777.13/794.82 c #Conflicts: 347000 | #Constraints: 62202
777.13/794.82 c #Conflicts: 348000 | #Constraints: 63202
777.13/794.82 c #Conflicts: 349000 | #Constraints: 64202
777.13/794.82 c #Conflicts: 350000 | #Constraints: 65202
777.13/794.82 c #Conflicts: 351000 | #Constraints: 66202
777.13/794.82 c #Conflicts: 352000 | #Constraints: 67202
777.13/794.82 c #Conflicts: 353000 | #Constraints: 68202
777.13/794.82 c #Conflicts: 354000 | #Constraints: 69202
777.13/794.82 c #Conflicts: 355000 | #Constraints: 70202
777.13/794.82 c #Conflicts: 356000 | #Constraints: 71202
777.13/794.82 c #Conflicts: 357000 | #Constraints: 72202
777.13/794.82 c INPROCESSING
777.13/794.82 c GARBAGE COLLECT
777.13/794.82 c #Conflicts: 358000 | #Constraints: 55010
777.13/794.82 c #Conflicts: 359000 | #Constraints: 56010
777.13/794.82 c #Conflicts: 360000 | #Constraints: 57010
777.13/794.82 c #Conflicts: 361000 | #Constraints: 58010
777.13/794.82 c #Conflicts: 362000 | #Constraints: 59010
777.13/794.82 c #Conflicts: 363000 | #Constraints: 60010
777.13/794.82 c #Conflicts: 364000 | #Constraints: 61010
777.13/794.82 c #Conflicts: 365000 | #Constraints: 62010
777.13/794.82 c #Conflicts: 366000 | #Constraints: 63010
777.13/794.82 c #Conflicts: 367000 | #Constraints: 64010
777.13/794.82 c #Conflicts: 368000 | #Constraints: 65010
777.13/794.82 c #Conflicts: 369000 | #Constraints: 66010
777.13/794.82 c #Conflicts: 370000 | #Constraints: 67010
777.13/794.82 c #Conflicts: 371000 | #Constraints: 68010
777.13/794.82 c #Conflicts: 372000 | #Constraints: 69010
777.13/794.82 c #Conflicts: 373000 | #Constraints: 70010
777.13/794.82 c #Conflicts: 374000 | #Constraints: 71010
777.13/794.82 c #Conflicts: 375000 | #Constraints: 72010
777.13/794.82 c #Conflicts: 376000 | #Constraints: 73010
777.13/794.82 c #Conflicts: 377000 | #Constraints: 74010
777.13/794.82 c #Conflicts: 378000 | #Constraints: 75010
931.86/956.71 c #Conflicts: 379000 | #Constraints: 76010
931.86/956.71 c #Conflicts: 380000 | #Constraints: 77010
931.86/956.71 c #Conflicts: 381000 | #Constraints: 78010
931.86/956.71 c #Conflicts: 382000 | #Constraints: 79010
931.86/956.71 c #Conflicts: 383000 | #Constraints: 80010
931.86/956.71 c #Conflicts: 384000 | #Constraints: 81010
931.86/956.71 c #Conflicts: 385000 | #Constraints: 82010
931.86/956.71 c #Conflicts: 386000 | #Constraints: 83010
931.86/956.71 c #Conflicts: 387000 | #Constraints: 84010
931.86/956.71 c #Conflicts: 388000 | #Constraints: 85010
931.86/956.71 c #Conflicts: 389000 | #Constraints: 86010
931.86/956.71 c #Conflicts: 390000 | #Constraints: 87010
931.86/956.71 c #Conflicts: 391000 | #Constraints: 88010
931.86/956.71 c #Conflicts: 392000 | #Constraints: 89010
931.86/956.71 c #Conflicts: 393000 | #Constraints: 90010
931.86/956.71 c #Conflicts: 394000 | #Constraints: 91010
931.86/956.71 c #Conflicts: 395000 | #Constraints: 92010
931.86/956.71 c #Conflicts: 396000 | #Constraints: 93010
931.86/956.71 c #Conflicts: 397000 | #Constraints: 94010
931.86/956.71 c INPROCESSING
931.86/956.71 c GARBAGE COLLECT
931.86/956.71 c #Conflicts: 398000 | #Constraints: 59444
931.86/956.71 c #Conflicts: 399000 | #Constraints: 60444
931.86/956.71 c #Conflicts: 400000 | #Constraints: 61444
931.86/956.71 c #Conflicts: 401000 | #Constraints: 62444
931.86/956.71 c #Conflicts: 402000 | #Constraints: 63444
931.86/956.71 c #Conflicts: 403000 | #Constraints: 64444
931.86/956.71 c #Conflicts: 404000 | #Constraints: 65444
931.86/956.71 c #Conflicts: 405000 | #Constraints: 66444
931.86/956.71 c #Conflicts: 406000 | #Constraints: 67444
931.86/956.71 c #Conflicts: 407000 | #Constraints: 68444
931.86/956.71 c #Conflicts: 408000 | #Constraints: 69444
931.86/956.71 c #Conflicts: 409000 | #Constraints: 70444
931.86/956.71 c #Conflicts: 410000 | #Constraints: 71444
931.86/956.71 c #Conflicts: 411000 | #Constraints: 72444
931.86/956.71 c #Conflicts: 412000 | #Constraints: 73444
931.86/956.71 c #Conflicts: 413000 | #Constraints: 74444
931.86/956.71 c #Conflicts: 414000 | #Constraints: 75444
931.86/956.71 c #Conflicts: 415000 | #Constraints: 76444
931.86/956.71 c INPROCESSING
931.86/956.71 c GARBAGE COLLECT
931.86/956.71 c #Conflicts: 416000 | #Constraints: 57803
931.86/956.71 c #Conflicts: 417000 | #Constraints: 58803
931.86/956.71 c #Conflicts: 418000 | #Constraints: 59803
931.86/956.71 c #Conflicts: 419000 | #Constraints: 60803
931.86/956.71 c #Conflicts: 420000 | #Constraints: 61803
931.86/956.71 c #Conflicts: 421000 | #Constraints: 62803
931.86/956.71 c #Conflicts: 422000 | #Constraints: 63803
931.86/956.71 c #Conflicts: 423000 | #Constraints: 64803
931.86/956.71 c #Conflicts: 424000 | #Constraints: 65803
931.86/956.71 c #Conflicts: 425000 | #Constraints: 66803
931.86/956.71 c #Conflicts: 426000 | #Constraints: 67803
931.86/956.71 c #Conflicts: 427000 | #Constraints: 68803
931.86/956.71 c #Conflicts: 428000 | #Constraints: 69803
931.86/956.71 c #Conflicts: 429000 | #Constraints: 70803
931.86/956.71 c #Conflicts: 430000 | #Constraints: 71803
931.86/956.71 c #Conflicts: 431000 | #Constraints: 72803
931.86/956.71 c #Conflicts: 432000 | #Constraints: 73803
931.86/956.71 c #Conflicts: 433000 | #Constraints: 74803
931.86/956.71 c #Conflicts: 434000 | #Constraints: 75803
931.86/956.71 c #Conflicts: 435000 | #Constraints: 76803
931.86/956.71 c #Conflicts: 436000 | #Constraints: 77803
931.86/956.71 c #Conflicts: 437000 | #Constraints: 78803
931.86/956.71 c #Conflicts: 438000 | #Constraints: 79803
931.86/956.71 c #Conflicts: 439000 | #Constraints: 80803
931.86/956.71 c #Conflicts: 440000 | #Constraints: 81803
931.86/956.71 c #Conflicts: 441000 | #Constraints: 82803
931.86/956.71 c #Conflicts: 442000 | #Constraints: 83803
931.86/956.71 c #Conflicts: 443000 | #Constraints: 84803
931.86/956.71 c #Conflicts: 444000 | #Constraints: 85803
931.86/956.71 c #Conflicts: 445000 | #Constraints: 86803
931.86/956.71 c #Conflicts: 446000 | #Constraints: 87803
931.86/956.71 c #Conflicts: 447000 | #Constraints: 88803
931.86/956.71 c #Conflicts: 448000 | #Constraints: 89803
931.86/956.71 c #Conflicts: 449000 | #Constraints: 90803
931.86/956.71 c #Conflicts: 450000 | #Constraints: 91803
931.86/956.71 c #Conflicts: 451000 | #Constraints: 92803
931.86/956.71 c #Conflicts: 452000 | #Constraints: 93803
931.86/956.71 c #Conflicts: 453000 | #Constraints: 94803
931.86/956.71 c #Conflicts: 454000 | #Constraints: 95803
931.86/956.71 c #Conflicts: 455000 | #Constraints: 96803
931.86/956.71 c #Conflicts: 456000 | #Constraints: 97803
1107.80/1137.62 c #Conflicts: 457000 | #Constraints: 98803
1107.80/1137.62 c #Conflicts: 458000 | #Constraints: 99803
1107.80/1137.62 c #Conflicts: 459000 | #Constraints: 100803
1107.80/1137.62 c INPROCESSING
1107.80/1137.62 c GARBAGE COLLECT
1107.80/1137.62 c #Conflicts: 460000 | #Constraints: 63071
1107.80/1137.62 c #Conflicts: 461000 | #Constraints: 64071
1107.80/1137.62 c #Conflicts: 462000 | #Constraints: 65071
1107.80/1137.62 c #Conflicts: 463000 | #Constraints: 66071
1107.80/1137.62 c #Conflicts: 464000 | #Constraints: 67071
1107.80/1137.62 c #Conflicts: 465000 | #Constraints: 68071
1107.80/1137.62 c #Conflicts: 466000 | #Constraints: 69071
1107.80/1137.62 c #Conflicts: 467000 | #Constraints: 70071
1107.80/1137.62 c #Conflicts: 468000 | #Constraints: 71071
1107.80/1137.62 c #Conflicts: 469000 | #Constraints: 72071
1107.80/1137.62 c #Conflicts: 470000 | #Constraints: 73071
1107.80/1137.62 c #Conflicts: 471000 | #Constraints: 74071
1107.80/1137.62 c #Conflicts: 472000 | #Constraints: 75071
1107.80/1137.62 c #Conflicts: 473000 | #Constraints: 76071
1107.80/1137.62 c #Conflicts: 474000 | #Constraints: 77071
1107.80/1137.62 c #Conflicts: 475000 | #Constraints: 78071
1107.80/1137.62 c #Conflicts: 476000 | #Constraints: 79071
1107.80/1137.62 c #Conflicts: 477000 | #Constraints: 80071
1107.80/1137.62 c #Conflicts: 478000 | #Constraints: 81071
1107.80/1137.62 c INPROCESSING
1107.80/1137.62 c GARBAGE COLLECT
1107.80/1137.62 c #Conflicts: 479000 | #Constraints: 60114
1107.80/1137.62 c #Conflicts: 480000 | #Constraints: 61114
1107.80/1137.62 c #Conflicts: 481000 | #Constraints: 62114
1107.80/1137.62 c #Conflicts: 482000 | #Constraints: 63114
1107.80/1137.62 c #Conflicts: 483000 | #Constraints: 64114
1107.80/1137.62 c #Conflicts: 484000 | #Constraints: 65114
1107.80/1137.62 c #Conflicts: 485000 | #Constraints: 66114
1107.80/1137.62 c #Conflicts: 486000 | #Constraints: 67114
1107.80/1137.62 c #Conflicts: 487000 | #Constraints: 68114
1107.80/1137.62 c #Conflicts: 488000 | #Constraints: 69114
1107.80/1137.62 c #Conflicts: 489000 | #Constraints: 70114
1107.80/1137.62 c #Conflicts: 490000 | #Constraints: 71114
1107.80/1137.62 c #Conflicts: 491000 | #Constraints: 72114
1107.80/1137.62 c #Conflicts: 492000 | #Constraints: 73114
1107.80/1137.62 c #Conflicts: 493000 | #Constraints: 74114
1107.80/1137.62 c #Conflicts: 494000 | #Constraints: 75114
1107.80/1137.62 c #Conflicts: 495000 | #Constraints: 76114
1107.80/1137.62 c #Conflicts: 496000 | #Constraints: 77114
1107.80/1137.62 c #Conflicts: 497000 | #Constraints: 78114
1107.80/1137.62 c #Conflicts: 498000 | #Constraints: 79114
1107.80/1137.62 c #Conflicts: 499000 | #Constraints: 80114
1107.80/1137.62 c #Conflicts: 500000 | #Constraints: 81114
1107.80/1137.62 c #Conflicts: 501000 | #Constraints: 82114
1107.80/1137.62 c #Conflicts: 502000 | #Constraints: 83114
1107.80/1137.62 c #Conflicts: 503000 | #Constraints: 84114
1107.80/1137.62 c #Conflicts: 504000 | #Constraints: 85114
1107.80/1137.62 c #Conflicts: 505000 | #Constraints: 86114
1107.80/1137.62 c #Conflicts: 506000 | #Constraints: 87114
1107.80/1137.62 c #Conflicts: 507000 | #Constraints: 88114
1107.80/1137.62 c #Conflicts: 508000 | #Constraints: 89114
1107.80/1137.62 c #Conflicts: 509000 | #Constraints: 90114
1107.80/1137.62 c #Conflicts: 510000 | #Constraints: 91114
1107.80/1137.62 c #Conflicts: 511000 | #Constraints: 92114
1107.80/1137.62 c #Conflicts: 512000 | #Constraints: 93114
1107.80/1137.62 c #Conflicts: 513000 | #Constraints: 94114
1107.80/1137.62 c #Conflicts: 514000 | #Constraints: 95114
1107.80/1137.62 c #Conflicts: 515000 | #Constraints: 96114
1107.80/1137.62 c #Conflicts: 516000 | #Constraints: 97114
1107.80/1137.62 c #Conflicts: 517000 | #Constraints: 98114
1107.80/1137.62 c #Conflicts: 518000 | #Constraints: 99114
1107.80/1137.62 c #Conflicts: 519000 | #Constraints: 100114
1107.80/1137.62 c #Conflicts: 520000 | #Constraints: 101114
1107.80/1137.62 c #Conflicts: 521000 | #Constraints: 102114
1107.80/1137.62 c #Conflicts: 522000 | #Constraints: 103114
1107.80/1137.62 c #Conflicts: 523000 | #Constraints: 104114
1107.80/1137.62 c #Conflicts: 524000 | #Constraints: 105114
1107.80/1137.62 c #Conflicts: 525000 | #Constraints: 106114
1107.80/1137.62 c INPROCESSING
1107.80/1137.62 c GARBAGE COLLECT
1107.80/1137.62 c #Conflicts: 526000 | #Constraints: 65829
1107.80/1137.62 c #Conflicts: 527000 | #Constraints: 66829
1107.80/1137.62 c #Conflicts: 528000 | #Constraints: 67829
1107.80/1137.62 c #Conflicts: 529000 | #Constraints: 68829
1107.80/1137.62 c #Conflicts: 530000 | #Constraints: 69829
1107.80/1137.62 c #Conflicts: 531000 | #Constraints: 70829
1107.80/1137.62 c #Conflicts: 532000 | #Constraints: 71829
1107.80/1137.62 c #Conflicts: 533000 | #Constraints: 72829
1387.20/1418.28 c #Conflicts: 534000 | #Constraints: 73829
1387.20/1418.28 c #Conflicts: 535000 | #Constraints: 74829
1387.20/1418.28 c #Conflicts: 536000 | #Constraints: 75830
1387.20/1418.28 c #Conflicts: 537000 | #Constraints: 76830
1387.20/1418.28 c #Conflicts: 538000 | #Constraints: 77830
1387.20/1418.28 c #Conflicts: 539000 | #Constraints: 78830
1387.20/1418.28 c #Conflicts: 540000 | #Constraints: 79830
1387.20/1418.28 c #Conflicts: 541000 | #Constraints: 80830
1387.20/1418.28 c #Conflicts: 542000 | #Constraints: 81830
1387.20/1418.28 c #Conflicts: 543000 | #Constraints: 82830
1387.20/1418.28 c #Conflicts: 544000 | #Constraints: 83830
1387.20/1418.28 c #Conflicts: 545000 | #Constraints: 84830
1387.20/1418.28 c INPROCESSING
1387.20/1418.28 c GARBAGE COLLECT
1387.20/1418.28 c #Conflicts: 546000 | #Constraints: 62894
1387.20/1418.28 c #Conflicts: 547000 | #Constraints: 63894
1387.20/1418.28 c #Conflicts: 548000 | #Constraints: 64894
1387.20/1418.28 c #Conflicts: 549000 | #Constraints: 65894
1387.20/1418.28 c #Conflicts: 550000 | #Constraints: 66894
1387.20/1418.28 c #Conflicts: 551000 | #Constraints: 67894
1387.20/1418.28 c #Conflicts: 552000 | #Constraints: 68894
1387.20/1418.28 c #Conflicts: 553000 | #Constraints: 69894
1387.20/1418.28 c #Conflicts: 554000 | #Constraints: 70894
1387.20/1418.28 c #Conflicts: 555000 | #Constraints: 71894
1387.20/1418.28 c #Conflicts: 556000 | #Constraints: 72894
1387.20/1418.28 c #Conflicts: 557000 | #Constraints: 73894
1387.20/1418.28 c #Conflicts: 558000 | #Constraints: 74894
1387.20/1418.28 c #Conflicts: 559000 | #Constraints: 75894
1387.20/1418.28 c #Conflicts: 560000 | #Constraints: 76894
1387.20/1418.28 c #Conflicts: 561000 | #Constraints: 77894
1387.20/1418.28 c #Conflicts: 562000 | #Constraints: 78894
1387.20/1418.28 c #Conflicts: 563000 | #Constraints: 79894
1387.20/1418.28 c #Conflicts: 564000 | #Constraints: 80894
1387.20/1418.28 c #Conflicts: 565000 | #Constraints: 81894
1387.20/1418.28 c #Conflicts: 566000 | #Constraints: 82894
1387.20/1418.28 c #Conflicts: 567000 | #Constraints: 83894
1387.20/1418.28 c #Conflicts: 568000 | #Constraints: 84894
1387.20/1418.28 c #Conflicts: 569000 | #Constraints: 85894
1387.20/1418.28 c #Conflicts: 570000 | #Constraints: 86894
1387.20/1418.28 c #Conflicts: 571000 | #Constraints: 87894
1387.20/1418.28 c #Conflicts: 572000 | #Constraints: 88894
1387.20/1418.28 c #Conflicts: 573000 | #Constraints: 89894
1387.20/1418.28 c #Conflicts: 574000 | #Constraints: 90894
1387.20/1418.28 c #Conflicts: 575000 | #Constraints: 91894
1387.20/1418.28 c #Conflicts: 576000 | #Constraints: 92894
1387.20/1418.28 c #Conflicts: 577000 | #Constraints: 93894
1387.20/1418.28 c #Conflicts: 578000 | #Constraints: 94894
1387.20/1418.28 c #Conflicts: 579000 | #Constraints: 95894
1387.20/1418.28 c #Conflicts: 580000 | #Constraints: 96894
1387.20/1418.28 c #Conflicts: 581000 | #Constraints: 97894
1387.20/1418.28 c #Conflicts: 582000 | #Constraints: 98894
1387.20/1418.28 c #Conflicts: 583000 | #Constraints: 99894
1387.20/1418.28 c #Conflicts: 584000 | #Constraints: 100894
1387.20/1418.28 c #Conflicts: 585000 | #Constraints: 101894
1387.20/1418.28 c #Conflicts: 586000 | #Constraints: 102894
1387.20/1418.28 c #Conflicts: 587000 | #Constraints: 103894
1387.20/1418.28 c #Conflicts: 588000 | #Constraints: 104894
1387.20/1418.28 c #Conflicts: 589000 | #Constraints: 105894
1387.20/1418.28 c #Conflicts: 590000 | #Constraints: 106894
1387.20/1418.28 c #Conflicts: 591000 | #Constraints: 107894
1387.20/1418.28 c #Conflicts: 592000 | #Constraints: 108894
1387.20/1418.28 c #Conflicts: 593000 | #Constraints: 109894
1387.20/1418.28 c #Conflicts: 594000 | #Constraints: 110894
1387.20/1418.28 c #Conflicts: 595000 | #Constraints: 111894
1387.20/1418.28 c INPROCESSING
1387.20/1418.28 c GARBAGE COLLECT
1387.20/1418.28 c #Conflicts: 596000 | #Constraints: 69130
1387.20/1418.28 c #Conflicts: 597000 | #Constraints: 70130
1387.20/1418.28 c #Conflicts: 598000 | #Constraints: 71130
1387.20/1418.28 c #Conflicts: 599000 | #Constraints: 72130
1387.20/1418.28 c #Conflicts: 600000 | #Constraints: 73130
1387.20/1418.28 c #Conflicts: 601000 | #Constraints: 74130
1387.20/1418.28 c #Conflicts: 602000 | #Constraints: 75130
1387.20/1418.28 c #Conflicts: 603000 | #Constraints: 76130
1387.20/1418.28 c #Conflicts: 604000 | #Constraints: 77130
1387.20/1418.28 c #Conflicts: 605000 | #Constraints: 78130
1387.20/1418.28 c #Conflicts: 606000 | #Constraints: 79130
1387.20/1418.28 c #Conflicts: 607000 | #Constraints: 80130
1387.20/1418.28 c #Conflicts: 608000 | #Constraints: 81130
1387.20/1418.28 c #Conflicts: 609000 | #Constraints: 82130
1387.20/1418.28 c #Conflicts: 610000 | #Constraints: 83130
1608.91/1647.96 c #Conflicts: 611000 | #Constraints: 84130
1608.91/1647.96 c #Conflicts: 612000 | #Constraints: 85130
1608.91/1647.96 c #Conflicts: 613000 | #Constraints: 86130
1608.91/1647.96 c #Conflicts: 614000 | #Constraints: 87130
1608.91/1647.96 c #Conflicts: 615000 | #Constraints: 88130
1608.91/1647.96 c #Conflicts: 616000 | #Constraints: 89130
1608.91/1647.96 c #Conflicts: 617000 | #Constraints: 90130
1608.91/1647.96 c INPROCESSING
1608.91/1647.96 c GARBAGE COLLECT
1608.91/1647.96 c #Conflicts: 618000 | #Constraints: 66046
1608.91/1647.96 c #Conflicts: 619000 | #Constraints: 67046
1608.91/1647.96 c #Conflicts: 620000 | #Constraints: 68046
1608.91/1647.96 c #Conflicts: 621000 | #Constraints: 69046
1608.91/1647.96 c #Conflicts: 622000 | #Constraints: 70046
1608.91/1647.96 c #Conflicts: 623000 | #Constraints: 71046
1608.91/1647.96 c #Conflicts: 624000 | #Constraints: 72046
1608.91/1647.96 c #Conflicts: 625000 | #Constraints: 73046
1608.91/1647.96 c #Conflicts: 626000 | #Constraints: 74046
1608.91/1647.96 c #Conflicts: 627000 | #Constraints: 75046
1608.91/1647.96 c #Conflicts: 628000 | #Constraints: 76046
1608.91/1647.96 c #Conflicts: 629000 | #Constraints: 77046
1608.91/1647.96 c #Conflicts: 630000 | #Constraints: 78046
1608.91/1647.96 c #Conflicts: 631000 | #Constraints: 79046
1608.91/1647.96 c #Conflicts: 632000 | #Constraints: 80046
1608.91/1647.96 c #Conflicts: 633000 | #Constraints: 81046
1608.91/1647.96 c #Conflicts: 634000 | #Constraints: 82046
1608.91/1647.96 c #Conflicts: 635000 | #Constraints: 83046
1608.91/1647.96 c #Conflicts: 636000 | #Constraints: 84046
1608.91/1647.96 c #Conflicts: 637000 | #Constraints: 85046
1608.91/1647.96 c #Conflicts: 638000 | #Constraints: 86046
1608.91/1647.96 c #Conflicts: 639000 | #Constraints: 87046
1608.91/1647.96 c #Conflicts: 640000 | #Constraints: 88046
1608.91/1647.96 c #Conflicts: 641000 | #Constraints: 89046
1608.91/1647.96 c #Conflicts: 642000 | #Constraints: 90046
1608.91/1647.96 c #Conflicts: 643000 | #Constraints: 91046
1608.91/1647.96 c #Conflicts: 644000 | #Constraints: 92046
1608.91/1647.96 c #Conflicts: 645000 | #Constraints: 93046
1608.91/1647.96 c #Conflicts: 646000 | #Constraints: 94046
1608.91/1647.96 c #Conflicts: 647000 | #Constraints: 95046
1608.91/1647.96 c #Conflicts: 648000 | #Constraints: 96046
1608.91/1647.96 c #Conflicts: 649000 | #Constraints: 97046
1608.91/1647.96 c #Conflicts: 650000 | #Constraints: 98046
1608.91/1647.96 c #Conflicts: 651000 | #Constraints: 99046
1608.91/1647.96 c #Conflicts: 652000 | #Constraints: 100046
1608.91/1647.96 c #Conflicts: 653000 | #Constraints: 101046
1608.91/1647.96 c #Conflicts: 654000 | #Constraints: 102046
1608.91/1647.96 c #Conflicts: 655000 | #Constraints: 103046
1608.91/1647.96 c #Conflicts: 656000 | #Constraints: 104046
1608.91/1647.96 c #Conflicts: 657000 | #Constraints: 105046
1608.91/1647.96 c #Conflicts: 658000 | #Constraints: 106046
1608.91/1647.96 c #Conflicts: 659000 | #Constraints: 107046
1608.91/1647.96 c #Conflicts: 660000 | #Constraints: 108046
1608.91/1647.96 c #Conflicts: 661000 | #Constraints: 109046
1608.91/1647.96 c #Conflicts: 662000 | #Constraints: 110046
1608.91/1647.96 c #Conflicts: 663000 | #Constraints: 111046
1608.91/1647.96 c #Conflicts: 664000 | #Constraints: 112047
1608.91/1647.96 c #Conflicts: 665000 | #Constraints: 113047
1608.91/1647.96 c #Conflicts: 666000 | #Constraints: 114047
1608.91/1647.96 c #Conflicts: 667000 | #Constraints: 115047
1608.91/1647.96 c #Conflicts: 668000 | #Constraints: 116047
1608.91/1647.96 c #Conflicts: 669000 | #Constraints: 117047
1608.91/1647.96 c INPROCESSING
1608.91/1647.96 c GARBAGE COLLECT
1608.91/1647.96 c #Conflicts: 670000 | #Constraints: 71005
1608.91/1647.96 c #Conflicts: 671000 | #Constraints: 72005
1608.91/1647.96 c #Conflicts: 672000 | #Constraints: 73005
1608.91/1647.96 c #Conflicts: 673000 | #Constraints: 74005
1608.91/1647.96 c #Conflicts: 674000 | #Constraints: 75005
1608.91/1647.96 c #Conflicts: 675000 | #Constraints: 76005
1608.91/1647.96 c #Conflicts: 676000 | #Constraints: 77005
1608.91/1647.96 c #Conflicts: 677000 | #Constraints: 78005
1608.91/1647.96 c #Conflicts: 678000 | #Constraints: 79005
1608.91/1647.96 c #Conflicts: 679000 | #Constraints: 80005
1608.91/1647.96 c #Conflicts: 680000 | #Constraints: 81005
1608.91/1647.96 c #Conflicts: 681000 | #Constraints: 82005
1608.91/1647.96 c #Conflicts: 682000 | #Constraints: 83005
1608.91/1647.96 c #Conflicts: 683000 | #Constraints: 84005
1608.91/1647.96 c #Conflicts: 684000 | #Constraints: 85005
1608.91/1647.96 c #Conflicts: 685000 | #Constraints: 86005
1608.91/1647.96 c #Conflicts: 686000 | #Constraints: 87005
1608.91/1647.96 c #Conflicts: 687000 | #Constraints: 88005
1608.91/1647.96 c #Conflicts: 688000 | #Constraints: 89005
1769.06/1810.00 c #Conflicts: 689000 | #Constraints: 90005
1769.06/1810.00 c #Conflicts: 690000 | #Constraints: 91005
1769.06/1810.00 c #Conflicts: 691000 | #Constraints: 92005
1769.06/1810.00 c #Conflicts: 692000 | #Constraints: 93005
1769.06/1810.00 c #Conflicts: 693000 | #Constraints: 94005
1769.06/1810.00 c INPROCESSING
1769.06/1810.00 c GARBAGE COLLECT
1769.06/1810.00 c #Conflicts: 694000 | #Constraints: 69333
1769.06/1810.00 c #Conflicts: 695000 | #Constraints: 70333
1769.06/1810.00 c #Conflicts: 696000 | #Constraints: 71333
1769.06/1810.00 c #Conflicts: 697000 | #Constraints: 72333
1769.06/1810.00 c #Conflicts: 698000 | #Constraints: 73333
1769.06/1810.00 c #Conflicts: 699000 | #Constraints: 74333
1769.06/1810.00 c #Conflicts: 700000 | #Constraints: 75333
1769.06/1810.00 c #Conflicts: 701000 | #Constraints: 76333
1769.06/1810.00 c #Conflicts: 702000 | #Constraints: 77333
1769.06/1810.00 c #Conflicts: 703000 | #Constraints: 78333
1769.06/1810.00 c #Conflicts: 704000 | #Constraints: 79333
1769.06/1810.00 c #Conflicts: 705000 | #Constraints: 80333
1769.06/1810.00 c #Conflicts: 706000 | #Constraints: 81333
1769.06/1810.00 c #Conflicts: 707000 | #Constraints: 82333
1769.06/1810.00 c #Conflicts: 708000 | #Constraints: 83333
1769.06/1810.00 c #Conflicts: 709000 | #Constraints: 84333
1769.06/1810.00 c #Conflicts: 710000 | #Constraints: 85333
1769.06/1810.00 c #Conflicts: 711000 | #Constraints: 86333
1769.06/1810.00 c #Conflicts: 712000 | #Constraints: 87333
1769.06/1810.00 c #Conflicts: 713000 | #Constraints: 88333
1769.06/1810.00 c #Conflicts: 714000 | #Constraints: 89333
1769.06/1810.00 c #Conflicts: 715000 | #Constraints: 90333
1769.06/1810.00 c #Conflicts: 716000 | #Constraints: 91333
1769.06/1810.00 c #Conflicts: 717000 | #Constraints: 92333
1769.06/1810.00 c #Conflicts: 718000 | #Constraints: 93333
1769.06/1810.00 c #Conflicts: 719000 | #Constraints: 94333
1769.06/1810.00 c #Conflicts: 720000 | #Constraints: 95333
1769.06/1810.00 c #Conflicts: 721000 | #Constraints: 96333
1769.06/1810.00 c #Conflicts: 722000 | #Constraints: 97333
1769.06/1810.00 c #Conflicts: 723000 | #Constraints: 98333
1769.06/1810.00 c #Conflicts: 724000 | #Constraints: 99333
1769.06/1810.00 c #Conflicts: 725000 | #Constraints: 100333
1769.06/1810.00 c #Conflicts: 726000 | #Constraints: 101333
1769.06/1810.00 c #Conflicts: 727000 | #Constraints: 102333
1769.06/1810.00 c #Conflicts: 728000 | #Constraints: 103333
1769.06/1810.00 c #Conflicts: 729000 | #Constraints: 104333
1769.06/1810.00 c #Conflicts: 730000 | #Constraints: 105333
1769.06/1810.00 c #Conflicts: 731000 | #Constraints: 106333
1769.06/1810.00 c #Conflicts: 732000 | #Constraints: 107333
1769.06/1810.00 c #Conflicts: 733000 | #Constraints: 108333
1769.06/1810.00 c #Conflicts: 734000 | #Constraints: 109333
1769.06/1810.00 c #Conflicts: 735000 | #Constraints: 110333
1769.06/1810.00 c #Conflicts: 736000 | #Constraints: 111333
1769.06/1810.00 c #Conflicts: 737000 | #Constraints: 112333
1769.06/1810.00 c #Conflicts: 738000 | #Constraints: 113333
1769.06/1810.00 c #Conflicts: 739000 | #Constraints: 114333
1769.06/1810.00 c #Conflicts: 740000 | #Constraints: 115333
1769.06/1810.00 c #Conflicts: 741000 | #Constraints: 116333
1769.06/1810.00 c #Conflicts: 742000 | #Constraints: 117333
1769.06/1810.00 c #Conflicts: 743000 | #Constraints: 118333
1769.06/1810.00 c #Conflicts: 744000 | #Constraints: 119333
1769.06/1810.00 c #Conflicts: 745000 | #Constraints: 120333
1769.06/1810.00 c #Conflicts: 746000 | #Constraints: 121333
1769.06/1810.00 c #Conflicts: 747000 | #Constraints: 122333
1769.06/1810.00 c #Conflicts: 748000 | #Constraints: 123333
1769.06/1810.00 c INPROCESSING
1769.06/1810.00 c GARBAGE COLLECT
1769.06/1810.00 c #Conflicts: 749000 | #Constraints: 74204
1769.06/1810.00 c #Conflicts: 750000 | #Constraints: 75204
1769.06/1810.00 c #Conflicts: 751000 | #Constraints: 76204
1769.06/1810.00 c #Conflicts: 752000 | #Constraints: 77204
1769.06/1810.00 c #Conflicts: 753000 | #Constraints: 78204
1769.06/1810.00 c #Conflicts: 754000 | #Constraints: 79204
1769.06/1810.00 c #Conflicts: 755000 | #Constraints: 80204
1769.06/1810.00 c #Conflicts: 756000 | #Constraints: 81204
1769.06/1810.00 c #Conflicts: 757000 | #Constraints: 82204
1769.06/1810.00 c #Conflicts: 758000 | #Constraints: 83204
1769.06/1810.00 c #Conflicts: 759000 | #Constraints: 84204
1769.06/1810.00 c #Conflicts: 760000 | #Constraints: 85204
1769.06/1810.00 c #Conflicts: 761000 | #Constraints: 86204
1769.06/1810.00 c #Conflicts: 762000 | #Constraints: 87204
1769.06/1810.00 c #Conflicts: 763000 | #Constraints: 88204
1769.06/1810.00 c #Conflicts: 764000 | #Constraints: 89204
1769.06/1810.00 c #Conflicts: 765000 | #Constraints: 90204
1957.65/1999.71 c #Conflicts: 766000 | #Constraints: 91204
1957.65/1999.71 c #Conflicts: 767000 | #Constraints: 92204
1957.65/1999.71 c #Conflicts: 768000 | #Constraints: 93204
1957.65/1999.71 c #Conflicts: 769000 | #Constraints: 94204
1957.65/1999.71 c #Conflicts: 770000 | #Constraints: 95204
1957.65/1999.71 c #Conflicts: 771000 | #Constraints: 96204
1957.65/1999.71 c #Conflicts: 772000 | #Constraints: 97204
1957.65/1999.71 c #Conflicts: 773000 | #Constraints: 98204
1957.65/1999.71 c INPROCESSING
1957.65/1999.71 c GARBAGE COLLECT
1957.65/1999.71 c #Conflicts: 774000 | #Constraints: 71808
1957.65/1999.71 c #Conflicts: 775000 | #Constraints: 72808
1957.65/1999.71 c #Conflicts: 776000 | #Constraints: 73808
1957.65/1999.71 c #Conflicts: 777000 | #Constraints: 74808
1957.65/1999.71 c #Conflicts: 778000 | #Constraints: 75808
1957.65/1999.71 c #Conflicts: 779000 | #Constraints: 76808
1957.65/1999.71 c #Conflicts: 780000 | #Constraints: 77808
1957.65/1999.71 c #Conflicts: 781000 | #Constraints: 78808
1957.65/1999.71 c #Conflicts: 782000 | #Constraints: 79808
1957.65/1999.71 c #Conflicts: 783000 | #Constraints: 80808
1957.65/1999.71 c #Conflicts: 784000 | #Constraints: 81808
1957.65/1999.71 c #Conflicts: 785000 | #Constraints: 82808
1957.65/1999.71 c #Conflicts: 786000 | #Constraints: 83808
1957.65/1999.71 c #Conflicts: 787000 | #Constraints: 84808
1957.65/1999.71 c #Conflicts: 788000 | #Constraints: 85808
1957.65/1999.71 c #Conflicts: 789000 | #Constraints: 86808
1957.65/1999.71 c #Conflicts: 790000 | #Constraints: 87808
1957.65/1999.71 c #Conflicts: 791000 | #Constraints: 88808
1957.65/1999.71 c #Conflicts: 792000 | #Constraints: 89808
1957.65/1999.71 c #Conflicts: 793000 | #Constraints: 90808
1957.65/1999.71 c #Conflicts: 794000 | #Constraints: 91808
1957.65/1999.71 c #Conflicts: 795000 | #Constraints: 92808
1957.65/1999.71 c #Conflicts: 796000 | #Constraints: 93808
1957.65/1999.71 c #Conflicts: 797000 | #Constraints: 94808
1957.65/1999.71 c #Conflicts: 798000 | #Constraints: 95808
1957.65/1999.71 c #Conflicts: 799000 | #Constraints: 96808
1957.65/1999.71 c #Conflicts: 800000 | #Constraints: 97808
1957.65/1999.71 c #Conflicts: 801000 | #Constraints: 98808
1957.65/1999.71 c #Conflicts: 802000 | #Constraints: 99808
1957.65/1999.71 c #Conflicts: 803000 | #Constraints: 100808
1957.65/1999.71 c #Conflicts: 804000 | #Constraints: 101808
1957.65/1999.71 c #Conflicts: 805000 | #Constraints: 102808
1957.65/1999.71 c #Conflicts: 806000 | #Constraints: 103808
1957.65/1999.71 c #Conflicts: 807000 | #Constraints: 104808
1957.65/1999.71 c #Conflicts: 808000 | #Constraints: 105808
1957.65/1999.71 c #Conflicts: 809000 | #Constraints: 106808
1957.65/1999.71 c #Conflicts: 810000 | #Constraints: 107808
1957.65/1999.71 c #Conflicts: 811000 | #Constraints: 108808
1957.65/1999.71 c #Conflicts: 812000 | #Constraints: 109808
1957.65/1999.71 c #Conflicts: 813000 | #Constraints: 110808
1957.65/1999.71 c #Conflicts: 814000 | #Constraints: 111808
1957.65/1999.71 c #Conflicts: 815000 | #Constraints: 112808
1957.65/1999.71 c #Conflicts: 816000 | #Constraints: 113808
1957.65/1999.71 c #Conflicts: 817000 | #Constraints: 114808
1957.65/1999.71 c #Conflicts: 818000 | #Constraints: 115808
1957.65/1999.71 c #Conflicts: 819000 | #Constraints: 116808
1957.65/1999.71 c #Conflicts: 820000 | #Constraints: 117808
1957.65/1999.71 c #Conflicts: 821000 | #Constraints: 118808
1957.65/1999.71 c #Conflicts: 822000 | #Constraints: 119808
1957.65/1999.71 c #Conflicts: 823000 | #Constraints: 120808
1957.65/1999.71 c #Conflicts: 824000 | #Constraints: 121808
1957.65/1999.71 c #Conflicts: 825000 | #Constraints: 122808
1957.65/1999.71 c #Conflicts: 826000 | #Constraints: 123808
1957.65/1999.71 c #Conflicts: 827000 | #Constraints: 124808
1957.65/1999.71 c #Conflicts: 828000 | #Constraints: 125808
1957.65/1999.71 c #Conflicts: 829000 | #Constraints: 126808
1957.65/1999.71 c #Conflicts: 830000 | #Constraints: 127808
1957.65/1999.71 c #Conflicts: 831000 | #Constraints: 128808
1957.65/1999.71 c #Conflicts: 832000 | #Constraints: 129808
1957.65/1999.71 c INPROCESSING
1957.65/1999.71 c GARBAGE COLLECT
1957.65/1999.71 c #Conflicts: 833000 | #Constraints: 77967
1957.65/1999.71 c #Conflicts: 834000 | #Constraints: 78967
1957.65/1999.71 c #Conflicts: 835000 | #Constraints: 79967
1957.65/1999.71 c #Conflicts: 836000 | #Constraints: 80967
1957.65/1999.71 c #Conflicts: 837000 | #Constraints: 81967
1957.65/1999.71 c #Conflicts: 838000 | #Constraints: 82967
1957.65/1999.71 c #Conflicts: 839000 | #Constraints: 83967
1957.65/1999.71 c #Conflicts: 840000 | #Constraints: 84967
1957.65/1999.71 c #Conflicts: 841000 | #Constraints: 85967
1957.65/1999.71 c #Conflicts: 842000 | #Constraints: 86967
1957.65/1999.71 c #Conflicts: 843000 | #Constraints: 87967
2156.56/2207.64 c #Conflicts: 844000 | #Constraints: 88967
2156.56/2207.64 c #Conflicts: 845000 | #Constraints: 89967
2156.56/2207.64 c #Conflicts: 846000 | #Constraints: 90967
2156.56/2207.64 c #Conflicts: 847000 | #Constraints: 91967
2156.56/2207.64 c #Conflicts: 848000 | #Constraints: 92967
2156.56/2207.64 c #Conflicts: 849000 | #Constraints: 93967
2156.56/2207.64 c #Conflicts: 850000 | #Constraints: 94967
2156.56/2207.64 c #Conflicts: 851000 | #Constraints: 95967
2156.56/2207.64 c #Conflicts: 852000 | #Constraints: 96967
2156.56/2207.64 c #Conflicts: 853000 | #Constraints: 97967
2156.56/2207.64 c #Conflicts: 854000 | #Constraints: 98967
2156.56/2207.64 c #Conflicts: 855000 | #Constraints: 99967
2156.56/2207.64 c #Conflicts: 856000 | #Constraints: 100967
2156.56/2207.64 c #Conflicts: 857000 | #Constraints: 101967
2156.56/2207.64 c #Conflicts: 858000 | #Constraints: 102967
2156.56/2207.64 c INPROCESSING
2156.56/2207.64 c GARBAGE COLLECT
2156.56/2207.64 c #Conflicts: 859000 | #Constraints: 74930
2156.56/2207.64 c #Conflicts: 860000 | #Constraints: 75930
2156.56/2207.64 c #Conflicts: 861000 | #Constraints: 76930
2156.56/2207.64 c #Conflicts: 862000 | #Constraints: 77930
2156.56/2207.64 c #Conflicts: 863000 | #Constraints: 78930
2156.56/2207.64 c #Conflicts: 864000 | #Constraints: 79930
2156.56/2207.64 c #Conflicts: 865000 | #Constraints: 80930
2156.56/2207.64 c #Conflicts: 866000 | #Constraints: 81930
2156.56/2207.64 c #Conflicts: 867000 | #Constraints: 82930
2156.56/2207.64 c #Conflicts: 868000 | #Constraints: 83930
2156.56/2207.64 c #Conflicts: 869000 | #Constraints: 84930
2156.56/2207.64 c #Conflicts: 870000 | #Constraints: 85930
2156.56/2207.64 c #Conflicts: 871000 | #Constraints: 86930
2156.56/2207.64 c #Conflicts: 872000 | #Constraints: 87930
2156.56/2207.64 c #Conflicts: 873000 | #Constraints: 88930
2156.56/2207.64 c #Conflicts: 874000 | #Constraints: 89930
2156.56/2207.64 c #Conflicts: 875000 | #Constraints: 90930
2156.56/2207.64 c #Conflicts: 876000 | #Constraints: 91930
2156.56/2207.64 c #Conflicts: 877000 | #Constraints: 92930
2156.56/2207.64 c #Conflicts: 878000 | #Constraints: 93930
2156.56/2207.64 c #Conflicts: 879000 | #Constraints: 94930
2156.56/2207.64 c #Conflicts: 880000 | #Constraints: 95930
2156.56/2207.64 c #Conflicts: 881000 | #Constraints: 96930
2156.56/2207.64 c #Conflicts: 882000 | #Constraints: 97930
2156.56/2207.64 c #Conflicts: 883000 | #Constraints: 98930
2156.56/2207.64 c #Conflicts: 884000 | #Constraints: 99930
2156.56/2207.64 c #Conflicts: 885000 | #Constraints: 100930
2156.56/2207.64 c #Conflicts: 886000 | #Constraints: 101930
2156.56/2207.64 c #Conflicts: 887000 | #Constraints: 102930
2156.56/2207.64 c #Conflicts: 888000 | #Constraints: 103930
2156.56/2207.64 c #Conflicts: 889000 | #Constraints: 104930
2156.56/2207.64 c #Conflicts: 890000 | #Constraints: 105930
2156.56/2207.64 c #Conflicts: 891000 | #Constraints: 106930
2156.56/2207.64 c #Conflicts: 892000 | #Constraints: 107930
2156.56/2207.64 c #Conflicts: 893000 | #Constraints: 108930
2156.56/2207.64 c #Conflicts: 894000 | #Constraints: 109930
2156.56/2207.64 c #Conflicts: 895000 | #Constraints: 110930
2156.56/2207.64 c #Conflicts: 896000 | #Constraints: 111930
2156.56/2207.64 c #Conflicts: 897000 | #Constraints: 112930
2156.56/2207.64 c #Conflicts: 898000 | #Constraints: 113930
2156.56/2207.64 c #Conflicts: 899000 | #Constraints: 114930
2156.56/2207.64 c #Conflicts: 900000 | #Constraints: 115930
2156.56/2207.64 c #Conflicts: 901000 | #Constraints: 116930
2156.56/2207.64 c #Conflicts: 902000 | #Constraints: 117930
2156.56/2207.64 c #Conflicts: 903000 | #Constraints: 118930
2156.56/2207.64 c #Conflicts: 904000 | #Constraints: 119930
2156.56/2207.64 c #Conflicts: 905000 | #Constraints: 120930
2156.56/2207.64 c #Conflicts: 906000 | #Constraints: 121930
2156.56/2207.64 c #Conflicts: 907000 | #Constraints: 122930
2156.56/2207.64 c #Conflicts: 908000 | #Constraints: 123930
2156.56/2207.64 c #Conflicts: 909000 | #Constraints: 124930
2156.56/2207.64 c #Conflicts: 910000 | #Constraints: 125930
2156.56/2207.64 c #Conflicts: 911000 | #Constraints: 126930
2156.56/2207.64 c #Conflicts: 912000 | #Constraints: 127930
2156.56/2207.64 c #Conflicts: 913000 | #Constraints: 128930
2156.56/2207.64 c #Conflicts: 914000 | #Constraints: 129930
2156.56/2207.64 c #Conflicts: 915000 | #Constraints: 130930
2156.56/2207.64 c #Conflicts: 916000 | #Constraints: 131930
2156.56/2207.64 c #Conflicts: 917000 | #Constraints: 132930
2156.56/2207.64 c #Conflicts: 918000 | #Constraints: 133930
2156.56/2207.64 c #Conflicts: 919000 | #Constraints: 134930
2156.56/2207.64 c #Conflicts: 920000 | #Constraints: 135930
2156.56/2207.64 c INPROCESSING
2156.56/2207.64 c GARBAGE COLLECT
2357.89/2409.91 c #Conflicts: 921000 | #Constraints: 81070
2357.89/2409.91 c #Conflicts: 922000 | #Constraints: 82070
2357.89/2409.91 c #Conflicts: 923000 | #Constraints: 83070
2357.89/2409.91 c #Conflicts: 924000 | #Constraints: 84070
2357.89/2409.91 c #Conflicts: 925000 | #Constraints: 85070
2357.89/2409.91 c #Conflicts: 926000 | #Constraints: 86070
2357.89/2409.91 c #Conflicts: 927000 | #Constraints: 87070
2357.89/2409.91 c #Conflicts: 928000 | #Constraints: 88070
2357.89/2409.91 c #Conflicts: 929000 | #Constraints: 89070
2357.89/2409.91 c #Conflicts: 930000 | #Constraints: 90070
2357.89/2409.91 c #Conflicts: 931000 | #Constraints: 91070
2357.89/2409.91 c #Conflicts: 932000 | #Constraints: 92070
2357.89/2409.91 c #Conflicts: 933000 | #Constraints: 93070
2357.89/2409.91 c #Conflicts: 934000 | #Constraints: 94070
2357.89/2409.91 c #Conflicts: 935000 | #Constraints: 95070
2357.89/2409.91 c #Conflicts: 936000 | #Constraints: 96070
2357.89/2409.91 c #Conflicts: 937000 | #Constraints: 97070
2357.89/2409.91 c #Conflicts: 938000 | #Constraints: 98070
2357.89/2409.91 c #Conflicts: 939000 | #Constraints: 99070
2357.89/2409.91 c #Conflicts: 940000 | #Constraints: 100070
2357.89/2409.91 c #Conflicts: 941000 | #Constraints: 101070
2357.89/2409.91 c #Conflicts: 942000 | #Constraints: 102070
2357.89/2409.91 c #Conflicts: 943000 | #Constraints: 103070
2357.89/2409.91 c #Conflicts: 944000 | #Constraints: 104070
2357.89/2409.91 c #Conflicts: 945000 | #Constraints: 105070
2357.89/2409.91 c #Conflicts: 946000 | #Constraints: 106070
2357.89/2409.91 c #Conflicts: 947000 | #Constraints: 107070
2357.89/2409.91 c INPROCESSING
2357.89/2409.91 c GARBAGE COLLECT
2357.89/2409.91 c #Conflicts: 948000 | #Constraints: 77685
2357.89/2409.91 c #Conflicts: 949000 | #Constraints: 78685
2357.89/2409.91 c #Conflicts: 950000 | #Constraints: 79685
2357.89/2409.91 c #Conflicts: 951000 | #Constraints: 80685
2357.89/2409.91 c #Conflicts: 952000 | #Constraints: 81685
2357.89/2409.91 c #Conflicts: 953000 | #Constraints: 82685
2357.89/2409.91 c #Conflicts: 954000 | #Constraints: 83685
2357.89/2409.91 c #Conflicts: 955000 | #Constraints: 84685
2357.89/2409.91 c #Conflicts: 956000 | #Constraints: 85685
2357.89/2409.91 c #Conflicts: 957000 | #Constraints: 86685
2357.89/2409.91 c #Conflicts: 958000 | #Constraints: 87685
2357.89/2409.91 c #Conflicts: 959000 | #Constraints: 88685
2357.89/2409.91 c #Conflicts: 960000 | #Constraints: 89685
2357.89/2409.91 c #Conflicts: 961000 | #Constraints: 90685
2357.89/2409.91 c #Conflicts: 962000 | #Constraints: 91685
2357.89/2409.91 c #Conflicts: 963000 | #Constraints: 92685
2357.89/2409.91 c #Conflicts: 964000 | #Constraints: 93685
2357.89/2409.91 c #Conflicts: 965000 | #Constraints: 94685
2357.89/2409.91 c #Conflicts: 966000 | #Constraints: 95685
2357.89/2409.91 c #Conflicts: 967000 | #Constraints: 96685
2357.89/2409.91 c #Conflicts: 968000 | #Constraints: 97685
2357.89/2409.91 c #Conflicts: 969000 | #Constraints: 98685
2357.89/2409.91 c #Conflicts: 970000 | #Constraints: 99685
2357.89/2409.91 c #Conflicts: 971000 | #Constraints: 100685
2357.89/2409.91 c #Conflicts: 972000 | #Constraints: 101685
2357.89/2409.91 c #Conflicts: 973000 | #Constraints: 102685
2357.89/2409.91 c #Conflicts: 974000 | #Constraints: 103685
2357.89/2409.91 c #Conflicts: 975000 | #Constraints: 104685
2357.89/2409.91 c #Conflicts: 976000 | #Constraints: 105685
2357.89/2409.91 c #Conflicts: 977000 | #Constraints: 106685
2357.89/2409.91 c #Conflicts: 978000 | #Constraints: 107685
2357.89/2409.91 c #Conflicts: 979000 | #Constraints: 108685
2357.89/2409.91 c #Conflicts: 980000 | #Constraints: 109685
2357.89/2409.91 c #Conflicts: 981000 | #Constraints: 110685
2357.89/2409.91 c #Conflicts: 982000 | #Constraints: 111685
2357.89/2409.91 c #Conflicts: 983000 | #Constraints: 112685
2357.89/2409.91 c #Conflicts: 984000 | #Constraints: 113685
2357.89/2409.91 c #Conflicts: 985000 | #Constraints: 114685
2357.89/2409.91 c #Conflicts: 986000 | #Constraints: 115685
2357.89/2409.91 c #Conflicts: 987000 | #Constraints: 116685
2357.89/2409.91 c #Conflicts: 988000 | #Constraints: 117685
2357.89/2409.91 c #Conflicts: 989000 | #Constraints: 118685
2357.89/2409.91 c #Conflicts: 990000 | #Constraints: 119685
2357.89/2409.91 c #Conflicts: 991000 | #Constraints: 120685
2357.89/2409.91 c #Conflicts: 992000 | #Constraints: 121685
2357.89/2409.91 c #Conflicts: 993000 | #Constraints: 122685
2357.89/2409.91 c #Conflicts: 994000 | #Constraints: 123685
2357.89/2409.91 c #Conflicts: 995000 | #Constraints: 124685
2357.89/2409.91 c #Conflicts: 996000 | #Constraints: 125685
2357.89/2409.91 c #Conflicts: 997000 | #Constraints: 126685
2357.89/2409.91 c #Conflicts: 998000 | #Constraints: 127685
2570.70/2626.61 c #Conflicts: 999000 | #Constraints: 128685
2570.70/2626.61 c #Conflicts: 1000000 | #Constraints: 129685
2570.70/2626.61 c #Conflicts: 1001000 | #Constraints: 130685
2570.70/2626.61 c #Conflicts: 1002000 | #Constraints: 131685
2570.70/2626.61 c #Conflicts: 1003000 | #Constraints: 132685
2570.70/2626.61 c #Conflicts: 1004000 | #Constraints: 133685
2570.70/2626.61 c #Conflicts: 1005000 | #Constraints: 134685
2570.70/2626.61 c #Conflicts: 1006000 | #Constraints: 135685
2570.70/2626.61 c #Conflicts: 1007000 | #Constraints: 136685
2570.70/2626.61 c #Conflicts: 1008000 | #Constraints: 137685
2570.70/2626.61 c #Conflicts: 1009000 | #Constraints: 138685
2570.70/2626.61 c #Conflicts: 1010000 | #Constraints: 139685
2570.70/2626.61 c #Conflicts: 1011000 | #Constraints: 140685
2570.70/2626.61 c #Conflicts: 1012000 | #Constraints: 141685
2570.70/2626.61 c INPROCESSING
2570.70/2626.61 c GARBAGE COLLECT
2570.70/2626.61 c #Conflicts: 1013000 | #Constraints: 83632
2570.70/2626.61 c #Conflicts: 1014000 | #Constraints: 84632
2570.70/2626.61 c #Conflicts: 1015000 | #Constraints: 85632
2570.70/2626.61 c #Conflicts: 1016000 | #Constraints: 86632
2570.70/2626.61 c #Conflicts: 1017000 | #Constraints: 87632
2570.70/2626.61 c #Conflicts: 1018000 | #Constraints: 88632
2570.70/2626.61 c #Conflicts: 1019000 | #Constraints: 89632
2570.70/2626.61 c #Conflicts: 1020000 | #Constraints: 90632
2570.70/2626.61 c #Conflicts: 1021000 | #Constraints: 91632
2570.70/2626.61 c #Conflicts: 1022000 | #Constraints: 92632
2570.70/2626.61 c #Conflicts: 1023000 | #Constraints: 93632
2570.70/2626.61 c #Conflicts: 1024000 | #Constraints: 94632
2570.70/2626.61 c #Conflicts: 1025000 | #Constraints: 95632
2570.70/2626.61 c #Conflicts: 1026000 | #Constraints: 96632
2570.70/2626.61 c #Conflicts: 1027000 | #Constraints: 97632
2570.70/2626.61 c #Conflicts: 1028000 | #Constraints: 98632
2570.70/2626.61 c #Conflicts: 1029000 | #Constraints: 99632
2570.70/2626.61 c #Conflicts: 1030000 | #Constraints: 100632
2570.70/2626.61 c #Conflicts: 1031000 | #Constraints: 101632
2570.70/2626.61 c #Conflicts: 1032000 | #Constraints: 102632
2570.70/2626.61 c #Conflicts: 1033000 | #Constraints: 103632
2570.70/2626.61 c #Conflicts: 1034000 | #Constraints: 104632
2570.70/2626.61 c #Conflicts: 1035000 | #Constraints: 105632
2570.70/2626.61 c #Conflicts: 1036000 | #Constraints: 106632
2570.70/2626.61 c #Conflicts: 1037000 | #Constraints: 107632
2570.70/2626.61 c #Conflicts: 1038000 | #Constraints: 108632
2570.70/2626.61 c #Conflicts: 1039000 | #Constraints: 109632
2570.70/2626.61 c #Conflicts: 1040000 | #Constraints: 110632
2570.70/2626.61 c INPROCESSING
2570.70/2626.61 c GARBAGE COLLECT
2570.70/2626.61 c #Conflicts: 1041000 | #Constraints: 79374
2570.70/2626.61 c #Conflicts: 1042000 | #Constraints: 80374
2570.70/2626.61 c #Conflicts: 1043000 | #Constraints: 81374
2570.70/2626.61 c #Conflicts: 1044000 | #Constraints: 82374
2570.70/2626.61 c #Conflicts: 1045000 | #Constraints: 83374
2570.70/2626.61 c #Conflicts: 1046000 | #Constraints: 84374
2570.70/2626.61 c #Conflicts: 1047000 | #Constraints: 85374
2570.70/2626.61 c #Conflicts: 1048000 | #Constraints: 86374
2570.70/2626.61 c #Conflicts: 1049000 | #Constraints: 87374
2570.70/2626.61 c #Conflicts: 1050000 | #Constraints: 88374
2570.70/2626.61 c #Conflicts: 1051000 | #Constraints: 89374
2570.70/2626.61 c #Conflicts: 1052000 | #Constraints: 90374
2570.70/2626.61 c #Conflicts: 1053000 | #Constraints: 91374
2570.70/2626.61 c #Conflicts: 1054000 | #Constraints: 92374
2570.70/2626.61 c #Conflicts: 1055000 | #Constraints: 93374
2570.70/2626.61 c #Conflicts: 1056000 | #Constraints: 94374
2570.70/2626.61 c #Conflicts: 1057000 | #Constraints: 95374
2570.70/2626.61 c #Conflicts: 1058000 | #Constraints: 96374
2570.70/2626.61 c #Conflicts: 1059000 | #Constraints: 97374
2570.70/2626.61 c #Conflicts: 1060000 | #Constraints: 98374
2570.70/2626.61 c #Conflicts: 1061000 | #Constraints: 99374
2570.70/2626.61 c #Conflicts: 1062000 | #Constraints: 100374
2570.70/2626.61 c #Conflicts: 1063000 | #Constraints: 101374
2570.70/2626.61 c #Conflicts: 1064000 | #Constraints: 102374
2570.70/2626.61 c #Conflicts: 1065000 | #Constraints: 103374
2570.70/2626.61 c #Conflicts: 1066000 | #Constraints: 104374
2570.70/2626.61 c #Conflicts: 1067000 | #Constraints: 105374
2570.70/2626.61 c #Conflicts: 1068000 | #Constraints: 106374
2570.70/2626.61 c #Conflicts: 1069000 | #Constraints: 107374
2570.70/2626.61 c #Conflicts: 1070000 | #Constraints: 108374
2570.70/2626.61 c #Conflicts: 1071000 | #Constraints: 109374
2570.70/2626.61 c #Conflicts: 1072000 | #Constraints: 110374
2570.70/2626.61 c #Conflicts: 1073000 | #Constraints: 111374
2570.70/2626.61 c #Conflicts: 1074000 | #Constraints: 112374
2570.70/2626.61 c #Conflicts: 1075000 | #Constraints: 113374
2570.70/2626.61 c #Conflicts: 1076000 | #Constraints: 114374
2778.92/2839.44 c #Conflicts: 1077000 | #Constraints: 115374
2778.92/2839.44 c #Conflicts: 1078000 | #Constraints: 116374
2778.92/2839.44 c #Conflicts: 1079000 | #Constraints: 117374
2778.92/2839.44 c #Conflicts: 1080000 | #Constraints: 118374
2778.92/2839.44 c #Conflicts: 1081000 | #Constraints: 119374
2778.92/2839.44 c #Conflicts: 1082000 | #Constraints: 120374
2778.92/2839.44 c #Conflicts: 1083000 | #Constraints: 121374
2778.92/2839.44 c #Conflicts: 1084000 | #Constraints: 122374
2778.92/2839.44 c #Conflicts: 1085000 | #Constraints: 123374
2778.92/2839.44 c #Conflicts: 1086000 | #Constraints: 124374
2778.92/2839.44 c #Conflicts: 1087000 | #Constraints: 125374
2778.92/2839.44 c #Conflicts: 1088000 | #Constraints: 126374
2778.92/2839.44 c #Conflicts: 1089000 | #Constraints: 127374
2778.92/2839.44 c #Conflicts: 1090000 | #Constraints: 128374
2778.92/2839.44 c #Conflicts: 1091000 | #Constraints: 129374
2778.92/2839.44 c #Conflicts: 1092000 | #Constraints: 130374
2778.92/2839.44 c #Conflicts: 1093000 | #Constraints: 131374
2778.92/2839.44 c #Conflicts: 1094000 | #Constraints: 132374
2778.92/2839.44 c #Conflicts: 1095000 | #Constraints: 133374
2778.92/2839.44 c #Conflicts: 1096000 | #Constraints: 134374
2778.92/2839.44 c #Conflicts: 1097000 | #Constraints: 135374
2778.92/2839.44 c #Conflicts: 1098000 | #Constraints: 136374
2778.92/2839.44 c #Conflicts: 1099000 | #Constraints: 137374
2778.92/2839.44 c #Conflicts: 1100000 | #Constraints: 138374
2778.92/2839.44 c #Conflicts: 1101000 | #Constraints: 139374
2778.92/2839.44 c #Conflicts: 1102000 | #Constraints: 140374
2778.92/2839.44 c #Conflicts: 1103000 | #Constraints: 141374
2778.92/2839.44 c #Conflicts: 1104000 | #Constraints: 142374
2778.92/2839.44 c #Conflicts: 1105000 | #Constraints: 143374
2778.92/2839.44 c #Conflicts: 1106000 | #Constraints: 144374
2778.92/2839.44 c #Conflicts: 1107000 | #Constraints: 145374
2778.92/2839.44 c #Conflicts: 1108000 | #Constraints: 146374
2778.92/2839.44 c INPROCESSING
2778.92/2839.44 c GARBAGE COLLECT
2778.92/2839.44 c #Conflicts: 1109000 | #Constraints: 86089
2778.92/2839.44 c #Conflicts: 1110000 | #Constraints: 87089
2778.92/2839.44 c #Conflicts: 1111000 | #Constraints: 88089
2778.92/2839.44 c #Conflicts: 1112000 | #Constraints: 89089
2778.92/2839.44 c #Conflicts: 1113000 | #Constraints: 90089
2778.92/2839.44 c #Conflicts: 1114000 | #Constraints: 91089
2778.92/2839.44 c #Conflicts: 1115000 | #Constraints: 92089
2778.92/2839.44 c #Conflicts: 1116000 | #Constraints: 93089
2778.92/2839.44 c #Conflicts: 1117000 | #Constraints: 94089
2778.92/2839.44 c #Conflicts: 1118000 | #Constraints: 95089
2778.92/2839.44 c #Conflicts: 1119000 | #Constraints: 96089
2778.92/2839.44 c #Conflicts: 1120000 | #Constraints: 97089
2778.92/2839.44 c #Conflicts: 1121000 | #Constraints: 98089
2778.92/2839.44 c #Conflicts: 1122000 | #Constraints: 99089
2778.92/2839.44 c #Conflicts: 1123000 | #Constraints: 100089
2778.92/2839.44 c #Conflicts: 1124000 | #Constraints: 101089
2778.92/2839.44 c #Conflicts: 1125000 | #Constraints: 102089
2778.92/2839.44 c #Conflicts: 1126000 | #Constraints: 103089
2778.92/2839.44 c #Conflicts: 1127000 | #Constraints: 104089
2778.92/2839.44 c #Conflicts: 1128000 | #Constraints: 105089
2778.92/2839.44 c #Conflicts: 1129000 | #Constraints: 106089
2778.92/2839.44 c #Conflicts: 1130000 | #Constraints: 107089
2778.92/2839.44 c #Conflicts: 1131000 | #Constraints: 108089
2778.92/2839.44 c #Conflicts: 1132000 | #Constraints: 109089
2778.92/2839.44 c #Conflicts: 1133000 | #Constraints: 110089
2778.92/2839.44 c #Conflicts: 1134000 | #Constraints: 111089
2778.92/2839.44 c #Conflicts: 1135000 | #Constraints: 112089
2778.92/2839.44 c #Conflicts: 1136000 | #Constraints: 113089
2778.92/2839.44 c #Conflicts: 1137000 | #Constraints: 114089
2778.92/2839.44 c #Conflicts: 1138000 | #Constraints: 115089
2778.92/2839.44 c INPROCESSING
2778.92/2839.44 c GARBAGE COLLECT
2778.92/2839.44 c #Conflicts: 1139000 | #Constraints: 81727
2778.92/2839.44 c #Conflicts: 1140000 | #Constraints: 82727
2778.92/2839.44 c #Conflicts: 1141000 | #Constraints: 83727
2778.92/2839.44 c #Conflicts: 1142000 | #Constraints: 84727
2778.92/2839.44 c #Conflicts: 1143000 | #Constraints: 85727
2778.92/2839.44 c #Conflicts: 1144000 | #Constraints: 86727
2778.92/2839.44 c #Conflicts: 1145000 | #Constraints: 87727
2778.92/2839.44 c #Conflicts: 1146000 | #Constraints: 88727
2778.92/2839.44 c #Conflicts: 1147000 | #Constraints: 89727
2778.92/2839.44 c #Conflicts: 1148000 | #Constraints: 90727
2778.92/2839.44 c #Conflicts: 1149000 | #Constraints: 91727
2778.92/2839.44 c #Conflicts: 1150000 | #Constraints: 92727
2778.92/2839.44 c #Conflicts: 1151000 | #Constraints: 93727
2778.92/2839.44 c #Conflicts: 1152000 | #Constraints: 94727
2778.92/2839.44 c #Conflicts: 1153000 | #Constraints: 95727
3033.73/3097.39 c #Conflicts: 1154000 | #Constraints: 96728
3033.73/3097.39 c #Conflicts: 1155000 | #Constraints: 97728
3033.73/3097.39 c #Conflicts: 1156000 | #Constraints: 98728
3033.73/3097.39 c #Conflicts: 1157000 | #Constraints: 99728
3033.73/3097.39 c #Conflicts: 1158000 | #Constraints: 100728
3033.73/3097.39 c #Conflicts: 1159000 | #Constraints: 101728
3033.73/3097.39 c #Conflicts: 1160000 | #Constraints: 102728
3033.73/3097.39 c #Conflicts: 1161000 | #Constraints: 103728
3033.73/3097.39 c #Conflicts: 1162000 | #Constraints: 104728
3033.73/3097.39 c #Conflicts: 1163000 | #Constraints: 105728
3033.73/3097.39 c #Conflicts: 1164000 | #Constraints: 106728
3033.73/3097.39 c #Conflicts: 1165000 | #Constraints: 107728
3033.73/3097.39 c #Conflicts: 1166000 | #Constraints: 108728
3033.73/3097.39 c #Conflicts: 1167000 | #Constraints: 109728
3033.73/3097.39 c #Conflicts: 1168000 | #Constraints: 110728
3033.73/3097.39 c #Conflicts: 1169000 | #Constraints: 111728
3033.73/3097.39 c #Conflicts: 1170000 | #Constraints: 112728
3033.73/3097.39 c #Conflicts: 1171000 | #Constraints: 113728
3033.73/3097.39 c #Conflicts: 1172000 | #Constraints: 114728
3033.73/3097.39 c #Conflicts: 1173000 | #Constraints: 115728
3033.73/3097.39 c #Conflicts: 1174000 | #Constraints: 116728
3033.73/3097.39 c #Conflicts: 1175000 | #Constraints: 117728
3033.73/3097.39 c #Conflicts: 1176000 | #Constraints: 118728
3033.73/3097.39 c #Conflicts: 1177000 | #Constraints: 119728
3033.73/3097.39 c #Conflicts: 1178000 | #Constraints: 120728
3033.73/3097.39 c #Conflicts: 1179000 | #Constraints: 121728
3033.73/3097.39 c #Conflicts: 1180000 | #Constraints: 122728
3033.73/3097.39 c #Conflicts: 1181000 | #Constraints: 123728
3033.73/3097.39 c #Conflicts: 1182000 | #Constraints: 124728
3033.73/3097.39 c #Conflicts: 1183000 | #Constraints: 125728
3033.73/3097.39 c #Conflicts: 1184000 | #Constraints: 126728
3033.73/3097.39 c #Conflicts: 1185000 | #Constraints: 127728
3033.73/3097.39 c #Conflicts: 1186000 | #Constraints: 128728
3033.73/3097.39 c #Conflicts: 1187000 | #Constraints: 129728
3033.73/3097.39 c #Conflicts: 1188000 | #Constraints: 130728
3033.73/3097.39 c #Conflicts: 1189000 | #Constraints: 131728
3033.73/3097.39 c #Conflicts: 1190000 | #Constraints: 132728
3033.73/3097.39 c #Conflicts: 1191000 | #Constraints: 133728
3033.73/3097.39 c #Conflicts: 1192000 | #Constraints: 134728
3033.73/3097.39 c #Conflicts: 1193000 | #Constraints: 135728
3033.73/3097.39 c #Conflicts: 1194000 | #Constraints: 136728
3033.73/3097.39 c #Conflicts: 1195000 | #Constraints: 137728
3033.73/3097.39 c #Conflicts: 1196000 | #Constraints: 138728
3033.73/3097.39 c #Conflicts: 1197000 | #Constraints: 139728
3033.73/3097.39 c #Conflicts: 1198000 | #Constraints: 140728
3033.73/3097.39 c #Conflicts: 1199000 | #Constraints: 141728
3033.73/3097.39 c #Conflicts: 1200000 | #Constraints: 142728
3033.73/3097.39 c #Conflicts: 1201000 | #Constraints: 143728
3033.73/3097.39 c #Conflicts: 1202000 | #Constraints: 144728
3033.73/3097.39 c #Conflicts: 1203000 | #Constraints: 145728
3033.73/3097.39 c #Conflicts: 1204000 | #Constraints: 146728
3033.73/3097.39 c #Conflicts: 1205000 | #Constraints: 147728
3033.73/3097.39 c #Conflicts: 1206000 | #Constraints: 148728
3033.73/3097.39 c #Conflicts: 1207000 | #Constraints: 149728
3033.73/3097.39 c #Conflicts: 1208000 | #Constraints: 150728
3033.73/3097.39 c #Conflicts: 1209000 | #Constraints: 151728
3033.73/3097.39 c INPROCESSING
3033.73/3097.39 c GARBAGE COLLECT
3033.73/3097.39 c rational objective 177.011
3221.15/3285.74 c #Conflicts: 1210000 | #Constraints: 88696
3221.15/3285.74 c #Conflicts: 1211000 | #Constraints: 89696
3221.15/3285.74 c #Conflicts: 1212000 | #Constraints: 90696
3221.15/3285.74 c #Conflicts: 1213000 | #Constraints: 91696
3221.15/3285.74 c #Conflicts: 1214000 | #Constraints: 92696
3221.15/3285.74 c #Conflicts: 1215000 | #Constraints: 93696
3221.15/3285.74 c #Conflicts: 1216000 | #Constraints: 94696
3221.15/3285.74 c #Conflicts: 1217000 | #Constraints: 95696
3221.15/3285.74 c #Conflicts: 1218000 | #Constraints: 96696
3221.15/3285.74 c #Conflicts: 1219000 | #Constraints: 97696
3221.15/3285.74 c #Conflicts: 1220000 | #Constraints: 98696
3221.15/3285.74 c #Conflicts: 1221000 | #Constraints: 99696
3221.15/3285.74 c #Conflicts: 1222000 | #Constraints: 100696
3221.15/3285.74 c #Conflicts: 1223000 | #Constraints: 101696
3221.15/3285.74 c #Conflicts: 1224000 | #Constraints: 102696
3221.15/3285.74 c #Conflicts: 1225000 | #Constraints: 103696
3221.15/3285.74 c #Conflicts: 1226000 | #Constraints: 104696
3221.15/3285.74 c #Conflicts: 1227000 | #Constraints: 105696
3221.15/3285.74 c #Conflicts: 1228000 | #Constraints: 106696
3221.15/3285.74 c #Conflicts: 1229000 | #Constraints: 107696
3221.15/3285.74 c #Conflicts: 1230000 | #Constraints: 108696
3221.15/3285.74 c #Conflicts: 1231000 | #Constraints: 109696
3221.15/3285.74 c #Conflicts: 1232000 | #Constraints: 110696
3221.15/3285.74 c #Conflicts: 1233000 | #Constraints: 111696
3221.15/3285.74 c #Conflicts: 1234000 | #Constraints: 112696
3221.15/3285.74 c #Conflicts: 1235000 | #Constraints: 113696
3221.15/3285.74 c #Conflicts: 1236000 | #Constraints: 114696
3221.15/3285.74 c #Conflicts: 1237000 | #Constraints: 115696
3221.15/3285.74 c #Conflicts: 1238000 | #Constraints: 116696
3221.15/3285.74 c #Conflicts: 1239000 | #Constraints: 117696
3221.15/3285.74 c #Conflicts: 1240000 | #Constraints: 118696
3221.15/3285.74 c INPROCESSING
3221.15/3285.74 c GARBAGE COLLECT
3221.15/3285.74 c #Conflicts: 1241000 | #Constraints: 84394
3221.15/3285.74 c #Conflicts: 1242000 | #Constraints: 85394
3221.15/3285.74 c #Conflicts: 1243000 | #Constraints: 86394
3221.15/3285.74 c #Conflicts: 1244000 | #Constraints: 87394
3221.15/3285.74 c #Conflicts: 1245000 | #Constraints: 88394
3221.15/3285.74 c #Conflicts: 1246000 | #Constraints: 89394
3221.15/3285.74 c #Conflicts: 1247000 | #Constraints: 90394
3221.15/3285.74 c #Conflicts: 1248000 | #Constraints: 91394
3221.15/3285.74 c #Conflicts: 1249000 | #Constraints: 92394
3221.15/3285.74 c #Conflicts: 1250000 | #Constraints: 93394
3221.15/3285.74 c #Conflicts: 1251000 | #Constraints: 94394
3221.15/3285.74 c #Conflicts: 1252000 | #Constraints: 95394
3221.15/3285.74 c #Conflicts: 1253000 | #Constraints: 96394
3221.15/3285.74 c #Conflicts: 1254000 | #Constraints: 97394
3221.15/3285.74 c #Conflicts: 1255000 | #Constraints: 98394
3221.15/3285.74 c #Conflicts: 1256000 | #Constraints: 99394
3221.15/3285.74 c #Conflicts: 1257000 | #Constraints: 100394
3221.15/3285.74 c #Conflicts: 1258000 | #Constraints: 101394
3221.15/3285.74 c #Conflicts: 1259000 | #Constraints: 102394
3221.15/3285.74 c #Conflicts: 1260000 | #Constraints: 103394
3221.15/3285.74 c #Conflicts: 1261000 | #Constraints: 104394
3221.15/3285.74 c #Conflicts: 1262000 | #Constraints: 105394
3221.15/3285.74 c #Conflicts: 1263000 | #Constraints: 106394
3221.15/3285.74 c #Conflicts: 1264000 | #Constraints: 107394
3221.15/3285.74 c #Conflicts: 1265000 | #Constraints: 108394
3221.15/3285.74 c #Conflicts: 1266000 | #Constraints: 109394
3221.15/3285.74 c #Conflicts: 1267000 | #Constraints: 110394
3221.15/3285.74 c #Conflicts: 1268000 | #Constraints: 111394
3221.15/3285.74 c #Conflicts: 1269000 | #Constraints: 112394
3221.15/3285.74 c #Conflicts: 1270000 | #Constraints: 113394
3221.15/3285.74 c #Conflicts: 1271000 | #Constraints: 114394
3221.15/3285.74 c #Conflicts: 1272000 | #Constraints: 115394
3221.15/3285.74 c #Conflicts: 1273000 | #Constraints: 116394
3221.15/3285.74 c #Conflicts: 1274000 | #Constraints: 117394
3221.15/3285.74 c #Conflicts: 1275000 | #Constraints: 118394
3221.15/3285.74 c #Conflicts: 1276000 | #Constraints: 119394
3221.15/3285.74 c #Conflicts: 1277000 | #Constraints: 120394
3221.15/3285.74 c #Conflicts: 1278000 | #Constraints: 121394
3221.15/3285.74 c #Conflicts: 1279000 | #Constraints: 122394
3221.15/3285.74 c #Conflicts: 1280000 | #Constraints: 123394
3221.15/3285.74 c #Conflicts: 1281000 | #Constraints: 124394
3221.15/3285.74 c #Conflicts: 1282000 | #Constraints: 125394
3221.15/3285.74 c #Conflicts: 1283000 | #Constraints: 126394
3221.15/3285.74 c #Conflicts: 1284000 | #Constraints: 127394
3221.15/3285.74 c #Conflicts: 1285000 | #Constraints: 128394
3221.15/3285.74 c #Conflicts: 1286000 | #Constraints: 129394
3221.15/3285.74 c #Conflicts: 1287000 | #Constraints: 130394
3221.15/3285.74 c #Conflicts: 1288000 | #Constraints: 131394
3464.87/3536.22 c #Conflicts: 1289000 | #Constraints: 132394
3464.87/3536.22 c #Conflicts: 1290000 | #Constraints: 133394
3464.87/3536.22 c #Conflicts: 1291000 | #Constraints: 134394
3464.87/3536.22 c #Conflicts: 1292000 | #Constraints: 135394
3464.87/3536.22 c #Conflicts: 1293000 | #Constraints: 136394
3464.87/3536.22 c #Conflicts: 1294000 | #Constraints: 137394
3464.87/3536.22 c #Conflicts: 1295000 | #Constraints: 138394
3464.87/3536.22 c #Conflicts: 1296000 | #Constraints: 139394
3464.87/3536.22 c #Conflicts: 1297000 | #Constraints: 140394
3464.87/3536.22 c #Conflicts: 1298000 | #Constraints: 141394
3464.87/3536.22 c #Conflicts: 1299000 | #Constraints: 142394
3464.87/3536.22 c #Conflicts: 1300000 | #Constraints: 143394
3464.87/3536.22 c #Conflicts: 1301000 | #Constraints: 144394
3464.87/3536.22 c #Conflicts: 1302000 | #Constraints: 145394
3464.87/3536.22 c #Conflicts: 1303000 | #Constraints: 146394
3464.87/3536.22 c #Conflicts: 1304000 | #Constraints: 147394
3464.87/3536.22 c #Conflicts: 1305000 | #Constraints: 148394
3464.87/3536.22 c #Conflicts: 1306000 | #Constraints: 149394
3464.87/3536.22 c #Conflicts: 1307000 | #Constraints: 150394
3464.87/3536.22 c #Conflicts: 1308000 | #Constraints: 151394
3464.87/3536.22 c #Conflicts: 1309000 | #Constraints: 152394
3464.87/3536.22 c #Conflicts: 1310000 | #Constraints: 153394
3464.87/3536.22 c #Conflicts: 1311000 | #Constraints: 154394
3464.87/3536.22 c #Conflicts: 1312000 | #Constraints: 155394
3464.87/3536.22 c #Conflicts: 1313000 | #Constraints: 156394
3464.87/3536.22 c #Conflicts: 1314000 | #Constraints: 157394
3464.87/3536.22 c #Conflicts: 1315000 | #Constraints: 158394
3464.87/3536.22 c INPROCESSING
3464.87/3536.22 c GARBAGE COLLECT
3464.87/3536.22 c #Conflicts: 1316000 | #Constraints: 92230
3464.87/3536.22 c #Conflicts: 1317000 | #Constraints: 93230
3464.87/3536.22 c #Conflicts: 1318000 | #Constraints: 94230
3464.87/3536.22 c #Conflicts: 1319000 | #Constraints: 95230
3464.87/3536.22 c #Conflicts: 1320000 | #Constraints: 96230
3464.87/3536.22 c #Conflicts: 1321000 | #Constraints: 97230
3464.87/3536.22 c #Conflicts: 1322000 | #Constraints: 98230
3464.87/3536.22 c #Conflicts: 1323000 | #Constraints: 99230
3464.87/3536.22 c #Conflicts: 1324000 | #Constraints: 100231
3464.87/3536.22 c #Conflicts: 1325000 | #Constraints: 101231
3464.87/3536.22 c #Conflicts: 1326000 | #Constraints: 102231
3464.87/3536.22 c #Conflicts: 1327000 | #Constraints: 103231
3464.87/3536.22 c #Conflicts: 1328000 | #Constraints: 104231
3464.87/3536.22 c #Conflicts: 1329000 | #Constraints: 105231
3464.87/3536.22 c #Conflicts: 1330000 | #Constraints: 106231
3464.87/3536.22 c #Conflicts: 1331000 | #Constraints: 107231
3464.87/3536.22 c #Conflicts: 1332000 | #Constraints: 108231
3464.87/3536.22 c #Conflicts: 1333000 | #Constraints: 109231
3464.87/3536.22 c #Conflicts: 1334000 | #Constraints: 110231
3464.87/3536.22 c #Conflicts: 1335000 | #Constraints: 111231
3464.87/3536.22 c #Conflicts: 1336000 | #Constraints: 112231
3464.87/3536.22 c #Conflicts: 1337000 | #Constraints: 113231
3464.87/3536.22 c #Conflicts: 1338000 | #Constraints: 114231
3464.87/3536.22 c #Conflicts: 1339000 | #Constraints: 115231
3464.87/3536.22 c #Conflicts: 1340000 | #Constraints: 116231
3464.87/3536.22 c #Conflicts: 1341000 | #Constraints: 117231
3464.87/3536.22 c #Conflicts: 1342000 | #Constraints: 118231
3464.87/3536.22 c #Conflicts: 1343000 | #Constraints: 119231
3464.87/3536.22 c #Conflicts: 1344000 | #Constraints: 120231
3464.87/3536.22 c #Conflicts: 1345000 | #Constraints: 121231
3464.87/3536.22 c #Conflicts: 1346000 | #Constraints: 122231
3464.87/3536.22 c #Conflicts: 1347000 | #Constraints: 123231
3464.87/3536.22 c INPROCESSING
3464.87/3536.22 c GARBAGE COLLECT
3464.87/3536.22 c #Conflicts: 1348000 | #Constraints: 87398
3464.87/3536.22 c #Conflicts: 1349000 | #Constraints: 88398
3464.87/3536.22 c #Conflicts: 1350000 | #Constraints: 89398
3464.87/3536.22 c #Conflicts: 1351000 | #Constraints: 90398
3464.87/3536.22 c #Conflicts: 1352000 | #Constraints: 91398
3464.87/3536.22 c #Conflicts: 1353000 | #Constraints: 92398
3464.87/3536.22 c #Conflicts: 1354000 | #Constraints: 93398
3464.87/3536.22 c #Conflicts: 1355000 | #Constraints: 94398
3464.87/3536.22 c #Conflicts: 1356000 | #Constraints: 95398
3464.87/3536.22 c #Conflicts: 1357000 | #Constraints: 96398
3464.87/3536.22 c #Conflicts: 1358000 | #Constraints: 97398
3464.87/3536.22 c #Conflicts: 1359000 | #Constraints: 98398
3464.87/3536.22 c #Conflicts: 1360000 | #Constraints: 99398
3464.87/3536.22 c #Conflicts: 1361000 | #Constraints: 100398
3464.87/3536.22 c #Conflicts: 1362000 | #Constraints: 101398
3464.87/3536.22 c #Conflicts: 1363000 | #Constraints: 102398
3464.87/3536.22 c #Conflicts: 1364000 | #Constraints: 103398
3464.87/3536.22 c #Conflicts: 1365000 | #Constraints: 104398
3600.07/3673.11 c #Conflicts: 1366000 | #Constraints: 105398
3600.07/3673.11 c #Conflicts: 1367000 | #Constraints: 106398
3600.07/3673.11 c #Conflicts: 1368000 | #Constraints: 107398
3600.07/3673.11 c #Conflicts: 1369000 | #Constraints: 108398
3600.07/3673.11 c #Conflicts: 1370000 | #Constraints: 109398
3600.07/3673.11 c #Conflicts: 1371000 | #Constraints: 110398
3600.07/3673.11 c #Conflicts: 1372000 | #Constraints: 111398
3600.07/3673.11 c #Conflicts: 1373000 | #Constraints: 112398
3600.07/3673.11 c #Conflicts: 1374000 | #Constraints: 113398
3600.07/3673.11 c #Conflicts: 1375000 | #Constraints: 114398
3600.07/3673.11 c #Conflicts: 1376000 | #Constraints: 115398
3600.07/3673.11 c #Conflicts: 1377000 | #Constraints: 116398
3600.07/3673.11 c #Conflicts: 1378000 | #Constraints: 117398
3600.07/3673.11 c #Conflicts: 1379000 | #Constraints: 118398
3600.07/3673.11 c #Conflicts: 1380000 | #Constraints: 119398
3600.07/3673.11 c #Conflicts: 1381000 | #Constraints: 120398
3600.07/3673.11 c #Conflicts: 1382000 | #Constraints: 121398
3600.07/3673.11 c #Conflicts: 1383000 | #Constraints: 122398
3600.07/3673.11 c #Conflicts: 1384000 | #Constraints: 123398
3600.07/3673.11 c #Conflicts: 1385000 | #Constraints: 124398
3600.07/3673.11 c #Conflicts: 1386000 | #Constraints: 125398
3600.07/3673.11 c #Conflicts: 1387000 | #Constraints: 126398
3600.07/3673.11 c #Conflicts: 1388000 | #Constraints: 127398
3600.07/3673.11 c #Conflicts: 1389000 | #Constraints: 128398
3600.07/3673.11 c #Conflicts: 1390000 | #Constraints: 129398
3600.07/3673.11 c #Conflicts: 1391000 | #Constraints: 130398
3600.07/3673.11 c #Conflicts: 1392000 | #Constraints: 131398
3600.07/3673.11 c #Conflicts: 1393000 | #Constraints: 132398
3600.07/3673.11 c #Conflicts: 1394000 | #Constraints: 133398
3600.07/3673.11 c #Conflicts: 1395000 | #Constraints: 134398
3600.07/3673.11 c #Conflicts: 1396000 | #Constraints: 135398
3600.07/3673.11 c #Conflicts: 1397000 | #Constraints: 136398
3600.07/3673.11 c #Conflicts: 1398000 | #Constraints: 137398
3600.07/3673.11 c #Conflicts: 1399000 | #Constraints: 138398
3600.07/3673.11 c #Conflicts: 1400000 | #Constraints: 139398
3600.07/3673.11 c #Conflicts: 1401000 | #Constraints: 140398
3600.07/3673.11 c #Conflicts: 1402000 | #Constraints: 141398
3600.07/3673.11 c #Conflicts: 1403000 | #Constraints: 142398
3600.07/3673.11 c #Conflicts: 1404000 | #Constraints: 143398
3600.07/3673.11 c #Conflicts: 1405000 | #Constraints: 144398
3600.07/3673.11 c #Conflicts: 1406000 | #Constraints: 145398
3600.07/3673.11 c #Conflicts: 1407000 | #Constraints: 146398
3600.07/3673.11 c #Conflicts: 1408000 | #Constraints: 147398
3600.07/3673.11 c #Conflicts: 1409000 | #Constraints: 148398
3600.07/3673.11 c #Conflicts: 1410000 | #Constraints: 149398
3600.07/3673.11 c cpu time 3561.44 s
3600.07/3673.11 c deterministic time 241681126714 2.42e+11
3600.07/3673.11 c optimization time 166.05 s
3600.07/3673.11 c total solve time 3395.25 s
3600.07/3673.11 c core-guided solve time 0 s
3600.07/3673.11 c propagation time 1885.83 s
3600.07/3673.11 c conflict analysis time 1192.19 s
3600.07/3673.11 c propagations 1421602574
3600.07/3673.11 c resolve steps 84272770
3600.07/3673.11 c decisions 35201003
3600.07/3673.11 c conflicts 1410062
3600.07/3673.11 c restarts 2714
3600.07/3673.11 c inprocessing phases 49
3600.07/3673.11 c garbage collections 49 ,( 100.00 )
3600.07/3673.11 c input clauses 21380 ,( 99.18 )
3600.07/3673.11 c input cardinalities 177 ,( 0.82 )
3600.07/3673.11 c input general constraints 0 ,( 0.00 )
3600.07/3673.11 c input average constraint length 6.41
3600.07/3673.11 c input average constraint degree 1.96
3600.07/3673.11 c learned clauses 1033096 ,( 73.27 )
3600.07/3673.11 c learned cardinalities 47333 ,( 3.36 )
3600.07/3673.11 c learned general constraints 329639 ,( 23.38 )
3600.07/3673.11 c learned average constraint length 686.32
3600.07/3673.11 c learned average constraint degree 11889377.65
3600.07/3673.11 c watched CF 32, 64, 128, Arb: 83781 , 0 , 0 , 0
3600.07/3673.11 c counting CF 32, 64, 128, Arb: 245858 , 0 , 0 , 0
3600.07/3673.11 c watched constraints 83781 ,( 25.42 )
3600.07/3673.11 c counting constraints 245858 ,( 74.58 )
3600.07/3673.11 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1308092631 , 764369652 , 1787644024 ,( 83455478 , 1704188546 )
3600.07/3673.11 c gcd simplifications 623
3600.07/3673.11 c detected cardinalities 7129
3600.07/3673.11 c weakened non-implied lits 381525765
3600.07/3673.11 c weakened non-implying lits 185426
3600.07/3673.11 c original variables 21108
3600.07/3673.11 c clausal propagations 662301103
3600.07/3673.11 c cardinality propagations 520944063
3600.07/3673.11 c watched propagations 4383582
3600.07/3673.11 c counting propagations 220697939
3600.07/3673.11 c watch lookups 75291832767
3600.07/3673.11 c watch backjump lookups 0
3600.07/3673.11 c watch checks 32051179682
3600.07/3673.11 c propagation checks 126781719039
3600.07/3673.11 c constraint additions 4641075111
3600.07/3673.11 c trail pops 1458210575
3600.07/3673.11 c formula constraints 21557
3600.07/3673.11 c learned constraints 1410058
3600.07/3673.11 c bound constraints 0
3600.07/3673.11 c core-guided constraints 0
3600.07/3673.11 c encountered formula constraints 53120743
3600.07/3673.11 c encountered learned constraints 32562060
3600.07/3673.11 c encountered bound constraints 0
3600.07/3673.11 c encountered core-guided constraints 0
3600.07/3673.11 c LP total time 491.867 s
3600.07/3673.11 c LP solve time 483.48 s
3600.07/3673.11 c LP constraints added 21746
3600.07/3673.11 c LP constraints removed 0
3600.07/3673.11 c LP pivots internal 159052
3600.07/3673.11 c LP pivots root 146910
3600.07/3673.11 c LP calls 16
3600.07/3673.11 c LP optimalities 5
3600.07/3673.11 c LP no pivot count 0
3600.07/3673.11 c LP infeasibilities 4
3600.07/3673.11 c LP valid Farkas constraints 4
3600.07/3673.11 c LP learned Farkas constraints 4
3600.07/3673.11 c LP basis resets 0
3600.07/3673.11 c LP cycling count 0
3600.07/3673.11 c LP singular count 0
3600.07/3673.11 c LP no primal count 0
3600.07/3673.11 c LP no farkas count 0
3600.07/3673.11 c LP other issue count 0
3600.07/3673.11 c LP Gomory cuts 2
3600.07/3673.11 c LP learned cuts 187
3600.07/3673.11 c LP deleted cuts 0
3600.07/3673.11 c LP encountered Gomory constraints 4
3600.07/3673.11 c LP encountered Farkas constraints 19
3600.07/3673.11 c LP encountered learned Farkas constraints 2
3600.07/3673.11 c CG auxiliary variables introduced 0
3600.07/3673.11 c CG solutions found 0
3600.07/3673.11 c CG cores constructed 0
3600.07/3673.11 c CG core cardinality constraints returned 0
3600.07/3673.11 c CG unit cores 0
3600.07/3673.11 c CG single cores 0
3600.07/3673.11 c CG blocks removed during cardinality reduction 0
3600.07/3673.11 c CG first core best 0
3600.07/3673.11 c CG decision core best 0
3600.07/3673.11 c CG core reduction tie 0
3600.07/3673.11 c CG core degree average 0.00
3600.07/3673.11 c CG core slack average 0.00
3600.07/3673.11 c CG core upper bound improvements 0
3600.07/3673.11 c STR number of successful calls 0
3600.07/3673.11 c STR number of unsuccessful calls 0
3600.07/3673.11 c STR number of inconclusive calls 0
3600.07/3673.11 c STR number of successful attempts 0
3600.07/3673.11 c STR number of unsuccessful attempts 0
3600.07/3673.11 c STR number of inconclusive attempts 0
3600.07/3673.11 c STR average degree increase per successful call inf
3600.07/3673.11 c STR average degree increase per successful attempt inf
3600.07/3673.11 c STR total number of conflicts for successful attempts 0
3600.07/3673.11 c STR total number of conflicts for unsuccessful attempts 0
3600.07/3673.11 c STR total number of conflicts for inconclusive attempts 0
3600.07/3673.11 c STR average number of conflicts per successful attempt inf
3600.07/3673.11 c STR average number of conflicts per unsuccessful attempt inf
3600.07/3673.11 c STR average number of conflicts per inconclusive attempt inf
3600.07/3673.11 c AVG.sumWPerc 65.91
3600.07/3673.11 c bigint constraints 0
3600.07/3673.11 s UNKNOWN
3600.07/3673.11 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62794 MiB free)
memory of node 1: 64507 MiB (63983 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507233-1751174074/watcher-4507233-1751174074 -o /tmp/evaluation-result-4507233-1751174074/solver-4507233-1751174074 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751170426-22590 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4507233-1751174074.opb PROOFDIR/proof-4507233-1751174074
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Current StackSize limit: 8192 KiB
solver pid=23046, runsolver pid=23043
[startup+0.100062 s]*
/proc/loadavg: 4.27 4.16 4.11 5/270 23048
/proc/meminfo: memFree=129767060/131250000 swapFree=33010684/33010684
[pid=23046] ppid=23043 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23046/stat : 23046 (run-dec-break-l) S 23043 23046 22578 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 33087672 4292608 768 18446744073709551615 94137642205184 94137643099717 140723093021728 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94137643338768 94137643386512 94137661280256 140723093027093 140723093027294 140723093027294 140723093032896 0
/proc/23046/statm: 1048 768 704 219 0 110 0
[pid=23048] ppid=23046 vsize=42700 memory=30316 CPUtime=0.09 cores=1,3
/proc/23048/stat : 23048 (pbsuma) R 23046 23046 22578 0 -1 4456448 13066 0 0 0 7 2 0 0 20 0 1 0 33087672 43724800 7579 18446744073709551615 4210688 4653049 140730490008928 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 33255424 140730490013923 140730490014258 140730490014258 140730490019823 0
/proc/23048/statm: 10675 7579 1024 108 0 8083 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 46892 KiB
Current children cumulated memory: 33388 KiB
[startup+0.205578 s]*
/proc/loadavg: 4.27 4.16 4.11 6/270 23049
/proc/meminfo: memFree=129766956/131250000 swapFree=33010684/33010684
[pid=23046] ppid=23043 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/23046/stat : 23046 (run-dec-break-l) S 23043 23046 22578 0 -1 4194304 242 13195 0 0 0 0 7 2 20 0 1 0 33087672 4292608 768 18446744073709551615 94137642205184 94137643099717 140723093021728 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94137643338768 94137643386512 94137661280256 140723093027093 140723093027294 140723093027294 140723093032896 0
/proc/23046/statm: 1048 768 704 219 0 110 0
[pid=23049] ppid=23046 vsize=66932 memory=22224 CPUtime=0.07 cores=1,3
/proc/23049/stat : 23049 (roundingsat) R 23046 23046 22578 0 -1 4194304 3250 0 0 0 6 1 0 0 20 0 1 0 33087684 68538368 5556 18446744073709551615 4227072 8923433 140736949457104 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17043456 140736949463284 140736949463592 140736949463592 140736949469162 0
/proc/23049/statm: 16733 5556 2048 1147 0 4160 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 71124 KiB
Current children cumulated memory: 25296 KiB
[startup+0.305532 s]*
/proc/loadavg: 4.27 4.16 4.11 5/270 23049
/proc/meminfo: memFree=129754420/131250000 swapFree=33010684/33010684
[pid=23046] ppid=23043 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/23046/stat : 23046 (run-dec-break-l) S 23043 23046 22578 0 -1 4194304 242 13195 0 0 0 0 7 2 20 0 1 0 33087672 4292608 768 18446744073709551615 94137642205184 94137643099717 140723093021728 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94137643338768 94137643386512 94137661280256 140723093027093 140723093027294 140723093027294 140723093032896 0
/proc/23046/statm: 1048 768 704 219 0 110 0
[pid=23049] ppid=23046 vsize=102536 memory=51304 CPUtime=0.17 cores=1,3
/proc/23049/stat : 23049 (roundingsat) R 23046 23046 22578 0 -1 4194304 9337 0 0 0 14 3 0 0 20 0 1 0 33087684 104996864 12826 18446744073709551615 4227072 8923433 140736949457104 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17043456 140736949463284 140736949463592 140736949463592 140736949469162 0
/proc/23049/statm: 25634 12826 2304 1147 0 13061 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 106728 KiB
Current children cumulated memory: 54376 KiB
[startup+0.700159 s]
/proc/loadavg: 4.27 4.16 4.11 5/270 23049
/proc/meminfo: memFree=129742576/131250000 swapFree=33010684/33010684
[pid=23046] ppid=23043 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/23046/stat : 23046 (run-dec-break-l) S 23043 23046 22578 0 -1 4194304 242 13195 0 0 0 0 7 2 20 0 1 0 33087672 4292608 768 18446744073709551615 94137642205184 94137643099717 140723093021728 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94137643338768 94137643386512 94137661280256 140723093027093 140723093027294 140723093027294 140723093032896 0
/proc/23046/statm: 1048 768 704 219 0 110 0
[pid=23049] ppid=23046 vsize=118324 memory=65656 CPUtime=0.56 cores=1,3
/proc/23049/stat : 23049 (roundingsat) R 23046 23046 22578 0 -1 4194304 13158 0 0 0 52 4 0 0 20 0 1 0 33087684 121163776 16414 18446744073709551615 4227072 8923433 140736949457104 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17043456 140736949463284 140736949463592 140736949463592 140736949469162 0
/proc/23049/statm: 29581 16414 2336 1147 0 17008 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 122516 KiB
Current children cumulated memory: 68728 KiB
[startup+1.50019 s]
/proc/loadavg: 4.27 4.16 4.11 5/270 23049
/proc/meminfo: memFree=129730732/131250000 swapFree=33010684/33010684
[pid=23046] ppid=23043 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/23046/stat : 23046 (run-dec-break-l) S 23043 23046 22578 0 -1 4194304 242 13195 0 0 0 0 7 2 20 0 1 0 33087672 4292608 768 18446744073709551615 94137642205184 94137643099717 140723093021728 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94137643338768 94137643386512 94137661280256 140723093027093 140723093027294 140723093027294 140723093032896 0
/proc/23046/statm: 1048 768 704 219 0 110 0
[pid=23049] ppid=23046 vsize=118324 memory=65656 CPUtime=1.36 cores=1,3
/proc/23049/stat : 23049 (roundingsat) R 23046 23046 22578 0 -1 4194304 13158 0 0 0 132 4 0 0 20 0 1 0 33087684 121163776 16414 18446744073709551615 4227072 8923433 140736949457104 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17043456 140736949463284 140736949463592 140736949463592 140736949469162 0
/proc/23049/statm: 29581 16414 2336 1147 0 17008 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 122516 KiB
Current children cumulated memory: 68728 KiB
[startup+3.10539 s]
/proc/loadavg: 4.27 4.16 4.11 5/270 23049
/proc/meminfo: memFree=129727044/131250000 swapFree=33010684/33010684
[pid=23046] ppid=23043 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/23046/stat : 23046 (run-dec-break-l) S 23043 23046 22578 0 -1 4194304 242 13195 0 0 0 0 7 2 20 0 1 0 33087672 4292608 768 18446744073709551615 94137642205184 94137643099717 140723093021728 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94137643338768 94137643386512 94137661280256 140723093027093 140723093027294 140723093027294 140723093032896 0
/proc/23046/statm: 1048 768 704 219 0 110 0
[pid=23049] ppid=23046 vsize=121820 memory=68728 CPUtime=2.96 cores=1,3
/proc/23049/stat : 23049 (roundingsat) R 23046 23046 22578 0 -1 4194304 13937 0 0 0 292 4 0 0 20 0 1 0 33087684 124743680 17182 18446744073709551615 4227072 8923433 140736949457104 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17043456 140736949463284 140736949463592 140736949463592 140736949469162 0
/proc/23049/statm: 30455 17182 2336 1147 0 17882 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 126012 KiB
Current children cumulated memory: 71800 KiB
[startup+6.30018 s]
/proc/loadavg: 4.33 4.18 4.12 5/270 23050
/proc/meminfo: memFree=129707460/131250000 swapFree=33010684/33010684
[pid=23046] ppid=23043 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/23046/stat : 23046 (run-dec-break-l) S 23043 23046 22578 0 -1 4194304 242 13195 0 0 0 0 7 2 20 0 1 0 33087672 4292608 768 18446744073709551615 94137642205184 94137643099717 140723093021728 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94137643338768 94137643386512 94137661280256 140723093027093 140723093027294 140723093027294 140723093032896 0
/proc/23046/statm: 1048 768 704 219 0 110 0
[pid=23049] ppid=23046 vsize=125956 memory=76520 CPUtime=6.15 cores=1,3
/proc/23049/stat : 23049 (roundingsat) R 23046 23046 22578 0 -1 4194304 15296 0 0 0 601 14 0 0 20 0 1 0 33087684 128978944 19130 18446744073709551615 4227072 8923433 140736949457104 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17043456 140736949463284 140736949463592 140736949463592 140736949469162 0
/proc/23049/statm: 31489 19130 2400 1147 0 18916 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 130148 KiB
Current children cumulated memory: 79592 KiB
[startup+12.7002 s]
/proc/loadavg: 4.30 4.17 4.12 5/270 23050
/proc/meminfo: memFree=129586684/131250000 swapFree=33010684/33010684
[pid=23046] ppid=23043 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/23046/stat : 23046 (run-dec-break-l) S 23043 23046 22578 0 -1 4194304 242 13195 0 0 0 0 7 2 20 0 1 0 33087672 4292608 768 18446744073709551615 94137642205184 94137643099717 140723093021728 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94137643338768 94137643386512 94137661280256 140723093027093 140723093027294 140723093027294 140723093032896 0
/proc/23046/statm: 1048 768 704 219 0 110 0
[pid=23049] ppid=23046 vsize=135268 memory=83560 CPUtime=12.54 cores=1,3
/proc/23049/stat : 23049 (roundingsat) R 23046 23046 22578 0 -1 4194304 17069 0 0 0 1217 37 0 0 20 0 1 0 33087684 138514432 20890 18446744073709551615 4227072 8923433 140736949457104 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17043456 140736949463284 140736949463592 140736949463592 140736949469162 0
/proc/23049/statm: 33817 20890 2400 1147 0 21244 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 139460 KiB
Current children cumulated memory: 86632 KiB
[startup+25.5002 s]
/proc/loadavg: 4.23 4.16 4.11 5/269 23050
/proc/meminfo: memFree=129402852/131250000 swapFree=33010684/33010684
[pid=23046] ppid=23043 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/23046/stat : 23046 (run-dec-break-l) S 23043 23046 22578 0 -1 4194304 242 13195 0 0 0 0 7 2 20 0 1 0 33087672 4292608 768 18446744073709551615 94137642205184 94137643099717 140723093021728 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94137643338768 94137643386512 94137661280256 140723093027093 140723093027294 140723093027294 140723093032896 0
/proc/23046/statm: 1048 768 704 219 0 110 0
[pid=23049] ppid=23046 vsize=161364 memory=104884 CPUtime=25.3 cores=1,3
/proc/23049/stat : 23049 (roundingsat) R 23046 23046 22578 0 -1 4194304 21385 0 0 0 2460 70 0 0 20 0 1 0 33087684 165236736 26221 18446744073709551615 4227072 8923433 140736949457104 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17043456 140736949463284 140736949463592 140736949463592 140736949469162 0
/proc/23049/statm: 40341 26221 2400 1147 0 27768 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 165556 KiB
Current children cumulated memory: 107956 KiB
[startup+51.1057 s]
/proc/loadavg: 4.23 4.17 4.12 5/269 23050
/proc/meminfo: memFree=129063416/131250000 swapFree=33010684/33010684
[pid=23046] ppid=23043 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/23046/stat : 23046 (run-dec-break-l) S 23043 23046 22578 0 -1 4194304 242 13195 0 0 0 0 7 2 20 0 1 0 33087672 4292608 768 18446744073709551615 94137642205184 94137643099717 140723093021728 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94137643338768 94137643386512 94137661280256 140723093027093 140723093027294 140723093027294 140723093032896 0
/proc/23046/statm: 1048 768 704 219 0 110 0
[pid=23049] ppid=23046 vsize=187816 memory=129120 CPUtime=50.84 cores=1,3
/proc/23049/stat : 23049 (roundingsat) R 23046 23046 22578 0 -1 4194304 25963 0 0 0 4959 125 0 0 20 0 1 0 33087684 192323584 32280 18446744073709551615 4227072 8923433 140736949457104 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17043456 140736949463284 140736949463592 140736949463592 140736949469162 0
/proc/23049/statm: 46954 32280 2400 1147 0 34381 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 192008 KiB
Current children cumulated memory: 132192 KiB
[startup+102.3 s]
/proc/loadavg: 4.17 4.16 4.11 5/270 23053
/proc/meminfo: memFree=128599264/131250000 swapFree=33010684/33010684
[pid=23046] ppid=23043 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/23046/stat : 23046 (run-dec-break-l) S 23043 23046 22578 0 -1 4194304 242 13195 0 0 0 0 7 2 20 0 1 0 33087672 4292608 768 18446744073709551615 94137642205184 94137643099717 140723093021728 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94137643338768 94137643386512 94137661280256 140723093027093 140723093027294 140723093027294 140723093032896 0
/proc/23046/statm: 1048 768 704 219 0 110 0
[pid=23049] ppid=23046 vsize=251008 memory=191040 CPUtime=101.72 cores=1,3
/proc/23049/stat : 23049 (roundingsat) R 23046 23046 22578 0 -1 4194304 37445 0 0 0 9941 231 0 0 20 0 1 0 33087684 257032192 47760 18446744073709551615 4227072 8923433 140736949457104 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17043456 140736949463284 140736949463592 140736949463592 140736949469162 0
/proc/23049/statm: 62752 47760 2400 1147 0 50179 0
Current children cumulated CPU time: 101.81 s
Current children cumulated vsize: 255200 KiB
Current children cumulated memory: 194112 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.14 4.11 5/271 23058
/proc/meminfo: memFree=128055188/131250000 swapFree=33010684/33010684
[pid=23046] ppid=23043 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/23046/stat : 23046 (run-dec-break-l) S 23043 23046 22578 0 -1 4194304 242 13195 0 0 0 0 7 2 20 0 1 0 33087672 4292608 768 18446744073709551615 94137642205184 94137643099717 140723093021728 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94137643338768 94137643386512 94137661280256 140723093027093 140723093027294 140723093027294 140723093032896 0
/proc/23046/statm: 1048 768 704 219 0 110 0
[pid=23049] ppid=23046 vsize=293284 memory=218676 CPUtime=161.36 cores=1,3
/proc/23049/stat : 23049 (roundingsat) R 23046 23046 22578 0 -1 4194304 40807 0 0 0 15804 332 0 0 20 0 1 0 33087684 300322816 54669 18446744073709551615 4227072 8923433 140736949457104 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17043456 140736949463284 140736949463592 140736949463592 140736949469162 0
/proc/23049/statm: 73321 54669 2400 1147 0 60748 0
Current children cumulated CPU time: 161.45 s
Current children cumulated vsize: 297476 KiB
Current children cumulated memory: 221748 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/271 23060
/proc/meminfo: memFree=127449668/131250000 swapFree=33010684/33010684
[pid=23046] ppid=23043 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/23046/stat : 23046 (run-dec-break-l) S 23043 23046 22578 0 -1 4194304 242 13195 0 0 0 0 7 2 20 0 1 0 33087672 4292608 768 18446744073709551615 94137642205184 94137643099717 140723093021728 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94137643338768 94137643386512 94137661280256 140723093027093 140723093027294 140723093027294 140723093032896 0
/proc/23046/statm: 1048 768 704 219 0 110 0
[pid=23049] ppid=23046 vsize=306944 memory=233140 CPUtime=221.08 cores=1,3
/proc/23049/stat : 23049 (roundingsat) R 23046 23046 22578 0 -1 4194304 44407 0 0 0 21670 438 0 0 20 0 1 0 33087684 314310656 58285 18446744073709551615 4227072 8923433 140736949457104 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17043456 140736949463284 140736949463592 140736949463592 140736949469162 0
/proc/23049/statm: 76736 58285 2400 1147 0 64163 0
################
# More data... #
################
/proc/23049/statm: 287767 238312 2400 1147 0 275194 0
Current children cumulated CPU time: 3098.33 s
Current children cumulated vsize: 1155260 KiB
Current children cumulated memory: 956320 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/273 23224
/proc/meminfo: memFree=106275084/131250000 swapFree=33010684/33010684
[pid=23046] ppid=23043 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/23046/stat : 23046 (run-dec-break-l) S 23043 23046 22578 0 -1 4194304 242 13195 0 0 0 0 7 2 20 0 1 0 33087672 4292608 768 18446744073709551615 94137642205184 94137643099717 140723093021728 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94137643338768 94137643386512 94137661280256 140723093027093 140723093027294 140723093027294 140723093032896 0
/proc/23046/statm: 1048 768 704 219 0 110 0
[pid=23049] ppid=23046 vsize=1151068 memory=953248 CPUtime=3157.98 cores=1,3
/proc/23049/stat : 23049 (roundingsat) R 23046 23046 22578 0 -1 4194304 132686 0 0 0 312331 3467 0 0 20 0 1 0 33087684 1178693632 238312 18446744073709551615 4227072 8923433 140736949457104 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17043456 140736949463284 140736949463592 140736949463592 140736949469162 0
/proc/23049/statm: 287767 238312 2400 1147 0 275194 0
Current children cumulated CPU time: 3158.07 s
Current children cumulated vsize: 1155260 KiB
Current children cumulated memory: 956320 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/273 23226
/proc/meminfo: memFree=105825368/131250000 swapFree=33010684/33010684
[pid=23046] ppid=23043 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/23046/stat : 23046 (run-dec-break-l) S 23043 23046 22578 0 -1 4194304 242 13195 0 0 0 0 7 2 20 0 1 0 33087672 4292608 768 18446744073709551615 94137642205184 94137643099717 140723093021728 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94137643338768 94137643386512 94137661280256 140723093027093 140723093027294 140723093027294 140723093032896 0
/proc/23046/statm: 1048 768 704 219 0 110 0
[pid=23049] ppid=23046 vsize=1151068 memory=953248 CPUtime=3217.66 cores=1,3
/proc/23049/stat : 23049 (roundingsat) R 23046 23046 22578 0 -1 4194304 132686 0 0 0 318249 3517 0 0 20 0 1 0 33087684 1178693632 238312 18446744073709551615 4227072 8923433 140736949457104 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17043456 140736949463284 140736949463592 140736949463592 140736949469162 0
/proc/23049/statm: 287767 238312 2400 1147 0 275194 0
Current children cumulated CPU time: 3217.75 s
Current children cumulated vsize: 1155260 KiB
Current children cumulated memory: 956320 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/271 23228
/proc/meminfo: memFree=105500628/131250000 swapFree=33010684/33010684
[pid=23046] ppid=23043 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/23046/stat : 23046 (run-dec-break-l) S 23043 23046 22578 0 -1 4194304 242 13195 0 0 0 0 7 2 20 0 1 0 33087672 4292608 768 18446744073709551615 94137642205184 94137643099717 140723093021728 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94137643338768 94137643386512 94137661280256 140723093027093 140723093027294 140723093027294 140723093032896 0
/proc/23046/statm: 1048 768 704 219 0 110 0
[pid=23049] ppid=23046 vsize=1153800 memory=955424 CPUtime=3277.02 cores=1,3
/proc/23049/stat : 23049 (roundingsat) R 23046 23046 22578 0 -1 4194304 133229 0 0 0 324132 3570 0 0 20 0 1 0 33087684 1181491200 238856 18446744073709551615 4227072 8923433 140736949457104 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17043456 140736949463284 140736949463592 140736949463592 140736949469162 0
/proc/23049/statm: 288450 238856 2400 1147 0 275877 0
Current children cumulated CPU time: 3277.11 s
Current children cumulated vsize: 1157992 KiB
Current children cumulated memory: 958496 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/271 23231
/proc/meminfo: memFree=105094916/131250000 swapFree=33010684/33010684
[pid=23046] ppid=23043 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/23046/stat : 23046 (run-dec-break-l) S 23043 23046 22578 0 -1 4194304 242 13195 0 0 0 0 7 2 20 0 1 0 33087672 4292608 768 18446744073709551615 94137642205184 94137643099717 140723093021728 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94137643338768 94137643386512 94137661280256 140723093027093 140723093027294 140723093027294 140723093032896 0
/proc/23046/statm: 1048 768 704 219 0 110 0
[pid=23049] ppid=23046 vsize=1172044 memory=970936 CPUtime=3335.99 cores=1,3
/proc/23049/stat : 23049 (roundingsat) R 23046 23046 22578 0 -1 4194304 136624 0 0 0 329973 3626 0 0 20 0 1 0 33087684 1200173056 242734 18446744073709551615 4227072 8923433 140736949457104 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17043456 140736949463284 140736949463592 140736949463592 140736949469162 0
/proc/23049/statm: 293011 242734 2400 1147 0 280438 0
Current children cumulated CPU time: 3336.08 s
Current children cumulated vsize: 1176236 KiB
Current children cumulated memory: 974008 KiB
[startup+3462.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/271 23233
/proc/meminfo: memFree=104818492/131250000 swapFree=33010684/33010684
[pid=23046] ppid=23043 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/23046/stat : 23046 (run-dec-break-l) S 23043 23046 22578 0 -1 4194304 242 13195 0 0 0 0 7 2 20 0 1 0 33087672 4292608 768 18446744073709551615 94137642205184 94137643099717 140723093021728 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94137643338768 94137643386512 94137661280256 140723093027093 140723093027294 140723093027294 140723093032896 0
/proc/23046/statm: 1048 768 704 219 0 110 0
[pid=23049] ppid=23046 vsize=1172044 memory=971064 CPUtime=3395.82 cores=1,3
/proc/23049/stat : 23049 (roundingsat) R 23046 23046 22578 0 -1 4194304 136630 0 0 0 335932 3650 0 0 20 0 1 0 33087684 1200173056 242766 18446744073709551615 4227072 8923433 140736949457104 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17043456 140736949463284 140736949463592 140736949463592 140736949469162 0
/proc/23049/statm: 293011 242766 2400 1147 0 280438 0
Current children cumulated CPU time: 3395.91 s
Current children cumulated vsize: 1176236 KiB
Current children cumulated memory: 974136 KiB
[startup+3522.3 s]
/proc/loadavg: 4.31 4.16 4.11 5/271 23238
/proc/meminfo: memFree=104397520/131250000 swapFree=33010684/33010684
[pid=23046] ppid=23043 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/23046/stat : 23046 (run-dec-break-l) S 23043 23046 22578 0 -1 4194304 242 13195 0 0 0 0 7 2 20 0 1 0 33087672 4292608 768 18446744073709551615 94137642205184 94137643099717 140723093021728 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94137643338768 94137643386512 94137661280256 140723093027093 140723093027294 140723093027294 140723093032896 0
/proc/23046/statm: 1048 768 704 219 0 110 0
[pid=23049] ppid=23046 vsize=1172044 memory=971064 CPUtime=3454.4 cores=1,3
/proc/23049/stat : 23049 (roundingsat) R 23046 23046 22578 0 -1 4194304 136631 0 0 0 341740 3700 0 0 20 0 1 0 33087684 1200173056 242766 18446744073709551615 4227072 8923433 140736949457104 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17043456 140736949463284 140736949463592 140736949463592 140736949469162 0
/proc/23049/statm: 293011 242766 2400 1147 0 280438 0
Current children cumulated CPU time: 3454.49 s
Current children cumulated vsize: 1176236 KiB
Current children cumulated memory: 974136 KiB
[startup+3582.3 s]
/proc/loadavg: 4.23 4.16 4.11 5/271 23243
/proc/meminfo: memFree=104017240/131250000 swapFree=33010684/33010684
[pid=23046] ppid=23043 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/23046/stat : 23046 (run-dec-break-l) S 23043 23046 22578 0 -1 4194304 242 13195 0 0 0 0 7 2 20 0 1 0 33087672 4292608 768 18446744073709551615 94137642205184 94137643099717 140723093021728 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94137643338768 94137643386512 94137661280256 140723093027093 140723093027294 140723093027294 140723093032896 0
/proc/23046/statm: 1048 768 704 219 0 110 0
[pid=23049] ppid=23046 vsize=1172044 memory=971064 CPUtime=3509.75 cores=1,3
/proc/23049/stat : 23049 (roundingsat) R 23046 23046 22578 0 -1 4194304 136631 0 0 0 347203 3772 0 0 20 0 1 0 33087684 1200173056 242766 18446744073709551615 4227072 8923433 140736949457104 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17043456 140736949463284 140736949463592 140736949463592 140736949469162 0
/proc/23049/statm: 293011 242766 2400 1147 0 280438 0
Current children cumulated CPU time: 3509.84 s
Current children cumulated vsize: 1176236 KiB
Current children cumulated memory: 974136 KiB
[startup+3642.3 s]
/proc/loadavg: 4.15 4.14 4.11 5/271 23245
/proc/meminfo: memFree=103630980/131250000 swapFree=33010684/33010684
[pid=23046] ppid=23043 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/23046/stat : 23046 (run-dec-break-l) S 23043 23046 22578 0 -1 4194304 242 13195 0 0 0 0 7 2 20 0 1 0 33087672 4292608 768 18446744073709551615 94137642205184 94137643099717 140723093021728 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94137643338768 94137643386512 94137661280256 140723093027093 140723093027294 140723093027294 140723093032896 0
/proc/23046/statm: 1048 768 704 219 0 110 0
[pid=23049] ppid=23046 vsize=1172044 memory=971064 CPUtime=3569.3 cores=1,3
/proc/23049/stat : 23049 (roundingsat) R 23046 23046 22578 0 -1 4194304 136637 0 0 0 353103 3827 0 0 20 0 1 0 33087684 1200173056 242766 18446744073709551615 4227072 8923433 140736949457104 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17043456 140736949463284 140736949463592 140736949463592 140736949469162 0
/proc/23049/statm: 293011 242766 2400 1147 0 280438 0
Current children cumulated CPU time: 3569.39 s
Current children cumulated vsize: 1176236 KiB
Current children cumulated memory: 974136 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3673.11 s]
/proc/loadavg: 4.09 4.13 4.10 5/271 23339
/proc/meminfo: memFree=116661416/131250000 swapFree=33010684/33010684
[pid=23046] ppid=23043 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/23046/stat : 23046 (run-dec-break-l) S 23043 23046 22578 0 -1 4194304 242 13195 0 0 0 0 7 2 20 0 1 0 33087672 4292608 768 18446744073709551615 94137642205184 94137643099717 140723093021728 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94137643338768 94137643386512 94137661280256 140723093027093 140723093027294 140723093027294 140723093032896 0
/proc/23046/statm: 1048 768 704 219 0 110 0
[pid=23049] ppid=23046 vsize=1175660 memory=973752 CPUtime=3599.98 cores=1,3
/proc/23049/stat : 23049 (roundingsat) R 23046 23046 22578 0 -1 4194304 137309 0 0 0 356143 3855 0 0 20 0 1 0 33087684 1203875840 243438 18446744073709551615 4227072 8923433 140736949457104 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17043456 140736949463284 140736949463592 140736949463592 140736949469162 0
/proc/23049/statm: 293915 243438 2400 1147 0 281342 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1179852 KiB
Current children cumulated memory: 976824 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3673.11 s]
# the end of solver process 23046 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.078109 s, system=0.026429 s
Sleeping 2 seconds
[startup+3673.19 s]
# the end of solver process 23049 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3561.54 s, system=38.5932 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3673.11 s]
/proc/loadavg: 4.09 4.13 4.10 5/271 23339
/proc/meminfo: memFree=116661416/131250000 swapFree=33010684/33010684
[pid=23046] ppid=23043 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/23046/stat : 23046 (run-dec-break-l) S 23043 23046 22578 0 -1 4194304 242 13195 0 0 0 0 7 2 20 0 1 0 33087672 4292608 768 18446744073709551615 94137642205184 94137643099717 140723093021728 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94137643338768 94137643386512 94137661280256 140723093027093 140723093027294 140723093027294 140723093032896 0
/proc/23046/statm: 1048 768 704 219 0 110 0
[pid=23049] ppid=23046 vsize=1175660 memory=973752 CPUtime=3599.98 cores=1,3
/proc/23049/stat : 23049 (roundingsat) R 23046 23046 22578 0 -1 4194304 137309 0 0 0 356143 3855 0 0 20 0 1 0 33087684 1203875840 243438 18446744073709551615 4227072 8923433 140736949457104 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17043456 140736949463284 140736949463592 140736949463592 140736949469162 0
/proc/23049/statm: 293915 243438 2400 1147 0 281342 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1179852 KiB
Current children cumulated memory: 976824 KiB
Child status: 2
Real time (s): 3673.19
CPU time (s): 3600.13
CPU user time (s): 3561.54
CPU system time (s): 38.5932
CPU usage (%): 98.011
Max. virtual memory (cumulated for all children) (KiB): 1179852
Max. memory (cumulated for all children) (KiB): 976824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3561.54
system time used= 38.5932
maximum resident set size= 974008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 150766
page faults= 0
swaps= 0
block input operations= 8
block output operations= 11468024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 711
involuntary context switches= 8086
# summary of solver processes directly reported to runsolver:
# pid: 23046,23049
# total CPU time (s): 3600.13
# total CPU user time (s): 3561.54
# total CPU system time (s): 38.5932
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.45823 second user time and 16.6373 second system time
The end
Begin job on nodeC013 at 2025-06-29 07:14:34
IDJOB=4507233
IDBENCH=158331
IDSOLVER=3358
FILE ID=nodeC013/4507233-1751174074
RUNJOBID= nodeC013-1751170426-22590
SLURM_JOB_ID= 9587527
Free space on /tmp= 433024 MiB
SOLVER NAME= roundingsat+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K177.opb
COMMAND LINE= run-dec-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507233-1751174074/watcher-4507233-1751174074 -o /tmp/evaluation-result-4507233-1751174074/solver-4507233-1751174074 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751170426-22590 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4507233-1751174074.opb PROOFDIR/proof-4507233-1751174074
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4b187363ec0683eba575f162bd763393
RANDOM SEED=2091039403
nodeC013 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.360
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.451
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.843
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.849
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.859
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.840
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.007
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3626.993
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129820344 kB
MemAvailable: 129535380 kB
Buffers: 3280 kB
Cached: 520496 kB
SwapCached: 0 kB
Active: 561796 kB
Inactive: 311672 kB
Active(anon): 362976 kB
Inactive(anon): 0 kB
Active(file): 198820 kB
Inactive(file): 311672 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 35280 kB
Writeback: 172 kB
AnonPages: 352844 kB
Mapped: 111576 kB
Shmem: 13284 kB
KReclaimable: 87168 kB
Slab: 172988 kB
SReclaimable: 87168 kB
SUnreclaim: 85820 kB
KernelStack: 4336 kB
PageTables: 3868 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 703284 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150632 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 63488 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 215764 kB
DirectMap2M: 8992768 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433020 MiB
End job on nodeC013 at 2025-06-29 08:15:47