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-4506837-1751171232.opb'
0.00/0.03 c read 1.55MB (24.32ms)
0.00/0.03 c [cnf: #variables 22372 #clauses 22750 #duplicates 0 #arr 146406]
0.02/0.10 c output proof to 'PROOFDIR/proof-4506837-1751171232'
0.02/0.10 c
0.02/0.10 c make graph and approximate orbits
0.02/0.14 c [group: #orbits ~= 3384] (32.34ms)
0.02/0.14 c
0.02/0.14 c detect special group actions
0.02/0.14 c probe for Johnson action (limit=64)
0.02/0.14 c probe for row-column symmetry (limit=64, splits=16.78M)
0.02/0.14 c probe for row symmetry (limit=64, splits=16.78M)
0.02/0.14 c (4.67ms)
0.02/0.14 c
0.02/0.14 c detect symmetries on remainder
0.02/0.14 c [graph: #vertices 112238 #edges 427044]
0.02/0.14 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.02/0.17 c [group: #symmetries 4.80*10^1 #generators 5] (25.31ms)
0.02/0.17 c
0.02/0.17 c optimize generators (opt_passes=64, conjugate_limit=256)
0.02/0.17 c (0.07ms)
0.02/0.17 c
0.02/0.17 c finalize break order and special generators
0.02/0.17 c
0.02/0.17 c add generic predicates (break_depth=10)
0.02/0.17 c added predicates for 5 generators (0.07ms)
0.02/0.19 c
0.02/0.19 c generation finished
0.02/0.19 c [sbp: #constraints 140 #add_vars 45]
0.02/0.19 c
0.02/0.19 c write result to 'HOME/instance-4506837-1751171232.opb.pre'
0.02/0.19 c wrote 1.58MB (3.68ms)
0.02/0.19 c ------------------------------------------------------------------
0.02/0.19 c 93.63ms 50.62% other
0.02/0.19 c 32.34ms 17.49% approx_orbits
0.02/0.19 c 25.31ms 13.69% detect_generic
0.02/0.19 c 24.32ms 13.15% parse
0.02/0.19 c 4.67ms 2.52% detect_special
0.02/0.19 c 3.68ms 1.99% output
0.02/0.19 c 0.87ms 0.47% finalize_order
0.02/0.19 c 0.07ms 0.04% break_generic
0.02/0.19 c 0.07ms 0.04% optimize_gens
0.02/0.19 c ───────────────────────────────────────────────
0.02/0.19 c 184.96ms 100% total
0.02/0.19 c ------------------------------------------------------------------
0.11/0.22 c RoundingSat 2
0.11/0.22 c branch pb25
0.11/0.22 c commit 63f22ad
0.29/0.41 c #variables 22417 #constraints 22889
139.92/142.28 c #Conflicts: 1000 | #Constraints: 23888
139.92/142.28 c #Conflicts: 2000 | #Constraints: 24888
139.92/142.28 c INPROCESSING
139.92/142.28 c GARBAGE COLLECT
139.92/142.28 c #Conflicts: 3000 | #Constraints: 24128
139.92/142.28 c #Conflicts: 4000 | #Constraints: 25128
139.92/142.28 c INPROCESSING
139.92/142.28 c GARBAGE COLLECT
139.92/142.28 c #Conflicts: 5000 | #Constraints: 24650
139.92/142.28 c #Conflicts: 6000 | #Constraints: 25650
139.92/142.28 c INPROCESSING
139.92/142.28 c GARBAGE COLLECT
139.92/142.28 c #Conflicts: 7000 | #Constraints: 24865
139.92/142.28 c #Conflicts: 8000 | #Constraints: 25865
139.92/142.28 c #Conflicts: 9000 | #Constraints: 26865
139.92/142.28 c #Conflicts: 10000 | #Constraints: 27865
139.92/142.28 c #Conflicts: 11000 | #Constraints: 28865
139.92/142.28 c #Conflicts: 12000 | #Constraints: 29865
139.92/142.28 c INPROCESSING
139.92/142.28 c GARBAGE COLLECT
139.92/142.28 c #Conflicts: 13000 | #Constraints: 26861
139.92/142.28 c #Conflicts: 14000 | #Constraints: 27861
139.92/142.28 c #Conflicts: 15000 | #Constraints: 28861
139.92/142.28 c #Conflicts: 16000 | #Constraints: 29861
139.92/142.28 c INPROCESSING
139.92/142.28 c GARBAGE COLLECT
139.92/142.28 c #Conflicts: 17000 | #Constraints: 27644
139.92/142.28 c #Conflicts: 18000 | #Constraints: 28644
139.92/142.28 c #Conflicts: 19000 | #Constraints: 29644
139.92/142.28 c #Conflicts: 20000 | #Constraints: 30644
139.92/142.28 c #Conflicts: 21000 | #Constraints: 31644
139.92/142.28 c #Conflicts: 22000 | #Constraints: 32644
139.92/142.28 c #Conflicts: 23000 | #Constraints: 33644
139.92/142.28 c #Conflicts: 24000 | #Constraints: 34644
139.92/142.28 c #Conflicts: 25000 | #Constraints: 35644
139.92/142.28 c INPROCESSING
139.92/142.28 c GARBAGE COLLECT
139.92/142.28 c #Conflicts: 26000 | #Constraints: 29897
139.92/142.28 c #Conflicts: 27000 | #Constraints: 30897
139.92/142.28 c #Conflicts: 28000 | #Constraints: 31897
139.92/142.28 c #Conflicts: 29000 | #Constraints: 32897
139.92/142.28 c #Conflicts: 30000 | #Constraints: 33897
139.92/142.28 c INPROCESSING
139.92/142.28 c GARBAGE COLLECT
139.92/142.28 c #Conflicts: 31000 | #Constraints: 30368
139.92/142.28 c #Conflicts: 32000 | #Constraints: 31368
139.92/142.28 c #Conflicts: 33000 | #Constraints: 32368
139.92/142.28 c #Conflicts: 34000 | #Constraints: 33368
139.92/142.28 c #Conflicts: 35000 | #Constraints: 34368
139.92/142.28 c #Conflicts: 36000 | #Constraints: 35368
139.92/142.28 c #Conflicts: 37000 | #Constraints: 36368
139.92/142.28 c #Conflicts: 38000 | #Constraints: 37368
139.92/142.28 c #Conflicts: 39000 | #Constraints: 38368
139.92/142.28 c #Conflicts: 40000 | #Constraints: 39368
139.92/142.28 c #Conflicts: 41000 | #Constraints: 40368
139.92/142.28 c #Conflicts: 42000 | #Constraints: 41368
139.92/142.28 c #Conflicts: 43000 | #Constraints: 42368
139.92/142.28 c INPROCESSING
139.92/142.28 c GARBAGE COLLECT
139.92/142.28 c #Conflicts: 44000 | #Constraints: 33754
139.92/142.28 c #Conflicts: 45000 | #Constraints: 34754
139.92/142.28 c #Conflicts: 46000 | #Constraints: 35754
139.92/142.28 c #Conflicts: 47000 | #Constraints: 36754
139.92/142.28 c #Conflicts: 48000 | #Constraints: 37754
139.92/142.28 c #Conflicts: 49000 | #Constraints: 38754
139.92/142.28 c INPROCESSING
139.92/142.28 c GARBAGE COLLECT
139.92/142.28 c #Conflicts: 50000 | #Constraints: 33683
139.92/142.28 c #Conflicts: 51000 | #Constraints: 34683
139.92/142.28 c #Conflicts: 52000 | #Constraints: 35683
139.92/142.28 c #Conflicts: 53000 | #Constraints: 36683
139.92/142.28 c #Conflicts: 54000 | #Constraints: 37683
139.92/142.28 c #Conflicts: 55000 | #Constraints: 38683
139.92/142.28 c #Conflicts: 56000 | #Constraints: 39683
139.92/142.28 c #Conflicts: 57000 | #Constraints: 40683
139.92/142.28 c #Conflicts: 58000 | #Constraints: 41683
139.92/142.28 c #Conflicts: 59000 | #Constraints: 42683
139.92/142.28 c #Conflicts: 60000 | #Constraints: 43683
139.92/142.28 c #Conflicts: 61000 | #Constraints: 44683
139.92/142.28 c #Conflicts: 62000 | #Constraints: 45683
139.92/142.28 c #Conflicts: 63000 | #Constraints: 46683
139.92/142.28 c #Conflicts: 64000 | #Constraints: 47683
139.92/142.28 c #Conflicts: 65000 | #Constraints: 48683
139.92/142.28 c INPROCESSING
139.92/142.28 c GARBAGE COLLECT
139.92/142.28 c #Conflicts: 66000 | #Constraints: 37122
139.92/142.28 c #Conflicts: 67000 | #Constraints: 38122
139.92/142.28 c #Conflicts: 68000 | #Constraints: 39122
139.92/142.28 c #Conflicts: 69000 | #Constraints: 40122
139.92/142.28 c #Conflicts: 70000 | #Constraints: 41122
139.92/142.28 c #Conflicts: 71000 | #Constraints: 42122
139.92/142.28 c #Conflicts: 72000 | #Constraints: 43122
139.92/142.28 c INPROCESSING
139.92/142.28 c GARBAGE COLLECT
306.82/309.90 c #Conflicts: 73000 | #Constraints: 36954
306.82/309.90 c #Conflicts: 74000 | #Constraints: 37954
306.82/309.90 c #Conflicts: 75000 | #Constraints: 38954
306.82/309.90 c #Conflicts: 76000 | #Constraints: 39954
306.82/309.90 c #Conflicts: 77000 | #Constraints: 40954
306.82/309.90 c #Conflicts: 78000 | #Constraints: 41954
306.82/309.90 c #Conflicts: 79000 | #Constraints: 42954
306.82/309.90 c #Conflicts: 80000 | #Constraints: 43954
306.82/309.90 c #Conflicts: 81000 | #Constraints: 44954
306.82/309.90 c #Conflicts: 82000 | #Constraints: 45954
306.82/309.90 c #Conflicts: 83000 | #Constraints: 46954
306.82/309.90 c #Conflicts: 84000 | #Constraints: 47954
306.82/309.90 c #Conflicts: 85000 | #Constraints: 48954
306.82/309.90 c #Conflicts: 86000 | #Constraints: 49954
306.82/309.90 c #Conflicts: 87000 | #Constraints: 50954
306.82/309.90 c #Conflicts: 88000 | #Constraints: 51954
306.82/309.90 c #Conflicts: 89000 | #Constraints: 52954
306.82/309.90 c #Conflicts: 90000 | #Constraints: 53954
306.82/309.90 c #Conflicts: 91000 | #Constraints: 54954
306.82/309.90 c INPROCESSING
306.82/309.90 c GARBAGE COLLECT
306.82/309.90 c #Conflicts: 92000 | #Constraints: 40218
306.82/309.90 c #Conflicts: 93000 | #Constraints: 41218
306.82/309.90 c #Conflicts: 94000 | #Constraints: 42218
306.82/309.90 c #Conflicts: 95000 | #Constraints: 43218
306.82/309.90 c #Conflicts: 96000 | #Constraints: 44218
306.82/309.90 c #Conflicts: 97000 | #Constraints: 45218
306.82/309.90 c #Conflicts: 98000 | #Constraints: 46218
306.82/309.90 c #Conflicts: 99000 | #Constraints: 47218
306.82/309.90 c #Conflicts: 100000 | #Constraints: 48218
306.82/309.90 c #Conflicts: 101000 | #Constraints: 49218
306.82/309.90 c #Conflicts: 102000 | #Constraints: 50218
306.82/309.90 c #Conflicts: 103000 | #Constraints: 51218
306.82/309.90 c #Conflicts: 104000 | #Constraints: 52218
306.82/309.90 c #Conflicts: 105000 | #Constraints: 53218
306.82/309.90 c #Conflicts: 106000 | #Constraints: 54218
306.82/309.90 c #Conflicts: 107000 | #Constraints: 55218
306.82/309.90 c #Conflicts: 108000 | #Constraints: 56218
306.82/309.90 c #Conflicts: 109000 | #Constraints: 57218
306.82/309.90 c #Conflicts: 110000 | #Constraints: 58218
306.82/309.90 c #Conflicts: 111000 | #Constraints: 59218
306.82/309.90 c INPROCESSING
306.82/309.90 c GARBAGE COLLECT
306.82/309.90 c #Conflicts: 112000 | #Constraints: 42331
306.82/309.90 c #Conflicts: 113000 | #Constraints: 43331
306.82/309.90 c #Conflicts: 114000 | #Constraints: 44331
306.82/309.90 c #Conflicts: 115000 | #Constraints: 45331
306.82/309.90 c #Conflicts: 116000 | #Constraints: 46331
306.82/309.90 c #Conflicts: 117000 | #Constraints: 47331
306.82/309.90 c #Conflicts: 118000 | #Constraints: 48331
306.82/309.90 c #Conflicts: 119000 | #Constraints: 49331
306.82/309.90 c #Conflicts: 120000 | #Constraints: 50331
306.82/309.90 c #Conflicts: 121000 | #Constraints: 51331
306.82/309.90 c INPROCESSING
306.82/309.90 c GARBAGE COLLECT
306.82/309.90 c #Conflicts: 122000 | #Constraints: 41911
306.82/309.90 c #Conflicts: 123000 | #Constraints: 42911
306.82/309.90 c #Conflicts: 124000 | #Constraints: 43911
306.82/309.90 c #Conflicts: 125000 | #Constraints: 44911
306.82/309.90 c #Conflicts: 126000 | #Constraints: 45911
306.82/309.90 c #Conflicts: 127000 | #Constraints: 46911
306.82/309.90 c #Conflicts: 128000 | #Constraints: 47911
306.82/309.90 c #Conflicts: 129000 | #Constraints: 48911
306.82/309.90 c #Conflicts: 130000 | #Constraints: 49911
306.82/309.90 c #Conflicts: 131000 | #Constraints: 50911
306.82/309.90 c #Conflicts: 132000 | #Constraints: 51911
306.82/309.90 c #Conflicts: 133000 | #Constraints: 52911
306.82/309.90 c #Conflicts: 134000 | #Constraints: 53911
306.82/309.90 c #Conflicts: 135000 | #Constraints: 54911
306.82/309.90 c #Conflicts: 136000 | #Constraints: 55911
306.82/309.90 c #Conflicts: 137000 | #Constraints: 56911
306.82/309.90 c #Conflicts: 138000 | #Constraints: 57911
306.82/309.90 c #Conflicts: 139000 | #Constraints: 58911
306.82/309.90 c #Conflicts: 140000 | #Constraints: 59911
306.82/309.90 c #Conflicts: 141000 | #Constraints: 60911
306.82/309.90 c #Conflicts: 142000 | #Constraints: 61911
306.82/309.90 c #Conflicts: 143000 | #Constraints: 62911
306.82/309.90 c #Conflicts: 144000 | #Constraints: 63911
306.82/309.90 c #Conflicts: 145000 | #Constraints: 64911
306.82/309.90 c INPROCESSING
306.82/309.90 c GARBAGE COLLECT
306.82/309.90 c #Conflicts: 146000 | #Constraints: 45330
306.82/309.90 c #Conflicts: 147000 | #Constraints: 46330
306.82/309.90 c #Conflicts: 148000 | #Constraints: 47330
306.82/309.90 c #Conflicts: 149000 | #Constraints: 48330
500.18/508.32 c #Conflicts: 150000 | #Constraints: 49330
500.18/508.32 c #Conflicts: 151000 | #Constraints: 50330
500.18/508.32 c #Conflicts: 152000 | #Constraints: 51330
500.18/508.32 c #Conflicts: 153000 | #Constraints: 52330
500.18/508.32 c #Conflicts: 154000 | #Constraints: 53330
500.18/508.32 c #Conflicts: 155000 | #Constraints: 54330
500.18/508.32 c #Conflicts: 156000 | #Constraints: 55330
500.18/508.32 c #Conflicts: 157000 | #Constraints: 56330
500.18/508.32 c #Conflicts: 158000 | #Constraints: 57330
500.18/508.32 c #Conflicts: 159000 | #Constraints: 58330
500.18/508.32 c #Conflicts: 160000 | #Constraints: 59330
500.18/508.32 c #Conflicts: 161000 | #Constraints: 60330
500.18/508.32 c #Conflicts: 162000 | #Constraints: 61330
500.18/508.32 c #Conflicts: 163000 | #Constraints: 62330
500.18/508.32 c #Conflicts: 164000 | #Constraints: 63330
500.18/508.32 c #Conflicts: 165000 | #Constraints: 64330
500.18/508.32 c #Conflicts: 166000 | #Constraints: 65330
500.18/508.32 c #Conflicts: 167000 | #Constraints: 66330
500.18/508.32 c #Conflicts: 168000 | #Constraints: 67330
500.18/508.32 c #Conflicts: 169000 | #Constraints: 68330
500.18/508.32 c #Conflicts: 170000 | #Constraints: 69330
500.18/508.32 c #Conflicts: 171000 | #Constraints: 70330
500.18/508.32 c INPROCESSING
500.18/508.32 c GARBAGE COLLECT
500.18/508.32 c #Conflicts: 172000 | #Constraints: 48411
500.18/508.32 c #Conflicts: 173000 | #Constraints: 49411
500.18/508.32 c #Conflicts: 174000 | #Constraints: 50411
500.18/508.32 c #Conflicts: 175000 | #Constraints: 51411
500.18/508.32 c #Conflicts: 176000 | #Constraints: 52411
500.18/508.32 c #Conflicts: 177000 | #Constraints: 53411
500.18/508.32 c #Conflicts: 178000 | #Constraints: 54411
500.18/508.32 c #Conflicts: 179000 | #Constraints: 55411
500.18/508.32 c #Conflicts: 180000 | #Constraints: 56411
500.18/508.32 c #Conflicts: 181000 | #Constraints: 57411
500.18/508.32 c #Conflicts: 182000 | #Constraints: 58411
500.18/508.32 c #Conflicts: 183000 | #Constraints: 59411
500.18/508.32 c #Conflicts: 184000 | #Constraints: 60411
500.18/508.32 c #Conflicts: 185000 | #Constraints: 61411
500.18/508.32 c #Conflicts: 186000 | #Constraints: 62411
500.18/508.32 c #Conflicts: 187000 | #Constraints: 63411
500.18/508.32 c #Conflicts: 188000 | #Constraints: 64411
500.18/508.32 c #Conflicts: 189000 | #Constraints: 65411
500.18/508.32 c #Conflicts: 190000 | #Constraints: 66411
500.18/508.32 c #Conflicts: 191000 | #Constraints: 67411
500.18/508.32 c #Conflicts: 192000 | #Constraints: 68411
500.18/508.32 c #Conflicts: 193000 | #Constraints: 69411
500.18/508.32 c #Conflicts: 194000 | #Constraints: 70411
500.18/508.32 c #Conflicts: 195000 | #Constraints: 71411
500.18/508.32 c #Conflicts: 196000 | #Constraints: 72411
500.18/508.32 c #Conflicts: 197000 | #Constraints: 73411
500.18/508.32 c #Conflicts: 198000 | #Constraints: 74411
500.18/508.32 c INPROCESSING
500.18/508.32 c GARBAGE COLLECT
500.18/508.32 c #Conflicts: 199000 | #Constraints: 49972
500.18/508.32 c #Conflicts: 200000 | #Constraints: 50972
500.18/508.32 c #Conflicts: 201000 | #Constraints: 51972
500.18/508.32 c #Conflicts: 202000 | #Constraints: 52972
500.18/508.32 c #Conflicts: 203000 | #Constraints: 53972
500.18/508.32 c #Conflicts: 204000 | #Constraints: 54972
500.18/508.32 c #Conflicts: 205000 | #Constraints: 55972
500.18/508.32 c #Conflicts: 206000 | #Constraints: 56972
500.18/508.32 c #Conflicts: 207000 | #Constraints: 57972
500.18/508.32 c #Conflicts: 208000 | #Constraints: 58972
500.18/508.32 c #Conflicts: 209000 | #Constraints: 59972
500.18/508.32 c #Conflicts: 210000 | #Constraints: 60972
500.18/508.32 c #Conflicts: 211000 | #Constraints: 61972
500.18/508.32 c #Conflicts: 212000 | #Constraints: 62972
500.18/508.32 c INPROCESSING
500.18/508.32 c GARBAGE COLLECT
500.18/508.32 c rational objective 188.031
665.80/674.72 c #Conflicts: 213000 | #Constraints: 49878
665.80/674.72 c #Conflicts: 214000 | #Constraints: 50878
665.80/674.72 c #Conflicts: 215000 | #Constraints: 51878
665.80/674.72 c #Conflicts: 216000 | #Constraints: 52878
665.80/674.72 c #Conflicts: 217000 | #Constraints: 53878
665.80/674.72 c #Conflicts: 218000 | #Constraints: 54878
665.80/674.72 c #Conflicts: 219000 | #Constraints: 55878
665.80/674.72 c #Conflicts: 220000 | #Constraints: 56878
665.80/674.72 c #Conflicts: 221000 | #Constraints: 57878
665.80/674.72 c #Conflicts: 222000 | #Constraints: 58878
665.80/674.72 c #Conflicts: 223000 | #Constraints: 59878
665.80/674.72 c #Conflicts: 224000 | #Constraints: 60878
665.80/674.72 c #Conflicts: 225000 | #Constraints: 61878
665.80/674.72 c #Conflicts: 226000 | #Constraints: 62878
665.80/674.72 c #Conflicts: 227000 | #Constraints: 63878
665.80/674.72 c #Conflicts: 228000 | #Constraints: 64878
665.80/674.72 c #Conflicts: 229000 | #Constraints: 65878
665.80/674.72 c #Conflicts: 230000 | #Constraints: 66878
665.80/674.72 c #Conflicts: 231000 | #Constraints: 67878
665.80/674.72 c #Conflicts: 232000 | #Constraints: 68878
665.80/674.72 c #Conflicts: 233000 | #Constraints: 69878
665.80/674.72 c #Conflicts: 234000 | #Constraints: 70878
665.80/674.72 c #Conflicts: 235000 | #Constraints: 71878
665.80/674.72 c #Conflicts: 236000 | #Constraints: 72878
665.80/674.72 c #Conflicts: 237000 | #Constraints: 73878
665.80/674.72 c #Conflicts: 238000 | #Constraints: 74878
665.80/674.72 c #Conflicts: 239000 | #Constraints: 75878
665.80/674.72 c #Conflicts: 240000 | #Constraints: 76878
665.80/674.72 c #Conflicts: 241000 | #Constraints: 77878
665.80/674.72 c #Conflicts: 242000 | #Constraints: 78878
665.80/674.72 c #Conflicts: 243000 | #Constraints: 79878
665.80/674.72 c INPROCESSING
665.80/674.72 c GARBAGE COLLECT
665.80/674.72 c #Conflicts: 244000 | #Constraints: 53159
665.80/674.72 c #Conflicts: 245000 | #Constraints: 54159
665.80/674.72 c #Conflicts: 246000 | #Constraints: 55159
665.80/674.72 c #Conflicts: 247000 | #Constraints: 56159
665.80/674.72 c #Conflicts: 248000 | #Constraints: 57159
665.80/674.72 c #Conflicts: 249000 | #Constraints: 58159
665.80/674.72 c #Conflicts: 250000 | #Constraints: 59159
665.80/674.72 c #Conflicts: 251000 | #Constraints: 60159
665.80/674.72 c #Conflicts: 252000 | #Constraints: 61159
665.80/674.72 c #Conflicts: 253000 | #Constraints: 62159
665.80/674.72 c #Conflicts: 254000 | #Constraints: 63159
665.80/674.72 c #Conflicts: 255000 | #Constraints: 64159
665.80/674.72 c #Conflicts: 256000 | #Constraints: 65159
665.80/674.72 c #Conflicts: 257000 | #Constraints: 66159
665.80/674.72 c #Conflicts: 258000 | #Constraints: 67159
665.80/674.72 c INPROCESSING
665.80/674.72 c GARBAGE COLLECT
665.80/674.72 c #Conflicts: 259000 | #Constraints: 53133
665.80/674.72 c #Conflicts: 260000 | #Constraints: 54133
665.80/674.72 c #Conflicts: 261000 | #Constraints: 55133
665.80/674.72 c #Conflicts: 262000 | #Constraints: 56133
665.80/674.72 c #Conflicts: 263000 | #Constraints: 57133
665.80/674.72 c #Conflicts: 264000 | #Constraints: 58133
665.80/674.72 c #Conflicts: 265000 | #Constraints: 59133
665.80/674.72 c #Conflicts: 266000 | #Constraints: 60133
665.80/674.72 c #Conflicts: 267000 | #Constraints: 61133
665.80/674.72 c #Conflicts: 268000 | #Constraints: 62133
665.80/674.72 c #Conflicts: 269000 | #Constraints: 63133
665.80/674.72 c #Conflicts: 270000 | #Constraints: 64133
665.80/674.72 c #Conflicts: 271000 | #Constraints: 65133
665.80/674.72 c #Conflicts: 272000 | #Constraints: 66133
665.80/674.72 c #Conflicts: 273000 | #Constraints: 67133
665.80/674.72 c #Conflicts: 274000 | #Constraints: 68133
665.80/674.72 c #Conflicts: 275000 | #Constraints: 69133
665.80/674.72 c #Conflicts: 276000 | #Constraints: 70133
665.80/674.72 c #Conflicts: 277000 | #Constraints: 71133
665.80/674.72 c #Conflicts: 278000 | #Constraints: 72133
665.80/674.72 c #Conflicts: 279000 | #Constraints: 73133
665.80/674.72 c #Conflicts: 280000 | #Constraints: 74133
665.80/674.72 c #Conflicts: 281000 | #Constraints: 75133
665.80/674.72 c #Conflicts: 282000 | #Constraints: 76133
665.80/674.72 c #Conflicts: 283000 | #Constraints: 77133
665.80/674.72 c #Conflicts: 284000 | #Constraints: 78133
665.80/674.72 c #Conflicts: 285000 | #Constraints: 79133
665.80/674.72 c #Conflicts: 286000 | #Constraints: 80133
665.80/674.72 c #Conflicts: 287000 | #Constraints: 81133
665.80/674.72 c #Conflicts: 288000 | #Constraints: 82133
665.80/674.72 c #Conflicts: 289000 | #Constraints: 83133
665.80/674.72 c #Conflicts: 290000 | #Constraints: 84133
874.48/884.22 c #Conflicts: 291000 | #Constraints: 85133
874.48/884.22 c INPROCESSING
874.48/884.22 c GARBAGE COLLECT
874.48/884.22 c #Conflicts: 292000 | #Constraints: 55521
874.48/884.22 c #Conflicts: 293000 | #Constraints: 56521
874.48/884.22 c #Conflicts: 294000 | #Constraints: 57521
874.48/884.22 c #Conflicts: 295000 | #Constraints: 58521
874.48/884.22 c #Conflicts: 296000 | #Constraints: 59521
874.48/884.22 c #Conflicts: 297000 | #Constraints: 60521
874.48/884.22 c #Conflicts: 298000 | #Constraints: 61521
874.48/884.22 c #Conflicts: 299000 | #Constraints: 62521
874.48/884.22 c #Conflicts: 300000 | #Constraints: 63521
874.48/884.22 c #Conflicts: 301000 | #Constraints: 64521
874.48/884.22 c #Conflicts: 302000 | #Constraints: 65521
874.48/884.22 c #Conflicts: 303000 | #Constraints: 66521
874.48/884.22 c #Conflicts: 304000 | #Constraints: 67521
874.48/884.22 c #Conflicts: 305000 | #Constraints: 68521
874.48/884.22 c #Conflicts: 306000 | #Constraints: 69521
874.48/884.22 c #Conflicts: 307000 | #Constraints: 70521
874.48/884.22 c #Conflicts: 308000 | #Constraints: 71521
874.48/884.22 c INPROCESSING
874.48/884.22 c GARBAGE COLLECT
874.48/884.22 c #Conflicts: 309000 | #Constraints: 56677
874.48/884.22 c #Conflicts: 310000 | #Constraints: 57677
874.48/884.22 c #Conflicts: 311000 | #Constraints: 58677
874.48/884.22 c #Conflicts: 312000 | #Constraints: 59677
874.48/884.22 c #Conflicts: 313000 | #Constraints: 60677
874.48/884.22 c #Conflicts: 314000 | #Constraints: 61677
874.48/884.22 c #Conflicts: 315000 | #Constraints: 62677
874.48/884.22 c #Conflicts: 316000 | #Constraints: 63677
874.48/884.22 c #Conflicts: 317000 | #Constraints: 64677
874.48/884.22 c #Conflicts: 318000 | #Constraints: 65677
874.48/884.22 c #Conflicts: 319000 | #Constraints: 66677
874.48/884.22 c #Conflicts: 320000 | #Constraints: 67677
874.48/884.22 c #Conflicts: 321000 | #Constraints: 68677
874.48/884.22 c #Conflicts: 322000 | #Constraints: 69677
874.48/884.22 c #Conflicts: 323000 | #Constraints: 70677
874.48/884.22 c #Conflicts: 324000 | #Constraints: 71677
874.48/884.22 c #Conflicts: 325000 | #Constraints: 72677
874.48/884.22 c #Conflicts: 326000 | #Constraints: 73677
874.48/884.22 c #Conflicts: 327000 | #Constraints: 74677
874.48/884.22 c #Conflicts: 328000 | #Constraints: 75677
874.48/884.22 c #Conflicts: 329000 | #Constraints: 76677
874.48/884.22 c #Conflicts: 330000 | #Constraints: 77677
874.48/884.22 c #Conflicts: 331000 | #Constraints: 78677
874.48/884.22 c #Conflicts: 332000 | #Constraints: 79677
874.48/884.22 c #Conflicts: 333000 | #Constraints: 80677
874.48/884.22 c #Conflicts: 334000 | #Constraints: 81677
874.48/884.22 c #Conflicts: 335000 | #Constraints: 82677
874.48/884.22 c #Conflicts: 336000 | #Constraints: 83677
874.48/884.22 c #Conflicts: 337000 | #Constraints: 84677
874.48/884.22 c #Conflicts: 338000 | #Constraints: 85677
874.48/884.22 c #Conflicts: 339000 | #Constraints: 86677
874.48/884.22 c #Conflicts: 340000 | #Constraints: 87677
874.48/884.22 c #Conflicts: 341000 | #Constraints: 88677
874.48/884.22 c #Conflicts: 342000 | #Constraints: 89677
874.48/884.22 c #Conflicts: 343000 | #Constraints: 90677
874.48/884.22 c #Conflicts: 344000 | #Constraints: 91677
874.48/884.22 c #Conflicts: 345000 | #Constraints: 92677
874.48/884.22 c INPROCESSING
874.48/884.22 c GARBAGE COLLECT
874.48/884.22 c #Conflicts: 346000 | #Constraints: 59777
874.48/884.22 c #Conflicts: 347000 | #Constraints: 60777
874.48/884.22 c #Conflicts: 348000 | #Constraints: 61777
874.48/884.22 c #Conflicts: 349000 | #Constraints: 62777
874.48/884.22 c #Conflicts: 350000 | #Constraints: 63777
874.48/884.22 c #Conflicts: 351000 | #Constraints: 64777
874.48/884.22 c #Conflicts: 352000 | #Constraints: 65777
874.48/884.22 c #Conflicts: 353000 | #Constraints: 66777
874.48/884.22 c #Conflicts: 354000 | #Constraints: 67777
874.48/884.22 c #Conflicts: 355000 | #Constraints: 68777
874.48/884.22 c #Conflicts: 356000 | #Constraints: 69777
874.48/884.22 c #Conflicts: 357000 | #Constraints: 70777
874.48/884.22 c #Conflicts: 358000 | #Constraints: 71777
874.48/884.22 c #Conflicts: 359000 | #Constraints: 72777
874.48/884.22 c #Conflicts: 360000 | #Constraints: 73777
874.48/884.22 c #Conflicts: 361000 | #Constraints: 74777
874.48/884.22 c #Conflicts: 362000 | #Constraints: 75777
874.48/884.22 c INPROCESSING
874.48/884.22 c GARBAGE COLLECT
874.48/884.22 c #Conflicts: 363000 | #Constraints: 59298
874.48/884.22 c #Conflicts: 364000 | #Constraints: 60298
874.48/884.22 c #Conflicts: 365000 | #Constraints: 61298
874.48/884.22 c #Conflicts: 366000 | #Constraints: 62298
1038.14/1048.56 c #Conflicts: 367000 | #Constraints: 63298
1038.14/1048.56 c #Conflicts: 368000 | #Constraints: 64298
1038.14/1048.56 c #Conflicts: 369000 | #Constraints: 65298
1038.14/1048.56 c #Conflicts: 370000 | #Constraints: 66298
1038.14/1048.56 c #Conflicts: 371000 | #Constraints: 67298
1038.14/1048.56 c #Conflicts: 372000 | #Constraints: 68298
1038.14/1048.56 c #Conflicts: 373000 | #Constraints: 69298
1038.14/1048.56 c #Conflicts: 374000 | #Constraints: 70298
1038.14/1048.56 c #Conflicts: 375000 | #Constraints: 71298
1038.14/1048.56 c #Conflicts: 376000 | #Constraints: 72298
1038.14/1048.56 c #Conflicts: 377000 | #Constraints: 73298
1038.14/1048.56 c #Conflicts: 378000 | #Constraints: 74298
1038.14/1048.56 c #Conflicts: 379000 | #Constraints: 75298
1038.14/1048.56 c #Conflicts: 380000 | #Constraints: 76298
1038.14/1048.56 c #Conflicts: 381000 | #Constraints: 77298
1038.14/1048.56 c #Conflicts: 382000 | #Constraints: 78298
1038.14/1048.56 c #Conflicts: 383000 | #Constraints: 79298
1038.14/1048.56 c #Conflicts: 384000 | #Constraints: 80298
1038.14/1048.56 c #Conflicts: 385000 | #Constraints: 81298
1038.14/1048.56 c #Conflicts: 386000 | #Constraints: 82298
1038.14/1048.56 c #Conflicts: 387000 | #Constraints: 83298
1038.14/1048.56 c #Conflicts: 388000 | #Constraints: 84298
1038.14/1048.56 c #Conflicts: 389000 | #Constraints: 85298
1038.14/1048.56 c #Conflicts: 390000 | #Constraints: 86298
1038.14/1048.56 c #Conflicts: 391000 | #Constraints: 87298
1038.14/1048.56 c #Conflicts: 392000 | #Constraints: 88298
1038.14/1048.56 c #Conflicts: 393000 | #Constraints: 89298
1038.14/1048.56 c #Conflicts: 394000 | #Constraints: 90298
1038.14/1048.56 c #Conflicts: 395000 | #Constraints: 91298
1038.14/1048.56 c #Conflicts: 396000 | #Constraints: 92298
1038.14/1048.56 c #Conflicts: 397000 | #Constraints: 93298
1038.14/1048.56 c #Conflicts: 398000 | #Constraints: 94298
1038.14/1048.56 c #Conflicts: 399000 | #Constraints: 95298
1038.14/1048.56 c #Conflicts: 400000 | #Constraints: 96298
1038.14/1048.56 c #Conflicts: 401000 | #Constraints: 97298
1038.14/1048.56 c #Conflicts: 402000 | #Constraints: 98298
1038.14/1048.56 c INPROCESSING
1038.14/1048.56 c GARBAGE COLLECT
1038.14/1048.56 c #Conflicts: 403000 | #Constraints: 62539
1038.14/1048.56 c #Conflicts: 404000 | #Constraints: 63539
1038.14/1048.56 c #Conflicts: 405000 | #Constraints: 64539
1038.14/1048.56 c #Conflicts: 406000 | #Constraints: 65539
1038.14/1048.56 c #Conflicts: 407000 | #Constraints: 66539
1038.14/1048.56 c #Conflicts: 408000 | #Constraints: 67539
1038.14/1048.56 c #Conflicts: 409000 | #Constraints: 68539
1038.14/1048.56 c #Conflicts: 410000 | #Constraints: 69539
1038.14/1048.56 c #Conflicts: 411000 | #Constraints: 70539
1038.14/1048.56 c #Conflicts: 412000 | #Constraints: 71539
1038.14/1048.56 c #Conflicts: 413000 | #Constraints: 72539
1038.14/1048.56 c #Conflicts: 414000 | #Constraints: 73539
1038.14/1048.56 c #Conflicts: 415000 | #Constraints: 74539
1038.14/1048.56 c #Conflicts: 416000 | #Constraints: 75539
1038.14/1048.56 c #Conflicts: 417000 | #Constraints: 76539
1038.14/1048.56 c #Conflicts: 418000 | #Constraints: 77539
1038.14/1048.56 c #Conflicts: 419000 | #Constraints: 78539
1038.14/1048.56 c #Conflicts: 420000 | #Constraints: 79539
1038.14/1048.56 c #Conflicts: 421000 | #Constraints: 80539
1038.14/1048.56 c INPROCESSING
1038.14/1048.56 c GARBAGE COLLECT
1038.14/1048.56 c #Conflicts: 422000 | #Constraints: 62744
1038.14/1048.56 c #Conflicts: 423000 | #Constraints: 63744
1038.14/1048.56 c #Conflicts: 424000 | #Constraints: 64744
1038.14/1048.56 c #Conflicts: 425000 | #Constraints: 65744
1038.14/1048.56 c #Conflicts: 426000 | #Constraints: 66744
1038.14/1048.56 c #Conflicts: 427000 | #Constraints: 67744
1038.14/1048.56 c #Conflicts: 428000 | #Constraints: 68744
1038.14/1048.56 c #Conflicts: 429000 | #Constraints: 69744
1038.14/1048.56 c #Conflicts: 430000 | #Constraints: 70744
1038.14/1048.56 c #Conflicts: 431000 | #Constraints: 71744
1038.14/1048.56 c #Conflicts: 432000 | #Constraints: 72744
1038.14/1048.56 c #Conflicts: 433000 | #Constraints: 73744
1038.14/1048.56 c #Conflicts: 434000 | #Constraints: 74744
1038.14/1048.56 c #Conflicts: 435000 | #Constraints: 75744
1038.14/1048.56 c #Conflicts: 436000 | #Constraints: 76744
1038.14/1048.56 c #Conflicts: 437000 | #Constraints: 77744
1038.14/1048.56 c #Conflicts: 438000 | #Constraints: 78744
1038.14/1048.56 c #Conflicts: 439000 | #Constraints: 79744
1038.14/1048.56 c #Conflicts: 440000 | #Constraints: 80744
1038.14/1048.56 c #Conflicts: 441000 | #Constraints: 81744
1038.14/1048.56 c #Conflicts: 442000 | #Constraints: 82744
1038.14/1048.56 c #Conflicts: 443000 | #Constraints: 83744
1038.14/1048.56 c #Conflicts: 444000 | #Constraints: 84744
1368.21/1380.07 c #Conflicts: 445000 | #Constraints: 85744
1368.21/1380.07 c #Conflicts: 446000 | #Constraints: 86744
1368.21/1380.07 c #Conflicts: 447000 | #Constraints: 87744
1368.21/1380.07 c #Conflicts: 448000 | #Constraints: 88744
1368.21/1380.07 c #Conflicts: 449000 | #Constraints: 89744
1368.21/1380.07 c #Conflicts: 450000 | #Constraints: 90744
1368.21/1380.07 c #Conflicts: 451000 | #Constraints: 91744
1368.21/1380.07 c #Conflicts: 452000 | #Constraints: 92744
1368.21/1380.07 c #Conflicts: 453000 | #Constraints: 93744
1368.21/1380.07 c #Conflicts: 454000 | #Constraints: 94744
1368.21/1380.07 c #Conflicts: 455000 | #Constraints: 95744
1368.21/1380.07 c #Conflicts: 456000 | #Constraints: 96744
1368.21/1380.07 c #Conflicts: 457000 | #Constraints: 97744
1368.21/1380.07 c #Conflicts: 458000 | #Constraints: 98744
1368.21/1380.07 c #Conflicts: 459000 | #Constraints: 99744
1368.21/1380.07 c #Conflicts: 460000 | #Constraints: 100744
1368.21/1380.07 c #Conflicts: 461000 | #Constraints: 101744
1368.21/1380.07 c #Conflicts: 462000 | #Constraints: 102744
1368.21/1380.07 c #Conflicts: 463000 | #Constraints: 103744
1368.21/1380.07 c #Conflicts: 464000 | #Constraints: 104744
1368.21/1380.07 c INPROCESSING
1368.21/1380.07 c GARBAGE COLLECT
1368.21/1380.07 c #Conflicts: 465000 | #Constraints: 65763
1368.21/1380.07 c #Conflicts: 466000 | #Constraints: 66763
1368.21/1380.07 c #Conflicts: 467000 | #Constraints: 67763
1368.21/1380.07 c #Conflicts: 468000 | #Constraints: 68763
1368.21/1380.07 c #Conflicts: 469000 | #Constraints: 69763
1368.21/1380.07 c #Conflicts: 470000 | #Constraints: 70763
1368.21/1380.07 c #Conflicts: 471000 | #Constraints: 71763
1368.21/1380.07 c #Conflicts: 472000 | #Constraints: 72763
1368.21/1380.07 c #Conflicts: 473000 | #Constraints: 73763
1368.21/1380.07 c #Conflicts: 474000 | #Constraints: 74763
1368.21/1380.07 c #Conflicts: 475000 | #Constraints: 75763
1368.21/1380.07 c #Conflicts: 476000 | #Constraints: 76763
1368.21/1380.07 c #Conflicts: 477000 | #Constraints: 77763
1368.21/1380.07 c #Conflicts: 478000 | #Constraints: 78763
1368.21/1380.07 c #Conflicts: 479000 | #Constraints: 79763
1368.21/1380.07 c #Conflicts: 480000 | #Constraints: 80763
1368.21/1380.07 c #Conflicts: 481000 | #Constraints: 81763
1368.21/1380.07 c #Conflicts: 482000 | #Constraints: 82763
1368.21/1380.07 c #Conflicts: 483000 | #Constraints: 83763
1368.21/1380.07 c #Conflicts: 484000 | #Constraints: 84763
1368.21/1380.07 c INPROCESSING
1368.21/1380.07 c GARBAGE COLLECT
1368.21/1380.07 c #Conflicts: 485000 | #Constraints: 64803
1368.21/1380.07 c #Conflicts: 486000 | #Constraints: 65803
1368.21/1380.07 c #Conflicts: 487000 | #Constraints: 66803
1368.21/1380.07 c #Conflicts: 488000 | #Constraints: 67803
1368.21/1380.07 c #Conflicts: 489000 | #Constraints: 68803
1368.21/1380.07 c #Conflicts: 490000 | #Constraints: 69803
1368.21/1380.07 c #Conflicts: 491000 | #Constraints: 70803
1368.21/1380.07 c #Conflicts: 492000 | #Constraints: 71803
1368.21/1380.07 c #Conflicts: 493000 | #Constraints: 72803
1368.21/1380.07 c #Conflicts: 494000 | #Constraints: 73803
1368.21/1380.07 c #Conflicts: 495000 | #Constraints: 74803
1368.21/1380.07 c #Conflicts: 496000 | #Constraints: 75803
1368.21/1380.07 c #Conflicts: 497000 | #Constraints: 76803
1368.21/1380.07 c #Conflicts: 498000 | #Constraints: 77803
1368.21/1380.07 c #Conflicts: 499000 | #Constraints: 78803
1368.21/1380.07 c #Conflicts: 500000 | #Constraints: 79803
1368.21/1380.07 c #Conflicts: 501000 | #Constraints: 80803
1368.21/1380.07 c #Conflicts: 502000 | #Constraints: 81803
1368.21/1380.07 c #Conflicts: 503000 | #Constraints: 82803
1368.21/1380.07 c #Conflicts: 504000 | #Constraints: 83803
1368.21/1380.07 c #Conflicts: 505000 | #Constraints: 84803
1368.21/1380.07 c #Conflicts: 506000 | #Constraints: 85803
1368.21/1380.07 c #Conflicts: 507000 | #Constraints: 86803
1368.21/1380.07 c #Conflicts: 508000 | #Constraints: 87803
1368.21/1380.07 c #Conflicts: 509000 | #Constraints: 88803
1368.21/1380.07 c #Conflicts: 510000 | #Constraints: 89803
1368.21/1380.07 c #Conflicts: 511000 | #Constraints: 90803
1368.21/1380.07 c #Conflicts: 512000 | #Constraints: 91803
1368.21/1380.07 c #Conflicts: 513000 | #Constraints: 92803
1368.21/1380.07 c #Conflicts: 514000 | #Constraints: 93803
1368.21/1380.07 c #Conflicts: 515000 | #Constraints: 94803
1368.21/1380.07 c #Conflicts: 516000 | #Constraints: 95803
1368.21/1380.07 c #Conflicts: 517000 | #Constraints: 96803
1368.21/1380.07 c #Conflicts: 518000 | #Constraints: 97803
1368.21/1380.07 c #Conflicts: 519000 | #Constraints: 98803
1368.21/1380.07 c #Conflicts: 520000 | #Constraints: 99803
1368.21/1380.07 c #Conflicts: 521000 | #Constraints: 100803
1593.97/1607.93 c #Conflicts: 522000 | #Constraints: 101803
1593.97/1607.93 c #Conflicts: 523000 | #Constraints: 102803
1593.97/1607.93 c #Conflicts: 524000 | #Constraints: 103803
1593.97/1607.93 c #Conflicts: 525000 | #Constraints: 104803
1593.97/1607.93 c #Conflicts: 526000 | #Constraints: 105803
1593.97/1607.93 c #Conflicts: 527000 | #Constraints: 106803
1593.97/1607.93 c #Conflicts: 528000 | #Constraints: 107803
1593.97/1607.93 c #Conflicts: 529000 | #Constraints: 108803
1593.97/1607.93 c #Conflicts: 530000 | #Constraints: 109803
1593.97/1607.93 c INPROCESSING
1593.97/1607.93 c GARBAGE COLLECT
1593.97/1607.93 c #Conflicts: 531000 | #Constraints: 68342
1593.97/1607.93 c #Conflicts: 532000 | #Constraints: 69342
1593.97/1607.93 c #Conflicts: 533000 | #Constraints: 70342
1593.97/1607.93 c #Conflicts: 534000 | #Constraints: 71342
1593.97/1607.93 c #Conflicts: 535000 | #Constraints: 72342
1593.97/1607.93 c #Conflicts: 536000 | #Constraints: 73342
1593.97/1607.93 c #Conflicts: 537000 | #Constraints: 74342
1593.97/1607.93 c #Conflicts: 538000 | #Constraints: 75342
1593.97/1607.93 c #Conflicts: 539000 | #Constraints: 76342
1593.97/1607.93 c #Conflicts: 540000 | #Constraints: 77342
1593.97/1607.93 c #Conflicts: 541000 | #Constraints: 78342
1593.97/1607.93 c #Conflicts: 542000 | #Constraints: 79342
1593.97/1607.93 c #Conflicts: 543000 | #Constraints: 80342
1593.97/1607.93 c #Conflicts: 544000 | #Constraints: 81342
1593.97/1607.93 c #Conflicts: 545000 | #Constraints: 82342
1593.97/1607.93 c #Conflicts: 546000 | #Constraints: 83342
1593.97/1607.93 c #Conflicts: 547000 | #Constraints: 84342
1593.97/1607.93 c #Conflicts: 548000 | #Constraints: 85342
1593.97/1607.93 c #Conflicts: 549000 | #Constraints: 86342
1593.97/1607.93 c #Conflicts: 550000 | #Constraints: 87342
1593.97/1607.93 c #Conflicts: 551000 | #Constraints: 88342
1593.97/1607.93 c #Conflicts: 552000 | #Constraints: 89342
1593.97/1607.93 c INPROCESSING
1593.97/1607.93 c GARBAGE COLLECT
1593.97/1607.93 c #Conflicts: 553000 | #Constraints: 68118
1593.97/1607.93 c #Conflicts: 554000 | #Constraints: 69118
1593.97/1607.93 c #Conflicts: 555000 | #Constraints: 70118
1593.97/1607.93 c #Conflicts: 556000 | #Constraints: 71118
1593.97/1607.93 c #Conflicts: 557000 | #Constraints: 72118
1593.97/1607.93 c #Conflicts: 558000 | #Constraints: 73118
1593.97/1607.93 c #Conflicts: 559000 | #Constraints: 74118
1593.97/1607.93 c #Conflicts: 560000 | #Constraints: 75118
1593.97/1607.93 c #Conflicts: 561000 | #Constraints: 76118
1593.97/1607.93 c #Conflicts: 562000 | #Constraints: 77118
1593.97/1607.93 c #Conflicts: 563000 | #Constraints: 78118
1593.97/1607.93 c #Conflicts: 564000 | #Constraints: 79118
1593.97/1607.93 c #Conflicts: 565000 | #Constraints: 80118
1593.97/1607.93 c #Conflicts: 566000 | #Constraints: 81118
1593.97/1607.93 c #Conflicts: 567000 | #Constraints: 82118
1593.97/1607.93 c #Conflicts: 568000 | #Constraints: 83118
1593.97/1607.93 c #Conflicts: 569000 | #Constraints: 84118
1593.97/1607.93 c #Conflicts: 570000 | #Constraints: 85118
1593.97/1607.93 c #Conflicts: 571000 | #Constraints: 86118
1593.97/1607.93 c #Conflicts: 572000 | #Constraints: 87118
1593.97/1607.93 c #Conflicts: 573000 | #Constraints: 88118
1593.97/1607.93 c #Conflicts: 574000 | #Constraints: 89119
1593.97/1607.93 c #Conflicts: 575000 | #Constraints: 90119
1593.97/1607.93 c #Conflicts: 576000 | #Constraints: 91119
1593.97/1607.93 c #Conflicts: 577000 | #Constraints: 92119
1593.97/1607.93 c #Conflicts: 578000 | #Constraints: 93119
1593.97/1607.93 c #Conflicts: 579000 | #Constraints: 94119
1593.97/1607.93 c #Conflicts: 580000 | #Constraints: 95119
1593.97/1607.93 c #Conflicts: 581000 | #Constraints: 96119
1593.97/1607.93 c #Conflicts: 582000 | #Constraints: 97119
1593.97/1607.93 c #Conflicts: 583000 | #Constraints: 98119
1593.97/1607.93 c #Conflicts: 584000 | #Constraints: 99119
1593.97/1607.93 c #Conflicts: 585000 | #Constraints: 100119
1593.97/1607.93 c #Conflicts: 586000 | #Constraints: 101119
1593.97/1607.93 c #Conflicts: 587000 | #Constraints: 102119
1593.97/1607.93 c #Conflicts: 588000 | #Constraints: 103119
1593.97/1607.93 c #Conflicts: 589000 | #Constraints: 104119
1593.97/1607.93 c #Conflicts: 590000 | #Constraints: 105119
1593.97/1607.93 c #Conflicts: 591000 | #Constraints: 106119
1593.97/1607.93 c #Conflicts: 592000 | #Constraints: 107119
1593.97/1607.93 c #Conflicts: 593000 | #Constraints: 108119
1593.97/1607.93 c #Conflicts: 594000 | #Constraints: 109119
1593.97/1607.93 c #Conflicts: 595000 | #Constraints: 110119
1593.97/1607.93 c #Conflicts: 596000 | #Constraints: 111119
1593.97/1607.93 c #Conflicts: 597000 | #Constraints: 112119
1593.97/1607.93 c #Conflicts: 598000 | #Constraints: 113119
1593.97/1607.93 c #Conflicts: 599000 | #Constraints: 114119
1777.39/1794.37 c #Conflicts: 600000 | #Constraints: 115119
1777.39/1794.37 c #Conflicts: 601000 | #Constraints: 116119
1777.39/1794.37 c INPROCESSING
1777.39/1794.37 c GARBAGE COLLECT
1777.39/1794.37 c #Conflicts: 602000 | #Constraints: 71699
1777.39/1794.37 c #Conflicts: 603000 | #Constraints: 72699
1777.39/1794.37 c #Conflicts: 604000 | #Constraints: 73699
1777.39/1794.37 c #Conflicts: 605000 | #Constraints: 74699
1777.39/1794.37 c #Conflicts: 606000 | #Constraints: 75699
1777.39/1794.37 c #Conflicts: 607000 | #Constraints: 76699
1777.39/1794.37 c #Conflicts: 608000 | #Constraints: 77699
1777.39/1794.37 c #Conflicts: 609000 | #Constraints: 78699
1777.39/1794.37 c #Conflicts: 610000 | #Constraints: 79699
1777.39/1794.37 c #Conflicts: 611000 | #Constraints: 80699
1777.39/1794.37 c #Conflicts: 612000 | #Constraints: 81699
1777.39/1794.37 c #Conflicts: 613000 | #Constraints: 82699
1777.39/1794.37 c #Conflicts: 614000 | #Constraints: 83699
1777.39/1794.37 c #Conflicts: 615000 | #Constraints: 84699
1777.39/1794.37 c #Conflicts: 616000 | #Constraints: 85699
1777.39/1794.37 c #Conflicts: 617000 | #Constraints: 86699
1777.39/1794.37 c #Conflicts: 618000 | #Constraints: 87699
1777.39/1794.37 c #Conflicts: 619000 | #Constraints: 88699
1777.39/1794.37 c #Conflicts: 620000 | #Constraints: 89699
1777.39/1794.37 c #Conflicts: 621000 | #Constraints: 90699
1777.39/1794.37 c #Conflicts: 622000 | #Constraints: 91699
1777.39/1794.37 c #Conflicts: 623000 | #Constraints: 92699
1777.39/1794.37 c #Conflicts: 624000 | #Constraints: 93699
1777.39/1794.37 c INPROCESSING
1777.39/1794.37 c GARBAGE COLLECT
1777.39/1794.37 c #Conflicts: 625000 | #Constraints: 71481
1777.39/1794.37 c #Conflicts: 626000 | #Constraints: 72481
1777.39/1794.37 c #Conflicts: 627000 | #Constraints: 73481
1777.39/1794.37 c #Conflicts: 628000 | #Constraints: 74481
1777.39/1794.37 c #Conflicts: 629000 | #Constraints: 75481
1777.39/1794.37 c #Conflicts: 630000 | #Constraints: 76481
1777.39/1794.37 c #Conflicts: 631000 | #Constraints: 77481
1777.39/1794.37 c #Conflicts: 632000 | #Constraints: 78481
1777.39/1794.37 c #Conflicts: 633000 | #Constraints: 79481
1777.39/1794.37 c #Conflicts: 634000 | #Constraints: 80481
1777.39/1794.37 c #Conflicts: 635000 | #Constraints: 81481
1777.39/1794.37 c #Conflicts: 636000 | #Constraints: 82481
1777.39/1794.37 c #Conflicts: 637000 | #Constraints: 83481
1777.39/1794.37 c #Conflicts: 638000 | #Constraints: 84481
1777.39/1794.37 c #Conflicts: 639000 | #Constraints: 85481
1777.39/1794.37 c #Conflicts: 640000 | #Constraints: 86481
1777.39/1794.37 c #Conflicts: 641000 | #Constraints: 87481
1777.39/1794.37 c #Conflicts: 642000 | #Constraints: 88481
1777.39/1794.37 c #Conflicts: 643000 | #Constraints: 89481
1777.39/1794.37 c #Conflicts: 644000 | #Constraints: 90481
1777.39/1794.37 c #Conflicts: 645000 | #Constraints: 91481
1777.39/1794.37 c #Conflicts: 646000 | #Constraints: 92481
1777.39/1794.37 c #Conflicts: 647000 | #Constraints: 93481
1777.39/1794.37 c #Conflicts: 648000 | #Constraints: 94481
1777.39/1794.37 c #Conflicts: 649000 | #Constraints: 95481
1777.39/1794.37 c #Conflicts: 650000 | #Constraints: 96481
1777.39/1794.37 c #Conflicts: 651000 | #Constraints: 97481
1777.39/1794.37 c #Conflicts: 652000 | #Constraints: 98481
1777.39/1794.37 c #Conflicts: 653000 | #Constraints: 99481
1777.39/1794.37 c #Conflicts: 654000 | #Constraints: 100481
1777.39/1794.37 c #Conflicts: 655000 | #Constraints: 101481
1777.39/1794.37 c #Conflicts: 656000 | #Constraints: 102481
1777.39/1794.37 c #Conflicts: 657000 | #Constraints: 103481
1777.39/1794.37 c #Conflicts: 658000 | #Constraints: 104481
1777.39/1794.37 c #Conflicts: 659000 | #Constraints: 105481
1777.39/1794.37 c #Conflicts: 660000 | #Constraints: 106481
1777.39/1794.37 c #Conflicts: 661000 | #Constraints: 107481
1777.39/1794.37 c #Conflicts: 662000 | #Constraints: 108481
1777.39/1794.37 c #Conflicts: 663000 | #Constraints: 109481
1777.39/1794.37 c #Conflicts: 664000 | #Constraints: 110481
1777.39/1794.37 c #Conflicts: 665000 | #Constraints: 111481
1777.39/1794.37 c #Conflicts: 666000 | #Constraints: 112481
1777.39/1794.37 c #Conflicts: 667000 | #Constraints: 113481
1777.39/1794.37 c #Conflicts: 668000 | #Constraints: 114481
1777.39/1794.37 c #Conflicts: 669000 | #Constraints: 115481
1777.39/1794.37 c #Conflicts: 670000 | #Constraints: 116481
1777.39/1794.37 c #Conflicts: 671000 | #Constraints: 117481
1777.39/1794.37 c #Conflicts: 672000 | #Constraints: 118481
1777.39/1794.37 c #Conflicts: 673000 | #Constraints: 119481
1777.39/1794.37 c #Conflicts: 674000 | #Constraints: 120481
1777.39/1794.37 c #Conflicts: 675000 | #Constraints: 121481
1777.39/1794.37 c #Conflicts: 676000 | #Constraints: 122481
1953.10/1973.90 c INPROCESSING
1953.10/1973.90 c GARBAGE COLLECT
1953.10/1973.90 c #Conflicts: 677000 | #Constraints: 74737
1953.10/1973.90 c #Conflicts: 678000 | #Constraints: 75737
1953.10/1973.90 c #Conflicts: 679000 | #Constraints: 76737
1953.10/1973.90 c #Conflicts: 680000 | #Constraints: 77737
1953.10/1973.90 c #Conflicts: 681000 | #Constraints: 78737
1953.10/1973.90 c #Conflicts: 682000 | #Constraints: 79737
1953.10/1973.90 c #Conflicts: 683000 | #Constraints: 80737
1953.10/1973.90 c #Conflicts: 684000 | #Constraints: 81737
1953.10/1973.90 c #Conflicts: 685000 | #Constraints: 82737
1953.10/1973.90 c #Conflicts: 686000 | #Constraints: 83737
1953.10/1973.90 c #Conflicts: 687000 | #Constraints: 84737
1953.10/1973.90 c #Conflicts: 688000 | #Constraints: 85737
1953.10/1973.90 c #Conflicts: 689000 | #Constraints: 86737
1953.10/1973.90 c #Conflicts: 690000 | #Constraints: 87737
1953.10/1973.90 c #Conflicts: 691000 | #Constraints: 88737
1953.10/1973.90 c #Conflicts: 692000 | #Constraints: 89737
1953.10/1973.90 c #Conflicts: 693000 | #Constraints: 90737
1953.10/1973.90 c #Conflicts: 694000 | #Constraints: 91737
1953.10/1973.90 c #Conflicts: 695000 | #Constraints: 92737
1953.10/1973.90 c #Conflicts: 696000 | #Constraints: 93737
1953.10/1973.90 c #Conflicts: 697000 | #Constraints: 94737
1953.10/1973.90 c #Conflicts: 698000 | #Constraints: 95737
1953.10/1973.90 c #Conflicts: 699000 | #Constraints: 96737
1953.10/1973.90 c #Conflicts: 700000 | #Constraints: 97737
1953.10/1973.90 c INPROCESSING
1953.10/1973.90 c GARBAGE COLLECT
1953.10/1973.90 c #Conflicts: 701000 | #Constraints: 74361
1953.10/1973.90 c #Conflicts: 702000 | #Constraints: 75361
1953.10/1973.90 c #Conflicts: 703000 | #Constraints: 76361
1953.10/1973.90 c #Conflicts: 704000 | #Constraints: 77361
1953.10/1973.90 c #Conflicts: 705000 | #Constraints: 78361
1953.10/1973.90 c #Conflicts: 706000 | #Constraints: 79361
1953.10/1973.90 c #Conflicts: 707000 | #Constraints: 80361
1953.10/1973.90 c #Conflicts: 708000 | #Constraints: 81361
1953.10/1973.90 c #Conflicts: 709000 | #Constraints: 82361
1953.10/1973.90 c #Conflicts: 710000 | #Constraints: 83361
1953.10/1973.90 c #Conflicts: 711000 | #Constraints: 84361
1953.10/1973.90 c #Conflicts: 712000 | #Constraints: 85361
1953.10/1973.90 c #Conflicts: 713000 | #Constraints: 86361
1953.10/1973.90 c #Conflicts: 714000 | #Constraints: 87361
1953.10/1973.90 c #Conflicts: 715000 | #Constraints: 88361
1953.10/1973.90 c #Conflicts: 716000 | #Constraints: 89361
1953.10/1973.90 c #Conflicts: 717000 | #Constraints: 90361
1953.10/1973.90 c #Conflicts: 718000 | #Constraints: 91361
1953.10/1973.90 c #Conflicts: 719000 | #Constraints: 92361
1953.10/1973.90 c #Conflicts: 720000 | #Constraints: 93361
1953.10/1973.90 c #Conflicts: 721000 | #Constraints: 94361
1953.10/1973.90 c #Conflicts: 722000 | #Constraints: 95361
1953.10/1973.90 c #Conflicts: 723000 | #Constraints: 96361
1953.10/1973.90 c #Conflicts: 724000 | #Constraints: 97361
1953.10/1973.90 c #Conflicts: 725000 | #Constraints: 98361
1953.10/1973.90 c #Conflicts: 726000 | #Constraints: 99361
1953.10/1973.90 c #Conflicts: 727000 | #Constraints: 100361
1953.10/1973.90 c #Conflicts: 728000 | #Constraints: 101361
1953.10/1973.90 c #Conflicts: 729000 | #Constraints: 102361
1953.10/1973.90 c #Conflicts: 730000 | #Constraints: 103361
1953.10/1973.90 c #Conflicts: 731000 | #Constraints: 104361
1953.10/1973.90 c #Conflicts: 732000 | #Constraints: 105361
1953.10/1973.90 c #Conflicts: 733000 | #Constraints: 106361
1953.10/1973.90 c #Conflicts: 734000 | #Constraints: 107361
1953.10/1973.90 c #Conflicts: 735000 | #Constraints: 108361
1953.10/1973.90 c #Conflicts: 736000 | #Constraints: 109361
1953.10/1973.90 c #Conflicts: 737000 | #Constraints: 110361
1953.10/1973.90 c #Conflicts: 738000 | #Constraints: 111361
1953.10/1973.90 c #Conflicts: 739000 | #Constraints: 112361
1953.10/1973.90 c #Conflicts: 740000 | #Constraints: 113361
1953.10/1973.90 c #Conflicts: 741000 | #Constraints: 114361
1953.10/1973.90 c #Conflicts: 742000 | #Constraints: 115361
1953.10/1973.90 c #Conflicts: 743000 | #Constraints: 116361
1953.10/1973.90 c #Conflicts: 744000 | #Constraints: 117361
1953.10/1973.90 c #Conflicts: 745000 | #Constraints: 118361
1953.10/1973.90 c #Conflicts: 746000 | #Constraints: 119361
1953.10/1973.90 c #Conflicts: 747000 | #Constraints: 120361
1953.10/1973.90 c #Conflicts: 748000 | #Constraints: 121361
1953.10/1973.90 c #Conflicts: 749000 | #Constraints: 122361
1953.10/1973.90 c #Conflicts: 750000 | #Constraints: 123361
1953.10/1973.90 c #Conflicts: 751000 | #Constraints: 124361
1953.10/1973.90 c #Conflicts: 752000 | #Constraints: 125361
1953.10/1973.90 c #Conflicts: 753000 | #Constraints: 126361
1953.10/1973.90 c #Conflicts: 754000 | #Constraints: 127361
2211.14/2232.87 c #Conflicts: 755000 | #Constraints: 128361
2211.14/2232.87 c #Conflicts: 756000 | #Constraints: 129361
2211.14/2232.87 c INPROCESSING
2211.14/2232.87 c GARBAGE COLLECT
2211.14/2232.87 c #Conflicts: 757000 | #Constraints: 78536
2211.14/2232.87 c #Conflicts: 758000 | #Constraints: 79536
2211.14/2232.87 c #Conflicts: 759000 | #Constraints: 80536
2211.14/2232.87 c #Conflicts: 760000 | #Constraints: 81536
2211.14/2232.87 c #Conflicts: 761000 | #Constraints: 82536
2211.14/2232.87 c #Conflicts: 762000 | #Constraints: 83536
2211.14/2232.87 c #Conflicts: 763000 | #Constraints: 84536
2211.14/2232.87 c #Conflicts: 764000 | #Constraints: 85536
2211.14/2232.87 c #Conflicts: 765000 | #Constraints: 86536
2211.14/2232.87 c #Conflicts: 766000 | #Constraints: 87536
2211.14/2232.87 c #Conflicts: 767000 | #Constraints: 88537
2211.14/2232.87 c #Conflicts: 768000 | #Constraints: 89537
2211.14/2232.87 c #Conflicts: 769000 | #Constraints: 90537
2211.14/2232.87 c #Conflicts: 770000 | #Constraints: 91537
2211.14/2232.87 c #Conflicts: 771000 | #Constraints: 92537
2211.14/2232.87 c #Conflicts: 772000 | #Constraints: 93537
2211.14/2232.87 c #Conflicts: 773000 | #Constraints: 94537
2211.14/2232.87 c #Conflicts: 774000 | #Constraints: 95537
2211.14/2232.87 c #Conflicts: 775000 | #Constraints: 96537
2211.14/2232.87 c #Conflicts: 776000 | #Constraints: 97537
2211.14/2232.87 c #Conflicts: 777000 | #Constraints: 98537
2211.14/2232.87 c #Conflicts: 778000 | #Constraints: 99537
2211.14/2232.87 c #Conflicts: 779000 | #Constraints: 100537
2211.14/2232.87 c #Conflicts: 780000 | #Constraints: 101537
2211.14/2232.87 c #Conflicts: 781000 | #Constraints: 102537
2211.14/2232.87 c INPROCESSING
2211.14/2232.87 c GARBAGE COLLECT
2211.14/2232.87 c rational objective 188.04
2417.71/2440.56 c #Conflicts: 782000 | #Constraints: 77630
2417.71/2440.56 c #Conflicts: 783000 | #Constraints: 78630
2417.71/2440.56 c #Conflicts: 784000 | #Constraints: 79630
2417.71/2440.56 c #Conflicts: 785000 | #Constraints: 80630
2417.71/2440.56 c #Conflicts: 786000 | #Constraints: 81630
2417.71/2440.56 c #Conflicts: 787000 | #Constraints: 82630
2417.71/2440.56 c #Conflicts: 788000 | #Constraints: 83630
2417.71/2440.56 c #Conflicts: 789000 | #Constraints: 84630
2417.71/2440.56 c #Conflicts: 790000 | #Constraints: 85630
2417.71/2440.56 c #Conflicts: 791000 | #Constraints: 86630
2417.71/2440.56 c #Conflicts: 792000 | #Constraints: 87630
2417.71/2440.56 c #Conflicts: 793000 | #Constraints: 88630
2417.71/2440.56 c #Conflicts: 794000 | #Constraints: 89630
2417.71/2440.56 c #Conflicts: 795000 | #Constraints: 90630
2417.71/2440.56 c #Conflicts: 796000 | #Constraints: 91630
2417.71/2440.56 c #Conflicts: 797000 | #Constraints: 92630
2417.71/2440.56 c #Conflicts: 798000 | #Constraints: 93630
2417.71/2440.56 c #Conflicts: 799000 | #Constraints: 94630
2417.71/2440.56 c #Conflicts: 800000 | #Constraints: 95630
2417.71/2440.56 c #Conflicts: 801000 | #Constraints: 96630
2417.71/2440.56 c #Conflicts: 802000 | #Constraints: 97630
2417.71/2440.56 c #Conflicts: 803000 | #Constraints: 98630
2417.71/2440.56 c #Conflicts: 804000 | #Constraints: 99630
2417.71/2440.56 c #Conflicts: 805000 | #Constraints: 100630
2417.71/2440.56 c #Conflicts: 806000 | #Constraints: 101630
2417.71/2440.56 c #Conflicts: 807000 | #Constraints: 102630
2417.71/2440.56 c #Conflicts: 808000 | #Constraints: 103630
2417.71/2440.56 c #Conflicts: 809000 | #Constraints: 104630
2417.71/2440.56 c #Conflicts: 810000 | #Constraints: 105630
2417.71/2440.56 c #Conflicts: 811000 | #Constraints: 106630
2417.71/2440.56 c #Conflicts: 812000 | #Constraints: 107630
2417.71/2440.56 c #Conflicts: 813000 | #Constraints: 108630
2417.71/2440.56 c #Conflicts: 814000 | #Constraints: 109630
2417.71/2440.56 c #Conflicts: 815000 | #Constraints: 110630
2417.71/2440.56 c #Conflicts: 816000 | #Constraints: 111630
2417.71/2440.56 c #Conflicts: 817000 | #Constraints: 112630
2417.71/2440.56 c #Conflicts: 818000 | #Constraints: 113630
2417.71/2440.56 c #Conflicts: 819000 | #Constraints: 114630
2417.71/2440.56 c #Conflicts: 820000 | #Constraints: 115630
2417.71/2440.56 c #Conflicts: 821000 | #Constraints: 116630
2417.71/2440.56 c #Conflicts: 822000 | #Constraints: 117630
2417.71/2440.56 c #Conflicts: 823000 | #Constraints: 118630
2417.71/2440.56 c #Conflicts: 824000 | #Constraints: 119630
2417.71/2440.56 c #Conflicts: 825000 | #Constraints: 120630
2417.71/2440.56 c #Conflicts: 826000 | #Constraints: 121630
2417.71/2440.56 c #Conflicts: 827000 | #Constraints: 122630
2417.71/2440.56 c #Conflicts: 828000 | #Constraints: 123630
2417.71/2440.56 c #Conflicts: 829000 | #Constraints: 124630
2417.71/2440.56 c #Conflicts: 830000 | #Constraints: 125630
2417.71/2440.56 c #Conflicts: 831000 | #Constraints: 126630
2417.71/2440.56 c #Conflicts: 832000 | #Constraints: 127630
2417.71/2440.56 c #Conflicts: 833000 | #Constraints: 128630
2417.71/2440.56 c #Conflicts: 834000 | #Constraints: 129630
2417.71/2440.56 c #Conflicts: 835000 | #Constraints: 130630
2417.71/2440.56 c #Conflicts: 836000 | #Constraints: 131630
2417.71/2440.56 c #Conflicts: 837000 | #Constraints: 132630
2417.71/2440.56 c #Conflicts: 838000 | #Constraints: 133630
2417.71/2440.56 c #Conflicts: 839000 | #Constraints: 134630
2417.71/2440.56 c INPROCESSING
2417.71/2440.56 c GARBAGE COLLECT
2417.71/2440.56 c #Conflicts: 840000 | #Constraints: 80905
2417.71/2440.56 c #Conflicts: 841000 | #Constraints: 81905
2417.71/2440.56 c #Conflicts: 842000 | #Constraints: 82905
2417.71/2440.56 c #Conflicts: 843000 | #Constraints: 83905
2417.71/2440.56 c #Conflicts: 844000 | #Constraints: 84905
2417.71/2440.56 c #Conflicts: 845000 | #Constraints: 85905
2417.71/2440.56 c #Conflicts: 846000 | #Constraints: 86905
2417.71/2440.56 c #Conflicts: 847000 | #Constraints: 87905
2417.71/2440.56 c #Conflicts: 848000 | #Constraints: 88905
2417.71/2440.56 c #Conflicts: 849000 | #Constraints: 89905
2417.71/2440.56 c #Conflicts: 850000 | #Constraints: 90905
2417.71/2440.56 c #Conflicts: 851000 | #Constraints: 91905
2417.71/2440.56 c #Conflicts: 852000 | #Constraints: 92905
2417.71/2440.56 c #Conflicts: 853000 | #Constraints: 93905
2417.71/2440.56 c #Conflicts: 854000 | #Constraints: 94905
2417.71/2440.56 c #Conflicts: 855000 | #Constraints: 95905
2417.71/2440.56 c #Conflicts: 856000 | #Constraints: 96905
2417.71/2440.56 c #Conflicts: 857000 | #Constraints: 97905
2417.71/2440.56 c #Conflicts: 858000 | #Constraints: 98905
2417.71/2440.56 c #Conflicts: 859000 | #Constraints: 99905
2417.71/2440.56 c #Conflicts: 860000 | #Constraints: 100905
2698.40/2728.47 c #Conflicts: 861000 | #Constraints: 101905
2698.40/2728.47 c #Conflicts: 862000 | #Constraints: 102905
2698.40/2728.47 c #Conflicts: 863000 | #Constraints: 103905
2698.40/2728.47 c #Conflicts: 864000 | #Constraints: 104905
2698.40/2728.47 c #Conflicts: 865000 | #Constraints: 105905
2698.40/2728.47 c #Conflicts: 866000 | #Constraints: 106905
2698.40/2728.47 c INPROCESSING
2698.40/2728.47 c GARBAGE COLLECT
2698.40/2728.47 c #Conflicts: 867000 | #Constraints: 80657
2698.40/2728.47 c #Conflicts: 868000 | #Constraints: 81657
2698.40/2728.47 c #Conflicts: 869000 | #Constraints: 82657
2698.40/2728.47 c #Conflicts: 870000 | #Constraints: 83657
2698.40/2728.47 c #Conflicts: 871000 | #Constraints: 84657
2698.40/2728.47 c #Conflicts: 872000 | #Constraints: 85657
2698.40/2728.47 c #Conflicts: 873000 | #Constraints: 86657
2698.40/2728.47 c #Conflicts: 874000 | #Constraints: 87657
2698.40/2728.47 c #Conflicts: 875000 | #Constraints: 88657
2698.40/2728.47 c #Conflicts: 876000 | #Constraints: 89657
2698.40/2728.47 c #Conflicts: 877000 | #Constraints: 90657
2698.40/2728.47 c #Conflicts: 878000 | #Constraints: 91657
2698.40/2728.47 c #Conflicts: 879000 | #Constraints: 92657
2698.40/2728.47 c #Conflicts: 880000 | #Constraints: 93657
2698.40/2728.47 c #Conflicts: 881000 | #Constraints: 94657
2698.40/2728.47 c #Conflicts: 882000 | #Constraints: 95657
2698.40/2728.47 c #Conflicts: 883000 | #Constraints: 96657
2698.40/2728.47 c #Conflicts: 884000 | #Constraints: 97657
2698.40/2728.47 c #Conflicts: 885000 | #Constraints: 98657
2698.40/2728.47 c #Conflicts: 886000 | #Constraints: 99657
2698.40/2728.47 c #Conflicts: 887000 | #Constraints: 100657
2698.40/2728.47 c #Conflicts: 888000 | #Constraints: 101657
2698.40/2728.47 c #Conflicts: 889000 | #Constraints: 102657
2698.40/2728.47 c #Conflicts: 890000 | #Constraints: 103657
2698.40/2728.47 c #Conflicts: 891000 | #Constraints: 104657
2698.40/2728.47 c #Conflicts: 892000 | #Constraints: 105657
2698.40/2728.47 c #Conflicts: 893000 | #Constraints: 106657
2698.40/2728.47 c #Conflicts: 894000 | #Constraints: 107657
2698.40/2728.47 c #Conflicts: 895000 | #Constraints: 108657
2698.40/2728.47 c #Conflicts: 896000 | #Constraints: 109657
2698.40/2728.47 c #Conflicts: 897000 | #Constraints: 110657
2698.40/2728.47 c #Conflicts: 898000 | #Constraints: 111657
2698.40/2728.47 c #Conflicts: 899000 | #Constraints: 112657
2698.40/2728.47 c #Conflicts: 900000 | #Constraints: 113657
2698.40/2728.47 c #Conflicts: 901000 | #Constraints: 114657
2698.40/2728.47 c #Conflicts: 902000 | #Constraints: 115657
2698.40/2728.47 c #Conflicts: 903000 | #Constraints: 116657
2698.40/2728.47 c #Conflicts: 904000 | #Constraints: 117657
2698.40/2728.47 c #Conflicts: 905000 | #Constraints: 118657
2698.40/2728.47 c #Conflicts: 906000 | #Constraints: 119657
2698.40/2728.47 c #Conflicts: 907000 | #Constraints: 120657
2698.40/2728.47 c #Conflicts: 908000 | #Constraints: 121657
2698.40/2728.47 c #Conflicts: 909000 | #Constraints: 122658
2698.40/2728.47 c #Conflicts: 910000 | #Constraints: 123658
2698.40/2728.47 c #Conflicts: 911000 | #Constraints: 124658
2698.40/2728.47 c #Conflicts: 912000 | #Constraints: 125658
2698.40/2728.47 c #Conflicts: 913000 | #Constraints: 126658
2698.40/2728.47 c #Conflicts: 914000 | #Constraints: 127658
2698.40/2728.47 c #Conflicts: 915000 | #Constraints: 128658
2698.40/2728.47 c #Conflicts: 916000 | #Constraints: 129658
2698.40/2728.47 c #Conflicts: 917000 | #Constraints: 130658
2698.40/2728.47 c #Conflicts: 918000 | #Constraints: 131658
2698.40/2728.47 c #Conflicts: 919000 | #Constraints: 132658
2698.40/2728.47 c #Conflicts: 920000 | #Constraints: 133658
2698.40/2728.47 c #Conflicts: 921000 | #Constraints: 134658
2698.40/2728.47 c #Conflicts: 922000 | #Constraints: 135658
2698.40/2728.47 c #Conflicts: 923000 | #Constraints: 136658
2698.40/2728.47 c #Conflicts: 924000 | #Constraints: 137658
2698.40/2728.47 c #Conflicts: 925000 | #Constraints: 138658
2698.40/2728.47 c #Conflicts: 926000 | #Constraints: 139658
2698.40/2728.47 c #Conflicts: 927000 | #Constraints: 140658
2698.40/2728.47 c #Conflicts: 928000 | #Constraints: 141658
2698.40/2728.47 c INPROCESSING
2698.40/2728.47 c GARBAGE COLLECT
2698.40/2728.47 c #Conflicts: 929000 | #Constraints: 84555
2698.40/2728.47 c #Conflicts: 930000 | #Constraints: 85555
2698.40/2728.47 c #Conflicts: 931000 | #Constraints: 86555
2698.40/2728.47 c #Conflicts: 932000 | #Constraints: 87555
2698.40/2728.47 c #Conflicts: 933000 | #Constraints: 88555
2698.40/2728.47 c #Conflicts: 934000 | #Constraints: 89555
2698.40/2728.47 c #Conflicts: 935000 | #Constraints: 90555
2698.40/2728.47 c #Conflicts: 936000 | #Constraints: 91555
2698.40/2728.47 c #Conflicts: 937000 | #Constraints: 92555
2888.49/2920.28 c #Conflicts: 938000 | #Constraints: 93555
2888.49/2920.28 c #Conflicts: 939000 | #Constraints: 94555
2888.49/2920.28 c #Conflicts: 940000 | #Constraints: 95555
2888.49/2920.28 c #Conflicts: 941000 | #Constraints: 96555
2888.49/2920.28 c #Conflicts: 942000 | #Constraints: 97555
2888.49/2920.28 c #Conflicts: 943000 | #Constraints: 98555
2888.49/2920.28 c #Conflicts: 944000 | #Constraints: 99555
2888.49/2920.28 c #Conflicts: 945000 | #Constraints: 100555
2888.49/2920.28 c #Conflicts: 946000 | #Constraints: 101555
2888.49/2920.28 c #Conflicts: 947000 | #Constraints: 102555
2888.49/2920.28 c #Conflicts: 948000 | #Constraints: 103555
2888.49/2920.28 c #Conflicts: 949000 | #Constraints: 104555
2888.49/2920.28 c #Conflicts: 950000 | #Constraints: 105555
2888.49/2920.28 c #Conflicts: 951000 | #Constraints: 106555
2888.49/2920.28 c #Conflicts: 952000 | #Constraints: 107555
2888.49/2920.28 c #Conflicts: 953000 | #Constraints: 108555
2888.49/2920.28 c #Conflicts: 954000 | #Constraints: 109555
2888.49/2920.28 c #Conflicts: 955000 | #Constraints: 110555
2888.49/2920.28 c #Conflicts: 956000 | #Constraints: 111555
2888.49/2920.28 c INPROCESSING
2888.49/2920.28 c GARBAGE COLLECT
2888.49/2920.28 c #Conflicts: 957000 | #Constraints: 84252
2888.49/2920.28 c #Conflicts: 958000 | #Constraints: 85252
2888.49/2920.28 c #Conflicts: 959000 | #Constraints: 86252
2888.49/2920.28 c #Conflicts: 960000 | #Constraints: 87252
2888.49/2920.28 c #Conflicts: 961000 | #Constraints: 88252
2888.49/2920.28 c #Conflicts: 962000 | #Constraints: 89252
2888.49/2920.28 c #Conflicts: 963000 | #Constraints: 90252
2888.49/2920.28 c #Conflicts: 964000 | #Constraints: 91252
2888.49/2920.28 c #Conflicts: 965000 | #Constraints: 92252
2888.49/2920.28 c #Conflicts: 966000 | #Constraints: 93252
2888.49/2920.28 c #Conflicts: 967000 | #Constraints: 94252
2888.49/2920.28 c #Conflicts: 968000 | #Constraints: 95252
2888.49/2920.28 c #Conflicts: 969000 | #Constraints: 96252
2888.49/2920.28 c #Conflicts: 970000 | #Constraints: 97252
2888.49/2920.28 c #Conflicts: 971000 | #Constraints: 98252
2888.49/2920.28 c #Conflicts: 972000 | #Constraints: 99252
2888.49/2920.28 c #Conflicts: 973000 | #Constraints: 100252
2888.49/2920.28 c #Conflicts: 974000 | #Constraints: 101252
2888.49/2920.28 c #Conflicts: 975000 | #Constraints: 102252
2888.49/2920.28 c #Conflicts: 976000 | #Constraints: 103252
2888.49/2920.28 c #Conflicts: 977000 | #Constraints: 104252
2888.49/2920.28 c #Conflicts: 978000 | #Constraints: 105252
2888.49/2920.28 c #Conflicts: 979000 | #Constraints: 106252
2888.49/2920.28 c #Conflicts: 980000 | #Constraints: 107252
2888.49/2920.28 c #Conflicts: 981000 | #Constraints: 108252
2888.49/2920.28 c #Conflicts: 982000 | #Constraints: 109252
2888.49/2920.28 c #Conflicts: 983000 | #Constraints: 110252
2888.49/2920.28 c #Conflicts: 984000 | #Constraints: 111252
2888.49/2920.28 c #Conflicts: 985000 | #Constraints: 112252
2888.49/2920.28 c #Conflicts: 986000 | #Constraints: 113252
2888.49/2920.28 c #Conflicts: 987000 | #Constraints: 114252
2888.49/2920.28 c #Conflicts: 988000 | #Constraints: 115252
2888.49/2920.28 c #Conflicts: 989000 | #Constraints: 116252
2888.49/2920.28 c #Conflicts: 990000 | #Constraints: 117252
2888.49/2920.28 c #Conflicts: 991000 | #Constraints: 118252
2888.49/2920.28 c #Conflicts: 992000 | #Constraints: 119252
2888.49/2920.28 c #Conflicts: 993000 | #Constraints: 120252
2888.49/2920.28 c #Conflicts: 994000 | #Constraints: 121252
2888.49/2920.28 c #Conflicts: 995000 | #Constraints: 122252
2888.49/2920.28 c #Conflicts: 996000 | #Constraints: 123252
2888.49/2920.28 c #Conflicts: 997000 | #Constraints: 124252
2888.49/2920.28 c #Conflicts: 998000 | #Constraints: 125252
2888.49/2920.28 c #Conflicts: 999000 | #Constraints: 126252
2888.49/2920.28 c #Conflicts: 1000000 | #Constraints: 127252
2888.49/2920.28 c #Conflicts: 1001000 | #Constraints: 128252
2888.49/2920.28 c #Conflicts: 1002000 | #Constraints: 129252
2888.49/2920.28 c #Conflicts: 1003000 | #Constraints: 130252
2888.49/2920.28 c #Conflicts: 1004000 | #Constraints: 131252
2888.49/2920.28 c #Conflicts: 1005000 | #Constraints: 132252
2888.49/2920.28 c #Conflicts: 1006000 | #Constraints: 133252
2888.49/2920.28 c #Conflicts: 1007000 | #Constraints: 134252
2888.49/2920.28 c #Conflicts: 1008000 | #Constraints: 135252
2888.49/2920.28 c #Conflicts: 1009000 | #Constraints: 136252
2888.49/2920.28 c #Conflicts: 1010000 | #Constraints: 137252
2888.49/2920.28 c #Conflicts: 1011000 | #Constraints: 138252
2888.49/2920.28 c #Conflicts: 1012000 | #Constraints: 139252
2888.49/2920.28 c #Conflicts: 1013000 | #Constraints: 140252
2888.49/2920.28 c #Conflicts: 1014000 | #Constraints: 141252
2888.49/2920.28 c #Conflicts: 1015000 | #Constraints: 142252
3076.18/3117.92 c #Conflicts: 1016000 | #Constraints: 143252
3076.18/3117.92 c #Conflicts: 1017000 | #Constraints: 144252
3076.18/3117.92 c #Conflicts: 1018000 | #Constraints: 145252
3076.18/3117.92 c #Conflicts: 1019000 | #Constraints: 146252
3076.18/3117.92 c #Conflicts: 1020000 | #Constraints: 147252
3076.18/3117.92 c INPROCESSING
3076.18/3117.92 c GARBAGE COLLECT
3076.18/3117.92 c #Conflicts: 1021000 | #Constraints: 87235
3076.18/3117.92 c #Conflicts: 1022000 | #Constraints: 88235
3076.18/3117.92 c #Conflicts: 1023000 | #Constraints: 89235
3076.18/3117.92 c #Conflicts: 1024000 | #Constraints: 90235
3076.18/3117.92 c #Conflicts: 1025000 | #Constraints: 91235
3076.18/3117.92 c #Conflicts: 1026000 | #Constraints: 92235
3076.18/3117.92 c #Conflicts: 1027000 | #Constraints: 93235
3076.18/3117.92 c #Conflicts: 1028000 | #Constraints: 94235
3076.18/3117.92 c #Conflicts: 1029000 | #Constraints: 95235
3076.18/3117.92 c #Conflicts: 1030000 | #Constraints: 96235
3076.18/3117.92 c #Conflicts: 1031000 | #Constraints: 97235
3076.18/3117.92 c #Conflicts: 1032000 | #Constraints: 98235
3076.18/3117.92 c #Conflicts: 1033000 | #Constraints: 99235
3076.18/3117.92 c #Conflicts: 1034000 | #Constraints: 100235
3076.18/3117.92 c #Conflicts: 1035000 | #Constraints: 101235
3076.18/3117.92 c #Conflicts: 1036000 | #Constraints: 102235
3076.18/3117.92 c #Conflicts: 1037000 | #Constraints: 103235
3076.18/3117.92 c #Conflicts: 1038000 | #Constraints: 104235
3076.18/3117.92 c #Conflicts: 1039000 | #Constraints: 105235
3076.18/3117.92 c #Conflicts: 1040000 | #Constraints: 106235
3076.18/3117.92 c #Conflicts: 1041000 | #Constraints: 107235
3076.18/3117.92 c #Conflicts: 1042000 | #Constraints: 108235
3076.18/3117.92 c #Conflicts: 1043000 | #Constraints: 109235
3076.18/3117.92 c #Conflicts: 1044000 | #Constraints: 110235
3076.18/3117.92 c #Conflicts: 1045000 | #Constraints: 111235
3076.18/3117.92 c #Conflicts: 1046000 | #Constraints: 112235
3076.18/3117.92 c #Conflicts: 1047000 | #Constraints: 113235
3076.18/3117.92 c #Conflicts: 1048000 | #Constraints: 114235
3076.18/3117.92 c #Conflicts: 1049000 | #Constraints: 115235
3076.18/3117.92 c #Conflicts: 1050000 | #Constraints: 116235
3076.18/3117.92 c INPROCESSING
3076.18/3117.92 c GARBAGE COLLECT
3076.18/3117.92 c #Conflicts: 1051000 | #Constraints: 87079
3076.18/3117.92 c #Conflicts: 1052000 | #Constraints: 88079
3076.18/3117.92 c #Conflicts: 1053000 | #Constraints: 89079
3076.18/3117.92 c #Conflicts: 1054000 | #Constraints: 90079
3076.18/3117.92 c #Conflicts: 1055000 | #Constraints: 91079
3076.18/3117.92 c #Conflicts: 1056000 | #Constraints: 92079
3076.18/3117.92 c #Conflicts: 1057000 | #Constraints: 93079
3076.18/3117.92 c #Conflicts: 1058000 | #Constraints: 94079
3076.18/3117.92 c #Conflicts: 1059000 | #Constraints: 95079
3076.18/3117.92 c #Conflicts: 1060000 | #Constraints: 96079
3076.18/3117.92 c #Conflicts: 1061000 | #Constraints: 97079
3076.18/3117.92 c #Conflicts: 1062000 | #Constraints: 98079
3076.18/3117.92 c #Conflicts: 1063000 | #Constraints: 99079
3076.18/3117.92 c #Conflicts: 1064000 | #Constraints: 100079
3076.18/3117.92 c #Conflicts: 1065000 | #Constraints: 101079
3076.18/3117.92 c #Conflicts: 1066000 | #Constraints: 102079
3076.18/3117.92 c #Conflicts: 1067000 | #Constraints: 103079
3076.18/3117.92 c #Conflicts: 1068000 | #Constraints: 104079
3076.18/3117.92 c #Conflicts: 1069000 | #Constraints: 105079
3076.18/3117.92 c #Conflicts: 1070000 | #Constraints: 106079
3076.18/3117.92 c #Conflicts: 1071000 | #Constraints: 107079
3076.18/3117.92 c #Conflicts: 1072000 | #Constraints: 108079
3076.18/3117.92 c #Conflicts: 1073000 | #Constraints: 109079
3076.18/3117.92 c #Conflicts: 1074000 | #Constraints: 110079
3076.18/3117.92 c #Conflicts: 1075000 | #Constraints: 111079
3076.18/3117.92 c #Conflicts: 1076000 | #Constraints: 112079
3076.18/3117.92 c #Conflicts: 1077000 | #Constraints: 113079
3076.18/3117.92 c #Conflicts: 1078000 | #Constraints: 114079
3076.18/3117.92 c #Conflicts: 1079000 | #Constraints: 115079
3076.18/3117.92 c #Conflicts: 1080000 | #Constraints: 116079
3076.18/3117.92 c #Conflicts: 1081000 | #Constraints: 117079
3076.18/3117.92 c #Conflicts: 1082000 | #Constraints: 118079
3076.18/3117.92 c #Conflicts: 1083000 | #Constraints: 119079
3076.18/3117.92 c #Conflicts: 1084000 | #Constraints: 120079
3076.18/3117.92 c #Conflicts: 1085000 | #Constraints: 121079
3076.18/3117.92 c #Conflicts: 1086000 | #Constraints: 122079
3076.18/3117.92 c #Conflicts: 1087000 | #Constraints: 123079
3076.18/3117.92 c #Conflicts: 1088000 | #Constraints: 124079
3076.18/3117.92 c #Conflicts: 1089000 | #Constraints: 125079
3076.18/3117.92 c #Conflicts: 1090000 | #Constraints: 126079
3076.18/3117.92 c #Conflicts: 1091000 | #Constraints: 127079
3076.18/3117.92 c #Conflicts: 1092000 | #Constraints: 128079
3076.18/3117.92 c #Conflicts: 1093000 | #Constraints: 129079
3272.60/3319.56 c #Conflicts: 1094000 | #Constraints: 130079
3272.60/3319.56 c #Conflicts: 1095000 | #Constraints: 131079
3272.60/3319.56 c #Conflicts: 1096000 | #Constraints: 132079
3272.60/3319.56 c #Conflicts: 1097000 | #Constraints: 133079
3272.60/3319.56 c #Conflicts: 1098000 | #Constraints: 134079
3272.60/3319.56 c #Conflicts: 1099000 | #Constraints: 135079
3272.60/3319.56 c #Conflicts: 1100000 | #Constraints: 136079
3272.60/3319.56 c #Conflicts: 1101000 | #Constraints: 137079
3272.60/3319.56 c #Conflicts: 1102000 | #Constraints: 138079
3272.60/3319.56 c #Conflicts: 1103000 | #Constraints: 139079
3272.60/3319.56 c #Conflicts: 1104000 | #Constraints: 140079
3272.60/3319.56 c #Conflicts: 1105000 | #Constraints: 141079
3272.60/3319.56 c #Conflicts: 1106000 | #Constraints: 142079
3272.60/3319.56 c #Conflicts: 1107000 | #Constraints: 143079
3272.60/3319.56 c #Conflicts: 1108000 | #Constraints: 144079
3272.60/3319.56 c #Conflicts: 1109000 | #Constraints: 145079
3272.60/3319.56 c #Conflicts: 1110000 | #Constraints: 146079
3272.60/3319.56 c #Conflicts: 1111000 | #Constraints: 147079
3272.60/3319.56 c #Conflicts: 1112000 | #Constraints: 148079
3272.60/3319.56 c #Conflicts: 1113000 | #Constraints: 149079
3272.60/3319.56 c #Conflicts: 1114000 | #Constraints: 150079
3272.60/3319.56 c #Conflicts: 1115000 | #Constraints: 151079
3272.60/3319.56 c #Conflicts: 1116000 | #Constraints: 152079
3272.60/3319.56 c #Conflicts: 1117000 | #Constraints: 153079
3272.60/3319.56 c #Conflicts: 1118000 | #Constraints: 154079
3272.60/3319.56 c INPROCESSING
3272.60/3319.56 c GARBAGE COLLECT
3272.60/3319.56 c #Conflicts: 1119000 | #Constraints: 91045
3272.60/3319.56 c #Conflicts: 1120000 | #Constraints: 92045
3272.60/3319.56 c #Conflicts: 1121000 | #Constraints: 93045
3272.60/3319.56 c #Conflicts: 1122000 | #Constraints: 94045
3272.60/3319.56 c #Conflicts: 1123000 | #Constraints: 95045
3272.60/3319.56 c #Conflicts: 1124000 | #Constraints: 96045
3272.60/3319.56 c #Conflicts: 1125000 | #Constraints: 97045
3272.60/3319.56 c #Conflicts: 1126000 | #Constraints: 98045
3272.60/3319.56 c #Conflicts: 1127000 | #Constraints: 99045
3272.60/3319.56 c #Conflicts: 1128000 | #Constraints: 100045
3272.60/3319.56 c #Conflicts: 1129000 | #Constraints: 101045
3272.60/3319.56 c #Conflicts: 1130000 | #Constraints: 102045
3272.60/3319.56 c #Conflicts: 1131000 | #Constraints: 103045
3272.60/3319.56 c #Conflicts: 1132000 | #Constraints: 104045
3272.60/3319.56 c #Conflicts: 1133000 | #Constraints: 105045
3272.60/3319.56 c #Conflicts: 1134000 | #Constraints: 106045
3272.60/3319.56 c #Conflicts: 1135000 | #Constraints: 107045
3272.60/3319.56 c #Conflicts: 1136000 | #Constraints: 108045
3272.60/3319.56 c #Conflicts: 1137000 | #Constraints: 109045
3272.60/3319.56 c #Conflicts: 1138000 | #Constraints: 110045
3272.60/3319.56 c #Conflicts: 1139000 | #Constraints: 111045
3272.60/3319.56 c #Conflicts: 1140000 | #Constraints: 112045
3272.60/3319.56 c #Conflicts: 1141000 | #Constraints: 113045
3272.60/3319.56 c #Conflicts: 1142000 | #Constraints: 114045
3272.60/3319.56 c #Conflicts: 1143000 | #Constraints: 115045
3272.60/3319.56 c #Conflicts: 1144000 | #Constraints: 116045
3272.60/3319.56 c #Conflicts: 1145000 | #Constraints: 117045
3272.60/3319.56 c #Conflicts: 1146000 | #Constraints: 118045
3272.60/3319.56 c #Conflicts: 1147000 | #Constraints: 119045
3272.60/3319.56 c #Conflicts: 1148000 | #Constraints: 120045
3272.60/3319.56 c INPROCESSING
3272.60/3319.56 c GARBAGE COLLECT
3272.60/3319.56 c #Conflicts: 1149000 | #Constraints: 89448
3272.60/3319.56 c #Conflicts: 1150000 | #Constraints: 90448
3272.60/3319.56 c #Conflicts: 1151000 | #Constraints: 91448
3272.60/3319.56 c #Conflicts: 1152000 | #Constraints: 92448
3272.60/3319.56 c #Conflicts: 1153000 | #Constraints: 93448
3272.60/3319.56 c #Conflicts: 1154000 | #Constraints: 94448
3272.60/3319.56 c #Conflicts: 1155000 | #Constraints: 95448
3272.60/3319.56 c #Conflicts: 1156000 | #Constraints: 96448
3272.60/3319.56 c #Conflicts: 1157000 | #Constraints: 97448
3272.60/3319.56 c #Conflicts: 1158000 | #Constraints: 98448
3272.60/3319.56 c #Conflicts: 1159000 | #Constraints: 99448
3272.60/3319.56 c #Conflicts: 1160000 | #Constraints: 100448
3272.60/3319.56 c #Conflicts: 1161000 | #Constraints: 101448
3272.60/3319.56 c #Conflicts: 1162000 | #Constraints: 102448
3272.60/3319.56 c #Conflicts: 1163000 | #Constraints: 103448
3272.60/3319.56 c #Conflicts: 1164000 | #Constraints: 104448
3272.60/3319.56 c #Conflicts: 1165000 | #Constraints: 105448
3272.60/3319.56 c #Conflicts: 1166000 | #Constraints: 106448
3272.60/3319.56 c #Conflicts: 1167000 | #Constraints: 107448
3272.60/3319.56 c #Conflicts: 1168000 | #Constraints: 108448
3272.60/3319.56 c #Conflicts: 1169000 | #Constraints: 109448
3272.60/3319.56 c #Conflicts: 1170000 | #Constraints: 110448
3515.23/3571.95 c #Conflicts: 1171000 | #Constraints: 111448
3515.23/3571.95 c #Conflicts: 1172000 | #Constraints: 112448
3515.23/3571.95 c #Conflicts: 1173000 | #Constraints: 113448
3515.23/3571.95 c #Conflicts: 1174000 | #Constraints: 114448
3515.23/3571.95 c #Conflicts: 1175000 | #Constraints: 115448
3515.23/3571.95 c #Conflicts: 1176000 | #Constraints: 116448
3515.23/3571.95 c #Conflicts: 1177000 | #Constraints: 117448
3515.23/3571.95 c #Conflicts: 1178000 | #Constraints: 118448
3515.23/3571.95 c #Conflicts: 1179000 | #Constraints: 119448
3515.23/3571.95 c #Conflicts: 1180000 | #Constraints: 120448
3515.23/3571.95 c #Conflicts: 1181000 | #Constraints: 121448
3515.23/3571.95 c #Conflicts: 1182000 | #Constraints: 122448
3515.23/3571.95 c #Conflicts: 1183000 | #Constraints: 123448
3515.23/3571.95 c #Conflicts: 1184000 | #Constraints: 124448
3515.23/3571.95 c #Conflicts: 1185000 | #Constraints: 125448
3515.23/3571.95 c #Conflicts: 1186000 | #Constraints: 126448
3515.23/3571.95 c #Conflicts: 1187000 | #Constraints: 127448
3515.23/3571.95 c #Conflicts: 1188000 | #Constraints: 128448
3515.23/3571.95 c #Conflicts: 1189000 | #Constraints: 129448
3515.23/3571.95 c #Conflicts: 1190000 | #Constraints: 130448
3515.23/3571.95 c #Conflicts: 1191000 | #Constraints: 131448
3515.23/3571.95 c #Conflicts: 1192000 | #Constraints: 132448
3515.23/3571.95 c #Conflicts: 1193000 | #Constraints: 133448
3515.23/3571.95 c #Conflicts: 1194000 | #Constraints: 134448
3515.23/3571.95 c #Conflicts: 1195000 | #Constraints: 135448
3515.23/3571.95 c #Conflicts: 1196000 | #Constraints: 136448
3515.23/3571.95 c #Conflicts: 1197000 | #Constraints: 137448
3515.23/3571.95 c #Conflicts: 1198000 | #Constraints: 138448
3515.23/3571.95 c #Conflicts: 1199000 | #Constraints: 139448
3515.23/3571.95 c #Conflicts: 1200000 | #Constraints: 140448
3515.23/3571.95 c #Conflicts: 1201000 | #Constraints: 141448
3515.23/3571.95 c #Conflicts: 1202000 | #Constraints: 142448
3515.23/3571.95 c #Conflicts: 1203000 | #Constraints: 143448
3515.23/3571.95 c #Conflicts: 1204000 | #Constraints: 144448
3515.23/3571.95 c #Conflicts: 1205000 | #Constraints: 145448
3515.23/3571.95 c #Conflicts: 1206000 | #Constraints: 146448
3515.23/3571.95 c #Conflicts: 1207000 | #Constraints: 147448
3515.23/3571.95 c #Conflicts: 1208000 | #Constraints: 148448
3515.23/3571.95 c #Conflicts: 1209000 | #Constraints: 149448
3515.23/3571.95 c #Conflicts: 1210000 | #Constraints: 150448
3515.23/3571.95 c #Conflicts: 1211000 | #Constraints: 151448
3515.23/3571.95 c #Conflicts: 1212000 | #Constraints: 152448
3515.23/3571.95 c #Conflicts: 1213000 | #Constraints: 153448
3515.23/3571.95 c #Conflicts: 1214000 | #Constraints: 154448
3515.23/3571.95 c #Conflicts: 1215000 | #Constraints: 155448
3515.23/3571.95 c #Conflicts: 1216000 | #Constraints: 156448
3515.23/3571.95 c #Conflicts: 1217000 | #Constraints: 157448
3515.23/3571.95 c #Conflicts: 1218000 | #Constraints: 158448
3515.23/3571.95 c #Conflicts: 1219000 | #Constraints: 159448
3515.23/3571.95 c INPROCESSING
3515.23/3571.95 c GARBAGE COLLECT
3515.23/3571.95 c #Conflicts: 1220000 | #Constraints: 93521
3515.23/3571.95 c #Conflicts: 1221000 | #Constraints: 94521
3515.23/3571.95 c #Conflicts: 1222000 | #Constraints: 95521
3515.23/3571.95 c #Conflicts: 1223000 | #Constraints: 96521
3515.23/3571.95 c #Conflicts: 1224000 | #Constraints: 97521
3515.23/3571.95 c #Conflicts: 1225000 | #Constraints: 98521
3515.23/3571.95 c #Conflicts: 1226000 | #Constraints: 99521
3515.23/3571.95 c #Conflicts: 1227000 | #Constraints: 100521
3515.23/3571.95 c #Conflicts: 1228000 | #Constraints: 101521
3515.23/3571.95 c #Conflicts: 1229000 | #Constraints: 102521
3515.23/3571.95 c #Conflicts: 1230000 | #Constraints: 103521
3515.23/3571.95 c #Conflicts: 1231000 | #Constraints: 104521
3515.23/3571.95 c #Conflicts: 1232000 | #Constraints: 105521
3515.23/3571.95 c #Conflicts: 1233000 | #Constraints: 106521
3515.23/3571.95 c #Conflicts: 1234000 | #Constraints: 107521
3515.23/3571.95 c #Conflicts: 1235000 | #Constraints: 108521
3515.23/3571.95 c #Conflicts: 1236000 | #Constraints: 109521
3515.23/3571.95 c #Conflicts: 1237000 | #Constraints: 110521
3515.23/3571.95 c #Conflicts: 1238000 | #Constraints: 111521
3515.23/3571.95 c #Conflicts: 1239000 | #Constraints: 112521
3515.23/3571.95 c #Conflicts: 1240000 | #Constraints: 113521
3515.23/3571.95 c #Conflicts: 1241000 | #Constraints: 114521
3515.23/3571.95 c #Conflicts: 1242000 | #Constraints: 115521
3515.23/3571.95 c #Conflicts: 1243000 | #Constraints: 116521
3515.23/3571.95 c #Conflicts: 1244000 | #Constraints: 117521
3515.23/3571.95 c #Conflicts: 1245000 | #Constraints: 118521
3515.23/3571.95 c #Conflicts: 1246000 | #Constraints: 119521
3515.23/3571.95 c #Conflicts: 1247000 | #Constraints: 120521
3515.23/3571.95 c #Conflicts: 1248000 | #Constraints: 121521
3600.10/3657.30 c #Conflicts: 1249000 | #Constraints: 122521
3600.10/3657.30 c #Conflicts: 1250000 | #Constraints: 123521
3600.10/3657.30 c #Conflicts: 1251000 | #Constraints: 124521
3600.10/3657.30 c INPROCESSING
3600.10/3657.30 c GARBAGE COLLECT
3600.10/3657.30 c #Conflicts: 1252000 | #Constraints: 92898
3600.10/3657.30 c #Conflicts: 1253000 | #Constraints: 93898
3600.10/3657.30 c #Conflicts: 1254000 | #Constraints: 94898
3600.10/3657.30 c #Conflicts: 1255000 | #Constraints: 95898
3600.10/3657.30 c #Conflicts: 1256000 | #Constraints: 96898
3600.10/3657.30 c #Conflicts: 1257000 | #Constraints: 97898
3600.10/3657.30 c #Conflicts: 1258000 | #Constraints: 98898
3600.10/3657.30 c #Conflicts: 1259000 | #Constraints: 99898
3600.10/3657.30 c #Conflicts: 1260000 | #Constraints: 100898
3600.10/3657.30 c #Conflicts: 1261000 | #Constraints: 101898
3600.10/3657.30 c #Conflicts: 1262000 | #Constraints: 102898
3600.10/3657.30 c #Conflicts: 1263000 | #Constraints: 103898
3600.10/3657.30 c #Conflicts: 1264000 | #Constraints: 104898
3600.10/3657.30 c #Conflicts: 1265000 | #Constraints: 105898
3600.10/3657.30 c #Conflicts: 1266000 | #Constraints: 106898
3600.10/3657.30 c #Conflicts: 1267000 | #Constraints: 107898
3600.10/3657.30 c #Conflicts: 1268000 | #Constraints: 108898
3600.10/3657.30 c #Conflicts: 1269000 | #Constraints: 109898
3600.10/3657.30 c #Conflicts: 1270000 | #Constraints: 110898
3600.10/3657.30 c #Conflicts: 1271000 | #Constraints: 111898
3600.10/3657.30 c #Conflicts: 1272000 | #Constraints: 112898
3600.10/3657.30 c #Conflicts: 1273000 | #Constraints: 113898
3600.10/3657.30 c #Conflicts: 1274000 | #Constraints: 114898
3600.10/3657.30 c #Conflicts: 1275000 | #Constraints: 115898
3600.10/3657.30 c #Conflicts: 1276000 | #Constraints: 116898
3600.10/3657.30 c #Conflicts: 1277000 | #Constraints: 117898
3600.10/3657.30 c #Conflicts: 1278000 | #Constraints: 118898
3600.10/3657.30 c #Conflicts: 1279000 | #Constraints: 119898
3600.10/3657.30 c #Conflicts: 1280000 | #Constraints: 120898
3600.10/3657.30 c #Conflicts: 1281000 | #Constraints: 121898
3600.10/3657.30 c #Conflicts: 1282000 | #Constraints: 122898
3600.10/3657.30 c #Conflicts: 1283000 | #Constraints: 123898
3600.10/3657.30 c #Conflicts: 1284000 | #Constraints: 124898
3600.10/3657.30 c #Conflicts: 1285000 | #Constraints: 125898
3600.10/3657.30 c cpu time 3556.54 s
3600.10/3657.30 c deterministic time 229400917069 2.29e+11
3600.10/3657.30 c optimization time 75.2731 s
3600.10/3657.30 c total solve time 3481.1 s
3600.10/3657.30 c core-guided solve time 0 s
3600.10/3657.30 c propagation time 1975.12 s
3600.10/3657.30 c conflict analysis time 978.723 s
3600.10/3657.30 c propagations 1343751253
3600.10/3657.30 c resolve steps 71047507
3600.10/3657.30 c decisions 38203312
3600.10/3657.30 c conflicts 1285224
3600.10/3657.30 c restarts 2469
3600.10/3657.30 c inprocessing phases 46
3600.10/3657.30 c garbage collections 46 ,( 100.00 )
3600.10/3657.30 c input clauses 22701 ,( 99.18 )
3600.10/3657.30 c input cardinalities 188 ,( 0.82 )
3600.10/3657.30 c input general constraints 0 ,( 0.00 )
3600.10/3657.30 c input average constraint length 6.41
3600.10/3657.30 c input average constraint degree 1.96
3600.10/3657.30 c learned clauses 912877 ,( 71.03 )
3600.10/3657.30 c learned cardinalities 48635 ,( 3.78 )
3600.10/3657.30 c learned general constraints 323717 ,( 25.19 )
3600.10/3657.30 c learned average constraint length 639.15
3600.10/3657.30 c learned average constraint degree 17457721.07
3600.10/3657.30 c watched CF 32, 64, 128, Arb: 75479 , 0 , 0 , 0
3600.10/3657.30 c counting CF 32, 64, 128, Arb: 248238 , 0 , 0 , 0
3600.10/3657.30 c watched constraints 75479 ,( 23.32 )
3600.10/3657.30 c counting constraints 248238 ,( 76.68 )
3600.10/3657.30 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1172173815 , 765320765 , 1885175404 ,( 79719153 , 1805456251 )
3600.10/3657.30 c gcd simplifications 624
3600.10/3657.30 c detected cardinalities 8019
3600.10/3657.30 c weakened non-implied lits 336279016
3600.10/3657.30 c weakened non-implying lits 147582
3600.10/3657.30 c original variables 22417
3600.10/3657.30 c clausal propagations 638159067
3600.10/3657.30 c cardinality propagations 486576307
3600.10/3657.30 c watched propagations 4014920
3600.10/3657.30 c counting propagations 201732599
3600.10/3657.30 c watch lookups 67511853680
3600.10/3657.30 c watch backjump lookups 0
3600.10/3657.30 c watch checks 27971218029
3600.10/3657.30 c propagation checks 127199098146
3600.10/3657.30 c constraint additions 3953289266
3600.10/3657.30 c trail pops 1383220434
3600.10/3657.30 c formula constraints 22889
3600.10/3657.30 c learned constraints 1285220
3600.10/3657.30 c bound constraints 0
3600.10/3657.30 c core-guided constraints 0
3600.10/3657.30 c encountered formula constraints 44699548
3600.10/3657.30 c encountered learned constraints 27633153
3600.10/3657.30 c encountered bound constraints 0
3600.10/3657.30 c encountered core-guided constraints 0
3600.10/3657.30 c LP total time 643.311 s
3600.10/3657.30 c LP solve time 626.74 s
3600.10/3657.30 c LP constraints added 23287
3600.10/3657.30 c LP constraints removed 121
3600.10/3657.30 c LP pivots internal 146259
3600.10/3657.30 c LP pivots root 136689
3600.10/3657.30 c LP calls 14
3600.10/3657.30 c LP optimalities 5
3600.10/3657.30 c LP no pivot count 0
3600.10/3657.30 c LP infeasibilities 3
3600.10/3657.30 c LP valid Farkas constraints 3
3600.10/3657.30 c LP learned Farkas constraints 3
3600.10/3657.30 c LP basis resets 0
3600.10/3657.30 c LP cycling count 0
3600.10/3657.30 c LP singular count 0
3600.10/3657.30 c LP no primal count 0
3600.10/3657.30 c LP no farkas count 0
3600.10/3657.30 c LP other issue count 0
3600.10/3657.30 c LP Gomory cuts 3
3600.10/3657.30 c LP learned cuts 395
3600.10/3657.30 c LP deleted cuts 121
3600.10/3657.30 c LP encountered Gomory constraints 1
3600.10/3657.30 c LP encountered Farkas constraints 24
3600.10/3657.30 c LP encountered learned Farkas constraints 2
3600.10/3657.30 c CG auxiliary variables introduced 0
3600.10/3657.30 c CG solutions found 0
3600.10/3657.30 c CG cores constructed 0
3600.10/3657.30 c CG core cardinality constraints returned 0
3600.10/3657.30 c CG unit cores 0
3600.10/3657.30 c CG single cores 0
3600.10/3657.30 c CG blocks removed during cardinality reduction 0
3600.10/3657.30 c CG first core best 0
3600.10/3657.30 c CG decision core best 0
3600.10/3657.30 c CG core reduction tie 0
3600.10/3657.30 c CG core degree average 0.00
3600.10/3657.30 c CG core slack average 0.00
3600.10/3657.30 c CG core upper bound improvements 0
3600.10/3657.30 c STR number of successful calls 0
3600.10/3657.30 c STR number of unsuccessful calls 0
3600.10/3657.30 c STR number of inconclusive calls 0
3600.10/3657.30 c STR number of successful attempts 0
3600.10/3657.30 c STR number of unsuccessful attempts 0
3600.10/3657.30 c STR number of inconclusive attempts 0
3600.10/3657.30 c STR average degree increase per successful call inf
3600.10/3657.30 c STR average degree increase per successful attempt inf
3600.10/3657.30 c STR total number of conflicts for successful attempts 0
3600.10/3657.30 c STR total number of conflicts for unsuccessful attempts 0
3600.10/3657.30 c STR total number of conflicts for inconclusive attempts 0
3600.10/3657.30 c STR average number of conflicts per successful attempt inf
3600.10/3657.30 c STR average number of conflicts per unsuccessful attempt inf
3600.10/3657.30 c STR average number of conflicts per inconclusive attempt inf
3600.10/3657.30 c AVG.sumWPerc 67.79
3600.10/3657.30 c bigint constraints 0
3600.10/3657.30 s UNKNOWN
3600.10/3657.30 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (61555 MiB free)
memory of node 1: 64465 MiB (60785 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506837-1751171232/watcher-4506837-1751171232 -o /tmp/evaluation-result-4506837-1751171232/solver-4506837-1751171232 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751170426-20380 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4506837-1751171232.opb PROOFDIR/proof-4506837-1751171232
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Starting watchdog thread
Linux 5.14.0-503.14.1.el9_5.x86_64
solver pid=20535, runsolver pid=20532
Current StackSize limit: 8192 KiB
[startup+0.100074 s]*
/proc/loadavg: 4.13 3.96 3.43 4/273 20537
/proc/meminfo: memFree=125272972/131249996 swapFree=33010684/33010684
[pid=20535] ppid=20532 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/20535/stat : 20535 (run-dec-break-l) S 20532 20535 20370 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32800724 4292608 704 18446744073709551615 94433949097984 94433949992517 140730632131376 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94433950231568 94433950279312 94433975283712 140730632132885 140730632133086 140730632133086 140730632138688 0
/proc/20535/statm: 1048 704 640 219 0 110 0
[pid=20537] ppid=20535 vsize=20832 memory=13220 CPUtime=0.02 cores=0,2
/proc/20537/stat : 20537 (pbsuma) D 20535 20535 20370 0 -1 4456448 2811 0 0 0 2 0 0 0 20 0 1 0 32800725 21331968 3305 18446744073709551615 4210688 4653049 140736466076192 0 0 0 0 0 0 1 0 0 17 2 0 0 0 0 0 4700520 4703148 15495168 140736466077923 140736466078258 140736466078258 140736466083823 0
/proc/20537/statm: 5208 3305 960 108 0 2616 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 25024 KiB
Current children cumulated memory: 16036 KiB
[startup+0.206057 s]*
/proc/loadavg: 4.13 3.96 3.43 5/273 20537
/proc/meminfo: memFree=125264820/131249996 swapFree=33010684/33010684
[pid=20535] ppid=20532 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/20535/stat : 20535 (run-dec-break-l) S 20532 20535 20370 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32800724 4292608 704 18446744073709551615 94433949097984 94433949992517 140730632131376 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94433950231568 94433950279312 94433975283712 140730632132885 140730632133086 140730632133086 140730632138688 0
/proc/20535/statm: 1048 704 640 219 0 110 0
[pid=20537] ppid=20535 vsize=38560 memory=26772 CPUtime=0.11 cores=0,2
/proc/20537/stat : 20537 (pbsuma) R 20535 20535 20370 0 -1 4194304 14371 0 0 0 9 2 0 0 20 0 1 0 32800725 39485440 6693 18446744073709551615 4210688 4653049 140736466076192 0 0 0 0 0 0 0 0 0 17 2 0 0 0 0 0 4700520 4703148 15495168 140736466077923 140736466078258 140736466078258 140736466083823 0
/proc/20537/statm: 9640 6693 992 108 0 7048 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 42752 KiB
Current children cumulated memory: 29588 KiB
[startup+0.305981 s]*
/proc/loadavg: 4.13 3.96 3.43 5/273 20538
/proc/meminfo: memFree=125259620/131249996 swapFree=33010684/33010684
[pid=20535] ppid=20532 vsize=4192 memory=2816 CPUtime=0.11 cores=0,2
/proc/20535/stat : 20535 (run-dec-break-l) S 20532 20535 20370 0 -1 4194304 240 14374 0 0 0 0 9 2 20 0 1 0 32800724 4292608 704 18446744073709551615 94433949097984 94433949992517 140730632131376 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94433950231568 94433950279312 94433975283712 140730632132885 140730632133086 140730632133086 140730632138688 0
/proc/20535/statm: 1048 704 640 219 0 110 0
[pid=20538] ppid=20535 vsize=67876 memory=22656 CPUtime=0.08 cores=0,2
/proc/20538/stat : 20538 (roundingsat) R 20535 20535 20370 0 -1 4194304 3482 0 0 0 7 1 0 0 20 0 1 0 32800745 69505024 5664 18446744073709551615 4227072 8923433 140727096545648 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21803008 140727096551668 140727096551976 140727096551976 140727096557546 0
/proc/20538/statm: 16969 5664 2048 1147 0 4396 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 72068 KiB
Current children cumulated memory: 25472 KiB
[startup+0.700219 s]
/proc/loadavg: 4.13 3.96 3.43 5/273 20538
/proc/meminfo: memFree=125209216/131249996 swapFree=33010684/33010684
[pid=20535] ppid=20532 vsize=4192 memory=2816 CPUtime=0.11 cores=0,2
/proc/20535/stat : 20535 (run-dec-break-l) S 20532 20535 20370 0 -1 4194304 240 14374 0 0 0 0 9 2 20 0 1 0 32800724 4292608 704 18446744073709551615 94433949097984 94433949992517 140730632131376 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94433950231568 94433950279312 94433975283712 140730632132885 140730632133086 140730632133086 140730632138688 0
/proc/20535/statm: 1048 704 640 219 0 110 0
[pid=20538] ppid=20535 vsize=121632 memory=69308 CPUtime=0.47 cores=0,2
/proc/20538/stat : 20538 (roundingsat) R 20535 20535 20370 0 -1 4194304 13661 0 0 0 43 4 0 0 20 0 1 0 32800745 124551168 17327 18446744073709551615 4227072 8923433 140727096545648 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21803008 140727096551668 140727096551976 140727096551976 140727096557546 0
/proc/20538/statm: 30408 17327 2304 1147 0 17835 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 125824 KiB
Current children cumulated memory: 72124 KiB
[startup+1.50021 s]
/proc/loadavg: 4.13 3.96 3.43 5/273 20538
/proc/meminfo: memFree=125205816/131249996 swapFree=33010684/33010684
[pid=20535] ppid=20532 vsize=4192 memory=2816 CPUtime=0.11 cores=0,2
/proc/20535/stat : 20535 (run-dec-break-l) S 20532 20535 20370 0 -1 4194304 240 14374 0 0 0 0 9 2 20 0 1 0 32800724 4292608 704 18446744073709551615 94433949097984 94433949992517 140730632131376 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94433950231568 94433950279312 94433975283712 140730632132885 140730632133086 140730632133086 140730632138688 0
/proc/20535/statm: 1048 704 640 219 0 110 0
[pid=20538] ppid=20535 vsize=121632 memory=69308 CPUtime=1.27 cores=0,2
/proc/20538/stat : 20538 (roundingsat) R 20535 20535 20370 0 -1 4194304 13661 0 0 0 123 4 0 0 20 0 1 0 32800745 124551168 17327 18446744073709551615 4227072 8923433 140727096545648 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21803008 140727096551668 140727096551976 140727096551976 140727096557546 0
/proc/20538/statm: 30408 17327 2304 1147 0 17835 0
Current children cumulated CPU time: 1.38 s
Current children cumulated vsize: 125824 KiB
Current children cumulated memory: 72124 KiB
[startup+3.10582 s]
/proc/loadavg: 4.13 3.96 3.43 5/273 20538
/proc/meminfo: memFree=125206068/131249996 swapFree=33010684/33010684
[pid=20535] ppid=20532 vsize=4192 memory=2816 CPUtime=0.11 cores=0,2
/proc/20535/stat : 20535 (run-dec-break-l) S 20532 20535 20370 0 -1 4194304 240 14374 0 0 0 0 9 2 20 0 1 0 32800724 4292608 704 18446744073709551615 94433949097984 94433949992517 140730632131376 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94433950231568 94433950279312 94433975283712 140730632132885 140730632133086 140730632133086 140730632138688 0
/proc/20535/statm: 1048 704 640 219 0 110 0
[pid=20538] ppid=20535 vsize=122688 memory=71100 CPUtime=2.86 cores=0,2
/proc/20538/stat : 20538 (roundingsat) R 20535 20535 20370 0 -1 4194304 14105 0 0 0 282 4 0 0 20 0 1 0 32800745 125632512 17775 18446744073709551615 4227072 8923433 140727096545648 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21803008 140727096551668 140727096551976 140727096551976 140727096557546 0
/proc/20538/statm: 30672 17775 2304 1147 0 18099 0
Current children cumulated CPU time: 2.97 s
Current children cumulated vsize: 126880 KiB
Current children cumulated memory: 73916 KiB
[startup+6.30022 s]
/proc/loadavg: 4.12 3.96 3.43 4/273 20538
/proc/meminfo: memFree=125199528/131249996 swapFree=33010684/33010684
[pid=20535] ppid=20532 vsize=4192 memory=2816 CPUtime=0.11 cores=0,2
/proc/20535/stat : 20535 (run-dec-break-l) S 20532 20535 20370 0 -1 4194304 240 14374 0 0 0 0 9 2 20 0 1 0 32800724 4292608 704 18446744073709551615 94433949097984 94433949992517 140730632131376 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94433950231568 94433950279312 94433975283712 140730632132885 140730632133086 140730632133086 140730632138688 0
/proc/20535/statm: 1048 704 640 219 0 110 0
[pid=20538] ppid=20535 vsize=128720 memory=80256 CPUtime=6.05 cores=0,2
/proc/20538/stat : 20538 (roundingsat) R 20535 20535 20370 0 -1 4194304 15843 0 0 0 592 13 0 0 20 0 1 0 32800745 131809280 20064 18446744073709551615 4227072 8923433 140727096545648 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21803008 140727096551668 140727096551976 140727096551976 140727096557546 0
/proc/20538/statm: 32180 20064 2368 1147 0 19607 0
Current children cumulated CPU time: 6.16 s
Current children cumulated vsize: 132912 KiB
Current children cumulated memory: 83072 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 3.96 3.43 5/273 20538
/proc/meminfo: memFree=125176144/131249996 swapFree=33010684/33010684
[pid=20535] ppid=20532 vsize=4192 memory=2816 CPUtime=0.11 cores=0,2
/proc/20535/stat : 20535 (run-dec-break-l) S 20532 20535 20370 0 -1 4194304 240 14374 0 0 0 0 9 2 20 0 1 0 32800724 4292608 704 18446744073709551615 94433949097984 94433949992517 140730632131376 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94433950231568 94433950279312 94433975283712 140730632132885 140730632133086 140730632133086 140730632138688 0
/proc/20535/statm: 1048 704 640 219 0 110 0
[pid=20538] ppid=20535 vsize=133712 memory=85376 CPUtime=12.43 cores=0,2
/proc/20538/stat : 20538 (roundingsat) R 20535 20535 20370 0 -1 4194304 17135 0 0 0 1210 33 0 0 20 0 1 0 32800745 136921088 21344 18446744073709551615 4227072 8923433 140727096545648 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21803008 140727096551668 140727096551976 140727096551976 140727096557546 0
/proc/20538/statm: 33428 21344 2368 1147 0 20855 0
Current children cumulated CPU time: 12.54 s
Current children cumulated vsize: 137904 KiB
Current children cumulated memory: 88192 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 3.96 3.44 5/273 20538
/proc/meminfo: memFree=125109808/131249996 swapFree=33010684/33010684
[pid=20535] ppid=20532 vsize=4192 memory=2816 CPUtime=0.11 cores=0,2
/proc/20535/stat : 20535 (run-dec-break-l) S 20532 20535 20370 0 -1 4194304 240 14374 0 0 0 0 9 2 20 0 1 0 32800724 4292608 704 18446744073709551615 94433949097984 94433949992517 140730632131376 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94433950231568 94433950279312 94433975283712 140730632132885 140730632133086 140730632133086 140730632138688 0
/proc/20535/statm: 1048 704 640 219 0 110 0
[pid=20538] ppid=20535 vsize=166924 memory=111204 CPUtime=25.19 cores=0,2
/proc/20538/stat : 20538 (roundingsat) R 20535 20535 20370 0 -1 4194304 23076 0 0 0 2455 64 0 0 20 0 1 0 32800745 170930176 27801 18446744073709551615 4227072 8923433 140727096545648 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21803008 140727096551668 140727096551976 140727096551976 140727096557546 0
/proc/20538/statm: 41731 27801 2368 1147 0 29158 0
Current children cumulated CPU time: 25.3 s
Current children cumulated vsize: 171116 KiB
Current children cumulated memory: 114020 KiB
[startup+51.1057 s]
/proc/loadavg: 4.06 3.97 3.46 5/273 20539
/proc/meminfo: memFree=125002268/131249996 swapFree=33010684/33010684
[pid=20535] ppid=20532 vsize=4192 memory=2816 CPUtime=0.11 cores=0,2
/proc/20535/stat : 20535 (run-dec-break-l) S 20532 20535 20370 0 -1 4194304 240 14374 0 0 0 0 9 2 20 0 1 0 32800724 4292608 704 18446744073709551615 94433949097984 94433949992517 140730632131376 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94433950231568 94433950279312 94433975283712 140730632132885 140730632133086 140730632133086 140730632138688 0
/proc/20535/statm: 1048 704 640 219 0 110 0
[pid=20538] ppid=20535 vsize=192204 memory=134980 CPUtime=50.72 cores=0,2
/proc/20538/stat : 20538 (roundingsat) R 20535 20535 20370 0 -1 4194304 27057 0 0 0 4956 116 0 0 20 0 1 0 32800745 196816896 33745 18446744073709551615 4227072 8923433 140727096545648 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21803008 140727096551668 140727096551976 140727096551976 140727096557546 0
/proc/20538/statm: 48051 33745 2368 1147 0 35478 0
Current children cumulated CPU time: 50.83 s
Current children cumulated vsize: 196396 KiB
Current children cumulated memory: 137796 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 3.99 3.50 4/271 20541
/proc/meminfo: memFree=124779104/131249996 swapFree=33010684/33010684
[pid=20535] ppid=20532 vsize=4192 memory=2816 CPUtime=0.11 cores=0,2
/proc/20535/stat : 20535 (run-dec-break-l) S 20532 20535 20370 0 -1 4194304 240 14374 0 0 0 0 9 2 20 0 1 0 32800724 4292608 704 18446744073709551615 94433949097984 94433949992517 140730632131376 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94433950231568 94433950279312 94433975283712 140730632132885 140730632133086 140730632133086 140730632138688 0
/proc/20535/statm: 1048 704 640 219 0 110 0
[pid=20538] ppid=20535 vsize=237876 memory=172164 CPUtime=100.02 cores=0,2
/proc/20538/stat : 20538 (roundingsat) R 20535 20535 20370 0 -1 4194304 34378 0 0 0 9736 266 0 0 20 0 1 0 32800745 243585024 43041 18446744073709551615 4227072 8923433 140727096545648 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21803008 140727096551668 140727096551976 140727096551976 140727096557546 0
/proc/20538/statm: 59469 43041 2368 1147 0 46896 0
Current children cumulated CPU time: 100.13 s
Current children cumulated vsize: 242068 KiB
Current children cumulated memory: 174980 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.01 3.54 5/272 20546
/proc/meminfo: memFree=124583712/131249996 swapFree=33010684/33010684
[pid=20535] ppid=20532 vsize=4192 memory=2816 CPUtime=0.11 cores=0,2
/proc/20535/stat : 20535 (run-dec-break-l) S 20532 20535 20370 0 -1 4194304 240 14374 0 0 0 0 9 2 20 0 1 0 32800724 4292608 704 18446744073709551615 94433949097984 94433949992517 140730632131376 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94433950231568 94433950279312 94433975283712 140730632132885 140730632133086 140730632133086 140730632138688 0
/proc/20535/statm: 1048 704 640 219 0 110 0
[pid=20538] ppid=20535 vsize=255500 memory=195868 CPUtime=159.67 cores=0,2
/proc/20538/stat : 20538 (roundingsat) R 20535 20535 20370 0 -1 4194304 38777 0 0 0 15602 365 0 0 20 0 1 0 32800745 261632000 48967 18446744073709551615 4227072 8923433 140727096545648 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21803008 140727096551668 140727096551976 140727096551976 140727096557546 0
/proc/20538/statm: 63875 48967 2368 1147 0 51302 0
Current children cumulated CPU time: 159.78 s
Current children cumulated vsize: 259692 KiB
Current children cumulated memory: 198684 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.03 3.58 5/272 20551
/proc/meminfo: memFree=124393708/131249996 swapFree=33010684/33010684
[pid=20535] ppid=20532 vsize=4192 memory=2816 CPUtime=0.11 cores=0,2
/proc/20535/stat : 20535 (run-dec-break-l) S 20532 20535 20370 0 -1 4194304 240 14374 0 0 0 0 9 2 20 0 1 0 32800724 4292608 704 18446744073709551615 94433949097984 94433949992517 140730632131376 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94433950231568 94433950279312 94433975283712 140730632132885 140730632133086 140730632133086 140730632138688 0
/proc/20535/statm: 1048 704 640 219 0 110 0
[pid=20538] ppid=20535 vsize=301364 memory=221288 CPUtime=219.44 cores=0,2
/proc/20538/stat : 20538 (roundingsat) R 20535 20535 20370 0 -1 4194304 42592 0 0 0 21528 416 0 0 20 0 1 0 32800745 308596736 55322 18446744073709551615 4227072 8923433 140727096545648 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21803008 140727096551668 140727096551976 140727096551976 140727096557546 0
/proc/20538/statm: 75341 55322 2368 1147 0 62768 0
################
# More data... #
################
Current children cumulated CPU time: 3355.08 s
Current children cumulated vsize: 1198500 KiB
Current children cumulated memory: 954556 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.12 4.08 5/270 20866
/proc/meminfo: memFree=119637628/131249996 swapFree=33010684/33010684
[pid=20535] ppid=20532 vsize=4192 memory=2816 CPUtime=0.11 cores=0,2
/proc/20535/stat : 20535 (run-dec-break-l) S 20532 20535 20370 0 -1 4194304 240 14374 0 0 0 0 9 2 20 0 1 0 32800724 4292608 704 18446744073709551615 94433949097984 94433949992517 140730632131376 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94433950231568 94433950279312 94433975283712 140730632132885 140730632133086 140730632133086 140730632138688 0
/proc/20535/statm: 1048 704 640 219 0 110 0
[pid=20538] ppid=20535 vsize=1198876 memory=955580 CPUtime=3406.17 cores=0,2
/proc/20538/stat : 20538 (roundingsat) R 20535 20535 20370 0 -1 4194304 143580 0 0 0 336493 4124 0 0 20 0 1 0 32800745 1227649024 238895 18446744073709551615 4227072 8923433 140727096545648 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21803008 140727096551668 140727096551976 140727096551976 140727096557546 0
/proc/20538/statm: 299719 238895 2368 1147 0 287146 0
Current children cumulated CPU time: 3406.28 s
Current children cumulated vsize: 1203068 KiB
Current children cumulated memory: 958396 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.08 5/272 20870
/proc/meminfo: memFree=119239108/131249996 swapFree=33010684/33010684
[pid=20535] ppid=20532 vsize=4192 memory=2816 CPUtime=0.11 cores=0,2
/proc/20535/stat : 20535 (run-dec-break-l) S 20532 20535 20370 0 -1 4194304 240 14374 0 0 0 0 9 2 20 0 1 0 32800724 4292608 704 18446744073709551615 94433949097984 94433949992517 140730632131376 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94433950231568 94433950279312 94433975283712 140730632132885 140730632133086 140730632133086 140730632138688 0
/proc/20535/statm: 1048 704 640 219 0 110 0
[pid=20538] ppid=20535 vsize=1207772 memory=963132 CPUtime=3465.88 cores=0,2
/proc/20538/stat : 20538 (roundingsat) R 20535 20535 20370 0 -1 4194304 145469 0 0 0 342411 4177 0 0 20 0 1 0 32800745 1236758528 240783 18446744073709551615 4227072 8923433 140727096545648 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21803008 140727096551668 140727096551976 140727096551976 140727096557546 0
/proc/20538/statm: 301943 240783 2368 1147 0 289370 0
Current children cumulated CPU time: 3465.99 s
Current children cumulated vsize: 1211964 KiB
Current children cumulated memory: 965948 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/272 20872
/proc/meminfo: memFree=118787660/131249996 swapFree=33010684/33010684
[pid=20535] ppid=20532 vsize=4192 memory=2816 CPUtime=0.11 cores=0,2
/proc/20535/stat : 20535 (run-dec-break-l) S 20532 20535 20370 0 -1 4194304 240 14374 0 0 0 0 9 2 20 0 1 0 32800724 4292608 704 18446744073709551615 94433949097984 94433949992517 140730632131376 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94433950231568 94433950279312 94433975283712 140730632132885 140730632133086 140730632133086 140730632138688 0
/proc/20535/statm: 1048 704 640 219 0 110 0
[pid=20538] ppid=20535 vsize=1208120 memory=963516 CPUtime=3525.5 cores=0,2
/proc/20538/stat : 20538 (roundingsat) R 20535 20535 20370 0 -1 4194304 145574 0 0 0 348306 4244 0 0 20 0 1 0 32800745 1237114880 240879 18446744073709551615 4227072 8923433 140727096545648 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21803008 140727096551668 140727096551976 140727096551976 140727096557546 0
/proc/20538/statm: 302030 240879 2368 1147 0 289457 0
Current children cumulated CPU time: 3525.61 s
Current children cumulated vsize: 1212312 KiB
Current children cumulated memory: 966332 KiB
[startup+3642.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/272 20874
/proc/meminfo: memFree=118276556/131249996 swapFree=33010684/33010684
[pid=20535] ppid=20532 vsize=4192 memory=2816 CPUtime=0.11 cores=0,2
/proc/20535/stat : 20535 (run-dec-break-l) S 20532 20535 20370 0 -1 4194304 240 14374 0 0 0 0 9 2 20 0 1 0 32800724 4292608 704 18446744073709551615 94433949097984 94433949992517 140730632131376 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94433950231568 94433950279312 94433975283712 140730632132885 140730632133086 140730632133086 140730632138688 0
/proc/20535/statm: 1048 704 640 219 0 110 0
[pid=20538] ppid=20535 vsize=1208120 memory=963644 CPUtime=3585.03 cores=0,2
/proc/20538/stat : 20538 (roundingsat) R 20535 20535 20370 0 -1 4194304 145575 0 0 0 354178 4325 0 0 20 0 1 0 32800745 1237114880 240911 18446744073709551615 4227072 8923433 140727096545648 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21803008 140727096551668 140727096551976 140727096551976 140727096557546 0
/proc/20538/statm: 302030 240911 2368 1147 0 289457 0
Current children cumulated CPU time: 3585.14 s
Current children cumulated vsize: 1212312 KiB
Current children cumulated memory: 966460 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3657.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/272 20875
/proc/meminfo: memFree=118164436/131249996 swapFree=33010684/33010684
[pid=20535] ppid=20532 vsize=4192 memory=2816 CPUtime=0.11 cores=0,2
/proc/20535/stat : 20535 (run-dec-break-l) S 20532 20535 20370 0 -1 4194304 240 14374 0 0 0 0 9 2 20 0 1 0 32800724 4292608 704 18446744073709551615 94433949097984 94433949992517 140730632131376 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94433950231568 94433950279312 94433975283712 140730632132885 140730632133086 140730632133086 140730632138688 0
/proc/20535/statm: 1048 704 640 219 0 110 0
[pid=20538] ppid=20535 vsize=1208120 memory=963644 CPUtime=3599.99 cores=0,2
/proc/20538/stat : 20538 (roundingsat) R 20535 20535 20370 0 -1 4194304 145576 0 0 0 355653 4346 0 0 20 0 1 0 32800745 1237114880 240911 18446744073709551615 4227072 8923433 140727096545648 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21803008 140727096551668 140727096551976 140727096551976 140727096557546 0
/proc/20538/statm: 302030 240911 2368 1147 0 289457 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 1212312 KiB
Current children cumulated memory: 966460 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3657.3 s]
# the end of solver process 20535 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.095787 s, system=0.026235 s
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:
[startup+0 s]*
/proc/loadavg: 4.14 4.12 4.09 4/271 20875
/proc/meminfo: memFree=118133332/131249996 swapFree=33010684/33010684
[pid=20538] ppid=20532 vsize=1208120 memory=963900 CPUtime=3599.99 cores=0,2
/proc/20538/stat : 20538 (roundingsat) D 20532 20535 20370 0 -1 4194304 145581 0 0 0 355653 4346 0 0 20 0 1 0 32800745 1237114880 240975 18446744073709551615 4227072 8923433 140727096545648 0 0 256 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9823104 9832592 21803008 140727096551668 140727096551976 140727096551976 140727096557546 9
/proc/20538/statm: 302030 240975 2432 1147 0 289457 0
??? kill 20538 sig 9
??? end of watcher thread
[startup+3664.68 s]
# the end of solver process 20538 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3556.63 s, system=43.5014 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
Dumping a history of the last processes samples
[startup+3657.6 s]
/proc/loadavg: 4.15 4.12 4.09 4/271 20875
/proc/meminfo: memFree=118148228/131249996 swapFree=33010684/33010684
[pid=20538] ppid=20532 vsize=1208120 memory=963900 CPUtime=3599.99 cores=0,2
/proc/20538/stat : 20538 (roundingsat) D 20532 20535 20370 0 -1 4194304 145581 0 0 0 355653 4346 0 0 20 0 1 0 32800745 1237114880 240975 18446744073709551615 4227072 8923433 140727096545648 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9823104 9832592 21803008 140727096551668 140727096551976 140727096551976 140727096557546 0
/proc/20538/statm: 302030 240975 2432 1147 0 289457 0
Current cumulated CPU time of completed processes: 0.122022 s
Current children cumulated CPU time: 3599.99 s
Current children cumulated vsize: 1208120 KiB
Current children cumulated memory: 963900 KiB
[startup+3658.4 s]
/proc/loadavg: 4.15 4.12 4.09 4/271 20875
/proc/meminfo: memFree=118133324/131249996 swapFree=33010684/33010684
[pid=20538] ppid=20532 vsize=1208120 memory=963900 CPUtime=3599.99 cores=0,2
/proc/20538/stat : 20538 (roundingsat) D 20532 20535 20370 0 -1 4194304 145581 0 0 0 355653 4346 0 0 20 0 1 0 32800745 1237114880 240975 18446744073709551615 4227072 8923433 140727096545648 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9823104 9832592 21803008 140727096551668 140727096551976 140727096551976 140727096557546 0
/proc/20538/statm: 302030 240975 2432 1147 0 289457 0
Current cumulated CPU time of completed processes: 0.122022 s
Current children cumulated CPU time: 3599.99 s
Current children cumulated vsize: 1208120 KiB
Current children cumulated memory: 963900 KiB
[startup+3658.8 s]
/proc/loadavg: 4.15 4.12 4.09 4/271 20875
/proc/meminfo: memFree=118133324/131249996 swapFree=33010684/33010684
[pid=20538] ppid=20532 vsize=1208120 memory=963900 CPUtime=3599.99 cores=0,2
/proc/20538/stat : 20538 (roundingsat) D 20532 20535 20370 0 -1 4194304 145581 0 0 0 355653 4346 0 0 20 0 1 0 32800745 1237114880 240975 18446744073709551615 4227072 8923433 140727096545648 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9823104 9832592 21803008 140727096551668 140727096551976 140727096551976 140727096557546 0
/proc/20538/statm: 302030 240975 2432 1147 0 289457 0
Current cumulated CPU time of completed processes: 0.122022 s
Current children cumulated CPU time: 3599.99 s
Current children cumulated vsize: 1208120 KiB
Current children cumulated memory: 963900 KiB
[startup+3659.2 s]
/proc/loadavg: 4.15 4.12 4.09 4/271 20875
/proc/meminfo: memFree=118133332/131249996 swapFree=33010684/33010684
[pid=20538] ppid=20532 vsize=1208120 memory=963900 CPUtime=3599.99 cores=0,2
/proc/20538/stat : 20538 (roundingsat) D 20532 20535 20370 0 -1 4194304 145581 0 0 0 355653 4346 0 0 20 0 1 0 32800745 1237114880 240975 18446744073709551615 4227072 8923433 140727096545648 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9823104 9832592 21803008 140727096551668 140727096551976 140727096551976 140727096557546 0
/proc/20538/statm: 302030 240975 2432 1147 0 289457 0
Current cumulated CPU time of completed processes: 0.122022 s
Current children cumulated CPU time: 3599.99 s
Current children cumulated vsize: 1208120 KiB
Current children cumulated memory: 963900 KiB
[startup+3659.3 s]
/proc/loadavg: 4.15 4.12 4.09 4/271 20875
/proc/meminfo: memFree=118133332/131249996 swapFree=33010684/33010684
[pid=20538] ppid=20532 vsize=1208120 memory=963900 CPUtime=3599.99 cores=0,2
/proc/20538/stat : 20538 (roundingsat) D 20532 20535 20370 0 -1 4194304 145581 0 0 0 355653 4346 0 0 20 0 1 0 32800745 1237114880 240975 18446744073709551615 4227072 8923433 140727096545648 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9823104 9832592 21803008 140727096551668 140727096551976 140727096551976 140727096557546 0
/proc/20538/statm: 302030 240975 2432 1147 0 289457 0
Current cumulated CPU time of completed processes: 0.122022 s
Current children cumulated CPU time: 3599.99 s
Current children cumulated vsize: 1208120 KiB
Current children cumulated memory: 963900 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3664.68
CPU time (s): 3600.13
CPU user time (s): 3556.63
CPU system time (s): 43.5014
CPU usage (%): 98.2388
Max. virtual memory (cumulated for all children) (KiB): 1212312
Max. memory (cumulated for all children) (KiB): 966460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3556.63
system time used= 43.5014
maximum resident set size= 963900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 160195
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10251336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2340
involuntary context switches= 5448
# summary of solver processes directly reported to runsolver:
# pid: 20535,20538
# total CPU time (s): 3600.13
# total CPU user time (s): 3556.63
# total CPU system time (s): 43.5014
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.59399 second user time and 17.707 second system time
The end
Begin job on nodeC015 at 2025-06-29 06:27:12
IDJOB=4506837
IDBENCH=158284
IDSOLVER=3358
FILE ID=nodeC015/4506837-1751171232
RUNJOBID= nodeC015-1751170426-20380
SLURM_JOB_ID= 9587528
Free space on /tmp= 432844 MiB
SOLVER NAME= roundingsat+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K188.opb
COMMAND LINE= run-dec-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506837-1751171232/watcher-4506837-1751171232 -o /tmp/evaluation-result-4506837-1751171232/solver-4506837-1751171232 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751170426-20380 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4506837-1751171232.opb PROOFDIR/proof-4506837-1751171232
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 416ae2bcad94d751017f8086501bbe46
RANDOM SEED=2091039403
nodeC015 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.064
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.068
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.780
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.312
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.054
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.012
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.105
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3635.828
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 125277068 kB
MemAvailable: 126780964 kB
Buffers: 3280 kB
Cached: 2312060 kB
SwapCached: 0 kB
Active: 3277132 kB
Inactive: 2093004 kB
Active(anon): 3072948 kB
Inactive(anon): 0 kB
Active(file): 204184 kB
Inactive(file): 2093004 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 46004 kB
Writeback: 0 kB
AnonPages: 3056620 kB
Mapped: 116224 kB
Shmem: 18076 kB
KReclaimable: 91896 kB
Slab: 178000 kB
SReclaimable: 91896 kB
SUnreclaim: 86104 kB
KernelStack: 4384 kB
PageTables: 9232 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 3774924 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150696 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2117632 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 11100160 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432976 MiB
End job on nodeC015 at 2025-06-29 07:28:17