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-4506981-1751173308.opb'
0.00/0.03 c read 1.30MB (17.75ms)
0.00/0.03 c [cnf: #variables 18921 #clauses 19241 #duplicates 0 #arr 123757]
0.00/0.03 c output proof to 'PROOFDIR/proof-4506981-1751173308'
0.00/0.03 c
0.00/0.03 c make graph and approximate orbits
0.00/0.05 c [group: #orbits ~= 2862] (23.13ms)
0.00/0.05 c
0.00/0.05 c detect special group actions
0.00/0.05 c probe for Johnson action (limit=64)
0.00/0.05 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.05 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.06 c (3.82ms)
0.00/0.06 c
0.00/0.06 c detect symmetries on remainder
0.00/0.06 c [graph: #vertices 94925 #edges 361040]
0.00/0.06 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.07 c [group: #symmetries 4.80*10^1 #generators 5] (19.62ms)
0.00/0.07 c
0.00/0.07 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.07 c (0.05ms)
0.00/0.07 c
0.00/0.07 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.06ms)
0.00/0.09 c
0.00/0.09 c generation finished
0.00/0.09 c [sbp: #constraints 140 #add_vars 45]
0.00/0.09 c
0.00/0.09 c write result to 'HOME/instance-4506981-1751173308.opb.pre'
0.00/0.09 c wrote 1.32MB (3.05ms)
0.00/0.09 c ------------------------------------------------------------------
0.00/0.09 c 23.13ms 27.75% approx_orbits
0.00/0.09 c 19.62ms 23.54% detect_generic
0.00/0.09 c 17.74ms 21.29% parse
0.00/0.09 c 15.18ms 18.21% other
0.00/0.09 c 3.82ms 4.58% detect_special
0.00/0.09 c 3.05ms 3.66% output
0.00/0.09 c 0.70ms 0.83% finalize_order
0.00/0.09 c 0.06ms 0.07% break_generic
0.00/0.09 c 0.05ms 0.06% optimize_gens
0.00/0.09 c ───────────────────────────────────────────────
0.00/0.09 c 83.34ms 100% total
0.00/0.09 c ------------------------------------------------------------------
0.08/0.12 c RoundingSat 2
0.08/0.12 c branch pb25
0.08/0.12 c commit 63f22ad
0.16/0.27 c #variables 18966 #constraints 19379
113.18/113.72 c #Conflicts: 1000 | #Constraints: 20378
113.18/113.72 c #Conflicts: 2000 | #Constraints: 21378
113.18/113.72 c INPROCESSING
113.18/113.72 c GARBAGE COLLECT
113.18/113.72 c #Conflicts: 3000 | #Constraints: 20612
113.18/113.72 c #Conflicts: 4000 | #Constraints: 21612
113.18/113.72 c INPROCESSING
113.18/113.72 c GARBAGE COLLECT
113.18/113.72 c #Conflicts: 5000 | #Constraints: 21130
113.18/113.72 c #Conflicts: 6000 | #Constraints: 22130
113.18/113.72 c INPROCESSING
113.18/113.72 c GARBAGE COLLECT
113.18/113.72 c #Conflicts: 7000 | #Constraints: 21200
113.18/113.72 c #Conflicts: 8000 | #Constraints: 22200
113.18/113.72 c #Conflicts: 9000 | #Constraints: 23200
113.18/113.72 c INPROCESSING
113.18/113.72 c GARBAGE COLLECT
113.18/113.72 c #Conflicts: 10000 | #Constraints: 21968
113.18/113.72 c #Conflicts: 11000 | #Constraints: 22968
113.18/113.72 c #Conflicts: 12000 | #Constraints: 23968
113.18/113.72 c #Conflicts: 13000 | #Constraints: 24968
113.18/113.72 c #Conflicts: 14000 | #Constraints: 25968
113.18/113.72 c #Conflicts: 15000 | #Constraints: 26968
113.18/113.72 c #Conflicts: 16000 | #Constraints: 27968
113.18/113.72 c INPROCESSING
113.18/113.72 c GARBAGE COLLECT
113.18/113.72 c #Conflicts: 17000 | #Constraints: 24311
113.18/113.72 c #Conflicts: 18000 | #Constraints: 25311
113.18/113.72 c #Conflicts: 19000 | #Constraints: 26311
113.18/113.72 c #Conflicts: 20000 | #Constraints: 27311
113.18/113.72 c INPROCESSING
113.18/113.72 c GARBAGE COLLECT
113.18/113.72 c #Conflicts: 21000 | #Constraints: 24088
113.18/113.72 c #Conflicts: 22000 | #Constraints: 25088
113.18/113.72 c #Conflicts: 23000 | #Constraints: 26088
113.18/113.72 c #Conflicts: 24000 | #Constraints: 27088
113.18/113.72 c #Conflicts: 25000 | #Constraints: 28088
113.18/113.72 c #Conflicts: 26000 | #Constraints: 29088
113.18/113.72 c #Conflicts: 27000 | #Constraints: 30088
113.18/113.72 c #Conflicts: 28000 | #Constraints: 31088
113.18/113.72 c #Conflicts: 29000 | #Constraints: 32088
113.18/113.72 c #Conflicts: 30000 | #Constraints: 33088
113.18/113.72 c INPROCESSING
113.18/113.72 c GARBAGE COLLECT
113.18/113.72 c #Conflicts: 31000 | #Constraints: 26857
113.18/113.72 c #Conflicts: 32000 | #Constraints: 27857
113.18/113.72 c #Conflicts: 33000 | #Constraints: 28857
113.18/113.72 c #Conflicts: 34000 | #Constraints: 29857
113.18/113.72 c #Conflicts: 35000 | #Constraints: 30857
113.18/113.72 c #Conflicts: 36000 | #Constraints: 31857
113.18/113.72 c INPROCESSING
113.18/113.72 c GARBAGE COLLECT
113.18/113.72 c #Conflicts: 37000 | #Constraints: 26674
113.18/113.72 c #Conflicts: 38000 | #Constraints: 27674
113.18/113.72 c #Conflicts: 39000 | #Constraints: 28674
113.18/113.72 c #Conflicts: 40000 | #Constraints: 29674
113.18/113.72 c #Conflicts: 41000 | #Constraints: 30674
113.18/113.72 c #Conflicts: 42000 | #Constraints: 31674
113.18/113.72 c #Conflicts: 43000 | #Constraints: 32674
113.18/113.72 c #Conflicts: 44000 | #Constraints: 33674
113.18/113.72 c #Conflicts: 45000 | #Constraints: 34674
113.18/113.72 c #Conflicts: 46000 | #Constraints: 35674
113.18/113.72 c #Conflicts: 47000 | #Constraints: 36674
113.18/113.72 c #Conflicts: 48000 | #Constraints: 37674
113.18/113.72 c #Conflicts: 49000 | #Constraints: 38674
113.18/113.72 c INPROCESSING
113.18/113.72 c GARBAGE COLLECT
113.18/113.72 c #Conflicts: 50000 | #Constraints: 29954
113.18/113.72 c #Conflicts: 51000 | #Constraints: 30954
113.18/113.72 c #Conflicts: 52000 | #Constraints: 31954
113.18/113.72 c #Conflicts: 53000 | #Constraints: 32954
113.18/113.72 c #Conflicts: 54000 | #Constraints: 33954
113.18/113.72 c #Conflicts: 55000 | #Constraints: 34954
113.18/113.72 c #Conflicts: 56000 | #Constraints: 35954
113.18/113.72 c INPROCESSING
113.18/113.72 c GARBAGE COLLECT
113.18/113.72 c #Conflicts: 57000 | #Constraints: 29045
113.18/113.72 c #Conflicts: 58000 | #Constraints: 30045
113.18/113.72 c #Conflicts: 59000 | #Constraints: 31045
113.18/113.72 c #Conflicts: 60000 | #Constraints: 32045
113.18/113.72 c #Conflicts: 61000 | #Constraints: 33045
113.18/113.72 c #Conflicts: 62000 | #Constraints: 34045
113.18/113.72 c #Conflicts: 63000 | #Constraints: 35045
113.18/113.72 c #Conflicts: 64000 | #Constraints: 36045
113.18/113.72 c #Conflicts: 65000 | #Constraints: 37045
113.18/113.72 c #Conflicts: 66000 | #Constraints: 38045
113.18/113.72 c #Conflicts: 67000 | #Constraints: 39045
113.18/113.72 c #Conflicts: 68000 | #Constraints: 40045
113.18/113.72 c #Conflicts: 69000 | #Constraints: 41045
113.18/113.72 c #Conflicts: 70000 | #Constraints: 42045
113.18/113.72 c #Conflicts: 71000 | #Constraints: 43045
113.18/113.72 c #Conflicts: 72000 | #Constraints: 44045
113.18/113.72 c INPROCESSING
113.18/113.72 c GARBAGE COLLECT
233.85/234.85 c #Conflicts: 73000 | #Constraints: 32641
233.85/234.85 c #Conflicts: 74000 | #Constraints: 33641
233.85/234.85 c #Conflicts: 75000 | #Constraints: 34641
233.85/234.85 c #Conflicts: 76000 | #Constraints: 35641
233.85/234.85 c #Conflicts: 77000 | #Constraints: 36641
233.85/234.85 c #Conflicts: 78000 | #Constraints: 37641
233.85/234.85 c #Conflicts: 79000 | #Constraints: 38641
233.85/234.85 c #Conflicts: 80000 | #Constraints: 39641
233.85/234.85 c INPROCESSING
233.85/234.85 c GARBAGE COLLECT
233.85/234.85 c #Conflicts: 81000 | #Constraints: 31167
233.85/234.85 c #Conflicts: 82000 | #Constraints: 32167
233.85/234.85 c #Conflicts: 83000 | #Constraints: 33167
233.85/234.85 c #Conflicts: 84000 | #Constraints: 34167
233.85/234.85 c #Conflicts: 85000 | #Constraints: 35167
233.85/234.85 c #Conflicts: 86000 | #Constraints: 36167
233.85/234.85 c #Conflicts: 87000 | #Constraints: 37167
233.85/234.85 c #Conflicts: 88000 | #Constraints: 38167
233.85/234.85 c #Conflicts: 89000 | #Constraints: 39167
233.85/234.85 c #Conflicts: 90000 | #Constraints: 40167
233.85/234.85 c #Conflicts: 91000 | #Constraints: 41167
233.85/234.85 c #Conflicts: 92000 | #Constraints: 42167
233.85/234.85 c #Conflicts: 93000 | #Constraints: 43167
233.85/234.85 c #Conflicts: 94000 | #Constraints: 44167
233.85/234.85 c #Conflicts: 95000 | #Constraints: 45167
233.85/234.85 c #Conflicts: 96000 | #Constraints: 46167
233.85/234.85 c #Conflicts: 97000 | #Constraints: 47167
233.85/234.85 c #Conflicts: 98000 | #Constraints: 48167
233.85/234.85 c #Conflicts: 99000 | #Constraints: 49167
233.85/234.85 c #Conflicts: 100000 | #Constraints: 50167
233.85/234.85 c INPROCESSING
233.85/234.85 c GARBAGE COLLECT
233.85/234.85 c #Conflicts: 101000 | #Constraints: 36082
233.85/234.85 c #Conflicts: 102000 | #Constraints: 37082
233.85/234.85 c #Conflicts: 103000 | #Constraints: 38082
233.85/234.85 c #Conflicts: 104000 | #Constraints: 39082
233.85/234.85 c #Conflicts: 105000 | #Constraints: 40082
233.85/234.85 c #Conflicts: 106000 | #Constraints: 41082
233.85/234.85 c #Conflicts: 107000 | #Constraints: 42082
233.85/234.85 c #Conflicts: 108000 | #Constraints: 43082
233.85/234.85 c #Conflicts: 109000 | #Constraints: 44082
233.85/234.85 c INPROCESSING
233.85/234.85 c GARBAGE COLLECT
233.85/234.85 c #Conflicts: 110000 | #Constraints: 33575
233.85/234.85 c #Conflicts: 111000 | #Constraints: 34575
233.85/234.85 c #Conflicts: 112000 | #Constraints: 35575
233.85/234.85 c #Conflicts: 113000 | #Constraints: 36575
233.85/234.85 c #Conflicts: 114000 | #Constraints: 37575
233.85/234.85 c #Conflicts: 115000 | #Constraints: 38575
233.85/234.85 c #Conflicts: 116000 | #Constraints: 39575
233.85/234.85 c #Conflicts: 117000 | #Constraints: 40575
233.85/234.85 c #Conflicts: 118000 | #Constraints: 41575
233.85/234.85 c #Conflicts: 119000 | #Constraints: 42575
233.85/234.85 c #Conflicts: 120000 | #Constraints: 43575
233.85/234.85 c #Conflicts: 121000 | #Constraints: 44575
233.85/234.85 c #Conflicts: 122000 | #Constraints: 45575
233.85/234.85 c #Conflicts: 123000 | #Constraints: 46575
233.85/234.85 c #Conflicts: 124000 | #Constraints: 47575
233.85/234.85 c #Conflicts: 125000 | #Constraints: 48575
233.85/234.85 c #Conflicts: 126000 | #Constraints: 49575
233.85/234.85 c #Conflicts: 127000 | #Constraints: 50575
233.85/234.85 c #Conflicts: 128000 | #Constraints: 51575
233.85/234.85 c #Conflicts: 129000 | #Constraints: 52575
233.85/234.85 c #Conflicts: 130000 | #Constraints: 53575
233.85/234.85 c #Conflicts: 131000 | #Constraints: 54575
233.85/234.85 c #Conflicts: 132000 | #Constraints: 55575
233.85/234.85 c INPROCESSING
233.85/234.85 c GARBAGE COLLECT
233.85/234.85 c #Conflicts: 133000 | #Constraints: 38879
233.85/234.85 c #Conflicts: 134000 | #Constraints: 39879
233.85/234.85 c #Conflicts: 135000 | #Constraints: 40879
233.85/234.85 c #Conflicts: 136000 | #Constraints: 41879
233.85/234.85 c #Conflicts: 137000 | #Constraints: 42879
233.85/234.85 c #Conflicts: 138000 | #Constraints: 43879
233.85/234.85 c #Conflicts: 139000 | #Constraints: 44879
233.85/234.85 c #Conflicts: 140000 | #Constraints: 45879
233.85/234.85 c #Conflicts: 141000 | #Constraints: 46879
233.85/234.85 c #Conflicts: 142000 | #Constraints: 47879
233.85/234.85 c INPROCESSING
233.85/234.85 c GARBAGE COLLECT
233.85/234.85 c #Conflicts: 143000 | #Constraints: 36213
233.85/234.85 c #Conflicts: 144000 | #Constraints: 37213
233.85/234.85 c #Conflicts: 145000 | #Constraints: 38213
233.85/234.85 c #Conflicts: 146000 | #Constraints: 39213
233.85/234.85 c #Conflicts: 147000 | #Constraints: 40213
233.85/234.85 c #Conflicts: 148000 | #Constraints: 41213
413.05/418.76 c #Conflicts: 149000 | #Constraints: 42213
413.05/418.76 c #Conflicts: 150000 | #Constraints: 43213
413.05/418.76 c #Conflicts: 151000 | #Constraints: 44213
413.05/418.76 c #Conflicts: 152000 | #Constraints: 45213
413.05/418.76 c #Conflicts: 153000 | #Constraints: 46213
413.05/418.76 c #Conflicts: 154000 | #Constraints: 47213
413.05/418.76 c #Conflicts: 155000 | #Constraints: 48213
413.05/418.76 c #Conflicts: 156000 | #Constraints: 49213
413.05/418.76 c #Conflicts: 157000 | #Constraints: 50213
413.05/418.76 c #Conflicts: 158000 | #Constraints: 51213
413.05/418.76 c #Conflicts: 159000 | #Constraints: 52213
413.05/418.76 c #Conflicts: 160000 | #Constraints: 53213
413.05/418.76 c #Conflicts: 161000 | #Constraints: 54213
413.05/418.76 c #Conflicts: 162000 | #Constraints: 55213
413.05/418.76 c #Conflicts: 163000 | #Constraints: 56213
413.05/418.76 c #Conflicts: 164000 | #Constraints: 57213
413.05/418.76 c #Conflicts: 165000 | #Constraints: 58213
413.05/418.76 c #Conflicts: 166000 | #Constraints: 59213
413.05/418.76 c #Conflicts: 167000 | #Constraints: 60213
413.05/418.76 c #Conflicts: 168000 | #Constraints: 61213
413.05/418.76 c INPROCESSING
413.05/418.76 c GARBAGE COLLECT
413.05/418.76 c #Conflicts: 169000 | #Constraints: 41839
413.05/418.76 c #Conflicts: 170000 | #Constraints: 42839
413.05/418.76 c #Conflicts: 171000 | #Constraints: 43839
413.05/418.76 c #Conflicts: 172000 | #Constraints: 44839
413.05/418.76 c #Conflicts: 173000 | #Constraints: 45839
413.05/418.76 c #Conflicts: 174000 | #Constraints: 46839
413.05/418.76 c #Conflicts: 175000 | #Constraints: 47839
413.05/418.76 c #Conflicts: 176000 | #Constraints: 48839
413.05/418.76 c #Conflicts: 177000 | #Constraints: 49839
413.05/418.76 c #Conflicts: 178000 | #Constraints: 50839
413.05/418.76 c #Conflicts: 179000 | #Constraints: 51839
413.05/418.76 c #Conflicts: 180000 | #Constraints: 52839
413.05/418.76 c INPROCESSING
413.05/418.76 c GARBAGE COLLECT
413.05/418.76 c #Conflicts: 181000 | #Constraints: 39345
413.05/418.76 c #Conflicts: 182000 | #Constraints: 40345
413.05/418.76 c #Conflicts: 183000 | #Constraints: 41345
413.05/418.76 c #Conflicts: 184000 | #Constraints: 42345
413.05/418.76 c #Conflicts: 185000 | #Constraints: 43345
413.05/418.76 c #Conflicts: 186000 | #Constraints: 44345
413.05/418.76 c #Conflicts: 187000 | #Constraints: 45345
413.05/418.76 c #Conflicts: 188000 | #Constraints: 46345
413.05/418.76 c #Conflicts: 189000 | #Constraints: 47345
413.05/418.76 c #Conflicts: 190000 | #Constraints: 48345
413.05/418.76 c #Conflicts: 191000 | #Constraints: 49345
413.05/418.76 c #Conflicts: 192000 | #Constraints: 50345
413.05/418.76 c #Conflicts: 193000 | #Constraints: 51345
413.05/418.76 c #Conflicts: 194000 | #Constraints: 52345
413.05/418.76 c #Conflicts: 195000 | #Constraints: 53345
413.05/418.76 c #Conflicts: 196000 | #Constraints: 54345
413.05/418.76 c #Conflicts: 197000 | #Constraints: 55345
413.05/418.76 c #Conflicts: 198000 | #Constraints: 56345
413.05/418.76 c #Conflicts: 199000 | #Constraints: 57345
413.05/418.76 c #Conflicts: 200000 | #Constraints: 58345
413.05/418.76 c #Conflicts: 201000 | #Constraints: 59345
413.05/418.76 c #Conflicts: 202000 | #Constraints: 60345
413.05/418.76 c #Conflicts: 203000 | #Constraints: 61345
413.05/418.76 c #Conflicts: 204000 | #Constraints: 62345
413.05/418.76 c #Conflicts: 205000 | #Constraints: 63345
413.05/418.76 c #Conflicts: 206000 | #Constraints: 64345
413.05/418.76 c #Conflicts: 207000 | #Constraints: 65345
413.05/418.76 c #Conflicts: 208000 | #Constraints: 66345
413.05/418.76 c #Conflicts: 209000 | #Constraints: 67345
413.05/418.76 c INPROCESSING
413.05/418.76 c GARBAGE COLLECT
413.05/418.76 c #Conflicts: 210000 | #Constraints: 44953
413.05/418.76 c #Conflicts: 211000 | #Constraints: 45953
413.05/418.76 c #Conflicts: 212000 | #Constraints: 46953
413.05/418.76 c #Conflicts: 213000 | #Constraints: 47953
413.05/418.76 c #Conflicts: 214000 | #Constraints: 48953
413.05/418.76 c #Conflicts: 215000 | #Constraints: 49953
413.05/418.76 c #Conflicts: 216000 | #Constraints: 50953
413.05/418.76 c #Conflicts: 217000 | #Constraints: 51953
413.05/418.76 c #Conflicts: 218000 | #Constraints: 52953
413.05/418.76 c #Conflicts: 219000 | #Constraints: 53953
413.05/418.76 c #Conflicts: 220000 | #Constraints: 54953
413.05/418.76 c #Conflicts: 221000 | #Constraints: 55953
413.05/418.76 c #Conflicts: 222000 | #Constraints: 56953
413.05/418.76 c INPROCESSING
413.05/418.76 c GARBAGE COLLECT
413.05/418.76 c #Conflicts: 223000 | #Constraints: 41542
413.05/418.76 c #Conflicts: 224000 | #Constraints: 42542
582.23/588.66 c #Conflicts: 225000 | #Constraints: 43542
582.23/588.66 c #Conflicts: 226000 | #Constraints: 44542
582.23/588.66 c #Conflicts: 227000 | #Constraints: 45542
582.23/588.66 c #Conflicts: 228000 | #Constraints: 46542
582.23/588.66 c #Conflicts: 229000 | #Constraints: 47542
582.23/588.66 c #Conflicts: 230000 | #Constraints: 48542
582.23/588.66 c #Conflicts: 231000 | #Constraints: 49542
582.23/588.66 c #Conflicts: 232000 | #Constraints: 50542
582.23/588.66 c #Conflicts: 233000 | #Constraints: 51542
582.23/588.66 c #Conflicts: 234000 | #Constraints: 52542
582.23/588.66 c #Conflicts: 235000 | #Constraints: 53542
582.23/588.66 c #Conflicts: 236000 | #Constraints: 54542
582.23/588.66 c #Conflicts: 237000 | #Constraints: 55542
582.23/588.66 c #Conflicts: 238000 | #Constraints: 56542
582.23/588.66 c #Conflicts: 239000 | #Constraints: 57542
582.23/588.66 c #Conflicts: 240000 | #Constraints: 58542
582.23/588.66 c #Conflicts: 241000 | #Constraints: 59542
582.23/588.66 c #Conflicts: 242000 | #Constraints: 60542
582.23/588.66 c #Conflicts: 243000 | #Constraints: 61542
582.23/588.66 c #Conflicts: 244000 | #Constraints: 62542
582.23/588.66 c #Conflicts: 245000 | #Constraints: 63542
582.23/588.66 c #Conflicts: 246000 | #Constraints: 64542
582.23/588.66 c #Conflicts: 247000 | #Constraints: 65542
582.23/588.66 c #Conflicts: 248000 | #Constraints: 66542
582.23/588.66 c #Conflicts: 249000 | #Constraints: 67542
582.23/588.66 c #Conflicts: 250000 | #Constraints: 68542
582.23/588.66 c #Conflicts: 251000 | #Constraints: 69542
582.23/588.66 c #Conflicts: 252000 | #Constraints: 70542
582.23/588.66 c #Conflicts: 253000 | #Constraints: 71542
582.23/588.66 c #Conflicts: 254000 | #Constraints: 72542
582.23/588.66 c INPROCESSING
582.23/588.66 c GARBAGE COLLECT
582.23/588.66 c #Conflicts: 255000 | #Constraints: 47664
582.23/588.66 c #Conflicts: 256000 | #Constraints: 48664
582.23/588.66 c #Conflicts: 257000 | #Constraints: 49664
582.23/588.66 c #Conflicts: 258000 | #Constraints: 50664
582.23/588.66 c #Conflicts: 259000 | #Constraints: 51664
582.23/588.66 c #Conflicts: 260000 | #Constraints: 52664
582.23/588.66 c #Conflicts: 261000 | #Constraints: 53664
582.23/588.66 c #Conflicts: 262000 | #Constraints: 54664
582.23/588.66 c #Conflicts: 263000 | #Constraints: 55664
582.23/588.66 c #Conflicts: 264000 | #Constraints: 56664
582.23/588.66 c #Conflicts: 265000 | #Constraints: 57664
582.23/588.66 c #Conflicts: 266000 | #Constraints: 58664
582.23/588.66 c #Conflicts: 267000 | #Constraints: 59664
582.23/588.66 c #Conflicts: 268000 | #Constraints: 60664
582.23/588.66 c INPROCESSING
582.23/588.66 c GARBAGE COLLECT
582.23/588.66 c #Conflicts: 269000 | #Constraints: 43979
582.23/588.66 c #Conflicts: 270000 | #Constraints: 44979
582.23/588.66 c #Conflicts: 271000 | #Constraints: 45979
582.23/588.66 c #Conflicts: 272000 | #Constraints: 46979
582.23/588.66 c #Conflicts: 273000 | #Constraints: 47979
582.23/588.66 c #Conflicts: 274000 | #Constraints: 48979
582.23/588.66 c #Conflicts: 275000 | #Constraints: 49979
582.23/588.66 c #Conflicts: 276000 | #Constraints: 50979
582.23/588.66 c #Conflicts: 277000 | #Constraints: 51979
582.23/588.66 c #Conflicts: 278000 | #Constraints: 52979
582.23/588.66 c #Conflicts: 279000 | #Constraints: 53979
582.23/588.66 c #Conflicts: 280000 | #Constraints: 54979
582.23/588.66 c #Conflicts: 281000 | #Constraints: 55979
582.23/588.66 c #Conflicts: 282000 | #Constraints: 56979
582.23/588.66 c #Conflicts: 283000 | #Constraints: 57979
582.23/588.66 c #Conflicts: 284000 | #Constraints: 58979
582.23/588.66 c #Conflicts: 285000 | #Constraints: 59979
582.23/588.66 c #Conflicts: 286000 | #Constraints: 60979
582.23/588.66 c #Conflicts: 287000 | #Constraints: 61979
582.23/588.66 c #Conflicts: 288000 | #Constraints: 62979
582.23/588.66 c #Conflicts: 289000 | #Constraints: 63979
582.23/588.66 c #Conflicts: 290000 | #Constraints: 64979
582.23/588.66 c #Conflicts: 291000 | #Constraints: 65979
582.23/588.66 c #Conflicts: 292000 | #Constraints: 66979
582.23/588.66 c #Conflicts: 293000 | #Constraints: 67979
582.23/588.66 c #Conflicts: 294000 | #Constraints: 68979
582.23/588.66 c #Conflicts: 295000 | #Constraints: 69979
582.23/588.66 c #Conflicts: 296000 | #Constraints: 70979
582.23/588.66 c #Conflicts: 297000 | #Constraints: 71979
582.23/588.66 c #Conflicts: 298000 | #Constraints: 72979
582.23/588.66 c #Conflicts: 299000 | #Constraints: 73979
582.23/588.66 c #Conflicts: 300000 | #Constraints: 74979
582.23/588.66 c #Conflicts: 301000 | #Constraints: 75979
582.23/588.66 c #Conflicts: 302000 | #Constraints: 76979
717.80/725.17 c #Conflicts: 303000 | #Constraints: 77979
717.80/725.17 c INPROCESSING
717.80/725.17 c GARBAGE COLLECT
717.80/725.17 c #Conflicts: 304000 | #Constraints: 50030
717.80/725.17 c #Conflicts: 305000 | #Constraints: 51030
717.80/725.17 c #Conflicts: 306000 | #Constraints: 52030
717.80/725.17 c #Conflicts: 307000 | #Constraints: 53030
717.80/725.17 c #Conflicts: 308000 | #Constraints: 54030
717.80/725.17 c #Conflicts: 309000 | #Constraints: 55030
717.80/725.17 c #Conflicts: 310000 | #Constraints: 56030
717.80/725.17 c #Conflicts: 311000 | #Constraints: 57030
717.80/725.17 c #Conflicts: 312000 | #Constraints: 58030
717.80/725.17 c #Conflicts: 313000 | #Constraints: 59030
717.80/725.17 c #Conflicts: 314000 | #Constraints: 60030
717.80/725.17 c #Conflicts: 315000 | #Constraints: 61030
717.80/725.17 c #Conflicts: 316000 | #Constraints: 62030
717.80/725.17 c #Conflicts: 317000 | #Constraints: 63030
717.80/725.17 c #Conflicts: 318000 | #Constraints: 64030
717.80/725.17 c #Conflicts: 319000 | #Constraints: 65030
717.80/725.17 c INPROCESSING
717.80/725.17 c GARBAGE COLLECT
717.80/725.17 c #Conflicts: 320000 | #Constraints: 46933
717.80/725.17 c #Conflicts: 321000 | #Constraints: 47933
717.80/725.17 c #Conflicts: 322000 | #Constraints: 48933
717.80/725.17 c #Conflicts: 323000 | #Constraints: 49933
717.80/725.17 c #Conflicts: 324000 | #Constraints: 50933
717.80/725.17 c #Conflicts: 325000 | #Constraints: 51933
717.80/725.17 c #Conflicts: 326000 | #Constraints: 52933
717.80/725.17 c #Conflicts: 327000 | #Constraints: 53933
717.80/725.17 c #Conflicts: 328000 | #Constraints: 54933
717.80/725.17 c #Conflicts: 329000 | #Constraints: 55933
717.80/725.17 c #Conflicts: 330000 | #Constraints: 56933
717.80/725.17 c #Conflicts: 331000 | #Constraints: 57933
717.80/725.17 c #Conflicts: 332000 | #Constraints: 58933
717.80/725.17 c #Conflicts: 333000 | #Constraints: 59933
717.80/725.17 c #Conflicts: 334000 | #Constraints: 60933
717.80/725.17 c #Conflicts: 335000 | #Constraints: 61933
717.80/725.17 c #Conflicts: 336000 | #Constraints: 62933
717.80/725.17 c #Conflicts: 337000 | #Constraints: 63933
717.80/725.17 c #Conflicts: 338000 | #Constraints: 64933
717.80/725.17 c #Conflicts: 339000 | #Constraints: 65933
717.80/725.17 c #Conflicts: 340000 | #Constraints: 66933
717.80/725.17 c #Conflicts: 341000 | #Constraints: 67933
717.80/725.17 c #Conflicts: 342000 | #Constraints: 68933
717.80/725.17 c #Conflicts: 343000 | #Constraints: 69933
717.80/725.17 c #Conflicts: 344000 | #Constraints: 70933
717.80/725.17 c #Conflicts: 345000 | #Constraints: 71933
717.80/725.17 c #Conflicts: 346000 | #Constraints: 72933
717.80/725.17 c #Conflicts: 347000 | #Constraints: 73933
717.80/725.17 c #Conflicts: 348000 | #Constraints: 74933
717.80/725.17 c #Conflicts: 349000 | #Constraints: 75933
717.80/725.17 c #Conflicts: 350000 | #Constraints: 76933
717.80/725.17 c #Conflicts: 351000 | #Constraints: 77933
717.80/725.17 c #Conflicts: 352000 | #Constraints: 78933
717.80/725.17 c #Conflicts: 353000 | #Constraints: 79933
717.80/725.17 c #Conflicts: 354000 | #Constraints: 80933
717.80/725.17 c #Conflicts: 355000 | #Constraints: 81933
717.80/725.17 c #Conflicts: 356000 | #Constraints: 82933
717.80/725.17 c #Conflicts: 357000 | #Constraints: 83933
717.80/725.17 c INPROCESSING
717.80/725.17 c GARBAGE COLLECT
717.80/725.17 c #Conflicts: 358000 | #Constraints: 53216
717.80/725.17 c #Conflicts: 359000 | #Constraints: 54216
717.80/725.17 c #Conflicts: 360000 | #Constraints: 55216
717.80/725.17 c #Conflicts: 361000 | #Constraints: 56216
717.80/725.17 c #Conflicts: 362000 | #Constraints: 57216
717.80/725.17 c #Conflicts: 363000 | #Constraints: 58216
717.80/725.17 c #Conflicts: 364000 | #Constraints: 59216
717.80/725.17 c #Conflicts: 365000 | #Constraints: 60216
717.80/725.17 c #Conflicts: 366000 | #Constraints: 61216
717.80/725.17 c #Conflicts: 367000 | #Constraints: 62216
717.80/725.17 c #Conflicts: 368000 | #Constraints: 63216
717.80/725.17 c #Conflicts: 369000 | #Constraints: 64216
717.80/725.17 c #Conflicts: 370000 | #Constraints: 65216
717.80/725.17 c #Conflicts: 371000 | #Constraints: 66216
717.80/725.17 c #Conflicts: 372000 | #Constraints: 67216
717.80/725.17 c #Conflicts: 373000 | #Constraints: 68216
717.80/725.17 c #Conflicts: 374000 | #Constraints: 69216
717.80/725.17 c INPROCESSING
717.80/725.17 c GARBAGE COLLECT
717.80/725.17 c #Conflicts: 375000 | #Constraints: 49389
717.80/725.17 c #Conflicts: 376000 | #Constraints: 50389
717.80/725.17 c #Conflicts: 377000 | #Constraints: 51389
717.80/725.17 c #Conflicts: 378000 | #Constraints: 52389
863.94/872.00 c #Conflicts: 379000 | #Constraints: 53389
863.94/872.00 c #Conflicts: 380000 | #Constraints: 54389
863.94/872.00 c #Conflicts: 381000 | #Constraints: 55389
863.94/872.00 c #Conflicts: 382000 | #Constraints: 56389
863.94/872.00 c #Conflicts: 383000 | #Constraints: 57389
863.94/872.00 c #Conflicts: 384000 | #Constraints: 58389
863.94/872.00 c #Conflicts: 385000 | #Constraints: 59389
863.94/872.00 c #Conflicts: 386000 | #Constraints: 60389
863.94/872.00 c #Conflicts: 387000 | #Constraints: 61389
863.94/872.00 c #Conflicts: 388000 | #Constraints: 62389
863.94/872.00 c #Conflicts: 389000 | #Constraints: 63389
863.94/872.00 c #Conflicts: 390000 | #Constraints: 64389
863.94/872.00 c #Conflicts: 391000 | #Constraints: 65389
863.94/872.00 c #Conflicts: 392000 | #Constraints: 66389
863.94/872.00 c #Conflicts: 393000 | #Constraints: 67389
863.94/872.00 c #Conflicts: 394000 | #Constraints: 68389
863.94/872.00 c #Conflicts: 395000 | #Constraints: 69389
863.94/872.00 c #Conflicts: 396000 | #Constraints: 70389
863.94/872.00 c #Conflicts: 397000 | #Constraints: 71389
863.94/872.00 c #Conflicts: 398000 | #Constraints: 72389
863.94/872.00 c #Conflicts: 399000 | #Constraints: 73389
863.94/872.00 c #Conflicts: 400000 | #Constraints: 74389
863.94/872.00 c #Conflicts: 401000 | #Constraints: 75389
863.94/872.00 c #Conflicts: 402000 | #Constraints: 76389
863.94/872.00 c #Conflicts: 403000 | #Constraints: 77389
863.94/872.00 c #Conflicts: 404000 | #Constraints: 78389
863.94/872.00 c #Conflicts: 405000 | #Constraints: 79389
863.94/872.00 c #Conflicts: 406000 | #Constraints: 80389
863.94/872.00 c #Conflicts: 407000 | #Constraints: 81389
863.94/872.00 c #Conflicts: 408000 | #Constraints: 82389
863.94/872.00 c #Conflicts: 409000 | #Constraints: 83389
863.94/872.00 c #Conflicts: 410000 | #Constraints: 84389
863.94/872.00 c #Conflicts: 411000 | #Constraints: 85389
863.94/872.00 c #Conflicts: 412000 | #Constraints: 86389
863.94/872.00 c #Conflicts: 413000 | #Constraints: 87389
863.94/872.00 c #Conflicts: 414000 | #Constraints: 88389
863.94/872.00 c #Conflicts: 415000 | #Constraints: 89389
863.94/872.00 c INPROCESSING
863.94/872.00 c GARBAGE COLLECT
863.94/872.00 c #Conflicts: 416000 | #Constraints: 55796
863.94/872.00 c #Conflicts: 417000 | #Constraints: 56796
863.94/872.00 c #Conflicts: 418000 | #Constraints: 57796
863.94/872.00 c #Conflicts: 419000 | #Constraints: 58796
863.94/872.00 c #Conflicts: 420000 | #Constraints: 59796
863.94/872.00 c #Conflicts: 421000 | #Constraints: 60796
863.94/872.00 c #Conflicts: 422000 | #Constraints: 61796
863.94/872.00 c #Conflicts: 423000 | #Constraints: 62796
863.94/872.00 c #Conflicts: 424000 | #Constraints: 63796
863.94/872.00 c #Conflicts: 425000 | #Constraints: 64796
863.94/872.00 c #Conflicts: 426000 | #Constraints: 65796
863.94/872.00 c #Conflicts: 427000 | #Constraints: 66796
863.94/872.00 c #Conflicts: 428000 | #Constraints: 67796
863.94/872.00 c #Conflicts: 429000 | #Constraints: 68796
863.94/872.00 c #Conflicts: 430000 | #Constraints: 69796
863.94/872.00 c #Conflicts: 431000 | #Constraints: 70796
863.94/872.00 c #Conflicts: 432000 | #Constraints: 71796
863.94/872.00 c #Conflicts: 433000 | #Constraints: 72796
863.94/872.00 c #Conflicts: 434000 | #Constraints: 73796
863.94/872.00 c INPROCESSING
863.94/872.00 c GARBAGE COLLECT
863.94/872.00 c #Conflicts: 435000 | #Constraints: 52362
863.94/872.00 c #Conflicts: 436000 | #Constraints: 53362
863.94/872.00 c #Conflicts: 437000 | #Constraints: 54362
863.94/872.00 c #Conflicts: 438000 | #Constraints: 55362
863.94/872.00 c #Conflicts: 439000 | #Constraints: 56362
863.94/872.00 c #Conflicts: 440000 | #Constraints: 57362
863.94/872.00 c #Conflicts: 441000 | #Constraints: 58362
863.94/872.00 c #Conflicts: 442000 | #Constraints: 59362
863.94/872.00 c #Conflicts: 443000 | #Constraints: 60362
863.94/872.00 c #Conflicts: 444000 | #Constraints: 61362
863.94/872.00 c #Conflicts: 445000 | #Constraints: 62362
863.94/872.00 c #Conflicts: 446000 | #Constraints: 63362
863.94/872.00 c #Conflicts: 447000 | #Constraints: 64362
863.94/872.00 c #Conflicts: 448000 | #Constraints: 65362
863.94/872.00 c #Conflicts: 449000 | #Constraints: 66362
863.94/872.00 c #Conflicts: 450000 | #Constraints: 67362
863.94/872.00 c #Conflicts: 451000 | #Constraints: 68362
863.94/872.00 c #Conflicts: 452000 | #Constraints: 69362
863.94/872.00 c #Conflicts: 453000 | #Constraints: 70362
863.94/872.00 c #Conflicts: 454000 | #Constraints: 71362
863.94/872.00 c #Conflicts: 455000 | #Constraints: 72362
1058.43/1073.39 c #Conflicts: 456000 | #Constraints: 73362
1058.43/1073.39 c #Conflicts: 457000 | #Constraints: 74362
1058.43/1073.39 c #Conflicts: 458000 | #Constraints: 75362
1058.43/1073.39 c #Conflicts: 459000 | #Constraints: 76362
1058.43/1073.39 c #Conflicts: 460000 | #Constraints: 77362
1058.43/1073.39 c #Conflicts: 461000 | #Constraints: 78362
1058.43/1073.39 c #Conflicts: 462000 | #Constraints: 79362
1058.43/1073.39 c #Conflicts: 463000 | #Constraints: 80362
1058.43/1073.39 c #Conflicts: 464000 | #Constraints: 81362
1058.43/1073.39 c #Conflicts: 465000 | #Constraints: 82362
1058.43/1073.39 c #Conflicts: 466000 | #Constraints: 83362
1058.43/1073.39 c #Conflicts: 467000 | #Constraints: 84362
1058.43/1073.39 c #Conflicts: 468000 | #Constraints: 85362
1058.43/1073.39 c #Conflicts: 469000 | #Constraints: 86362
1058.43/1073.39 c #Conflicts: 470000 | #Constraints: 87362
1058.43/1073.39 c #Conflicts: 471000 | #Constraints: 88362
1058.43/1073.39 c #Conflicts: 472000 | #Constraints: 89362
1058.43/1073.39 c #Conflicts: 473000 | #Constraints: 90362
1058.43/1073.39 c #Conflicts: 474000 | #Constraints: 91362
1058.43/1073.39 c #Conflicts: 475000 | #Constraints: 92362
1058.43/1073.39 c #Conflicts: 476000 | #Constraints: 93362
1058.43/1073.39 c #Conflicts: 477000 | #Constraints: 94362
1058.43/1073.39 c #Conflicts: 478000 | #Constraints: 95362
1058.43/1073.39 c INPROCESSING
1058.43/1073.39 c GARBAGE COLLECT
1058.43/1073.39 c #Conflicts: 479000 | #Constraints: 59044
1058.43/1073.39 c #Conflicts: 480000 | #Constraints: 60044
1058.43/1073.39 c #Conflicts: 481000 | #Constraints: 61044
1058.43/1073.39 c #Conflicts: 482000 | #Constraints: 62044
1058.43/1073.39 c #Conflicts: 483000 | #Constraints: 63044
1058.43/1073.39 c #Conflicts: 484000 | #Constraints: 64044
1058.43/1073.39 c #Conflicts: 485000 | #Constraints: 65044
1058.43/1073.39 c #Conflicts: 486000 | #Constraints: 66044
1058.43/1073.39 c #Conflicts: 487000 | #Constraints: 67044
1058.43/1073.39 c #Conflicts: 488000 | #Constraints: 68044
1058.43/1073.39 c #Conflicts: 489000 | #Constraints: 69044
1058.43/1073.39 c #Conflicts: 490000 | #Constraints: 70044
1058.43/1073.39 c #Conflicts: 491000 | #Constraints: 71044
1058.43/1073.39 c #Conflicts: 492000 | #Constraints: 72044
1058.43/1073.39 c #Conflicts: 493000 | #Constraints: 73045
1058.43/1073.39 c #Conflicts: 494000 | #Constraints: 74045
1058.43/1073.39 c #Conflicts: 495000 | #Constraints: 75045
1058.43/1073.39 c #Conflicts: 496000 | #Constraints: 76045
1058.43/1073.39 c #Conflicts: 497000 | #Constraints: 77045
1058.43/1073.39 c #Conflicts: 498000 | #Constraints: 78045
1058.43/1073.39 c INPROCESSING
1058.43/1073.39 c GARBAGE COLLECT
1058.43/1073.39 c #Conflicts: 499000 | #Constraints: 54658
1058.43/1073.39 c #Conflicts: 500000 | #Constraints: 55658
1058.43/1073.39 c #Conflicts: 501000 | #Constraints: 56658
1058.43/1073.39 c #Conflicts: 502000 | #Constraints: 57658
1058.43/1073.39 c #Conflicts: 503000 | #Constraints: 58658
1058.43/1073.39 c #Conflicts: 504000 | #Constraints: 59658
1058.43/1073.39 c #Conflicts: 505000 | #Constraints: 60658
1058.43/1073.39 c #Conflicts: 506000 | #Constraints: 61658
1058.43/1073.39 c #Conflicts: 507000 | #Constraints: 62658
1058.43/1073.39 c #Conflicts: 508000 | #Constraints: 63658
1058.43/1073.39 c #Conflicts: 509000 | #Constraints: 64658
1058.43/1073.39 c #Conflicts: 510000 | #Constraints: 65658
1058.43/1073.39 c #Conflicts: 511000 | #Constraints: 66658
1058.43/1073.39 c #Conflicts: 512000 | #Constraints: 67658
1058.43/1073.39 c #Conflicts: 513000 | #Constraints: 68658
1058.43/1073.39 c #Conflicts: 514000 | #Constraints: 69658
1058.43/1073.39 c #Conflicts: 515000 | #Constraints: 70658
1058.43/1073.39 c #Conflicts: 516000 | #Constraints: 71658
1058.43/1073.39 c #Conflicts: 517000 | #Constraints: 72658
1058.43/1073.39 c #Conflicts: 518000 | #Constraints: 73658
1058.43/1073.39 c #Conflicts: 519000 | #Constraints: 74658
1058.43/1073.39 c #Conflicts: 520000 | #Constraints: 75658
1058.43/1073.39 c #Conflicts: 521000 | #Constraints: 76658
1058.43/1073.39 c #Conflicts: 522000 | #Constraints: 77658
1058.43/1073.39 c #Conflicts: 523000 | #Constraints: 78658
1058.43/1073.39 c #Conflicts: 524000 | #Constraints: 79658
1058.43/1073.39 c #Conflicts: 525000 | #Constraints: 80658
1058.43/1073.39 c #Conflicts: 526000 | #Constraints: 81658
1058.43/1073.39 c #Conflicts: 527000 | #Constraints: 82658
1058.43/1073.39 c #Conflicts: 528000 | #Constraints: 83658
1058.43/1073.39 c #Conflicts: 529000 | #Constraints: 84658
1058.43/1073.39 c #Conflicts: 530000 | #Constraints: 85658
1058.43/1073.39 c #Conflicts: 531000 | #Constraints: 86658
1058.43/1073.39 c #Conflicts: 532000 | #Constraints: 87658
1058.43/1073.39 c #Conflicts: 533000 | #Constraints: 88658
1393.03/1420.78 c #Conflicts: 534000 | #Constraints: 89658
1393.03/1420.78 c #Conflicts: 535000 | #Constraints: 90658
1393.03/1420.78 c #Conflicts: 536000 | #Constraints: 91658
1393.03/1420.78 c #Conflicts: 537000 | #Constraints: 92658
1393.03/1420.78 c #Conflicts: 538000 | #Constraints: 93658
1393.03/1420.78 c #Conflicts: 539000 | #Constraints: 94658
1393.03/1420.78 c #Conflicts: 540000 | #Constraints: 95658
1393.03/1420.78 c #Conflicts: 541000 | #Constraints: 96658
1393.03/1420.78 c #Conflicts: 542000 | #Constraints: 97658
1393.03/1420.78 c #Conflicts: 543000 | #Constraints: 98658
1393.03/1420.78 c #Conflicts: 544000 | #Constraints: 99658
1393.03/1420.78 c #Conflicts: 545000 | #Constraints: 100658
1393.03/1420.78 c INPROCESSING
1393.03/1420.78 c GARBAGE COLLECT
1393.03/1420.78 c #Conflicts: 546000 | #Constraints: 61625
1393.03/1420.78 c #Conflicts: 547000 | #Constraints: 62625
1393.03/1420.78 c #Conflicts: 548000 | #Constraints: 63625
1393.03/1420.78 c #Conflicts: 549000 | #Constraints: 64625
1393.03/1420.78 c #Conflicts: 550000 | #Constraints: 65625
1393.03/1420.78 c #Conflicts: 551000 | #Constraints: 66625
1393.03/1420.78 c #Conflicts: 552000 | #Constraints: 67625
1393.03/1420.78 c #Conflicts: 553000 | #Constraints: 68625
1393.03/1420.78 c #Conflicts: 554000 | #Constraints: 69625
1393.03/1420.78 c #Conflicts: 555000 | #Constraints: 70625
1393.03/1420.78 c #Conflicts: 556000 | #Constraints: 71625
1393.03/1420.78 c #Conflicts: 557000 | #Constraints: 72625
1393.03/1420.78 c #Conflicts: 558000 | #Constraints: 73625
1393.03/1420.78 c #Conflicts: 559000 | #Constraints: 74625
1393.03/1420.78 c #Conflicts: 560000 | #Constraints: 75625
1393.03/1420.78 c #Conflicts: 561000 | #Constraints: 76625
1393.03/1420.78 c #Conflicts: 562000 | #Constraints: 77625
1393.03/1420.78 c #Conflicts: 563000 | #Constraints: 78625
1393.03/1420.78 c #Conflicts: 564000 | #Constraints: 79625
1393.03/1420.78 c #Conflicts: 565000 | #Constraints: 80625
1393.03/1420.78 c #Conflicts: 566000 | #Constraints: 81625
1393.03/1420.78 c INPROCESSING
1393.03/1420.78 c GARBAGE COLLECT
1393.03/1420.78 c #Conflicts: 567000 | #Constraints: 56566
1393.03/1420.78 c #Conflicts: 568000 | #Constraints: 57566
1393.03/1420.78 c #Conflicts: 569000 | #Constraints: 58566
1393.03/1420.78 c #Conflicts: 570000 | #Constraints: 59566
1393.03/1420.78 c #Conflicts: 571000 | #Constraints: 60566
1393.03/1420.78 c #Conflicts: 572000 | #Constraints: 61566
1393.03/1420.78 c #Conflicts: 573000 | #Constraints: 62566
1393.03/1420.78 c #Conflicts: 574000 | #Constraints: 63566
1393.03/1420.78 c #Conflicts: 575000 | #Constraints: 64566
1393.03/1420.78 c #Conflicts: 576000 | #Constraints: 65566
1393.03/1420.78 c #Conflicts: 577000 | #Constraints: 66566
1393.03/1420.78 c #Conflicts: 578000 | #Constraints: 67566
1393.03/1420.78 c #Conflicts: 579000 | #Constraints: 68566
1393.03/1420.78 c #Conflicts: 580000 | #Constraints: 69566
1393.03/1420.78 c #Conflicts: 581000 | #Constraints: 70566
1393.03/1420.78 c #Conflicts: 582000 | #Constraints: 71566
1393.03/1420.78 c #Conflicts: 583000 | #Constraints: 72566
1393.03/1420.78 c #Conflicts: 584000 | #Constraints: 73566
1393.03/1420.78 c #Conflicts: 585000 | #Constraints: 74566
1393.03/1420.78 c #Conflicts: 586000 | #Constraints: 75566
1393.03/1420.78 c #Conflicts: 587000 | #Constraints: 76566
1393.03/1420.78 c #Conflicts: 588000 | #Constraints: 77566
1393.03/1420.78 c #Conflicts: 589000 | #Constraints: 78566
1393.03/1420.78 c #Conflicts: 590000 | #Constraints: 79566
1393.03/1420.78 c #Conflicts: 591000 | #Constraints: 80566
1393.03/1420.78 c #Conflicts: 592000 | #Constraints: 81566
1393.03/1420.78 c #Conflicts: 593000 | #Constraints: 82566
1393.03/1420.78 c #Conflicts: 594000 | #Constraints: 83566
1393.03/1420.78 c #Conflicts: 595000 | #Constraints: 84566
1393.03/1420.78 c #Conflicts: 596000 | #Constraints: 85566
1393.03/1420.78 c #Conflicts: 597000 | #Constraints: 86566
1393.03/1420.78 c #Conflicts: 598000 | #Constraints: 87566
1393.03/1420.78 c #Conflicts: 599000 | #Constraints: 88566
1393.03/1420.78 c #Conflicts: 600000 | #Constraints: 89566
1393.03/1420.78 c #Conflicts: 601000 | #Constraints: 90566
1393.03/1420.78 c #Conflicts: 602000 | #Constraints: 91566
1393.03/1420.78 c #Conflicts: 603000 | #Constraints: 92566
1393.03/1420.78 c #Conflicts: 604000 | #Constraints: 93566
1393.03/1420.78 c #Conflicts: 605000 | #Constraints: 94566
1393.03/1420.78 c #Conflicts: 606000 | #Constraints: 95566
1393.03/1420.78 c #Conflicts: 607000 | #Constraints: 96566
1393.03/1420.78 c #Conflicts: 608000 | #Constraints: 97566
1393.03/1420.78 c #Conflicts: 609000 | #Constraints: 98566
1393.03/1420.78 c #Conflicts: 610000 | #Constraints: 99566
1572.82/1601.77 c #Conflicts: 611000 | #Constraints: 100566
1572.82/1601.77 c #Conflicts: 612000 | #Constraints: 101566
1572.82/1601.77 c #Conflicts: 613000 | #Constraints: 102566
1572.82/1601.77 c #Conflicts: 614000 | #Constraints: 103566
1572.82/1601.77 c #Conflicts: 615000 | #Constraints: 104566
1572.82/1601.77 c #Conflicts: 616000 | #Constraints: 105566
1572.82/1601.77 c #Conflicts: 617000 | #Constraints: 106566
1572.82/1601.77 c INPROCESSING
1572.82/1601.77 c GARBAGE COLLECT
1572.82/1601.77 c #Conflicts: 618000 | #Constraints: 64989
1572.82/1601.77 c #Conflicts: 619000 | #Constraints: 65989
1572.82/1601.77 c #Conflicts: 620000 | #Constraints: 66989
1572.82/1601.77 c #Conflicts: 621000 | #Constraints: 67989
1572.82/1601.77 c #Conflicts: 622000 | #Constraints: 68989
1572.82/1601.77 c #Conflicts: 623000 | #Constraints: 69989
1572.82/1601.77 c #Conflicts: 624000 | #Constraints: 70989
1572.82/1601.77 c #Conflicts: 625000 | #Constraints: 71989
1572.82/1601.77 c #Conflicts: 626000 | #Constraints: 72989
1572.82/1601.77 c #Conflicts: 627000 | #Constraints: 73989
1572.82/1601.77 c #Conflicts: 628000 | #Constraints: 74989
1572.82/1601.77 c #Conflicts: 629000 | #Constraints: 75989
1572.82/1601.77 c #Conflicts: 630000 | #Constraints: 76989
1572.82/1601.77 c #Conflicts: 631000 | #Constraints: 77989
1572.82/1601.77 c #Conflicts: 632000 | #Constraints: 78989
1572.82/1601.77 c #Conflicts: 633000 | #Constraints: 79989
1572.82/1601.77 c #Conflicts: 634000 | #Constraints: 80989
1572.82/1601.77 c #Conflicts: 635000 | #Constraints: 81989
1572.82/1601.77 c #Conflicts: 636000 | #Constraints: 82989
1572.82/1601.77 c #Conflicts: 637000 | #Constraints: 83989
1572.82/1601.77 c #Conflicts: 638000 | #Constraints: 84989
1572.82/1601.77 c #Conflicts: 639000 | #Constraints: 85989
1572.82/1601.77 c INPROCESSING
1572.82/1601.77 c GARBAGE COLLECT
1572.82/1601.77 c #Conflicts: 640000 | #Constraints: 59210
1572.82/1601.77 c #Conflicts: 641000 | #Constraints: 60210
1572.82/1601.77 c #Conflicts: 642000 | #Constraints: 61210
1572.82/1601.77 c #Conflicts: 643000 | #Constraints: 62210
1572.82/1601.77 c #Conflicts: 644000 | #Constraints: 63210
1572.82/1601.77 c #Conflicts: 645000 | #Constraints: 64210
1572.82/1601.77 c #Conflicts: 646000 | #Constraints: 65210
1572.82/1601.77 c #Conflicts: 647000 | #Constraints: 66210
1572.82/1601.77 c #Conflicts: 648000 | #Constraints: 67210
1572.82/1601.77 c #Conflicts: 649000 | #Constraints: 68210
1572.82/1601.77 c #Conflicts: 650000 | #Constraints: 69210
1572.82/1601.77 c #Conflicts: 651000 | #Constraints: 70210
1572.82/1601.77 c #Conflicts: 652000 | #Constraints: 71210
1572.82/1601.77 c #Conflicts: 653000 | #Constraints: 72210
1572.82/1601.77 c #Conflicts: 654000 | #Constraints: 73210
1572.82/1601.77 c #Conflicts: 655000 | #Constraints: 74210
1572.82/1601.77 c #Conflicts: 656000 | #Constraints: 75210
1572.82/1601.77 c #Conflicts: 657000 | #Constraints: 76210
1572.82/1601.77 c #Conflicts: 658000 | #Constraints: 77210
1572.82/1601.77 c #Conflicts: 659000 | #Constraints: 78210
1572.82/1601.77 c #Conflicts: 660000 | #Constraints: 79210
1572.82/1601.77 c #Conflicts: 661000 | #Constraints: 80210
1572.82/1601.77 c #Conflicts: 662000 | #Constraints: 81210
1572.82/1601.77 c #Conflicts: 663000 | #Constraints: 82210
1572.82/1601.77 c #Conflicts: 664000 | #Constraints: 83210
1572.82/1601.77 c #Conflicts: 665000 | #Constraints: 84210
1572.82/1601.77 c #Conflicts: 666000 | #Constraints: 85210
1572.82/1601.77 c #Conflicts: 667000 | #Constraints: 86210
1572.82/1601.77 c #Conflicts: 668000 | #Constraints: 87210
1572.82/1601.77 c #Conflicts: 669000 | #Constraints: 88210
1572.82/1601.77 c #Conflicts: 670000 | #Constraints: 89210
1572.82/1601.77 c #Conflicts: 671000 | #Constraints: 90210
1572.82/1601.77 c #Conflicts: 672000 | #Constraints: 91210
1572.82/1601.77 c #Conflicts: 673000 | #Constraints: 92210
1572.82/1601.77 c #Conflicts: 674000 | #Constraints: 93210
1572.82/1601.77 c #Conflicts: 675000 | #Constraints: 94210
1572.82/1601.77 c #Conflicts: 676000 | #Constraints: 95210
1572.82/1601.77 c #Conflicts: 677000 | #Constraints: 96210
1572.82/1601.77 c #Conflicts: 678000 | #Constraints: 97210
1572.82/1601.77 c #Conflicts: 679000 | #Constraints: 98210
1572.82/1601.77 c #Conflicts: 680000 | #Constraints: 99210
1572.82/1601.77 c #Conflicts: 681000 | #Constraints: 100210
1572.82/1601.77 c #Conflicts: 682000 | #Constraints: 101210
1572.82/1601.77 c #Conflicts: 683000 | #Constraints: 102210
1572.82/1601.77 c #Conflicts: 684000 | #Constraints: 103210
1572.82/1601.77 c #Conflicts: 685000 | #Constraints: 104210
1572.82/1601.77 c #Conflicts: 686000 | #Constraints: 105210
1572.82/1601.77 c #Conflicts: 687000 | #Constraints: 106210
1572.82/1601.77 c #Conflicts: 688000 | #Constraints: 107210
1745.62/1775.42 c #Conflicts: 689000 | #Constraints: 108210
1745.62/1775.42 c #Conflicts: 690000 | #Constraints: 109210
1745.62/1775.42 c #Conflicts: 691000 | #Constraints: 110210
1745.62/1775.42 c #Conflicts: 692000 | #Constraints: 111210
1745.62/1775.42 c #Conflicts: 693000 | #Constraints: 112210
1745.62/1775.42 c INPROCESSING
1745.62/1775.42 c GARBAGE COLLECT
1745.62/1775.42 c #Conflicts: 694000 | #Constraints: 67922
1745.62/1775.42 c #Conflicts: 695000 | #Constraints: 68922
1745.62/1775.42 c #Conflicts: 696000 | #Constraints: 69922
1745.62/1775.42 c #Conflicts: 697000 | #Constraints: 70922
1745.62/1775.42 c #Conflicts: 698000 | #Constraints: 71922
1745.62/1775.42 c #Conflicts: 699000 | #Constraints: 72922
1745.62/1775.42 c #Conflicts: 700000 | #Constraints: 73922
1745.62/1775.42 c #Conflicts: 701000 | #Constraints: 74922
1745.62/1775.42 c #Conflicts: 702000 | #Constraints: 75922
1745.62/1775.42 c #Conflicts: 703000 | #Constraints: 76922
1745.62/1775.42 c #Conflicts: 704000 | #Constraints: 77922
1745.62/1775.42 c #Conflicts: 705000 | #Constraints: 78922
1745.62/1775.42 c #Conflicts: 706000 | #Constraints: 79922
1745.62/1775.42 c #Conflicts: 707000 | #Constraints: 80922
1745.62/1775.42 c #Conflicts: 708000 | #Constraints: 81922
1745.62/1775.42 c #Conflicts: 709000 | #Constraints: 82922
1745.62/1775.42 c #Conflicts: 710000 | #Constraints: 83922
1745.62/1775.42 c #Conflicts: 711000 | #Constraints: 84922
1745.62/1775.42 c #Conflicts: 712000 | #Constraints: 85922
1745.62/1775.42 c #Conflicts: 713000 | #Constraints: 86922
1745.62/1775.42 c #Conflicts: 714000 | #Constraints: 87922
1745.62/1775.42 c #Conflicts: 715000 | #Constraints: 88922
1745.62/1775.42 c #Conflicts: 716000 | #Constraints: 89922
1745.62/1775.42 c INPROCESSING
1745.62/1775.42 c GARBAGE COLLECT
1745.62/1775.42 c #Conflicts: 717000 | #Constraints: 61650
1745.62/1775.42 c #Conflicts: 718000 | #Constraints: 62650
1745.62/1775.42 c #Conflicts: 719000 | #Constraints: 63650
1745.62/1775.42 c #Conflicts: 720000 | #Constraints: 64650
1745.62/1775.42 c #Conflicts: 721000 | #Constraints: 65650
1745.62/1775.42 c #Conflicts: 722000 | #Constraints: 66650
1745.62/1775.42 c #Conflicts: 723000 | #Constraints: 67650
1745.62/1775.42 c #Conflicts: 724000 | #Constraints: 68650
1745.62/1775.42 c #Conflicts: 725000 | #Constraints: 69650
1745.62/1775.42 c #Conflicts: 726000 | #Constraints: 70650
1745.62/1775.42 c #Conflicts: 727000 | #Constraints: 71650
1745.62/1775.42 c #Conflicts: 728000 | #Constraints: 72650
1745.62/1775.42 c #Conflicts: 729000 | #Constraints: 73650
1745.62/1775.42 c #Conflicts: 730000 | #Constraints: 74650
1745.62/1775.42 c #Conflicts: 731000 | #Constraints: 75650
1745.62/1775.42 c #Conflicts: 732000 | #Constraints: 76650
1745.62/1775.42 c #Conflicts: 733000 | #Constraints: 77650
1745.62/1775.42 c #Conflicts: 734000 | #Constraints: 78650
1745.62/1775.42 c #Conflicts: 735000 | #Constraints: 79650
1745.62/1775.42 c #Conflicts: 736000 | #Constraints: 80650
1745.62/1775.42 c #Conflicts: 737000 | #Constraints: 81650
1745.62/1775.42 c #Conflicts: 738000 | #Constraints: 82650
1745.62/1775.42 c #Conflicts: 739000 | #Constraints: 83650
1745.62/1775.42 c #Conflicts: 740000 | #Constraints: 84650
1745.62/1775.42 c #Conflicts: 741000 | #Constraints: 85650
1745.62/1775.42 c #Conflicts: 742000 | #Constraints: 86650
1745.62/1775.42 c #Conflicts: 743000 | #Constraints: 87650
1745.62/1775.42 c #Conflicts: 744000 | #Constraints: 88650
1745.62/1775.42 c #Conflicts: 745000 | #Constraints: 89650
1745.62/1775.42 c #Conflicts: 746000 | #Constraints: 90650
1745.62/1775.42 c #Conflicts: 747000 | #Constraints: 91650
1745.62/1775.42 c #Conflicts: 748000 | #Constraints: 92650
1745.62/1775.42 c #Conflicts: 749000 | #Constraints: 93650
1745.62/1775.42 c #Conflicts: 750000 | #Constraints: 94650
1745.62/1775.42 c #Conflicts: 751000 | #Constraints: 95650
1745.62/1775.42 c #Conflicts: 752000 | #Constraints: 96650
1745.62/1775.42 c #Conflicts: 753000 | #Constraints: 97650
1745.62/1775.42 c #Conflicts: 754000 | #Constraints: 98650
1745.62/1775.42 c #Conflicts: 755000 | #Constraints: 99650
1745.62/1775.42 c #Conflicts: 756000 | #Constraints: 100650
1745.62/1775.42 c #Conflicts: 757000 | #Constraints: 101650
1745.62/1775.42 c #Conflicts: 758000 | #Constraints: 102650
1745.62/1775.42 c #Conflicts: 759000 | #Constraints: 103650
1745.62/1775.42 c #Conflicts: 760000 | #Constraints: 104650
1745.62/1775.42 c #Conflicts: 761000 | #Constraints: 105650
1745.62/1775.42 c #Conflicts: 762000 | #Constraints: 106650
1745.62/1775.42 c #Conflicts: 763000 | #Constraints: 107650
1745.62/1775.42 c #Conflicts: 764000 | #Constraints: 108650
1745.62/1775.42 c #Conflicts: 765000 | #Constraints: 109650
1940.49/1978.35 c #Conflicts: 766000 | #Constraints: 110650
1940.49/1978.35 c #Conflicts: 767000 | #Constraints: 111650
1940.49/1978.35 c #Conflicts: 768000 | #Constraints: 112650
1940.49/1978.35 c #Conflicts: 769000 | #Constraints: 113650
1940.49/1978.35 c #Conflicts: 770000 | #Constraints: 114650
1940.49/1978.35 c #Conflicts: 771000 | #Constraints: 115650
1940.49/1978.35 c #Conflicts: 772000 | #Constraints: 116650
1940.49/1978.35 c #Conflicts: 773000 | #Constraints: 117650
1940.49/1978.35 c INPROCESSING
1940.49/1978.35 c GARBAGE COLLECT
1940.49/1978.35 c #Conflicts: 774000 | #Constraints: 70508
1940.49/1978.35 c #Conflicts: 775000 | #Constraints: 71508
1940.49/1978.35 c #Conflicts: 776000 | #Constraints: 72508
1940.49/1978.35 c #Conflicts: 777000 | #Constraints: 73508
1940.49/1978.35 c #Conflicts: 778000 | #Constraints: 74508
1940.49/1978.35 c #Conflicts: 779000 | #Constraints: 75508
1940.49/1978.35 c #Conflicts: 780000 | #Constraints: 76508
1940.49/1978.35 c #Conflicts: 781000 | #Constraints: 77508
1940.49/1978.35 c #Conflicts: 782000 | #Constraints: 78508
1940.49/1978.35 c #Conflicts: 783000 | #Constraints: 79508
1940.49/1978.35 c #Conflicts: 784000 | #Constraints: 80508
1940.49/1978.35 c #Conflicts: 785000 | #Constraints: 81508
1940.49/1978.35 c #Conflicts: 786000 | #Constraints: 82508
1940.49/1978.35 c #Conflicts: 787000 | #Constraints: 83508
1940.49/1978.35 c #Conflicts: 788000 | #Constraints: 84508
1940.49/1978.35 c #Conflicts: 789000 | #Constraints: 85508
1940.49/1978.35 c #Conflicts: 790000 | #Constraints: 86508
1940.49/1978.35 c #Conflicts: 791000 | #Constraints: 87508
1940.49/1978.35 c #Conflicts: 792000 | #Constraints: 88508
1940.49/1978.35 c #Conflicts: 793000 | #Constraints: 89508
1940.49/1978.35 c #Conflicts: 794000 | #Constraints: 90508
1940.49/1978.35 c #Conflicts: 795000 | #Constraints: 91508
1940.49/1978.35 c #Conflicts: 796000 | #Constraints: 92508
1940.49/1978.35 c #Conflicts: 797000 | #Constraints: 93508
1940.49/1978.35 c #Conflicts: 798000 | #Constraints: 94508
1940.49/1978.35 c INPROCESSING
1940.49/1978.35 c GARBAGE COLLECT
1940.49/1978.35 c #Conflicts: 799000 | #Constraints: 64378
1940.49/1978.35 c #Conflicts: 800000 | #Constraints: 65378
1940.49/1978.35 c #Conflicts: 801000 | #Constraints: 66378
1940.49/1978.35 c #Conflicts: 802000 | #Constraints: 67378
1940.49/1978.35 c #Conflicts: 803000 | #Constraints: 68378
1940.49/1978.35 c #Conflicts: 804000 | #Constraints: 69378
1940.49/1978.35 c #Conflicts: 805000 | #Constraints: 70378
1940.49/1978.35 c #Conflicts: 806000 | #Constraints: 71378
1940.49/1978.35 c #Conflicts: 807000 | #Constraints: 72378
1940.49/1978.35 c #Conflicts: 808000 | #Constraints: 73378
1940.49/1978.35 c #Conflicts: 809000 | #Constraints: 74378
1940.49/1978.35 c #Conflicts: 810000 | #Constraints: 75378
1940.49/1978.35 c #Conflicts: 811000 | #Constraints: 76378
1940.49/1978.35 c #Conflicts: 812000 | #Constraints: 77378
1940.49/1978.35 c #Conflicts: 813000 | #Constraints: 78378
1940.49/1978.35 c #Conflicts: 814000 | #Constraints: 79378
1940.49/1978.35 c #Conflicts: 815000 | #Constraints: 80378
1940.49/1978.35 c #Conflicts: 816000 | #Constraints: 81378
1940.49/1978.35 c #Conflicts: 817000 | #Constraints: 82378
1940.49/1978.35 c #Conflicts: 818000 | #Constraints: 83378
1940.49/1978.35 c #Conflicts: 819000 | #Constraints: 84378
1940.49/1978.35 c #Conflicts: 820000 | #Constraints: 85378
1940.49/1978.35 c #Conflicts: 821000 | #Constraints: 86378
1940.49/1978.35 c #Conflicts: 822000 | #Constraints: 87378
1940.49/1978.35 c #Conflicts: 823000 | #Constraints: 88378
1940.49/1978.35 c #Conflicts: 824000 | #Constraints: 89378
1940.49/1978.35 c #Conflicts: 825000 | #Constraints: 90378
1940.49/1978.35 c #Conflicts: 826000 | #Constraints: 91378
1940.49/1978.35 c #Conflicts: 827000 | #Constraints: 92378
1940.49/1978.35 c #Conflicts: 828000 | #Constraints: 93378
1940.49/1978.35 c #Conflicts: 829000 | #Constraints: 94378
1940.49/1978.35 c #Conflicts: 830000 | #Constraints: 95378
1940.49/1978.35 c #Conflicts: 831000 | #Constraints: 96378
1940.49/1978.35 c #Conflicts: 832000 | #Constraints: 97378
1940.49/1978.35 c #Conflicts: 833000 | #Constraints: 98378
1940.49/1978.35 c #Conflicts: 834000 | #Constraints: 99378
1940.49/1978.35 c #Conflicts: 835000 | #Constraints: 100378
1940.49/1978.35 c #Conflicts: 836000 | #Constraints: 101378
1940.49/1978.35 c #Conflicts: 837000 | #Constraints: 102378
1940.49/1978.35 c #Conflicts: 838000 | #Constraints: 103378
1940.49/1978.35 c #Conflicts: 839000 | #Constraints: 104378
1940.49/1978.35 c #Conflicts: 840000 | #Constraints: 105378
1940.49/1978.35 c #Conflicts: 841000 | #Constraints: 106378
1940.49/1978.35 c #Conflicts: 842000 | #Constraints: 107378
1940.49/1978.35 c #Conflicts: 843000 | #Constraints: 108378
2102.12/2140.86 c #Conflicts: 844000 | #Constraints: 109378
2102.12/2140.86 c #Conflicts: 845000 | #Constraints: 110378
2102.12/2140.86 c #Conflicts: 846000 | #Constraints: 111378
2102.12/2140.86 c #Conflicts: 847000 | #Constraints: 112378
2102.12/2140.86 c #Conflicts: 848000 | #Constraints: 113378
2102.12/2140.86 c #Conflicts: 849000 | #Constraints: 114378
2102.12/2140.86 c #Conflicts: 850000 | #Constraints: 115378
2102.12/2140.86 c #Conflicts: 851000 | #Constraints: 116378
2102.12/2140.86 c #Conflicts: 852000 | #Constraints: 117378
2102.12/2140.86 c #Conflicts: 853000 | #Constraints: 118378
2102.12/2140.86 c #Conflicts: 854000 | #Constraints: 119378
2102.12/2140.86 c #Conflicts: 855000 | #Constraints: 120378
2102.12/2140.86 c #Conflicts: 856000 | #Constraints: 121378
2102.12/2140.86 c #Conflicts: 857000 | #Constraints: 122378
2102.12/2140.86 c #Conflicts: 858000 | #Constraints: 123378
2102.12/2140.86 c INPROCESSING
2102.12/2140.86 c GARBAGE COLLECT
2102.12/2140.86 c #Conflicts: 859000 | #Constraints: 73527
2102.12/2140.86 c #Conflicts: 860000 | #Constraints: 74527
2102.12/2140.86 c #Conflicts: 861000 | #Constraints: 75527
2102.12/2140.86 c #Conflicts: 862000 | #Constraints: 76527
2102.12/2140.86 c #Conflicts: 863000 | #Constraints: 77527
2102.12/2140.86 c #Conflicts: 864000 | #Constraints: 78527
2102.12/2140.86 c #Conflicts: 865000 | #Constraints: 79527
2102.12/2140.86 c #Conflicts: 866000 | #Constraints: 80527
2102.12/2140.86 c #Conflicts: 867000 | #Constraints: 81527
2102.12/2140.86 c #Conflicts: 868000 | #Constraints: 82527
2102.12/2140.86 c #Conflicts: 869000 | #Constraints: 83527
2102.12/2140.86 c #Conflicts: 870000 | #Constraints: 84527
2102.12/2140.86 c #Conflicts: 871000 | #Constraints: 85527
2102.12/2140.86 c #Conflicts: 872000 | #Constraints: 86527
2102.12/2140.86 c #Conflicts: 873000 | #Constraints: 87527
2102.12/2140.86 c #Conflicts: 874000 | #Constraints: 88527
2102.12/2140.86 c #Conflicts: 875000 | #Constraints: 89527
2102.12/2140.86 c #Conflicts: 876000 | #Constraints: 90527
2102.12/2140.86 c #Conflicts: 877000 | #Constraints: 91527
2102.12/2140.86 c #Conflicts: 878000 | #Constraints: 92527
2102.12/2140.86 c #Conflicts: 879000 | #Constraints: 93527
2102.12/2140.86 c #Conflicts: 880000 | #Constraints: 94527
2102.12/2140.86 c #Conflicts: 881000 | #Constraints: 95527
2102.12/2140.86 c #Conflicts: 882000 | #Constraints: 96527
2102.12/2140.86 c #Conflicts: 883000 | #Constraints: 97527
2102.12/2140.86 c #Conflicts: 884000 | #Constraints: 98527
2102.12/2140.86 c INPROCESSING
2102.12/2140.86 c GARBAGE COLLECT
2102.12/2140.86 c #Conflicts: 885000 | #Constraints: 66938
2102.12/2140.86 c #Conflicts: 886000 | #Constraints: 67938
2102.12/2140.86 c #Conflicts: 887000 | #Constraints: 68938
2102.12/2140.86 c #Conflicts: 888000 | #Constraints: 69938
2102.12/2140.86 c #Conflicts: 889000 | #Constraints: 70938
2102.12/2140.86 c #Conflicts: 890000 | #Constraints: 71938
2102.12/2140.86 c #Conflicts: 891000 | #Constraints: 72938
2102.12/2140.86 c #Conflicts: 892000 | #Constraints: 73938
2102.12/2140.86 c #Conflicts: 893000 | #Constraints: 74938
2102.12/2140.86 c #Conflicts: 894000 | #Constraints: 75938
2102.12/2140.86 c #Conflicts: 895000 | #Constraints: 76938
2102.12/2140.86 c #Conflicts: 896000 | #Constraints: 77938
2102.12/2140.86 c #Conflicts: 897000 | #Constraints: 78938
2102.12/2140.86 c #Conflicts: 898000 | #Constraints: 79938
2102.12/2140.86 c #Conflicts: 899000 | #Constraints: 80938
2102.12/2140.86 c #Conflicts: 900000 | #Constraints: 81938
2102.12/2140.86 c #Conflicts: 901000 | #Constraints: 82938
2102.12/2140.86 c #Conflicts: 902000 | #Constraints: 83938
2102.12/2140.86 c #Conflicts: 903000 | #Constraints: 84938
2102.12/2140.86 c #Conflicts: 904000 | #Constraints: 85938
2102.12/2140.86 c #Conflicts: 905000 | #Constraints: 86938
2102.12/2140.86 c #Conflicts: 906000 | #Constraints: 87938
2102.12/2140.86 c #Conflicts: 907000 | #Constraints: 88938
2102.12/2140.86 c #Conflicts: 908000 | #Constraints: 89938
2102.12/2140.86 c #Conflicts: 909000 | #Constraints: 90938
2102.12/2140.86 c #Conflicts: 910000 | #Constraints: 91938
2102.12/2140.86 c #Conflicts: 911000 | #Constraints: 92938
2102.12/2140.86 c #Conflicts: 912000 | #Constraints: 93938
2102.12/2140.86 c #Conflicts: 913000 | #Constraints: 94938
2102.12/2140.86 c #Conflicts: 914000 | #Constraints: 95938
2102.12/2140.86 c #Conflicts: 915000 | #Constraints: 96938
2102.12/2140.86 c #Conflicts: 916000 | #Constraints: 97938
2102.12/2140.86 c #Conflicts: 917000 | #Constraints: 98938
2102.12/2140.86 c #Conflicts: 918000 | #Constraints: 99938
2102.12/2140.86 c #Conflicts: 919000 | #Constraints: 100938
2102.12/2140.86 c #Conflicts: 920000 | #Constraints: 101938
2309.15/2352.28 c #Conflicts: 921000 | #Constraints: 102938
2309.15/2352.28 c #Conflicts: 922000 | #Constraints: 103938
2309.15/2352.28 c #Conflicts: 923000 | #Constraints: 104938
2309.15/2352.28 c #Conflicts: 924000 | #Constraints: 105938
2309.15/2352.28 c #Conflicts: 925000 | #Constraints: 106938
2309.15/2352.28 c #Conflicts: 926000 | #Constraints: 107938
2309.15/2352.28 c #Conflicts: 927000 | #Constraints: 108938
2309.15/2352.28 c #Conflicts: 928000 | #Constraints: 109938
2309.15/2352.28 c #Conflicts: 929000 | #Constraints: 110938
2309.15/2352.28 c #Conflicts: 930000 | #Constraints: 111938
2309.15/2352.28 c #Conflicts: 931000 | #Constraints: 112938
2309.15/2352.28 c #Conflicts: 932000 | #Constraints: 113938
2309.15/2352.28 c #Conflicts: 933000 | #Constraints: 114938
2309.15/2352.28 c #Conflicts: 934000 | #Constraints: 115938
2309.15/2352.28 c #Conflicts: 935000 | #Constraints: 116938
2309.15/2352.28 c #Conflicts: 936000 | #Constraints: 117938
2309.15/2352.28 c #Conflicts: 937000 | #Constraints: 118938
2309.15/2352.28 c #Conflicts: 938000 | #Constraints: 119938
2309.15/2352.28 c #Conflicts: 939000 | #Constraints: 120938
2309.15/2352.28 c #Conflicts: 940000 | #Constraints: 121938
2309.15/2352.28 c #Conflicts: 941000 | #Constraints: 122938
2309.15/2352.28 c #Conflicts: 942000 | #Constraints: 123938
2309.15/2352.28 c #Conflicts: 943000 | #Constraints: 124938
2309.15/2352.28 c #Conflicts: 944000 | #Constraints: 125938
2309.15/2352.28 c #Conflicts: 945000 | #Constraints: 126938
2309.15/2352.28 c #Conflicts: 946000 | #Constraints: 127938
2309.15/2352.28 c #Conflicts: 947000 | #Constraints: 128938
2309.15/2352.28 c INPROCESSING
2309.15/2352.28 c GARBAGE COLLECT
2309.15/2352.28 c #Conflicts: 948000 | #Constraints: 76286
2309.15/2352.28 c #Conflicts: 949000 | #Constraints: 77286
2309.15/2352.28 c #Conflicts: 950000 | #Constraints: 78286
2309.15/2352.28 c #Conflicts: 951000 | #Constraints: 79286
2309.15/2352.28 c #Conflicts: 952000 | #Constraints: 80286
2309.15/2352.28 c #Conflicts: 953000 | #Constraints: 81286
2309.15/2352.28 c #Conflicts: 954000 | #Constraints: 82286
2309.15/2352.28 c #Conflicts: 955000 | #Constraints: 83286
2309.15/2352.28 c #Conflicts: 956000 | #Constraints: 84286
2309.15/2352.28 c #Conflicts: 957000 | #Constraints: 85286
2309.15/2352.28 c #Conflicts: 958000 | #Constraints: 86286
2309.15/2352.28 c #Conflicts: 959000 | #Constraints: 87286
2309.15/2352.28 c #Conflicts: 960000 | #Constraints: 88286
2309.15/2352.28 c #Conflicts: 961000 | #Constraints: 89286
2309.15/2352.28 c #Conflicts: 962000 | #Constraints: 90286
2309.15/2352.28 c #Conflicts: 963000 | #Constraints: 91286
2309.15/2352.28 c #Conflicts: 964000 | #Constraints: 92286
2309.15/2352.28 c #Conflicts: 965000 | #Constraints: 93286
2309.15/2352.28 c #Conflicts: 966000 | #Constraints: 94286
2309.15/2352.28 c #Conflicts: 967000 | #Constraints: 95286
2309.15/2352.28 c #Conflicts: 968000 | #Constraints: 96286
2309.15/2352.28 c #Conflicts: 969000 | #Constraints: 97286
2309.15/2352.28 c #Conflicts: 970000 | #Constraints: 98286
2309.15/2352.28 c #Conflicts: 971000 | #Constraints: 99286
2309.15/2352.28 c #Conflicts: 972000 | #Constraints: 100286
2309.15/2352.28 c #Conflicts: 973000 | #Constraints: 101286
2309.15/2352.28 c #Conflicts: 974000 | #Constraints: 102286
2309.15/2352.28 c INPROCESSING
2309.15/2352.28 c GARBAGE COLLECT
2309.15/2352.28 c #Conflicts: 975000 | #Constraints: 68511
2309.15/2352.28 c #Conflicts: 976000 | #Constraints: 69511
2309.15/2352.28 c #Conflicts: 977000 | #Constraints: 70511
2309.15/2352.28 c #Conflicts: 978000 | #Constraints: 71511
2309.15/2352.28 c #Conflicts: 979000 | #Constraints: 72511
2309.15/2352.28 c #Conflicts: 980000 | #Constraints: 73511
2309.15/2352.28 c #Conflicts: 981000 | #Constraints: 74511
2309.15/2352.28 c #Conflicts: 982000 | #Constraints: 75511
2309.15/2352.28 c #Conflicts: 983000 | #Constraints: 76511
2309.15/2352.28 c #Conflicts: 984000 | #Constraints: 77511
2309.15/2352.28 c #Conflicts: 985000 | #Constraints: 78511
2309.15/2352.28 c #Conflicts: 986000 | #Constraints: 79511
2309.15/2352.28 c #Conflicts: 987000 | #Constraints: 80511
2309.15/2352.28 c #Conflicts: 988000 | #Constraints: 81511
2309.15/2352.28 c #Conflicts: 989000 | #Constraints: 82511
2309.15/2352.28 c #Conflicts: 990000 | #Constraints: 83511
2309.15/2352.28 c #Conflicts: 991000 | #Constraints: 84511
2309.15/2352.28 c #Conflicts: 992000 | #Constraints: 85511
2309.15/2352.28 c #Conflicts: 993000 | #Constraints: 86511
2309.15/2352.28 c #Conflicts: 994000 | #Constraints: 87511
2309.15/2352.28 c #Conflicts: 995000 | #Constraints: 88511
2309.15/2352.28 c #Conflicts: 996000 | #Constraints: 89511
2309.15/2352.28 c #Conflicts: 997000 | #Constraints: 90511
2309.15/2352.28 c #Conflicts: 998000 | #Constraints: 91511
2567.39/2630.42 c #Conflicts: 999000 | #Constraints: 92511
2567.39/2630.42 c #Conflicts: 1000000 | #Constraints: 93511
2567.39/2630.42 c #Conflicts: 1001000 | #Constraints: 94511
2567.39/2630.42 c #Conflicts: 1002000 | #Constraints: 95511
2567.39/2630.42 c #Conflicts: 1003000 | #Constraints: 96511
2567.39/2630.42 c #Conflicts: 1004000 | #Constraints: 97511
2567.39/2630.42 c #Conflicts: 1005000 | #Constraints: 98511
2567.39/2630.42 c #Conflicts: 1006000 | #Constraints: 99511
2567.39/2630.42 c #Conflicts: 1007000 | #Constraints: 100511
2567.39/2630.42 c #Conflicts: 1008000 | #Constraints: 101511
2567.39/2630.42 c #Conflicts: 1009000 | #Constraints: 102511
2567.39/2630.42 c #Conflicts: 1010000 | #Constraints: 103511
2567.39/2630.42 c #Conflicts: 1011000 | #Constraints: 104511
2567.39/2630.42 c #Conflicts: 1012000 | #Constraints: 105511
2567.39/2630.42 c #Conflicts: 1013000 | #Constraints: 106511
2567.39/2630.42 c #Conflicts: 1014000 | #Constraints: 107511
2567.39/2630.42 c #Conflicts: 1015000 | #Constraints: 108511
2567.39/2630.42 c #Conflicts: 1016000 | #Constraints: 109511
2567.39/2630.42 c #Conflicts: 1017000 | #Constraints: 110511
2567.39/2630.42 c #Conflicts: 1018000 | #Constraints: 111511
2567.39/2630.42 c #Conflicts: 1019000 | #Constraints: 112511
2567.39/2630.42 c #Conflicts: 1020000 | #Constraints: 113511
2567.39/2630.42 c #Conflicts: 1021000 | #Constraints: 114511
2567.39/2630.42 c #Conflicts: 1022000 | #Constraints: 115511
2567.39/2630.42 c #Conflicts: 1023000 | #Constraints: 116512
2567.39/2630.42 c #Conflicts: 1024000 | #Constraints: 117512
2567.39/2630.42 c #Conflicts: 1025000 | #Constraints: 118512
2567.39/2630.42 c #Conflicts: 1026000 | #Constraints: 119512
2567.39/2630.42 c #Conflicts: 1027000 | #Constraints: 120512
2567.39/2630.42 c #Conflicts: 1028000 | #Constraints: 121512
2567.39/2630.42 c #Conflicts: 1029000 | #Constraints: 122512
2567.39/2630.42 c #Conflicts: 1030000 | #Constraints: 123512
2567.39/2630.42 c #Conflicts: 1031000 | #Constraints: 124512
2567.39/2630.42 c #Conflicts: 1032000 | #Constraints: 125512
2567.39/2630.42 c #Conflicts: 1033000 | #Constraints: 126512
2567.39/2630.42 c #Conflicts: 1034000 | #Constraints: 127512
2567.39/2630.42 c #Conflicts: 1035000 | #Constraints: 128512
2567.39/2630.42 c #Conflicts: 1036000 | #Constraints: 129512
2567.39/2630.42 c #Conflicts: 1037000 | #Constraints: 130512
2567.39/2630.42 c #Conflicts: 1038000 | #Constraints: 131512
2567.39/2630.42 c #Conflicts: 1039000 | #Constraints: 132512
2567.39/2630.42 c #Conflicts: 1040000 | #Constraints: 133512
2567.39/2630.42 c INPROCESSING
2567.39/2630.42 c GARBAGE COLLECT
2567.39/2630.42 c #Conflicts: 1041000 | #Constraints: 78295
2567.39/2630.42 c #Conflicts: 1042000 | #Constraints: 79295
2567.39/2630.42 c #Conflicts: 1043000 | #Constraints: 80295
2567.39/2630.42 c #Conflicts: 1044000 | #Constraints: 81295
2567.39/2630.42 c #Conflicts: 1045000 | #Constraints: 82295
2567.39/2630.42 c #Conflicts: 1046000 | #Constraints: 83295
2567.39/2630.42 c #Conflicts: 1047000 | #Constraints: 84295
2567.39/2630.42 c #Conflicts: 1048000 | #Constraints: 85295
2567.39/2630.42 c #Conflicts: 1049000 | #Constraints: 86295
2567.39/2630.42 c #Conflicts: 1050000 | #Constraints: 87295
2567.39/2630.42 c #Conflicts: 1051000 | #Constraints: 88295
2567.39/2630.42 c #Conflicts: 1052000 | #Constraints: 89295
2567.39/2630.42 c #Conflicts: 1053000 | #Constraints: 90295
2567.39/2630.42 c #Conflicts: 1054000 | #Constraints: 91295
2567.39/2630.42 c #Conflicts: 1055000 | #Constraints: 92295
2567.39/2630.42 c #Conflicts: 1056000 | #Constraints: 93295
2567.39/2630.42 c #Conflicts: 1057000 | #Constraints: 94295
2567.39/2630.42 c #Conflicts: 1058000 | #Constraints: 95295
2567.39/2630.42 c #Conflicts: 1059000 | #Constraints: 96295
2567.39/2630.42 c #Conflicts: 1060000 | #Constraints: 97295
2567.39/2630.42 c #Conflicts: 1061000 | #Constraints: 98295
2567.39/2630.42 c #Conflicts: 1062000 | #Constraints: 99295
2567.39/2630.42 c #Conflicts: 1063000 | #Constraints: 100295
2567.39/2630.42 c #Conflicts: 1064000 | #Constraints: 101295
2567.39/2630.42 c #Conflicts: 1065000 | #Constraints: 102295
2567.39/2630.42 c #Conflicts: 1066000 | #Constraints: 103295
2567.39/2630.42 c #Conflicts: 1067000 | #Constraints: 104295
2567.39/2630.42 c #Conflicts: 1068000 | #Constraints: 105295
2567.39/2630.42 c #Conflicts: 1069000 | #Constraints: 106295
2567.39/2630.42 c INPROCESSING
2567.39/2630.42 c GARBAGE COLLECT
2567.39/2630.42 c #Conflicts: 1070000 | #Constraints: 70417
2567.39/2630.42 c #Conflicts: 1071000 | #Constraints: 71417
2567.39/2630.42 c #Conflicts: 1072000 | #Constraints: 72417
2567.39/2630.42 c #Conflicts: 1073000 | #Constraints: 73417
2567.39/2630.42 c #Conflicts: 1074000 | #Constraints: 74417
2567.39/2630.42 c #Conflicts: 1075000 | #Constraints: 75417
2798.34/2863.51 c #Conflicts: 1076000 | #Constraints: 76417
2798.34/2863.51 c #Conflicts: 1077000 | #Constraints: 77417
2798.34/2863.51 c #Conflicts: 1078000 | #Constraints: 78417
2798.34/2863.51 c #Conflicts: 1079000 | #Constraints: 79417
2798.34/2863.51 c #Conflicts: 1080000 | #Constraints: 80417
2798.34/2863.51 c #Conflicts: 1081000 | #Constraints: 81417
2798.34/2863.51 c #Conflicts: 1082000 | #Constraints: 82417
2798.34/2863.51 c #Conflicts: 1083000 | #Constraints: 83417
2798.34/2863.51 c #Conflicts: 1084000 | #Constraints: 84417
2798.34/2863.51 c #Conflicts: 1085000 | #Constraints: 85417
2798.34/2863.51 c #Conflicts: 1086000 | #Constraints: 86417
2798.34/2863.51 c #Conflicts: 1087000 | #Constraints: 87417
2798.34/2863.51 c #Conflicts: 1088000 | #Constraints: 88417
2798.34/2863.51 c #Conflicts: 1089000 | #Constraints: 89417
2798.34/2863.51 c #Conflicts: 1090000 | #Constraints: 90417
2798.34/2863.51 c #Conflicts: 1091000 | #Constraints: 91417
2798.34/2863.51 c #Conflicts: 1092000 | #Constraints: 92417
2798.34/2863.51 c #Conflicts: 1093000 | #Constraints: 93417
2798.34/2863.51 c #Conflicts: 1094000 | #Constraints: 94417
2798.34/2863.51 c #Conflicts: 1095000 | #Constraints: 95417
2798.34/2863.51 c #Conflicts: 1096000 | #Constraints: 96417
2798.34/2863.51 c #Conflicts: 1097000 | #Constraints: 97417
2798.34/2863.51 c #Conflicts: 1098000 | #Constraints: 98417
2798.34/2863.51 c #Conflicts: 1099000 | #Constraints: 99417
2798.34/2863.51 c #Conflicts: 1100000 | #Constraints: 100417
2798.34/2863.51 c #Conflicts: 1101000 | #Constraints: 101417
2798.34/2863.51 c #Conflicts: 1102000 | #Constraints: 102417
2798.34/2863.51 c #Conflicts: 1103000 | #Constraints: 103417
2798.34/2863.51 c #Conflicts: 1104000 | #Constraints: 104417
2798.34/2863.51 c #Conflicts: 1105000 | #Constraints: 105417
2798.34/2863.51 c #Conflicts: 1106000 | #Constraints: 106417
2798.34/2863.51 c #Conflicts: 1107000 | #Constraints: 107417
2798.34/2863.51 c #Conflicts: 1108000 | #Constraints: 108417
2798.34/2863.51 c #Conflicts: 1109000 | #Constraints: 109417
2798.34/2863.51 c #Conflicts: 1110000 | #Constraints: 110417
2798.34/2863.51 c #Conflicts: 1111000 | #Constraints: 111417
2798.34/2863.51 c #Conflicts: 1112000 | #Constraints: 112417
2798.34/2863.51 c #Conflicts: 1113000 | #Constraints: 113417
2798.34/2863.51 c #Conflicts: 1114000 | #Constraints: 114417
2798.34/2863.51 c #Conflicts: 1115000 | #Constraints: 115417
2798.34/2863.51 c #Conflicts: 1116000 | #Constraints: 116417
2798.34/2863.51 c #Conflicts: 1117000 | #Constraints: 117417
2798.34/2863.51 c #Conflicts: 1118000 | #Constraints: 118417
2798.34/2863.51 c #Conflicts: 1119000 | #Constraints: 119417
2798.34/2863.51 c #Conflicts: 1120000 | #Constraints: 120417
2798.34/2863.51 c #Conflicts: 1121000 | #Constraints: 121417
2798.34/2863.51 c #Conflicts: 1122000 | #Constraints: 122417
2798.34/2863.51 c #Conflicts: 1123000 | #Constraints: 123417
2798.34/2863.51 c #Conflicts: 1124000 | #Constraints: 124417
2798.34/2863.51 c #Conflicts: 1125000 | #Constraints: 125417
2798.34/2863.51 c #Conflicts: 1126000 | #Constraints: 126417
2798.34/2863.51 c #Conflicts: 1127000 | #Constraints: 127417
2798.34/2863.51 c #Conflicts: 1128000 | #Constraints: 128417
2798.34/2863.51 c #Conflicts: 1129000 | #Constraints: 129417
2798.34/2863.51 c #Conflicts: 1130000 | #Constraints: 130417
2798.34/2863.51 c #Conflicts: 1131000 | #Constraints: 131417
2798.34/2863.51 c #Conflicts: 1132000 | #Constraints: 132417
2798.34/2863.51 c #Conflicts: 1133000 | #Constraints: 133417
2798.34/2863.51 c #Conflicts: 1134000 | #Constraints: 134417
2798.34/2863.51 c #Conflicts: 1135000 | #Constraints: 135417
2798.34/2863.51 c #Conflicts: 1136000 | #Constraints: 136417
2798.34/2863.51 c #Conflicts: 1137000 | #Constraints: 137417
2798.34/2863.51 c #Conflicts: 1138000 | #Constraints: 138417
2798.34/2863.51 c INPROCESSING
2798.34/2863.51 c GARBAGE COLLECT
2798.34/2863.51 c #Conflicts: 1139000 | #Constraints: 80879
2798.34/2863.51 c #Conflicts: 1140000 | #Constraints: 81879
2798.34/2863.51 c #Conflicts: 1141000 | #Constraints: 82879
2798.34/2863.51 c #Conflicts: 1142000 | #Constraints: 83879
2798.34/2863.51 c #Conflicts: 1143000 | #Constraints: 84879
2798.34/2863.51 c #Conflicts: 1144000 | #Constraints: 85879
2798.34/2863.51 c #Conflicts: 1145000 | #Constraints: 86879
2798.34/2863.51 c #Conflicts: 1146000 | #Constraints: 87879
2798.34/2863.51 c #Conflicts: 1147000 | #Constraints: 88879
2798.34/2863.51 c #Conflicts: 1148000 | #Constraints: 89879
2798.34/2863.51 c #Conflicts: 1149000 | #Constraints: 90879
2798.34/2863.51 c #Conflicts: 1150000 | #Constraints: 91879
2798.34/2863.51 c #Conflicts: 1151000 | #Constraints: 92879
2798.34/2863.51 c #Conflicts: 1152000 | #Constraints: 93879
2798.34/2863.51 c #Conflicts: 1153000 | #Constraints: 94879
3033.84/3100.62 c #Conflicts: 1154000 | #Constraints: 95879
3033.84/3100.62 c #Conflicts: 1155000 | #Constraints: 96879
3033.84/3100.62 c #Conflicts: 1156000 | #Constraints: 97879
3033.84/3100.62 c #Conflicts: 1157000 | #Constraints: 98879
3033.84/3100.62 c #Conflicts: 1158000 | #Constraints: 99879
3033.84/3100.62 c #Conflicts: 1159000 | #Constraints: 100879
3033.84/3100.62 c #Conflicts: 1160000 | #Constraints: 101879
3033.84/3100.62 c #Conflicts: 1161000 | #Constraints: 102879
3033.84/3100.62 c #Conflicts: 1162000 | #Constraints: 103879
3033.84/3100.62 c #Conflicts: 1163000 | #Constraints: 104879
3033.84/3100.62 c #Conflicts: 1164000 | #Constraints: 105879
3033.84/3100.62 c #Conflicts: 1165000 | #Constraints: 106879
3033.84/3100.62 c #Conflicts: 1166000 | #Constraints: 107879
3033.84/3100.62 c #Conflicts: 1167000 | #Constraints: 108879
3033.84/3100.62 c #Conflicts: 1168000 | #Constraints: 109879
3033.84/3100.62 c INPROCESSING
3033.84/3100.62 c GARBAGE COLLECT
3033.84/3100.62 c #Conflicts: 1169000 | #Constraints: 72414
3033.84/3100.62 c #Conflicts: 1170000 | #Constraints: 73414
3033.84/3100.62 c #Conflicts: 1171000 | #Constraints: 74414
3033.84/3100.62 c #Conflicts: 1172000 | #Constraints: 75414
3033.84/3100.62 c #Conflicts: 1173000 | #Constraints: 76414
3033.84/3100.62 c #Conflicts: 1174000 | #Constraints: 77414
3033.84/3100.62 c #Conflicts: 1175000 | #Constraints: 78414
3033.84/3100.62 c #Conflicts: 1176000 | #Constraints: 79414
3033.84/3100.62 c #Conflicts: 1177000 | #Constraints: 80414
3033.84/3100.62 c #Conflicts: 1178000 | #Constraints: 81414
3033.84/3100.62 c #Conflicts: 1179000 | #Constraints: 82414
3033.84/3100.62 c #Conflicts: 1180000 | #Constraints: 83414
3033.84/3100.62 c #Conflicts: 1181000 | #Constraints: 84414
3033.84/3100.62 c #Conflicts: 1182000 | #Constraints: 85414
3033.84/3100.62 c #Conflicts: 1183000 | #Constraints: 86414
3033.84/3100.62 c #Conflicts: 1184000 | #Constraints: 87414
3033.84/3100.62 c #Conflicts: 1185000 | #Constraints: 88414
3033.84/3100.62 c #Conflicts: 1186000 | #Constraints: 89414
3033.84/3100.62 c #Conflicts: 1187000 | #Constraints: 90414
3033.84/3100.62 c #Conflicts: 1188000 | #Constraints: 91414
3033.84/3100.62 c #Conflicts: 1189000 | #Constraints: 92414
3033.84/3100.62 c #Conflicts: 1190000 | #Constraints: 93414
3033.84/3100.62 c #Conflicts: 1191000 | #Constraints: 94414
3033.84/3100.62 c #Conflicts: 1192000 | #Constraints: 95414
3033.84/3100.62 c #Conflicts: 1193000 | #Constraints: 96414
3033.84/3100.62 c #Conflicts: 1194000 | #Constraints: 97414
3033.84/3100.62 c #Conflicts: 1195000 | #Constraints: 98414
3033.84/3100.62 c #Conflicts: 1196000 | #Constraints: 99414
3033.84/3100.62 c #Conflicts: 1197000 | #Constraints: 100414
3033.84/3100.62 c #Conflicts: 1198000 | #Constraints: 101414
3033.84/3100.62 c #Conflicts: 1199000 | #Constraints: 102414
3033.84/3100.62 c #Conflicts: 1200000 | #Constraints: 103414
3033.84/3100.62 c #Conflicts: 1201000 | #Constraints: 104414
3033.84/3100.62 c #Conflicts: 1202000 | #Constraints: 105414
3033.84/3100.62 c #Conflicts: 1203000 | #Constraints: 106414
3033.84/3100.62 c #Conflicts: 1204000 | #Constraints: 107414
3033.84/3100.62 c #Conflicts: 1205000 | #Constraints: 108414
3033.84/3100.62 c #Conflicts: 1206000 | #Constraints: 109414
3033.84/3100.62 c #Conflicts: 1207000 | #Constraints: 110414
3033.84/3100.62 c #Conflicts: 1208000 | #Constraints: 111414
3033.84/3100.62 c #Conflicts: 1209000 | #Constraints: 112414
3033.84/3100.62 c #Conflicts: 1210000 | #Constraints: 113414
3033.84/3100.62 c #Conflicts: 1211000 | #Constraints: 114414
3033.84/3100.62 c #Conflicts: 1212000 | #Constraints: 115414
3033.84/3100.62 c #Conflicts: 1213000 | #Constraints: 116414
3033.84/3100.62 c #Conflicts: 1214000 | #Constraints: 117414
3033.84/3100.62 c #Conflicts: 1215000 | #Constraints: 118414
3033.84/3100.62 c #Conflicts: 1216000 | #Constraints: 119414
3033.84/3100.62 c #Conflicts: 1217000 | #Constraints: 120414
3033.84/3100.62 c #Conflicts: 1218000 | #Constraints: 121414
3033.84/3100.62 c #Conflicts: 1219000 | #Constraints: 122414
3033.84/3100.62 c #Conflicts: 1220000 | #Constraints: 123414
3033.84/3100.62 c #Conflicts: 1221000 | #Constraints: 124414
3033.84/3100.62 c #Conflicts: 1222000 | #Constraints: 125414
3033.84/3100.62 c #Conflicts: 1223000 | #Constraints: 126414
3033.84/3100.62 c #Conflicts: 1224000 | #Constraints: 127414
3033.84/3100.62 c #Conflicts: 1225000 | #Constraints: 128414
3033.84/3100.62 c #Conflicts: 1226000 | #Constraints: 129414
3033.84/3100.62 c #Conflicts: 1227000 | #Constraints: 130414
3033.84/3100.62 c #Conflicts: 1228000 | #Constraints: 131414
3033.84/3100.62 c #Conflicts: 1229000 | #Constraints: 132414
3033.84/3100.62 c #Conflicts: 1230000 | #Constraints: 133414
3033.84/3100.62 c #Conflicts: 1231000 | #Constraints: 134414
3033.84/3100.62 c #Conflicts: 1232000 | #Constraints: 135414
3154.99/3222.13 c #Conflicts: 1233000 | #Constraints: 136414
3154.99/3222.13 c #Conflicts: 1234000 | #Constraints: 137414
3154.99/3222.13 c #Conflicts: 1235000 | #Constraints: 138414
3154.99/3222.13 c #Conflicts: 1236000 | #Constraints: 139414
3154.99/3222.13 c #Conflicts: 1237000 | #Constraints: 140414
3154.99/3222.13 c #Conflicts: 1238000 | #Constraints: 141414
3154.99/3222.13 c #Conflicts: 1239000 | #Constraints: 142414
3154.99/3222.13 c #Conflicts: 1240000 | #Constraints: 143414
3154.99/3222.13 c INPROCESSING
3154.99/3222.13 c GARBAGE COLLECT
3154.99/3222.13 c rational objective 159.031
3348.20/3417.37 c #Conflicts: 1241000 | #Constraints: 83312
3348.20/3417.37 c #Conflicts: 1242000 | #Constraints: 84312
3348.20/3417.37 c #Conflicts: 1243000 | #Constraints: 85312
3348.20/3417.37 c #Conflicts: 1244000 | #Constraints: 86312
3348.20/3417.37 c #Conflicts: 1245000 | #Constraints: 87312
3348.20/3417.37 c #Conflicts: 1246000 | #Constraints: 88312
3348.20/3417.37 c #Conflicts: 1247000 | #Constraints: 89312
3348.20/3417.37 c #Conflicts: 1248000 | #Constraints: 90312
3348.20/3417.37 c #Conflicts: 1249000 | #Constraints: 91312
3348.20/3417.37 c #Conflicts: 1250000 | #Constraints: 92312
3348.20/3417.37 c #Conflicts: 1251000 | #Constraints: 93312
3348.20/3417.37 c #Conflicts: 1252000 | #Constraints: 94312
3348.20/3417.37 c #Conflicts: 1253000 | #Constraints: 95312
3348.20/3417.37 c #Conflicts: 1254000 | #Constraints: 96312
3348.20/3417.37 c #Conflicts: 1255000 | #Constraints: 97312
3348.20/3417.37 c #Conflicts: 1256000 | #Constraints: 98312
3348.20/3417.37 c #Conflicts: 1257000 | #Constraints: 99312
3348.20/3417.37 c #Conflicts: 1258000 | #Constraints: 100312
3348.20/3417.37 c #Conflicts: 1259000 | #Constraints: 101312
3348.20/3417.37 c #Conflicts: 1260000 | #Constraints: 102312
3348.20/3417.37 c #Conflicts: 1261000 | #Constraints: 103312
3348.20/3417.37 c #Conflicts: 1262000 | #Constraints: 104312
3348.20/3417.37 c #Conflicts: 1263000 | #Constraints: 105312
3348.20/3417.37 c #Conflicts: 1264000 | #Constraints: 106312
3348.20/3417.37 c #Conflicts: 1265000 | #Constraints: 107312
3348.20/3417.37 c #Conflicts: 1266000 | #Constraints: 108312
3348.20/3417.37 c #Conflicts: 1267000 | #Constraints: 109312
3348.20/3417.37 c #Conflicts: 1268000 | #Constraints: 110312
3348.20/3417.37 c #Conflicts: 1269000 | #Constraints: 111312
3348.20/3417.37 c #Conflicts: 1270000 | #Constraints: 112312
3348.20/3417.37 c #Conflicts: 1271000 | #Constraints: 113312
3348.20/3417.37 c #Conflicts: 1272000 | #Constraints: 114312
3348.20/3417.37 c INPROCESSING
3348.20/3417.37 c GARBAGE COLLECT
3348.20/3417.37 c #Conflicts: 1273000 | #Constraints: 75558
3348.20/3417.37 c #Conflicts: 1274000 | #Constraints: 76558
3348.20/3417.37 c #Conflicts: 1275000 | #Constraints: 77558
3348.20/3417.37 c #Conflicts: 1276000 | #Constraints: 78558
3348.20/3417.37 c #Conflicts: 1277000 | #Constraints: 79558
3348.20/3417.37 c #Conflicts: 1278000 | #Constraints: 80558
3348.20/3417.37 c #Conflicts: 1279000 | #Constraints: 81558
3348.20/3417.37 c #Conflicts: 1280000 | #Constraints: 82558
3348.20/3417.37 c #Conflicts: 1281000 | #Constraints: 83558
3348.20/3417.37 c #Conflicts: 1282000 | #Constraints: 84558
3348.20/3417.37 c #Conflicts: 1283000 | #Constraints: 85558
3348.20/3417.37 c #Conflicts: 1284000 | #Constraints: 86558
3348.20/3417.37 c #Conflicts: 1285000 | #Constraints: 87558
3348.20/3417.37 c #Conflicts: 1286000 | #Constraints: 88558
3348.20/3417.37 c #Conflicts: 1287000 | #Constraints: 89558
3348.20/3417.37 c #Conflicts: 1288000 | #Constraints: 90558
3348.20/3417.37 c #Conflicts: 1289000 | #Constraints: 91558
3348.20/3417.37 c #Conflicts: 1290000 | #Constraints: 92558
3348.20/3417.37 c #Conflicts: 1291000 | #Constraints: 93558
3348.20/3417.37 c #Conflicts: 1292000 | #Constraints: 94558
3348.20/3417.37 c #Conflicts: 1293000 | #Constraints: 95558
3348.20/3417.37 c #Conflicts: 1294000 | #Constraints: 96558
3348.20/3417.37 c #Conflicts: 1295000 | #Constraints: 97558
3348.20/3417.37 c #Conflicts: 1296000 | #Constraints: 98558
3348.20/3417.37 c #Conflicts: 1297000 | #Constraints: 99558
3348.20/3417.37 c #Conflicts: 1298000 | #Constraints: 100558
3348.20/3417.37 c #Conflicts: 1299000 | #Constraints: 101558
3348.20/3417.37 c #Conflicts: 1300000 | #Constraints: 102558
3348.20/3417.37 c #Conflicts: 1301000 | #Constraints: 103558
3348.20/3417.37 c #Conflicts: 1302000 | #Constraints: 104558
3348.20/3417.37 c #Conflicts: 1303000 | #Constraints: 105558
3348.20/3417.37 c #Conflicts: 1304000 | #Constraints: 106558
3348.20/3417.37 c #Conflicts: 1305000 | #Constraints: 107558
3348.20/3417.37 c #Conflicts: 1306000 | #Constraints: 108558
3348.20/3417.37 c #Conflicts: 1307000 | #Constraints: 109558
3348.20/3417.37 c #Conflicts: 1308000 | #Constraints: 110558
3348.20/3417.37 c #Conflicts: 1309000 | #Constraints: 111558
3348.20/3417.37 c #Conflicts: 1310000 | #Constraints: 112558
3348.20/3417.37 c #Conflicts: 1311000 | #Constraints: 113558
3348.20/3417.37 c #Conflicts: 1312000 | #Constraints: 114558
3348.20/3417.37 c #Conflicts: 1313000 | #Constraints: 115558
3348.20/3417.37 c #Conflicts: 1314000 | #Constraints: 116558
3348.20/3417.37 c #Conflicts: 1315000 | #Constraints: 117558
3348.20/3417.37 c #Conflicts: 1316000 | #Constraints: 118558
3348.20/3417.37 c #Conflicts: 1317000 | #Constraints: 119558
3348.20/3417.37 c #Conflicts: 1318000 | #Constraints: 120558
3348.20/3417.37 c #Conflicts: 1319000 | #Constraints: 121558
3571.13/3644.29 c #Conflicts: 1320000 | #Constraints: 122558
3571.13/3644.29 c #Conflicts: 1321000 | #Constraints: 123558
3571.13/3644.29 c #Conflicts: 1322000 | #Constraints: 124558
3571.13/3644.29 c #Conflicts: 1323000 | #Constraints: 125558
3571.13/3644.29 c #Conflicts: 1324000 | #Constraints: 126558
3571.13/3644.29 c #Conflicts: 1325000 | #Constraints: 127558
3571.13/3644.29 c #Conflicts: 1326000 | #Constraints: 128558
3571.13/3644.29 c #Conflicts: 1327000 | #Constraints: 129558
3571.13/3644.29 c #Conflicts: 1328000 | #Constraints: 130558
3571.13/3644.29 c #Conflicts: 1329000 | #Constraints: 131558
3571.13/3644.29 c #Conflicts: 1330000 | #Constraints: 132558
3571.13/3644.29 c #Conflicts: 1331000 | #Constraints: 133558
3571.13/3644.29 c #Conflicts: 1332000 | #Constraints: 134558
3571.13/3644.29 c #Conflicts: 1333000 | #Constraints: 135558
3571.13/3644.29 c #Conflicts: 1334000 | #Constraints: 136558
3571.13/3644.29 c #Conflicts: 1335000 | #Constraints: 137558
3571.13/3644.29 c #Conflicts: 1336000 | #Constraints: 138558
3571.13/3644.29 c #Conflicts: 1337000 | #Constraints: 139558
3571.13/3644.29 c #Conflicts: 1338000 | #Constraints: 140558
3571.13/3644.29 c #Conflicts: 1339000 | #Constraints: 141558
3571.13/3644.29 c #Conflicts: 1340000 | #Constraints: 142558
3571.13/3644.29 c #Conflicts: 1341000 | #Constraints: 143558
3571.13/3644.29 c #Conflicts: 1342000 | #Constraints: 144558
3571.13/3644.29 c #Conflicts: 1343000 | #Constraints: 145558
3571.13/3644.29 c #Conflicts: 1344000 | #Constraints: 146558
3571.13/3644.29 c #Conflicts: 1345000 | #Constraints: 147558
3571.13/3644.29 c #Conflicts: 1346000 | #Constraints: 148558
3571.13/3644.29 c #Conflicts: 1347000 | #Constraints: 149558
3571.13/3644.29 c INPROCESSING
3571.13/3644.29 c GARBAGE COLLECT
3571.13/3644.29 c #Conflicts: 1348000 | #Constraints: 86709
3571.13/3644.29 c #Conflicts: 1349000 | #Constraints: 87709
3571.13/3644.29 c #Conflicts: 1350000 | #Constraints: 88709
3571.13/3644.29 c #Conflicts: 1351000 | #Constraints: 89709
3571.13/3644.29 c #Conflicts: 1352000 | #Constraints: 90709
3571.13/3644.29 c #Conflicts: 1353000 | #Constraints: 91709
3571.13/3644.29 c #Conflicts: 1354000 | #Constraints: 92709
3571.13/3644.29 c #Conflicts: 1355000 | #Constraints: 93709
3571.13/3644.29 c #Conflicts: 1356000 | #Constraints: 94709
3571.13/3644.29 c #Conflicts: 1357000 | #Constraints: 95709
3571.13/3644.29 c #Conflicts: 1358000 | #Constraints: 96709
3571.13/3644.29 c #Conflicts: 1359000 | #Constraints: 97709
3571.13/3644.29 c #Conflicts: 1360000 | #Constraints: 98709
3571.13/3644.29 c #Conflicts: 1361000 | #Constraints: 99709
3571.13/3644.29 c #Conflicts: 1362000 | #Constraints: 100709
3571.13/3644.29 c #Conflicts: 1363000 | #Constraints: 101709
3571.13/3644.29 c #Conflicts: 1364000 | #Constraints: 102709
3571.13/3644.29 c #Conflicts: 1365000 | #Constraints: 103709
3571.13/3644.29 c #Conflicts: 1366000 | #Constraints: 104709
3571.13/3644.29 c #Conflicts: 1367000 | #Constraints: 105709
3571.13/3644.29 c #Conflicts: 1368000 | #Constraints: 106709
3571.13/3644.29 c #Conflicts: 1369000 | #Constraints: 107709
3571.13/3644.29 c #Conflicts: 1370000 | #Constraints: 108709
3571.13/3644.29 c #Conflicts: 1371000 | #Constraints: 109709
3571.13/3644.29 c #Conflicts: 1372000 | #Constraints: 110709
3571.13/3644.29 c #Conflicts: 1373000 | #Constraints: 111709
3571.13/3644.29 c #Conflicts: 1374000 | #Constraints: 112709
3571.13/3644.29 c #Conflicts: 1375000 | #Constraints: 113709
3571.13/3644.29 c #Conflicts: 1376000 | #Constraints: 114709
3571.13/3644.29 c #Conflicts: 1377000 | #Constraints: 115709
3571.13/3644.29 c #Conflicts: 1378000 | #Constraints: 116709
3571.13/3644.29 c #Conflicts: 1379000 | #Constraints: 117709
3571.13/3644.29 c #Conflicts: 1380000 | #Constraints: 118709
3571.13/3644.29 c INPROCESSING
3571.13/3644.29 c GARBAGE COLLECT
3571.13/3644.29 c #Conflicts: 1381000 | #Constraints: 78026
3571.13/3644.29 c #Conflicts: 1382000 | #Constraints: 79026
3571.13/3644.29 c #Conflicts: 1383000 | #Constraints: 80026
3571.13/3644.29 c #Conflicts: 1384000 | #Constraints: 81026
3571.13/3644.29 c #Conflicts: 1385000 | #Constraints: 82026
3571.13/3644.29 c #Conflicts: 1386000 | #Constraints: 83026
3571.13/3644.29 c #Conflicts: 1387000 | #Constraints: 84026
3571.13/3644.29 c #Conflicts: 1388000 | #Constraints: 85026
3571.13/3644.29 c #Conflicts: 1389000 | #Constraints: 86026
3571.13/3644.29 c #Conflicts: 1390000 | #Constraints: 87026
3571.13/3644.29 c #Conflicts: 1391000 | #Constraints: 88026
3571.13/3644.29 c #Conflicts: 1392000 | #Constraints: 89026
3571.13/3644.29 c #Conflicts: 1393000 | #Constraints: 90026
3571.13/3644.29 c #Conflicts: 1394000 | #Constraints: 91026
3571.13/3644.29 c #Conflicts: 1395000 | #Constraints: 92026
3571.13/3644.29 c #Conflicts: 1396000 | #Constraints: 93026
3600.08/3673.50 c #Conflicts: 1397000 | #Constraints: 94026
3600.08/3673.50 c #Conflicts: 1398000 | #Constraints: 95026
3600.08/3673.50 c #Conflicts: 1399000 | #Constraints: 96026
3600.08/3673.50 c #Conflicts: 1400000 | #Constraints: 97026
3600.08/3673.50 c #Conflicts: 1401000 | #Constraints: 98026
3600.08/3673.50 c #Conflicts: 1402000 | #Constraints: 99026
3600.08/3673.50 c #Conflicts: 1403000 | #Constraints: 100026
3600.08/3673.50 c #Conflicts: 1404000 | #Constraints: 101026
3600.08/3673.50 c #Conflicts: 1405000 | #Constraints: 102026
3600.08/3673.50 c #Conflicts: 1406000 | #Constraints: 103026
3600.08/3673.50 c #Conflicts: 1407000 | #Constraints: 104026
3600.08/3673.50 c #Conflicts: 1408000 | #Constraints: 105026
3600.08/3673.50 c cpu time 3566.4 s
3600.08/3673.50 c deterministic time 228497862272 2.28e+11
3600.08/3673.50 c optimization time 55.1768 s
3600.08/3673.50 c total solve time 3511.09 s
3600.08/3673.50 c core-guided solve time 0 s
3600.08/3673.50 c propagation time 1770.82 s
3600.08/3673.50 c conflict analysis time 1324.18 s
3600.08/3673.50 c propagations 1392097502
3600.08/3673.50 c resolve steps 89680788
3600.08/3673.50 c decisions 28722882
3600.08/3673.50 c conflicts 1408262
3600.08/3673.50 c restarts 2706
3600.08/3673.50 c inprocessing phases 50
3600.08/3673.50 c garbage collections 50 ,( 100.00 )
3600.08/3673.50 c input clauses 19220 ,( 99.18 )
3600.08/3673.50 c input cardinalities 159 ,( 0.82 )
3600.08/3673.50 c input general constraints 0 ,( 0.00 )
3600.08/3673.50 c input average constraint length 6.41
3600.08/3673.50 c input average constraint degree 1.96
3600.08/3673.50 c learned clauses 1046905 ,( 74.34 )
3600.08/3673.50 c learned cardinalities 43631 ,( 3.10 )
3600.08/3673.50 c learned general constraints 317730 ,( 22.56 )
3600.08/3673.50 c learned average constraint length 707.26
3600.08/3673.50 c learned average constraint degree 16282707.90
3600.08/3673.50 c watched CF 32, 64, 128, Arb: 81789 , 0 , 0 , 0
3600.08/3673.50 c counting CF 32, 64, 128, Arb: 235941 , 0 , 0 , 0
3600.08/3673.50 c watched constraints 81789 ,( 25.74 )
3600.08/3673.50 c counting constraints 235941 ,( 74.26 )
3600.08/3673.50 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1328721711 , 671712642 , 1866798580 ,( 76406224 , 1790392356 )
3600.08/3673.50 c gcd simplifications 703
3600.08/3673.50 c detected cardinalities 5965
3600.08/3673.50 c weakened non-implied lits 397727057
3600.08/3673.50 c weakened non-implying lits 204256
3600.08/3673.50 c original variables 18966
3600.08/3673.50 c clausal propagations 637783363
3600.08/3673.50 c cardinality propagations 510742207
3600.08/3673.50 c watched propagations 4446741
3600.08/3673.50 c counting propagations 226650957
3600.08/3673.50 c watch lookups 77210323394
3600.08/3673.50 c watch backjump lookups 0
3600.08/3673.50 c watch checks 31361134259
3600.08/3673.50 c propagation checks 112285562855
3600.08/3673.50 c constraint additions 4797515279
3600.08/3673.50 c trail pops 1422212061
3600.08/3673.50 c formula constraints 19379
3600.08/3673.50 c learned constraints 1408259
3600.08/3673.50 c bound constraints 0
3600.08/3673.50 c core-guided constraints 0
3600.08/3673.50 c encountered formula constraints 57531264
3600.08/3673.50 c encountered learned constraints 33557698
3600.08/3673.50 c encountered bound constraints 0
3600.08/3673.50 c encountered core-guided constraints 0
3600.08/3673.50 c LP total time 474.237 s
3600.08/3673.50 c LP solve time 466.16 s
3600.08/3673.50 c LP constraints added 19379
3600.08/3673.50 c LP constraints removed 0
3600.08/3673.50 c LP pivots internal 144250
3600.08/3673.50 c LP pivots root 149789
3600.08/3673.50 c LP calls 16
3600.08/3673.50 c LP optimalities 6
3600.08/3673.50 c LP no pivot count 0
3600.08/3673.50 c LP infeasibilities 3
3600.08/3673.50 c LP valid Farkas constraints 3
3600.08/3673.50 c LP learned Farkas constraints 3
3600.08/3673.50 c LP basis resets 0
3600.08/3673.50 c LP cycling count 0
3600.08/3673.50 c LP singular count 0
3600.08/3673.50 c LP no primal count 0
3600.08/3673.50 c LP no farkas count 0
3600.08/3673.50 c LP other issue count 0
3600.08/3673.50 c LP Gomory cuts 1
3600.08/3673.50 c LP learned cuts 203
3600.08/3673.50 c LP deleted cuts 0
3600.08/3673.50 c LP encountered Gomory constraints 0
3600.08/3673.50 c LP encountered Farkas constraints 83
3600.08/3673.50 c LP encountered learned Farkas constraints 2
3600.08/3673.50 c CG auxiliary variables introduced 0
3600.08/3673.50 c CG solutions found 0
3600.08/3673.50 c CG cores constructed 0
3600.08/3673.50 c CG core cardinality constraints returned 0
3600.08/3673.50 c CG unit cores 0
3600.08/3673.50 c CG single cores 0
3600.08/3673.50 c CG blocks removed during cardinality reduction 0
3600.08/3673.50 c CG first core best 0
3600.08/3673.50 c CG decision core best 0
3600.08/3673.50 c CG core reduction tie 0
3600.08/3673.50 c CG core degree average 0.00
3600.08/3673.50 c CG core slack average 0.00
3600.08/3673.50 c CG core upper bound improvements 0
3600.08/3673.50 c STR number of successful calls 0
3600.08/3673.50 c STR number of unsuccessful calls 0
3600.08/3673.50 c STR number of inconclusive calls 0
3600.08/3673.50 c STR number of successful attempts 0
3600.08/3673.50 c STR number of unsuccessful attempts 0
3600.08/3673.50 c STR number of inconclusive attempts 0
3600.08/3673.50 c STR average degree increase per successful call inf
3600.08/3673.50 c STR average degree increase per successful attempt inf
3600.08/3673.50 c STR total number of conflicts for successful attempts 0
3600.08/3673.50 c STR total number of conflicts for unsuccessful attempts 0
3600.08/3673.50 c STR total number of conflicts for inconclusive attempts 0
3600.08/3673.50 c STR average number of conflicts per successful attempt inf
3600.08/3673.50 c STR average number of conflicts per unsuccessful attempt inf
3600.08/3673.50 c STR average number of conflicts per inconclusive attempt inf
3600.08/3673.50 c AVG.sumWPerc 65.82
3600.08/3673.50 c bigint constraints 0
3600.08/3673.50 s UNKNOWN
3600.08/3673.50 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (61837 MiB free)
memory of node 1: 64465 MiB (59236 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506981-1751173308/watcher-4506981-1751173308 -o /tmp/evaluation-result-4506981-1751173308/solver-4506981-1751173308 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751168686-22054 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4506981-1751173308.opb PROOFDIR/proof-4506981-1751173308
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=22791, runsolver pid=22788
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 4.17 4.12 4.10 4/272 22793
/proc/meminfo: memFree=123953000/131250000 swapFree=33010684/33010684
[pid=22791] ppid=22788 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22791/stat : 22791 (run-dec-break-l) S 22788 22791 22043 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33009411 4292608 736 18446744073709551615 93878788911104 93878789805637 140736363228352 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93878790044688 93878790092432 93878801424384 140736363235605 140736363235806 140736363235806 140736363241408 0
/proc/22791/statm: 1048 736 672 219 0 110 0
[pid=22793] ppid=22791 vsize=38192 memory=26848 CPUtime=0.08 cores=4,6
/proc/22793/stat : 22793 (pbsuma) R 22791 22791 22043 0 -1 4194304 12892 0 0 0 6 2 0 0 20 0 1 0 33009412 39108608 6712 18446744073709551615 4210688 4653049 140731530858560 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 20140032 140731530864867 140731530865202 140731530865202 140731530870767 0
/proc/22793/statm: 9548 6712 992 108 0 6956 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 42384 KiB
Current children cumulated memory: 29792 KiB
[startup+0.20633 s]*
/proc/loadavg: 4.17 4.12 4.10 5/272 22794
/proc/meminfo: memFree=123948284/131250000 swapFree=33010684/33010684
[pid=22791] ppid=22788 vsize=4192 memory=2944 CPUtime=0.08 cores=4,6
/proc/22791/stat : 22791 (run-dec-break-l) S 22788 22791 22043 0 -1 4194304 240 12895 0 0 0 0 6 2 20 0 1 0 33009411 4292608 736 18446744073709551615 93878788911104 93878789805637 140736363228352 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93878790044688 93878790092432 93878801424384 140736363235605 140736363235806 140736363235806 140736363241408 0
/proc/22791/statm: 1048 736 672 219 0 110 0
[pid=22794] ppid=22791 vsize=67728 memory=21196 CPUtime=0.08 cores=4,6
/proc/22794/stat : 22794 (roundingsat) R 22791 22791 22043 0 -1 4194304 3665 0 0 0 7 1 0 0 20 0 1 0 33009422 69353472 5299 18446744073709551615 4227072 8923433 140735386168848 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 26189824 140735386175732 140735386176040 140735386176040 140735386181610 0
/proc/22794/statm: 16932 5299 1984 1147 0 4359 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 71920 KiB
Current children cumulated memory: 24140 KiB
[startup+0.305903 s]*
/proc/loadavg: 4.17 4.12 4.10 5/272 22794
/proc/meminfo: memFree=123908716/131250000 swapFree=33010684/33010684
[pid=22791] ppid=22788 vsize=4192 memory=2944 CPUtime=0.08 cores=4,6
/proc/22791/stat : 22791 (run-dec-break-l) S 22788 22791 22043 0 -1 4194304 240 12895 0 0 0 0 6 2 20 0 1 0 33009411 4292608 736 18446744073709551615 93878788911104 93878789805637 140736363228352 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93878790044688 93878790092432 93878801424384 140736363235605 140736363235806 140736363235806 140736363241408 0
/proc/22791/statm: 1048 736 672 219 0 110 0
[pid=22794] ppid=22791 vsize=108956 memory=55988 CPUtime=0.18 cores=4,6
/proc/22794/stat : 22794 (roundingsat) R 22791 22791 22043 0 -1 4194304 11095 0 0 0 15 3 0 0 20 0 1 0 33009422 111570944 13997 18446744073709551615 4227072 8923433 140735386168848 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 26189824 140735386175732 140735386176040 140735386176040 140735386181610 0
/proc/22794/statm: 27239 13997 2272 1147 0 14666 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 113148 KiB
Current children cumulated memory: 58932 KiB
[startup+0.700215 s]
/proc/loadavg: 4.17 4.12 4.10 5/272 22794
/proc/meminfo: memFree=123904684/131250000 swapFree=33010684/33010684
[pid=22791] ppid=22788 vsize=4192 memory=2944 CPUtime=0.08 cores=4,6
/proc/22791/stat : 22791 (run-dec-break-l) S 22788 22791 22043 0 -1 4194304 240 12895 0 0 0 0 6 2 20 0 1 0 33009411 4292608 736 18446744073709551615 93878788911104 93878789805637 140736363228352 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93878790044688 93878790092432 93878801424384 140736363235605 140736363235806 140736363235806 140736363241408 0
/proc/22791/statm: 1048 736 672 219 0 110 0
[pid=22794] ppid=22791 vsize=113756 memory=59444 CPUtime=0.56 cores=4,6
/proc/22794/stat : 22794 (roundingsat) R 22791 22791 22043 0 -1 4194304 11969 0 0 0 53 3 0 0 20 0 1 0 33009422 116486144 14861 18446744073709551615 4227072 8923433 140735386168848 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26189824 140735386175732 140735386176040 140735386176040 140735386181610 0
/proc/22794/statm: 28439 14861 2304 1147 0 15866 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 117948 KiB
Current children cumulated memory: 62388 KiB
[startup+1.5002 s]
/proc/loadavg: 4.17 4.12 4.10 5/272 22794
/proc/meminfo: memFree=123904936/131250000 swapFree=33010684/33010684
[pid=22791] ppid=22788 vsize=4192 memory=2944 CPUtime=0.08 cores=4,6
/proc/22791/stat : 22791 (run-dec-break-l) S 22788 22791 22043 0 -1 4194304 240 12895 0 0 0 0 6 2 20 0 1 0 33009411 4292608 736 18446744073709551615 93878788911104 93878789805637 140736363228352 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93878790044688 93878790092432 93878801424384 140736363235605 140736363235806 140736363235806 140736363241408 0
/proc/22791/statm: 1048 736 672 219 0 110 0
[pid=22794] ppid=22791 vsize=113756 memory=59444 CPUtime=1.36 cores=4,6
/proc/22794/stat : 22794 (roundingsat) R 22791 22791 22043 0 -1 4194304 11969 0 0 0 133 3 0 0 20 0 1 0 33009422 116486144 14861 18446744073709551615 4227072 8923433 140735386168848 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26189824 140735386175732 140735386176040 140735386176040 140735386181610 0
/proc/22794/statm: 28439 14861 2304 1147 0 15866 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 117948 KiB
Current children cumulated memory: 62388 KiB
[startup+3.10611 s]
/proc/loadavg: 4.16 4.12 4.09 5/272 22794
/proc/meminfo: memFree=123909888/131250000 swapFree=33010684/33010684
[pid=22791] ppid=22788 vsize=4192 memory=2944 CPUtime=0.08 cores=4,6
/proc/22791/stat : 22791 (run-dec-break-l) S 22788 22791 22043 0 -1 4194304 240 12895 0 0 0 0 6 2 20 0 1 0 33009411 4292608 736 18446744073709551615 93878788911104 93878789805637 140736363228352 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93878790044688 93878790092432 93878801424384 140736363235605 140736363235806 140736363235806 140736363241408 0
/proc/22791/statm: 1048 736 672 219 0 110 0
[pid=22794] ppid=22791 vsize=117408 memory=63156 CPUtime=2.96 cores=4,6
/proc/22794/stat : 22794 (roundingsat) R 22791 22791 22043 0 -1 4194304 12906 0 0 0 292 4 0 0 20 0 1 0 33009422 120225792 15789 18446744073709551615 4227072 8923433 140735386168848 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26189824 140735386175732 140735386176040 140735386176040 140735386181610 0
/proc/22794/statm: 29352 15789 2304 1147 0 16779 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 121600 KiB
Current children cumulated memory: 66100 KiB
[startup+6.3002 s]
/proc/loadavg: 4.16 4.12 4.09 5/272 22794
/proc/meminfo: memFree=123889672/131250000 swapFree=33010684/33010684
[pid=22791] ppid=22788 vsize=4192 memory=2944 CPUtime=0.08 cores=4,6
/proc/22791/stat : 22791 (run-dec-break-l) S 22788 22791 22043 0 -1 4194304 240 12895 0 0 0 0 6 2 20 0 1 0 33009411 4292608 736 18446744073709551615 93878788911104 93878789805637 140736363228352 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93878790044688 93878790092432 93878801424384 140736363235605 140736363235806 140736363235806 140736363241408 0
/proc/22791/statm: 1048 736 672 219 0 110 0
[pid=22794] ppid=22791 vsize=121752 memory=71604 CPUtime=6.15 cores=4,6
/proc/22794/stat : 22794 (roundingsat) R 22791 22791 22043 0 -1 4194304 14521 0 0 0 601 14 0 0 20 0 1 0 33009422 124674048 17901 18446744073709551615 4227072 8923433 140735386168848 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26189824 140735386175732 140735386176040 140735386176040 140735386181610 0
/proc/22794/statm: 30438 17901 2336 1147 0 17865 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 125944 KiB
Current children cumulated memory: 74548 KiB
[startup+12.7002 s]
/proc/loadavg: 4.21 4.13 4.10 5/272 22794
/proc/meminfo: memFree=123826292/131250000 swapFree=33010684/33010684
[pid=22791] ppid=22788 vsize=4192 memory=2944 CPUtime=0.08 cores=4,6
/proc/22791/stat : 22791 (run-dec-break-l) S 22788 22791 22043 0 -1 4194304 240 12895 0 0 0 0 6 2 20 0 1 0 33009411 4292608 736 18446744073709551615 93878788911104 93878789805637 140736363228352 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93878790044688 93878790092432 93878801424384 140736363235605 140736363235806 140736363235806 140736363241408 0
/proc/22791/statm: 1048 736 672 219 0 110 0
[pid=22794] ppid=22791 vsize=131096 memory=80484 CPUtime=12.53 cores=4,6
/proc/22794/stat : 22794 (roundingsat) R 22791 22791 22043 0 -1 4194304 16232 0 0 0 1226 27 0 0 20 0 1 0 33009422 134242304 20121 18446744073709551615 4227072 8923433 140735386168848 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26189824 140735386175732 140735386176040 140735386176040 140735386181610 0
/proc/22794/statm: 32774 20121 2336 1147 0 20201 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 135288 KiB
Current children cumulated memory: 83428 KiB
[startup+25.5002 s]
/proc/loadavg: 4.18 4.13 4.10 5/271 22794
/proc/meminfo: memFree=123728712/131250000 swapFree=33010684/33010684
[pid=22791] ppid=22788 vsize=4192 memory=2944 CPUtime=0.08 cores=4,6
/proc/22791/stat : 22791 (run-dec-break-l) S 22788 22791 22043 0 -1 4194304 240 12895 0 0 0 0 6 2 20 0 1 0 33009411 4292608 736 18446744073709551615 93878788911104 93878789805637 140736363228352 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93878790044688 93878790092432 93878801424384 140736363235605 140736363235806 140736363235806 140736363241408 0
/proc/22791/statm: 1048 736 672 219 0 110 0
[pid=22794] ppid=22791 vsize=157576 memory=103404 CPUtime=25.3 cores=4,6
/proc/22794/stat : 22794 (roundingsat) R 22791 22791 22043 0 -1 4194304 20928 0 0 0 2474 56 0 0 20 0 1 0 33009422 161357824 25851 18446744073709551615 4227072 8923433 140735386168848 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26189824 140735386175732 140735386176040 140735386176040 140735386181610 0
/proc/22794/statm: 39394 25851 2336 1147 0 26821 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 161768 KiB
Current children cumulated memory: 106348 KiB
[startup+51.1058 s]
/proc/loadavg: 4.12 4.12 4.09 5/272 22796
/proc/meminfo: memFree=123558032/131250000 swapFree=33010684/33010684
[pid=22791] ppid=22788 vsize=4192 memory=2944 CPUtime=0.08 cores=4,6
/proc/22791/stat : 22791 (run-dec-break-l) S 22788 22791 22043 0 -1 4194304 240 12895 0 0 0 0 6 2 20 0 1 0 33009411 4292608 736 18446744073709551615 93878788911104 93878789805637 140736363228352 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93878790044688 93878790092432 93878801424384 140736363235605 140736363235806 140736363235806 140736363241408 0
/proc/22791/statm: 1048 736 672 219 0 110 0
[pid=22794] ppid=22791 vsize=185292 memory=127420 CPUtime=50.83 cores=4,6
/proc/22794/stat : 22794 (roundingsat) R 22791 22791 22043 0 -1 4194304 26006 0 0 0 4973 110 0 0 20 0 1 0 33009422 189739008 31855 18446744073709551615 4227072 8923433 140735386168848 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26189824 140735386175732 140735386176040 140735386176040 140735386181610 0
/proc/22794/statm: 46323 31855 2336 1147 0 33750 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 189484 KiB
Current children cumulated memory: 130364 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/273 22800
/proc/meminfo: memFree=123355948/131250000 swapFree=33010684/33010684
[pid=22791] ppid=22788 vsize=4192 memory=2944 CPUtime=0.08 cores=4,6
/proc/22791/stat : 22791 (run-dec-break-l) S 22788 22791 22043 0 -1 4194304 240 12895 0 0 0 0 6 2 20 0 1 0 33009411 4292608 736 18446744073709551615 93878788911104 93878789805637 140736363228352 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93878790044688 93878790092432 93878801424384 140736363235605 140736363235806 140736363235806 140736363241408 0
/proc/22791/statm: 1048 736 672 219 0 110 0
[pid=22794] ppid=22791 vsize=206600 memory=154588 CPUtime=101.73 cores=4,6
/proc/22794/stat : 22794 (roundingsat) R 22791 22791 22043 0 -1 4194304 31267 0 0 0 9978 195 0 0 20 0 1 0 33009422 211558400 38647 18446744073709551615 4227072 8923433 140735386168848 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26189824 140735386175732 140735386176040 140735386176040 140735386181610 0
/proc/22794/statm: 51650 38647 2336 1147 0 39077 0
Current children cumulated CPU time: 101.81 s
Current children cumulated vsize: 210792 KiB
Current children cumulated memory: 157532 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/274 22803
/proc/meminfo: memFree=122983832/131250000 swapFree=33010684/33010684
[pid=22791] ppid=22788 vsize=4192 memory=2944 CPUtime=0.08 cores=4,6
/proc/22791/stat : 22791 (run-dec-break-l) S 22788 22791 22043 0 -1 4194304 240 12895 0 0 0 0 6 2 20 0 1 0 33009411 4292608 736 18446744073709551615 93878788911104 93878789805637 140736363228352 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93878790044688 93878790092432 93878801424384 140736363235605 140736363235806 140736363235806 140736363241408 0
/proc/22791/statm: 1048 736 672 219 0 110 0
[pid=22794] ppid=22791 vsize=277860 memory=199644 CPUtime=161.48 cores=4,6
/proc/22794/stat : 22794 (roundingsat) R 22791 22791 22043 0 -1 4194304 36919 0 0 0 15854 294 0 0 20 0 1 0 33009422 284528640 49911 18446744073709551615 4227072 8923433 140735386168848 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26189824 140735386175732 140735386176040 140735386176040 140735386181610 0
/proc/22794/statm: 69465 49911 2336 1147 0 56892 0
Current children cumulated CPU time: 161.56 s
Current children cumulated vsize: 282052 KiB
Current children cumulated memory: 202588 KiB
[startup+222.3 s]
/proc/loadavg: 4.31 4.16 4.11 5/273 22808
/proc/meminfo: memFree=122289580/131250000 swapFree=33010684/33010684
[pid=22791] ppid=22788 vsize=4192 memory=2944 CPUtime=0.08 cores=4,6
/proc/22791/stat : 22791 (run-dec-break-l) S 22788 22791 22043 0 -1 4194304 240 12895 0 0 0 0 6 2 20 0 1 0 33009411 4292608 736 18446744073709551615 93878788911104 93878789805637 140736363228352 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93878790044688 93878790092432 93878801424384 140736363235605 140736363235806 140736363235806 140736363241408 0
/proc/22791/statm: 1048 736 672 219 0 110 0
[pid=22794] ppid=22791 vsize=292392 memory=218872 CPUtime=221.31 cores=4,6
/proc/22794/stat : 22794 (roundingsat) R 22791 22791 22043 0 -1 4194304 40672 0 0 0 21731 400 0 0 20 0 1 0 33009422 299409408 54718 18446744073709551615 4227072 8923433 140735386168848 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26189824 140735386175732 140735386176040 140735386176040 140735386181610 0
################
# More data... #
################
/proc/22794/statm: 269438 217924 2368 1147 0 256865 0
Current children cumulated CPU time: 3095.33 s
Current children cumulated vsize: 1081944 KiB
Current children cumulated memory: 874640 KiB
[startup+3222.3 s]
/proc/loadavg: 4.02 4.08 4.08 5/274 23104
/proc/meminfo: memFree=121209632/131250000 swapFree=33010684/33010684
[pid=22791] ppid=22788 vsize=4192 memory=2944 CPUtime=0.08 cores=4,6
/proc/22791/stat : 22791 (run-dec-break-l) S 22788 22791 22043 0 -1 4194304 240 12895 0 0 0 0 6 2 20 0 1 0 33009411 4292608 736 18446744073709551615 93878788911104 93878789805637 140736363228352 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93878790044688 93878790092432 93878801424384 140736363235605 140736363235806 140736363235806 140736363241408 0
/proc/22791/statm: 1048 736 672 219 0 110 0
[pid=22794] ppid=22791 vsize=1079012 memory=872976 CPUtime=3155.1 cores=4,6
/proc/22794/stat : 22794 (roundingsat) R 22791 22791 22043 0 -1 4194304 113534 0 0 0 312522 2988 0 0 20 0 1 0 33009422 1104908288 218244 18446744073709551615 4227072 8923433 140735386168848 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26189824 140735386175732 140735386176040 140735386176040 140735386181610 0
/proc/22794/statm: 269753 218244 2368 1147 0 257180 0
Current children cumulated CPU time: 3155.18 s
Current children cumulated vsize: 1083204 KiB
Current children cumulated memory: 875920 KiB
[startup+3282.3 s]
/proc/loadavg: 4.05 4.08 4.08 5/274 23106
/proc/meminfo: memFree=120449816/131250000 swapFree=33010684/33010684
[pid=22791] ppid=22788 vsize=4192 memory=2944 CPUtime=0.08 cores=4,6
/proc/22791/stat : 22791 (run-dec-break-l) S 22788 22791 22043 0 -1 4194304 240 12895 0 0 0 0 6 2 20 0 1 0 33009411 4292608 736 18446744073709551615 93878788911104 93878789805637 140736363228352 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93878790044688 93878790092432 93878801424384 140736363235605 140736363235806 140736363235806 140736363241408 0
/proc/22791/statm: 1048 736 672 219 0 110 0
[pid=22794] ppid=22791 vsize=1129240 memory=922896 CPUtime=3214.89 cores=4,6
/proc/22794/stat : 22794 (roundingsat) R 22791 22791 22043 0 -1 4194304 126032 0 0 0 318431 3058 0 0 20 0 1 0 33009422 1156341760 230724 18446744073709551615 4227072 8923433 140735386168848 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26189824 140735386175732 140735386176040 140735386176040 140735386181610 0
/proc/22794/statm: 282310 230724 2368 1147 0 269737 0
Current children cumulated CPU time: 3214.97 s
Current children cumulated vsize: 1133432 KiB
Current children cumulated memory: 925840 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/273 23112
/proc/meminfo: memFree=119856172/131250000 swapFree=33010684/33010684
[pid=22791] ppid=22788 vsize=4192 memory=2944 CPUtime=0.08 cores=4,6
/proc/22791/stat : 22791 (run-dec-break-l) S 22788 22791 22043 0 -1 4194304 240 12895 0 0 0 0 6 2 20 0 1 0 33009411 4292608 736 18446744073709551615 93878788911104 93878789805637 140736363228352 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93878790044688 93878790092432 93878801424384 140736363235605 140736363235806 140736363235806 140736363241408 0
/proc/22791/statm: 1048 736 672 219 0 110 0
[pid=22794] ppid=22791 vsize=1130360 memory=924560 CPUtime=3273.42 cores=4,6
/proc/22794/stat : 22794 (roundingsat) R 22791 22791 22043 0 -1 4194304 126443 0 0 0 324217 3125 0 0 20 0 1 0 33009422 1157488640 231140 18446744073709551615 4227072 8923433 140735386168848 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26189824 140735386175732 140735386176040 140735386176040 140735386181610 0
/proc/22794/statm: 282590 231140 2368 1147 0 270017 0
Current children cumulated CPU time: 3273.5 s
Current children cumulated vsize: 1134552 KiB
Current children cumulated memory: 927504 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/272 23114
/proc/meminfo: memFree=119324200/131250000 swapFree=33010684/33010684
[pid=22791] ppid=22788 vsize=4192 memory=2944 CPUtime=0.08 cores=4,6
/proc/22791/stat : 22791 (run-dec-break-l) S 22788 22791 22043 0 -1 4194304 240 12895 0 0 0 0 6 2 20 0 1 0 33009411 4292608 736 18446744073709551615 93878788911104 93878789805637 140736363228352 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93878790044688 93878790092432 93878801424384 140736363235605 140736363235806 140736363235806 140736363241408 0
/proc/22791/statm: 1048 736 672 219 0 110 0
[pid=22794] ppid=22791 vsize=1130360 memory=924688 CPUtime=3333.16 cores=4,6
/proc/22794/stat : 22794 (roundingsat) R 22791 22791 22043 0 -1 4194304 126462 0 0 0 330146 3170 0 0 20 0 1 0 33009422 1157488640 231172 18446744073709551615 4227072 8923433 140735386168848 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26189824 140735386175732 140735386176040 140735386176040 140735386181610 0
/proc/22794/statm: 282590 231172 2368 1147 0 270017 0
Current children cumulated CPU time: 3333.24 s
Current children cumulated vsize: 1134552 KiB
Current children cumulated memory: 927632 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/273 23117
/proc/meminfo: memFree=118839576/131250000 swapFree=33010684/33010684
[pid=22791] ppid=22788 vsize=4192 memory=2944 CPUtime=0.08 cores=4,6
/proc/22791/stat : 22791 (run-dec-break-l) S 22788 22791 22043 0 -1 4194304 240 12895 0 0 0 0 6 2 20 0 1 0 33009411 4292608 736 18446744073709551615 93878788911104 93878789805637 140736363228352 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93878790044688 93878790092432 93878801424384 140736363235605 140736363235806 140736363235806 140736363241408 0
/proc/22791/statm: 1048 736 672 219 0 110 0
[pid=22794] ppid=22791 vsize=1130360 memory=927760 CPUtime=3392.95 cores=4,6
/proc/22794/stat : 22794 (roundingsat) R 22791 22791 22043 0 -1 4194304 126491 0 0 0 336097 3198 0 0 20 0 1 0 33009422 1157488640 231940 18446744073709551615 4227072 8923433 140735386168848 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26189824 140735386175732 140735386176040 140735386176040 140735386181610 0
/proc/22794/statm: 282590 231940 2368 1147 0 270017 0
Current children cumulated CPU time: 3393.03 s
Current children cumulated vsize: 1134552 KiB
Current children cumulated memory: 930704 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/272 23119
/proc/meminfo: memFree=118368296/131250000 swapFree=33010684/33010684
[pid=22791] ppid=22788 vsize=4192 memory=2944 CPUtime=0.08 cores=4,6
/proc/22791/stat : 22791 (run-dec-break-l) S 22788 22791 22043 0 -1 4194304 240 12895 0 0 0 0 6 2 20 0 1 0 33009411 4292608 736 18446744073709551615 93878788911104 93878789805637 140736363228352 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93878790044688 93878790092432 93878801424384 140736363235605 140736363235806 140736363235806 140736363241408 0
/proc/22791/statm: 1048 736 672 219 0 110 0
[pid=22794] ppid=22791 vsize=1141656 memory=949648 CPUtime=3452.71 cores=4,6
/proc/22794/stat : 22794 (roundingsat) R 22791 22791 22043 0 -1 4194304 128779 0 0 0 342044 3227 0 0 20 0 1 0 33009422 1169055744 237412 18446744073709551615 4227072 8923433 140735386168848 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26189824 140735386175732 140735386176040 140735386176040 140735386181610 0
/proc/22794/statm: 285414 237412 2368 1147 0 272841 0
Current children cumulated CPU time: 3452.79 s
Current children cumulated vsize: 1145848 KiB
Current children cumulated memory: 952592 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/271 23132
/proc/meminfo: memFree=117987180/131250000 swapFree=33010684/33010684
[pid=22791] ppid=22788 vsize=4192 memory=2944 CPUtime=0.08 cores=4,6
/proc/22791/stat : 22791 (run-dec-break-l) S 22788 22791 22043 0 -1 4194304 240 12895 0 0 0 0 6 2 20 0 1 0 33009411 4292608 736 18446744073709551615 93878788911104 93878789805637 140736363228352 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93878790044688 93878790092432 93878801424384 140736363235605 140736363235806 140736363235806 140736363241408 0
/proc/22791/statm: 1048 736 672 219 0 110 0
[pid=22794] ppid=22791 vsize=1146820 memory=957072 CPUtime=3509.41 cores=4,6
/proc/22794/stat : 22794 (roundingsat) R 22791 22791 22043 0 -1 4194304 129984 0 0 0 347671 3270 0 0 20 0 1 0 33009422 1174343680 239268 18446744073709551615 4227072 8923433 140735386168848 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26189824 140735386175732 140735386176040 140735386176040 140735386181610 0
/proc/22794/statm: 286705 239268 2368 1147 0 274132 0
Current children cumulated CPU time: 3509.49 s
Current children cumulated vsize: 1151012 KiB
Current children cumulated memory: 960016 KiB
[startup+3642.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/272 23135
/proc/meminfo: memFree=117561864/131250000 swapFree=33010684/33010684
[pid=22791] ppid=22788 vsize=4192 memory=2944 CPUtime=0.08 cores=4,6
/proc/22791/stat : 22791 (run-dec-break-l) S 22788 22791 22043 0 -1 4194304 240 12895 0 0 0 0 6 2 20 0 1 0 33009411 4292608 736 18446744073709551615 93878788911104 93878789805637 140736363228352 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93878790044688 93878790092432 93878801424384 140736363235605 140736363235806 140736363235806 140736363241408 0
/proc/22791/statm: 1048 736 672 219 0 110 0
[pid=22794] ppid=22791 vsize=1146820 memory=957072 CPUtime=3569.16 cores=4,6
/proc/22794/stat : 22794 (roundingsat) R 22791 22791 22043 0 -1 4194304 129988 0 0 0 353583 3333 0 0 20 0 1 0 33009422 1174343680 239268 18446744073709551615 4227072 8923433 140735386168848 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26189824 140735386175732 140735386176040 140735386176040 140735386181610 0
/proc/22794/statm: 286705 239268 2368 1147 0 274132 0
Current children cumulated CPU time: 3569.24 s
Current children cumulated vsize: 1151012 KiB
Current children cumulated memory: 960016 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3673.5 s]
/proc/loadavg: 4.14 4.10 4.09 5/272 23136
/proc/meminfo: memFree=117297604/131250000 swapFree=33010684/33010684
[pid=22791] ppid=22788 vsize=4192 memory=2944 CPUtime=0.08 cores=4,6
/proc/22791/stat : 22791 (run-dec-break-l) S 22788 22791 22043 0 -1 4194304 240 12895 0 0 0 0 6 2 20 0 1 0 33009411 4292608 736 18446744073709551615 93878788911104 93878789805637 140736363228352 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93878790044688 93878790092432 93878801424384 140736363235605 140736363235806 140736363235806 140736363241408 0
/proc/22791/statm: 1048 736 672 219 0 110 0
[pid=22794] ppid=22791 vsize=1146820 memory=957072 CPUtime=3600 cores=4,6
/proc/22794/stat : 22794 (roundingsat) R 22791 22791 22043 0 -1 4194304 130044 0 0 0 356640 3360 0 0 20 0 1 0 33009422 1174343680 239268 18446744073709551615 4227072 8923433 140735386168848 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26189824 140735386175732 140735386176040 140735386176040 140735386181610 0
/proc/22794/statm: 286705 239268 2368 1147 0 274132 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1151012 KiB
Current children cumulated memory: 960016 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3673.5 s]
# the end of solver process 22791 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.065683 s, system=0.024533 s
[startup+3673.55 s]
# the end of solver process 22794 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3566.48 s, system=33.6409 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.5 s]
/proc/loadavg: 4.14 4.10 4.09 5/272 23136
/proc/meminfo: memFree=117297604/131250000 swapFree=33010684/33010684
[pid=22791] ppid=22788 vsize=4192 memory=2944 CPUtime=0.08 cores=4,6
/proc/22791/stat : 22791 (run-dec-break-l) S 22788 22791 22043 0 -1 4194304 240 12895 0 0 0 0 6 2 20 0 1 0 33009411 4292608 736 18446744073709551615 93878788911104 93878789805637 140736363228352 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93878790044688 93878790092432 93878801424384 140736363235605 140736363235806 140736363235806 140736363241408 0
/proc/22791/statm: 1048 736 672 219 0 110 0
[pid=22794] ppid=22791 vsize=1146820 memory=957072 CPUtime=3600 cores=4,6
/proc/22794/stat : 22794 (roundingsat) R 22791 22791 22043 0 -1 4194304 130044 0 0 0 356640 3360 0 0 20 0 1 0 33009422 1174343680 239268 18446744073709551615 4227072 8923433 140735386168848 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26189824 140735386175732 140735386176040 140735386176040 140735386181610 0
/proc/22794/statm: 286705 239268 2368 1147 0 274132 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1151012 KiB
Current children cumulated memory: 960016 KiB
Child status: 2
Real time (s): 3673.55
CPU time (s): 3600.12
CPU user time (s): 3566.48
CPU system time (s): 33.6409
CPU usage (%): 98.0012
Max. virtual memory (cumulated for all children) (KiB): 1151012
Max. memory (cumulated for all children) (KiB): 960016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3566.48
system time used= 33.6409
maximum resident set size= 957456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 143200
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11976808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 852
involuntary context switches= 6064
# summary of solver processes directly reported to runsolver:
# pid: 22791,22794
# total CPU time (s): 3600.12
# total CPU user time (s): 3566.48
# total CPU system time (s): 33.6409
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.81969 second user time and 17.595 second system time
The end
Begin job on nodeC026 at 2025-06-29 07:01:48
IDJOB=4506981
IDBENCH=158311
IDSOLVER=3358
FILE ID=nodeC026/4506981-1751173308
RUNJOBID= nodeC026-1751168686-22054
SLURM_JOB_ID= 9587513
Free space on /tmp= 433028 MiB
SOLVER NAME= roundingsat+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K159.opb
COMMAND LINE= run-dec-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506981-1751173308/watcher-4506981-1751173308 -o /tmp/evaluation-result-4506981-1751173308/solver-4506981-1751173308 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751168686-22054 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4506981-1751173308.opb PROOFDIR/proof-4506981-1751173308
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 27d58ce279c297ab3aeba38d0412d1d9
RANDOM SEED=1193879740
nodeC026 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.756
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.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.788
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.59
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 : 3589.167
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.59
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 : 3600.701
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.59
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.750
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.59
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.828
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.59
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 : 3598.066
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.59
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 : 3620.701
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.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 123980504 kB
MemAvailable: 128293464 kB
Buffers: 3280 kB
Cached: 5118324 kB
SwapCached: 0 kB
Active: 1787496 kB
Inactive: 4899152 kB
Active(anon): 1583156 kB
Inactive(anon): 0 kB
Active(file): 204340 kB
Inactive(file): 4899152 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 93100 kB
Writeback: 0 kB
AnonPages: 1563932 kB
Mapped: 116432 kB
Shmem: 18080 kB
KReclaimable: 97412 kB
Slab: 185848 kB
SReclaimable: 97412 kB
SUnreclaim: 88436 kB
KernelStack: 4448 kB
PageTables: 6348 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 2112360 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150712 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 917504 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: 187092 kB
DirectMap2M: 9021440 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433024 MiB
End job on nodeC026 at 2025-06-29 08:03:01