0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4493448-1751155906.opb'
0.00/0.03 c read 1.34MB (15.83ms)
0.00/0.03 c [cnf: #variables 14400 #clauses 1088 #duplicates 0 #arr 144000]
0.00/0.03 c
0.00/0.03 c make graph and approximate orbits
0.00/0.04 c [group: #orbits ~= 2] (11.86ms)
0.00/0.04 c
0.00/0.04 c detect special group actions
0.00/0.04 c probe for Johnson action (limit=64)
0.00/0.05 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.05 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.05 c (13.33ms)
0.00/0.05 c
0.00/0.05 c detect symmetries on remainder
0.00/0.05 c [graph: #vertices 58688 #edges 374400]
0.00/0.05 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.07/0.20 c [group: #symmetries 1.10*10^30 #generators 10] (141.35ms)
0.07/0.20 c
0.07/0.20 c optimize generators (opt_passes=64, conjugate_limit=450)
0.18/0.22 c opt it=15, l=298, m=84, opt=9, avg=15892, b=6720, gens=10
0.18/0.24 c ran it=0, +gens=10
1.17/1.24 c con best_support=6720, best_gens=5, +gens=444
1.17/1.24 c (1042.54ms)
1.17/1.24 c
1.17/1.24 c finalize break order and special generators
1.17/1.25 c
1.17/1.25 c add generic predicates (break_depth=10)
1.27/1.35 c added predicates for 464 generators (96.08ms)
1.27/1.35 c
1.27/1.35 c generation finished
1.27/1.35 c [sbp: #constraints 12992 #add_vars 4176]
1.27/1.35 c
1.27/1.35 c write result to 'HOME/instance-4493448-1751155906.opb.pre'
1.27/1.35 c wrote 1.82MB (4.11ms)
1.27/1.35 c ------------------------------------------------------------------
1.27/1.35 c 1042.54ms 77.77% optimize_gens
1.27/1.35 c 141.35ms 10.54% detect_generic
1.27/1.35 c 96.08ms 7.17% break_generic
1.27/1.35 c 15.83ms 1.18% parse
1.27/1.35 c 14.47ms 1.08% finalize_order
1.27/1.35 c 13.33ms 0.99% detect_special
1.27/1.35 c 11.86ms 0.89% approx_orbits
1.27/1.35 c 4.11ms 0.31% output
1.27/1.35 c 0.92ms 0.07% other
1.27/1.35 c ───────────────────────────────────────────────
1.27/1.35 c 1340.48ms 100% total
1.27/1.35 c ------------------------------------------------------------------
1.27/1.37 c RoundingSat 2
1.27/1.37 c branch pb25
1.27/1.37 c commit 63f22ad
1.33/1.48 c #variables 18576 #constraints 14080
159.43/159.94 c #Conflicts: 1000 | #Constraints: 15079
159.43/159.94 c #Conflicts: 2000 | #Constraints: 16079
159.43/159.94 c INPROCESSING
159.43/159.94 c GARBAGE COLLECT
159.43/159.94 c #Conflicts: 3000 | #Constraints: 15833
159.43/159.94 c #Conflicts: 4000 | #Constraints: 16833
159.43/159.94 c INPROCESSING
159.43/159.94 c GARBAGE COLLECT
159.43/159.94 c #Conflicts: 5000 | #Constraints: 16268
159.43/159.94 c #Conflicts: 6000 | #Constraints: 17268
159.43/159.94 c INPROCESSING
159.43/159.94 c GARBAGE COLLECT
159.43/159.94 c #Conflicts: 7000 | #Constraints: 16294
159.43/159.94 c #Conflicts: 8000 | #Constraints: 17294
159.43/159.94 c #Conflicts: 9000 | #Constraints: 18294
159.43/159.94 c INPROCESSING
159.43/159.94 c GARBAGE COLLECT
159.43/159.94 c #Conflicts: 10000 | #Constraints: 17001
159.43/159.94 c #Conflicts: 11000 | #Constraints: 18001
159.43/159.94 c #Conflicts: 12000 | #Constraints: 19001
159.43/159.94 c INPROCESSING
159.43/159.94 c GARBAGE COLLECT
159.43/159.94 c #Conflicts: 13000 | #Constraints: 17438
159.43/159.94 c #Conflicts: 14000 | #Constraints: 18438
159.43/159.94 c #Conflicts: 15000 | #Constraints: 19438
159.43/159.94 c INPROCESSING
159.43/159.94 c GARBAGE COLLECT
159.43/159.94 c #Conflicts: 16000 | #Constraints: 17672
159.43/159.94 c #Conflicts: 17000 | #Constraints: 18672
159.43/159.94 c #Conflicts: 18000 | #Constraints: 19672
159.43/159.94 c INPROCESSING
159.43/159.94 c GARBAGE COLLECT
159.43/159.94 c #Conflicts: 19000 | #Constraints: 17672
159.43/159.94 c #Conflicts: 20000 | #Constraints: 18672
159.43/159.94 c #Conflicts: 21000 | #Constraints: 19672
159.43/159.94 c INPROCESSING
159.43/159.94 c GARBAGE COLLECT
159.43/159.94 c #Conflicts: 22000 | #Constraints: 17467
159.43/159.94 c #Conflicts: 23000 | #Constraints: 18467
159.43/159.94 c #Conflicts: 24000 | #Constraints: 19467
159.43/159.94 c #Conflicts: 25000 | #Constraints: 20467
159.43/159.94 c INPROCESSING
159.43/159.94 c GARBAGE COLLECT
159.43/159.94 c #Conflicts: 26000 | #Constraints: 18073
159.43/159.94 c #Conflicts: 27000 | #Constraints: 19073
159.43/159.94 c #Conflicts: 28000 | #Constraints: 20073
159.43/159.94 c #Conflicts: 29000 | #Constraints: 21073
159.43/159.94 c INPROCESSING
159.43/159.94 c GARBAGE COLLECT
159.43/159.94 c #Conflicts: 30000 | #Constraints: 18463
159.43/159.94 c #Conflicts: 31000 | #Constraints: 19463
159.43/159.94 c #Conflicts: 32000 | #Constraints: 20463
159.43/159.94 c #Conflicts: 33000 | #Constraints: 21463
159.43/159.94 c INPROCESSING
159.43/159.94 c GARBAGE COLLECT
159.43/159.94 c #Conflicts: 34000 | #Constraints: 18622
159.43/159.94 c #Conflicts: 35000 | #Constraints: 19622
159.43/159.94 c #Conflicts: 36000 | #Constraints: 20622
159.43/159.94 c #Conflicts: 37000 | #Constraints: 21622
159.43/159.94 c INPROCESSING
159.43/159.94 c GARBAGE COLLECT
159.43/159.94 c #Conflicts: 38000 | #Constraints: 18651
159.43/159.94 c #Conflicts: 39000 | #Constraints: 19651
159.43/159.94 c #Conflicts: 40000 | #Constraints: 20651
159.43/159.94 c #Conflicts: 41000 | #Constraints: 21651
159.43/159.94 c INPROCESSING
159.43/159.94 c GARBAGE COLLECT
159.43/159.94 c #Conflicts: 42000 | #Constraints: 18456
159.43/159.94 c #Conflicts: 43000 | #Constraints: 19456
159.43/159.94 c #Conflicts: 44000 | #Constraints: 20456
159.43/159.94 c #Conflicts: 45000 | #Constraints: 21456
159.43/159.94 c #Conflicts: 46000 | #Constraints: 22456
159.43/159.94 c INPROCESSING
159.43/159.94 c GARBAGE COLLECT
159.43/159.94 c #Conflicts: 47000 | #Constraints: 19025
159.43/159.94 c #Conflicts: 48000 | #Constraints: 20025
159.43/159.94 c #Conflicts: 49000 | #Constraints: 21025
159.43/159.94 c #Conflicts: 50000 | #Constraints: 22025
159.43/159.94 c #Conflicts: 51000 | #Constraints: 23025
159.43/159.94 c INPROCESSING
159.43/159.94 c GARBAGE COLLECT
159.43/159.94 c #Conflicts: 52000 | #Constraints: 19444
159.43/159.94 c #Conflicts: 53000 | #Constraints: 20444
159.43/159.94 c #Conflicts: 54000 | #Constraints: 21444
159.43/159.94 c #Conflicts: 55000 | #Constraints: 22444
159.43/159.94 c #Conflicts: 56000 | #Constraints: 23444
159.43/159.94 c INPROCESSING
159.43/159.94 c GARBAGE COLLECT
159.43/159.94 c #Conflicts: 57000 | #Constraints: 19633
159.43/159.94 c #Conflicts: 58000 | #Constraints: 20633
159.43/159.94 c #Conflicts: 59000 | #Constraints: 21633
159.43/159.94 c #Conflicts: 60000 | #Constraints: 22633
159.43/159.94 c #Conflicts: 61000 | #Constraints: 23633
159.43/159.94 c INPROCESSING
159.43/159.94 c GARBAGE COLLECT
159.43/159.94 c #Conflicts: 62000 | #Constraints: 19418
159.43/159.94 c #Conflicts: 63000 | #Constraints: 20418
159.43/159.94 c #Conflicts: 64000 | #Constraints: 21418
159.43/159.94 c #Conflicts: 65000 | #Constraints: 22418
159.43/159.94 c #Conflicts: 66000 | #Constraints: 23418
159.43/159.94 c INPROCESSING
159.43/159.94 c GARBAGE COLLECT
159.43/159.94 c #Conflicts: 67000 | #Constraints: 19226
159.43/159.94 c #Conflicts: 68000 | #Constraints: 20226
315.00/315.90 c #Conflicts: 69000 | #Constraints: 21226
315.00/315.90 c #Conflicts: 70000 | #Constraints: 22226
315.00/315.90 c #Conflicts: 71000 | #Constraints: 23226
315.00/315.90 c #Conflicts: 72000 | #Constraints: 24226
315.00/315.90 c INPROCESSING
315.00/315.90 c GARBAGE COLLECT
315.00/315.90 c #Conflicts: 73000 | #Constraints: 19819
315.00/315.90 c #Conflicts: 74000 | #Constraints: 20819
315.00/315.90 c #Conflicts: 75000 | #Constraints: 21819
315.00/315.90 c #Conflicts: 76000 | #Constraints: 22819
315.00/315.90 c #Conflicts: 77000 | #Constraints: 23819
315.00/315.90 c #Conflicts: 78000 | #Constraints: 24819
315.00/315.90 c INPROCESSING
315.00/315.90 c GARBAGE COLLECT
315.00/315.90 c #Conflicts: 79000 | #Constraints: 20244
315.00/315.90 c #Conflicts: 80000 | #Constraints: 21244
315.00/315.90 c #Conflicts: 81000 | #Constraints: 22244
315.00/315.90 c #Conflicts: 82000 | #Constraints: 23244
315.00/315.90 c #Conflicts: 83000 | #Constraints: 24244
315.00/315.90 c #Conflicts: 84000 | #Constraints: 25244
315.00/315.90 c INPROCESSING
315.00/315.90 c GARBAGE COLLECT
315.00/315.90 c #Conflicts: 85000 | #Constraints: 20444
315.00/315.90 c #Conflicts: 86000 | #Constraints: 21444
315.00/315.90 c #Conflicts: 87000 | #Constraints: 22444
315.00/315.90 c #Conflicts: 88000 | #Constraints: 23444
315.00/315.90 c #Conflicts: 89000 | #Constraints: 24444
315.00/315.90 c #Conflicts: 90000 | #Constraints: 25444
315.00/315.90 c INPROCESSING
315.00/315.90 c GARBAGE COLLECT
315.00/315.90 c #Conflicts: 91000 | #Constraints: 20435
315.00/315.90 c #Conflicts: 92000 | #Constraints: 21435
315.00/315.90 c #Conflicts: 93000 | #Constraints: 22435
315.00/315.90 c #Conflicts: 94000 | #Constraints: 23435
315.00/315.90 c #Conflicts: 95000 | #Constraints: 24435
315.00/315.90 c #Conflicts: 96000 | #Constraints: 25435
315.00/315.90 c INPROCESSING
315.00/315.90 c GARBAGE COLLECT
315.00/315.90 c #Conflicts: 97000 | #Constraints: 20254
315.00/315.90 c #Conflicts: 98000 | #Constraints: 21254
315.00/315.90 c #Conflicts: 99000 | #Constraints: 22254
315.00/315.90 c #Conflicts: 100000 | #Constraints: 23254
315.00/315.90 c #Conflicts: 101000 | #Constraints: 24255
315.00/315.90 c #Conflicts: 102000 | #Constraints: 25255
315.00/315.90 c #Conflicts: 103000 | #Constraints: 26255
315.00/315.90 c INPROCESSING
315.00/315.90 c GARBAGE COLLECT
315.00/315.90 c #Conflicts: 104000 | #Constraints: 20844
315.00/315.90 c #Conflicts: 105000 | #Constraints: 21844
315.00/315.90 c #Conflicts: 106000 | #Constraints: 22844
315.00/315.90 c #Conflicts: 107000 | #Constraints: 23844
315.00/315.90 c #Conflicts: 108000 | #Constraints: 24844
315.00/315.90 c #Conflicts: 109000 | #Constraints: 25844
315.00/315.90 c #Conflicts: 110000 | #Constraints: 26844
315.00/315.90 c INPROCESSING
315.00/315.90 c GARBAGE COLLECT
315.00/315.90 c #Conflicts: 111000 | #Constraints: 21262
315.00/315.90 c #Conflicts: 112000 | #Constraints: 22262
315.00/315.90 c #Conflicts: 113000 | #Constraints: 23262
315.00/315.90 c #Conflicts: 114000 | #Constraints: 24262
315.00/315.90 c #Conflicts: 115000 | #Constraints: 25262
315.00/315.90 c #Conflicts: 116000 | #Constraints: 26262
315.00/315.90 c #Conflicts: 117000 | #Constraints: 27262
315.00/315.90 c INPROCESSING
315.00/315.90 c GARBAGE COLLECT
315.00/315.90 c #Conflicts: 118000 | #Constraints: 21313
315.00/315.90 c #Conflicts: 119000 | #Constraints: 22313
315.00/315.90 c #Conflicts: 120000 | #Constraints: 23313
315.00/315.90 c #Conflicts: 121000 | #Constraints: 24313
315.00/315.90 c #Conflicts: 122000 | #Constraints: 25313
315.00/315.90 c #Conflicts: 123000 | #Constraints: 26313
315.00/315.90 c #Conflicts: 124000 | #Constraints: 27313
315.00/315.90 c INPROCESSING
315.00/315.90 c GARBAGE COLLECT
315.00/315.90 c #Conflicts: 125000 | #Constraints: 21292
315.00/315.90 c #Conflicts: 126000 | #Constraints: 22292
315.00/315.90 c #Conflicts: 127000 | #Constraints: 23292
315.00/315.90 c #Conflicts: 128000 | #Constraints: 24292
315.00/315.90 c #Conflicts: 129000 | #Constraints: 25292
315.00/315.90 c #Conflicts: 130000 | #Constraints: 26292
315.00/315.90 c #Conflicts: 131000 | #Constraints: 27292
315.00/315.90 c INPROCESSING
315.00/315.90 c GARBAGE COLLECT
315.00/315.90 c #Conflicts: 132000 | #Constraints: 21073
315.00/315.90 c #Conflicts: 133000 | #Constraints: 22073
315.00/315.90 c #Conflicts: 134000 | #Constraints: 23073
315.00/315.90 c #Conflicts: 135000 | #Constraints: 24073
315.00/315.90 c #Conflicts: 136000 | #Constraints: 25073
315.00/315.90 c #Conflicts: 137000 | #Constraints: 26073
315.00/315.90 c #Conflicts: 138000 | #Constraints: 27073
315.00/315.90 c #Conflicts: 139000 | #Constraints: 28073
315.00/315.90 c INPROCESSING
315.00/315.90 c GARBAGE COLLECT
315.00/315.90 c #Conflicts: 140000 | #Constraints: 21687
490.96/492.31 c #Conflicts: 141000 | #Constraints: 22687
490.96/492.31 c #Conflicts: 142000 | #Constraints: 23687
490.96/492.31 c #Conflicts: 143000 | #Constraints: 24687
490.96/492.31 c #Conflicts: 144000 | #Constraints: 25687
490.96/492.31 c #Conflicts: 145000 | #Constraints: 26687
490.96/492.31 c #Conflicts: 146000 | #Constraints: 27687
490.96/492.31 c #Conflicts: 147000 | #Constraints: 28687
490.96/492.31 c INPROCESSING
490.96/492.31 c GARBAGE COLLECT
490.96/492.31 c #Conflicts: 148000 | #Constraints: 22097
490.96/492.31 c #Conflicts: 149000 | #Constraints: 23097
490.96/492.31 c #Conflicts: 150000 | #Constraints: 24097
490.96/492.31 c #Conflicts: 151000 | #Constraints: 25097
490.96/492.31 c #Conflicts: 152000 | #Constraints: 26097
490.96/492.31 c #Conflicts: 153000 | #Constraints: 27097
490.96/492.31 c #Conflicts: 154000 | #Constraints: 28097
490.96/492.31 c #Conflicts: 155000 | #Constraints: 29097
490.96/492.31 c INPROCESSING
490.96/492.31 c GARBAGE COLLECT
490.96/492.31 c #Conflicts: 156000 | #Constraints: 22322
490.96/492.31 c #Conflicts: 157000 | #Constraints: 23322
490.96/492.31 c #Conflicts: 158000 | #Constraints: 24322
490.96/492.31 c #Conflicts: 159000 | #Constraints: 25322
490.96/492.31 c #Conflicts: 160000 | #Constraints: 26322
490.96/492.31 c #Conflicts: 161000 | #Constraints: 27322
490.96/492.31 c #Conflicts: 162000 | #Constraints: 28322
490.96/492.31 c #Conflicts: 163000 | #Constraints: 29322
490.96/492.31 c INPROCESSING
490.96/492.31 c GARBAGE COLLECT
490.96/492.31 c #Conflicts: 164000 | #Constraints: 22318
490.96/492.31 c #Conflicts: 165000 | #Constraints: 23318
490.96/492.31 c #Conflicts: 166000 | #Constraints: 24318
490.96/492.31 c #Conflicts: 167000 | #Constraints: 25318
490.96/492.31 c #Conflicts: 168000 | #Constraints: 26318
490.96/492.31 c #Conflicts: 169000 | #Constraints: 27318
490.96/492.31 c #Conflicts: 170000 | #Constraints: 28318
490.96/492.31 c #Conflicts: 171000 | #Constraints: 29318
490.96/492.31 c INPROCESSING
490.96/492.31 c GARBAGE COLLECT
490.96/492.31 c #Conflicts: 172000 | #Constraints: 22080
490.96/492.31 c #Conflicts: 173000 | #Constraints: 23080
490.96/492.31 c #Conflicts: 174000 | #Constraints: 24080
490.96/492.31 c #Conflicts: 175000 | #Constraints: 25080
490.96/492.31 c #Conflicts: 176000 | #Constraints: 26080
490.96/492.31 c #Conflicts: 177000 | #Constraints: 27080
490.96/492.31 c #Conflicts: 178000 | #Constraints: 28080
490.96/492.31 c #Conflicts: 179000 | #Constraints: 29080
490.96/492.31 c #Conflicts: 180000 | #Constraints: 30080
490.96/492.31 c INPROCESSING
490.96/492.31 c GARBAGE COLLECT
490.96/492.31 c #Conflicts: 181000 | #Constraints: 22659
490.96/492.31 c #Conflicts: 182000 | #Constraints: 23659
490.96/492.31 c #Conflicts: 183000 | #Constraints: 24659
490.96/492.31 c #Conflicts: 184000 | #Constraints: 25659
490.96/492.31 c #Conflicts: 185000 | #Constraints: 26659
490.96/492.31 c #Conflicts: 186000 | #Constraints: 27659
490.96/492.31 c #Conflicts: 187000 | #Constraints: 28659
490.96/492.31 c #Conflicts: 188000 | #Constraints: 29659
490.96/492.31 c #Conflicts: 189000 | #Constraints: 30659
490.96/492.31 c INPROCESSING
490.96/492.31 c GARBAGE COLLECT
490.96/492.31 c #Conflicts: 190000 | #Constraints: 23072
490.96/492.31 c #Conflicts: 191000 | #Constraints: 24072
490.96/492.31 c #Conflicts: 192000 | #Constraints: 25072
490.96/492.31 c #Conflicts: 193000 | #Constraints: 26072
490.96/492.31 c #Conflicts: 194000 | #Constraints: 27072
490.96/492.31 c #Conflicts: 195000 | #Constraints: 28072
490.96/492.31 c #Conflicts: 196000 | #Constraints: 29072
490.96/492.31 c #Conflicts: 197000 | #Constraints: 30072
490.96/492.31 c #Conflicts: 198000 | #Constraints: 31072
490.96/492.31 c INPROCESSING
490.96/492.31 c GARBAGE COLLECT
490.96/492.31 c #Conflicts: 199000 | #Constraints: 23302
490.96/492.31 c #Conflicts: 200000 | #Constraints: 24302
490.96/492.31 c #Conflicts: 201000 | #Constraints: 25302
490.96/492.31 c #Conflicts: 202000 | #Constraints: 26302
490.96/492.31 c #Conflicts: 203000 | #Constraints: 27302
490.96/492.31 c #Conflicts: 204000 | #Constraints: 28302
490.96/492.31 c #Conflicts: 205000 | #Constraints: 29302
490.96/492.31 c #Conflicts: 206000 | #Constraints: 30303
490.96/492.31 c #Conflicts: 207000 | #Constraints: 31303
490.96/492.31 c INPROCESSING
490.96/492.31 c GARBAGE COLLECT
490.96/492.31 c #Conflicts: 208000 | #Constraints: 23298
490.96/492.31 c #Conflicts: 209000 | #Constraints: 24298
490.96/492.31 c #Conflicts: 210000 | #Constraints: 25298
490.96/492.31 c #Conflicts: 211000 | #Constraints: 26298
490.96/492.31 c #Conflicts: 212000 | #Constraints: 27298
490.96/492.31 c #Conflicts: 213000 | #Constraints: 28298
703.65/705.54 c #Conflicts: 214000 | #Constraints: 29298
703.65/705.54 c #Conflicts: 215000 | #Constraints: 30298
703.65/705.54 c #Conflicts: 216000 | #Constraints: 31298
703.65/705.54 c INPROCESSING
703.65/705.54 c GARBAGE COLLECT
703.65/705.54 c #Conflicts: 217000 | #Constraints: 23114
703.65/705.54 c #Conflicts: 218000 | #Constraints: 24114
703.65/705.54 c #Conflicts: 219000 | #Constraints: 25114
703.65/705.54 c #Conflicts: 220000 | #Constraints: 26114
703.65/705.54 c #Conflicts: 221000 | #Constraints: 27114
703.65/705.54 c #Conflicts: 222000 | #Constraints: 28114
703.65/705.54 c #Conflicts: 223000 | #Constraints: 29114
703.65/705.54 c #Conflicts: 224000 | #Constraints: 30114
703.65/705.54 c #Conflicts: 225000 | #Constraints: 31114
703.65/705.54 c #Conflicts: 226000 | #Constraints: 32114
703.65/705.54 c INPROCESSING
703.65/705.54 c GARBAGE COLLECT
703.65/705.54 c #Conflicts: 227000 | #Constraints: 23711
703.65/705.54 c #Conflicts: 228000 | #Constraints: 24711
703.65/705.54 c #Conflicts: 229000 | #Constraints: 25711
703.65/705.54 c #Conflicts: 230000 | #Constraints: 26711
703.65/705.54 c #Conflicts: 231000 | #Constraints: 27711
703.65/705.54 c #Conflicts: 232000 | #Constraints: 28711
703.65/705.54 c #Conflicts: 233000 | #Constraints: 29711
703.65/705.54 c #Conflicts: 234000 | #Constraints: 30711
703.65/705.54 c #Conflicts: 235000 | #Constraints: 31711
703.65/705.54 c #Conflicts: 236000 | #Constraints: 32711
703.65/705.54 c INPROCESSING
703.65/705.54 c GARBAGE COLLECT
703.65/705.54 c #Conflicts: 237000 | #Constraints: 24104
703.65/705.54 c #Conflicts: 238000 | #Constraints: 25104
703.65/705.54 c #Conflicts: 239000 | #Constraints: 26104
703.65/705.54 c #Conflicts: 240000 | #Constraints: 27104
703.65/705.54 c #Conflicts: 241000 | #Constraints: 28104
703.65/705.54 c #Conflicts: 242000 | #Constraints: 29104
703.65/705.54 c #Conflicts: 243000 | #Constraints: 30104
703.65/705.54 c #Conflicts: 244000 | #Constraints: 31104
703.65/705.54 c #Conflicts: 245000 | #Constraints: 32104
703.65/705.54 c #Conflicts: 246000 | #Constraints: 33104
703.65/705.54 c INPROCESSING
703.65/705.54 c GARBAGE COLLECT
703.65/705.54 c #Conflicts: 247000 | #Constraints: 24328
703.65/705.54 c #Conflicts: 248000 | #Constraints: 25328
703.65/705.54 c #Conflicts: 249000 | #Constraints: 26328
703.65/705.54 c #Conflicts: 250000 | #Constraints: 27328
703.65/705.54 c #Conflicts: 251000 | #Constraints: 28328
703.65/705.54 c #Conflicts: 252000 | #Constraints: 29328
703.65/705.54 c #Conflicts: 253000 | #Constraints: 30328
703.65/705.54 c #Conflicts: 254000 | #Constraints: 31328
703.65/705.54 c #Conflicts: 255000 | #Constraints: 32328
703.65/705.54 c #Conflicts: 256000 | #Constraints: 33328
703.65/705.54 c INPROCESSING
703.65/705.54 c GARBAGE COLLECT
703.65/705.54 c #Conflicts: 257000 | #Constraints: 24302
703.65/705.54 c #Conflicts: 258000 | #Constraints: 25302
703.65/705.54 c #Conflicts: 259000 | #Constraints: 26302
703.65/705.54 c #Conflicts: 260000 | #Constraints: 27302
703.65/705.54 c #Conflicts: 261000 | #Constraints: 28302
703.65/705.54 c #Conflicts: 262000 | #Constraints: 29302
703.65/705.54 c #Conflicts: 263000 | #Constraints: 30302
703.65/705.54 c #Conflicts: 264000 | #Constraints: 31302
703.65/705.54 c #Conflicts: 265000 | #Constraints: 32302
703.65/705.54 c #Conflicts: 266000 | #Constraints: 33302
703.65/705.54 c INPROCESSING
703.65/705.54 c GARBAGE COLLECT
703.65/705.54 c #Conflicts: 267000 | #Constraints: 24070
703.65/705.54 c #Conflicts: 268000 | #Constraints: 25070
703.65/705.54 c #Conflicts: 269000 | #Constraints: 26070
703.65/705.54 c #Conflicts: 270000 | #Constraints: 27070
703.65/705.54 c #Conflicts: 271000 | #Constraints: 28070
703.65/705.54 c #Conflicts: 272000 | #Constraints: 29070
703.65/705.54 c #Conflicts: 273000 | #Constraints: 30070
703.65/705.54 c #Conflicts: 274000 | #Constraints: 31070
703.65/705.54 c #Conflicts: 275000 | #Constraints: 32070
703.65/705.54 c #Conflicts: 276000 | #Constraints: 33070
703.65/705.54 c #Conflicts: 277000 | #Constraints: 34070
703.65/705.54 c INPROCESSING
703.65/705.54 c GARBAGE COLLECT
703.65/705.54 c #Conflicts: 278000 | #Constraints: 24649
703.65/705.54 c #Conflicts: 279000 | #Constraints: 25649
703.65/705.54 c #Conflicts: 280000 | #Constraints: 26649
703.65/705.54 c #Conflicts: 281000 | #Constraints: 27649
703.65/705.54 c #Conflicts: 282000 | #Constraints: 28649
703.65/705.54 c #Conflicts: 283000 | #Constraints: 29649
703.65/705.54 c #Conflicts: 284000 | #Constraints: 30649
703.65/705.54 c #Conflicts: 285000 | #Constraints: 31649
703.65/705.54 c #Conflicts: 286000 | #Constraints: 32649
703.65/705.54 c #Conflicts: 287000 | #Constraints: 33649
703.65/705.54 c #Conflicts: 288000 | #Constraints: 34649
915.25/917.64 c INPROCESSING
915.25/917.64 c GARBAGE COLLECT
915.25/917.64 c #Conflicts: 289000 | #Constraints: 25051
915.25/917.64 c #Conflicts: 290000 | #Constraints: 26051
915.25/917.64 c #Conflicts: 291000 | #Constraints: 27051
915.25/917.64 c #Conflicts: 292000 | #Constraints: 28051
915.25/917.64 c #Conflicts: 293000 | #Constraints: 29051
915.25/917.64 c #Conflicts: 294000 | #Constraints: 30051
915.25/917.64 c #Conflicts: 295000 | #Constraints: 31051
915.25/917.64 c #Conflicts: 296000 | #Constraints: 32051
915.25/917.64 c #Conflicts: 297000 | #Constraints: 33051
915.25/917.64 c #Conflicts: 298000 | #Constraints: 34051
915.25/917.64 c #Conflicts: 299000 | #Constraints: 35051
915.25/917.64 c INPROCESSING
915.25/917.64 c GARBAGE COLLECT
915.25/917.64 c #Conflicts: 300000 | #Constraints: 25266
915.25/917.64 c #Conflicts: 301000 | #Constraints: 26266
915.25/917.64 c #Conflicts: 302000 | #Constraints: 27266
915.25/917.64 c #Conflicts: 303000 | #Constraints: 28266
915.25/917.64 c #Conflicts: 304000 | #Constraints: 29266
915.25/917.64 c #Conflicts: 305000 | #Constraints: 30266
915.25/917.64 c #Conflicts: 306000 | #Constraints: 31266
915.25/917.64 c #Conflicts: 307000 | #Constraints: 32266
915.25/917.64 c #Conflicts: 308000 | #Constraints: 33266
915.25/917.64 c #Conflicts: 309000 | #Constraints: 34266
915.25/917.64 c #Conflicts: 310000 | #Constraints: 35266
915.25/917.64 c INPROCESSING
915.25/917.64 c GARBAGE COLLECT
915.25/917.64 c #Conflicts: 311000 | #Constraints: 25267
915.25/917.64 c #Conflicts: 312000 | #Constraints: 26267
915.25/917.64 c #Conflicts: 313000 | #Constraints: 27267
915.25/917.64 c #Conflicts: 314000 | #Constraints: 28267
915.25/917.64 c #Conflicts: 315000 | #Constraints: 29267
915.25/917.64 c #Conflicts: 316000 | #Constraints: 30267
915.25/917.64 c #Conflicts: 317000 | #Constraints: 31267
915.25/917.64 c #Conflicts: 318000 | #Constraints: 32267
915.25/917.64 c #Conflicts: 319000 | #Constraints: 33267
915.25/917.64 c #Conflicts: 320000 | #Constraints: 34267
915.25/917.64 c #Conflicts: 321000 | #Constraints: 35267
915.25/917.64 c INPROCESSING
915.25/917.64 c GARBAGE COLLECT
915.25/917.64 c #Conflicts: 322000 | #Constraints: 25086
915.25/917.64 c #Conflicts: 323000 | #Constraints: 26086
915.25/917.64 c #Conflicts: 324000 | #Constraints: 27086
915.25/917.64 c #Conflicts: 325000 | #Constraints: 28086
915.25/917.64 c #Conflicts: 326000 | #Constraints: 29086
915.25/917.64 c #Conflicts: 327000 | #Constraints: 30086
915.25/917.64 c #Conflicts: 328000 | #Constraints: 31087
915.25/917.64 c #Conflicts: 329000 | #Constraints: 32087
915.25/917.64 c #Conflicts: 330000 | #Constraints: 33087
915.25/917.64 c #Conflicts: 331000 | #Constraints: 34087
915.25/917.64 c #Conflicts: 332000 | #Constraints: 35087
915.25/917.64 c #Conflicts: 333000 | #Constraints: 36087
915.25/917.64 c INPROCESSING
915.25/917.64 c GARBAGE COLLECT
915.25/917.64 c #Conflicts: 334000 | #Constraints: 25663
915.25/917.64 c #Conflicts: 335000 | #Constraints: 26663
915.25/917.64 c #Conflicts: 336000 | #Constraints: 27663
915.25/917.64 c #Conflicts: 337000 | #Constraints: 28663
915.25/917.64 c #Conflicts: 338000 | #Constraints: 29663
915.25/917.64 c #Conflicts: 339000 | #Constraints: 30663
915.25/917.64 c #Conflicts: 340000 | #Constraints: 31663
915.25/917.64 c #Conflicts: 341000 | #Constraints: 32663
915.25/917.64 c #Conflicts: 342000 | #Constraints: 33663
915.25/917.64 c #Conflicts: 343000 | #Constraints: 34663
915.25/917.64 c #Conflicts: 344000 | #Constraints: 35663
915.25/917.64 c #Conflicts: 345000 | #Constraints: 36663
915.25/917.64 c INPROCESSING
915.25/917.64 c GARBAGE COLLECT
915.25/917.64 c #Conflicts: 346000 | #Constraints: 26034
915.25/917.64 c #Conflicts: 347000 | #Constraints: 27034
915.25/917.64 c #Conflicts: 348000 | #Constraints: 28034
915.25/917.64 c #Conflicts: 349000 | #Constraints: 29034
915.25/917.64 c #Conflicts: 350000 | #Constraints: 30034
915.25/917.64 c #Conflicts: 351000 | #Constraints: 31034
915.25/917.64 c #Conflicts: 352000 | #Constraints: 32034
915.25/917.64 c #Conflicts: 353000 | #Constraints: 33034
915.25/917.64 c #Conflicts: 354000 | #Constraints: 34034
915.25/917.64 c #Conflicts: 355000 | #Constraints: 35034
915.25/917.64 c #Conflicts: 356000 | #Constraints: 36034
915.25/917.64 c #Conflicts: 357000 | #Constraints: 37034
915.25/917.64 c INPROCESSING
915.25/917.64 c GARBAGE COLLECT
915.25/917.64 c #Conflicts: 358000 | #Constraints: 26236
915.25/917.64 c #Conflicts: 359000 | #Constraints: 27236
915.25/917.64 c #Conflicts: 360000 | #Constraints: 28236
915.25/917.64 c #Conflicts: 361000 | #Constraints: 29236
915.25/917.64 c #Conflicts: 362000 | #Constraints: 30236
1118.54/1121.44 c #Conflicts: 363000 | #Constraints: 31236
1118.54/1121.44 c #Conflicts: 364000 | #Constraints: 32236
1118.54/1121.44 c #Conflicts: 365000 | #Constraints: 33236
1118.54/1121.44 c #Conflicts: 366000 | #Constraints: 34236
1118.54/1121.44 c #Conflicts: 367000 | #Constraints: 35236
1118.54/1121.44 c #Conflicts: 368000 | #Constraints: 36236
1118.54/1121.44 c #Conflicts: 369000 | #Constraints: 37236
1118.54/1121.44 c INPROCESSING
1118.54/1121.44 c GARBAGE COLLECT
1118.54/1121.44 c #Conflicts: 370000 | #Constraints: 26236
1118.54/1121.44 c #Conflicts: 371000 | #Constraints: 27236
1118.54/1121.44 c #Conflicts: 372000 | #Constraints: 28236
1118.54/1121.44 c #Conflicts: 373000 | #Constraints: 29236
1118.54/1121.44 c #Conflicts: 374000 | #Constraints: 30236
1118.54/1121.44 c #Conflicts: 375000 | #Constraints: 31236
1118.54/1121.44 c #Conflicts: 376000 | #Constraints: 32236
1118.54/1121.44 c #Conflicts: 377000 | #Constraints: 33236
1118.54/1121.44 c #Conflicts: 378000 | #Constraints: 34236
1118.54/1121.44 c #Conflicts: 379000 | #Constraints: 35236
1118.54/1121.44 c #Conflicts: 380000 | #Constraints: 36236
1118.54/1121.44 c #Conflicts: 381000 | #Constraints: 37236
1118.54/1121.44 c INPROCESSING
1118.54/1121.44 c GARBAGE COLLECT
1118.54/1121.44 c #Conflicts: 382000 | #Constraints: 26045
1118.54/1121.44 c #Conflicts: 383000 | #Constraints: 27045
1118.54/1121.44 c #Conflicts: 384000 | #Constraints: 28045
1118.54/1121.44 c #Conflicts: 385000 | #Constraints: 29045
1118.54/1121.44 c #Conflicts: 386000 | #Constraints: 30045
1118.54/1121.44 c #Conflicts: 387000 | #Constraints: 31045
1118.54/1121.44 c #Conflicts: 388000 | #Constraints: 32045
1118.54/1121.44 c #Conflicts: 389000 | #Constraints: 33045
1118.54/1121.44 c #Conflicts: 390000 | #Constraints: 34045
1118.54/1121.44 c #Conflicts: 391000 | #Constraints: 35045
1118.54/1121.44 c #Conflicts: 392000 | #Constraints: 36045
1118.54/1121.44 c #Conflicts: 393000 | #Constraints: 37045
1118.54/1121.44 c #Conflicts: 394000 | #Constraints: 38045
1118.54/1121.44 c INPROCESSING
1118.54/1121.44 c GARBAGE COLLECT
1118.54/1121.44 c #Conflicts: 395000 | #Constraints: 26618
1118.54/1121.44 c #Conflicts: 396000 | #Constraints: 27618
1118.54/1121.44 c #Conflicts: 397000 | #Constraints: 28618
1118.54/1121.44 c #Conflicts: 398000 | #Constraints: 29618
1118.54/1121.44 c #Conflicts: 399000 | #Constraints: 30618
1118.54/1121.44 c #Conflicts: 400000 | #Constraints: 31618
1118.54/1121.44 c #Conflicts: 401000 | #Constraints: 32618
1118.54/1121.44 c #Conflicts: 402000 | #Constraints: 33618
1118.54/1121.44 c #Conflicts: 403000 | #Constraints: 34618
1118.54/1121.44 c #Conflicts: 404000 | #Constraints: 35618
1118.54/1121.44 c #Conflicts: 405000 | #Constraints: 36618
1118.54/1121.44 c #Conflicts: 406000 | #Constraints: 37618
1118.54/1121.44 c #Conflicts: 407000 | #Constraints: 38618
1118.54/1121.44 c INPROCESSING
1118.54/1121.44 c GARBAGE COLLECT
1118.54/1121.44 c #Conflicts: 408000 | #Constraints: 26971
1118.54/1121.44 c #Conflicts: 409000 | #Constraints: 27971
1118.54/1121.44 c #Conflicts: 410000 | #Constraints: 28971
1118.54/1121.44 c #Conflicts: 411000 | #Constraints: 29971
1118.54/1121.44 c #Conflicts: 412000 | #Constraints: 30971
1118.54/1121.44 c #Conflicts: 413000 | #Constraints: 31971
1118.54/1121.44 c #Conflicts: 414000 | #Constraints: 32971
1118.54/1121.44 c #Conflicts: 415000 | #Constraints: 33971
1118.54/1121.44 c #Conflicts: 416000 | #Constraints: 34971
1118.54/1121.44 c #Conflicts: 417000 | #Constraints: 35971
1118.54/1121.44 c #Conflicts: 418000 | #Constraints: 36971
1118.54/1121.44 c #Conflicts: 419000 | #Constraints: 37971
1118.54/1121.44 c #Conflicts: 420000 | #Constraints: 38971
1118.54/1121.44 c INPROCESSING
1118.54/1121.44 c GARBAGE COLLECT
1118.54/1121.44 c #Conflicts: 421000 | #Constraints: 27114
1118.54/1121.44 c #Conflicts: 422000 | #Constraints: 28114
1118.54/1121.44 c #Conflicts: 423000 | #Constraints: 29114
1118.54/1121.44 c #Conflicts: 424000 | #Constraints: 30114
1118.54/1121.44 c #Conflicts: 425000 | #Constraints: 31114
1118.54/1121.44 c #Conflicts: 426000 | #Constraints: 32114
1118.54/1121.44 c #Conflicts: 427000 | #Constraints: 33114
1118.54/1121.44 c #Conflicts: 428000 | #Constraints: 34114
1118.54/1121.44 c #Conflicts: 429000 | #Constraints: 35114
1118.54/1121.44 c #Conflicts: 430000 | #Constraints: 36114
1118.54/1121.44 c #Conflicts: 431000 | #Constraints: 37114
1118.54/1121.44 c #Conflicts: 432000 | #Constraints: 38114
1118.54/1121.44 c #Conflicts: 433000 | #Constraints: 39114
1118.54/1121.44 c INPROCESSING
1118.54/1121.44 c GARBAGE COLLECT
1118.54/1121.44 c #Conflicts: 434000 | #Constraints: 27110
1118.54/1121.44 c #Conflicts: 435000 | #Constraints: 28110
1118.54/1121.44 c #Conflicts: 436000 | #Constraints: 29110
1118.54/1121.44 c #Conflicts: 437000 | #Constraints: 30110
1411.62/1415.23 c #Conflicts: 438000 | #Constraints: 31110
1411.62/1415.23 c #Conflicts: 439000 | #Constraints: 32110
1411.62/1415.23 c #Conflicts: 440000 | #Constraints: 33111
1411.62/1415.23 c #Conflicts: 441000 | #Constraints: 34111
1411.62/1415.23 c #Conflicts: 442000 | #Constraints: 35111
1411.62/1415.23 c #Conflicts: 443000 | #Constraints: 36111
1411.62/1415.23 c #Conflicts: 444000 | #Constraints: 37111
1411.62/1415.23 c #Conflicts: 445000 | #Constraints: 38111
1411.62/1415.23 c #Conflicts: 446000 | #Constraints: 39111
1411.62/1415.23 c INPROCESSING
1411.62/1415.23 c GARBAGE COLLECT
1411.62/1415.23 c #Conflicts: 447000 | #Constraints: 26941
1411.62/1415.23 c #Conflicts: 448000 | #Constraints: 27941
1411.62/1415.23 c #Conflicts: 449000 | #Constraints: 28941
1411.62/1415.23 c #Conflicts: 450000 | #Constraints: 29941
1411.62/1415.23 c #Conflicts: 451000 | #Constraints: 30941
1411.62/1415.23 c #Conflicts: 452000 | #Constraints: 31941
1411.62/1415.23 c #Conflicts: 453000 | #Constraints: 32941
1411.62/1415.23 c #Conflicts: 454000 | #Constraints: 33941
1411.62/1415.23 c #Conflicts: 455000 | #Constraints: 34941
1411.62/1415.23 c #Conflicts: 456000 | #Constraints: 35941
1411.62/1415.23 c #Conflicts: 457000 | #Constraints: 36941
1411.62/1415.23 c #Conflicts: 458000 | #Constraints: 37941
1411.62/1415.23 c #Conflicts: 459000 | #Constraints: 38941
1411.62/1415.23 c #Conflicts: 460000 | #Constraints: 39941
1411.62/1415.23 c INPROCESSING
1411.62/1415.23 c GARBAGE COLLECT
1411.62/1415.23 c #Conflicts: 461000 | #Constraints: 27561
1411.62/1415.23 c #Conflicts: 462000 | #Constraints: 28561
1411.62/1415.23 c #Conflicts: 463000 | #Constraints: 29561
1411.62/1415.23 c #Conflicts: 464000 | #Constraints: 30561
1411.62/1415.23 c #Conflicts: 465000 | #Constraints: 31561
1411.62/1415.23 c #Conflicts: 466000 | #Constraints: 32561
1411.62/1415.23 c #Conflicts: 467000 | #Constraints: 33561
1411.62/1415.23 c #Conflicts: 468000 | #Constraints: 34561
1411.62/1415.23 c #Conflicts: 469000 | #Constraints: 35561
1411.62/1415.23 c #Conflicts: 470000 | #Constraints: 36561
1411.62/1415.23 c #Conflicts: 471000 | #Constraints: 37561
1411.62/1415.23 c #Conflicts: 472000 | #Constraints: 38561
1411.62/1415.23 c #Conflicts: 473000 | #Constraints: 39561
1411.62/1415.23 c #Conflicts: 474000 | #Constraints: 40561
1411.62/1415.23 c INPROCESSING
1411.62/1415.23 c GARBAGE COLLECT
1411.62/1415.23 c #Conflicts: 475000 | #Constraints: 27968
1411.62/1415.23 c #Conflicts: 476000 | #Constraints: 28968
1411.62/1415.23 c #Conflicts: 477000 | #Constraints: 29968
1411.62/1415.23 c #Conflicts: 478000 | #Constraints: 30968
1411.62/1415.23 c #Conflicts: 479000 | #Constraints: 31968
1411.62/1415.23 c #Conflicts: 480000 | #Constraints: 32968
1411.62/1415.23 c #Conflicts: 481000 | #Constraints: 33968
1411.62/1415.23 c #Conflicts: 482000 | #Constraints: 34968
1411.62/1415.23 c #Conflicts: 483000 | #Constraints: 35968
1411.62/1415.23 c #Conflicts: 484000 | #Constraints: 36968
1411.62/1415.23 c #Conflicts: 485000 | #Constraints: 37968
1411.62/1415.23 c #Conflicts: 486000 | #Constraints: 38968
1411.62/1415.23 c #Conflicts: 487000 | #Constraints: 39968
1411.62/1415.23 c #Conflicts: 488000 | #Constraints: 40968
1411.62/1415.23 c INPROCESSING
1411.62/1415.23 c GARBAGE COLLECT
1411.62/1415.23 c #Conflicts: 489000 | #Constraints: 28183
1411.62/1415.23 c #Conflicts: 490000 | #Constraints: 29183
1411.62/1415.23 c #Conflicts: 491000 | #Constraints: 30183
1411.62/1415.23 c #Conflicts: 492000 | #Constraints: 31183
1411.62/1415.23 c #Conflicts: 493000 | #Constraints: 32183
1411.62/1415.23 c #Conflicts: 494000 | #Constraints: 33183
1411.62/1415.23 c #Conflicts: 495000 | #Constraints: 34183
1411.62/1415.23 c #Conflicts: 496000 | #Constraints: 35183
1411.62/1415.23 c #Conflicts: 497000 | #Constraints: 36184
1411.62/1415.23 c #Conflicts: 498000 | #Constraints: 37184
1411.62/1415.23 c #Conflicts: 499000 | #Constraints: 38184
1411.62/1415.23 c #Conflicts: 500000 | #Constraints: 39184
1411.62/1415.23 c #Conflicts: 501000 | #Constraints: 40184
1411.62/1415.23 c #Conflicts: 502000 | #Constraints: 41184
1411.62/1415.23 c INPROCESSING
1411.62/1415.23 c GARBAGE COLLECT
1411.62/1415.23 c #Conflicts: 503000 | #Constraints: 28182
1411.62/1415.23 c #Conflicts: 504000 | #Constraints: 29182
1411.62/1415.23 c #Conflicts: 505000 | #Constraints: 30182
1411.62/1415.23 c #Conflicts: 506000 | #Constraints: 31182
1411.62/1415.23 c #Conflicts: 507000 | #Constraints: 32182
1411.62/1415.23 c #Conflicts: 508000 | #Constraints: 33182
1411.62/1415.23 c #Conflicts: 509000 | #Constraints: 34182
1411.62/1415.23 c #Conflicts: 510000 | #Constraints: 35182
1411.62/1415.23 c #Conflicts: 511000 | #Constraints: 36182
1411.62/1415.23 c #Conflicts: 512000 | #Constraints: 37182
1411.62/1415.23 c #Conflicts: 513000 | #Constraints: 38182
1501.27/1505.13 c #Conflicts: 514000 | #Constraints: 39182
1501.27/1505.13 c #Conflicts: 515000 | #Constraints: 40182
1501.27/1505.13 c #Conflicts: 516000 | #Constraints: 41182
1501.27/1505.13 c INPROCESSING
1501.27/1505.13 c GARBAGE COLLECT
1501.27/1505.13 c #Conflicts: 517000 | #Constraints: 27925
1501.27/1505.13 c #Conflicts: 518000 | #Constraints: 28925
1501.27/1505.13 c #Conflicts: 519000 | #Constraints: 29925
1501.27/1505.13 c #Conflicts: 520000 | #Constraints: 30925
1501.27/1505.13 c #Conflicts: 521000 | #Constraints: 31925
1501.27/1505.13 c #Conflicts: 522000 | #Constraints: 32925
1501.27/1505.13 c #Conflicts: 523000 | #Constraints: 33925
1501.27/1505.13 c #Conflicts: 524000 | #Constraints: 34925
1501.27/1505.13 c #Conflicts: 525000 | #Constraints: 35925
1501.27/1505.13 c #Conflicts: 526000 | #Constraints: 36925
1501.27/1505.13 c #Conflicts: 527000 | #Constraints: 37925
1501.27/1505.13 c #Conflicts: 528000 | #Constraints: 38925
1501.27/1505.13 c #Conflicts: 529000 | #Constraints: 39925
1501.27/1505.13 c #Conflicts: 530000 | #Constraints: 40925
1501.27/1505.13 c #Conflicts: 531000 | #Constraints: 41925
1501.27/1505.13 c INPROCESSING
1501.27/1505.13 c GARBAGE COLLECT
1501.27/1505.13 c rational objective 1596.87
1719.47/1723.93 c #Conflicts: 532000 | #Constraints: 28509
1719.47/1723.93 c #Conflicts: 533000 | #Constraints: 29509
1719.47/1723.93 c #Conflicts: 534000 | #Constraints: 30509
1719.47/1723.93 c #Conflicts: 535000 | #Constraints: 31509
1719.47/1723.93 c #Conflicts: 536000 | #Constraints: 32509
1719.47/1723.93 c #Conflicts: 537000 | #Constraints: 33509
1719.47/1723.93 c #Conflicts: 538000 | #Constraints: 34509
1719.47/1723.93 c #Conflicts: 539000 | #Constraints: 35509
1719.47/1723.93 c #Conflicts: 540000 | #Constraints: 36509
1719.47/1723.93 c #Conflicts: 541000 | #Constraints: 37509
1719.47/1723.93 c #Conflicts: 542000 | #Constraints: 38509
1719.47/1723.93 c #Conflicts: 543000 | #Constraints: 39509
1719.47/1723.93 c #Conflicts: 544000 | #Constraints: 40509
1719.47/1723.93 c #Conflicts: 545000 | #Constraints: 41509
1719.47/1723.93 c #Conflicts: 546000 | #Constraints: 42509
1719.47/1723.93 c INPROCESSING
1719.47/1723.93 c GARBAGE COLLECT
1719.47/1723.93 c #Conflicts: 547000 | #Constraints: 28897
1719.47/1723.93 c #Conflicts: 548000 | #Constraints: 29897
1719.47/1723.93 c #Conflicts: 549000 | #Constraints: 30897
1719.47/1723.93 c #Conflicts: 550000 | #Constraints: 31897
1719.47/1723.93 c #Conflicts: 551000 | #Constraints: 32897
1719.47/1723.93 c #Conflicts: 552000 | #Constraints: 33897
1719.47/1723.93 c #Conflicts: 553000 | #Constraints: 34897
1719.47/1723.93 c #Conflicts: 554000 | #Constraints: 35897
1719.47/1723.93 c #Conflicts: 555000 | #Constraints: 36897
1719.47/1723.93 c #Conflicts: 556000 | #Constraints: 37897
1719.47/1723.93 c #Conflicts: 557000 | #Constraints: 38897
1719.47/1723.93 c #Conflicts: 558000 | #Constraints: 39897
1719.47/1723.93 c #Conflicts: 559000 | #Constraints: 40897
1719.47/1723.93 c #Conflicts: 560000 | #Constraints: 41897
1719.47/1723.93 c #Conflicts: 561000 | #Constraints: 42897
1719.47/1723.93 c INPROCESSING
1719.47/1723.93 c GARBAGE COLLECT
1719.47/1723.93 c #Conflicts: 562000 | #Constraints: 29103
1719.47/1723.93 c #Conflicts: 563000 | #Constraints: 30103
1719.47/1723.93 c #Conflicts: 564000 | #Constraints: 31104
1719.47/1723.93 c #Conflicts: 565000 | #Constraints: 32104
1719.47/1723.93 c #Conflicts: 566000 | #Constraints: 33104
1719.47/1723.93 c #Conflicts: 567000 | #Constraints: 34104
1719.47/1723.93 c #Conflicts: 568000 | #Constraints: 35104
1719.47/1723.93 c #Conflicts: 569000 | #Constraints: 36104
1719.47/1723.93 c #Conflicts: 570000 | #Constraints: 37104
1719.47/1723.93 c #Conflicts: 571000 | #Constraints: 38104
1719.47/1723.93 c #Conflicts: 572000 | #Constraints: 39104
1719.47/1723.93 c #Conflicts: 573000 | #Constraints: 40104
1719.47/1723.93 c #Conflicts: 574000 | #Constraints: 41104
1719.47/1723.93 c #Conflicts: 575000 | #Constraints: 42104
1719.47/1723.93 c #Conflicts: 576000 | #Constraints: 43104
1719.47/1723.93 c INPROCESSING
1719.47/1723.93 c GARBAGE COLLECT
1719.47/1723.93 c #Conflicts: 577000 | #Constraints: 29101
1719.47/1723.93 c #Conflicts: 578000 | #Constraints: 30101
1719.47/1723.93 c #Conflicts: 579000 | #Constraints: 31101
1719.47/1723.93 c #Conflicts: 580000 | #Constraints: 32101
1719.47/1723.93 c #Conflicts: 581000 | #Constraints: 33101
1719.47/1723.93 c #Conflicts: 582000 | #Constraints: 34101
1719.47/1723.93 c #Conflicts: 583000 | #Constraints: 35101
1719.47/1723.93 c #Conflicts: 584000 | #Constraints: 36101
1719.47/1723.93 c #Conflicts: 585000 | #Constraints: 37101
1719.47/1723.93 c #Conflicts: 586000 | #Constraints: 38101
1719.47/1723.93 c #Conflicts: 587000 | #Constraints: 39101
1719.47/1723.93 c #Conflicts: 588000 | #Constraints: 40101
1719.47/1723.93 c #Conflicts: 589000 | #Constraints: 41101
1719.47/1723.93 c #Conflicts: 590000 | #Constraints: 42101
1719.47/1723.93 c #Conflicts: 591000 | #Constraints: 43101
1719.47/1723.93 c INPROCESSING
1719.47/1723.93 c GARBAGE COLLECT
1719.47/1723.93 c #Conflicts: 592000 | #Constraints: 28911
1719.47/1723.93 c #Conflicts: 593000 | #Constraints: 29911
1719.47/1723.93 c #Conflicts: 594000 | #Constraints: 30911
1719.47/1723.93 c #Conflicts: 595000 | #Constraints: 31911
1719.47/1723.93 c #Conflicts: 596000 | #Constraints: 32911
1719.47/1723.93 c #Conflicts: 597000 | #Constraints: 33911
1719.47/1723.93 c #Conflicts: 598000 | #Constraints: 34911
1719.47/1723.93 c #Conflicts: 599000 | #Constraints: 35911
1719.47/1723.93 c #Conflicts: 600000 | #Constraints: 36911
1719.47/1723.93 c #Conflicts: 601000 | #Constraints: 37911
1719.47/1723.93 c #Conflicts: 602000 | #Constraints: 38911
1719.47/1723.93 c #Conflicts: 603000 | #Constraints: 39911
1719.47/1723.93 c #Conflicts: 604000 | #Constraints: 40911
1719.47/1723.93 c #Conflicts: 605000 | #Constraints: 41911
1719.47/1723.93 c #Conflicts: 606000 | #Constraints: 42911
1719.47/1723.93 c #Conflicts: 607000 | #Constraints: 43911
1719.47/1723.93 c INPROCESSING
1948.15/1953.23 c GARBAGE COLLECT
1948.15/1953.23 c #Conflicts: 608000 | #Constraints: 29512
1948.15/1953.23 c #Conflicts: 609000 | #Constraints: 30512
1948.15/1953.23 c #Conflicts: 610000 | #Constraints: 31512
1948.15/1953.23 c #Conflicts: 611000 | #Constraints: 32512
1948.15/1953.23 c #Conflicts: 612000 | #Constraints: 33512
1948.15/1953.23 c #Conflicts: 613000 | #Constraints: 34512
1948.15/1953.23 c #Conflicts: 614000 | #Constraints: 35512
1948.15/1953.23 c #Conflicts: 615000 | #Constraints: 36512
1948.15/1953.23 c #Conflicts: 616000 | #Constraints: 37512
1948.15/1953.23 c #Conflicts: 617000 | #Constraints: 38512
1948.15/1953.23 c #Conflicts: 618000 | #Constraints: 39512
1948.15/1953.23 c #Conflicts: 619000 | #Constraints: 40512
1948.15/1953.23 c #Conflicts: 620000 | #Constraints: 41512
1948.15/1953.23 c #Conflicts: 621000 | #Constraints: 42512
1948.15/1953.23 c #Conflicts: 622000 | #Constraints: 43512
1948.15/1953.23 c #Conflicts: 623000 | #Constraints: 44512
1948.15/1953.23 c INPROCESSING
1948.15/1953.23 c GARBAGE COLLECT
1948.15/1953.23 c #Conflicts: 624000 | #Constraints: 29926
1948.15/1953.23 c #Conflicts: 625000 | #Constraints: 30926
1948.15/1953.23 c #Conflicts: 626000 | #Constraints: 31926
1948.15/1953.23 c #Conflicts: 627000 | #Constraints: 32926
1948.15/1953.23 c #Conflicts: 628000 | #Constraints: 33926
1948.15/1953.23 c #Conflicts: 629000 | #Constraints: 34926
1948.15/1953.23 c #Conflicts: 630000 | #Constraints: 35926
1948.15/1953.23 c #Conflicts: 631000 | #Constraints: 36926
1948.15/1953.23 c #Conflicts: 632000 | #Constraints: 37926
1948.15/1953.23 c #Conflicts: 633000 | #Constraints: 38926
1948.15/1953.23 c #Conflicts: 634000 | #Constraints: 39926
1948.15/1953.23 c #Conflicts: 635000 | #Constraints: 40926
1948.15/1953.23 c #Conflicts: 636000 | #Constraints: 41926
1948.15/1953.23 c #Conflicts: 637000 | #Constraints: 42926
1948.15/1953.23 c #Conflicts: 638000 | #Constraints: 43926
1948.15/1953.23 c #Conflicts: 639000 | #Constraints: 44926
1948.15/1953.23 c INPROCESSING
1948.15/1953.23 c GARBAGE COLLECT
1948.15/1953.23 c #Conflicts: 640000 | #Constraints: 30106
1948.15/1953.23 c #Conflicts: 641000 | #Constraints: 31106
1948.15/1953.23 c #Conflicts: 642000 | #Constraints: 32106
1948.15/1953.23 c #Conflicts: 643000 | #Constraints: 33106
1948.15/1953.23 c #Conflicts: 644000 | #Constraints: 34106
1948.15/1953.23 c #Conflicts: 645000 | #Constraints: 35106
1948.15/1953.23 c #Conflicts: 646000 | #Constraints: 36106
1948.15/1953.23 c #Conflicts: 647000 | #Constraints: 37106
1948.15/1953.23 c #Conflicts: 648000 | #Constraints: 38106
1948.15/1953.23 c #Conflicts: 649000 | #Constraints: 39106
1948.15/1953.23 c #Conflicts: 650000 | #Constraints: 40106
1948.15/1953.23 c #Conflicts: 651000 | #Constraints: 41106
1948.15/1953.23 c #Conflicts: 652000 | #Constraints: 42106
1948.15/1953.23 c #Conflicts: 653000 | #Constraints: 43106
1948.15/1953.23 c #Conflicts: 654000 | #Constraints: 44106
1948.15/1953.23 c #Conflicts: 655000 | #Constraints: 45106
1948.15/1953.23 c INPROCESSING
1948.15/1953.23 c GARBAGE COLLECT
1948.15/1953.23 c #Conflicts: 656000 | #Constraints: 30114
1948.15/1953.23 c #Conflicts: 657000 | #Constraints: 31114
1948.15/1953.23 c #Conflicts: 658000 | #Constraints: 32114
1948.15/1953.23 c #Conflicts: 659000 | #Constraints: 33114
1948.15/1953.23 c #Conflicts: 660000 | #Constraints: 34114
1948.15/1953.23 c #Conflicts: 661000 | #Constraints: 35114
1948.15/1953.23 c #Conflicts: 662000 | #Constraints: 36114
1948.15/1953.23 c #Conflicts: 663000 | #Constraints: 37114
1948.15/1953.23 c #Conflicts: 664000 | #Constraints: 38114
1948.15/1953.23 c #Conflicts: 665000 | #Constraints: 39114
1948.15/1953.23 c #Conflicts: 666000 | #Constraints: 40114
1948.15/1953.23 c #Conflicts: 667000 | #Constraints: 41114
1948.15/1953.23 c #Conflicts: 668000 | #Constraints: 42114
1948.15/1953.23 c #Conflicts: 669000 | #Constraints: 43114
1948.15/1953.23 c #Conflicts: 670000 | #Constraints: 44114
1948.15/1953.23 c #Conflicts: 671000 | #Constraints: 45115
1948.15/1953.23 c INPROCESSING
1948.15/1953.23 c GARBAGE COLLECT
1948.15/1953.23 c #Conflicts: 672000 | #Constraints: 29853
1948.15/1953.23 c #Conflicts: 673000 | #Constraints: 30853
1948.15/1953.23 c #Conflicts: 674000 | #Constraints: 31853
1948.15/1953.23 c #Conflicts: 675000 | #Constraints: 32853
1948.15/1953.23 c #Conflicts: 676000 | #Constraints: 33853
1948.15/1953.23 c #Conflicts: 677000 | #Constraints: 34853
1948.15/1953.23 c #Conflicts: 678000 | #Constraints: 35853
1948.15/1953.23 c #Conflicts: 679000 | #Constraints: 36853
1948.15/1953.23 c #Conflicts: 680000 | #Constraints: 37853
1948.15/1953.23 c #Conflicts: 681000 | #Constraints: 38853
1948.15/1953.23 c #Conflicts: 682000 | #Constraints: 39853
1948.15/1953.23 c #Conflicts: 683000 | #Constraints: 40853
2198.46/2204.14 c #Conflicts: 684000 | #Constraints: 41853
2198.46/2204.14 c #Conflicts: 685000 | #Constraints: 42853
2198.46/2204.14 c #Conflicts: 686000 | #Constraints: 43853
2198.46/2204.14 c #Conflicts: 687000 | #Constraints: 44853
2198.46/2204.14 c #Conflicts: 688000 | #Constraints: 45853
2198.46/2204.14 c INPROCESSING
2198.46/2204.14 c GARBAGE COLLECT
2198.46/2204.14 c #Conflicts: 689000 | #Constraints: 30462
2198.46/2204.14 c #Conflicts: 690000 | #Constraints: 31462
2198.46/2204.14 c #Conflicts: 691000 | #Constraints: 32462
2198.46/2204.14 c #Conflicts: 692000 | #Constraints: 33462
2198.46/2204.14 c #Conflicts: 693000 | #Constraints: 34462
2198.46/2204.14 c #Conflicts: 694000 | #Constraints: 35462
2198.46/2204.14 c #Conflicts: 695000 | #Constraints: 36462
2198.46/2204.14 c #Conflicts: 696000 | #Constraints: 37462
2198.46/2204.14 c #Conflicts: 697000 | #Constraints: 38462
2198.46/2204.14 c #Conflicts: 698000 | #Constraints: 39462
2198.46/2204.14 c #Conflicts: 699000 | #Constraints: 40462
2198.46/2204.14 c #Conflicts: 700000 | #Constraints: 41462
2198.46/2204.14 c #Conflicts: 701000 | #Constraints: 42462
2198.46/2204.14 c #Conflicts: 702000 | #Constraints: 43462
2198.46/2204.14 c #Conflicts: 703000 | #Constraints: 44462
2198.46/2204.14 c #Conflicts: 704000 | #Constraints: 45462
2198.46/2204.14 c #Conflicts: 705000 | #Constraints: 46462
2198.46/2204.14 c INPROCESSING
2198.46/2204.14 c GARBAGE COLLECT
2198.46/2204.14 c #Conflicts: 706000 | #Constraints: 30888
2198.46/2204.14 c #Conflicts: 707000 | #Constraints: 31888
2198.46/2204.14 c #Conflicts: 708000 | #Constraints: 32888
2198.46/2204.14 c #Conflicts: 709000 | #Constraints: 33888
2198.46/2204.14 c #Conflicts: 710000 | #Constraints: 34888
2198.46/2204.14 c #Conflicts: 711000 | #Constraints: 35888
2198.46/2204.14 c #Conflicts: 712000 | #Constraints: 36888
2198.46/2204.14 c #Conflicts: 713000 | #Constraints: 37888
2198.46/2204.14 c #Conflicts: 714000 | #Constraints: 38888
2198.46/2204.14 c #Conflicts: 715000 | #Constraints: 39888
2198.46/2204.14 c #Conflicts: 716000 | #Constraints: 40888
2198.46/2204.14 c #Conflicts: 717000 | #Constraints: 41888
2198.46/2204.14 c #Conflicts: 718000 | #Constraints: 42888
2198.46/2204.14 c #Conflicts: 719000 | #Constraints: 43888
2198.46/2204.14 c #Conflicts: 720000 | #Constraints: 44888
2198.46/2204.14 c #Conflicts: 721000 | #Constraints: 45888
2198.46/2204.14 c #Conflicts: 722000 | #Constraints: 46888
2198.46/2204.14 c INPROCESSING
2198.46/2204.14 c GARBAGE COLLECT
2198.46/2204.14 c #Conflicts: 723000 | #Constraints: 31125
2198.46/2204.14 c #Conflicts: 724000 | #Constraints: 32125
2198.46/2204.14 c #Conflicts: 725000 | #Constraints: 33125
2198.46/2204.14 c #Conflicts: 726000 | #Constraints: 34125
2198.46/2204.14 c #Conflicts: 727000 | #Constraints: 35125
2198.46/2204.14 c #Conflicts: 728000 | #Constraints: 36125
2198.46/2204.14 c #Conflicts: 729000 | #Constraints: 37125
2198.46/2204.14 c #Conflicts: 730000 | #Constraints: 38125
2198.46/2204.14 c #Conflicts: 731000 | #Constraints: 39125
2198.46/2204.14 c #Conflicts: 732000 | #Constraints: 40125
2198.46/2204.14 c #Conflicts: 733000 | #Constraints: 41125
2198.46/2204.14 c #Conflicts: 734000 | #Constraints: 42125
2198.46/2204.14 c #Conflicts: 735000 | #Constraints: 43125
2198.46/2204.14 c #Conflicts: 736000 | #Constraints: 44125
2198.46/2204.14 c #Conflicts: 737000 | #Constraints: 45125
2198.46/2204.14 c #Conflicts: 738000 | #Constraints: 46125
2198.46/2204.14 c #Conflicts: 739000 | #Constraints: 47125
2198.46/2204.14 c INPROCESSING
2198.46/2204.14 c GARBAGE COLLECT
2198.46/2204.14 c #Conflicts: 740000 | #Constraints: 31103
2198.46/2204.14 c #Conflicts: 741000 | #Constraints: 32103
2198.46/2204.14 c #Conflicts: 742000 | #Constraints: 33103
2198.46/2204.14 c #Conflicts: 743000 | #Constraints: 34103
2198.46/2204.14 c #Conflicts: 744000 | #Constraints: 35103
2198.46/2204.14 c #Conflicts: 745000 | #Constraints: 36103
2198.46/2204.14 c #Conflicts: 746000 | #Constraints: 37103
2198.46/2204.14 c #Conflicts: 747000 | #Constraints: 38103
2198.46/2204.14 c #Conflicts: 748000 | #Constraints: 39103
2198.46/2204.14 c #Conflicts: 749000 | #Constraints: 40103
2198.46/2204.14 c #Conflicts: 750000 | #Constraints: 41103
2198.46/2204.14 c #Conflicts: 751000 | #Constraints: 42103
2198.46/2204.14 c #Conflicts: 752000 | #Constraints: 43103
2198.46/2204.14 c #Conflicts: 753000 | #Constraints: 44103
2198.46/2204.14 c #Conflicts: 754000 | #Constraints: 45103
2198.46/2204.14 c #Conflicts: 755000 | #Constraints: 46103
2198.46/2204.14 c #Conflicts: 756000 | #Constraints: 47103
2198.46/2204.14 c INPROCESSING
2198.46/2204.14 c GARBAGE COLLECT
2198.46/2204.14 c #Conflicts: 757000 | #Constraints: 30891
2198.46/2204.14 c #Conflicts: 758000 | #Constraints: 31891
2198.46/2204.14 c #Conflicts: 759000 | #Constraints: 32891
2439.65/2445.96 c #Conflicts: 760000 | #Constraints: 33891
2439.65/2445.96 c #Conflicts: 761000 | #Constraints: 34891
2439.65/2445.96 c #Conflicts: 762000 | #Constraints: 35891
2439.65/2445.96 c #Conflicts: 763000 | #Constraints: 36891
2439.65/2445.96 c #Conflicts: 764000 | #Constraints: 37891
2439.65/2445.96 c #Conflicts: 765000 | #Constraints: 38891
2439.65/2445.96 c #Conflicts: 766000 | #Constraints: 39891
2439.65/2445.96 c #Conflicts: 767000 | #Constraints: 40891
2439.65/2445.96 c #Conflicts: 768000 | #Constraints: 41891
2439.65/2445.96 c #Conflicts: 769000 | #Constraints: 42891
2439.65/2445.96 c #Conflicts: 770000 | #Constraints: 43891
2439.65/2445.96 c #Conflicts: 771000 | #Constraints: 44891
2439.65/2445.96 c #Conflicts: 772000 | #Constraints: 45891
2439.65/2445.96 c #Conflicts: 773000 | #Constraints: 46891
2439.65/2445.96 c #Conflicts: 774000 | #Constraints: 47892
2439.65/2445.96 c INPROCESSING
2439.65/2445.96 c GARBAGE COLLECT
2439.65/2445.96 c #Conflicts: 775000 | #Constraints: 31477
2439.65/2445.96 c #Conflicts: 776000 | #Constraints: 32477
2439.65/2445.96 c #Conflicts: 777000 | #Constraints: 33477
2439.65/2445.96 c #Conflicts: 778000 | #Constraints: 34477
2439.65/2445.96 c #Conflicts: 779000 | #Constraints: 35477
2439.65/2445.96 c #Conflicts: 780000 | #Constraints: 36477
2439.65/2445.96 c #Conflicts: 781000 | #Constraints: 37477
2439.65/2445.96 c #Conflicts: 782000 | #Constraints: 38477
2439.65/2445.96 c #Conflicts: 783000 | #Constraints: 39477
2439.65/2445.96 c #Conflicts: 784000 | #Constraints: 40477
2439.65/2445.96 c #Conflicts: 785000 | #Constraints: 41477
2439.65/2445.96 c #Conflicts: 786000 | #Constraints: 42477
2439.65/2445.96 c #Conflicts: 787000 | #Constraints: 43477
2439.65/2445.96 c #Conflicts: 788000 | #Constraints: 44477
2439.65/2445.96 c #Conflicts: 789000 | #Constraints: 45477
2439.65/2445.96 c #Conflicts: 790000 | #Constraints: 46477
2439.65/2445.96 c #Conflicts: 791000 | #Constraints: 47477
2439.65/2445.96 c #Conflicts: 792000 | #Constraints: 48477
2439.65/2445.96 c INPROCESSING
2439.65/2445.96 c GARBAGE COLLECT
2439.65/2445.96 c #Conflicts: 793000 | #Constraints: 31874
2439.65/2445.96 c #Conflicts: 794000 | #Constraints: 32874
2439.65/2445.96 c #Conflicts: 795000 | #Constraints: 33874
2439.65/2445.96 c #Conflicts: 796000 | #Constraints: 34874
2439.65/2445.96 c #Conflicts: 797000 | #Constraints: 35874
2439.65/2445.96 c #Conflicts: 798000 | #Constraints: 36874
2439.65/2445.96 c #Conflicts: 799000 | #Constraints: 37874
2439.65/2445.96 c #Conflicts: 800000 | #Constraints: 38874
2439.65/2445.96 c #Conflicts: 801000 | #Constraints: 39874
2439.65/2445.96 c #Conflicts: 802000 | #Constraints: 40874
2439.65/2445.96 c #Conflicts: 803000 | #Constraints: 41874
2439.65/2445.96 c #Conflicts: 804000 | #Constraints: 42874
2439.65/2445.96 c #Conflicts: 805000 | #Constraints: 43874
2439.65/2445.96 c #Conflicts: 806000 | #Constraints: 44874
2439.65/2445.96 c #Conflicts: 807000 | #Constraints: 45874
2439.65/2445.96 c #Conflicts: 808000 | #Constraints: 46874
2439.65/2445.96 c #Conflicts: 809000 | #Constraints: 47874
2439.65/2445.96 c #Conflicts: 810000 | #Constraints: 48874
2439.65/2445.96 c INPROCESSING
2439.65/2445.96 c GARBAGE COLLECT
2439.65/2445.96 c #Conflicts: 811000 | #Constraints: 32061
2439.65/2445.96 c #Conflicts: 812000 | #Constraints: 33061
2439.65/2445.96 c #Conflicts: 813000 | #Constraints: 34061
2439.65/2445.96 c #Conflicts: 814000 | #Constraints: 35061
2439.65/2445.96 c #Conflicts: 815000 | #Constraints: 36061
2439.65/2445.96 c #Conflicts: 816000 | #Constraints: 37061
2439.65/2445.96 c #Conflicts: 817000 | #Constraints: 38061
2439.65/2445.96 c #Conflicts: 818000 | #Constraints: 39061
2439.65/2445.96 c #Conflicts: 819000 | #Constraints: 40061
2439.65/2445.96 c #Conflicts: 820000 | #Constraints: 41061
2439.65/2445.96 c #Conflicts: 821000 | #Constraints: 42061
2439.65/2445.96 c #Conflicts: 822000 | #Constraints: 43061
2439.65/2445.96 c #Conflicts: 823000 | #Constraints: 44061
2439.65/2445.96 c #Conflicts: 824000 | #Constraints: 45061
2439.65/2445.96 c #Conflicts: 825000 | #Constraints: 46061
2439.65/2445.96 c #Conflicts: 826000 | #Constraints: 47061
2439.65/2445.96 c #Conflicts: 827000 | #Constraints: 48061
2439.65/2445.96 c #Conflicts: 828000 | #Constraints: 49061
2439.65/2445.96 c INPROCESSING
2439.65/2445.96 c GARBAGE COLLECT
2439.65/2445.96 c #Conflicts: 829000 | #Constraints: 32061
2439.65/2445.96 c #Conflicts: 830000 | #Constraints: 33061
2439.65/2445.96 c #Conflicts: 831000 | #Constraints: 34061
2439.65/2445.96 c #Conflicts: 832000 | #Constraints: 35061
2439.65/2445.96 c #Conflicts: 833000 | #Constraints: 36061
2439.65/2445.96 c #Conflicts: 834000 | #Constraints: 37061
2439.65/2445.96 c #Conflicts: 835000 | #Constraints: 38061
2701.06/2708.13 c #Conflicts: 836000 | #Constraints: 39061
2701.06/2708.13 c #Conflicts: 837000 | #Constraints: 40061
2701.06/2708.13 c #Conflicts: 838000 | #Constraints: 41061
2701.06/2708.13 c #Conflicts: 839000 | #Constraints: 42061
2701.06/2708.13 c #Conflicts: 840000 | #Constraints: 43061
2701.06/2708.13 c #Conflicts: 841000 | #Constraints: 44061
2701.06/2708.13 c #Conflicts: 842000 | #Constraints: 45061
2701.06/2708.13 c #Conflicts: 843000 | #Constraints: 46061
2701.06/2708.13 c #Conflicts: 844000 | #Constraints: 47061
2701.06/2708.13 c #Conflicts: 845000 | #Constraints: 48061
2701.06/2708.13 c #Conflicts: 846000 | #Constraints: 49061
2701.06/2708.13 c INPROCESSING
2701.06/2708.13 c GARBAGE COLLECT
2701.06/2708.13 c #Conflicts: 847000 | #Constraints: 31878
2701.06/2708.13 c #Conflicts: 848000 | #Constraints: 32878
2701.06/2708.13 c #Conflicts: 849000 | #Constraints: 33878
2701.06/2708.13 c #Conflicts: 850000 | #Constraints: 34878
2701.06/2708.13 c #Conflicts: 851000 | #Constraints: 35878
2701.06/2708.13 c #Conflicts: 852000 | #Constraints: 36878
2701.06/2708.13 c #Conflicts: 853000 | #Constraints: 37878
2701.06/2708.13 c #Conflicts: 854000 | #Constraints: 38878
2701.06/2708.13 c #Conflicts: 855000 | #Constraints: 39878
2701.06/2708.13 c #Conflicts: 856000 | #Constraints: 40878
2701.06/2708.13 c #Conflicts: 857000 | #Constraints: 41878
2701.06/2708.13 c #Conflicts: 858000 | #Constraints: 42878
2701.06/2708.13 c #Conflicts: 859000 | #Constraints: 43878
2701.06/2708.13 c #Conflicts: 860000 | #Constraints: 44878
2701.06/2708.13 c #Conflicts: 861000 | #Constraints: 45878
2701.06/2708.13 c #Conflicts: 862000 | #Constraints: 46878
2701.06/2708.13 c #Conflicts: 863000 | #Constraints: 47878
2701.06/2708.13 c #Conflicts: 864000 | #Constraints: 48878
2701.06/2708.13 c #Conflicts: 865000 | #Constraints: 49878
2701.06/2708.13 c INPROCESSING
2701.06/2708.13 c GARBAGE COLLECT
2701.06/2708.13 c #Conflicts: 866000 | #Constraints: 32457
2701.06/2708.13 c #Conflicts: 867000 | #Constraints: 33457
2701.06/2708.13 c #Conflicts: 868000 | #Constraints: 34457
2701.06/2708.13 c #Conflicts: 869000 | #Constraints: 35457
2701.06/2708.13 c #Conflicts: 870000 | #Constraints: 36457
2701.06/2708.13 c #Conflicts: 871000 | #Constraints: 37457
2701.06/2708.13 c #Conflicts: 872000 | #Constraints: 38457
2701.06/2708.13 c #Conflicts: 873000 | #Constraints: 39457
2701.06/2708.13 c #Conflicts: 874000 | #Constraints: 40457
2701.06/2708.13 c #Conflicts: 875000 | #Constraints: 41457
2701.06/2708.13 c #Conflicts: 876000 | #Constraints: 42457
2701.06/2708.13 c #Conflicts: 877000 | #Constraints: 43457
2701.06/2708.13 c #Conflicts: 878000 | #Constraints: 44458
2701.06/2708.13 c #Conflicts: 879000 | #Constraints: 45458
2701.06/2708.13 c #Conflicts: 880000 | #Constraints: 46458
2701.06/2708.13 c #Conflicts: 881000 | #Constraints: 47458
2701.06/2708.13 c #Conflicts: 882000 | #Constraints: 48458
2701.06/2708.13 c #Conflicts: 883000 | #Constraints: 49458
2701.06/2708.13 c #Conflicts: 884000 | #Constraints: 50458
2701.06/2708.13 c INPROCESSING
2701.06/2708.13 c GARBAGE COLLECT
2701.06/2708.13 c #Conflicts: 885000 | #Constraints: 32885
2701.06/2708.13 c #Conflicts: 886000 | #Constraints: 33885
2701.06/2708.13 c #Conflicts: 887000 | #Constraints: 34885
2701.06/2708.13 c #Conflicts: 888000 | #Constraints: 35885
2701.06/2708.13 c #Conflicts: 889000 | #Constraints: 36885
2701.06/2708.13 c #Conflicts: 890000 | #Constraints: 37885
2701.06/2708.13 c #Conflicts: 891000 | #Constraints: 38885
2701.06/2708.13 c #Conflicts: 892000 | #Constraints: 39885
2701.06/2708.13 c #Conflicts: 893000 | #Constraints: 40885
2701.06/2708.13 c #Conflicts: 894000 | #Constraints: 41885
2701.06/2708.13 c #Conflicts: 895000 | #Constraints: 42885
2701.06/2708.13 c #Conflicts: 896000 | #Constraints: 43885
2701.06/2708.13 c #Conflicts: 897000 | #Constraints: 44885
2701.06/2708.13 c #Conflicts: 898000 | #Constraints: 45885
2701.06/2708.13 c #Conflicts: 899000 | #Constraints: 46885
2701.06/2708.13 c #Conflicts: 900000 | #Constraints: 47885
2701.06/2708.13 c #Conflicts: 901000 | #Constraints: 48885
2701.06/2708.13 c #Conflicts: 902000 | #Constraints: 49885
2701.06/2708.13 c #Conflicts: 903000 | #Constraints: 50885
2701.06/2708.13 c INPROCESSING
2701.06/2708.13 c GARBAGE COLLECT
2701.06/2708.13 c #Conflicts: 904000 | #Constraints: 33074
2701.06/2708.13 c #Conflicts: 905000 | #Constraints: 34074
2701.06/2708.13 c #Conflicts: 906000 | #Constraints: 35074
2701.06/2708.13 c #Conflicts: 907000 | #Constraints: 36074
2701.06/2708.13 c #Conflicts: 908000 | #Constraints: 37074
2701.06/2708.13 c #Conflicts: 909000 | #Constraints: 38074
2701.06/2708.13 c #Conflicts: 910000 | #Constraints: 39074
2701.06/2708.13 c #Conflicts: 911000 | #Constraints: 40074
2783.90/2791.20 c #Conflicts: 912000 | #Constraints: 41074
2783.90/2791.20 c #Conflicts: 913000 | #Constraints: 42074
2783.90/2791.20 c #Conflicts: 914000 | #Constraints: 43074
2783.90/2791.20 c #Conflicts: 915000 | #Constraints: 44074
2783.90/2791.20 c #Conflicts: 916000 | #Constraints: 45074
2783.90/2791.20 c #Conflicts: 917000 | #Constraints: 46074
2783.90/2791.20 c #Conflicts: 918000 | #Constraints: 47074
2783.90/2791.20 c #Conflicts: 919000 | #Constraints: 48074
2783.90/2791.20 c #Conflicts: 920000 | #Constraints: 49074
2783.90/2791.20 c #Conflicts: 921000 | #Constraints: 50074
2783.90/2791.20 c #Conflicts: 922000 | #Constraints: 51074
2783.90/2791.20 c INPROCESSING
2783.90/2791.20 c GARBAGE COLLECT
2783.90/2791.20 c rational objective 1597.58
3081.10/3089.39 c #Conflicts: 923000 | #Constraints: 33076
3081.10/3089.39 c #Conflicts: 924000 | #Constraints: 34076
3081.10/3089.39 c #Conflicts: 925000 | #Constraints: 35076
3081.10/3089.39 c #Conflicts: 926000 | #Constraints: 36076
3081.10/3089.39 c #Conflicts: 927000 | #Constraints: 37076
3081.10/3089.39 c #Conflicts: 928000 | #Constraints: 38076
3081.10/3089.39 c #Conflicts: 929000 | #Constraints: 39076
3081.10/3089.39 c #Conflicts: 930000 | #Constraints: 40077
3081.10/3089.39 c #Conflicts: 931000 | #Constraints: 41080
3081.10/3089.39 c #Conflicts: 932000 | #Constraints: 42087
3081.10/3089.39 c #Conflicts: 933000 | #Constraints: 43113
3081.10/3089.39 c #Conflicts: 934000 | #Constraints: 44119
3081.10/3089.39 c #Conflicts: 935000 | #Constraints: 45127
3081.10/3089.39 c #Conflicts: 936000 | #Constraints: 46138
3081.10/3089.39 c #Conflicts: 937000 | #Constraints: 47174
3081.10/3089.39 c #Conflicts: 938000 | #Constraints: 48207
3081.10/3089.39 c #Conflicts: 939000 | #Constraints: 49247
3081.10/3089.39 c #Conflicts: 940000 | #Constraints: 50273
3081.10/3089.39 c #Conflicts: 941000 | #Constraints: 51301
3081.10/3089.39 c INPROCESSING
3081.10/3089.39 c GARBAGE COLLECT
3081.10/3089.39 c #Conflicts: 942000 | #Constraints: 32994
3081.10/3089.39 c #Conflicts: 943000 | #Constraints: 33997
3081.10/3089.39 c #Conflicts: 944000 | #Constraints: 35004
3081.10/3089.39 c #Conflicts: 945000 | #Constraints: 36007
3081.10/3089.39 c #Conflicts: 946000 | #Constraints: 37020
3081.10/3089.39 c #Conflicts: 947000 | #Constraints: 38045
3081.10/3089.39 c #Conflicts: 948000 | #Constraints: 39046
3081.10/3089.39 c #Conflicts: 949000 | #Constraints: 40075
3081.10/3089.39 c #Conflicts: 950000 | #Constraints: 41084
3081.10/3089.39 c #Conflicts: 951000 | #Constraints: 42096
3081.10/3089.39 c #Conflicts: 952000 | #Constraints: 43100
3081.10/3089.39 c #Conflicts: 953000 | #Constraints: 44111
3081.10/3089.39 c #Conflicts: 954000 | #Constraints: 45115
3081.10/3089.39 c #Conflicts: 955000 | #Constraints: 46123
3081.10/3089.39 c #Conflicts: 956000 | #Constraints: 47133
3081.10/3089.39 c #Conflicts: 957000 | #Constraints: 48142
3081.10/3089.39 c #Conflicts: 958000 | #Constraints: 49155
3081.10/3089.39 c #Conflicts: 959000 | #Constraints: 50178
3081.10/3089.39 c #Conflicts: 960000 | #Constraints: 51207
3081.10/3089.39 c #Conflicts: 961000 | #Constraints: 52232
3081.10/3089.39 c INPROCESSING
3081.10/3089.39 c GARBAGE COLLECT
3081.10/3089.39 c #Conflicts: 962000 | #Constraints: 33665
3081.10/3089.39 c #Conflicts: 963000 | #Constraints: 34666
3081.10/3089.39 c #Conflicts: 964000 | #Constraints: 35670
3081.10/3089.39 c #Conflicts: 965000 | #Constraints: 36682
3081.10/3089.39 c #Conflicts: 966000 | #Constraints: 37700
3081.10/3089.39 c #Conflicts: 967000 | #Constraints: 38702
3081.10/3089.39 c #Conflicts: 968000 | #Constraints: 39713
3081.10/3089.39 c #Conflicts: 969000 | #Constraints: 40722
3081.10/3089.39 c #Conflicts: 970000 | #Constraints: 41734
3081.10/3089.39 c #Conflicts: 971000 | #Constraints: 42738
3081.10/3089.39 c #Conflicts: 972000 | #Constraints: 43742
3081.10/3089.39 c #Conflicts: 973000 | #Constraints: 44753
3081.10/3089.39 c #Conflicts: 974000 | #Constraints: 45802
3081.10/3089.39 c #Conflicts: 975000 | #Constraints: 46821
3081.10/3089.39 c #Conflicts: 976000 | #Constraints: 47850
3081.10/3089.39 c #Conflicts: 977000 | #Constraints: 48904
3081.10/3089.39 c #Conflicts: 978000 | #Constraints: 49917
3081.10/3089.39 c #Conflicts: 979000 | #Constraints: 50917
3081.10/3089.39 c #Conflicts: 980000 | #Constraints: 51917
3081.10/3089.39 c #Conflicts: 981000 | #Constraints: 52917
3081.10/3089.39 c INPROCESSING
3081.10/3089.39 c GARBAGE COLLECT
3081.10/3089.39 c #Conflicts: 982000 | #Constraints: 34112
3081.10/3089.39 c #Conflicts: 983000 | #Constraints: 35112
3081.10/3089.39 c #Conflicts: 984000 | #Constraints: 36112
3081.10/3089.39 c #Conflicts: 985000 | #Constraints: 37112
3081.10/3089.39 c #Conflicts: 986000 | #Constraints: 38112
3081.10/3089.39 c #Conflicts: 987000 | #Constraints: 39117
3081.10/3089.39 c #Conflicts: 988000 | #Constraints: 40117
3081.10/3089.39 c #Conflicts: 989000 | #Constraints: 41118
3081.10/3089.39 c #Conflicts: 990000 | #Constraints: 42118
3081.10/3089.39 c #Conflicts: 991000 | #Constraints: 43118
3081.10/3089.39 c #Conflicts: 992000 | #Constraints: 44118
3081.10/3089.39 c #Conflicts: 993000 | #Constraints: 45118
3081.10/3089.39 c #Conflicts: 994000 | #Constraints: 46118
3081.10/3089.39 c #Conflicts: 995000 | #Constraints: 47118
3081.10/3089.39 c #Conflicts: 996000 | #Constraints: 48118
3081.10/3089.39 c #Conflicts: 997000 | #Constraints: 49118
3081.10/3089.39 c #Conflicts: 998000 | #Constraints: 50118
3081.10/3089.39 c #Conflicts: 999000 | #Constraints: 51118
3433.02/3442.28 c #Conflicts: 1000000 | #Constraints: 52118
3433.02/3442.28 c #Conflicts: 1001000 | #Constraints: 53118
3433.02/3442.28 c INPROCESSING
3433.02/3442.28 c GARBAGE COLLECT
3433.02/3442.28 c #Conflicts: 1002000 | #Constraints: 34214
3433.02/3442.28 c #Conflicts: 1003000 | #Constraints: 35214
3433.02/3442.28 c #Conflicts: 1004000 | #Constraints: 36214
3433.02/3442.28 c #Conflicts: 1005000 | #Constraints: 37214
3433.02/3442.28 c #Conflicts: 1006000 | #Constraints: 38214
3433.02/3442.28 c #Conflicts: 1007000 | #Constraints: 39214
3433.02/3442.28 c #Conflicts: 1008000 | #Constraints: 40214
3433.02/3442.28 c #Conflicts: 1009000 | #Constraints: 41214
3433.02/3442.28 c #Conflicts: 1010000 | #Constraints: 42214
3433.02/3442.28 c #Conflicts: 1011000 | #Constraints: 43214
3433.02/3442.28 c #Conflicts: 1012000 | #Constraints: 44214
3433.02/3442.28 c #Conflicts: 1013000 | #Constraints: 45214
3433.02/3442.28 c #Conflicts: 1014000 | #Constraints: 46214
3433.02/3442.28 c #Conflicts: 1015000 | #Constraints: 47214
3433.02/3442.28 c #Conflicts: 1016000 | #Constraints: 48214
3433.02/3442.28 c #Conflicts: 1017000 | #Constraints: 49214
3433.02/3442.28 c #Conflicts: 1018000 | #Constraints: 50214
3433.02/3442.28 c #Conflicts: 1019000 | #Constraints: 51214
3433.02/3442.28 c #Conflicts: 1020000 | #Constraints: 52214
3433.02/3442.28 c #Conflicts: 1021000 | #Constraints: 53214
3433.02/3442.28 c INPROCESSING
3433.02/3442.28 c GARBAGE COLLECT
3433.02/3442.28 c #Conflicts: 1022000 | #Constraints: 34131
3433.02/3442.28 c #Conflicts: 1023000 | #Constraints: 35131
3433.02/3442.28 c #Conflicts: 1024000 | #Constraints: 36131
3433.02/3442.28 c #Conflicts: 1025000 | #Constraints: 37131
3433.02/3442.28 c #Conflicts: 1026000 | #Constraints: 38131
3433.02/3442.28 c #Conflicts: 1027000 | #Constraints: 39131
3433.02/3442.28 c #Conflicts: 1028000 | #Constraints: 40131
3433.02/3442.28 c #Conflicts: 1029000 | #Constraints: 41131
3433.02/3442.28 c #Conflicts: 1030000 | #Constraints: 42131
3433.02/3442.28 c #Conflicts: 1031000 | #Constraints: 43131
3433.02/3442.28 c #Conflicts: 1032000 | #Constraints: 44131
3433.02/3442.28 c #Conflicts: 1033000 | #Constraints: 45131
3433.02/3442.28 c #Conflicts: 1034000 | #Constraints: 46131
3433.02/3442.28 c #Conflicts: 1035000 | #Constraints: 47131
3433.02/3442.28 c #Conflicts: 1036000 | #Constraints: 48131
3433.02/3442.28 c #Conflicts: 1037000 | #Constraints: 49131
3433.02/3442.28 c #Conflicts: 1038000 | #Constraints: 50131
3433.02/3442.28 c #Conflicts: 1039000 | #Constraints: 51131
3433.02/3442.28 c #Conflicts: 1040000 | #Constraints: 52131
3433.02/3442.28 c #Conflicts: 1041000 | #Constraints: 53131
3433.02/3442.28 c INPROCESSING
3433.02/3442.28 c GARBAGE COLLECT
3433.02/3442.28 c #Conflicts: 1042000 | #Constraints: 33916
3433.02/3442.28 c #Conflicts: 1043000 | #Constraints: 34916
3433.02/3442.28 c #Conflicts: 1044000 | #Constraints: 35916
3433.02/3442.28 c #Conflicts: 1045000 | #Constraints: 36916
3433.02/3442.28 c #Conflicts: 1046000 | #Constraints: 37916
3433.02/3442.28 c #Conflicts: 1047000 | #Constraints: 38916
3433.02/3442.28 c #Conflicts: 1048000 | #Constraints: 39916
3433.02/3442.28 c #Conflicts: 1049000 | #Constraints: 40916
3433.02/3442.28 c #Conflicts: 1050000 | #Constraints: 41916
3433.02/3442.28 c #Conflicts: 1051000 | #Constraints: 42916
3433.02/3442.28 c #Conflicts: 1052000 | #Constraints: 43916
3433.02/3442.28 c #Conflicts: 1053000 | #Constraints: 44916
3433.02/3442.28 c #Conflicts: 1054000 | #Constraints: 45916
3433.02/3442.28 c #Conflicts: 1055000 | #Constraints: 46916
3433.02/3442.28 c #Conflicts: 1056000 | #Constraints: 47916
3433.02/3442.28 c #Conflicts: 1057000 | #Constraints: 48916
3433.02/3442.28 c #Conflicts: 1058000 | #Constraints: 49916
3433.02/3442.28 c #Conflicts: 1059000 | #Constraints: 50916
3433.02/3442.28 c #Conflicts: 1060000 | #Constraints: 51916
3433.02/3442.28 c #Conflicts: 1061000 | #Constraints: 52916
3433.02/3442.28 c #Conflicts: 1062000 | #Constraints: 53916
3433.02/3442.28 c INPROCESSING
3433.02/3442.28 c GARBAGE COLLECT
3433.02/3442.28 c #Conflicts: 1063000 | #Constraints: 34499
3433.02/3442.28 c #Conflicts: 1064000 | #Constraints: 35499
3433.02/3442.28 c #Conflicts: 1065000 | #Constraints: 36499
3433.02/3442.28 c #Conflicts: 1066000 | #Constraints: 37499
3433.02/3442.28 c #Conflicts: 1067000 | #Constraints: 38499
3433.02/3442.28 c #Conflicts: 1068000 | #Constraints: 39499
3433.02/3442.28 c #Conflicts: 1069000 | #Constraints: 40499
3433.02/3442.28 c #Conflicts: 1070000 | #Constraints: 41499
3433.02/3442.28 c #Conflicts: 1071000 | #Constraints: 42499
3433.02/3442.28 c #Conflicts: 1072000 | #Constraints: 43499
3433.02/3442.28 c #Conflicts: 1073000 | #Constraints: 44499
3433.02/3442.28 c #Conflicts: 1074000 | #Constraints: 45499
3433.02/3442.28 c #Conflicts: 1075000 | #Constraints: 46499
3433.02/3442.28 c #Conflicts: 1076000 | #Constraints: 47499
3600.02/3609.70 c #Conflicts: 1077000 | #Constraints: 48499
3600.02/3609.70 c #Conflicts: 1078000 | #Constraints: 49499
3600.02/3609.70 c #Conflicts: 1079000 | #Constraints: 50499
3600.02/3609.70 c #Conflicts: 1080000 | #Constraints: 51499
3600.02/3609.70 c #Conflicts: 1081000 | #Constraints: 52499
3600.02/3609.70 c #Conflicts: 1082000 | #Constraints: 53499
3600.02/3609.70 c #Conflicts: 1083000 | #Constraints: 54499
3600.02/3609.70 c INPROCESSING
3600.02/3609.70 c GARBAGE COLLECT
3600.02/3609.70 c #Conflicts: 1084000 | #Constraints: 34920
3600.02/3609.70 c #Conflicts: 1085000 | #Constraints: 35920
3600.02/3609.70 c #Conflicts: 1086000 | #Constraints: 36920
3600.02/3609.70 c #Conflicts: 1087000 | #Constraints: 37920
3600.02/3609.70 c #Conflicts: 1088000 | #Constraints: 38921
3600.02/3609.70 c #Conflicts: 1089000 | #Constraints: 39921
3600.02/3609.70 c #Conflicts: 1090000 | #Constraints: 40921
3600.02/3609.70 c #Conflicts: 1091000 | #Constraints: 41921
3600.02/3609.70 c #Conflicts: 1092000 | #Constraints: 42921
3600.02/3609.70 c #Conflicts: 1093000 | #Constraints: 43921
3600.02/3609.70 c #Conflicts: 1094000 | #Constraints: 44921
3600.02/3609.70 c #Conflicts: 1095000 | #Constraints: 45921
3600.02/3609.70 c #Conflicts: 1096000 | #Constraints: 46921
3600.02/3609.70 c #Conflicts: 1097000 | #Constraints: 47921
3600.02/3609.70 c #Conflicts: 1098000 | #Constraints: 48921
3600.02/3609.70 c #Conflicts: 1099000 | #Constraints: 49921
3600.02/3609.70 c #Conflicts: 1100000 | #Constraints: 50921
3600.02/3609.70 c #Conflicts: 1101000 | #Constraints: 51921
3600.02/3609.70 c #Conflicts: 1102000 | #Constraints: 52921
3600.02/3609.70 c #Conflicts: 1103000 | #Constraints: 53921
3600.02/3609.70 c #Conflicts: 1104000 | #Constraints: 54921
3600.02/3609.70 c INPROCESSING
3600.02/3609.70 c GARBAGE COLLECT
3600.02/3609.70 c #Conflicts: 1105000 | #Constraints: 35082
3600.02/3609.70 c #Conflicts: 1106000 | #Constraints: 36082
3600.02/3609.70 c #Conflicts: 1107000 | #Constraints: 37082
3600.02/3609.70 c #Conflicts: 1108000 | #Constraints: 38082
3600.02/3609.70 c #Conflicts: 1109000 | #Constraints: 39082
3600.02/3609.70 c #Conflicts: 1110000 | #Constraints: 40082
3600.02/3609.70 c #Conflicts: 1111000 | #Constraints: 41082
3600.02/3609.70 c #Conflicts: 1112000 | #Constraints: 42082
3600.02/3609.70 c #Conflicts: 1113000 | #Constraints: 43082
3600.02/3609.70 c #Conflicts: 1114000 | #Constraints: 44082
3600.02/3609.70 c #Conflicts: 1115000 | #Constraints: 45082
3600.02/3609.70 c cpu time 3586.49 s
3600.02/3609.70 c deterministic time 366870299615 3.67e+11
3600.02/3609.70 c optimization time 42.5096 s
3600.02/3609.70 c total solve time 3543.89 s
3600.02/3609.70 c core-guided solve time 0 s
3600.02/3609.70 c propagation time 1773.87 s
3600.02/3609.70 c conflict analysis time 1236.41 s
3600.02/3609.70 c propagations 348664087
3600.02/3609.70 c resolve steps 13548375
3600.02/3609.70 c decisions 9458557
3600.02/3609.70 c conflicts 1115153
3600.02/3609.70 c restarts 2046
3600.02/3609.70 c inprocessing phases 96
3600.02/3609.70 c garbage collections 96 ,( 100.00 )
3600.02/3609.70 c input clauses 13472 ,( 95.68 )
3600.02/3609.70 c input cardinalities 608 ,( 4.32 )
3600.02/3609.70 c input general constraints 0 ,( 0.00 )
3600.02/3609.70 c input average constraint length 12.90
3600.02/3609.70 c input average constraint degree 7.04
3600.02/3609.70 c learned clauses 151933 ,( 13.62 )
3600.02/3609.70 c learned cardinalities 49508 ,( 4.44 )
3600.02/3609.70 c learned general constraints 914456 ,( 81.95 )
3600.02/3609.70 c learned average constraint length 1803.16
3600.02/3609.70 c learned average constraint degree 66737704.32
3600.02/3609.70 c watched CF 32, 64, 128, Arb: 480689 , 0 , 0 , 0
3600.02/3609.70 c counting CF 32, 64, 128, Arb: 433767 , 0 , 0 , 0
3600.02/3609.70 c watched constraints 480689 ,( 52.57 )
3600.02/3609.70 c counting constraints 433767 ,( 47.43 )
3600.02/3609.70 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 149553178 , 1068402475 , 871428834 ,( 235186006 , 636242828 )
3600.02/3609.70 c gcd simplifications 101
3600.02/3609.70 c detected cardinalities 4
3600.02/3609.70 c weakened non-implied lits 1638436776
3600.02/3609.70 c weakened non-implying lits 600707
3600.02/3609.70 c original variables 18576
3600.02/3609.70 c clausal propagations 73167261
3600.02/3609.70 c cardinality propagations 205384409
3600.02/3609.70 c watched propagations 6484003
3600.02/3609.70 c counting propagations 58794121
3600.02/3609.70 c watch lookups 45377171248
3600.02/3609.70 c watch backjump lookups 0
3600.02/3609.70 c watch checks 96370835517
3600.02/3609.70 c propagation checks 217406466167
3600.02/3609.70 c constraint additions 6998239060
3600.02/3609.70 c trail pops 359219798
3600.02/3609.70 c formula constraints 14080
3600.02/3609.70 c learned constraints 1115142
3600.02/3609.70 c bound constraints 0
3600.02/3609.70 c core-guided constraints 0
3600.02/3609.70 c encountered formula constraints 4722870
3600.02/3609.70 c encountered learned constraints 9940486
3600.02/3609.70 c encountered bound constraints 0
3600.02/3609.70 c encountered core-guided constraints 0
3600.02/3609.70 c LP total time 209.939 s
3600.02/3609.70 c LP solve time 206.48 s
3600.02/3609.70 c LP constraints added 14085
3600.02/3609.70 c LP constraints removed 1
3600.02/3609.70 c LP pivots internal 115460
3600.02/3609.70 c LP pivots root 129720
3600.02/3609.70 c LP calls 751
3600.02/3609.70 c LP optimalities 3
3600.02/3609.70 c LP no pivot count 0
3600.02/3609.70 c LP infeasibilities 741
3600.02/3609.70 c LP valid Farkas constraints 741
3600.02/3609.70 c LP learned Farkas constraints 10
3600.02/3609.70 c LP basis resets 1
3600.02/3609.70 c LP cycling count 1
3600.02/3609.70 c LP singular count 0
3600.02/3609.70 c LP no primal count 0
3600.02/3609.70 c LP no farkas count 0
3600.02/3609.70 c LP other issue count 0
3600.02/3609.70 c LP Gomory cuts 4
3600.02/3609.70 c LP learned cuts 1
3600.02/3609.70 c LP deleted cuts 1
3600.02/3609.70 c LP encountered Gomory constraints 0
3600.02/3609.70 c LP encountered Farkas constraints 157
3600.02/3609.70 c LP encountered learned Farkas constraints 5
3600.02/3609.70 c CG auxiliary variables introduced 0
3600.02/3609.70 c CG solutions found 0
3600.02/3609.70 c CG cores constructed 0
3600.02/3609.70 c CG core cardinality constraints returned 0
3600.02/3609.70 c CG unit cores 0
3600.02/3609.70 c CG single cores 0
3600.02/3609.70 c CG blocks removed during cardinality reduction 0
3600.02/3609.70 c CG first core best 0
3600.02/3609.70 c CG decision core best 0
3600.02/3609.70 c CG core reduction tie 0
3600.02/3609.70 c CG core degree average 0.00
3600.02/3609.70 c CG core slack average 0.00
3600.02/3609.70 c CG core upper bound improvements 0
3600.02/3609.70 c STR number of successful calls 0
3600.02/3609.70 c STR number of unsuccessful calls 0
3600.02/3609.70 c STR number of inconclusive calls 0
3600.02/3609.70 c STR number of successful attempts 0
3600.02/3609.70 c STR number of unsuccessful attempts 0
3600.02/3609.70 c STR number of inconclusive attempts 0
3600.02/3609.70 c STR average degree increase per successful call inf
3600.02/3609.70 c STR average degree increase per successful attempt inf
3600.02/3609.70 c STR total number of conflicts for successful attempts 0
3600.02/3609.70 c STR total number of conflicts for unsuccessful attempts 0
3600.02/3609.70 c STR total number of conflicts for inconclusive attempts 0
3600.02/3609.70 c STR average number of conflicts per successful attempt inf
3600.02/3609.70 c STR average number of conflicts per unsuccessful attempt inf
3600.02/3609.70 c STR average number of conflicts per inconclusive attempt inf
3600.02/3609.70 c AVG.sumWPerc 40.60
3600.02/3609.70 c bigint constraints 0
3600.02/3609.70 s UNKNOWN
3600.02/3609.70 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 (63225 MiB free)
memory of node 1: 64507 MiB (63926 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4493448-1751155906/watcher-4493448-1751155906 -o /tmp/evaluation-result-4493448-1751155906/solver-4493448-1751155906 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751155906-17847 --watchdog 3760 run-dec-break.sh HOME/instance-4493448-1751155906.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=17905, runsolver pid=17889
Current StackSize limit: 8192 KiB
[startup+0.100035 s]*
/proc/loadavg: 1.86 2.87 3.58 6/271 17909
/proc/meminfo: memFree=130146092/131249996 swapFree=33010684/33010684
[pid=17905] ppid=17889 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/17905/stat : 17905 (run-dec-break.s) S 17889 17905 17835 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 31268532 4292608 736 18446744073709551615 94173500911616 94173501806149 140736541554432 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94173502045200 94173502092944 94173506220032 140736541559137 140736541559266 140736541559266 140736541564868 0
/proc/17905/statm: 1048 736 672 219 0 110 0
[pid=17909] ppid=17905 vsize=50428 memory=35780 CPUtime=0.07 cores=1,3
/proc/17909/stat : 17909 (pbsuma) R 17905 17905 17835 0 -1 4194304 9752 0 0 0 6 1 0 0 20 0 1 0 31268533 51638272 8945 18446744073709551615 4210688 4653049 140727494979232 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 5824512 140727494981987 140727494982194 140727494982194 140727494987759 0
/proc/17909/statm: 12607 8945 992 108 0 10015 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 54620 KiB
Current children cumulated memory: 38724 KiB
[startup+0.205093 s]*
/proc/loadavg: 1.86 2.87 3.58 5/271 17910
/proc/meminfo: memFree=130146096/131249996 swapFree=33010684/33010684
[pid=17905] ppid=17889 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/17905/stat : 17905 (run-dec-break.s) S 17889 17905 17835 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 31268532 4292608 736 18446744073709551615 94173500911616 94173501806149 140736541554432 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94173502045200 94173502092944 94173506220032 140736541559137 140736541559266 140736541559266 140736541564868 0
/proc/17905/statm: 1048 736 672 219 0 110 0
[pid=17909] ppid=17905 vsize=59768 memory=45124 CPUtime=0.18 cores=1,3
/proc/17909/stat : 17909 (pbsuma) R 17905 17905 17835 0 -1 4194304 12111 0 0 0 16 2 0 0 20 0 1 0 31268533 61202432 11281 18446744073709551615 4210688 4653049 140727494979232 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 5824512 140727494981987 140727494982194 140727494982194 140727494987759 0
/proc/17909/statm: 14942 11281 992 108 0 12350 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 63960 KiB
Current children cumulated memory: 48068 KiB
[startup+0.30492 s]*
/proc/loadavg: 1.86 2.87 3.58 6/271 17911
/proc/meminfo: memFree=130120080/131249996 swapFree=33010684/33010684
[pid=17905] ppid=17889 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/17905/stat : 17905 (run-dec-break.s) S 17889 17905 17835 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 31268532 4292608 736 18446744073709551615 94173500911616 94173501806149 140736541554432 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94173502045200 94173502092944 94173506220032 140736541559137 140736541559266 140736541559266 140736541564868 0
/proc/17905/statm: 1048 736 672 219 0 110 0
[pid=17909] ppid=17905 vsize=59768 memory=45380 CPUtime=0.28 cores=1,3
/proc/17909/stat : 17909 (pbsuma) R 17905 17905 17835 0 -1 4194304 12170 0 0 0 26 2 0 0 20 0 1 0 31268533 61202432 11345 18446744073709551615 4210688 4653049 140727494979232 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 5824512 140727494981987 140727494982194 140727494982194 140727494987759 0
/proc/17909/statm: 14942 11345 992 108 0 12350 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 63960 KiB
Current children cumulated memory: 48324 KiB
[startup+0.700136 s]
/proc/loadavg: 1.86 2.87 3.58 6/271 17911
/proc/meminfo: memFree=130104504/131249996 swapFree=33010684/33010684
[pid=17905] ppid=17889 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/17905/stat : 17905 (run-dec-break.s) S 17889 17905 17835 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 31268532 4292608 736 18446744073709551615 94173500911616 94173501806149 140736541554432 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94173502045200 94173502092944 94173506220032 140736541559137 140736541559266 140736541559266 140736541564868 0
/proc/17905/statm: 1048 736 672 219 0 110 0
[pid=17909] ppid=17905 vsize=59768 memory=46532 CPUtime=0.67 cores=1,3
/proc/17909/stat : 17909 (pbsuma) R 17905 17905 17835 0 -1 4194304 12444 0 0 0 65 2 0 0 20 0 1 0 31268533 61202432 11633 18446744073709551615 4210688 4653049 140727494979232 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 5824512 140727494981987 140727494982194 140727494982194 140727494987759 0
/proc/17909/statm: 14942 11633 992 108 0 12350 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 63960 KiB
Current children cumulated memory: 49476 KiB
[startup+1.50018 s]
/proc/loadavg: 1.86 2.87 3.58 6/266 17920
/proc/meminfo: memFree=130060176/131249996 swapFree=33010684/33010684
[pid=17905] ppid=17889 vsize=4192 memory=2944 CPUtime=1.33 cores=1,3
/proc/17905/stat : 17905 (run-dec-break.s) S 17889 17905 17835 0 -1 4194304 239 12618 0 0 0 0 131 2 20 0 1 0 31268532 4292608 736 18446744073709551615 94173500911616 94173501806149 140736541554432 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173502045200 94173502092944 94173506220032 140736541559137 140736541559266 140736541559266 140736541564868 0
/proc/17905/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 1.33 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB
[startup+3.10532 s]
/proc/loadavg: 2.03 2.89 3.58 6/271 18007
/proc/meminfo: memFree=130027184/131249996 swapFree=33010684/33010684
[pid=17905] ppid=17889 vsize=4192 memory=2944 CPUtime=1.33 cores=1,3
/proc/17905/stat : 17905 (run-dec-break.s) S 17889 17905 17835 0 -1 4194304 239 12618 0 0 0 0 131 2 20 0 1 0 31268532 4292608 736 18446744073709551615 94173500911616 94173501806149 140736541554432 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173502045200 94173502092944 94173506220032 140736541559137 140736541559266 140736541559266 140736541564868 0
/proc/17905/statm: 1048 736 672 219 0 110 0
[pid=17921] ppid=17905 vsize=102656 memory=57852 CPUtime=1.72 cores=1,3
/proc/17921/stat : 17921 (roundingsat) R 17905 17905 17835 0 -1 4194304 10880 0 0 0 170 2 0 0 20 0 1 0 31268668 105119744 14463 18446744073709551615 4227072 8923433 140732235181168 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25894912 140732235188548 140732235188776 140732235188776 140732235194346 0
/proc/17921/statm: 25664 14463 2304 1147 0 13091 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 106848 KiB
Current children cumulated memory: 60796 KiB
[startup+6.30017 s]
/proc/loadavg: 2.03 2.89 3.58 6/271 18008
/proc/meminfo: memFree=130003704/131249996 swapFree=33010684/33010684
[pid=17905] ppid=17889 vsize=4192 memory=2944 CPUtime=1.33 cores=1,3
/proc/17905/stat : 17905 (run-dec-break.s) S 17889 17905 17835 0 -1 4194304 239 12618 0 0 0 0 131 2 20 0 1 0 31268532 4292608 736 18446744073709551615 94173500911616 94173501806149 140736541554432 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173502045200 94173502092944 94173506220032 140736541559137 140736541559266 140736541559266 140736541564868 0
/proc/17905/statm: 1048 736 672 219 0 110 0
[pid=17921] ppid=17905 vsize=121128 memory=75788 CPUtime=4.91 cores=1,3
/proc/17921/stat : 17921 (roundingsat) R 17905 17905 17835 0 -1 4194304 14808 0 0 0 483 8 0 0 20 0 1 0 31268668 124035072 18947 18446744073709551615 4227072 8923433 140732235181168 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25894912 140732235188548 140732235188776 140732235188776 140732235194346 0
/proc/17921/statm: 30282 18947 2368 1147 0 17709 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 125320 KiB
Current children cumulated memory: 78732 KiB
[startup+12.7001 s]
/proc/loadavg: 2.19 2.91 3.58 6/271 18008
/proc/meminfo: memFree=129963420/131249996 swapFree=33010684/33010684
[pid=17905] ppid=17889 vsize=4192 memory=2944 CPUtime=1.33 cores=1,3
/proc/17905/stat : 17905 (run-dec-break.s) S 17889 17905 17835 0 -1 4194304 239 12618 0 0 0 0 131 2 20 0 1 0 31268532 4292608 736 18446744073709551615 94173500911616 94173501806149 140736541554432 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173502045200 94173502092944 94173506220032 140736541559137 140736541559266 140736541559266 140736541564868 0
/proc/17905/statm: 1048 736 672 219 0 110 0
[pid=17921] ppid=17905 vsize=141428 memory=97052 CPUtime=11.3 cores=1,3
/proc/17921/stat : 17921 (roundingsat) R 17905 17905 17835 0 -1 4194304 18628 0 0 0 1118 12 0 0 20 0 1 0 31268668 144822272 24263 18446744073709551615 4227072 8923433 140732235181168 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25894912 140732235188548 140732235188776 140732235188776 140732235194346 0
/proc/17921/statm: 35357 24263 2368 1147 0 22784 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 145620 KiB
Current children cumulated memory: 99996 KiB
[startup+25.5002 s]
/proc/loadavg: 2.59 2.96 3.59 6/270 18008
/proc/meminfo: memFree=129879152/131249996 swapFree=33010684/33010684
[pid=17905] ppid=17889 vsize=4192 memory=2944 CPUtime=1.33 cores=1,3
/proc/17905/stat : 17905 (run-dec-break.s) S 17889 17905 17835 0 -1 4194304 239 12618 0 0 0 0 131 2 20 0 1 0 31268532 4292608 736 18446744073709551615 94173500911616 94173501806149 140736541554432 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173502045200 94173502092944 94173506220032 140736541559137 140736541559266 140736541559266 140736541564868 0
/proc/17905/statm: 1048 736 672 219 0 110 0
[pid=17921] ppid=17905 vsize=168448 memory=118576 CPUtime=24.07 cores=1,3
/proc/17921/stat : 17921 (roundingsat) R 17905 17905 17835 0 -1 4194304 22994 0 0 0 2385 22 0 0 20 0 1 0 31268668 172490752 29644 18446744073709551615 4227072 8923433 140732235181168 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25894912 140732235188548 140732235188776 140732235188776 140732235194346 0
/proc/17921/statm: 42112 29644 2368 1147 0 29539 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 172640 KiB
Current children cumulated memory: 121520 KiB
[startup+51.1051 s]
/proc/loadavg: 3.13 3.06 3.61 5/270 18196
/proc/meminfo: memFree=129878316/131249996 swapFree=33010684/33010684
[pid=17905] ppid=17889 vsize=4192 memory=2944 CPUtime=1.33 cores=1,3
/proc/17905/stat : 17905 (run-dec-break.s) S 17889 17905 17835 0 -1 4194304 239 12618 0 0 0 0 131 2 20 0 1 0 31268532 4292608 736 18446744073709551615 94173500911616 94173501806149 140736541554432 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173502045200 94173502092944 94173506220032 140736541559137 140736541559266 140736541559266 140736541564868 0
/proc/17905/statm: 1048 736 672 219 0 110 0
[pid=17921] ppid=17905 vsize=208408 memory=148776 CPUtime=49.61 cores=1,3
/proc/17921/stat : 17921 (roundingsat) R 17905 17905 17835 0 -1 4194304 28505 0 0 0 4920 41 0 0 20 0 1 0 31268668 213409792 37194 18446744073709551615 4227072 8923433 140732235181168 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25894912 140732235188548 140732235188776 140732235188776 140732235194346 0
/proc/17921/statm: 52102 37194 2368 1147 0 39529 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 212600 KiB
Current children cumulated memory: 151720 KiB
[startup+102.3 s]
/proc/loadavg: 3.67 3.22 3.64 5/273 18435
/proc/meminfo: memFree=129772184/131249996 swapFree=33010684/33010684
[pid=17905] ppid=17889 vsize=4192 memory=2944 CPUtime=1.33 cores=1,3
/proc/17905/stat : 17905 (run-dec-break.s) S 17889 17905 17835 0 -1 4194304 239 12618 0 0 0 0 131 2 20 0 1 0 31268532 4292608 736 18446744073709551615 94173500911616 94173501806149 140736541554432 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173502045200 94173502092944 94173506220032 140736541559137 140736541559266 140736541559266 140736541564868 0
/proc/17905/statm: 1048 736 672 219 0 110 0
[pid=17921] ppid=17905 vsize=281812 memory=213216 CPUtime=100.66 cores=1,3
/proc/17921/stat : 17921 (roundingsat) R 17905 17905 17835 0 -1 4194304 39995 0 0 0 9991 75 0 0 20 0 1 0 31268668 288575488 53304 18446744073709551615 4227072 8923433 140732235181168 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25894912 140732235188548 140732235188776 140732235188776 140732235194346 0
/proc/17921/statm: 70453 53304 2368 1147 0 57880 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 286004 KiB
Current children cumulated memory: 216160 KiB
[startup+162.3 s]
/proc/loadavg: 3.99 3.40 3.67 5/274 18535
/proc/meminfo: memFree=129357024/131249996 swapFree=33010684/33010684
[pid=17905] ppid=17889 vsize=4192 memory=2944 CPUtime=1.33 cores=1,3
/proc/17905/stat : 17905 (run-dec-break.s) S 17889 17905 17835 0 -1 4194304 239 12618 0 0 0 0 131 2 20 0 1 0 31268532 4292608 736 18446744073709551615 94173500911616 94173501806149 140736541554432 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173502045200 94173502092944 94173506220032 140736541559137 140736541559266 140736541559266 140736541564868 0
/proc/17905/statm: 1048 736 672 219 0 110 0
[pid=17921] ppid=17905 vsize=307628 memory=238560 CPUtime=160.49 cores=1,3
/proc/17921/stat : 17921 (roundingsat) R 17905 17905 17835 0 -1 4194304 46335 0 0 0 15933 116 0 0 20 0 1 0 31268668 315011072 59640 18446744073709551615 4227072 8923433 140732235181168 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25894912 140732235188548 140732235188776 140732235188776 140732235194346 0
/proc/17921/statm: 76907 59640 2368 1147 0 64334 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 311820 KiB
Current children cumulated memory: 241504 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 3.52 3.70 5/272 18740
/proc/meminfo: memFree=128885132/131249996 swapFree=33010684/33010684
[pid=17905] ppid=17889 vsize=4192 memory=2944 CPUtime=1.33 cores=1,3
/proc/17905/stat : 17905 (run-dec-break.s) S 17889 17905 17835 0 -1 4194304 239 12618 0 0 0 0 131 2 20 0 1 0 31268532 4292608 736 18446744073709551615 94173500911616 94173501806149 140736541554432 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173502045200 94173502092944 94173506220032 140736541559137 140736541559266 140736541559266 140736541564868 0
/proc/17905/statm: 1048 736 672 219 0 110 0
[pid=17921] ppid=17905 vsize=339452 memory=294904 CPUtime=220.32 cores=1,3
/proc/17921/stat : 17921 (roundingsat) R 17905 17905 17835 0 -1 4194304 54317 0 0 0 21892 140 0 0 20 0 1 0 31268668 347598848 73726 18446744073709551615 4227072 8923433 140732235181168 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25894912 140732235188548 140732235188776 140732235188776 140732235194346 0
/proc/17921/statm: 84863 73726 2368 1147 0 72290 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 343644 KiB
Current children cumulated memory: 297848 KiB
################
# More data... #
################
/proc/17921/statm: 338066 274811 2400 1147 0 325493 0
Current children cumulated CPU time: 3094.07 s
Current children cumulated vsize: 1356456 KiB
Current children cumulated memory: 1102188 KiB
[startup+3162.3 s]
/proc/loadavg: 4.06 4.08 4.06 5/270 21468
/proc/meminfo: memFree=128694144/131249996 swapFree=33010684/33010684
[pid=17905] ppid=17889 vsize=4192 memory=2944 CPUtime=1.33 cores=1,3
/proc/17905/stat : 17905 (run-dec-break.s) S 17889 17905 17835 0 -1 4194304 239 12618 0 0 0 0 131 2 20 0 1 0 31268532 4292608 736 18446744073709551615 94173500911616 94173501806149 140736541554432 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173502045200 94173502092944 94173506220032 140736541559137 140736541559266 140736541559266 140736541564868 0
/proc/17905/statm: 1048 736 672 219 0 110 0
[pid=17921] ppid=17905 vsize=1352264 memory=1099244 CPUtime=3152.58 cores=1,3
/proc/17921/stat : 17921 (roundingsat) R 17905 17905 17835 0 -1 4194304 186302 0 0 0 314115 1143 0 0 20 0 1 0 31268668 1384718336 274811 18446744073709551615 4227072 8923433 140732235181168 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25894912 140732235188548 140732235188776 140732235188776 140732235194346 0
/proc/17921/statm: 338066 274811 2400 1147 0 325493 0
Current children cumulated CPU time: 3153.91 s
Current children cumulated vsize: 1356456 KiB
Current children cumulated memory: 1102188 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.09 4.06 5/269 21471
/proc/meminfo: memFree=128643348/131249996 swapFree=33010684/33010684
[pid=17905] ppid=17889 vsize=4192 memory=2944 CPUtime=1.33 cores=1,3
/proc/17905/stat : 17905 (run-dec-break.s) S 17889 17905 17835 0 -1 4194304 239 12618 0 0 0 0 131 2 20 0 1 0 31268532 4292608 736 18446744073709551615 94173500911616 94173501806149 140736541554432 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173502045200 94173502092944 94173506220032 140736541559137 140736541559266 140736541559266 140736541564868 0
/proc/17905/statm: 1048 736 672 219 0 110 0
[pid=17921] ppid=17905 vsize=1352264 memory=1142252 CPUtime=3212.42 cores=1,3
/proc/17921/stat : 17921 (roundingsat) R 17905 17905 17835 0 -1 4194304 186421 0 0 0 320089 1153 0 0 20 0 1 0 31268668 1384718336 285563 18446744073709551615 4227072 8923433 140732235181168 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25894912 140732235188548 140732235188776 140732235188776 140732235194346 0
/proc/17921/statm: 338066 285563 2400 1147 0 325493 0
Current children cumulated CPU time: 3213.75 s
Current children cumulated vsize: 1356456 KiB
Current children cumulated memory: 1145196 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.09 4.06 5/270 21478
/proc/meminfo: memFree=128572408/131249996 swapFree=33010684/33010684
[pid=17905] ppid=17889 vsize=4192 memory=2944 CPUtime=1.33 cores=1,3
/proc/17905/stat : 17905 (run-dec-break.s) S 17889 17905 17835 0 -1 4194304 239 12618 0 0 0 0 131 2 20 0 1 0 31268532 4292608 736 18446744073709551615 94173500911616 94173501806149 140736541554432 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173502045200 94173502092944 94173506220032 140736541559137 140736541559266 140736541559266 140736541564868 0
/proc/17905/statm: 1048 736 672 219 0 110 0
[pid=17921] ppid=17905 vsize=1391664 memory=1216704 CPUtime=3272.24 cores=1,3
/proc/17921/stat : 17921 (roundingsat) R 17905 17905 17835 0 -1 4194304 195949 0 0 0 326061 1163 0 0 20 0 1 0 31268668 1425063936 304176 18446744073709551615 4227072 8923433 140732235181168 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25894912 140732235188548 140732235188776 140732235188776 140732235194346 0
/proc/17921/statm: 347916 304176 2400 1147 0 335343 0
Current children cumulated CPU time: 3273.57 s
Current children cumulated vsize: 1395856 KiB
Current children cumulated memory: 1219648 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.09 4.06 5/270 21480
/proc/meminfo: memFree=128560240/131249996 swapFree=33010684/33010684
[pid=17905] ppid=17889 vsize=4192 memory=2944 CPUtime=1.33 cores=1,3
/proc/17905/stat : 17905 (run-dec-break.s) S 17889 17905 17835 0 -1 4194304 239 12618 0 0 0 0 131 2 20 0 1 0 31268532 4292608 736 18446744073709551615 94173500911616 94173501806149 140736541554432 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173502045200 94173502092944 94173506220032 140736541559137 140736541559266 140736541559266 140736541564868 0
/proc/17905/statm: 1048 736 672 219 0 110 0
[pid=17921] ppid=17905 vsize=1398384 memory=1223488 CPUtime=3332.08 cores=1,3
/proc/17921/stat : 17921 (roundingsat) R 17905 17905 17835 0 -1 4194304 197647 0 0 0 332036 1172 0 0 20 0 1 0 31268668 1431945216 305872 18446744073709551615 4227072 8923433 140732235181168 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25894912 140732235188548 140732235188776 140732235188776 140732235194346 0
/proc/17921/statm: 349596 305872 2400 1147 0 337023 0
Current children cumulated CPU time: 3333.41 s
Current children cumulated vsize: 1402576 KiB
Current children cumulated memory: 1226432 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.08 4.06 5/269 21486
/proc/meminfo: memFree=128512136/131249996 swapFree=33010684/33010684
[pid=17905] ppid=17889 vsize=4192 memory=2944 CPUtime=1.33 cores=1,3
/proc/17905/stat : 17905 (run-dec-break.s) S 17889 17905 17835 0 -1 4194304 239 12618 0 0 0 0 131 2 20 0 1 0 31268532 4292608 736 18446744073709551615 94173500911616 94173501806149 140736541554432 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173502045200 94173502092944 94173506220032 140736541559137 140736541559266 140736541559266 140736541564868 0
/proc/17905/statm: 1048 736 672 219 0 110 0
[pid=17921] ppid=17905 vsize=1433672 memory=1275524 CPUtime=3391.9 cores=1,3
/proc/17921/stat : 17921 (roundingsat) R 17905 17905 17835 0 -1 4194304 206048 0 0 0 338006 1184 0 0 20 0 1 0 31268668 1468080128 318881 18446744073709551615 4227072 8923433 140732235181168 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25894912 140732235188548 140732235188776 140732235188776 140732235194346 0
/proc/17921/statm: 358418 318881 2400 1147 0 345845 0
Current children cumulated CPU time: 3393.23 s
Current children cumulated vsize: 1437864 KiB
Current children cumulated memory: 1278468 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.08 4.06 5/269 21488
/proc/meminfo: memFree=128503728/131249996 swapFree=33010684/33010684
[pid=17905] ppid=17889 vsize=4192 memory=2944 CPUtime=1.33 cores=1,3
/proc/17905/stat : 17905 (run-dec-break.s) S 17889 17905 17835 0 -1 4194304 239 12618 0 0 0 0 131 2 20 0 1 0 31268532 4292608 736 18446744073709551615 94173500911616 94173501806149 140736541554432 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173502045200 94173502092944 94173506220032 140736541559137 140736541559266 140736541559266 140736541564868 0
/proc/17905/statm: 1048 736 672 219 0 110 0
[pid=17921] ppid=17905 vsize=1438840 memory=1280900 CPUtime=3451.73 cores=1,3
/proc/17921/stat : 17921 (roundingsat) R 17905 17905 17835 0 -1 4194304 207383 0 0 0 343980 1193 0 0 20 0 1 0 31268668 1473372160 320225 18446744073709551615 4227072 8923433 140732235181168 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25894912 140732235188548 140732235188776 140732235188776 140732235194346 0
/proc/17921/statm: 359710 320225 2400 1147 0 347137 0
Current children cumulated CPU time: 3453.06 s
Current children cumulated vsize: 1443032 KiB
Current children cumulated memory: 1283844 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.08 4.06 5/270 21491
/proc/meminfo: memFree=128495040/131249996 swapFree=33010684/33010684
[pid=17905] ppid=17889 vsize=4192 memory=2944 CPUtime=1.33 cores=1,3
/proc/17905/stat : 17905 (run-dec-break.s) S 17889 17905 17835 0 -1 4194304 239 12618 0 0 0 0 131 2 20 0 1 0 31268532 4292608 736 18446744073709551615 94173500911616 94173501806149 140736541554432 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173502045200 94173502092944 94173506220032 140736541559137 140736541559266 140736541559266 140736541564868 0
/proc/17905/statm: 1048 736 672 219 0 110 0
[pid=17921] ppid=17905 vsize=1449368 memory=1290244 CPUtime=3511.56 cores=1,3
/proc/17921/stat : 17921 (roundingsat) R 17905 17905 17835 0 -1 4194304 209743 0 0 0 349949 1207 0 0 20 0 1 0 31268668 1484152832 322561 18446744073709551615 4227072 8923433 140732235181168 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25894912 140732235188548 140732235188776 140732235188776 140732235194346 0
/proc/17921/statm: 362342 322561 2400 1147 0 349769 0
Current children cumulated CPU time: 3512.89 s
Current children cumulated vsize: 1453560 KiB
Current children cumulated memory: 1293188 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.09 4.07 5/270 21494
/proc/meminfo: memFree=128468348/131249996 swapFree=33010684/33010684
[pid=17905] ppid=17889 vsize=4192 memory=2944 CPUtime=1.33 cores=1,3
/proc/17905/stat : 17905 (run-dec-break.s) S 17889 17905 17835 0 -1 4194304 239 12618 0 0 0 0 131 2 20 0 1 0 31268532 4292608 736 18446744073709551615 94173500911616 94173501806149 140736541554432 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173502045200 94173502092944 94173506220032 140736541559137 140736541559266 140736541559266 140736541564868 0
/proc/17905/statm: 1048 736 672 219 0 110 0
[pid=17921] ppid=17905 vsize=1455740 memory=1297412 CPUtime=3571.38 cores=1,3
/proc/17921/stat : 17921 (roundingsat) R 17905 17905 17835 0 -1 4194304 211565 0 0 0 355920 1218 0 0 20 0 1 0 31268668 1490677760 324353 18446744073709551615 4227072 8923433 140732235181168 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25894912 140732235188548 140732235188776 140732235188776 140732235194346 0
/proc/17921/statm: 363935 324353 2400 1147 0 351362 0
Current children cumulated CPU time: 3572.71 s
Current children cumulated vsize: 1459932 KiB
Current children cumulated memory: 1300356 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 4.14 4.10 4.07 5/270 21494
/proc/meminfo: memFree=128468356/131249996 swapFree=33010684/33010684
[pid=17905] ppid=17889 vsize=4192 memory=2944 CPUtime=1.33 cores=1,3
/proc/17905/stat : 17905 (run-dec-break.s) S 17889 17905 17835 0 -1 4194304 239 12618 0 0 0 0 131 2 20 0 1 0 31268532 4292608 736 18446744073709551615 94173500911616 94173501806149 140736541554432 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173502045200 94173502092944 94173506220032 140736541559137 140736541559266 140736541559266 140736541564868 0
/proc/17905/statm: 1048 736 672 219 0 110 0
[pid=17921] ppid=17905 vsize=1455740 memory=1297412 CPUtime=3598.69 cores=1,3
/proc/17921/stat : 17921 (roundingsat) R 17905 17905 17835 0 -1 4194304 211632 0 0 0 358648 1221 0 0 20 0 1 0 31268668 1490677760 324353 18446744073709551615 4227072 8923433 140732235181168 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25894912 140732235188548 140732235188776 140732235188776 140732235194346 0
/proc/17921/statm: 363935 324353 2400 1147 0 351362 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1459932 KiB
Current children cumulated memory: 1300356 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.7 s]
# the end of solver process 17905 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=1.31929 s, system=0.023949 s
Sleeping 2 seconds
[startup+3609.72 s]
# the end of solver process 17921 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3587.82 s, system=12.2497 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.7 s]
/proc/loadavg: 4.14 4.10 4.07 5/270 21494
/proc/meminfo: memFree=128468356/131249996 swapFree=33010684/33010684
[pid=17905] ppid=17889 vsize=4192 memory=2944 CPUtime=1.33 cores=1,3
/proc/17905/stat : 17905 (run-dec-break.s) S 17889 17905 17835 0 -1 4194304 239 12618 0 0 0 0 131 2 20 0 1 0 31268532 4292608 736 18446744073709551615 94173500911616 94173501806149 140736541554432 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173502045200 94173502092944 94173506220032 140736541559137 140736541559266 140736541559266 140736541564868 0
/proc/17905/statm: 1048 736 672 219 0 110 0
[pid=17921] ppid=17905 vsize=1455740 memory=1297412 CPUtime=3598.69 cores=1,3
/proc/17921/stat : 17921 (roundingsat) R 17905 17905 17835 0 -1 4194304 211632 0 0 0 358648 1221 0 0 20 0 1 0 31268668 1490677760 324353 18446744073709551615 4227072 8923433 140732235181168 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25894912 140732235188548 140732235188776 140732235188776 140732235194346 0
/proc/17921/statm: 363935 324353 2400 1147 0 351362 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1459932 KiB
Current children cumulated memory: 1300356 KiB
Child status: 2
Real time (s): 3609.72
CPU time (s): 3600.07
CPU user time (s): 3587.82
CPU system time (s): 12.2497
CPU usage (%): 99.7326
Max. virtual memory (cumulated for all children) (KiB): 1459932
Max. memory (cumulated for all children) (KiB): 1300356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.82
system time used= 12.2497
maximum resident set size= 1297796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 224511
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3560
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 442
involuntary context switches= 3416
# summary of solver processes directly reported to runsolver:
# pid: 17905,17921
# total CPU time (s): 3600.07
# total CPU user time (s): 3587.82
# total CPU system time (s): 12.2497
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.94535 second user time and 16.2963 second system time
The end
Begin job on nodeC024 at 2025-06-29 02:11:46
IDJOB=4493448
IDBENCH=147863
IDSOLVER=3357
FILE ID=nodeC024/4493448-1751155906
RUNJOBID= nodeC024-1751155906-17847
SLURM_JOB_ID= 9587473
Free space on /tmp= 433056 MiB
SOLVER NAME= roundingsat+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/prestwich/robin/normalized-robin16.opb
COMMAND LINE= run-dec-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4493448-1751155906/watcher-4493448-1751155906 -o /tmp/evaluation-result-4493448-1751155906/solver-4493448-1751155906 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751155906-17847 --watchdog 3760 run-dec-break.sh HOME/instance-4493448-1751155906.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c646e12ccfd746fe0694a48782eaf83d
RANDOM SEED=2089878730
nodeC024 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.773
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.36
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 : 3595.395
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.36
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 : 3600.602
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.36
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.677
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.271
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.707
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.36
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.785
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.552
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 130208240 kB
MemAvailable: 129827904 kB
Buffers: 3280 kB
Cached: 403796 kB
SwapCached: 0 kB
Active: 274336 kB
Inactive: 196008 kB
Active(anon): 81400 kB
Inactive(anon): 0 kB
Active(file): 192936 kB
Inactive(file): 196008 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 31200 kB
Writeback: 0 kB
AnonPages: 66432 kB
Mapped: 102908 kB
Shmem: 18064 kB
KReclaimable: 85344 kB
Slab: 168104 kB
SReclaimable: 85344 kB
SUnreclaim: 82760 kB
KernelStack: 4112 kB
PageTables: 2908 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 332408 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150424 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 8192 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: 195284 kB
DirectMap2M: 6916096 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 433020 MiB
End job on nodeC024 at 2025-06-29 03:11:56