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-4507016-1751176317.opb'
0.00/0.04 c read 1.43MB (18.64ms)
0.00/0.04 c [cnf: #variables 20706 #clauses 21056 #duplicates 0 #arr 135472]
0.00/0.04 c
0.00/0.04 c make graph and approximate orbits
0.00/0.07 c [group: #orbits ~= 3132] (26.30ms)
0.00/0.07 c
0.00/0.07 c detect special group actions
0.00/0.07 c probe for Johnson action (limit=64)
0.00/0.07 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.13ms)
0.00/0.07 c
0.00/0.07 c detect symmetries on remainder
0.00/0.07 c [graph: #vertices 103880 #edges 395180]
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] (22.63ms)
0.00/0.09 c
0.00/0.09 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.10 c (0.08ms)
0.00/0.10 c
0.00/0.10 c finalize break order and special generators
0.00/0.10 c
0.00/0.10 c add generic predicates (break_depth=10)
0.00/0.10 c added predicates for 5 generators (0.24ms)
0.00/0.10 c
0.00/0.10 c generation finished
0.00/0.10 c [sbp: #constraints 140 #add_vars 45]
0.00/0.10 c
0.00/0.10 c write result to 'HOME/instance-4507016-1751176317.opb.pre'
0.00/0.10 c wrote 1.46MB (3.46ms)
0.00/0.10 c ------------------------------------------------------------------
0.00/0.10 c 26.30ms 33.83% approx_orbits
0.00/0.10 c 22.63ms 29.11% detect_generic
0.00/0.10 c 18.64ms 23.98% parse
0.00/0.10 c 4.13ms 5.31% detect_special
0.00/0.10 c 3.46ms 4.45% output
0.00/0.10 c 1.47ms 1.89% other
0.00/0.10 c 0.80ms 1.03% finalize_order
0.00/0.10 c 0.24ms 0.31% break_generic
0.00/0.10 c 0.08ms 0.10% optimize_gens
0.00/0.10 c ───────────────────────────────────────────────
0.00/0.10 c 77.74ms 100% total
0.00/0.10 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.24 c #variables 20751 #constraints 21194
112.36/112.70 c #Conflicts: 1000 | #Constraints: 22193
112.36/112.70 c #Conflicts: 2000 | #Constraints: 23193
112.36/112.70 c INPROCESSING
112.36/112.70 c GARBAGE COLLECT
112.36/112.70 c #Conflicts: 3000 | #Constraints: 22439
112.36/112.70 c #Conflicts: 4000 | #Constraints: 23439
112.36/112.70 c INPROCESSING
112.36/112.70 c GARBAGE COLLECT
112.36/112.70 c #Conflicts: 5000 | #Constraints: 22958
112.36/112.70 c #Conflicts: 6000 | #Constraints: 23958
112.36/112.70 c INPROCESSING
112.36/112.70 c GARBAGE COLLECT
112.36/112.70 c #Conflicts: 7000 | #Constraints: 23062
112.36/112.70 c #Conflicts: 8000 | #Constraints: 24062
112.36/112.70 c #Conflicts: 9000 | #Constraints: 25062
112.36/112.70 c INPROCESSING
112.36/112.70 c GARBAGE COLLECT
112.36/112.70 c #Conflicts: 10000 | #Constraints: 23898
112.36/112.70 c #Conflicts: 11000 | #Constraints: 24898
112.36/112.70 c #Conflicts: 12000 | #Constraints: 25898
112.36/112.70 c #Conflicts: 13000 | #Constraints: 26898
112.36/112.70 c #Conflicts: 14000 | #Constraints: 27898
112.36/112.70 c #Conflicts: 15000 | #Constraints: 28898
112.36/112.70 c #Conflicts: 16000 | #Constraints: 29898
112.36/112.70 c INPROCESSING
112.36/112.70 c GARBAGE COLLECT
112.36/112.70 c #Conflicts: 17000 | #Constraints: 26191
112.36/112.70 c #Conflicts: 18000 | #Constraints: 27191
112.36/112.70 c #Conflicts: 19000 | #Constraints: 28191
112.36/112.70 c #Conflicts: 20000 | #Constraints: 29191
112.36/112.70 c INPROCESSING
112.36/112.70 c GARBAGE COLLECT
112.36/112.70 c #Conflicts: 21000 | #Constraints: 26302
112.36/112.70 c #Conflicts: 22000 | #Constraints: 27302
112.36/112.70 c #Conflicts: 23000 | #Constraints: 28302
112.36/112.70 c #Conflicts: 24000 | #Constraints: 29302
112.36/112.70 c #Conflicts: 25000 | #Constraints: 30302
112.36/112.70 c #Conflicts: 26000 | #Constraints: 31302
112.36/112.70 c #Conflicts: 27000 | #Constraints: 32302
112.36/112.70 c #Conflicts: 28000 | #Constraints: 33302
112.36/112.70 c #Conflicts: 29000 | #Constraints: 34302
112.36/112.70 c #Conflicts: 30000 | #Constraints: 35302
112.36/112.70 c INPROCESSING
112.36/112.70 c GARBAGE COLLECT
112.36/112.70 c #Conflicts: 31000 | #Constraints: 28795
112.36/112.70 c #Conflicts: 32000 | #Constraints: 29795
112.36/112.70 c #Conflicts: 33000 | #Constraints: 30795
112.36/112.70 c #Conflicts: 34000 | #Constraints: 31795
112.36/112.70 c #Conflicts: 35000 | #Constraints: 32795
112.36/112.70 c #Conflicts: 36000 | #Constraints: 33795
112.36/112.70 c INPROCESSING
112.36/112.70 c GARBAGE COLLECT
112.36/112.70 c #Conflicts: 37000 | #Constraints: 29459
112.36/112.70 c #Conflicts: 38000 | #Constraints: 30459
112.36/112.70 c #Conflicts: 39000 | #Constraints: 31459
112.36/112.70 c #Conflicts: 40000 | #Constraints: 32459
112.36/112.70 c #Conflicts: 41000 | #Constraints: 33459
112.36/112.70 c #Conflicts: 42000 | #Constraints: 34459
112.36/112.70 c #Conflicts: 43000 | #Constraints: 35459
112.36/112.70 c #Conflicts: 44000 | #Constraints: 36459
112.36/112.70 c #Conflicts: 45000 | #Constraints: 37459
112.36/112.70 c #Conflicts: 46000 | #Constraints: 38459
112.36/112.70 c #Conflicts: 47000 | #Constraints: 39459
112.36/112.70 c #Conflicts: 48000 | #Constraints: 40459
112.36/112.70 c #Conflicts: 49000 | #Constraints: 41459
112.36/112.70 c INPROCESSING
112.36/112.70 c GARBAGE COLLECT
112.36/112.70 c #Conflicts: 50000 | #Constraints: 32175
112.36/112.70 c #Conflicts: 51000 | #Constraints: 33175
112.36/112.70 c #Conflicts: 52000 | #Constraints: 34175
112.36/112.70 c #Conflicts: 53000 | #Constraints: 35175
112.36/112.70 c #Conflicts: 54000 | #Constraints: 36175
112.36/112.70 c #Conflicts: 55000 | #Constraints: 37175
112.36/112.70 c #Conflicts: 56000 | #Constraints: 38175
112.36/112.70 c INPROCESSING
112.36/112.70 c GARBAGE COLLECT
112.36/112.70 c #Conflicts: 57000 | #Constraints: 31977
112.36/112.70 c #Conflicts: 58000 | #Constraints: 32977
112.36/112.70 c #Conflicts: 59000 | #Constraints: 33977
112.36/112.70 c #Conflicts: 60000 | #Constraints: 34977
112.36/112.70 c #Conflicts: 61000 | #Constraints: 35977
112.36/112.70 c #Conflicts: 62000 | #Constraints: 36977
112.36/112.70 c #Conflicts: 63000 | #Constraints: 37977
112.36/112.70 c #Conflicts: 64000 | #Constraints: 38977
112.36/112.70 c #Conflicts: 65000 | #Constraints: 39977
112.36/112.70 c #Conflicts: 66000 | #Constraints: 40977
112.36/112.70 c #Conflicts: 67000 | #Constraints: 41977
112.36/112.70 c #Conflicts: 68000 | #Constraints: 42977
112.36/112.70 c #Conflicts: 69000 | #Constraints: 43977
112.36/112.70 c #Conflicts: 70000 | #Constraints: 44977
112.36/112.70 c #Conflicts: 71000 | #Constraints: 45977
112.36/112.70 c #Conflicts: 72000 | #Constraints: 46977
112.36/112.70 c INPROCESSING
112.36/112.70 c GARBAGE COLLECT
230.89/231.54 c #Conflicts: 73000 | #Constraints: 35035
230.89/231.54 c #Conflicts: 74000 | #Constraints: 36035
230.89/231.54 c #Conflicts: 75000 | #Constraints: 37035
230.89/231.54 c #Conflicts: 76000 | #Constraints: 38035
230.89/231.54 c #Conflicts: 77000 | #Constraints: 39035
230.89/231.54 c #Conflicts: 78000 | #Constraints: 40035
230.89/231.54 c #Conflicts: 79000 | #Constraints: 41035
230.89/231.54 c #Conflicts: 80000 | #Constraints: 42035
230.89/231.54 c INPROCESSING
230.89/231.54 c GARBAGE COLLECT
230.89/231.54 c #Conflicts: 81000 | #Constraints: 34644
230.89/231.54 c #Conflicts: 82000 | #Constraints: 35644
230.89/231.54 c #Conflicts: 83000 | #Constraints: 36644
230.89/231.54 c #Conflicts: 84000 | #Constraints: 37644
230.89/231.54 c #Conflicts: 85000 | #Constraints: 38644
230.89/231.54 c #Conflicts: 86000 | #Constraints: 39644
230.89/231.54 c #Conflicts: 87000 | #Constraints: 40644
230.89/231.54 c #Conflicts: 88000 | #Constraints: 41644
230.89/231.54 c #Conflicts: 89000 | #Constraints: 42644
230.89/231.54 c #Conflicts: 90000 | #Constraints: 43644
230.89/231.54 c #Conflicts: 91000 | #Constraints: 44644
230.89/231.54 c #Conflicts: 92000 | #Constraints: 45644
230.89/231.54 c #Conflicts: 93000 | #Constraints: 46644
230.89/231.54 c #Conflicts: 94000 | #Constraints: 47644
230.89/231.54 c #Conflicts: 95000 | #Constraints: 48644
230.89/231.54 c #Conflicts: 96000 | #Constraints: 49644
230.89/231.54 c #Conflicts: 97000 | #Constraints: 50644
230.89/231.54 c #Conflicts: 98000 | #Constraints: 51644
230.89/231.54 c #Conflicts: 99000 | #Constraints: 52644
230.89/231.54 c #Conflicts: 100000 | #Constraints: 53644
230.89/231.54 c INPROCESSING
230.89/231.54 c GARBAGE COLLECT
230.89/231.54 c #Conflicts: 101000 | #Constraints: 38687
230.89/231.54 c #Conflicts: 102000 | #Constraints: 39687
230.89/231.54 c #Conflicts: 103000 | #Constraints: 40687
230.89/231.54 c #Conflicts: 104000 | #Constraints: 41687
230.89/231.54 c #Conflicts: 105000 | #Constraints: 42687
230.89/231.54 c #Conflicts: 106000 | #Constraints: 43687
230.89/231.54 c #Conflicts: 107000 | #Constraints: 44687
230.89/231.54 c #Conflicts: 108000 | #Constraints: 45687
230.89/231.54 c #Conflicts: 109000 | #Constraints: 46687
230.89/231.54 c INPROCESSING
230.89/231.54 c GARBAGE COLLECT
230.89/231.54 c #Conflicts: 110000 | #Constraints: 37223
230.89/231.54 c #Conflicts: 111000 | #Constraints: 38223
230.89/231.54 c #Conflicts: 112000 | #Constraints: 39223
230.89/231.54 c #Conflicts: 113000 | #Constraints: 40223
230.89/231.54 c #Conflicts: 114000 | #Constraints: 41223
230.89/231.54 c #Conflicts: 115000 | #Constraints: 42223
230.89/231.54 c #Conflicts: 116000 | #Constraints: 43223
230.89/231.54 c #Conflicts: 117000 | #Constraints: 44223
230.89/231.54 c #Conflicts: 118000 | #Constraints: 45223
230.89/231.54 c #Conflicts: 119000 | #Constraints: 46223
230.89/231.54 c #Conflicts: 120000 | #Constraints: 47223
230.89/231.54 c #Conflicts: 121000 | #Constraints: 48223
230.89/231.54 c #Conflicts: 122000 | #Constraints: 49223
230.89/231.54 c #Conflicts: 123000 | #Constraints: 50223
230.89/231.54 c #Conflicts: 124000 | #Constraints: 51223
230.89/231.54 c #Conflicts: 125000 | #Constraints: 52223
230.89/231.54 c #Conflicts: 126000 | #Constraints: 53223
230.89/231.54 c #Conflicts: 127000 | #Constraints: 54223
230.89/231.54 c #Conflicts: 128000 | #Constraints: 55223
230.89/231.54 c #Conflicts: 129000 | #Constraints: 56223
230.89/231.54 c #Conflicts: 130000 | #Constraints: 57223
230.89/231.54 c #Conflicts: 131000 | #Constraints: 58223
230.89/231.54 c #Conflicts: 132000 | #Constraints: 59223
230.89/231.54 c INPROCESSING
230.89/231.54 c GARBAGE COLLECT
230.89/231.54 c #Conflicts: 133000 | #Constraints: 41793
230.89/231.54 c #Conflicts: 134000 | #Constraints: 42793
230.89/231.54 c #Conflicts: 135000 | #Constraints: 43793
230.89/231.54 c #Conflicts: 136000 | #Constraints: 44793
230.89/231.54 c #Conflicts: 137000 | #Constraints: 45793
230.89/231.54 c #Conflicts: 138000 | #Constraints: 46793
230.89/231.54 c #Conflicts: 139000 | #Constraints: 47793
230.89/231.54 c #Conflicts: 140000 | #Constraints: 48793
230.89/231.54 c #Conflicts: 141000 | #Constraints: 49793
230.89/231.54 c #Conflicts: 142000 | #Constraints: 50793
230.89/231.54 c INPROCESSING
230.89/231.54 c GARBAGE COLLECT
230.89/231.54 c #Conflicts: 143000 | #Constraints: 40258
230.89/231.54 c #Conflicts: 144000 | #Constraints: 41258
230.89/231.54 c #Conflicts: 145000 | #Constraints: 42258
230.89/231.54 c #Conflicts: 146000 | #Constraints: 43258
230.89/231.54 c #Conflicts: 147000 | #Constraints: 44258
230.89/231.54 c #Conflicts: 148000 | #Constraints: 45258
385.83/386.88 c #Conflicts: 149000 | #Constraints: 46258
385.83/386.88 c #Conflicts: 150000 | #Constraints: 47258
385.83/386.88 c #Conflicts: 151000 | #Constraints: 48258
385.83/386.88 c #Conflicts: 152000 | #Constraints: 49258
385.83/386.88 c #Conflicts: 153000 | #Constraints: 50258
385.83/386.88 c #Conflicts: 154000 | #Constraints: 51258
385.83/386.88 c #Conflicts: 155000 | #Constraints: 52258
385.83/386.88 c #Conflicts: 156000 | #Constraints: 53258
385.83/386.88 c #Conflicts: 157000 | #Constraints: 54258
385.83/386.88 c #Conflicts: 158000 | #Constraints: 55258
385.83/386.88 c #Conflicts: 159000 | #Constraints: 56258
385.83/386.88 c #Conflicts: 160000 | #Constraints: 57258
385.83/386.88 c #Conflicts: 161000 | #Constraints: 58258
385.83/386.88 c #Conflicts: 162000 | #Constraints: 59258
385.83/386.88 c #Conflicts: 163000 | #Constraints: 60258
385.83/386.88 c #Conflicts: 164000 | #Constraints: 61258
385.83/386.88 c #Conflicts: 165000 | #Constraints: 62258
385.83/386.88 c #Conflicts: 166000 | #Constraints: 63258
385.83/386.88 c #Conflicts: 167000 | #Constraints: 64258
385.83/386.88 c #Conflicts: 168000 | #Constraints: 65258
385.83/386.88 c INPROCESSING
385.83/386.88 c GARBAGE COLLECT
385.83/386.88 c #Conflicts: 169000 | #Constraints: 44732
385.83/386.88 c #Conflicts: 170000 | #Constraints: 45732
385.83/386.88 c #Conflicts: 171000 | #Constraints: 46732
385.83/386.88 c #Conflicts: 172000 | #Constraints: 47732
385.83/386.88 c #Conflicts: 173000 | #Constraints: 48732
385.83/386.88 c #Conflicts: 174000 | #Constraints: 49732
385.83/386.88 c #Conflicts: 175000 | #Constraints: 50732
385.83/386.88 c #Conflicts: 176000 | #Constraints: 51732
385.83/386.88 c #Conflicts: 177000 | #Constraints: 52732
385.83/386.88 c #Conflicts: 178000 | #Constraints: 53732
385.83/386.88 c #Conflicts: 179000 | #Constraints: 54732
385.83/386.88 c #Conflicts: 180000 | #Constraints: 55732
385.83/386.88 c INPROCESSING
385.83/386.88 c GARBAGE COLLECT
385.83/386.88 c #Conflicts: 181000 | #Constraints: 43678
385.83/386.88 c #Conflicts: 182000 | #Constraints: 44678
385.83/386.88 c #Conflicts: 183000 | #Constraints: 45678
385.83/386.88 c #Conflicts: 184000 | #Constraints: 46678
385.83/386.88 c #Conflicts: 185000 | #Constraints: 47678
385.83/386.88 c #Conflicts: 186000 | #Constraints: 48678
385.83/386.88 c #Conflicts: 187000 | #Constraints: 49678
385.83/386.88 c #Conflicts: 188000 | #Constraints: 50678
385.83/386.88 c #Conflicts: 189000 | #Constraints: 51678
385.83/386.88 c #Conflicts: 190000 | #Constraints: 52678
385.83/386.88 c #Conflicts: 191000 | #Constraints: 53678
385.83/386.88 c #Conflicts: 192000 | #Constraints: 54678
385.83/386.88 c #Conflicts: 193000 | #Constraints: 55678
385.83/386.88 c #Conflicts: 194000 | #Constraints: 56678
385.83/386.88 c #Conflicts: 195000 | #Constraints: 57678
385.83/386.88 c #Conflicts: 196000 | #Constraints: 58678
385.83/386.88 c #Conflicts: 197000 | #Constraints: 59678
385.83/386.88 c #Conflicts: 198000 | #Constraints: 60678
385.83/386.88 c #Conflicts: 199000 | #Constraints: 61678
385.83/386.88 c #Conflicts: 200000 | #Constraints: 62678
385.83/386.88 c #Conflicts: 201000 | #Constraints: 63678
385.83/386.88 c #Conflicts: 202000 | #Constraints: 64678
385.83/386.88 c #Conflicts: 203000 | #Constraints: 65678
385.83/386.88 c #Conflicts: 204000 | #Constraints: 66678
385.83/386.88 c #Conflicts: 205000 | #Constraints: 67678
385.83/386.88 c #Conflicts: 206000 | #Constraints: 68678
385.83/386.88 c #Conflicts: 207000 | #Constraints: 69678
385.83/386.88 c #Conflicts: 208000 | #Constraints: 70678
385.83/386.88 c #Conflicts: 209000 | #Constraints: 71678
385.83/386.88 c INPROCESSING
385.83/386.88 c GARBAGE COLLECT
385.83/386.88 c #Conflicts: 210000 | #Constraints: 48005
385.83/386.88 c #Conflicts: 211000 | #Constraints: 49005
385.83/386.88 c #Conflicts: 212000 | #Constraints: 50005
385.83/386.88 c #Conflicts: 213000 | #Constraints: 51005
385.83/386.88 c #Conflicts: 214000 | #Constraints: 52005
385.83/386.88 c #Conflicts: 215000 | #Constraints: 53005
385.83/386.88 c #Conflicts: 216000 | #Constraints: 54005
385.83/386.88 c #Conflicts: 217000 | #Constraints: 55005
385.83/386.88 c #Conflicts: 218000 | #Constraints: 56005
385.83/386.88 c #Conflicts: 219000 | #Constraints: 57005
385.83/386.88 c #Conflicts: 220000 | #Constraints: 58005
385.83/386.88 c #Conflicts: 221000 | #Constraints: 59005
385.83/386.88 c #Conflicts: 222000 | #Constraints: 60005
385.83/386.88 c INPROCESSING
385.83/386.88 c GARBAGE COLLECT
385.83/386.88 c #Conflicts: 223000 | #Constraints: 45964
385.83/386.88 c #Conflicts: 224000 | #Constraints: 46964
556.14/557.58 c #Conflicts: 225000 | #Constraints: 47964
556.14/557.58 c #Conflicts: 226000 | #Constraints: 48964
556.14/557.58 c #Conflicts: 227000 | #Constraints: 49964
556.14/557.58 c #Conflicts: 228000 | #Constraints: 50964
556.14/557.58 c #Conflicts: 229000 | #Constraints: 51964
556.14/557.58 c #Conflicts: 230000 | #Constraints: 52964
556.14/557.58 c #Conflicts: 231000 | #Constraints: 53964
556.14/557.58 c #Conflicts: 232000 | #Constraints: 54964
556.14/557.58 c #Conflicts: 233000 | #Constraints: 55964
556.14/557.58 c #Conflicts: 234000 | #Constraints: 56964
556.14/557.58 c #Conflicts: 235000 | #Constraints: 57964
556.14/557.58 c #Conflicts: 236000 | #Constraints: 58964
556.14/557.58 c #Conflicts: 237000 | #Constraints: 59964
556.14/557.58 c #Conflicts: 238000 | #Constraints: 60964
556.14/557.58 c #Conflicts: 239000 | #Constraints: 61964
556.14/557.58 c #Conflicts: 240000 | #Constraints: 62964
556.14/557.58 c #Conflicts: 241000 | #Constraints: 63964
556.14/557.58 c #Conflicts: 242000 | #Constraints: 64964
556.14/557.58 c #Conflicts: 243000 | #Constraints: 65964
556.14/557.58 c #Conflicts: 244000 | #Constraints: 66964
556.14/557.58 c #Conflicts: 245000 | #Constraints: 67964
556.14/557.58 c #Conflicts: 246000 | #Constraints: 68964
556.14/557.58 c #Conflicts: 247000 | #Constraints: 69964
556.14/557.58 c #Conflicts: 248000 | #Constraints: 70964
556.14/557.58 c #Conflicts: 249000 | #Constraints: 71964
556.14/557.58 c #Conflicts: 250000 | #Constraints: 72964
556.14/557.58 c #Conflicts: 251000 | #Constraints: 73964
556.14/557.58 c #Conflicts: 252000 | #Constraints: 74964
556.14/557.58 c #Conflicts: 253000 | #Constraints: 75964
556.14/557.58 c #Conflicts: 254000 | #Constraints: 76964
556.14/557.58 c INPROCESSING
556.14/557.58 c GARBAGE COLLECT
556.14/557.58 c #Conflicts: 255000 | #Constraints: 50529
556.14/557.58 c #Conflicts: 256000 | #Constraints: 51529
556.14/557.58 c #Conflicts: 257000 | #Constraints: 52529
556.14/557.58 c #Conflicts: 258000 | #Constraints: 53529
556.14/557.58 c #Conflicts: 259000 | #Constraints: 54529
556.14/557.58 c #Conflicts: 260000 | #Constraints: 55529
556.14/557.58 c #Conflicts: 261000 | #Constraints: 56529
556.14/557.58 c #Conflicts: 262000 | #Constraints: 57529
556.14/557.58 c #Conflicts: 263000 | #Constraints: 58529
556.14/557.58 c #Conflicts: 264000 | #Constraints: 59529
556.14/557.58 c #Conflicts: 265000 | #Constraints: 60529
556.14/557.58 c #Conflicts: 266000 | #Constraints: 61529
556.14/557.58 c #Conflicts: 267000 | #Constraints: 62529
556.14/557.58 c #Conflicts: 268000 | #Constraints: 63529
556.14/557.58 c INPROCESSING
556.14/557.58 c GARBAGE COLLECT
556.14/557.58 c #Conflicts: 269000 | #Constraints: 48794
556.14/557.58 c #Conflicts: 270000 | #Constraints: 49794
556.14/557.58 c #Conflicts: 271000 | #Constraints: 50794
556.14/557.58 c #Conflicts: 272000 | #Constraints: 51794
556.14/557.58 c #Conflicts: 273000 | #Constraints: 52794
556.14/557.58 c #Conflicts: 274000 | #Constraints: 53794
556.14/557.58 c #Conflicts: 275000 | #Constraints: 54794
556.14/557.58 c #Conflicts: 276000 | #Constraints: 55794
556.14/557.58 c #Conflicts: 277000 | #Constraints: 56794
556.14/557.58 c #Conflicts: 278000 | #Constraints: 57794
556.14/557.58 c #Conflicts: 279000 | #Constraints: 58794
556.14/557.58 c #Conflicts: 280000 | #Constraints: 59794
556.14/557.58 c #Conflicts: 281000 | #Constraints: 60794
556.14/557.58 c #Conflicts: 282000 | #Constraints: 61794
556.14/557.58 c #Conflicts: 283000 | #Constraints: 62794
556.14/557.58 c #Conflicts: 284000 | #Constraints: 63794
556.14/557.58 c #Conflicts: 285000 | #Constraints: 64794
556.14/557.58 c #Conflicts: 286000 | #Constraints: 65794
556.14/557.58 c #Conflicts: 287000 | #Constraints: 66794
556.14/557.58 c #Conflicts: 288000 | #Constraints: 67794
556.14/557.58 c #Conflicts: 289000 | #Constraints: 68794
556.14/557.58 c #Conflicts: 290000 | #Constraints: 69794
556.14/557.58 c #Conflicts: 291000 | #Constraints: 70794
556.14/557.58 c #Conflicts: 292000 | #Constraints: 71794
556.14/557.58 c #Conflicts: 293000 | #Constraints: 72794
556.14/557.58 c #Conflicts: 294000 | #Constraints: 73794
556.14/557.58 c #Conflicts: 295000 | #Constraints: 74794
556.14/557.58 c #Conflicts: 296000 | #Constraints: 75794
556.14/557.58 c #Conflicts: 297000 | #Constraints: 76794
556.14/557.58 c #Conflicts: 298000 | #Constraints: 77794
556.14/557.58 c #Conflicts: 299000 | #Constraints: 78794
556.14/557.58 c #Conflicts: 300000 | #Constraints: 79794
556.14/557.58 c #Conflicts: 301000 | #Constraints: 80794
556.14/557.58 c #Conflicts: 302000 | #Constraints: 81794
689.22/690.95 c #Conflicts: 303000 | #Constraints: 82794
689.22/690.95 c INPROCESSING
689.22/690.95 c GARBAGE COLLECT
689.22/690.95 c #Conflicts: 304000 | #Constraints: 53402
689.22/690.95 c #Conflicts: 305000 | #Constraints: 54402
689.22/690.95 c #Conflicts: 306000 | #Constraints: 55402
689.22/690.95 c #Conflicts: 307000 | #Constraints: 56402
689.22/690.95 c #Conflicts: 308000 | #Constraints: 57402
689.22/690.95 c #Conflicts: 309000 | #Constraints: 58402
689.22/690.95 c #Conflicts: 310000 | #Constraints: 59402
689.22/690.95 c #Conflicts: 311000 | #Constraints: 60402
689.22/690.95 c #Conflicts: 312000 | #Constraints: 61402
689.22/690.95 c #Conflicts: 313000 | #Constraints: 62402
689.22/690.95 c #Conflicts: 314000 | #Constraints: 63402
689.22/690.95 c #Conflicts: 315000 | #Constraints: 64402
689.22/690.95 c #Conflicts: 316000 | #Constraints: 65402
689.22/690.95 c #Conflicts: 317000 | #Constraints: 66402
689.22/690.95 c #Conflicts: 318000 | #Constraints: 67402
689.22/690.95 c #Conflicts: 319000 | #Constraints: 68402
689.22/690.95 c INPROCESSING
689.22/690.95 c GARBAGE COLLECT
689.22/690.95 c #Conflicts: 320000 | #Constraints: 51891
689.22/690.95 c #Conflicts: 321000 | #Constraints: 52891
689.22/690.95 c #Conflicts: 322000 | #Constraints: 53891
689.22/690.95 c #Conflicts: 323000 | #Constraints: 54891
689.22/690.95 c #Conflicts: 324000 | #Constraints: 55891
689.22/690.95 c #Conflicts: 325000 | #Constraints: 56891
689.22/690.95 c #Conflicts: 326000 | #Constraints: 57891
689.22/690.95 c #Conflicts: 327000 | #Constraints: 58891
689.22/690.95 c #Conflicts: 328000 | #Constraints: 59891
689.22/690.95 c #Conflicts: 329000 | #Constraints: 60891
689.22/690.95 c #Conflicts: 330000 | #Constraints: 61891
689.22/690.95 c #Conflicts: 331000 | #Constraints: 62891
689.22/690.95 c #Conflicts: 332000 | #Constraints: 63891
689.22/690.95 c #Conflicts: 333000 | #Constraints: 64891
689.22/690.95 c #Conflicts: 334000 | #Constraints: 65891
689.22/690.95 c #Conflicts: 335000 | #Constraints: 66891
689.22/690.95 c #Conflicts: 336000 | #Constraints: 67891
689.22/690.95 c #Conflicts: 337000 | #Constraints: 68891
689.22/690.95 c #Conflicts: 338000 | #Constraints: 69891
689.22/690.95 c #Conflicts: 339000 | #Constraints: 70891
689.22/690.95 c #Conflicts: 340000 | #Constraints: 71891
689.22/690.95 c #Conflicts: 341000 | #Constraints: 72891
689.22/690.95 c #Conflicts: 342000 | #Constraints: 73891
689.22/690.95 c #Conflicts: 343000 | #Constraints: 74891
689.22/690.95 c #Conflicts: 344000 | #Constraints: 75891
689.22/690.95 c #Conflicts: 345000 | #Constraints: 76891
689.22/690.95 c #Conflicts: 346000 | #Constraints: 77891
689.22/690.95 c #Conflicts: 347000 | #Constraints: 78891
689.22/690.95 c #Conflicts: 348000 | #Constraints: 79891
689.22/690.95 c #Conflicts: 349000 | #Constraints: 80891
689.22/690.95 c #Conflicts: 350000 | #Constraints: 81891
689.22/690.95 c #Conflicts: 351000 | #Constraints: 82891
689.22/690.95 c #Conflicts: 352000 | #Constraints: 83891
689.22/690.95 c #Conflicts: 353000 | #Constraints: 84891
689.22/690.95 c #Conflicts: 354000 | #Constraints: 85891
689.22/690.95 c #Conflicts: 355000 | #Constraints: 86891
689.22/690.95 c #Conflicts: 356000 | #Constraints: 87891
689.22/690.95 c #Conflicts: 357000 | #Constraints: 88891
689.22/690.95 c INPROCESSING
689.22/690.95 c GARBAGE COLLECT
689.22/690.95 c #Conflicts: 358000 | #Constraints: 56749
689.22/690.95 c #Conflicts: 359000 | #Constraints: 57749
689.22/690.95 c #Conflicts: 360000 | #Constraints: 58749
689.22/690.95 c #Conflicts: 361000 | #Constraints: 59749
689.22/690.95 c #Conflicts: 362000 | #Constraints: 60749
689.22/690.95 c #Conflicts: 363000 | #Constraints: 61749
689.22/690.95 c #Conflicts: 364000 | #Constraints: 62749
689.22/690.95 c #Conflicts: 365000 | #Constraints: 63749
689.22/690.95 c #Conflicts: 366000 | #Constraints: 64749
689.22/690.95 c #Conflicts: 367000 | #Constraints: 65749
689.22/690.95 c #Conflicts: 368000 | #Constraints: 66749
689.22/690.95 c #Conflicts: 369000 | #Constraints: 67749
689.22/690.95 c #Conflicts: 370000 | #Constraints: 68749
689.22/690.95 c #Conflicts: 371000 | #Constraints: 69749
689.22/690.95 c #Conflicts: 372000 | #Constraints: 70749
689.22/690.95 c #Conflicts: 373000 | #Constraints: 71749
689.22/690.95 c #Conflicts: 374000 | #Constraints: 72749
689.22/690.95 c INPROCESSING
689.22/690.95 c GARBAGE COLLECT
689.22/690.95 c #Conflicts: 375000 | #Constraints: 54683
689.22/690.95 c #Conflicts: 376000 | #Constraints: 55683
689.22/690.95 c #Conflicts: 377000 | #Constraints: 56683
689.22/690.95 c #Conflicts: 378000 | #Constraints: 57683
823.02/825.02 c #Conflicts: 379000 | #Constraints: 58683
823.02/825.02 c #Conflicts: 380000 | #Constraints: 59683
823.02/825.02 c #Conflicts: 381000 | #Constraints: 60683
823.02/825.02 c #Conflicts: 382000 | #Constraints: 61683
823.02/825.02 c #Conflicts: 383000 | #Constraints: 62683
823.02/825.02 c #Conflicts: 384000 | #Constraints: 63683
823.02/825.02 c #Conflicts: 385000 | #Constraints: 64683
823.02/825.02 c #Conflicts: 386000 | #Constraints: 65683
823.02/825.02 c #Conflicts: 387000 | #Constraints: 66683
823.02/825.02 c #Conflicts: 388000 | #Constraints: 67683
823.02/825.02 c #Conflicts: 389000 | #Constraints: 68683
823.02/825.02 c #Conflicts: 390000 | #Constraints: 69683
823.02/825.02 c #Conflicts: 391000 | #Constraints: 70683
823.02/825.02 c #Conflicts: 392000 | #Constraints: 71683
823.02/825.02 c #Conflicts: 393000 | #Constraints: 72683
823.02/825.02 c #Conflicts: 394000 | #Constraints: 73683
823.02/825.02 c #Conflicts: 395000 | #Constraints: 74683
823.02/825.02 c #Conflicts: 396000 | #Constraints: 75683
823.02/825.02 c #Conflicts: 397000 | #Constraints: 76683
823.02/825.02 c #Conflicts: 398000 | #Constraints: 77683
823.02/825.02 c #Conflicts: 399000 | #Constraints: 78683
823.02/825.02 c #Conflicts: 400000 | #Constraints: 79683
823.02/825.02 c #Conflicts: 401000 | #Constraints: 80683
823.02/825.02 c #Conflicts: 402000 | #Constraints: 81683
823.02/825.02 c #Conflicts: 403000 | #Constraints: 82683
823.02/825.02 c #Conflicts: 404000 | #Constraints: 83683
823.02/825.02 c #Conflicts: 405000 | #Constraints: 84683
823.02/825.02 c #Conflicts: 406000 | #Constraints: 85683
823.02/825.02 c #Conflicts: 407000 | #Constraints: 86683
823.02/825.02 c #Conflicts: 408000 | #Constraints: 87683
823.02/825.02 c #Conflicts: 409000 | #Constraints: 88683
823.02/825.02 c #Conflicts: 410000 | #Constraints: 89683
823.02/825.02 c #Conflicts: 411000 | #Constraints: 90683
823.02/825.02 c #Conflicts: 412000 | #Constraints: 91683
823.02/825.02 c #Conflicts: 413000 | #Constraints: 92683
823.02/825.02 c #Conflicts: 414000 | #Constraints: 93683
823.02/825.02 c #Conflicts: 415000 | #Constraints: 94683
823.02/825.02 c INPROCESSING
823.02/825.02 c GARBAGE COLLECT
823.02/825.02 c #Conflicts: 416000 | #Constraints: 59367
823.02/825.02 c #Conflicts: 417000 | #Constraints: 60367
823.02/825.02 c #Conflicts: 418000 | #Constraints: 61367
823.02/825.02 c #Conflicts: 419000 | #Constraints: 62367
823.02/825.02 c #Conflicts: 420000 | #Constraints: 63367
823.02/825.02 c #Conflicts: 421000 | #Constraints: 64367
823.02/825.02 c #Conflicts: 422000 | #Constraints: 65367
823.02/825.02 c #Conflicts: 423000 | #Constraints: 66367
823.02/825.02 c #Conflicts: 424000 | #Constraints: 67367
823.02/825.02 c #Conflicts: 425000 | #Constraints: 68367
823.02/825.02 c #Conflicts: 426000 | #Constraints: 69367
823.02/825.02 c #Conflicts: 427000 | #Constraints: 70367
823.02/825.02 c #Conflicts: 428000 | #Constraints: 71367
823.02/825.02 c #Conflicts: 429000 | #Constraints: 72367
823.02/825.02 c #Conflicts: 430000 | #Constraints: 73367
823.02/825.02 c #Conflicts: 431000 | #Constraints: 74367
823.02/825.02 c #Conflicts: 432000 | #Constraints: 75367
823.02/825.02 c #Conflicts: 433000 | #Constraints: 76367
823.02/825.02 c #Conflicts: 434000 | #Constraints: 77367
823.02/825.02 c INPROCESSING
823.02/825.02 c GARBAGE COLLECT
823.02/825.02 c #Conflicts: 435000 | #Constraints: 57774
823.02/825.02 c #Conflicts: 436000 | #Constraints: 58774
823.02/825.02 c #Conflicts: 437000 | #Constraints: 59774
823.02/825.02 c #Conflicts: 438000 | #Constraints: 60774
823.02/825.02 c #Conflicts: 439000 | #Constraints: 61774
823.02/825.02 c #Conflicts: 440000 | #Constraints: 62774
823.02/825.02 c #Conflicts: 441000 | #Constraints: 63774
823.02/825.02 c #Conflicts: 442000 | #Constraints: 64774
823.02/825.02 c #Conflicts: 443000 | #Constraints: 65774
823.02/825.02 c #Conflicts: 444000 | #Constraints: 66774
823.02/825.02 c #Conflicts: 445000 | #Constraints: 67774
823.02/825.02 c #Conflicts: 446000 | #Constraints: 68774
823.02/825.02 c #Conflicts: 447000 | #Constraints: 69774
823.02/825.02 c #Conflicts: 448000 | #Constraints: 70774
823.02/825.02 c #Conflicts: 449000 | #Constraints: 71774
823.02/825.02 c #Conflicts: 450000 | #Constraints: 72774
823.02/825.02 c #Conflicts: 451000 | #Constraints: 73774
823.02/825.02 c #Conflicts: 452000 | #Constraints: 74774
823.02/825.02 c #Conflicts: 453000 | #Constraints: 75774
823.02/825.02 c #Conflicts: 454000 | #Constraints: 76774
823.02/825.02 c #Conflicts: 455000 | #Constraints: 77774
1005.78/1008.25 c #Conflicts: 456000 | #Constraints: 78774
1005.78/1008.25 c #Conflicts: 457000 | #Constraints: 79774
1005.78/1008.25 c #Conflicts: 458000 | #Constraints: 80774
1005.78/1008.25 c #Conflicts: 459000 | #Constraints: 81774
1005.78/1008.25 c #Conflicts: 460000 | #Constraints: 82774
1005.78/1008.25 c #Conflicts: 461000 | #Constraints: 83774
1005.78/1008.25 c #Conflicts: 462000 | #Constraints: 84774
1005.78/1008.25 c #Conflicts: 463000 | #Constraints: 85774
1005.78/1008.25 c #Conflicts: 464000 | #Constraints: 86774
1005.78/1008.25 c #Conflicts: 465000 | #Constraints: 87774
1005.78/1008.25 c #Conflicts: 466000 | #Constraints: 88774
1005.78/1008.25 c #Conflicts: 467000 | #Constraints: 89774
1005.78/1008.25 c #Conflicts: 468000 | #Constraints: 90774
1005.78/1008.25 c #Conflicts: 469000 | #Constraints: 91774
1005.78/1008.25 c #Conflicts: 470000 | #Constraints: 92774
1005.78/1008.25 c #Conflicts: 471000 | #Constraints: 93774
1005.78/1008.25 c #Conflicts: 472000 | #Constraints: 94774
1005.78/1008.25 c #Conflicts: 473000 | #Constraints: 95774
1005.78/1008.25 c #Conflicts: 474000 | #Constraints: 96774
1005.78/1008.25 c #Conflicts: 475000 | #Constraints: 97774
1005.78/1008.25 c #Conflicts: 476000 | #Constraints: 98774
1005.78/1008.25 c #Conflicts: 477000 | #Constraints: 99774
1005.78/1008.25 c #Conflicts: 478000 | #Constraints: 100774
1005.78/1008.25 c INPROCESSING
1005.78/1008.25 c GARBAGE COLLECT
1005.78/1008.25 c #Conflicts: 479000 | #Constraints: 62510
1005.78/1008.25 c #Conflicts: 480000 | #Constraints: 63510
1005.78/1008.25 c #Conflicts: 481000 | #Constraints: 64510
1005.78/1008.25 c #Conflicts: 482000 | #Constraints: 65510
1005.78/1008.25 c #Conflicts: 483000 | #Constraints: 66510
1005.78/1008.25 c #Conflicts: 484000 | #Constraints: 67510
1005.78/1008.25 c #Conflicts: 485000 | #Constraints: 68510
1005.78/1008.25 c #Conflicts: 486000 | #Constraints: 69510
1005.78/1008.25 c #Conflicts: 487000 | #Constraints: 70510
1005.78/1008.25 c #Conflicts: 488000 | #Constraints: 71510
1005.78/1008.25 c #Conflicts: 489000 | #Constraints: 72510
1005.78/1008.25 c #Conflicts: 490000 | #Constraints: 73510
1005.78/1008.25 c #Conflicts: 491000 | #Constraints: 74510
1005.78/1008.25 c #Conflicts: 492000 | #Constraints: 75510
1005.78/1008.25 c #Conflicts: 493000 | #Constraints: 76510
1005.78/1008.25 c #Conflicts: 494000 | #Constraints: 77510
1005.78/1008.25 c #Conflicts: 495000 | #Constraints: 78510
1005.78/1008.25 c #Conflicts: 496000 | #Constraints: 79510
1005.78/1008.25 c #Conflicts: 497000 | #Constraints: 80510
1005.78/1008.25 c #Conflicts: 498000 | #Constraints: 81510
1005.78/1008.25 c INPROCESSING
1005.78/1008.25 c GARBAGE COLLECT
1005.78/1008.25 c #Conflicts: 499000 | #Constraints: 60183
1005.78/1008.25 c #Conflicts: 500000 | #Constraints: 61183
1005.78/1008.25 c #Conflicts: 501000 | #Constraints: 62183
1005.78/1008.25 c #Conflicts: 502000 | #Constraints: 63183
1005.78/1008.25 c #Conflicts: 503000 | #Constraints: 64183
1005.78/1008.25 c #Conflicts: 504000 | #Constraints: 65183
1005.78/1008.25 c #Conflicts: 505000 | #Constraints: 66183
1005.78/1008.25 c #Conflicts: 506000 | #Constraints: 67183
1005.78/1008.25 c #Conflicts: 507000 | #Constraints: 68183
1005.78/1008.25 c #Conflicts: 508000 | #Constraints: 69183
1005.78/1008.25 c #Conflicts: 509000 | #Constraints: 70183
1005.78/1008.25 c #Conflicts: 510000 | #Constraints: 71183
1005.78/1008.25 c #Conflicts: 511000 | #Constraints: 72183
1005.78/1008.25 c #Conflicts: 512000 | #Constraints: 73183
1005.78/1008.25 c #Conflicts: 513000 | #Constraints: 74183
1005.78/1008.25 c #Conflicts: 514000 | #Constraints: 75183
1005.78/1008.25 c #Conflicts: 515000 | #Constraints: 76183
1005.78/1008.25 c #Conflicts: 516000 | #Constraints: 77183
1005.78/1008.25 c #Conflicts: 517000 | #Constraints: 78183
1005.78/1008.25 c #Conflicts: 518000 | #Constraints: 79183
1005.78/1008.25 c #Conflicts: 519000 | #Constraints: 80183
1005.78/1008.25 c #Conflicts: 520000 | #Constraints: 81183
1005.78/1008.25 c #Conflicts: 521000 | #Constraints: 82183
1005.78/1008.25 c #Conflicts: 522000 | #Constraints: 83183
1005.78/1008.25 c #Conflicts: 523000 | #Constraints: 84183
1005.78/1008.25 c #Conflicts: 524000 | #Constraints: 85183
1005.78/1008.25 c #Conflicts: 525000 | #Constraints: 86183
1005.78/1008.25 c #Conflicts: 526000 | #Constraints: 87183
1005.78/1008.25 c #Conflicts: 527000 | #Constraints: 88183
1005.78/1008.25 c #Conflicts: 528000 | #Constraints: 89183
1005.78/1008.25 c #Conflicts: 529000 | #Constraints: 90183
1005.78/1008.25 c #Conflicts: 530000 | #Constraints: 91183
1005.78/1008.25 c #Conflicts: 531000 | #Constraints: 92183
1005.78/1008.25 c #Conflicts: 532000 | #Constraints: 93183
1005.78/1008.25 c #Conflicts: 533000 | #Constraints: 94183
1113.32/1116.09 c #Conflicts: 534000 | #Constraints: 95183
1113.32/1116.09 c #Conflicts: 535000 | #Constraints: 96183
1113.32/1116.09 c #Conflicts: 536000 | #Constraints: 97183
1113.32/1116.09 c #Conflicts: 537000 | #Constraints: 98183
1113.32/1116.09 c #Conflicts: 538000 | #Constraints: 99183
1113.32/1116.09 c #Conflicts: 539000 | #Constraints: 100183
1113.32/1116.09 c #Conflicts: 540000 | #Constraints: 101183
1113.32/1116.09 c #Conflicts: 541000 | #Constraints: 102183
1113.32/1116.09 c #Conflicts: 542000 | #Constraints: 103183
1113.32/1116.09 c #Conflicts: 543000 | #Constraints: 104183
1113.32/1116.09 c #Conflicts: 544000 | #Constraints: 105183
1113.32/1116.09 c #Conflicts: 545000 | #Constraints: 106183
1113.32/1116.09 c INPROCESSING
1113.32/1116.09 c GARBAGE COLLECT
1113.32/1116.09 c rational objective 174.031
1301.07/1304.27 c #Conflicts: 546000 | #Constraints: 65422
1301.07/1304.27 c #Conflicts: 547000 | #Constraints: 66422
1301.07/1304.27 c #Conflicts: 548000 | #Constraints: 67422
1301.07/1304.27 c #Conflicts: 549000 | #Constraints: 68422
1301.07/1304.27 c #Conflicts: 550000 | #Constraints: 69422
1301.07/1304.27 c #Conflicts: 551000 | #Constraints: 70422
1301.07/1304.27 c #Conflicts: 552000 | #Constraints: 71422
1301.07/1304.27 c #Conflicts: 553000 | #Constraints: 72422
1301.07/1304.27 c #Conflicts: 554000 | #Constraints: 73422
1301.07/1304.27 c #Conflicts: 555000 | #Constraints: 74422
1301.07/1304.27 c #Conflicts: 556000 | #Constraints: 75422
1301.07/1304.27 c #Conflicts: 557000 | #Constraints: 76422
1301.07/1304.27 c #Conflicts: 558000 | #Constraints: 77422
1301.07/1304.27 c #Conflicts: 559000 | #Constraints: 78422
1301.07/1304.27 c #Conflicts: 560000 | #Constraints: 79422
1301.07/1304.27 c #Conflicts: 561000 | #Constraints: 80422
1301.07/1304.27 c #Conflicts: 562000 | #Constraints: 81422
1301.07/1304.27 c #Conflicts: 563000 | #Constraints: 82422
1301.07/1304.27 c #Conflicts: 564000 | #Constraints: 83422
1301.07/1304.27 c #Conflicts: 565000 | #Constraints: 84422
1301.07/1304.27 c #Conflicts: 566000 | #Constraints: 85422
1301.07/1304.27 c INPROCESSING
1301.07/1304.27 c GARBAGE COLLECT
1301.07/1304.27 c #Conflicts: 567000 | #Constraints: 62368
1301.07/1304.27 c #Conflicts: 568000 | #Constraints: 63368
1301.07/1304.27 c #Conflicts: 569000 | #Constraints: 64368
1301.07/1304.27 c #Conflicts: 570000 | #Constraints: 65368
1301.07/1304.27 c #Conflicts: 571000 | #Constraints: 66368
1301.07/1304.27 c #Conflicts: 572000 | #Constraints: 67368
1301.07/1304.27 c #Conflicts: 573000 | #Constraints: 68368
1301.07/1304.27 c #Conflicts: 574000 | #Constraints: 69368
1301.07/1304.27 c #Conflicts: 575000 | #Constraints: 70368
1301.07/1304.27 c #Conflicts: 576000 | #Constraints: 71368
1301.07/1304.27 c #Conflicts: 577000 | #Constraints: 72368
1301.07/1304.27 c #Conflicts: 578000 | #Constraints: 73368
1301.07/1304.27 c #Conflicts: 579000 | #Constraints: 74368
1301.07/1304.27 c #Conflicts: 580000 | #Constraints: 75368
1301.07/1304.27 c #Conflicts: 581000 | #Constraints: 76368
1301.07/1304.27 c #Conflicts: 582000 | #Constraints: 77368
1301.07/1304.27 c #Conflicts: 583000 | #Constraints: 78368
1301.07/1304.27 c #Conflicts: 584000 | #Constraints: 79368
1301.07/1304.27 c #Conflicts: 585000 | #Constraints: 80368
1301.07/1304.27 c #Conflicts: 586000 | #Constraints: 81368
1301.07/1304.27 c #Conflicts: 587000 | #Constraints: 82368
1301.07/1304.27 c #Conflicts: 588000 | #Constraints: 83368
1301.07/1304.27 c #Conflicts: 589000 | #Constraints: 84368
1301.07/1304.27 c #Conflicts: 590000 | #Constraints: 85368
1301.07/1304.27 c #Conflicts: 591000 | #Constraints: 86368
1301.07/1304.27 c #Conflicts: 592000 | #Constraints: 87368
1301.07/1304.27 c #Conflicts: 593000 | #Constraints: 88368
1301.07/1304.27 c #Conflicts: 594000 | #Constraints: 89368
1301.07/1304.27 c #Conflicts: 595000 | #Constraints: 90368
1301.07/1304.27 c #Conflicts: 596000 | #Constraints: 91368
1301.07/1304.27 c #Conflicts: 597000 | #Constraints: 92368
1301.07/1304.27 c #Conflicts: 598000 | #Constraints: 93368
1301.07/1304.27 c #Conflicts: 599000 | #Constraints: 94368
1301.07/1304.27 c #Conflicts: 600000 | #Constraints: 95368
1301.07/1304.27 c #Conflicts: 601000 | #Constraints: 96368
1301.07/1304.27 c #Conflicts: 602000 | #Constraints: 97368
1301.07/1304.27 c #Conflicts: 603000 | #Constraints: 98368
1301.07/1304.27 c #Conflicts: 604000 | #Constraints: 99368
1301.07/1304.27 c #Conflicts: 605000 | #Constraints: 100368
1301.07/1304.27 c #Conflicts: 606000 | #Constraints: 101368
1301.07/1304.27 c #Conflicts: 607000 | #Constraints: 102368
1301.07/1304.27 c #Conflicts: 608000 | #Constraints: 103368
1301.07/1304.27 c #Conflicts: 609000 | #Constraints: 104368
1301.07/1304.27 c #Conflicts: 610000 | #Constraints: 105368
1301.07/1304.27 c #Conflicts: 611000 | #Constraints: 106368
1301.07/1304.27 c #Conflicts: 612000 | #Constraints: 107368
1301.07/1304.27 c #Conflicts: 613000 | #Constraints: 108368
1301.07/1304.27 c #Conflicts: 614000 | #Constraints: 109368
1301.07/1304.27 c #Conflicts: 615000 | #Constraints: 110368
1301.07/1304.27 c #Conflicts: 616000 | #Constraints: 111368
1301.07/1304.27 c #Conflicts: 617000 | #Constraints: 112368
1301.07/1304.27 c INPROCESSING
1301.07/1304.27 c GARBAGE COLLECT
1301.07/1304.27 c #Conflicts: 618000 | #Constraints: 68718
1301.07/1304.27 c #Conflicts: 619000 | #Constraints: 69718
1301.07/1304.27 c #Conflicts: 620000 | #Constraints: 70718
1301.07/1304.27 c #Conflicts: 621000 | #Constraints: 71718
1301.07/1304.27 c #Conflicts: 622000 | #Constraints: 72718
1301.07/1304.27 c #Conflicts: 623000 | #Constraints: 73718
1460.30/1463.84 c #Conflicts: 624000 | #Constraints: 74718
1460.30/1463.84 c #Conflicts: 625000 | #Constraints: 75718
1460.30/1463.84 c #Conflicts: 626000 | #Constraints: 76718
1460.30/1463.84 c #Conflicts: 627000 | #Constraints: 77718
1460.30/1463.84 c #Conflicts: 628000 | #Constraints: 78718
1460.30/1463.84 c #Conflicts: 629000 | #Constraints: 79718
1460.30/1463.84 c #Conflicts: 630000 | #Constraints: 80718
1460.30/1463.84 c #Conflicts: 631000 | #Constraints: 81718
1460.30/1463.84 c #Conflicts: 632000 | #Constraints: 82718
1460.30/1463.84 c #Conflicts: 633000 | #Constraints: 83718
1460.30/1463.84 c #Conflicts: 634000 | #Constraints: 84718
1460.30/1463.84 c #Conflicts: 635000 | #Constraints: 85718
1460.30/1463.84 c #Conflicts: 636000 | #Constraints: 86718
1460.30/1463.84 c #Conflicts: 637000 | #Constraints: 87718
1460.30/1463.84 c #Conflicts: 638000 | #Constraints: 88718
1460.30/1463.84 c #Conflicts: 639000 | #Constraints: 89718
1460.30/1463.84 c INPROCESSING
1460.30/1463.84 c GARBAGE COLLECT
1460.30/1463.84 c #Conflicts: 640000 | #Constraints: 65369
1460.30/1463.84 c #Conflicts: 641000 | #Constraints: 66369
1460.30/1463.84 c #Conflicts: 642000 | #Constraints: 67369
1460.30/1463.84 c #Conflicts: 643000 | #Constraints: 68369
1460.30/1463.84 c #Conflicts: 644000 | #Constraints: 69369
1460.30/1463.84 c #Conflicts: 645000 | #Constraints: 70369
1460.30/1463.84 c #Conflicts: 646000 | #Constraints: 71369
1460.30/1463.84 c #Conflicts: 647000 | #Constraints: 72369
1460.30/1463.84 c #Conflicts: 648000 | #Constraints: 73369
1460.30/1463.84 c #Conflicts: 649000 | #Constraints: 74369
1460.30/1463.84 c #Conflicts: 650000 | #Constraints: 75369
1460.30/1463.84 c #Conflicts: 651000 | #Constraints: 76369
1460.30/1463.84 c #Conflicts: 652000 | #Constraints: 77369
1460.30/1463.84 c #Conflicts: 653000 | #Constraints: 78369
1460.30/1463.84 c #Conflicts: 654000 | #Constraints: 79369
1460.30/1463.84 c #Conflicts: 655000 | #Constraints: 80369
1460.30/1463.84 c #Conflicts: 656000 | #Constraints: 81369
1460.30/1463.84 c #Conflicts: 657000 | #Constraints: 82369
1460.30/1463.84 c #Conflicts: 658000 | #Constraints: 83369
1460.30/1463.84 c #Conflicts: 659000 | #Constraints: 84369
1460.30/1463.84 c #Conflicts: 660000 | #Constraints: 85369
1460.30/1463.84 c #Conflicts: 661000 | #Constraints: 86369
1460.30/1463.84 c #Conflicts: 662000 | #Constraints: 87369
1460.30/1463.84 c #Conflicts: 663000 | #Constraints: 88369
1460.30/1463.84 c #Conflicts: 664000 | #Constraints: 89369
1460.30/1463.84 c #Conflicts: 665000 | #Constraints: 90369
1460.30/1463.84 c #Conflicts: 666000 | #Constraints: 91369
1460.30/1463.84 c #Conflicts: 667000 | #Constraints: 92369
1460.30/1463.84 c #Conflicts: 668000 | #Constraints: 93369
1460.30/1463.84 c #Conflicts: 669000 | #Constraints: 94369
1460.30/1463.84 c #Conflicts: 670000 | #Constraints: 95369
1460.30/1463.84 c #Conflicts: 671000 | #Constraints: 96369
1460.30/1463.84 c #Conflicts: 672000 | #Constraints: 97369
1460.30/1463.84 c #Conflicts: 673000 | #Constraints: 98369
1460.30/1463.84 c #Conflicts: 674000 | #Constraints: 99369
1460.30/1463.84 c #Conflicts: 675000 | #Constraints: 100369
1460.30/1463.84 c #Conflicts: 676000 | #Constraints: 101369
1460.30/1463.84 c #Conflicts: 677000 | #Constraints: 102369
1460.30/1463.84 c #Conflicts: 678000 | #Constraints: 103369
1460.30/1463.84 c #Conflicts: 679000 | #Constraints: 104369
1460.30/1463.84 c #Conflicts: 680000 | #Constraints: 105369
1460.30/1463.84 c #Conflicts: 681000 | #Constraints: 106369
1460.30/1463.84 c #Conflicts: 682000 | #Constraints: 107369
1460.30/1463.84 c #Conflicts: 683000 | #Constraints: 108369
1460.30/1463.84 c #Conflicts: 684000 | #Constraints: 109369
1460.30/1463.84 c #Conflicts: 685000 | #Constraints: 110369
1460.30/1463.84 c #Conflicts: 686000 | #Constraints: 111369
1460.30/1463.84 c #Conflicts: 687000 | #Constraints: 112369
1460.30/1463.84 c #Conflicts: 688000 | #Constraints: 113369
1460.30/1463.84 c #Conflicts: 689000 | #Constraints: 114369
1460.30/1463.84 c #Conflicts: 690000 | #Constraints: 115369
1460.30/1463.84 c #Conflicts: 691000 | #Constraints: 116369
1460.30/1463.84 c #Conflicts: 692000 | #Constraints: 117369
1460.30/1463.84 c #Conflicts: 693000 | #Constraints: 118369
1460.30/1463.84 c INPROCESSING
1460.30/1463.84 c GARBAGE COLLECT
1460.30/1463.84 c #Conflicts: 694000 | #Constraints: 71976
1460.30/1463.84 c #Conflicts: 695000 | #Constraints: 72976
1460.30/1463.84 c #Conflicts: 696000 | #Constraints: 73976
1460.30/1463.84 c #Conflicts: 697000 | #Constraints: 74976
1460.30/1463.84 c #Conflicts: 698000 | #Constraints: 75976
1460.30/1463.84 c #Conflicts: 699000 | #Constraints: 76976
1460.30/1463.84 c #Conflicts: 700000 | #Constraints: 77976
1648.37/1652.35 c #Conflicts: 701000 | #Constraints: 78976
1648.37/1652.35 c #Conflicts: 702000 | #Constraints: 79976
1648.37/1652.35 c #Conflicts: 703000 | #Constraints: 80976
1648.37/1652.35 c #Conflicts: 704000 | #Constraints: 81976
1648.37/1652.35 c #Conflicts: 705000 | #Constraints: 82976
1648.37/1652.35 c #Conflicts: 706000 | #Constraints: 83976
1648.37/1652.35 c #Conflicts: 707000 | #Constraints: 84976
1648.37/1652.35 c #Conflicts: 708000 | #Constraints: 85976
1648.37/1652.35 c #Conflicts: 709000 | #Constraints: 86976
1648.37/1652.35 c #Conflicts: 710000 | #Constraints: 87976
1648.37/1652.35 c #Conflicts: 711000 | #Constraints: 88976
1648.37/1652.35 c #Conflicts: 712000 | #Constraints: 89976
1648.37/1652.35 c #Conflicts: 713000 | #Constraints: 90976
1648.37/1652.35 c #Conflicts: 714000 | #Constraints: 91976
1648.37/1652.35 c #Conflicts: 715000 | #Constraints: 92976
1648.37/1652.35 c #Conflicts: 716000 | #Constraints: 93976
1648.37/1652.35 c INPROCESSING
1648.37/1652.35 c GARBAGE COLLECT
1648.37/1652.35 c #Conflicts: 717000 | #Constraints: 67951
1648.37/1652.35 c #Conflicts: 718000 | #Constraints: 68951
1648.37/1652.35 c #Conflicts: 719000 | #Constraints: 69951
1648.37/1652.35 c #Conflicts: 720000 | #Constraints: 70951
1648.37/1652.35 c #Conflicts: 721000 | #Constraints: 71951
1648.37/1652.35 c #Conflicts: 722000 | #Constraints: 72951
1648.37/1652.35 c #Conflicts: 723000 | #Constraints: 73951
1648.37/1652.35 c #Conflicts: 724000 | #Constraints: 74951
1648.37/1652.35 c #Conflicts: 725000 | #Constraints: 75951
1648.37/1652.35 c #Conflicts: 726000 | #Constraints: 76951
1648.37/1652.35 c #Conflicts: 727000 | #Constraints: 77951
1648.37/1652.35 c #Conflicts: 728000 | #Constraints: 78951
1648.37/1652.35 c #Conflicts: 729000 | #Constraints: 79951
1648.37/1652.35 c #Conflicts: 730000 | #Constraints: 80951
1648.37/1652.35 c #Conflicts: 731000 | #Constraints: 81951
1648.37/1652.35 c #Conflicts: 732000 | #Constraints: 82951
1648.37/1652.35 c #Conflicts: 733000 | #Constraints: 83951
1648.37/1652.35 c #Conflicts: 734000 | #Constraints: 84951
1648.37/1652.35 c #Conflicts: 735000 | #Constraints: 85951
1648.37/1652.35 c #Conflicts: 736000 | #Constraints: 86951
1648.37/1652.35 c #Conflicts: 737000 | #Constraints: 87951
1648.37/1652.35 c #Conflicts: 738000 | #Constraints: 88951
1648.37/1652.35 c #Conflicts: 739000 | #Constraints: 89951
1648.37/1652.35 c #Conflicts: 740000 | #Constraints: 90951
1648.37/1652.35 c #Conflicts: 741000 | #Constraints: 91951
1648.37/1652.35 c #Conflicts: 742000 | #Constraints: 92951
1648.37/1652.35 c #Conflicts: 743000 | #Constraints: 93951
1648.37/1652.35 c #Conflicts: 744000 | #Constraints: 94951
1648.37/1652.35 c #Conflicts: 745000 | #Constraints: 95951
1648.37/1652.35 c #Conflicts: 746000 | #Constraints: 96951
1648.37/1652.35 c #Conflicts: 747000 | #Constraints: 97951
1648.37/1652.35 c #Conflicts: 748000 | #Constraints: 98951
1648.37/1652.35 c #Conflicts: 749000 | #Constraints: 99951
1648.37/1652.35 c #Conflicts: 750000 | #Constraints: 100951
1648.37/1652.35 c #Conflicts: 751000 | #Constraints: 101951
1648.37/1652.35 c #Conflicts: 752000 | #Constraints: 102951
1648.37/1652.35 c #Conflicts: 753000 | #Constraints: 103951
1648.37/1652.35 c #Conflicts: 754000 | #Constraints: 104951
1648.37/1652.35 c #Conflicts: 755000 | #Constraints: 105951
1648.37/1652.35 c #Conflicts: 756000 | #Constraints: 106951
1648.37/1652.35 c #Conflicts: 757000 | #Constraints: 107951
1648.37/1652.35 c #Conflicts: 758000 | #Constraints: 108951
1648.37/1652.35 c #Conflicts: 759000 | #Constraints: 109951
1648.37/1652.35 c #Conflicts: 760000 | #Constraints: 110951
1648.37/1652.35 c #Conflicts: 761000 | #Constraints: 111951
1648.37/1652.35 c #Conflicts: 762000 | #Constraints: 112951
1648.37/1652.35 c #Conflicts: 763000 | #Constraints: 113951
1648.37/1652.35 c #Conflicts: 764000 | #Constraints: 114951
1648.37/1652.35 c #Conflicts: 765000 | #Constraints: 115951
1648.37/1652.35 c #Conflicts: 766000 | #Constraints: 116951
1648.37/1652.35 c #Conflicts: 767000 | #Constraints: 117951
1648.37/1652.35 c #Conflicts: 768000 | #Constraints: 118951
1648.37/1652.35 c #Conflicts: 769000 | #Constraints: 119951
1648.37/1652.35 c #Conflicts: 770000 | #Constraints: 120951
1648.37/1652.35 c #Conflicts: 771000 | #Constraints: 121951
1648.37/1652.35 c #Conflicts: 772000 | #Constraints: 122951
1648.37/1652.35 c #Conflicts: 773000 | #Constraints: 123951
1648.37/1652.35 c INPROCESSING
1648.37/1652.35 c GARBAGE COLLECT
1648.37/1652.35 c #Conflicts: 774000 | #Constraints: 74629
1648.37/1652.35 c #Conflicts: 775000 | #Constraints: 75629
1648.37/1652.35 c #Conflicts: 776000 | #Constraints: 76629
1648.37/1652.35 c #Conflicts: 777000 | #Constraints: 77629
1648.37/1652.35 c #Conflicts: 778000 | #Constraints: 78629
1840.82/1845.22 c #Conflicts: 779000 | #Constraints: 79629
1840.82/1845.22 c #Conflicts: 780000 | #Constraints: 80629
1840.82/1845.22 c #Conflicts: 781000 | #Constraints: 81629
1840.82/1845.22 c #Conflicts: 782000 | #Constraints: 82629
1840.82/1845.22 c #Conflicts: 783000 | #Constraints: 83629
1840.82/1845.22 c #Conflicts: 784000 | #Constraints: 84629
1840.82/1845.22 c #Conflicts: 785000 | #Constraints: 85629
1840.82/1845.22 c #Conflicts: 786000 | #Constraints: 86629
1840.82/1845.22 c #Conflicts: 787000 | #Constraints: 87629
1840.82/1845.22 c #Conflicts: 788000 | #Constraints: 88629
1840.82/1845.22 c #Conflicts: 789000 | #Constraints: 89629
1840.82/1845.22 c #Conflicts: 790000 | #Constraints: 90629
1840.82/1845.22 c #Conflicts: 791000 | #Constraints: 91629
1840.82/1845.22 c #Conflicts: 792000 | #Constraints: 92629
1840.82/1845.22 c #Conflicts: 793000 | #Constraints: 93629
1840.82/1845.22 c #Conflicts: 794000 | #Constraints: 94629
1840.82/1845.22 c #Conflicts: 795000 | #Constraints: 95629
1840.82/1845.22 c #Conflicts: 796000 | #Constraints: 96629
1840.82/1845.22 c #Conflicts: 797000 | #Constraints: 97629
1840.82/1845.22 c #Conflicts: 798000 | #Constraints: 98629
1840.82/1845.22 c INPROCESSING
1840.82/1845.22 c GARBAGE COLLECT
1840.82/1845.22 c #Conflicts: 799000 | #Constraints: 70775
1840.82/1845.22 c #Conflicts: 800000 | #Constraints: 71775
1840.82/1845.22 c #Conflicts: 801000 | #Constraints: 72775
1840.82/1845.22 c #Conflicts: 802000 | #Constraints: 73775
1840.82/1845.22 c #Conflicts: 803000 | #Constraints: 74775
1840.82/1845.22 c #Conflicts: 804000 | #Constraints: 75775
1840.82/1845.22 c #Conflicts: 805000 | #Constraints: 76775
1840.82/1845.22 c #Conflicts: 806000 | #Constraints: 77775
1840.82/1845.22 c #Conflicts: 807000 | #Constraints: 78775
1840.82/1845.22 c #Conflicts: 808000 | #Constraints: 79775
1840.82/1845.22 c #Conflicts: 809000 | #Constraints: 80775
1840.82/1845.22 c #Conflicts: 810000 | #Constraints: 81775
1840.82/1845.22 c #Conflicts: 811000 | #Constraints: 82775
1840.82/1845.22 c #Conflicts: 812000 | #Constraints: 83775
1840.82/1845.22 c #Conflicts: 813000 | #Constraints: 84775
1840.82/1845.22 c #Conflicts: 814000 | #Constraints: 85775
1840.82/1845.22 c #Conflicts: 815000 | #Constraints: 86775
1840.82/1845.22 c #Conflicts: 816000 | #Constraints: 87775
1840.82/1845.22 c #Conflicts: 817000 | #Constraints: 88775
1840.82/1845.22 c #Conflicts: 818000 | #Constraints: 89775
1840.82/1845.22 c #Conflicts: 819000 | #Constraints: 90775
1840.82/1845.22 c #Conflicts: 820000 | #Constraints: 91775
1840.82/1845.22 c #Conflicts: 821000 | #Constraints: 92775
1840.82/1845.22 c #Conflicts: 822000 | #Constraints: 93775
1840.82/1845.22 c #Conflicts: 823000 | #Constraints: 94775
1840.82/1845.22 c #Conflicts: 824000 | #Constraints: 95775
1840.82/1845.22 c #Conflicts: 825000 | #Constraints: 96775
1840.82/1845.22 c #Conflicts: 826000 | #Constraints: 97775
1840.82/1845.22 c #Conflicts: 827000 | #Constraints: 98775
1840.82/1845.22 c #Conflicts: 828000 | #Constraints: 99775
1840.82/1845.22 c #Conflicts: 829000 | #Constraints: 100775
1840.82/1845.22 c #Conflicts: 830000 | #Constraints: 101775
1840.82/1845.22 c #Conflicts: 831000 | #Constraints: 102775
1840.82/1845.22 c #Conflicts: 832000 | #Constraints: 103775
1840.82/1845.22 c #Conflicts: 833000 | #Constraints: 104775
1840.82/1845.22 c #Conflicts: 834000 | #Constraints: 105775
1840.82/1845.22 c #Conflicts: 835000 | #Constraints: 106775
1840.82/1845.22 c #Conflicts: 836000 | #Constraints: 107775
1840.82/1845.22 c #Conflicts: 837000 | #Constraints: 108775
1840.82/1845.22 c #Conflicts: 838000 | #Constraints: 109775
1840.82/1845.22 c #Conflicts: 839000 | #Constraints: 110775
1840.82/1845.22 c #Conflicts: 840000 | #Constraints: 111775
1840.82/1845.22 c #Conflicts: 841000 | #Constraints: 112775
1840.82/1845.22 c #Conflicts: 842000 | #Constraints: 113775
1840.82/1845.22 c #Conflicts: 843000 | #Constraints: 114775
1840.82/1845.22 c #Conflicts: 844000 | #Constraints: 115775
1840.82/1845.22 c #Conflicts: 845000 | #Constraints: 116775
1840.82/1845.22 c #Conflicts: 846000 | #Constraints: 117775
1840.82/1845.22 c #Conflicts: 847000 | #Constraints: 118775
1840.82/1845.22 c #Conflicts: 848000 | #Constraints: 119775
1840.82/1845.22 c #Conflicts: 849000 | #Constraints: 120775
1840.82/1845.22 c #Conflicts: 850000 | #Constraints: 121775
1840.82/1845.22 c #Conflicts: 851000 | #Constraints: 122775
1840.82/1845.22 c #Conflicts: 852000 | #Constraints: 123775
1840.82/1845.22 c #Conflicts: 853000 | #Constraints: 124775
1840.82/1845.22 c #Conflicts: 854000 | #Constraints: 125775
1840.82/1845.22 c #Conflicts: 855000 | #Constraints: 126775
1840.82/1845.22 c #Conflicts: 856000 | #Constraints: 127775
2013.71/2018.55 c #Conflicts: 857000 | #Constraints: 128775
2013.71/2018.55 c #Conflicts: 858000 | #Constraints: 129775
2013.71/2018.55 c INPROCESSING
2013.71/2018.55 c GARBAGE COLLECT
2013.71/2018.55 c rational objective 174.036
2180.29/2185.50 c #Conflicts: 859000 | #Constraints: 77745
2180.29/2185.50 c #Conflicts: 860000 | #Constraints: 78745
2180.29/2185.50 c #Conflicts: 861000 | #Constraints: 79745
2180.29/2185.50 c #Conflicts: 862000 | #Constraints: 80745
2180.29/2185.50 c #Conflicts: 863000 | #Constraints: 81745
2180.29/2185.50 c #Conflicts: 864000 | #Constraints: 82745
2180.29/2185.50 c #Conflicts: 865000 | #Constraints: 83745
2180.29/2185.50 c #Conflicts: 866000 | #Constraints: 84745
2180.29/2185.50 c #Conflicts: 867000 | #Constraints: 85745
2180.29/2185.50 c #Conflicts: 868000 | #Constraints: 86745
2180.29/2185.50 c #Conflicts: 869000 | #Constraints: 87745
2180.29/2185.50 c #Conflicts: 870000 | #Constraints: 88745
2180.29/2185.50 c #Conflicts: 871000 | #Constraints: 89745
2180.29/2185.50 c #Conflicts: 872000 | #Constraints: 90745
2180.29/2185.50 c #Conflicts: 873000 | #Constraints: 91745
2180.29/2185.50 c #Conflicts: 874000 | #Constraints: 92745
2180.29/2185.50 c #Conflicts: 875000 | #Constraints: 93745
2180.29/2185.50 c #Conflicts: 876000 | #Constraints: 94745
2180.29/2185.50 c #Conflicts: 877000 | #Constraints: 95745
2180.29/2185.50 c #Conflicts: 878000 | #Constraints: 96745
2180.29/2185.50 c #Conflicts: 879000 | #Constraints: 97745
2180.29/2185.50 c #Conflicts: 880000 | #Constraints: 98745
2180.29/2185.50 c #Conflicts: 881000 | #Constraints: 99745
2180.29/2185.50 c #Conflicts: 882000 | #Constraints: 100745
2180.29/2185.50 c #Conflicts: 883000 | #Constraints: 101745
2180.29/2185.50 c #Conflicts: 884000 | #Constraints: 102745
2180.29/2185.50 c INPROCESSING
2180.29/2185.50 c GARBAGE COLLECT
2180.29/2185.50 c #Conflicts: 885000 | #Constraints: 73477
2180.29/2185.50 c #Conflicts: 886000 | #Constraints: 74477
2180.29/2185.50 c #Conflicts: 887000 | #Constraints: 75477
2180.29/2185.50 c #Conflicts: 888000 | #Constraints: 76477
2180.29/2185.50 c #Conflicts: 889000 | #Constraints: 77477
2180.29/2185.50 c #Conflicts: 890000 | #Constraints: 78477
2180.29/2185.50 c #Conflicts: 891000 | #Constraints: 79477
2180.29/2185.50 c #Conflicts: 892000 | #Constraints: 80477
2180.29/2185.50 c #Conflicts: 893000 | #Constraints: 81477
2180.29/2185.50 c #Conflicts: 894000 | #Constraints: 82477
2180.29/2185.50 c #Conflicts: 895000 | #Constraints: 83477
2180.29/2185.50 c #Conflicts: 896000 | #Constraints: 84477
2180.29/2185.50 c #Conflicts: 897000 | #Constraints: 85477
2180.29/2185.50 c #Conflicts: 898000 | #Constraints: 86477
2180.29/2185.50 c #Conflicts: 899000 | #Constraints: 87477
2180.29/2185.50 c #Conflicts: 900000 | #Constraints: 88477
2180.29/2185.50 c #Conflicts: 901000 | #Constraints: 89477
2180.29/2185.50 c #Conflicts: 902000 | #Constraints: 90477
2180.29/2185.50 c #Conflicts: 903000 | #Constraints: 91477
2180.29/2185.50 c #Conflicts: 904000 | #Constraints: 92477
2180.29/2185.50 c #Conflicts: 905000 | #Constraints: 93477
2180.29/2185.50 c #Conflicts: 906000 | #Constraints: 94477
2180.29/2185.50 c #Conflicts: 907000 | #Constraints: 95477
2180.29/2185.50 c #Conflicts: 908000 | #Constraints: 96477
2180.29/2185.50 c #Conflicts: 909000 | #Constraints: 97477
2180.29/2185.50 c #Conflicts: 910000 | #Constraints: 98477
2180.29/2185.50 c #Conflicts: 911000 | #Constraints: 99477
2180.29/2185.50 c #Conflicts: 912000 | #Constraints: 100477
2180.29/2185.50 c #Conflicts: 913000 | #Constraints: 101477
2180.29/2185.50 c #Conflicts: 914000 | #Constraints: 102477
2180.29/2185.50 c #Conflicts: 915000 | #Constraints: 103477
2180.29/2185.50 c #Conflicts: 916000 | #Constraints: 104477
2180.29/2185.50 c #Conflicts: 917000 | #Constraints: 105477
2180.29/2185.50 c #Conflicts: 918000 | #Constraints: 106477
2180.29/2185.50 c #Conflicts: 919000 | #Constraints: 107477
2180.29/2185.50 c #Conflicts: 920000 | #Constraints: 108477
2180.29/2185.50 c #Conflicts: 921000 | #Constraints: 109477
2180.29/2185.50 c #Conflicts: 922000 | #Constraints: 110477
2180.29/2185.50 c #Conflicts: 923000 | #Constraints: 111477
2180.29/2185.50 c #Conflicts: 924000 | #Constraints: 112477
2180.29/2185.50 c #Conflicts: 925000 | #Constraints: 113477
2180.29/2185.50 c #Conflicts: 926000 | #Constraints: 114477
2180.29/2185.50 c #Conflicts: 927000 | #Constraints: 115477
2180.29/2185.50 c #Conflicts: 928000 | #Constraints: 116477
2180.29/2185.50 c #Conflicts: 929000 | #Constraints: 117477
2180.29/2185.50 c #Conflicts: 930000 | #Constraints: 118477
2180.29/2185.50 c #Conflicts: 931000 | #Constraints: 119477
2180.29/2185.50 c #Conflicts: 932000 | #Constraints: 120477
2180.29/2185.50 c #Conflicts: 933000 | #Constraints: 121477
2180.29/2185.50 c #Conflicts: 934000 | #Constraints: 122477
2180.29/2185.50 c #Conflicts: 935000 | #Constraints: 123477
2180.29/2185.50 c #Conflicts: 936000 | #Constraints: 124477
2180.29/2185.50 c #Conflicts: 937000 | #Constraints: 125477
2399.01/2404.83 c #Conflicts: 938000 | #Constraints: 126477
2399.01/2404.83 c #Conflicts: 939000 | #Constraints: 127477
2399.01/2404.83 c #Conflicts: 940000 | #Constraints: 128477
2399.01/2404.83 c #Conflicts: 941000 | #Constraints: 129477
2399.01/2404.83 c #Conflicts: 942000 | #Constraints: 130477
2399.01/2404.83 c #Conflicts: 943000 | #Constraints: 131477
2399.01/2404.83 c #Conflicts: 944000 | #Constraints: 132477
2399.01/2404.83 c #Conflicts: 945000 | #Constraints: 133477
2399.01/2404.83 c #Conflicts: 946000 | #Constraints: 134477
2399.01/2404.83 c #Conflicts: 947000 | #Constraints: 135477
2399.01/2404.83 c INPROCESSING
2399.01/2404.83 c GARBAGE COLLECT
2399.01/2404.83 c #Conflicts: 948000 | #Constraints: 80526
2399.01/2404.83 c #Conflicts: 949000 | #Constraints: 81526
2399.01/2404.83 c #Conflicts: 950000 | #Constraints: 82526
2399.01/2404.83 c #Conflicts: 951000 | #Constraints: 83526
2399.01/2404.83 c #Conflicts: 952000 | #Constraints: 84526
2399.01/2404.83 c #Conflicts: 953000 | #Constraints: 85526
2399.01/2404.83 c #Conflicts: 954000 | #Constraints: 86526
2399.01/2404.83 c #Conflicts: 955000 | #Constraints: 87526
2399.01/2404.83 c #Conflicts: 956000 | #Constraints: 88526
2399.01/2404.83 c #Conflicts: 957000 | #Constraints: 89526
2399.01/2404.83 c #Conflicts: 958000 | #Constraints: 90526
2399.01/2404.83 c #Conflicts: 959000 | #Constraints: 91526
2399.01/2404.83 c #Conflicts: 960000 | #Constraints: 92526
2399.01/2404.83 c #Conflicts: 961000 | #Constraints: 93526
2399.01/2404.83 c #Conflicts: 962000 | #Constraints: 94526
2399.01/2404.83 c #Conflicts: 963000 | #Constraints: 95526
2399.01/2404.83 c #Conflicts: 964000 | #Constraints: 96526
2399.01/2404.83 c #Conflicts: 965000 | #Constraints: 97526
2399.01/2404.83 c #Conflicts: 966000 | #Constraints: 98526
2399.01/2404.83 c #Conflicts: 967000 | #Constraints: 99526
2399.01/2404.83 c #Conflicts: 968000 | #Constraints: 100526
2399.01/2404.83 c #Conflicts: 969000 | #Constraints: 101526
2399.01/2404.83 c #Conflicts: 970000 | #Constraints: 102526
2399.01/2404.83 c #Conflicts: 971000 | #Constraints: 103526
2399.01/2404.83 c #Conflicts: 972000 | #Constraints: 104526
2399.01/2404.83 c #Conflicts: 973000 | #Constraints: 105526
2399.01/2404.83 c #Conflicts: 974000 | #Constraints: 106526
2399.01/2404.83 c INPROCESSING
2399.01/2404.83 c GARBAGE COLLECT
2399.01/2404.83 c #Conflicts: 975000 | #Constraints: 75538
2399.01/2404.83 c #Conflicts: 976000 | #Constraints: 76538
2399.01/2404.83 c #Conflicts: 977000 | #Constraints: 77538
2399.01/2404.83 c #Conflicts: 978000 | #Constraints: 78538
2399.01/2404.83 c #Conflicts: 979000 | #Constraints: 79538
2399.01/2404.83 c #Conflicts: 980000 | #Constraints: 80538
2399.01/2404.83 c #Conflicts: 981000 | #Constraints: 81538
2399.01/2404.83 c #Conflicts: 982000 | #Constraints: 82538
2399.01/2404.83 c #Conflicts: 983000 | #Constraints: 83538
2399.01/2404.83 c #Conflicts: 984000 | #Constraints: 84538
2399.01/2404.83 c #Conflicts: 985000 | #Constraints: 85538
2399.01/2404.83 c #Conflicts: 986000 | #Constraints: 86538
2399.01/2404.83 c #Conflicts: 987000 | #Constraints: 87538
2399.01/2404.83 c #Conflicts: 988000 | #Constraints: 88538
2399.01/2404.83 c #Conflicts: 989000 | #Constraints: 89538
2399.01/2404.83 c #Conflicts: 990000 | #Constraints: 90538
2399.01/2404.83 c #Conflicts: 991000 | #Constraints: 91538
2399.01/2404.83 c #Conflicts: 992000 | #Constraints: 92538
2399.01/2404.83 c #Conflicts: 993000 | #Constraints: 93538
2399.01/2404.83 c #Conflicts: 994000 | #Constraints: 94538
2399.01/2404.83 c #Conflicts: 995000 | #Constraints: 95538
2399.01/2404.83 c #Conflicts: 996000 | #Constraints: 96538
2399.01/2404.83 c #Conflicts: 997000 | #Constraints: 97538
2399.01/2404.83 c #Conflicts: 998000 | #Constraints: 98538
2399.01/2404.83 c #Conflicts: 999000 | #Constraints: 99538
2399.01/2404.83 c #Conflicts: 1000000 | #Constraints: 100538
2399.01/2404.83 c #Conflicts: 1001000 | #Constraints: 101538
2399.01/2404.83 c #Conflicts: 1002000 | #Constraints: 102538
2399.01/2404.83 c #Conflicts: 1003000 | #Constraints: 103538
2399.01/2404.83 c #Conflicts: 1004000 | #Constraints: 104538
2399.01/2404.83 c #Conflicts: 1005000 | #Constraints: 105538
2399.01/2404.83 c #Conflicts: 1006000 | #Constraints: 106538
2399.01/2404.83 c #Conflicts: 1007000 | #Constraints: 107538
2399.01/2404.83 c #Conflicts: 1008000 | #Constraints: 108538
2399.01/2404.83 c #Conflicts: 1009000 | #Constraints: 109538
2399.01/2404.83 c #Conflicts: 1010000 | #Constraints: 110538
2399.01/2404.83 c #Conflicts: 1011000 | #Constraints: 111538
2399.01/2404.83 c #Conflicts: 1012000 | #Constraints: 112538
2399.01/2404.83 c #Conflicts: 1013000 | #Constraints: 113538
2399.01/2404.83 c #Conflicts: 1014000 | #Constraints: 114538
2631.90/2638.35 c #Conflicts: 1015000 | #Constraints: 115538
2631.90/2638.35 c #Conflicts: 1016000 | #Constraints: 116538
2631.90/2638.35 c #Conflicts: 1017000 | #Constraints: 117538
2631.90/2638.35 c #Conflicts: 1018000 | #Constraints: 118538
2631.90/2638.35 c #Conflicts: 1019000 | #Constraints: 119538
2631.90/2638.35 c #Conflicts: 1020000 | #Constraints: 120538
2631.90/2638.35 c #Conflicts: 1021000 | #Constraints: 121538
2631.90/2638.35 c #Conflicts: 1022000 | #Constraints: 122538
2631.90/2638.35 c #Conflicts: 1023000 | #Constraints: 123538
2631.90/2638.35 c #Conflicts: 1024000 | #Constraints: 124538
2631.90/2638.35 c #Conflicts: 1025000 | #Constraints: 125538
2631.90/2638.35 c #Conflicts: 1026000 | #Constraints: 126538
2631.90/2638.35 c #Conflicts: 1027000 | #Constraints: 127538
2631.90/2638.35 c #Conflicts: 1028000 | #Constraints: 128538
2631.90/2638.35 c #Conflicts: 1029000 | #Constraints: 129538
2631.90/2638.35 c #Conflicts: 1030000 | #Constraints: 130538
2631.90/2638.35 c #Conflicts: 1031000 | #Constraints: 131538
2631.90/2638.35 c #Conflicts: 1032000 | #Constraints: 132538
2631.90/2638.35 c #Conflicts: 1033000 | #Constraints: 133538
2631.90/2638.35 c #Conflicts: 1034000 | #Constraints: 134538
2631.90/2638.35 c #Conflicts: 1035000 | #Constraints: 135538
2631.90/2638.35 c #Conflicts: 1036000 | #Constraints: 136538
2631.90/2638.35 c #Conflicts: 1037000 | #Constraints: 137538
2631.90/2638.35 c #Conflicts: 1038000 | #Constraints: 138538
2631.90/2638.35 c #Conflicts: 1039000 | #Constraints: 139538
2631.90/2638.35 c #Conflicts: 1040000 | #Constraints: 140538
2631.90/2638.35 c INPROCESSING
2631.90/2638.35 c GARBAGE COLLECT
2631.90/2638.35 c #Conflicts: 1041000 | #Constraints: 82490
2631.90/2638.35 c #Conflicts: 1042000 | #Constraints: 83490
2631.90/2638.35 c #Conflicts: 1043000 | #Constraints: 84490
2631.90/2638.35 c #Conflicts: 1044000 | #Constraints: 85490
2631.90/2638.35 c #Conflicts: 1045000 | #Constraints: 86490
2631.90/2638.35 c #Conflicts: 1046000 | #Constraints: 87490
2631.90/2638.35 c #Conflicts: 1047000 | #Constraints: 88490
2631.90/2638.35 c #Conflicts: 1048000 | #Constraints: 89490
2631.90/2638.35 c #Conflicts: 1049000 | #Constraints: 90490
2631.90/2638.35 c #Conflicts: 1050000 | #Constraints: 91490
2631.90/2638.35 c #Conflicts: 1051000 | #Constraints: 92490
2631.90/2638.35 c #Conflicts: 1052000 | #Constraints: 93490
2631.90/2638.35 c #Conflicts: 1053000 | #Constraints: 94490
2631.90/2638.35 c #Conflicts: 1054000 | #Constraints: 95490
2631.90/2638.35 c #Conflicts: 1055000 | #Constraints: 96490
2631.90/2638.35 c #Conflicts: 1056000 | #Constraints: 97490
2631.90/2638.35 c #Conflicts: 1057000 | #Constraints: 98490
2631.90/2638.35 c #Conflicts: 1058000 | #Constraints: 99490
2631.90/2638.35 c #Conflicts: 1059000 | #Constraints: 100490
2631.90/2638.35 c #Conflicts: 1060000 | #Constraints: 101490
2631.90/2638.35 c #Conflicts: 1061000 | #Constraints: 102490
2631.90/2638.35 c #Conflicts: 1062000 | #Constraints: 103490
2631.90/2638.35 c #Conflicts: 1063000 | #Constraints: 104490
2631.90/2638.35 c #Conflicts: 1064000 | #Constraints: 105490
2631.90/2638.35 c #Conflicts: 1065000 | #Constraints: 106490
2631.90/2638.35 c #Conflicts: 1066000 | #Constraints: 107490
2631.90/2638.35 c #Conflicts: 1067000 | #Constraints: 108490
2631.90/2638.35 c #Conflicts: 1068000 | #Constraints: 109490
2631.90/2638.35 c #Conflicts: 1069000 | #Constraints: 110490
2631.90/2638.35 c INPROCESSING
2631.90/2638.35 c GARBAGE COLLECT
2631.90/2638.35 c #Conflicts: 1070000 | #Constraints: 77573
2631.90/2638.35 c #Conflicts: 1071000 | #Constraints: 78573
2631.90/2638.35 c #Conflicts: 1072000 | #Constraints: 79573
2631.90/2638.35 c #Conflicts: 1073000 | #Constraints: 80573
2631.90/2638.35 c #Conflicts: 1074000 | #Constraints: 81573
2631.90/2638.35 c #Conflicts: 1075000 | #Constraints: 82573
2631.90/2638.35 c #Conflicts: 1076000 | #Constraints: 83573
2631.90/2638.35 c #Conflicts: 1077000 | #Constraints: 84573
2631.90/2638.35 c #Conflicts: 1078000 | #Constraints: 85573
2631.90/2638.35 c #Conflicts: 1079000 | #Constraints: 86573
2631.90/2638.35 c #Conflicts: 1080000 | #Constraints: 87573
2631.90/2638.35 c #Conflicts: 1081000 | #Constraints: 88573
2631.90/2638.35 c #Conflicts: 1082000 | #Constraints: 89573
2631.90/2638.35 c #Conflicts: 1083000 | #Constraints: 90573
2631.90/2638.35 c #Conflicts: 1084000 | #Constraints: 91573
2631.90/2638.35 c #Conflicts: 1085000 | #Constraints: 92573
2631.90/2638.35 c #Conflicts: 1086000 | #Constraints: 93573
2631.90/2638.35 c #Conflicts: 1087000 | #Constraints: 94573
2631.90/2638.35 c #Conflicts: 1088000 | #Constraints: 95573
2631.90/2638.35 c #Conflicts: 1089000 | #Constraints: 96573
2631.90/2638.35 c #Conflicts: 1090000 | #Constraints: 97573
2631.90/2638.35 c #Conflicts: 1091000 | #Constraints: 98573
2631.90/2638.35 c #Conflicts: 1092000 | #Constraints: 99573
2851.71/2858.72 c #Conflicts: 1093000 | #Constraints: 100573
2851.71/2858.72 c #Conflicts: 1094000 | #Constraints: 101573
2851.71/2858.72 c #Conflicts: 1095000 | #Constraints: 102573
2851.71/2858.72 c #Conflicts: 1096000 | #Constraints: 103573
2851.71/2858.72 c #Conflicts: 1097000 | #Constraints: 104573
2851.71/2858.72 c #Conflicts: 1098000 | #Constraints: 105573
2851.71/2858.72 c #Conflicts: 1099000 | #Constraints: 106573
2851.71/2858.72 c #Conflicts: 1100000 | #Constraints: 107573
2851.71/2858.72 c #Conflicts: 1101000 | #Constraints: 108573
2851.71/2858.72 c #Conflicts: 1102000 | #Constraints: 109573
2851.71/2858.72 c #Conflicts: 1103000 | #Constraints: 110573
2851.71/2858.72 c #Conflicts: 1104000 | #Constraints: 111573
2851.71/2858.72 c #Conflicts: 1105000 | #Constraints: 112573
2851.71/2858.72 c #Conflicts: 1106000 | #Constraints: 113573
2851.71/2858.72 c #Conflicts: 1107000 | #Constraints: 114573
2851.71/2858.72 c #Conflicts: 1108000 | #Constraints: 115573
2851.71/2858.72 c #Conflicts: 1109000 | #Constraints: 116573
2851.71/2858.72 c #Conflicts: 1110000 | #Constraints: 117573
2851.71/2858.72 c #Conflicts: 1111000 | #Constraints: 118573
2851.71/2858.72 c #Conflicts: 1112000 | #Constraints: 119573
2851.71/2858.72 c #Conflicts: 1113000 | #Constraints: 120573
2851.71/2858.72 c #Conflicts: 1114000 | #Constraints: 121573
2851.71/2858.72 c #Conflicts: 1115000 | #Constraints: 122573
2851.71/2858.72 c #Conflicts: 1116000 | #Constraints: 123573
2851.71/2858.72 c #Conflicts: 1117000 | #Constraints: 124573
2851.71/2858.72 c #Conflicts: 1118000 | #Constraints: 125573
2851.71/2858.72 c #Conflicts: 1119000 | #Constraints: 126573
2851.71/2858.72 c #Conflicts: 1120000 | #Constraints: 127573
2851.71/2858.72 c #Conflicts: 1121000 | #Constraints: 128573
2851.71/2858.72 c #Conflicts: 1122000 | #Constraints: 129573
2851.71/2858.72 c #Conflicts: 1123000 | #Constraints: 130573
2851.71/2858.72 c #Conflicts: 1124000 | #Constraints: 131573
2851.71/2858.72 c #Conflicts: 1125000 | #Constraints: 132573
2851.71/2858.72 c #Conflicts: 1126000 | #Constraints: 133573
2851.71/2858.72 c #Conflicts: 1127000 | #Constraints: 134573
2851.71/2858.72 c #Conflicts: 1128000 | #Constraints: 135573
2851.71/2858.72 c #Conflicts: 1129000 | #Constraints: 136574
2851.71/2858.72 c #Conflicts: 1130000 | #Constraints: 137574
2851.71/2858.72 c #Conflicts: 1131000 | #Constraints: 138574
2851.71/2858.72 c #Conflicts: 1132000 | #Constraints: 139574
2851.71/2858.72 c #Conflicts: 1133000 | #Constraints: 140574
2851.71/2858.72 c #Conflicts: 1134000 | #Constraints: 141574
2851.71/2858.72 c #Conflicts: 1135000 | #Constraints: 142574
2851.71/2858.72 c #Conflicts: 1136000 | #Constraints: 143574
2851.71/2858.72 c #Conflicts: 1137000 | #Constraints: 144574
2851.71/2858.72 c #Conflicts: 1138000 | #Constraints: 145574
2851.71/2858.72 c INPROCESSING
2851.71/2858.72 c GARBAGE COLLECT
2851.71/2858.72 c #Conflicts: 1139000 | #Constraints: 85479
2851.71/2858.72 c #Conflicts: 1140000 | #Constraints: 86479
2851.71/2858.72 c #Conflicts: 1141000 | #Constraints: 87479
2851.71/2858.72 c #Conflicts: 1142000 | #Constraints: 88479
2851.71/2858.72 c #Conflicts: 1143000 | #Constraints: 89479
2851.71/2858.72 c #Conflicts: 1144000 | #Constraints: 90479
2851.71/2858.72 c #Conflicts: 1145000 | #Constraints: 91479
2851.71/2858.72 c #Conflicts: 1146000 | #Constraints: 92479
2851.71/2858.72 c #Conflicts: 1147000 | #Constraints: 93479
2851.71/2858.72 c #Conflicts: 1148000 | #Constraints: 94479
2851.71/2858.72 c #Conflicts: 1149000 | #Constraints: 95479
2851.71/2858.72 c #Conflicts: 1150000 | #Constraints: 96479
2851.71/2858.72 c #Conflicts: 1151000 | #Constraints: 97479
2851.71/2858.72 c #Conflicts: 1152000 | #Constraints: 98479
2851.71/2858.72 c #Conflicts: 1153000 | #Constraints: 99479
2851.71/2858.72 c #Conflicts: 1154000 | #Constraints: 100479
2851.71/2858.72 c #Conflicts: 1155000 | #Constraints: 101479
2851.71/2858.72 c #Conflicts: 1156000 | #Constraints: 102479
2851.71/2858.72 c #Conflicts: 1157000 | #Constraints: 103479
2851.71/2858.72 c #Conflicts: 1158000 | #Constraints: 104479
2851.71/2858.72 c #Conflicts: 1159000 | #Constraints: 105479
2851.71/2858.72 c #Conflicts: 1160000 | #Constraints: 106479
2851.71/2858.72 c #Conflicts: 1161000 | #Constraints: 107479
2851.71/2858.72 c #Conflicts: 1162000 | #Constraints: 108479
2851.71/2858.72 c #Conflicts: 1163000 | #Constraints: 109479
2851.71/2858.72 c #Conflicts: 1164000 | #Constraints: 110479
2851.71/2858.72 c #Conflicts: 1165000 | #Constraints: 111479
2851.71/2858.72 c #Conflicts: 1166000 | #Constraints: 112479
2851.71/2858.72 c #Conflicts: 1167000 | #Constraints: 113479
2851.71/2858.72 c #Conflicts: 1168000 | #Constraints: 114479
2851.71/2858.72 c INPROCESSING
2851.71/2858.72 c GARBAGE COLLECT
2851.71/2858.72 c #Conflicts: 1169000 | #Constraints: 79533
3067.00/3074.63 c #Conflicts: 1170000 | #Constraints: 80533
3067.00/3074.63 c #Conflicts: 1171000 | #Constraints: 81533
3067.00/3074.63 c #Conflicts: 1172000 | #Constraints: 82533
3067.00/3074.63 c #Conflicts: 1173000 | #Constraints: 83533
3067.00/3074.63 c #Conflicts: 1174000 | #Constraints: 84533
3067.00/3074.63 c #Conflicts: 1175000 | #Constraints: 85533
3067.00/3074.63 c #Conflicts: 1176000 | #Constraints: 86533
3067.00/3074.63 c #Conflicts: 1177000 | #Constraints: 87533
3067.00/3074.63 c #Conflicts: 1178000 | #Constraints: 88533
3067.00/3074.63 c #Conflicts: 1179000 | #Constraints: 89533
3067.00/3074.63 c #Conflicts: 1180000 | #Constraints: 90533
3067.00/3074.63 c #Conflicts: 1181000 | #Constraints: 91533
3067.00/3074.63 c #Conflicts: 1182000 | #Constraints: 92533
3067.00/3074.63 c #Conflicts: 1183000 | #Constraints: 93533
3067.00/3074.63 c #Conflicts: 1184000 | #Constraints: 94533
3067.00/3074.63 c #Conflicts: 1185000 | #Constraints: 95533
3067.00/3074.63 c #Conflicts: 1186000 | #Constraints: 96533
3067.00/3074.63 c #Conflicts: 1187000 | #Constraints: 97533
3067.00/3074.63 c #Conflicts: 1188000 | #Constraints: 98533
3067.00/3074.63 c #Conflicts: 1189000 | #Constraints: 99533
3067.00/3074.63 c #Conflicts: 1190000 | #Constraints: 100533
3067.00/3074.63 c #Conflicts: 1191000 | #Constraints: 101533
3067.00/3074.63 c #Conflicts: 1192000 | #Constraints: 102533
3067.00/3074.63 c #Conflicts: 1193000 | #Constraints: 103533
3067.00/3074.63 c #Conflicts: 1194000 | #Constraints: 104533
3067.00/3074.63 c #Conflicts: 1195000 | #Constraints: 105533
3067.00/3074.63 c #Conflicts: 1196000 | #Constraints: 106534
3067.00/3074.63 c #Conflicts: 1197000 | #Constraints: 107534
3067.00/3074.63 c #Conflicts: 1198000 | #Constraints: 108534
3067.00/3074.63 c #Conflicts: 1199000 | #Constraints: 109534
3067.00/3074.63 c #Conflicts: 1200000 | #Constraints: 110534
3067.00/3074.63 c #Conflicts: 1201000 | #Constraints: 111534
3067.00/3074.63 c #Conflicts: 1202000 | #Constraints: 112534
3067.00/3074.63 c #Conflicts: 1203000 | #Constraints: 113534
3067.00/3074.63 c #Conflicts: 1204000 | #Constraints: 114534
3067.00/3074.63 c #Conflicts: 1205000 | #Constraints: 115534
3067.00/3074.63 c #Conflicts: 1206000 | #Constraints: 116534
3067.00/3074.63 c #Conflicts: 1207000 | #Constraints: 117534
3067.00/3074.63 c #Conflicts: 1208000 | #Constraints: 118534
3067.00/3074.63 c #Conflicts: 1209000 | #Constraints: 119534
3067.00/3074.63 c #Conflicts: 1210000 | #Constraints: 120534
3067.00/3074.63 c #Conflicts: 1211000 | #Constraints: 121534
3067.00/3074.63 c #Conflicts: 1212000 | #Constraints: 122534
3067.00/3074.63 c #Conflicts: 1213000 | #Constraints: 123534
3067.00/3074.63 c #Conflicts: 1214000 | #Constraints: 124534
3067.00/3074.63 c #Conflicts: 1215000 | #Constraints: 125534
3067.00/3074.63 c #Conflicts: 1216000 | #Constraints: 126534
3067.00/3074.63 c #Conflicts: 1217000 | #Constraints: 127534
3067.00/3074.63 c #Conflicts: 1218000 | #Constraints: 128534
3067.00/3074.63 c #Conflicts: 1219000 | #Constraints: 129534
3067.00/3074.63 c #Conflicts: 1220000 | #Constraints: 130534
3067.00/3074.63 c #Conflicts: 1221000 | #Constraints: 131534
3067.00/3074.63 c #Conflicts: 1222000 | #Constraints: 132534
3067.00/3074.63 c #Conflicts: 1223000 | #Constraints: 133534
3067.00/3074.63 c #Conflicts: 1224000 | #Constraints: 134534
3067.00/3074.63 c #Conflicts: 1225000 | #Constraints: 135534
3067.00/3074.63 c #Conflicts: 1226000 | #Constraints: 136534
3067.00/3074.63 c #Conflicts: 1227000 | #Constraints: 137534
3067.00/3074.63 c #Conflicts: 1228000 | #Constraints: 138534
3067.00/3074.63 c #Conflicts: 1229000 | #Constraints: 139534
3067.00/3074.63 c #Conflicts: 1230000 | #Constraints: 140534
3067.00/3074.63 c #Conflicts: 1231000 | #Constraints: 141534
3067.00/3074.63 c #Conflicts: 1232000 | #Constraints: 142534
3067.00/3074.63 c #Conflicts: 1233000 | #Constraints: 143534
3067.00/3074.63 c #Conflicts: 1234000 | #Constraints: 144534
3067.00/3074.63 c #Conflicts: 1235000 | #Constraints: 145534
3067.00/3074.63 c #Conflicts: 1236000 | #Constraints: 146534
3067.00/3074.63 c #Conflicts: 1237000 | #Constraints: 147534
3067.00/3074.63 c #Conflicts: 1238000 | #Constraints: 148534
3067.00/3074.63 c #Conflicts: 1239000 | #Constraints: 149534
3067.00/3074.63 c #Conflicts: 1240000 | #Constraints: 150534
3067.00/3074.63 c INPROCESSING
3067.00/3074.63 c GARBAGE COLLECT
3067.00/3074.63 c #Conflicts: 1241000 | #Constraints: 87924
3067.00/3074.63 c #Conflicts: 1242000 | #Constraints: 88924
3067.00/3074.63 c #Conflicts: 1243000 | #Constraints: 89924
3067.00/3074.63 c #Conflicts: 1244000 | #Constraints: 90924
3067.00/3074.63 c #Conflicts: 1245000 | #Constraints: 91924
3067.00/3074.63 c #Conflicts: 1246000 | #Constraints: 92924
3067.00/3074.63 c #Conflicts: 1247000 | #Constraints: 93924
3245.24/3253.30 c #Conflicts: 1248000 | #Constraints: 94924
3245.24/3253.30 c #Conflicts: 1249000 | #Constraints: 95924
3245.24/3253.30 c #Conflicts: 1250000 | #Constraints: 96924
3245.24/3253.30 c #Conflicts: 1251000 | #Constraints: 97924
3245.24/3253.30 c #Conflicts: 1252000 | #Constraints: 98924
3245.24/3253.30 c #Conflicts: 1253000 | #Constraints: 99924
3245.24/3253.30 c #Conflicts: 1254000 | #Constraints: 100924
3245.24/3253.30 c #Conflicts: 1255000 | #Constraints: 101924
3245.24/3253.30 c #Conflicts: 1256000 | #Constraints: 102924
3245.24/3253.30 c #Conflicts: 1257000 | #Constraints: 103924
3245.24/3253.30 c #Conflicts: 1258000 | #Constraints: 104924
3245.24/3253.30 c #Conflicts: 1259000 | #Constraints: 105924
3245.24/3253.30 c #Conflicts: 1260000 | #Constraints: 106924
3245.24/3253.30 c #Conflicts: 1261000 | #Constraints: 107924
3245.24/3253.30 c #Conflicts: 1262000 | #Constraints: 108924
3245.24/3253.30 c #Conflicts: 1263000 | #Constraints: 109924
3245.24/3253.30 c #Conflicts: 1264000 | #Constraints: 110924
3245.24/3253.30 c #Conflicts: 1265000 | #Constraints: 111924
3245.24/3253.30 c #Conflicts: 1266000 | #Constraints: 112924
3245.24/3253.30 c #Conflicts: 1267000 | #Constraints: 113924
3245.24/3253.30 c #Conflicts: 1268000 | #Constraints: 114924
3245.24/3253.30 c #Conflicts: 1269000 | #Constraints: 115924
3245.24/3253.30 c #Conflicts: 1270000 | #Constraints: 116924
3245.24/3253.30 c #Conflicts: 1271000 | #Constraints: 117924
3245.24/3253.30 c #Conflicts: 1272000 | #Constraints: 118924
3245.24/3253.30 c INPROCESSING
3245.24/3253.30 c GARBAGE COLLECT
3245.24/3253.30 c #Conflicts: 1273000 | #Constraints: 82857
3245.24/3253.30 c #Conflicts: 1274000 | #Constraints: 83857
3245.24/3253.30 c #Conflicts: 1275000 | #Constraints: 84857
3245.24/3253.30 c #Conflicts: 1276000 | #Constraints: 85857
3245.24/3253.30 c #Conflicts: 1277000 | #Constraints: 86857
3245.24/3253.30 c #Conflicts: 1278000 | #Constraints: 87857
3245.24/3253.30 c #Conflicts: 1279000 | #Constraints: 88857
3245.24/3253.30 c #Conflicts: 1280000 | #Constraints: 89857
3245.24/3253.30 c #Conflicts: 1281000 | #Constraints: 90857
3245.24/3253.30 c #Conflicts: 1282000 | #Constraints: 91857
3245.24/3253.30 c #Conflicts: 1283000 | #Constraints: 92857
3245.24/3253.30 c #Conflicts: 1284000 | #Constraints: 93857
3245.24/3253.30 c #Conflicts: 1285000 | #Constraints: 94857
3245.24/3253.30 c #Conflicts: 1286000 | #Constraints: 95857
3245.24/3253.30 c #Conflicts: 1287000 | #Constraints: 96857
3245.24/3253.30 c #Conflicts: 1288000 | #Constraints: 97857
3245.24/3253.30 c #Conflicts: 1289000 | #Constraints: 98857
3245.24/3253.30 c #Conflicts: 1290000 | #Constraints: 99857
3245.24/3253.30 c #Conflicts: 1291000 | #Constraints: 100857
3245.24/3253.30 c #Conflicts: 1292000 | #Constraints: 101857
3245.24/3253.30 c #Conflicts: 1293000 | #Constraints: 102857
3245.24/3253.30 c #Conflicts: 1294000 | #Constraints: 103857
3245.24/3253.30 c #Conflicts: 1295000 | #Constraints: 104857
3245.24/3253.30 c #Conflicts: 1296000 | #Constraints: 105857
3245.24/3253.30 c #Conflicts: 1297000 | #Constraints: 106857
3245.24/3253.30 c #Conflicts: 1298000 | #Constraints: 107857
3245.24/3253.30 c #Conflicts: 1299000 | #Constraints: 108857
3245.24/3253.30 c #Conflicts: 1300000 | #Constraints: 109857
3245.24/3253.30 c #Conflicts: 1301000 | #Constraints: 110857
3245.24/3253.30 c #Conflicts: 1302000 | #Constraints: 111857
3245.24/3253.30 c #Conflicts: 1303000 | #Constraints: 112857
3245.24/3253.30 c #Conflicts: 1304000 | #Constraints: 113857
3245.24/3253.30 c #Conflicts: 1305000 | #Constraints: 114857
3245.24/3253.30 c #Conflicts: 1306000 | #Constraints: 115857
3245.24/3253.30 c #Conflicts: 1307000 | #Constraints: 116857
3245.24/3253.30 c #Conflicts: 1308000 | #Constraints: 117857
3245.24/3253.30 c #Conflicts: 1309000 | #Constraints: 118857
3245.24/3253.30 c #Conflicts: 1310000 | #Constraints: 119857
3245.24/3253.30 c #Conflicts: 1311000 | #Constraints: 120857
3245.24/3253.30 c #Conflicts: 1312000 | #Constraints: 121857
3245.24/3253.30 c #Conflicts: 1313000 | #Constraints: 122857
3245.24/3253.30 c #Conflicts: 1314000 | #Constraints: 123857
3245.24/3253.30 c #Conflicts: 1315000 | #Constraints: 124857
3245.24/3253.30 c #Conflicts: 1316000 | #Constraints: 125857
3245.24/3253.30 c #Conflicts: 1317000 | #Constraints: 126857
3245.24/3253.30 c #Conflicts: 1318000 | #Constraints: 127857
3245.24/3253.30 c #Conflicts: 1319000 | #Constraints: 128857
3245.24/3253.30 c #Conflicts: 1320000 | #Constraints: 129857
3245.24/3253.30 c #Conflicts: 1321000 | #Constraints: 130857
3245.24/3253.30 c #Conflicts: 1322000 | #Constraints: 131857
3245.24/3253.30 c #Conflicts: 1323000 | #Constraints: 132857
3245.24/3253.30 c #Conflicts: 1324000 | #Constraints: 133857
3245.24/3253.30 c #Conflicts: 1325000 | #Constraints: 134857
3438.68/3447.30 c #Conflicts: 1326000 | #Constraints: 135857
3438.68/3447.30 c #Conflicts: 1327000 | #Constraints: 136857
3438.68/3447.30 c #Conflicts: 1328000 | #Constraints: 137857
3438.68/3447.30 c #Conflicts: 1329000 | #Constraints: 138858
3438.68/3447.30 c #Conflicts: 1330000 | #Constraints: 139858
3438.68/3447.30 c #Conflicts: 1331000 | #Constraints: 140858
3438.68/3447.30 c #Conflicts: 1332000 | #Constraints: 141858
3438.68/3447.30 c #Conflicts: 1333000 | #Constraints: 142858
3438.68/3447.30 c #Conflicts: 1334000 | #Constraints: 143858
3438.68/3447.30 c #Conflicts: 1335000 | #Constraints: 144858
3438.68/3447.30 c #Conflicts: 1336000 | #Constraints: 145858
3438.68/3447.30 c #Conflicts: 1337000 | #Constraints: 146858
3438.68/3447.30 c #Conflicts: 1338000 | #Constraints: 147858
3438.68/3447.30 c #Conflicts: 1339000 | #Constraints: 148858
3438.68/3447.30 c #Conflicts: 1340000 | #Constraints: 149858
3438.68/3447.30 c #Conflicts: 1341000 | #Constraints: 150858
3438.68/3447.30 c #Conflicts: 1342000 | #Constraints: 151858
3438.68/3447.30 c #Conflicts: 1343000 | #Constraints: 152858
3438.68/3447.30 c #Conflicts: 1344000 | #Constraints: 153858
3438.68/3447.30 c #Conflicts: 1345000 | #Constraints: 154858
3438.68/3447.30 c #Conflicts: 1346000 | #Constraints: 155858
3438.68/3447.30 c #Conflicts: 1347000 | #Constraints: 156858
3438.68/3447.30 c INPROCESSING
3438.68/3447.30 c GARBAGE COLLECT
3438.68/3447.30 c #Conflicts: 1348000 | #Constraints: 91104
3438.68/3447.30 c #Conflicts: 1349000 | #Constraints: 92104
3438.68/3447.30 c #Conflicts: 1350000 | #Constraints: 93104
3438.68/3447.30 c #Conflicts: 1351000 | #Constraints: 94104
3438.68/3447.30 c #Conflicts: 1352000 | #Constraints: 95104
3438.68/3447.30 c #Conflicts: 1353000 | #Constraints: 96104
3438.68/3447.30 c #Conflicts: 1354000 | #Constraints: 97104
3438.68/3447.30 c #Conflicts: 1355000 | #Constraints: 98104
3438.68/3447.30 c #Conflicts: 1356000 | #Constraints: 99104
3438.68/3447.30 c #Conflicts: 1357000 | #Constraints: 100104
3438.68/3447.30 c #Conflicts: 1358000 | #Constraints: 101104
3438.68/3447.30 c #Conflicts: 1359000 | #Constraints: 102104
3438.68/3447.30 c #Conflicts: 1360000 | #Constraints: 103104
3438.68/3447.30 c #Conflicts: 1361000 | #Constraints: 104104
3438.68/3447.30 c #Conflicts: 1362000 | #Constraints: 105104
3438.68/3447.30 c #Conflicts: 1363000 | #Constraints: 106104
3438.68/3447.30 c #Conflicts: 1364000 | #Constraints: 107104
3438.68/3447.30 c #Conflicts: 1365000 | #Constraints: 108104
3438.68/3447.30 c #Conflicts: 1366000 | #Constraints: 109104
3438.68/3447.30 c #Conflicts: 1367000 | #Constraints: 110104
3438.68/3447.30 c #Conflicts: 1368000 | #Constraints: 111104
3438.68/3447.30 c #Conflicts: 1369000 | #Constraints: 112104
3438.68/3447.30 c #Conflicts: 1370000 | #Constraints: 113104
3438.68/3447.30 c #Conflicts: 1371000 | #Constraints: 114104
3438.68/3447.30 c #Conflicts: 1372000 | #Constraints: 115104
3438.68/3447.30 c #Conflicts: 1373000 | #Constraints: 116104
3438.68/3447.30 c #Conflicts: 1374000 | #Constraints: 117104
3438.68/3447.30 c #Conflicts: 1375000 | #Constraints: 118104
3438.68/3447.30 c #Conflicts: 1376000 | #Constraints: 119104
3438.68/3447.30 c #Conflicts: 1377000 | #Constraints: 120104
3438.68/3447.30 c #Conflicts: 1378000 | #Constraints: 121104
3438.68/3447.30 c #Conflicts: 1379000 | #Constraints: 122104
3438.68/3447.30 c #Conflicts: 1380000 | #Constraints: 123104
3438.68/3447.30 c INPROCESSING
3438.68/3447.30 c GARBAGE COLLECT
3438.68/3447.30 c #Conflicts: 1381000 | #Constraints: 85674
3438.68/3447.30 c #Conflicts: 1382000 | #Constraints: 86674
3438.68/3447.30 c #Conflicts: 1383000 | #Constraints: 87674
3438.68/3447.30 c #Conflicts: 1384000 | #Constraints: 88674
3438.68/3447.30 c #Conflicts: 1385000 | #Constraints: 89674
3438.68/3447.30 c #Conflicts: 1386000 | #Constraints: 90674
3438.68/3447.30 c #Conflicts: 1387000 | #Constraints: 91674
3438.68/3447.30 c #Conflicts: 1388000 | #Constraints: 92674
3438.68/3447.30 c #Conflicts: 1389000 | #Constraints: 93674
3438.68/3447.30 c #Conflicts: 1390000 | #Constraints: 94674
3438.68/3447.30 c #Conflicts: 1391000 | #Constraints: 95674
3438.68/3447.30 c #Conflicts: 1392000 | #Constraints: 96674
3438.68/3447.30 c #Conflicts: 1393000 | #Constraints: 97674
3438.68/3447.30 c #Conflicts: 1394000 | #Constraints: 98674
3438.68/3447.30 c #Conflicts: 1395000 | #Constraints: 99674
3438.68/3447.30 c #Conflicts: 1396000 | #Constraints: 100674
3438.68/3447.30 c #Conflicts: 1397000 | #Constraints: 101674
3438.68/3447.30 c #Conflicts: 1398000 | #Constraints: 102674
3438.68/3447.30 c #Conflicts: 1399000 | #Constraints: 103674
3438.68/3447.30 c #Conflicts: 1400000 | #Constraints: 104674
3438.68/3447.30 c #Conflicts: 1401000 | #Constraints: 105674
3438.68/3447.30 c #Conflicts: 1402000 | #Constraints: 106674
3438.68/3447.30 c #Conflicts: 1403000 | #Constraints: 107674
3600.00/3608.90 c #Conflicts: 1404000 | #Constraints: 108674
3600.00/3608.90 c #Conflicts: 1405000 | #Constraints: 109674
3600.00/3608.90 c #Conflicts: 1406000 | #Constraints: 110674
3600.00/3608.90 c #Conflicts: 1407000 | #Constraints: 111674
3600.00/3608.90 c #Conflicts: 1408000 | #Constraints: 112674
3600.00/3608.90 c #Conflicts: 1409000 | #Constraints: 113674
3600.00/3608.90 c #Conflicts: 1410000 | #Constraints: 114674
3600.00/3608.90 c #Conflicts: 1411000 | #Constraints: 115674
3600.00/3608.90 c #Conflicts: 1412000 | #Constraints: 116674
3600.00/3608.90 c #Conflicts: 1413000 | #Constraints: 117674
3600.00/3608.90 c #Conflicts: 1414000 | #Constraints: 118674
3600.00/3608.90 c #Conflicts: 1415000 | #Constraints: 119674
3600.00/3608.90 c #Conflicts: 1416000 | #Constraints: 120674
3600.00/3608.90 c #Conflicts: 1417000 | #Constraints: 121674
3600.00/3608.90 c #Conflicts: 1418000 | #Constraints: 122674
3600.00/3608.90 c #Conflicts: 1419000 | #Constraints: 123674
3600.00/3608.90 c #Conflicts: 1420000 | #Constraints: 124675
3600.00/3608.90 c #Conflicts: 1421000 | #Constraints: 125675
3600.00/3608.90 c #Conflicts: 1422000 | #Constraints: 126675
3600.00/3608.90 c #Conflicts: 1423000 | #Constraints: 127675
3600.00/3608.90 c #Conflicts: 1424000 | #Constraints: 128675
3600.00/3608.90 c #Conflicts: 1425000 | #Constraints: 129675
3600.00/3608.90 c #Conflicts: 1426000 | #Constraints: 130675
3600.00/3608.90 c #Conflicts: 1427000 | #Constraints: 131675
3600.00/3608.90 c #Conflicts: 1428000 | #Constraints: 132675
3600.00/3608.90 c #Conflicts: 1429000 | #Constraints: 133675
3600.00/3608.90 c #Conflicts: 1430000 | #Constraints: 134675
3600.00/3608.90 c #Conflicts: 1431000 | #Constraints: 135675
3600.00/3608.90 c #Conflicts: 1432000 | #Constraints: 136675
3600.00/3608.90 c #Conflicts: 1433000 | #Constraints: 137675
3600.00/3608.90 c #Conflicts: 1434000 | #Constraints: 138675
3600.00/3608.90 c #Conflicts: 1435000 | #Constraints: 139675
3600.00/3608.90 c #Conflicts: 1436000 | #Constraints: 140675
3600.00/3608.90 c #Conflicts: 1437000 | #Constraints: 141675
3600.00/3608.90 c #Conflicts: 1438000 | #Constraints: 142675
3600.00/3608.90 c #Conflicts: 1439000 | #Constraints: 143675
3600.00/3608.90 c #Conflicts: 1440000 | #Constraints: 144675
3600.00/3608.90 c #Conflicts: 1441000 | #Constraints: 145675
3600.00/3608.90 c #Conflicts: 1442000 | #Constraints: 146675
3600.00/3608.90 c #Conflicts: 1443000 | #Constraints: 147675
3600.00/3608.90 c #Conflicts: 1444000 | #Constraints: 148675
3600.00/3608.90 c #Conflicts: 1445000 | #Constraints: 149675
3600.00/3608.90 c #Conflicts: 1446000 | #Constraints: 150675
3600.00/3608.90 c #Conflicts: 1447000 | #Constraints: 151675
3600.00/3608.90 c #Conflicts: 1448000 | #Constraints: 152675
3600.00/3608.90 c #Conflicts: 1449000 | #Constraints: 153675
3600.00/3608.90 c #Conflicts: 1450000 | #Constraints: 154675
3600.00/3608.90 c #Conflicts: 1451000 | #Constraints: 155675
3600.00/3608.90 c cpu time 3569.41 s
3600.00/3608.90 c deterministic time 253834113588 2.54e+11
3600.00/3608.90 c optimization time 199.662 s
3600.00/3608.90 c total solve time 3369.64 s
3600.00/3608.90 c core-guided solve time 0 s
3600.00/3608.90 c propagation time 1823.05 s
3600.00/3608.90 c conflict analysis time 1229.04 s
3600.00/3608.90 c propagations 1476264711
3600.00/3608.90 c resolve steps 89711927
3600.00/3608.90 c decisions 34606331
3600.00/3608.90 c conflicts 1451412
3600.00/3608.90 c restarts 2812
3600.00/3608.90 c inprocessing phases 50
3600.00/3608.90 c garbage collections 50 ,( 100.00 )
3600.00/3608.90 c input clauses 21020 ,( 99.18 )
3600.00/3608.90 c input cardinalities 174 ,( 0.82 )
3600.00/3608.90 c input general constraints 0 ,( 0.00 )
3600.00/3608.90 c input average constraint length 6.41
3600.00/3608.90 c input average constraint degree 1.96
3600.00/3608.90 c learned clauses 1070505 ,( 73.76 )
3600.00/3608.90 c learned cardinalities 47407 ,( 3.27 )
3600.00/3608.90 c learned general constraints 333508 ,( 22.98 )
3600.00/3608.90 c learned average constraint length 693.77
3600.00/3608.90 c learned average constraint degree 16524802.42
3600.00/3608.90 c watched CF 32, 64, 128, Arb: 83545 , 0 , 0 , 0
3600.00/3608.90 c counting CF 32, 64, 128, Arb: 249963 , 0 , 0 , 0
3600.00/3608.90 c watched constraints 83545 ,( 25.05 )
3600.00/3608.90 c counting constraints 249963 ,( 74.95 )
3600.00/3608.90 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1402790271 , 786306910 , 1937107692 ,( 85969246 , 1851138446 )
3600.00/3608.90 c gcd simplifications 658
3600.00/3608.90 c detected cardinalities 7149
3600.00/3608.90 c weakened non-implied lits 402805507
3600.00/3608.90 c weakened non-implying lits 214352
3600.00/3608.90 c original variables 20751
3600.00/3608.90 c clausal propagations 679117788
3600.00/3608.90 c cardinality propagations 547060582
3600.00/3608.90 c watched propagations 4524719
3600.00/3608.90 c counting propagations 232165297
3600.00/3608.90 c watch lookups 81267555019
3600.00/3608.90 c watch backjump lookups 0
3600.00/3608.90 c watch checks 33668706994
3600.00/3608.90 c propagation checks 130929162522
3600.00/3608.90 c constraint additions 4945220699
3600.00/3608.90 c trail pops 1512304098
3600.00/3608.90 c formula constraints 21194
3600.00/3608.90 c learned constraints 1451407
3600.00/3608.90 c bound constraints 0
3600.00/3608.90 c core-guided constraints 0
3600.00/3608.90 c encountered formula constraints 56326147
3600.00/3608.90 c encountered learned constraints 34837151
3600.00/3608.90 c encountered bound constraints 0
3600.00/3608.90 c encountered core-guided constraints 0
3600.00/3608.90 c LP total time 490.617 s
3600.00/3608.90 c LP solve time 483.45 s
3600.00/3608.90 c LP constraints added 21643
3600.00/3608.90 c LP constraints removed 134
3600.00/3608.90 c LP pivots internal 154465
3600.00/3608.90 c LP pivots root 138748
3600.00/3608.90 c LP calls 17
3600.00/3608.90 c LP optimalities 6
3600.00/3608.90 c LP no pivot count 0
3600.00/3608.90 c LP infeasibilities 5
3600.00/3608.90 c LP valid Farkas constraints 5
3600.00/3608.90 c LP learned Farkas constraints 5
3600.00/3608.90 c LP basis resets 0
3600.00/3608.90 c LP cycling count 0
3600.00/3608.90 c LP singular count 0
3600.00/3608.90 c LP no primal count 0
3600.00/3608.90 c LP no farkas count 0
3600.00/3608.90 c LP other issue count 0
3600.00/3608.90 c LP Gomory cuts 3
3600.00/3608.90 c LP learned cuts 446
3600.00/3608.90 c LP deleted cuts 134
3600.00/3608.90 c LP encountered Gomory constraints 2
3600.00/3608.90 c LP encountered Farkas constraints 32
3600.00/3608.90 c LP encountered learned Farkas constraints 2
3600.00/3608.90 c CG auxiliary variables introduced 0
3600.00/3608.90 c CG solutions found 0
3600.00/3608.90 c CG cores constructed 0
3600.00/3608.90 c CG core cardinality constraints returned 0
3600.00/3608.90 c CG unit cores 0
3600.00/3608.90 c CG single cores 0
3600.00/3608.90 c CG blocks removed during cardinality reduction 0
3600.00/3608.90 c CG first core best 0
3600.00/3608.90 c CG decision core best 0
3600.00/3608.90 c CG core reduction tie 0
3600.00/3608.90 c CG core degree average 0.00
3600.00/3608.90 c CG core slack average 0.00
3600.00/3608.90 c CG core upper bound improvements 0
3600.00/3608.90 c STR number of successful calls 0
3600.00/3608.90 c STR number of unsuccessful calls 0
3600.00/3608.90 c STR number of inconclusive calls 0
3600.00/3608.90 c STR number of successful attempts 0
3600.00/3608.90 c STR number of unsuccessful attempts 0
3600.00/3608.90 c STR number of inconclusive attempts 0
3600.00/3608.90 c STR average degree increase per successful call inf
3600.00/3608.90 c STR average degree increase per successful attempt inf
3600.00/3608.90 c STR total number of conflicts for successful attempts 0
3600.00/3608.90 c STR total number of conflicts for unsuccessful attempts 0
3600.00/3608.90 c STR total number of conflicts for inconclusive attempts 0
3600.00/3608.90 c STR average number of conflicts per successful attempt inf
3600.00/3608.90 c STR average number of conflicts per unsuccessful attempt inf
3600.00/3608.90 c STR average number of conflicts per inconclusive attempt inf
3600.00/3608.90 c AVG.sumWPerc 66.42
3600.00/3608.90 c bigint constraints 0
3600.00/3608.90 s UNKNOWN
3600.00/3608.90 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 (63050 MiB free)
memory of node 1: 64507 MiB (64071 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507016-1751176317/watcher-4507016-1751176317 -o /tmp/evaluation-result-4507016-1751176317/solver-4507016-1751176317 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751172706-18878 --watchdog 3760 run-dec-break.sh HOME/instance-4507016-1751176317.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
Current StackSize limit: 8192 KiB
solver pid=19274, runsolver pid=19267
[startup+0.100057 s]*
/proc/loadavg: 4.12 4.10 4.03 4/262 19294
/proc/meminfo: memFree=130052760/131249996 swapFree=33010684/33010684
[pid=19274] ppid=19267 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/19274/stat : 19274 (run-dec-break.s) S 19267 19274 18866 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33309461 4292608 736 18446744073709551615 93941663268864 93941664163397 140736349359488 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93941664402448 93941664450192 93941669191680 140736349362529 140736349362658 140736349362658 140736349368260 0
/proc/19274/statm: 1048 736 672 219 0 110 0
[pid=19277] ppid=19274 vsize=42264 memory=30328 CPUtime=0.07 cores=1,3
/proc/19277/stat : 19277 (pbsuma) R 19274 19274 18866 0 -1 4194304 13014 0 0 0 4 3 0 0 20 0 1 0 33309463 43278336 7582 18446744073709551615 4210688 4653049 140730419624496 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 6782976 140730419632483 140730419632690 140730419632690 140730419638255 0
/proc/19277/statm: 10566 7582 1024 108 0 7974 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 46456 KiB
Current children cumulated memory: 33272 KiB
[startup+0.205756 s]*
/proc/loadavg: 4.12 4.10 4.03 5/262 19302
/proc/meminfo: memFree=130032988/131249996 swapFree=33010684/33010684
[pid=19274] ppid=19267 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/19274/stat : 19274 (run-dec-break.s) S 19267 19274 18866 0 -1 4194304 236 13017 0 0 0 0 4 3 20 0 1 0 33309461 4292608 768 18446744073709551615 93941663268864 93941664163397 140736349359488 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93941664402448 93941664450192 93941669191680 140736349362529 140736349362658 140736349362658 140736349368260 0
/proc/19274/statm: 1048 768 704 219 0 110 0
[pid=19295] ppid=19274 vsize=77316 memory=32264 CPUtime=0.08 cores=1,3
/proc/19295/stat : 19295 (roundingsat) R 19274 19274 18866 0 -1 4194304 6488 0 0 0 7 1 0 0 20 0 1 0 33309472 79171584 8066 18446744073709551615 4227072 8923433 140725455937552 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12894208 140725455944004 140725455944232 140725455944232 140725455949802 0
/proc/19295/statm: 19329 8066 2240 1147 0 6756 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 81508 KiB
Current children cumulated memory: 35336 KiB
[startup+0.305654 s]*
/proc/loadavg: 4.12 4.10 4.03 5/268 19312
/proc/meminfo: memFree=129941008/131249996 swapFree=33010684/33010684
[pid=19274] ppid=19267 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/19274/stat : 19274 (run-dec-break.s) S 19267 19274 18866 0 -1 4194304 236 13017 0 0 0 0 4 3 20 0 1 0 33309461 4292608 768 18446744073709551615 93941663268864 93941664163397 140736349359488 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93941664402448 93941664450192 93941669191680 140736349362529 140736349362658 140736349362658 140736349368260 0
/proc/19274/statm: 1048 768 704 219 0 110 0
[pid=19295] ppid=19274 vsize=115312 memory=62324 CPUtime=0.18 cores=1,3
/proc/19295/stat : 19295 (roundingsat) R 19274 19274 18866 0 -1 4194304 11693 0 0 0 16 2 0 0 20 0 1 0 33309472 118079488 15581 18446744073709551615 4227072 8923433 140725455937552 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12894208 140725455944004 140725455944232 140725455944232 140725455949802 0
/proc/19295/statm: 28828 15581 2272 1147 0 16255 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 119504 KiB
Current children cumulated memory: 65396 KiB
[startup+0.700193 s]
/proc/loadavg: 4.12 4.10 4.03 5/268 19313
/proc/meminfo: memFree=129900180/131249996 swapFree=33010684/33010684
[pid=19274] ppid=19267 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/19274/stat : 19274 (run-dec-break.s) S 19267 19274 18866 0 -1 4194304 236 13017 0 0 0 0 4 3 20 0 1 0 33309461 4292608 768 18446744073709551615 93941663268864 93941664163397 140736349359488 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93941664402448 93941664450192 93941669191680 140736349362529 140736349362658 140736349362658 140736349368260 0
/proc/19274/statm: 1048 768 704 219 0 110 0
[pid=19295] ppid=19274 vsize=116988 memory=64756 CPUtime=0.57 cores=1,3
/proc/19295/stat : 19295 (roundingsat) R 19274 19274 18866 0 -1 4194304 12291 0 0 0 55 2 0 0 20 0 1 0 33309472 119795712 16189 18446744073709551615 4227072 8923433 140725455937552 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12894208 140725455944004 140725455944232 140725455944232 140725455949802 0
/proc/19295/statm: 29247 16189 2272 1147 0 16674 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 121180 KiB
Current children cumulated memory: 67828 KiB
[startup+1.50018 s]
/proc/loadavg: 4.12 4.10 4.03 5/268 19313
/proc/meminfo: memFree=129900180/131249996 swapFree=33010684/33010684
[pid=19274] ppid=19267 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/19274/stat : 19274 (run-dec-break.s) S 19267 19274 18866 0 -1 4194304 236 13017 0 0 0 0 4 3 20 0 1 0 33309461 4292608 768 18446744073709551615 93941663268864 93941664163397 140736349359488 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93941664402448 93941664450192 93941669191680 140736349362529 140736349362658 140736349362658 140736349368260 0
/proc/19274/statm: 1048 768 704 219 0 110 0
[pid=19295] ppid=19274 vsize=116988 memory=64756 CPUtime=1.37 cores=1,3
/proc/19295/stat : 19295 (roundingsat) R 19274 19274 18866 0 -1 4194304 12291 0 0 0 135 2 0 0 20 0 1 0 33309472 119795712 16189 18446744073709551615 4227072 8923433 140725455937552 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12894208 140725455944004 140725455944232 140725455944232 140725455949802 0
/proc/19295/statm: 29247 16189 2272 1147 0 16674 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 121180 KiB
Current children cumulated memory: 67828 KiB
[startup+3.10555 s]
/proc/loadavg: 4.11 4.09 4.03 5/268 19313
/proc/meminfo: memFree=129892528/131249996 swapFree=33010684/33010684
[pid=19274] ppid=19267 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/19274/stat : 19274 (run-dec-break.s) S 19267 19274 18866 0 -1 4194304 236 13017 0 0 0 0 4 3 20 0 1 0 33309461 4292608 768 18446744073709551615 93941663268864 93941664163397 140736349359488 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93941664402448 93941664450192 93941669191680 140736349362529 140736349362658 140736349362658 140736349368260 0
/proc/19274/statm: 1048 768 704 219 0 110 0
[pid=19295] ppid=19274 vsize=119908 memory=68084 CPUtime=2.97 cores=1,3
/proc/19295/stat : 19295 (roundingsat) R 19274 19274 18866 0 -1 4194304 13116 0 0 0 295 2 0 0 20 0 1 0 33309472 122785792 17021 18446744073709551615 4227072 8923433 140725455937552 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12894208 140725455944004 140725455944232 140725455944232 140725455949802 0
/proc/19295/statm: 29977 17021 2272 1147 0 17404 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 124100 KiB
Current children cumulated memory: 71156 KiB
[startup+6.30015 s]
/proc/loadavg: 4.11 4.09 4.03 5/268 19313
/proc/meminfo: memFree=129884188/131249996 swapFree=33010684/33010684
[pid=19274] ppid=19267 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/19274/stat : 19274 (run-dec-break.s) S 19267 19274 18866 0 -1 4194304 236 13017 0 0 0 0 4 3 20 0 1 0 33309461 4292608 768 18446744073709551615 93941663268864 93941664163397 140736349359488 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93941664402448 93941664450192 93941669191680 140736349362529 140736349362658 140736349362658 140736349368260 0
/proc/19274/statm: 1048 768 704 219 0 110 0
[pid=19295] ppid=19274 vsize=123724 memory=74972 CPUtime=6.16 cores=1,3
/proc/19295/stat : 19295 (roundingsat) R 19274 19274 18866 0 -1 4194304 14293 0 0 0 607 9 0 0 20 0 1 0 33309472 126693376 18743 18446744073709551615 4227072 8923433 140725455937552 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12894208 140725455944004 140725455944232 140725455944232 140725455949802 0
/proc/19295/statm: 30931 18743 2336 1147 0 18358 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 127916 KiB
Current children cumulated memory: 78044 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.09 4.03 5/268 19313
/proc/meminfo: memFree=129855272/131249996 swapFree=33010684/33010684
[pid=19274] ppid=19267 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/19274/stat : 19274 (run-dec-break.s) S 19267 19274 18866 0 -1 4194304 236 13017 0 0 0 0 4 3 20 0 1 0 33309461 4292608 768 18446744073709551615 93941663268864 93941664163397 140736349359488 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93941664402448 93941664450192 93941669191680 140736349362529 140736349362658 140736349362658 140736349368260 0
/proc/19274/statm: 1048 768 704 219 0 110 0
[pid=19295] ppid=19274 vsize=133328 memory=83676 CPUtime=12.55 cores=1,3
/proc/19295/stat : 19295 (roundingsat) R 19274 19274 18866 0 -1 4194304 16449 0 0 0 1231 24 0 0 20 0 1 0 33309472 136527872 20919 18446744073709551615 4227072 8923433 140725455937552 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12894208 140725455944004 140725455944232 140725455944232 140725455949802 0
/proc/19295/statm: 33332 20919 2336 1147 0 20759 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 137520 KiB
Current children cumulated memory: 86748 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.09 4.03 5/268 19313
/proc/meminfo: memFree=129768116/131249996 swapFree=33010684/33010684
[pid=19274] ppid=19267 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/19274/stat : 19274 (run-dec-break.s) S 19267 19274 18866 0 -1 4194304 236 13017 0 0 0 0 4 3 20 0 1 0 33309461 4292608 768 18446744073709551615 93941663268864 93941664163397 140736349359488 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93941664402448 93941664450192 93941669191680 140736349362529 140736349362658 140736349362658 140736349368260 0
/proc/19274/statm: 1048 768 704 219 0 110 0
[pid=19295] ppid=19274 vsize=161840 memory=107564 CPUtime=25.32 cores=1,3
/proc/19295/stat : 19295 (roundingsat) R 19274 19274 18866 0 -1 4194304 21424 0 0 0 2475 57 0 0 20 0 1 0 33309472 165724160 26891 18446744073709551615 4227072 8923433 140725455937552 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12894208 140725455944004 140725455944232 140725455944232 140725455949802 0
/proc/19295/statm: 40460 26891 2336 1147 0 27887 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 166032 KiB
Current children cumulated memory: 110636 KiB
[startup+51.1056 s]
/proc/loadavg: 4.05 4.08 4.03 5/268 19313
/proc/meminfo: memFree=129636980/131249996 swapFree=33010684/33010684
[pid=19274] ppid=19267 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/19274/stat : 19274 (run-dec-break.s) S 19267 19274 18866 0 -1 4194304 236 13017 0 0 0 0 4 3 20 0 1 0 33309461 4292608 768 18446744073709551615 93941663268864 93941664163397 140736349359488 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93941664402448 93941664450192 93941669191680 140736349362529 140736349362658 140736349362658 140736349368260 0
/proc/19274/statm: 1048 768 704 219 0 110 0
[pid=19295] ppid=19274 vsize=188160 memory=134620 CPUtime=50.86 cores=1,3
/proc/19295/stat : 19295 (roundingsat) R 19274 19274 18866 0 -1 4194304 25681 0 0 0 4973 113 0 0 20 0 1 0 33309472 192675840 33655 18446744073709551615 4227072 8923433 140725455937552 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12894208 140725455944004 140725455944232 140725455944232 140725455949802 0
/proc/19295/statm: 47040 33655 2336 1147 0 34467 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 192352 KiB
Current children cumulated memory: 137692 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.08 4.03 5/267 19315
/proc/meminfo: memFree=129471900/131249996 swapFree=33010684/33010684
[pid=19274] ppid=19267 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/19274/stat : 19274 (run-dec-break.s) S 19267 19274 18866 0 -1 4194304 236 13017 0 0 0 0 4 3 20 0 1 0 33309461 4292608 768 18446744073709551615 93941663268864 93941664163397 140736349359488 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93941664402448 93941664450192 93941669191680 140736349362529 140736349362658 140736349362658 140736349368260 0
/proc/19274/statm: 1048 768 704 219 0 110 0
[pid=19295] ppid=19274 vsize=235860 memory=169356 CPUtime=101.92 cores=1,3
/proc/19295/stat : 19295 (roundingsat) R 19274 19274 18866 0 -1 4194304 32710 0 0 0 10003 189 0 0 20 0 1 0 33309472 241520640 42339 18446744073709551615 4227072 8923433 140725455937552 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12894208 140725455944004 140725455944232 140725455944232 140725455949802 0
/proc/19295/statm: 58965 42339 2336 1147 0 46392 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 240052 KiB
Current children cumulated memory: 172428 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.10 4.03 5/266 19317
/proc/meminfo: memFree=129268284/131249996 swapFree=33010684/33010684
[pid=19274] ppid=19267 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/19274/stat : 19274 (run-dec-break.s) S 19267 19274 18866 0 -1 4194304 236 13017 0 0 0 0 4 3 20 0 1 0 33309461 4292608 768 18446744073709551615 93941663268864 93941664163397 140736349359488 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93941664402448 93941664450192 93941669191680 140736349362529 140736349362658 140736349362658 140736349368260 0
/proc/19274/statm: 1048 768 704 219 0 110 0
[pid=19295] ppid=19274 vsize=291932 memory=236976 CPUtime=161.79 cores=1,3
/proc/19295/stat : 19295 (roundingsat) R 19274 19274 18866 0 -1 4194304 39393 0 0 0 15905 274 0 0 20 0 1 0 33309472 298938368 59244 18446744073709551615 4227072 8923433 140725455937552 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12894208 140725455944004 140725455944232 140725455944232 140725455949802 0
/proc/19295/statm: 72983 59244 2336 1147 0 60410 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 296124 KiB
Current children cumulated memory: 240048 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.09 4.03 5/266 19319
/proc/meminfo: memFree=129157484/131249996 swapFree=33010684/33010684
[pid=19274] ppid=19267 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/19274/stat : 19274 (run-dec-break.s) S 19267 19274 18866 0 -1 4194304 236 13017 0 0 0 0 4 3 20 0 1 0 33309461 4292608 768 18446744073709551615 93941663268864 93941664163397 140736349359488 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93941664402448 93941664450192 93941669191680 140736349362529 140736349362658 140736349362658 140736349368260 0
/proc/19274/statm: 1048 768 704 219 0 110 0
[pid=19295] ppid=19274 vsize=307384 memory=252720 CPUtime=221.64 cores=1,3
/proc/19295/stat : 19295 (roundingsat) R 19274 19274 18866 0 -1 4194304 43306 0 0 0 21788 376 0 0 20 0 1 0 33309472 314761216 63180 18446744073709551615 4227072 8923433 140725455937552 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12894208 140725455944004 140725455944232 140725455944232 140725455949802 0
/proc/19295/statm: 76846 63180 2368 1147 0 64273 0
################
# More data... #
################
/proc/19295/statm: 286166 227527 2368 1147 0 273593 0
Current children cumulated CPU time: 3094.63 s
Current children cumulated vsize: 1148856 KiB
Current children cumulated memory: 913180 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/266 19470
/proc/meminfo: memFree=126256216/131249996 swapFree=33010684/33010684
[pid=19274] ppid=19267 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/19274/stat : 19274 (run-dec-break.s) S 19267 19274 18866 0 -1 4194304 236 13017 0 0 0 0 4 3 20 0 1 0 33309461 4292608 768 18446744073709551615 93941663268864 93941664163397 140736349359488 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93941664402448 93941664450192 93941669191680 140736349362529 140736349362658 140736349362658 140736349368260 0
/proc/19274/statm: 1048 768 704 219 0 110 0
[pid=19295] ppid=19274 vsize=1144664 memory=910364 CPUtime=3154.39 cores=1,3
/proc/19295/stat : 19295 (roundingsat) R 19274 19274 18866 0 -1 4194304 127997 0 0 0 312733 2706 0 0 20 0 1 0 33309472 1172135936 227591 18446744073709551615 4227072 8923433 140725455937552 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12894208 140725455944004 140725455944232 140725455944232 140725455949802 0
/proc/19295/statm: 286166 227591 2368 1147 0 273593 0
Current children cumulated CPU time: 3154.46 s
Current children cumulated vsize: 1148856 KiB
Current children cumulated memory: 913436 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/266 19472
/proc/meminfo: memFree=126233188/131249996 swapFree=33010684/33010684
[pid=19274] ppid=19267 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/19274/stat : 19274 (run-dec-break.s) S 19267 19274 18866 0 -1 4194304 236 13017 0 0 0 0 4 3 20 0 1 0 33309461 4292608 768 18446744073709551615 93941663268864 93941664163397 140736349359488 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93941664402448 93941664450192 93941669191680 140736349362529 140736349362658 140736349362658 140736349368260 0
/proc/19274/statm: 1048 768 704 219 0 110 0
[pid=19295] ppid=19274 vsize=1144664 memory=920348 CPUtime=3214.25 cores=1,3
/proc/19295/stat : 19295 (roundingsat) R 19274 19274 18866 0 -1 4194304 128021 0 0 0 318665 2760 0 0 20 0 1 0 33309472 1172135936 230087 18446744073709551615 4227072 8923433 140725455937552 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12894208 140725455944004 140725455944232 140725455944232 140725455949802 0
/proc/19295/statm: 286166 230087 2368 1147 0 273593 0
Current children cumulated CPU time: 3214.32 s
Current children cumulated vsize: 1148856 KiB
Current children cumulated memory: 923420 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/267 19475
/proc/meminfo: memFree=126209780/131249996 swapFree=33010684/33010684
[pid=19274] ppid=19267 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/19274/stat : 19274 (run-dec-break.s) S 19267 19274 18866 0 -1 4194304 236 13017 0 0 0 0 4 3 20 0 1 0 33309461 4292608 768 18446744073709551615 93941663268864 93941664163397 140736349359488 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93941664402448 93941664450192 93941669191680 140736349362529 140736349362658 140736349362658 140736349368260 0
/proc/19274/statm: 1048 768 704 219 0 110 0
[pid=19295] ppid=19274 vsize=1149260 memory=927900 CPUtime=3274.1 cores=1,3
/proc/19295/stat : 19295 (roundingsat) R 19274 19274 18866 0 -1 4194304 128893 0 0 0 324619 2791 0 0 20 0 1 0 33309472 1176842240 231975 18446744073709551615 4227072 8923433 140725455937552 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12894208 140725455944004 140725455944232 140725455944232 140725455949802 0
/proc/19295/statm: 287315 231975 2368 1147 0 274742 0
Current children cumulated CPU time: 3274.17 s
Current children cumulated vsize: 1153452 KiB
Current children cumulated memory: 930972 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/268 19480
/proc/meminfo: memFree=126209932/131249996 swapFree=33010684/33010684
[pid=19274] ppid=19267 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/19274/stat : 19274 (run-dec-break.s) S 19267 19274 18866 0 -1 4194304 236 13017 0 0 0 0 4 3 20 0 1 0 33309461 4292608 768 18446744073709551615 93941663268864 93941664163397 140736349359488 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93941664402448 93941664450192 93941669191680 140736349362529 140736349362658 140736349362658 140736349368260 0
/proc/19274/statm: 1048 768 704 219 0 110 0
[pid=19295] ppid=19274 vsize=1156444 memory=935324 CPUtime=3333.95 cores=1,3
/proc/19295/stat : 19295 (roundingsat) R 19274 19274 18866 0 -1 4194304 130744 0 0 0 330574 2821 0 0 20 0 1 0 33309472 1184198656 233831 18446744073709551615 4227072 8923433 140725455937552 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12894208 140725455944004 140725455944232 140725455944232 140725455949802 0
/proc/19295/statm: 289111 233831 2368 1147 0 276538 0
Current children cumulated CPU time: 3334.02 s
Current children cumulated vsize: 1160636 KiB
Current children cumulated memory: 938396 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/268 19486
/proc/meminfo: memFree=126201900/131249996 swapFree=33010684/33010684
[pid=19274] ppid=19267 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/19274/stat : 19274 (run-dec-break.s) S 19267 19274 18866 0 -1 4194304 236 13017 0 0 0 0 4 3 20 0 1 0 33309461 4292608 768 18446744073709551615 93941663268864 93941664163397 140736349359488 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93941664402448 93941664450192 93941669191680 140736349362529 140736349362658 140736349362658 140736349368260 0
/proc/19274/statm: 1048 768 704 219 0 110 0
[pid=19295] ppid=19274 vsize=1156444 memory=935324 CPUtime=3393.82 cores=1,3
/proc/19295/stat : 19295 (roundingsat) R 19274 19274 18866 0 -1 4194304 130801 0 0 0 336504 2878 0 0 20 0 1 0 33309472 1184198656 233831 18446744073709551615 4227072 8923433 140725455937552 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12894208 140725455944004 140725455944232 140725455944232 140725455949802 0
/proc/19295/statm: 289111 233831 2368 1147 0 276538 0
Current children cumulated CPU time: 3393.89 s
Current children cumulated vsize: 1160636 KiB
Current children cumulated memory: 938396 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/269 19489
/proc/meminfo: memFree=126202660/131249996 swapFree=33010684/33010684
[pid=19274] ppid=19267 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/19274/stat : 19274 (run-dec-break.s) S 19267 19274 18866 0 -1 4194304 236 13017 0 0 0 0 4 3 20 0 1 0 33309461 4292608 768 18446744073709551615 93941663268864 93941664163397 140736349359488 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93941664402448 93941664450192 93941669191680 140736349362529 140736349362658 140736349362658 140736349368260 0
/proc/19274/statm: 1048 768 704 219 0 110 0
[pid=19295] ppid=19274 vsize=1156444 memory=935324 CPUtime=3453.67 cores=1,3
/proc/19295/stat : 19295 (roundingsat) R 19274 19274 18866 0 -1 4194304 130813 0 0 0 342419 2948 0 0 20 0 1 0 33309472 1184198656 233831 18446744073709551615 4227072 8923433 140725455937552 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12894208 140725455944004 140725455944232 140725455944232 140725455949802 0
/proc/19295/statm: 289111 233831 2368 1147 0 276538 0
Current children cumulated CPU time: 3453.74 s
Current children cumulated vsize: 1160636 KiB
Current children cumulated memory: 938396 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/269 19491
/proc/meminfo: memFree=126210028/131249996 swapFree=33010684/33010684
[pid=19274] ppid=19267 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/19274/stat : 19274 (run-dec-break.s) S 19267 19274 18866 0 -1 4194304 236 13017 0 0 0 0 4 3 20 0 1 0 33309461 4292608 768 18446744073709551615 93941663268864 93941664163397 140736349359488 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93941664402448 93941664450192 93941669191680 140736349362529 140736349362658 140736349362658 140736349368260 0
/proc/19274/statm: 1048 768 704 219 0 110 0
[pid=19295] ppid=19274 vsize=1157788 memory=936092 CPUtime=3513.54 cores=1,3
/proc/19295/stat : 19295 (roundingsat) R 19274 19274 18866 0 -1 4194304 131018 0 0 0 348353 3001 0 0 20 0 1 0 33309472 1185574912 234023 18446744073709551615 4227072 8923433 140725455937552 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12894208 140725455944004 140725455944232 140725455944232 140725455949802 0
/proc/19295/statm: 289447 234023 2368 1147 0 276874 0
Current children cumulated CPU time: 3513.61 s
Current children cumulated vsize: 1161980 KiB
Current children cumulated memory: 939164 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/268 19494
/proc/meminfo: memFree=126209808/131249996 swapFree=33010684/33010684
[pid=19274] ppid=19267 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/19274/stat : 19274 (run-dec-break.s) S 19267 19274 18866 0 -1 4194304 236 13017 0 0 0 0 4 3 20 0 1 0 33309461 4292608 768 18446744073709551615 93941663268864 93941664163397 140736349359488 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93941664402448 93941664450192 93941669191680 140736349362529 140736349362658 140736349362658 140736349368260 0
/proc/19274/statm: 1048 768 704 219 0 110 0
[pid=19295] ppid=19274 vsize=1160156 memory=938396 CPUtime=3573.4 cores=1,3
/proc/19295/stat : 19295 (roundingsat) R 19274 19274 18866 0 -1 4194304 131608 0 0 0 354301 3039 0 0 20 0 1 0 33309472 1187999744 234599 18446744073709551615 4227072 8923433 140725455937552 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12894208 140725455944004 140725455944232 140725455944232 140725455949802 0
/proc/19295/statm: 290039 234599 2368 1147 0 277466 0
Current children cumulated CPU time: 3573.47 s
Current children cumulated vsize: 1164348 KiB
Current children cumulated memory: 941468 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.9 s]
/proc/loadavg: 4.11 4.09 4.09 5/268 19495
/proc/meminfo: memFree=126209688/131249996 swapFree=33010684/33010684
[pid=19274] ppid=19267 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/19274/stat : 19274 (run-dec-break.s) S 19267 19274 18866 0 -1 4194304 236 13017 0 0 0 0 4 3 20 0 1 0 33309461 4292608 768 18446744073709551615 93941663268864 93941664163397 140736349359488 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93941664402448 93941664450192 93941669191680 140736349362529 140736349362658 140736349362658 140736349368260 0
/proc/19274/statm: 1048 768 704 219 0 110 0
[pid=19295] ppid=19274 vsize=1163408 memory=940700 CPUtime=3599.93 cores=1,3
/proc/19295/stat : 19295 (roundingsat) R 19274 19274 18866 0 -1 4194304 132195 0 0 0 356940 3053 0 0 20 0 1 0 33309472 1191329792 235175 18446744073709551615 4227072 8923433 140725455937552 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12894208 140725455944004 140725455944232 140725455944232 140725455949802 0
/proc/19295/statm: 290852 235175 2368 1147 0 278279 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1167600 KiB
Current children cumulated memory: 943772 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3608.9 s]
# the end of solver process 19274 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.04771 s, system=0.038837 s
Sleeping 2 seconds
[startup+3608.91 s]
# the end of solver process 19295 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3569.46 s, system=30.5778 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.9 s]
/proc/loadavg: 4.11 4.09 4.09 5/268 19495
/proc/meminfo: memFree=126209688/131249996 swapFree=33010684/33010684
[pid=19274] ppid=19267 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/19274/stat : 19274 (run-dec-break.s) S 19267 19274 18866 0 -1 4194304 236 13017 0 0 0 0 4 3 20 0 1 0 33309461 4292608 768 18446744073709551615 93941663268864 93941664163397 140736349359488 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93941664402448 93941664450192 93941669191680 140736349362529 140736349362658 140736349362658 140736349368260 0
/proc/19274/statm: 1048 768 704 219 0 110 0
[pid=19295] ppid=19274 vsize=1163408 memory=940700 CPUtime=3599.93 cores=1,3
/proc/19295/stat : 19295 (roundingsat) R 19274 19274 18866 0 -1 4194304 132195 0 0 0 356940 3053 0 0 20 0 1 0 33309472 1191329792 235175 18446744073709551615 4227072 8923433 140725455937552 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12894208 140725455944004 140725455944232 140725455944232 140725455949802 0
/proc/19295/statm: 290852 235175 2368 1147 0 278279 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1167600 KiB
Current children cumulated memory: 943772 KiB
Child status: 2
Real time (s): 3608.91
CPU time (s): 3600.04
CPU user time (s): 3569.46
CPU system time (s): 30.5778
CPU usage (%): 99.7542
Max. virtual memory (cumulated for all children) (KiB): 1167600
Max. memory (cumulated for all children) (KiB): 943772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3569.46
system time used= 30.5778
maximum resident set size= 941084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 145469
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 433
involuntary context switches= 3092
# summary of solver processes directly reported to runsolver:
# pid: 19274,19295
# total CPU time (s): 3600.04
# total CPU user time (s): 3569.46
# total CPU system time (s): 30.5778
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.67017 second user time and 16.3145 second system time
The end
Begin job on nodeC022 at 2025-06-29 07:51:57
IDJOB=4507016
IDBENCH=158316
IDSOLVER=3357
FILE ID=nodeC022/4507016-1751176317
RUNJOBID= nodeC022-1751172706-18878
SLURM_JOB_ID= 9587539
Free space on /tmp= 433052 MiB
SOLVER NAME= roundingsat+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K174.opb
COMMAND LINE= run-dec-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507016-1751176317/watcher-4507016-1751176317 -o /tmp/evaluation-result-4507016-1751176317/solver-4507016-1751176317 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751172706-18878 --watchdog 3760 run-dec-break.sh HOME/instance-4507016-1751176317.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c4faa5671d3144bef53831284f041277
RANDOM SEED=1684975713
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 : 3599.904
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.412
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.787
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 : 3599.736
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 : 3599.715
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.714
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 : 3599.813
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 : 3599.752
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: 130173420 kB
MemAvailable: 129826064 kB
Buffers: 3280 kB
Cached: 463568 kB
SwapCached: 0 kB
Active: 317016 kB
Inactive: 215204 kB
Active(anon): 83436 kB
Inactive(anon): 0 kB
Active(file): 233580 kB
Inactive(file): 215204 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 23028 kB
Writeback: 4 kB
AnonPages: 68292 kB
Mapped: 103168 kB
Shmem: 18060 kB
KReclaimable: 85796 kB
Slab: 169132 kB
SReclaimable: 85796 kB
SUnreclaim: 83336 kB
KernelStack: 4100 kB
PageTables: 2936 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 333340 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 08:52:06