0.00/0.02 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02 c │ pbsuma -- a PB interface for satsuma │
0.00/0.02 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.02 c │ (c) 2025 Markus Anders │
0.00/0.02 c └────────────────────────────────────────────────────────────────┘
0.00/0.02 c parse 'HOME/instance-4507088-1751176317.opb'
0.00/0.03 c read 1.22MB (16.25ms)
0.00/0.03 c [cnf: #variables 17850 #clauses 18152 #duplicates 0 #arr 116728]
0.00/0.03 c
0.00/0.03 c make graph and approximate orbits
0.00/0.06 c [group: #orbits ~= 2700] (21.93ms)
0.00/0.06 c
0.00/0.06 c detect special group actions
0.00/0.06 c probe for Johnson action (limit=64)
0.00/0.06 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.06 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.06 c (3.58ms)
0.00/0.06 c
0.00/0.06 c detect symmetries on remainder
0.00/0.06 c [graph: #vertices 89552 #edges 340556]
0.00/0.06 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.08 c [group: #symmetries 4.80*10^1 #generators 5] (17.99ms)
0.00/0.08 c
0.00/0.08 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.08 c (0.06ms)
0.00/0.08 c
0.00/0.08 c finalize break order and special generators
0.00/0.08 c
0.00/0.08 c add generic predicates (break_depth=10)
0.00/0.08 c added predicates for 5 generators (0.16ms)
0.00/0.08 c
0.00/0.08 c generation finished
0.00/0.08 c [sbp: #constraints 140 #add_vars 45]
0.00/0.08 c
0.00/0.08 c write result to 'HOME/instance-4507088-1751176317.opb.pre'
0.00/0.08 c wrote 1.25MB (2.88ms)
0.00/0.08 c ------------------------------------------------------------------
0.00/0.08 c 21.93ms 33.90% approx_orbits
0.00/0.08 c 17.99ms 27.82% detect_generic
0.00/0.08 c 16.25ms 25.12% parse
0.00/0.08 c 3.58ms 5.54% detect_special
0.00/0.08 c 2.88ms 4.45% output
0.00/0.08 c 1.20ms 1.86% other
0.00/0.08 c 0.63ms 0.98% finalize_order
0.00/0.08 c 0.16ms 0.24% break_generic
0.00/0.08 c 0.06ms 0.09% optimize_gens
0.00/0.08 c ───────────────────────────────────────────────
0.00/0.08 c 64.69ms 100% total
0.00/0.08 c ------------------------------------------------------------------
0.00/0.10 c RoundingSat 2
0.00/0.10 c branch pb25
0.00/0.10 c commit 63f22ad
0.06/0.20 c #variables 17895 #constraints 18290
106.70/107.09 c #Conflicts: 1000 | #Constraints: 19289
106.70/107.09 c #Conflicts: 2000 | #Constraints: 20289
106.70/107.09 c INPROCESSING
106.70/107.09 c GARBAGE COLLECT
106.70/107.09 c #Conflicts: 3000 | #Constraints: 19538
106.70/107.09 c #Conflicts: 4000 | #Constraints: 20538
106.70/107.09 c INPROCESSING
106.70/107.09 c GARBAGE COLLECT
106.70/107.09 c #Conflicts: 5000 | #Constraints: 20015
106.70/107.09 c #Conflicts: 6000 | #Constraints: 21015
106.70/107.09 c INPROCESSING
106.70/107.09 c GARBAGE COLLECT
106.70/107.09 c #Conflicts: 7000 | #Constraints: 20105
106.70/107.09 c #Conflicts: 8000 | #Constraints: 21105
106.70/107.09 c #Conflicts: 9000 | #Constraints: 22105
106.70/107.09 c INPROCESSING
106.70/107.09 c GARBAGE COLLECT
106.70/107.09 c #Conflicts: 10000 | #Constraints: 20840
106.70/107.09 c #Conflicts: 11000 | #Constraints: 21840
106.70/107.09 c #Conflicts: 12000 | #Constraints: 22840
106.70/107.09 c INPROCESSING
106.70/107.09 c GARBAGE COLLECT
106.70/107.09 c #Conflicts: 13000 | #Constraints: 21376
106.70/107.09 c #Conflicts: 14000 | #Constraints: 22376
106.70/107.09 c #Conflicts: 15000 | #Constraints: 23376
106.70/107.09 c #Conflicts: 16000 | #Constraints: 24376
106.70/107.09 c #Conflicts: 17000 | #Constraints: 25376
106.70/107.09 c #Conflicts: 18000 | #Constraints: 26376
106.70/107.09 c #Conflicts: 19000 | #Constraints: 27376
106.70/107.09 c #Conflicts: 20000 | #Constraints: 28376
106.70/107.09 c INPROCESSING
106.70/107.09 c GARBAGE COLLECT
106.70/107.09 c #Conflicts: 21000 | #Constraints: 24022
106.70/107.09 c #Conflicts: 22000 | #Constraints: 25022
106.70/107.09 c #Conflicts: 23000 | #Constraints: 26022
106.70/107.09 c #Conflicts: 24000 | #Constraints: 27022
106.70/107.09 c INPROCESSING
106.70/107.09 c GARBAGE COLLECT
106.70/107.09 c #Conflicts: 25000 | #Constraints: 23363
106.70/107.09 c #Conflicts: 26000 | #Constraints: 24363
106.70/107.09 c #Conflicts: 27000 | #Constraints: 25363
106.70/107.09 c #Conflicts: 28000 | #Constraints: 26363
106.70/107.09 c INPROCESSING
106.70/107.09 c GARBAGE COLLECT
106.70/107.09 c #Conflicts: 29000 | #Constraints: 22991
106.70/107.09 c #Conflicts: 30000 | #Constraints: 23991
106.70/107.09 c #Conflicts: 31000 | #Constraints: 24991
106.70/107.09 c #Conflicts: 32000 | #Constraints: 25991
106.70/107.09 c #Conflicts: 33000 | #Constraints: 26991
106.70/107.09 c #Conflicts: 34000 | #Constraints: 27991
106.70/107.09 c #Conflicts: 35000 | #Constraints: 28991
106.70/107.09 c #Conflicts: 36000 | #Constraints: 29991
106.70/107.09 c #Conflicts: 37000 | #Constraints: 30991
106.70/107.09 c #Conflicts: 38000 | #Constraints: 31991
106.70/107.09 c #Conflicts: 39000 | #Constraints: 32991
106.70/107.09 c #Conflicts: 40000 | #Constraints: 33991
106.70/107.09 c #Conflicts: 41000 | #Constraints: 34991
106.70/107.09 c INPROCESSING
106.70/107.09 c GARBAGE COLLECT
106.70/107.09 c #Conflicts: 42000 | #Constraints: 27408
106.70/107.09 c #Conflicts: 43000 | #Constraints: 28408
106.70/107.09 c #Conflicts: 44000 | #Constraints: 29408
106.70/107.09 c #Conflicts: 45000 | #Constraints: 30408
106.70/107.09 c #Conflicts: 46000 | #Constraints: 31408
106.70/107.09 c #Conflicts: 47000 | #Constraints: 32408
106.70/107.09 c INPROCESSING
106.70/107.09 c GARBAGE COLLECT
106.70/107.09 c #Conflicts: 48000 | #Constraints: 26392
106.70/107.09 c #Conflicts: 49000 | #Constraints: 27392
106.70/107.09 c #Conflicts: 50000 | #Constraints: 28392
106.70/107.09 c #Conflicts: 51000 | #Constraints: 29392
106.70/107.09 c #Conflicts: 52000 | #Constraints: 30392
106.70/107.09 c #Conflicts: 53000 | #Constraints: 31392
106.70/107.09 c #Conflicts: 54000 | #Constraints: 32392
106.70/107.09 c #Conflicts: 55000 | #Constraints: 33392
106.70/107.09 c #Conflicts: 56000 | #Constraints: 34392
106.70/107.09 c #Conflicts: 57000 | #Constraints: 35392
106.70/107.09 c #Conflicts: 58000 | #Constraints: 36392
106.70/107.09 c #Conflicts: 59000 | #Constraints: 37392
106.70/107.09 c #Conflicts: 60000 | #Constraints: 38392
106.70/107.09 c #Conflicts: 61000 | #Constraints: 39392
106.70/107.09 c #Conflicts: 62000 | #Constraints: 40392
106.70/107.09 c INPROCESSING
106.70/107.09 c GARBAGE COLLECT
106.70/107.09 c #Conflicts: 63000 | #Constraints: 30125
106.70/107.09 c #Conflicts: 64000 | #Constraints: 31125
106.70/107.09 c #Conflicts: 65000 | #Constraints: 32125
106.70/107.09 c #Conflicts: 66000 | #Constraints: 33125
106.70/107.09 c #Conflicts: 67000 | #Constraints: 34125
106.70/107.09 c #Conflicts: 68000 | #Constraints: 35125
106.70/107.09 c #Conflicts: 69000 | #Constraints: 36125
106.70/107.09 c INPROCESSING
106.70/107.09 c GARBAGE COLLECT
106.70/107.09 c #Conflicts: 70000 | #Constraints: 28034
106.70/107.09 c #Conflicts: 71000 | #Constraints: 29034
106.70/107.09 c #Conflicts: 72000 | #Constraints: 30034
217.39/218.10 c #Conflicts: 73000 | #Constraints: 31034
217.39/218.10 c #Conflicts: 74000 | #Constraints: 32034
217.39/218.10 c #Conflicts: 75000 | #Constraints: 33034
217.39/218.10 c #Conflicts: 76000 | #Constraints: 34034
217.39/218.10 c #Conflicts: 77000 | #Constraints: 35034
217.39/218.10 c #Conflicts: 78000 | #Constraints: 36034
217.39/218.10 c #Conflicts: 79000 | #Constraints: 37034
217.39/218.10 c #Conflicts: 80000 | #Constraints: 38034
217.39/218.10 c #Conflicts: 81000 | #Constraints: 39034
217.39/218.10 c #Conflicts: 82000 | #Constraints: 40034
217.39/218.10 c #Conflicts: 83000 | #Constraints: 41034
217.39/218.10 c #Conflicts: 84000 | #Constraints: 42034
217.39/218.10 c #Conflicts: 85000 | #Constraints: 43034
217.39/218.10 c #Conflicts: 86000 | #Constraints: 44034
217.39/218.10 c #Conflicts: 87000 | #Constraints: 45034
217.39/218.10 c #Conflicts: 88000 | #Constraints: 46034
217.39/218.10 c INPROCESSING
217.39/218.10 c GARBAGE COLLECT
217.39/218.10 c #Conflicts: 89000 | #Constraints: 33202
217.39/218.10 c #Conflicts: 90000 | #Constraints: 34202
217.39/218.10 c #Conflicts: 91000 | #Constraints: 35202
217.39/218.10 c #Conflicts: 92000 | #Constraints: 36202
217.39/218.10 c #Conflicts: 93000 | #Constraints: 37202
217.39/218.10 c #Conflicts: 94000 | #Constraints: 38202
217.39/218.10 c #Conflicts: 95000 | #Constraints: 39202
217.39/218.10 c #Conflicts: 96000 | #Constraints: 40202
217.39/218.10 c INPROCESSING
217.39/218.10 c GARBAGE COLLECT
217.39/218.10 c #Conflicts: 97000 | #Constraints: 30215
217.39/218.10 c #Conflicts: 98000 | #Constraints: 31215
217.39/218.10 c #Conflicts: 99000 | #Constraints: 32215
217.39/218.10 c #Conflicts: 100000 | #Constraints: 33215
217.39/218.10 c #Conflicts: 101000 | #Constraints: 34216
217.39/218.10 c #Conflicts: 102000 | #Constraints: 35216
217.39/218.10 c #Conflicts: 103000 | #Constraints: 36216
217.39/218.10 c #Conflicts: 104000 | #Constraints: 37216
217.39/218.10 c #Conflicts: 105000 | #Constraints: 38216
217.39/218.10 c #Conflicts: 106000 | #Constraints: 39216
217.39/218.10 c #Conflicts: 107000 | #Constraints: 40216
217.39/218.10 c #Conflicts: 108000 | #Constraints: 41216
217.39/218.10 c #Conflicts: 109000 | #Constraints: 42216
217.39/218.10 c #Conflicts: 110000 | #Constraints: 43216
217.39/218.10 c #Conflicts: 111000 | #Constraints: 44216
217.39/218.10 c #Conflicts: 112000 | #Constraints: 45216
217.39/218.10 c #Conflicts: 113000 | #Constraints: 46216
217.39/218.10 c #Conflicts: 114000 | #Constraints: 47216
217.39/218.10 c #Conflicts: 115000 | #Constraints: 48216
217.39/218.10 c #Conflicts: 116000 | #Constraints: 49216
217.39/218.10 c #Conflicts: 117000 | #Constraints: 50216
217.39/218.10 c #Conflicts: 118000 | #Constraints: 51216
217.39/218.10 c INPROCESSING
217.39/218.10 c GARBAGE COLLECT
217.39/218.10 c #Conflicts: 119000 | #Constraints: 35816
217.39/218.10 c #Conflicts: 120000 | #Constraints: 36816
217.39/218.10 c #Conflicts: 121000 | #Constraints: 37816
217.39/218.10 c #Conflicts: 122000 | #Constraints: 38816
217.39/218.10 c #Conflicts: 123000 | #Constraints: 39816
217.39/218.10 c #Conflicts: 124000 | #Constraints: 40816
217.39/218.10 c #Conflicts: 125000 | #Constraints: 41816
217.39/218.10 c #Conflicts: 126000 | #Constraints: 42816
217.39/218.10 c #Conflicts: 127000 | #Constraints: 43816
217.39/218.10 c #Conflicts: 128000 | #Constraints: 44816
217.39/218.10 c INPROCESSING
217.39/218.10 c GARBAGE COLLECT
217.39/218.10 c #Conflicts: 129000 | #Constraints: 33150
217.39/218.10 c #Conflicts: 130000 | #Constraints: 34150
217.39/218.10 c #Conflicts: 131000 | #Constraints: 35150
217.39/218.10 c #Conflicts: 132000 | #Constraints: 36150
217.39/218.10 c #Conflicts: 133000 | #Constraints: 37150
217.39/218.10 c #Conflicts: 134000 | #Constraints: 38150
217.39/218.10 c #Conflicts: 135000 | #Constraints: 39150
217.39/218.10 c #Conflicts: 136000 | #Constraints: 40150
217.39/218.10 c #Conflicts: 137000 | #Constraints: 41150
217.39/218.10 c #Conflicts: 138000 | #Constraints: 42150
217.39/218.10 c #Conflicts: 139000 | #Constraints: 43150
217.39/218.10 c #Conflicts: 140000 | #Constraints: 44150
217.39/218.10 c #Conflicts: 141000 | #Constraints: 45150
217.39/218.10 c #Conflicts: 142000 | #Constraints: 46150
217.39/218.10 c #Conflicts: 143000 | #Constraints: 47150
217.39/218.10 c #Conflicts: 144000 | #Constraints: 48150
217.39/218.10 c #Conflicts: 145000 | #Constraints: 49150
217.39/218.10 c #Conflicts: 146000 | #Constraints: 50150
217.39/218.10 c #Conflicts: 147000 | #Constraints: 51150
217.39/218.10 c #Conflicts: 148000 | #Constraints: 52150
334.90/335.86 c #Conflicts: 149000 | #Constraints: 53150
334.90/335.86 c #Conflicts: 150000 | #Constraints: 54150
334.90/335.86 c #Conflicts: 151000 | #Constraints: 55150
334.90/335.86 c #Conflicts: 152000 | #Constraints: 56150
334.90/335.86 c #Conflicts: 153000 | #Constraints: 57150
334.90/335.86 c INPROCESSING
334.90/335.86 c GARBAGE COLLECT
334.90/335.86 c #Conflicts: 154000 | #Constraints: 39101
334.90/335.86 c #Conflicts: 155000 | #Constraints: 40101
334.90/335.86 c #Conflicts: 156000 | #Constraints: 41101
334.90/335.86 c #Conflicts: 157000 | #Constraints: 42101
334.90/335.86 c #Conflicts: 158000 | #Constraints: 43101
334.90/335.86 c #Conflicts: 159000 | #Constraints: 44101
334.90/335.86 c #Conflicts: 160000 | #Constraints: 45101
334.90/335.86 c #Conflicts: 161000 | #Constraints: 46101
334.90/335.86 c #Conflicts: 162000 | #Constraints: 47101
334.90/335.86 c #Conflicts: 163000 | #Constraints: 48101
334.90/335.86 c INPROCESSING
334.90/335.86 c GARBAGE COLLECT
334.90/335.86 c #Conflicts: 164000 | #Constraints: 35000
334.90/335.86 c #Conflicts: 165000 | #Constraints: 36000
334.90/335.86 c #Conflicts: 166000 | #Constraints: 37000
334.90/335.86 c #Conflicts: 167000 | #Constraints: 38000
334.90/335.86 c #Conflicts: 168000 | #Constraints: 39000
334.90/335.86 c #Conflicts: 169000 | #Constraints: 40000
334.90/335.86 c #Conflicts: 170000 | #Constraints: 41000
334.90/335.86 c #Conflicts: 171000 | #Constraints: 42000
334.90/335.86 c #Conflicts: 172000 | #Constraints: 43000
334.90/335.86 c #Conflicts: 173000 | #Constraints: 44000
334.90/335.86 c #Conflicts: 174000 | #Constraints: 45000
334.90/335.86 c #Conflicts: 175000 | #Constraints: 46000
334.90/335.86 c #Conflicts: 176000 | #Constraints: 47000
334.90/335.86 c #Conflicts: 177000 | #Constraints: 48000
334.90/335.86 c #Conflicts: 178000 | #Constraints: 49000
334.90/335.86 c #Conflicts: 179000 | #Constraints: 50000
334.90/335.86 c #Conflicts: 180000 | #Constraints: 51000
334.90/335.86 c #Conflicts: 181000 | #Constraints: 52000
334.90/335.86 c #Conflicts: 182000 | #Constraints: 53000
334.90/335.86 c #Conflicts: 183000 | #Constraints: 54000
334.90/335.86 c #Conflicts: 184000 | #Constraints: 55000
334.90/335.86 c #Conflicts: 185000 | #Constraints: 56000
334.90/335.86 c #Conflicts: 186000 | #Constraints: 57000
334.90/335.86 c #Conflicts: 187000 | #Constraints: 58000
334.90/335.86 c #Conflicts: 188000 | #Constraints: 59000
334.90/335.86 c #Conflicts: 189000 | #Constraints: 60000
334.90/335.86 c #Conflicts: 190000 | #Constraints: 61000
334.90/335.86 c #Conflicts: 191000 | #Constraints: 62000
334.90/335.86 c INPROCESSING
334.90/335.86 c GARBAGE COLLECT
334.90/335.86 c #Conflicts: 192000 | #Constraints: 41135
334.90/335.86 c #Conflicts: 193000 | #Constraints: 42135
334.90/335.86 c #Conflicts: 194000 | #Constraints: 43135
334.90/335.86 c #Conflicts: 195000 | #Constraints: 44135
334.90/335.86 c #Conflicts: 196000 | #Constraints: 45135
334.90/335.86 c #Conflicts: 197000 | #Constraints: 46135
334.90/335.86 c #Conflicts: 198000 | #Constraints: 47135
334.90/335.86 c #Conflicts: 199000 | #Constraints: 48135
334.90/335.86 c #Conflicts: 200000 | #Constraints: 49135
334.90/335.86 c #Conflicts: 201000 | #Constraints: 50135
334.90/335.86 c #Conflicts: 202000 | #Constraints: 51135
334.90/335.86 c #Conflicts: 203000 | #Constraints: 52135
334.90/335.86 c #Conflicts: 204000 | #Constraints: 53135
334.90/335.86 c INPROCESSING
334.90/335.86 c GARBAGE COLLECT
334.90/335.86 c #Conflicts: 205000 | #Constraints: 38010
334.90/335.86 c #Conflicts: 206000 | #Constraints: 39010
334.90/335.86 c #Conflicts: 207000 | #Constraints: 40010
334.90/335.86 c #Conflicts: 208000 | #Constraints: 41010
334.90/335.86 c #Conflicts: 209000 | #Constraints: 42010
334.90/335.86 c #Conflicts: 210000 | #Constraints: 43010
334.90/335.86 c #Conflicts: 211000 | #Constraints: 44010
334.90/335.86 c #Conflicts: 212000 | #Constraints: 45010
334.90/335.86 c #Conflicts: 213000 | #Constraints: 46010
334.90/335.86 c #Conflicts: 214000 | #Constraints: 47010
334.90/335.86 c #Conflicts: 215000 | #Constraints: 48010
334.90/335.86 c #Conflicts: 216000 | #Constraints: 49010
334.90/335.86 c #Conflicts: 217000 | #Constraints: 50010
334.90/335.86 c #Conflicts: 218000 | #Constraints: 51010
334.90/335.86 c #Conflicts: 219000 | #Constraints: 52010
334.90/335.86 c #Conflicts: 220000 | #Constraints: 53010
334.90/335.86 c #Conflicts: 221000 | #Constraints: 54010
334.90/335.86 c #Conflicts: 222000 | #Constraints: 55010
334.90/335.86 c #Conflicts: 223000 | #Constraints: 56010
334.90/335.86 c #Conflicts: 224000 | #Constraints: 57010
522.56/523.97 c #Conflicts: 225000 | #Constraints: 58010
522.56/523.97 c #Conflicts: 226000 | #Constraints: 59010
522.56/523.97 c #Conflicts: 227000 | #Constraints: 60010
522.56/523.97 c #Conflicts: 228000 | #Constraints: 61010
522.56/523.97 c #Conflicts: 229000 | #Constraints: 62010
522.56/523.97 c #Conflicts: 230000 | #Constraints: 63010
522.56/523.97 c #Conflicts: 231000 | #Constraints: 64010
522.56/523.97 c #Conflicts: 232000 | #Constraints: 65010
522.56/523.97 c #Conflicts: 233000 | #Constraints: 66010
522.56/523.97 c #Conflicts: 234000 | #Constraints: 67010
522.56/523.97 c #Conflicts: 235000 | #Constraints: 68010
522.56/523.97 c INPROCESSING
522.56/523.97 c GARBAGE COLLECT
522.56/523.97 c #Conflicts: 236000 | #Constraints: 44485
522.56/523.97 c #Conflicts: 237000 | #Constraints: 45485
522.56/523.97 c #Conflicts: 238000 | #Constraints: 46485
522.56/523.97 c #Conflicts: 239000 | #Constraints: 47485
522.56/523.97 c #Conflicts: 240000 | #Constraints: 48485
522.56/523.97 c #Conflicts: 241000 | #Constraints: 49485
522.56/523.97 c #Conflicts: 242000 | #Constraints: 50485
522.56/523.97 c #Conflicts: 243000 | #Constraints: 51485
522.56/523.97 c #Conflicts: 244000 | #Constraints: 52485
522.56/523.97 c #Conflicts: 245000 | #Constraints: 53485
522.56/523.97 c #Conflicts: 246000 | #Constraints: 54485
522.56/523.97 c #Conflicts: 247000 | #Constraints: 55485
522.56/523.97 c #Conflicts: 248000 | #Constraints: 56485
522.56/523.97 c INPROCESSING
522.56/523.97 c GARBAGE COLLECT
522.56/523.97 c #Conflicts: 249000 | #Constraints: 39634
522.56/523.97 c #Conflicts: 250000 | #Constraints: 40634
522.56/523.97 c #Conflicts: 251000 | #Constraints: 41634
522.56/523.97 c #Conflicts: 252000 | #Constraints: 42634
522.56/523.97 c #Conflicts: 253000 | #Constraints: 43634
522.56/523.97 c #Conflicts: 254000 | #Constraints: 44634
522.56/523.97 c #Conflicts: 255000 | #Constraints: 45634
522.56/523.97 c #Conflicts: 256000 | #Constraints: 46634
522.56/523.97 c #Conflicts: 257000 | #Constraints: 47634
522.56/523.97 c #Conflicts: 258000 | #Constraints: 48634
522.56/523.97 c #Conflicts: 259000 | #Constraints: 49634
522.56/523.97 c #Conflicts: 260000 | #Constraints: 50634
522.56/523.97 c #Conflicts: 261000 | #Constraints: 51634
522.56/523.97 c #Conflicts: 262000 | #Constraints: 52635
522.56/523.97 c #Conflicts: 263000 | #Constraints: 53635
522.56/523.97 c #Conflicts: 264000 | #Constraints: 54635
522.56/523.97 c #Conflicts: 265000 | #Constraints: 55635
522.56/523.97 c #Conflicts: 266000 | #Constraints: 56635
522.56/523.97 c #Conflicts: 267000 | #Constraints: 57635
522.56/523.97 c #Conflicts: 268000 | #Constraints: 58635
522.56/523.97 c #Conflicts: 269000 | #Constraints: 59635
522.56/523.97 c #Conflicts: 270000 | #Constraints: 60635
522.56/523.97 c #Conflicts: 271000 | #Constraints: 61635
522.56/523.97 c #Conflicts: 272000 | #Constraints: 62635
522.56/523.97 c #Conflicts: 273000 | #Constraints: 63635
522.56/523.97 c #Conflicts: 274000 | #Constraints: 64635
522.56/523.97 c #Conflicts: 275000 | #Constraints: 65635
522.56/523.97 c #Conflicts: 276000 | #Constraints: 66635
522.56/523.97 c #Conflicts: 277000 | #Constraints: 67635
522.56/523.97 c #Conflicts: 278000 | #Constraints: 68635
522.56/523.97 c #Conflicts: 279000 | #Constraints: 69635
522.56/523.97 c #Conflicts: 280000 | #Constraints: 70635
522.56/523.97 c #Conflicts: 281000 | #Constraints: 71635
522.56/523.97 c #Conflicts: 282000 | #Constraints: 72635
522.56/523.97 c INPROCESSING
522.56/523.97 c GARBAGE COLLECT
522.56/523.97 c #Conflicts: 283000 | #Constraints: 46770
522.56/523.97 c #Conflicts: 284000 | #Constraints: 47770
522.56/523.97 c #Conflicts: 285000 | #Constraints: 48770
522.56/523.97 c #Conflicts: 286000 | #Constraints: 49770
522.56/523.97 c #Conflicts: 287000 | #Constraints: 50770
522.56/523.97 c #Conflicts: 288000 | #Constraints: 51770
522.56/523.97 c #Conflicts: 289000 | #Constraints: 52770
522.56/523.97 c #Conflicts: 290000 | #Constraints: 53770
522.56/523.97 c #Conflicts: 291000 | #Constraints: 54770
522.56/523.97 c #Conflicts: 292000 | #Constraints: 55770
522.56/523.97 c #Conflicts: 293000 | #Constraints: 56770
522.56/523.97 c #Conflicts: 294000 | #Constraints: 57770
522.56/523.97 c #Conflicts: 295000 | #Constraints: 58770
522.56/523.97 c #Conflicts: 296000 | #Constraints: 59770
522.56/523.97 c #Conflicts: 297000 | #Constraints: 60770
522.56/523.97 c INPROCESSING
522.56/523.97 c GARBAGE COLLECT
522.56/523.97 c #Conflicts: 298000 | #Constraints: 41888
522.56/523.97 c #Conflicts: 299000 | #Constraints: 42888
522.56/523.97 c #Conflicts: 300000 | #Constraints: 43888
649.25/650.93 c #Conflicts: 301000 | #Constraints: 44888
649.25/650.93 c #Conflicts: 302000 | #Constraints: 45888
649.25/650.93 c #Conflicts: 303000 | #Constraints: 46888
649.25/650.93 c #Conflicts: 304000 | #Constraints: 47888
649.25/650.93 c #Conflicts: 305000 | #Constraints: 48888
649.25/650.93 c #Conflicts: 306000 | #Constraints: 49888
649.25/650.93 c #Conflicts: 307000 | #Constraints: 50888
649.25/650.93 c #Conflicts: 308000 | #Constraints: 51888
649.25/650.93 c #Conflicts: 309000 | #Constraints: 52888
649.25/650.93 c #Conflicts: 310000 | #Constraints: 53888
649.25/650.93 c #Conflicts: 311000 | #Constraints: 54888
649.25/650.93 c #Conflicts: 312000 | #Constraints: 55888
649.25/650.93 c #Conflicts: 313000 | #Constraints: 56888
649.25/650.93 c #Conflicts: 314000 | #Constraints: 57888
649.25/650.93 c #Conflicts: 315000 | #Constraints: 58888
649.25/650.93 c #Conflicts: 316000 | #Constraints: 59888
649.25/650.93 c #Conflicts: 317000 | #Constraints: 60888
649.25/650.93 c #Conflicts: 318000 | #Constraints: 61888
649.25/650.93 c #Conflicts: 319000 | #Constraints: 62888
649.25/650.93 c #Conflicts: 320000 | #Constraints: 63888
649.25/650.93 c #Conflicts: 321000 | #Constraints: 64888
649.25/650.93 c #Conflicts: 322000 | #Constraints: 65888
649.25/650.93 c #Conflicts: 323000 | #Constraints: 66888
649.25/650.93 c #Conflicts: 324000 | #Constraints: 67888
649.25/650.93 c #Conflicts: 325000 | #Constraints: 68888
649.25/650.93 c #Conflicts: 326000 | #Constraints: 69888
649.25/650.93 c #Conflicts: 327000 | #Constraints: 70888
649.25/650.93 c #Conflicts: 328000 | #Constraints: 71888
649.25/650.93 c #Conflicts: 329000 | #Constraints: 72888
649.25/650.93 c #Conflicts: 330000 | #Constraints: 73888
649.25/650.93 c #Conflicts: 331000 | #Constraints: 74888
649.25/650.93 c #Conflicts: 332000 | #Constraints: 75888
649.25/650.93 c #Conflicts: 333000 | #Constraints: 76888
649.25/650.93 c #Conflicts: 334000 | #Constraints: 77888
649.25/650.93 c #Conflicts: 335000 | #Constraints: 78888
649.25/650.93 c INPROCESSING
649.25/650.93 c GARBAGE COLLECT
649.25/650.93 c #Conflicts: 336000 | #Constraints: 50309
649.25/650.93 c #Conflicts: 337000 | #Constraints: 51309
649.25/650.93 c #Conflicts: 338000 | #Constraints: 52309
649.25/650.93 c #Conflicts: 339000 | #Constraints: 53309
649.25/650.93 c #Conflicts: 340000 | #Constraints: 54309
649.25/650.93 c #Conflicts: 341000 | #Constraints: 55309
649.25/650.93 c #Conflicts: 342000 | #Constraints: 56309
649.25/650.93 c #Conflicts: 343000 | #Constraints: 57309
649.25/650.93 c #Conflicts: 344000 | #Constraints: 58309
649.25/650.93 c #Conflicts: 345000 | #Constraints: 59309
649.25/650.93 c #Conflicts: 346000 | #Constraints: 60309
649.25/650.93 c #Conflicts: 347000 | #Constraints: 61309
649.25/650.93 c #Conflicts: 348000 | #Constraints: 62309
649.25/650.93 c #Conflicts: 349000 | #Constraints: 63309
649.25/650.93 c #Conflicts: 350000 | #Constraints: 64309
649.25/650.93 c #Conflicts: 351000 | #Constraints: 65309
649.25/650.93 c INPROCESSING
649.25/650.93 c GARBAGE COLLECT
649.25/650.93 c #Conflicts: 352000 | #Constraints: 44849
649.25/650.93 c #Conflicts: 353000 | #Constraints: 45849
649.25/650.93 c #Conflicts: 354000 | #Constraints: 46849
649.25/650.93 c #Conflicts: 355000 | #Constraints: 47849
649.25/650.93 c #Conflicts: 356000 | #Constraints: 48849
649.25/650.93 c #Conflicts: 357000 | #Constraints: 49849
649.25/650.93 c #Conflicts: 358000 | #Constraints: 50849
649.25/650.93 c #Conflicts: 359000 | #Constraints: 51849
649.25/650.93 c #Conflicts: 360000 | #Constraints: 52849
649.25/650.93 c #Conflicts: 361000 | #Constraints: 53849
649.25/650.93 c #Conflicts: 362000 | #Constraints: 54849
649.25/650.93 c #Conflicts: 363000 | #Constraints: 55849
649.25/650.93 c #Conflicts: 364000 | #Constraints: 56849
649.25/650.93 c #Conflicts: 365000 | #Constraints: 57849
649.25/650.93 c #Conflicts: 366000 | #Constraints: 58849
649.25/650.93 c #Conflicts: 367000 | #Constraints: 59849
649.25/650.93 c #Conflicts: 368000 | #Constraints: 60849
649.25/650.93 c #Conflicts: 369000 | #Constraints: 61849
649.25/650.93 c #Conflicts: 370000 | #Constraints: 62849
649.25/650.93 c #Conflicts: 371000 | #Constraints: 63849
649.25/650.93 c #Conflicts: 372000 | #Constraints: 64849
649.25/650.93 c #Conflicts: 373000 | #Constraints: 65849
649.25/650.93 c #Conflicts: 374000 | #Constraints: 66849
649.25/650.93 c #Conflicts: 375000 | #Constraints: 67849
649.25/650.93 c #Conflicts: 376000 | #Constraints: 68849
649.25/650.93 c #Conflicts: 377000 | #Constraints: 69849
649.25/650.93 c #Conflicts: 378000 | #Constraints: 70849
844.90/847.07 c #Conflicts: 379000 | #Constraints: 71849
844.90/847.07 c #Conflicts: 380000 | #Constraints: 72849
844.90/847.07 c #Conflicts: 381000 | #Constraints: 73849
844.90/847.07 c #Conflicts: 382000 | #Constraints: 74849
844.90/847.07 c #Conflicts: 383000 | #Constraints: 75849
844.90/847.07 c #Conflicts: 384000 | #Constraints: 76849
844.90/847.07 c #Conflicts: 385000 | #Constraints: 77849
844.90/847.07 c #Conflicts: 386000 | #Constraints: 78849
844.90/847.07 c #Conflicts: 387000 | #Constraints: 79849
844.90/847.07 c #Conflicts: 388000 | #Constraints: 80849
844.90/847.07 c #Conflicts: 389000 | #Constraints: 81849
844.90/847.07 c #Conflicts: 390000 | #Constraints: 82849
844.90/847.07 c #Conflicts: 391000 | #Constraints: 83849
844.90/847.07 c INPROCESSING
844.90/847.07 c GARBAGE COLLECT
844.90/847.07 c #Conflicts: 392000 | #Constraints: 52606
844.90/847.07 c #Conflicts: 393000 | #Constraints: 53606
844.90/847.07 c #Conflicts: 394000 | #Constraints: 54606
844.90/847.07 c #Conflicts: 395000 | #Constraints: 55606
844.90/847.07 c #Conflicts: 396000 | #Constraints: 56606
844.90/847.07 c #Conflicts: 397000 | #Constraints: 57606
844.90/847.07 c #Conflicts: 398000 | #Constraints: 58606
844.90/847.07 c #Conflicts: 399000 | #Constraints: 59606
844.90/847.07 c #Conflicts: 400000 | #Constraints: 60606
844.90/847.07 c #Conflicts: 401000 | #Constraints: 61606
844.90/847.07 c #Conflicts: 402000 | #Constraints: 62606
844.90/847.07 c #Conflicts: 403000 | #Constraints: 63606
844.90/847.07 c #Conflicts: 404000 | #Constraints: 64606
844.90/847.07 c #Conflicts: 405000 | #Constraints: 65606
844.90/847.07 c #Conflicts: 406000 | #Constraints: 66606
844.90/847.07 c #Conflicts: 407000 | #Constraints: 67606
844.90/847.07 c #Conflicts: 408000 | #Constraints: 68606
844.90/847.07 c INPROCESSING
844.90/847.07 c GARBAGE COLLECT
844.90/847.07 c #Conflicts: 409000 | #Constraints: 46554
844.90/847.07 c #Conflicts: 410000 | #Constraints: 47554
844.90/847.07 c #Conflicts: 411000 | #Constraints: 48554
844.90/847.07 c #Conflicts: 412000 | #Constraints: 49554
844.90/847.07 c #Conflicts: 413000 | #Constraints: 50554
844.90/847.07 c #Conflicts: 414000 | #Constraints: 51554
844.90/847.07 c #Conflicts: 415000 | #Constraints: 52554
844.90/847.07 c #Conflicts: 416000 | #Constraints: 53554
844.90/847.07 c #Conflicts: 417000 | #Constraints: 54554
844.90/847.07 c #Conflicts: 418000 | #Constraints: 55554
844.90/847.07 c #Conflicts: 419000 | #Constraints: 56554
844.90/847.07 c #Conflicts: 420000 | #Constraints: 57554
844.90/847.07 c #Conflicts: 421000 | #Constraints: 58554
844.90/847.07 c #Conflicts: 422000 | #Constraints: 59554
844.90/847.07 c #Conflicts: 423000 | #Constraints: 60554
844.90/847.07 c #Conflicts: 424000 | #Constraints: 61554
844.90/847.07 c #Conflicts: 425000 | #Constraints: 62554
844.90/847.07 c #Conflicts: 426000 | #Constraints: 63554
844.90/847.07 c #Conflicts: 427000 | #Constraints: 64554
844.90/847.07 c #Conflicts: 428000 | #Constraints: 65554
844.90/847.07 c #Conflicts: 429000 | #Constraints: 66554
844.90/847.07 c #Conflicts: 430000 | #Constraints: 67554
844.90/847.07 c #Conflicts: 431000 | #Constraints: 68554
844.90/847.07 c #Conflicts: 432000 | #Constraints: 69554
844.90/847.07 c #Conflicts: 433000 | #Constraints: 70554
844.90/847.07 c #Conflicts: 434000 | #Constraints: 71554
844.90/847.07 c #Conflicts: 435000 | #Constraints: 72554
844.90/847.07 c #Conflicts: 436000 | #Constraints: 73554
844.90/847.07 c #Conflicts: 437000 | #Constraints: 74554
844.90/847.07 c #Conflicts: 438000 | #Constraints: 75554
844.90/847.07 c #Conflicts: 439000 | #Constraints: 76554
844.90/847.07 c #Conflicts: 440000 | #Constraints: 77554
844.90/847.07 c #Conflicts: 441000 | #Constraints: 78554
844.90/847.07 c #Conflicts: 442000 | #Constraints: 79554
844.90/847.07 c #Conflicts: 443000 | #Constraints: 80554
844.90/847.07 c #Conflicts: 444000 | #Constraints: 81554
844.90/847.07 c #Conflicts: 445000 | #Constraints: 82554
844.90/847.07 c #Conflicts: 446000 | #Constraints: 83554
844.90/847.07 c #Conflicts: 447000 | #Constraints: 84554
844.90/847.07 c #Conflicts: 448000 | #Constraints: 85554
844.90/847.07 c #Conflicts: 449000 | #Constraints: 86554
844.90/847.07 c #Conflicts: 450000 | #Constraints: 87554
844.90/847.07 c #Conflicts: 451000 | #Constraints: 88555
844.90/847.07 c #Conflicts: 452000 | #Constraints: 89555
844.90/847.07 c INPROCESSING
844.90/847.07 c GARBAGE COLLECT
844.90/847.07 c #Conflicts: 453000 | #Constraints: 55556
844.90/847.07 c #Conflicts: 454000 | #Constraints: 56556
844.90/847.07 c #Conflicts: 455000 | #Constraints: 57556
1064.49/1067.13 c #Conflicts: 456000 | #Constraints: 58556
1064.49/1067.13 c #Conflicts: 457000 | #Constraints: 59556
1064.49/1067.13 c #Conflicts: 458000 | #Constraints: 60556
1064.49/1067.13 c #Conflicts: 459000 | #Constraints: 61556
1064.49/1067.13 c #Conflicts: 460000 | #Constraints: 62556
1064.49/1067.13 c #Conflicts: 461000 | #Constraints: 63556
1064.49/1067.13 c #Conflicts: 462000 | #Constraints: 64556
1064.49/1067.13 c #Conflicts: 463000 | #Constraints: 65556
1064.49/1067.13 c #Conflicts: 464000 | #Constraints: 66556
1064.49/1067.13 c #Conflicts: 465000 | #Constraints: 67556
1064.49/1067.13 c #Conflicts: 466000 | #Constraints: 68556
1064.49/1067.13 c #Conflicts: 467000 | #Constraints: 69556
1064.49/1067.13 c #Conflicts: 468000 | #Constraints: 70556
1064.49/1067.13 c #Conflicts: 469000 | #Constraints: 71556
1064.49/1067.13 c #Conflicts: 470000 | #Constraints: 72556
1064.49/1067.13 c #Conflicts: 471000 | #Constraints: 73556
1064.49/1067.13 c INPROCESSING
1064.49/1067.13 c GARBAGE COLLECT
1064.49/1067.13 c #Conflicts: 472000 | #Constraints: 49158
1064.49/1067.13 c #Conflicts: 473000 | #Constraints: 50158
1064.49/1067.13 c #Conflicts: 474000 | #Constraints: 51158
1064.49/1067.13 c #Conflicts: 475000 | #Constraints: 52158
1064.49/1067.13 c #Conflicts: 476000 | #Constraints: 53158
1064.49/1067.13 c #Conflicts: 477000 | #Constraints: 54158
1064.49/1067.13 c #Conflicts: 478000 | #Constraints: 55158
1064.49/1067.13 c #Conflicts: 479000 | #Constraints: 56158
1064.49/1067.13 c #Conflicts: 480000 | #Constraints: 57158
1064.49/1067.13 c #Conflicts: 481000 | #Constraints: 58158
1064.49/1067.13 c #Conflicts: 482000 | #Constraints: 59158
1064.49/1067.13 c #Conflicts: 483000 | #Constraints: 60158
1064.49/1067.13 c #Conflicts: 484000 | #Constraints: 61158
1064.49/1067.13 c #Conflicts: 485000 | #Constraints: 62158
1064.49/1067.13 c #Conflicts: 486000 | #Constraints: 63158
1064.49/1067.13 c #Conflicts: 487000 | #Constraints: 64158
1064.49/1067.13 c #Conflicts: 488000 | #Constraints: 65158
1064.49/1067.13 c #Conflicts: 489000 | #Constraints: 66158
1064.49/1067.13 c #Conflicts: 490000 | #Constraints: 67158
1064.49/1067.13 c #Conflicts: 491000 | #Constraints: 68158
1064.49/1067.13 c #Conflicts: 492000 | #Constraints: 69158
1064.49/1067.13 c #Conflicts: 493000 | #Constraints: 70158
1064.49/1067.13 c #Conflicts: 494000 | #Constraints: 71158
1064.49/1067.13 c #Conflicts: 495000 | #Constraints: 72158
1064.49/1067.13 c #Conflicts: 496000 | #Constraints: 73158
1064.49/1067.13 c #Conflicts: 497000 | #Constraints: 74158
1064.49/1067.13 c #Conflicts: 498000 | #Constraints: 75158
1064.49/1067.13 c #Conflicts: 499000 | #Constraints: 76158
1064.49/1067.13 c #Conflicts: 500000 | #Constraints: 77158
1064.49/1067.13 c #Conflicts: 501000 | #Constraints: 78158
1064.49/1067.13 c #Conflicts: 502000 | #Constraints: 79158
1064.49/1067.13 c #Conflicts: 503000 | #Constraints: 80158
1064.49/1067.13 c #Conflicts: 504000 | #Constraints: 81158
1064.49/1067.13 c #Conflicts: 505000 | #Constraints: 82158
1064.49/1067.13 c #Conflicts: 506000 | #Constraints: 83158
1064.49/1067.13 c #Conflicts: 507000 | #Constraints: 84158
1064.49/1067.13 c #Conflicts: 508000 | #Constraints: 85158
1064.49/1067.13 c #Conflicts: 509000 | #Constraints: 86158
1064.49/1067.13 c #Conflicts: 510000 | #Constraints: 87158
1064.49/1067.13 c #Conflicts: 511000 | #Constraints: 88158
1064.49/1067.13 c #Conflicts: 512000 | #Constraints: 89158
1064.49/1067.13 c #Conflicts: 513000 | #Constraints: 90158
1064.49/1067.13 c #Conflicts: 514000 | #Constraints: 91158
1064.49/1067.13 c #Conflicts: 515000 | #Constraints: 92158
1064.49/1067.13 c #Conflicts: 516000 | #Constraints: 93158
1064.49/1067.13 c #Conflicts: 517000 | #Constraints: 94158
1064.49/1067.13 c INPROCESSING
1064.49/1067.13 c GARBAGE COLLECT
1064.49/1067.13 c #Conflicts: 518000 | #Constraints: 57657
1064.49/1067.13 c #Conflicts: 519000 | #Constraints: 58657
1064.49/1067.13 c #Conflicts: 520000 | #Constraints: 59657
1064.49/1067.13 c #Conflicts: 521000 | #Constraints: 60657
1064.49/1067.13 c #Conflicts: 522000 | #Constraints: 61657
1064.49/1067.13 c #Conflicts: 523000 | #Constraints: 62657
1064.49/1067.13 c #Conflicts: 524000 | #Constraints: 63657
1064.49/1067.13 c #Conflicts: 525000 | #Constraints: 64657
1064.49/1067.13 c #Conflicts: 526000 | #Constraints: 65657
1064.49/1067.13 c #Conflicts: 527000 | #Constraints: 66657
1064.49/1067.13 c #Conflicts: 528000 | #Constraints: 67657
1064.49/1067.13 c #Conflicts: 529000 | #Constraints: 68657
1064.49/1067.13 c #Conflicts: 530000 | #Constraints: 69657
1064.49/1067.13 c #Conflicts: 531000 | #Constraints: 70657
1064.49/1067.13 c #Conflicts: 532000 | #Constraints: 71657
1309.10/1312.32 c #Conflicts: 533000 | #Constraints: 72657
1309.10/1312.32 c #Conflicts: 534000 | #Constraints: 73657
1309.10/1312.32 c #Conflicts: 535000 | #Constraints: 74657
1309.10/1312.32 c #Conflicts: 536000 | #Constraints: 75657
1309.10/1312.32 c #Conflicts: 537000 | #Constraints: 76657
1309.10/1312.32 c INPROCESSING
1309.10/1312.32 c GARBAGE COLLECT
1309.10/1312.32 c #Conflicts: 538000 | #Constraints: 50737
1309.10/1312.32 c #Conflicts: 539000 | #Constraints: 51737
1309.10/1312.32 c #Conflicts: 540000 | #Constraints: 52737
1309.10/1312.32 c #Conflicts: 541000 | #Constraints: 53737
1309.10/1312.32 c #Conflicts: 542000 | #Constraints: 54737
1309.10/1312.32 c #Conflicts: 543000 | #Constraints: 55737
1309.10/1312.32 c #Conflicts: 544000 | #Constraints: 56737
1309.10/1312.32 c #Conflicts: 545000 | #Constraints: 57737
1309.10/1312.32 c #Conflicts: 546000 | #Constraints: 58737
1309.10/1312.32 c #Conflicts: 547000 | #Constraints: 59737
1309.10/1312.32 c #Conflicts: 548000 | #Constraints: 60737
1309.10/1312.32 c #Conflicts: 549000 | #Constraints: 61737
1309.10/1312.32 c #Conflicts: 550000 | #Constraints: 62737
1309.10/1312.32 c #Conflicts: 551000 | #Constraints: 63737
1309.10/1312.32 c #Conflicts: 552000 | #Constraints: 64737
1309.10/1312.32 c #Conflicts: 553000 | #Constraints: 65737
1309.10/1312.32 c #Conflicts: 554000 | #Constraints: 66737
1309.10/1312.32 c #Conflicts: 555000 | #Constraints: 67737
1309.10/1312.32 c #Conflicts: 556000 | #Constraints: 68737
1309.10/1312.32 c #Conflicts: 557000 | #Constraints: 69737
1309.10/1312.32 c #Conflicts: 558000 | #Constraints: 70737
1309.10/1312.32 c #Conflicts: 559000 | #Constraints: 71737
1309.10/1312.32 c #Conflicts: 560000 | #Constraints: 72737
1309.10/1312.32 c #Conflicts: 561000 | #Constraints: 73737
1309.10/1312.32 c #Conflicts: 562000 | #Constraints: 74737
1309.10/1312.32 c #Conflicts: 563000 | #Constraints: 75737
1309.10/1312.32 c #Conflicts: 564000 | #Constraints: 76737
1309.10/1312.32 c #Conflicts: 565000 | #Constraints: 77737
1309.10/1312.32 c #Conflicts: 566000 | #Constraints: 78737
1309.10/1312.32 c #Conflicts: 567000 | #Constraints: 79737
1309.10/1312.32 c #Conflicts: 568000 | #Constraints: 80737
1309.10/1312.32 c #Conflicts: 569000 | #Constraints: 81737
1309.10/1312.32 c #Conflicts: 570000 | #Constraints: 82737
1309.10/1312.32 c #Conflicts: 571000 | #Constraints: 83737
1309.10/1312.32 c #Conflicts: 572000 | #Constraints: 84737
1309.10/1312.32 c #Conflicts: 573000 | #Constraints: 85737
1309.10/1312.32 c #Conflicts: 574000 | #Constraints: 86737
1309.10/1312.32 c #Conflicts: 575000 | #Constraints: 87737
1309.10/1312.32 c #Conflicts: 576000 | #Constraints: 88737
1309.10/1312.32 c #Conflicts: 577000 | #Constraints: 89737
1309.10/1312.32 c #Conflicts: 578000 | #Constraints: 90737
1309.10/1312.32 c #Conflicts: 579000 | #Constraints: 91737
1309.10/1312.32 c #Conflicts: 580000 | #Constraints: 92737
1309.10/1312.32 c #Conflicts: 581000 | #Constraints: 93737
1309.10/1312.32 c #Conflicts: 582000 | #Constraints: 94737
1309.10/1312.32 c #Conflicts: 583000 | #Constraints: 95737
1309.10/1312.32 c #Conflicts: 584000 | #Constraints: 96737
1309.10/1312.32 c #Conflicts: 585000 | #Constraints: 97737
1309.10/1312.32 c #Conflicts: 586000 | #Constraints: 98737
1309.10/1312.32 c #Conflicts: 587000 | #Constraints: 99737
1309.10/1312.32 c INPROCESSING
1309.10/1312.32 c GARBAGE COLLECT
1309.10/1312.32 c #Conflicts: 588000 | #Constraints: 60733
1309.10/1312.32 c #Conflicts: 589000 | #Constraints: 61733
1309.10/1312.32 c #Conflicts: 590000 | #Constraints: 62733
1309.10/1312.33 c #Conflicts: 591000 | #Constraints: 63733
1309.10/1312.33 c #Conflicts: 592000 | #Constraints: 64733
1309.10/1312.33 c #Conflicts: 593000 | #Constraints: 65733
1309.10/1312.33 c #Conflicts: 594000 | #Constraints: 66733
1309.10/1312.33 c #Conflicts: 595000 | #Constraints: 67733
1309.10/1312.33 c #Conflicts: 596000 | #Constraints: 68733
1309.10/1312.33 c #Conflicts: 597000 | #Constraints: 69733
1309.10/1312.33 c #Conflicts: 598000 | #Constraints: 70733
1309.10/1312.33 c #Conflicts: 599000 | #Constraints: 71733
1309.10/1312.33 c #Conflicts: 600000 | #Constraints: 72733
1309.10/1312.33 c #Conflicts: 601000 | #Constraints: 73733
1309.10/1312.33 c #Conflicts: 602000 | #Constraints: 74733
1309.10/1312.33 c #Conflicts: 603000 | #Constraints: 75733
1309.10/1312.33 c #Conflicts: 604000 | #Constraints: 76733
1309.10/1312.33 c #Conflicts: 605000 | #Constraints: 77733
1309.10/1312.33 c #Conflicts: 606000 | #Constraints: 78733
1309.10/1312.33 c #Conflicts: 607000 | #Constraints: 79733
1309.10/1312.33 c #Conflicts: 608000 | #Constraints: 80733
1309.10/1312.33 c INPROCESSING
1309.10/1312.33 c GARBAGE COLLECT
1309.10/1312.33 c #Conflicts: 609000 | #Constraints: 53231
1471.43/1475.06 c #Conflicts: 610000 | #Constraints: 54231
1471.43/1475.06 c #Conflicts: 611000 | #Constraints: 55231
1471.43/1475.06 c #Conflicts: 612000 | #Constraints: 56231
1471.43/1475.06 c #Conflicts: 613000 | #Constraints: 57231
1471.43/1475.06 c #Conflicts: 614000 | #Constraints: 58231
1471.43/1475.06 c #Conflicts: 615000 | #Constraints: 59231
1471.43/1475.06 c #Conflicts: 616000 | #Constraints: 60231
1471.43/1475.06 c #Conflicts: 617000 | #Constraints: 61231
1471.43/1475.06 c #Conflicts: 618000 | #Constraints: 62231
1471.43/1475.06 c #Conflicts: 619000 | #Constraints: 63231
1471.43/1475.06 c #Conflicts: 620000 | #Constraints: 64231
1471.43/1475.06 c #Conflicts: 621000 | #Constraints: 65231
1471.43/1475.06 c #Conflicts: 622000 | #Constraints: 66231
1471.43/1475.06 c #Conflicts: 623000 | #Constraints: 67231
1471.43/1475.06 c #Conflicts: 624000 | #Constraints: 68231
1471.43/1475.06 c #Conflicts: 625000 | #Constraints: 69231
1471.43/1475.06 c #Conflicts: 626000 | #Constraints: 70231
1471.43/1475.06 c #Conflicts: 627000 | #Constraints: 71231
1471.43/1475.06 c #Conflicts: 628000 | #Constraints: 72231
1471.43/1475.06 c #Conflicts: 629000 | #Constraints: 73231
1471.43/1475.06 c #Conflicts: 630000 | #Constraints: 74231
1471.43/1475.06 c #Conflicts: 631000 | #Constraints: 75231
1471.43/1475.06 c #Conflicts: 632000 | #Constraints: 76231
1471.43/1475.06 c #Conflicts: 633000 | #Constraints: 77231
1471.43/1475.06 c #Conflicts: 634000 | #Constraints: 78231
1471.43/1475.06 c #Conflicts: 635000 | #Constraints: 79231
1471.43/1475.06 c #Conflicts: 636000 | #Constraints: 80231
1471.43/1475.06 c #Conflicts: 637000 | #Constraints: 81231
1471.43/1475.06 c #Conflicts: 638000 | #Constraints: 82231
1471.43/1475.06 c #Conflicts: 639000 | #Constraints: 83231
1471.43/1475.06 c #Conflicts: 640000 | #Constraints: 84231
1471.43/1475.06 c #Conflicts: 641000 | #Constraints: 85231
1471.43/1475.06 c #Conflicts: 642000 | #Constraints: 86231
1471.43/1475.06 c #Conflicts: 643000 | #Constraints: 87231
1471.43/1475.06 c #Conflicts: 644000 | #Constraints: 88231
1471.43/1475.06 c #Conflicts: 645000 | #Constraints: 89231
1471.43/1475.06 c #Conflicts: 646000 | #Constraints: 90231
1471.43/1475.06 c #Conflicts: 647000 | #Constraints: 91231
1471.43/1475.06 c #Conflicts: 648000 | #Constraints: 92231
1471.43/1475.06 c #Conflicts: 649000 | #Constraints: 93231
1471.43/1475.06 c #Conflicts: 650000 | #Constraints: 94231
1471.43/1475.06 c #Conflicts: 651000 | #Constraints: 95231
1471.43/1475.06 c #Conflicts: 652000 | #Constraints: 96231
1471.43/1475.06 c #Conflicts: 653000 | #Constraints: 97231
1471.43/1475.06 c #Conflicts: 654000 | #Constraints: 98231
1471.43/1475.06 c #Conflicts: 655000 | #Constraints: 99231
1471.43/1475.06 c #Conflicts: 656000 | #Constraints: 100231
1471.43/1475.06 c #Conflicts: 657000 | #Constraints: 101231
1471.43/1475.06 c #Conflicts: 658000 | #Constraints: 102231
1471.43/1475.06 c #Conflicts: 659000 | #Constraints: 103231
1471.43/1475.06 c #Conflicts: 660000 | #Constraints: 104231
1471.43/1475.06 c #Conflicts: 661000 | #Constraints: 105231
1471.43/1475.06 c INPROCESSING
1471.43/1475.06 c GARBAGE COLLECT
1471.43/1475.06 c #Conflicts: 662000 | #Constraints: 63391
1471.43/1475.06 c #Conflicts: 663000 | #Constraints: 64391
1471.43/1475.06 c #Conflicts: 664000 | #Constraints: 65391
1471.43/1475.06 c #Conflicts: 665000 | #Constraints: 66391
1471.43/1475.06 c #Conflicts: 666000 | #Constraints: 67391
1471.43/1475.06 c #Conflicts: 667000 | #Constraints: 68391
1471.43/1475.06 c #Conflicts: 668000 | #Constraints: 69391
1471.43/1475.06 c #Conflicts: 669000 | #Constraints: 70391
1471.43/1475.06 c #Conflicts: 670000 | #Constraints: 71391
1471.43/1475.06 c #Conflicts: 671000 | #Constraints: 72391
1471.43/1475.06 c #Conflicts: 672000 | #Constraints: 73391
1471.43/1475.06 c #Conflicts: 673000 | #Constraints: 74391
1471.43/1475.06 c #Conflicts: 674000 | #Constraints: 75391
1471.43/1475.06 c #Conflicts: 675000 | #Constraints: 76391
1471.43/1475.06 c #Conflicts: 676000 | #Constraints: 77391
1471.43/1475.06 c #Conflicts: 677000 | #Constraints: 78391
1471.43/1475.06 c #Conflicts: 678000 | #Constraints: 79391
1471.43/1475.06 c #Conflicts: 679000 | #Constraints: 80391
1471.43/1475.06 c #Conflicts: 680000 | #Constraints: 81391
1471.43/1475.06 c #Conflicts: 681000 | #Constraints: 82391
1471.43/1475.06 c #Conflicts: 682000 | #Constraints: 83391
1471.43/1475.06 c #Conflicts: 683000 | #Constraints: 84391
1471.43/1475.06 c #Conflicts: 684000 | #Constraints: 85391
1471.43/1475.06 c INPROCESSING
1471.43/1475.06 c GARBAGE COLLECT
1471.43/1475.06 c #Conflicts: 685000 | #Constraints: 56277
1471.43/1475.06 c #Conflicts: 686000 | #Constraints: 57277
1471.43/1475.06 c #Conflicts: 687000 | #Constraints: 58277
1672.32/1676.40 c #Conflicts: 688000 | #Constraints: 59277
1672.32/1676.40 c #Conflicts: 689000 | #Constraints: 60278
1672.32/1676.40 c #Conflicts: 690000 | #Constraints: 61278
1672.32/1676.40 c #Conflicts: 691000 | #Constraints: 62278
1672.32/1676.40 c #Conflicts: 692000 | #Constraints: 63278
1672.32/1676.40 c #Conflicts: 693000 | #Constraints: 64278
1672.32/1676.40 c #Conflicts: 694000 | #Constraints: 65278
1672.32/1676.40 c #Conflicts: 695000 | #Constraints: 66278
1672.32/1676.40 c #Conflicts: 696000 | #Constraints: 67278
1672.32/1676.40 c #Conflicts: 697000 | #Constraints: 68278
1672.32/1676.40 c #Conflicts: 698000 | #Constraints: 69278
1672.32/1676.40 c #Conflicts: 699000 | #Constraints: 70278
1672.32/1676.40 c #Conflicts: 700000 | #Constraints: 71278
1672.32/1676.40 c #Conflicts: 701000 | #Constraints: 72278
1672.32/1676.40 c #Conflicts: 702000 | #Constraints: 73278
1672.32/1676.40 c #Conflicts: 703000 | #Constraints: 74278
1672.32/1676.40 c #Conflicts: 704000 | #Constraints: 75278
1672.32/1676.40 c #Conflicts: 705000 | #Constraints: 76278
1672.32/1676.40 c #Conflicts: 706000 | #Constraints: 77278
1672.32/1676.40 c #Conflicts: 707000 | #Constraints: 78278
1672.32/1676.40 c #Conflicts: 708000 | #Constraints: 79278
1672.32/1676.40 c #Conflicts: 709000 | #Constraints: 80278
1672.32/1676.40 c #Conflicts: 710000 | #Constraints: 81278
1672.32/1676.40 c #Conflicts: 711000 | #Constraints: 82278
1672.32/1676.40 c #Conflicts: 712000 | #Constraints: 83278
1672.32/1676.40 c #Conflicts: 713000 | #Constraints: 84278
1672.32/1676.40 c #Conflicts: 714000 | #Constraints: 85278
1672.32/1676.40 c #Conflicts: 715000 | #Constraints: 86278
1672.32/1676.40 c #Conflicts: 716000 | #Constraints: 87278
1672.32/1676.40 c #Conflicts: 717000 | #Constraints: 88278
1672.32/1676.40 c #Conflicts: 718000 | #Constraints: 89278
1672.32/1676.40 c #Conflicts: 719000 | #Constraints: 90278
1672.32/1676.40 c #Conflicts: 720000 | #Constraints: 91278
1672.32/1676.40 c #Conflicts: 721000 | #Constraints: 92278
1672.32/1676.40 c #Conflicts: 722000 | #Constraints: 93278
1672.32/1676.40 c #Conflicts: 723000 | #Constraints: 94278
1672.32/1676.40 c #Conflicts: 724000 | #Constraints: 95278
1672.32/1676.40 c #Conflicts: 725000 | #Constraints: 96278
1672.32/1676.40 c #Conflicts: 726000 | #Constraints: 97278
1672.32/1676.40 c #Conflicts: 727000 | #Constraints: 98278
1672.32/1676.40 c #Conflicts: 728000 | #Constraints: 99278
1672.32/1676.40 c #Conflicts: 729000 | #Constraints: 100278
1672.32/1676.40 c #Conflicts: 730000 | #Constraints: 101278
1672.32/1676.40 c #Conflicts: 731000 | #Constraints: 102278
1672.32/1676.40 c #Conflicts: 732000 | #Constraints: 103278
1672.32/1676.40 c #Conflicts: 733000 | #Constraints: 104278
1672.32/1676.40 c #Conflicts: 734000 | #Constraints: 105278
1672.32/1676.40 c #Conflicts: 735000 | #Constraints: 106278
1672.32/1676.40 c #Conflicts: 736000 | #Constraints: 107278
1672.32/1676.40 c #Conflicts: 737000 | #Constraints: 108278
1672.32/1676.40 c #Conflicts: 738000 | #Constraints: 109278
1672.32/1676.40 c #Conflicts: 739000 | #Constraints: 110278
1672.32/1676.40 c #Conflicts: 740000 | #Constraints: 111278
1672.32/1676.40 c INPROCESSING
1672.32/1676.40 c GARBAGE COLLECT
1672.32/1676.40 c #Conflicts: 741000 | #Constraints: 66728
1672.32/1676.40 c #Conflicts: 742000 | #Constraints: 67728
1672.32/1676.40 c #Conflicts: 743000 | #Constraints: 68728
1672.32/1676.40 c #Conflicts: 744000 | #Constraints: 69728
1672.32/1676.40 c #Conflicts: 745000 | #Constraints: 70728
1672.32/1676.40 c #Conflicts: 746000 | #Constraints: 71728
1672.32/1676.40 c #Conflicts: 747000 | #Constraints: 72728
1672.32/1676.40 c #Conflicts: 748000 | #Constraints: 73728
1672.32/1676.40 c #Conflicts: 749000 | #Constraints: 74728
1672.32/1676.40 c #Conflicts: 750000 | #Constraints: 75728
1672.32/1676.40 c #Conflicts: 751000 | #Constraints: 76728
1672.32/1676.40 c #Conflicts: 752000 | #Constraints: 77728
1672.32/1676.40 c #Conflicts: 753000 | #Constraints: 78728
1672.32/1676.40 c #Conflicts: 754000 | #Constraints: 79728
1672.32/1676.40 c #Conflicts: 755000 | #Constraints: 80728
1672.32/1676.40 c #Conflicts: 756000 | #Constraints: 81728
1672.32/1676.40 c #Conflicts: 757000 | #Constraints: 82728
1672.32/1676.40 c #Conflicts: 758000 | #Constraints: 83728
1672.32/1676.40 c #Conflicts: 759000 | #Constraints: 84728
1672.32/1676.40 c #Conflicts: 760000 | #Constraints: 85728
1672.32/1676.40 c #Conflicts: 761000 | #Constraints: 86728
1672.32/1676.40 c #Conflicts: 762000 | #Constraints: 87728
1672.32/1676.40 c #Conflicts: 763000 | #Constraints: 88728
1672.32/1676.40 c INPROCESSING
1672.32/1676.40 c GARBAGE COLLECT
1672.32/1676.40 c #Conflicts: 764000 | #Constraints: 57567
1849.32/1853.85 c #Conflicts: 765000 | #Constraints: 58567
1849.32/1853.85 c #Conflicts: 766000 | #Constraints: 59567
1849.32/1853.85 c #Conflicts: 767000 | #Constraints: 60567
1849.32/1853.85 c #Conflicts: 768000 | #Constraints: 61567
1849.32/1853.85 c #Conflicts: 769000 | #Constraints: 62567
1849.32/1853.85 c #Conflicts: 770000 | #Constraints: 63567
1849.32/1853.85 c #Conflicts: 771000 | #Constraints: 64567
1849.32/1853.85 c #Conflicts: 772000 | #Constraints: 65567
1849.32/1853.85 c #Conflicts: 773000 | #Constraints: 66567
1849.32/1853.85 c #Conflicts: 774000 | #Constraints: 67567
1849.32/1853.85 c #Conflicts: 775000 | #Constraints: 68567
1849.32/1853.85 c #Conflicts: 776000 | #Constraints: 69567
1849.32/1853.85 c #Conflicts: 777000 | #Constraints: 70567
1849.32/1853.85 c #Conflicts: 778000 | #Constraints: 71567
1849.32/1853.85 c #Conflicts: 779000 | #Constraints: 72567
1849.32/1853.85 c #Conflicts: 780000 | #Constraints: 73567
1849.32/1853.85 c #Conflicts: 781000 | #Constraints: 74567
1849.32/1853.85 c #Conflicts: 782000 | #Constraints: 75567
1849.32/1853.85 c #Conflicts: 783000 | #Constraints: 76567
1849.32/1853.85 c #Conflicts: 784000 | #Constraints: 77567
1849.32/1853.85 c #Conflicts: 785000 | #Constraints: 78567
1849.32/1853.85 c #Conflicts: 786000 | #Constraints: 79567
1849.32/1853.85 c #Conflicts: 787000 | #Constraints: 80567
1849.32/1853.85 c #Conflicts: 788000 | #Constraints: 81567
1849.32/1853.85 c #Conflicts: 789000 | #Constraints: 82567
1849.32/1853.85 c #Conflicts: 790000 | #Constraints: 83567
1849.32/1853.85 c #Conflicts: 791000 | #Constraints: 84567
1849.32/1853.85 c #Conflicts: 792000 | #Constraints: 85567
1849.32/1853.85 c #Conflicts: 793000 | #Constraints: 86567
1849.32/1853.85 c #Conflicts: 794000 | #Constraints: 87567
1849.32/1853.85 c #Conflicts: 795000 | #Constraints: 88567
1849.32/1853.85 c #Conflicts: 796000 | #Constraints: 89567
1849.32/1853.85 c #Conflicts: 797000 | #Constraints: 90567
1849.32/1853.85 c #Conflicts: 798000 | #Constraints: 91567
1849.32/1853.85 c #Conflicts: 799000 | #Constraints: 92567
1849.32/1853.85 c #Conflicts: 800000 | #Constraints: 93567
1849.32/1853.85 c #Conflicts: 801000 | #Constraints: 94567
1849.32/1853.85 c #Conflicts: 802000 | #Constraints: 95567
1849.32/1853.85 c #Conflicts: 803000 | #Constraints: 96567
1849.32/1853.85 c #Conflicts: 804000 | #Constraints: 97567
1849.32/1853.85 c #Conflicts: 805000 | #Constraints: 98567
1849.32/1853.85 c #Conflicts: 806000 | #Constraints: 99567
1849.32/1853.85 c #Conflicts: 807000 | #Constraints: 100567
1849.32/1853.85 c #Conflicts: 808000 | #Constraints: 101567
1849.32/1853.85 c #Conflicts: 809000 | #Constraints: 102567
1849.32/1853.85 c #Conflicts: 810000 | #Constraints: 103567
1849.32/1853.85 c #Conflicts: 811000 | #Constraints: 104567
1849.32/1853.85 c #Conflicts: 812000 | #Constraints: 105567
1849.32/1853.85 c #Conflicts: 813000 | #Constraints: 106567
1849.32/1853.85 c #Conflicts: 814000 | #Constraints: 107567
1849.32/1853.85 c #Conflicts: 815000 | #Constraints: 108567
1849.32/1853.85 c #Conflicts: 816000 | #Constraints: 109567
1849.32/1853.85 c #Conflicts: 817000 | #Constraints: 110567
1849.32/1853.85 c #Conflicts: 818000 | #Constraints: 111567
1849.32/1853.85 c #Conflicts: 819000 | #Constraints: 112567
1849.32/1853.85 c #Conflicts: 820000 | #Constraints: 113567
1849.32/1853.85 c #Conflicts: 821000 | #Constraints: 114567
1849.32/1853.85 c #Conflicts: 822000 | #Constraints: 115567
1849.32/1853.85 c INPROCESSING
1849.32/1853.85 c GARBAGE COLLECT
1849.32/1853.85 c #Conflicts: 823000 | #Constraints: 68578
1849.32/1853.85 c #Conflicts: 824000 | #Constraints: 69578
1849.32/1853.85 c #Conflicts: 825000 | #Constraints: 70578
1849.32/1853.85 c #Conflicts: 826000 | #Constraints: 71578
1849.32/1853.85 c #Conflicts: 827000 | #Constraints: 72578
1849.32/1853.85 c #Conflicts: 828000 | #Constraints: 73578
1849.32/1853.85 c #Conflicts: 829000 | #Constraints: 74578
1849.32/1853.85 c #Conflicts: 830000 | #Constraints: 75578
1849.32/1853.85 c #Conflicts: 831000 | #Constraints: 76578
1849.32/1853.85 c #Conflicts: 832000 | #Constraints: 77578
1849.32/1853.85 c #Conflicts: 833000 | #Constraints: 78578
1849.32/1853.85 c #Conflicts: 834000 | #Constraints: 79579
1849.32/1853.85 c #Conflicts: 835000 | #Constraints: 80579
1849.32/1853.85 c #Conflicts: 836000 | #Constraints: 81579
1849.32/1853.85 c #Conflicts: 837000 | #Constraints: 82579
1849.32/1853.85 c #Conflicts: 838000 | #Constraints: 83579
1849.32/1853.85 c #Conflicts: 839000 | #Constraints: 84579
1849.32/1853.85 c #Conflicts: 840000 | #Constraints: 85579
1849.32/1853.85 c #Conflicts: 841000 | #Constraints: 86579
1849.32/1853.85 c #Conflicts: 842000 | #Constraints: 87579
2043.67/2048.68 c #Conflicts: 843000 | #Constraints: 88579
2043.67/2048.68 c #Conflicts: 844000 | #Constraints: 89579
2043.67/2048.68 c #Conflicts: 845000 | #Constraints: 90579
2043.67/2048.68 c #Conflicts: 846000 | #Constraints: 91579
2043.67/2048.68 c #Conflicts: 847000 | #Constraints: 92579
2043.67/2048.68 c #Conflicts: 848000 | #Constraints: 93579
2043.67/2048.68 c INPROCESSING
2043.67/2048.68 c GARBAGE COLLECT
2043.67/2048.68 c #Conflicts: 849000 | #Constraints: 60834
2043.67/2048.68 c #Conflicts: 850000 | #Constraints: 61834
2043.67/2048.68 c #Conflicts: 851000 | #Constraints: 62834
2043.67/2048.68 c #Conflicts: 852000 | #Constraints: 63834
2043.67/2048.68 c #Conflicts: 853000 | #Constraints: 64834
2043.67/2048.68 c #Conflicts: 854000 | #Constraints: 65834
2043.67/2048.68 c #Conflicts: 855000 | #Constraints: 66834
2043.67/2048.68 c #Conflicts: 856000 | #Constraints: 67834
2043.67/2048.68 c #Conflicts: 857000 | #Constraints: 68834
2043.67/2048.68 c #Conflicts: 858000 | #Constraints: 69834
2043.67/2048.68 c #Conflicts: 859000 | #Constraints: 70834
2043.67/2048.68 c #Conflicts: 860000 | #Constraints: 71834
2043.67/2048.68 c #Conflicts: 861000 | #Constraints: 72834
2043.67/2048.68 c #Conflicts: 862000 | #Constraints: 73834
2043.67/2048.68 c #Conflicts: 863000 | #Constraints: 74834
2043.67/2048.68 c #Conflicts: 864000 | #Constraints: 75834
2043.67/2048.68 c #Conflicts: 865000 | #Constraints: 76834
2043.67/2048.68 c #Conflicts: 866000 | #Constraints: 77834
2043.67/2048.68 c #Conflicts: 867000 | #Constraints: 78834
2043.67/2048.68 c #Conflicts: 868000 | #Constraints: 79834
2043.67/2048.68 c #Conflicts: 869000 | #Constraints: 80834
2043.67/2048.68 c #Conflicts: 870000 | #Constraints: 81834
2043.67/2048.68 c #Conflicts: 871000 | #Constraints: 82834
2043.67/2048.68 c #Conflicts: 872000 | #Constraints: 83834
2043.67/2048.68 c #Conflicts: 873000 | #Constraints: 84834
2043.67/2048.68 c #Conflicts: 874000 | #Constraints: 85834
2043.67/2048.68 c #Conflicts: 875000 | #Constraints: 86834
2043.67/2048.68 c #Conflicts: 876000 | #Constraints: 87834
2043.67/2048.68 c #Conflicts: 877000 | #Constraints: 88834
2043.67/2048.68 c #Conflicts: 878000 | #Constraints: 89834
2043.67/2048.68 c #Conflicts: 879000 | #Constraints: 90834
2043.67/2048.68 c #Conflicts: 880000 | #Constraints: 91834
2043.67/2048.68 c #Conflicts: 881000 | #Constraints: 92834
2043.67/2048.68 c #Conflicts: 882000 | #Constraints: 93834
2043.67/2048.68 c #Conflicts: 883000 | #Constraints: 94834
2043.67/2048.68 c #Conflicts: 884000 | #Constraints: 95834
2043.67/2048.68 c #Conflicts: 885000 | #Constraints: 96834
2043.67/2048.68 c #Conflicts: 886000 | #Constraints: 97834
2043.67/2048.68 c #Conflicts: 887000 | #Constraints: 98834
2043.67/2048.68 c #Conflicts: 888000 | #Constraints: 99834
2043.67/2048.68 c #Conflicts: 889000 | #Constraints: 100834
2043.67/2048.68 c #Conflicts: 890000 | #Constraints: 101834
2043.67/2048.68 c #Conflicts: 891000 | #Constraints: 102834
2043.67/2048.68 c #Conflicts: 892000 | #Constraints: 103834
2043.67/2048.68 c #Conflicts: 893000 | #Constraints: 104834
2043.67/2048.68 c #Conflicts: 894000 | #Constraints: 105834
2043.67/2048.68 c #Conflicts: 895000 | #Constraints: 106834
2043.67/2048.68 c #Conflicts: 896000 | #Constraints: 107834
2043.67/2048.68 c #Conflicts: 897000 | #Constraints: 108834
2043.67/2048.68 c #Conflicts: 898000 | #Constraints: 109834
2043.67/2048.68 c #Conflicts: 899000 | #Constraints: 110834
2043.67/2048.68 c #Conflicts: 900000 | #Constraints: 111834
2043.67/2048.68 c #Conflicts: 901000 | #Constraints: 112834
2043.67/2048.68 c #Conflicts: 902000 | #Constraints: 113834
2043.67/2048.68 c #Conflicts: 903000 | #Constraints: 114834
2043.67/2048.68 c #Conflicts: 904000 | #Constraints: 115834
2043.67/2048.68 c #Conflicts: 905000 | #Constraints: 116834
2043.67/2048.68 c #Conflicts: 906000 | #Constraints: 117834
2043.67/2048.68 c #Conflicts: 907000 | #Constraints: 118834
2043.67/2048.68 c #Conflicts: 908000 | #Constraints: 119834
2043.67/2048.68 c #Conflicts: 909000 | #Constraints: 120834
2043.67/2048.68 c #Conflicts: 910000 | #Constraints: 121834
2043.67/2048.68 c INPROCESSING
2043.67/2048.68 c GARBAGE COLLECT
2043.67/2048.68 c #Conflicts: 911000 | #Constraints: 72047
2043.67/2048.68 c #Conflicts: 912000 | #Constraints: 73047
2043.67/2048.68 c #Conflicts: 913000 | #Constraints: 74047
2043.67/2048.68 c #Conflicts: 914000 | #Constraints: 75047
2043.67/2048.68 c #Conflicts: 915000 | #Constraints: 76047
2043.67/2048.68 c #Conflicts: 916000 | #Constraints: 77047
2043.67/2048.68 c #Conflicts: 917000 | #Constraints: 78047
2043.67/2048.68 c #Conflicts: 918000 | #Constraints: 79047
2043.67/2048.68 c #Conflicts: 919000 | #Constraints: 80047
2043.67/2048.68 c #Conflicts: 920000 | #Constraints: 81047
2244.71/2250.10 c #Conflicts: 921000 | #Constraints: 82047
2244.71/2250.10 c #Conflicts: 922000 | #Constraints: 83047
2244.71/2250.10 c #Conflicts: 923000 | #Constraints: 84047
2244.71/2250.10 c #Conflicts: 924000 | #Constraints: 85047
2244.71/2250.10 c #Conflicts: 925000 | #Constraints: 86047
2244.71/2250.10 c #Conflicts: 926000 | #Constraints: 87047
2244.71/2250.10 c #Conflicts: 927000 | #Constraints: 88047
2244.71/2250.10 c #Conflicts: 928000 | #Constraints: 89047
2244.71/2250.10 c #Conflicts: 929000 | #Constraints: 90047
2244.71/2250.10 c #Conflicts: 930000 | #Constraints: 91047
2244.71/2250.10 c #Conflicts: 931000 | #Constraints: 92047
2244.71/2250.10 c #Conflicts: 932000 | #Constraints: 93047
2244.71/2250.10 c #Conflicts: 933000 | #Constraints: 94047
2244.71/2250.10 c #Conflicts: 934000 | #Constraints: 95047
2244.71/2250.10 c #Conflicts: 935000 | #Constraints: 96047
2244.71/2250.10 c #Conflicts: 936000 | #Constraints: 97047
2244.71/2250.10 c INPROCESSING
2244.71/2250.10 c GARBAGE COLLECT
2244.71/2250.10 c #Conflicts: 937000 | #Constraints: 62721
2244.71/2250.10 c #Conflicts: 938000 | #Constraints: 63721
2244.71/2250.10 c #Conflicts: 939000 | #Constraints: 64721
2244.71/2250.10 c #Conflicts: 940000 | #Constraints: 65721
2244.71/2250.10 c #Conflicts: 941000 | #Constraints: 66721
2244.71/2250.10 c #Conflicts: 942000 | #Constraints: 67721
2244.71/2250.10 c #Conflicts: 943000 | #Constraints: 68721
2244.71/2250.10 c #Conflicts: 944000 | #Constraints: 69721
2244.71/2250.10 c #Conflicts: 945000 | #Constraints: 70721
2244.71/2250.10 c #Conflicts: 946000 | #Constraints: 71721
2244.71/2250.10 c #Conflicts: 947000 | #Constraints: 72721
2244.71/2250.10 c #Conflicts: 948000 | #Constraints: 73721
2244.71/2250.10 c #Conflicts: 949000 | #Constraints: 74721
2244.71/2250.10 c #Conflicts: 950000 | #Constraints: 75721
2244.71/2250.10 c #Conflicts: 951000 | #Constraints: 76721
2244.71/2250.10 c #Conflicts: 952000 | #Constraints: 77721
2244.71/2250.10 c #Conflicts: 953000 | #Constraints: 78721
2244.71/2250.10 c #Conflicts: 954000 | #Constraints: 79721
2244.71/2250.10 c #Conflicts: 955000 | #Constraints: 80721
2244.71/2250.10 c #Conflicts: 956000 | #Constraints: 81721
2244.71/2250.10 c #Conflicts: 957000 | #Constraints: 82721
2244.71/2250.10 c #Conflicts: 958000 | #Constraints: 83721
2244.71/2250.10 c #Conflicts: 959000 | #Constraints: 84721
2244.71/2250.10 c #Conflicts: 960000 | #Constraints: 85721
2244.71/2250.10 c #Conflicts: 961000 | #Constraints: 86721
2244.71/2250.10 c #Conflicts: 962000 | #Constraints: 87721
2244.71/2250.10 c #Conflicts: 963000 | #Constraints: 88721
2244.71/2250.10 c #Conflicts: 964000 | #Constraints: 89721
2244.71/2250.10 c #Conflicts: 965000 | #Constraints: 90721
2244.71/2250.10 c #Conflicts: 966000 | #Constraints: 91721
2244.71/2250.10 c #Conflicts: 967000 | #Constraints: 92721
2244.71/2250.10 c #Conflicts: 968000 | #Constraints: 93721
2244.71/2250.10 c #Conflicts: 969000 | #Constraints: 94721
2244.71/2250.10 c #Conflicts: 970000 | #Constraints: 95721
2244.71/2250.10 c #Conflicts: 971000 | #Constraints: 96721
2244.71/2250.10 c #Conflicts: 972000 | #Constraints: 97721
2244.71/2250.10 c #Conflicts: 973000 | #Constraints: 98721
2244.71/2250.10 c #Conflicts: 974000 | #Constraints: 99721
2244.71/2250.10 c #Conflicts: 975000 | #Constraints: 100721
2244.71/2250.10 c #Conflicts: 976000 | #Constraints: 101721
2244.71/2250.10 c #Conflicts: 977000 | #Constraints: 102721
2244.71/2250.10 c #Conflicts: 978000 | #Constraints: 103721
2244.71/2250.10 c #Conflicts: 979000 | #Constraints: 104721
2244.71/2250.10 c #Conflicts: 980000 | #Constraints: 105721
2244.71/2250.10 c #Conflicts: 981000 | #Constraints: 106721
2244.71/2250.10 c #Conflicts: 982000 | #Constraints: 107721
2244.71/2250.10 c #Conflicts: 983000 | #Constraints: 108721
2244.71/2250.10 c #Conflicts: 984000 | #Constraints: 109721
2244.71/2250.10 c #Conflicts: 985000 | #Constraints: 110721
2244.71/2250.10 c #Conflicts: 986000 | #Constraints: 111721
2244.71/2250.10 c #Conflicts: 987000 | #Constraints: 112721
2244.71/2250.10 c #Conflicts: 988000 | #Constraints: 113721
2244.71/2250.10 c #Conflicts: 989000 | #Constraints: 114721
2244.71/2250.10 c #Conflicts: 990000 | #Constraints: 115721
2244.71/2250.10 c #Conflicts: 991000 | #Constraints: 116721
2244.71/2250.10 c #Conflicts: 992000 | #Constraints: 117721
2244.71/2250.10 c #Conflicts: 993000 | #Constraints: 118721
2244.71/2250.10 c #Conflicts: 994000 | #Constraints: 119721
2244.71/2250.10 c #Conflicts: 995000 | #Constraints: 120721
2244.71/2250.10 c #Conflicts: 996000 | #Constraints: 121721
2244.71/2250.10 c #Conflicts: 997000 | #Constraints: 122721
2244.71/2250.10 c #Conflicts: 998000 | #Constraints: 123721
2472.88/2478.84 c #Conflicts: 999000 | #Constraints: 124721
2472.88/2478.84 c #Conflicts: 1000000 | #Constraints: 125721
2472.88/2478.84 c #Conflicts: 1001000 | #Constraints: 126721
2472.88/2478.84 c INPROCESSING
2472.88/2478.84 c GARBAGE COLLECT
2472.88/2478.84 c #Conflicts: 1002000 | #Constraints: 74198
2472.88/2478.84 c #Conflicts: 1003000 | #Constraints: 75198
2472.88/2478.84 c #Conflicts: 1004000 | #Constraints: 76198
2472.88/2478.84 c #Conflicts: 1005000 | #Constraints: 77198
2472.88/2478.84 c #Conflicts: 1006000 | #Constraints: 78198
2472.88/2478.84 c #Conflicts: 1007000 | #Constraints: 79198
2472.88/2478.84 c #Conflicts: 1008000 | #Constraints: 80198
2472.88/2478.84 c #Conflicts: 1009000 | #Constraints: 81198
2472.88/2478.84 c #Conflicts: 1010000 | #Constraints: 82198
2472.88/2478.84 c #Conflicts: 1011000 | #Constraints: 83198
2472.88/2478.84 c #Conflicts: 1012000 | #Constraints: 84198
2472.88/2478.84 c #Conflicts: 1013000 | #Constraints: 85198
2472.88/2478.84 c #Conflicts: 1014000 | #Constraints: 86198
2472.88/2478.84 c #Conflicts: 1015000 | #Constraints: 87198
2472.88/2478.84 c #Conflicts: 1016000 | #Constraints: 88198
2472.88/2478.84 c #Conflicts: 1017000 | #Constraints: 89198
2472.88/2478.84 c #Conflicts: 1018000 | #Constraints: 90198
2472.88/2478.84 c #Conflicts: 1019000 | #Constraints: 91198
2472.88/2478.84 c #Conflicts: 1020000 | #Constraints: 92198
2472.88/2478.84 c #Conflicts: 1021000 | #Constraints: 93198
2472.88/2478.84 c #Conflicts: 1022000 | #Constraints: 94198
2472.88/2478.84 c #Conflicts: 1023000 | #Constraints: 95198
2472.88/2478.84 c #Conflicts: 1024000 | #Constraints: 96198
2472.88/2478.84 c #Conflicts: 1025000 | #Constraints: 97198
2472.88/2478.84 c #Conflicts: 1026000 | #Constraints: 98198
2472.88/2478.84 c #Conflicts: 1027000 | #Constraints: 99198
2472.88/2478.84 c #Conflicts: 1028000 | #Constraints: 100198
2472.88/2478.84 c #Conflicts: 1029000 | #Constraints: 101198
2472.88/2478.84 c INPROCESSING
2472.88/2478.84 c GARBAGE COLLECT
2472.88/2478.84 c #Conflicts: 1030000 | #Constraints: 64643
2472.88/2478.84 c #Conflicts: 1031000 | #Constraints: 65643
2472.88/2478.84 c #Conflicts: 1032000 | #Constraints: 66643
2472.88/2478.84 c #Conflicts: 1033000 | #Constraints: 67643
2472.88/2478.84 c #Conflicts: 1034000 | #Constraints: 68643
2472.88/2478.84 c #Conflicts: 1035000 | #Constraints: 69643
2472.88/2478.84 c #Conflicts: 1036000 | #Constraints: 70643
2472.88/2478.84 c #Conflicts: 1037000 | #Constraints: 71643
2472.88/2478.84 c #Conflicts: 1038000 | #Constraints: 72643
2472.88/2478.84 c #Conflicts: 1039000 | #Constraints: 73643
2472.88/2478.84 c #Conflicts: 1040000 | #Constraints: 74643
2472.88/2478.84 c #Conflicts: 1041000 | #Constraints: 75643
2472.88/2478.84 c #Conflicts: 1042000 | #Constraints: 76643
2472.88/2478.84 c #Conflicts: 1043000 | #Constraints: 77643
2472.88/2478.84 c #Conflicts: 1044000 | #Constraints: 78643
2472.88/2478.84 c #Conflicts: 1045000 | #Constraints: 79643
2472.88/2478.84 c #Conflicts: 1046000 | #Constraints: 80643
2472.88/2478.84 c #Conflicts: 1047000 | #Constraints: 81644
2472.88/2478.84 c #Conflicts: 1048000 | #Constraints: 82644
2472.88/2478.84 c #Conflicts: 1049000 | #Constraints: 83644
2472.88/2478.84 c #Conflicts: 1050000 | #Constraints: 84644
2472.88/2478.84 c #Conflicts: 1051000 | #Constraints: 85644
2472.88/2478.84 c #Conflicts: 1052000 | #Constraints: 86644
2472.88/2478.84 c #Conflicts: 1053000 | #Constraints: 87644
2472.88/2478.84 c #Conflicts: 1054000 | #Constraints: 88644
2472.88/2478.84 c #Conflicts: 1055000 | #Constraints: 89644
2472.88/2478.84 c #Conflicts: 1056000 | #Constraints: 90644
2472.88/2478.84 c #Conflicts: 1057000 | #Constraints: 91644
2472.88/2478.84 c #Conflicts: 1058000 | #Constraints: 92644
2472.88/2478.84 c #Conflicts: 1059000 | #Constraints: 93644
2472.88/2478.84 c #Conflicts: 1060000 | #Constraints: 94644
2472.88/2478.84 c #Conflicts: 1061000 | #Constraints: 95644
2472.88/2478.84 c #Conflicts: 1062000 | #Constraints: 96644
2472.88/2478.84 c #Conflicts: 1063000 | #Constraints: 97644
2472.88/2478.84 c #Conflicts: 1064000 | #Constraints: 98644
2472.88/2478.84 c #Conflicts: 1065000 | #Constraints: 99644
2472.88/2478.84 c #Conflicts: 1066000 | #Constraints: 100644
2472.88/2478.84 c #Conflicts: 1067000 | #Constraints: 101644
2472.88/2478.84 c #Conflicts: 1068000 | #Constraints: 102644
2472.88/2478.84 c #Conflicts: 1069000 | #Constraints: 103644
2472.88/2478.84 c #Conflicts: 1070000 | #Constraints: 104644
2472.88/2478.84 c #Conflicts: 1071000 | #Constraints: 105644
2472.88/2478.84 c #Conflicts: 1072000 | #Constraints: 106644
2472.88/2478.84 c #Conflicts: 1073000 | #Constraints: 107644
2472.88/2478.84 c #Conflicts: 1074000 | #Constraints: 108644
2472.88/2478.84 c #Conflicts: 1075000 | #Constraints: 109644
2731.19/2737.71 c #Conflicts: 1076000 | #Constraints: 110644
2731.19/2737.71 c #Conflicts: 1077000 | #Constraints: 111644
2731.19/2737.71 c #Conflicts: 1078000 | #Constraints: 112644
2731.19/2737.71 c #Conflicts: 1079000 | #Constraints: 113644
2731.19/2737.71 c #Conflicts: 1080000 | #Constraints: 114644
2731.19/2737.71 c #Conflicts: 1081000 | #Constraints: 115644
2731.19/2737.71 c #Conflicts: 1082000 | #Constraints: 116644
2731.19/2737.71 c #Conflicts: 1083000 | #Constraints: 117644
2731.19/2737.71 c #Conflicts: 1084000 | #Constraints: 118644
2731.19/2737.71 c #Conflicts: 1085000 | #Constraints: 119644
2731.19/2737.71 c #Conflicts: 1086000 | #Constraints: 120644
2731.19/2737.71 c #Conflicts: 1087000 | #Constraints: 121644
2731.19/2737.71 c #Conflicts: 1088000 | #Constraints: 122644
2731.19/2737.71 c #Conflicts: 1089000 | #Constraints: 123644
2731.19/2737.71 c #Conflicts: 1090000 | #Constraints: 124644
2731.19/2737.71 c #Conflicts: 1091000 | #Constraints: 125644
2731.19/2737.71 c #Conflicts: 1092000 | #Constraints: 126644
2731.19/2737.71 c #Conflicts: 1093000 | #Constraints: 127644
2731.19/2737.71 c #Conflicts: 1094000 | #Constraints: 128644
2731.19/2737.71 c #Conflicts: 1095000 | #Constraints: 129644
2731.19/2737.71 c #Conflicts: 1096000 | #Constraints: 130644
2731.19/2737.71 c #Conflicts: 1097000 | #Constraints: 131644
2731.19/2737.71 c #Conflicts: 1098000 | #Constraints: 132644
2731.19/2737.71 c INPROCESSING
2731.19/2737.71 c GARBAGE COLLECT
2731.19/2737.71 c #Conflicts: 1099000 | #Constraints: 77587
2731.19/2737.71 c #Conflicts: 1100000 | #Constraints: 78587
2731.19/2737.71 c #Conflicts: 1101000 | #Constraints: 79587
2731.19/2737.71 c #Conflicts: 1102000 | #Constraints: 80587
2731.19/2737.71 c #Conflicts: 1103000 | #Constraints: 81587
2731.19/2737.71 c #Conflicts: 1104000 | #Constraints: 82587
2731.19/2737.71 c #Conflicts: 1105000 | #Constraints: 83587
2731.19/2737.71 c #Conflicts: 1106000 | #Constraints: 84587
2731.19/2737.71 c #Conflicts: 1107000 | #Constraints: 85587
2731.19/2737.71 c #Conflicts: 1108000 | #Constraints: 86587
2731.19/2737.71 c #Conflicts: 1109000 | #Constraints: 87587
2731.19/2737.71 c #Conflicts: 1110000 | #Constraints: 88587
2731.19/2737.71 c #Conflicts: 1111000 | #Constraints: 89587
2731.19/2737.71 c #Conflicts: 1112000 | #Constraints: 90587
2731.19/2737.71 c #Conflicts: 1113000 | #Constraints: 91587
2731.19/2737.71 c #Conflicts: 1114000 | #Constraints: 92587
2731.19/2737.71 c #Conflicts: 1115000 | #Constraints: 93587
2731.19/2737.71 c #Conflicts: 1116000 | #Constraints: 94587
2731.19/2737.71 c #Conflicts: 1117000 | #Constraints: 95587
2731.19/2737.71 c #Conflicts: 1118000 | #Constraints: 96587
2731.19/2737.71 c #Conflicts: 1119000 | #Constraints: 97587
2731.19/2737.71 c #Conflicts: 1120000 | #Constraints: 98587
2731.19/2737.71 c #Conflicts: 1121000 | #Constraints: 99587
2731.19/2737.71 c #Conflicts: 1122000 | #Constraints: 100587
2731.19/2737.71 c #Conflicts: 1123000 | #Constraints: 101587
2731.19/2737.71 c #Conflicts: 1124000 | #Constraints: 102587
2731.19/2737.71 c #Conflicts: 1125000 | #Constraints: 103587
2731.19/2737.71 c #Conflicts: 1126000 | #Constraints: 104587
2731.19/2737.71 c #Conflicts: 1127000 | #Constraints: 105587
2731.19/2737.71 c INPROCESSING
2731.19/2737.71 c GARBAGE COLLECT
2731.19/2737.71 c #Conflicts: 1128000 | #Constraints: 66853
2731.19/2737.71 c #Conflicts: 1129000 | #Constraints: 67853
2731.19/2737.71 c #Conflicts: 1130000 | #Constraints: 68853
2731.19/2737.71 c #Conflicts: 1131000 | #Constraints: 69853
2731.19/2737.71 c #Conflicts: 1132000 | #Constraints: 70853
2731.19/2737.71 c #Conflicts: 1133000 | #Constraints: 71853
2731.19/2737.71 c #Conflicts: 1134000 | #Constraints: 72853
2731.19/2737.71 c #Conflicts: 1135000 | #Constraints: 73853
2731.19/2737.71 c #Conflicts: 1136000 | #Constraints: 74853
2731.19/2737.71 c #Conflicts: 1137000 | #Constraints: 75853
2731.19/2737.71 c #Conflicts: 1138000 | #Constraints: 76853
2731.19/2737.71 c #Conflicts: 1139000 | #Constraints: 77853
2731.19/2737.71 c #Conflicts: 1140000 | #Constraints: 78853
2731.19/2737.71 c #Conflicts: 1141000 | #Constraints: 79853
2731.19/2737.71 c #Conflicts: 1142000 | #Constraints: 80853
2731.19/2737.71 c #Conflicts: 1143000 | #Constraints: 81853
2731.19/2737.71 c #Conflicts: 1144000 | #Constraints: 82853
2731.19/2737.71 c #Conflicts: 1145000 | #Constraints: 83853
2731.19/2737.71 c #Conflicts: 1146000 | #Constraints: 84853
2731.19/2737.71 c #Conflicts: 1147000 | #Constraints: 85853
2731.19/2737.71 c #Conflicts: 1148000 | #Constraints: 86853
2731.19/2737.71 c #Conflicts: 1149000 | #Constraints: 87853
2731.19/2737.71 c #Conflicts: 1150000 | #Constraints: 88853
2731.19/2737.71 c #Conflicts: 1151000 | #Constraints: 89853
2731.19/2737.71 c #Conflicts: 1152000 | #Constraints: 90853
2731.19/2737.71 c #Conflicts: 1153000 | #Constraints: 91853
3073.19/3080.53 c #Conflicts: 1154000 | #Constraints: 92853
3073.19/3080.53 c #Conflicts: 1155000 | #Constraints: 93853
3073.19/3080.53 c #Conflicts: 1156000 | #Constraints: 94853
3073.19/3080.53 c #Conflicts: 1157000 | #Constraints: 95853
3073.19/3080.53 c #Conflicts: 1158000 | #Constraints: 96853
3073.19/3080.53 c #Conflicts: 1159000 | #Constraints: 97853
3073.19/3080.53 c #Conflicts: 1160000 | #Constraints: 98853
3073.19/3080.53 c #Conflicts: 1161000 | #Constraints: 99853
3073.19/3080.53 c #Conflicts: 1162000 | #Constraints: 100853
3073.19/3080.53 c #Conflicts: 1163000 | #Constraints: 101853
3073.19/3080.53 c #Conflicts: 1164000 | #Constraints: 102853
3073.19/3080.53 c #Conflicts: 1165000 | #Constraints: 103853
3073.19/3080.53 c #Conflicts: 1166000 | #Constraints: 104853
3073.19/3080.53 c #Conflicts: 1167000 | #Constraints: 105853
3073.19/3080.53 c #Conflicts: 1168000 | #Constraints: 106853
3073.19/3080.53 c #Conflicts: 1169000 | #Constraints: 107853
3073.19/3080.53 c #Conflicts: 1170000 | #Constraints: 108853
3073.19/3080.53 c #Conflicts: 1171000 | #Constraints: 109853
3073.19/3080.53 c #Conflicts: 1172000 | #Constraints: 110853
3073.19/3080.53 c #Conflicts: 1173000 | #Constraints: 111853
3073.19/3080.53 c #Conflicts: 1174000 | #Constraints: 112853
3073.19/3080.53 c #Conflicts: 1175000 | #Constraints: 113853
3073.19/3080.53 c #Conflicts: 1176000 | #Constraints: 114853
3073.19/3080.53 c #Conflicts: 1177000 | #Constraints: 115853
3073.19/3080.53 c #Conflicts: 1178000 | #Constraints: 116853
3073.19/3080.53 c #Conflicts: 1179000 | #Constraints: 117853
3073.19/3080.53 c #Conflicts: 1180000 | #Constraints: 118853
3073.19/3080.53 c #Conflicts: 1181000 | #Constraints: 119853
3073.19/3080.53 c #Conflicts: 1182000 | #Constraints: 120853
3073.19/3080.53 c #Conflicts: 1183000 | #Constraints: 121853
3073.19/3080.53 c #Conflicts: 1184000 | #Constraints: 122853
3073.19/3080.53 c #Conflicts: 1185000 | #Constraints: 123853
3073.19/3080.53 c #Conflicts: 1186000 | #Constraints: 124853
3073.19/3080.53 c #Conflicts: 1187000 | #Constraints: 125853
3073.19/3080.53 c #Conflicts: 1188000 | #Constraints: 126853
3073.19/3080.53 c #Conflicts: 1189000 | #Constraints: 127853
3073.19/3080.53 c #Conflicts: 1190000 | #Constraints: 128853
3073.19/3080.53 c #Conflicts: 1191000 | #Constraints: 129853
3073.19/3080.53 c #Conflicts: 1192000 | #Constraints: 130853
3073.19/3080.53 c #Conflicts: 1193000 | #Constraints: 131853
3073.19/3080.53 c #Conflicts: 1194000 | #Constraints: 132853
3073.19/3080.53 c #Conflicts: 1195000 | #Constraints: 133853
3073.19/3080.53 c #Conflicts: 1196000 | #Constraints: 134853
3073.19/3080.53 c #Conflicts: 1197000 | #Constraints: 135853
3073.19/3080.53 c #Conflicts: 1198000 | #Constraints: 136853
3073.19/3080.53 c INPROCESSING
3073.19/3080.53 c GARBAGE COLLECT
3073.19/3080.53 c rational objective 150.1
3284.89/3292.72 c #Conflicts: 1199000 | #Constraints: 79549
3284.89/3292.72 c #Conflicts: 1200000 | #Constraints: 80549
3284.89/3292.72 c #Conflicts: 1201000 | #Constraints: 81549
3284.89/3292.72 c #Conflicts: 1202000 | #Constraints: 82549
3284.89/3292.72 c #Conflicts: 1203000 | #Constraints: 83549
3284.89/3292.72 c #Conflicts: 1204000 | #Constraints: 84549
3284.89/3292.72 c #Conflicts: 1205000 | #Constraints: 85549
3284.89/3292.72 c #Conflicts: 1206000 | #Constraints: 86549
3284.89/3292.72 c #Conflicts: 1207000 | #Constraints: 87549
3284.89/3292.72 c #Conflicts: 1208000 | #Constraints: 88550
3284.89/3292.72 c #Conflicts: 1209000 | #Constraints: 89550
3284.89/3292.72 c #Conflicts: 1210000 | #Constraints: 90550
3284.89/3292.72 c #Conflicts: 1211000 | #Constraints: 91550
3284.89/3292.72 c #Conflicts: 1212000 | #Constraints: 92550
3284.89/3292.72 c #Conflicts: 1213000 | #Constraints: 93550
3284.89/3292.72 c #Conflicts: 1214000 | #Constraints: 94550
3284.89/3292.72 c #Conflicts: 1215000 | #Constraints: 95550
3284.89/3292.72 c #Conflicts: 1216000 | #Constraints: 96550
3284.89/3292.72 c #Conflicts: 1217000 | #Constraints: 97550
3284.89/3292.72 c #Conflicts: 1218000 | #Constraints: 98550
3284.89/3292.72 c #Conflicts: 1219000 | #Constraints: 99550
3284.89/3292.72 c #Conflicts: 1220000 | #Constraints: 100550
3284.89/3292.72 c #Conflicts: 1221000 | #Constraints: 101550
3284.89/3292.72 c #Conflicts: 1222000 | #Constraints: 102550
3284.89/3292.72 c #Conflicts: 1223000 | #Constraints: 103550
3284.89/3292.72 c #Conflicts: 1224000 | #Constraints: 104550
3284.89/3292.72 c #Conflicts: 1225000 | #Constraints: 105550
3284.89/3292.72 c #Conflicts: 1226000 | #Constraints: 106550
3284.89/3292.72 c #Conflicts: 1227000 | #Constraints: 107550
3284.89/3292.72 c #Conflicts: 1228000 | #Constraints: 108550
3284.89/3292.72 c INPROCESSING
3284.89/3292.72 c GARBAGE COLLECT
3284.89/3292.72 c #Conflicts: 1229000 | #Constraints: 68593
3284.89/3292.72 c #Conflicts: 1230000 | #Constraints: 69593
3284.89/3292.72 c #Conflicts: 1231000 | #Constraints: 70593
3284.89/3292.72 c #Conflicts: 1232000 | #Constraints: 71593
3284.89/3292.72 c #Conflicts: 1233000 | #Constraints: 72593
3284.89/3292.72 c #Conflicts: 1234000 | #Constraints: 73593
3284.89/3292.72 c #Conflicts: 1235000 | #Constraints: 74593
3284.89/3292.72 c #Conflicts: 1236000 | #Constraints: 75593
3284.89/3292.72 c #Conflicts: 1237000 | #Constraints: 76593
3284.89/3292.72 c #Conflicts: 1238000 | #Constraints: 77593
3284.89/3292.72 c #Conflicts: 1239000 | #Constraints: 78593
3284.89/3292.72 c #Conflicts: 1240000 | #Constraints: 79593
3284.89/3292.72 c #Conflicts: 1241000 | #Constraints: 80593
3284.89/3292.72 c #Conflicts: 1242000 | #Constraints: 81593
3284.89/3292.72 c #Conflicts: 1243000 | #Constraints: 82593
3284.89/3292.72 c #Conflicts: 1244000 | #Constraints: 83593
3284.89/3292.72 c #Conflicts: 1245000 | #Constraints: 84593
3284.89/3292.72 c #Conflicts: 1246000 | #Constraints: 85593
3284.89/3292.72 c #Conflicts: 1247000 | #Constraints: 86593
3284.89/3292.72 c #Conflicts: 1248000 | #Constraints: 87593
3284.89/3292.72 c #Conflicts: 1249000 | #Constraints: 88593
3284.89/3292.72 c #Conflicts: 1250000 | #Constraints: 89593
3284.89/3292.72 c #Conflicts: 1251000 | #Constraints: 90593
3284.89/3292.72 c #Conflicts: 1252000 | #Constraints: 91593
3284.89/3292.72 c #Conflicts: 1253000 | #Constraints: 92593
3284.89/3292.72 c #Conflicts: 1254000 | #Constraints: 93593
3284.89/3292.72 c #Conflicts: 1255000 | #Constraints: 94593
3284.89/3292.72 c #Conflicts: 1256000 | #Constraints: 95593
3284.89/3292.72 c #Conflicts: 1257000 | #Constraints: 96593
3284.89/3292.72 c #Conflicts: 1258000 | #Constraints: 97593
3284.89/3292.72 c #Conflicts: 1259000 | #Constraints: 98593
3284.89/3292.72 c #Conflicts: 1260000 | #Constraints: 99593
3284.89/3292.72 c #Conflicts: 1261000 | #Constraints: 100593
3284.89/3292.72 c #Conflicts: 1262000 | #Constraints: 101593
3284.89/3292.72 c #Conflicts: 1263000 | #Constraints: 102593
3284.89/3292.72 c #Conflicts: 1264000 | #Constraints: 103593
3284.89/3292.72 c #Conflicts: 1265000 | #Constraints: 104593
3284.89/3292.72 c #Conflicts: 1266000 | #Constraints: 105593
3284.89/3292.72 c #Conflicts: 1267000 | #Constraints: 106593
3284.89/3292.72 c #Conflicts: 1268000 | #Constraints: 107593
3284.89/3292.72 c #Conflicts: 1269000 | #Constraints: 108593
3284.89/3292.72 c #Conflicts: 1270000 | #Constraints: 109593
3284.89/3292.72 c #Conflicts: 1271000 | #Constraints: 110593
3284.89/3292.72 c #Conflicts: 1272000 | #Constraints: 111593
3284.89/3292.72 c #Conflicts: 1273000 | #Constraints: 112593
3284.89/3292.72 c #Conflicts: 1274000 | #Constraints: 113593
3284.89/3292.72 c #Conflicts: 1275000 | #Constraints: 114593
3284.89/3292.72 c #Conflicts: 1276000 | #Constraints: 115593
3284.89/3292.72 c #Conflicts: 1277000 | #Constraints: 116593
3508.76/3517.17 c #Conflicts: 1278000 | #Constraints: 117593
3508.76/3517.17 c #Conflicts: 1279000 | #Constraints: 118593
3508.76/3517.17 c #Conflicts: 1280000 | #Constraints: 119593
3508.76/3517.17 c #Conflicts: 1281000 | #Constraints: 120593
3508.76/3517.17 c #Conflicts: 1282000 | #Constraints: 121593
3508.76/3517.17 c #Conflicts: 1283000 | #Constraints: 122593
3508.76/3517.17 c #Conflicts: 1284000 | #Constraints: 123593
3508.76/3517.17 c #Conflicts: 1285000 | #Constraints: 124593
3508.76/3517.17 c #Conflicts: 1286000 | #Constraints: 125593
3508.76/3517.17 c #Conflicts: 1287000 | #Constraints: 126593
3508.76/3517.17 c #Conflicts: 1288000 | #Constraints: 127593
3508.76/3517.17 c #Conflicts: 1289000 | #Constraints: 128593
3508.76/3517.17 c #Conflicts: 1290000 | #Constraints: 129593
3508.76/3517.17 c #Conflicts: 1291000 | #Constraints: 130593
3508.76/3517.17 c #Conflicts: 1292000 | #Constraints: 131593
3508.76/3517.17 c #Conflicts: 1293000 | #Constraints: 132593
3508.76/3517.17 c #Conflicts: 1294000 | #Constraints: 133593
3508.76/3517.17 c #Conflicts: 1295000 | #Constraints: 134593
3508.76/3517.17 c #Conflicts: 1296000 | #Constraints: 135593
3508.76/3517.17 c #Conflicts: 1297000 | #Constraints: 136593
3508.76/3517.17 c #Conflicts: 1298000 | #Constraints: 137593
3508.76/3517.17 c #Conflicts: 1299000 | #Constraints: 138593
3508.76/3517.17 c #Conflicts: 1300000 | #Constraints: 139593
3508.76/3517.17 c #Conflicts: 1301000 | #Constraints: 140593
3508.76/3517.17 c #Conflicts: 1302000 | #Constraints: 141593
3508.76/3517.17 c #Conflicts: 1303000 | #Constraints: 142593
3508.76/3517.17 c INPROCESSING
3508.76/3517.17 c GARBAGE COLLECT
3508.76/3517.17 c #Conflicts: 1304000 | #Constraints: 82426
3508.76/3517.17 c #Conflicts: 1305000 | #Constraints: 83426
3508.76/3517.17 c #Conflicts: 1306000 | #Constraints: 84426
3508.76/3517.17 c #Conflicts: 1307000 | #Constraints: 85426
3508.76/3517.17 c #Conflicts: 1308000 | #Constraints: 86426
3508.76/3517.17 c #Conflicts: 1309000 | #Constraints: 87426
3508.76/3517.17 c #Conflicts: 1310000 | #Constraints: 88426
3508.76/3517.17 c #Conflicts: 1311000 | #Constraints: 89426
3508.76/3517.17 c #Conflicts: 1312000 | #Constraints: 90426
3508.76/3517.17 c #Conflicts: 1313000 | #Constraints: 91426
3508.76/3517.17 c #Conflicts: 1314000 | #Constraints: 92426
3508.76/3517.17 c #Conflicts: 1315000 | #Constraints: 93426
3508.76/3517.17 c #Conflicts: 1316000 | #Constraints: 94426
3508.76/3517.17 c #Conflicts: 1317000 | #Constraints: 95426
3508.76/3517.17 c #Conflicts: 1318000 | #Constraints: 96426
3508.76/3517.17 c #Conflicts: 1319000 | #Constraints: 97426
3508.76/3517.17 c #Conflicts: 1320000 | #Constraints: 98426
3508.76/3517.17 c #Conflicts: 1321000 | #Constraints: 99426
3508.76/3517.17 c #Conflicts: 1322000 | #Constraints: 100426
3508.76/3517.17 c #Conflicts: 1323000 | #Constraints: 101426
3508.76/3517.17 c #Conflicts: 1324000 | #Constraints: 102426
3508.76/3517.17 c #Conflicts: 1325000 | #Constraints: 103426
3508.76/3517.17 c #Conflicts: 1326000 | #Constraints: 104426
3508.76/3517.17 c #Conflicts: 1327000 | #Constraints: 105426
3508.76/3517.17 c #Conflicts: 1328000 | #Constraints: 106426
3508.76/3517.17 c #Conflicts: 1329000 | #Constraints: 107426
3508.76/3517.17 c #Conflicts: 1330000 | #Constraints: 108426
3508.76/3517.17 c #Conflicts: 1331000 | #Constraints: 109426
3508.76/3517.17 c #Conflicts: 1332000 | #Constraints: 110426
3508.76/3517.17 c #Conflicts: 1333000 | #Constraints: 111426
3508.76/3517.17 c #Conflicts: 1334000 | #Constraints: 112426
3508.76/3517.17 c #Conflicts: 1335000 | #Constraints: 113426
3508.76/3517.17 c INPROCESSING
3508.76/3517.17 c GARBAGE COLLECT
3508.76/3517.17 c #Conflicts: 1336000 | #Constraints: 71932
3508.76/3517.17 c #Conflicts: 1337000 | #Constraints: 72932
3508.76/3517.17 c #Conflicts: 1338000 | #Constraints: 73932
3508.76/3517.17 c #Conflicts: 1339000 | #Constraints: 74932
3508.76/3517.17 c #Conflicts: 1340000 | #Constraints: 75932
3508.76/3517.17 c #Conflicts: 1341000 | #Constraints: 76932
3508.76/3517.17 c #Conflicts: 1342000 | #Constraints: 77932
3508.76/3517.17 c #Conflicts: 1343000 | #Constraints: 78932
3508.76/3517.17 c #Conflicts: 1344000 | #Constraints: 79932
3508.76/3517.17 c #Conflicts: 1345000 | #Constraints: 80932
3508.76/3517.17 c #Conflicts: 1346000 | #Constraints: 81932
3508.76/3517.17 c #Conflicts: 1347000 | #Constraints: 82932
3508.76/3517.17 c #Conflicts: 1348000 | #Constraints: 83932
3508.76/3517.17 c #Conflicts: 1349000 | #Constraints: 84932
3508.76/3517.17 c #Conflicts: 1350000 | #Constraints: 85932
3508.76/3517.17 c #Conflicts: 1351000 | #Constraints: 86932
3508.76/3517.17 c #Conflicts: 1352000 | #Constraints: 87932
3508.76/3517.17 c #Conflicts: 1353000 | #Constraints: 88932
3508.76/3517.17 c #Conflicts: 1354000 | #Constraints: 89932
3600.03/3608.60 c #Conflicts: 1355000 | #Constraints: 90932
3600.03/3608.60 c #Conflicts: 1356000 | #Constraints: 91932
3600.03/3608.60 c #Conflicts: 1357000 | #Constraints: 92932
3600.03/3608.60 c #Conflicts: 1358000 | #Constraints: 93932
3600.03/3608.60 c #Conflicts: 1359000 | #Constraints: 94932
3600.03/3608.60 c #Conflicts: 1360000 | #Constraints: 95932
3600.03/3608.60 c #Conflicts: 1361000 | #Constraints: 96932
3600.03/3608.60 c #Conflicts: 1362000 | #Constraints: 97932
3600.03/3608.60 c #Conflicts: 1363000 | #Constraints: 98932
3600.03/3608.60 c #Conflicts: 1364000 | #Constraints: 99932
3600.03/3608.60 c #Conflicts: 1365000 | #Constraints: 100932
3600.03/3608.60 c #Conflicts: 1366000 | #Constraints: 101932
3600.03/3608.60 c #Conflicts: 1367000 | #Constraints: 102932
3600.03/3608.60 c #Conflicts: 1368000 | #Constraints: 103932
3600.03/3608.60 c #Conflicts: 1369000 | #Constraints: 104932
3600.03/3608.60 c #Conflicts: 1370000 | #Constraints: 105932
3600.03/3608.60 c #Conflicts: 1371000 | #Constraints: 106932
3600.03/3608.60 c #Conflicts: 1372000 | #Constraints: 107932
3600.03/3608.60 c #Conflicts: 1373000 | #Constraints: 108932
3600.03/3608.60 c #Conflicts: 1374000 | #Constraints: 109932
3600.03/3608.60 c #Conflicts: 1375000 | #Constraints: 110932
3600.03/3608.60 c Disabling crashed LP
3600.03/3608.60 c cpu time 3576.1 s
3600.03/3608.60 c deterministic time 228318872350 2.28e+11
3600.03/3608.60 c optimization time 134.83 s
3600.03/3608.60 c total solve time 3441.19 s
3600.03/3608.60 c core-guided solve time 0 s
3600.03/3608.60 c propagation time 1697.66 s
3600.03/3608.60 c conflict analysis time 1389.43 s
3600.03/3608.60 c propagations 1365211572
3600.03/3608.60 c resolve steps 93677830
3600.03/3608.60 c decisions 24766122
3600.03/3608.60 c conflicts 1375500
3600.03/3608.60 c restarts 2620
3600.03/3608.60 c inprocessing phases 50
3600.03/3608.60 c garbage collections 50 ,( 100.00 )
3600.03/3608.60 c input clauses 18140 ,( 99.18 )
3600.03/3608.60 c input cardinalities 150 ,( 0.82 )
3600.03/3608.60 c input general constraints 0 ,( 0.00 )
3600.03/3608.60 c input average constraint length 6.40
3600.03/3608.60 c input average constraint degree 1.96
3600.03/3608.60 c learned clauses 1023885 ,( 74.44 )
3600.03/3608.60 c learned cardinalities 40876 ,( 2.97 )
3600.03/3608.60 c learned general constraints 310747 ,( 22.59 )
3600.03/3608.60 c learned average constraint length 761.07
3600.03/3608.60 c learned average constraint degree 25632898.07
3600.03/3608.60 c watched CF 32, 64, 128, Arb: 81497 , 0 , 0 , 0
3600.03/3608.60 c counting CF 32, 64, 128, Arb: 229250 , 0 , 0 , 0
3600.03/3608.60 c watched constraints 81497 ,( 26.23 )
3600.03/3608.60 c counting constraints 229250 ,( 73.77 )
3600.03/3608.60 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1325355388 , 618200388 , 1979617501 ,( 78259255 , 1901358246 )
3600.03/3608.60 c gcd simplifications 674
3600.03/3608.60 c detected cardinalities 5434
3600.03/3608.60 c weakened non-implied lits 394887682
3600.03/3608.60 c weakened non-implying lits 241849
3600.03/3608.60 c original variables 17895
3600.03/3608.60 c clausal propagations 624923492
3600.03/3608.60 c cardinality propagations 499649548
3600.03/3608.60 c watched propagations 4318559
3600.03/3608.60 c counting propagations 224513155
3600.03/3608.60 c watch lookups 83000234110
3600.03/3608.60 c watch backjump lookups 0
3600.03/3608.60 c watch checks 34054810701
3600.03/3608.60 c propagation checks 103495989757
3600.03/3608.60 c constraint additions 4986182716
3600.03/3608.60 c trail pops 1391338446
3600.03/3608.60 c formula constraints 18290
3600.03/3608.60 c learned constraints 1375493
3600.03/3608.60 c bound constraints 0
3600.03/3608.60 c core-guided constraints 0
3600.03/3608.60 c encountered formula constraints 61143552
3600.03/3608.60 c encountered learned constraints 33908756
3600.03/3608.60 c encountered bound constraints 0
3600.03/3608.60 c encountered core-guided constraints 0
3600.03/3608.60 c LP total time 467.844 s
3600.03/3608.60 c LP solve time 464.32 s
3600.03/3608.60 c LP constraints added 18509
3600.03/3608.60 c LP constraints removed 0
3600.03/3608.60 c LP pivots internal 137550
3600.03/3608.60 c LP pivots root 201375
3600.03/3608.60 c LP calls 16
3600.03/3608.60 c LP optimalities 2
3600.03/3608.60 c LP no pivot count 0
3600.03/3608.60 c LP infeasibilities 7
3600.03/3608.60 c LP valid Farkas constraints 7
3600.03/3608.60 c LP learned Farkas constraints 7
3600.03/3608.60 c LP basis resets 0
3600.03/3608.60 c LP cycling count 0
3600.03/3608.60 c LP singular count 0
3600.03/3608.60 c LP no primal count 0
3600.03/3608.60 c LP no farkas count 0
3600.03/3608.60 c LP other issue count 0
3600.03/3608.60 c LP Gomory cuts 1
3600.03/3608.60 c LP learned cuts 218
3600.03/3608.60 c LP deleted cuts 0
3600.03/3608.60 c LP encountered Gomory constraints 0
3600.03/3608.60 c LP encountered Farkas constraints 961
3600.03/3608.60 c LP encountered learned Farkas constraints 54
3600.03/3608.60 c CG auxiliary variables introduced 0
3600.03/3608.60 c CG solutions found 0
3600.03/3608.60 c CG cores constructed 0
3600.03/3608.60 c CG core cardinality constraints returned 0
3600.03/3608.60 c CG unit cores 0
3600.03/3608.60 c CG single cores 0
3600.03/3608.60 c CG blocks removed during cardinality reduction 0
3600.03/3608.60 c CG first core best 0
3600.03/3608.60 c CG decision core best 0
3600.03/3608.60 c CG core reduction tie 0
3600.03/3608.60 c CG core degree average 0.00
3600.03/3608.60 c CG core slack average 0.00
3600.03/3608.60 c CG core upper bound improvements 0
3600.03/3608.60 c STR number of successful calls 0
3600.03/3608.60 c STR number of unsuccessful calls 0
3600.03/3608.60 c STR number of inconclusive calls 0
3600.03/3608.60 c STR number of successful attempts 0
3600.03/3608.60 c STR number of unsuccessful attempts 0
3600.03/3608.60 c STR number of inconclusive attempts 0
3600.03/3608.60 c STR average degree increase per successful call inf
3600.03/3608.60 c STR average degree increase per successful attempt inf
3600.03/3608.60 c STR total number of conflicts for successful attempts 0
3600.03/3608.60 c STR total number of conflicts for unsuccessful attempts 0
3600.03/3608.60 c STR total number of conflicts for inconclusive attempts 0
3600.03/3608.60 c STR average number of conflicts per successful attempt inf
3600.03/3608.60 c STR average number of conflicts per unsuccessful attempt inf
3600.03/3608.60 c STR average number of conflicts per inconclusive attempt inf
3600.03/3608.60 c AVG.sumWPerc 65.66
3600.03/3608.60 c bigint constraints 0
3600.03/3608.60 s UNKNOWN
3600.03/3608.60 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (63051 MiB free)
memory of node 1: 64507 MiB (64071 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507088-1751176317/watcher-4507088-1751176317 -o /tmp/evaluation-result-4507088-1751176317/solver-4507088-1751176317 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751172706-18877 --watchdog 3760 run-dec-break.sh HOME/instance-4507088-1751176317.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=19286, runsolver pid=19271
[startup+0.100064 s]*
/proc/loadavg: 4.12 4.10 4.03 6/263 19297
/proc/meminfo: memFree=130036488/131249996 swapFree=33010684/33010684
[pid=19286] ppid=19271 vsize=4192 memory=2816 CPUtime=0.06 cores=4,6
/proc/19286/stat : 19286 (run-dec-break.s) S 19271 19286 18866 0 -1 4194304 239 11100 0 0 0 0 4 2 20 0 1 0 33309463 4292608 704 18446744073709551615 94397617938432 94397618832965 140735874733280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94397619072016 94397619119760 94397640364032 140735874742625 140735874742754 140735874742754 140735874748356 0
/proc/19286/statm: 1048 704 672 219 0 110 0
[pid=19296] ppid=19286 vsize=60292 memory=12928 CPUtime=0 cores=4,6
/proc/19296/stat : 19296 (roundingsat) R 19286 19286 18866 0 -1 4194304 1485 0 0 0 0 0 0 0 20 0 1 0 33309472 61739008 3232 18446744073709551615 4227072 8923433 140729766171216 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26857472 140729766172996 140729766173224 140729766173224 140729766178794 0
/proc/19296/statm: 15073 3232 1952 1147 0 2500 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 64484 KiB
Current children cumulated memory: 15744 KiB
[startup+0.205464 s]*
/proc/loadavg: 4.12 4.10 4.03 5/265 19306
/proc/meminfo: memFree=130006648/131249996 swapFree=33010684/33010684
[pid=19286] ppid=19271 vsize=4192 memory=2816 CPUtime=0.06 cores=4,6
/proc/19286/stat : 19286 (run-dec-break.s) S 19271 19286 18866 0 -1 4194304 239 11100 0 0 0 0 4 2 20 0 1 0 33309463 4292608 704 18446744073709551615 94397617938432 94397618832965 140735874733280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94397619072016 94397619119760 94397640364032 140735874742625 140735874742754 140735874742754 140735874748356 0
/proc/19286/statm: 1048 704 672 219 0 110 0
[pid=19296] ppid=19286 vsize=94496 memory=44852 CPUtime=0.11 cores=4,6
/proc/19296/stat : 19296 (roundingsat) R 19286 19286 18866 0 -1 4194304 8061 0 0 0 8 3 0 0 20 0 1 0 33309472 96763904 11213 18446744073709551615 4227072 8923433 140729766171216 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26857472 140729766172996 140729766173224 140729766173224 140729766178794 0
/proc/19296/statm: 23624 11213 2272 1147 0 11051 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 98688 KiB
Current children cumulated memory: 47668 KiB
[startup+0.305589 s]*
/proc/loadavg: 4.12 4.10 4.03 5/268 19312
/proc/meminfo: memFree=129932944/131249996 swapFree=33010684/33010684
[pid=19286] ppid=19271 vsize=4192 memory=2816 CPUtime=0.06 cores=4,6
/proc/19286/stat : 19286 (run-dec-break.s) S 19271 19286 18866 0 -1 4194304 239 11100 0 0 0 0 4 2 20 0 1 0 33309463 4292608 704 18446744073709551615 94397617938432 94397618832965 140735874733280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94397619072016 94397619119760 94397640364032 140735874742625 140735874742754 140735874742754 140735874748356 0
/proc/19286/statm: 1048 704 672 219 0 110 0
[pid=19296] ppid=19286 vsize=110160 memory=57084 CPUtime=0.2 cores=4,6
/proc/19296/stat : 19296 (roundingsat) R 19286 19286 18866 0 -1 4194304 11300 0 0 0 17 3 0 0 20 0 1 0 33309472 112803840 14271 18446744073709551615 4227072 8923433 140729766171216 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26857472 140729766172996 140729766173224 140729766173224 140729766178794 0
/proc/19296/statm: 27540 14271 2272 1147 0 14967 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 114352 KiB
Current children cumulated memory: 59900 KiB
[startup+0.700187 s]
/proc/loadavg: 4.12 4.10 4.03 5/268 19313
/proc/meminfo: memFree=129900180/131249996 swapFree=33010684/33010684
[pid=19286] ppid=19271 vsize=4192 memory=2816 CPUtime=0.06 cores=4,6
/proc/19286/stat : 19286 (run-dec-break.s) S 19271 19286 18866 0 -1 4194304 239 11100 0 0 0 0 4 2 20 0 1 0 33309463 4292608 704 18446744073709551615 94397617938432 94397618832965 140735874733280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94397619072016 94397619119760 94397640364032 140735874742625 140735874742754 140735874742754 140735874748356 0
/proc/19286/statm: 1048 704 672 219 0 110 0
[pid=19296] ppid=19286 vsize=110360 memory=58108 CPUtime=0.59 cores=4,6
/proc/19296/stat : 19296 (roundingsat) R 19286 19286 18866 0 -1 4194304 11508 0 0 0 56 3 0 0 20 0 1 0 33309472 113008640 14527 18446744073709551615 4227072 8923433 140729766171216 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26857472 140729766172996 140729766173224 140729766173224 140729766178794 0
/proc/19296/statm: 27590 14527 2304 1147 0 15017 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 114552 KiB
Current children cumulated memory: 60924 KiB
[startup+1.50017 s]
/proc/loadavg: 4.12 4.10 4.03 5/268 19313
/proc/meminfo: memFree=129900180/131249996 swapFree=33010684/33010684
[pid=19286] ppid=19271 vsize=4192 memory=2816 CPUtime=0.06 cores=4,6
/proc/19286/stat : 19286 (run-dec-break.s) S 19271 19286 18866 0 -1 4194304 239 11100 0 0 0 0 4 2 20 0 1 0 33309463 4292608 704 18446744073709551615 94397617938432 94397618832965 140735874733280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94397619072016 94397619119760 94397640364032 140735874742625 140735874742754 140735874742754 140735874748356 0
/proc/19286/statm: 1048 704 672 219 0 110 0
[pid=19296] ppid=19286 vsize=110360 memory=58108 CPUtime=1.39 cores=4,6
/proc/19296/stat : 19296 (roundingsat) R 19286 19286 18866 0 -1 4194304 11508 0 0 0 136 3 0 0 20 0 1 0 33309472 113008640 14527 18446744073709551615 4227072 8923433 140729766171216 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26857472 140729766172996 140729766173224 140729766173224 140729766178794 0
/proc/19296/statm: 27590 14527 2304 1147 0 15017 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 114552 KiB
Current children cumulated memory: 60924 KiB
[startup+3.10532 s]
/proc/loadavg: 4.11 4.09 4.03 6/268 19313
/proc/meminfo: memFree=129892528/131249996 swapFree=33010684/33010684
[pid=19286] ppid=19271 vsize=4192 memory=2816 CPUtime=0.06 cores=4,6
/proc/19286/stat : 19286 (run-dec-break.s) S 19271 19286 18866 0 -1 4194304 239 11100 0 0 0 0 4 2 20 0 1 0 33309463 4292608 704 18446744073709551615 94397617938432 94397618832965 140735874733280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94397619072016 94397619119760 94397640364032 140735874742625 140735874742754 140735874742754 140735874748356 0
/proc/19286/statm: 1048 704 672 219 0 110 0
[pid=19296] ppid=19286 vsize=113948 memory=62076 CPUtime=2.98 cores=4,6
/proc/19296/stat : 19296 (roundingsat) R 19286 19286 18866 0 -1 4194304 12474 0 0 0 293 5 0 0 20 0 1 0 33309472 116682752 15519 18446744073709551615 4227072 8923433 140729766171216 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26857472 140729766172996 140729766173224 140729766173224 140729766178794 0
/proc/19296/statm: 28487 15519 2336 1147 0 15914 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 118140 KiB
Current children cumulated memory: 64892 KiB
[startup+6.30018 s]
/proc/loadavg: 4.11 4.09 4.03 5/268 19313
/proc/meminfo: memFree=129884188/131249996 swapFree=33010684/33010684
[pid=19286] ppid=19271 vsize=4192 memory=2816 CPUtime=0.06 cores=4,6
/proc/19286/stat : 19286 (run-dec-break.s) S 19271 19286 18866 0 -1 4194304 239 11100 0 0 0 0 4 2 20 0 1 0 33309463 4292608 704 18446744073709551615 94397617938432 94397618832965 140735874733280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94397619072016 94397619119760 94397640364032 140735874742625 140735874742754 140735874742754 140735874748356 0
/proc/19286/statm: 1048 704 672 219 0 110 0
[pid=19296] ppid=19286 vsize=119788 memory=70632 CPUtime=6.17 cores=4,6
/proc/19296/stat : 19296 (roundingsat) R 19286 19286 18866 0 -1 4194304 14078 0 0 0 602 15 0 0 20 0 1 0 33309472 122662912 17658 18446744073709551615 4227072 8923433 140729766171216 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26857472 140729766172996 140729766173224 140729766173224 140729766178794 0
/proc/19296/statm: 29947 17658 2368 1147 0 17374 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 123980 KiB
Current children cumulated memory: 73448 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.09 4.03 5/268 19313
/proc/meminfo: memFree=129855272/131249996 swapFree=33010684/33010684
[pid=19286] ppid=19271 vsize=4192 memory=2816 CPUtime=0.06 cores=4,6
/proc/19286/stat : 19286 (run-dec-break.s) S 19271 19286 18866 0 -1 4194304 239 11100 0 0 0 0 4 2 20 0 1 0 33309463 4292608 704 18446744073709551615 94397617938432 94397618832965 140735874733280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94397619072016 94397619119760 94397640364032 140735874742625 140735874742754 140735874742754 140735874748356 0
/proc/19286/statm: 1048 704 672 219 0 110 0
[pid=19296] ppid=19286 vsize=128508 memory=79228 CPUtime=12.56 cores=4,6
/proc/19296/stat : 19296 (roundingsat) R 19286 19286 18866 0 -1 4194304 15713 0 0 0 1228 28 0 0 20 0 1 0 33309472 131592192 19807 18446744073709551615 4227072 8923433 140729766171216 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26857472 140729766172996 140729766173224 140729766173224 140729766178794 0
/proc/19296/statm: 32127 19807 2368 1147 0 19554 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 132700 KiB
Current children cumulated memory: 82044 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.09 4.03 5/268 19313
/proc/meminfo: memFree=129768116/131249996 swapFree=33010684/33010684
[pid=19286] ppid=19271 vsize=4192 memory=2816 CPUtime=0.06 cores=4,6
/proc/19286/stat : 19286 (run-dec-break.s) S 19271 19286 18866 0 -1 4194304 239 11100 0 0 0 0 4 2 20 0 1 0 33309463 4292608 704 18446744073709551615 94397617938432 94397618832965 140735874733280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94397619072016 94397619119760 94397640364032 140735874742625 140735874742754 140735874742754 140735874748356 0
/proc/19286/statm: 1048 704 672 219 0 110 0
[pid=19296] ppid=19286 vsize=150764 memory=100204 CPUtime=25.33 cores=4,6
/proc/19296/stat : 19296 (roundingsat) R 19286 19286 18866 0 -1 4194304 19427 0 0 0 2484 49 0 0 20 0 1 0 33309472 154382336 25051 18446744073709551615 4227072 8923433 140729766171216 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26857472 140729766172996 140729766173224 140729766173224 140729766178794 0
/proc/19296/statm: 37691 25051 2368 1147 0 25118 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 154956 KiB
Current children cumulated memory: 103020 KiB
[startup+51.1054 s]
/proc/loadavg: 4.05 4.08 4.03 5/268 19313
/proc/meminfo: memFree=129636980/131249996 swapFree=33010684/33010684
[pid=19286] ppid=19271 vsize=4192 memory=2816 CPUtime=0.06 cores=4,6
/proc/19286/stat : 19286 (run-dec-break.s) S 19271 19286 18866 0 -1 4194304 239 11100 0 0 0 0 4 2 20 0 1 0 33309463 4292608 704 18446744073709551615 94397617938432 94397618832965 140735874733280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94397619072016 94397619119760 94397640364032 140735874742625 140735874742754 140735874742754 140735874748356 0
/proc/19286/statm: 1048 704 672 219 0 110 0
[pid=19296] ppid=19286 vsize=178044 memory=123184 CPUtime=50.88 cores=4,6
/proc/19296/stat : 19296 (roundingsat) R 19286 19286 18866 0 -1 4194304 23632 0 0 0 4990 98 0 0 20 0 1 0 33309472 182317056 30796 18446744073709551615 4227072 8923433 140729766171216 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26857472 140729766172996 140729766173224 140729766173224 140729766178794 0
/proc/19296/statm: 44511 30796 2368 1147 0 31938 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 182236 KiB
Current children cumulated memory: 126000 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.08 4.03 6/267 19315
/proc/meminfo: memFree=129471900/131249996 swapFree=33010684/33010684
[pid=19286] ppid=19271 vsize=4192 memory=2816 CPUtime=0.06 cores=4,6
/proc/19286/stat : 19286 (run-dec-break.s) S 19271 19286 18866 0 -1 4194304 239 11100 0 0 0 0 4 2 20 0 1 0 33309463 4292608 704 18446744073709551615 94397617938432 94397618832965 140735874733280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94397619072016 94397619119760 94397640364032 140735874742625 140735874742754 140735874742754 140735874748356 0
/proc/19286/statm: 1048 704 672 219 0 110 0
[pid=19296] ppid=19286 vsize=226592 memory=162436 CPUtime=101.94 cores=4,6
/proc/19296/stat : 19296 (roundingsat) R 19286 19286 18866 0 -1 4194304 31494 0 0 0 10028 166 0 0 20 0 1 0 33309472 232030208 40609 18446744073709551615 4227072 8923433 140729766171216 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26857472 140729766172996 140729766173224 140729766173224 140729766178794 0
/proc/19296/statm: 56648 40609 2368 1147 0 44075 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 230784 KiB
Current children cumulated memory: 165252 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.10 4.03 6/266 19317
/proc/meminfo: memFree=129268284/131249996 swapFree=33010684/33010684
[pid=19286] ppid=19271 vsize=4192 memory=2816 CPUtime=0.06 cores=4,6
/proc/19286/stat : 19286 (run-dec-break.s) S 19271 19286 18866 0 -1 4194304 239 11100 0 0 0 0 4 2 20 0 1 0 33309463 4292608 704 18446744073709551615 94397617938432 94397618832965 140735874733280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94397619072016 94397619119760 94397640364032 140735874742625 140735874742754 140735874742754 140735874748356 0
/proc/19286/statm: 1048 704 672 219 0 110 0
[pid=19296] ppid=19286 vsize=245612 memory=197340 CPUtime=161.8 cores=4,6
/proc/19296/stat : 19296 (roundingsat) R 19286 19286 18866 0 -1 4194304 36632 0 0 0 15939 241 0 0 20 0 1 0 33309472 251506688 49335 18446744073709551615 4227072 8923433 140729766171216 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26857472 140729766172996 140729766173224 140729766173224 140729766178794 0
/proc/19296/statm: 61403 49335 2368 1147 0 48830 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 249804 KiB
Current children cumulated memory: 200156 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.09 4.03 6/266 19319
/proc/meminfo: memFree=129157484/131249996 swapFree=33010684/33010684
[pid=19286] ppid=19271 vsize=4192 memory=2816 CPUtime=0.06 cores=4,6
/proc/19286/stat : 19286 (run-dec-break.s) S 19271 19286 18866 0 -1 4194304 239 11100 0 0 0 0 4 2 20 0 1 0 33309463 4292608 704 18446744073709551615 94397617938432 94397618832965 140735874733280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94397619072016 94397619119760 94397640364032 140735874742625 140735874742754 140735874742754 140735874748356 0
/proc/19286/statm: 1048 704 672 219 0 110 0
[pid=19296] ppid=19286 vsize=299220 memory=231436 CPUtime=221.62 cores=4,6
/proc/19296/stat : 19296 (roundingsat) R 19286 19286 18866 0 -1 4194304 42476 0 0 0 21832 330 0 0 20 0 1 0 33309472 306401280 57859 18446744073709551615 4227072 8923433 140729766171216 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26857472 140729766172996 140729766173224 140729766173224 140729766178794 0
/proc/19296/statm: 74805 57859 2368 1147 0 62232 0
################
# More data... #
################
/proc/19296/statm: 265651 234389 2368 1147 0 253078 0
Current children cumulated CPU time: 3035.07 s
Current children cumulated vsize: 1066796 KiB
Current children cumulated memory: 940372 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/266 19468
/proc/meminfo: memFree=126272808/131249996 swapFree=33010684/33010684
[pid=19286] ppid=19271 vsize=4192 memory=2816 CPUtime=0.06 cores=4,6
/proc/19286/stat : 19286 (run-dec-break.s) S 19271 19286 18866 0 -1 4194304 239 11100 0 0 0 0 4 2 20 0 1 0 33309463 4292608 704 18446744073709551615 94397617938432 94397618832965 140735874733280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94397619072016 94397619119760 94397640364032 140735874742625 140735874742754 140735874742754 140735874748356 0
/proc/19286/statm: 1048 704 672 219 0 110 0
[pid=19296] ppid=19286 vsize=1107432 memory=983916 CPUtime=3094.88 cores=4,6
/proc/19296/stat : 19296 (roundingsat) R 19286 19286 18866 0 -1 4194304 120304 0 0 0 307379 2109 0 0 20 0 1 0 33309472 1134010368 245979 18446744073709551615 4227072 8923433 140729766171216 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26857472 140729766172996 140729766173224 140729766173224 140729766178794 0
/proc/19296/statm: 276858 245979 2368 1147 0 264285 0
Current children cumulated CPU time: 3094.94 s
Current children cumulated vsize: 1111624 KiB
Current children cumulated memory: 986732 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.09 4.09 6/266 19470
/proc/meminfo: memFree=126256216/131249996 swapFree=33010684/33010684
[pid=19286] ppid=19271 vsize=4192 memory=2816 CPUtime=0.06 cores=4,6
/proc/19286/stat : 19286 (run-dec-break.s) S 19271 19286 18866 0 -1 4194304 239 11100 0 0 0 0 4 2 20 0 1 0 33309463 4292608 704 18446744073709551615 94397617938432 94397618832965 140735874733280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94397619072016 94397619119760 94397640364032 140735874742625 140735874742754 140735874742754 140735874748356 0
/proc/19286/statm: 1048 704 672 219 0 110 0
[pid=19296] ppid=19286 vsize=1107432 memory=983916 CPUtime=3154.74 cores=4,6
/proc/19296/stat : 19296 (roundingsat) R 19286 19286 18866 0 -1 4194304 120327 0 0 0 313333 2141 0 0 20 0 1 0 33309472 1134010368 245979 18446744073709551615 4227072 8923433 140729766171216 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26857472 140729766172996 140729766173224 140729766173224 140729766178794 0
/proc/19296/statm: 276858 245979 2368 1147 0 264285 0
Current children cumulated CPU time: 3154.8 s
Current children cumulated vsize: 1111624 KiB
Current children cumulated memory: 986732 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.10 4.09 6/266 19472
/proc/meminfo: memFree=126233188/131249996 swapFree=33010684/33010684
[pid=19286] ppid=19271 vsize=4192 memory=2816 CPUtime=0.06 cores=4,6
/proc/19286/stat : 19286 (run-dec-break.s) S 19271 19286 18866 0 -1 4194304 239 11100 0 0 0 0 4 2 20 0 1 0 33309463 4292608 704 18446744073709551615 94397617938432 94397618832965 140735874733280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94397619072016 94397619119760 94397640364032 140735874742625 140735874742754 140735874742754 140735874748356 0
/proc/19286/statm: 1048 704 672 219 0 110 0
[pid=19296] ppid=19286 vsize=1107432 memory=983916 CPUtime=3214.59 cores=4,6
/proc/19296/stat : 19296 (roundingsat) R 19286 19286 18866 0 -1 4194304 120347 0 0 0 319277 2182 0 0 20 0 1 0 33309472 1134010368 245979 18446744073709551615 4227072 8923433 140729766171216 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26857472 140729766172996 140729766173224 140729766173224 140729766178794 0
/proc/19296/statm: 276858 245979 2368 1147 0 264285 0
Current children cumulated CPU time: 3214.65 s
Current children cumulated vsize: 1111624 KiB
Current children cumulated memory: 986732 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.09 4.09 6/267 19475
/proc/meminfo: memFree=126209780/131249996 swapFree=33010684/33010684
[pid=19286] ppid=19271 vsize=4192 memory=2816 CPUtime=0.06 cores=4,6
/proc/19286/stat : 19286 (run-dec-break.s) S 19271 19286 18866 0 -1 4194304 239 11100 0 0 0 0 4 2 20 0 1 0 33309463 4292608 704 18446744073709551615 94397617938432 94397618832965 140735874733280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94397619072016 94397619119760 94397640364032 140735874742625 140735874742754 140735874742754 140735874748356 0
/proc/19286/statm: 1048 704 672 219 0 110 0
[pid=19296] ppid=19286 vsize=1107432 memory=983916 CPUtime=3274.45 cores=4,6
/proc/19296/stat : 19296 (roundingsat) R 19286 19286 18866 0 -1 4194304 120359 0 0 0 325223 2222 0 0 20 0 1 0 33309472 1134010368 245979 18446744073709551615 4227072 8923433 140729766171216 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26857472 140729766172996 140729766173224 140729766173224 140729766178794 0
/proc/19296/statm: 276858 245979 2368 1147 0 264285 0
Current children cumulated CPU time: 3274.51 s
Current children cumulated vsize: 1111624 KiB
Current children cumulated memory: 986732 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.09 4.09 6/268 19480
/proc/meminfo: memFree=126209932/131249996 swapFree=33010684/33010684
[pid=19286] ppid=19271 vsize=4192 memory=2816 CPUtime=0.06 cores=4,6
/proc/19286/stat : 19286 (run-dec-break.s) S 19271 19286 18866 0 -1 4194304 239 11100 0 0 0 0 4 2 20 0 1 0 33309463 4292608 704 18446744073709551615 94397617938432 94397618832965 140735874733280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94397619072016 94397619119760 94397640364032 140735874742625 140735874742754 140735874742754 140735874748356 0
/proc/19286/statm: 1048 704 672 219 0 110 0
[pid=19296] ppid=19286 vsize=1107432 memory=983916 CPUtime=3334.31 cores=4,6
/proc/19296/stat : 19296 (roundingsat) R 19286 19286 18866 0 -1 4194304 120400 0 0 0 331176 2255 0 0 20 0 1 0 33309472 1134010368 245979 18446744073709551615 4227072 8923433 140729766171216 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26857472 140729766172996 140729766173224 140729766173224 140729766178794 0
/proc/19296/statm: 276858 245979 2368 1147 0 264285 0
Current children cumulated CPU time: 3334.37 s
Current children cumulated vsize: 1111624 KiB
Current children cumulated memory: 986732 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.09 6/268 19486
/proc/meminfo: memFree=126201900/131249996 swapFree=33010684/33010684
[pid=19286] ppid=19271 vsize=4192 memory=2816 CPUtime=0.06 cores=4,6
/proc/19286/stat : 19286 (run-dec-break.s) S 19271 19286 18866 0 -1 4194304 239 11100 0 0 0 0 4 2 20 0 1 0 33309463 4292608 704 18446744073709551615 94397617938432 94397618832965 140735874733280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94397619072016 94397619119760 94397640364032 140735874742625 140735874742754 140735874742754 140735874748356 0
/proc/19286/statm: 1048 704 672 219 0 110 0
[pid=19296] ppid=19286 vsize=1112912 memory=988396 CPUtime=3394.16 cores=4,6
/proc/19296/stat : 19296 (roundingsat) R 19286 19286 18866 0 -1 4194304 121786 0 0 0 337127 2289 0 0 20 0 1 0 33309472 1139621888 247099 18446744073709551615 4227072 8923433 140729766171216 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26857472 140729766172996 140729766173224 140729766173224 140729766178794 0
/proc/19296/statm: 278228 247099 2368 1147 0 265655 0
Current children cumulated CPU time: 3394.22 s
Current children cumulated vsize: 1117104 KiB
Current children cumulated memory: 991212 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.09 6/269 19489
/proc/meminfo: memFree=126202660/131249996 swapFree=33010684/33010684
[pid=19286] ppid=19271 vsize=4192 memory=2816 CPUtime=0.06 cores=4,6
/proc/19286/stat : 19286 (run-dec-break.s) S 19271 19286 18866 0 -1 4194304 239 11100 0 0 0 0 4 2 20 0 1 0 33309463 4292608 704 18446744073709551615 94397617938432 94397618832965 140735874733280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94397619072016 94397619119760 94397640364032 140735874742625 140735874742754 140735874742754 140735874748356 0
/proc/19286/statm: 1048 704 672 219 0 110 0
[pid=19296] ppid=19286 vsize=1112912 memory=988396 CPUtime=3454.02 cores=4,6
/proc/19296/stat : 19296 (roundingsat) R 19286 19286 18866 0 -1 4194304 121786 0 0 0 343086 2316 0 0 20 0 1 0 33309472 1139621888 247099 18446744073709551615 4227072 8923433 140729766171216 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26857472 140729766172996 140729766173224 140729766173224 140729766178794 0
/proc/19296/statm: 278228 247099 2368 1147 0 265655 0
Current children cumulated CPU time: 3454.08 s
Current children cumulated vsize: 1117104 KiB
Current children cumulated memory: 991212 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.08 4.09 6/269 19491
/proc/meminfo: memFree=126210028/131249996 swapFree=33010684/33010684
[pid=19286] ppid=19271 vsize=4192 memory=2816 CPUtime=0.06 cores=4,6
/proc/19286/stat : 19286 (run-dec-break.s) S 19271 19286 18866 0 -1 4194304 239 11100 0 0 0 0 4 2 20 0 1 0 33309463 4292608 704 18446744073709551615 94397617938432 94397618832965 140735874733280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94397619072016 94397619119760 94397640364032 140735874742625 140735874742754 140735874742754 140735874748356 0
/proc/19286/statm: 1048 704 672 219 0 110 0
[pid=19296] ppid=19286 vsize=1112912 memory=988908 CPUtime=3513.88 cores=4,6
/proc/19296/stat : 19296 (roundingsat) R 19286 19286 18866 0 -1 4194304 121922 0 0 0 349047 2341 0 0 20 0 1 0 33309472 1139621888 247227 18446744073709551615 4227072 8923433 140729766171216 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26857472 140729766172996 140729766173224 140729766173224 140729766178794 0
/proc/19296/statm: 278228 247227 2368 1147 0 265655 0
Current children cumulated CPU time: 3513.94 s
Current children cumulated vsize: 1117104 KiB
Current children cumulated memory: 991724 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.08 4.09 6/268 19494
/proc/meminfo: memFree=126209808/131249996 swapFree=33010684/33010684
[pid=19286] ppid=19271 vsize=4192 memory=2816 CPUtime=0.06 cores=4,6
/proc/19286/stat : 19286 (run-dec-break.s) S 19271 19286 18866 0 -1 4194304 239 11100 0 0 0 0 4 2 20 0 1 0 33309463 4292608 704 18446744073709551615 94397617938432 94397618832965 140735874733280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94397619072016 94397619119760 94397640364032 140735874742625 140735874742754 140735874742754 140735874748356 0
/proc/19286/statm: 1048 704 672 219 0 110 0
[pid=19296] ppid=19286 vsize=1112912 memory=988908 CPUtime=3573.73 cores=4,6
/proc/19296/stat : 19296 (roundingsat) R 19286 19286 18866 0 -1 4194304 121926 0 0 0 354996 2377 0 0 20 0 1 0 33309472 1139621888 247227 18446744073709551615 4227072 8923433 140729766171216 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26857472 140729766172996 140729766173224 140729766173224 140729766178794 0
/proc/19296/statm: 278228 247227 2368 1147 0 265655 0
Current children cumulated CPU time: 3573.79 s
Current children cumulated vsize: 1117104 KiB
Current children cumulated memory: 991724 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.6 s]
/proc/loadavg: 4.11 4.09 4.09 6/268 19495
/proc/meminfo: memFree=126209688/131249996 swapFree=33010684/33010684
[pid=19286] ppid=19271 vsize=4192 memory=2816 CPUtime=0.06 cores=4,6
/proc/19286/stat : 19286 (run-dec-break.s) S 19271 19286 18866 0 -1 4194304 239 11100 0 0 0 0 4 2 20 0 1 0 33309463 4292608 704 18446744073709551615 94397617938432 94397618832965 140735874733280 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94397619072016 94397619119760 94397640364032 140735874742625 140735874742754 140735874742754 140735874748356 0
/proc/19286/statm: 1048 704 672 219 0 110 0
[pid=19296] ppid=19286 vsize=1114768 memory=989804 CPUtime=3599.97 cores=4,6
/proc/19296/stat : 19296 (roundingsat) R 19286 19286 18866 0 -1 4194304 122149 0 0 0 357609 2388 0 0 20 0 1 0 33309472 1141522432 247451 18446744073709551615 4227072 8923433 140729766171216 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26857472 140729766172996 140729766173224 140729766173224 140729766178794 0
/proc/19296/statm: 278692 247451 2368 1147 0 266119 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1118960 KiB
Current children cumulated memory: 992620 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3608.6 s]
# the end of solver process 19286 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.04925 s, system=0.022837 s
Sleeping 2 seconds
[startup+3608.62 s]
# the end of solver process 19296 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3576.15 s, system=23.915 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3608.62
CPU time (s): 3600.07
CPU user time (s): 3576.15
CPU system time (s): 23.915
CPU usage (%): 99.7631
Max. virtual memory (cumulated for all children) (KiB): 1118960
Max. memory (cumulated for all children) (KiB): 992620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3576.15
system time used= 23.915
maximum resident set size= 990188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 133509
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 449
involuntary context switches= 3090
# summary of solver processes directly reported to runsolver:
# pid: 19286,19296
# total CPU time (s): 3600.07
# total CPU user time (s): 3576.15
# total CPU system time (s): 23.915
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.06391 second user time and 15.9186 second system time
The end
Begin job on nodeC022 at 2025-06-29 07:51:57
IDJOB=4507088
IDBENCH=158322
IDSOLVER=3357
FILE ID=nodeC022/4507088-1751176317
RUNJOBID= nodeC022-1751172706-18877
SLURM_JOB_ID= 9587539
Free space on /tmp= 433048 MiB
SOLVER NAME= roundingsat+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K150.opb
COMMAND LINE= run-dec-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507088-1751176317/watcher-4507088-1751176317 -o /tmp/evaluation-result-4507088-1751176317/solver-4507088-1751176317 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751172706-18877 --watchdog 3760 run-dec-break.sh HOME/instance-4507088-1751176317.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= de861f201885d7430b03c8868c66597b
RANDOM SEED=1684975713
nodeC022 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.793
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 1527.462
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.959
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.746
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.955
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 1657.578
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.717
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 2249.819
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 130175760 kB
MemAvailable: 129830520 kB
Buffers: 3280 kB
Cached: 465684 kB
SwapCached: 0 kB
Active: 315736 kB
Inactive: 217320 kB
Active(anon): 82156 kB
Inactive(anon): 0 kB
Active(file): 233580 kB
Inactive(file): 217320 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 25088 kB
Writeback: 8 kB
AnonPages: 67664 kB
Mapped: 103136 kB
Shmem: 18060 kB
KReclaimable: 85796 kB
Slab: 169580 kB
SReclaimable: 85796 kB
SUnreclaim: 83784 kB
KernelStack: 4148 kB
PageTables: 2936 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 333040 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150456 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10240 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433024 MiB
End job on nodeC022 at 2025-06-29 08:52:06