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-4506836-1751167220.opb'
0.00/0.07 c read 1.55MB (59.70ms)
0.00/0.07 c [cnf: #variables 22372 #clauses 22750 #duplicates 0 #arr 146406]
0.00/0.07 c
0.00/0.07 c make graph and approximate orbits
0.09/0.15 c [group: #orbits ~= 3384] (71.21ms)
0.09/0.15 c
0.09/0.15 c detect special group actions
0.09/0.15 c probe for Johnson action (limit=64)
0.09/0.15 c probe for row-column symmetry (limit=64, splits=16.78M)
0.09/0.15 c probe for row symmetry (limit=64, splits=16.78M)
0.09/0.16 c (10.90ms)
0.09/0.16 c
0.09/0.16 c detect symmetries on remainder
0.09/0.16 c [graph: #vertices 112238 #edges 427044]
0.09/0.16 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.09/0.22 c [group: #symmetries 4.80*10^1 #generators 5] (62.30ms)
0.09/0.22 c
0.09/0.22 c optimize generators (opt_passes=64, conjugate_limit=256)
0.09/0.22 c (0.20ms)
0.09/0.22 c
0.09/0.22 c finalize break order and special generators
0.09/0.22 c
0.09/0.22 c add generic predicates (break_depth=10)
0.09/0.22 c added predicates for 5 generators (0.65ms)
0.21/0.22 c
0.21/0.22 c generation finished
0.21/0.22 c [sbp: #constraints 140 #add_vars 45]
0.21/0.23 c
0.21/0.23 c write result to 'HOME/instance-4506836-1751167220.opb.pre'
0.21/0.24 c wrote 1.58MB (10.22ms)
0.21/0.24 c ------------------------------------------------------------------
0.21/0.24 c 71.21ms 32.11% approx_orbits
0.21/0.24 c 62.30ms 28.09% detect_generic
0.21/0.24 c 59.70ms 26.92% parse
0.21/0.24 c 10.90ms 4.92% detect_special
0.21/0.24 c 10.22ms 4.61% output
0.21/0.24 c 4.09ms 1.84% other
0.21/0.24 c 2.51ms 1.13% finalize_order
0.21/0.24 c 0.65ms 0.29% break_generic
0.21/0.24 c 0.20ms 0.09% optimize_gens
0.21/0.24 c ───────────────────────────────────────────────
0.21/0.24 c 221.78ms 100% total
0.21/0.24 c ------------------------------------------------------------------
0.21/0.26 c RoundingSat 2
0.21/0.26 c branch pb25
0.21/0.26 c commit 63f22ad
0.48/0.56 c #variables 22417 #constraints 22889
124.09/124.55 c #Conflicts: 1000 | #Constraints: 23888
124.09/124.55 c #Conflicts: 2000 | #Constraints: 24888
124.09/124.55 c INPROCESSING
124.09/124.55 c GARBAGE COLLECT
124.09/124.55 c #Conflicts: 3000 | #Constraints: 24128
124.09/124.55 c #Conflicts: 4000 | #Constraints: 25128
124.09/124.55 c INPROCESSING
124.09/124.55 c GARBAGE COLLECT
124.09/124.55 c #Conflicts: 5000 | #Constraints: 24650
124.09/124.55 c #Conflicts: 6000 | #Constraints: 25650
124.09/124.55 c INPROCESSING
124.09/124.55 c GARBAGE COLLECT
124.09/124.55 c #Conflicts: 7000 | #Constraints: 24865
124.09/124.55 c #Conflicts: 8000 | #Constraints: 25865
124.09/124.55 c #Conflicts: 9000 | #Constraints: 26865
124.09/124.55 c #Conflicts: 10000 | #Constraints: 27865
124.09/124.55 c #Conflicts: 11000 | #Constraints: 28865
124.09/124.55 c #Conflicts: 12000 | #Constraints: 29865
124.09/124.55 c INPROCESSING
124.09/124.55 c GARBAGE COLLECT
124.09/124.55 c #Conflicts: 13000 | #Constraints: 26861
124.09/124.55 c #Conflicts: 14000 | #Constraints: 27861
124.09/124.55 c #Conflicts: 15000 | #Constraints: 28861
124.09/124.55 c #Conflicts: 16000 | #Constraints: 29861
124.09/124.55 c INPROCESSING
124.09/124.55 c GARBAGE COLLECT
124.09/124.55 c #Conflicts: 17000 | #Constraints: 27644
124.09/124.55 c #Conflicts: 18000 | #Constraints: 28644
124.09/124.55 c #Conflicts: 19000 | #Constraints: 29644
124.09/124.55 c #Conflicts: 20000 | #Constraints: 30644
124.09/124.55 c #Conflicts: 21000 | #Constraints: 31644
124.09/124.55 c #Conflicts: 22000 | #Constraints: 32644
124.09/124.55 c #Conflicts: 23000 | #Constraints: 33644
124.09/124.55 c #Conflicts: 24000 | #Constraints: 34644
124.09/124.55 c #Conflicts: 25000 | #Constraints: 35644
124.09/124.55 c INPROCESSING
124.09/124.55 c GARBAGE COLLECT
124.09/124.55 c #Conflicts: 26000 | #Constraints: 29897
124.09/124.55 c #Conflicts: 27000 | #Constraints: 30897
124.09/124.55 c #Conflicts: 28000 | #Constraints: 31897
124.09/124.55 c #Conflicts: 29000 | #Constraints: 32897
124.09/124.55 c #Conflicts: 30000 | #Constraints: 33897
124.09/124.55 c INPROCESSING
124.09/124.55 c GARBAGE COLLECT
124.09/124.55 c #Conflicts: 31000 | #Constraints: 30368
124.09/124.55 c #Conflicts: 32000 | #Constraints: 31368
124.09/124.55 c #Conflicts: 33000 | #Constraints: 32368
124.09/124.55 c #Conflicts: 34000 | #Constraints: 33368
124.09/124.55 c #Conflicts: 35000 | #Constraints: 34368
124.09/124.55 c #Conflicts: 36000 | #Constraints: 35368
124.09/124.55 c #Conflicts: 37000 | #Constraints: 36368
124.09/124.55 c #Conflicts: 38000 | #Constraints: 37368
124.09/124.55 c #Conflicts: 39000 | #Constraints: 38368
124.09/124.55 c #Conflicts: 40000 | #Constraints: 39368
124.09/124.55 c #Conflicts: 41000 | #Constraints: 40368
124.09/124.55 c #Conflicts: 42000 | #Constraints: 41368
124.09/124.55 c #Conflicts: 43000 | #Constraints: 42368
124.09/124.55 c INPROCESSING
124.09/124.55 c GARBAGE COLLECT
124.09/124.55 c #Conflicts: 44000 | #Constraints: 33754
124.09/124.55 c #Conflicts: 45000 | #Constraints: 34754
124.09/124.55 c #Conflicts: 46000 | #Constraints: 35754
124.09/124.55 c #Conflicts: 47000 | #Constraints: 36754
124.09/124.55 c #Conflicts: 48000 | #Constraints: 37754
124.09/124.55 c #Conflicts: 49000 | #Constraints: 38754
124.09/124.55 c INPROCESSING
124.09/124.55 c GARBAGE COLLECT
124.09/124.55 c #Conflicts: 50000 | #Constraints: 33683
124.09/124.55 c #Conflicts: 51000 | #Constraints: 34683
124.09/124.55 c #Conflicts: 52000 | #Constraints: 35683
124.09/124.55 c #Conflicts: 53000 | #Constraints: 36683
124.09/124.55 c #Conflicts: 54000 | #Constraints: 37683
124.09/124.55 c #Conflicts: 55000 | #Constraints: 38683
124.09/124.55 c #Conflicts: 56000 | #Constraints: 39683
124.09/124.55 c #Conflicts: 57000 | #Constraints: 40683
124.09/124.55 c #Conflicts: 58000 | #Constraints: 41683
124.09/124.55 c #Conflicts: 59000 | #Constraints: 42683
124.09/124.55 c #Conflicts: 60000 | #Constraints: 43683
124.09/124.55 c #Conflicts: 61000 | #Constraints: 44683
124.09/124.55 c #Conflicts: 62000 | #Constraints: 45683
124.09/124.55 c #Conflicts: 63000 | #Constraints: 46683
124.09/124.55 c #Conflicts: 64000 | #Constraints: 47683
124.09/124.55 c #Conflicts: 65000 | #Constraints: 48683
124.09/124.55 c INPROCESSING
124.09/124.55 c GARBAGE COLLECT
124.09/124.55 c #Conflicts: 66000 | #Constraints: 37122
124.09/124.55 c #Conflicts: 67000 | #Constraints: 38122
124.09/124.55 c #Conflicts: 68000 | #Constraints: 39122
124.09/124.55 c #Conflicts: 69000 | #Constraints: 40122
124.09/124.55 c #Conflicts: 70000 | #Constraints: 41122
124.09/124.55 c #Conflicts: 71000 | #Constraints: 42122
124.09/124.55 c #Conflicts: 72000 | #Constraints: 43122
124.09/124.55 c INPROCESSING
124.09/124.55 c GARBAGE COLLECT
275.15/276.01 c #Conflicts: 73000 | #Constraints: 36954
275.15/276.01 c #Conflicts: 74000 | #Constraints: 37954
275.15/276.01 c #Conflicts: 75000 | #Constraints: 38954
275.15/276.01 c #Conflicts: 76000 | #Constraints: 39954
275.15/276.01 c #Conflicts: 77000 | #Constraints: 40954
275.15/276.01 c #Conflicts: 78000 | #Constraints: 41954
275.15/276.01 c #Conflicts: 79000 | #Constraints: 42954
275.15/276.01 c #Conflicts: 80000 | #Constraints: 43954
275.15/276.01 c #Conflicts: 81000 | #Constraints: 44954
275.15/276.01 c #Conflicts: 82000 | #Constraints: 45954
275.15/276.01 c #Conflicts: 83000 | #Constraints: 46954
275.15/276.01 c #Conflicts: 84000 | #Constraints: 47954
275.15/276.01 c #Conflicts: 85000 | #Constraints: 48954
275.15/276.01 c #Conflicts: 86000 | #Constraints: 49954
275.15/276.01 c #Conflicts: 87000 | #Constraints: 50954
275.15/276.01 c #Conflicts: 88000 | #Constraints: 51954
275.15/276.01 c #Conflicts: 89000 | #Constraints: 52954
275.15/276.01 c #Conflicts: 90000 | #Constraints: 53954
275.15/276.01 c #Conflicts: 91000 | #Constraints: 54954
275.15/276.01 c INPROCESSING
275.15/276.01 c GARBAGE COLLECT
275.15/276.01 c #Conflicts: 92000 | #Constraints: 40218
275.15/276.01 c #Conflicts: 93000 | #Constraints: 41218
275.15/276.01 c #Conflicts: 94000 | #Constraints: 42218
275.15/276.01 c #Conflicts: 95000 | #Constraints: 43218
275.15/276.01 c #Conflicts: 96000 | #Constraints: 44218
275.15/276.01 c #Conflicts: 97000 | #Constraints: 45218
275.15/276.01 c #Conflicts: 98000 | #Constraints: 46218
275.15/276.01 c #Conflicts: 99000 | #Constraints: 47218
275.15/276.01 c #Conflicts: 100000 | #Constraints: 48218
275.15/276.01 c #Conflicts: 101000 | #Constraints: 49218
275.15/276.01 c #Conflicts: 102000 | #Constraints: 50218
275.15/276.01 c #Conflicts: 103000 | #Constraints: 51218
275.15/276.01 c #Conflicts: 104000 | #Constraints: 52218
275.15/276.01 c #Conflicts: 105000 | #Constraints: 53218
275.15/276.01 c #Conflicts: 106000 | #Constraints: 54218
275.15/276.01 c #Conflicts: 107000 | #Constraints: 55218
275.15/276.01 c #Conflicts: 108000 | #Constraints: 56218
275.15/276.01 c #Conflicts: 109000 | #Constraints: 57218
275.15/276.01 c #Conflicts: 110000 | #Constraints: 58218
275.15/276.01 c #Conflicts: 111000 | #Constraints: 59218
275.15/276.01 c INPROCESSING
275.15/276.01 c GARBAGE COLLECT
275.15/276.01 c #Conflicts: 112000 | #Constraints: 42331
275.15/276.01 c #Conflicts: 113000 | #Constraints: 43331
275.15/276.01 c #Conflicts: 114000 | #Constraints: 44331
275.15/276.01 c #Conflicts: 115000 | #Constraints: 45331
275.15/276.01 c #Conflicts: 116000 | #Constraints: 46331
275.15/276.01 c #Conflicts: 117000 | #Constraints: 47331
275.15/276.01 c #Conflicts: 118000 | #Constraints: 48331
275.15/276.01 c #Conflicts: 119000 | #Constraints: 49331
275.15/276.01 c #Conflicts: 120000 | #Constraints: 50331
275.15/276.01 c #Conflicts: 121000 | #Constraints: 51331
275.15/276.01 c INPROCESSING
275.15/276.01 c GARBAGE COLLECT
275.15/276.01 c #Conflicts: 122000 | #Constraints: 41911
275.15/276.01 c #Conflicts: 123000 | #Constraints: 42911
275.15/276.01 c #Conflicts: 124000 | #Constraints: 43911
275.15/276.01 c #Conflicts: 125000 | #Constraints: 44911
275.15/276.01 c #Conflicts: 126000 | #Constraints: 45911
275.15/276.01 c #Conflicts: 127000 | #Constraints: 46911
275.15/276.01 c #Conflicts: 128000 | #Constraints: 47911
275.15/276.01 c #Conflicts: 129000 | #Constraints: 48911
275.15/276.01 c #Conflicts: 130000 | #Constraints: 49911
275.15/276.01 c #Conflicts: 131000 | #Constraints: 50911
275.15/276.01 c #Conflicts: 132000 | #Constraints: 51911
275.15/276.01 c #Conflicts: 133000 | #Constraints: 52911
275.15/276.01 c #Conflicts: 134000 | #Constraints: 53911
275.15/276.01 c #Conflicts: 135000 | #Constraints: 54911
275.15/276.01 c #Conflicts: 136000 | #Constraints: 55911
275.15/276.01 c #Conflicts: 137000 | #Constraints: 56911
275.15/276.01 c #Conflicts: 138000 | #Constraints: 57911
275.15/276.01 c #Conflicts: 139000 | #Constraints: 58911
275.15/276.01 c #Conflicts: 140000 | #Constraints: 59911
275.15/276.01 c #Conflicts: 141000 | #Constraints: 60911
275.15/276.01 c #Conflicts: 142000 | #Constraints: 61911
275.15/276.01 c #Conflicts: 143000 | #Constraints: 62911
275.15/276.01 c #Conflicts: 144000 | #Constraints: 63911
275.15/276.01 c #Conflicts: 145000 | #Constraints: 64911
275.15/276.01 c INPROCESSING
275.15/276.01 c GARBAGE COLLECT
275.15/276.01 c #Conflicts: 146000 | #Constraints: 45330
275.15/276.01 c #Conflicts: 147000 | #Constraints: 46330
275.15/276.01 c #Conflicts: 148000 | #Constraints: 47330
275.15/276.01 c #Conflicts: 149000 | #Constraints: 48330
456.00/457.42 c #Conflicts: 150000 | #Constraints: 49330
456.00/457.42 c #Conflicts: 151000 | #Constraints: 50330
456.00/457.42 c #Conflicts: 152000 | #Constraints: 51330
456.00/457.42 c #Conflicts: 153000 | #Constraints: 52330
456.00/457.42 c #Conflicts: 154000 | #Constraints: 53330
456.00/457.42 c #Conflicts: 155000 | #Constraints: 54330
456.00/457.42 c #Conflicts: 156000 | #Constraints: 55330
456.00/457.42 c #Conflicts: 157000 | #Constraints: 56330
456.00/457.42 c #Conflicts: 158000 | #Constraints: 57330
456.00/457.42 c #Conflicts: 159000 | #Constraints: 58330
456.00/457.42 c #Conflicts: 160000 | #Constraints: 59330
456.00/457.42 c #Conflicts: 161000 | #Constraints: 60330
456.00/457.42 c #Conflicts: 162000 | #Constraints: 61330
456.00/457.42 c #Conflicts: 163000 | #Constraints: 62330
456.00/457.42 c #Conflicts: 164000 | #Constraints: 63330
456.00/457.42 c #Conflicts: 165000 | #Constraints: 64330
456.00/457.42 c #Conflicts: 166000 | #Constraints: 65330
456.00/457.42 c #Conflicts: 167000 | #Constraints: 66330
456.00/457.42 c #Conflicts: 168000 | #Constraints: 67330
456.00/457.42 c #Conflicts: 169000 | #Constraints: 68330
456.00/457.42 c #Conflicts: 170000 | #Constraints: 69330
456.00/457.42 c #Conflicts: 171000 | #Constraints: 70330
456.00/457.42 c INPROCESSING
456.00/457.42 c GARBAGE COLLECT
456.00/457.42 c #Conflicts: 172000 | #Constraints: 48411
456.00/457.42 c #Conflicts: 173000 | #Constraints: 49411
456.00/457.42 c #Conflicts: 174000 | #Constraints: 50411
456.00/457.42 c #Conflicts: 175000 | #Constraints: 51411
456.00/457.42 c #Conflicts: 176000 | #Constraints: 52411
456.00/457.42 c #Conflicts: 177000 | #Constraints: 53411
456.00/457.42 c #Conflicts: 178000 | #Constraints: 54411
456.00/457.42 c #Conflicts: 179000 | #Constraints: 55411
456.00/457.42 c #Conflicts: 180000 | #Constraints: 56411
456.00/457.42 c #Conflicts: 181000 | #Constraints: 57411
456.00/457.42 c #Conflicts: 182000 | #Constraints: 58411
456.00/457.42 c #Conflicts: 183000 | #Constraints: 59411
456.00/457.42 c #Conflicts: 184000 | #Constraints: 60411
456.00/457.42 c #Conflicts: 185000 | #Constraints: 61411
456.00/457.42 c #Conflicts: 186000 | #Constraints: 62411
456.00/457.42 c #Conflicts: 187000 | #Constraints: 63411
456.00/457.42 c #Conflicts: 188000 | #Constraints: 64411
456.00/457.42 c #Conflicts: 189000 | #Constraints: 65411
456.00/457.42 c #Conflicts: 190000 | #Constraints: 66411
456.00/457.42 c #Conflicts: 191000 | #Constraints: 67411
456.00/457.42 c #Conflicts: 192000 | #Constraints: 68411
456.00/457.42 c #Conflicts: 193000 | #Constraints: 69411
456.00/457.42 c #Conflicts: 194000 | #Constraints: 70411
456.00/457.42 c #Conflicts: 195000 | #Constraints: 71411
456.00/457.42 c #Conflicts: 196000 | #Constraints: 72411
456.00/457.42 c #Conflicts: 197000 | #Constraints: 73411
456.00/457.42 c #Conflicts: 198000 | #Constraints: 74411
456.00/457.42 c INPROCESSING
456.00/457.42 c GARBAGE COLLECT
456.00/457.42 c #Conflicts: 199000 | #Constraints: 49972
456.00/457.42 c #Conflicts: 200000 | #Constraints: 50972
456.00/457.42 c #Conflicts: 201000 | #Constraints: 51972
456.00/457.42 c #Conflicts: 202000 | #Constraints: 52972
456.00/457.42 c #Conflicts: 203000 | #Constraints: 53972
456.00/457.42 c #Conflicts: 204000 | #Constraints: 54972
456.00/457.42 c #Conflicts: 205000 | #Constraints: 55972
456.00/457.42 c #Conflicts: 206000 | #Constraints: 56972
456.00/457.42 c #Conflicts: 207000 | #Constraints: 57972
456.00/457.42 c #Conflicts: 208000 | #Constraints: 58972
456.00/457.42 c #Conflicts: 209000 | #Constraints: 59972
456.00/457.42 c #Conflicts: 210000 | #Constraints: 60972
456.00/457.42 c #Conflicts: 211000 | #Constraints: 61972
456.00/457.42 c #Conflicts: 212000 | #Constraints: 62972
456.00/457.42 c INPROCESSING
456.00/457.42 c GARBAGE COLLECT
456.00/457.42 c rational objective 188.031
600.67/602.55 c #Conflicts: 213000 | #Constraints: 49878
600.67/602.55 c #Conflicts: 214000 | #Constraints: 50878
600.67/602.55 c #Conflicts: 215000 | #Constraints: 51878
600.67/602.55 c #Conflicts: 216000 | #Constraints: 52878
600.67/602.55 c #Conflicts: 217000 | #Constraints: 53878
600.67/602.55 c #Conflicts: 218000 | #Constraints: 54878
600.67/602.55 c #Conflicts: 219000 | #Constraints: 55878
600.67/602.55 c #Conflicts: 220000 | #Constraints: 56878
600.67/602.55 c #Conflicts: 221000 | #Constraints: 57878
600.67/602.55 c #Conflicts: 222000 | #Constraints: 58878
600.67/602.55 c #Conflicts: 223000 | #Constraints: 59878
600.67/602.55 c #Conflicts: 224000 | #Constraints: 60878
600.67/602.55 c #Conflicts: 225000 | #Constraints: 61878
600.67/602.55 c #Conflicts: 226000 | #Constraints: 62878
600.67/602.55 c #Conflicts: 227000 | #Constraints: 63878
600.67/602.55 c #Conflicts: 228000 | #Constraints: 64878
600.67/602.55 c #Conflicts: 229000 | #Constraints: 65878
600.67/602.55 c #Conflicts: 230000 | #Constraints: 66878
600.67/602.55 c #Conflicts: 231000 | #Constraints: 67878
600.67/602.55 c #Conflicts: 232000 | #Constraints: 68878
600.67/602.55 c #Conflicts: 233000 | #Constraints: 69878
600.67/602.55 c #Conflicts: 234000 | #Constraints: 70878
600.67/602.55 c #Conflicts: 235000 | #Constraints: 71878
600.67/602.55 c #Conflicts: 236000 | #Constraints: 72878
600.67/602.55 c #Conflicts: 237000 | #Constraints: 73878
600.67/602.55 c #Conflicts: 238000 | #Constraints: 74878
600.67/602.55 c #Conflicts: 239000 | #Constraints: 75878
600.67/602.55 c #Conflicts: 240000 | #Constraints: 76878
600.67/602.55 c #Conflicts: 241000 | #Constraints: 77878
600.67/602.55 c #Conflicts: 242000 | #Constraints: 78878
600.67/602.55 c #Conflicts: 243000 | #Constraints: 79878
600.67/602.55 c INPROCESSING
600.67/602.55 c GARBAGE COLLECT
600.67/602.55 c #Conflicts: 244000 | #Constraints: 53159
600.67/602.55 c #Conflicts: 245000 | #Constraints: 54159
600.67/602.55 c #Conflicts: 246000 | #Constraints: 55159
600.67/602.55 c #Conflicts: 247000 | #Constraints: 56159
600.67/602.55 c #Conflicts: 248000 | #Constraints: 57159
600.67/602.55 c #Conflicts: 249000 | #Constraints: 58159
600.67/602.55 c #Conflicts: 250000 | #Constraints: 59159
600.67/602.55 c #Conflicts: 251000 | #Constraints: 60159
600.67/602.55 c #Conflicts: 252000 | #Constraints: 61159
600.67/602.55 c #Conflicts: 253000 | #Constraints: 62159
600.67/602.55 c #Conflicts: 254000 | #Constraints: 63159
600.67/602.55 c #Conflicts: 255000 | #Constraints: 64159
600.67/602.55 c #Conflicts: 256000 | #Constraints: 65159
600.67/602.55 c #Conflicts: 257000 | #Constraints: 66159
600.67/602.55 c #Conflicts: 258000 | #Constraints: 67159
600.67/602.55 c INPROCESSING
600.67/602.55 c GARBAGE COLLECT
600.67/602.55 c #Conflicts: 259000 | #Constraints: 53133
600.67/602.55 c #Conflicts: 260000 | #Constraints: 54133
600.67/602.55 c #Conflicts: 261000 | #Constraints: 55133
600.67/602.55 c #Conflicts: 262000 | #Constraints: 56133
600.67/602.55 c #Conflicts: 263000 | #Constraints: 57133
600.67/602.55 c #Conflicts: 264000 | #Constraints: 58133
600.67/602.55 c #Conflicts: 265000 | #Constraints: 59133
600.67/602.55 c #Conflicts: 266000 | #Constraints: 60133
600.67/602.55 c #Conflicts: 267000 | #Constraints: 61133
600.67/602.55 c #Conflicts: 268000 | #Constraints: 62133
600.67/602.55 c #Conflicts: 269000 | #Constraints: 63133
600.67/602.55 c #Conflicts: 270000 | #Constraints: 64133
600.67/602.55 c #Conflicts: 271000 | #Constraints: 65133
600.67/602.55 c #Conflicts: 272000 | #Constraints: 66133
600.67/602.55 c #Conflicts: 273000 | #Constraints: 67133
600.67/602.55 c #Conflicts: 274000 | #Constraints: 68133
600.67/602.55 c #Conflicts: 275000 | #Constraints: 69133
600.67/602.55 c #Conflicts: 276000 | #Constraints: 70133
600.67/602.55 c #Conflicts: 277000 | #Constraints: 71133
600.67/602.55 c #Conflicts: 278000 | #Constraints: 72133
600.67/602.55 c #Conflicts: 279000 | #Constraints: 73133
600.67/602.55 c #Conflicts: 280000 | #Constraints: 74133
600.67/602.55 c #Conflicts: 281000 | #Constraints: 75133
600.67/602.55 c #Conflicts: 282000 | #Constraints: 76133
600.67/602.55 c #Conflicts: 283000 | #Constraints: 77133
600.67/602.55 c #Conflicts: 284000 | #Constraints: 78133
600.67/602.55 c #Conflicts: 285000 | #Constraints: 79133
600.67/602.55 c #Conflicts: 286000 | #Constraints: 80133
600.67/602.55 c #Conflicts: 287000 | #Constraints: 81133
600.67/602.55 c #Conflicts: 288000 | #Constraints: 82133
600.67/602.55 c #Conflicts: 289000 | #Constraints: 83133
600.67/602.55 c #Conflicts: 290000 | #Constraints: 84133
787.51/789.98 c #Conflicts: 291000 | #Constraints: 85133
787.51/789.98 c INPROCESSING
787.51/789.98 c GARBAGE COLLECT
787.51/789.98 c #Conflicts: 292000 | #Constraints: 55521
787.51/789.98 c #Conflicts: 293000 | #Constraints: 56521
787.51/789.98 c #Conflicts: 294000 | #Constraints: 57521
787.51/789.98 c #Conflicts: 295000 | #Constraints: 58521
787.51/789.98 c #Conflicts: 296000 | #Constraints: 59521
787.51/789.98 c #Conflicts: 297000 | #Constraints: 60521
787.51/789.98 c #Conflicts: 298000 | #Constraints: 61521
787.51/789.98 c #Conflicts: 299000 | #Constraints: 62521
787.51/789.98 c #Conflicts: 300000 | #Constraints: 63521
787.51/789.98 c #Conflicts: 301000 | #Constraints: 64521
787.51/789.98 c #Conflicts: 302000 | #Constraints: 65521
787.51/789.98 c #Conflicts: 303000 | #Constraints: 66521
787.51/789.98 c #Conflicts: 304000 | #Constraints: 67521
787.51/789.98 c #Conflicts: 305000 | #Constraints: 68521
787.51/789.98 c #Conflicts: 306000 | #Constraints: 69521
787.51/789.98 c #Conflicts: 307000 | #Constraints: 70521
787.51/789.98 c #Conflicts: 308000 | #Constraints: 71521
787.51/789.98 c INPROCESSING
787.51/789.98 c GARBAGE COLLECT
787.51/789.98 c #Conflicts: 309000 | #Constraints: 56677
787.51/789.98 c #Conflicts: 310000 | #Constraints: 57677
787.51/789.98 c #Conflicts: 311000 | #Constraints: 58677
787.51/789.98 c #Conflicts: 312000 | #Constraints: 59677
787.51/789.98 c #Conflicts: 313000 | #Constraints: 60677
787.51/789.98 c #Conflicts: 314000 | #Constraints: 61677
787.51/789.98 c #Conflicts: 315000 | #Constraints: 62677
787.51/789.98 c #Conflicts: 316000 | #Constraints: 63677
787.51/789.98 c #Conflicts: 317000 | #Constraints: 64677
787.51/789.98 c #Conflicts: 318000 | #Constraints: 65677
787.51/789.98 c #Conflicts: 319000 | #Constraints: 66677
787.51/789.98 c #Conflicts: 320000 | #Constraints: 67677
787.51/789.98 c #Conflicts: 321000 | #Constraints: 68677
787.51/789.98 c #Conflicts: 322000 | #Constraints: 69677
787.51/789.98 c #Conflicts: 323000 | #Constraints: 70677
787.51/789.98 c #Conflicts: 324000 | #Constraints: 71677
787.51/789.98 c #Conflicts: 325000 | #Constraints: 72677
787.51/789.98 c #Conflicts: 326000 | #Constraints: 73677
787.51/789.98 c #Conflicts: 327000 | #Constraints: 74677
787.51/789.98 c #Conflicts: 328000 | #Constraints: 75677
787.51/789.98 c #Conflicts: 329000 | #Constraints: 76677
787.51/789.98 c #Conflicts: 330000 | #Constraints: 77677
787.51/789.98 c #Conflicts: 331000 | #Constraints: 78677
787.51/789.98 c #Conflicts: 332000 | #Constraints: 79677
787.51/789.98 c #Conflicts: 333000 | #Constraints: 80677
787.51/789.98 c #Conflicts: 334000 | #Constraints: 81677
787.51/789.98 c #Conflicts: 335000 | #Constraints: 82677
787.51/789.98 c #Conflicts: 336000 | #Constraints: 83677
787.51/789.98 c #Conflicts: 337000 | #Constraints: 84677
787.51/789.98 c #Conflicts: 338000 | #Constraints: 85677
787.51/789.98 c #Conflicts: 339000 | #Constraints: 86677
787.51/789.98 c #Conflicts: 340000 | #Constraints: 87677
787.51/789.98 c #Conflicts: 341000 | #Constraints: 88677
787.51/789.98 c #Conflicts: 342000 | #Constraints: 89677
787.51/789.98 c #Conflicts: 343000 | #Constraints: 90677
787.51/789.98 c #Conflicts: 344000 | #Constraints: 91677
787.51/789.98 c #Conflicts: 345000 | #Constraints: 92677
787.51/789.98 c INPROCESSING
787.51/789.98 c GARBAGE COLLECT
787.51/789.98 c #Conflicts: 346000 | #Constraints: 59777
787.51/789.98 c #Conflicts: 347000 | #Constraints: 60777
787.51/789.98 c #Conflicts: 348000 | #Constraints: 61777
787.51/789.98 c #Conflicts: 349000 | #Constraints: 62777
787.51/789.98 c #Conflicts: 350000 | #Constraints: 63777
787.51/789.98 c #Conflicts: 351000 | #Constraints: 64777
787.51/789.98 c #Conflicts: 352000 | #Constraints: 65777
787.51/789.98 c #Conflicts: 353000 | #Constraints: 66777
787.51/789.98 c #Conflicts: 354000 | #Constraints: 67777
787.51/789.98 c #Conflicts: 355000 | #Constraints: 68777
787.51/789.98 c #Conflicts: 356000 | #Constraints: 69777
787.51/789.98 c #Conflicts: 357000 | #Constraints: 70777
787.51/789.98 c #Conflicts: 358000 | #Constraints: 71777
787.51/789.98 c #Conflicts: 359000 | #Constraints: 72777
787.51/789.98 c #Conflicts: 360000 | #Constraints: 73777
787.51/789.98 c #Conflicts: 361000 | #Constraints: 74777
787.51/789.98 c #Conflicts: 362000 | #Constraints: 75777
787.51/789.98 c INPROCESSING
787.51/789.98 c GARBAGE COLLECT
787.51/789.98 c #Conflicts: 363000 | #Constraints: 59298
787.51/789.98 c #Conflicts: 364000 | #Constraints: 60298
787.51/789.98 c #Conflicts: 365000 | #Constraints: 61298
787.51/789.98 c #Conflicts: 366000 | #Constraints: 62298
930.98/933.86 c #Conflicts: 367000 | #Constraints: 63298
930.98/933.86 c #Conflicts: 368000 | #Constraints: 64298
930.98/933.86 c #Conflicts: 369000 | #Constraints: 65298
930.98/933.86 c #Conflicts: 370000 | #Constraints: 66298
930.98/933.86 c #Conflicts: 371000 | #Constraints: 67298
930.98/933.86 c #Conflicts: 372000 | #Constraints: 68298
930.98/933.86 c #Conflicts: 373000 | #Constraints: 69298
930.98/933.86 c #Conflicts: 374000 | #Constraints: 70298
930.98/933.86 c #Conflicts: 375000 | #Constraints: 71298
930.98/933.86 c #Conflicts: 376000 | #Constraints: 72298
930.98/933.86 c #Conflicts: 377000 | #Constraints: 73298
930.98/933.86 c #Conflicts: 378000 | #Constraints: 74298
930.98/933.86 c #Conflicts: 379000 | #Constraints: 75298
930.98/933.86 c #Conflicts: 380000 | #Constraints: 76298
930.98/933.86 c #Conflicts: 381000 | #Constraints: 77298
930.98/933.86 c #Conflicts: 382000 | #Constraints: 78298
930.98/933.86 c #Conflicts: 383000 | #Constraints: 79298
930.98/933.86 c #Conflicts: 384000 | #Constraints: 80298
930.98/933.86 c #Conflicts: 385000 | #Constraints: 81298
930.98/933.86 c #Conflicts: 386000 | #Constraints: 82298
930.98/933.86 c #Conflicts: 387000 | #Constraints: 83298
930.98/933.86 c #Conflicts: 388000 | #Constraints: 84298
930.98/933.86 c #Conflicts: 389000 | #Constraints: 85298
930.98/933.86 c #Conflicts: 390000 | #Constraints: 86298
930.98/933.86 c #Conflicts: 391000 | #Constraints: 87298
930.98/933.86 c #Conflicts: 392000 | #Constraints: 88298
930.98/933.86 c #Conflicts: 393000 | #Constraints: 89298
930.98/933.86 c #Conflicts: 394000 | #Constraints: 90298
930.98/933.86 c #Conflicts: 395000 | #Constraints: 91298
930.98/933.86 c #Conflicts: 396000 | #Constraints: 92298
930.98/933.86 c #Conflicts: 397000 | #Constraints: 93298
930.98/933.86 c #Conflicts: 398000 | #Constraints: 94298
930.98/933.86 c #Conflicts: 399000 | #Constraints: 95298
930.98/933.86 c #Conflicts: 400000 | #Constraints: 96298
930.98/933.86 c #Conflicts: 401000 | #Constraints: 97298
930.98/933.86 c #Conflicts: 402000 | #Constraints: 98298
930.98/933.86 c INPROCESSING
930.98/933.86 c GARBAGE COLLECT
930.98/933.86 c #Conflicts: 403000 | #Constraints: 62539
930.98/933.86 c #Conflicts: 404000 | #Constraints: 63539
930.98/933.86 c #Conflicts: 405000 | #Constraints: 64539
930.98/933.86 c #Conflicts: 406000 | #Constraints: 65539
930.98/933.86 c #Conflicts: 407000 | #Constraints: 66539
930.98/933.86 c #Conflicts: 408000 | #Constraints: 67539
930.98/933.86 c #Conflicts: 409000 | #Constraints: 68539
930.98/933.86 c #Conflicts: 410000 | #Constraints: 69539
930.98/933.86 c #Conflicts: 411000 | #Constraints: 70539
930.98/933.86 c #Conflicts: 412000 | #Constraints: 71539
930.98/933.86 c #Conflicts: 413000 | #Constraints: 72539
930.98/933.86 c #Conflicts: 414000 | #Constraints: 73539
930.98/933.86 c #Conflicts: 415000 | #Constraints: 74539
930.98/933.86 c #Conflicts: 416000 | #Constraints: 75539
930.98/933.86 c #Conflicts: 417000 | #Constraints: 76539
930.98/933.86 c #Conflicts: 418000 | #Constraints: 77539
930.98/933.86 c #Conflicts: 419000 | #Constraints: 78539
930.98/933.86 c #Conflicts: 420000 | #Constraints: 79539
930.98/933.86 c #Conflicts: 421000 | #Constraints: 80539
930.98/933.86 c INPROCESSING
930.98/933.86 c GARBAGE COLLECT
930.98/933.86 c #Conflicts: 422000 | #Constraints: 62744
930.98/933.86 c #Conflicts: 423000 | #Constraints: 63744
930.98/933.86 c #Conflicts: 424000 | #Constraints: 64744
930.98/933.86 c #Conflicts: 425000 | #Constraints: 65744
930.98/933.86 c #Conflicts: 426000 | #Constraints: 66744
930.98/933.86 c #Conflicts: 427000 | #Constraints: 67744
930.98/933.86 c #Conflicts: 428000 | #Constraints: 68744
930.98/933.86 c #Conflicts: 429000 | #Constraints: 69744
930.98/933.86 c #Conflicts: 430000 | #Constraints: 70744
930.98/933.86 c #Conflicts: 431000 | #Constraints: 71744
930.98/933.86 c #Conflicts: 432000 | #Constraints: 72744
930.98/933.86 c #Conflicts: 433000 | #Constraints: 73744
930.98/933.86 c #Conflicts: 434000 | #Constraints: 74744
930.98/933.86 c #Conflicts: 435000 | #Constraints: 75744
930.98/933.86 c #Conflicts: 436000 | #Constraints: 76744
930.98/933.86 c #Conflicts: 437000 | #Constraints: 77744
930.98/933.86 c #Conflicts: 438000 | #Constraints: 78744
930.98/933.86 c #Conflicts: 439000 | #Constraints: 79744
930.98/933.86 c #Conflicts: 440000 | #Constraints: 80744
930.98/933.86 c #Conflicts: 441000 | #Constraints: 81744
930.98/933.86 c #Conflicts: 442000 | #Constraints: 82744
930.98/933.86 c #Conflicts: 443000 | #Constraints: 83744
930.98/933.86 c #Conflicts: 444000 | #Constraints: 84744
1213.80/1217.59 c #Conflicts: 445000 | #Constraints: 85744
1213.80/1217.59 c #Conflicts: 446000 | #Constraints: 86744
1213.80/1217.59 c #Conflicts: 447000 | #Constraints: 87744
1213.80/1217.59 c #Conflicts: 448000 | #Constraints: 88744
1213.80/1217.59 c #Conflicts: 449000 | #Constraints: 89744
1213.80/1217.59 c #Conflicts: 450000 | #Constraints: 90744
1213.80/1217.59 c #Conflicts: 451000 | #Constraints: 91744
1213.80/1217.59 c #Conflicts: 452000 | #Constraints: 92744
1213.80/1217.59 c #Conflicts: 453000 | #Constraints: 93744
1213.80/1217.59 c #Conflicts: 454000 | #Constraints: 94744
1213.80/1217.59 c #Conflicts: 455000 | #Constraints: 95744
1213.80/1217.59 c #Conflicts: 456000 | #Constraints: 96744
1213.80/1217.59 c #Conflicts: 457000 | #Constraints: 97744
1213.80/1217.59 c #Conflicts: 458000 | #Constraints: 98744
1213.80/1217.59 c #Conflicts: 459000 | #Constraints: 99744
1213.80/1217.59 c #Conflicts: 460000 | #Constraints: 100744
1213.80/1217.59 c #Conflicts: 461000 | #Constraints: 101744
1213.80/1217.59 c #Conflicts: 462000 | #Constraints: 102744
1213.80/1217.59 c #Conflicts: 463000 | #Constraints: 103744
1213.80/1217.59 c #Conflicts: 464000 | #Constraints: 104744
1213.80/1217.59 c INPROCESSING
1213.80/1217.59 c GARBAGE COLLECT
1213.80/1217.59 c #Conflicts: 465000 | #Constraints: 65763
1213.80/1217.59 c #Conflicts: 466000 | #Constraints: 66763
1213.80/1217.59 c #Conflicts: 467000 | #Constraints: 67763
1213.80/1217.59 c #Conflicts: 468000 | #Constraints: 68763
1213.80/1217.59 c #Conflicts: 469000 | #Constraints: 69763
1213.80/1217.59 c #Conflicts: 470000 | #Constraints: 70763
1213.80/1217.59 c #Conflicts: 471000 | #Constraints: 71763
1213.80/1217.59 c #Conflicts: 472000 | #Constraints: 72763
1213.80/1217.59 c #Conflicts: 473000 | #Constraints: 73763
1213.80/1217.59 c #Conflicts: 474000 | #Constraints: 74763
1213.80/1217.59 c #Conflicts: 475000 | #Constraints: 75763
1213.80/1217.59 c #Conflicts: 476000 | #Constraints: 76763
1213.80/1217.59 c #Conflicts: 477000 | #Constraints: 77763
1213.80/1217.59 c #Conflicts: 478000 | #Constraints: 78763
1213.80/1217.59 c #Conflicts: 479000 | #Constraints: 79763
1213.80/1217.59 c #Conflicts: 480000 | #Constraints: 80763
1213.80/1217.59 c #Conflicts: 481000 | #Constraints: 81763
1213.80/1217.59 c #Conflicts: 482000 | #Constraints: 82763
1213.80/1217.59 c #Conflicts: 483000 | #Constraints: 83763
1213.80/1217.59 c #Conflicts: 484000 | #Constraints: 84763
1213.80/1217.59 c INPROCESSING
1213.80/1217.59 c GARBAGE COLLECT
1213.80/1217.59 c #Conflicts: 485000 | #Constraints: 64803
1213.80/1217.59 c #Conflicts: 486000 | #Constraints: 65803
1213.80/1217.59 c #Conflicts: 487000 | #Constraints: 66803
1213.80/1217.59 c #Conflicts: 488000 | #Constraints: 67803
1213.80/1217.59 c #Conflicts: 489000 | #Constraints: 68803
1213.80/1217.59 c #Conflicts: 490000 | #Constraints: 69803
1213.80/1217.59 c #Conflicts: 491000 | #Constraints: 70803
1213.80/1217.59 c #Conflicts: 492000 | #Constraints: 71803
1213.80/1217.59 c #Conflicts: 493000 | #Constraints: 72803
1213.80/1217.59 c #Conflicts: 494000 | #Constraints: 73803
1213.80/1217.59 c #Conflicts: 495000 | #Constraints: 74803
1213.80/1217.59 c #Conflicts: 496000 | #Constraints: 75803
1213.80/1217.59 c #Conflicts: 497000 | #Constraints: 76803
1213.80/1217.59 c #Conflicts: 498000 | #Constraints: 77803
1213.80/1217.59 c #Conflicts: 499000 | #Constraints: 78803
1213.80/1217.59 c #Conflicts: 500000 | #Constraints: 79803
1213.80/1217.59 c #Conflicts: 501000 | #Constraints: 80803
1213.80/1217.59 c #Conflicts: 502000 | #Constraints: 81803
1213.80/1217.59 c #Conflicts: 503000 | #Constraints: 82803
1213.80/1217.59 c #Conflicts: 504000 | #Constraints: 83803
1213.80/1217.59 c #Conflicts: 505000 | #Constraints: 84803
1213.80/1217.59 c #Conflicts: 506000 | #Constraints: 85803
1213.80/1217.59 c #Conflicts: 507000 | #Constraints: 86803
1213.80/1217.59 c #Conflicts: 508000 | #Constraints: 87803
1213.80/1217.59 c #Conflicts: 509000 | #Constraints: 88803
1213.80/1217.59 c #Conflicts: 510000 | #Constraints: 89803
1213.80/1217.59 c #Conflicts: 511000 | #Constraints: 90803
1213.80/1217.59 c #Conflicts: 512000 | #Constraints: 91803
1213.80/1217.59 c #Conflicts: 513000 | #Constraints: 92803
1213.80/1217.59 c #Conflicts: 514000 | #Constraints: 93803
1213.80/1217.59 c #Conflicts: 515000 | #Constraints: 94803
1213.80/1217.59 c #Conflicts: 516000 | #Constraints: 95803
1213.80/1217.59 c #Conflicts: 517000 | #Constraints: 96803
1213.80/1217.59 c #Conflicts: 518000 | #Constraints: 97803
1213.80/1217.59 c #Conflicts: 519000 | #Constraints: 98803
1213.80/1217.59 c #Conflicts: 520000 | #Constraints: 99803
1213.80/1217.59 c #Conflicts: 521000 | #Constraints: 100803
1410.13/1414.42 c #Conflicts: 522000 | #Constraints: 101803
1410.13/1414.42 c #Conflicts: 523000 | #Constraints: 102803
1410.13/1414.42 c #Conflicts: 524000 | #Constraints: 103803
1410.13/1414.42 c #Conflicts: 525000 | #Constraints: 104803
1410.13/1414.42 c #Conflicts: 526000 | #Constraints: 105803
1410.13/1414.42 c #Conflicts: 527000 | #Constraints: 106803
1410.13/1414.42 c #Conflicts: 528000 | #Constraints: 107803
1410.13/1414.42 c #Conflicts: 529000 | #Constraints: 108803
1410.13/1414.42 c #Conflicts: 530000 | #Constraints: 109803
1410.13/1414.42 c INPROCESSING
1410.13/1414.42 c GARBAGE COLLECT
1410.13/1414.42 c #Conflicts: 531000 | #Constraints: 68342
1410.13/1414.42 c #Conflicts: 532000 | #Constraints: 69342
1410.13/1414.42 c #Conflicts: 533000 | #Constraints: 70342
1410.13/1414.42 c #Conflicts: 534000 | #Constraints: 71342
1410.13/1414.42 c #Conflicts: 535000 | #Constraints: 72342
1410.13/1414.42 c #Conflicts: 536000 | #Constraints: 73342
1410.13/1414.42 c #Conflicts: 537000 | #Constraints: 74342
1410.13/1414.42 c #Conflicts: 538000 | #Constraints: 75342
1410.13/1414.42 c #Conflicts: 539000 | #Constraints: 76342
1410.13/1414.42 c #Conflicts: 540000 | #Constraints: 77342
1410.13/1414.42 c #Conflicts: 541000 | #Constraints: 78342
1410.13/1414.42 c #Conflicts: 542000 | #Constraints: 79342
1410.13/1414.42 c #Conflicts: 543000 | #Constraints: 80342
1410.13/1414.42 c #Conflicts: 544000 | #Constraints: 81342
1410.13/1414.42 c #Conflicts: 545000 | #Constraints: 82342
1410.13/1414.42 c #Conflicts: 546000 | #Constraints: 83342
1410.13/1414.42 c #Conflicts: 547000 | #Constraints: 84342
1410.13/1414.42 c #Conflicts: 548000 | #Constraints: 85342
1410.13/1414.42 c #Conflicts: 549000 | #Constraints: 86342
1410.13/1414.42 c #Conflicts: 550000 | #Constraints: 87342
1410.13/1414.42 c #Conflicts: 551000 | #Constraints: 88342
1410.13/1414.42 c #Conflicts: 552000 | #Constraints: 89342
1410.13/1414.42 c INPROCESSING
1410.13/1414.42 c GARBAGE COLLECT
1410.13/1414.42 c #Conflicts: 553000 | #Constraints: 68118
1410.13/1414.42 c #Conflicts: 554000 | #Constraints: 69118
1410.13/1414.42 c #Conflicts: 555000 | #Constraints: 70118
1410.13/1414.42 c #Conflicts: 556000 | #Constraints: 71118
1410.13/1414.42 c #Conflicts: 557000 | #Constraints: 72118
1410.13/1414.42 c #Conflicts: 558000 | #Constraints: 73118
1410.13/1414.42 c #Conflicts: 559000 | #Constraints: 74118
1410.13/1414.42 c #Conflicts: 560000 | #Constraints: 75118
1410.13/1414.42 c #Conflicts: 561000 | #Constraints: 76118
1410.13/1414.42 c #Conflicts: 562000 | #Constraints: 77118
1410.13/1414.42 c #Conflicts: 563000 | #Constraints: 78118
1410.13/1414.42 c #Conflicts: 564000 | #Constraints: 79118
1410.13/1414.42 c #Conflicts: 565000 | #Constraints: 80118
1410.13/1414.42 c #Conflicts: 566000 | #Constraints: 81118
1410.13/1414.42 c #Conflicts: 567000 | #Constraints: 82118
1410.13/1414.42 c #Conflicts: 568000 | #Constraints: 83118
1410.13/1414.42 c #Conflicts: 569000 | #Constraints: 84118
1410.13/1414.42 c #Conflicts: 570000 | #Constraints: 85118
1410.13/1414.42 c #Conflicts: 571000 | #Constraints: 86118
1410.13/1414.42 c #Conflicts: 572000 | #Constraints: 87118
1410.13/1414.42 c #Conflicts: 573000 | #Constraints: 88118
1410.13/1414.42 c #Conflicts: 574000 | #Constraints: 89119
1410.13/1414.42 c #Conflicts: 575000 | #Constraints: 90119
1410.13/1414.42 c #Conflicts: 576000 | #Constraints: 91119
1410.13/1414.42 c #Conflicts: 577000 | #Constraints: 92119
1410.13/1414.42 c #Conflicts: 578000 | #Constraints: 93119
1410.13/1414.42 c #Conflicts: 579000 | #Constraints: 94119
1410.13/1414.42 c #Conflicts: 580000 | #Constraints: 95119
1410.13/1414.42 c #Conflicts: 581000 | #Constraints: 96119
1410.13/1414.42 c #Conflicts: 582000 | #Constraints: 97119
1410.13/1414.42 c #Conflicts: 583000 | #Constraints: 98119
1410.13/1414.42 c #Conflicts: 584000 | #Constraints: 99119
1410.13/1414.42 c #Conflicts: 585000 | #Constraints: 100119
1410.13/1414.42 c #Conflicts: 586000 | #Constraints: 101119
1410.13/1414.42 c #Conflicts: 587000 | #Constraints: 102119
1410.13/1414.42 c #Conflicts: 588000 | #Constraints: 103119
1410.13/1414.42 c #Conflicts: 589000 | #Constraints: 104119
1410.13/1414.42 c #Conflicts: 590000 | #Constraints: 105119
1410.13/1414.42 c #Conflicts: 591000 | #Constraints: 106119
1410.13/1414.42 c #Conflicts: 592000 | #Constraints: 107119
1410.13/1414.42 c #Conflicts: 593000 | #Constraints: 108119
1410.13/1414.42 c #Conflicts: 594000 | #Constraints: 109119
1410.13/1414.42 c #Conflicts: 595000 | #Constraints: 110119
1410.13/1414.42 c #Conflicts: 596000 | #Constraints: 111119
1410.13/1414.42 c #Conflicts: 597000 | #Constraints: 112119
1410.13/1414.42 c #Conflicts: 598000 | #Constraints: 113119
1410.13/1414.42 c #Conflicts: 599000 | #Constraints: 114119
1574.47/1579.24 c #Conflicts: 600000 | #Constraints: 115119
1574.47/1579.24 c #Conflicts: 601000 | #Constraints: 116119
1574.47/1579.24 c INPROCESSING
1574.47/1579.24 c GARBAGE COLLECT
1574.47/1579.24 c #Conflicts: 602000 | #Constraints: 71699
1574.47/1579.24 c #Conflicts: 603000 | #Constraints: 72699
1574.47/1579.24 c #Conflicts: 604000 | #Constraints: 73699
1574.47/1579.24 c #Conflicts: 605000 | #Constraints: 74699
1574.47/1579.24 c #Conflicts: 606000 | #Constraints: 75699
1574.47/1579.24 c #Conflicts: 607000 | #Constraints: 76699
1574.47/1579.24 c #Conflicts: 608000 | #Constraints: 77699
1574.47/1579.24 c #Conflicts: 609000 | #Constraints: 78699
1574.47/1579.24 c #Conflicts: 610000 | #Constraints: 79699
1574.47/1579.24 c #Conflicts: 611000 | #Constraints: 80699
1574.47/1579.24 c #Conflicts: 612000 | #Constraints: 81699
1574.47/1579.24 c #Conflicts: 613000 | #Constraints: 82699
1574.47/1579.24 c #Conflicts: 614000 | #Constraints: 83699
1574.47/1579.24 c #Conflicts: 615000 | #Constraints: 84699
1574.47/1579.24 c #Conflicts: 616000 | #Constraints: 85699
1574.47/1579.24 c #Conflicts: 617000 | #Constraints: 86699
1574.47/1579.24 c #Conflicts: 618000 | #Constraints: 87699
1574.47/1579.24 c #Conflicts: 619000 | #Constraints: 88699
1574.47/1579.24 c #Conflicts: 620000 | #Constraints: 89699
1574.47/1579.24 c #Conflicts: 621000 | #Constraints: 90699
1574.47/1579.24 c #Conflicts: 622000 | #Constraints: 91699
1574.47/1579.24 c #Conflicts: 623000 | #Constraints: 92699
1574.47/1579.24 c #Conflicts: 624000 | #Constraints: 93699
1574.47/1579.24 c INPROCESSING
1574.47/1579.24 c GARBAGE COLLECT
1574.47/1579.24 c #Conflicts: 625000 | #Constraints: 71481
1574.47/1579.24 c #Conflicts: 626000 | #Constraints: 72481
1574.47/1579.24 c #Conflicts: 627000 | #Constraints: 73481
1574.47/1579.24 c #Conflicts: 628000 | #Constraints: 74481
1574.47/1579.24 c #Conflicts: 629000 | #Constraints: 75481
1574.47/1579.24 c #Conflicts: 630000 | #Constraints: 76481
1574.47/1579.24 c #Conflicts: 631000 | #Constraints: 77481
1574.47/1579.24 c #Conflicts: 632000 | #Constraints: 78481
1574.47/1579.24 c #Conflicts: 633000 | #Constraints: 79481
1574.47/1579.24 c #Conflicts: 634000 | #Constraints: 80481
1574.47/1579.24 c #Conflicts: 635000 | #Constraints: 81481
1574.47/1579.24 c #Conflicts: 636000 | #Constraints: 82481
1574.47/1579.24 c #Conflicts: 637000 | #Constraints: 83481
1574.47/1579.24 c #Conflicts: 638000 | #Constraints: 84481
1574.47/1579.24 c #Conflicts: 639000 | #Constraints: 85481
1574.47/1579.24 c #Conflicts: 640000 | #Constraints: 86481
1574.47/1579.24 c #Conflicts: 641000 | #Constraints: 87481
1574.47/1579.24 c #Conflicts: 642000 | #Constraints: 88481
1574.47/1579.24 c #Conflicts: 643000 | #Constraints: 89481
1574.47/1579.24 c #Conflicts: 644000 | #Constraints: 90481
1574.47/1579.24 c #Conflicts: 645000 | #Constraints: 91481
1574.47/1579.24 c #Conflicts: 646000 | #Constraints: 92481
1574.47/1579.24 c #Conflicts: 647000 | #Constraints: 93481
1574.47/1579.24 c #Conflicts: 648000 | #Constraints: 94481
1574.47/1579.24 c #Conflicts: 649000 | #Constraints: 95481
1574.47/1579.24 c #Conflicts: 650000 | #Constraints: 96481
1574.47/1579.24 c #Conflicts: 651000 | #Constraints: 97481
1574.47/1579.24 c #Conflicts: 652000 | #Constraints: 98481
1574.47/1579.24 c #Conflicts: 653000 | #Constraints: 99481
1574.47/1579.24 c #Conflicts: 654000 | #Constraints: 100481
1574.47/1579.24 c #Conflicts: 655000 | #Constraints: 101481
1574.47/1579.24 c #Conflicts: 656000 | #Constraints: 102481
1574.47/1579.24 c #Conflicts: 657000 | #Constraints: 103481
1574.47/1579.24 c #Conflicts: 658000 | #Constraints: 104481
1574.47/1579.24 c #Conflicts: 659000 | #Constraints: 105481
1574.47/1579.24 c #Conflicts: 660000 | #Constraints: 106481
1574.47/1579.24 c #Conflicts: 661000 | #Constraints: 107481
1574.47/1579.24 c #Conflicts: 662000 | #Constraints: 108481
1574.47/1579.24 c #Conflicts: 663000 | #Constraints: 109481
1574.47/1579.24 c #Conflicts: 664000 | #Constraints: 110481
1574.47/1579.24 c #Conflicts: 665000 | #Constraints: 111481
1574.47/1579.24 c #Conflicts: 666000 | #Constraints: 112481
1574.47/1579.24 c #Conflicts: 667000 | #Constraints: 113481
1574.47/1579.24 c #Conflicts: 668000 | #Constraints: 114481
1574.47/1579.24 c #Conflicts: 669000 | #Constraints: 115481
1574.47/1579.24 c #Conflicts: 670000 | #Constraints: 116481
1574.47/1579.24 c #Conflicts: 671000 | #Constraints: 117481
1574.47/1579.24 c #Conflicts: 672000 | #Constraints: 118481
1574.47/1579.24 c #Conflicts: 673000 | #Constraints: 119481
1574.47/1579.24 c #Conflicts: 674000 | #Constraints: 120481
1574.47/1579.24 c #Conflicts: 675000 | #Constraints: 121481
1574.47/1579.24 c #Conflicts: 676000 | #Constraints: 122481
1734.52/1739.71 c INPROCESSING
1734.52/1739.71 c GARBAGE COLLECT
1734.52/1739.71 c #Conflicts: 677000 | #Constraints: 74737
1734.52/1739.71 c #Conflicts: 678000 | #Constraints: 75737
1734.52/1739.71 c #Conflicts: 679000 | #Constraints: 76737
1734.52/1739.71 c #Conflicts: 680000 | #Constraints: 77737
1734.52/1739.71 c #Conflicts: 681000 | #Constraints: 78737
1734.52/1739.71 c #Conflicts: 682000 | #Constraints: 79737
1734.52/1739.71 c #Conflicts: 683000 | #Constraints: 80737
1734.52/1739.71 c #Conflicts: 684000 | #Constraints: 81737
1734.52/1739.71 c #Conflicts: 685000 | #Constraints: 82737
1734.52/1739.71 c #Conflicts: 686000 | #Constraints: 83737
1734.52/1739.71 c #Conflicts: 687000 | #Constraints: 84737
1734.52/1739.71 c #Conflicts: 688000 | #Constraints: 85737
1734.52/1739.71 c #Conflicts: 689000 | #Constraints: 86737
1734.52/1739.71 c #Conflicts: 690000 | #Constraints: 87737
1734.52/1739.71 c #Conflicts: 691000 | #Constraints: 88737
1734.52/1739.71 c #Conflicts: 692000 | #Constraints: 89737
1734.52/1739.71 c #Conflicts: 693000 | #Constraints: 90737
1734.52/1739.71 c #Conflicts: 694000 | #Constraints: 91737
1734.52/1739.71 c #Conflicts: 695000 | #Constraints: 92737
1734.52/1739.71 c #Conflicts: 696000 | #Constraints: 93737
1734.52/1739.71 c #Conflicts: 697000 | #Constraints: 94737
1734.52/1739.71 c #Conflicts: 698000 | #Constraints: 95737
1734.52/1739.71 c #Conflicts: 699000 | #Constraints: 96737
1734.52/1739.71 c #Conflicts: 700000 | #Constraints: 97737
1734.52/1739.71 c INPROCESSING
1734.52/1739.71 c GARBAGE COLLECT
1734.52/1739.71 c #Conflicts: 701000 | #Constraints: 74361
1734.52/1739.71 c #Conflicts: 702000 | #Constraints: 75361
1734.52/1739.71 c #Conflicts: 703000 | #Constraints: 76361
1734.52/1739.71 c #Conflicts: 704000 | #Constraints: 77361
1734.52/1739.71 c #Conflicts: 705000 | #Constraints: 78361
1734.52/1739.71 c #Conflicts: 706000 | #Constraints: 79361
1734.52/1739.71 c #Conflicts: 707000 | #Constraints: 80361
1734.52/1739.71 c #Conflicts: 708000 | #Constraints: 81361
1734.52/1739.71 c #Conflicts: 709000 | #Constraints: 82361
1734.52/1739.71 c #Conflicts: 710000 | #Constraints: 83361
1734.52/1739.71 c #Conflicts: 711000 | #Constraints: 84361
1734.52/1739.71 c #Conflicts: 712000 | #Constraints: 85361
1734.52/1739.71 c #Conflicts: 713000 | #Constraints: 86361
1734.52/1739.71 c #Conflicts: 714000 | #Constraints: 87361
1734.52/1739.71 c #Conflicts: 715000 | #Constraints: 88361
1734.52/1739.71 c #Conflicts: 716000 | #Constraints: 89361
1734.52/1739.71 c #Conflicts: 717000 | #Constraints: 90361
1734.52/1739.71 c #Conflicts: 718000 | #Constraints: 91361
1734.52/1739.71 c #Conflicts: 719000 | #Constraints: 92361
1734.52/1739.71 c #Conflicts: 720000 | #Constraints: 93361
1734.52/1739.71 c #Conflicts: 721000 | #Constraints: 94361
1734.52/1739.71 c #Conflicts: 722000 | #Constraints: 95361
1734.52/1739.71 c #Conflicts: 723000 | #Constraints: 96361
1734.52/1739.71 c #Conflicts: 724000 | #Constraints: 97361
1734.52/1739.71 c #Conflicts: 725000 | #Constraints: 98361
1734.52/1739.71 c #Conflicts: 726000 | #Constraints: 99361
1734.52/1739.71 c #Conflicts: 727000 | #Constraints: 100361
1734.52/1739.71 c #Conflicts: 728000 | #Constraints: 101361
1734.52/1739.71 c #Conflicts: 729000 | #Constraints: 102361
1734.52/1739.71 c #Conflicts: 730000 | #Constraints: 103361
1734.52/1739.71 c #Conflicts: 731000 | #Constraints: 104361
1734.52/1739.71 c #Conflicts: 732000 | #Constraints: 105361
1734.52/1739.71 c #Conflicts: 733000 | #Constraints: 106361
1734.52/1739.71 c #Conflicts: 734000 | #Constraints: 107361
1734.52/1739.71 c #Conflicts: 735000 | #Constraints: 108361
1734.52/1739.71 c #Conflicts: 736000 | #Constraints: 109361
1734.52/1739.71 c #Conflicts: 737000 | #Constraints: 110361
1734.52/1739.71 c #Conflicts: 738000 | #Constraints: 111361
1734.52/1739.71 c #Conflicts: 739000 | #Constraints: 112361
1734.52/1739.71 c #Conflicts: 740000 | #Constraints: 113361
1734.52/1739.71 c #Conflicts: 741000 | #Constraints: 114361
1734.52/1739.71 c #Conflicts: 742000 | #Constraints: 115361
1734.52/1739.71 c #Conflicts: 743000 | #Constraints: 116361
1734.52/1739.71 c #Conflicts: 744000 | #Constraints: 117361
1734.52/1739.71 c #Conflicts: 745000 | #Constraints: 118361
1734.52/1739.71 c #Conflicts: 746000 | #Constraints: 119361
1734.52/1739.71 c #Conflicts: 747000 | #Constraints: 120361
1734.52/1739.71 c #Conflicts: 748000 | #Constraints: 121361
1734.52/1739.71 c #Conflicts: 749000 | #Constraints: 122361
1734.52/1739.71 c #Conflicts: 750000 | #Constraints: 123361
1734.52/1739.71 c #Conflicts: 751000 | #Constraints: 124361
1734.52/1739.71 c #Conflicts: 752000 | #Constraints: 125361
1734.52/1739.71 c #Conflicts: 753000 | #Constraints: 126361
1734.52/1739.71 c #Conflicts: 754000 | #Constraints: 127361
1976.44/1982.36 c #Conflicts: 755000 | #Constraints: 128361
1976.44/1982.36 c #Conflicts: 756000 | #Constraints: 129361
1976.44/1982.36 c INPROCESSING
1976.44/1982.36 c GARBAGE COLLECT
1976.44/1982.36 c #Conflicts: 757000 | #Constraints: 78536
1976.44/1982.36 c #Conflicts: 758000 | #Constraints: 79536
1976.44/1982.36 c #Conflicts: 759000 | #Constraints: 80536
1976.44/1982.36 c #Conflicts: 760000 | #Constraints: 81536
1976.44/1982.36 c #Conflicts: 761000 | #Constraints: 82536
1976.44/1982.36 c #Conflicts: 762000 | #Constraints: 83536
1976.44/1982.36 c #Conflicts: 763000 | #Constraints: 84536
1976.44/1982.36 c #Conflicts: 764000 | #Constraints: 85536
1976.44/1982.36 c #Conflicts: 765000 | #Constraints: 86536
1976.44/1982.36 c #Conflicts: 766000 | #Constraints: 87536
1976.44/1982.36 c #Conflicts: 767000 | #Constraints: 88537
1976.44/1982.36 c #Conflicts: 768000 | #Constraints: 89537
1976.44/1982.36 c #Conflicts: 769000 | #Constraints: 90537
1976.44/1982.36 c #Conflicts: 770000 | #Constraints: 91537
1976.44/1982.36 c #Conflicts: 771000 | #Constraints: 92537
1976.44/1982.36 c #Conflicts: 772000 | #Constraints: 93537
1976.44/1982.36 c #Conflicts: 773000 | #Constraints: 94537
1976.44/1982.36 c #Conflicts: 774000 | #Constraints: 95537
1976.44/1982.36 c #Conflicts: 775000 | #Constraints: 96537
1976.44/1982.36 c #Conflicts: 776000 | #Constraints: 97537
1976.44/1982.36 c #Conflicts: 777000 | #Constraints: 98537
1976.44/1982.36 c #Conflicts: 778000 | #Constraints: 99537
1976.44/1982.36 c #Conflicts: 779000 | #Constraints: 100537
1976.44/1982.36 c #Conflicts: 780000 | #Constraints: 101537
1976.44/1982.36 c #Conflicts: 781000 | #Constraints: 102537
1976.44/1982.36 c INPROCESSING
1976.44/1982.36 c GARBAGE COLLECT
1976.44/1982.36 c rational objective 188.04
2157.22/2163.69 c #Conflicts: 782000 | #Constraints: 77630
2157.22/2163.69 c #Conflicts: 783000 | #Constraints: 78630
2157.22/2163.69 c #Conflicts: 784000 | #Constraints: 79630
2157.22/2163.69 c #Conflicts: 785000 | #Constraints: 80630
2157.22/2163.69 c #Conflicts: 786000 | #Constraints: 81630
2157.22/2163.69 c #Conflicts: 787000 | #Constraints: 82630
2157.22/2163.69 c #Conflicts: 788000 | #Constraints: 83630
2157.22/2163.69 c #Conflicts: 789000 | #Constraints: 84630
2157.22/2163.69 c #Conflicts: 790000 | #Constraints: 85630
2157.22/2163.69 c #Conflicts: 791000 | #Constraints: 86630
2157.22/2163.69 c #Conflicts: 792000 | #Constraints: 87630
2157.22/2163.69 c #Conflicts: 793000 | #Constraints: 88630
2157.22/2163.69 c #Conflicts: 794000 | #Constraints: 89630
2157.22/2163.69 c #Conflicts: 795000 | #Constraints: 90630
2157.22/2163.69 c #Conflicts: 796000 | #Constraints: 91630
2157.22/2163.69 c #Conflicts: 797000 | #Constraints: 92630
2157.22/2163.69 c #Conflicts: 798000 | #Constraints: 93630
2157.22/2163.69 c #Conflicts: 799000 | #Constraints: 94630
2157.22/2163.69 c #Conflicts: 800000 | #Constraints: 95630
2157.22/2163.69 c #Conflicts: 801000 | #Constraints: 96630
2157.22/2163.69 c #Conflicts: 802000 | #Constraints: 97630
2157.22/2163.69 c #Conflicts: 803000 | #Constraints: 98630
2157.22/2163.69 c #Conflicts: 804000 | #Constraints: 99630
2157.22/2163.69 c #Conflicts: 805000 | #Constraints: 100630
2157.22/2163.69 c #Conflicts: 806000 | #Constraints: 101630
2157.22/2163.69 c #Conflicts: 807000 | #Constraints: 102630
2157.22/2163.69 c #Conflicts: 808000 | #Constraints: 103630
2157.22/2163.69 c #Conflicts: 809000 | #Constraints: 104630
2157.22/2163.69 c #Conflicts: 810000 | #Constraints: 105630
2157.22/2163.69 c #Conflicts: 811000 | #Constraints: 106630
2157.22/2163.69 c #Conflicts: 812000 | #Constraints: 107630
2157.22/2163.69 c #Conflicts: 813000 | #Constraints: 108630
2157.22/2163.69 c #Conflicts: 814000 | #Constraints: 109630
2157.22/2163.69 c #Conflicts: 815000 | #Constraints: 110630
2157.22/2163.69 c #Conflicts: 816000 | #Constraints: 111630
2157.22/2163.69 c #Conflicts: 817000 | #Constraints: 112630
2157.22/2163.69 c #Conflicts: 818000 | #Constraints: 113630
2157.22/2163.69 c #Conflicts: 819000 | #Constraints: 114630
2157.22/2163.69 c #Conflicts: 820000 | #Constraints: 115630
2157.22/2163.69 c #Conflicts: 821000 | #Constraints: 116630
2157.22/2163.69 c #Conflicts: 822000 | #Constraints: 117630
2157.22/2163.69 c #Conflicts: 823000 | #Constraints: 118630
2157.22/2163.69 c #Conflicts: 824000 | #Constraints: 119630
2157.22/2163.69 c #Conflicts: 825000 | #Constraints: 120630
2157.22/2163.69 c #Conflicts: 826000 | #Constraints: 121630
2157.22/2163.69 c #Conflicts: 827000 | #Constraints: 122630
2157.22/2163.69 c #Conflicts: 828000 | #Constraints: 123630
2157.22/2163.69 c #Conflicts: 829000 | #Constraints: 124630
2157.22/2163.69 c #Conflicts: 830000 | #Constraints: 125630
2157.22/2163.69 c #Conflicts: 831000 | #Constraints: 126630
2157.22/2163.69 c #Conflicts: 832000 | #Constraints: 127630
2157.22/2163.69 c #Conflicts: 833000 | #Constraints: 128630
2157.22/2163.69 c #Conflicts: 834000 | #Constraints: 129630
2157.22/2163.69 c #Conflicts: 835000 | #Constraints: 130630
2157.22/2163.69 c #Conflicts: 836000 | #Constraints: 131630
2157.22/2163.69 c #Conflicts: 837000 | #Constraints: 132630
2157.22/2163.69 c #Conflicts: 838000 | #Constraints: 133630
2157.22/2163.69 c #Conflicts: 839000 | #Constraints: 134630
2157.22/2163.69 c INPROCESSING
2157.22/2163.69 c GARBAGE COLLECT
2157.22/2163.69 c #Conflicts: 840000 | #Constraints: 80905
2157.22/2163.69 c #Conflicts: 841000 | #Constraints: 81905
2157.22/2163.69 c #Conflicts: 842000 | #Constraints: 82905
2157.22/2163.69 c #Conflicts: 843000 | #Constraints: 83905
2157.22/2163.69 c #Conflicts: 844000 | #Constraints: 84905
2157.22/2163.69 c #Conflicts: 845000 | #Constraints: 85905
2157.22/2163.69 c #Conflicts: 846000 | #Constraints: 86905
2157.22/2163.69 c #Conflicts: 847000 | #Constraints: 87905
2157.22/2163.69 c #Conflicts: 848000 | #Constraints: 88905
2157.22/2163.69 c #Conflicts: 849000 | #Constraints: 89905
2157.22/2163.69 c #Conflicts: 850000 | #Constraints: 90905
2157.22/2163.69 c #Conflicts: 851000 | #Constraints: 91905
2157.22/2163.69 c #Conflicts: 852000 | #Constraints: 92905
2157.22/2163.69 c #Conflicts: 853000 | #Constraints: 93905
2157.22/2163.69 c #Conflicts: 854000 | #Constraints: 94905
2157.22/2163.69 c #Conflicts: 855000 | #Constraints: 95905
2157.22/2163.69 c #Conflicts: 856000 | #Constraints: 96905
2157.22/2163.69 c #Conflicts: 857000 | #Constraints: 97905
2157.22/2163.69 c #Conflicts: 858000 | #Constraints: 98905
2157.22/2163.69 c #Conflicts: 859000 | #Constraints: 99905
2157.22/2163.69 c #Conflicts: 860000 | #Constraints: 100905
2404.71/2411.94 c #Conflicts: 861000 | #Constraints: 101905
2404.71/2411.94 c #Conflicts: 862000 | #Constraints: 102905
2404.71/2411.94 c #Conflicts: 863000 | #Constraints: 103905
2404.71/2411.94 c #Conflicts: 864000 | #Constraints: 104905
2404.71/2411.94 c #Conflicts: 865000 | #Constraints: 105905
2404.71/2411.94 c #Conflicts: 866000 | #Constraints: 106905
2404.71/2411.94 c INPROCESSING
2404.71/2411.94 c GARBAGE COLLECT
2404.71/2411.94 c #Conflicts: 867000 | #Constraints: 80657
2404.71/2411.94 c #Conflicts: 868000 | #Constraints: 81657
2404.71/2411.94 c #Conflicts: 869000 | #Constraints: 82657
2404.71/2411.94 c #Conflicts: 870000 | #Constraints: 83657
2404.71/2411.94 c #Conflicts: 871000 | #Constraints: 84657
2404.71/2411.94 c #Conflicts: 872000 | #Constraints: 85657
2404.71/2411.94 c #Conflicts: 873000 | #Constraints: 86657
2404.71/2411.94 c #Conflicts: 874000 | #Constraints: 87657
2404.71/2411.94 c #Conflicts: 875000 | #Constraints: 88657
2404.71/2411.94 c #Conflicts: 876000 | #Constraints: 89657
2404.71/2411.94 c #Conflicts: 877000 | #Constraints: 90657
2404.71/2411.94 c #Conflicts: 878000 | #Constraints: 91657
2404.71/2411.94 c #Conflicts: 879000 | #Constraints: 92657
2404.71/2411.94 c #Conflicts: 880000 | #Constraints: 93657
2404.71/2411.94 c #Conflicts: 881000 | #Constraints: 94657
2404.71/2411.94 c #Conflicts: 882000 | #Constraints: 95657
2404.71/2411.94 c #Conflicts: 883000 | #Constraints: 96657
2404.71/2411.94 c #Conflicts: 884000 | #Constraints: 97657
2404.71/2411.94 c #Conflicts: 885000 | #Constraints: 98657
2404.71/2411.94 c #Conflicts: 886000 | #Constraints: 99657
2404.71/2411.94 c #Conflicts: 887000 | #Constraints: 100657
2404.71/2411.94 c #Conflicts: 888000 | #Constraints: 101657
2404.71/2411.94 c #Conflicts: 889000 | #Constraints: 102657
2404.71/2411.94 c #Conflicts: 890000 | #Constraints: 103657
2404.71/2411.94 c #Conflicts: 891000 | #Constraints: 104657
2404.71/2411.94 c #Conflicts: 892000 | #Constraints: 105657
2404.71/2411.94 c #Conflicts: 893000 | #Constraints: 106657
2404.71/2411.94 c #Conflicts: 894000 | #Constraints: 107657
2404.71/2411.94 c #Conflicts: 895000 | #Constraints: 108657
2404.71/2411.94 c #Conflicts: 896000 | #Constraints: 109657
2404.71/2411.94 c #Conflicts: 897000 | #Constraints: 110657
2404.71/2411.94 c #Conflicts: 898000 | #Constraints: 111657
2404.71/2411.94 c #Conflicts: 899000 | #Constraints: 112657
2404.71/2411.94 c #Conflicts: 900000 | #Constraints: 113657
2404.71/2411.94 c #Conflicts: 901000 | #Constraints: 114657
2404.71/2411.94 c #Conflicts: 902000 | #Constraints: 115657
2404.71/2411.94 c #Conflicts: 903000 | #Constraints: 116657
2404.71/2411.94 c #Conflicts: 904000 | #Constraints: 117657
2404.71/2411.94 c #Conflicts: 905000 | #Constraints: 118657
2404.71/2411.94 c #Conflicts: 906000 | #Constraints: 119657
2404.71/2411.94 c #Conflicts: 907000 | #Constraints: 120657
2404.71/2411.94 c #Conflicts: 908000 | #Constraints: 121657
2404.71/2411.94 c #Conflicts: 909000 | #Constraints: 122658
2404.71/2411.94 c #Conflicts: 910000 | #Constraints: 123658
2404.71/2411.94 c #Conflicts: 911000 | #Constraints: 124658
2404.71/2411.94 c #Conflicts: 912000 | #Constraints: 125658
2404.71/2411.94 c #Conflicts: 913000 | #Constraints: 126658
2404.71/2411.94 c #Conflicts: 914000 | #Constraints: 127658
2404.71/2411.94 c #Conflicts: 915000 | #Constraints: 128658
2404.71/2411.94 c #Conflicts: 916000 | #Constraints: 129658
2404.71/2411.94 c #Conflicts: 917000 | #Constraints: 130658
2404.71/2411.94 c #Conflicts: 918000 | #Constraints: 131658
2404.71/2411.94 c #Conflicts: 919000 | #Constraints: 132658
2404.71/2411.94 c #Conflicts: 920000 | #Constraints: 133658
2404.71/2411.94 c #Conflicts: 921000 | #Constraints: 134658
2404.71/2411.94 c #Conflicts: 922000 | #Constraints: 135658
2404.71/2411.94 c #Conflicts: 923000 | #Constraints: 136658
2404.71/2411.94 c #Conflicts: 924000 | #Constraints: 137658
2404.71/2411.94 c #Conflicts: 925000 | #Constraints: 138658
2404.71/2411.94 c #Conflicts: 926000 | #Constraints: 139658
2404.71/2411.94 c #Conflicts: 927000 | #Constraints: 140658
2404.71/2411.94 c #Conflicts: 928000 | #Constraints: 141658
2404.71/2411.94 c INPROCESSING
2404.71/2411.94 c GARBAGE COLLECT
2404.71/2411.94 c #Conflicts: 929000 | #Constraints: 84555
2404.71/2411.94 c #Conflicts: 930000 | #Constraints: 85555
2404.71/2411.94 c #Conflicts: 931000 | #Constraints: 86555
2404.71/2411.94 c #Conflicts: 932000 | #Constraints: 87555
2404.71/2411.94 c #Conflicts: 933000 | #Constraints: 88555
2404.71/2411.94 c #Conflicts: 934000 | #Constraints: 89555
2404.71/2411.94 c #Conflicts: 935000 | #Constraints: 90555
2404.71/2411.94 c #Conflicts: 936000 | #Constraints: 91555
2404.71/2411.94 c #Conflicts: 937000 | #Constraints: 92555
2584.60/2592.46 c #Conflicts: 938000 | #Constraints: 93555
2584.60/2592.46 c #Conflicts: 939000 | #Constraints: 94555
2584.60/2592.46 c #Conflicts: 940000 | #Constraints: 95555
2584.60/2592.46 c #Conflicts: 941000 | #Constraints: 96555
2584.60/2592.46 c #Conflicts: 942000 | #Constraints: 97555
2584.60/2592.46 c #Conflicts: 943000 | #Constraints: 98555
2584.60/2592.46 c #Conflicts: 944000 | #Constraints: 99555
2584.60/2592.46 c #Conflicts: 945000 | #Constraints: 100555
2584.60/2592.46 c #Conflicts: 946000 | #Constraints: 101555
2584.60/2592.46 c #Conflicts: 947000 | #Constraints: 102555
2584.60/2592.46 c #Conflicts: 948000 | #Constraints: 103555
2584.60/2592.46 c #Conflicts: 949000 | #Constraints: 104555
2584.60/2592.46 c #Conflicts: 950000 | #Constraints: 105555
2584.60/2592.46 c #Conflicts: 951000 | #Constraints: 106555
2584.60/2592.46 c #Conflicts: 952000 | #Constraints: 107555
2584.60/2592.46 c #Conflicts: 953000 | #Constraints: 108555
2584.60/2592.46 c #Conflicts: 954000 | #Constraints: 109555
2584.60/2592.46 c #Conflicts: 955000 | #Constraints: 110555
2584.60/2592.46 c #Conflicts: 956000 | #Constraints: 111555
2584.60/2592.46 c INPROCESSING
2584.60/2592.46 c GARBAGE COLLECT
2584.60/2592.46 c #Conflicts: 957000 | #Constraints: 84252
2584.60/2592.46 c #Conflicts: 958000 | #Constraints: 85252
2584.60/2592.46 c #Conflicts: 959000 | #Constraints: 86252
2584.60/2592.46 c #Conflicts: 960000 | #Constraints: 87252
2584.60/2592.46 c #Conflicts: 961000 | #Constraints: 88252
2584.60/2592.46 c #Conflicts: 962000 | #Constraints: 89252
2584.60/2592.46 c #Conflicts: 963000 | #Constraints: 90252
2584.60/2592.46 c #Conflicts: 964000 | #Constraints: 91252
2584.60/2592.46 c #Conflicts: 965000 | #Constraints: 92252
2584.60/2592.46 c #Conflicts: 966000 | #Constraints: 93252
2584.60/2592.46 c #Conflicts: 967000 | #Constraints: 94252
2584.60/2592.46 c #Conflicts: 968000 | #Constraints: 95252
2584.60/2592.46 c #Conflicts: 969000 | #Constraints: 96252
2584.60/2592.46 c #Conflicts: 970000 | #Constraints: 97252
2584.60/2592.46 c #Conflicts: 971000 | #Constraints: 98252
2584.60/2592.46 c #Conflicts: 972000 | #Constraints: 99252
2584.60/2592.46 c #Conflicts: 973000 | #Constraints: 100252
2584.60/2592.46 c #Conflicts: 974000 | #Constraints: 101252
2584.60/2592.46 c #Conflicts: 975000 | #Constraints: 102252
2584.60/2592.46 c #Conflicts: 976000 | #Constraints: 103252
2584.60/2592.46 c #Conflicts: 977000 | #Constraints: 104252
2584.60/2592.46 c #Conflicts: 978000 | #Constraints: 105252
2584.60/2592.46 c #Conflicts: 979000 | #Constraints: 106252
2584.60/2592.46 c #Conflicts: 980000 | #Constraints: 107252
2584.60/2592.46 c #Conflicts: 981000 | #Constraints: 108252
2584.60/2592.46 c #Conflicts: 982000 | #Constraints: 109252
2584.60/2592.46 c #Conflicts: 983000 | #Constraints: 110252
2584.60/2592.46 c #Conflicts: 984000 | #Constraints: 111252
2584.60/2592.46 c #Conflicts: 985000 | #Constraints: 112252
2584.60/2592.46 c #Conflicts: 986000 | #Constraints: 113252
2584.60/2592.46 c #Conflicts: 987000 | #Constraints: 114252
2584.60/2592.46 c #Conflicts: 988000 | #Constraints: 115252
2584.60/2592.46 c #Conflicts: 989000 | #Constraints: 116252
2584.60/2592.46 c #Conflicts: 990000 | #Constraints: 117252
2584.60/2592.46 c #Conflicts: 991000 | #Constraints: 118252
2584.60/2592.46 c #Conflicts: 992000 | #Constraints: 119252
2584.60/2592.46 c #Conflicts: 993000 | #Constraints: 120252
2584.60/2592.46 c #Conflicts: 994000 | #Constraints: 121252
2584.60/2592.46 c #Conflicts: 995000 | #Constraints: 122252
2584.60/2592.46 c #Conflicts: 996000 | #Constraints: 123252
2584.60/2592.46 c #Conflicts: 997000 | #Constraints: 124252
2584.60/2592.46 c #Conflicts: 998000 | #Constraints: 125252
2584.60/2592.46 c #Conflicts: 999000 | #Constraints: 126252
2584.60/2592.46 c #Conflicts: 1000000 | #Constraints: 127252
2584.60/2592.46 c #Conflicts: 1001000 | #Constraints: 128252
2584.60/2592.46 c #Conflicts: 1002000 | #Constraints: 129252
2584.60/2592.46 c #Conflicts: 1003000 | #Constraints: 130252
2584.60/2592.46 c #Conflicts: 1004000 | #Constraints: 131252
2584.60/2592.46 c #Conflicts: 1005000 | #Constraints: 132252
2584.60/2592.46 c #Conflicts: 1006000 | #Constraints: 133252
2584.60/2592.46 c #Conflicts: 1007000 | #Constraints: 134252
2584.60/2592.46 c #Conflicts: 1008000 | #Constraints: 135252
2584.60/2592.46 c #Conflicts: 1009000 | #Constraints: 136252
2584.60/2592.46 c #Conflicts: 1010000 | #Constraints: 137252
2584.60/2592.46 c #Conflicts: 1011000 | #Constraints: 138252
2584.60/2592.46 c #Conflicts: 1012000 | #Constraints: 139252
2584.60/2592.46 c #Conflicts: 1013000 | #Constraints: 140252
2584.60/2592.46 c #Conflicts: 1014000 | #Constraints: 141252
2584.60/2592.46 c #Conflicts: 1015000 | #Constraints: 142252
2773.15/2781.65 c #Conflicts: 1016000 | #Constraints: 143252
2773.15/2781.65 c #Conflicts: 1017000 | #Constraints: 144252
2773.15/2781.65 c #Conflicts: 1018000 | #Constraints: 145252
2773.15/2781.65 c #Conflicts: 1019000 | #Constraints: 146252
2773.15/2781.65 c #Conflicts: 1020000 | #Constraints: 147252
2773.15/2781.65 c INPROCESSING
2773.15/2781.65 c GARBAGE COLLECT
2773.15/2781.65 c #Conflicts: 1021000 | #Constraints: 87235
2773.15/2781.65 c #Conflicts: 1022000 | #Constraints: 88235
2773.15/2781.65 c #Conflicts: 1023000 | #Constraints: 89235
2773.15/2781.65 c #Conflicts: 1024000 | #Constraints: 90235
2773.15/2781.65 c #Conflicts: 1025000 | #Constraints: 91235
2773.15/2781.65 c #Conflicts: 1026000 | #Constraints: 92235
2773.15/2781.65 c #Conflicts: 1027000 | #Constraints: 93235
2773.15/2781.65 c #Conflicts: 1028000 | #Constraints: 94235
2773.15/2781.65 c #Conflicts: 1029000 | #Constraints: 95235
2773.15/2781.65 c #Conflicts: 1030000 | #Constraints: 96235
2773.15/2781.65 c #Conflicts: 1031000 | #Constraints: 97235
2773.15/2781.65 c #Conflicts: 1032000 | #Constraints: 98235
2773.15/2781.65 c #Conflicts: 1033000 | #Constraints: 99235
2773.15/2781.65 c #Conflicts: 1034000 | #Constraints: 100235
2773.15/2781.65 c #Conflicts: 1035000 | #Constraints: 101235
2773.15/2781.65 c #Conflicts: 1036000 | #Constraints: 102235
2773.15/2781.65 c #Conflicts: 1037000 | #Constraints: 103235
2773.15/2781.65 c #Conflicts: 1038000 | #Constraints: 104235
2773.15/2781.65 c #Conflicts: 1039000 | #Constraints: 105235
2773.15/2781.65 c #Conflicts: 1040000 | #Constraints: 106235
2773.15/2781.65 c #Conflicts: 1041000 | #Constraints: 107235
2773.15/2781.65 c #Conflicts: 1042000 | #Constraints: 108235
2773.15/2781.65 c #Conflicts: 1043000 | #Constraints: 109235
2773.15/2781.65 c #Conflicts: 1044000 | #Constraints: 110235
2773.15/2781.65 c #Conflicts: 1045000 | #Constraints: 111235
2773.15/2781.65 c #Conflicts: 1046000 | #Constraints: 112235
2773.15/2781.65 c #Conflicts: 1047000 | #Constraints: 113235
2773.15/2781.65 c #Conflicts: 1048000 | #Constraints: 114235
2773.15/2781.65 c #Conflicts: 1049000 | #Constraints: 115235
2773.15/2781.65 c #Conflicts: 1050000 | #Constraints: 116235
2773.15/2781.65 c INPROCESSING
2773.15/2781.65 c GARBAGE COLLECT
2773.15/2781.65 c #Conflicts: 1051000 | #Constraints: 87079
2773.15/2781.65 c #Conflicts: 1052000 | #Constraints: 88079
2773.15/2781.65 c #Conflicts: 1053000 | #Constraints: 89079
2773.15/2781.65 c #Conflicts: 1054000 | #Constraints: 90079
2773.15/2781.65 c #Conflicts: 1055000 | #Constraints: 91079
2773.15/2781.65 c #Conflicts: 1056000 | #Constraints: 92079
2773.15/2781.65 c #Conflicts: 1057000 | #Constraints: 93079
2773.15/2781.65 c #Conflicts: 1058000 | #Constraints: 94079
2773.15/2781.65 c #Conflicts: 1059000 | #Constraints: 95079
2773.15/2781.65 c #Conflicts: 1060000 | #Constraints: 96079
2773.15/2781.65 c #Conflicts: 1061000 | #Constraints: 97079
2773.15/2781.65 c #Conflicts: 1062000 | #Constraints: 98079
2773.15/2781.65 c #Conflicts: 1063000 | #Constraints: 99079
2773.15/2781.65 c #Conflicts: 1064000 | #Constraints: 100079
2773.15/2781.65 c #Conflicts: 1065000 | #Constraints: 101079
2773.15/2781.65 c #Conflicts: 1066000 | #Constraints: 102079
2773.15/2781.65 c #Conflicts: 1067000 | #Constraints: 103079
2773.15/2781.65 c #Conflicts: 1068000 | #Constraints: 104079
2773.15/2781.65 c #Conflicts: 1069000 | #Constraints: 105079
2773.15/2781.65 c #Conflicts: 1070000 | #Constraints: 106079
2773.15/2781.65 c #Conflicts: 1071000 | #Constraints: 107079
2773.15/2781.65 c #Conflicts: 1072000 | #Constraints: 108079
2773.15/2781.65 c #Conflicts: 1073000 | #Constraints: 109079
2773.15/2781.65 c #Conflicts: 1074000 | #Constraints: 110079
2773.15/2781.65 c #Conflicts: 1075000 | #Constraints: 111079
2773.15/2781.65 c #Conflicts: 1076000 | #Constraints: 112079
2773.15/2781.65 c #Conflicts: 1077000 | #Constraints: 113079
2773.15/2781.65 c #Conflicts: 1078000 | #Constraints: 114079
2773.15/2781.65 c #Conflicts: 1079000 | #Constraints: 115079
2773.15/2781.65 c #Conflicts: 1080000 | #Constraints: 116079
2773.15/2781.65 c #Conflicts: 1081000 | #Constraints: 117079
2773.15/2781.65 c #Conflicts: 1082000 | #Constraints: 118079
2773.15/2781.65 c #Conflicts: 1083000 | #Constraints: 119079
2773.15/2781.65 c #Conflicts: 1084000 | #Constraints: 120079
2773.15/2781.65 c #Conflicts: 1085000 | #Constraints: 121079
2773.15/2781.65 c #Conflicts: 1086000 | #Constraints: 122079
2773.15/2781.65 c #Conflicts: 1087000 | #Constraints: 123079
2773.15/2781.65 c #Conflicts: 1088000 | #Constraints: 124079
2773.15/2781.65 c #Conflicts: 1089000 | #Constraints: 125079
2773.15/2781.65 c #Conflicts: 1090000 | #Constraints: 126079
2773.15/2781.65 c #Conflicts: 1091000 | #Constraints: 127079
2773.15/2781.65 c #Conflicts: 1092000 | #Constraints: 128079
2773.15/2781.65 c #Conflicts: 1093000 | #Constraints: 129079
2974.76/2983.94 c #Conflicts: 1094000 | #Constraints: 130079
2974.76/2983.94 c #Conflicts: 1095000 | #Constraints: 131079
2974.76/2983.94 c #Conflicts: 1096000 | #Constraints: 132079
2974.76/2983.94 c #Conflicts: 1097000 | #Constraints: 133079
2974.76/2983.94 c #Conflicts: 1098000 | #Constraints: 134079
2974.76/2983.94 c #Conflicts: 1099000 | #Constraints: 135079
2974.76/2983.94 c #Conflicts: 1100000 | #Constraints: 136079
2974.76/2983.94 c #Conflicts: 1101000 | #Constraints: 137079
2974.76/2983.94 c #Conflicts: 1102000 | #Constraints: 138079
2974.76/2983.94 c #Conflicts: 1103000 | #Constraints: 139079
2974.76/2983.94 c #Conflicts: 1104000 | #Constraints: 140079
2974.76/2983.94 c #Conflicts: 1105000 | #Constraints: 141079
2974.76/2983.94 c #Conflicts: 1106000 | #Constraints: 142079
2974.76/2983.94 c #Conflicts: 1107000 | #Constraints: 143079
2974.76/2983.94 c #Conflicts: 1108000 | #Constraints: 144079
2974.76/2983.94 c #Conflicts: 1109000 | #Constraints: 145079
2974.76/2983.94 c #Conflicts: 1110000 | #Constraints: 146079
2974.76/2983.94 c #Conflicts: 1111000 | #Constraints: 147079
2974.76/2983.94 c #Conflicts: 1112000 | #Constraints: 148079
2974.76/2983.94 c #Conflicts: 1113000 | #Constraints: 149079
2974.76/2983.94 c #Conflicts: 1114000 | #Constraints: 150079
2974.76/2983.94 c #Conflicts: 1115000 | #Constraints: 151079
2974.76/2983.94 c #Conflicts: 1116000 | #Constraints: 152079
2974.76/2983.94 c #Conflicts: 1117000 | #Constraints: 153079
2974.76/2983.94 c #Conflicts: 1118000 | #Constraints: 154079
2974.76/2983.94 c INPROCESSING
2974.76/2983.94 c GARBAGE COLLECT
2974.76/2983.94 c #Conflicts: 1119000 | #Constraints: 91045
2974.76/2983.94 c #Conflicts: 1120000 | #Constraints: 92045
2974.76/2983.94 c #Conflicts: 1121000 | #Constraints: 93045
2974.76/2983.94 c #Conflicts: 1122000 | #Constraints: 94045
2974.76/2983.94 c #Conflicts: 1123000 | #Constraints: 95045
2974.76/2983.94 c #Conflicts: 1124000 | #Constraints: 96045
2974.76/2983.94 c #Conflicts: 1125000 | #Constraints: 97045
2974.76/2983.94 c #Conflicts: 1126000 | #Constraints: 98045
2974.76/2983.94 c #Conflicts: 1127000 | #Constraints: 99045
2974.76/2983.94 c #Conflicts: 1128000 | #Constraints: 100045
2974.76/2983.94 c #Conflicts: 1129000 | #Constraints: 101045
2974.76/2983.94 c #Conflicts: 1130000 | #Constraints: 102045
2974.76/2983.94 c #Conflicts: 1131000 | #Constraints: 103045
2974.76/2983.94 c #Conflicts: 1132000 | #Constraints: 104045
2974.76/2983.94 c #Conflicts: 1133000 | #Constraints: 105045
2974.76/2983.94 c #Conflicts: 1134000 | #Constraints: 106045
2974.76/2983.94 c #Conflicts: 1135000 | #Constraints: 107045
2974.76/2983.94 c #Conflicts: 1136000 | #Constraints: 108045
2974.76/2983.94 c #Conflicts: 1137000 | #Constraints: 109045
2974.76/2983.94 c #Conflicts: 1138000 | #Constraints: 110045
2974.76/2983.94 c #Conflicts: 1139000 | #Constraints: 111045
2974.76/2983.94 c #Conflicts: 1140000 | #Constraints: 112045
2974.76/2983.94 c #Conflicts: 1141000 | #Constraints: 113045
2974.76/2983.94 c #Conflicts: 1142000 | #Constraints: 114045
2974.76/2983.94 c #Conflicts: 1143000 | #Constraints: 115045
2974.76/2983.94 c #Conflicts: 1144000 | #Constraints: 116045
2974.76/2983.94 c #Conflicts: 1145000 | #Constraints: 117045
2974.76/2983.94 c #Conflicts: 1146000 | #Constraints: 118045
2974.76/2983.94 c #Conflicts: 1147000 | #Constraints: 119045
2974.76/2983.94 c #Conflicts: 1148000 | #Constraints: 120045
2974.76/2983.94 c INPROCESSING
2974.76/2983.94 c GARBAGE COLLECT
2974.76/2983.94 c #Conflicts: 1149000 | #Constraints: 89448
2974.76/2983.94 c #Conflicts: 1150000 | #Constraints: 90448
2974.76/2983.94 c #Conflicts: 1151000 | #Constraints: 91448
2974.76/2983.94 c #Conflicts: 1152000 | #Constraints: 92448
2974.76/2983.94 c #Conflicts: 1153000 | #Constraints: 93448
2974.76/2983.94 c #Conflicts: 1154000 | #Constraints: 94448
2974.76/2983.94 c #Conflicts: 1155000 | #Constraints: 95448
2974.76/2983.94 c #Conflicts: 1156000 | #Constraints: 96448
2974.76/2983.94 c #Conflicts: 1157000 | #Constraints: 97448
2974.76/2983.94 c #Conflicts: 1158000 | #Constraints: 98448
2974.76/2983.94 c #Conflicts: 1159000 | #Constraints: 99448
2974.76/2983.94 c #Conflicts: 1160000 | #Constraints: 100448
2974.76/2983.94 c #Conflicts: 1161000 | #Constraints: 101448
2974.76/2983.94 c #Conflicts: 1162000 | #Constraints: 102448
2974.76/2983.94 c #Conflicts: 1163000 | #Constraints: 103448
2974.76/2983.94 c #Conflicts: 1164000 | #Constraints: 104448
2974.76/2983.94 c #Conflicts: 1165000 | #Constraints: 105448
2974.76/2983.94 c #Conflicts: 1166000 | #Constraints: 106448
2974.76/2983.94 c #Conflicts: 1167000 | #Constraints: 107448
2974.76/2983.94 c #Conflicts: 1168000 | #Constraints: 108448
2974.76/2983.94 c #Conflicts: 1169000 | #Constraints: 109448
2974.76/2983.94 c #Conflicts: 1170000 | #Constraints: 110448
3221.32/3231.32 c #Conflicts: 1171000 | #Constraints: 111448
3221.32/3231.32 c #Conflicts: 1172000 | #Constraints: 112448
3221.32/3231.32 c #Conflicts: 1173000 | #Constraints: 113448
3221.32/3231.32 c #Conflicts: 1174000 | #Constraints: 114448
3221.32/3231.32 c #Conflicts: 1175000 | #Constraints: 115448
3221.32/3231.32 c #Conflicts: 1176000 | #Constraints: 116448
3221.32/3231.32 c #Conflicts: 1177000 | #Constraints: 117448
3221.32/3231.32 c #Conflicts: 1178000 | #Constraints: 118448
3221.32/3231.32 c #Conflicts: 1179000 | #Constraints: 119448
3221.32/3231.32 c #Conflicts: 1180000 | #Constraints: 120448
3221.32/3231.32 c #Conflicts: 1181000 | #Constraints: 121448
3221.32/3231.32 c #Conflicts: 1182000 | #Constraints: 122448
3221.32/3231.32 c #Conflicts: 1183000 | #Constraints: 123448
3221.32/3231.32 c #Conflicts: 1184000 | #Constraints: 124448
3221.32/3231.32 c #Conflicts: 1185000 | #Constraints: 125448
3221.32/3231.32 c #Conflicts: 1186000 | #Constraints: 126448
3221.32/3231.32 c #Conflicts: 1187000 | #Constraints: 127448
3221.32/3231.32 c #Conflicts: 1188000 | #Constraints: 128448
3221.32/3231.32 c #Conflicts: 1189000 | #Constraints: 129448
3221.32/3231.32 c #Conflicts: 1190000 | #Constraints: 130448
3221.32/3231.32 c #Conflicts: 1191000 | #Constraints: 131448
3221.32/3231.32 c #Conflicts: 1192000 | #Constraints: 132448
3221.32/3231.32 c #Conflicts: 1193000 | #Constraints: 133448
3221.32/3231.32 c #Conflicts: 1194000 | #Constraints: 134448
3221.32/3231.32 c #Conflicts: 1195000 | #Constraints: 135448
3221.32/3231.32 c #Conflicts: 1196000 | #Constraints: 136448
3221.32/3231.32 c #Conflicts: 1197000 | #Constraints: 137448
3221.32/3231.32 c #Conflicts: 1198000 | #Constraints: 138448
3221.32/3231.32 c #Conflicts: 1199000 | #Constraints: 139448
3221.32/3231.32 c #Conflicts: 1200000 | #Constraints: 140448
3221.32/3231.32 c #Conflicts: 1201000 | #Constraints: 141448
3221.32/3231.32 c #Conflicts: 1202000 | #Constraints: 142448
3221.32/3231.32 c #Conflicts: 1203000 | #Constraints: 143448
3221.32/3231.32 c #Conflicts: 1204000 | #Constraints: 144448
3221.32/3231.32 c #Conflicts: 1205000 | #Constraints: 145448
3221.32/3231.32 c #Conflicts: 1206000 | #Constraints: 146448
3221.32/3231.32 c #Conflicts: 1207000 | #Constraints: 147448
3221.32/3231.32 c #Conflicts: 1208000 | #Constraints: 148448
3221.32/3231.32 c #Conflicts: 1209000 | #Constraints: 149448
3221.32/3231.32 c #Conflicts: 1210000 | #Constraints: 150448
3221.32/3231.32 c #Conflicts: 1211000 | #Constraints: 151448
3221.32/3231.32 c #Conflicts: 1212000 | #Constraints: 152448
3221.32/3231.32 c #Conflicts: 1213000 | #Constraints: 153448
3221.32/3231.32 c #Conflicts: 1214000 | #Constraints: 154448
3221.32/3231.32 c #Conflicts: 1215000 | #Constraints: 155448
3221.32/3231.32 c #Conflicts: 1216000 | #Constraints: 156448
3221.32/3231.32 c #Conflicts: 1217000 | #Constraints: 157448
3221.32/3231.32 c #Conflicts: 1218000 | #Constraints: 158448
3221.32/3231.32 c #Conflicts: 1219000 | #Constraints: 159448
3221.32/3231.32 c INPROCESSING
3221.32/3231.32 c GARBAGE COLLECT
3221.32/3231.32 c #Conflicts: 1220000 | #Constraints: 93521
3221.32/3231.32 c #Conflicts: 1221000 | #Constraints: 94521
3221.32/3231.32 c #Conflicts: 1222000 | #Constraints: 95521
3221.32/3231.32 c #Conflicts: 1223000 | #Constraints: 96521
3221.32/3231.32 c #Conflicts: 1224000 | #Constraints: 97521
3221.32/3231.32 c #Conflicts: 1225000 | #Constraints: 98521
3221.32/3231.32 c #Conflicts: 1226000 | #Constraints: 99521
3221.32/3231.32 c #Conflicts: 1227000 | #Constraints: 100521
3221.32/3231.32 c #Conflicts: 1228000 | #Constraints: 101521
3221.32/3231.32 c #Conflicts: 1229000 | #Constraints: 102521
3221.32/3231.32 c #Conflicts: 1230000 | #Constraints: 103521
3221.32/3231.32 c #Conflicts: 1231000 | #Constraints: 104521
3221.32/3231.32 c #Conflicts: 1232000 | #Constraints: 105521
3221.32/3231.32 c #Conflicts: 1233000 | #Constraints: 106521
3221.32/3231.32 c #Conflicts: 1234000 | #Constraints: 107521
3221.32/3231.32 c #Conflicts: 1235000 | #Constraints: 108521
3221.32/3231.32 c #Conflicts: 1236000 | #Constraints: 109521
3221.32/3231.32 c #Conflicts: 1237000 | #Constraints: 110521
3221.32/3231.32 c #Conflicts: 1238000 | #Constraints: 111521
3221.32/3231.32 c #Conflicts: 1239000 | #Constraints: 112521
3221.32/3231.32 c #Conflicts: 1240000 | #Constraints: 113521
3221.32/3231.32 c #Conflicts: 1241000 | #Constraints: 114521
3221.32/3231.32 c #Conflicts: 1242000 | #Constraints: 115521
3221.32/3231.32 c #Conflicts: 1243000 | #Constraints: 116521
3221.32/3231.32 c #Conflicts: 1244000 | #Constraints: 117521
3221.32/3231.32 c #Conflicts: 1245000 | #Constraints: 118521
3221.32/3231.32 c #Conflicts: 1246000 | #Constraints: 119521
3221.32/3231.32 c #Conflicts: 1247000 | #Constraints: 120521
3221.32/3231.32 c #Conflicts: 1248000 | #Constraints: 121521
3450.87/3461.61 c #Conflicts: 1249000 | #Constraints: 122521
3450.87/3461.61 c #Conflicts: 1250000 | #Constraints: 123521
3450.87/3461.61 c #Conflicts: 1251000 | #Constraints: 124521
3450.87/3461.61 c INPROCESSING
3450.87/3461.61 c GARBAGE COLLECT
3450.87/3461.61 c #Conflicts: 1252000 | #Constraints: 92898
3450.87/3461.61 c #Conflicts: 1253000 | #Constraints: 93898
3450.87/3461.61 c #Conflicts: 1254000 | #Constraints: 94898
3450.87/3461.61 c #Conflicts: 1255000 | #Constraints: 95898
3450.87/3461.61 c #Conflicts: 1256000 | #Constraints: 96898
3450.87/3461.61 c #Conflicts: 1257000 | #Constraints: 97898
3450.87/3461.61 c #Conflicts: 1258000 | #Constraints: 98898
3450.87/3461.61 c #Conflicts: 1259000 | #Constraints: 99898
3450.87/3461.61 c #Conflicts: 1260000 | #Constraints: 100898
3450.87/3461.61 c #Conflicts: 1261000 | #Constraints: 101898
3450.87/3461.61 c #Conflicts: 1262000 | #Constraints: 102898
3450.87/3461.61 c #Conflicts: 1263000 | #Constraints: 103898
3450.87/3461.61 c #Conflicts: 1264000 | #Constraints: 104898
3450.87/3461.61 c #Conflicts: 1265000 | #Constraints: 105898
3450.87/3461.61 c #Conflicts: 1266000 | #Constraints: 106898
3450.87/3461.61 c #Conflicts: 1267000 | #Constraints: 107898
3450.87/3461.62 c #Conflicts: 1268000 | #Constraints: 108898
3450.87/3461.62 c #Conflicts: 1269000 | #Constraints: 109898
3450.87/3461.62 c #Conflicts: 1270000 | #Constraints: 110898
3450.87/3461.62 c #Conflicts: 1271000 | #Constraints: 111898
3450.87/3461.62 c #Conflicts: 1272000 | #Constraints: 112898
3450.87/3461.62 c #Conflicts: 1273000 | #Constraints: 113898
3450.87/3461.62 c #Conflicts: 1274000 | #Constraints: 114898
3450.87/3461.62 c #Conflicts: 1275000 | #Constraints: 115898
3450.87/3461.62 c #Conflicts: 1276000 | #Constraints: 116898
3450.87/3461.62 c #Conflicts: 1277000 | #Constraints: 117898
3450.87/3461.62 c #Conflicts: 1278000 | #Constraints: 118898
3450.87/3461.62 c #Conflicts: 1279000 | #Constraints: 119898
3450.87/3461.62 c #Conflicts: 1280000 | #Constraints: 120898
3450.87/3461.62 c #Conflicts: 1281000 | #Constraints: 121898
3450.87/3461.62 c #Conflicts: 1282000 | #Constraints: 122898
3450.87/3461.62 c #Conflicts: 1283000 | #Constraints: 123898
3450.87/3461.62 c #Conflicts: 1284000 | #Constraints: 124898
3450.87/3461.62 c #Conflicts: 1285000 | #Constraints: 125898
3450.87/3461.62 c #Conflicts: 1286000 | #Constraints: 126898
3450.87/3461.62 c #Conflicts: 1287000 | #Constraints: 127898
3450.87/3461.62 c #Conflicts: 1288000 | #Constraints: 128898
3450.87/3461.62 c #Conflicts: 1289000 | #Constraints: 129898
3450.87/3461.62 c #Conflicts: 1290000 | #Constraints: 130898
3450.87/3461.62 c #Conflicts: 1291000 | #Constraints: 131898
3450.87/3461.62 c #Conflicts: 1292000 | #Constraints: 132898
3450.87/3461.62 c #Conflicts: 1293000 | #Constraints: 133898
3450.87/3461.62 c #Conflicts: 1294000 | #Constraints: 134898
3450.87/3461.62 c #Conflicts: 1295000 | #Constraints: 135898
3450.87/3461.62 c #Conflicts: 1296000 | #Constraints: 136898
3450.87/3461.62 c #Conflicts: 1297000 | #Constraints: 137898
3450.87/3461.62 c #Conflicts: 1298000 | #Constraints: 138898
3450.87/3461.62 c #Conflicts: 1299000 | #Constraints: 139898
3450.87/3461.62 c #Conflicts: 1300000 | #Constraints: 140898
3450.87/3461.62 c #Conflicts: 1301000 | #Constraints: 141898
3450.87/3461.62 c #Conflicts: 1302000 | #Constraints: 142898
3450.87/3461.62 c #Conflicts: 1303000 | #Constraints: 143898
3450.87/3461.62 c #Conflicts: 1304000 | #Constraints: 144898
3450.87/3461.62 c #Conflicts: 1305000 | #Constraints: 145898
3450.87/3461.62 c #Conflicts: 1306000 | #Constraints: 146898
3450.87/3461.62 c #Conflicts: 1307000 | #Constraints: 147898
3450.87/3461.62 c #Conflicts: 1308000 | #Constraints: 148898
3450.87/3461.62 c #Conflicts: 1309000 | #Constraints: 149898
3450.87/3461.62 c #Conflicts: 1310000 | #Constraints: 150898
3450.87/3461.62 c #Conflicts: 1311000 | #Constraints: 151898
3450.87/3461.62 c #Conflicts: 1312000 | #Constraints: 152898
3450.87/3461.62 c #Conflicts: 1313000 | #Constraints: 153898
3450.87/3461.62 c #Conflicts: 1314000 | #Constraints: 154898
3450.87/3461.62 c #Conflicts: 1315000 | #Constraints: 155898
3450.87/3461.62 c #Conflicts: 1316000 | #Constraints: 156898
3450.87/3461.62 c #Conflicts: 1317000 | #Constraints: 157898
3450.87/3461.62 c #Conflicts: 1318000 | #Constraints: 158898
3450.87/3461.62 c #Conflicts: 1319000 | #Constraints: 159898
3450.87/3461.62 c #Conflicts: 1320000 | #Constraints: 160898
3450.87/3461.62 c #Conflicts: 1321000 | #Constraints: 161898
3450.87/3461.62 c #Conflicts: 1322000 | #Constraints: 162898
3450.87/3461.62 c #Conflicts: 1323000 | #Constraints: 163898
3450.87/3461.62 c #Conflicts: 1324000 | #Constraints: 164898
3450.87/3461.62 c #Conflicts: 1325000 | #Constraints: 165898
3450.87/3461.62 c INPROCESSING
3450.87/3461.62 c GARBAGE COLLECT
3450.87/3461.62 c #Conflicts: 1326000 | #Constraints: 97034
3600.01/3611.11 c #Conflicts: 1327000 | #Constraints: 98034
3600.01/3611.11 c #Conflicts: 1328000 | #Constraints: 99034
3600.01/3611.11 c #Conflicts: 1329000 | #Constraints: 100034
3600.01/3611.11 c #Conflicts: 1330000 | #Constraints: 101034
3600.01/3611.11 c #Conflicts: 1331000 | #Constraints: 102034
3600.01/3611.11 c #Conflicts: 1332000 | #Constraints: 103034
3600.01/3611.11 c #Conflicts: 1333000 | #Constraints: 104034
3600.01/3611.11 c #Conflicts: 1334000 | #Constraints: 105034
3600.01/3611.11 c #Conflicts: 1335000 | #Constraints: 106034
3600.01/3611.11 c #Conflicts: 1336000 | #Constraints: 107034
3600.01/3611.11 c #Conflicts: 1337000 | #Constraints: 108034
3600.01/3611.11 c #Conflicts: 1338000 | #Constraints: 109034
3600.01/3611.11 c #Conflicts: 1339000 | #Constraints: 110034
3600.01/3611.11 c #Conflicts: 1340000 | #Constraints: 111034
3600.01/3611.11 c #Conflicts: 1341000 | #Constraints: 112034
3600.01/3611.11 c #Conflicts: 1342000 | #Constraints: 113034
3600.01/3611.11 c #Conflicts: 1343000 | #Constraints: 114034
3600.01/3611.11 c #Conflicts: 1344000 | #Constraints: 115034
3600.01/3611.11 c #Conflicts: 1345000 | #Constraints: 116034
3600.01/3611.11 c #Conflicts: 1346000 | #Constraints: 117034
3600.01/3611.11 c #Conflicts: 1347000 | #Constraints: 118034
3600.01/3611.11 c #Conflicts: 1348000 | #Constraints: 119034
3600.01/3611.11 c #Conflicts: 1349000 | #Constraints: 120034
3600.01/3611.11 c #Conflicts: 1350000 | #Constraints: 121034
3600.01/3611.11 c #Conflicts: 1351000 | #Constraints: 122034
3600.01/3611.11 c #Conflicts: 1352000 | #Constraints: 123034
3600.01/3611.11 c #Conflicts: 1353000 | #Constraints: 124034
3600.01/3611.11 c #Conflicts: 1354000 | #Constraints: 125034
3600.01/3611.11 c #Conflicts: 1355000 | #Constraints: 126034
3600.01/3611.11 c #Conflicts: 1356000 | #Constraints: 127034
3600.01/3611.11 c #Conflicts: 1357000 | #Constraints: 128034
3600.01/3611.11 c #Conflicts: 1358000 | #Constraints: 129034
3600.01/3611.11 c INPROCESSING
3600.01/3611.11 c GARBAGE COLLECT
3600.01/3611.11 c #Conflicts: 1359000 | #Constraints: 95621
3600.01/3611.11 c #Conflicts: 1360000 | #Constraints: 96621
3600.01/3611.11 c #Conflicts: 1361000 | #Constraints: 97621
3600.01/3611.11 c #Conflicts: 1362000 | #Constraints: 98621
3600.01/3611.11 c #Conflicts: 1363000 | #Constraints: 99621
3600.01/3611.11 c #Conflicts: 1364000 | #Constraints: 100621
3600.01/3611.11 c #Conflicts: 1365000 | #Constraints: 101621
3600.01/3611.11 c #Conflicts: 1366000 | #Constraints: 102621
3600.01/3611.11 c #Conflicts: 1367000 | #Constraints: 103621
3600.01/3611.11 c #Conflicts: 1368000 | #Constraints: 104621
3600.01/3611.11 c #Conflicts: 1369000 | #Constraints: 105621
3600.01/3611.11 c #Conflicts: 1370000 | #Constraints: 106621
3600.01/3611.11 c #Conflicts: 1371000 | #Constraints: 107621
3600.01/3611.11 c #Conflicts: 1372000 | #Constraints: 108621
3600.01/3611.11 c #Conflicts: 1373000 | #Constraints: 109621
3600.01/3611.11 c #Conflicts: 1374000 | #Constraints: 110621
3600.01/3611.11 c #Conflicts: 1375000 | #Constraints: 111621
3600.01/3611.11 c #Conflicts: 1376000 | #Constraints: 112621
3600.01/3611.11 c #Conflicts: 1377000 | #Constraints: 113621
3600.01/3611.11 c #Conflicts: 1378000 | #Constraints: 114621
3600.01/3611.11 c #Conflicts: 1379000 | #Constraints: 115621
3600.01/3611.11 c #Conflicts: 1380000 | #Constraints: 116621
3600.01/3611.11 c #Conflicts: 1381000 | #Constraints: 117621
3600.01/3611.11 c #Conflicts: 1382000 | #Constraints: 118621
3600.01/3611.11 c #Conflicts: 1383000 | #Constraints: 119621
3600.01/3611.11 c #Conflicts: 1384000 | #Constraints: 120621
3600.01/3611.11 c #Conflicts: 1385000 | #Constraints: 121621
3600.01/3611.11 c #Conflicts: 1386000 | #Constraints: 122621
3600.01/3611.11 c #Conflicts: 1387000 | #Constraints: 123621
3600.01/3611.11 c #Conflicts: 1388000 | #Constraints: 124621
3600.01/3611.11 c #Conflicts: 1389000 | #Constraints: 125621
3600.01/3611.11 c #Conflicts: 1390000 | #Constraints: 126621
3600.01/3611.11 c #Conflicts: 1391000 | #Constraints: 127621
3600.01/3611.11 c #Conflicts: 1392000 | #Constraints: 128621
3600.01/3611.11 c cpu time 3563.54 s
3600.01/3611.11 c deterministic time 256873429675 2.57e+11
3600.01/3611.11 c optimization time 66.9925 s
3600.01/3611.11 c total solve time 3496.31 s
3600.01/3611.11 c core-guided solve time 0 s
3600.01/3611.11 c propagation time 1983.63 s
3600.01/3611.11 c conflict analysis time 1008.96 s
3600.01/3611.11 c propagations 1456995096
3600.01/3611.11 c resolve steps 77283515
3600.01/3611.11 c decisions 40983726
3600.01/3611.11 c conflicts 1392992
3600.01/3611.11 c restarts 2682
3600.01/3611.11 c inprocessing phases 48
3600.01/3611.11 c garbage collections 48 ,( 100.00 )
3600.01/3611.11 c input clauses 22701 ,( 99.18 )
3600.01/3611.11 c input cardinalities 188 ,( 0.82 )
3600.01/3611.11 c input general constraints 0 ,( 0.00 )
3600.01/3611.11 c input average constraint length 6.41
3600.01/3611.11 c input average constraint degree 1.96
3600.01/3611.11 c learned clauses 994756 ,( 71.41 )
3600.01/3611.11 c learned cardinalities 50492 ,( 3.62 )
3600.01/3611.11 c learned general constraints 347750 ,( 24.96 )
3600.01/3611.11 c learned average constraint length 661.39
3600.01/3611.11 c learned average constraint degree 17830492.10
3600.01/3611.11 c watched CF 32, 64, 128, Arb: 81342 , 0 , 0 , 0
3600.01/3611.11 c counting CF 32, 64, 128, Arb: 266408 , 0 , 0 , 0
3600.01/3611.11 c watched constraints 81342 ,( 23.39 )
3600.01/3611.11 c counting constraints 266408 ,( 76.61 )
3600.01/3611.11 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1284386351 , 846426203 , 2110259748 ,( 88464779 , 2021794969 )
3600.01/3611.11 c gcd simplifications 670
3600.01/3611.11 c detected cardinalities 8306
3600.01/3611.11 c weakened non-implied lits 368479342
3600.01/3611.11 c weakened non-implying lits 166323
3600.01/3611.11 c original variables 22417
3600.01/3611.11 c clausal propagations 685811000
3600.01/3611.11 c cardinality propagations 530524541
3600.01/3611.11 c watched propagations 4364487
3600.01/3611.11 c counting propagations 222246767
3600.01/3611.11 c watch lookups 76179155363
3600.01/3611.11 c watch backjump lookups 0
3600.01/3611.11 c watch checks 31473209054
3600.01/3611.11 c propagation checks 141821111970
3600.01/3611.11 c constraint additions 4402335492
3600.01/3611.11 c trail pops 1499356025
3600.01/3611.11 c formula constraints 22889
3600.01/3611.11 c learned constraints 1392989
3600.01/3611.11 c bound constraints 0
3600.01/3611.11 c core-guided constraints 0
3600.01/3611.11 c encountered formula constraints 47977990
3600.01/3611.11 c encountered learned constraints 30698487
3600.01/3611.11 c encountered bound constraints 0
3600.01/3611.11 c encountered core-guided constraints 0
3600.01/3611.11 c LP total time 594.45 s
3600.01/3611.11 c LP solve time 586.86 s
3600.01/3611.11 c LP constraints added 23287
3600.01/3611.11 c LP constraints removed 121
3600.01/3611.11 c LP pivots internal 146259
3600.01/3611.11 c LP pivots root 136689
3600.01/3611.11 c LP calls 14
3600.01/3611.11 c LP optimalities 5
3600.01/3611.11 c LP no pivot count 0
3600.01/3611.11 c LP infeasibilities 3
3600.01/3611.11 c LP valid Farkas constraints 3
3600.01/3611.11 c LP learned Farkas constraints 3
3600.01/3611.11 c LP basis resets 0
3600.01/3611.11 c LP cycling count 0
3600.01/3611.11 c LP singular count 0
3600.01/3611.11 c LP no primal count 0
3600.01/3611.11 c LP no farkas count 0
3600.01/3611.11 c LP other issue count 0
3600.01/3611.11 c LP Gomory cuts 3
3600.01/3611.11 c LP learned cuts 395
3600.01/3611.11 c LP deleted cuts 121
3600.01/3611.11 c LP encountered Gomory constraints 1
3600.01/3611.11 c LP encountered Farkas constraints 24
3600.01/3611.11 c LP encountered learned Farkas constraints 2
3600.01/3611.11 c CG auxiliary variables introduced 0
3600.01/3611.11 c CG solutions found 0
3600.01/3611.11 c CG cores constructed 0
3600.01/3611.11 c CG core cardinality constraints returned 0
3600.01/3611.11 c CG unit cores 0
3600.01/3611.11 c CG single cores 0
3600.01/3611.11 c CG blocks removed during cardinality reduction 0
3600.01/3611.11 c CG first core best 0
3600.01/3611.11 c CG decision core best 0
3600.01/3611.11 c CG core reduction tie 0
3600.01/3611.11 c CG core degree average 0.00
3600.01/3611.11 c CG core slack average 0.00
3600.01/3611.11 c CG core upper bound improvements 0
3600.01/3611.11 c STR number of successful calls 0
3600.01/3611.11 c STR number of unsuccessful calls 0
3600.01/3611.11 c STR number of inconclusive calls 0
3600.01/3611.11 c STR number of successful attempts 0
3600.01/3611.11 c STR number of unsuccessful attempts 0
3600.01/3611.11 c STR number of inconclusive attempts 0
3600.01/3611.11 c STR average degree increase per successful call inf
3600.01/3611.11 c STR average degree increase per successful attempt inf
3600.01/3611.11 c STR total number of conflicts for successful attempts 0
3600.01/3611.11 c STR total number of conflicts for unsuccessful attempts 0
3600.01/3611.11 c STR total number of conflicts for inconclusive attempts 0
3600.01/3611.11 c STR average number of conflicts per successful attempt inf
3600.01/3611.11 c STR average number of conflicts per unsuccessful attempt inf
3600.01/3611.11 c STR average number of conflicts per inconclusive attempt inf
3600.01/3611.11 c AVG.sumWPerc 67.71
3600.01/3611.11 c bigint constraints 0
3600.01/3611.11 s UNKNOWN
3600.01/3611.11 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (62992 MiB free)
memory of node 1: 64507 MiB (63376 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506836-1751167220/watcher-4506836-1751167220 -o /tmp/evaluation-result-4506836-1751167220/solver-4506836-1751167220 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751159447-18294 --watchdog 3760 run-dec-break.sh HOME/instance-4506836-1751167220.opb
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 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=19741, runsolver pid=19738
[startup+0.100105 s]*
/proc/loadavg: 4.13 4.15 4.16 5/255 19743
/proc/meminfo: memFree=129386128/131382120 swapFree=33010684/33010684
[pid=19741] ppid=19738 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/19741/stat : 19741 (run-dec-break.s) S 19738 19741 18283 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32401427 4292608 768 18446744073709551615 94257732435968 94257733330501 140727682002864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94257733569552 94257733617296 94257737105408 140727682005345 140727682005474 140727682005474 140727682011076 0
/proc/19741/statm: 1048 768 704 219 0 110 0
[pid=19743] ppid=19741 vsize=42376 memory=29088 CPUtime=0.09 cores=4,6
/proc/19743/stat : 19743 (pbsuma) R 19741 19741 18283 0 -1 4194304 7010 0 0 0 7 2 0 0 20 0 1 0 32401428 43393024 7272 18446744073709551615 4210688 4653049 140727540340736 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 8052736 140727540349283 140727540349490 140727540349490 140727540355055 0
/proc/19743/statm: 10594 7272 992 108 0 8002 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 46568 KiB
Current children cumulated memory: 32160 KiB
[startup+0.213852 s]*
/proc/loadavg: 4.13 4.15 4.16 5/255 19743
/proc/meminfo: memFree=129355132/131382120 swapFree=33010684/33010684
[pid=19741] ppid=19738 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/19741/stat : 19741 (run-dec-break.s) S 19738 19741 18283 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32401427 4292608 768 18446744073709551615 94257732435968 94257733330501 140727682002864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94257733569552 94257733617296 94257737105408 140727682005345 140727682005474 140727682005474 140727682011076 0
/proc/19741/statm: 1048 768 704 219 0 110 0
[pid=19743] ppid=19741 vsize=47796 memory=34892 CPUtime=0.21 cores=4,6
/proc/19743/stat : 19743 (pbsuma) R 19741 19741 18283 0 -1 4194304 14224 0 0 0 16 5 0 0 20 0 1 0 32401428 48943104 8723 18446744073709551615 4210688 4653049 140727540340736 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 8052736 140727540349283 140727540349490 140727540349490 140727540355055 0
/proc/19743/statm: 11949 8723 1024 108 0 9357 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 51988 KiB
Current children cumulated memory: 37964 KiB
[startup+0.313629 s]*
/proc/loadavg: 4.13 4.15 4.16 5/255 19744
/proc/meminfo: memFree=129355564/131382120 swapFree=33010684/33010684
[pid=19741] ppid=19738 vsize=4192 memory=3072 CPUtime=0.22 cores=4,6
/proc/19741/stat : 19741 (run-dec-break.s) S 19738 19741 18283 0 -1 4194304 237 14354 0 0 0 0 17 5 20 0 1 0 32401427 4292608 768 18446744073709551615 94257732435968 94257733330501 140727682002864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94257733569552 94257733617296 94257737105408 140727682005345 140727682005474 140727682005474 140727682011076 0
/proc/19741/statm: 1048 768 704 219 0 110 0
[pid=19744] ppid=19741 vsize=63060 memory=18100 CPUtime=0.06 cores=4,6
/proc/19744/stat : 19744 (roundingsat) R 19741 19741 18283 0 -1 4194304 2235 0 0 0 4 2 0 0 20 0 1 0 32401452 64573440 4525 18446744073709551615 4227072 8923433 140731312959184 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29921280 140731312965956 140731312966184 140731312966184 140731312971754 0
/proc/19744/statm: 15765 4525 1984 1147 0 3192 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 67252 KiB
Current children cumulated memory: 21172 KiB
[startup+0.7004 s]
/proc/loadavg: 4.13 4.15 4.16 5/255 19744
/proc/meminfo: memFree=129355564/131382120 swapFree=33010684/33010684
[pid=19741] ppid=19738 vsize=4192 memory=3072 CPUtime=0.22 cores=4,6
/proc/19741/stat : 19741 (run-dec-break.s) S 19738 19741 18283 0 -1 4194304 237 14354 0 0 0 0 17 5 20 0 1 0 32401427 4292608 768 18446744073709551615 94257732435968 94257733330501 140727682002864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94257733569552 94257733617296 94257737105408 140727682005345 140727682005474 140727682005474 140727682011076 0
/proc/19741/statm: 1048 768 704 219 0 110 0
[pid=19744] ppid=19741 vsize=118080 memory=65208 CPUtime=0.44 cores=4,6
/proc/19744/stat : 19744 (roundingsat) R 19741 19741 18283 0 -1 4194304 13070 0 0 0 36 8 0 0 20 0 1 0 32401452 120913920 16302 18446744073709551615 4227072 8923433 140731312959184 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29921280 140731312965956 140731312966184 140731312966184 140731312971754 0
/proc/19744/statm: 29520 16302 2272 1147 0 16947 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 122272 KiB
Current children cumulated memory: 68280 KiB
[startup+1.50039 s]
/proc/loadavg: 4.12 4.15 4.16 5/255 19744
/proc/meminfo: memFree=129347524/131382120 swapFree=33010684/33010684
[pid=19741] ppid=19738 vsize=4192 memory=3072 CPUtime=0.22 cores=4,6
/proc/19741/stat : 19741 (run-dec-break.s) S 19738 19741 18283 0 -1 4194304 237 14354 0 0 0 0 17 5 20 0 1 0 32401427 4292608 768 18446744073709551615 94257732435968 94257733330501 140727682002864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94257733569552 94257733617296 94257737105408 140727682005345 140727682005474 140727682005474 140727682011076 0
/proc/19741/statm: 1048 768 704 219 0 110 0
[pid=19744] ppid=19741 vsize=120332 memory=68280 CPUtime=1.23 cores=4,6
/proc/19744/stat : 19744 (roundingsat) R 19741 19741 18283 0 -1 4194304 13824 0 0 0 115 8 0 0 20 0 1 0 32401452 123219968 17070 18446744073709551615 4227072 8923433 140731312959184 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29921280 140731312965956 140731312966184 140731312966184 140731312971754 0
/proc/19744/statm: 30083 17070 2272 1147 0 17510 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 124524 KiB
Current children cumulated memory: 71352 KiB
[startup+3.11333 s]
/proc/loadavg: 4.12 4.15 4.16 5/255 19744
/proc/meminfo: memFree=129339528/131382120 swapFree=33010684/33010684
[pid=19741] ppid=19738 vsize=4192 memory=3072 CPUtime=0.22 cores=4,6
/proc/19741/stat : 19741 (run-dec-break.s) S 19738 19741 18283 0 -1 4194304 237 14354 0 0 0 0 17 5 20 0 1 0 32401427 4292608 768 18446744073709551615 94257732435968 94257733330501 140727682002864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94257733569552 94257733617296 94257737105408 140727682005345 140727682005474 140727682005474 140727682011076 0
/proc/19741/statm: 1048 768 704 219 0 110 0
[pid=19744] ppid=19741 vsize=120332 memory=68280 CPUtime=2.84 cores=4,6
/proc/19744/stat : 19744 (roundingsat) R 19741 19741 18283 0 -1 4194304 13824 0 0 0 276 8 0 0 20 0 1 0 32401452 123219968 17070 18446744073709551615 4227072 8923433 140731312959184 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29921280 140731312965956 140731312966184 140731312966184 140731312971754 0
/proc/19744/statm: 30083 17070 2272 1147 0 17510 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 124524 KiB
Current children cumulated memory: 71352 KiB
[startup+6.3004 s]
/proc/loadavg: 4.11 4.14 4.16 5/255 19744
/proc/meminfo: memFree=129331804/131382120 swapFree=33010684/33010684
[pid=19741] ppid=19738 vsize=4192 memory=3072 CPUtime=0.22 cores=4,6
/proc/19741/stat : 19741 (run-dec-break.s) S 19738 19741 18283 0 -1 4194304 237 14354 0 0 0 0 17 5 20 0 1 0 32401427 4292608 768 18446744073709551615 94257732435968 94257733330501 140727682002864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94257733569552 94257733617296 94257737105408 140727682005345 140727682005474 140727682005474 140727682011076 0
/proc/19741/statm: 1048 768 704 219 0 110 0
[pid=19744] ppid=19741 vsize=126804 memory=78936 CPUtime=6.01 cores=4,6
/proc/19744/stat : 19744 (roundingsat) R 19741 19741 18283 0 -1 4194304 15879 0 0 0 583 18 0 0 20 0 1 0 32401452 129847296 19734 18446744073709551615 4227072 8923433 140731312959184 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29921280 140731312965956 140731312966184 140731312966184 140731312971754 0
/proc/19744/statm: 31701 19734 2368 1147 0 19128 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 130996 KiB
Current children cumulated memory: 82008 KiB
[startup+12.7004 s]
/proc/loadavg: 4.10 4.14 4.16 5/255 19744
/proc/meminfo: memFree=129311460/131382120 swapFree=33010684/33010684
[pid=19741] ppid=19738 vsize=4192 memory=3072 CPUtime=0.22 cores=4,6
/proc/19741/stat : 19741 (run-dec-break.s) S 19738 19741 18283 0 -1 4194304 237 14354 0 0 0 0 17 5 20 0 1 0 32401427 4292608 768 18446744073709551615 94257732435968 94257733330501 140727682002864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94257733569552 94257733617296 94257737105408 140727682005345 140727682005474 140727682005474 140727682011076 0
/proc/19741/statm: 1048 768 704 219 0 110 0
[pid=19744] ppid=19741 vsize=135884 memory=87544 CPUtime=12.4 cores=4,6
/proc/19744/stat : 19744 (roundingsat) R 19741 19741 18283 0 -1 4194304 17527 0 0 0 1203 37 0 0 20 0 1 0 32401452 139145216 21886 18446744073709551615 4227072 8923433 140731312959184 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29921280 140731312965956 140731312966184 140731312966184 140731312971754 0
/proc/19744/statm: 33971 21886 2368 1147 0 21398 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 140076 KiB
Current children cumulated memory: 90616 KiB
[startup+25.5004 s]
/proc/loadavg: 4.08 4.14 4.16 5/255 19744
/proc/meminfo: memFree=129274388/131382120 swapFree=33010684/33010684
[pid=19741] ppid=19738 vsize=4192 memory=3072 CPUtime=0.22 cores=4,6
/proc/19741/stat : 19741 (run-dec-break.s) S 19738 19741 18283 0 -1 4194304 237 14354 0 0 0 0 17 5 20 0 1 0 32401427 4292608 768 18446744073709551615 94257732435968 94257733330501 140727682002864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94257733569552 94257733617296 94257737105408 140727682005345 140727682005474 140727682005474 140727682011076 0
/proc/19741/statm: 1048 768 704 219 0 110 0
[pid=19744] ppid=19741 vsize=164580 memory=109352 CPUtime=25.16 cores=4,6
/proc/19744/stat : 19744 (roundingsat) R 19741 19741 18283 0 -1 4194304 22494 0 0 0 2450 66 0 0 20 0 1 0 32401452 168529920 27338 18446744073709551615 4227072 8923433 140731312959184 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29921280 140731312965956 140731312966184 140731312966184 140731312971754 0
/proc/19744/statm: 41145 27338 2368 1147 0 28572 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 168772 KiB
Current children cumulated memory: 112424 KiB
[startup+51.1134 s]
/proc/loadavg: 4.10 4.14 4.16 5/254 19744
/proc/meminfo: memFree=129243480/131382120 swapFree=33010684/33010684
[pid=19741] ppid=19738 vsize=4192 memory=3072 CPUtime=0.22 cores=4,6
/proc/19741/stat : 19741 (run-dec-break.s) S 19738 19741 18283 0 -1 4194304 237 14354 0 0 0 0 17 5 20 0 1 0 32401427 4292608 768 18446744073709551615 94257732435968 94257733330501 140727682002864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94257733569552 94257733617296 94257737105408 140727682005345 140727682005474 140727682005474 140727682011076 0
/proc/19741/statm: 1048 768 704 219 0 110 0
[pid=19744] ppid=19741 vsize=190620 memory=134612 CPUtime=50.7 cores=4,6
/proc/19744/stat : 19744 (roundingsat) R 19741 19741 18283 0 -1 4194304 27324 0 0 0 4941 129 0 0 20 0 1 0 32401452 195194880 33653 18446744073709551615 4227072 8923433 140731312959184 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29921280 140731312965956 140731312966184 140731312966184 140731312971754 0
/proc/19744/statm: 47655 33653 2368 1147 0 35082 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 194812 KiB
Current children cumulated memory: 137684 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.13 4.15 5/254 19746
/proc/meminfo: memFree=129137552/131382120 swapFree=33010684/33010684
[pid=19741] ppid=19738 vsize=4192 memory=3072 CPUtime=0.22 cores=4,6
/proc/19741/stat : 19741 (run-dec-break.s) S 19738 19741 18283 0 -1 4194304 237 14354 0 0 0 0 17 5 20 0 1 0 32401427 4292608 768 18446744073709551615 94257732435968 94257733330501 140727682002864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94257733569552 94257733617296 94257737105408 140727682005345 140727682005474 140727682005474 140727682011076 0
/proc/19741/statm: 1048 768 704 219 0 110 0
[pid=19744] ppid=19741 vsize=244384 memory=183112 CPUtime=101.73 cores=4,6
/proc/19744/stat : 19744 (roundingsat) R 19741 19741 18283 0 -1 4194304 36382 0 0 0 9931 242 0 0 20 0 1 0 32401452 250249216 45778 18446744073709551615 4227072 8923433 140731312959184 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29921280 140731312965956 140731312966184 140731312966184 140731312971754 0
/proc/19744/statm: 61096 45778 2368 1147 0 48523 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 248576 KiB
Current children cumulated memory: 186184 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.14 4.15 5/255 19749
/proc/meminfo: memFree=128984756/131382120 swapFree=33010684/33010684
[pid=19741] ppid=19738 vsize=4192 memory=3072 CPUtime=0.22 cores=4,6
/proc/19741/stat : 19741 (run-dec-break.s) S 19738 19741 18283 0 -1 4194304 237 14354 0 0 0 0 17 5 20 0 1 0 32401427 4292608 768 18446744073709551615 94257732435968 94257733330501 140727682002864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94257733569552 94257733617296 94257737105408 140727682005345 140727682005474 140727682005474 140727682011076 0
/proc/19741/statm: 1048 768 704 219 0 110 0
[pid=19744] ppid=19741 vsize=294648 memory=217588 CPUtime=161.56 cores=4,6
/proc/19744/stat : 19744 (roundingsat) R 19741 19741 18283 0 -1 4194304 41446 0 0 0 15813 343 0 0 20 0 1 0 32401452 301719552 54397 18446744073709551615 4227072 8923433 140731312959184 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29921280 140731312965956 140731312966184 140731312966184 140731312971754 0
/proc/19744/statm: 73662 54397 2368 1147 0 61089 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 298840 KiB
Current children cumulated memory: 220660 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.12 4.15 5/254 19751
/proc/meminfo: memFree=128974220/131382120 swapFree=33010684/33010684
[pid=19741] ppid=19738 vsize=4192 memory=3072 CPUtime=0.22 cores=4,6
/proc/19741/stat : 19741 (run-dec-break.s) S 19738 19741 18283 0 -1 4194304 237 14354 0 0 0 0 17 5 20 0 1 0 32401427 4292608 768 18446744073709551615 94257732435968 94257733330501 140727682002864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94257733569552 94257733617296 94257737105408 140727682005345 140727682005474 140727682005474 140727682011076 0
/proc/19741/statm: 1048 768 704 219 0 110 0
[pid=19744] ppid=19741 vsize=301200 memory=242556 CPUtime=221.39 cores=4,6
/proc/19744/stat : 19744 (roundingsat) R 19741 19741 18283 0 -1 4194304 43080 0 0 0 21738 401 0 0 20 0 1 0 32401452 308428800 60639 18446744073709551615 4227072 8923433 140731312959184 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29921280 140731312965956 140731312966184 140731312966184 140731312971754 0
/proc/19744/statm: 75300 60639 2368 1147 0 62727 0
Current children cumulated CPU time: 221.61 s
################
# More data... #
################
/proc/19744/statm: 295917 233346 2368 1147 0 283344 0
Current children cumulated CPU time: 3092.75 s
Current children cumulated vsize: 1187860 KiB
Current children cumulated memory: 936456 KiB
[startup+3162.3 s]
/proc/loadavg: 2.58 3.69 4.01 3/239 19968
/proc/meminfo: memFree=128638112/131382120 swapFree=33010684/33010684
[pid=19741] ppid=19738 vsize=4192 memory=3072 CPUtime=0.22 cores=4,6
/proc/19741/stat : 19741 (run-dec-break.s) S 19738 19741 18283 0 -1 4194304 237 14354 0 0 0 0 17 5 20 0 1 0 32401427 4292608 768 18446744073709551615 94257732435968 94257733330501 140727682002864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94257733569552 94257733617296 94257737105408 140727682005345 140727682005474 140727682005474 140727682011076 0
/proc/19741/statm: 1048 768 704 219 0 110 0
[pid=19744] ppid=19741 vsize=1194144 memory=942856 CPUtime=3152.33 cores=4,6
/proc/19744/stat : 19744 (roundingsat) R 19741 19741 18283 0 -1 4194304 143145 0 0 0 312013 3220 0 0 20 0 1 0 32401452 1222803456 235714 18446744073709551615 4227072 8923433 140731312959184 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29921280 140731312965956 140731312966184 140731312966184 140731312971754 0
/proc/19744/statm: 298536 235714 2368 1147 0 285963 0
Current children cumulated CPU time: 3152.55 s
Current children cumulated vsize: 1198336 KiB
Current children cumulated memory: 945928 KiB
[startup+3222.3 s]
/proc/loadavg: 2.25 3.39 3.88 3/240 19971
/proc/meminfo: memFree=128634660/131382120 swapFree=33010684/33010684
[pid=19741] ppid=19738 vsize=4192 memory=3072 CPUtime=0.22 cores=4,6
/proc/19741/stat : 19741 (run-dec-break.s) S 19738 19741 18283 0 -1 4194304 237 14354 0 0 0 0 17 5 20 0 1 0 32401427 4292608 768 18446744073709551615 94257732435968 94257733330501 140727682002864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94257733569552 94257733617296 94257737105408 140727682005345 140727682005474 140727682005474 140727682011076 0
/proc/19741/statm: 1048 768 704 219 0 110 0
[pid=19744] ppid=19741 vsize=1194144 memory=942984 CPUtime=3212.13 cores=4,6
/proc/19744/stat : 19744 (roundingsat) R 19741 19741 18283 0 -1 4194304 143171 0 0 0 317933 3280 0 0 20 0 1 0 32401452 1222803456 235746 18446744073709551615 4227072 8923433 140731312959184 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29921280 140731312965956 140731312966184 140731312966184 140731312971754 0
/proc/19744/statm: 298536 235746 2368 1147 0 285963 0
Current children cumulated CPU time: 3212.35 s
Current children cumulated vsize: 1198336 KiB
Current children cumulated memory: 946056 KiB
[startup+3282.3 s]
/proc/loadavg: 2.14 3.15 3.77 3/240 19973
/proc/meminfo: memFree=128625844/131382120 swapFree=33010684/33010684
[pid=19741] ppid=19738 vsize=4192 memory=3072 CPUtime=0.22 cores=4,6
/proc/19741/stat : 19741 (run-dec-break.s) S 19738 19741 18283 0 -1 4194304 237 14354 0 0 0 0 17 5 20 0 1 0 32401427 4292608 768 18446744073709551615 94257732435968 94257733330501 140727682002864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94257733569552 94257733617296 94257737105408 140727682005345 140727682005474 140727682005474 140727682011076 0
/proc/19741/statm: 1048 768 704 219 0 110 0
[pid=19744] ppid=19741 vsize=1194144 memory=942984 CPUtime=3271.93 cores=4,6
/proc/19744/stat : 19744 (roundingsat) R 19741 19741 18283 0 -1 4194304 143187 0 0 0 323844 3349 0 0 20 0 1 0 32401452 1222803456 235746 18446744073709551615 4227072 8923433 140731312959184 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29921280 140731312965956 140731312966184 140731312966184 140731312971754 0
/proc/19744/statm: 298536 235746 2368 1147 0 285963 0
Current children cumulated CPU time: 3272.15 s
Current children cumulated vsize: 1198336 KiB
Current children cumulated memory: 946056 KiB
[startup+3342.3 s]
/proc/loadavg: 2.17 2.97 3.67 3/240 19975
/proc/meminfo: memFree=128626600/131382120 swapFree=33010684/33010684
[pid=19741] ppid=19738 vsize=4192 memory=3072 CPUtime=0.22 cores=4,6
/proc/19741/stat : 19741 (run-dec-break.s) S 19738 19741 18283 0 -1 4194304 237 14354 0 0 0 0 17 5 20 0 1 0 32401427 4292608 768 18446744073709551615 94257732435968 94257733330501 140727682002864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94257733569552 94257733617296 94257737105408 140727682005345 140727682005474 140727682005474 140727682011076 0
/proc/19741/statm: 1048 768 704 219 0 110 0
[pid=19744] ppid=19741 vsize=1194144 memory=942984 CPUtime=3331.73 cores=4,6
/proc/19744/stat : 19744 (roundingsat) R 19741 19741 18283 0 -1 4194304 143371 0 0 0 329761 3412 0 0 20 0 1 0 32401452 1222803456 235746 18446744073709551615 4227072 8923433 140731312959184 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29921280 140731312965956 140731312966184 140731312966184 140731312971754 0
/proc/19744/statm: 298536 235746 2368 1147 0 285963 0
Current children cumulated CPU time: 3331.95 s
Current children cumulated vsize: 1198336 KiB
Current children cumulated memory: 946056 KiB
[startup+3402.3 s]
/proc/loadavg: 1.97 2.78 3.55 2/234 20011
/proc/meminfo: memFree=129406400/131382120 swapFree=33010684/33010684
[pid=19741] ppid=19738 vsize=4192 memory=3072 CPUtime=0.22 cores=4,6
/proc/19741/stat : 19741 (run-dec-break.s) S 19738 19741 18283 0 -1 4194304 237 14354 0 0 0 0 17 5 20 0 1 0 32401427 4292608 768 18446744073709551615 94257732435968 94257733330501 140727682002864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94257733569552 94257733617296 94257737105408 140727682005345 140727682005474 140727682005474 140727682011076 0
/proc/19741/statm: 1048 768 704 219 0 110 0
[pid=19744] ppid=19741 vsize=1194144 memory=947720 CPUtime=3391.53 cores=4,6
/proc/19744/stat : 19744 (roundingsat) R 19741 19741 18283 0 -1 4194304 143390 0 0 0 335689 3464 0 0 20 0 1 0 32401452 1222803456 236930 18446744073709551615 4227072 8923433 140731312959184 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29921280 140731312965956 140731312966184 140731312966184 140731312971754 0
/proc/19744/statm: 298536 236930 2368 1147 0 285963 0
Current children cumulated CPU time: 3391.75 s
Current children cumulated vsize: 1198336 KiB
Current children cumulated memory: 950792 KiB
[startup+3462.3 s]
/proc/loadavg: 1.40 2.47 3.40 2/234 20013
/proc/meminfo: memFree=129391732/131382120 swapFree=33010684/33010684
[pid=19741] ppid=19738 vsize=4192 memory=3072 CPUtime=0.22 cores=4,6
/proc/19741/stat : 19741 (run-dec-break.s) S 19738 19741 18283 0 -1 4194304 237 14354 0 0 0 0 17 5 20 0 1 0 32401427 4292608 768 18446744073709551615 94257732435968 94257733330501 140727682002864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94257733569552 94257733617296 94257737105408 140727682005345 140727682005474 140727682005474 140727682011076 0
/proc/19741/statm: 1048 768 704 219 0 110 0
[pid=19744] ppid=19741 vsize=1206176 memory=964616 CPUtime=3451.36 cores=4,6
/proc/19744/stat : 19744 (roundingsat) R 19741 19741 18283 0 -1 4194304 145900 0 0 0 341639 3497 0 0 20 0 1 0 32401452 1235124224 241154 18446744073709551615 4227072 8923433 140731312959184 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29921280 140731312965956 140731312966184 140731312966184 140731312971754 0
/proc/19744/statm: 301544 241154 2368 1147 0 288971 0
Current children cumulated CPU time: 3451.58 s
Current children cumulated vsize: 1210368 KiB
Current children cumulated memory: 967688 KiB
[startup+3522.3 s]
/proc/loadavg: 1.25 2.23 3.25 2/233 20017
/proc/meminfo: memFree=129390696/131382120 swapFree=33010684/33010684
[pid=19741] ppid=19738 vsize=4192 memory=3072 CPUtime=0.22 cores=4,6
/proc/19741/stat : 19741 (run-dec-break.s) S 19738 19741 18283 0 -1 4194304 237 14354 0 0 0 0 17 5 20 0 1 0 32401427 4292608 768 18446744073709551615 94257732435968 94257733330501 140727682002864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94257733569552 94257733617296 94257737105408 140727682005345 140727682005474 140727682005474 140727682011076 0
/proc/19741/statm: 1048 768 704 219 0 110 0
[pid=19744] ppid=19741 vsize=1206176 memory=964616 CPUtime=3511.21 cores=4,6
/proc/19744/stat : 19744 (roundingsat) R 19741 19741 18283 0 -1 4194304 145916 0 0 0 347586 3535 0 0 20 0 1 0 32401452 1235124224 241154 18446744073709551615 4227072 8923433 140731312959184 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29921280 140731312965956 140731312966184 140731312966184 140731312971754 0
/proc/19744/statm: 301544 241154 2368 1147 0 288971 0
Current children cumulated CPU time: 3511.43 s
Current children cumulated vsize: 1210368 KiB
Current children cumulated memory: 967688 KiB
[startup+3582.3 s]
/proc/loadavg: 1.19 2.03 3.12 2/233 20021
/proc/meminfo: memFree=129390784/131382120 swapFree=33010684/33010684
[pid=19741] ppid=19738 vsize=4192 memory=3072 CPUtime=0.22 cores=4,6
/proc/19741/stat : 19741 (run-dec-break.s) S 19738 19741 18283 0 -1 4194304 237 14354 0 0 0 0 17 5 20 0 1 0 32401427 4292608 768 18446744073709551615 94257732435968 94257733330501 140727682002864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94257733569552 94257733617296 94257737105408 140727682005345 140727682005474 140727682005474 140727682011076 0
/proc/19741/statm: 1048 768 704 219 0 110 0
[pid=19744] ppid=19741 vsize=1206624 memory=965128 CPUtime=3571.05 cores=4,6
/proc/19744/stat : 19744 (roundingsat) R 19741 19741 18283 0 -1 4194304 146056 0 0 0 353514 3591 0 0 20 0 1 0 32401452 1235582976 241282 18446744073709551615 4227072 8923433 140731312959184 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29921280 140731312965956 140731312966184 140731312966184 140731312971754 0
/proc/19744/statm: 301656 241282 2368 1147 0 289083 0
Current children cumulated CPU time: 3571.27 s
Current children cumulated vsize: 1210816 KiB
Current children cumulated memory: 968200 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.11 s]
/proc/loadavg: 1.20 1.96 3.07 2/233 20021
/proc/meminfo: memFree=129390784/131382120 swapFree=33010684/33010684
[pid=19741] ppid=19738 vsize=4192 memory=3072 CPUtime=0.22 cores=4,6
/proc/19741/stat : 19741 (run-dec-break.s) S 19738 19741 18283 0 -1 4194304 237 14354 0 0 0 0 17 5 20 0 1 0 32401427 4292608 768 18446744073709551615 94257732435968 94257733330501 140727682002864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94257733569552 94257733617296 94257737105408 140727682005345 140727682005474 140727682005474 140727682011076 0
/proc/19741/statm: 1048 768 704 219 0 110 0
[pid=19744] ppid=19741 vsize=1206624 memory=965128 CPUtime=3599.79 cores=4,6
/proc/19744/stat : 19744 (roundingsat) R 19741 19741 18283 0 -1 4194304 146057 0 0 0 356353 3626 0 0 20 0 1 0 32401452 1235582976 241282 18446744073709551615 4227072 8923433 140731312959184 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29921280 140731312965956 140731312966184 140731312966184 140731312971754 0
/proc/19744/statm: 301656 241282 2368 1147 0 289083 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1210816 KiB
Current children cumulated memory: 968200 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3611.12 s]
# the end of solver process 19741 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.177487 s, system=0.060865 s
Sleeping 2 seconds
[startup+3611.13 s]
# the end of solver process 19744 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3563.72 s, system=36.3322 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.11 s]
/proc/loadavg: 1.20 1.96 3.07 2/233 20021
/proc/meminfo: memFree=129390784/131382120 swapFree=33010684/33010684
[pid=19741] ppid=19738 vsize=4192 memory=3072 CPUtime=0.22 cores=4,6
/proc/19741/stat : 19741 (run-dec-break.s) S 19738 19741 18283 0 -1 4194304 237 14354 0 0 0 0 17 5 20 0 1 0 32401427 4292608 768 18446744073709551615 94257732435968 94257733330501 140727682002864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94257733569552 94257733617296 94257737105408 140727682005345 140727682005474 140727682005474 140727682011076 0
/proc/19741/statm: 1048 768 704 219 0 110 0
[pid=19744] ppid=19741 vsize=1206624 memory=965128 CPUtime=3599.79 cores=4,6
/proc/19744/stat : 19744 (roundingsat) R 19741 19741 18283 0 -1 4194304 146057 0 0 0 356353 3626 0 0 20 0 1 0 32401452 1235582976 241282 18446744073709551615 4227072 8923433 140731312959184 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29921280 140731312965956 140731312966184 140731312966184 140731312971754 0
/proc/19744/statm: 301656 241282 2368 1147 0 289083 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1210816 KiB
Current children cumulated memory: 968200 KiB
Child status: 2
Real time (s): 3611.13
CPU time (s): 3600.06
CPU user time (s): 3563.72
CPU system time (s): 36.3322
CPU usage (%): 99.6935
Max. virtual memory (cumulated for all children) (KiB): 1210816
Max. memory (cumulated for all children) (KiB): 968200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3563.72
system time used= 36.3322
maximum resident set size= 965512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 160684
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3088
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 350
involuntary context switches= 19981
# summary of solver processes directly reported to runsolver:
# pid: 19741,19744
# total CPU time (s): 3600.06
# total CPU user time (s): 3563.72
# total CPU system time (s): 36.3322
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.7659 second user time and 37.6462 second system time
The end
Begin job on nodeC006 at 2025-06-29 05:20:21
IDJOB=4506836
IDBENCH=158284
IDSOLVER=3357
FILE ID=nodeC006/4506836-1751167220
RUNJOBID= nodeC006-1751159447-18294
SLURM_JOB_ID= 9587503
Free space on /tmp= 433032 MiB
SOLVER NAME= roundingsat+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K188.opb
COMMAND LINE= run-dec-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506836-1751167220/watcher-4506836-1751167220 -o /tmp/evaluation-result-4506836-1751167220/solver-4506836-1751167220 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751159447-18294 --watchdog 3760 run-dec-break.sh HOME/instance-4506836-1751167220.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 416ae2bcad94d751017f8086501bbe46
RANDOM SEED=909194928
nodeC006 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 : 0xb00001f
cpu MHz : 3660.367
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
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 : 0xb00001f
cpu MHz : 3591.449
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
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 : 0xb00001f
cpu MHz : 1197.487
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
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 : 0xb00001f
cpu MHz : 1197.277
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
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 : 0xb00001f
cpu MHz : 3491.516
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
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 : 0xb00001f
cpu MHz : 3591.302
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
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 : 0xb00001f
cpu MHz : 1197.140
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
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 : 0xb00001f
cpu MHz : 1197.144
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 129401536 kB
MemAvailable: 129046196 kB
Buffers: 3280 kB
Cached: 454472 kB
SwapCached: 0 kB
Active: 1233692 kB
Inactive: 206704 kB
Active(anon): 1000608 kB
Inactive(anon): 0 kB
Active(file): 233084 kB
Inactive(file): 206704 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 8900 kB
Writeback: 44 kB
AnonPages: 985760 kB
Mapped: 115624 kB
Shmem: 17960 kB
KReclaimable: 85012 kB
Slab: 164036 kB
SReclaimable: 85012 kB
SUnreclaim: 79024 kB
KernelStack: 4096 kB
PageTables: 5152 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 1408648 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149528 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 229376 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: 191304 kB
DirectMap2M: 10196992 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 433052 MiB
End job on nodeC006 at 2025-06-29 06:20:32