0.00/0.02 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02 c │ pbsuma -- a PB interface for satsuma │
0.00/0.02 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.02 c │ (c) 2025 Markus Anders │
0.00/0.02 c └────────────────────────────────────────────────────────────────┘
0.00/0.02 c parse 'HOME/instance-4506980-1751172706.opb'
0.00/0.04 c read 1.30MB (17.67ms)
0.00/0.04 c [cnf: #variables 18921 #clauses 19241 #duplicates 0 #arr 123757]
0.00/0.04 c
0.00/0.04 c make graph and approximate orbits
0.00/0.06 c [group: #orbits ~= 2862] (24.73ms)
0.00/0.06 c
0.00/0.06 c detect special group actions
0.00/0.06 c probe for Johnson action (limit=64)
0.00/0.06 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.07 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.07 c (4.30ms)
0.00/0.07 c
0.00/0.07 c detect symmetries on remainder
0.00/0.07 c [graph: #vertices 94925 #edges 361040]
0.00/0.07 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.09 c [group: #symmetries 4.80*10^1 #generators 5] (20.84ms)
0.00/0.09 c
0.00/0.09 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.09 c (0.05ms)
0.00/0.09 c
0.00/0.09 c finalize break order and special generators
0.00/0.09 c
0.00/0.09 c add generic predicates (break_depth=10)
0.00/0.09 c added predicates for 5 generators (0.17ms)
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-4506980-1751172706.opb.pre'
0.00/0.09 c wrote 1.32MB (3.14ms)
0.00/0.09 c ------------------------------------------------------------------
0.00/0.09 c 24.73ms 33.95% approx_orbits
0.00/0.09 c 20.84ms 28.61% detect_generic
0.00/0.09 c 17.67ms 24.25% parse
0.00/0.09 c 4.30ms 5.90% detect_special
0.00/0.09 c 3.14ms 4.31% output
0.00/0.09 c 1.25ms 1.72% other
0.00/0.09 c 0.69ms 0.95% finalize_order
0.00/0.09 c 0.17ms 0.23% break_generic
0.00/0.09 c 0.05ms 0.08% optimize_gens
0.00/0.09 c ───────────────────────────────────────────────
0.00/0.09 c 72.86ms 100% total
0.00/0.09 c ------------------------------------------------------------------
0.07/0.12 c RoundingSat 2
0.07/0.12 c branch pb25
0.07/0.12 c commit 63f22ad
0.15/0.23 c #variables 18966 #constraints 19379
105.88/106.28 c #Conflicts: 1000 | #Constraints: 20378
105.88/106.28 c #Conflicts: 2000 | #Constraints: 21378
105.88/106.28 c INPROCESSING
105.88/106.28 c GARBAGE COLLECT
105.88/106.28 c #Conflicts: 3000 | #Constraints: 20612
105.88/106.28 c #Conflicts: 4000 | #Constraints: 21612
105.88/106.28 c INPROCESSING
105.88/106.28 c GARBAGE COLLECT
105.88/106.28 c #Conflicts: 5000 | #Constraints: 21130
105.88/106.28 c #Conflicts: 6000 | #Constraints: 22130
105.88/106.28 c INPROCESSING
105.88/106.28 c GARBAGE COLLECT
105.88/106.28 c #Conflicts: 7000 | #Constraints: 21200
105.88/106.28 c #Conflicts: 8000 | #Constraints: 22200
105.88/106.28 c #Conflicts: 9000 | #Constraints: 23200
105.88/106.28 c INPROCESSING
105.88/106.28 c GARBAGE COLLECT
105.88/106.28 c #Conflicts: 10000 | #Constraints: 21968
105.88/106.28 c #Conflicts: 11000 | #Constraints: 22968
105.88/106.28 c #Conflicts: 12000 | #Constraints: 23968
105.88/106.28 c #Conflicts: 13000 | #Constraints: 24968
105.88/106.28 c #Conflicts: 14000 | #Constraints: 25968
105.88/106.28 c #Conflicts: 15000 | #Constraints: 26968
105.88/106.28 c #Conflicts: 16000 | #Constraints: 27968
105.88/106.28 c INPROCESSING
105.88/106.28 c GARBAGE COLLECT
105.88/106.28 c #Conflicts: 17000 | #Constraints: 24311
105.88/106.28 c #Conflicts: 18000 | #Constraints: 25311
105.88/106.28 c #Conflicts: 19000 | #Constraints: 26311
105.88/106.28 c #Conflicts: 20000 | #Constraints: 27311
105.88/106.28 c INPROCESSING
105.88/106.28 c GARBAGE COLLECT
105.88/106.28 c #Conflicts: 21000 | #Constraints: 24088
105.88/106.28 c #Conflicts: 22000 | #Constraints: 25088
105.88/106.28 c #Conflicts: 23000 | #Constraints: 26088
105.88/106.28 c #Conflicts: 24000 | #Constraints: 27088
105.88/106.28 c #Conflicts: 25000 | #Constraints: 28088
105.88/106.28 c #Conflicts: 26000 | #Constraints: 29088
105.88/106.28 c #Conflicts: 27000 | #Constraints: 30088
105.88/106.28 c #Conflicts: 28000 | #Constraints: 31088
105.88/106.28 c #Conflicts: 29000 | #Constraints: 32088
105.88/106.28 c #Conflicts: 30000 | #Constraints: 33088
105.88/106.28 c INPROCESSING
105.88/106.28 c GARBAGE COLLECT
105.88/106.28 c #Conflicts: 31000 | #Constraints: 26857
105.88/106.28 c #Conflicts: 32000 | #Constraints: 27857
105.88/106.28 c #Conflicts: 33000 | #Constraints: 28857
105.88/106.28 c #Conflicts: 34000 | #Constraints: 29857
105.88/106.28 c #Conflicts: 35000 | #Constraints: 30857
105.88/106.28 c #Conflicts: 36000 | #Constraints: 31857
105.88/106.28 c INPROCESSING
105.88/106.28 c GARBAGE COLLECT
105.88/106.28 c #Conflicts: 37000 | #Constraints: 26674
105.88/106.28 c #Conflicts: 38000 | #Constraints: 27674
105.88/106.28 c #Conflicts: 39000 | #Constraints: 28674
105.88/106.28 c #Conflicts: 40000 | #Constraints: 29674
105.88/106.28 c #Conflicts: 41000 | #Constraints: 30674
105.88/106.28 c #Conflicts: 42000 | #Constraints: 31674
105.88/106.28 c #Conflicts: 43000 | #Constraints: 32674
105.88/106.28 c #Conflicts: 44000 | #Constraints: 33674
105.88/106.28 c #Conflicts: 45000 | #Constraints: 34674
105.88/106.28 c #Conflicts: 46000 | #Constraints: 35674
105.88/106.28 c #Conflicts: 47000 | #Constraints: 36674
105.88/106.28 c #Conflicts: 48000 | #Constraints: 37674
105.88/106.28 c #Conflicts: 49000 | #Constraints: 38674
105.88/106.28 c INPROCESSING
105.88/106.28 c GARBAGE COLLECT
105.88/106.28 c #Conflicts: 50000 | #Constraints: 29954
105.88/106.28 c #Conflicts: 51000 | #Constraints: 30954
105.88/106.28 c #Conflicts: 52000 | #Constraints: 31954
105.88/106.28 c #Conflicts: 53000 | #Constraints: 32954
105.88/106.28 c #Conflicts: 54000 | #Constraints: 33954
105.88/106.28 c #Conflicts: 55000 | #Constraints: 34954
105.88/106.28 c #Conflicts: 56000 | #Constraints: 35954
105.88/106.28 c INPROCESSING
105.88/106.28 c GARBAGE COLLECT
105.88/106.28 c #Conflicts: 57000 | #Constraints: 29045
105.88/106.28 c #Conflicts: 58000 | #Constraints: 30045
105.88/106.28 c #Conflicts: 59000 | #Constraints: 31045
105.88/106.28 c #Conflicts: 60000 | #Constraints: 32045
105.88/106.28 c #Conflicts: 61000 | #Constraints: 33045
105.88/106.28 c #Conflicts: 62000 | #Constraints: 34045
105.88/106.28 c #Conflicts: 63000 | #Constraints: 35045
105.88/106.28 c #Conflicts: 64000 | #Constraints: 36045
105.88/106.28 c #Conflicts: 65000 | #Constraints: 37045
105.88/106.28 c #Conflicts: 66000 | #Constraints: 38045
105.88/106.28 c #Conflicts: 67000 | #Constraints: 39045
105.88/106.28 c #Conflicts: 68000 | #Constraints: 40045
105.88/106.28 c #Conflicts: 69000 | #Constraints: 41045
105.88/106.28 c #Conflicts: 70000 | #Constraints: 42045
105.88/106.28 c #Conflicts: 71000 | #Constraints: 43045
105.88/106.28 c #Conflicts: 72000 | #Constraints: 44045
105.88/106.28 c INPROCESSING
105.88/106.28 c GARBAGE COLLECT
220.22/220.85 c #Conflicts: 73000 | #Constraints: 32641
220.22/220.85 c #Conflicts: 74000 | #Constraints: 33641
220.22/220.85 c #Conflicts: 75000 | #Constraints: 34641
220.22/220.85 c #Conflicts: 76000 | #Constraints: 35641
220.22/220.85 c #Conflicts: 77000 | #Constraints: 36641
220.22/220.85 c #Conflicts: 78000 | #Constraints: 37641
220.22/220.85 c #Conflicts: 79000 | #Constraints: 38641
220.22/220.85 c #Conflicts: 80000 | #Constraints: 39641
220.22/220.85 c INPROCESSING
220.22/220.85 c GARBAGE COLLECT
220.22/220.85 c #Conflicts: 81000 | #Constraints: 31167
220.22/220.85 c #Conflicts: 82000 | #Constraints: 32167
220.22/220.85 c #Conflicts: 83000 | #Constraints: 33167
220.22/220.85 c #Conflicts: 84000 | #Constraints: 34167
220.22/220.85 c #Conflicts: 85000 | #Constraints: 35167
220.22/220.85 c #Conflicts: 86000 | #Constraints: 36167
220.22/220.85 c #Conflicts: 87000 | #Constraints: 37167
220.22/220.85 c #Conflicts: 88000 | #Constraints: 38167
220.22/220.85 c #Conflicts: 89000 | #Constraints: 39167
220.22/220.85 c #Conflicts: 90000 | #Constraints: 40167
220.22/220.85 c #Conflicts: 91000 | #Constraints: 41167
220.22/220.85 c #Conflicts: 92000 | #Constraints: 42167
220.22/220.85 c #Conflicts: 93000 | #Constraints: 43167
220.22/220.85 c #Conflicts: 94000 | #Constraints: 44167
220.22/220.85 c #Conflicts: 95000 | #Constraints: 45167
220.22/220.85 c #Conflicts: 96000 | #Constraints: 46167
220.22/220.85 c #Conflicts: 97000 | #Constraints: 47167
220.22/220.85 c #Conflicts: 98000 | #Constraints: 48167
220.22/220.85 c #Conflicts: 99000 | #Constraints: 49167
220.22/220.85 c #Conflicts: 100000 | #Constraints: 50167
220.22/220.85 c INPROCESSING
220.22/220.85 c GARBAGE COLLECT
220.22/220.85 c #Conflicts: 101000 | #Constraints: 36082
220.22/220.85 c #Conflicts: 102000 | #Constraints: 37082
220.22/220.85 c #Conflicts: 103000 | #Constraints: 38082
220.22/220.85 c #Conflicts: 104000 | #Constraints: 39082
220.22/220.85 c #Conflicts: 105000 | #Constraints: 40082
220.22/220.85 c #Conflicts: 106000 | #Constraints: 41082
220.22/220.85 c #Conflicts: 107000 | #Constraints: 42082
220.22/220.85 c #Conflicts: 108000 | #Constraints: 43082
220.22/220.85 c #Conflicts: 109000 | #Constraints: 44082
220.22/220.85 c INPROCESSING
220.22/220.85 c GARBAGE COLLECT
220.22/220.85 c #Conflicts: 110000 | #Constraints: 33575
220.22/220.85 c #Conflicts: 111000 | #Constraints: 34575
220.22/220.85 c #Conflicts: 112000 | #Constraints: 35575
220.22/220.85 c #Conflicts: 113000 | #Constraints: 36575
220.22/220.85 c #Conflicts: 114000 | #Constraints: 37575
220.22/220.85 c #Conflicts: 115000 | #Constraints: 38575
220.22/220.85 c #Conflicts: 116000 | #Constraints: 39575
220.22/220.85 c #Conflicts: 117000 | #Constraints: 40575
220.22/220.85 c #Conflicts: 118000 | #Constraints: 41575
220.22/220.85 c #Conflicts: 119000 | #Constraints: 42575
220.22/220.85 c #Conflicts: 120000 | #Constraints: 43575
220.22/220.85 c #Conflicts: 121000 | #Constraints: 44575
220.22/220.85 c #Conflicts: 122000 | #Constraints: 45575
220.22/220.85 c #Conflicts: 123000 | #Constraints: 46575
220.22/220.85 c #Conflicts: 124000 | #Constraints: 47575
220.22/220.85 c #Conflicts: 125000 | #Constraints: 48575
220.22/220.85 c #Conflicts: 126000 | #Constraints: 49575
220.22/220.85 c #Conflicts: 127000 | #Constraints: 50575
220.22/220.85 c #Conflicts: 128000 | #Constraints: 51575
220.22/220.85 c #Conflicts: 129000 | #Constraints: 52575
220.22/220.85 c #Conflicts: 130000 | #Constraints: 53575
220.22/220.85 c #Conflicts: 131000 | #Constraints: 54575
220.22/220.85 c #Conflicts: 132000 | #Constraints: 55575
220.22/220.85 c INPROCESSING
220.22/220.85 c GARBAGE COLLECT
220.22/220.85 c #Conflicts: 133000 | #Constraints: 38879
220.22/220.85 c #Conflicts: 134000 | #Constraints: 39879
220.22/220.85 c #Conflicts: 135000 | #Constraints: 40879
220.22/220.85 c #Conflicts: 136000 | #Constraints: 41879
220.22/220.85 c #Conflicts: 137000 | #Constraints: 42879
220.22/220.85 c #Conflicts: 138000 | #Constraints: 43879
220.22/220.85 c #Conflicts: 139000 | #Constraints: 44879
220.22/220.85 c #Conflicts: 140000 | #Constraints: 45879
220.22/220.85 c #Conflicts: 141000 | #Constraints: 46879
220.22/220.85 c #Conflicts: 142000 | #Constraints: 47879
220.22/220.85 c INPROCESSING
220.22/220.85 c GARBAGE COLLECT
220.22/220.85 c #Conflicts: 143000 | #Constraints: 36213
220.22/220.85 c #Conflicts: 144000 | #Constraints: 37213
220.22/220.85 c #Conflicts: 145000 | #Constraints: 38213
220.22/220.85 c #Conflicts: 146000 | #Constraints: 39213
220.22/220.85 c #Conflicts: 147000 | #Constraints: 40213
220.22/220.85 c #Conflicts: 148000 | #Constraints: 41213
392.82/393.84 c #Conflicts: 149000 | #Constraints: 42213
392.82/393.84 c #Conflicts: 150000 | #Constraints: 43213
392.82/393.84 c #Conflicts: 151000 | #Constraints: 44213
392.82/393.84 c #Conflicts: 152000 | #Constraints: 45213
392.82/393.84 c #Conflicts: 153000 | #Constraints: 46213
392.82/393.84 c #Conflicts: 154000 | #Constraints: 47213
392.82/393.84 c #Conflicts: 155000 | #Constraints: 48213
392.82/393.84 c #Conflicts: 156000 | #Constraints: 49213
392.82/393.84 c #Conflicts: 157000 | #Constraints: 50213
392.82/393.84 c #Conflicts: 158000 | #Constraints: 51213
392.82/393.84 c #Conflicts: 159000 | #Constraints: 52213
392.82/393.84 c #Conflicts: 160000 | #Constraints: 53213
392.82/393.84 c #Conflicts: 161000 | #Constraints: 54213
392.82/393.84 c #Conflicts: 162000 | #Constraints: 55213
392.82/393.84 c #Conflicts: 163000 | #Constraints: 56213
392.82/393.84 c #Conflicts: 164000 | #Constraints: 57213
392.82/393.84 c #Conflicts: 165000 | #Constraints: 58213
392.82/393.84 c #Conflicts: 166000 | #Constraints: 59213
392.82/393.84 c #Conflicts: 167000 | #Constraints: 60213
392.82/393.84 c #Conflicts: 168000 | #Constraints: 61213
392.82/393.84 c INPROCESSING
392.82/393.84 c GARBAGE COLLECT
392.82/393.84 c #Conflicts: 169000 | #Constraints: 41839
392.82/393.84 c #Conflicts: 170000 | #Constraints: 42839
392.82/393.84 c #Conflicts: 171000 | #Constraints: 43839
392.82/393.84 c #Conflicts: 172000 | #Constraints: 44839
392.82/393.84 c #Conflicts: 173000 | #Constraints: 45839
392.82/393.84 c #Conflicts: 174000 | #Constraints: 46839
392.82/393.84 c #Conflicts: 175000 | #Constraints: 47839
392.82/393.84 c #Conflicts: 176000 | #Constraints: 48839
392.82/393.84 c #Conflicts: 177000 | #Constraints: 49839
392.82/393.84 c #Conflicts: 178000 | #Constraints: 50839
392.82/393.84 c #Conflicts: 179000 | #Constraints: 51839
392.82/393.84 c #Conflicts: 180000 | #Constraints: 52839
392.82/393.84 c INPROCESSING
392.82/393.84 c GARBAGE COLLECT
392.82/393.84 c #Conflicts: 181000 | #Constraints: 39345
392.82/393.84 c #Conflicts: 182000 | #Constraints: 40345
392.82/393.84 c #Conflicts: 183000 | #Constraints: 41345
392.82/393.84 c #Conflicts: 184000 | #Constraints: 42345
392.82/393.84 c #Conflicts: 185000 | #Constraints: 43345
392.82/393.84 c #Conflicts: 186000 | #Constraints: 44345
392.82/393.84 c #Conflicts: 187000 | #Constraints: 45345
392.82/393.84 c #Conflicts: 188000 | #Constraints: 46345
392.82/393.84 c #Conflicts: 189000 | #Constraints: 47345
392.82/393.84 c #Conflicts: 190000 | #Constraints: 48345
392.82/393.84 c #Conflicts: 191000 | #Constraints: 49345
392.82/393.84 c #Conflicts: 192000 | #Constraints: 50345
392.82/393.84 c #Conflicts: 193000 | #Constraints: 51345
392.82/393.84 c #Conflicts: 194000 | #Constraints: 52345
392.82/393.84 c #Conflicts: 195000 | #Constraints: 53345
392.82/393.84 c #Conflicts: 196000 | #Constraints: 54345
392.82/393.84 c #Conflicts: 197000 | #Constraints: 55345
392.82/393.84 c #Conflicts: 198000 | #Constraints: 56345
392.82/393.84 c #Conflicts: 199000 | #Constraints: 57345
392.82/393.84 c #Conflicts: 200000 | #Constraints: 58345
392.82/393.84 c #Conflicts: 201000 | #Constraints: 59345
392.82/393.84 c #Conflicts: 202000 | #Constraints: 60345
392.82/393.84 c #Conflicts: 203000 | #Constraints: 61345
392.82/393.84 c #Conflicts: 204000 | #Constraints: 62345
392.82/393.84 c #Conflicts: 205000 | #Constraints: 63345
392.82/393.84 c #Conflicts: 206000 | #Constraints: 64345
392.82/393.84 c #Conflicts: 207000 | #Constraints: 65345
392.82/393.84 c #Conflicts: 208000 | #Constraints: 66345
392.82/393.84 c #Conflicts: 209000 | #Constraints: 67345
392.82/393.84 c INPROCESSING
392.82/393.84 c GARBAGE COLLECT
392.82/393.84 c #Conflicts: 210000 | #Constraints: 44953
392.82/393.84 c #Conflicts: 211000 | #Constraints: 45953
392.82/393.84 c #Conflicts: 212000 | #Constraints: 46953
392.82/393.84 c #Conflicts: 213000 | #Constraints: 47953
392.82/393.84 c #Conflicts: 214000 | #Constraints: 48953
392.82/393.84 c #Conflicts: 215000 | #Constraints: 49953
392.82/393.84 c #Conflicts: 216000 | #Constraints: 50953
392.82/393.84 c #Conflicts: 217000 | #Constraints: 51953
392.82/393.84 c #Conflicts: 218000 | #Constraints: 52953
392.82/393.84 c #Conflicts: 219000 | #Constraints: 53953
392.82/393.84 c #Conflicts: 220000 | #Constraints: 54953
392.82/393.84 c #Conflicts: 221000 | #Constraints: 55953
392.82/393.84 c #Conflicts: 222000 | #Constraints: 56953
392.82/393.84 c INPROCESSING
392.82/393.84 c GARBAGE COLLECT
392.82/393.84 c #Conflicts: 223000 | #Constraints: 41542
392.82/393.84 c #Conflicts: 224000 | #Constraints: 42542
548.83/550.28 c #Conflicts: 225000 | #Constraints: 43542
548.83/550.28 c #Conflicts: 226000 | #Constraints: 44542
548.83/550.28 c #Conflicts: 227000 | #Constraints: 45542
548.83/550.28 c #Conflicts: 228000 | #Constraints: 46542
548.83/550.28 c #Conflicts: 229000 | #Constraints: 47542
548.83/550.28 c #Conflicts: 230000 | #Constraints: 48542
548.83/550.28 c #Conflicts: 231000 | #Constraints: 49542
548.83/550.28 c #Conflicts: 232000 | #Constraints: 50542
548.83/550.28 c #Conflicts: 233000 | #Constraints: 51542
548.83/550.28 c #Conflicts: 234000 | #Constraints: 52542
548.83/550.28 c #Conflicts: 235000 | #Constraints: 53542
548.83/550.28 c #Conflicts: 236000 | #Constraints: 54542
548.83/550.28 c #Conflicts: 237000 | #Constraints: 55542
548.83/550.28 c #Conflicts: 238000 | #Constraints: 56542
548.83/550.28 c #Conflicts: 239000 | #Constraints: 57542
548.83/550.28 c #Conflicts: 240000 | #Constraints: 58542
548.83/550.28 c #Conflicts: 241000 | #Constraints: 59542
548.83/550.28 c #Conflicts: 242000 | #Constraints: 60542
548.83/550.28 c #Conflicts: 243000 | #Constraints: 61542
548.83/550.28 c #Conflicts: 244000 | #Constraints: 62542
548.83/550.28 c #Conflicts: 245000 | #Constraints: 63542
548.83/550.28 c #Conflicts: 246000 | #Constraints: 64542
548.83/550.28 c #Conflicts: 247000 | #Constraints: 65542
548.83/550.28 c #Conflicts: 248000 | #Constraints: 66542
548.83/550.28 c #Conflicts: 249000 | #Constraints: 67542
548.83/550.28 c #Conflicts: 250000 | #Constraints: 68542
548.83/550.28 c #Conflicts: 251000 | #Constraints: 69542
548.83/550.28 c #Conflicts: 252000 | #Constraints: 70542
548.83/550.28 c #Conflicts: 253000 | #Constraints: 71542
548.83/550.28 c #Conflicts: 254000 | #Constraints: 72542
548.83/550.28 c INPROCESSING
548.83/550.28 c GARBAGE COLLECT
548.83/550.28 c #Conflicts: 255000 | #Constraints: 47664
548.83/550.28 c #Conflicts: 256000 | #Constraints: 48664
548.83/550.28 c #Conflicts: 257000 | #Constraints: 49664
548.83/550.28 c #Conflicts: 258000 | #Constraints: 50664
548.83/550.28 c #Conflicts: 259000 | #Constraints: 51664
548.83/550.28 c #Conflicts: 260000 | #Constraints: 52664
548.83/550.28 c #Conflicts: 261000 | #Constraints: 53664
548.83/550.28 c #Conflicts: 262000 | #Constraints: 54664
548.83/550.28 c #Conflicts: 263000 | #Constraints: 55664
548.83/550.28 c #Conflicts: 264000 | #Constraints: 56664
548.83/550.28 c #Conflicts: 265000 | #Constraints: 57664
548.83/550.28 c #Conflicts: 266000 | #Constraints: 58664
548.83/550.28 c #Conflicts: 267000 | #Constraints: 59664
548.83/550.28 c #Conflicts: 268000 | #Constraints: 60664
548.83/550.28 c INPROCESSING
548.83/550.28 c GARBAGE COLLECT
548.83/550.28 c #Conflicts: 269000 | #Constraints: 43979
548.83/550.28 c #Conflicts: 270000 | #Constraints: 44979
548.83/550.28 c #Conflicts: 271000 | #Constraints: 45979
548.83/550.28 c #Conflicts: 272000 | #Constraints: 46979
548.83/550.28 c #Conflicts: 273000 | #Constraints: 47979
548.83/550.28 c #Conflicts: 274000 | #Constraints: 48979
548.83/550.28 c #Conflicts: 275000 | #Constraints: 49979
548.83/550.28 c #Conflicts: 276000 | #Constraints: 50979
548.83/550.28 c #Conflicts: 277000 | #Constraints: 51979
548.83/550.28 c #Conflicts: 278000 | #Constraints: 52979
548.83/550.28 c #Conflicts: 279000 | #Constraints: 53979
548.83/550.28 c #Conflicts: 280000 | #Constraints: 54979
548.83/550.28 c #Conflicts: 281000 | #Constraints: 55979
548.83/550.28 c #Conflicts: 282000 | #Constraints: 56979
548.83/550.28 c #Conflicts: 283000 | #Constraints: 57979
548.83/550.28 c #Conflicts: 284000 | #Constraints: 58979
548.83/550.28 c #Conflicts: 285000 | #Constraints: 59979
548.83/550.28 c #Conflicts: 286000 | #Constraints: 60979
548.83/550.28 c #Conflicts: 287000 | #Constraints: 61979
548.83/550.28 c #Conflicts: 288000 | #Constraints: 62979
548.83/550.28 c #Conflicts: 289000 | #Constraints: 63979
548.83/550.28 c #Conflicts: 290000 | #Constraints: 64979
548.83/550.28 c #Conflicts: 291000 | #Constraints: 65979
548.83/550.28 c #Conflicts: 292000 | #Constraints: 66979
548.83/550.28 c #Conflicts: 293000 | #Constraints: 67979
548.83/550.28 c #Conflicts: 294000 | #Constraints: 68979
548.83/550.28 c #Conflicts: 295000 | #Constraints: 69979
548.83/550.28 c #Conflicts: 296000 | #Constraints: 70979
548.83/550.28 c #Conflicts: 297000 | #Constraints: 71979
548.83/550.28 c #Conflicts: 298000 | #Constraints: 72979
548.83/550.28 c #Conflicts: 299000 | #Constraints: 73979
548.83/550.28 c #Conflicts: 300000 | #Constraints: 74979
548.83/550.28 c #Conflicts: 301000 | #Constraints: 75979
548.83/550.28 c #Conflicts: 302000 | #Constraints: 76979
670.05/671.73 c #Conflicts: 303000 | #Constraints: 77979
670.05/671.73 c INPROCESSING
670.05/671.73 c GARBAGE COLLECT
670.05/671.73 c #Conflicts: 304000 | #Constraints: 50030
670.05/671.73 c #Conflicts: 305000 | #Constraints: 51030
670.05/671.73 c #Conflicts: 306000 | #Constraints: 52030
670.05/671.73 c #Conflicts: 307000 | #Constraints: 53030
670.05/671.73 c #Conflicts: 308000 | #Constraints: 54030
670.05/671.73 c #Conflicts: 309000 | #Constraints: 55030
670.05/671.73 c #Conflicts: 310000 | #Constraints: 56030
670.05/671.73 c #Conflicts: 311000 | #Constraints: 57030
670.05/671.73 c #Conflicts: 312000 | #Constraints: 58030
670.05/671.73 c #Conflicts: 313000 | #Constraints: 59030
670.05/671.73 c #Conflicts: 314000 | #Constraints: 60030
670.05/671.73 c #Conflicts: 315000 | #Constraints: 61030
670.05/671.73 c #Conflicts: 316000 | #Constraints: 62030
670.05/671.73 c #Conflicts: 317000 | #Constraints: 63030
670.05/671.73 c #Conflicts: 318000 | #Constraints: 64030
670.05/671.73 c #Conflicts: 319000 | #Constraints: 65030
670.05/671.73 c INPROCESSING
670.05/671.73 c GARBAGE COLLECT
670.05/671.73 c #Conflicts: 320000 | #Constraints: 46933
670.05/671.73 c #Conflicts: 321000 | #Constraints: 47933
670.05/671.73 c #Conflicts: 322000 | #Constraints: 48933
670.05/671.73 c #Conflicts: 323000 | #Constraints: 49933
670.05/671.73 c #Conflicts: 324000 | #Constraints: 50933
670.05/671.73 c #Conflicts: 325000 | #Constraints: 51933
670.05/671.73 c #Conflicts: 326000 | #Constraints: 52933
670.05/671.73 c #Conflicts: 327000 | #Constraints: 53933
670.05/671.73 c #Conflicts: 328000 | #Constraints: 54933
670.05/671.73 c #Conflicts: 329000 | #Constraints: 55933
670.05/671.73 c #Conflicts: 330000 | #Constraints: 56933
670.05/671.73 c #Conflicts: 331000 | #Constraints: 57933
670.05/671.73 c #Conflicts: 332000 | #Constraints: 58933
670.05/671.73 c #Conflicts: 333000 | #Constraints: 59933
670.05/671.73 c #Conflicts: 334000 | #Constraints: 60933
670.05/671.73 c #Conflicts: 335000 | #Constraints: 61933
670.05/671.73 c #Conflicts: 336000 | #Constraints: 62933
670.05/671.73 c #Conflicts: 337000 | #Constraints: 63933
670.05/671.73 c #Conflicts: 338000 | #Constraints: 64933
670.05/671.73 c #Conflicts: 339000 | #Constraints: 65933
670.05/671.73 c #Conflicts: 340000 | #Constraints: 66933
670.05/671.73 c #Conflicts: 341000 | #Constraints: 67933
670.05/671.73 c #Conflicts: 342000 | #Constraints: 68933
670.05/671.73 c #Conflicts: 343000 | #Constraints: 69933
670.05/671.73 c #Conflicts: 344000 | #Constraints: 70933
670.05/671.73 c #Conflicts: 345000 | #Constraints: 71933
670.05/671.73 c #Conflicts: 346000 | #Constraints: 72933
670.05/671.73 c #Conflicts: 347000 | #Constraints: 73933
670.05/671.73 c #Conflicts: 348000 | #Constraints: 74933
670.05/671.73 c #Conflicts: 349000 | #Constraints: 75933
670.05/671.73 c #Conflicts: 350000 | #Constraints: 76933
670.05/671.73 c #Conflicts: 351000 | #Constraints: 77933
670.05/671.73 c #Conflicts: 352000 | #Constraints: 78933
670.05/671.73 c #Conflicts: 353000 | #Constraints: 79933
670.05/671.73 c #Conflicts: 354000 | #Constraints: 80933
670.05/671.73 c #Conflicts: 355000 | #Constraints: 81933
670.05/671.73 c #Conflicts: 356000 | #Constraints: 82933
670.05/671.73 c #Conflicts: 357000 | #Constraints: 83933
670.05/671.73 c INPROCESSING
670.05/671.73 c GARBAGE COLLECT
670.05/671.73 c #Conflicts: 358000 | #Constraints: 53216
670.05/671.73 c #Conflicts: 359000 | #Constraints: 54216
670.05/671.73 c #Conflicts: 360000 | #Constraints: 55216
670.05/671.73 c #Conflicts: 361000 | #Constraints: 56216
670.05/671.73 c #Conflicts: 362000 | #Constraints: 57216
670.05/671.73 c #Conflicts: 363000 | #Constraints: 58216
670.05/671.73 c #Conflicts: 364000 | #Constraints: 59216
670.05/671.73 c #Conflicts: 365000 | #Constraints: 60216
670.05/671.73 c #Conflicts: 366000 | #Constraints: 61216
670.05/671.73 c #Conflicts: 367000 | #Constraints: 62216
670.05/671.73 c #Conflicts: 368000 | #Constraints: 63216
670.05/671.73 c #Conflicts: 369000 | #Constraints: 64216
670.05/671.73 c #Conflicts: 370000 | #Constraints: 65216
670.05/671.73 c #Conflicts: 371000 | #Constraints: 66216
670.05/671.73 c #Conflicts: 372000 | #Constraints: 67216
670.05/671.73 c #Conflicts: 373000 | #Constraints: 68216
670.05/671.73 c #Conflicts: 374000 | #Constraints: 69216
670.05/671.73 c INPROCESSING
670.05/671.73 c GARBAGE COLLECT
670.05/671.73 c #Conflicts: 375000 | #Constraints: 49389
670.05/671.73 c #Conflicts: 376000 | #Constraints: 50389
670.05/671.73 c #Conflicts: 377000 | #Constraints: 51389
670.05/671.73 c #Conflicts: 378000 | #Constraints: 52389
800.16/802.16 c #Conflicts: 379000 | #Constraints: 53389
800.16/802.16 c #Conflicts: 380000 | #Constraints: 54389
800.16/802.16 c #Conflicts: 381000 | #Constraints: 55389
800.16/802.16 c #Conflicts: 382000 | #Constraints: 56389
800.16/802.16 c #Conflicts: 383000 | #Constraints: 57389
800.16/802.16 c #Conflicts: 384000 | #Constraints: 58389
800.16/802.16 c #Conflicts: 385000 | #Constraints: 59389
800.16/802.16 c #Conflicts: 386000 | #Constraints: 60389
800.16/802.16 c #Conflicts: 387000 | #Constraints: 61389
800.16/802.16 c #Conflicts: 388000 | #Constraints: 62389
800.16/802.16 c #Conflicts: 389000 | #Constraints: 63389
800.16/802.16 c #Conflicts: 390000 | #Constraints: 64389
800.16/802.16 c #Conflicts: 391000 | #Constraints: 65389
800.16/802.16 c #Conflicts: 392000 | #Constraints: 66389
800.16/802.16 c #Conflicts: 393000 | #Constraints: 67389
800.16/802.16 c #Conflicts: 394000 | #Constraints: 68389
800.16/802.16 c #Conflicts: 395000 | #Constraints: 69389
800.16/802.16 c #Conflicts: 396000 | #Constraints: 70389
800.16/802.16 c #Conflicts: 397000 | #Constraints: 71389
800.16/802.16 c #Conflicts: 398000 | #Constraints: 72389
800.16/802.16 c #Conflicts: 399000 | #Constraints: 73389
800.16/802.16 c #Conflicts: 400000 | #Constraints: 74389
800.16/802.16 c #Conflicts: 401000 | #Constraints: 75389
800.16/802.16 c #Conflicts: 402000 | #Constraints: 76389
800.16/802.16 c #Conflicts: 403000 | #Constraints: 77389
800.16/802.16 c #Conflicts: 404000 | #Constraints: 78389
800.16/802.16 c #Conflicts: 405000 | #Constraints: 79389
800.16/802.16 c #Conflicts: 406000 | #Constraints: 80389
800.16/802.16 c #Conflicts: 407000 | #Constraints: 81389
800.16/802.16 c #Conflicts: 408000 | #Constraints: 82389
800.16/802.16 c #Conflicts: 409000 | #Constraints: 83389
800.16/802.16 c #Conflicts: 410000 | #Constraints: 84389
800.16/802.16 c #Conflicts: 411000 | #Constraints: 85389
800.16/802.16 c #Conflicts: 412000 | #Constraints: 86389
800.16/802.16 c #Conflicts: 413000 | #Constraints: 87389
800.16/802.16 c #Conflicts: 414000 | #Constraints: 88389
800.16/802.16 c #Conflicts: 415000 | #Constraints: 89389
800.16/802.16 c INPROCESSING
800.16/802.16 c GARBAGE COLLECT
800.16/802.16 c #Conflicts: 416000 | #Constraints: 55796
800.16/802.16 c #Conflicts: 417000 | #Constraints: 56796
800.16/802.16 c #Conflicts: 418000 | #Constraints: 57796
800.16/802.16 c #Conflicts: 419000 | #Constraints: 58796
800.16/802.16 c #Conflicts: 420000 | #Constraints: 59796
800.16/802.16 c #Conflicts: 421000 | #Constraints: 60796
800.16/802.16 c #Conflicts: 422000 | #Constraints: 61796
800.16/802.16 c #Conflicts: 423000 | #Constraints: 62796
800.16/802.16 c #Conflicts: 424000 | #Constraints: 63796
800.16/802.16 c #Conflicts: 425000 | #Constraints: 64796
800.16/802.16 c #Conflicts: 426000 | #Constraints: 65796
800.16/802.16 c #Conflicts: 427000 | #Constraints: 66796
800.16/802.16 c #Conflicts: 428000 | #Constraints: 67796
800.16/802.16 c #Conflicts: 429000 | #Constraints: 68796
800.16/802.16 c #Conflicts: 430000 | #Constraints: 69796
800.16/802.16 c #Conflicts: 431000 | #Constraints: 70796
800.16/802.16 c #Conflicts: 432000 | #Constraints: 71796
800.16/802.16 c #Conflicts: 433000 | #Constraints: 72796
800.16/802.16 c #Conflicts: 434000 | #Constraints: 73796
800.16/802.16 c INPROCESSING
800.16/802.16 c GARBAGE COLLECT
800.16/802.16 c #Conflicts: 435000 | #Constraints: 52362
800.16/802.16 c #Conflicts: 436000 | #Constraints: 53362
800.16/802.16 c #Conflicts: 437000 | #Constraints: 54362
800.16/802.16 c #Conflicts: 438000 | #Constraints: 55362
800.16/802.16 c #Conflicts: 439000 | #Constraints: 56362
800.16/802.16 c #Conflicts: 440000 | #Constraints: 57362
800.16/802.16 c #Conflicts: 441000 | #Constraints: 58362
800.16/802.16 c #Conflicts: 442000 | #Constraints: 59362
800.16/802.16 c #Conflicts: 443000 | #Constraints: 60362
800.16/802.16 c #Conflicts: 444000 | #Constraints: 61362
800.16/802.16 c #Conflicts: 445000 | #Constraints: 62362
800.16/802.16 c #Conflicts: 446000 | #Constraints: 63362
800.16/802.16 c #Conflicts: 447000 | #Constraints: 64362
800.16/802.16 c #Conflicts: 448000 | #Constraints: 65362
800.16/802.16 c #Conflicts: 449000 | #Constraints: 66362
800.16/802.16 c #Conflicts: 450000 | #Constraints: 67362
800.16/802.16 c #Conflicts: 451000 | #Constraints: 68362
800.16/802.16 c #Conflicts: 452000 | #Constraints: 69362
800.16/802.16 c #Conflicts: 453000 | #Constraints: 70362
800.16/802.16 c #Conflicts: 454000 | #Constraints: 71362
800.16/802.16 c #Conflicts: 455000 | #Constraints: 72362
976.36/978.76 c #Conflicts: 456000 | #Constraints: 73362
976.36/978.76 c #Conflicts: 457000 | #Constraints: 74362
976.36/978.76 c #Conflicts: 458000 | #Constraints: 75362
976.36/978.76 c #Conflicts: 459000 | #Constraints: 76362
976.36/978.76 c #Conflicts: 460000 | #Constraints: 77362
976.36/978.76 c #Conflicts: 461000 | #Constraints: 78362
976.36/978.76 c #Conflicts: 462000 | #Constraints: 79362
976.36/978.76 c #Conflicts: 463000 | #Constraints: 80362
976.36/978.76 c #Conflicts: 464000 | #Constraints: 81362
976.36/978.76 c #Conflicts: 465000 | #Constraints: 82362
976.36/978.76 c #Conflicts: 466000 | #Constraints: 83362
976.36/978.76 c #Conflicts: 467000 | #Constraints: 84362
976.36/978.76 c #Conflicts: 468000 | #Constraints: 85362
976.36/978.76 c #Conflicts: 469000 | #Constraints: 86362
976.36/978.76 c #Conflicts: 470000 | #Constraints: 87362
976.36/978.76 c #Conflicts: 471000 | #Constraints: 88362
976.36/978.76 c #Conflicts: 472000 | #Constraints: 89362
976.36/978.76 c #Conflicts: 473000 | #Constraints: 90362
976.36/978.76 c #Conflicts: 474000 | #Constraints: 91362
976.36/978.76 c #Conflicts: 475000 | #Constraints: 92362
976.36/978.76 c #Conflicts: 476000 | #Constraints: 93362
976.36/978.76 c #Conflicts: 477000 | #Constraints: 94362
976.36/978.76 c #Conflicts: 478000 | #Constraints: 95362
976.36/978.76 c INPROCESSING
976.36/978.76 c GARBAGE COLLECT
976.36/978.76 c #Conflicts: 479000 | #Constraints: 59044
976.36/978.76 c #Conflicts: 480000 | #Constraints: 60044
976.36/978.76 c #Conflicts: 481000 | #Constraints: 61044
976.36/978.76 c #Conflicts: 482000 | #Constraints: 62044
976.36/978.76 c #Conflicts: 483000 | #Constraints: 63044
976.36/978.76 c #Conflicts: 484000 | #Constraints: 64044
976.36/978.76 c #Conflicts: 485000 | #Constraints: 65044
976.36/978.76 c #Conflicts: 486000 | #Constraints: 66044
976.36/978.76 c #Conflicts: 487000 | #Constraints: 67044
976.36/978.76 c #Conflicts: 488000 | #Constraints: 68044
976.36/978.76 c #Conflicts: 489000 | #Constraints: 69044
976.36/978.76 c #Conflicts: 490000 | #Constraints: 70044
976.36/978.76 c #Conflicts: 491000 | #Constraints: 71044
976.36/978.76 c #Conflicts: 492000 | #Constraints: 72044
976.36/978.76 c #Conflicts: 493000 | #Constraints: 73045
976.36/978.76 c #Conflicts: 494000 | #Constraints: 74045
976.36/978.76 c #Conflicts: 495000 | #Constraints: 75045
976.36/978.76 c #Conflicts: 496000 | #Constraints: 76045
976.36/978.76 c #Conflicts: 497000 | #Constraints: 77045
976.36/978.76 c #Conflicts: 498000 | #Constraints: 78045
976.36/978.76 c INPROCESSING
976.36/978.76 c GARBAGE COLLECT
976.36/978.76 c #Conflicts: 499000 | #Constraints: 54658
976.36/978.76 c #Conflicts: 500000 | #Constraints: 55658
976.36/978.76 c #Conflicts: 501000 | #Constraints: 56658
976.36/978.76 c #Conflicts: 502000 | #Constraints: 57658
976.36/978.76 c #Conflicts: 503000 | #Constraints: 58658
976.36/978.76 c #Conflicts: 504000 | #Constraints: 59658
976.36/978.76 c #Conflicts: 505000 | #Constraints: 60658
976.36/978.76 c #Conflicts: 506000 | #Constraints: 61658
976.36/978.76 c #Conflicts: 507000 | #Constraints: 62658
976.36/978.76 c #Conflicts: 508000 | #Constraints: 63658
976.36/978.76 c #Conflicts: 509000 | #Constraints: 64658
976.36/978.76 c #Conflicts: 510000 | #Constraints: 65658
976.36/978.76 c #Conflicts: 511000 | #Constraints: 66658
976.36/978.76 c #Conflicts: 512000 | #Constraints: 67658
976.36/978.76 c #Conflicts: 513000 | #Constraints: 68658
976.36/978.76 c #Conflicts: 514000 | #Constraints: 69658
976.36/978.76 c #Conflicts: 515000 | #Constraints: 70658
976.36/978.76 c #Conflicts: 516000 | #Constraints: 71658
976.36/978.76 c #Conflicts: 517000 | #Constraints: 72658
976.36/978.76 c #Conflicts: 518000 | #Constraints: 73658
976.36/978.76 c #Conflicts: 519000 | #Constraints: 74658
976.36/978.76 c #Conflicts: 520000 | #Constraints: 75658
976.36/978.76 c #Conflicts: 521000 | #Constraints: 76658
976.36/978.76 c #Conflicts: 522000 | #Constraints: 77658
976.36/978.76 c #Conflicts: 523000 | #Constraints: 78658
976.36/978.76 c #Conflicts: 524000 | #Constraints: 79658
976.36/978.76 c #Conflicts: 525000 | #Constraints: 80658
976.36/978.76 c #Conflicts: 526000 | #Constraints: 81658
976.36/978.76 c #Conflicts: 527000 | #Constraints: 82658
976.36/978.76 c #Conflicts: 528000 | #Constraints: 83658
976.36/978.76 c #Conflicts: 529000 | #Constraints: 84658
976.36/978.76 c #Conflicts: 530000 | #Constraints: 85658
976.36/978.76 c #Conflicts: 531000 | #Constraints: 86658
976.36/978.76 c #Conflicts: 532000 | #Constraints: 87658
976.36/978.76 c #Conflicts: 533000 | #Constraints: 88658
1295.93/1299.05 c #Conflicts: 534000 | #Constraints: 89658
1295.93/1299.05 c #Conflicts: 535000 | #Constraints: 90658
1295.93/1299.05 c #Conflicts: 536000 | #Constraints: 91658
1295.93/1299.05 c #Conflicts: 537000 | #Constraints: 92658
1295.93/1299.05 c #Conflicts: 538000 | #Constraints: 93658
1295.93/1299.05 c #Conflicts: 539000 | #Constraints: 94658
1295.93/1299.05 c #Conflicts: 540000 | #Constraints: 95658
1295.93/1299.05 c #Conflicts: 541000 | #Constraints: 96658
1295.93/1299.05 c #Conflicts: 542000 | #Constraints: 97658
1295.93/1299.05 c #Conflicts: 543000 | #Constraints: 98658
1295.93/1299.05 c #Conflicts: 544000 | #Constraints: 99658
1295.93/1299.05 c #Conflicts: 545000 | #Constraints: 100658
1295.93/1299.05 c INPROCESSING
1295.93/1299.05 c GARBAGE COLLECT
1295.93/1299.05 c #Conflicts: 546000 | #Constraints: 61625
1295.93/1299.05 c #Conflicts: 547000 | #Constraints: 62625
1295.93/1299.05 c #Conflicts: 548000 | #Constraints: 63625
1295.93/1299.05 c #Conflicts: 549000 | #Constraints: 64625
1295.93/1299.05 c #Conflicts: 550000 | #Constraints: 65625
1295.93/1299.05 c #Conflicts: 551000 | #Constraints: 66625
1295.93/1299.05 c #Conflicts: 552000 | #Constraints: 67625
1295.93/1299.05 c #Conflicts: 553000 | #Constraints: 68625
1295.93/1299.05 c #Conflicts: 554000 | #Constraints: 69625
1295.93/1299.05 c #Conflicts: 555000 | #Constraints: 70625
1295.93/1299.05 c #Conflicts: 556000 | #Constraints: 71625
1295.93/1299.05 c #Conflicts: 557000 | #Constraints: 72625
1295.93/1299.05 c #Conflicts: 558000 | #Constraints: 73625
1295.93/1299.05 c #Conflicts: 559000 | #Constraints: 74625
1295.93/1299.05 c #Conflicts: 560000 | #Constraints: 75625
1295.93/1299.05 c #Conflicts: 561000 | #Constraints: 76625
1295.93/1299.05 c #Conflicts: 562000 | #Constraints: 77625
1295.93/1299.05 c #Conflicts: 563000 | #Constraints: 78625
1295.93/1299.05 c #Conflicts: 564000 | #Constraints: 79625
1295.93/1299.05 c #Conflicts: 565000 | #Constraints: 80625
1295.93/1299.05 c #Conflicts: 566000 | #Constraints: 81625
1295.93/1299.05 c INPROCESSING
1295.93/1299.05 c GARBAGE COLLECT
1295.93/1299.05 c #Conflicts: 567000 | #Constraints: 56566
1295.93/1299.05 c #Conflicts: 568000 | #Constraints: 57566
1295.93/1299.05 c #Conflicts: 569000 | #Constraints: 58566
1295.93/1299.05 c #Conflicts: 570000 | #Constraints: 59566
1295.93/1299.05 c #Conflicts: 571000 | #Constraints: 60566
1295.93/1299.05 c #Conflicts: 572000 | #Constraints: 61566
1295.93/1299.05 c #Conflicts: 573000 | #Constraints: 62566
1295.93/1299.05 c #Conflicts: 574000 | #Constraints: 63566
1295.93/1299.05 c #Conflicts: 575000 | #Constraints: 64566
1295.93/1299.05 c #Conflicts: 576000 | #Constraints: 65566
1295.93/1299.05 c #Conflicts: 577000 | #Constraints: 66566
1295.93/1299.05 c #Conflicts: 578000 | #Constraints: 67566
1295.93/1299.05 c #Conflicts: 579000 | #Constraints: 68566
1295.93/1299.05 c #Conflicts: 580000 | #Constraints: 69566
1295.93/1299.05 c #Conflicts: 581000 | #Constraints: 70566
1295.93/1299.05 c #Conflicts: 582000 | #Constraints: 71566
1295.93/1299.05 c #Conflicts: 583000 | #Constraints: 72566
1295.93/1299.05 c #Conflicts: 584000 | #Constraints: 73566
1295.93/1299.05 c #Conflicts: 585000 | #Constraints: 74566
1295.93/1299.05 c #Conflicts: 586000 | #Constraints: 75566
1295.93/1299.05 c #Conflicts: 587000 | #Constraints: 76566
1295.93/1299.05 c #Conflicts: 588000 | #Constraints: 77566
1295.93/1299.05 c #Conflicts: 589000 | #Constraints: 78566
1295.93/1299.05 c #Conflicts: 590000 | #Constraints: 79566
1295.93/1299.05 c #Conflicts: 591000 | #Constraints: 80566
1295.93/1299.05 c #Conflicts: 592000 | #Constraints: 81566
1295.93/1299.05 c #Conflicts: 593000 | #Constraints: 82566
1295.93/1299.05 c #Conflicts: 594000 | #Constraints: 83566
1295.93/1299.05 c #Conflicts: 595000 | #Constraints: 84566
1295.93/1299.05 c #Conflicts: 596000 | #Constraints: 85566
1295.93/1299.05 c #Conflicts: 597000 | #Constraints: 86566
1295.93/1299.05 c #Conflicts: 598000 | #Constraints: 87566
1295.93/1299.05 c #Conflicts: 599000 | #Constraints: 88566
1295.93/1299.05 c #Conflicts: 600000 | #Constraints: 89566
1295.93/1299.05 c #Conflicts: 601000 | #Constraints: 90566
1295.93/1299.05 c #Conflicts: 602000 | #Constraints: 91566
1295.93/1299.05 c #Conflicts: 603000 | #Constraints: 92566
1295.93/1299.05 c #Conflicts: 604000 | #Constraints: 93566
1295.93/1299.05 c #Conflicts: 605000 | #Constraints: 94566
1295.93/1299.05 c #Conflicts: 606000 | #Constraints: 95566
1295.93/1299.05 c #Conflicts: 607000 | #Constraints: 96566
1295.93/1299.05 c #Conflicts: 608000 | #Constraints: 97566
1295.93/1299.05 c #Conflicts: 609000 | #Constraints: 98566
1295.93/1299.05 c #Conflicts: 610000 | #Constraints: 99566
1467.23/1470.77 c #Conflicts: 611000 | #Constraints: 100566
1467.23/1470.77 c #Conflicts: 612000 | #Constraints: 101566
1467.23/1470.77 c #Conflicts: 613000 | #Constraints: 102566
1467.23/1470.77 c #Conflicts: 614000 | #Constraints: 103566
1467.23/1470.77 c #Conflicts: 615000 | #Constraints: 104566
1467.23/1470.77 c #Conflicts: 616000 | #Constraints: 105566
1467.23/1470.77 c #Conflicts: 617000 | #Constraints: 106566
1467.23/1470.77 c INPROCESSING
1467.23/1470.77 c GARBAGE COLLECT
1467.23/1470.77 c #Conflicts: 618000 | #Constraints: 64989
1467.23/1470.77 c #Conflicts: 619000 | #Constraints: 65989
1467.23/1470.77 c #Conflicts: 620000 | #Constraints: 66989
1467.23/1470.77 c #Conflicts: 621000 | #Constraints: 67989
1467.23/1470.77 c #Conflicts: 622000 | #Constraints: 68989
1467.23/1470.77 c #Conflicts: 623000 | #Constraints: 69989
1467.23/1470.77 c #Conflicts: 624000 | #Constraints: 70989
1467.23/1470.77 c #Conflicts: 625000 | #Constraints: 71989
1467.23/1470.77 c #Conflicts: 626000 | #Constraints: 72989
1467.23/1470.77 c #Conflicts: 627000 | #Constraints: 73989
1467.23/1470.77 c #Conflicts: 628000 | #Constraints: 74989
1467.23/1470.77 c #Conflicts: 629000 | #Constraints: 75989
1467.23/1470.77 c #Conflicts: 630000 | #Constraints: 76989
1467.23/1470.77 c #Conflicts: 631000 | #Constraints: 77989
1467.23/1470.77 c #Conflicts: 632000 | #Constraints: 78989
1467.23/1470.77 c #Conflicts: 633000 | #Constraints: 79989
1467.23/1470.77 c #Conflicts: 634000 | #Constraints: 80989
1467.23/1470.77 c #Conflicts: 635000 | #Constraints: 81989
1467.23/1470.77 c #Conflicts: 636000 | #Constraints: 82989
1467.23/1470.77 c #Conflicts: 637000 | #Constraints: 83989
1467.23/1470.77 c #Conflicts: 638000 | #Constraints: 84989
1467.23/1470.77 c #Conflicts: 639000 | #Constraints: 85989
1467.23/1470.77 c INPROCESSING
1467.23/1470.77 c GARBAGE COLLECT
1467.23/1470.77 c #Conflicts: 640000 | #Constraints: 59210
1467.23/1470.77 c #Conflicts: 641000 | #Constraints: 60210
1467.23/1470.77 c #Conflicts: 642000 | #Constraints: 61210
1467.23/1470.77 c #Conflicts: 643000 | #Constraints: 62210
1467.23/1470.77 c #Conflicts: 644000 | #Constraints: 63210
1467.23/1470.77 c #Conflicts: 645000 | #Constraints: 64210
1467.23/1470.77 c #Conflicts: 646000 | #Constraints: 65210
1467.23/1470.77 c #Conflicts: 647000 | #Constraints: 66210
1467.23/1470.77 c #Conflicts: 648000 | #Constraints: 67210
1467.23/1470.77 c #Conflicts: 649000 | #Constraints: 68210
1467.23/1470.77 c #Conflicts: 650000 | #Constraints: 69210
1467.23/1470.77 c #Conflicts: 651000 | #Constraints: 70210
1467.23/1470.77 c #Conflicts: 652000 | #Constraints: 71210
1467.23/1470.77 c #Conflicts: 653000 | #Constraints: 72210
1467.23/1470.77 c #Conflicts: 654000 | #Constraints: 73210
1467.23/1470.77 c #Conflicts: 655000 | #Constraints: 74210
1467.23/1470.77 c #Conflicts: 656000 | #Constraints: 75210
1467.23/1470.77 c #Conflicts: 657000 | #Constraints: 76210
1467.23/1470.77 c #Conflicts: 658000 | #Constraints: 77210
1467.23/1470.77 c #Conflicts: 659000 | #Constraints: 78210
1467.23/1470.77 c #Conflicts: 660000 | #Constraints: 79210
1467.23/1470.77 c #Conflicts: 661000 | #Constraints: 80210
1467.23/1470.77 c #Conflicts: 662000 | #Constraints: 81210
1467.23/1470.77 c #Conflicts: 663000 | #Constraints: 82210
1467.23/1470.77 c #Conflicts: 664000 | #Constraints: 83210
1467.23/1470.77 c #Conflicts: 665000 | #Constraints: 84210
1467.23/1470.77 c #Conflicts: 666000 | #Constraints: 85210
1467.23/1470.77 c #Conflicts: 667000 | #Constraints: 86210
1467.23/1470.77 c #Conflicts: 668000 | #Constraints: 87210
1467.23/1470.77 c #Conflicts: 669000 | #Constraints: 88210
1467.23/1470.77 c #Conflicts: 670000 | #Constraints: 89210
1467.23/1470.77 c #Conflicts: 671000 | #Constraints: 90210
1467.23/1470.77 c #Conflicts: 672000 | #Constraints: 91210
1467.23/1470.77 c #Conflicts: 673000 | #Constraints: 92210
1467.23/1470.77 c #Conflicts: 674000 | #Constraints: 93210
1467.23/1470.77 c #Conflicts: 675000 | #Constraints: 94210
1467.23/1470.77 c #Conflicts: 676000 | #Constraints: 95210
1467.23/1470.77 c #Conflicts: 677000 | #Constraints: 96210
1467.23/1470.77 c #Conflicts: 678000 | #Constraints: 97210
1467.23/1470.77 c #Conflicts: 679000 | #Constraints: 98210
1467.23/1470.77 c #Conflicts: 680000 | #Constraints: 99210
1467.23/1470.77 c #Conflicts: 681000 | #Constraints: 100210
1467.23/1470.77 c #Conflicts: 682000 | #Constraints: 101210
1467.23/1470.77 c #Conflicts: 683000 | #Constraints: 102210
1467.23/1470.77 c #Conflicts: 684000 | #Constraints: 103210
1467.23/1470.77 c #Conflicts: 685000 | #Constraints: 104210
1467.23/1470.77 c #Conflicts: 686000 | #Constraints: 105210
1467.23/1470.77 c #Conflicts: 687000 | #Constraints: 106210
1467.23/1470.77 c #Conflicts: 688000 | #Constraints: 107210
1633.05/1636.96 c #Conflicts: 689000 | #Constraints: 108210
1633.05/1636.96 c #Conflicts: 690000 | #Constraints: 109210
1633.05/1636.96 c #Conflicts: 691000 | #Constraints: 110210
1633.05/1636.96 c #Conflicts: 692000 | #Constraints: 111210
1633.05/1636.96 c #Conflicts: 693000 | #Constraints: 112210
1633.05/1636.96 c INPROCESSING
1633.05/1636.96 c GARBAGE COLLECT
1633.05/1636.96 c #Conflicts: 694000 | #Constraints: 67922
1633.05/1636.96 c #Conflicts: 695000 | #Constraints: 68922
1633.05/1636.96 c #Conflicts: 696000 | #Constraints: 69922
1633.05/1636.96 c #Conflicts: 697000 | #Constraints: 70922
1633.05/1636.96 c #Conflicts: 698000 | #Constraints: 71922
1633.05/1636.96 c #Conflicts: 699000 | #Constraints: 72922
1633.05/1636.96 c #Conflicts: 700000 | #Constraints: 73922
1633.05/1636.96 c #Conflicts: 701000 | #Constraints: 74922
1633.05/1636.96 c #Conflicts: 702000 | #Constraints: 75922
1633.05/1636.96 c #Conflicts: 703000 | #Constraints: 76922
1633.05/1636.96 c #Conflicts: 704000 | #Constraints: 77922
1633.05/1636.96 c #Conflicts: 705000 | #Constraints: 78922
1633.05/1636.96 c #Conflicts: 706000 | #Constraints: 79922
1633.05/1636.96 c #Conflicts: 707000 | #Constraints: 80922
1633.05/1636.96 c #Conflicts: 708000 | #Constraints: 81922
1633.05/1636.96 c #Conflicts: 709000 | #Constraints: 82922
1633.05/1636.96 c #Conflicts: 710000 | #Constraints: 83922
1633.05/1636.96 c #Conflicts: 711000 | #Constraints: 84922
1633.05/1636.96 c #Conflicts: 712000 | #Constraints: 85922
1633.05/1636.96 c #Conflicts: 713000 | #Constraints: 86922
1633.05/1636.96 c #Conflicts: 714000 | #Constraints: 87922
1633.05/1636.96 c #Conflicts: 715000 | #Constraints: 88922
1633.05/1636.96 c #Conflicts: 716000 | #Constraints: 89922
1633.05/1636.96 c INPROCESSING
1633.05/1636.96 c GARBAGE COLLECT
1633.05/1636.96 c #Conflicts: 717000 | #Constraints: 61650
1633.05/1636.96 c #Conflicts: 718000 | #Constraints: 62650
1633.05/1636.96 c #Conflicts: 719000 | #Constraints: 63650
1633.05/1636.96 c #Conflicts: 720000 | #Constraints: 64650
1633.05/1636.96 c #Conflicts: 721000 | #Constraints: 65650
1633.05/1636.96 c #Conflicts: 722000 | #Constraints: 66650
1633.05/1636.96 c #Conflicts: 723000 | #Constraints: 67650
1633.05/1636.96 c #Conflicts: 724000 | #Constraints: 68650
1633.05/1636.96 c #Conflicts: 725000 | #Constraints: 69650
1633.05/1636.96 c #Conflicts: 726000 | #Constraints: 70650
1633.05/1636.96 c #Conflicts: 727000 | #Constraints: 71650
1633.05/1636.96 c #Conflicts: 728000 | #Constraints: 72650
1633.05/1636.96 c #Conflicts: 729000 | #Constraints: 73650
1633.05/1636.96 c #Conflicts: 730000 | #Constraints: 74650
1633.05/1636.96 c #Conflicts: 731000 | #Constraints: 75650
1633.05/1636.96 c #Conflicts: 732000 | #Constraints: 76650
1633.05/1636.96 c #Conflicts: 733000 | #Constraints: 77650
1633.05/1636.96 c #Conflicts: 734000 | #Constraints: 78650
1633.05/1636.96 c #Conflicts: 735000 | #Constraints: 79650
1633.05/1636.96 c #Conflicts: 736000 | #Constraints: 80650
1633.05/1636.96 c #Conflicts: 737000 | #Constraints: 81650
1633.05/1636.96 c #Conflicts: 738000 | #Constraints: 82650
1633.05/1636.96 c #Conflicts: 739000 | #Constraints: 83650
1633.05/1636.96 c #Conflicts: 740000 | #Constraints: 84650
1633.05/1636.96 c #Conflicts: 741000 | #Constraints: 85650
1633.05/1636.96 c #Conflicts: 742000 | #Constraints: 86650
1633.05/1636.96 c #Conflicts: 743000 | #Constraints: 87650
1633.05/1636.96 c #Conflicts: 744000 | #Constraints: 88650
1633.05/1636.96 c #Conflicts: 745000 | #Constraints: 89650
1633.05/1636.96 c #Conflicts: 746000 | #Constraints: 90650
1633.05/1636.96 c #Conflicts: 747000 | #Constraints: 91650
1633.05/1636.96 c #Conflicts: 748000 | #Constraints: 92650
1633.05/1636.96 c #Conflicts: 749000 | #Constraints: 93650
1633.05/1636.96 c #Conflicts: 750000 | #Constraints: 94650
1633.05/1636.96 c #Conflicts: 751000 | #Constraints: 95650
1633.05/1636.96 c #Conflicts: 752000 | #Constraints: 96650
1633.05/1636.96 c #Conflicts: 753000 | #Constraints: 97650
1633.05/1636.96 c #Conflicts: 754000 | #Constraints: 98650
1633.05/1636.96 c #Conflicts: 755000 | #Constraints: 99650
1633.05/1636.96 c #Conflicts: 756000 | #Constraints: 100650
1633.05/1636.96 c #Conflicts: 757000 | #Constraints: 101650
1633.05/1636.96 c #Conflicts: 758000 | #Constraints: 102650
1633.05/1636.96 c #Conflicts: 759000 | #Constraints: 103650
1633.05/1636.96 c #Conflicts: 760000 | #Constraints: 104650
1633.05/1636.96 c #Conflicts: 761000 | #Constraints: 105650
1633.05/1636.96 c #Conflicts: 762000 | #Constraints: 106650
1633.05/1636.96 c #Conflicts: 763000 | #Constraints: 107650
1633.05/1636.96 c #Conflicts: 764000 | #Constraints: 108650
1633.05/1636.96 c #Conflicts: 765000 | #Constraints: 109650
1823.40/1827.72 c #Conflicts: 766000 | #Constraints: 110650
1823.40/1827.72 c #Conflicts: 767000 | #Constraints: 111650
1823.40/1827.72 c #Conflicts: 768000 | #Constraints: 112650
1823.40/1827.72 c #Conflicts: 769000 | #Constraints: 113650
1823.40/1827.72 c #Conflicts: 770000 | #Constraints: 114650
1823.40/1827.72 c #Conflicts: 771000 | #Constraints: 115650
1823.40/1827.72 c #Conflicts: 772000 | #Constraints: 116650
1823.40/1827.72 c #Conflicts: 773000 | #Constraints: 117650
1823.40/1827.72 c INPROCESSING
1823.40/1827.72 c GARBAGE COLLECT
1823.40/1827.72 c #Conflicts: 774000 | #Constraints: 70508
1823.40/1827.72 c #Conflicts: 775000 | #Constraints: 71508
1823.40/1827.72 c #Conflicts: 776000 | #Constraints: 72508
1823.40/1827.72 c #Conflicts: 777000 | #Constraints: 73508
1823.40/1827.72 c #Conflicts: 778000 | #Constraints: 74508
1823.40/1827.72 c #Conflicts: 779000 | #Constraints: 75508
1823.40/1827.72 c #Conflicts: 780000 | #Constraints: 76508
1823.40/1827.72 c #Conflicts: 781000 | #Constraints: 77508
1823.40/1827.72 c #Conflicts: 782000 | #Constraints: 78508
1823.40/1827.72 c #Conflicts: 783000 | #Constraints: 79508
1823.40/1827.72 c #Conflicts: 784000 | #Constraints: 80508
1823.40/1827.72 c #Conflicts: 785000 | #Constraints: 81508
1823.40/1827.72 c #Conflicts: 786000 | #Constraints: 82508
1823.40/1827.72 c #Conflicts: 787000 | #Constraints: 83508
1823.40/1827.72 c #Conflicts: 788000 | #Constraints: 84508
1823.40/1827.72 c #Conflicts: 789000 | #Constraints: 85508
1823.40/1827.72 c #Conflicts: 790000 | #Constraints: 86508
1823.40/1827.72 c #Conflicts: 791000 | #Constraints: 87508
1823.40/1827.72 c #Conflicts: 792000 | #Constraints: 88508
1823.40/1827.72 c #Conflicts: 793000 | #Constraints: 89508
1823.40/1827.72 c #Conflicts: 794000 | #Constraints: 90508
1823.40/1827.72 c #Conflicts: 795000 | #Constraints: 91508
1823.40/1827.72 c #Conflicts: 796000 | #Constraints: 92508
1823.40/1827.72 c #Conflicts: 797000 | #Constraints: 93508
1823.40/1827.72 c #Conflicts: 798000 | #Constraints: 94508
1823.40/1827.72 c INPROCESSING
1823.40/1827.72 c GARBAGE COLLECT
1823.40/1827.72 c #Conflicts: 799000 | #Constraints: 64378
1823.40/1827.72 c #Conflicts: 800000 | #Constraints: 65378
1823.40/1827.72 c #Conflicts: 801000 | #Constraints: 66378
1823.40/1827.72 c #Conflicts: 802000 | #Constraints: 67378
1823.40/1827.72 c #Conflicts: 803000 | #Constraints: 68378
1823.40/1827.72 c #Conflicts: 804000 | #Constraints: 69378
1823.40/1827.72 c #Conflicts: 805000 | #Constraints: 70378
1823.40/1827.72 c #Conflicts: 806000 | #Constraints: 71378
1823.40/1827.72 c #Conflicts: 807000 | #Constraints: 72378
1823.40/1827.72 c #Conflicts: 808000 | #Constraints: 73378
1823.40/1827.72 c #Conflicts: 809000 | #Constraints: 74378
1823.40/1827.72 c #Conflicts: 810000 | #Constraints: 75378
1823.40/1827.72 c #Conflicts: 811000 | #Constraints: 76378
1823.40/1827.72 c #Conflicts: 812000 | #Constraints: 77378
1823.40/1827.72 c #Conflicts: 813000 | #Constraints: 78378
1823.40/1827.72 c #Conflicts: 814000 | #Constraints: 79378
1823.40/1827.72 c #Conflicts: 815000 | #Constraints: 80378
1823.40/1827.72 c #Conflicts: 816000 | #Constraints: 81378
1823.40/1827.72 c #Conflicts: 817000 | #Constraints: 82378
1823.40/1827.72 c #Conflicts: 818000 | #Constraints: 83378
1823.40/1827.72 c #Conflicts: 819000 | #Constraints: 84378
1823.40/1827.72 c #Conflicts: 820000 | #Constraints: 85378
1823.40/1827.72 c #Conflicts: 821000 | #Constraints: 86378
1823.40/1827.72 c #Conflicts: 822000 | #Constraints: 87378
1823.40/1827.72 c #Conflicts: 823000 | #Constraints: 88378
1823.40/1827.72 c #Conflicts: 824000 | #Constraints: 89378
1823.40/1827.72 c #Conflicts: 825000 | #Constraints: 90378
1823.40/1827.72 c #Conflicts: 826000 | #Constraints: 91378
1823.40/1827.72 c #Conflicts: 827000 | #Constraints: 92378
1823.40/1827.72 c #Conflicts: 828000 | #Constraints: 93378
1823.40/1827.72 c #Conflicts: 829000 | #Constraints: 94378
1823.40/1827.72 c #Conflicts: 830000 | #Constraints: 95378
1823.40/1827.72 c #Conflicts: 831000 | #Constraints: 96378
1823.40/1827.72 c #Conflicts: 832000 | #Constraints: 97378
1823.40/1827.72 c #Conflicts: 833000 | #Constraints: 98378
1823.40/1827.72 c #Conflicts: 834000 | #Constraints: 99378
1823.40/1827.72 c #Conflicts: 835000 | #Constraints: 100378
1823.40/1827.72 c #Conflicts: 836000 | #Constraints: 101378
1823.40/1827.72 c #Conflicts: 837000 | #Constraints: 102378
1823.40/1827.72 c #Conflicts: 838000 | #Constraints: 103378
1823.40/1827.72 c #Conflicts: 839000 | #Constraints: 104378
1823.40/1827.72 c #Conflicts: 840000 | #Constraints: 105378
1823.40/1827.72 c #Conflicts: 841000 | #Constraints: 106378
1823.40/1827.72 c #Conflicts: 842000 | #Constraints: 107378
1823.40/1827.72 c #Conflicts: 843000 | #Constraints: 108378
1984.33/1989.05 c #Conflicts: 844000 | #Constraints: 109378
1984.33/1989.05 c #Conflicts: 845000 | #Constraints: 110378
1984.33/1989.05 c #Conflicts: 846000 | #Constraints: 111378
1984.33/1989.05 c #Conflicts: 847000 | #Constraints: 112378
1984.33/1989.05 c #Conflicts: 848000 | #Constraints: 113378
1984.33/1989.05 c #Conflicts: 849000 | #Constraints: 114378
1984.33/1989.05 c #Conflicts: 850000 | #Constraints: 115378
1984.33/1989.05 c #Conflicts: 851000 | #Constraints: 116378
1984.33/1989.05 c #Conflicts: 852000 | #Constraints: 117378
1984.33/1989.05 c #Conflicts: 853000 | #Constraints: 118378
1984.33/1989.05 c #Conflicts: 854000 | #Constraints: 119378
1984.33/1989.05 c #Conflicts: 855000 | #Constraints: 120378
1984.33/1989.05 c #Conflicts: 856000 | #Constraints: 121378
1984.33/1989.05 c #Conflicts: 857000 | #Constraints: 122378
1984.33/1989.05 c #Conflicts: 858000 | #Constraints: 123378
1984.33/1989.05 c INPROCESSING
1984.33/1989.05 c GARBAGE COLLECT
1984.33/1989.05 c #Conflicts: 859000 | #Constraints: 73527
1984.33/1989.05 c #Conflicts: 860000 | #Constraints: 74527
1984.33/1989.05 c #Conflicts: 861000 | #Constraints: 75527
1984.33/1989.05 c #Conflicts: 862000 | #Constraints: 76527
1984.33/1989.05 c #Conflicts: 863000 | #Constraints: 77527
1984.33/1989.05 c #Conflicts: 864000 | #Constraints: 78527
1984.33/1989.05 c #Conflicts: 865000 | #Constraints: 79527
1984.33/1989.05 c #Conflicts: 866000 | #Constraints: 80527
1984.33/1989.05 c #Conflicts: 867000 | #Constraints: 81527
1984.33/1989.05 c #Conflicts: 868000 | #Constraints: 82527
1984.33/1989.05 c #Conflicts: 869000 | #Constraints: 83527
1984.33/1989.05 c #Conflicts: 870000 | #Constraints: 84527
1984.33/1989.05 c #Conflicts: 871000 | #Constraints: 85527
1984.33/1989.05 c #Conflicts: 872000 | #Constraints: 86527
1984.33/1989.05 c #Conflicts: 873000 | #Constraints: 87527
1984.33/1989.05 c #Conflicts: 874000 | #Constraints: 88527
1984.33/1989.05 c #Conflicts: 875000 | #Constraints: 89527
1984.33/1989.05 c #Conflicts: 876000 | #Constraints: 90527
1984.33/1989.05 c #Conflicts: 877000 | #Constraints: 91527
1984.33/1989.05 c #Conflicts: 878000 | #Constraints: 92527
1984.33/1989.05 c #Conflicts: 879000 | #Constraints: 93527
1984.33/1989.05 c #Conflicts: 880000 | #Constraints: 94527
1984.33/1989.05 c #Conflicts: 881000 | #Constraints: 95527
1984.33/1989.05 c #Conflicts: 882000 | #Constraints: 96527
1984.33/1989.05 c #Conflicts: 883000 | #Constraints: 97527
1984.33/1989.05 c #Conflicts: 884000 | #Constraints: 98527
1984.33/1989.05 c INPROCESSING
1984.33/1989.05 c GARBAGE COLLECT
1984.33/1989.05 c #Conflicts: 885000 | #Constraints: 66938
1984.33/1989.05 c #Conflicts: 886000 | #Constraints: 67938
1984.33/1989.05 c #Conflicts: 887000 | #Constraints: 68938
1984.33/1989.05 c #Conflicts: 888000 | #Constraints: 69938
1984.33/1989.05 c #Conflicts: 889000 | #Constraints: 70938
1984.33/1989.05 c #Conflicts: 890000 | #Constraints: 71938
1984.33/1989.05 c #Conflicts: 891000 | #Constraints: 72938
1984.33/1989.05 c #Conflicts: 892000 | #Constraints: 73938
1984.33/1989.05 c #Conflicts: 893000 | #Constraints: 74938
1984.33/1989.05 c #Conflicts: 894000 | #Constraints: 75938
1984.33/1989.05 c #Conflicts: 895000 | #Constraints: 76938
1984.33/1989.05 c #Conflicts: 896000 | #Constraints: 77938
1984.33/1989.05 c #Conflicts: 897000 | #Constraints: 78938
1984.33/1989.05 c #Conflicts: 898000 | #Constraints: 79938
1984.33/1989.05 c #Conflicts: 899000 | #Constraints: 80938
1984.33/1989.05 c #Conflicts: 900000 | #Constraints: 81938
1984.33/1989.05 c #Conflicts: 901000 | #Constraints: 82938
1984.33/1989.05 c #Conflicts: 902000 | #Constraints: 83938
1984.33/1989.05 c #Conflicts: 903000 | #Constraints: 84938
1984.33/1989.05 c #Conflicts: 904000 | #Constraints: 85938
1984.33/1989.05 c #Conflicts: 905000 | #Constraints: 86938
1984.33/1989.05 c #Conflicts: 906000 | #Constraints: 87938
1984.33/1989.05 c #Conflicts: 907000 | #Constraints: 88938
1984.33/1989.05 c #Conflicts: 908000 | #Constraints: 89938
1984.33/1989.05 c #Conflicts: 909000 | #Constraints: 90938
1984.33/1989.05 c #Conflicts: 910000 | #Constraints: 91938
1984.33/1989.05 c #Conflicts: 911000 | #Constraints: 92938
1984.33/1989.05 c #Conflicts: 912000 | #Constraints: 93938
1984.33/1989.05 c #Conflicts: 913000 | #Constraints: 94938
1984.33/1989.05 c #Conflicts: 914000 | #Constraints: 95938
1984.33/1989.05 c #Conflicts: 915000 | #Constraints: 96938
1984.33/1989.05 c #Conflicts: 916000 | #Constraints: 97938
1984.33/1989.05 c #Conflicts: 917000 | #Constraints: 98938
1984.33/1989.05 c #Conflicts: 918000 | #Constraints: 99938
1984.33/1989.05 c #Conflicts: 919000 | #Constraints: 100938
1984.33/1989.05 c #Conflicts: 920000 | #Constraints: 101938
2183.86/2189.09 c #Conflicts: 921000 | #Constraints: 102938
2183.86/2189.09 c #Conflicts: 922000 | #Constraints: 103938
2183.86/2189.09 c #Conflicts: 923000 | #Constraints: 104938
2183.86/2189.09 c #Conflicts: 924000 | #Constraints: 105938
2183.86/2189.09 c #Conflicts: 925000 | #Constraints: 106938
2183.86/2189.09 c #Conflicts: 926000 | #Constraints: 107938
2183.86/2189.09 c #Conflicts: 927000 | #Constraints: 108938
2183.86/2189.09 c #Conflicts: 928000 | #Constraints: 109938
2183.86/2189.09 c #Conflicts: 929000 | #Constraints: 110938
2183.86/2189.09 c #Conflicts: 930000 | #Constraints: 111938
2183.86/2189.09 c #Conflicts: 931000 | #Constraints: 112938
2183.86/2189.09 c #Conflicts: 932000 | #Constraints: 113938
2183.86/2189.09 c #Conflicts: 933000 | #Constraints: 114938
2183.86/2189.09 c #Conflicts: 934000 | #Constraints: 115938
2183.86/2189.09 c #Conflicts: 935000 | #Constraints: 116938
2183.86/2189.09 c #Conflicts: 936000 | #Constraints: 117938
2183.86/2189.09 c #Conflicts: 937000 | #Constraints: 118938
2183.86/2189.09 c #Conflicts: 938000 | #Constraints: 119938
2183.86/2189.09 c #Conflicts: 939000 | #Constraints: 120938
2183.86/2189.09 c #Conflicts: 940000 | #Constraints: 121938
2183.86/2189.09 c #Conflicts: 941000 | #Constraints: 122938
2183.86/2189.09 c #Conflicts: 942000 | #Constraints: 123938
2183.86/2189.09 c #Conflicts: 943000 | #Constraints: 124938
2183.86/2189.09 c #Conflicts: 944000 | #Constraints: 125938
2183.86/2189.09 c #Conflicts: 945000 | #Constraints: 126938
2183.86/2189.09 c #Conflicts: 946000 | #Constraints: 127938
2183.86/2189.09 c #Conflicts: 947000 | #Constraints: 128938
2183.86/2189.09 c INPROCESSING
2183.86/2189.09 c GARBAGE COLLECT
2183.86/2189.09 c #Conflicts: 948000 | #Constraints: 76286
2183.86/2189.09 c #Conflicts: 949000 | #Constraints: 77286
2183.86/2189.09 c #Conflicts: 950000 | #Constraints: 78286
2183.86/2189.09 c #Conflicts: 951000 | #Constraints: 79286
2183.86/2189.09 c #Conflicts: 952000 | #Constraints: 80286
2183.86/2189.09 c #Conflicts: 953000 | #Constraints: 81286
2183.86/2189.09 c #Conflicts: 954000 | #Constraints: 82286
2183.86/2189.09 c #Conflicts: 955000 | #Constraints: 83286
2183.86/2189.09 c #Conflicts: 956000 | #Constraints: 84286
2183.86/2189.09 c #Conflicts: 957000 | #Constraints: 85286
2183.86/2189.09 c #Conflicts: 958000 | #Constraints: 86286
2183.86/2189.09 c #Conflicts: 959000 | #Constraints: 87286
2183.86/2189.09 c #Conflicts: 960000 | #Constraints: 88286
2183.86/2189.09 c #Conflicts: 961000 | #Constraints: 89286
2183.86/2189.09 c #Conflicts: 962000 | #Constraints: 90286
2183.86/2189.09 c #Conflicts: 963000 | #Constraints: 91286
2183.86/2189.09 c #Conflicts: 964000 | #Constraints: 92286
2183.86/2189.09 c #Conflicts: 965000 | #Constraints: 93286
2183.86/2189.09 c #Conflicts: 966000 | #Constraints: 94286
2183.86/2189.09 c #Conflicts: 967000 | #Constraints: 95286
2183.86/2189.09 c #Conflicts: 968000 | #Constraints: 96286
2183.86/2189.09 c #Conflicts: 969000 | #Constraints: 97286
2183.86/2189.09 c #Conflicts: 970000 | #Constraints: 98286
2183.86/2189.09 c #Conflicts: 971000 | #Constraints: 99286
2183.86/2189.09 c #Conflicts: 972000 | #Constraints: 100286
2183.86/2189.09 c #Conflicts: 973000 | #Constraints: 101286
2183.86/2189.09 c #Conflicts: 974000 | #Constraints: 102286
2183.86/2189.09 c INPROCESSING
2183.86/2189.09 c GARBAGE COLLECT
2183.86/2189.09 c #Conflicts: 975000 | #Constraints: 68511
2183.86/2189.09 c #Conflicts: 976000 | #Constraints: 69511
2183.86/2189.09 c #Conflicts: 977000 | #Constraints: 70511
2183.86/2189.09 c #Conflicts: 978000 | #Constraints: 71511
2183.86/2189.09 c #Conflicts: 979000 | #Constraints: 72511
2183.86/2189.09 c #Conflicts: 980000 | #Constraints: 73511
2183.86/2189.09 c #Conflicts: 981000 | #Constraints: 74511
2183.86/2189.09 c #Conflicts: 982000 | #Constraints: 75511
2183.86/2189.09 c #Conflicts: 983000 | #Constraints: 76511
2183.86/2189.09 c #Conflicts: 984000 | #Constraints: 77511
2183.86/2189.09 c #Conflicts: 985000 | #Constraints: 78511
2183.86/2189.09 c #Conflicts: 986000 | #Constraints: 79511
2183.86/2189.09 c #Conflicts: 987000 | #Constraints: 80511
2183.86/2189.09 c #Conflicts: 988000 | #Constraints: 81511
2183.86/2189.09 c #Conflicts: 989000 | #Constraints: 82511
2183.86/2189.09 c #Conflicts: 990000 | #Constraints: 83511
2183.86/2189.09 c #Conflicts: 991000 | #Constraints: 84511
2183.86/2189.09 c #Conflicts: 992000 | #Constraints: 85511
2183.86/2189.09 c #Conflicts: 993000 | #Constraints: 86511
2183.86/2189.09 c #Conflicts: 994000 | #Constraints: 87511
2183.86/2189.09 c #Conflicts: 995000 | #Constraints: 88511
2183.86/2189.09 c #Conflicts: 996000 | #Constraints: 89511
2183.86/2189.09 c #Conflicts: 997000 | #Constraints: 90511
2183.86/2189.09 c #Conflicts: 998000 | #Constraints: 91511
2429.32/2435.17 c #Conflicts: 999000 | #Constraints: 92511
2429.32/2435.17 c #Conflicts: 1000000 | #Constraints: 93511
2429.32/2435.17 c #Conflicts: 1001000 | #Constraints: 94511
2429.32/2435.17 c #Conflicts: 1002000 | #Constraints: 95511
2429.32/2435.17 c #Conflicts: 1003000 | #Constraints: 96511
2429.32/2435.17 c #Conflicts: 1004000 | #Constraints: 97511
2429.32/2435.17 c #Conflicts: 1005000 | #Constraints: 98511
2429.32/2435.17 c #Conflicts: 1006000 | #Constraints: 99511
2429.32/2435.17 c #Conflicts: 1007000 | #Constraints: 100511
2429.32/2435.17 c #Conflicts: 1008000 | #Constraints: 101511
2429.32/2435.17 c #Conflicts: 1009000 | #Constraints: 102511
2429.32/2435.17 c #Conflicts: 1010000 | #Constraints: 103511
2429.32/2435.17 c #Conflicts: 1011000 | #Constraints: 104511
2429.32/2435.17 c #Conflicts: 1012000 | #Constraints: 105511
2429.32/2435.17 c #Conflicts: 1013000 | #Constraints: 106511
2429.32/2435.17 c #Conflicts: 1014000 | #Constraints: 107511
2429.32/2435.17 c #Conflicts: 1015000 | #Constraints: 108511
2429.32/2435.17 c #Conflicts: 1016000 | #Constraints: 109511
2429.32/2435.17 c #Conflicts: 1017000 | #Constraints: 110511
2429.32/2435.17 c #Conflicts: 1018000 | #Constraints: 111511
2429.32/2435.17 c #Conflicts: 1019000 | #Constraints: 112511
2429.32/2435.17 c #Conflicts: 1020000 | #Constraints: 113511
2429.32/2435.17 c #Conflicts: 1021000 | #Constraints: 114511
2429.32/2435.17 c #Conflicts: 1022000 | #Constraints: 115511
2429.32/2435.17 c #Conflicts: 1023000 | #Constraints: 116512
2429.32/2435.17 c #Conflicts: 1024000 | #Constraints: 117512
2429.32/2435.17 c #Conflicts: 1025000 | #Constraints: 118512
2429.32/2435.17 c #Conflicts: 1026000 | #Constraints: 119512
2429.32/2435.17 c #Conflicts: 1027000 | #Constraints: 120512
2429.32/2435.17 c #Conflicts: 1028000 | #Constraints: 121512
2429.32/2435.17 c #Conflicts: 1029000 | #Constraints: 122512
2429.32/2435.17 c #Conflicts: 1030000 | #Constraints: 123512
2429.32/2435.17 c #Conflicts: 1031000 | #Constraints: 124512
2429.32/2435.17 c #Conflicts: 1032000 | #Constraints: 125512
2429.32/2435.17 c #Conflicts: 1033000 | #Constraints: 126512
2429.32/2435.17 c #Conflicts: 1034000 | #Constraints: 127512
2429.32/2435.17 c #Conflicts: 1035000 | #Constraints: 128512
2429.32/2435.17 c #Conflicts: 1036000 | #Constraints: 129512
2429.32/2435.17 c #Conflicts: 1037000 | #Constraints: 130512
2429.32/2435.17 c #Conflicts: 1038000 | #Constraints: 131512
2429.32/2435.17 c #Conflicts: 1039000 | #Constraints: 132512
2429.32/2435.17 c #Conflicts: 1040000 | #Constraints: 133512
2429.32/2435.17 c INPROCESSING
2429.32/2435.17 c GARBAGE COLLECT
2429.32/2435.17 c #Conflicts: 1041000 | #Constraints: 78295
2429.32/2435.17 c #Conflicts: 1042000 | #Constraints: 79295
2429.32/2435.17 c #Conflicts: 1043000 | #Constraints: 80295
2429.32/2435.17 c #Conflicts: 1044000 | #Constraints: 81295
2429.32/2435.17 c #Conflicts: 1045000 | #Constraints: 82295
2429.32/2435.17 c #Conflicts: 1046000 | #Constraints: 83295
2429.32/2435.17 c #Conflicts: 1047000 | #Constraints: 84295
2429.32/2435.17 c #Conflicts: 1048000 | #Constraints: 85295
2429.32/2435.17 c #Conflicts: 1049000 | #Constraints: 86295
2429.32/2435.17 c #Conflicts: 1050000 | #Constraints: 87295
2429.32/2435.17 c #Conflicts: 1051000 | #Constraints: 88295
2429.32/2435.17 c #Conflicts: 1052000 | #Constraints: 89295
2429.32/2435.17 c #Conflicts: 1053000 | #Constraints: 90295
2429.32/2435.17 c #Conflicts: 1054000 | #Constraints: 91295
2429.32/2435.17 c #Conflicts: 1055000 | #Constraints: 92295
2429.32/2435.17 c #Conflicts: 1056000 | #Constraints: 93295
2429.32/2435.17 c #Conflicts: 1057000 | #Constraints: 94295
2429.32/2435.17 c #Conflicts: 1058000 | #Constraints: 95295
2429.32/2435.17 c #Conflicts: 1059000 | #Constraints: 96295
2429.32/2435.17 c #Conflicts: 1060000 | #Constraints: 97295
2429.32/2435.17 c #Conflicts: 1061000 | #Constraints: 98295
2429.32/2435.17 c #Conflicts: 1062000 | #Constraints: 99295
2429.32/2435.17 c #Conflicts: 1063000 | #Constraints: 100295
2429.32/2435.17 c #Conflicts: 1064000 | #Constraints: 101295
2429.32/2435.17 c #Conflicts: 1065000 | #Constraints: 102295
2429.32/2435.17 c #Conflicts: 1066000 | #Constraints: 103295
2429.32/2435.17 c #Conflicts: 1067000 | #Constraints: 104295
2429.32/2435.17 c #Conflicts: 1068000 | #Constraints: 105295
2429.32/2435.17 c #Conflicts: 1069000 | #Constraints: 106295
2429.32/2435.17 c INPROCESSING
2429.32/2435.17 c GARBAGE COLLECT
2429.32/2435.17 c #Conflicts: 1070000 | #Constraints: 70417
2429.32/2435.17 c #Conflicts: 1071000 | #Constraints: 71417
2429.32/2435.17 c #Conflicts: 1072000 | #Constraints: 72417
2429.32/2435.17 c #Conflicts: 1073000 | #Constraints: 73417
2429.32/2435.17 c #Conflicts: 1074000 | #Constraints: 74417
2429.32/2435.17 c #Conflicts: 1075000 | #Constraints: 75417
2646.13/2652.59 c #Conflicts: 1076000 | #Constraints: 76417
2646.13/2652.59 c #Conflicts: 1077000 | #Constraints: 77417
2646.13/2652.59 c #Conflicts: 1078000 | #Constraints: 78417
2646.13/2652.59 c #Conflicts: 1079000 | #Constraints: 79417
2646.13/2652.59 c #Conflicts: 1080000 | #Constraints: 80417
2646.13/2652.59 c #Conflicts: 1081000 | #Constraints: 81417
2646.13/2652.59 c #Conflicts: 1082000 | #Constraints: 82417
2646.13/2652.59 c #Conflicts: 1083000 | #Constraints: 83417
2646.13/2652.59 c #Conflicts: 1084000 | #Constraints: 84417
2646.13/2652.59 c #Conflicts: 1085000 | #Constraints: 85417
2646.13/2652.59 c #Conflicts: 1086000 | #Constraints: 86417
2646.13/2652.59 c #Conflicts: 1087000 | #Constraints: 87417
2646.13/2652.59 c #Conflicts: 1088000 | #Constraints: 88417
2646.13/2652.59 c #Conflicts: 1089000 | #Constraints: 89417
2646.13/2652.59 c #Conflicts: 1090000 | #Constraints: 90417
2646.13/2652.59 c #Conflicts: 1091000 | #Constraints: 91417
2646.13/2652.59 c #Conflicts: 1092000 | #Constraints: 92417
2646.13/2652.59 c #Conflicts: 1093000 | #Constraints: 93417
2646.13/2652.59 c #Conflicts: 1094000 | #Constraints: 94417
2646.13/2652.59 c #Conflicts: 1095000 | #Constraints: 95417
2646.13/2652.59 c #Conflicts: 1096000 | #Constraints: 96417
2646.13/2652.59 c #Conflicts: 1097000 | #Constraints: 97417
2646.13/2652.59 c #Conflicts: 1098000 | #Constraints: 98417
2646.13/2652.59 c #Conflicts: 1099000 | #Constraints: 99417
2646.13/2652.59 c #Conflicts: 1100000 | #Constraints: 100417
2646.13/2652.59 c #Conflicts: 1101000 | #Constraints: 101417
2646.13/2652.59 c #Conflicts: 1102000 | #Constraints: 102417
2646.13/2652.59 c #Conflicts: 1103000 | #Constraints: 103417
2646.13/2652.59 c #Conflicts: 1104000 | #Constraints: 104417
2646.13/2652.59 c #Conflicts: 1105000 | #Constraints: 105417
2646.13/2652.59 c #Conflicts: 1106000 | #Constraints: 106417
2646.13/2652.59 c #Conflicts: 1107000 | #Constraints: 107417
2646.13/2652.59 c #Conflicts: 1108000 | #Constraints: 108417
2646.13/2652.59 c #Conflicts: 1109000 | #Constraints: 109417
2646.13/2652.59 c #Conflicts: 1110000 | #Constraints: 110417
2646.13/2652.59 c #Conflicts: 1111000 | #Constraints: 111417
2646.13/2652.59 c #Conflicts: 1112000 | #Constraints: 112417
2646.13/2652.59 c #Conflicts: 1113000 | #Constraints: 113417
2646.13/2652.59 c #Conflicts: 1114000 | #Constraints: 114417
2646.13/2652.59 c #Conflicts: 1115000 | #Constraints: 115417
2646.13/2652.59 c #Conflicts: 1116000 | #Constraints: 116417
2646.13/2652.59 c #Conflicts: 1117000 | #Constraints: 117417
2646.13/2652.59 c #Conflicts: 1118000 | #Constraints: 118417
2646.13/2652.59 c #Conflicts: 1119000 | #Constraints: 119417
2646.13/2652.59 c #Conflicts: 1120000 | #Constraints: 120417
2646.13/2652.59 c #Conflicts: 1121000 | #Constraints: 121417
2646.13/2652.59 c #Conflicts: 1122000 | #Constraints: 122417
2646.13/2652.59 c #Conflicts: 1123000 | #Constraints: 123417
2646.13/2652.59 c #Conflicts: 1124000 | #Constraints: 124417
2646.13/2652.59 c #Conflicts: 1125000 | #Constraints: 125417
2646.13/2652.59 c #Conflicts: 1126000 | #Constraints: 126417
2646.13/2652.59 c #Conflicts: 1127000 | #Constraints: 127417
2646.13/2652.59 c #Conflicts: 1128000 | #Constraints: 128417
2646.13/2652.59 c #Conflicts: 1129000 | #Constraints: 129417
2646.13/2652.59 c #Conflicts: 1130000 | #Constraints: 130417
2646.13/2652.59 c #Conflicts: 1131000 | #Constraints: 131417
2646.13/2652.59 c #Conflicts: 1132000 | #Constraints: 132417
2646.13/2652.59 c #Conflicts: 1133000 | #Constraints: 133417
2646.13/2652.59 c #Conflicts: 1134000 | #Constraints: 134417
2646.13/2652.59 c #Conflicts: 1135000 | #Constraints: 135417
2646.13/2652.59 c #Conflicts: 1136000 | #Constraints: 136417
2646.13/2652.59 c #Conflicts: 1137000 | #Constraints: 137417
2646.13/2652.59 c #Conflicts: 1138000 | #Constraints: 138417
2646.13/2652.59 c INPROCESSING
2646.13/2652.59 c GARBAGE COLLECT
2646.13/2652.59 c #Conflicts: 1139000 | #Constraints: 80879
2646.13/2652.59 c #Conflicts: 1140000 | #Constraints: 81879
2646.13/2652.59 c #Conflicts: 1141000 | #Constraints: 82879
2646.13/2652.59 c #Conflicts: 1142000 | #Constraints: 83879
2646.13/2652.59 c #Conflicts: 1143000 | #Constraints: 84879
2646.13/2652.59 c #Conflicts: 1144000 | #Constraints: 85879
2646.13/2652.59 c #Conflicts: 1145000 | #Constraints: 86879
2646.13/2652.59 c #Conflicts: 1146000 | #Constraints: 87879
2646.13/2652.59 c #Conflicts: 1147000 | #Constraints: 88879
2646.13/2652.59 c #Conflicts: 1148000 | #Constraints: 89879
2646.13/2652.59 c #Conflicts: 1149000 | #Constraints: 90879
2646.13/2652.59 c #Conflicts: 1150000 | #Constraints: 91879
2646.13/2652.59 c #Conflicts: 1151000 | #Constraints: 92879
2646.13/2652.59 c #Conflicts: 1152000 | #Constraints: 93879
2646.13/2652.59 c #Conflicts: 1153000 | #Constraints: 94879
2874.80/2881.86 c #Conflicts: 1154000 | #Constraints: 95879
2874.80/2881.86 c #Conflicts: 1155000 | #Constraints: 96879
2874.80/2881.86 c #Conflicts: 1156000 | #Constraints: 97879
2874.80/2881.86 c #Conflicts: 1157000 | #Constraints: 98879
2874.80/2881.86 c #Conflicts: 1158000 | #Constraints: 99879
2874.80/2881.86 c #Conflicts: 1159000 | #Constraints: 100879
2874.80/2881.86 c #Conflicts: 1160000 | #Constraints: 101879
2874.80/2881.86 c #Conflicts: 1161000 | #Constraints: 102879
2874.80/2881.86 c #Conflicts: 1162000 | #Constraints: 103879
2874.80/2881.86 c #Conflicts: 1163000 | #Constraints: 104879
2874.80/2881.86 c #Conflicts: 1164000 | #Constraints: 105879
2874.80/2881.86 c #Conflicts: 1165000 | #Constraints: 106879
2874.80/2881.86 c #Conflicts: 1166000 | #Constraints: 107879
2874.80/2881.86 c #Conflicts: 1167000 | #Constraints: 108879
2874.80/2881.86 c #Conflicts: 1168000 | #Constraints: 109879
2874.80/2881.86 c INPROCESSING
2874.80/2881.86 c GARBAGE COLLECT
2874.80/2881.86 c #Conflicts: 1169000 | #Constraints: 72414
2874.80/2881.86 c #Conflicts: 1170000 | #Constraints: 73414
2874.80/2881.86 c #Conflicts: 1171000 | #Constraints: 74414
2874.80/2881.86 c #Conflicts: 1172000 | #Constraints: 75414
2874.80/2881.86 c #Conflicts: 1173000 | #Constraints: 76414
2874.80/2881.86 c #Conflicts: 1174000 | #Constraints: 77414
2874.80/2881.86 c #Conflicts: 1175000 | #Constraints: 78414
2874.80/2881.86 c #Conflicts: 1176000 | #Constraints: 79414
2874.80/2881.86 c #Conflicts: 1177000 | #Constraints: 80414
2874.80/2881.86 c #Conflicts: 1178000 | #Constraints: 81414
2874.80/2881.86 c #Conflicts: 1179000 | #Constraints: 82414
2874.80/2881.86 c #Conflicts: 1180000 | #Constraints: 83414
2874.80/2881.86 c #Conflicts: 1181000 | #Constraints: 84414
2874.80/2881.86 c #Conflicts: 1182000 | #Constraints: 85414
2874.80/2881.86 c #Conflicts: 1183000 | #Constraints: 86414
2874.80/2881.86 c #Conflicts: 1184000 | #Constraints: 87414
2874.80/2881.86 c #Conflicts: 1185000 | #Constraints: 88414
2874.80/2881.86 c #Conflicts: 1186000 | #Constraints: 89414
2874.80/2881.86 c #Conflicts: 1187000 | #Constraints: 90414
2874.80/2881.86 c #Conflicts: 1188000 | #Constraints: 91414
2874.80/2881.86 c #Conflicts: 1189000 | #Constraints: 92414
2874.80/2881.86 c #Conflicts: 1190000 | #Constraints: 93414
2874.80/2881.86 c #Conflicts: 1191000 | #Constraints: 94414
2874.80/2881.86 c #Conflicts: 1192000 | #Constraints: 95414
2874.80/2881.86 c #Conflicts: 1193000 | #Constraints: 96414
2874.80/2881.86 c #Conflicts: 1194000 | #Constraints: 97414
2874.80/2881.86 c #Conflicts: 1195000 | #Constraints: 98414
2874.80/2881.86 c #Conflicts: 1196000 | #Constraints: 99414
2874.80/2881.86 c #Conflicts: 1197000 | #Constraints: 100414
2874.80/2881.86 c #Conflicts: 1198000 | #Constraints: 101414
2874.80/2881.86 c #Conflicts: 1199000 | #Constraints: 102414
2874.80/2881.86 c #Conflicts: 1200000 | #Constraints: 103414
2874.80/2881.86 c #Conflicts: 1201000 | #Constraints: 104414
2874.80/2881.86 c #Conflicts: 1202000 | #Constraints: 105414
2874.80/2881.86 c #Conflicts: 1203000 | #Constraints: 106414
2874.80/2881.86 c #Conflicts: 1204000 | #Constraints: 107414
2874.80/2881.86 c #Conflicts: 1205000 | #Constraints: 108414
2874.80/2881.86 c #Conflicts: 1206000 | #Constraints: 109414
2874.80/2881.86 c #Conflicts: 1207000 | #Constraints: 110414
2874.80/2881.86 c #Conflicts: 1208000 | #Constraints: 111414
2874.80/2881.86 c #Conflicts: 1209000 | #Constraints: 112414
2874.80/2881.86 c #Conflicts: 1210000 | #Constraints: 113414
2874.80/2881.86 c #Conflicts: 1211000 | #Constraints: 114414
2874.80/2881.86 c #Conflicts: 1212000 | #Constraints: 115414
2874.80/2881.86 c #Conflicts: 1213000 | #Constraints: 116414
2874.80/2881.86 c #Conflicts: 1214000 | #Constraints: 117414
2874.80/2881.86 c #Conflicts: 1215000 | #Constraints: 118414
2874.80/2881.86 c #Conflicts: 1216000 | #Constraints: 119414
2874.80/2881.86 c #Conflicts: 1217000 | #Constraints: 120414
2874.80/2881.86 c #Conflicts: 1218000 | #Constraints: 121414
2874.80/2881.86 c #Conflicts: 1219000 | #Constraints: 122414
2874.80/2881.86 c #Conflicts: 1220000 | #Constraints: 123414
2874.80/2881.86 c #Conflicts: 1221000 | #Constraints: 124414
2874.80/2881.86 c #Conflicts: 1222000 | #Constraints: 125414
2874.80/2881.86 c #Conflicts: 1223000 | #Constraints: 126414
2874.80/2881.86 c #Conflicts: 1224000 | #Constraints: 127414
2874.80/2881.86 c #Conflicts: 1225000 | #Constraints: 128414
2874.80/2881.86 c #Conflicts: 1226000 | #Constraints: 129414
2874.80/2881.86 c #Conflicts: 1227000 | #Constraints: 130414
2874.80/2881.86 c #Conflicts: 1228000 | #Constraints: 131414
2874.80/2881.86 c #Conflicts: 1229000 | #Constraints: 132414
2874.80/2881.86 c #Conflicts: 1230000 | #Constraints: 133414
2874.80/2881.86 c #Conflicts: 1231000 | #Constraints: 134414
2874.80/2881.86 c #Conflicts: 1232000 | #Constraints: 135414
2992.97/3000.31 c #Conflicts: 1233000 | #Constraints: 136414
2992.97/3000.31 c #Conflicts: 1234000 | #Constraints: 137414
2992.97/3000.31 c #Conflicts: 1235000 | #Constraints: 138414
2992.97/3000.31 c #Conflicts: 1236000 | #Constraints: 139414
2992.97/3000.31 c #Conflicts: 1237000 | #Constraints: 140414
2992.97/3000.31 c #Conflicts: 1238000 | #Constraints: 141414
2992.97/3000.31 c #Conflicts: 1239000 | #Constraints: 142414
2992.97/3000.31 c #Conflicts: 1240000 | #Constraints: 143414
2992.97/3000.31 c INPROCESSING
2992.97/3000.31 c GARBAGE COLLECT
2992.97/3000.31 c rational objective 159.031
3178.77/3186.61 c #Conflicts: 1241000 | #Constraints: 83312
3178.77/3186.61 c #Conflicts: 1242000 | #Constraints: 84312
3178.77/3186.61 c #Conflicts: 1243000 | #Constraints: 85312
3178.77/3186.61 c #Conflicts: 1244000 | #Constraints: 86312
3178.77/3186.61 c #Conflicts: 1245000 | #Constraints: 87312
3178.77/3186.61 c #Conflicts: 1246000 | #Constraints: 88312
3178.77/3186.61 c #Conflicts: 1247000 | #Constraints: 89312
3178.77/3186.61 c #Conflicts: 1248000 | #Constraints: 90312
3178.77/3186.61 c #Conflicts: 1249000 | #Constraints: 91312
3178.77/3186.61 c #Conflicts: 1250000 | #Constraints: 92312
3178.77/3186.61 c #Conflicts: 1251000 | #Constraints: 93312
3178.77/3186.61 c #Conflicts: 1252000 | #Constraints: 94312
3178.77/3186.61 c #Conflicts: 1253000 | #Constraints: 95312
3178.77/3186.61 c #Conflicts: 1254000 | #Constraints: 96312
3178.77/3186.61 c #Conflicts: 1255000 | #Constraints: 97312
3178.77/3186.61 c #Conflicts: 1256000 | #Constraints: 98312
3178.77/3186.61 c #Conflicts: 1257000 | #Constraints: 99312
3178.77/3186.61 c #Conflicts: 1258000 | #Constraints: 100312
3178.77/3186.61 c #Conflicts: 1259000 | #Constraints: 101312
3178.77/3186.61 c #Conflicts: 1260000 | #Constraints: 102312
3178.77/3186.61 c #Conflicts: 1261000 | #Constraints: 103312
3178.77/3186.61 c #Conflicts: 1262000 | #Constraints: 104312
3178.77/3186.61 c #Conflicts: 1263000 | #Constraints: 105312
3178.77/3186.61 c #Conflicts: 1264000 | #Constraints: 106312
3178.77/3186.61 c #Conflicts: 1265000 | #Constraints: 107312
3178.77/3186.61 c #Conflicts: 1266000 | #Constraints: 108312
3178.77/3186.61 c #Conflicts: 1267000 | #Constraints: 109312
3178.77/3186.61 c #Conflicts: 1268000 | #Constraints: 110312
3178.77/3186.61 c #Conflicts: 1269000 | #Constraints: 111312
3178.77/3186.61 c #Conflicts: 1270000 | #Constraints: 112312
3178.77/3186.61 c #Conflicts: 1271000 | #Constraints: 113312
3178.77/3186.61 c #Conflicts: 1272000 | #Constraints: 114312
3178.77/3186.61 c INPROCESSING
3178.77/3186.61 c GARBAGE COLLECT
3178.77/3186.61 c #Conflicts: 1273000 | #Constraints: 75558
3178.77/3186.61 c #Conflicts: 1274000 | #Constraints: 76558
3178.77/3186.61 c #Conflicts: 1275000 | #Constraints: 77558
3178.77/3186.61 c #Conflicts: 1276000 | #Constraints: 78558
3178.77/3186.61 c #Conflicts: 1277000 | #Constraints: 79558
3178.77/3186.61 c #Conflicts: 1278000 | #Constraints: 80558
3178.77/3186.61 c #Conflicts: 1279000 | #Constraints: 81558
3178.77/3186.61 c #Conflicts: 1280000 | #Constraints: 82558
3178.77/3186.61 c #Conflicts: 1281000 | #Constraints: 83558
3178.77/3186.61 c #Conflicts: 1282000 | #Constraints: 84558
3178.77/3186.61 c #Conflicts: 1283000 | #Constraints: 85558
3178.77/3186.61 c #Conflicts: 1284000 | #Constraints: 86558
3178.77/3186.61 c #Conflicts: 1285000 | #Constraints: 87558
3178.77/3186.61 c #Conflicts: 1286000 | #Constraints: 88558
3178.77/3186.61 c #Conflicts: 1287000 | #Constraints: 89558
3178.77/3186.61 c #Conflicts: 1288000 | #Constraints: 90558
3178.77/3186.61 c #Conflicts: 1289000 | #Constraints: 91558
3178.77/3186.61 c #Conflicts: 1290000 | #Constraints: 92558
3178.77/3186.61 c #Conflicts: 1291000 | #Constraints: 93558
3178.77/3186.61 c #Conflicts: 1292000 | #Constraints: 94558
3178.77/3186.61 c #Conflicts: 1293000 | #Constraints: 95558
3178.77/3186.61 c #Conflicts: 1294000 | #Constraints: 96558
3178.77/3186.61 c #Conflicts: 1295000 | #Constraints: 97558
3178.77/3186.61 c #Conflicts: 1296000 | #Constraints: 98558
3178.77/3186.61 c #Conflicts: 1297000 | #Constraints: 99558
3178.77/3186.61 c #Conflicts: 1298000 | #Constraints: 100558
3178.77/3186.61 c #Conflicts: 1299000 | #Constraints: 101558
3178.77/3186.61 c #Conflicts: 1300000 | #Constraints: 102558
3178.77/3186.61 c #Conflicts: 1301000 | #Constraints: 103558
3178.77/3186.61 c #Conflicts: 1302000 | #Constraints: 104558
3178.77/3186.61 c #Conflicts: 1303000 | #Constraints: 105558
3178.77/3186.61 c #Conflicts: 1304000 | #Constraints: 106558
3178.77/3186.61 c #Conflicts: 1305000 | #Constraints: 107558
3178.77/3186.61 c #Conflicts: 1306000 | #Constraints: 108558
3178.77/3186.61 c #Conflicts: 1307000 | #Constraints: 109558
3178.77/3186.61 c #Conflicts: 1308000 | #Constraints: 110558
3178.77/3186.61 c #Conflicts: 1309000 | #Constraints: 111558
3178.77/3186.61 c #Conflicts: 1310000 | #Constraints: 112558
3178.77/3186.61 c #Conflicts: 1311000 | #Constraints: 113558
3178.77/3186.61 c #Conflicts: 1312000 | #Constraints: 114558
3178.77/3186.61 c #Conflicts: 1313000 | #Constraints: 115558
3178.77/3186.61 c #Conflicts: 1314000 | #Constraints: 116558
3178.77/3186.61 c #Conflicts: 1315000 | #Constraints: 117558
3178.77/3186.61 c #Conflicts: 1316000 | #Constraints: 118558
3178.77/3186.61 c #Conflicts: 1317000 | #Constraints: 119558
3178.77/3186.61 c #Conflicts: 1318000 | #Constraints: 120558
3178.77/3186.61 c #Conflicts: 1319000 | #Constraints: 121558
3397.48/3405.91 c #Conflicts: 1320000 | #Constraints: 122558
3397.48/3405.91 c #Conflicts: 1321000 | #Constraints: 123558
3397.48/3405.91 c #Conflicts: 1322000 | #Constraints: 124558
3397.48/3405.91 c #Conflicts: 1323000 | #Constraints: 125558
3397.48/3405.91 c #Conflicts: 1324000 | #Constraints: 126558
3397.48/3405.91 c #Conflicts: 1325000 | #Constraints: 127558
3397.48/3405.91 c #Conflicts: 1326000 | #Constraints: 128558
3397.48/3405.91 c #Conflicts: 1327000 | #Constraints: 129558
3397.48/3405.91 c #Conflicts: 1328000 | #Constraints: 130558
3397.48/3405.91 c #Conflicts: 1329000 | #Constraints: 131558
3397.48/3405.91 c #Conflicts: 1330000 | #Constraints: 132558
3397.48/3405.91 c #Conflicts: 1331000 | #Constraints: 133558
3397.48/3405.91 c #Conflicts: 1332000 | #Constraints: 134558
3397.48/3405.91 c #Conflicts: 1333000 | #Constraints: 135558
3397.48/3405.91 c #Conflicts: 1334000 | #Constraints: 136558
3397.48/3405.91 c #Conflicts: 1335000 | #Constraints: 137558
3397.48/3405.91 c #Conflicts: 1336000 | #Constraints: 138558
3397.48/3405.91 c #Conflicts: 1337000 | #Constraints: 139558
3397.48/3405.91 c #Conflicts: 1338000 | #Constraints: 140558
3397.48/3405.91 c #Conflicts: 1339000 | #Constraints: 141558
3397.48/3405.91 c #Conflicts: 1340000 | #Constraints: 142558
3397.48/3405.91 c #Conflicts: 1341000 | #Constraints: 143558
3397.48/3405.91 c #Conflicts: 1342000 | #Constraints: 144558
3397.48/3405.91 c #Conflicts: 1343000 | #Constraints: 145558
3397.48/3405.91 c #Conflicts: 1344000 | #Constraints: 146558
3397.48/3405.91 c #Conflicts: 1345000 | #Constraints: 147558
3397.48/3405.91 c #Conflicts: 1346000 | #Constraints: 148558
3397.48/3405.91 c #Conflicts: 1347000 | #Constraints: 149558
3397.48/3405.91 c INPROCESSING
3397.48/3405.91 c GARBAGE COLLECT
3397.48/3405.91 c #Conflicts: 1348000 | #Constraints: 86709
3397.48/3405.91 c #Conflicts: 1349000 | #Constraints: 87709
3397.48/3405.91 c #Conflicts: 1350000 | #Constraints: 88709
3397.48/3405.91 c #Conflicts: 1351000 | #Constraints: 89709
3397.48/3405.91 c #Conflicts: 1352000 | #Constraints: 90709
3397.48/3405.91 c #Conflicts: 1353000 | #Constraints: 91709
3397.48/3405.91 c #Conflicts: 1354000 | #Constraints: 92709
3397.48/3405.91 c #Conflicts: 1355000 | #Constraints: 93709
3397.48/3405.91 c #Conflicts: 1356000 | #Constraints: 94709
3397.48/3405.91 c #Conflicts: 1357000 | #Constraints: 95709
3397.48/3405.91 c #Conflicts: 1358000 | #Constraints: 96709
3397.48/3405.91 c #Conflicts: 1359000 | #Constraints: 97709
3397.48/3405.91 c #Conflicts: 1360000 | #Constraints: 98709
3397.48/3405.91 c #Conflicts: 1361000 | #Constraints: 99709
3397.48/3405.91 c #Conflicts: 1362000 | #Constraints: 100709
3397.48/3405.91 c #Conflicts: 1363000 | #Constraints: 101709
3397.48/3405.91 c #Conflicts: 1364000 | #Constraints: 102709
3397.48/3405.91 c #Conflicts: 1365000 | #Constraints: 103709
3397.48/3405.91 c #Conflicts: 1366000 | #Constraints: 104709
3397.48/3405.91 c #Conflicts: 1367000 | #Constraints: 105709
3397.48/3405.91 c #Conflicts: 1368000 | #Constraints: 106709
3397.48/3405.91 c #Conflicts: 1369000 | #Constraints: 107709
3397.48/3405.91 c #Conflicts: 1370000 | #Constraints: 108709
3397.48/3405.91 c #Conflicts: 1371000 | #Constraints: 109709
3397.48/3405.91 c #Conflicts: 1372000 | #Constraints: 110709
3397.48/3405.91 c #Conflicts: 1373000 | #Constraints: 111709
3397.48/3405.91 c #Conflicts: 1374000 | #Constraints: 112709
3397.48/3405.91 c #Conflicts: 1375000 | #Constraints: 113709
3397.48/3405.91 c #Conflicts: 1376000 | #Constraints: 114709
3397.48/3405.91 c #Conflicts: 1377000 | #Constraints: 115709
3397.48/3405.91 c #Conflicts: 1378000 | #Constraints: 116709
3397.48/3405.91 c #Conflicts: 1379000 | #Constraints: 117709
3397.48/3405.91 c #Conflicts: 1380000 | #Constraints: 118709
3397.48/3405.91 c INPROCESSING
3397.48/3405.91 c GARBAGE COLLECT
3397.48/3405.91 c #Conflicts: 1381000 | #Constraints: 78026
3397.48/3405.91 c #Conflicts: 1382000 | #Constraints: 79026
3397.48/3405.91 c #Conflicts: 1383000 | #Constraints: 80026
3397.48/3405.91 c #Conflicts: 1384000 | #Constraints: 81026
3397.48/3405.91 c #Conflicts: 1385000 | #Constraints: 82026
3397.48/3405.91 c #Conflicts: 1386000 | #Constraints: 83026
3397.48/3405.91 c #Conflicts: 1387000 | #Constraints: 84026
3397.48/3405.91 c #Conflicts: 1388000 | #Constraints: 85026
3397.48/3405.91 c #Conflicts: 1389000 | #Constraints: 86026
3397.48/3405.91 c #Conflicts: 1390000 | #Constraints: 87026
3397.48/3405.91 c #Conflicts: 1391000 | #Constraints: 88026
3397.48/3405.91 c #Conflicts: 1392000 | #Constraints: 89026
3397.48/3405.91 c #Conflicts: 1393000 | #Constraints: 90026
3397.48/3405.91 c #Conflicts: 1394000 | #Constraints: 91026
3397.48/3405.91 c #Conflicts: 1395000 | #Constraints: 92026
3397.48/3405.91 c #Conflicts: 1396000 | #Constraints: 93026
3600.04/3609.00 c #Conflicts: 1397000 | #Constraints: 94026
3600.04/3609.00 c #Conflicts: 1398000 | #Constraints: 95026
3600.04/3609.00 c #Conflicts: 1399000 | #Constraints: 96026
3600.04/3609.00 c #Conflicts: 1400000 | #Constraints: 97026
3600.04/3609.00 c #Conflicts: 1401000 | #Constraints: 98026
3600.04/3609.00 c #Conflicts: 1402000 | #Constraints: 99026
3600.04/3609.00 c #Conflicts: 1403000 | #Constraints: 100026
3600.04/3609.00 c #Conflicts: 1404000 | #Constraints: 101026
3600.04/3609.00 c #Conflicts: 1405000 | #Constraints: 102026
3600.04/3609.00 c #Conflicts: 1406000 | #Constraints: 103026
3600.04/3609.00 c #Conflicts: 1407000 | #Constraints: 104026
3600.04/3609.00 c #Conflicts: 1408000 | #Constraints: 105026
3600.04/3609.00 c #Conflicts: 1409000 | #Constraints: 106026
3600.04/3609.00 c #Conflicts: 1410000 | #Constraints: 107026
3600.04/3609.00 c #Conflicts: 1411000 | #Constraints: 108026
3600.04/3609.00 c #Conflicts: 1412000 | #Constraints: 109026
3600.04/3609.00 c #Conflicts: 1413000 | #Constraints: 110026
3600.04/3609.00 c #Conflicts: 1414000 | #Constraints: 111026
3600.04/3609.00 c #Conflicts: 1415000 | #Constraints: 112026
3600.04/3609.00 c #Conflicts: 1416000 | #Constraints: 113026
3600.04/3609.00 c #Conflicts: 1417000 | #Constraints: 114026
3600.04/3609.00 c #Conflicts: 1418000 | #Constraints: 115026
3600.04/3609.00 c #Conflicts: 1419000 | #Constraints: 116026
3600.04/3609.00 c #Conflicts: 1420000 | #Constraints: 117026
3600.04/3609.00 c #Conflicts: 1421000 | #Constraints: 118026
3600.04/3609.00 c #Conflicts: 1422000 | #Constraints: 119026
3600.04/3609.00 c #Conflicts: 1423000 | #Constraints: 120026
3600.04/3609.00 c #Conflicts: 1424000 | #Constraints: 121026
3600.04/3609.00 c #Conflicts: 1425000 | #Constraints: 122026
3600.04/3609.00 c #Conflicts: 1426000 | #Constraints: 123026
3600.04/3609.00 c #Conflicts: 1427000 | #Constraints: 124026
3600.04/3609.00 c #Conflicts: 1428000 | #Constraints: 125026
3600.04/3609.00 c #Conflicts: 1429000 | #Constraints: 126026
3600.04/3609.00 c #Conflicts: 1430000 | #Constraints: 127026
3600.04/3609.00 c #Conflicts: 1431000 | #Constraints: 128026
3600.04/3609.00 c #Conflicts: 1432000 | #Constraints: 129026
3600.04/3609.00 c #Conflicts: 1433000 | #Constraints: 130026
3600.04/3609.00 c #Conflicts: 1434000 | #Constraints: 131026
3600.04/3609.00 c #Conflicts: 1435000 | #Constraints: 132026
3600.04/3609.00 c #Conflicts: 1436000 | #Constraints: 133026
3600.04/3609.00 c #Conflicts: 1437000 | #Constraints: 134026
3600.04/3609.00 c #Conflicts: 1438000 | #Constraints: 135026
3600.04/3609.00 c #Conflicts: 1439000 | #Constraints: 136026
3600.04/3609.00 c #Conflicts: 1440000 | #Constraints: 137026
3600.04/3609.00 c #Conflicts: 1441000 | #Constraints: 138026
3600.04/3609.00 c #Conflicts: 1442000 | #Constraints: 139026
3600.04/3609.00 c #Conflicts: 1443000 | #Constraints: 140027
3600.04/3609.00 c #Conflicts: 1444000 | #Constraints: 141027
3600.04/3609.00 c #Conflicts: 1445000 | #Constraints: 142027
3600.04/3609.00 c #Conflicts: 1446000 | #Constraints: 143027
3600.04/3609.00 c #Conflicts: 1447000 | #Constraints: 144027
3600.04/3609.00 c #Conflicts: 1448000 | #Constraints: 145027
3600.04/3609.00 c #Conflicts: 1449000 | #Constraints: 146027
3600.04/3609.00 c #Conflicts: 1450000 | #Constraints: 147027
3600.04/3609.00 c cpu time 3572.72 s
3600.04/3609.00 c deterministic time 240953306720 2.41e+11
3600.04/3609.00 c optimization time 227.505 s
3600.04/3609.00 c total solve time 3345.12 s
3600.04/3609.00 c core-guided solve time 0 s
3600.04/3609.00 c propagation time 1822 s
3600.04/3609.00 c conflict analysis time 1285.27 s
3600.04/3609.00 c propagations 1436451730
3600.04/3609.00 c resolve steps 92397165
3600.04/3609.00 c decisions 29629706
3600.04/3609.00 c conflicts 1450803
3600.04/3609.00 c restarts 2812
3600.04/3609.00 c inprocessing phases 50
3600.04/3609.00 c garbage collections 50 ,( 100.00 )
3600.04/3609.00 c input clauses 19220 ,( 99.18 )
3600.04/3609.00 c input cardinalities 159 ,( 0.82 )
3600.04/3609.00 c input general constraints 0 ,( 0.00 )
3600.04/3609.00 c input average constraint length 6.41
3600.04/3609.00 c input average constraint degree 1.96
3600.04/3609.00 c learned clauses 1078919 ,( 74.37 )
3600.04/3609.00 c learned cardinalities 44328 ,( 3.06 )
3600.04/3609.00 c learned general constraints 327560 ,( 22.58 )
3600.04/3609.00 c learned average constraint length 706.10
3600.04/3609.00 c learned average constraint degree 16486695.31
3600.04/3609.00 c watched CF 32, 64, 128, Arb: 84051 , 0 , 0 , 0
3600.04/3609.00 c counting CF 32, 64, 128, Arb: 243509 , 0 , 0 , 0
3600.04/3609.00 c watched constraints 84051 ,( 25.66 )
3600.04/3609.00 c counting constraints 243509 ,( 74.34 )
3600.04/3609.00 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1381657788 , 699403667 , 1981522675 ,( 80456887 , 1901065788 )
3600.04/3609.00 c gcd simplifications 723
3600.04/3609.00 c detected cardinalities 6026
3600.04/3609.00 c weakened non-implied lits 411333646
3600.04/3609.00 c weakened non-implying lits 211202
3600.04/3609.00 c original variables 18966
3600.04/3609.00 c clausal propagations 656351540
3600.04/3609.00 c cardinality propagations 527439111
3600.04/3609.00 c watched propagations 4578250
3600.04/3609.00 c counting propagations 235333782
3600.04/3609.00 c watch lookups 82924450753
3600.04/3609.00 c watch backjump lookups 0
3600.04/3609.00 c watch checks 32622351951
3600.04/3609.00 c propagation checks 117519352827
3600.04/3609.00 c constraint additions 4953237065
3600.04/3609.00 c trail pops 1467516167
3600.04/3609.00 c formula constraints 19379
3600.04/3609.00 c learned constraints 1450798
3600.04/3609.00 c bound constraints 0
3600.04/3609.00 c core-guided constraints 0
3600.04/3609.00 c encountered formula constraints 59037245
3600.04/3609.00 c encountered learned constraints 34810627
3600.04/3609.00 c encountered bound constraints 0
3600.04/3609.00 c encountered core-guided constraints 0
3600.04/3609.00 c LP total time 502.998 s
3600.04/3609.00 c LP solve time 499.06 s
3600.04/3609.00 c LP constraints added 19583
3600.04/3609.00 c LP constraints removed 0
3600.04/3609.00 c LP pivots internal 166731
3600.04/3609.00 c LP pivots root 149789
3600.04/3609.00 c LP calls 17
3600.04/3609.00 c LP optimalities 6
3600.04/3609.00 c LP no pivot count 0
3600.04/3609.00 c LP infeasibilities 4
3600.04/3609.00 c LP valid Farkas constraints 4
3600.04/3609.00 c LP learned Farkas constraints 4
3600.04/3609.00 c LP basis resets 0
3600.04/3609.00 c LP cycling count 0
3600.04/3609.00 c LP singular count 0
3600.04/3609.00 c LP no primal count 0
3600.04/3609.00 c LP no farkas count 0
3600.04/3609.00 c LP other issue count 0
3600.04/3609.00 c LP Gomory cuts 1
3600.04/3609.00 c LP learned cuts 203
3600.04/3609.00 c LP deleted cuts 0
3600.04/3609.00 c LP encountered Gomory constraints 0
3600.04/3609.00 c LP encountered Farkas constraints 89
3600.04/3609.00 c LP encountered learned Farkas constraints 3
3600.04/3609.00 c CG auxiliary variables introduced 0
3600.04/3609.00 c CG solutions found 0
3600.04/3609.00 c CG cores constructed 0
3600.04/3609.00 c CG core cardinality constraints returned 0
3600.04/3609.00 c CG unit cores 0
3600.04/3609.00 c CG single cores 0
3600.04/3609.00 c CG blocks removed during cardinality reduction 0
3600.04/3609.00 c CG first core best 0
3600.04/3609.00 c CG decision core best 0
3600.04/3609.00 c CG core reduction tie 0
3600.04/3609.00 c CG core degree average 0.00
3600.04/3609.00 c CG core slack average 0.00
3600.04/3609.00 c CG core upper bound improvements 0
3600.04/3609.00 c STR number of successful calls 0
3600.04/3609.00 c STR number of unsuccessful calls 0
3600.04/3609.00 c STR number of inconclusive calls 0
3600.04/3609.00 c STR number of successful attempts 0
3600.04/3609.00 c STR number of unsuccessful attempts 0
3600.04/3609.00 c STR number of inconclusive attempts 0
3600.04/3609.00 c STR average degree increase per successful call inf
3600.04/3609.00 c STR average degree increase per successful attempt inf
3600.04/3609.00 c STR total number of conflicts for successful attempts 0
3600.04/3609.00 c STR total number of conflicts for unsuccessful attempts 0
3600.04/3609.00 c STR total number of conflicts for inconclusive attempts 0
3600.04/3609.00 c STR average number of conflicts per successful attempt inf
3600.04/3609.00 c STR average number of conflicts per unsuccessful attempt inf
3600.04/3609.00 c STR average number of conflicts per inconclusive attempt inf
3600.04/3609.00 c AVG.sumWPerc 65.87
3600.04/3609.00 c bigint constraints 0
3600.04/3609.00 s UNKNOWN
3600.04/3609.00 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (63042 MiB free)
memory of node 1: 64507 MiB (64036 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506980-1751172706/watcher-4506980-1751172706 -o /tmp/evaluation-result-4506980-1751172706/solver-4506980-1751172706 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751172706-18878 --watchdog 3760 run-dec-break.sh HOME/instance-4506980-1751172706.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=18934, runsolver pid=18920
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 0.49 0.93 1.22 8/269 18941
/proc/meminfo: memFree=129986288/131249996 swapFree=33010684/33010684
[pid=18934] ppid=18920 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/18934/stat : 18934 (run-dec-break.s) S 18920 18934 18866 0 -1 4194304 236 12369 0 0 0 0 5 2 20 0 1 0 32948419 4292608 768 18446744073709551615 94802044661760 94802045556293 140728880570224 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94802045795344 94802045843088 94802067968000 140728880576865 140728880576994 140728880576994 140728880582596 0
/proc/18934/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB
[startup+0.205773 s]*
/proc/loadavg: 0.49 0.93 1.22 8/269 18944
/proc/meminfo: memFree=129931048/131249996 swapFree=33010684/33010684
[pid=18934] ppid=18920 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/18934/stat : 18934 (run-dec-break.s) S 18920 18934 18866 0 -1 4194304 236 12369 0 0 0 0 5 2 20 0 1 0 32948419 4292608 768 18446744073709551615 94802044661760 94802045556293 140728880570224 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94802045795344 94802045843088 94802067968000 140728880576865 140728880576994 140728880576994 140728880582596 0
/proc/18934/statm: 1048 768 704 219 0 110 0
[pid=18942] ppid=18934 vsize=80268 memory=33112 CPUtime=0.08 cores=1,3
/proc/18942/stat : 18942 (roundingsat) R 18934 18934 18866 0 -1 4194304 6695 0 5 0 6 2 0 0 20 0 1 0 32948430 82194432 8278 18446744073709551615 4227072 8923433 140726724753424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37621760 140726724757828 140726724758056 140726724758056 140726724763626 0
/proc/18942/statm: 20067 8278 2240 1147 0 7494 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 84460 KiB
Current children cumulated memory: 36184 KiB
[startup+0.305853 s]*
/proc/loadavg: 0.49 0.93 1.22 8/269 18944
/proc/meminfo: memFree=129880136/131249996 swapFree=33010684/33010684
[pid=18934] ppid=18920 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/18934/stat : 18934 (run-dec-break.s) S 18920 18934 18866 0 -1 4194304 236 12369 0 0 0 0 5 2 20 0 1 0 32948419 4292608 768 18446744073709551615 94802044661760 94802045556293 140728880570224 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94802045795344 94802045843088 94802067968000 140728880576865 140728880576994 140728880576994 140728880582596 0
/proc/18934/statm: 1048 768 704 219 0 110 0
[pid=18942] ppid=18934 vsize=112048 memory=57288 CPUtime=0.18 cores=1,3
/proc/18942/stat : 18942 (roundingsat) R 18934 18934 18866 0 -1 4194304 11984 0 5 0 15 3 0 0 20 0 1 0 32948430 114737152 14322 18446744073709551615 4227072 8923433 140726724753424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37621760 140726724757828 140726724758056 140726724758056 140726724763626 0
/proc/18942/statm: 28012 14322 2240 1147 0 15439 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 116240 KiB
Current children cumulated memory: 60360 KiB
[startup+0.700187 s]
/proc/loadavg: 0.49 0.93 1.22 8/269 18944
/proc/meminfo: memFree=129874340/131249996 swapFree=33010684/33010684
[pid=18934] ppid=18920 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/18934/stat : 18934 (run-dec-break.s) S 18920 18934 18866 0 -1 4194304 236 12369 0 0 0 0 5 2 20 0 1 0 32948419 4292608 768 18446744073709551615 94802044661760 94802045556293 140728880570224 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94802045795344 94802045843088 94802067968000 140728880576865 140728880576994 140728880576994 140728880582596 0
/proc/18934/statm: 1048 768 704 219 0 110 0
[pid=18942] ppid=18934 vsize=112592 memory=58824 CPUtime=0.57 cores=1,3
/proc/18942/stat : 18942 (roundingsat) R 18934 18934 18866 0 -1 4194304 12330 0 5 0 54 3 0 0 20 0 1 0 32948430 115294208 14706 18446744073709551615 4227072 8923433 140726724753424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37621760 140726724757828 140726724758056 140726724758056 140726724763626 0
/proc/18942/statm: 28148 14706 2272 1147 0 15575 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 116784 KiB
Current children cumulated memory: 61896 KiB
[startup+1.50018 s]
/proc/loadavg: 0.49 0.93 1.22 8/269 18944
/proc/meminfo: memFree=129874340/131249996 swapFree=33010684/33010684
[pid=18934] ppid=18920 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/18934/stat : 18934 (run-dec-break.s) S 18920 18934 18866 0 -1 4194304 236 12369 0 0 0 0 5 2 20 0 1 0 32948419 4292608 768 18446744073709551615 94802044661760 94802045556293 140728880570224 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94802045795344 94802045843088 94802067968000 140728880576865 140728880576994 140728880576994 140728880582596 0
/proc/18934/statm: 1048 768 704 219 0 110 0
[pid=18942] ppid=18934 vsize=112592 memory=58824 CPUtime=1.37 cores=1,3
/proc/18942/stat : 18942 (roundingsat) R 18934 18934 18866 0 -1 4194304 12330 0 5 0 134 3 0 0 20 0 1 0 32948430 115294208 14706 18446744073709551615 4227072 8923433 140726724753424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37621760 140726724757828 140726724758056 140726724758056 140726724763626 0
/proc/18942/statm: 28148 14706 2272 1147 0 15575 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 116784 KiB
Current children cumulated memory: 61896 KiB
[startup+3.10567 s]
/proc/loadavg: 0.77 0.98 1.24 8/269 18944
/proc/meminfo: memFree=129865324/131249996 swapFree=33010684/33010684
[pid=18934] ppid=18920 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/18934/stat : 18934 (run-dec-break.s) S 18920 18934 18866 0 -1 4194304 236 12369 0 0 0 0 5 2 20 0 1 0 32948419 4292608 768 18446744073709551615 94802044661760 94802045556293 140728880570224 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94802045795344 94802045843088 94802067968000 140728880576865 140728880576994 140728880576994 140728880582596 0
/proc/18934/statm: 1048 768 704 219 0 110 0
[pid=18942] ppid=18934 vsize=116172 memory=62792 CPUtime=2.97 cores=1,3
/proc/18942/stat : 18942 (roundingsat) R 18934 18934 18866 0 -1 4194304 13291 0 5 0 293 4 0 0 20 0 1 0 32948430 118960128 15698 18446744073709551615 4227072 8923433 140726724753424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37621760 140726724757828 140726724758056 140726724758056 140726724763626 0
/proc/18942/statm: 29043 15698 2304 1147 0 16470 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 120364 KiB
Current children cumulated memory: 65864 KiB
[startup+6.30017 s]
/proc/loadavg: 0.77 0.98 1.24 8/269 18944
/proc/meminfo: memFree=129853648/131249996 swapFree=33010684/33010684
[pid=18934] ppid=18920 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/18934/stat : 18934 (run-dec-break.s) S 18920 18934 18866 0 -1 4194304 236 12369 0 0 0 0 5 2 20 0 1 0 32948419 4292608 768 18446744073709551615 94802044661760 94802045556293 140728880570224 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94802045795344 94802045843088 94802067968000 140728880576865 140728880576994 140728880576994 140728880582596 0
/proc/18934/statm: 1048 768 704 219 0 110 0
[pid=18942] ppid=18934 vsize=121064 memory=71704 CPUtime=6.16 cores=1,3
/proc/18942/stat : 18942 (roundingsat) R 18934 18934 18866 0 -1 4194304 15001 0 5 0 599 17 0 0 20 0 1 0 32948430 123969536 17926 18446744073709551615 4227072 8923433 140726724753424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37621760 140726724757828 140726724758056 140726724758056 140726724763626 0
/proc/18942/statm: 30266 17926 2336 1147 0 17693 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 125256 KiB
Current children cumulated memory: 74776 KiB
[startup+12.7002 s]
/proc/loadavg: 1.27 1.08 1.27 8/269 18944
/proc/meminfo: memFree=129842136/131249996 swapFree=33010684/33010684
[pid=18934] ppid=18920 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/18934/stat : 18934 (run-dec-break.s) S 18920 18934 18866 0 -1 4194304 236 12369 0 0 0 0 5 2 20 0 1 0 32948419 4292608 768 18446744073709551615 94802044661760 94802045556293 140728880570224 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94802045795344 94802045843088 94802067968000 140728880576865 140728880576994 140728880576994 140728880582596 0
/proc/18934/statm: 1048 768 704 219 0 110 0
[pid=18942] ppid=18934 vsize=130492 memory=81212 CPUtime=12.54 cores=1,3
/proc/18942/stat : 18942 (roundingsat) R 18934 18934 18866 0 -1 4194304 16841 0 5 0 1224 30 0 0 20 0 1 0 32948430 133623808 20303 18446744073709551615 4227072 8923433 140726724753424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37621760 140726724757828 140726724758056 140726724758056 140726724763626 0
/proc/18942/statm: 32623 20303 2336 1147 0 20050 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 134684 KiB
Current children cumulated memory: 84284 KiB
[startup+25.5002 s]
/proc/loadavg: 1.77 1.19 1.30 8/269 18944
/proc/meminfo: memFree=129770240/131249996 swapFree=33010684/33010684
[pid=18934] ppid=18920 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/18934/stat : 18934 (run-dec-break.s) S 18920 18934 18866 0 -1 4194304 236 12369 0 0 0 0 5 2 20 0 1 0 32948419 4292608 768 18446744073709551615 94802044661760 94802045556293 140728880570224 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94802045795344 94802045843088 94802067968000 140728880576865 140728880576994 140728880576994 140728880582596 0
/proc/18934/statm: 1048 768 704 219 0 110 0
[pid=18942] ppid=18934 vsize=154924 memory=101992 CPUtime=25.31 cores=1,3
/proc/18942/stat : 18942 (roundingsat) R 18934 18934 18866 0 -1 4194304 21043 0 5 0 2475 56 0 0 20 0 1 0 32948430 158642176 25498 18446744073709551615 4227072 8923433 140726724753424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37621760 140726724757828 140726724758056 140726724758056 140726724763626 0
/proc/18942/statm: 38731 25498 2336 1147 0 26158 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 159116 KiB
Current children cumulated memory: 105064 KiB
[startup+51.1057 s]
/proc/loadavg: 2.53 1.42 1.38 8/269 18946
/proc/meminfo: memFree=129666272/131249996 swapFree=33010684/33010684
[pid=18934] ppid=18920 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/18934/stat : 18934 (run-dec-break.s) S 18920 18934 18866 0 -1 4194304 236 12369 0 0 0 0 5 2 20 0 1 0 32948419 4292608 768 18446744073709551615 94802044661760 94802045556293 140728880570224 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94802045795344 94802045843088 94802067968000 140728880576865 140728880576994 140728880576994 140728880582596 0
/proc/18934/statm: 1048 768 704 219 0 110 0
[pid=18942] ppid=18934 vsize=184204 memory=127548 CPUtime=50.86 cores=1,3
/proc/18942/stat : 18942 (roundingsat) R 18934 18934 18866 0 -1 4194304 25957 0 5 0 4979 107 0 0 20 0 1 0 32948430 188624896 31887 18446744073709551615 4227072 8923433 140726724753424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37621760 140726724757828 140726724758056 140726724758056 140726724763626 0
/proc/18942/statm: 46051 31887 2336 1147 0 33478 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 188396 KiB
Current children cumulated memory: 130620 KiB
[startup+102.3 s]
/proc/loadavg: 3.46 1.87 1.54 8/270 18949
/proc/meminfo: memFree=129499708/131249996 swapFree=33010684/33010684
[pid=18934] ppid=18920 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/18934/stat : 18934 (run-dec-break.s) S 18920 18934 18866 0 -1 4194304 236 12369 0 0 0 0 5 2 20 0 1 0 32948419 4292608 768 18446744073709551615 94802044661760 94802045556293 140728880570224 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94802045795344 94802045843088 94802067968000 140728880576865 140728880576994 140728880576994 140728880582596 0
/proc/18934/statm: 1048 768 704 219 0 110 0
[pid=18942] ppid=18934 vsize=225352 memory=160040 CPUtime=101.92 cores=1,3
/proc/18942/stat : 18942 (roundingsat) R 18934 18934 18866 0 -1 4194304 32034 0 5 0 10000 192 0 0 20 0 1 0 32948430 230760448 40010 18446744073709551615 4227072 8923433 140726724753424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37621760 140726724757828 140726724758056 140726724758056 140726724763626 0
/proc/18942/statm: 56338 40010 2336 1147 0 43765 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 229544 KiB
Current children cumulated memory: 163112 KiB
[startup+162.3 s]
/proc/loadavg: 3.84 2.28 1.70 8/270 18950
/proc/meminfo: memFree=129350872/131249996 swapFree=33010684/33010684
[pid=18934] ppid=18920 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/18934/stat : 18934 (run-dec-break.s) S 18920 18934 18866 0 -1 4194304 236 12369 0 0 0 0 5 2 20 0 1 0 32948419 4292608 768 18446744073709551615 94802044661760 94802045556293 140728880570224 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94802045795344 94802045843088 94802067968000 140728880576865 140728880576994 140728880576994 140728880582596 0
/proc/18934/statm: 1048 768 704 219 0 110 0
[pid=18942] ppid=18934 vsize=274444 memory=202120 CPUtime=161.79 cores=1,3
/proc/18942/stat : 18942 (roundingsat) R 18934 18934 18866 0 -1 4194304 36938 0 5 0 15913 266 0 0 20 0 1 0 32948430 281030656 50530 18446744073709551615 4227072 8923433 140726724753424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37621760 140726724757828 140726724758056 140726724758056 140726724763626 0
/proc/18942/statm: 68611 50530 2336 1147 0 56038 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 278636 KiB
Current children cumulated memory: 205192 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 2.62 1.86 8/270 18952
/proc/meminfo: memFree=129275968/131249996 swapFree=33010684/33010684
[pid=18934] ppid=18920 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/18934/stat : 18934 (run-dec-break.s) S 18920 18934 18866 0 -1 4194304 236 12369 0 0 0 0 5 2 20 0 1 0 32948419 4292608 768 18446744073709551615 94802044661760 94802045556293 140728880570224 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94802045795344 94802045843088 94802067968000 140728880576865 140728880576994 140728880576994 140728880582596 0
/proc/18934/statm: 1048 768 704 219 0 110 0
[pid=18942] ppid=18934 vsize=288688 memory=216456 CPUtime=221.65 cores=1,3
/proc/18942/stat : 18942 (roundingsat) R 18934 18934 18866 0 -1 4194304 40514 0 5 0 21800 365 0 0 20 0 1 0 32948430 295616512 54114 18446744073709551615 4227072 8923433 140726724753424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37621760 140726724757828 140726724758056 140726724758056 140726724763626 0
/proc/18942/statm: 72172 54114 2336 1147 0 59599 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 292880 KiB
Current children cumulated memory: 219528 KiB
################
# More data... #
################
/proc/18942/statm: 279623 228254 2336 1147 0 267050 0
Current children cumulated CPU time: 3034.86 s
Current children cumulated vsize: 1122684 KiB
Current children cumulated memory: 916088 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.09 4.02 8/268 19099
/proc/meminfo: memFree=125785140/131249996 swapFree=33010684/33010684
[pid=18934] ppid=18920 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/18934/stat : 18934 (run-dec-break.s) S 18920 18934 18866 0 -1 4194304 236 12369 0 0 0 0 5 2 20 0 1 0 32948419 4292608 768 18446744073709551615 94802044661760 94802045556293 140728880570224 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94802045795344 94802045843088 94802067968000 140728880576865 140728880576994 140728880576994 140728880582596 0
/proc/18934/statm: 1048 768 704 219 0 110 0
[pid=18942] ppid=18934 vsize=1119608 memory=914552 CPUtime=3094.63 cores=1,3
/proc/18942/stat : 18942 (roundingsat) R 18934 18934 18866 0 -1 4194304 122587 0 5 0 307029 2434 0 0 20 0 1 0 32948430 1146478592 228638 18446744073709551615 4227072 8923433 140726724753424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37621760 140726724757828 140726724758056 140726724758056 140726724763626 0
/proc/18942/statm: 279902 228638 2336 1147 0 267329 0
Current children cumulated CPU time: 3094.7 s
Current children cumulated vsize: 1123800 KiB
Current children cumulated memory: 917624 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.09 4.02 8/268 19101
/proc/meminfo: memFree=125777320/131249996 swapFree=33010684/33010684
[pid=18934] ppid=18920 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/18934/stat : 18934 (run-dec-break.s) S 18920 18934 18866 0 -1 4194304 236 12369 0 0 0 0 5 2 20 0 1 0 32948419 4292608 768 18446744073709551615 94802044661760 94802045556293 140728880570224 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94802045795344 94802045843088 94802067968000 140728880576865 140728880576994 140728880576994 140728880582596 0
/proc/18934/statm: 1048 768 704 219 0 110 0
[pid=18942] ppid=18934 vsize=1119608 memory=914936 CPUtime=3154.47 cores=1,3
/proc/18942/stat : 18942 (roundingsat) R 18934 18934 18866 0 -1 4194304 122694 0 5 0 312972 2475 0 0 20 0 1 0 32948430 1146478592 228734 18446744073709551615 4227072 8923433 140726724753424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37621760 140726724757828 140726724758056 140726724758056 140726724763626 0
/proc/18942/statm: 279902 228734 2336 1147 0 267329 0
Current children cumulated CPU time: 3154.54 s
Current children cumulated vsize: 1123800 KiB
Current children cumulated memory: 918008 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.10 4.02 8/268 19103
/proc/meminfo: memFree=125776920/131249996 swapFree=33010684/33010684
[pid=18934] ppid=18920 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/18934/stat : 18934 (run-dec-break.s) S 18920 18934 18866 0 -1 4194304 236 12369 0 0 0 0 5 2 20 0 1 0 32948419 4292608 768 18446744073709551615 94802044661760 94802045556293 140728880570224 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94802045795344 94802045843088 94802067968000 140728880576865 140728880576994 140728880576994 140728880582596 0
/proc/18934/statm: 1048 768 704 219 0 110 0
[pid=18942] ppid=18934 vsize=1119608 memory=914936 CPUtime=3214.31 cores=1,3
/proc/18942/stat : 18942 (roundingsat) R 18934 18934 18866 0 -1 4194304 122697 0 5 0 318935 2496 0 0 20 0 1 0 32948430 1146478592 228734 18446744073709551615 4227072 8923433 140726724753424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37621760 140726724757828 140726724758056 140726724758056 140726724763626 0
/proc/18942/statm: 279902 228734 2336 1147 0 267329 0
Current children cumulated CPU time: 3214.38 s
Current children cumulated vsize: 1123800 KiB
Current children cumulated memory: 918008 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.09 4.02 8/268 19105
/proc/meminfo: memFree=125776756/131249996 swapFree=33010684/33010684
[pid=18934] ppid=18920 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/18934/stat : 18934 (run-dec-break.s) S 18920 18934 18866 0 -1 4194304 236 12369 0 0 0 0 5 2 20 0 1 0 32948419 4292608 768 18446744073709551615 94802044661760 94802045556293 140728880570224 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94802045795344 94802045843088 94802067968000 140728880576865 140728880576994 140728880576994 140728880582596 0
/proc/18934/statm: 1048 768 704 219 0 110 0
[pid=18942] ppid=18934 vsize=1127868 memory=921592 CPUtime=3274.15 cores=1,3
/proc/18942/stat : 18942 (roundingsat) R 18934 18934 18866 0 -1 4194304 124353 0 5 0 324895 2520 0 0 20 0 1 0 32948430 1154936832 230398 18446744073709551615 4227072 8923433 140726724753424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37621760 140726724757828 140726724758056 140726724758056 140726724763626 0
/proc/18942/statm: 281967 230398 2336 1147 0 269394 0
Current children cumulated CPU time: 3274.22 s
Current children cumulated vsize: 1132060 KiB
Current children cumulated memory: 924664 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.10 4.03 8/268 19109
/proc/meminfo: memFree=125733104/131249996 swapFree=33010684/33010684
[pid=18934] ppid=18920 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/18934/stat : 18934 (run-dec-break.s) S 18920 18934 18866 0 -1 4194304 236 12369 0 0 0 0 5 2 20 0 1 0 32948419 4292608 768 18446744073709551615 94802044661760 94802045556293 140728880570224 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94802045795344 94802045843088 94802067968000 140728880576865 140728880576994 140728880576994 140728880582596 0
/proc/18934/statm: 1048 768 704 219 0 110 0
[pid=18942] ppid=18934 vsize=1135060 memory=928504 CPUtime=3333.98 cores=1,3
/proc/18942/stat : 18942 (roundingsat) R 18934 18934 18866 0 -1 4194304 126076 0 5 0 330846 2552 0 0 20 0 1 0 32948430 1162301440 232126 18446744073709551615 4227072 8923433 140726724753424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37621760 140726724757828 140726724758056 140726724758056 140726724763626 0
/proc/18942/statm: 283765 232126 2336 1147 0 271192 0
Current children cumulated CPU time: 3334.05 s
Current children cumulated vsize: 1139252 KiB
Current children cumulated memory: 931576 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.10 4.03 8/267 19116
/proc/meminfo: memFree=125708672/131249996 swapFree=33010684/33010684
[pid=18934] ppid=18920 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/18934/stat : 18934 (run-dec-break.s) S 18920 18934 18866 0 -1 4194304 236 12369 0 0 0 0 5 2 20 0 1 0 32948419 4292608 768 18446744073709551615 94802044661760 94802045556293 140728880570224 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94802045795344 94802045843088 94802067968000 140728880576865 140728880576994 140728880576994 140728880582596 0
/proc/18934/statm: 1048 768 704 219 0 110 0
[pid=18942] ppid=18934 vsize=1135060 memory=928504 CPUtime=3393.82 cores=1,3
/proc/18942/stat : 18942 (roundingsat) R 18934 18934 18866 0 -1 4194304 126078 0 5 0 336775 2607 0 0 20 0 1 0 32948430 1162301440 232126 18446744073709551615 4227072 8923433 140726724753424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37621760 140726724757828 140726724758056 140726724758056 140726724763626 0
/proc/18942/statm: 283765 232126 2336 1147 0 271192 0
Current children cumulated CPU time: 3393.89 s
Current children cumulated vsize: 1139252 KiB
Current children cumulated memory: 931576 KiB
[startup+3462.3 s]
/proc/loadavg: 4.04 4.08 4.02 8/268 19119
/proc/meminfo: memFree=125677888/131249996 swapFree=33010684/33010684
[pid=18934] ppid=18920 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/18934/stat : 18934 (run-dec-break.s) S 18920 18934 18866 0 -1 4194304 236 12369 0 0 0 0 5 2 20 0 1 0 32948419 4292608 768 18446744073709551615 94802044661760 94802045556293 140728880570224 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94802045795344 94802045843088 94802067968000 140728880576865 140728880576994 140728880576994 140728880582596 0
/proc/18934/statm: 1048 768 704 219 0 110 0
[pid=18942] ppid=18934 vsize=1135060 memory=928504 CPUtime=3453.66 cores=1,3
/proc/18942/stat : 18942 (roundingsat) R 18934 18934 18866 0 -1 4194304 126078 0 5 0 342717 2649 0 0 20 0 1 0 32948430 1162301440 232126 18446744073709551615 4227072 8923433 140726724753424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37621760 140726724757828 140726724758056 140726724758056 140726724763626 0
/proc/18942/statm: 283765 232126 2336 1147 0 271192 0
Current children cumulated CPU time: 3453.73 s
Current children cumulated vsize: 1139252 KiB
Current children cumulated memory: 931576 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.09 4.03 8/268 19121
/proc/meminfo: memFree=125659944/131249996 swapFree=33010684/33010684
[pid=18934] ppid=18920 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/18934/stat : 18934 (run-dec-break.s) S 18920 18934 18866 0 -1 4194304 236 12369 0 0 0 0 5 2 20 0 1 0 32948419 4292608 768 18446744073709551615 94802044661760 94802045556293 140728880570224 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94802045795344 94802045843088 94802067968000 140728880576865 140728880576994 140728880576994 140728880582596 0
/proc/18934/statm: 1048 768 704 219 0 110 0
[pid=18942] ppid=18934 vsize=1136456 memory=929656 CPUtime=3513.49 cores=1,3
/proc/18942/stat : 18942 (roundingsat) R 18934 18934 18866 0 -1 4194304 126376 0 5 0 348662 2687 0 0 20 0 1 0 32948430 1163730944 232414 18446744073709551615 4227072 8923433 140726724753424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37621760 140726724757828 140726724758056 140726724758056 140726724763626 0
/proc/18942/statm: 284114 232414 2336 1147 0 271541 0
Current children cumulated CPU time: 3513.56 s
Current children cumulated vsize: 1140648 KiB
Current children cumulated memory: 932728 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.09 4.03 8/268 19123
/proc/meminfo: memFree=125653648/131249996 swapFree=33010684/33010684
[pid=18934] ppid=18920 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/18934/stat : 18934 (run-dec-break.s) S 18920 18934 18866 0 -1 4194304 236 12369 0 0 0 0 5 2 20 0 1 0 32948419 4292608 768 18446744073709551615 94802044661760 94802045556293 140728880570224 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94802045795344 94802045843088 94802067968000 140728880576865 140728880576994 140728880576994 140728880582596 0
/proc/18934/statm: 1048 768 704 219 0 110 0
[pid=18942] ppid=18934 vsize=1147520 memory=940608 CPUtime=3573.33 cores=1,3
/proc/18942/stat : 18942 (roundingsat) R 18934 18934 18866 0 -1 4194304 128737 0 5 0 354620 2713 0 0 20 0 1 0 32948430 1175060480 235152 18446744073709551615 4227072 8923433 140726724753424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37621760 140726724757828 140726724758056 140726724758056 140726724763626 0
/proc/18942/statm: 286880 235152 2336 1147 0 274307 0
Current children cumulated CPU time: 3573.4 s
Current children cumulated vsize: 1151712 KiB
Current children cumulated memory: 943680 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609 s]*
/proc/loadavg: 4.12 4.10 4.03 7/263 19133
/proc/meminfo: memFree=126542724/131249996 swapFree=33010684/33010684
[pid=18934] ppid=18920 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/18934/stat : 18934 (run-dec-break.s) S 18920 18934 18866 0 -1 4194304 236 12369 0 0 0 0 5 2 20 0 1 0 32948419 4292608 768 18446744073709551615 94802044661760 94802045556293 140728880570224 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94802045795344 94802045843088 94802067968000 140728880576865 140728880576994 140728880576994 140728880582596 0
/proc/18934/statm: 1048 768 704 219 0 110 0
[pid=18942] ppid=18934 vsize=1147520 memory=940608 CPUtime=3599.97 cores=1,3
/proc/18942/stat : 18942 (roundingsat) R 18934 18934 18866 0 -1 4194304 128768 0 5 0 357272 2725 0 0 20 0 1 0 32948430 1175060480 235152 18446744073709551615 4227072 8923433 140726724753424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37621760 140726724757828 140726724758056 140726724758056 140726724763626 0
/proc/18942/statm: 286880 235152 2336 1147 0 274307 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1151712 KiB
Current children cumulated memory: 943680 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.01 s]
# the end of solver process 18934 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.05239 s, system=0.029102 s
Sleeping 2 seconds
[startup+3609.03 s]
# the end of solver process 18942 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3572.78 s, system=27.2978 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3609.03
CPU time (s): 3600.08
CPU user time (s): 3572.78
CPU system time (s): 27.2978
CPU usage (%): 99.752
Max. virtual memory (cumulated for all children) (KiB): 1151712
Max. memory (cumulated for all children) (KiB): 943680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3572.78
system time used= 27.2978
maximum resident set size= 940992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 141396
page faults= 5
swaps= 0
block input operations= 0
block output operations= 2592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 478
involuntary context switches= 2930
# summary of solver processes directly reported to runsolver:
# pid: 18934,18942
# total CPU time (s): 3600.08
# total CPU user time (s): 3572.78
# total CPU system time (s): 27.2978
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.29625 second user time and 16.6509 second system time
The end
Begin job on nodeC022 at 2025-06-29 06:51:46
IDJOB=4506980
IDBENCH=158311
IDSOLVER=3357
FILE ID=nodeC022/4506980-1751172706
RUNJOBID= nodeC022-1751172706-18878
SLURM_JOB_ID= 9587539
Free space on /tmp= 433060 MiB
SOLVER NAME= roundingsat+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K159.opb
COMMAND LINE= run-dec-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506980-1751172706/watcher-4506980-1751172706 -o /tmp/evaluation-result-4506980-1751172706/solver-4506980-1751172706 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751172706-18878 --watchdog 3760 run-dec-break.sh HOME/instance-4506980-1751172706.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 27d58ce279c297ab3aeba38d0412d1d9
RANDOM SEED=1606326041
nodeC022 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.021
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.44
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.985
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.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.863
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.44
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 : 3785.591
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.44
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 : 3600.274
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.44
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.949
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.44
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 : 3602.218
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.44
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 : 3600.001
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.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 130133460 kB
MemAvailable: 129784840 kB
Buffers: 3280 kB
Cached: 462324 kB
SwapCached: 0 kB
Active: 315852 kB
Inactive: 213980 kB
Active(anon): 82288 kB
Inactive(anon): 0 kB
Active(file): 233564 kB
Inactive(file): 213980 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 33596 kB
Writeback: 0 kB
AnonPages: 67364 kB
Mapped: 102032 kB
Shmem: 18060 kB
KReclaimable: 85748 kB
Slab: 168720 kB
SReclaimable: 85748 kB
SUnreclaim: 82972 kB
KernelStack: 4160 kB
PageTables: 2816 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 334448 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150408 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10240 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: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433024 MiB
End job on nodeC022 at 2025-06-29 07:51:56