0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4507017-1751174038.opb'
0.00/0.03 c read 1.43MB (20.17ms)
0.00/0.03 c [cnf: #variables 20706 #clauses 21056 #duplicates 0 #arr 135472]
0.00/0.03 c output proof to 'PROOFDIR/proof-4507017-1751174038'
0.00/0.03 c
0.00/0.03 c make graph and approximate orbits
0.00/0.06 c [group: #orbits ~= 3132] (26.95ms)
0.00/0.06 c
0.00/0.06 c detect special group actions
0.00/0.06 c probe for Johnson action (limit=64)
0.00/0.06 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.06 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.06 c (3.93ms)
0.00/0.06 c
0.00/0.06 c detect symmetries on remainder
0.00/0.06 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.58ms)
0.00/0.09 c
0.00/0.09 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.09 c (0.07ms)
0.00/0.09 c
0.00/0.09 c finalize break order and special generators
0.00/0.09 c
0.00/0.09 c add generic predicates (break_depth=10)
0.00/0.09 c added predicates for 5 generators (0.07ms)
0.08/0.10 c
0.08/0.10 c generation finished
0.08/0.10 c [sbp: #constraints 140 #add_vars 45]
0.08/0.10 c
0.08/0.10 c write result to 'HOME/instance-4507017-1751174038.opb.pre'
0.08/0.11 c wrote 1.46MB (3.48ms)
0.08/0.11 c ------------------------------------------------------------------
0.08/0.11 c 26.95ms 27.99% approx_orbits
0.08/0.11 c 22.58ms 23.45% detect_generic
0.08/0.11 c 20.17ms 20.95% parse
0.08/0.11 c 18.23ms 18.93% other
0.08/0.11 c 3.93ms 4.09% detect_special
0.08/0.11 c 3.48ms 3.61% output
0.08/0.11 c 0.81ms 0.84% finalize_order
0.08/0.11 c 0.07ms 0.08% optimize_gens
0.08/0.11 c 0.07ms 0.07% break_generic
0.08/0.11 c ───────────────────────────────────────────────
0.08/0.11 c 96.30ms 100% total
0.08/0.11 c ------------------------------------------------------------------
0.08/0.13 c RoundingSat 2
0.08/0.13 c branch pb25
0.08/0.13 c commit 63f22ad
0.16/0.30 c #variables 20751 #constraints 21194
121.15/121.79 c #Conflicts: 1000 | #Constraints: 22193
121.15/121.79 c #Conflicts: 2000 | #Constraints: 23193
121.15/121.79 c INPROCESSING
121.15/121.79 c GARBAGE COLLECT
121.15/121.79 c #Conflicts: 3000 | #Constraints: 22439
121.15/121.79 c #Conflicts: 4000 | #Constraints: 23439
121.15/121.79 c INPROCESSING
121.15/121.79 c GARBAGE COLLECT
121.15/121.79 c #Conflicts: 5000 | #Constraints: 22958
121.15/121.79 c #Conflicts: 6000 | #Constraints: 23958
121.15/121.79 c INPROCESSING
121.15/121.79 c GARBAGE COLLECT
121.15/121.79 c #Conflicts: 7000 | #Constraints: 23062
121.15/121.79 c #Conflicts: 8000 | #Constraints: 24062
121.15/121.79 c #Conflicts: 9000 | #Constraints: 25062
121.15/121.79 c INPROCESSING
121.15/121.79 c GARBAGE COLLECT
121.15/121.79 c #Conflicts: 10000 | #Constraints: 23898
121.15/121.79 c #Conflicts: 11000 | #Constraints: 24898
121.15/121.79 c #Conflicts: 12000 | #Constraints: 25898
121.15/121.79 c #Conflicts: 13000 | #Constraints: 26898
121.15/121.79 c #Conflicts: 14000 | #Constraints: 27898
121.15/121.79 c #Conflicts: 15000 | #Constraints: 28898
121.15/121.79 c #Conflicts: 16000 | #Constraints: 29898
121.15/121.79 c INPROCESSING
121.15/121.79 c GARBAGE COLLECT
121.15/121.79 c #Conflicts: 17000 | #Constraints: 26191
121.15/121.79 c #Conflicts: 18000 | #Constraints: 27191
121.15/121.79 c #Conflicts: 19000 | #Constraints: 28191
121.15/121.79 c #Conflicts: 20000 | #Constraints: 29191
121.15/121.79 c INPROCESSING
121.15/121.79 c GARBAGE COLLECT
121.15/121.79 c #Conflicts: 21000 | #Constraints: 26302
121.15/121.79 c #Conflicts: 22000 | #Constraints: 27302
121.15/121.79 c #Conflicts: 23000 | #Constraints: 28302
121.15/121.79 c #Conflicts: 24000 | #Constraints: 29302
121.15/121.79 c #Conflicts: 25000 | #Constraints: 30302
121.15/121.79 c #Conflicts: 26000 | #Constraints: 31302
121.15/121.79 c #Conflicts: 27000 | #Constraints: 32302
121.15/121.79 c #Conflicts: 28000 | #Constraints: 33302
121.15/121.79 c #Conflicts: 29000 | #Constraints: 34302
121.15/121.79 c #Conflicts: 30000 | #Constraints: 35302
121.15/121.79 c INPROCESSING
121.15/121.79 c GARBAGE COLLECT
121.15/121.79 c #Conflicts: 31000 | #Constraints: 28795
121.15/121.79 c #Conflicts: 32000 | #Constraints: 29795
121.15/121.79 c #Conflicts: 33000 | #Constraints: 30795
121.15/121.79 c #Conflicts: 34000 | #Constraints: 31795
121.15/121.79 c #Conflicts: 35000 | #Constraints: 32795
121.15/121.79 c #Conflicts: 36000 | #Constraints: 33795
121.15/121.79 c INPROCESSING
121.15/121.79 c GARBAGE COLLECT
121.15/121.79 c #Conflicts: 37000 | #Constraints: 29459
121.15/121.79 c #Conflicts: 38000 | #Constraints: 30459
121.15/121.79 c #Conflicts: 39000 | #Constraints: 31459
121.15/121.79 c #Conflicts: 40000 | #Constraints: 32459
121.15/121.79 c #Conflicts: 41000 | #Constraints: 33459
121.15/121.79 c #Conflicts: 42000 | #Constraints: 34459
121.15/121.79 c #Conflicts: 43000 | #Constraints: 35459
121.15/121.79 c #Conflicts: 44000 | #Constraints: 36459
121.15/121.79 c #Conflicts: 45000 | #Constraints: 37459
121.15/121.79 c #Conflicts: 46000 | #Constraints: 38459
121.15/121.79 c #Conflicts: 47000 | #Constraints: 39459
121.15/121.79 c #Conflicts: 48000 | #Constraints: 40459
121.15/121.79 c #Conflicts: 49000 | #Constraints: 41459
121.15/121.79 c INPROCESSING
121.15/121.79 c GARBAGE COLLECT
121.15/121.79 c #Conflicts: 50000 | #Constraints: 32175
121.15/121.79 c #Conflicts: 51000 | #Constraints: 33175
121.15/121.79 c #Conflicts: 52000 | #Constraints: 34175
121.15/121.79 c #Conflicts: 53000 | #Constraints: 35175
121.15/121.79 c #Conflicts: 54000 | #Constraints: 36175
121.15/121.79 c #Conflicts: 55000 | #Constraints: 37175
121.15/121.79 c #Conflicts: 56000 | #Constraints: 38175
121.15/121.79 c INPROCESSING
121.15/121.79 c GARBAGE COLLECT
121.15/121.79 c #Conflicts: 57000 | #Constraints: 31977
121.15/121.79 c #Conflicts: 58000 | #Constraints: 32977
121.15/121.79 c #Conflicts: 59000 | #Constraints: 33977
121.15/121.79 c #Conflicts: 60000 | #Constraints: 34977
121.15/121.79 c #Conflicts: 61000 | #Constraints: 35977
121.15/121.79 c #Conflicts: 62000 | #Constraints: 36977
121.15/121.79 c #Conflicts: 63000 | #Constraints: 37977
121.15/121.79 c #Conflicts: 64000 | #Constraints: 38977
121.15/121.79 c #Conflicts: 65000 | #Constraints: 39977
121.15/121.79 c #Conflicts: 66000 | #Constraints: 40977
121.15/121.79 c #Conflicts: 67000 | #Constraints: 41977
121.15/121.79 c #Conflicts: 68000 | #Constraints: 42977
121.15/121.79 c #Conflicts: 69000 | #Constraints: 43977
121.15/121.79 c #Conflicts: 70000 | #Constraints: 44977
121.15/121.79 c #Conflicts: 71000 | #Constraints: 45977
121.15/121.79 c #Conflicts: 72000 | #Constraints: 46977
121.15/121.79 c INPROCESSING
121.15/121.79 c GARBAGE COLLECT
250.33/255.00 c #Conflicts: 73000 | #Constraints: 35035
250.33/255.00 c #Conflicts: 74000 | #Constraints: 36035
250.33/255.00 c #Conflicts: 75000 | #Constraints: 37035
250.33/255.00 c #Conflicts: 76000 | #Constraints: 38035
250.33/255.00 c #Conflicts: 77000 | #Constraints: 39035
250.33/255.00 c #Conflicts: 78000 | #Constraints: 40035
250.33/255.00 c #Conflicts: 79000 | #Constraints: 41035
250.33/255.00 c #Conflicts: 80000 | #Constraints: 42035
250.33/255.00 c INPROCESSING
250.33/255.00 c GARBAGE COLLECT
250.33/255.00 c #Conflicts: 81000 | #Constraints: 34644
250.33/255.00 c #Conflicts: 82000 | #Constraints: 35644
250.33/255.00 c #Conflicts: 83000 | #Constraints: 36644
250.33/255.00 c #Conflicts: 84000 | #Constraints: 37644
250.33/255.00 c #Conflicts: 85000 | #Constraints: 38644
250.33/255.00 c #Conflicts: 86000 | #Constraints: 39644
250.33/255.00 c #Conflicts: 87000 | #Constraints: 40644
250.33/255.00 c #Conflicts: 88000 | #Constraints: 41644
250.33/255.00 c #Conflicts: 89000 | #Constraints: 42644
250.33/255.00 c #Conflicts: 90000 | #Constraints: 43644
250.33/255.00 c #Conflicts: 91000 | #Constraints: 44644
250.33/255.00 c #Conflicts: 92000 | #Constraints: 45644
250.33/255.00 c #Conflicts: 93000 | #Constraints: 46644
250.33/255.00 c #Conflicts: 94000 | #Constraints: 47644
250.33/255.00 c #Conflicts: 95000 | #Constraints: 48644
250.33/255.00 c #Conflicts: 96000 | #Constraints: 49644
250.33/255.00 c #Conflicts: 97000 | #Constraints: 50644
250.33/255.00 c #Conflicts: 98000 | #Constraints: 51644
250.33/255.00 c #Conflicts: 99000 | #Constraints: 52644
250.33/255.00 c #Conflicts: 100000 | #Constraints: 53644
250.33/255.00 c INPROCESSING
250.33/255.00 c GARBAGE COLLECT
250.33/255.00 c #Conflicts: 101000 | #Constraints: 38687
250.33/255.00 c #Conflicts: 102000 | #Constraints: 39687
250.33/255.00 c #Conflicts: 103000 | #Constraints: 40687
250.33/255.00 c #Conflicts: 104000 | #Constraints: 41687
250.33/255.00 c #Conflicts: 105000 | #Constraints: 42687
250.33/255.00 c #Conflicts: 106000 | #Constraints: 43687
250.33/255.00 c #Conflicts: 107000 | #Constraints: 44687
250.33/255.00 c #Conflicts: 108000 | #Constraints: 45687
250.33/255.00 c #Conflicts: 109000 | #Constraints: 46687
250.33/255.00 c INPROCESSING
250.33/255.00 c GARBAGE COLLECT
250.33/255.00 c #Conflicts: 110000 | #Constraints: 37223
250.33/255.00 c #Conflicts: 111000 | #Constraints: 38223
250.33/255.00 c #Conflicts: 112000 | #Constraints: 39223
250.33/255.00 c #Conflicts: 113000 | #Constraints: 40223
250.33/255.00 c #Conflicts: 114000 | #Constraints: 41223
250.33/255.00 c #Conflicts: 115000 | #Constraints: 42223
250.33/255.00 c #Conflicts: 116000 | #Constraints: 43223
250.33/255.00 c #Conflicts: 117000 | #Constraints: 44223
250.33/255.00 c #Conflicts: 118000 | #Constraints: 45223
250.33/255.00 c #Conflicts: 119000 | #Constraints: 46223
250.33/255.00 c #Conflicts: 120000 | #Constraints: 47223
250.33/255.00 c #Conflicts: 121000 | #Constraints: 48223
250.33/255.00 c #Conflicts: 122000 | #Constraints: 49223
250.33/255.00 c #Conflicts: 123000 | #Constraints: 50223
250.33/255.00 c #Conflicts: 124000 | #Constraints: 51223
250.33/255.00 c #Conflicts: 125000 | #Constraints: 52223
250.33/255.00 c #Conflicts: 126000 | #Constraints: 53223
250.33/255.00 c #Conflicts: 127000 | #Constraints: 54223
250.33/255.00 c #Conflicts: 128000 | #Constraints: 55223
250.33/255.00 c #Conflicts: 129000 | #Constraints: 56223
250.33/255.00 c #Conflicts: 130000 | #Constraints: 57223
250.33/255.00 c #Conflicts: 131000 | #Constraints: 58223
250.33/255.00 c #Conflicts: 132000 | #Constraints: 59223
250.33/255.00 c INPROCESSING
250.33/255.00 c GARBAGE COLLECT
250.33/255.00 c #Conflicts: 133000 | #Constraints: 41793
250.33/255.00 c #Conflicts: 134000 | #Constraints: 42793
250.33/255.00 c #Conflicts: 135000 | #Constraints: 43793
250.33/255.00 c #Conflicts: 136000 | #Constraints: 44793
250.33/255.00 c #Conflicts: 137000 | #Constraints: 45793
250.33/255.00 c #Conflicts: 138000 | #Constraints: 46793
250.33/255.00 c #Conflicts: 139000 | #Constraints: 47793
250.33/255.00 c #Conflicts: 140000 | #Constraints: 48793
250.33/255.00 c #Conflicts: 141000 | #Constraints: 49793
250.33/255.00 c #Conflicts: 142000 | #Constraints: 50793
250.33/255.00 c INPROCESSING
250.33/255.00 c GARBAGE COLLECT
250.33/255.00 c #Conflicts: 143000 | #Constraints: 40258
250.33/255.00 c #Conflicts: 144000 | #Constraints: 41258
250.33/255.00 c #Conflicts: 145000 | #Constraints: 42258
250.33/255.00 c #Conflicts: 146000 | #Constraints: 43258
250.33/255.00 c #Conflicts: 147000 | #Constraints: 44258
250.33/255.00 c #Conflicts: 148000 | #Constraints: 45258
420.14/426.01 c #Conflicts: 149000 | #Constraints: 46258
420.14/426.01 c #Conflicts: 150000 | #Constraints: 47258
420.14/426.01 c #Conflicts: 151000 | #Constraints: 48258
420.14/426.01 c #Conflicts: 152000 | #Constraints: 49258
420.14/426.01 c #Conflicts: 153000 | #Constraints: 50258
420.14/426.01 c #Conflicts: 154000 | #Constraints: 51258
420.14/426.01 c #Conflicts: 155000 | #Constraints: 52258
420.14/426.01 c #Conflicts: 156000 | #Constraints: 53258
420.14/426.01 c #Conflicts: 157000 | #Constraints: 54258
420.14/426.01 c #Conflicts: 158000 | #Constraints: 55258
420.14/426.01 c #Conflicts: 159000 | #Constraints: 56258
420.14/426.01 c #Conflicts: 160000 | #Constraints: 57258
420.14/426.01 c #Conflicts: 161000 | #Constraints: 58258
420.14/426.01 c #Conflicts: 162000 | #Constraints: 59258
420.14/426.01 c #Conflicts: 163000 | #Constraints: 60258
420.14/426.01 c #Conflicts: 164000 | #Constraints: 61258
420.14/426.01 c #Conflicts: 165000 | #Constraints: 62258
420.14/426.01 c #Conflicts: 166000 | #Constraints: 63258
420.14/426.01 c #Conflicts: 167000 | #Constraints: 64258
420.14/426.01 c #Conflicts: 168000 | #Constraints: 65258
420.14/426.01 c INPROCESSING
420.14/426.01 c GARBAGE COLLECT
420.14/426.01 c #Conflicts: 169000 | #Constraints: 44732
420.14/426.01 c #Conflicts: 170000 | #Constraints: 45732
420.14/426.01 c #Conflicts: 171000 | #Constraints: 46732
420.14/426.01 c #Conflicts: 172000 | #Constraints: 47732
420.14/426.01 c #Conflicts: 173000 | #Constraints: 48732
420.14/426.01 c #Conflicts: 174000 | #Constraints: 49732
420.14/426.01 c #Conflicts: 175000 | #Constraints: 50732
420.14/426.01 c #Conflicts: 176000 | #Constraints: 51732
420.14/426.01 c #Conflicts: 177000 | #Constraints: 52732
420.14/426.01 c #Conflicts: 178000 | #Constraints: 53732
420.14/426.01 c #Conflicts: 179000 | #Constraints: 54732
420.14/426.01 c #Conflicts: 180000 | #Constraints: 55732
420.14/426.01 c INPROCESSING
420.14/426.01 c GARBAGE COLLECT
420.14/426.01 c #Conflicts: 181000 | #Constraints: 43678
420.14/426.01 c #Conflicts: 182000 | #Constraints: 44678
420.14/426.01 c #Conflicts: 183000 | #Constraints: 45678
420.14/426.01 c #Conflicts: 184000 | #Constraints: 46678
420.14/426.01 c #Conflicts: 185000 | #Constraints: 47678
420.14/426.01 c #Conflicts: 186000 | #Constraints: 48678
420.14/426.01 c #Conflicts: 187000 | #Constraints: 49678
420.14/426.01 c #Conflicts: 188000 | #Constraints: 50678
420.14/426.01 c #Conflicts: 189000 | #Constraints: 51678
420.14/426.01 c #Conflicts: 190000 | #Constraints: 52678
420.14/426.01 c #Conflicts: 191000 | #Constraints: 53678
420.14/426.01 c #Conflicts: 192000 | #Constraints: 54678
420.14/426.01 c #Conflicts: 193000 | #Constraints: 55678
420.14/426.01 c #Conflicts: 194000 | #Constraints: 56678
420.14/426.01 c #Conflicts: 195000 | #Constraints: 57678
420.14/426.01 c #Conflicts: 196000 | #Constraints: 58678
420.14/426.01 c #Conflicts: 197000 | #Constraints: 59678
420.14/426.01 c #Conflicts: 198000 | #Constraints: 60678
420.14/426.01 c #Conflicts: 199000 | #Constraints: 61678
420.14/426.01 c #Conflicts: 200000 | #Constraints: 62678
420.14/426.01 c #Conflicts: 201000 | #Constraints: 63678
420.14/426.01 c #Conflicts: 202000 | #Constraints: 64678
420.14/426.01 c #Conflicts: 203000 | #Constraints: 65678
420.14/426.01 c #Conflicts: 204000 | #Constraints: 66678
420.14/426.01 c #Conflicts: 205000 | #Constraints: 67678
420.14/426.01 c #Conflicts: 206000 | #Constraints: 68678
420.14/426.01 c #Conflicts: 207000 | #Constraints: 69678
420.14/426.01 c #Conflicts: 208000 | #Constraints: 70678
420.14/426.01 c #Conflicts: 209000 | #Constraints: 71678
420.14/426.01 c INPROCESSING
420.14/426.01 c GARBAGE COLLECT
420.14/426.01 c #Conflicts: 210000 | #Constraints: 48005
420.14/426.01 c #Conflicts: 211000 | #Constraints: 49005
420.14/426.01 c #Conflicts: 212000 | #Constraints: 50005
420.14/426.01 c #Conflicts: 213000 | #Constraints: 51005
420.14/426.01 c #Conflicts: 214000 | #Constraints: 52005
420.14/426.01 c #Conflicts: 215000 | #Constraints: 53005
420.14/426.01 c #Conflicts: 216000 | #Constraints: 54005
420.14/426.01 c #Conflicts: 217000 | #Constraints: 55005
420.14/426.01 c #Conflicts: 218000 | #Constraints: 56005
420.14/426.01 c #Conflicts: 219000 | #Constraints: 57005
420.14/426.01 c #Conflicts: 220000 | #Constraints: 58005
420.14/426.01 c #Conflicts: 221000 | #Constraints: 59005
420.14/426.01 c #Conflicts: 222000 | #Constraints: 60005
420.14/426.01 c INPROCESSING
420.14/426.01 c GARBAGE COLLECT
420.14/426.01 c #Conflicts: 223000 | #Constraints: 45964
420.14/426.01 c #Conflicts: 224000 | #Constraints: 46964
606.41/613.11 c #Conflicts: 225000 | #Constraints: 47964
606.41/613.11 c #Conflicts: 226000 | #Constraints: 48964
606.41/613.11 c #Conflicts: 227000 | #Constraints: 49964
606.41/613.11 c #Conflicts: 228000 | #Constraints: 50964
606.41/613.11 c #Conflicts: 229000 | #Constraints: 51964
606.41/613.11 c #Conflicts: 230000 | #Constraints: 52964
606.41/613.11 c #Conflicts: 231000 | #Constraints: 53964
606.41/613.11 c #Conflicts: 232000 | #Constraints: 54964
606.41/613.11 c #Conflicts: 233000 | #Constraints: 55964
606.41/613.11 c #Conflicts: 234000 | #Constraints: 56964
606.41/613.11 c #Conflicts: 235000 | #Constraints: 57964
606.41/613.11 c #Conflicts: 236000 | #Constraints: 58964
606.41/613.11 c #Conflicts: 237000 | #Constraints: 59964
606.41/613.11 c #Conflicts: 238000 | #Constraints: 60964
606.41/613.11 c #Conflicts: 239000 | #Constraints: 61964
606.41/613.11 c #Conflicts: 240000 | #Constraints: 62964
606.41/613.11 c #Conflicts: 241000 | #Constraints: 63964
606.41/613.11 c #Conflicts: 242000 | #Constraints: 64964
606.41/613.11 c #Conflicts: 243000 | #Constraints: 65964
606.41/613.11 c #Conflicts: 244000 | #Constraints: 66964
606.41/613.11 c #Conflicts: 245000 | #Constraints: 67964
606.41/613.11 c #Conflicts: 246000 | #Constraints: 68964
606.41/613.11 c #Conflicts: 247000 | #Constraints: 69964
606.41/613.11 c #Conflicts: 248000 | #Constraints: 70964
606.41/613.11 c #Conflicts: 249000 | #Constraints: 71964
606.41/613.11 c #Conflicts: 250000 | #Constraints: 72964
606.41/613.11 c #Conflicts: 251000 | #Constraints: 73964
606.41/613.11 c #Conflicts: 252000 | #Constraints: 74964
606.41/613.11 c #Conflicts: 253000 | #Constraints: 75964
606.41/613.11 c #Conflicts: 254000 | #Constraints: 76964
606.41/613.11 c INPROCESSING
606.41/613.11 c GARBAGE COLLECT
606.41/613.11 c #Conflicts: 255000 | #Constraints: 50529
606.41/613.11 c #Conflicts: 256000 | #Constraints: 51529
606.41/613.11 c #Conflicts: 257000 | #Constraints: 52529
606.41/613.11 c #Conflicts: 258000 | #Constraints: 53529
606.41/613.11 c #Conflicts: 259000 | #Constraints: 54529
606.41/613.11 c #Conflicts: 260000 | #Constraints: 55529
606.41/613.11 c #Conflicts: 261000 | #Constraints: 56529
606.41/613.11 c #Conflicts: 262000 | #Constraints: 57529
606.41/613.11 c #Conflicts: 263000 | #Constraints: 58529
606.41/613.11 c #Conflicts: 264000 | #Constraints: 59529
606.41/613.11 c #Conflicts: 265000 | #Constraints: 60529
606.41/613.11 c #Conflicts: 266000 | #Constraints: 61529
606.41/613.11 c #Conflicts: 267000 | #Constraints: 62529
606.41/613.11 c #Conflicts: 268000 | #Constraints: 63529
606.41/613.11 c INPROCESSING
606.41/613.11 c GARBAGE COLLECT
606.41/613.11 c #Conflicts: 269000 | #Constraints: 48794
606.41/613.11 c #Conflicts: 270000 | #Constraints: 49794
606.41/613.11 c #Conflicts: 271000 | #Constraints: 50794
606.41/613.11 c #Conflicts: 272000 | #Constraints: 51794
606.41/613.11 c #Conflicts: 273000 | #Constraints: 52794
606.41/613.11 c #Conflicts: 274000 | #Constraints: 53794
606.41/613.11 c #Conflicts: 275000 | #Constraints: 54794
606.41/613.11 c #Conflicts: 276000 | #Constraints: 55794
606.41/613.11 c #Conflicts: 277000 | #Constraints: 56794
606.41/613.11 c #Conflicts: 278000 | #Constraints: 57794
606.41/613.11 c #Conflicts: 279000 | #Constraints: 58794
606.41/613.11 c #Conflicts: 280000 | #Constraints: 59794
606.41/613.11 c #Conflicts: 281000 | #Constraints: 60794
606.41/613.11 c #Conflicts: 282000 | #Constraints: 61794
606.41/613.11 c #Conflicts: 283000 | #Constraints: 62794
606.41/613.11 c #Conflicts: 284000 | #Constraints: 63794
606.41/613.11 c #Conflicts: 285000 | #Constraints: 64794
606.41/613.11 c #Conflicts: 286000 | #Constraints: 65794
606.41/613.11 c #Conflicts: 287000 | #Constraints: 66794
606.41/613.11 c #Conflicts: 288000 | #Constraints: 67794
606.41/613.11 c #Conflicts: 289000 | #Constraints: 68794
606.41/613.11 c #Conflicts: 290000 | #Constraints: 69794
606.41/613.11 c #Conflicts: 291000 | #Constraints: 70794
606.41/613.11 c #Conflicts: 292000 | #Constraints: 71794
606.41/613.11 c #Conflicts: 293000 | #Constraints: 72794
606.41/613.11 c #Conflicts: 294000 | #Constraints: 73794
606.41/613.11 c #Conflicts: 295000 | #Constraints: 74794
606.41/613.11 c #Conflicts: 296000 | #Constraints: 75794
606.41/613.11 c #Conflicts: 297000 | #Constraints: 76794
606.41/613.11 c #Conflicts: 298000 | #Constraints: 77794
606.41/613.11 c #Conflicts: 299000 | #Constraints: 78794
606.41/613.11 c #Conflicts: 300000 | #Constraints: 79794
606.41/613.11 c #Conflicts: 301000 | #Constraints: 80794
606.41/613.11 c #Conflicts: 302000 | #Constraints: 81794
750.69/778.75 c #Conflicts: 303000 | #Constraints: 82794
750.69/778.75 c INPROCESSING
750.69/778.75 c GARBAGE COLLECT
750.69/778.75 c #Conflicts: 304000 | #Constraints: 53402
750.69/778.75 c #Conflicts: 305000 | #Constraints: 54402
750.69/778.75 c #Conflicts: 306000 | #Constraints: 55402
750.69/778.75 c #Conflicts: 307000 | #Constraints: 56402
750.69/778.75 c #Conflicts: 308000 | #Constraints: 57402
750.69/778.75 c #Conflicts: 309000 | #Constraints: 58402
750.69/778.75 c #Conflicts: 310000 | #Constraints: 59402
750.69/778.75 c #Conflicts: 311000 | #Constraints: 60402
750.69/778.75 c #Conflicts: 312000 | #Constraints: 61402
750.69/778.75 c #Conflicts: 313000 | #Constraints: 62402
750.69/778.75 c #Conflicts: 314000 | #Constraints: 63402
750.69/778.75 c #Conflicts: 315000 | #Constraints: 64402
750.69/778.75 c #Conflicts: 316000 | #Constraints: 65402
750.69/778.75 c #Conflicts: 317000 | #Constraints: 66402
750.69/778.75 c #Conflicts: 318000 | #Constraints: 67402
750.69/778.75 c #Conflicts: 319000 | #Constraints: 68402
750.69/778.75 c INPROCESSING
750.69/778.75 c GARBAGE COLLECT
750.69/778.75 c #Conflicts: 320000 | #Constraints: 51891
750.69/778.75 c #Conflicts: 321000 | #Constraints: 52891
750.69/778.75 c #Conflicts: 322000 | #Constraints: 53891
750.69/778.75 c #Conflicts: 323000 | #Constraints: 54891
750.69/778.75 c #Conflicts: 324000 | #Constraints: 55891
750.69/778.75 c #Conflicts: 325000 | #Constraints: 56891
750.69/778.75 c #Conflicts: 326000 | #Constraints: 57891
750.69/778.75 c #Conflicts: 327000 | #Constraints: 58891
750.69/778.75 c #Conflicts: 328000 | #Constraints: 59891
750.69/778.75 c #Conflicts: 329000 | #Constraints: 60891
750.69/778.75 c #Conflicts: 330000 | #Constraints: 61891
750.69/778.75 c #Conflicts: 331000 | #Constraints: 62891
750.69/778.75 c #Conflicts: 332000 | #Constraints: 63891
750.69/778.75 c #Conflicts: 333000 | #Constraints: 64891
750.69/778.75 c #Conflicts: 334000 | #Constraints: 65891
750.69/778.75 c #Conflicts: 335000 | #Constraints: 66891
750.69/778.75 c #Conflicts: 336000 | #Constraints: 67891
750.69/778.75 c #Conflicts: 337000 | #Constraints: 68891
750.69/778.75 c #Conflicts: 338000 | #Constraints: 69891
750.69/778.75 c #Conflicts: 339000 | #Constraints: 70891
750.69/778.75 c #Conflicts: 340000 | #Constraints: 71891
750.69/778.75 c #Conflicts: 341000 | #Constraints: 72891
750.69/778.75 c #Conflicts: 342000 | #Constraints: 73891
750.69/778.75 c #Conflicts: 343000 | #Constraints: 74891
750.69/778.75 c #Conflicts: 344000 | #Constraints: 75891
750.69/778.75 c #Conflicts: 345000 | #Constraints: 76891
750.69/778.75 c #Conflicts: 346000 | #Constraints: 77891
750.69/778.75 c #Conflicts: 347000 | #Constraints: 78891
750.69/778.75 c #Conflicts: 348000 | #Constraints: 79891
750.69/778.75 c #Conflicts: 349000 | #Constraints: 80891
750.69/778.75 c #Conflicts: 350000 | #Constraints: 81891
750.69/778.75 c #Conflicts: 351000 | #Constraints: 82891
750.69/778.75 c #Conflicts: 352000 | #Constraints: 83891
750.69/778.75 c #Conflicts: 353000 | #Constraints: 84891
750.69/778.75 c #Conflicts: 354000 | #Constraints: 85891
750.69/778.75 c #Conflicts: 355000 | #Constraints: 86891
750.69/778.75 c #Conflicts: 356000 | #Constraints: 87891
750.69/778.75 c #Conflicts: 357000 | #Constraints: 88891
750.69/778.75 c INPROCESSING
750.69/778.75 c GARBAGE COLLECT
750.69/778.75 c #Conflicts: 358000 | #Constraints: 56749
750.69/778.75 c #Conflicts: 359000 | #Constraints: 57749
750.69/778.75 c #Conflicts: 360000 | #Constraints: 58749
750.69/778.75 c #Conflicts: 361000 | #Constraints: 59749
750.69/778.75 c #Conflicts: 362000 | #Constraints: 60749
750.69/778.75 c #Conflicts: 363000 | #Constraints: 61749
750.69/778.75 c #Conflicts: 364000 | #Constraints: 62749
750.69/778.75 c #Conflicts: 365000 | #Constraints: 63749
750.69/778.75 c #Conflicts: 366000 | #Constraints: 64749
750.69/778.75 c #Conflicts: 367000 | #Constraints: 65749
750.69/778.75 c #Conflicts: 368000 | #Constraints: 66749
750.69/778.75 c #Conflicts: 369000 | #Constraints: 67749
750.69/778.75 c #Conflicts: 370000 | #Constraints: 68749
750.69/778.75 c #Conflicts: 371000 | #Constraints: 69749
750.69/778.75 c #Conflicts: 372000 | #Constraints: 70749
750.69/778.75 c #Conflicts: 373000 | #Constraints: 71749
750.69/778.75 c #Conflicts: 374000 | #Constraints: 72749
750.69/778.75 c INPROCESSING
750.69/778.75 c GARBAGE COLLECT
750.69/778.75 c #Conflicts: 375000 | #Constraints: 54683
750.69/778.75 c #Conflicts: 376000 | #Constraints: 55683
750.69/778.75 c #Conflicts: 377000 | #Constraints: 56683
750.69/778.75 c #Conflicts: 378000 | #Constraints: 57683
887.73/920.12 c #Conflicts: 379000 | #Constraints: 58683
887.73/920.12 c #Conflicts: 380000 | #Constraints: 59683
887.73/920.12 c #Conflicts: 381000 | #Constraints: 60683
887.73/920.12 c #Conflicts: 382000 | #Constraints: 61683
887.73/920.12 c #Conflicts: 383000 | #Constraints: 62683
887.73/920.12 c #Conflicts: 384000 | #Constraints: 63683
887.73/920.12 c #Conflicts: 385000 | #Constraints: 64683
887.73/920.12 c #Conflicts: 386000 | #Constraints: 65683
887.73/920.12 c #Conflicts: 387000 | #Constraints: 66683
887.73/920.12 c #Conflicts: 388000 | #Constraints: 67683
887.73/920.12 c #Conflicts: 389000 | #Constraints: 68683
887.73/920.12 c #Conflicts: 390000 | #Constraints: 69683
887.73/920.12 c #Conflicts: 391000 | #Constraints: 70683
887.73/920.12 c #Conflicts: 392000 | #Constraints: 71683
887.73/920.12 c #Conflicts: 393000 | #Constraints: 72683
887.73/920.12 c #Conflicts: 394000 | #Constraints: 73683
887.73/920.12 c #Conflicts: 395000 | #Constraints: 74683
887.73/920.12 c #Conflicts: 396000 | #Constraints: 75683
887.73/920.12 c #Conflicts: 397000 | #Constraints: 76683
887.73/920.12 c #Conflicts: 398000 | #Constraints: 77683
887.73/920.12 c #Conflicts: 399000 | #Constraints: 78683
887.73/920.12 c #Conflicts: 400000 | #Constraints: 79683
887.73/920.12 c #Conflicts: 401000 | #Constraints: 80683
887.73/920.12 c #Conflicts: 402000 | #Constraints: 81683
887.73/920.12 c #Conflicts: 403000 | #Constraints: 82683
887.73/920.12 c #Conflicts: 404000 | #Constraints: 83683
887.73/920.12 c #Conflicts: 405000 | #Constraints: 84683
887.73/920.12 c #Conflicts: 406000 | #Constraints: 85683
887.73/920.12 c #Conflicts: 407000 | #Constraints: 86683
887.73/920.12 c #Conflicts: 408000 | #Constraints: 87683
887.73/920.12 c #Conflicts: 409000 | #Constraints: 88683
887.73/920.12 c #Conflicts: 410000 | #Constraints: 89683
887.73/920.12 c #Conflicts: 411000 | #Constraints: 90683
887.73/920.12 c #Conflicts: 412000 | #Constraints: 91683
887.73/920.12 c #Conflicts: 413000 | #Constraints: 92683
887.73/920.12 c #Conflicts: 414000 | #Constraints: 93683
887.73/920.12 c #Conflicts: 415000 | #Constraints: 94683
887.73/920.12 c INPROCESSING
887.73/920.12 c GARBAGE COLLECT
887.73/920.12 c #Conflicts: 416000 | #Constraints: 59367
887.73/920.12 c #Conflicts: 417000 | #Constraints: 60367
887.73/920.12 c #Conflicts: 418000 | #Constraints: 61367
887.73/920.12 c #Conflicts: 419000 | #Constraints: 62367
887.73/920.12 c #Conflicts: 420000 | #Constraints: 63367
887.73/920.12 c #Conflicts: 421000 | #Constraints: 64367
887.73/920.12 c #Conflicts: 422000 | #Constraints: 65367
887.73/920.12 c #Conflicts: 423000 | #Constraints: 66367
887.73/920.12 c #Conflicts: 424000 | #Constraints: 67367
887.73/920.12 c #Conflicts: 425000 | #Constraints: 68367
887.73/920.12 c #Conflicts: 426000 | #Constraints: 69367
887.73/920.12 c #Conflicts: 427000 | #Constraints: 70367
887.73/920.12 c #Conflicts: 428000 | #Constraints: 71367
887.73/920.12 c #Conflicts: 429000 | #Constraints: 72367
887.73/920.12 c #Conflicts: 430000 | #Constraints: 73367
887.73/920.12 c #Conflicts: 431000 | #Constraints: 74367
887.73/920.12 c #Conflicts: 432000 | #Constraints: 75367
887.73/920.12 c #Conflicts: 433000 | #Constraints: 76367
887.73/920.12 c #Conflicts: 434000 | #Constraints: 77367
887.73/920.12 c INPROCESSING
887.73/920.12 c GARBAGE COLLECT
887.73/920.12 c #Conflicts: 435000 | #Constraints: 57774
887.73/920.12 c #Conflicts: 436000 | #Constraints: 58774
887.73/920.12 c #Conflicts: 437000 | #Constraints: 59774
887.73/920.12 c #Conflicts: 438000 | #Constraints: 60774
887.73/920.12 c #Conflicts: 439000 | #Constraints: 61774
887.73/920.12 c #Conflicts: 440000 | #Constraints: 62774
887.73/920.12 c #Conflicts: 441000 | #Constraints: 63774
887.73/920.12 c #Conflicts: 442000 | #Constraints: 64774
887.73/920.12 c #Conflicts: 443000 | #Constraints: 65774
887.73/920.12 c #Conflicts: 444000 | #Constraints: 66774
887.73/920.12 c #Conflicts: 445000 | #Constraints: 67774
887.73/920.12 c #Conflicts: 446000 | #Constraints: 68774
887.73/920.12 c #Conflicts: 447000 | #Constraints: 69774
887.73/920.12 c #Conflicts: 448000 | #Constraints: 70774
887.73/920.12 c #Conflicts: 449000 | #Constraints: 71774
887.73/920.12 c #Conflicts: 450000 | #Constraints: 72774
887.73/920.12 c #Conflicts: 451000 | #Constraints: 73774
887.73/920.12 c #Conflicts: 452000 | #Constraints: 74774
887.73/920.12 c #Conflicts: 453000 | #Constraints: 75774
887.73/920.12 c #Conflicts: 454000 | #Constraints: 76774
887.73/920.12 c #Conflicts: 455000 | #Constraints: 77774
1074.24/1109.33 c #Conflicts: 456000 | #Constraints: 78774
1074.24/1109.33 c #Conflicts: 457000 | #Constraints: 79774
1074.24/1109.33 c #Conflicts: 458000 | #Constraints: 80774
1074.24/1109.33 c #Conflicts: 459000 | #Constraints: 81774
1074.24/1109.33 c #Conflicts: 460000 | #Constraints: 82774
1074.24/1109.33 c #Conflicts: 461000 | #Constraints: 83774
1074.24/1109.33 c #Conflicts: 462000 | #Constraints: 84774
1074.24/1109.33 c #Conflicts: 463000 | #Constraints: 85774
1074.24/1109.33 c #Conflicts: 464000 | #Constraints: 86774
1074.24/1109.33 c #Conflicts: 465000 | #Constraints: 87774
1074.24/1109.33 c #Conflicts: 466000 | #Constraints: 88774
1074.24/1109.33 c #Conflicts: 467000 | #Constraints: 89774
1074.24/1109.33 c #Conflicts: 468000 | #Constraints: 90774
1074.24/1109.33 c #Conflicts: 469000 | #Constraints: 91774
1074.24/1109.33 c #Conflicts: 470000 | #Constraints: 92774
1074.24/1109.33 c #Conflicts: 471000 | #Constraints: 93774
1074.24/1109.33 c #Conflicts: 472000 | #Constraints: 94774
1074.24/1109.33 c #Conflicts: 473000 | #Constraints: 95774
1074.24/1109.33 c #Conflicts: 474000 | #Constraints: 96774
1074.24/1109.33 c #Conflicts: 475000 | #Constraints: 97774
1074.24/1109.33 c #Conflicts: 476000 | #Constraints: 98774
1074.24/1109.33 c #Conflicts: 477000 | #Constraints: 99774
1074.24/1109.33 c #Conflicts: 478000 | #Constraints: 100774
1074.24/1109.33 c INPROCESSING
1074.24/1109.33 c GARBAGE COLLECT
1074.24/1109.33 c #Conflicts: 479000 | #Constraints: 62510
1074.24/1109.33 c #Conflicts: 480000 | #Constraints: 63510
1074.24/1109.33 c #Conflicts: 481000 | #Constraints: 64510
1074.24/1109.33 c #Conflicts: 482000 | #Constraints: 65510
1074.24/1109.33 c #Conflicts: 483000 | #Constraints: 66510
1074.24/1109.33 c #Conflicts: 484000 | #Constraints: 67510
1074.24/1109.33 c #Conflicts: 485000 | #Constraints: 68510
1074.24/1109.33 c #Conflicts: 486000 | #Constraints: 69510
1074.24/1109.33 c #Conflicts: 487000 | #Constraints: 70510
1074.24/1109.33 c #Conflicts: 488000 | #Constraints: 71510
1074.24/1109.33 c #Conflicts: 489000 | #Constraints: 72510
1074.24/1109.33 c #Conflicts: 490000 | #Constraints: 73510
1074.24/1109.33 c #Conflicts: 491000 | #Constraints: 74510
1074.24/1109.33 c #Conflicts: 492000 | #Constraints: 75510
1074.24/1109.33 c #Conflicts: 493000 | #Constraints: 76510
1074.24/1109.33 c #Conflicts: 494000 | #Constraints: 77510
1074.24/1109.33 c #Conflicts: 495000 | #Constraints: 78510
1074.24/1109.33 c #Conflicts: 496000 | #Constraints: 79510
1074.24/1109.33 c #Conflicts: 497000 | #Constraints: 80510
1074.24/1109.33 c #Conflicts: 498000 | #Constraints: 81510
1074.24/1109.33 c INPROCESSING
1074.24/1109.33 c GARBAGE COLLECT
1074.24/1109.33 c #Conflicts: 499000 | #Constraints: 60183
1074.24/1109.33 c #Conflicts: 500000 | #Constraints: 61183
1074.24/1109.33 c #Conflicts: 501000 | #Constraints: 62183
1074.24/1109.33 c #Conflicts: 502000 | #Constraints: 63183
1074.24/1109.33 c #Conflicts: 503000 | #Constraints: 64183
1074.24/1109.33 c #Conflicts: 504000 | #Constraints: 65183
1074.24/1109.33 c #Conflicts: 505000 | #Constraints: 66183
1074.24/1109.33 c #Conflicts: 506000 | #Constraints: 67183
1074.24/1109.33 c #Conflicts: 507000 | #Constraints: 68183
1074.24/1109.33 c #Conflicts: 508000 | #Constraints: 69183
1074.24/1109.33 c #Conflicts: 509000 | #Constraints: 70183
1074.24/1109.33 c #Conflicts: 510000 | #Constraints: 71183
1074.24/1109.33 c #Conflicts: 511000 | #Constraints: 72183
1074.24/1109.33 c #Conflicts: 512000 | #Constraints: 73183
1074.24/1109.33 c #Conflicts: 513000 | #Constraints: 74183
1074.24/1109.33 c #Conflicts: 514000 | #Constraints: 75183
1074.24/1109.33 c #Conflicts: 515000 | #Constraints: 76183
1074.24/1109.33 c #Conflicts: 516000 | #Constraints: 77183
1074.24/1109.33 c #Conflicts: 517000 | #Constraints: 78183
1074.24/1109.33 c #Conflicts: 518000 | #Constraints: 79183
1074.24/1109.33 c #Conflicts: 519000 | #Constraints: 80183
1074.24/1109.33 c #Conflicts: 520000 | #Constraints: 81183
1074.24/1109.33 c #Conflicts: 521000 | #Constraints: 82183
1074.24/1109.33 c #Conflicts: 522000 | #Constraints: 83183
1074.24/1109.33 c #Conflicts: 523000 | #Constraints: 84183
1074.24/1109.33 c #Conflicts: 524000 | #Constraints: 85183
1074.24/1109.33 c #Conflicts: 525000 | #Constraints: 86183
1074.24/1109.33 c #Conflicts: 526000 | #Constraints: 87183
1074.24/1109.33 c #Conflicts: 527000 | #Constraints: 88183
1074.24/1109.33 c #Conflicts: 528000 | #Constraints: 89183
1074.24/1109.33 c #Conflicts: 529000 | #Constraints: 90183
1074.24/1109.33 c #Conflicts: 530000 | #Constraints: 91183
1074.24/1109.33 c #Conflicts: 531000 | #Constraints: 92183
1074.24/1109.33 c #Conflicts: 532000 | #Constraints: 93183
1074.24/1109.33 c #Conflicts: 533000 | #Constraints: 94183
1178.35/1213.80 c #Conflicts: 534000 | #Constraints: 95183
1178.35/1213.80 c #Conflicts: 535000 | #Constraints: 96183
1178.35/1213.80 c #Conflicts: 536000 | #Constraints: 97183
1178.35/1213.80 c #Conflicts: 537000 | #Constraints: 98183
1178.35/1213.80 c #Conflicts: 538000 | #Constraints: 99183
1178.35/1213.80 c #Conflicts: 539000 | #Constraints: 100183
1178.35/1213.80 c #Conflicts: 540000 | #Constraints: 101183
1178.35/1213.80 c #Conflicts: 541000 | #Constraints: 102183
1178.35/1213.80 c #Conflicts: 542000 | #Constraints: 103183
1178.35/1213.80 c #Conflicts: 543000 | #Constraints: 104183
1178.35/1213.80 c #Conflicts: 544000 | #Constraints: 105183
1178.35/1213.80 c #Conflicts: 545000 | #Constraints: 106183
1178.35/1213.80 c INPROCESSING
1178.35/1213.80 c GARBAGE COLLECT
1178.35/1213.80 c rational objective 174.031
1372.90/1410.33 c #Conflicts: 546000 | #Constraints: 65422
1372.90/1410.33 c #Conflicts: 547000 | #Constraints: 66422
1372.90/1410.33 c #Conflicts: 548000 | #Constraints: 67422
1372.90/1410.33 c #Conflicts: 549000 | #Constraints: 68422
1372.90/1410.33 c #Conflicts: 550000 | #Constraints: 69422
1372.90/1410.33 c #Conflicts: 551000 | #Constraints: 70422
1372.90/1410.33 c #Conflicts: 552000 | #Constraints: 71422
1372.90/1410.33 c #Conflicts: 553000 | #Constraints: 72422
1372.90/1410.33 c #Conflicts: 554000 | #Constraints: 73422
1372.90/1410.33 c #Conflicts: 555000 | #Constraints: 74422
1372.90/1410.33 c #Conflicts: 556000 | #Constraints: 75422
1372.90/1410.33 c #Conflicts: 557000 | #Constraints: 76422
1372.90/1410.33 c #Conflicts: 558000 | #Constraints: 77422
1372.90/1410.33 c #Conflicts: 559000 | #Constraints: 78422
1372.90/1410.33 c #Conflicts: 560000 | #Constraints: 79422
1372.90/1410.33 c #Conflicts: 561000 | #Constraints: 80422
1372.90/1410.33 c #Conflicts: 562000 | #Constraints: 81422
1372.90/1410.33 c #Conflicts: 563000 | #Constraints: 82422
1372.90/1410.33 c #Conflicts: 564000 | #Constraints: 83422
1372.90/1410.33 c #Conflicts: 565000 | #Constraints: 84422
1372.90/1410.33 c #Conflicts: 566000 | #Constraints: 85422
1372.90/1410.33 c INPROCESSING
1372.90/1410.33 c GARBAGE COLLECT
1372.90/1410.33 c #Conflicts: 567000 | #Constraints: 62368
1372.90/1410.33 c #Conflicts: 568000 | #Constraints: 63368
1372.90/1410.33 c #Conflicts: 569000 | #Constraints: 64368
1372.90/1410.33 c #Conflicts: 570000 | #Constraints: 65368
1372.90/1410.33 c #Conflicts: 571000 | #Constraints: 66368
1372.90/1410.33 c #Conflicts: 572000 | #Constraints: 67368
1372.90/1410.33 c #Conflicts: 573000 | #Constraints: 68368
1372.90/1410.33 c #Conflicts: 574000 | #Constraints: 69368
1372.90/1410.33 c #Conflicts: 575000 | #Constraints: 70368
1372.90/1410.33 c #Conflicts: 576000 | #Constraints: 71368
1372.90/1410.33 c #Conflicts: 577000 | #Constraints: 72368
1372.90/1410.33 c #Conflicts: 578000 | #Constraints: 73368
1372.90/1410.33 c #Conflicts: 579000 | #Constraints: 74368
1372.90/1410.33 c #Conflicts: 580000 | #Constraints: 75368
1372.90/1410.33 c #Conflicts: 581000 | #Constraints: 76368
1372.90/1410.33 c #Conflicts: 582000 | #Constraints: 77368
1372.90/1410.33 c #Conflicts: 583000 | #Constraints: 78368
1372.90/1410.33 c #Conflicts: 584000 | #Constraints: 79368
1372.90/1410.33 c #Conflicts: 585000 | #Constraints: 80368
1372.90/1410.33 c #Conflicts: 586000 | #Constraints: 81368
1372.90/1410.33 c #Conflicts: 587000 | #Constraints: 82368
1372.90/1410.33 c #Conflicts: 588000 | #Constraints: 83368
1372.90/1410.33 c #Conflicts: 589000 | #Constraints: 84368
1372.90/1410.33 c #Conflicts: 590000 | #Constraints: 85368
1372.90/1410.33 c #Conflicts: 591000 | #Constraints: 86368
1372.90/1410.33 c #Conflicts: 592000 | #Constraints: 87368
1372.90/1410.33 c #Conflicts: 593000 | #Constraints: 88368
1372.90/1410.33 c #Conflicts: 594000 | #Constraints: 89368
1372.90/1410.33 c #Conflicts: 595000 | #Constraints: 90368
1372.90/1410.33 c #Conflicts: 596000 | #Constraints: 91368
1372.90/1410.33 c #Conflicts: 597000 | #Constraints: 92368
1372.90/1410.33 c #Conflicts: 598000 | #Constraints: 93368
1372.90/1410.33 c #Conflicts: 599000 | #Constraints: 94368
1372.90/1410.33 c #Conflicts: 600000 | #Constraints: 95368
1372.90/1410.33 c #Conflicts: 601000 | #Constraints: 96368
1372.90/1410.33 c #Conflicts: 602000 | #Constraints: 97368
1372.90/1410.33 c #Conflicts: 603000 | #Constraints: 98368
1372.90/1410.33 c #Conflicts: 604000 | #Constraints: 99368
1372.90/1410.33 c #Conflicts: 605000 | #Constraints: 100368
1372.90/1410.33 c #Conflicts: 606000 | #Constraints: 101368
1372.90/1410.33 c #Conflicts: 607000 | #Constraints: 102368
1372.90/1410.33 c #Conflicts: 608000 | #Constraints: 103368
1372.90/1410.33 c #Conflicts: 609000 | #Constraints: 104368
1372.90/1410.33 c #Conflicts: 610000 | #Constraints: 105368
1372.90/1410.33 c #Conflicts: 611000 | #Constraints: 106368
1372.90/1410.33 c #Conflicts: 612000 | #Constraints: 107368
1372.90/1410.33 c #Conflicts: 613000 | #Constraints: 108368
1372.90/1410.33 c #Conflicts: 614000 | #Constraints: 109368
1372.90/1410.33 c #Conflicts: 615000 | #Constraints: 110368
1372.90/1410.33 c #Conflicts: 616000 | #Constraints: 111368
1372.90/1410.33 c #Conflicts: 617000 | #Constraints: 112368
1372.90/1410.33 c INPROCESSING
1372.90/1410.33 c GARBAGE COLLECT
1372.90/1410.33 c #Conflicts: 618000 | #Constraints: 68718
1372.90/1410.33 c #Conflicts: 619000 | #Constraints: 69718
1372.90/1410.33 c #Conflicts: 620000 | #Constraints: 70718
1372.90/1410.33 c #Conflicts: 621000 | #Constraints: 71718
1372.90/1410.33 c #Conflicts: 622000 | #Constraints: 72718
1372.90/1410.33 c #Conflicts: 623000 | #Constraints: 73718
1539.33/1578.87 c #Conflicts: 624000 | #Constraints: 74718
1539.33/1578.87 c #Conflicts: 625000 | #Constraints: 75718
1539.33/1578.87 c #Conflicts: 626000 | #Constraints: 76718
1539.33/1578.87 c #Conflicts: 627000 | #Constraints: 77718
1539.33/1578.87 c #Conflicts: 628000 | #Constraints: 78718
1539.33/1578.87 c #Conflicts: 629000 | #Constraints: 79718
1539.33/1578.87 c #Conflicts: 630000 | #Constraints: 80718
1539.33/1578.87 c #Conflicts: 631000 | #Constraints: 81718
1539.33/1578.87 c #Conflicts: 632000 | #Constraints: 82718
1539.33/1578.87 c #Conflicts: 633000 | #Constraints: 83718
1539.33/1578.87 c #Conflicts: 634000 | #Constraints: 84718
1539.33/1578.87 c #Conflicts: 635000 | #Constraints: 85718
1539.33/1578.87 c #Conflicts: 636000 | #Constraints: 86718
1539.33/1578.87 c #Conflicts: 637000 | #Constraints: 87718
1539.33/1578.87 c #Conflicts: 638000 | #Constraints: 88718
1539.33/1578.87 c #Conflicts: 639000 | #Constraints: 89718
1539.33/1578.87 c INPROCESSING
1539.33/1578.87 c GARBAGE COLLECT
1539.33/1578.87 c #Conflicts: 640000 | #Constraints: 65369
1539.33/1578.87 c #Conflicts: 641000 | #Constraints: 66369
1539.33/1578.87 c #Conflicts: 642000 | #Constraints: 67369
1539.33/1578.87 c #Conflicts: 643000 | #Constraints: 68369
1539.33/1578.87 c #Conflicts: 644000 | #Constraints: 69369
1539.33/1578.87 c #Conflicts: 645000 | #Constraints: 70369
1539.33/1578.87 c #Conflicts: 646000 | #Constraints: 71369
1539.33/1578.87 c #Conflicts: 647000 | #Constraints: 72369
1539.33/1578.87 c #Conflicts: 648000 | #Constraints: 73369
1539.33/1578.87 c #Conflicts: 649000 | #Constraints: 74369
1539.33/1578.87 c #Conflicts: 650000 | #Constraints: 75369
1539.33/1578.87 c #Conflicts: 651000 | #Constraints: 76369
1539.33/1578.87 c #Conflicts: 652000 | #Constraints: 77369
1539.33/1578.87 c #Conflicts: 653000 | #Constraints: 78369
1539.33/1578.87 c #Conflicts: 654000 | #Constraints: 79369
1539.33/1578.87 c #Conflicts: 655000 | #Constraints: 80369
1539.33/1578.87 c #Conflicts: 656000 | #Constraints: 81369
1539.33/1578.87 c #Conflicts: 657000 | #Constraints: 82369
1539.33/1578.87 c #Conflicts: 658000 | #Constraints: 83369
1539.33/1578.87 c #Conflicts: 659000 | #Constraints: 84369
1539.33/1578.87 c #Conflicts: 660000 | #Constraints: 85369
1539.33/1578.87 c #Conflicts: 661000 | #Constraints: 86369
1539.33/1578.87 c #Conflicts: 662000 | #Constraints: 87369
1539.33/1578.87 c #Conflicts: 663000 | #Constraints: 88369
1539.33/1578.87 c #Conflicts: 664000 | #Constraints: 89369
1539.33/1578.87 c #Conflicts: 665000 | #Constraints: 90369
1539.33/1578.87 c #Conflicts: 666000 | #Constraints: 91369
1539.33/1578.87 c #Conflicts: 667000 | #Constraints: 92369
1539.33/1578.87 c #Conflicts: 668000 | #Constraints: 93369
1539.33/1578.87 c #Conflicts: 669000 | #Constraints: 94369
1539.33/1578.87 c #Conflicts: 670000 | #Constraints: 95369
1539.33/1578.87 c #Conflicts: 671000 | #Constraints: 96369
1539.33/1578.87 c #Conflicts: 672000 | #Constraints: 97369
1539.33/1578.87 c #Conflicts: 673000 | #Constraints: 98369
1539.33/1578.87 c #Conflicts: 674000 | #Constraints: 99369
1539.33/1578.87 c #Conflicts: 675000 | #Constraints: 100369
1539.33/1578.87 c #Conflicts: 676000 | #Constraints: 101369
1539.33/1578.87 c #Conflicts: 677000 | #Constraints: 102369
1539.33/1578.87 c #Conflicts: 678000 | #Constraints: 103369
1539.33/1578.87 c #Conflicts: 679000 | #Constraints: 104369
1539.33/1578.87 c #Conflicts: 680000 | #Constraints: 105369
1539.33/1578.87 c #Conflicts: 681000 | #Constraints: 106369
1539.33/1578.87 c #Conflicts: 682000 | #Constraints: 107369
1539.33/1578.87 c #Conflicts: 683000 | #Constraints: 108369
1539.33/1578.87 c #Conflicts: 684000 | #Constraints: 109369
1539.33/1578.87 c #Conflicts: 685000 | #Constraints: 110369
1539.33/1578.87 c #Conflicts: 686000 | #Constraints: 111369
1539.33/1578.87 c #Conflicts: 687000 | #Constraints: 112369
1539.33/1578.87 c #Conflicts: 688000 | #Constraints: 113369
1539.33/1578.87 c #Conflicts: 689000 | #Constraints: 114369
1539.33/1578.87 c #Conflicts: 690000 | #Constraints: 115369
1539.33/1578.87 c #Conflicts: 691000 | #Constraints: 116369
1539.33/1578.87 c #Conflicts: 692000 | #Constraints: 117369
1539.33/1578.87 c #Conflicts: 693000 | #Constraints: 118369
1539.33/1578.87 c INPROCESSING
1539.33/1578.87 c GARBAGE COLLECT
1539.33/1578.87 c #Conflicts: 694000 | #Constraints: 71976
1539.33/1578.87 c #Conflicts: 695000 | #Constraints: 72976
1539.33/1578.87 c #Conflicts: 696000 | #Constraints: 73976
1539.33/1578.87 c #Conflicts: 697000 | #Constraints: 74976
1539.33/1578.87 c #Conflicts: 698000 | #Constraints: 75976
1539.33/1578.87 c #Conflicts: 699000 | #Constraints: 76976
1539.33/1578.87 c #Conflicts: 700000 | #Constraints: 77976
1738.45/1796.78 c #Conflicts: 701000 | #Constraints: 78976
1738.45/1796.78 c #Conflicts: 702000 | #Constraints: 79976
1738.45/1796.78 c #Conflicts: 703000 | #Constraints: 80976
1738.45/1796.78 c #Conflicts: 704000 | #Constraints: 81976
1738.45/1796.78 c #Conflicts: 705000 | #Constraints: 82976
1738.45/1796.78 c #Conflicts: 706000 | #Constraints: 83976
1738.45/1796.78 c #Conflicts: 707000 | #Constraints: 84976
1738.45/1796.78 c #Conflicts: 708000 | #Constraints: 85976
1738.45/1796.78 c #Conflicts: 709000 | #Constraints: 86976
1738.45/1796.78 c #Conflicts: 710000 | #Constraints: 87976
1738.45/1796.78 c #Conflicts: 711000 | #Constraints: 88976
1738.45/1796.78 c #Conflicts: 712000 | #Constraints: 89976
1738.45/1796.78 c #Conflicts: 713000 | #Constraints: 90976
1738.45/1796.78 c #Conflicts: 714000 | #Constraints: 91976
1738.45/1796.78 c #Conflicts: 715000 | #Constraints: 92976
1738.45/1796.78 c #Conflicts: 716000 | #Constraints: 93976
1738.45/1796.78 c INPROCESSING
1738.45/1796.78 c GARBAGE COLLECT
1738.45/1796.78 c #Conflicts: 717000 | #Constraints: 67951
1738.45/1796.78 c #Conflicts: 718000 | #Constraints: 68951
1738.45/1796.78 c #Conflicts: 719000 | #Constraints: 69951
1738.45/1796.78 c #Conflicts: 720000 | #Constraints: 70951
1738.45/1796.78 c #Conflicts: 721000 | #Constraints: 71951
1738.45/1796.78 c #Conflicts: 722000 | #Constraints: 72951
1738.45/1796.78 c #Conflicts: 723000 | #Constraints: 73951
1738.45/1796.78 c #Conflicts: 724000 | #Constraints: 74951
1738.45/1796.78 c #Conflicts: 725000 | #Constraints: 75951
1738.45/1796.78 c #Conflicts: 726000 | #Constraints: 76951
1738.45/1796.78 c #Conflicts: 727000 | #Constraints: 77951
1738.45/1796.78 c #Conflicts: 728000 | #Constraints: 78951
1738.45/1796.78 c #Conflicts: 729000 | #Constraints: 79951
1738.45/1796.78 c #Conflicts: 730000 | #Constraints: 80951
1738.45/1796.78 c #Conflicts: 731000 | #Constraints: 81951
1738.45/1796.78 c #Conflicts: 732000 | #Constraints: 82951
1738.45/1796.78 c #Conflicts: 733000 | #Constraints: 83951
1738.45/1796.78 c #Conflicts: 734000 | #Constraints: 84951
1738.45/1796.78 c #Conflicts: 735000 | #Constraints: 85951
1738.45/1796.78 c #Conflicts: 736000 | #Constraints: 86951
1738.45/1796.78 c #Conflicts: 737000 | #Constraints: 87951
1738.45/1796.78 c #Conflicts: 738000 | #Constraints: 88951
1738.45/1796.78 c #Conflicts: 739000 | #Constraints: 89951
1738.45/1796.78 c #Conflicts: 740000 | #Constraints: 90951
1738.45/1796.78 c #Conflicts: 741000 | #Constraints: 91951
1738.45/1796.78 c #Conflicts: 742000 | #Constraints: 92951
1738.45/1796.78 c #Conflicts: 743000 | #Constraints: 93951
1738.45/1796.78 c #Conflicts: 744000 | #Constraints: 94951
1738.45/1796.78 c #Conflicts: 745000 | #Constraints: 95951
1738.45/1796.78 c #Conflicts: 746000 | #Constraints: 96951
1738.45/1796.78 c #Conflicts: 747000 | #Constraints: 97951
1738.45/1796.78 c #Conflicts: 748000 | #Constraints: 98951
1738.45/1796.78 c #Conflicts: 749000 | #Constraints: 99951
1738.45/1796.78 c #Conflicts: 750000 | #Constraints: 100951
1738.45/1796.78 c #Conflicts: 751000 | #Constraints: 101951
1738.45/1796.78 c #Conflicts: 752000 | #Constraints: 102951
1738.45/1796.78 c #Conflicts: 753000 | #Constraints: 103951
1738.45/1796.78 c #Conflicts: 754000 | #Constraints: 104951
1738.45/1796.78 c #Conflicts: 755000 | #Constraints: 105951
1738.45/1796.78 c #Conflicts: 756000 | #Constraints: 106951
1738.45/1796.78 c #Conflicts: 757000 | #Constraints: 107951
1738.45/1796.78 c #Conflicts: 758000 | #Constraints: 108951
1738.45/1796.78 c #Conflicts: 759000 | #Constraints: 109951
1738.45/1796.78 c #Conflicts: 760000 | #Constraints: 110951
1738.45/1796.78 c #Conflicts: 761000 | #Constraints: 111951
1738.45/1796.78 c #Conflicts: 762000 | #Constraints: 112951
1738.45/1796.78 c #Conflicts: 763000 | #Constraints: 113951
1738.45/1796.78 c #Conflicts: 764000 | #Constraints: 114951
1738.45/1796.78 c #Conflicts: 765000 | #Constraints: 115951
1738.45/1796.78 c #Conflicts: 766000 | #Constraints: 116951
1738.45/1796.78 c #Conflicts: 767000 | #Constraints: 117951
1738.45/1796.78 c #Conflicts: 768000 | #Constraints: 118951
1738.45/1796.78 c #Conflicts: 769000 | #Constraints: 119951
1738.45/1796.78 c #Conflicts: 770000 | #Constraints: 120951
1738.45/1796.78 c #Conflicts: 771000 | #Constraints: 121951
1738.45/1796.78 c #Conflicts: 772000 | #Constraints: 122951
1738.45/1796.78 c #Conflicts: 773000 | #Constraints: 123951
1738.45/1796.78 c INPROCESSING
1738.45/1796.78 c GARBAGE COLLECT
1738.45/1796.78 c #Conflicts: 774000 | #Constraints: 74629
1738.45/1796.78 c #Conflicts: 775000 | #Constraints: 75629
1738.45/1796.78 c #Conflicts: 776000 | #Constraints: 76629
1738.45/1796.78 c #Conflicts: 777000 | #Constraints: 77629
1738.45/1796.78 c #Conflicts: 778000 | #Constraints: 78629
1939.04/1998.52 c #Conflicts: 779000 | #Constraints: 79629
1939.04/1998.52 c #Conflicts: 780000 | #Constraints: 80629
1939.04/1998.52 c #Conflicts: 781000 | #Constraints: 81629
1939.04/1998.52 c #Conflicts: 782000 | #Constraints: 82629
1939.04/1998.52 c #Conflicts: 783000 | #Constraints: 83629
1939.04/1998.52 c #Conflicts: 784000 | #Constraints: 84629
1939.04/1998.52 c #Conflicts: 785000 | #Constraints: 85629
1939.04/1998.52 c #Conflicts: 786000 | #Constraints: 86629
1939.04/1998.52 c #Conflicts: 787000 | #Constraints: 87629
1939.04/1998.52 c #Conflicts: 788000 | #Constraints: 88629
1939.04/1998.52 c #Conflicts: 789000 | #Constraints: 89629
1939.04/1998.52 c #Conflicts: 790000 | #Constraints: 90629
1939.04/1998.52 c #Conflicts: 791000 | #Constraints: 91629
1939.04/1998.52 c #Conflicts: 792000 | #Constraints: 92629
1939.04/1998.52 c #Conflicts: 793000 | #Constraints: 93629
1939.04/1998.52 c #Conflicts: 794000 | #Constraints: 94629
1939.04/1998.52 c #Conflicts: 795000 | #Constraints: 95629
1939.04/1998.52 c #Conflicts: 796000 | #Constraints: 96629
1939.04/1998.52 c #Conflicts: 797000 | #Constraints: 97629
1939.04/1998.52 c #Conflicts: 798000 | #Constraints: 98629
1939.04/1998.53 c INPROCESSING
1939.04/1998.53 c GARBAGE COLLECT
1939.04/1998.53 c #Conflicts: 799000 | #Constraints: 70775
1939.04/1998.53 c #Conflicts: 800000 | #Constraints: 71775
1939.04/1998.53 c #Conflicts: 801000 | #Constraints: 72775
1939.04/1998.53 c #Conflicts: 802000 | #Constraints: 73775
1939.04/1998.53 c #Conflicts: 803000 | #Constraints: 74775
1939.04/1998.53 c #Conflicts: 804000 | #Constraints: 75775
1939.04/1998.53 c #Conflicts: 805000 | #Constraints: 76775
1939.04/1998.53 c #Conflicts: 806000 | #Constraints: 77775
1939.04/1998.53 c #Conflicts: 807000 | #Constraints: 78775
1939.04/1998.53 c #Conflicts: 808000 | #Constraints: 79775
1939.04/1998.53 c #Conflicts: 809000 | #Constraints: 80775
1939.04/1998.53 c #Conflicts: 810000 | #Constraints: 81775
1939.04/1998.53 c #Conflicts: 811000 | #Constraints: 82775
1939.04/1998.53 c #Conflicts: 812000 | #Constraints: 83775
1939.04/1998.53 c #Conflicts: 813000 | #Constraints: 84775
1939.04/1998.53 c #Conflicts: 814000 | #Constraints: 85775
1939.04/1998.53 c #Conflicts: 815000 | #Constraints: 86775
1939.04/1998.53 c #Conflicts: 816000 | #Constraints: 87775
1939.04/1998.53 c #Conflicts: 817000 | #Constraints: 88775
1939.04/1998.53 c #Conflicts: 818000 | #Constraints: 89775
1939.04/1998.53 c #Conflicts: 819000 | #Constraints: 90775
1939.04/1998.53 c #Conflicts: 820000 | #Constraints: 91775
1939.04/1998.53 c #Conflicts: 821000 | #Constraints: 92775
1939.04/1998.53 c #Conflicts: 822000 | #Constraints: 93775
1939.04/1998.53 c #Conflicts: 823000 | #Constraints: 94775
1939.04/1998.53 c #Conflicts: 824000 | #Constraints: 95775
1939.04/1998.53 c #Conflicts: 825000 | #Constraints: 96775
1939.04/1998.53 c #Conflicts: 826000 | #Constraints: 97775
1939.04/1998.53 c #Conflicts: 827000 | #Constraints: 98775
1939.04/1998.53 c #Conflicts: 828000 | #Constraints: 99775
1939.04/1998.53 c #Conflicts: 829000 | #Constraints: 100775
1939.04/1998.53 c #Conflicts: 830000 | #Constraints: 101775
1939.04/1998.53 c #Conflicts: 831000 | #Constraints: 102775
1939.04/1998.53 c #Conflicts: 832000 | #Constraints: 103775
1939.04/1998.53 c #Conflicts: 833000 | #Constraints: 104775
1939.04/1998.53 c #Conflicts: 834000 | #Constraints: 105775
1939.04/1998.53 c #Conflicts: 835000 | #Constraints: 106775
1939.04/1998.53 c #Conflicts: 836000 | #Constraints: 107775
1939.04/1998.53 c #Conflicts: 837000 | #Constraints: 108775
1939.04/1998.53 c #Conflicts: 838000 | #Constraints: 109775
1939.04/1998.53 c #Conflicts: 839000 | #Constraints: 110775
1939.04/1998.53 c #Conflicts: 840000 | #Constraints: 111775
1939.04/1998.53 c #Conflicts: 841000 | #Constraints: 112775
1939.04/1998.53 c #Conflicts: 842000 | #Constraints: 113775
1939.04/1998.53 c #Conflicts: 843000 | #Constraints: 114775
1939.04/1998.53 c #Conflicts: 844000 | #Constraints: 115775
1939.04/1998.53 c #Conflicts: 845000 | #Constraints: 116775
1939.04/1998.53 c #Conflicts: 846000 | #Constraints: 117775
1939.04/1998.53 c #Conflicts: 847000 | #Constraints: 118775
1939.04/1998.53 c #Conflicts: 848000 | #Constraints: 119775
1939.04/1998.53 c #Conflicts: 849000 | #Constraints: 120775
1939.04/1998.53 c #Conflicts: 850000 | #Constraints: 121775
1939.04/1998.53 c #Conflicts: 851000 | #Constraints: 122775
1939.04/1998.53 c #Conflicts: 852000 | #Constraints: 123775
1939.04/1998.53 c #Conflicts: 853000 | #Constraints: 124775
1939.04/1998.53 c #Conflicts: 854000 | #Constraints: 125775
1939.04/1998.53 c #Conflicts: 855000 | #Constraints: 126775
1939.04/1998.53 c #Conflicts: 856000 | #Constraints: 127775
2111.17/2171.49 c #Conflicts: 857000 | #Constraints: 128775
2111.17/2171.49 c #Conflicts: 858000 | #Constraints: 129775
2111.17/2171.49 c INPROCESSING
2111.17/2171.49 c GARBAGE COLLECT
2111.17/2171.49 c rational objective 174.036
2288.22/2355.77 c #Conflicts: 859000 | #Constraints: 77745
2288.22/2355.77 c #Conflicts: 860000 | #Constraints: 78745
2288.22/2355.77 c #Conflicts: 861000 | #Constraints: 79745
2288.22/2355.77 c #Conflicts: 862000 | #Constraints: 80745
2288.22/2355.77 c #Conflicts: 863000 | #Constraints: 81745
2288.22/2355.77 c #Conflicts: 864000 | #Constraints: 82745
2288.22/2355.77 c #Conflicts: 865000 | #Constraints: 83745
2288.22/2355.77 c #Conflicts: 866000 | #Constraints: 84745
2288.22/2355.77 c #Conflicts: 867000 | #Constraints: 85745
2288.22/2355.77 c #Conflicts: 868000 | #Constraints: 86745
2288.22/2355.77 c #Conflicts: 869000 | #Constraints: 87745
2288.22/2355.77 c #Conflicts: 870000 | #Constraints: 88745
2288.22/2355.77 c #Conflicts: 871000 | #Constraints: 89745
2288.22/2355.77 c #Conflicts: 872000 | #Constraints: 90745
2288.22/2355.77 c #Conflicts: 873000 | #Constraints: 91745
2288.22/2355.77 c #Conflicts: 874000 | #Constraints: 92745
2288.22/2355.77 c #Conflicts: 875000 | #Constraints: 93745
2288.22/2355.77 c #Conflicts: 876000 | #Constraints: 94745
2288.22/2355.77 c #Conflicts: 877000 | #Constraints: 95745
2288.22/2355.77 c #Conflicts: 878000 | #Constraints: 96745
2288.22/2355.77 c #Conflicts: 879000 | #Constraints: 97745
2288.22/2355.77 c #Conflicts: 880000 | #Constraints: 98745
2288.22/2355.77 c #Conflicts: 881000 | #Constraints: 99745
2288.22/2355.77 c #Conflicts: 882000 | #Constraints: 100745
2288.22/2355.77 c #Conflicts: 883000 | #Constraints: 101745
2288.22/2355.77 c #Conflicts: 884000 | #Constraints: 102745
2288.22/2355.77 c INPROCESSING
2288.22/2355.77 c GARBAGE COLLECT
2288.22/2355.77 c #Conflicts: 885000 | #Constraints: 73477
2288.22/2355.77 c #Conflicts: 886000 | #Constraints: 74477
2288.22/2355.77 c #Conflicts: 887000 | #Constraints: 75477
2288.22/2355.77 c #Conflicts: 888000 | #Constraints: 76477
2288.22/2355.77 c #Conflicts: 889000 | #Constraints: 77477
2288.22/2355.77 c #Conflicts: 890000 | #Constraints: 78477
2288.22/2355.77 c #Conflicts: 891000 | #Constraints: 79477
2288.22/2355.77 c #Conflicts: 892000 | #Constraints: 80477
2288.22/2355.77 c #Conflicts: 893000 | #Constraints: 81477
2288.22/2355.77 c #Conflicts: 894000 | #Constraints: 82477
2288.22/2355.77 c #Conflicts: 895000 | #Constraints: 83477
2288.22/2355.77 c #Conflicts: 896000 | #Constraints: 84477
2288.22/2355.77 c #Conflicts: 897000 | #Constraints: 85477
2288.22/2355.77 c #Conflicts: 898000 | #Constraints: 86477
2288.22/2355.77 c #Conflicts: 899000 | #Constraints: 87477
2288.22/2355.77 c #Conflicts: 900000 | #Constraints: 88477
2288.22/2355.77 c #Conflicts: 901000 | #Constraints: 89477
2288.22/2355.77 c #Conflicts: 902000 | #Constraints: 90477
2288.22/2355.77 c #Conflicts: 903000 | #Constraints: 91477
2288.22/2355.77 c #Conflicts: 904000 | #Constraints: 92477
2288.22/2355.77 c #Conflicts: 905000 | #Constraints: 93477
2288.22/2355.77 c #Conflicts: 906000 | #Constraints: 94477
2288.22/2355.77 c #Conflicts: 907000 | #Constraints: 95477
2288.22/2355.77 c #Conflicts: 908000 | #Constraints: 96477
2288.22/2355.77 c #Conflicts: 909000 | #Constraints: 97477
2288.22/2355.77 c #Conflicts: 910000 | #Constraints: 98477
2288.22/2355.77 c #Conflicts: 911000 | #Constraints: 99477
2288.22/2355.77 c #Conflicts: 912000 | #Constraints: 100477
2288.22/2355.77 c #Conflicts: 913000 | #Constraints: 101477
2288.22/2355.77 c #Conflicts: 914000 | #Constraints: 102477
2288.22/2355.77 c #Conflicts: 915000 | #Constraints: 103477
2288.22/2355.77 c #Conflicts: 916000 | #Constraints: 104477
2288.22/2355.77 c #Conflicts: 917000 | #Constraints: 105477
2288.22/2355.77 c #Conflicts: 918000 | #Constraints: 106477
2288.22/2355.77 c #Conflicts: 919000 | #Constraints: 107477
2288.22/2355.77 c #Conflicts: 920000 | #Constraints: 108477
2288.22/2355.77 c #Conflicts: 921000 | #Constraints: 109477
2288.22/2355.77 c #Conflicts: 922000 | #Constraints: 110477
2288.22/2355.77 c #Conflicts: 923000 | #Constraints: 111477
2288.22/2355.77 c #Conflicts: 924000 | #Constraints: 112477
2288.22/2355.77 c #Conflicts: 925000 | #Constraints: 113477
2288.22/2355.77 c #Conflicts: 926000 | #Constraints: 114477
2288.22/2355.77 c #Conflicts: 927000 | #Constraints: 115477
2288.22/2355.77 c #Conflicts: 928000 | #Constraints: 116477
2288.22/2355.77 c #Conflicts: 929000 | #Constraints: 117477
2288.22/2355.77 c #Conflicts: 930000 | #Constraints: 118477
2288.22/2355.77 c #Conflicts: 931000 | #Constraints: 119477
2288.22/2355.77 c #Conflicts: 932000 | #Constraints: 120477
2288.22/2355.77 c #Conflicts: 933000 | #Constraints: 121477
2288.22/2355.77 c #Conflicts: 934000 | #Constraints: 122477
2288.22/2355.77 c #Conflicts: 935000 | #Constraints: 123477
2288.22/2355.77 c #Conflicts: 936000 | #Constraints: 124477
2288.22/2355.77 c #Conflicts: 937000 | #Constraints: 125477
2520.67/2590.26 c #Conflicts: 938000 | #Constraints: 126477
2520.67/2590.26 c #Conflicts: 939000 | #Constraints: 127477
2520.67/2590.26 c #Conflicts: 940000 | #Constraints: 128477
2520.67/2590.26 c #Conflicts: 941000 | #Constraints: 129477
2520.67/2590.26 c #Conflicts: 942000 | #Constraints: 130477
2520.67/2590.26 c #Conflicts: 943000 | #Constraints: 131477
2520.67/2590.26 c #Conflicts: 944000 | #Constraints: 132477
2520.67/2590.26 c #Conflicts: 945000 | #Constraints: 133477
2520.67/2590.26 c #Conflicts: 946000 | #Constraints: 134477
2520.67/2590.26 c #Conflicts: 947000 | #Constraints: 135477
2520.67/2590.26 c INPROCESSING
2520.67/2590.26 c GARBAGE COLLECT
2520.67/2590.26 c #Conflicts: 948000 | #Constraints: 80526
2520.67/2590.26 c #Conflicts: 949000 | #Constraints: 81526
2520.67/2590.26 c #Conflicts: 950000 | #Constraints: 82526
2520.67/2590.26 c #Conflicts: 951000 | #Constraints: 83526
2520.67/2590.26 c #Conflicts: 952000 | #Constraints: 84526
2520.67/2590.26 c #Conflicts: 953000 | #Constraints: 85526
2520.67/2590.26 c #Conflicts: 954000 | #Constraints: 86526
2520.67/2590.26 c #Conflicts: 955000 | #Constraints: 87526
2520.67/2590.26 c #Conflicts: 956000 | #Constraints: 88526
2520.67/2590.26 c #Conflicts: 957000 | #Constraints: 89526
2520.67/2590.26 c #Conflicts: 958000 | #Constraints: 90526
2520.67/2590.26 c #Conflicts: 959000 | #Constraints: 91526
2520.67/2590.26 c #Conflicts: 960000 | #Constraints: 92526
2520.67/2590.26 c #Conflicts: 961000 | #Constraints: 93526
2520.67/2590.26 c #Conflicts: 962000 | #Constraints: 94526
2520.67/2590.26 c #Conflicts: 963000 | #Constraints: 95526
2520.67/2590.26 c #Conflicts: 964000 | #Constraints: 96526
2520.67/2590.26 c #Conflicts: 965000 | #Constraints: 97526
2520.67/2590.26 c #Conflicts: 966000 | #Constraints: 98526
2520.67/2590.26 c #Conflicts: 967000 | #Constraints: 99526
2520.67/2590.26 c #Conflicts: 968000 | #Constraints: 100526
2520.67/2590.26 c #Conflicts: 969000 | #Constraints: 101526
2520.67/2590.26 c #Conflicts: 970000 | #Constraints: 102526
2520.67/2590.26 c #Conflicts: 971000 | #Constraints: 103526
2520.67/2590.26 c #Conflicts: 972000 | #Constraints: 104526
2520.67/2590.26 c #Conflicts: 973000 | #Constraints: 105526
2520.67/2590.26 c #Conflicts: 974000 | #Constraints: 106526
2520.67/2590.26 c INPROCESSING
2520.67/2590.26 c GARBAGE COLLECT
2520.67/2590.26 c #Conflicts: 975000 | #Constraints: 75538
2520.67/2590.26 c #Conflicts: 976000 | #Constraints: 76538
2520.67/2590.26 c #Conflicts: 977000 | #Constraints: 77538
2520.67/2590.26 c #Conflicts: 978000 | #Constraints: 78538
2520.67/2590.26 c #Conflicts: 979000 | #Constraints: 79538
2520.67/2590.26 c #Conflicts: 980000 | #Constraints: 80538
2520.67/2590.26 c #Conflicts: 981000 | #Constraints: 81538
2520.67/2590.26 c #Conflicts: 982000 | #Constraints: 82538
2520.67/2590.26 c #Conflicts: 983000 | #Constraints: 83538
2520.67/2590.26 c #Conflicts: 984000 | #Constraints: 84538
2520.67/2590.26 c #Conflicts: 985000 | #Constraints: 85538
2520.67/2590.26 c #Conflicts: 986000 | #Constraints: 86538
2520.67/2590.26 c #Conflicts: 987000 | #Constraints: 87538
2520.67/2590.26 c #Conflicts: 988000 | #Constraints: 88538
2520.67/2590.26 c #Conflicts: 989000 | #Constraints: 89538
2520.67/2590.26 c #Conflicts: 990000 | #Constraints: 90538
2520.67/2590.26 c #Conflicts: 991000 | #Constraints: 91538
2520.67/2590.26 c #Conflicts: 992000 | #Constraints: 92538
2520.67/2590.26 c #Conflicts: 993000 | #Constraints: 93538
2520.67/2590.26 c #Conflicts: 994000 | #Constraints: 94538
2520.67/2590.26 c #Conflicts: 995000 | #Constraints: 95538
2520.67/2590.26 c #Conflicts: 996000 | #Constraints: 96538
2520.67/2590.26 c #Conflicts: 997000 | #Constraints: 97538
2520.67/2590.26 c #Conflicts: 998000 | #Constraints: 98538
2520.67/2590.26 c #Conflicts: 999000 | #Constraints: 99538
2520.67/2590.26 c #Conflicts: 1000000 | #Constraints: 100538
2520.67/2590.26 c #Conflicts: 1001000 | #Constraints: 101538
2520.67/2590.26 c #Conflicts: 1002000 | #Constraints: 102538
2520.67/2590.26 c #Conflicts: 1003000 | #Constraints: 103538
2520.67/2590.26 c #Conflicts: 1004000 | #Constraints: 104538
2520.67/2590.26 c #Conflicts: 1005000 | #Constraints: 105538
2520.67/2590.26 c #Conflicts: 1006000 | #Constraints: 106538
2520.67/2590.26 c #Conflicts: 1007000 | #Constraints: 107538
2520.67/2590.26 c #Conflicts: 1008000 | #Constraints: 108538
2520.67/2590.26 c #Conflicts: 1009000 | #Constraints: 109538
2520.67/2590.26 c #Conflicts: 1010000 | #Constraints: 110538
2520.67/2590.26 c #Conflicts: 1011000 | #Constraints: 111538
2520.67/2590.26 c #Conflicts: 1012000 | #Constraints: 112538
2520.67/2590.26 c #Conflicts: 1013000 | #Constraints: 113538
2520.67/2590.26 c #Conflicts: 1014000 | #Constraints: 114538
2763.15/2834.04 c #Conflicts: 1015000 | #Constraints: 115538
2763.15/2834.04 c #Conflicts: 1016000 | #Constraints: 116538
2763.15/2834.04 c #Conflicts: 1017000 | #Constraints: 117538
2763.15/2834.04 c #Conflicts: 1018000 | #Constraints: 118538
2763.15/2834.04 c #Conflicts: 1019000 | #Constraints: 119538
2763.15/2834.04 c #Conflicts: 1020000 | #Constraints: 120538
2763.15/2834.04 c #Conflicts: 1021000 | #Constraints: 121538
2763.15/2834.04 c #Conflicts: 1022000 | #Constraints: 122538
2763.15/2834.04 c #Conflicts: 1023000 | #Constraints: 123538
2763.15/2834.04 c #Conflicts: 1024000 | #Constraints: 124538
2763.15/2834.04 c #Conflicts: 1025000 | #Constraints: 125538
2763.15/2834.04 c #Conflicts: 1026000 | #Constraints: 126538
2763.15/2834.04 c #Conflicts: 1027000 | #Constraints: 127538
2763.15/2834.04 c #Conflicts: 1028000 | #Constraints: 128538
2763.15/2834.04 c #Conflicts: 1029000 | #Constraints: 129538
2763.15/2834.04 c #Conflicts: 1030000 | #Constraints: 130538
2763.15/2834.04 c #Conflicts: 1031000 | #Constraints: 131538
2763.15/2834.04 c #Conflicts: 1032000 | #Constraints: 132538
2763.15/2834.04 c #Conflicts: 1033000 | #Constraints: 133538
2763.15/2834.04 c #Conflicts: 1034000 | #Constraints: 134538
2763.15/2834.04 c #Conflicts: 1035000 | #Constraints: 135538
2763.15/2834.04 c #Conflicts: 1036000 | #Constraints: 136538
2763.15/2834.04 c #Conflicts: 1037000 | #Constraints: 137538
2763.15/2834.04 c #Conflicts: 1038000 | #Constraints: 138538
2763.15/2834.04 c #Conflicts: 1039000 | #Constraints: 139538
2763.15/2834.04 c #Conflicts: 1040000 | #Constraints: 140538
2763.15/2834.04 c INPROCESSING
2763.15/2834.04 c GARBAGE COLLECT
2763.15/2834.04 c #Conflicts: 1041000 | #Constraints: 82490
2763.15/2834.04 c #Conflicts: 1042000 | #Constraints: 83490
2763.15/2834.04 c #Conflicts: 1043000 | #Constraints: 84490
2763.15/2834.04 c #Conflicts: 1044000 | #Constraints: 85490
2763.15/2834.04 c #Conflicts: 1045000 | #Constraints: 86490
2763.15/2834.04 c #Conflicts: 1046000 | #Constraints: 87490
2763.15/2834.04 c #Conflicts: 1047000 | #Constraints: 88490
2763.15/2834.04 c #Conflicts: 1048000 | #Constraints: 89490
2763.15/2834.04 c #Conflicts: 1049000 | #Constraints: 90490
2763.15/2834.04 c #Conflicts: 1050000 | #Constraints: 91490
2763.15/2834.04 c #Conflicts: 1051000 | #Constraints: 92490
2763.15/2834.04 c #Conflicts: 1052000 | #Constraints: 93490
2763.15/2834.04 c #Conflicts: 1053000 | #Constraints: 94490
2763.15/2834.04 c #Conflicts: 1054000 | #Constraints: 95490
2763.15/2834.04 c #Conflicts: 1055000 | #Constraints: 96490
2763.15/2834.04 c #Conflicts: 1056000 | #Constraints: 97490
2763.15/2834.04 c #Conflicts: 1057000 | #Constraints: 98490
2763.15/2834.04 c #Conflicts: 1058000 | #Constraints: 99490
2763.15/2834.04 c #Conflicts: 1059000 | #Constraints: 100490
2763.15/2834.04 c #Conflicts: 1060000 | #Constraints: 101490
2763.15/2834.04 c #Conflicts: 1061000 | #Constraints: 102490
2763.15/2834.04 c #Conflicts: 1062000 | #Constraints: 103490
2763.15/2834.04 c #Conflicts: 1063000 | #Constraints: 104490
2763.15/2834.04 c #Conflicts: 1064000 | #Constraints: 105490
2763.15/2834.04 c #Conflicts: 1065000 | #Constraints: 106490
2763.15/2834.04 c #Conflicts: 1066000 | #Constraints: 107490
2763.15/2834.04 c #Conflicts: 1067000 | #Constraints: 108490
2763.15/2834.04 c #Conflicts: 1068000 | #Constraints: 109490
2763.15/2834.04 c #Conflicts: 1069000 | #Constraints: 110490
2763.15/2834.04 c INPROCESSING
2763.15/2834.04 c GARBAGE COLLECT
2763.15/2834.04 c #Conflicts: 1070000 | #Constraints: 77573
2763.15/2834.04 c #Conflicts: 1071000 | #Constraints: 78573
2763.15/2834.04 c #Conflicts: 1072000 | #Constraints: 79573
2763.15/2834.04 c #Conflicts: 1073000 | #Constraints: 80573
2763.15/2834.04 c #Conflicts: 1074000 | #Constraints: 81573
2763.15/2834.04 c #Conflicts: 1075000 | #Constraints: 82573
2763.15/2834.04 c #Conflicts: 1076000 | #Constraints: 83573
2763.15/2834.04 c #Conflicts: 1077000 | #Constraints: 84573
2763.15/2834.04 c #Conflicts: 1078000 | #Constraints: 85573
2763.15/2834.04 c #Conflicts: 1079000 | #Constraints: 86573
2763.15/2834.04 c #Conflicts: 1080000 | #Constraints: 87573
2763.15/2834.04 c #Conflicts: 1081000 | #Constraints: 88573
2763.15/2834.04 c #Conflicts: 1082000 | #Constraints: 89573
2763.15/2834.04 c #Conflicts: 1083000 | #Constraints: 90573
2763.15/2834.04 c #Conflicts: 1084000 | #Constraints: 91573
2763.15/2834.04 c #Conflicts: 1085000 | #Constraints: 92573
2763.15/2834.04 c #Conflicts: 1086000 | #Constraints: 93573
2763.15/2834.04 c #Conflicts: 1087000 | #Constraints: 94573
2763.15/2834.04 c #Conflicts: 1088000 | #Constraints: 95573
2763.15/2834.04 c #Conflicts: 1089000 | #Constraints: 96573
2763.15/2834.04 c #Conflicts: 1090000 | #Constraints: 97573
2763.15/2834.04 c #Conflicts: 1091000 | #Constraints: 98573
2763.15/2834.04 c #Conflicts: 1092000 | #Constraints: 99573
2994.61/3069.26 c #Conflicts: 1093000 | #Constraints: 100573
2994.61/3069.26 c #Conflicts: 1094000 | #Constraints: 101573
2994.61/3069.26 c #Conflicts: 1095000 | #Constraints: 102573
2994.61/3069.26 c #Conflicts: 1096000 | #Constraints: 103573
2994.61/3069.26 c #Conflicts: 1097000 | #Constraints: 104573
2994.61/3069.26 c #Conflicts: 1098000 | #Constraints: 105573
2994.61/3069.26 c #Conflicts: 1099000 | #Constraints: 106573
2994.61/3069.26 c #Conflicts: 1100000 | #Constraints: 107573
2994.61/3069.26 c #Conflicts: 1101000 | #Constraints: 108573
2994.61/3069.26 c #Conflicts: 1102000 | #Constraints: 109573
2994.61/3069.26 c #Conflicts: 1103000 | #Constraints: 110573
2994.61/3069.26 c #Conflicts: 1104000 | #Constraints: 111573
2994.61/3069.26 c #Conflicts: 1105000 | #Constraints: 112573
2994.61/3069.26 c #Conflicts: 1106000 | #Constraints: 113573
2994.61/3069.26 c #Conflicts: 1107000 | #Constraints: 114573
2994.61/3069.26 c #Conflicts: 1108000 | #Constraints: 115573
2994.61/3069.26 c #Conflicts: 1109000 | #Constraints: 116573
2994.61/3069.26 c #Conflicts: 1110000 | #Constraints: 117573
2994.61/3069.26 c #Conflicts: 1111000 | #Constraints: 118573
2994.61/3069.26 c #Conflicts: 1112000 | #Constraints: 119573
2994.61/3069.26 c #Conflicts: 1113000 | #Constraints: 120573
2994.61/3069.26 c #Conflicts: 1114000 | #Constraints: 121573
2994.61/3069.26 c #Conflicts: 1115000 | #Constraints: 122573
2994.61/3069.26 c #Conflicts: 1116000 | #Constraints: 123573
2994.61/3069.26 c #Conflicts: 1117000 | #Constraints: 124573
2994.61/3069.26 c #Conflicts: 1118000 | #Constraints: 125573
2994.61/3069.26 c #Conflicts: 1119000 | #Constraints: 126573
2994.61/3069.26 c #Conflicts: 1120000 | #Constraints: 127573
2994.61/3069.26 c #Conflicts: 1121000 | #Constraints: 128573
2994.61/3069.26 c #Conflicts: 1122000 | #Constraints: 129573
2994.61/3069.26 c #Conflicts: 1123000 | #Constraints: 130573
2994.61/3069.26 c #Conflicts: 1124000 | #Constraints: 131573
2994.61/3069.26 c #Conflicts: 1125000 | #Constraints: 132573
2994.61/3069.26 c #Conflicts: 1126000 | #Constraints: 133573
2994.61/3069.26 c #Conflicts: 1127000 | #Constraints: 134573
2994.61/3069.26 c #Conflicts: 1128000 | #Constraints: 135573
2994.61/3069.26 c #Conflicts: 1129000 | #Constraints: 136574
2994.61/3069.26 c #Conflicts: 1130000 | #Constraints: 137574
2994.61/3069.26 c #Conflicts: 1131000 | #Constraints: 138574
2994.61/3069.27 c #Conflicts: 1132000 | #Constraints: 139574
2994.61/3069.27 c #Conflicts: 1133000 | #Constraints: 140574
2994.61/3069.27 c #Conflicts: 1134000 | #Constraints: 141574
2994.61/3069.27 c #Conflicts: 1135000 | #Constraints: 142574
2994.61/3069.27 c #Conflicts: 1136000 | #Constraints: 143574
2994.61/3069.27 c #Conflicts: 1137000 | #Constraints: 144574
2994.61/3069.27 c #Conflicts: 1138000 | #Constraints: 145574
2994.61/3069.27 c INPROCESSING
2994.61/3069.27 c GARBAGE COLLECT
2994.61/3069.27 c #Conflicts: 1139000 | #Constraints: 85479
2994.61/3069.27 c #Conflicts: 1140000 | #Constraints: 86479
2994.61/3069.27 c #Conflicts: 1141000 | #Constraints: 87479
2994.61/3069.27 c #Conflicts: 1142000 | #Constraints: 88479
2994.61/3069.27 c #Conflicts: 1143000 | #Constraints: 89479
2994.61/3069.27 c #Conflicts: 1144000 | #Constraints: 90479
2994.61/3069.27 c #Conflicts: 1145000 | #Constraints: 91479
2994.61/3069.27 c #Conflicts: 1146000 | #Constraints: 92479
2994.61/3069.27 c #Conflicts: 1147000 | #Constraints: 93479
2994.61/3069.27 c #Conflicts: 1148000 | #Constraints: 94479
2994.61/3069.27 c #Conflicts: 1149000 | #Constraints: 95479
2994.61/3069.27 c #Conflicts: 1150000 | #Constraints: 96479
2994.61/3069.27 c #Conflicts: 1151000 | #Constraints: 97479
2994.61/3069.27 c #Conflicts: 1152000 | #Constraints: 98479
2994.61/3069.27 c #Conflicts: 1153000 | #Constraints: 99479
2994.61/3069.27 c #Conflicts: 1154000 | #Constraints: 100479
2994.61/3069.27 c #Conflicts: 1155000 | #Constraints: 101479
2994.61/3069.27 c #Conflicts: 1156000 | #Constraints: 102479
2994.61/3069.27 c #Conflicts: 1157000 | #Constraints: 103479
2994.61/3069.27 c #Conflicts: 1158000 | #Constraints: 104479
2994.61/3069.27 c #Conflicts: 1159000 | #Constraints: 105479
2994.61/3069.27 c #Conflicts: 1160000 | #Constraints: 106479
2994.61/3069.27 c #Conflicts: 1161000 | #Constraints: 107479
2994.61/3069.27 c #Conflicts: 1162000 | #Constraints: 108479
2994.61/3069.27 c #Conflicts: 1163000 | #Constraints: 109479
2994.61/3069.27 c #Conflicts: 1164000 | #Constraints: 110479
2994.61/3069.27 c #Conflicts: 1165000 | #Constraints: 111479
2994.61/3069.27 c #Conflicts: 1166000 | #Constraints: 112479
2994.61/3069.27 c #Conflicts: 1167000 | #Constraints: 113479
2994.61/3069.27 c #Conflicts: 1168000 | #Constraints: 114479
2994.61/3069.27 c INPROCESSING
2994.61/3069.27 c GARBAGE COLLECT
2994.61/3069.27 c #Conflicts: 1169000 | #Constraints: 79533
3214.87/3293.08 c #Conflicts: 1170000 | #Constraints: 80533
3214.87/3293.08 c #Conflicts: 1171000 | #Constraints: 81533
3214.87/3293.08 c #Conflicts: 1172000 | #Constraints: 82533
3214.87/3293.08 c #Conflicts: 1173000 | #Constraints: 83533
3214.87/3293.08 c #Conflicts: 1174000 | #Constraints: 84533
3214.87/3293.08 c #Conflicts: 1175000 | #Constraints: 85533
3214.87/3293.08 c #Conflicts: 1176000 | #Constraints: 86533
3214.87/3293.08 c #Conflicts: 1177000 | #Constraints: 87533
3214.87/3293.08 c #Conflicts: 1178000 | #Constraints: 88533
3214.87/3293.08 c #Conflicts: 1179000 | #Constraints: 89533
3214.87/3293.08 c #Conflicts: 1180000 | #Constraints: 90533
3214.87/3293.08 c #Conflicts: 1181000 | #Constraints: 91533
3214.87/3293.08 c #Conflicts: 1182000 | #Constraints: 92533
3214.87/3293.08 c #Conflicts: 1183000 | #Constraints: 93533
3214.87/3293.08 c #Conflicts: 1184000 | #Constraints: 94533
3214.87/3293.08 c #Conflicts: 1185000 | #Constraints: 95533
3214.87/3293.08 c #Conflicts: 1186000 | #Constraints: 96533
3214.87/3293.08 c #Conflicts: 1187000 | #Constraints: 97533
3214.87/3293.08 c #Conflicts: 1188000 | #Constraints: 98533
3214.87/3293.08 c #Conflicts: 1189000 | #Constraints: 99533
3214.87/3293.08 c #Conflicts: 1190000 | #Constraints: 100533
3214.87/3293.08 c #Conflicts: 1191000 | #Constraints: 101533
3214.87/3293.08 c #Conflicts: 1192000 | #Constraints: 102533
3214.87/3293.08 c #Conflicts: 1193000 | #Constraints: 103533
3214.87/3293.08 c #Conflicts: 1194000 | #Constraints: 104533
3214.87/3293.08 c #Conflicts: 1195000 | #Constraints: 105533
3214.87/3293.08 c #Conflicts: 1196000 | #Constraints: 106534
3214.87/3293.08 c #Conflicts: 1197000 | #Constraints: 107534
3214.87/3293.08 c #Conflicts: 1198000 | #Constraints: 108534
3214.87/3293.08 c #Conflicts: 1199000 | #Constraints: 109534
3214.87/3293.08 c #Conflicts: 1200000 | #Constraints: 110534
3214.87/3293.08 c #Conflicts: 1201000 | #Constraints: 111534
3214.87/3293.08 c #Conflicts: 1202000 | #Constraints: 112534
3214.87/3293.08 c #Conflicts: 1203000 | #Constraints: 113534
3214.87/3293.08 c #Conflicts: 1204000 | #Constraints: 114534
3214.87/3293.08 c #Conflicts: 1205000 | #Constraints: 115534
3214.87/3293.08 c #Conflicts: 1206000 | #Constraints: 116534
3214.87/3293.08 c #Conflicts: 1207000 | #Constraints: 117534
3214.87/3293.08 c #Conflicts: 1208000 | #Constraints: 118534
3214.87/3293.08 c #Conflicts: 1209000 | #Constraints: 119534
3214.87/3293.08 c #Conflicts: 1210000 | #Constraints: 120534
3214.87/3293.08 c #Conflicts: 1211000 | #Constraints: 121534
3214.87/3293.08 c #Conflicts: 1212000 | #Constraints: 122534
3214.87/3293.08 c #Conflicts: 1213000 | #Constraints: 123534
3214.87/3293.08 c #Conflicts: 1214000 | #Constraints: 124534
3214.87/3293.08 c #Conflicts: 1215000 | #Constraints: 125534
3214.87/3293.08 c #Conflicts: 1216000 | #Constraints: 126534
3214.87/3293.08 c #Conflicts: 1217000 | #Constraints: 127534
3214.87/3293.08 c #Conflicts: 1218000 | #Constraints: 128534
3214.87/3293.08 c #Conflicts: 1219000 | #Constraints: 129534
3214.87/3293.08 c #Conflicts: 1220000 | #Constraints: 130534
3214.87/3293.08 c #Conflicts: 1221000 | #Constraints: 131534
3214.87/3293.08 c #Conflicts: 1222000 | #Constraints: 132534
3214.87/3293.08 c #Conflicts: 1223000 | #Constraints: 133534
3214.87/3293.08 c #Conflicts: 1224000 | #Constraints: 134534
3214.87/3293.08 c #Conflicts: 1225000 | #Constraints: 135534
3214.87/3293.08 c #Conflicts: 1226000 | #Constraints: 136534
3214.87/3293.08 c #Conflicts: 1227000 | #Constraints: 137534
3214.87/3293.08 c #Conflicts: 1228000 | #Constraints: 138534
3214.87/3293.08 c #Conflicts: 1229000 | #Constraints: 139534
3214.87/3293.08 c #Conflicts: 1230000 | #Constraints: 140534
3214.87/3293.08 c #Conflicts: 1231000 | #Constraints: 141534
3214.87/3293.08 c #Conflicts: 1232000 | #Constraints: 142534
3214.87/3293.08 c #Conflicts: 1233000 | #Constraints: 143534
3214.87/3293.08 c #Conflicts: 1234000 | #Constraints: 144534
3214.87/3293.08 c #Conflicts: 1235000 | #Constraints: 145534
3214.87/3293.08 c #Conflicts: 1236000 | #Constraints: 146534
3214.87/3293.08 c #Conflicts: 1237000 | #Constraints: 147534
3214.87/3293.08 c #Conflicts: 1238000 | #Constraints: 148534
3214.87/3293.08 c #Conflicts: 1239000 | #Constraints: 149534
3214.87/3293.08 c #Conflicts: 1240000 | #Constraints: 150534
3214.87/3293.08 c INPROCESSING
3214.87/3293.08 c GARBAGE COLLECT
3214.87/3293.08 c #Conflicts: 1241000 | #Constraints: 87924
3214.87/3293.08 c #Conflicts: 1242000 | #Constraints: 88924
3214.87/3293.08 c #Conflicts: 1243000 | #Constraints: 89924
3214.87/3293.08 c #Conflicts: 1244000 | #Constraints: 90924
3214.87/3293.08 c #Conflicts: 1245000 | #Constraints: 91924
3214.87/3293.08 c #Conflicts: 1246000 | #Constraints: 92924
3214.87/3293.08 c #Conflicts: 1247000 | #Constraints: 93924
3400.20/3480.39 c #Conflicts: 1248000 | #Constraints: 94924
3400.20/3480.39 c #Conflicts: 1249000 | #Constraints: 95924
3400.20/3480.39 c #Conflicts: 1250000 | #Constraints: 96924
3400.20/3480.39 c #Conflicts: 1251000 | #Constraints: 97924
3400.20/3480.39 c #Conflicts: 1252000 | #Constraints: 98924
3400.20/3480.39 c #Conflicts: 1253000 | #Constraints: 99924
3400.20/3480.39 c #Conflicts: 1254000 | #Constraints: 100924
3400.20/3480.39 c #Conflicts: 1255000 | #Constraints: 101924
3400.20/3480.39 c #Conflicts: 1256000 | #Constraints: 102924
3400.20/3480.39 c #Conflicts: 1257000 | #Constraints: 103924
3400.20/3480.39 c #Conflicts: 1258000 | #Constraints: 104924
3400.20/3480.39 c #Conflicts: 1259000 | #Constraints: 105924
3400.20/3480.39 c #Conflicts: 1260000 | #Constraints: 106924
3400.20/3480.39 c #Conflicts: 1261000 | #Constraints: 107924
3400.20/3480.39 c #Conflicts: 1262000 | #Constraints: 108924
3400.20/3480.39 c #Conflicts: 1263000 | #Constraints: 109924
3400.20/3480.39 c #Conflicts: 1264000 | #Constraints: 110924
3400.20/3480.39 c #Conflicts: 1265000 | #Constraints: 111924
3400.20/3480.39 c #Conflicts: 1266000 | #Constraints: 112924
3400.20/3480.39 c #Conflicts: 1267000 | #Constraints: 113924
3400.20/3480.39 c #Conflicts: 1268000 | #Constraints: 114924
3400.20/3480.39 c #Conflicts: 1269000 | #Constraints: 115924
3400.20/3480.39 c #Conflicts: 1270000 | #Constraints: 116924
3400.20/3480.39 c #Conflicts: 1271000 | #Constraints: 117924
3400.20/3480.39 c #Conflicts: 1272000 | #Constraints: 118924
3400.20/3480.39 c INPROCESSING
3400.20/3480.39 c GARBAGE COLLECT
3400.20/3480.39 c #Conflicts: 1273000 | #Constraints: 82857
3400.20/3480.39 c #Conflicts: 1274000 | #Constraints: 83857
3400.20/3480.39 c #Conflicts: 1275000 | #Constraints: 84857
3400.20/3480.39 c #Conflicts: 1276000 | #Constraints: 85857
3400.20/3480.39 c #Conflicts: 1277000 | #Constraints: 86857
3400.20/3480.39 c #Conflicts: 1278000 | #Constraints: 87857
3400.20/3480.39 c #Conflicts: 1279000 | #Constraints: 88857
3400.20/3480.39 c #Conflicts: 1280000 | #Constraints: 89857
3400.20/3480.39 c #Conflicts: 1281000 | #Constraints: 90857
3400.20/3480.39 c #Conflicts: 1282000 | #Constraints: 91857
3400.20/3480.39 c #Conflicts: 1283000 | #Constraints: 92857
3400.20/3480.39 c #Conflicts: 1284000 | #Constraints: 93857
3400.20/3480.39 c #Conflicts: 1285000 | #Constraints: 94857
3400.20/3480.39 c #Conflicts: 1286000 | #Constraints: 95857
3400.20/3480.39 c #Conflicts: 1287000 | #Constraints: 96857
3400.20/3480.39 c #Conflicts: 1288000 | #Constraints: 97857
3400.20/3480.39 c #Conflicts: 1289000 | #Constraints: 98857
3400.20/3480.39 c #Conflicts: 1290000 | #Constraints: 99857
3400.20/3480.39 c #Conflicts: 1291000 | #Constraints: 100857
3400.20/3480.39 c #Conflicts: 1292000 | #Constraints: 101857
3400.20/3480.39 c #Conflicts: 1293000 | #Constraints: 102857
3400.20/3480.39 c #Conflicts: 1294000 | #Constraints: 103857
3400.20/3480.39 c #Conflicts: 1295000 | #Constraints: 104857
3400.20/3480.39 c #Conflicts: 1296000 | #Constraints: 105857
3400.20/3480.39 c #Conflicts: 1297000 | #Constraints: 106857
3400.20/3480.39 c #Conflicts: 1298000 | #Constraints: 107857
3400.20/3480.39 c #Conflicts: 1299000 | #Constraints: 108857
3400.20/3480.39 c #Conflicts: 1300000 | #Constraints: 109857
3400.20/3480.39 c #Conflicts: 1301000 | #Constraints: 110857
3400.20/3480.39 c #Conflicts: 1302000 | #Constraints: 111857
3400.20/3480.39 c #Conflicts: 1303000 | #Constraints: 112857
3400.20/3480.39 c #Conflicts: 1304000 | #Constraints: 113857
3400.20/3480.39 c #Conflicts: 1305000 | #Constraints: 114857
3400.20/3480.39 c #Conflicts: 1306000 | #Constraints: 115857
3400.20/3480.39 c #Conflicts: 1307000 | #Constraints: 116857
3400.20/3480.39 c #Conflicts: 1308000 | #Constraints: 117857
3400.20/3480.39 c #Conflicts: 1309000 | #Constraints: 118857
3400.20/3480.39 c #Conflicts: 1310000 | #Constraints: 119857
3400.20/3480.39 c #Conflicts: 1311000 | #Constraints: 120857
3400.20/3480.39 c #Conflicts: 1312000 | #Constraints: 121857
3400.20/3480.39 c #Conflicts: 1313000 | #Constraints: 122857
3400.20/3480.39 c #Conflicts: 1314000 | #Constraints: 123857
3400.20/3480.39 c #Conflicts: 1315000 | #Constraints: 124857
3400.20/3480.39 c #Conflicts: 1316000 | #Constraints: 125857
3400.20/3480.39 c #Conflicts: 1317000 | #Constraints: 126857
3400.20/3480.39 c #Conflicts: 1318000 | #Constraints: 127857
3400.20/3480.39 c #Conflicts: 1319000 | #Constraints: 128857
3400.20/3480.39 c #Conflicts: 1320000 | #Constraints: 129857
3400.20/3480.39 c #Conflicts: 1321000 | #Constraints: 130857
3400.20/3480.39 c #Conflicts: 1322000 | #Constraints: 131857
3400.20/3480.39 c #Conflicts: 1323000 | #Constraints: 132857
3400.20/3480.39 c #Conflicts: 1324000 | #Constraints: 133857
3400.20/3480.39 c #Conflicts: 1325000 | #Constraints: 134857
3600.07/3681.20 c #Conflicts: 1326000 | #Constraints: 135857
3600.07/3681.20 c #Conflicts: 1327000 | #Constraints: 136857
3600.07/3681.20 c #Conflicts: 1328000 | #Constraints: 137857
3600.07/3681.20 c #Conflicts: 1329000 | #Constraints: 138858
3600.07/3681.20 c #Conflicts: 1330000 | #Constraints: 139858
3600.07/3681.20 c #Conflicts: 1331000 | #Constraints: 140858
3600.07/3681.20 c #Conflicts: 1332000 | #Constraints: 141858
3600.07/3681.20 c #Conflicts: 1333000 | #Constraints: 142858
3600.07/3681.20 c #Conflicts: 1334000 | #Constraints: 143858
3600.07/3681.20 c #Conflicts: 1335000 | #Constraints: 144858
3600.07/3681.20 c #Conflicts: 1336000 | #Constraints: 145858
3600.07/3681.20 c #Conflicts: 1337000 | #Constraints: 146858
3600.07/3681.20 c #Conflicts: 1338000 | #Constraints: 147858
3600.07/3681.20 c #Conflicts: 1339000 | #Constraints: 148858
3600.07/3681.20 c #Conflicts: 1340000 | #Constraints: 149858
3600.07/3681.20 c #Conflicts: 1341000 | #Constraints: 150858
3600.07/3681.20 c #Conflicts: 1342000 | #Constraints: 151858
3600.07/3681.20 c #Conflicts: 1343000 | #Constraints: 152858
3600.07/3681.20 c #Conflicts: 1344000 | #Constraints: 153858
3600.07/3681.20 c #Conflicts: 1345000 | #Constraints: 154858
3600.07/3681.20 c #Conflicts: 1346000 | #Constraints: 155858
3600.07/3681.20 c #Conflicts: 1347000 | #Constraints: 156858
3600.07/3681.20 c INPROCESSING
3600.07/3681.20 c GARBAGE COLLECT
3600.07/3681.20 c #Conflicts: 1348000 | #Constraints: 91104
3600.07/3681.20 c #Conflicts: 1349000 | #Constraints: 92104
3600.07/3681.20 c #Conflicts: 1350000 | #Constraints: 93104
3600.07/3681.20 c #Conflicts: 1351000 | #Constraints: 94104
3600.07/3681.20 c #Conflicts: 1352000 | #Constraints: 95104
3600.07/3681.20 c #Conflicts: 1353000 | #Constraints: 96104
3600.07/3681.20 c #Conflicts: 1354000 | #Constraints: 97104
3600.07/3681.20 c #Conflicts: 1355000 | #Constraints: 98104
3600.07/3681.20 c #Conflicts: 1356000 | #Constraints: 99104
3600.07/3681.20 c #Conflicts: 1357000 | #Constraints: 100104
3600.07/3681.20 c #Conflicts: 1358000 | #Constraints: 101104
3600.07/3681.20 c #Conflicts: 1359000 | #Constraints: 102104
3600.07/3681.20 c #Conflicts: 1360000 | #Constraints: 103104
3600.07/3681.20 c #Conflicts: 1361000 | #Constraints: 104104
3600.07/3681.20 c #Conflicts: 1362000 | #Constraints: 105104
3600.07/3681.20 c #Conflicts: 1363000 | #Constraints: 106104
3600.07/3681.20 c #Conflicts: 1364000 | #Constraints: 107104
3600.07/3681.20 c #Conflicts: 1365000 | #Constraints: 108104
3600.07/3681.20 c #Conflicts: 1366000 | #Constraints: 109104
3600.07/3681.20 c #Conflicts: 1367000 | #Constraints: 110104
3600.07/3681.20 c #Conflicts: 1368000 | #Constraints: 111104
3600.07/3681.20 c #Conflicts: 1369000 | #Constraints: 112104
3600.07/3681.20 c #Conflicts: 1370000 | #Constraints: 113104
3600.07/3681.20 c #Conflicts: 1371000 | #Constraints: 114104
3600.07/3681.20 c #Conflicts: 1372000 | #Constraints: 115104
3600.07/3681.20 c #Conflicts: 1373000 | #Constraints: 116104
3600.07/3681.20 c #Conflicts: 1374000 | #Constraints: 117104
3600.07/3681.20 c #Conflicts: 1375000 | #Constraints: 118104
3600.07/3681.20 c #Conflicts: 1376000 | #Constraints: 119104
3600.07/3681.20 c #Conflicts: 1377000 | #Constraints: 120104
3600.07/3681.20 c #Conflicts: 1378000 | #Constraints: 121104
3600.07/3681.20 c #Conflicts: 1379000 | #Constraints: 122104
3600.07/3681.20 c #Conflicts: 1380000 | #Constraints: 123104
3600.07/3681.20 c INPROCESSING
3600.07/3681.20 c GARBAGE COLLECT
3600.07/3681.20 c #Conflicts: 1381000 | #Constraints: 85674
3600.07/3681.20 c #Conflicts: 1382000 | #Constraints: 86674
3600.07/3681.20 c #Conflicts: 1383000 | #Constraints: 87674
3600.07/3681.20 c #Conflicts: 1384000 | #Constraints: 88674
3600.07/3681.20 c #Conflicts: 1385000 | #Constraints: 89674
3600.07/3681.20 c #Conflicts: 1386000 | #Constraints: 90674
3600.07/3681.20 c #Conflicts: 1387000 | #Constraints: 91674
3600.07/3681.20 c #Conflicts: 1388000 | #Constraints: 92674
3600.07/3681.20 c #Conflicts: 1389000 | #Constraints: 93674
3600.07/3681.20 c #Conflicts: 1390000 | #Constraints: 94674
3600.07/3681.20 c #Conflicts: 1391000 | #Constraints: 95674
3600.07/3681.20 c #Conflicts: 1392000 | #Constraints: 96674
3600.07/3681.20 c #Conflicts: 1393000 | #Constraints: 97674
3600.07/3681.20 c #Conflicts: 1394000 | #Constraints: 98674
3600.07/3681.20 c #Conflicts: 1395000 | #Constraints: 99674
3600.07/3681.20 c #Conflicts: 1396000 | #Constraints: 100674
3600.07/3681.20 c #Conflicts: 1397000 | #Constraints: 101674
3600.07/3681.20 c #Conflicts: 1398000 | #Constraints: 102674
3600.07/3681.20 c #Conflicts: 1399000 | #Constraints: 103674
3600.07/3681.20 c #Conflicts: 1400000 | #Constraints: 104674
3600.07/3681.20 c cpu time 3563.67 s
3600.07/3681.20 c deterministic time 238298178057 2.38e+11
3600.07/3681.20 c optimization time 35.8115 s
3600.07/3681.20 c total solve time 3527.72 s
3600.07/3681.20 c core-guided solve time 0 s
3600.07/3681.20 c propagation time 1781.56 s
3600.07/3681.20 c conflict analysis time 1260.61 s
3600.07/3681.20 c propagations 1421515004
3600.07/3681.20 c resolve steps 86731073
3600.07/3681.20 c decisions 33204596
3600.07/3681.20 c conflicts 1400388
3600.07/3681.20 c restarts 2684
3600.07/3681.20 c inprocessing phases 50
3600.07/3681.20 c garbage collections 50 ,( 100.00 )
3600.07/3681.20 c input clauses 21020 ,( 99.18 )
3600.07/3681.20 c input cardinalities 174 ,( 0.82 )
3600.07/3681.20 c input general constraints 0 ,( 0.00 )
3600.07/3681.20 c input average constraint length 6.41
3600.07/3681.20 c input average constraint degree 1.96
3600.07/3681.20 c learned clauses 1032965 ,( 73.76 )
3600.07/3681.20 c learned cardinalities 46518 ,( 3.32 )
3600.07/3681.20 c learned general constraints 320911 ,( 22.92 )
3600.07/3681.20 c learned average constraint length 698.54
3600.07/3681.20 c learned average constraint degree 15829594.18
3600.07/3681.20 c watched CF 32, 64, 128, Arb: 80873 , 0 , 0 , 0
3600.07/3681.20 c counting CF 32, 64, 128, Arb: 240038 , 0 , 0 , 0
3600.07/3681.20 c watched constraints 80873 ,( 25.20 )
3600.07/3681.20 c counting constraints 240038 ,( 74.80 )
3600.07/3681.20 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1340507384 , 747351916 , 1810423301 ,( 80898006 , 1729525295 )
3600.07/3681.20 c gcd simplifications 638
3600.07/3681.20 c detected cardinalities 7032
3600.07/3681.20 c weakened non-implied lits 387191646
3600.07/3681.20 c weakened non-implying lits 205782
3600.07/3681.20 c original variables 20751
3600.07/3681.20 c clausal propagations 655744290
3600.07/3681.20 c cardinality propagations 526706304
3600.07/3681.20 c watched propagations 4376147
3600.07/3681.20 c counting propagations 221671134
3600.07/3681.20 c watch lookups 74750974272
3600.07/3681.20 c watch backjump lookups 0
3600.07/3681.20 c watch checks 32192309824
3600.07/3681.20 c propagation checks 123666639343
3600.07/3681.20 c constraint additions 4777151061
3600.07/3681.20 c trail pops 1456103267
3600.07/3681.20 c formula constraints 21194
3600.07/3681.20 c learned constraints 1400383
3600.07/3681.20 c bound constraints 0
3600.07/3681.20 c core-guided constraints 0
3600.07/3681.20 c encountered formula constraints 54692045
3600.07/3681.20 c encountered learned constraints 33439376
3600.07/3681.20 c encountered bound constraints 0
3600.07/3681.20 c encountered core-guided constraints 0
3600.07/3681.20 c LP total time 483.379 s
3600.07/3681.20 c LP solve time 468.31 s
3600.07/3681.20 c LP constraints added 21643
3600.07/3681.20 c LP constraints removed 134
3600.07/3681.20 c LP pivots internal 141941
3600.07/3681.20 c LP pivots root 138748
3600.07/3681.20 c LP calls 16
3600.07/3681.20 c LP optimalities 6
3600.07/3681.20 c LP no pivot count 0
3600.07/3681.20 c LP infeasibilities 4
3600.07/3681.20 c LP valid Farkas constraints 4
3600.07/3681.20 c LP learned Farkas constraints 4
3600.07/3681.20 c LP basis resets 0
3600.07/3681.20 c LP cycling count 0
3600.07/3681.20 c LP singular count 0
3600.07/3681.20 c LP no primal count 0
3600.07/3681.20 c LP no farkas count 0
3600.07/3681.20 c LP other issue count 0
3600.07/3681.20 c LP Gomory cuts 3
3600.07/3681.20 c LP learned cuts 446
3600.07/3681.20 c LP deleted cuts 134
3600.07/3681.20 c LP encountered Gomory constraints 2
3600.07/3681.20 c LP encountered Farkas constraints 32
3600.07/3681.20 c LP encountered learned Farkas constraints 2
3600.07/3681.20 c CG auxiliary variables introduced 0
3600.07/3681.20 c CG solutions found 0
3600.07/3681.20 c CG cores constructed 0
3600.07/3681.20 c CG core cardinality constraints returned 0
3600.07/3681.20 c CG unit cores 0
3600.07/3681.20 c CG single cores 0
3600.07/3681.20 c CG blocks removed during cardinality reduction 0
3600.07/3681.20 c CG first core best 0
3600.07/3681.20 c CG decision core best 0
3600.07/3681.20 c CG core reduction tie 0
3600.07/3681.20 c CG core degree average 0.00
3600.07/3681.20 c CG core slack average 0.00
3600.07/3681.20 c CG core upper bound improvements 0
3600.07/3681.20 c STR number of successful calls 0
3600.07/3681.20 c STR number of unsuccessful calls 0
3600.07/3681.20 c STR number of inconclusive calls 0
3600.07/3681.20 c STR number of successful attempts 0
3600.07/3681.20 c STR number of unsuccessful attempts 0
3600.07/3681.20 c STR number of inconclusive attempts 0
3600.07/3681.20 c STR average degree increase per successful call inf
3600.07/3681.20 c STR average degree increase per successful attempt inf
3600.07/3681.20 c STR total number of conflicts for successful attempts 0
3600.07/3681.20 c STR total number of conflicts for unsuccessful attempts 0
3600.07/3681.20 c STR total number of conflicts for inconclusive attempts 0
3600.07/3681.20 c STR average number of conflicts per successful attempt inf
3600.07/3681.20 c STR average number of conflicts per unsuccessful attempt inf
3600.07/3681.20 c STR average number of conflicts per inconclusive attempt inf
3600.07/3681.20 c AVG.sumWPerc 66.35
3600.07/3681.20 c bigint constraints 0
3600.07/3681.20 s UNKNOWN
3600.07/3681.20 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (58331 MiB free)
memory of node 1: 64465 MiB (57919 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507017-1751174038/watcher-4507017-1751174038 -o /tmp/evaluation-result-4507017-1751174038/solver-4507017-1751174038 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751170426-20381 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4507017-1751174038.opb PROOFDIR/proof-4507017-1751174038
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=20780, runsolver pid=20776
[startup+0.100058 s]*
/proc/loadavg: 4.11 4.09 4.03 5/273 20787
/proc/meminfo: memFree=118969420/131249996 swapFree=33010684/33010684
[pid=20780] ppid=20776 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/20780/stat : 20780 (run-dec-break-l) S 20776 20780 20370 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33081339 4292608 768 18446744073709551615 94427158364160 94427159258693 140734876904976 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94427159497744 94427159545488 94427171819520 140734876911893 140734876912094 140734876912094 140734876917696 0
/proc/20780/statm: 1048 768 704 219 0 110 0
[pid=20785] ppid=20780 vsize=45436 memory=32944 CPUtime=0.08 cores=4,6
/proc/20785/stat : 20785 (pbsuma) R 20780 20780 20370 0 -1 4194304 13918 0 0 0 6 2 0 0 20 0 1 0 33081340 46526464 8236 18446744073709551615 4210688 4653049 140726404397872 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 22315008 140726404405475 140726404405810 140726404405810 140726404411375 0
/proc/20785/statm: 11359 8236 992 108 0 8767 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 49628 KiB
Current children cumulated memory: 36016 KiB
[startup+0.205845 s]*
/proc/loadavg: 4.11 4.09 4.03 5/273 20789
/proc/meminfo: memFree=118993500/131249996 swapFree=33010684/33010684
[pid=20780] ppid=20776 vsize=4192 memory=3072 CPUtime=0.09 cores=4,6
/proc/20780/stat : 20780 (run-dec-break-l) S 20776 20780 20370 0 -1 4194304 240 14060 0 0 0 0 7 2 20 0 1 0 33081339 4292608 768 18446744073709551615 94427158364160 94427159258693 140734876904976 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94427159497744 94427159545488 94427171819520 140734876911893 140734876912094 140734876912094 140734876917696 0
/proc/20780/statm: 1048 768 704 219 0 110 0
[pid=20789] ppid=20780 vsize=66728 memory=22036 CPUtime=0.07 cores=4,6
/proc/20789/stat : 20789 (roundingsat) R 20780 20780 20370 0 -1 4194304 3212 0 0 0 6 1 0 0 20 0 1 0 33081351 68329472 5509 18446744073709551615 4227072 8923433 140725858207648 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26587136 140725858212084 140725858212392 140725858212392 140725858217962 0
/proc/20789/statm: 16682 5509 2016 1147 0 4109 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 70920 KiB
Current children cumulated memory: 25108 KiB
[startup+0.305805 s]*
/proc/loadavg: 4.11 4.09 4.03 5/273 20789
/proc/meminfo: memFree=118961048/131249996 swapFree=33010684/33010684
[pid=20780] ppid=20776 vsize=4192 memory=3072 CPUtime=0.09 cores=4,6
/proc/20780/stat : 20780 (run-dec-break-l) S 20776 20780 20370 0 -1 4194304 240 14060 0 0 0 0 7 2 20 0 1 0 33081339 4292608 768 18446744073709551615 94427158364160 94427159258693 140734876904976 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94427159497744 94427159545488 94427171819520 140734876911893 140734876912094 140734876912094 140734876917696 0
/proc/20780/statm: 1048 768 704 219 0 110 0
[pid=20789] ppid=20780 vsize=102136 memory=52192 CPUtime=0.17 cores=4,6
/proc/20789/stat : 20789 (roundingsat) R 20780 20780 20370 0 -1 4194304 9576 0 0 0 14 3 0 0 20 0 1 0 33081351 104587264 13048 18446744073709551615 4227072 8923433 140725858207648 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26587136 140725858212084 140725858212392 140725858212392 140725858217962 0
/proc/20789/statm: 25534 13048 2272 1147 0 12961 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 106328 KiB
Current children cumulated memory: 55264 KiB
[startup+0.700217 s]
/proc/loadavg: 4.11 4.09 4.03 5/273 20789
/proc/meminfo: memFree=118937440/131249996 swapFree=33010684/33010684
[pid=20780] ppid=20776 vsize=4192 memory=3072 CPUtime=0.09 cores=4,6
/proc/20780/stat : 20780 (run-dec-break-l) S 20776 20780 20370 0 -1 4194304 240 14060 0 0 0 0 7 2 20 0 1 0 33081339 4292608 768 18446744073709551615 94427158364160 94427159258693 140734876904976 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94427159497744 94427159545488 94427171819520 140734876911893 140734876912094 140734876912094 140734876917696 0
/proc/20780/statm: 1048 768 704 219 0 110 0
[pid=20789] ppid=20780 vsize=117788 memory=65248 CPUtime=0.56 cores=4,6
/proc/20789/stat : 20789 (roundingsat) R 20780 20780 20370 0 -1 4194304 13046 0 0 0 52 4 0 0 20 0 1 0 33081351 120614912 16312 18446744073709551615 4227072 8923433 140725858207648 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26587136 140725858212084 140725858212392 140725858212392 140725858217962 0
/proc/20789/statm: 29447 16312 2304 1147 0 16874 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 121980 KiB
Current children cumulated memory: 68320 KiB
[startup+1.5002 s]
/proc/loadavg: 4.11 4.09 4.03 5/273 20789
/proc/meminfo: memFree=118927360/131249996 swapFree=33010684/33010684
[pid=20780] ppid=20776 vsize=4192 memory=3072 CPUtime=0.09 cores=4,6
/proc/20780/stat : 20780 (run-dec-break-l) S 20776 20780 20370 0 -1 4194304 240 14060 0 0 0 0 7 2 20 0 1 0 33081339 4292608 768 18446744073709551615 94427158364160 94427159258693 140734876904976 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94427159497744 94427159545488 94427171819520 140734876911893 140734876912094 140734876912094 140734876917696 0
/proc/20780/statm: 1048 768 704 219 0 110 0
[pid=20789] ppid=20780 vsize=117788 memory=65248 CPUtime=1.36 cores=4,6
/proc/20789/stat : 20789 (roundingsat) R 20780 20780 20370 0 -1 4194304 13046 0 0 0 132 4 0 0 20 0 1 0 33081351 120614912 16312 18446744073709551615 4227072 8923433 140725858207648 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26587136 140725858212084 140725858212392 140725858212392 140725858217962 0
/proc/20789/statm: 29447 16312 2304 1147 0 16874 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 121980 KiB
Current children cumulated memory: 68320 KiB
[startup+3.10566 s]
/proc/loadavg: 4.10 4.09 4.03 5/273 20789
/proc/meminfo: memFree=118921812/131249996 swapFree=33010684/33010684
[pid=20780] ppid=20776 vsize=4192 memory=3072 CPUtime=0.09 cores=4,6
/proc/20780/stat : 20780 (run-dec-break-l) S 20776 20780 20370 0 -1 4194304 240 14060 0 0 0 0 7 2 20 0 1 0 33081339 4292608 768 18446744073709551615 94427158364160 94427159258693 140734876904976 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94427159497744 94427159545488 94427171819520 140734876911893 140734876912094 140734876912094 140734876917696 0
/proc/20780/statm: 1048 768 704 219 0 110 0
[pid=20789] ppid=20780 vsize=121164 memory=68576 CPUtime=2.95 cores=4,6
/proc/20789/stat : 20789 (roundingsat) R 20780 20780 20370 0 -1 4194304 13874 0 0 0 291 4 0 0 20 0 1 0 33081351 124071936 17144 18446744073709551615 4227072 8923433 140725858207648 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26587136 140725858212084 140725858212392 140725858212392 140725858217962 0
/proc/20789/statm: 30291 17144 2304 1147 0 17718 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 125356 KiB
Current children cumulated memory: 71648 KiB
[startup+6.30019 s]
/proc/loadavg: 4.10 4.09 4.03 5/273 20789
/proc/meminfo: memFree=118880164/131249996 swapFree=33010684/33010684
[pid=20780] ppid=20776 vsize=4192 memory=3072 CPUtime=0.09 cores=4,6
/proc/20780/stat : 20780 (run-dec-break-l) S 20776 20780 20370 0 -1 4194304 240 14060 0 0 0 0 7 2 20 0 1 0 33081339 4292608 768 18446744073709551615 94427158364160 94427159258693 140734876904976 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94427159497744 94427159545488 94427171819520 140734876911893 140734876912094 140734876912094 140734876917696 0
/proc/20780/statm: 1048 768 704 219 0 110 0
[pid=20789] ppid=20780 vsize=125356 memory=76044 CPUtime=6.14 cores=4,6
/proc/20789/stat : 20789 (roundingsat) R 20780 20780 20370 0 -1 4194304 15165 0 0 0 601 13 0 0 20 0 1 0 33081351 128364544 19011 18446744073709551615 4227072 8923433 140725858207648 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26587136 140725858212084 140725858212392 140725858212392 140725858217962 0
/proc/20789/statm: 31339 19011 2368 1147 0 18766 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 129548 KiB
Current children cumulated memory: 79116 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.09 4.03 5/273 20789
/proc/meminfo: memFree=118843944/131249996 swapFree=33010684/33010684
[pid=20780] ppid=20776 vsize=4192 memory=3072 CPUtime=0.09 cores=4,6
/proc/20780/stat : 20780 (run-dec-break-l) S 20776 20780 20370 0 -1 4194304 240 14060 0 0 0 0 7 2 20 0 1 0 33081339 4292608 768 18446744073709551615 94427158364160 94427159258693 140734876904976 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94427159497744 94427159545488 94427171819520 140734876911893 140734876912094 140734876912094 140734876917696 0
/proc/20780/statm: 1048 768 704 219 0 110 0
[pid=20789] ppid=20780 vsize=135052 memory=84748 CPUtime=12.52 cores=4,6
/proc/20789/stat : 20789 (roundingsat) R 20780 20780 20370 0 -1 4194304 17343 0 0 0 1222 30 0 0 20 0 1 0 33081351 138293248 21187 18446744073709551615 4227072 8923433 140725858207648 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26587136 140725858212084 140725858212392 140725858212392 140725858217962 0
/proc/20789/statm: 33763 21187 2368 1147 0 21190 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 139244 KiB
Current children cumulated memory: 87820 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.08 4.02 5/271 20836
/proc/meminfo: memFree=124943996/131249996 swapFree=33010684/33010684
[pid=20780] ppid=20776 vsize=4192 memory=3072 CPUtime=0.09 cores=4,6
/proc/20780/stat : 20780 (run-dec-break-l) S 20776 20780 20370 0 -1 4194304 240 14060 0 0 0 0 7 2 20 0 1 0 33081339 4292608 768 18446744073709551615 94427158364160 94427159258693 140734876904976 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94427159497744 94427159545488 94427171819520 140734876911893 140734876912094 140734876912094 140734876917696 0
/proc/20780/statm: 1048 768 704 219 0 110 0
[pid=20789] ppid=20780 vsize=163936 memory=107332 CPUtime=25.29 cores=4,6
/proc/20789/stat : 20789 (roundingsat) R 20780 20780 20370 0 -1 4194304 22491 0 0 0 2464 65 0 0 20 0 1 0 33081351 167870464 26833 18446744073709551615 4227072 8923433 140725858207648 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26587136 140725858212084 140725858212392 140725858212392 140725858217962 0
/proc/20789/statm: 40984 26833 2368 1147 0 28411 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 168128 KiB
Current children cumulated memory: 110404 KiB
[startup+51.1057 s]
/proc/loadavg: 4.10 4.09 4.03 5/272 20838
/proc/meminfo: memFree=124660960/131249996 swapFree=33010684/33010684
[pid=20780] ppid=20776 vsize=4192 memory=3072 CPUtime=0.09 cores=4,6
/proc/20780/stat : 20780 (run-dec-break-l) S 20776 20780 20370 0 -1 4194304 240 14060 0 0 0 0 7 2 20 0 1 0 33081339 4292608 768 18446744073709551615 94427158364160 94427159258693 140734876904976 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94427159497744 94427159545488 94427171819520 140734876911893 140734876912094 140734876912094 140734876917696 0
/proc/20780/statm: 1048 768 704 219 0 110 0
[pid=20789] ppid=20780 vsize=189704 memory=134968 CPUtime=50.81 cores=4,6
/proc/20789/stat : 20789 (roundingsat) R 20780 20780 20370 0 -1 4194304 26907 0 0 0 4963 118 0 0 20 0 1 0 33081351 194256896 33742 18446744073709551615 4227072 8923433 140725858207648 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26587136 140725858212084 140725858212392 140725858212392 140725858217962 0
/proc/20789/statm: 47426 33742 2368 1147 0 34853 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 193896 KiB
Current children cumulated memory: 138040 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.09 4.03 5/271 20839
/proc/meminfo: memFree=124226008/131249996 swapFree=33010684/33010684
[pid=20780] ppid=20776 vsize=4192 memory=3072 CPUtime=0.09 cores=4,6
/proc/20780/stat : 20780 (run-dec-break-l) S 20776 20780 20370 0 -1 4194304 240 14060 0 0 0 0 7 2 20 0 1 0 33081339 4292608 768 18446744073709551615 94427158364160 94427159258693 140734876904976 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94427159497744 94427159545488 94427171819520 140734876911893 140734876912094 140734876912094 140734876917696 0
/proc/20780/statm: 1048 768 704 219 0 110 0
[pid=20789] ppid=20780 vsize=238528 memory=171948 CPUtime=101.72 cores=4,6
/proc/20789/stat : 20789 (roundingsat) R 20780 20780 20370 0 -1 4194304 34205 0 0 0 9978 194 0 0 20 0 1 0 33081351 244252672 42987 18446744073709551615 4227072 8923433 140725858207648 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26587136 140725858212084 140725858212392 140725858212392 140725858217962 0
/proc/20789/statm: 59632 42987 2368 1147 0 47059 0
Current children cumulated CPU time: 101.81 s
Current children cumulated vsize: 242720 KiB
Current children cumulated memory: 175020 KiB
[startup+162.3 s]
/proc/loadavg: 4.45 4.19 4.07 5/272 20842
/proc/meminfo: memFree=123605956/131249996 swapFree=33010684/33010684
[pid=20780] ppid=20776 vsize=4192 memory=3072 CPUtime=0.09 cores=4,6
/proc/20780/stat : 20780 (run-dec-break-l) S 20776 20780 20370 0 -1 4194304 240 14060 0 0 0 0 7 2 20 0 1 0 33081339 4292608 768 18446744073709551615 94427158364160 94427159258693 140734876904976 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94427159497744 94427159545488 94427171819520 140734876911893 140734876912094 140734876912094 140734876917696 0
/proc/20780/statm: 1048 768 704 219 0 110 0
[pid=20789] ppid=20780 vsize=291896 memory=233784 CPUtime=158.21 cores=4,6
/proc/20789/stat : 20789 (roundingsat) R 20780 20780 20370 0 -1 4194304 40472 0 0 0 15518 303 0 0 20 0 1 0 33081351 298901504 58446 18446744073709551615 4227072 8923433 140725858207648 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26587136 140725858212084 140725858212392 140725858212392 140725858217962 0
/proc/20789/statm: 72974 58446 2368 1147 0 60401 0
Current children cumulated CPU time: 158.3 s
Current children cumulated vsize: 296088 KiB
Current children cumulated memory: 236856 KiB
[startup+222.3 s]
/proc/loadavg: 4.22 4.17 4.07 5/272 20844
/proc/meminfo: memFree=123199648/131249996 swapFree=33010684/33010684
[pid=20780] ppid=20776 vsize=4192 memory=3072 CPUtime=0.09 cores=4,6
/proc/20780/stat : 20780 (run-dec-break-l) S 20776 20780 20370 0 -1 4194304 240 14060 0 0 0 0 7 2 20 0 1 0 33081339 4292608 768 18446744073709551615 94427158364160 94427159258693 140734876904976 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94427159497744 94427159545488 94427171819520 140734876911893 140734876912094 140734876912094 140734876917696 0
/proc/20780/statm: 1048 768 704 219 0 110 0
[pid=20789] ppid=20780 vsize=302672 memory=244536 CPUtime=217.95 cores=4,6
/proc/20789/stat : 20789 (roundingsat) R 20780 20780 20370 0 -1 4194304 43156 0 0 0 21409 386 0 0 20 0 1 0 33081351 309936128 61134 18446744073709551615 4227072 8923433 140725858207648 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26587136 140725858212084 140725858212392 140725858212392 140725858217962 0
/proc/20789/statm: 75668 61134 2368 1147 0 63095 0
################
# More data... #
################
/proc/20789/statm: 285517 229949 2368 1147 0 272944 0
Current children cumulated CPU time: 3027.49 s
Current children cumulated vsize: 1146260 KiB
Current children cumulated memory: 922868 KiB
[startup+3162.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/273 21058
/proc/meminfo: memFree=107442276/131249996 swapFree=33010684/33010684
[pid=20780] ppid=20776 vsize=4192 memory=3072 CPUtime=0.09 cores=4,6
/proc/20780/stat : 20780 (run-dec-break-l) S 20776 20780 20370 0 -1 4194304 240 14060 0 0 0 0 7 2 20 0 1 0 33081339 4292608 768 18446744073709551615 94427158364160 94427159258693 140734876904976 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94427159497744 94427159545488 94427171819520 140734876911893 140734876912094 140734876912094 140734876917696 0
/proc/20780/statm: 1048 768 704 219 0 110 0
[pid=20789] ppid=20780 vsize=1143956 memory=921588 CPUtime=3086.97 cores=4,6
/proc/20789/stat : 20789 (roundingsat) R 20780 20780 20370 0 -1 4194304 126981 0 0 0 305574 3123 0 0 20 0 1 0 33081351 1171410944 230397 18446744073709551615 4227072 8923433 140725858207648 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26587136 140725858212084 140725858212392 140725858212392 140725858217962 0
/proc/20789/statm: 285989 230397 2368 1147 0 273416 0
Current children cumulated CPU time: 3087.06 s
Current children cumulated vsize: 1148148 KiB
Current children cumulated memory: 924660 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/271 21060
/proc/meminfo: memFree=107173844/131249996 swapFree=33010684/33010684
[pid=20780] ppid=20776 vsize=4192 memory=3072 CPUtime=0.09 cores=4,6
/proc/20780/stat : 20780 (run-dec-break-l) S 20776 20780 20370 0 -1 4194304 240 14060 0 0 0 0 7 2 20 0 1 0 33081339 4292608 768 18446744073709551615 94427158364160 94427159258693 140734876904976 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94427159497744 94427159545488 94427171819520 140734876911893 140734876912094 140734876912094 140734876917696 0
/proc/20780/statm: 1048 768 704 219 0 110 0
[pid=20789] ppid=20780 vsize=1147720 memory=925044 CPUtime=3146.66 cores=4,6
/proc/20789/stat : 20789 (roundingsat) R 20780 20780 20370 0 -1 4194304 127851 0 0 0 311501 3165 0 0 20 0 1 0 33081351 1175265280 231261 18446744073709551615 4227072 8923433 140725858207648 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26587136 140725858212084 140725858212392 140725858212392 140725858217962 0
/proc/20789/statm: 286930 231261 2368 1147 0 274357 0
Current children cumulated CPU time: 3146.75 s
Current children cumulated vsize: 1151912 KiB
Current children cumulated memory: 928116 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/271 21062
/proc/meminfo: memFree=106917748/131249996 swapFree=33010684/33010684
[pid=20780] ppid=20776 vsize=4192 memory=3072 CPUtime=0.09 cores=4,6
/proc/20780/stat : 20780 (run-dec-break-l) S 20776 20780 20370 0 -1 4194304 240 14060 0 0 0 0 7 2 20 0 1 0 33081339 4292608 768 18446744073709551615 94427158364160 94427159258693 140734876904976 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94427159497744 94427159545488 94427171819520 140734876911893 140734876912094 140734876912094 140734876917696 0
/proc/20780/statm: 1048 768 704 219 0 110 0
[pid=20789] ppid=20780 vsize=1160476 memory=935284 CPUtime=3206.41 cores=4,6
/proc/20789/stat : 20789 (roundingsat) R 20780 20780 20370 0 -1 4194304 130383 0 0 0 317431 3210 0 0 20 0 1 0 33081351 1188327424 233821 18446744073709551615 4227072 8923433 140725858207648 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26587136 140725858212084 140725858212392 140725858212392 140725858217962 0
/proc/20789/statm: 290119 233821 2368 1147 0 277546 0
Current children cumulated CPU time: 3206.5 s
Current children cumulated vsize: 1164668 KiB
Current children cumulated memory: 938356 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/271 21067
/proc/meminfo: memFree=106666720/131249996 swapFree=33010684/33010684
[pid=20780] ppid=20776 vsize=4192 memory=3072 CPUtime=0.09 cores=4,6
/proc/20780/stat : 20780 (run-dec-break-l) S 20776 20780 20370 0 -1 4194304 240 14060 0 0 0 0 7 2 20 0 1 0 33081339 4292608 768 18446744073709551615 94427158364160 94427159258693 140734876904976 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94427159497744 94427159545488 94427171819520 140734876911893 140734876912094 140734876912094 140734876917696 0
/proc/20780/statm: 1048 768 704 219 0 110 0
[pid=20789] ppid=20780 vsize=1160476 memory=935284 CPUtime=3263.87 cores=4,6
/proc/20789/stat : 20789 (roundingsat) R 20780 20780 20370 0 -1 4194304 130391 0 0 0 323101 3286 0 0 20 0 1 0 33081351 1188327424 233821 18446744073709551615 4227072 8923433 140725858207648 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26587136 140725858212084 140725858212392 140725858212392 140725858217962 0
/proc/20789/statm: 290119 233821 2368 1147 0 277546 0
Current children cumulated CPU time: 3263.96 s
Current children cumulated vsize: 1164668 KiB
Current children cumulated memory: 938356 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/270 21072
/proc/meminfo: memFree=106228180/131249996 swapFree=33010684/33010684
[pid=20780] ppid=20776 vsize=4192 memory=3072 CPUtime=0.09 cores=4,6
/proc/20780/stat : 20780 (run-dec-break-l) S 20776 20780 20370 0 -1 4194304 240 14060 0 0 0 0 7 2 20 0 1 0 33081339 4292608 768 18446744073709551615 94427158364160 94427159258693 140734876904976 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94427159497744 94427159545488 94427171819520 140734876911893 140734876912094 140734876912094 140734876917696 0
/proc/20780/statm: 1048 768 704 219 0 110 0
[pid=20789] ppid=20780 vsize=1160476 memory=935284 CPUtime=3322.78 cores=4,6
/proc/20789/stat : 20789 (roundingsat) R 20780 20780 20370 0 -1 4194304 130391 0 0 0 328911 3367 0 0 20 0 1 0 33081351 1188327424 233821 18446744073709551615 4227072 8923433 140725858207648 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26587136 140725858212084 140725858212392 140725858212392 140725858217962 0
/proc/20789/statm: 290119 233821 2368 1147 0 277546 0
Current children cumulated CPU time: 3322.87 s
Current children cumulated vsize: 1164668 KiB
Current children cumulated memory: 938356 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/272 21079
/proc/meminfo: memFree=105887276/131249996 swapFree=33010684/33010684
[pid=20780] ppid=20776 vsize=4192 memory=3072 CPUtime=0.09 cores=4,6
/proc/20780/stat : 20780 (run-dec-break-l) S 20776 20780 20370 0 -1 4194304 240 14060 0 0 0 0 7 2 20 0 1 0 33081339 4292608 768 18446744073709551615 94427158364160 94427159258693 140734876904976 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94427159497744 94427159545488 94427171819520 140734876911893 140734876912094 140734876912094 140734876917696 0
/proc/20780/statm: 1048 768 704 219 0 110 0
[pid=20789] ppid=20780 vsize=1161032 memory=935924 CPUtime=3382.26 cores=4,6
/proc/20789/stat : 20789 (roundingsat) R 20780 20780 20370 0 -1 4194304 130545 0 0 0 334799 3427 0 0 20 0 1 0 33081351 1188896768 233981 18446744073709551615 4227072 8923433 140725858207648 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26587136 140725858212084 140725858212392 140725858212392 140725858217962 0
/proc/20789/statm: 290258 233981 2368 1147 0 277685 0
Current children cumulated CPU time: 3382.35 s
Current children cumulated vsize: 1165224 KiB
Current children cumulated memory: 938996 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/271 21081
/proc/meminfo: memFree=105614588/131249996 swapFree=33010684/33010684
[pid=20780] ppid=20776 vsize=4192 memory=3072 CPUtime=0.09 cores=4,6
/proc/20780/stat : 20780 (run-dec-break-l) S 20776 20780 20370 0 -1 4194304 240 14060 0 0 0 0 7 2 20 0 1 0 33081339 4292608 768 18446744073709551615 94427158364160 94427159258693 140734876904976 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94427159497744 94427159545488 94427171819520 140734876911893 140734876912094 140734876912094 140734876917696 0
/proc/20780/statm: 1048 768 704 219 0 110 0
[pid=20789] ppid=20780 vsize=1165352 memory=939252 CPUtime=3441.93 cores=4,6
/proc/20789/stat : 20789 (roundingsat) R 20780 20780 20370 0 -1 4194304 131378 0 0 0 340726 3467 0 0 20 0 1 0 33081351 1193320448 234813 18446744073709551615 4227072 8923433 140725858207648 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26587136 140725858212084 140725858212392 140725858212392 140725858217962 0
/proc/20789/statm: 291338 234813 2368 1147 0 278765 0
Current children cumulated CPU time: 3442.02 s
Current children cumulated vsize: 1169544 KiB
Current children cumulated memory: 942324 KiB
[startup+3582.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/271 21083
/proc/meminfo: memFree=105238696/131249996 swapFree=33010684/33010684
[pid=20780] ppid=20776 vsize=4192 memory=3072 CPUtime=0.09 cores=4,6
/proc/20780/stat : 20780 (run-dec-break-l) S 20776 20780 20370 0 -1 4194304 240 14060 0 0 0 0 7 2 20 0 1 0 33081339 4292608 768 18446744073709551615 94427158364160 94427159258693 140734876904976 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94427159497744 94427159545488 94427171819520 140734876911893 140734876912094 140734876912094 140734876917696 0
/proc/20780/statm: 1048 768 704 219 0 110 0
[pid=20789] ppid=20780 vsize=1173596 memory=947060 CPUtime=3501.62 cores=4,6
/proc/20789/stat : 20789 (roundingsat) R 20780 20780 20370 0 -1 4194304 133328 0 0 0 346656 3506 0 0 20 0 1 0 33081351 1201762304 236765 18446744073709551615 4227072 8923433 140725858207648 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26587136 140725858212084 140725858212392 140725858212392 140725858217962 0
/proc/20789/statm: 293399 236765 2368 1147 0 280826 0
Current children cumulated CPU time: 3501.71 s
Current children cumulated vsize: 1177788 KiB
Current children cumulated memory: 950132 KiB
[startup+3642.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/270 21085
/proc/meminfo: memFree=104830344/131249996 swapFree=33010684/33010684
[pid=20780] ppid=20776 vsize=4192 memory=3072 CPUtime=0.09 cores=4,6
/proc/20780/stat : 20780 (run-dec-break-l) S 20776 20780 20370 0 -1 4194304 240 14060 0 0 0 0 7 2 20 0 1 0 33081339 4292608 768 18446744073709551615 94427158364160 94427159258693 140734876904976 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94427159497744 94427159545488 94427171819520 140734876911893 140734876912094 140734876912094 140734876917696 0
/proc/20780/statm: 1048 768 704 219 0 110 0
[pid=20789] ppid=20780 vsize=1173596 memory=947060 CPUtime=3561.27 cores=4,6
/proc/20789/stat : 20789 (roundingsat) R 20780 20780 20370 0 -1 4194304 133328 0 0 0 352547 3580 0 0 20 0 1 0 33081351 1201762304 236765 18446744073709551615 4227072 8923433 140725858207648 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26587136 140725858212084 140725858212392 140725858212392 140725858217962 0
/proc/20789/statm: 293399 236765 2368 1147 0 280826 0
Current children cumulated CPU time: 3561.36 s
Current children cumulated vsize: 1177788 KiB
Current children cumulated memory: 950132 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3681.2 s]
/proc/loadavg: 4.07 4.08 4.09 5/270 21133
/proc/meminfo: memFree=111515272/131249996 swapFree=33010684/33010684
[pid=20780] ppid=20776 vsize=4192 memory=3072 CPUtime=0.09 cores=4,6
/proc/20780/stat : 20780 (run-dec-break-l) S 20776 20780 20370 0 -1 4194304 240 14060 0 0 0 0 7 2 20 0 1 0 33081339 4292608 768 18446744073709551615 94427158364160 94427159258693 140734876904976 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94427159497744 94427159545488 94427171819520 140734876911893 140734876912094 140734876912094 140734876917696 0
/proc/20780/statm: 1048 768 704 219 0 110 0
[pid=20789] ppid=20780 vsize=1173596 memory=947060 CPUtime=3599.98 cores=4,6
/proc/20789/stat : 20789 (roundingsat) R 20780 20780 20370 0 -1 4194304 133328 0 0 0 356367 3631 0 0 20 0 1 0 33081351 1201762304 236765 18446744073709551615 4227072 8923433 140725858207648 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26587136 140725858212084 140725858212392 140725858212392 140725858217962 0
/proc/20789/statm: 293399 236765 2368 1147 0 280826 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1177788 KiB
Current children cumulated memory: 950132 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3681.2 s]
# the end of solver process 20780 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.072705 s, system=0.031356 s
Sleeping 2 seconds
[startup+3681.3 s]
# the end of solver process 20789 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3563.76 s, system=36.3698 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3681.3
CPU time (s): 3600.13
CPU user time (s): 3563.76
CPU system time (s): 36.3698
CPU usage (%): 97.7952
Max. virtual memory (cumulated for all children) (KiB): 1177788
Max. memory (cumulated for all children) (KiB): 950132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3563.76
system time used= 36.3698
maximum resident set size= 947444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 147649
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11901088
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2917
involuntary context switches= 6489
# summary of solver processes directly reported to runsolver:
# pid: 20780,20789
# total CPU time (s): 3600.13
# total CPU user time (s): 3563.76
# total CPU system time (s): 36.3698
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.3085 second user time and 15.6439 second system time
The end
Begin job on nodeC015 at 2025-06-29 07:13:59
IDJOB=4507017
IDBENCH=158316
IDSOLVER=3358
FILE ID=nodeC015/4507017-1751174038
RUNJOBID= nodeC015-1751170426-20381
SLURM_JOB_ID= 9587528
Free space on /tmp= 432996 MiB
SOLVER NAME= roundingsat+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K174.opb
COMMAND LINE= run-dec-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507017-1751174038/watcher-4507017-1751174038 -o /tmp/evaluation-result-4507017-1751174038/solver-4507017-1751174038 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751170426-20381 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4507017-1751174038.opb PROOFDIR/proof-4507017-1751174038
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c4faa5671d3144bef53831284f041277
RANDOM SEED=2091039403
nodeC015 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.081
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 : 7000.14
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 : 3600.095
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 : 7000.14
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 : 3627.139
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 : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.335
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 : 7000.14
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 : 3778.281
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 : 7000.14
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 : 3600.094
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 : 7000.14
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 : 3600.073
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 : 7000.14
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 : 3590.289
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 : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 119041060 kB
MemAvailable: 128130840 kB
Buffers: 3280 kB
Cached: 9889696 kB
SwapCached: 0 kB
Active: 1901244 kB
Inactive: 9670952 kB
Active(anon): 1697060 kB
Inactive(anon): 0 kB
Active(file): 204184 kB
Inactive(file): 9670952 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 68668 kB
Writeback: 8 kB
AnonPages: 1679192 kB
Mapped: 112504 kB
Shmem: 18076 kB
KReclaimable: 107764 kB
Slab: 194556 kB
SReclaimable: 107764 kB
SUnreclaim: 86792 kB
KernelStack: 4320 kB
PageTables: 6344 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 2243312 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150584 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1517568 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: 11100160 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432980 MiB
End job on nodeC015 at 2025-06-29 08:15:20