0.00/0.05 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.05 c │ pbsuma -- a PB interface for satsuma │
0.00/0.05 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.05 c │ (c) 2025 Markus Anders │
0.00/0.05 c └────────────────────────────────────────────────────────────────┘
0.00/0.05 c parse 'HOME/instance-4531740-1752584603.opb'
0.00/0.10 c read 4.78MB (47.88ms)
0.00/0.10 c [cnf: #variables 107808 #clauses 3905 #duplicates 0 #arr 329888]
0.00/0.10 c output proof to 'PROOFDIR/proof-4531740-1752584603'
0.00/0.10 c
0.00/0.10 c make graph and approximate orbits
0.15/0.23 c [group: #orbits ~= 0] (130.89ms)
0.15/0.23 c
0.15/0.23 c detect special group actions
0.15/0.23 c probe for Johnson action (limit=64)
0.15/0.24 c probe for row-column symmetry (limit=64, splits=16.78M)
0.15/0.25 c probe for row symmetry (limit=64, splits=16.78M)
0.15/0.26 c (25.70ms)
0.15/0.26 c
0.15/0.26 c detect symmetries on remainder
0.15/0.26 c [graph: #vertices 486721 #edges 1409792]
0.15/0.26 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.15/0.29 c [group: #symmetries 1.00*10^0 #generators 0] (28.73ms)
0.15/0.29 c
0.15/0.29 c finalize break order and special generators
0.15/0.29 c
0.15/0.29 c generation finished
0.15/0.29 c [sbp: #constraints 0 #add_vars 0]
0.15/0.30 c
0.15/0.30 c write result to 'HOME/instance-4531740-1752584603.opb.pre'
0.15/0.31 c wrote 4.78MB (9.81ms)
0.15/0.31 c ------------------------------------------------------------------
0.15/0.31 c 130.89ms 51.17% approx_orbits
0.15/0.31 c 47.87ms 18.71% parse
0.15/0.31 c 28.73ms 11.23% detect_generic
0.25/0.31 c 25.70ms 10.05% detect_special
0.25/0.31 c 9.81ms 3.84% output
0.25/0.31 c 8.47ms 3.31% other
0.25/0.31 c 4.32ms 1.69% finalize_order
0.25/0.31 c ───────────────────────────────────────────────
0.25/0.31 c 255.80ms 100% total
0.25/0.31 c ------------------------------------------------------------------
0.25/0.37 c RoundingSat 2
0.25/0.37 c branch pb25
0.25/0.37 c commit 0f876b3
0.57/0.75 c #variables 107808 #constraints 5184
0.57/0.75 c objective is ce64
2.97/3.13 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
2.97/3.13 c initial counting CF 32, 64, 128, Arb: 5168 , 17 , 0 , 0
2.97/3.13 c bounds - >= 0 @ 2.68823
171.68/176.75 c #Conflicts: 1000 | #Constraints: 6183
171.68/176.75 c #Conflicts: 2000 | #Constraints: 7183
171.68/176.75 c INPROCESSING
171.68/176.75 c #Conflicts: 3000 | #Constraints: 7211
171.68/176.75 c #Conflicts: 4000 | #Constraints: 8211
171.68/176.75 c INPROCESSING
171.68/176.75 c GARBAGE COLLECT
171.68/176.75 c #Conflicts: 5000 | #Constraints: 7804
171.68/176.75 c #Conflicts: 6000 | #Constraints: 8804
171.68/176.75 c INPROCESSING
171.68/176.75 c GARBAGE COLLECT
171.68/176.75 c #Conflicts: 7000 | #Constraints: 7930
171.68/176.75 c #Conflicts: 8000 | #Constraints: 8930
171.68/176.75 c #Conflicts: 9000 | #Constraints: 9930
171.68/176.75 c INPROCESSING
171.68/176.75 c GARBAGE COLLECT
171.68/176.75 c #Conflicts: 10000 | #Constraints: 8712
171.68/176.75 c #Conflicts: 11000 | #Constraints: 9712
171.68/176.75 c #Conflicts: 12000 | #Constraints: 10712
171.68/176.75 c INPROCESSING
171.68/176.75 c GARBAGE COLLECT
171.68/176.75 c #Conflicts: 13000 | #Constraints: 9312
171.68/176.75 c #Conflicts: 14000 | #Constraints: 10312
171.68/176.75 c #Conflicts: 15000 | #Constraints: 11312
171.68/176.75 c INPROCESSING
171.68/176.75 c GARBAGE COLLECT
171.68/176.75 c #Conflicts: 16000 | #Constraints: 9610
171.68/176.75 c #Conflicts: 17000 | #Constraints: 10610
171.68/176.75 c #Conflicts: 18000 | #Constraints: 11610
171.68/176.75 c INPROCESSING
171.68/176.75 c GARBAGE COLLECT
171.68/176.75 c #Conflicts: 19000 | #Constraints: 9747
171.68/176.75 c #Conflicts: 20000 | #Constraints: 10747
171.68/176.75 c #Conflicts: 21000 | #Constraints: 11747
171.68/176.75 c INPROCESSING
171.68/176.75 c GARBAGE COLLECT
171.68/176.75 c #Conflicts: 22000 | #Constraints: 9627
171.68/176.75 c #Conflicts: 23000 | #Constraints: 10627
171.68/176.75 c #Conflicts: 24000 | #Constraints: 11627
171.68/176.75 c #Conflicts: 25000 | #Constraints: 12627
171.68/176.75 c INPROCESSING
171.68/176.75 c GARBAGE COLLECT
171.68/176.75 c #Conflicts: 26000 | #Constraints: 10206
171.68/176.75 c #Conflicts: 27000 | #Constraints: 11206
171.68/176.75 c #Conflicts: 28000 | #Constraints: 12206
171.68/176.75 c #Conflicts: 29000 | #Constraints: 13206
171.68/176.75 c INPROCESSING
171.68/176.75 c GARBAGE COLLECT
171.68/176.75 c #Conflicts: 30000 | #Constraints: 10697
171.68/176.75 c #Conflicts: 31000 | #Constraints: 11697
171.68/176.75 c #Conflicts: 32000 | #Constraints: 12697
171.68/176.75 c #Conflicts: 33000 | #Constraints: 13697
171.68/176.75 c INPROCESSING
171.68/176.75 c GARBAGE COLLECT
171.68/176.75 c #Conflicts: 34000 | #Constraints: 10975
171.68/176.75 c #Conflicts: 35000 | #Constraints: 11975
171.68/176.75 c #Conflicts: 36000 | #Constraints: 12975
171.68/176.75 c #Conflicts: 37000 | #Constraints: 13977
171.68/176.75 c INPROCESSING
171.68/176.75 c GARBAGE COLLECT
171.68/176.75 c #Conflicts: 38000 | #Constraints: 10951
171.68/176.75 c #Conflicts: 39000 | #Constraints: 11951
171.68/176.75 c #Conflicts: 40000 | #Constraints: 12951
171.68/176.75 c #Conflicts: 41000 | #Constraints: 13951
171.68/176.75 c INPROCESSING
171.68/176.75 c GARBAGE COLLECT
171.68/176.75 c #Conflicts: 42000 | #Constraints: 10817
171.68/176.75 c #Conflicts: 43000 | #Constraints: 11817
171.68/176.75 c #Conflicts: 44000 | #Constraints: 12817
171.68/176.75 c #Conflicts: 45000 | #Constraints: 13817
171.68/176.75 c #Conflicts: 46000 | #Constraints: 14817
171.68/176.75 c INPROCESSING
171.68/176.75 c GARBAGE COLLECT
171.68/176.75 c #Conflicts: 47000 | #Constraints: 11450
171.68/176.75 c #Conflicts: 48000 | #Constraints: 12450
171.68/176.75 c #Conflicts: 49000 | #Constraints: 13451
171.68/176.75 c #Conflicts: 50000 | #Constraints: 14451
171.68/176.75 c #Conflicts: 51000 | #Constraints: 15451
171.68/176.75 c INPROCESSING
171.68/176.75 c GARBAGE COLLECT
171.68/176.75 c #Conflicts: 52000 | #Constraints: 11778
171.68/176.75 c #Conflicts: 53000 | #Constraints: 12778
171.68/176.75 c #Conflicts: 54000 | #Constraints: 13778
171.68/176.75 c #Conflicts: 55000 | #Constraints: 14778
171.68/176.75 c #Conflicts: 56000 | #Constraints: 15778
171.68/176.75 c INPROCESSING
171.68/176.75 c GARBAGE COLLECT
171.68/176.75 c rational objective 4.13104e+08
317.61/327.48 c #Conflicts: 57000 | #Constraints: 11955
317.61/327.48 c #Conflicts: 58000 | #Constraints: 12955
317.61/327.48 c #Conflicts: 59000 | #Constraints: 13955
317.61/327.48 c #Conflicts: 60000 | #Constraints: 14955
317.61/327.48 c #Conflicts: 61000 | #Constraints: 15955
317.61/327.48 c INPROCESSING
317.61/327.48 c GARBAGE COLLECT
317.61/327.48 c #Conflicts: 62000 | #Constraints: 12019
317.61/327.48 c #Conflicts: 63000 | #Constraints: 13019
317.61/327.48 c #Conflicts: 64000 | #Constraints: 14019
317.61/327.48 c #Conflicts: 65000 | #Constraints: 15020
317.61/327.48 c #Conflicts: 66000 | #Constraints: 16020
317.61/327.48 c INPROCESSING
317.61/327.48 c GARBAGE COLLECT
317.61/327.48 c #Conflicts: 67000 | #Constraints: 11918
317.61/327.48 c #Conflicts: 68000 | #Constraints: 12918
317.61/327.48 c #Conflicts: 69000 | #Constraints: 13918
317.61/327.48 c #Conflicts: 70000 | #Constraints: 14919
317.61/327.48 c #Conflicts: 71000 | #Constraints: 15919
317.61/327.48 c #Conflicts: 72000 | #Constraints: 16919
317.61/327.48 c INPROCESSING
317.61/327.48 c GARBAGE COLLECT
317.61/327.48 c #Conflicts: 73000 | #Constraints: 12426
317.61/327.48 c #Conflicts: 74000 | #Constraints: 13426
317.61/327.48 c #Conflicts: 75000 | #Constraints: 14428
317.61/327.48 c #Conflicts: 76000 | #Constraints: 15430
317.61/327.48 c #Conflicts: 77000 | #Constraints: 16431
317.61/327.48 c #Conflicts: 78000 | #Constraints: 17431
317.61/327.48 c INPROCESSING
317.61/327.48 c GARBAGE COLLECT
317.61/327.48 c #Conflicts: 79000 | #Constraints: 12923
317.61/327.48 c #Conflicts: 80000 | #Constraints: 13924
317.61/327.48 c #Conflicts: 81000 | #Constraints: 14925
317.61/327.48 c #Conflicts: 82000 | #Constraints: 15925
317.61/327.48 c #Conflicts: 83000 | #Constraints: 16925
317.61/327.48 c #Conflicts: 84000 | #Constraints: 17925
317.61/327.48 c INPROCESSING
317.61/327.48 c GARBAGE COLLECT
317.61/327.48 c #Conflicts: 85000 | #Constraints: 13123
317.61/327.48 c #Conflicts: 86000 | #Constraints: 14123
317.61/327.48 c #Conflicts: 87000 | #Constraints: 15123
317.61/327.48 c #Conflicts: 88000 | #Constraints: 16123
317.61/327.48 c #Conflicts: 89000 | #Constraints: 17124
317.61/327.48 c #Conflicts: 90000 | #Constraints: 18125
317.61/327.48 c INPROCESSING
317.61/327.48 c GARBAGE COLLECT
317.61/327.48 c #Conflicts: 91000 | #Constraints: 13050
317.61/327.48 c #Conflicts: 92000 | #Constraints: 14050
317.61/327.48 c #Conflicts: 93000 | #Constraints: 15050
317.61/327.48 c #Conflicts: 94000 | #Constraints: 16050
317.61/327.48 c #Conflicts: 95000 | #Constraints: 17050
317.61/327.48 c #Conflicts: 96000 | #Constraints: 18051
317.61/327.48 c INPROCESSING
317.61/327.48 c GARBAGE COLLECT
317.61/327.48 c #Conflicts: 97000 | #Constraints: 12913
317.61/327.48 c #Conflicts: 98000 | #Constraints: 13913
317.61/327.48 c #Conflicts: 99000 | #Constraints: 14913
317.61/327.48 c #Conflicts: 100000 | #Constraints: 15913
317.61/327.48 c #Conflicts: 101000 | #Constraints: 16913
317.61/327.48 c #Conflicts: 102000 | #Constraints: 17914
317.61/327.48 c #Conflicts: 103000 | #Constraints: 18914
317.61/327.48 c INPROCESSING
317.61/327.48 c GARBAGE COLLECT
317.61/327.48 c #Conflicts: 104000 | #Constraints: 13559
317.61/327.48 c #Conflicts: 105000 | #Constraints: 14560
317.61/327.48 c #Conflicts: 106000 | #Constraints: 15560
317.61/327.48 c #Conflicts: 107000 | #Constraints: 16561
317.61/327.48 c #Conflicts: 108000 | #Constraints: 17561
317.61/327.48 c #Conflicts: 109000 | #Constraints: 18562
317.61/327.48 c #Conflicts: 110000 | #Constraints: 19562
317.61/327.48 c INPROCESSING
317.61/327.48 c GARBAGE COLLECT
317.61/327.48 c #Conflicts: 111000 | #Constraints: 14073
317.61/327.48 c #Conflicts: 112000 | #Constraints: 15073
317.61/327.48 c #Conflicts: 113000 | #Constraints: 16073
317.61/327.48 c #Conflicts: 114000 | #Constraints: 17073
317.61/327.48 c #Conflicts: 115000 | #Constraints: 18073
317.61/327.48 c #Conflicts: 116000 | #Constraints: 19073
317.61/327.48 c #Conflicts: 117000 | #Constraints: 20073
317.61/327.48 c INPROCESSING
317.61/327.48 c GARBAGE COLLECT
317.61/327.48 c #Conflicts: 118000 | #Constraints: 14234
317.61/327.48 c #Conflicts: 119000 | #Constraints: 15234
317.61/327.48 c #Conflicts: 120000 | #Constraints: 16234
317.61/327.48 c #Conflicts: 121000 | #Constraints: 17234
317.61/327.48 c #Conflicts: 122000 | #Constraints: 18234
317.61/327.48 c #Conflicts: 123000 | #Constraints: 19234
317.61/327.48 c #Conflicts: 124000 | #Constraints: 20234
317.61/327.48 c INPROCESSING
317.61/327.48 c GARBAGE COLLECT
317.61/327.48 c #Conflicts: 125000 | #Constraints: 14340
317.61/327.48 c #Conflicts: 126000 | #Constraints: 15341
317.61/327.48 c #Conflicts: 127000 | #Constraints: 16341
317.61/327.48 c #Conflicts: 128000 | #Constraints: 17341
491.68/502.50 c #Conflicts: 129000 | #Constraints: 18341
491.68/502.50 c #Conflicts: 130000 | #Constraints: 19342
491.68/502.50 c #Conflicts: 131000 | #Constraints: 20342
491.68/502.50 c INPROCESSING
491.68/502.50 c GARBAGE COLLECT
491.68/502.50 c #Conflicts: 132000 | #Constraints: 14156
491.68/502.50 c #Conflicts: 133000 | #Constraints: 15156
491.68/502.50 c #Conflicts: 134000 | #Constraints: 16156
491.68/502.50 c #Conflicts: 135000 | #Constraints: 17156
491.68/502.50 c #Conflicts: 136000 | #Constraints: 18156
491.68/502.50 c #Conflicts: 137000 | #Constraints: 19156
491.68/502.50 c #Conflicts: 138000 | #Constraints: 20156
491.68/502.50 c #Conflicts: 139000 | #Constraints: 21156
491.68/502.50 c INPROCESSING
491.68/502.50 c GARBAGE COLLECT
491.68/502.50 c #Conflicts: 140000 | #Constraints: 14924
491.68/502.50 c #Conflicts: 141000 | #Constraints: 15924
491.68/502.50 c #Conflicts: 142000 | #Constraints: 16924
491.68/502.50 c #Conflicts: 143000 | #Constraints: 17924
491.68/502.50 c #Conflicts: 144000 | #Constraints: 18924
491.68/502.50 c #Conflicts: 145000 | #Constraints: 19924
491.68/502.50 c #Conflicts: 146000 | #Constraints: 20924
491.68/502.50 c #Conflicts: 147000 | #Constraints: 21924
491.68/502.50 c INPROCESSING
491.68/502.50 c GARBAGE COLLECT
491.68/502.50 c #Conflicts: 148000 | #Constraints: 15155
491.68/502.50 c #Conflicts: 149000 | #Constraints: 16155
491.68/502.50 c #Conflicts: 150000 | #Constraints: 17155
491.68/502.50 c #Conflicts: 151000 | #Constraints: 18155
491.68/502.50 c #Conflicts: 152000 | #Constraints: 19155
491.68/502.50 c #Conflicts: 153000 | #Constraints: 20155
491.68/502.50 c #Conflicts: 154000 | #Constraints: 21155
491.68/502.50 c #Conflicts: 155000 | #Constraints: 22155
491.68/502.50 c INPROCESSING
491.68/502.50 c GARBAGE COLLECT
491.68/502.50 c #Conflicts: 156000 | #Constraints: 15364
491.68/502.50 c #Conflicts: 157000 | #Constraints: 16364
491.68/502.50 c #Conflicts: 158000 | #Constraints: 17364
491.68/502.50 c #Conflicts: 159000 | #Constraints: 18365
491.68/502.50 c #Conflicts: 160000 | #Constraints: 19365
491.68/502.50 c #Conflicts: 161000 | #Constraints: 20365
491.68/502.50 c #Conflicts: 162000 | #Constraints: 21365
491.68/502.50 c #Conflicts: 163000 | #Constraints: 22366
491.68/502.50 c INPROCESSING
491.68/502.50 c GARBAGE COLLECT
491.68/502.50 c #Conflicts: 164000 | #Constraints: 15394
491.68/502.50 c #Conflicts: 165000 | #Constraints: 16394
491.68/502.50 c #Conflicts: 166000 | #Constraints: 17395
491.68/502.50 c #Conflicts: 167000 | #Constraints: 18395
491.68/502.50 c #Conflicts: 168000 | #Constraints: 19396
491.68/502.50 c #Conflicts: 169000 | #Constraints: 20396
491.68/502.50 c #Conflicts: 170000 | #Constraints: 21396
491.68/502.50 c #Conflicts: 171000 | #Constraints: 22396
491.68/502.50 c INPROCESSING
491.68/502.50 c GARBAGE COLLECT
491.68/502.50 c #Conflicts: 172000 | #Constraints: 15234
491.68/502.50 c #Conflicts: 173000 | #Constraints: 16234
491.68/502.50 c #Conflicts: 174000 | #Constraints: 17234
491.68/502.50 c #Conflicts: 175000 | #Constraints: 18234
491.68/502.50 c #Conflicts: 176000 | #Constraints: 19234
491.68/502.50 c #Conflicts: 177000 | #Constraints: 20234
491.68/502.50 c #Conflicts: 178000 | #Constraints: 21234
491.68/502.50 c #Conflicts: 179000 | #Constraints: 22234
491.68/502.50 c #Conflicts: 180000 | #Constraints: 23234
491.68/502.50 c INPROCESSING
491.68/502.50 c GARBAGE COLLECT
491.68/502.50 c #Conflicts: 181000 | #Constraints: 16030
491.68/502.50 c #Conflicts: 182000 | #Constraints: 17030
491.68/502.50 c #Conflicts: 183000 | #Constraints: 18030
491.68/502.50 c #Conflicts: 184000 | #Constraints: 19030
491.68/502.50 c #Conflicts: 185000 | #Constraints: 20030
491.68/502.50 c #Conflicts: 186000 | #Constraints: 21030
491.68/502.50 c #Conflicts: 187000 | #Constraints: 22030
491.68/502.50 c #Conflicts: 188000 | #Constraints: 23030
491.68/502.50 c #Conflicts: 189000 | #Constraints: 24030
491.68/502.50 c INPROCESSING
491.68/502.50 c GARBAGE COLLECT
491.68/502.50 c #Conflicts: 190000 | #Constraints: 16420
491.68/502.50 c #Conflicts: 191000 | #Constraints: 17420
491.68/502.50 c #Conflicts: 192000 | #Constraints: 18420
491.68/502.50 c #Conflicts: 193000 | #Constraints: 19420
491.68/502.50 c #Conflicts: 194000 | #Constraints: 20420
491.68/502.50 c #Conflicts: 195000 | #Constraints: 21420
491.68/502.50 c #Conflicts: 196000 | #Constraints: 22420
491.68/502.50 c #Conflicts: 197000 | #Constraints: 23420
491.68/502.50 c #Conflicts: 198000 | #Constraints: 24420
491.68/502.50 c INPROCESSING
491.68/502.50 c GARBAGE COLLECT
491.68/502.50 c #Conflicts: 199000 | #Constraints: 16553
491.68/502.50 c #Conflicts: 200000 | #Constraints: 17553
491.68/502.50 c #Conflicts: 201000 | #Constraints: 18553
775.82/787.59 c #Conflicts: 202000 | #Constraints: 19553
775.82/787.59 c #Conflicts: 203000 | #Constraints: 20553
775.82/787.59 c #Conflicts: 204000 | #Constraints: 21553
775.82/787.59 c #Conflicts: 205000 | #Constraints: 22553
775.82/787.59 c #Conflicts: 206000 | #Constraints: 23553
775.82/787.59 c #Conflicts: 207000 | #Constraints: 24553
775.82/787.59 c INPROCESSING
775.82/787.59 c GARBAGE COLLECT
775.82/787.59 c #Conflicts: 208000 | #Constraints: 16547
775.82/787.59 c #Conflicts: 209000 | #Constraints: 17547
775.82/787.59 c #Conflicts: 210000 | #Constraints: 18547
775.82/787.59 c #Conflicts: 211000 | #Constraints: 19547
775.82/787.59 c #Conflicts: 212000 | #Constraints: 20547
775.82/787.59 c #Conflicts: 213000 | #Constraints: 21547
775.82/787.59 c #Conflicts: 214000 | #Constraints: 22548
775.82/787.59 c #Conflicts: 215000 | #Constraints: 23548
775.82/787.59 c #Conflicts: 216000 | #Constraints: 24550
775.82/787.59 c INPROCESSING
775.82/787.59 c GARBAGE COLLECT
775.82/787.59 c #Conflicts: 217000 | #Constraints: 16334
775.82/787.59 c #Conflicts: 218000 | #Constraints: 17336
775.82/787.59 c #Conflicts: 219000 | #Constraints: 18337
775.82/787.59 c #Conflicts: 220000 | #Constraints: 19337
775.82/787.59 c #Conflicts: 221000 | #Constraints: 20337
775.82/787.59 c #Conflicts: 222000 | #Constraints: 21340
775.82/787.59 c #Conflicts: 223000 | #Constraints: 22340
775.82/787.59 c #Conflicts: 224000 | #Constraints: 23340
775.82/787.59 c #Conflicts: 225000 | #Constraints: 24340
775.82/787.59 c #Conflicts: 226000 | #Constraints: 25340
775.82/787.59 c INPROCESSING
775.82/787.59 c GARBAGE COLLECT
775.82/787.59 c #Conflicts: 227000 | #Constraints: 16856
775.82/787.59 c #Conflicts: 228000 | #Constraints: 17856
775.82/787.59 c #Conflicts: 229000 | #Constraints: 18857
775.82/787.59 c #Conflicts: 230000 | #Constraints: 19857
775.82/787.59 c #Conflicts: 231000 | #Constraints: 20857
775.82/787.59 c #Conflicts: 232000 | #Constraints: 21857
775.82/787.59 c #Conflicts: 233000 | #Constraints: 22857
775.82/787.59 c #Conflicts: 234000 | #Constraints: 23857
775.82/787.59 c #Conflicts: 235000 | #Constraints: 24857
775.82/787.59 c #Conflicts: 236000 | #Constraints: 25858
775.82/787.59 c INPROCESSING
775.82/787.59 c GARBAGE COLLECT
775.82/787.59 c #Conflicts: 237000 | #Constraints: 17522
775.82/787.59 c #Conflicts: 238000 | #Constraints: 18522
775.82/787.59 c #Conflicts: 239000 | #Constraints: 19522
775.82/787.59 c #Conflicts: 240000 | #Constraints: 20522
775.82/787.59 c #Conflicts: 241000 | #Constraints: 21522
775.82/787.59 c #Conflicts: 242000 | #Constraints: 22522
775.82/787.59 c #Conflicts: 243000 | #Constraints: 23522
775.82/787.59 c #Conflicts: 244000 | #Constraints: 24522
775.82/787.59 c #Conflicts: 245000 | #Constraints: 25522
775.82/787.59 c #Conflicts: 246000 | #Constraints: 26522
775.82/787.59 c INPROCESSING
775.82/787.59 c GARBAGE COLLECT
775.82/787.59 c #Conflicts: 247000 | #Constraints: 17735
775.82/787.59 c #Conflicts: 248000 | #Constraints: 18735
775.82/787.59 c #Conflicts: 249000 | #Constraints: 19735
775.82/787.59 c #Conflicts: 250000 | #Constraints: 20735
775.82/787.59 c #Conflicts: 251000 | #Constraints: 21735
775.82/787.59 c #Conflicts: 252000 | #Constraints: 22735
775.82/787.59 c #Conflicts: 253000 | #Constraints: 23735
775.82/787.59 c #Conflicts: 254000 | #Constraints: 24735
775.82/787.59 c #Conflicts: 255000 | #Constraints: 25735
775.82/787.59 c #Conflicts: 256000 | #Constraints: 26735
775.82/787.59 c INPROCESSING
775.82/787.59 c GARBAGE COLLECT
775.82/787.59 c #Conflicts: 257000 | #Constraints: 17677
775.82/787.59 c #Conflicts: 258000 | #Constraints: 18677
775.82/787.59 c #Conflicts: 259000 | #Constraints: 19677
775.82/787.59 c #Conflicts: 260000 | #Constraints: 20677
775.82/787.59 c #Conflicts: 261000 | #Constraints: 21677
775.82/787.59 c #Conflicts: 262000 | #Constraints: 22677
775.82/787.59 c #Conflicts: 263000 | #Constraints: 23677
775.82/787.59 c #Conflicts: 264000 | #Constraints: 24677
775.82/787.59 c #Conflicts: 265000 | #Constraints: 25677
775.82/787.59 c #Conflicts: 266000 | #Constraints: 26677
775.82/787.59 c INPROCESSING
775.82/787.59 c GARBAGE COLLECT
775.82/787.59 c #Conflicts: 267000 | #Constraints: 17399
775.82/787.59 c #Conflicts: 268000 | #Constraints: 18399
775.82/787.59 c #Conflicts: 269000 | #Constraints: 19399
775.82/787.59 c #Conflicts: 270000 | #Constraints: 20399
775.82/787.59 c #Conflicts: 271000 | #Constraints: 21399
775.82/787.59 c #Conflicts: 272000 | #Constraints: 22399
775.82/787.59 c #Conflicts: 273000 | #Constraints: 23399
775.82/787.59 c #Conflicts: 274000 | #Constraints: 24399
775.82/787.59 c #Conflicts: 275000 | #Constraints: 25399
775.82/787.59 c #Conflicts: 276000 | #Constraints: 26399
1053.13/1067.53 c #Conflicts: 277000 | #Constraints: 27399
1053.13/1067.53 c INPROCESSING
1053.13/1067.53 c GARBAGE COLLECT
1053.13/1067.53 c #Conflicts: 278000 | #Constraints: 18244
1053.13/1067.53 c #Conflicts: 279000 | #Constraints: 19244
1053.13/1067.53 c #Conflicts: 280000 | #Constraints: 20244
1053.13/1067.53 c #Conflicts: 281000 | #Constraints: 21244
1053.13/1067.53 c #Conflicts: 282000 | #Constraints: 22244
1053.13/1067.53 c #Conflicts: 283000 | #Constraints: 23244
1053.13/1067.53 c #Conflicts: 284000 | #Constraints: 24244
1053.13/1067.53 c #Conflicts: 285000 | #Constraints: 25244
1053.13/1067.53 c #Conflicts: 286000 | #Constraints: 26245
1053.13/1067.53 c #Conflicts: 287000 | #Constraints: 27246
1053.13/1067.53 c #Conflicts: 288000 | #Constraints: 28246
1053.13/1067.53 c INPROCESSING
1053.13/1067.53 c GARBAGE COLLECT
1053.13/1067.53 c #Conflicts: 289000 | #Constraints: 18549
1053.13/1067.53 c #Conflicts: 290000 | #Constraints: 19549
1053.13/1067.53 c #Conflicts: 291000 | #Constraints: 20549
1053.13/1067.53 c #Conflicts: 292000 | #Constraints: 21549
1053.13/1067.53 c #Conflicts: 293000 | #Constraints: 22549
1053.13/1067.53 c #Conflicts: 294000 | #Constraints: 23549
1053.13/1067.53 c #Conflicts: 295000 | #Constraints: 24550
1053.13/1067.53 c #Conflicts: 296000 | #Constraints: 25551
1053.13/1067.53 c #Conflicts: 297000 | #Constraints: 26551
1053.13/1067.53 c #Conflicts: 298000 | #Constraints: 27552
1053.13/1067.53 c #Conflicts: 299000 | #Constraints: 28552
1053.13/1067.53 c INPROCESSING
1053.13/1067.53 c GARBAGE COLLECT
1053.13/1067.53 c #Conflicts: 300000 | #Constraints: 18835
1053.13/1067.53 c #Conflicts: 301000 | #Constraints: 19835
1053.13/1067.53 c #Conflicts: 302000 | #Constraints: 20836
1053.13/1067.53 c #Conflicts: 303000 | #Constraints: 21838
1053.13/1067.53 c #Conflicts: 304000 | #Constraints: 22839
1053.13/1067.53 c #Conflicts: 305000 | #Constraints: 23840
1053.13/1067.53 c #Conflicts: 306000 | #Constraints: 24840
1053.13/1067.53 c #Conflicts: 307000 | #Constraints: 25842
1053.13/1067.53 c #Conflicts: 308000 | #Constraints: 26842
1053.13/1067.53 c #Conflicts: 309000 | #Constraints: 27843
1053.13/1067.53 c #Conflicts: 310000 | #Constraints: 28843
1053.13/1067.53 c INPROCESSING
1053.13/1067.53 c GARBAGE COLLECT
1053.13/1067.53 c #Conflicts: 311000 | #Constraints: 18914
1053.13/1067.53 c #Conflicts: 312000 | #Constraints: 19915
1053.13/1067.53 c #Conflicts: 313000 | #Constraints: 20915
1053.13/1067.53 c #Conflicts: 314000 | #Constraints: 21915
1053.13/1067.53 c #Conflicts: 315000 | #Constraints: 22917
1053.13/1067.53 c #Conflicts: 316000 | #Constraints: 23917
1053.13/1067.53 c #Conflicts: 317000 | #Constraints: 24917
1053.13/1067.53 c #Conflicts: 318000 | #Constraints: 25917
1053.13/1067.53 c #Conflicts: 319000 | #Constraints: 26917
1053.13/1067.53 c #Conflicts: 320000 | #Constraints: 27917
1053.13/1067.53 c #Conflicts: 321000 | #Constraints: 28917
1053.13/1067.53 c INPROCESSING
1053.13/1067.53 c GARBAGE COLLECT
1053.13/1067.53 c #Conflicts: 322000 | #Constraints: 18629
1053.13/1067.53 c #Conflicts: 323000 | #Constraints: 19629
1053.13/1067.53 c #Conflicts: 324000 | #Constraints: 20629
1053.13/1067.53 c #Conflicts: 325000 | #Constraints: 21629
1053.13/1067.53 c #Conflicts: 326000 | #Constraints: 22629
1053.13/1067.53 c #Conflicts: 327000 | #Constraints: 23629
1053.13/1067.53 c #Conflicts: 328000 | #Constraints: 24629
1053.13/1067.53 c #Conflicts: 329000 | #Constraints: 25631
1053.13/1067.53 c #Conflicts: 330000 | #Constraints: 26631
1053.13/1067.53 c #Conflicts: 331000 | #Constraints: 27632
1053.13/1067.53 c #Conflicts: 332000 | #Constraints: 28634
1053.13/1067.53 c #Conflicts: 333000 | #Constraints: 29634
1053.13/1067.53 c INPROCESSING
1053.13/1067.53 c GARBAGE COLLECT
1053.13/1067.53 c #Conflicts: 334000 | #Constraints: 19107
1053.13/1067.53 c #Conflicts: 335000 | #Constraints: 20107
1053.13/1067.53 c #Conflicts: 336000 | #Constraints: 21107
1053.13/1067.53 c #Conflicts: 337000 | #Constraints: 22107
1053.13/1067.53 c #Conflicts: 338000 | #Constraints: 23107
1053.13/1067.53 c #Conflicts: 339000 | #Constraints: 24107
1053.13/1067.53 c #Conflicts: 340000 | #Constraints: 25107
1053.13/1067.53 c #Conflicts: 341000 | #Constraints: 26108
1053.13/1067.53 c #Conflicts: 342000 | #Constraints: 27108
1053.13/1067.53 c #Conflicts: 343000 | #Constraints: 28108
1053.13/1067.53 c #Conflicts: 344000 | #Constraints: 29108
1053.13/1067.53 c #Conflicts: 345000 | #Constraints: 30108
1053.13/1067.53 c INPROCESSING
1053.13/1067.53 c GARBAGE COLLECT
1053.13/1067.53 c rational objective 4.24935e+08
1203.38/1219.55 c #Conflicts: 346000 | #Constraints: 19700
1203.38/1219.55 c #Conflicts: 347000 | #Constraints: 20700
1203.38/1219.55 c #Conflicts: 348000 | #Constraints: 21700
1203.38/1219.55 c #Conflicts: 349000 | #Constraints: 22700
1203.38/1219.55 c #Conflicts: 350000 | #Constraints: 23700
1203.38/1219.55 c #Conflicts: 351000 | #Constraints: 24700
1203.38/1219.55 c #Conflicts: 352000 | #Constraints: 25700
1203.38/1219.55 c #Conflicts: 353000 | #Constraints: 26700
1203.38/1219.55 c #Conflicts: 354000 | #Constraints: 27700
1203.38/1219.55 c #Conflicts: 355000 | #Constraints: 28700
1203.38/1219.55 c #Conflicts: 356000 | #Constraints: 29700
1203.38/1219.55 c #Conflicts: 357000 | #Constraints: 30700
1203.38/1219.55 c INPROCESSING
1203.38/1219.55 c GARBAGE COLLECT
1203.38/1219.55 c #Conflicts: 358000 | #Constraints: 19768
1203.38/1219.55 c #Conflicts: 359000 | #Constraints: 20768
1203.38/1219.55 c #Conflicts: 360000 | #Constraints: 21769
1203.38/1219.55 c #Conflicts: 361000 | #Constraints: 22770
1203.38/1219.55 c #Conflicts: 362000 | #Constraints: 23771
1203.38/1219.55 c #Conflicts: 363000 | #Constraints: 24771
1203.38/1219.55 c #Conflicts: 364000 | #Constraints: 25772
1203.38/1219.55 c #Conflicts: 365000 | #Constraints: 26772
1203.38/1219.55 c #Conflicts: 366000 | #Constraints: 27772
1203.38/1219.55 c #Conflicts: 367000 | #Constraints: 28772
1203.38/1219.55 c #Conflicts: 368000 | #Constraints: 29772
1203.38/1219.55 c #Conflicts: 369000 | #Constraints: 30772
1203.38/1219.55 c INPROCESSING
1203.38/1219.55 c GARBAGE COLLECT
1203.38/1219.55 c #Conflicts: 370000 | #Constraints: 19767
1203.38/1219.55 c #Conflicts: 371000 | #Constraints: 20767
1203.38/1219.55 c #Conflicts: 372000 | #Constraints: 21769
1203.38/1219.55 c #Conflicts: 373000 | #Constraints: 22770
1203.38/1219.55 c #Conflicts: 374000 | #Constraints: 23770
1203.38/1219.55 c #Conflicts: 375000 | #Constraints: 24770
1203.38/1219.55 c #Conflicts: 376000 | #Constraints: 25770
1203.38/1219.55 c #Conflicts: 377000 | #Constraints: 26770
1203.38/1219.55 c #Conflicts: 378000 | #Constraints: 27770
1203.38/1219.55 c #Conflicts: 379000 | #Constraints: 28770
1203.38/1219.55 c #Conflicts: 380000 | #Constraints: 29770
1203.38/1219.55 c #Conflicts: 381000 | #Constraints: 30770
1203.38/1219.55 c INPROCESSING
1203.38/1219.55 c GARBAGE COLLECT
1203.38/1219.55 c #Conflicts: 382000 | #Constraints: 19569
1203.38/1219.55 c #Conflicts: 383000 | #Constraints: 20569
1203.38/1219.55 c #Conflicts: 384000 | #Constraints: 21569
1203.38/1219.55 c #Conflicts: 385000 | #Constraints: 22569
1203.38/1219.55 c #Conflicts: 386000 | #Constraints: 23569
1203.38/1219.55 c #Conflicts: 387000 | #Constraints: 24569
1203.38/1219.55 c #Conflicts: 388000 | #Constraints: 25569
1203.38/1219.55 c #Conflicts: 389000 | #Constraints: 26569
1203.38/1219.55 c #Conflicts: 390000 | #Constraints: 27569
1203.38/1219.55 c #Conflicts: 391000 | #Constraints: 28569
1203.38/1219.55 c #Conflicts: 392000 | #Constraints: 29569
1203.38/1219.55 c #Conflicts: 393000 | #Constraints: 30569
1203.38/1219.55 c #Conflicts: 394000 | #Constraints: 31569
1203.38/1219.55 c INPROCESSING
1203.38/1219.55 c GARBAGE COLLECT
1203.38/1219.55 c #Conflicts: 395000 | #Constraints: 20154
1203.38/1219.55 c #Conflicts: 396000 | #Constraints: 21154
1203.38/1219.55 c #Conflicts: 397000 | #Constraints: 22154
1203.38/1219.55 c #Conflicts: 398000 | #Constraints: 23154
1203.38/1219.55 c #Conflicts: 399000 | #Constraints: 24154
1203.38/1219.55 c #Conflicts: 400000 | #Constraints: 25154
1203.38/1219.55 c #Conflicts: 401000 | #Constraints: 26154
1203.38/1219.55 c #Conflicts: 402000 | #Constraints: 27154
1203.38/1219.55 c #Conflicts: 403000 | #Constraints: 28154
1203.38/1219.55 c #Conflicts: 404000 | #Constraints: 29154
1203.38/1219.55 c #Conflicts: 405000 | #Constraints: 30154
1203.38/1219.55 c #Conflicts: 406000 | #Constraints: 31154
1203.38/1219.55 c #Conflicts: 407000 | #Constraints: 32154
1203.38/1219.55 c INPROCESSING
1203.38/1219.55 c GARBAGE COLLECT
1203.38/1219.55 c #Conflicts: 408000 | #Constraints: 20996
1203.38/1219.55 c #Conflicts: 409000 | #Constraints: 21996
1203.38/1219.55 c #Conflicts: 410000 | #Constraints: 22996
1203.38/1219.55 c #Conflicts: 411000 | #Constraints: 23996
1203.38/1219.55 c #Conflicts: 412000 | #Constraints: 24996
1203.38/1219.55 c #Conflicts: 413000 | #Constraints: 25996
1203.38/1219.55 c #Conflicts: 414000 | #Constraints: 26996
1203.38/1219.55 c #Conflicts: 415000 | #Constraints: 27996
1203.38/1219.55 c #Conflicts: 416000 | #Constraints: 28996
1203.38/1219.55 c #Conflicts: 417000 | #Constraints: 29996
1203.38/1219.55 c #Conflicts: 418000 | #Constraints: 30996
1203.38/1219.55 c #Conflicts: 419000 | #Constraints: 31996
1203.38/1219.55 c #Conflicts: 420000 | #Constraints: 33002
1203.38/1219.55 c INPROCESSING
1203.38/1219.55 c GARBAGE COLLECT
1437.31/1456.53 c #Conflicts: 421000 | #Constraints: 21013
1437.31/1456.53 c #Conflicts: 422000 | #Constraints: 22014
1437.31/1456.53 c #Conflicts: 423000 | #Constraints: 23014
1437.31/1456.53 c #Conflicts: 424000 | #Constraints: 24014
1437.31/1456.53 c #Conflicts: 425000 | #Constraints: 25015
1437.31/1456.53 c #Conflicts: 426000 | #Constraints: 26015
1437.31/1456.53 c #Conflicts: 427000 | #Constraints: 27016
1437.31/1456.53 c #Conflicts: 428000 | #Constraints: 28016
1437.31/1456.53 c #Conflicts: 429000 | #Constraints: 29018
1437.31/1456.53 c #Conflicts: 430000 | #Constraints: 30019
1437.31/1456.53 c #Conflicts: 431000 | #Constraints: 31020
1437.31/1456.53 c #Conflicts: 432000 | #Constraints: 32021
1437.31/1456.53 c #Conflicts: 433000 | #Constraints: 33025
1437.31/1456.53 c INPROCESSING
1437.31/1456.53 c GARBAGE COLLECT
1437.31/1456.53 c #Conflicts: 434000 | #Constraints: 20885
1437.31/1456.53 c #Conflicts: 435000 | #Constraints: 21885
1437.31/1456.53 c #Conflicts: 436000 | #Constraints: 22885
1437.31/1456.53 c #Conflicts: 437000 | #Constraints: 23885
1437.31/1456.53 c #Conflicts: 438000 | #Constraints: 24885
1437.31/1456.53 c #Conflicts: 439000 | #Constraints: 25885
1437.31/1456.53 c #Conflicts: 440000 | #Constraints: 26886
1437.31/1456.53 c #Conflicts: 441000 | #Constraints: 27887
1437.31/1456.53 c #Conflicts: 442000 | #Constraints: 28888
1437.31/1456.53 c #Conflicts: 443000 | #Constraints: 29889
1437.31/1456.53 c #Conflicts: 444000 | #Constraints: 30889
1437.31/1456.53 c #Conflicts: 445000 | #Constraints: 31889
1437.31/1456.53 c #Conflicts: 446000 | #Constraints: 32889
1437.31/1456.53 c INPROCESSING
1437.31/1456.53 c GARBAGE COLLECT
1437.31/1456.53 c #Conflicts: 447000 | #Constraints: 20715
1437.31/1456.53 c #Conflicts: 448000 | #Constraints: 21715
1437.31/1456.53 c #Conflicts: 449000 | #Constraints: 22715
1437.31/1456.53 c #Conflicts: 450000 | #Constraints: 23715
1437.31/1456.53 c #Conflicts: 451000 | #Constraints: 24715
1437.31/1456.53 c #Conflicts: 452000 | #Constraints: 25715
1437.31/1456.53 c #Conflicts: 453000 | #Constraints: 26715
1437.31/1456.53 c #Conflicts: 454000 | #Constraints: 27715
1437.31/1456.53 c #Conflicts: 455000 | #Constraints: 28715
1437.31/1456.53 c #Conflicts: 456000 | #Constraints: 29715
1437.31/1456.53 c #Conflicts: 457000 | #Constraints: 30715
1437.31/1456.53 c #Conflicts: 458000 | #Constraints: 31715
1437.31/1456.53 c #Conflicts: 459000 | #Constraints: 32715
1437.31/1456.53 c #Conflicts: 460000 | #Constraints: 33715
1437.31/1456.53 c INPROCESSING
1437.31/1456.53 c GARBAGE COLLECT
1437.31/1456.53 c #Conflicts: 461000 | #Constraints: 21280
1437.31/1456.53 c #Conflicts: 462000 | #Constraints: 22281
1437.31/1456.53 c #Conflicts: 463000 | #Constraints: 23281
1437.31/1456.53 c #Conflicts: 464000 | #Constraints: 24282
1437.31/1456.53 c #Conflicts: 465000 | #Constraints: 25283
1437.31/1456.53 c #Conflicts: 466000 | #Constraints: 26283
1437.31/1456.53 c #Conflicts: 467000 | #Constraints: 27283
1437.31/1456.53 c #Conflicts: 468000 | #Constraints: 28283
1437.31/1456.53 c #Conflicts: 469000 | #Constraints: 29284
1437.31/1456.53 c #Conflicts: 470000 | #Constraints: 30284
1437.31/1456.53 c #Conflicts: 471000 | #Constraints: 31284
1437.31/1456.53 c #Conflicts: 472000 | #Constraints: 32284
1437.31/1456.53 c #Conflicts: 473000 | #Constraints: 33284
1437.31/1456.53 c #Conflicts: 474000 | #Constraints: 34284
1437.31/1456.53 c INPROCESSING
1437.31/1456.53 c GARBAGE COLLECT
1437.31/1456.53 c #Conflicts: 475000 | #Constraints: 21643
1437.31/1456.53 c #Conflicts: 476000 | #Constraints: 22643
1437.31/1456.53 c #Conflicts: 477000 | #Constraints: 23643
1437.31/1456.53 c #Conflicts: 478000 | #Constraints: 24643
1437.31/1456.53 c #Conflicts: 479000 | #Constraints: 25643
1437.31/1456.53 c #Conflicts: 480000 | #Constraints: 26643
1437.31/1456.53 c #Conflicts: 481000 | #Constraints: 27643
1437.31/1456.53 c #Conflicts: 482000 | #Constraints: 28643
1437.31/1456.53 c #Conflicts: 483000 | #Constraints: 29643
1437.31/1456.53 c #Conflicts: 484000 | #Constraints: 30643
1437.31/1456.53 c #Conflicts: 485000 | #Constraints: 31643
1437.31/1456.53 c #Conflicts: 486000 | #Constraints: 32643
1437.31/1456.53 c #Conflicts: 487000 | #Constraints: 33643
1437.31/1456.53 c #Conflicts: 488000 | #Constraints: 34643
1437.31/1456.53 c INPROCESSING
1437.31/1456.53 c GARBAGE COLLECT
1437.31/1456.53 c #Conflicts: 489000 | #Constraints: 21816
1437.31/1456.53 c #Conflicts: 490000 | #Constraints: 22816
1437.31/1456.53 c #Conflicts: 491000 | #Constraints: 23816
1437.31/1456.53 c #Conflicts: 492000 | #Constraints: 24816
1437.31/1456.53 c #Conflicts: 493000 | #Constraints: 25816
1437.31/1456.53 c #Conflicts: 494000 | #Constraints: 26816
1437.31/1456.53 c #Conflicts: 495000 | #Constraints: 27816
1437.31/1456.53 c #Conflicts: 496000 | #Constraints: 28816
1481.48/1500.89 c #Conflicts: 497000 | #Constraints: 29816
1481.48/1500.89 c #Conflicts: 498000 | #Constraints: 30816
1481.48/1500.89 c #Conflicts: 499000 | #Constraints: 31816
1481.48/1500.89 c #Conflicts: 500000 | #Constraints: 32816
1481.48/1500.89 c #Conflicts: 501000 | #Constraints: 33816
1481.48/1500.89 c #Conflicts: 502000 | #Constraints: 34816
1481.48/1500.89 c INPROCESSING
1481.48/1500.89 c GARBAGE COLLECT
1481.48/1500.89 c #Conflicts: 503000 | #Constraints: 21870
1481.48/1500.89 c #Conflicts: 504000 | #Constraints: 22870
1481.48/1500.89 c #Conflicts: 505000 | #Constraints: 23870
1481.48/1500.89 c #Conflicts: 506000 | #Constraints: 24870
1481.48/1500.89 c #Conflicts: 507000 | #Constraints: 25870
1481.48/1500.89 c #Conflicts: 508000 | #Constraints: 26870
1481.48/1500.89 c #Conflicts: 509000 | #Constraints: 27870
1481.48/1500.89 c #Conflicts: 510000 | #Constraints: 28870
1481.48/1500.89 c #Conflicts: 511000 | #Constraints: 29870
1481.48/1500.89 c #Conflicts: 512000 | #Constraints: 30870
1481.48/1500.89 c #Conflicts: 513000 | #Constraints: 31870
1481.48/1500.89 c #Conflicts: 514000 | #Constraints: 32870
1481.48/1500.89 c #Conflicts: 515000 | #Constraints: 33870
1481.48/1500.89 c #Conflicts: 516000 | #Constraints: 34870
1481.48/1500.89 c INPROCESSING
1481.48/1500.89 c GARBAGE COLLECT
1481.48/1500.89 c rational objective 4.26747e+08
1613.50/1635.37 c #Conflicts: 517000 | #Constraints: 21809
1613.50/1635.37 c #Conflicts: 518000 | #Constraints: 22809
1613.50/1635.37 c #Conflicts: 519000 | #Constraints: 23810
1613.50/1635.37 c #Conflicts: 520000 | #Constraints: 24810
1613.50/1635.37 c #Conflicts: 521000 | #Constraints: 25810
1613.50/1635.37 c #Conflicts: 522000 | #Constraints: 26810
1613.50/1635.37 c #Conflicts: 523000 | #Constraints: 27810
1613.50/1635.37 c #Conflicts: 524000 | #Constraints: 28810
1613.50/1635.37 c #Conflicts: 525000 | #Constraints: 29810
1613.50/1635.37 c #Conflicts: 526000 | #Constraints: 30810
1613.50/1635.37 c #Conflicts: 527000 | #Constraints: 31812
1613.50/1635.37 c #Conflicts: 528000 | #Constraints: 32813
1613.50/1635.37 c #Conflicts: 529000 | #Constraints: 33815
1613.50/1635.37 c #Conflicts: 530000 | #Constraints: 34816
1613.50/1635.37 c #Conflicts: 531000 | #Constraints: 35816
1613.50/1635.37 c INPROCESSING
1613.50/1635.37 c GARBAGE COLLECT
1613.50/1635.37 c #Conflicts: 532000 | #Constraints: 22493
1613.50/1635.37 c #Conflicts: 533000 | #Constraints: 23493
1613.50/1635.37 c #Conflicts: 534000 | #Constraints: 24493
1613.50/1635.37 c #Conflicts: 535000 | #Constraints: 25493
1613.50/1635.37 c #Conflicts: 536000 | #Constraints: 26493
1613.50/1635.37 c #Conflicts: 537000 | #Constraints: 27493
1613.50/1635.37 c #Conflicts: 538000 | #Constraints: 28493
1613.50/1635.37 c #Conflicts: 539000 | #Constraints: 29493
1613.50/1635.37 c #Conflicts: 540000 | #Constraints: 30493
1613.50/1635.37 c #Conflicts: 541000 | #Constraints: 31493
1613.50/1635.37 c #Conflicts: 542000 | #Constraints: 32493
1613.50/1635.37 c #Conflicts: 543000 | #Constraints: 33493
1613.50/1635.37 c #Conflicts: 544000 | #Constraints: 34493
1613.50/1635.37 c #Conflicts: 545000 | #Constraints: 35493
1613.50/1635.37 c #Conflicts: 546000 | #Constraints: 36493
1613.50/1635.37 c INPROCESSING
1613.50/1635.37 c GARBAGE COLLECT
1613.50/1635.37 c #Conflicts: 547000 | #Constraints: 22921
1613.50/1635.37 c #Conflicts: 548000 | #Constraints: 23921
1613.50/1635.37 c #Conflicts: 549000 | #Constraints: 24921
1613.50/1635.37 c #Conflicts: 550000 | #Constraints: 25921
1613.50/1635.37 c #Conflicts: 551000 | #Constraints: 26921
1613.50/1635.37 c #Conflicts: 552000 | #Constraints: 27921
1613.50/1635.37 c #Conflicts: 553000 | #Constraints: 28921
1613.50/1635.37 c #Conflicts: 554000 | #Constraints: 29921
1613.50/1635.37 c #Conflicts: 555000 | #Constraints: 30921
1613.50/1635.37 c #Conflicts: 556000 | #Constraints: 31921
1613.50/1635.37 c #Conflicts: 557000 | #Constraints: 32921
1613.50/1635.37 c #Conflicts: 558000 | #Constraints: 33921
1613.50/1635.37 c #Conflicts: 559000 | #Constraints: 34921
1613.50/1635.37 c #Conflicts: 560000 | #Constraints: 35921
1613.50/1635.37 c #Conflicts: 561000 | #Constraints: 36921
1613.50/1635.37 c INPROCESSING
1613.50/1635.37 c GARBAGE COLLECT
1613.50/1635.37 c rational objective 4.28154e+08
1812.56/1837.17 c #Conflicts: 562000 | #Constraints: 23088
1812.56/1837.17 c #Conflicts: 563000 | #Constraints: 24088
1812.56/1837.17 c #Conflicts: 564000 | #Constraints: 25088
1812.56/1837.17 c #Conflicts: 565000 | #Constraints: 26088
1812.56/1837.17 c #Conflicts: 566000 | #Constraints: 27088
1812.56/1837.17 c #Conflicts: 567000 | #Constraints: 28088
1812.56/1837.17 c #Conflicts: 568000 | #Constraints: 29089
1812.56/1837.17 c #Conflicts: 569000 | #Constraints: 30090
1812.56/1837.17 c #Conflicts: 570000 | #Constraints: 31090
1812.56/1837.17 c #Conflicts: 571000 | #Constraints: 32090
1812.56/1837.17 c #Conflicts: 572000 | #Constraints: 33092
1812.56/1837.17 c #Conflicts: 573000 | #Constraints: 34092
1812.56/1837.17 c #Conflicts: 574000 | #Constraints: 35093
1812.56/1837.17 c #Conflicts: 575000 | #Constraints: 36095
1812.56/1837.17 c #Conflicts: 576000 | #Constraints: 37095
1812.56/1837.17 c INPROCESSING
1812.56/1837.17 c GARBAGE COLLECT
1812.56/1837.17 c #Conflicts: 577000 | #Constraints: 23162
1812.56/1837.17 c #Conflicts: 578000 | #Constraints: 24162
1812.56/1837.17 c #Conflicts: 579000 | #Constraints: 25162
1812.56/1837.17 c #Conflicts: 580000 | #Constraints: 26162
1812.56/1837.17 c #Conflicts: 581000 | #Constraints: 27163
1812.56/1837.17 c #Conflicts: 582000 | #Constraints: 28164
1812.56/1837.17 c #Conflicts: 583000 | #Constraints: 29164
1812.56/1837.17 c #Conflicts: 584000 | #Constraints: 30164
1812.56/1837.17 c #Conflicts: 585000 | #Constraints: 31165
1812.56/1837.17 c #Conflicts: 586000 | #Constraints: 32166
1812.56/1837.17 c #Conflicts: 587000 | #Constraints: 33167
1812.56/1837.17 c #Conflicts: 588000 | #Constraints: 34167
1812.56/1837.17 c #Conflicts: 589000 | #Constraints: 35167
1812.56/1837.17 c #Conflicts: 590000 | #Constraints: 36169
1812.56/1837.17 c #Conflicts: 591000 | #Constraints: 37170
1812.56/1837.17 c INPROCESSING
1812.56/1837.17 c GARBAGE COLLECT
1812.56/1837.17 c #Conflicts: 592000 | #Constraints: 22988
1812.56/1837.17 c #Conflicts: 593000 | #Constraints: 23988
1812.56/1837.17 c #Conflicts: 594000 | #Constraints: 24989
1812.56/1837.17 c #Conflicts: 595000 | #Constraints: 25989
1812.56/1837.17 c #Conflicts: 596000 | #Constraints: 26989
1812.56/1837.17 c #Conflicts: 597000 | #Constraints: 27989
1812.56/1837.17 c #Conflicts: 598000 | #Constraints: 28990
1812.56/1837.17 c #Conflicts: 599000 | #Constraints: 29991
1812.56/1837.17 c #Conflicts: 600000 | #Constraints: 30992
1812.56/1837.17 c #Conflicts: 601000 | #Constraints: 31992
1812.56/1837.17 c #Conflicts: 602000 | #Constraints: 32992
1812.56/1837.17 c #Conflicts: 603000 | #Constraints: 33993
1812.56/1837.17 c #Conflicts: 604000 | #Constraints: 34993
1812.56/1837.17 c #Conflicts: 605000 | #Constraints: 35993
1812.56/1837.17 c #Conflicts: 606000 | #Constraints: 36993
1812.56/1837.17 c #Conflicts: 607000 | #Constraints: 37993
1812.56/1837.17 c INPROCESSING
1812.56/1837.17 c GARBAGE COLLECT
1812.56/1837.17 c #Conflicts: 608000 | #Constraints: 23614
1812.56/1837.17 c #Conflicts: 609000 | #Constraints: 24614
1812.56/1837.17 c #Conflicts: 610000 | #Constraints: 25616
1812.56/1837.17 c #Conflicts: 611000 | #Constraints: 26617
1812.56/1837.17 c #Conflicts: 612000 | #Constraints: 27618
1812.56/1837.17 c #Conflicts: 613000 | #Constraints: 28618
1812.56/1837.17 c #Conflicts: 614000 | #Constraints: 29619
1812.56/1837.17 c #Conflicts: 615000 | #Constraints: 30619
1812.56/1837.17 c #Conflicts: 616000 | #Constraints: 31619
1812.56/1837.17 c #Conflicts: 617000 | #Constraints: 32620
1812.56/1837.17 c #Conflicts: 618000 | #Constraints: 33620
1812.56/1837.17 c #Conflicts: 619000 | #Constraints: 34620
1812.56/1837.17 c #Conflicts: 620000 | #Constraints: 35621
1812.56/1837.17 c #Conflicts: 621000 | #Constraints: 36621
1812.56/1837.17 c #Conflicts: 622000 | #Constraints: 37622
1812.56/1837.17 c #Conflicts: 623000 | #Constraints: 38622
1812.56/1837.17 c INPROCESSING
1812.56/1837.17 c GARBAGE COLLECT
1812.56/1837.17 c #Conflicts: 624000 | #Constraints: 24169
1812.56/1837.17 c #Conflicts: 625000 | #Constraints: 25170
1812.56/1837.17 c #Conflicts: 626000 | #Constraints: 26170
1812.56/1837.17 c #Conflicts: 627000 | #Constraints: 27170
1812.56/1837.17 c #Conflicts: 628000 | #Constraints: 28170
1812.56/1837.17 c #Conflicts: 629000 | #Constraints: 29170
1812.56/1837.17 c #Conflicts: 630000 | #Constraints: 30170
1812.56/1837.17 c #Conflicts: 631000 | #Constraints: 31170
1812.56/1837.17 c #Conflicts: 632000 | #Constraints: 32170
1812.56/1837.17 c #Conflicts: 633000 | #Constraints: 33171
1812.56/1837.17 c #Conflicts: 634000 | #Constraints: 34171
1812.56/1837.17 c #Conflicts: 635000 | #Constraints: 35171
1812.56/1837.17 c #Conflicts: 636000 | #Constraints: 36171
1812.56/1837.17 c #Conflicts: 637000 | #Constraints: 37171
1812.56/1837.17 c #Conflicts: 638000 | #Constraints: 38171
2093.32/2120.20 c #Conflicts: 639000 | #Constraints: 39171
2093.32/2120.20 c INPROCESSING
2093.32/2120.20 c GARBAGE COLLECT
2093.32/2120.20 c #Conflicts: 640000 | #Constraints: 24431
2093.32/2120.20 c #Conflicts: 641000 | #Constraints: 25431
2093.32/2120.20 c #Conflicts: 642000 | #Constraints: 26431
2093.32/2120.20 c #Conflicts: 643000 | #Constraints: 27431
2093.32/2120.20 c #Conflicts: 644000 | #Constraints: 28431
2093.32/2120.20 c #Conflicts: 645000 | #Constraints: 29431
2093.32/2120.20 c #Conflicts: 646000 | #Constraints: 30432
2093.32/2120.20 c #Conflicts: 647000 | #Constraints: 31432
2093.32/2120.20 c #Conflicts: 648000 | #Constraints: 32433
2093.32/2120.20 c #Conflicts: 649000 | #Constraints: 33434
2093.32/2120.20 c #Conflicts: 650000 | #Constraints: 34434
2093.32/2120.20 c #Conflicts: 651000 | #Constraints: 35434
2093.32/2120.20 c #Conflicts: 652000 | #Constraints: 36434
2093.32/2120.20 c #Conflicts: 653000 | #Constraints: 37435
2093.32/2120.20 c #Conflicts: 654000 | #Constraints: 38435
2093.32/2120.20 c #Conflicts: 655000 | #Constraints: 39437
2093.32/2120.20 c INPROCESSING
2093.32/2120.20 c GARBAGE COLLECT
2093.32/2120.20 c #Conflicts: 656000 | #Constraints: 24405
2093.32/2120.20 c #Conflicts: 657000 | #Constraints: 25406
2093.32/2120.20 c #Conflicts: 658000 | #Constraints: 26406
2093.32/2120.20 c #Conflicts: 659000 | #Constraints: 27407
2093.32/2120.20 c #Conflicts: 660000 | #Constraints: 28407
2093.32/2120.20 c #Conflicts: 661000 | #Constraints: 29407
2093.32/2120.20 c #Conflicts: 662000 | #Constraints: 30407
2093.32/2120.20 c #Conflicts: 663000 | #Constraints: 31407
2093.32/2120.20 c #Conflicts: 664000 | #Constraints: 32407
2093.32/2120.20 c #Conflicts: 665000 | #Constraints: 33407
2093.32/2120.20 c #Conflicts: 666000 | #Constraints: 34407
2093.32/2120.20 c #Conflicts: 667000 | #Constraints: 35407
2093.32/2120.20 c #Conflicts: 668000 | #Constraints: 36407
2093.32/2120.20 c #Conflicts: 669000 | #Constraints: 37407
2093.32/2120.20 c #Conflicts: 670000 | #Constraints: 38407
2093.32/2120.20 c #Conflicts: 671000 | #Constraints: 39407
2093.32/2120.20 c INPROCESSING
2093.32/2120.20 c GARBAGE COLLECT
2093.32/2120.20 c #Conflicts: 672000 | #Constraints: 24107
2093.32/2120.20 c #Conflicts: 673000 | #Constraints: 25107
2093.32/2120.20 c #Conflicts: 674000 | #Constraints: 26107
2093.32/2120.20 c #Conflicts: 675000 | #Constraints: 27107
2093.32/2120.20 c #Conflicts: 676000 | #Constraints: 28108
2093.32/2120.20 c #Conflicts: 677000 | #Constraints: 29108
2093.32/2120.20 c #Conflicts: 678000 | #Constraints: 30108
2093.32/2120.20 c #Conflicts: 679000 | #Constraints: 31108
2093.32/2120.20 c #Conflicts: 680000 | #Constraints: 32108
2093.32/2120.20 c #Conflicts: 681000 | #Constraints: 33108
2093.32/2120.20 c #Conflicts: 682000 | #Constraints: 34110
2093.32/2120.20 c #Conflicts: 683000 | #Constraints: 35110
2093.32/2120.20 c #Conflicts: 684000 | #Constraints: 36110
2093.32/2120.20 c #Conflicts: 685000 | #Constraints: 37110
2093.32/2120.20 c #Conflicts: 686000 | #Constraints: 38110
2093.32/2120.20 c #Conflicts: 687000 | #Constraints: 39110
2093.32/2120.20 c #Conflicts: 688000 | #Constraints: 40110
2093.32/2120.20 c INPROCESSING
2093.32/2120.20 c GARBAGE COLLECT
2093.32/2120.20 c #Conflicts: 689000 | #Constraints: 24745
2093.32/2120.20 c #Conflicts: 690000 | #Constraints: 25745
2093.32/2120.20 c #Conflicts: 691000 | #Constraints: 26745
2093.32/2120.20 c #Conflicts: 692000 | #Constraints: 27745
2093.32/2120.20 c #Conflicts: 693000 | #Constraints: 28745
2093.32/2120.20 c #Conflicts: 694000 | #Constraints: 29745
2093.32/2120.20 c #Conflicts: 695000 | #Constraints: 30745
2093.32/2120.20 c #Conflicts: 696000 | #Constraints: 31745
2093.32/2120.20 c #Conflicts: 697000 | #Constraints: 32745
2093.32/2120.20 c #Conflicts: 698000 | #Constraints: 33745
2093.32/2120.20 c #Conflicts: 699000 | #Constraints: 34745
2093.32/2120.20 c #Conflicts: 700000 | #Constraints: 35745
2093.32/2120.20 c #Conflicts: 701000 | #Constraints: 36745
2093.32/2120.20 c #Conflicts: 702000 | #Constraints: 37745
2093.32/2120.20 c #Conflicts: 703000 | #Constraints: 38745
2093.32/2120.20 c #Conflicts: 704000 | #Constraints: 39745
2093.32/2120.20 c #Conflicts: 705000 | #Constraints: 40745
2093.32/2120.20 c INPROCESSING
2093.32/2120.20 c GARBAGE COLLECT
2093.32/2120.20 c #Conflicts: 706000 | #Constraints: 25193
2093.32/2120.20 c #Conflicts: 707000 | #Constraints: 26199
2093.32/2120.20 c #Conflicts: 708000 | #Constraints: 27200
2093.32/2120.20 c #Conflicts: 709000 | #Constraints: 28200
2093.32/2120.20 c #Conflicts: 710000 | #Constraints: 29200
2093.32/2120.20 c #Conflicts: 711000 | #Constraints: 30200
2093.32/2120.20 c #Conflicts: 712000 | #Constraints: 31200
2093.32/2120.20 c #Conflicts: 713000 | #Constraints: 32200
2255.41/2283.43 c #Conflicts: 714000 | #Constraints: 33200
2255.41/2283.43 c #Conflicts: 715000 | #Constraints: 34200
2255.41/2283.43 c #Conflicts: 716000 | #Constraints: 35200
2255.41/2283.43 c #Conflicts: 717000 | #Constraints: 36200
2255.41/2283.43 c #Conflicts: 718000 | #Constraints: 37200
2255.41/2283.43 c #Conflicts: 719000 | #Constraints: 38200
2255.41/2283.43 c #Conflicts: 720000 | #Constraints: 39200
2255.41/2283.43 c #Conflicts: 721000 | #Constraints: 40200
2255.41/2283.43 c #Conflicts: 722000 | #Constraints: 41200
2255.41/2283.43 c INPROCESSING
2255.41/2283.43 c GARBAGE COLLECT
2255.41/2283.43 c #Conflicts: 723000 | #Constraints: 25361
2255.41/2283.43 c #Conflicts: 724000 | #Constraints: 26361
2255.41/2283.43 c #Conflicts: 725000 | #Constraints: 27361
2255.41/2283.43 c #Conflicts: 726000 | #Constraints: 28361
2255.41/2283.43 c #Conflicts: 727000 | #Constraints: 29361
2255.41/2283.43 c #Conflicts: 728000 | #Constraints: 30361
2255.41/2283.43 c #Conflicts: 729000 | #Constraints: 31361
2255.41/2283.43 c #Conflicts: 730000 | #Constraints: 32363
2255.41/2283.43 c #Conflicts: 731000 | #Constraints: 33363
2255.41/2283.43 c #Conflicts: 732000 | #Constraints: 34363
2255.41/2283.43 c #Conflicts: 733000 | #Constraints: 35365
2255.41/2283.43 c #Conflicts: 734000 | #Constraints: 36366
2255.41/2283.43 c #Conflicts: 735000 | #Constraints: 37366
2255.41/2283.43 c #Conflicts: 736000 | #Constraints: 38366
2255.41/2283.43 c #Conflicts: 737000 | #Constraints: 39366
2255.41/2283.43 c #Conflicts: 738000 | #Constraints: 40366
2255.41/2283.43 c #Conflicts: 739000 | #Constraints: 41366
2255.41/2283.43 c INPROCESSING
2255.41/2283.43 c GARBAGE COLLECT
2255.41/2283.43 c #Conflicts: 740000 | #Constraints: 25237
2255.41/2283.43 c #Conflicts: 741000 | #Constraints: 26237
2255.41/2283.43 c #Conflicts: 742000 | #Constraints: 27237
2255.41/2283.43 c #Conflicts: 743000 | #Constraints: 28237
2255.41/2283.43 c #Conflicts: 744000 | #Constraints: 29238
2255.41/2283.43 c #Conflicts: 745000 | #Constraints: 30238
2255.41/2283.43 c #Conflicts: 746000 | #Constraints: 31238
2255.41/2283.43 c #Conflicts: 747000 | #Constraints: 32239
2255.41/2283.43 c #Conflicts: 748000 | #Constraints: 33240
2255.41/2283.43 c #Conflicts: 749000 | #Constraints: 34240
2255.41/2283.43 c #Conflicts: 750000 | #Constraints: 35240
2255.41/2283.43 c #Conflicts: 751000 | #Constraints: 36242
2255.41/2283.43 c #Conflicts: 752000 | #Constraints: 37243
2255.41/2283.43 c #Conflicts: 753000 | #Constraints: 38244
2255.41/2283.43 c #Conflicts: 754000 | #Constraints: 39244
2255.41/2283.43 c #Conflicts: 755000 | #Constraints: 40244
2255.41/2283.43 c #Conflicts: 756000 | #Constraints: 41244
2255.41/2283.43 c INPROCESSING
2255.41/2283.43 c GARBAGE COLLECT
2255.41/2283.43 c #Conflicts: 757000 | #Constraints: 24975
2255.41/2283.43 c #Conflicts: 758000 | #Constraints: 25975
2255.41/2283.43 c #Conflicts: 759000 | #Constraints: 26976
2255.41/2283.43 c #Conflicts: 760000 | #Constraints: 27976
2255.41/2283.43 c #Conflicts: 761000 | #Constraints: 28976
2255.41/2283.43 c #Conflicts: 762000 | #Constraints: 29977
2255.41/2283.43 c #Conflicts: 763000 | #Constraints: 30977
2255.41/2283.43 c #Conflicts: 764000 | #Constraints: 31977
2255.41/2283.43 c #Conflicts: 765000 | #Constraints: 32977
2255.41/2283.43 c #Conflicts: 766000 | #Constraints: 33977
2255.41/2283.43 c #Conflicts: 767000 | #Constraints: 34977
2255.41/2283.43 c #Conflicts: 768000 | #Constraints: 35978
2255.41/2283.43 c #Conflicts: 769000 | #Constraints: 36978
2255.41/2283.43 c #Conflicts: 770000 | #Constraints: 37978
2255.41/2283.43 c #Conflicts: 771000 | #Constraints: 38979
2255.41/2283.43 c #Conflicts: 772000 | #Constraints: 39979
2255.41/2283.43 c #Conflicts: 773000 | #Constraints: 40979
2255.41/2283.43 c #Conflicts: 774000 | #Constraints: 41980
2255.41/2283.43 c INPROCESSING
2255.41/2283.43 c GARBAGE COLLECT
2255.41/2283.43 c #Conflicts: 775000 | #Constraints: 25700
2255.41/2283.43 c #Conflicts: 776000 | #Constraints: 26700
2255.41/2283.43 c #Conflicts: 777000 | #Constraints: 27700
2255.41/2283.43 c #Conflicts: 778000 | #Constraints: 28701
2255.41/2283.43 c #Conflicts: 779000 | #Constraints: 29702
2255.41/2283.43 c #Conflicts: 780000 | #Constraints: 30703
2255.41/2283.43 c #Conflicts: 781000 | #Constraints: 31704
2255.41/2283.43 c #Conflicts: 782000 | #Constraints: 32704
2255.41/2283.43 c #Conflicts: 783000 | #Constraints: 33704
2255.41/2283.43 c #Conflicts: 784000 | #Constraints: 34704
2255.41/2283.43 c #Conflicts: 785000 | #Constraints: 35704
2255.41/2283.43 c #Conflicts: 786000 | #Constraints: 36704
2255.41/2283.43 c #Conflicts: 787000 | #Constraints: 37704
2255.41/2283.43 c #Conflicts: 788000 | #Constraints: 38704
2255.41/2283.43 c #Conflicts: 789000 | #Constraints: 39704
2255.41/2283.43 c #Conflicts: 790000 | #Constraints: 40704
2495.18/2523.92 c #Conflicts: 791000 | #Constraints: 41704
2495.18/2523.92 c #Conflicts: 792000 | #Constraints: 42704
2495.18/2523.92 c INPROCESSING
2495.18/2523.92 c GARBAGE COLLECT
2495.18/2523.92 c #Conflicts: 793000 | #Constraints: 26157
2495.18/2523.92 c #Conflicts: 794000 | #Constraints: 27160
2495.18/2523.92 c #Conflicts: 795000 | #Constraints: 28161
2495.18/2523.92 c #Conflicts: 796000 | #Constraints: 29161
2495.18/2523.92 c #Conflicts: 797000 | #Constraints: 30161
2495.18/2523.92 c #Conflicts: 798000 | #Constraints: 31161
2495.18/2523.92 c #Conflicts: 799000 | #Constraints: 32161
2495.18/2523.92 c #Conflicts: 800000 | #Constraints: 33161
2495.18/2523.92 c #Conflicts: 801000 | #Constraints: 34161
2495.18/2523.92 c #Conflicts: 802000 | #Constraints: 35161
2495.18/2523.92 c #Conflicts: 803000 | #Constraints: 36161
2495.18/2523.92 c #Conflicts: 804000 | #Constraints: 37161
2495.18/2523.92 c #Conflicts: 805000 | #Constraints: 38161
2495.18/2523.92 c #Conflicts: 806000 | #Constraints: 39161
2495.18/2523.92 c #Conflicts: 807000 | #Constraints: 40161
2495.18/2523.92 c #Conflicts: 808000 | #Constraints: 41161
2495.18/2523.92 c #Conflicts: 809000 | #Constraints: 42161
2495.18/2523.92 c #Conflicts: 810000 | #Constraints: 43161
2495.18/2523.92 c INPROCESSING
2495.18/2523.92 c GARBAGE COLLECT
2495.18/2523.92 c #Conflicts: 811000 | #Constraints: 26369
2495.18/2523.92 c #Conflicts: 812000 | #Constraints: 27369
2495.18/2523.92 c #Conflicts: 813000 | #Constraints: 28369
2495.18/2523.92 c #Conflicts: 814000 | #Constraints: 29369
2495.18/2523.92 c #Conflicts: 815000 | #Constraints: 30369
2495.18/2523.92 c #Conflicts: 816000 | #Constraints: 31369
2495.18/2523.92 c #Conflicts: 817000 | #Constraints: 32369
2495.18/2523.92 c #Conflicts: 818000 | #Constraints: 33369
2495.18/2523.92 c #Conflicts: 819000 | #Constraints: 34369
2495.18/2523.92 c #Conflicts: 820000 | #Constraints: 35369
2495.18/2523.92 c #Conflicts: 821000 | #Constraints: 36369
2495.18/2523.92 c #Conflicts: 822000 | #Constraints: 37369
2495.18/2523.92 c #Conflicts: 823000 | #Constraints: 38369
2495.18/2523.92 c #Conflicts: 824000 | #Constraints: 39369
2495.18/2523.92 c #Conflicts: 825000 | #Constraints: 40369
2495.18/2523.92 c #Conflicts: 826000 | #Constraints: 41369
2495.18/2523.92 c #Conflicts: 827000 | #Constraints: 42369
2495.18/2523.92 c #Conflicts: 828000 | #Constraints: 43369
2495.18/2523.92 c INPROCESSING
2495.18/2523.92 c GARBAGE COLLECT
2495.18/2523.92 c #Conflicts: 829000 | #Constraints: 26475
2495.18/2523.92 c #Conflicts: 830000 | #Constraints: 27475
2495.18/2523.92 c #Conflicts: 831000 | #Constraints: 28475
2495.18/2523.92 c #Conflicts: 832000 | #Constraints: 29475
2495.18/2523.92 c #Conflicts: 833000 | #Constraints: 30475
2495.18/2523.92 c #Conflicts: 834000 | #Constraints: 31475
2495.18/2523.92 c #Conflicts: 835000 | #Constraints: 32475
2495.18/2523.92 c #Conflicts: 836000 | #Constraints: 33475
2495.18/2523.92 c #Conflicts: 837000 | #Constraints: 34475
2495.18/2523.92 c #Conflicts: 838000 | #Constraints: 35475
2495.18/2523.92 c #Conflicts: 839000 | #Constraints: 36475
2495.18/2523.92 c #Conflicts: 840000 | #Constraints: 37475
2495.18/2523.92 c #Conflicts: 841000 | #Constraints: 38475
2495.18/2523.92 c #Conflicts: 842000 | #Constraints: 39475
2495.18/2523.92 c #Conflicts: 843000 | #Constraints: 40475
2495.18/2523.92 c #Conflicts: 844000 | #Constraints: 41475
2495.18/2523.92 c #Conflicts: 845000 | #Constraints: 42475
2495.18/2523.92 c #Conflicts: 846000 | #Constraints: 43475
2495.18/2523.92 c INPROCESSING
2495.18/2523.92 c GARBAGE COLLECT
2495.18/2523.92 c #Conflicts: 847000 | #Constraints: 26027
2495.18/2523.92 c #Conflicts: 848000 | #Constraints: 27027
2495.18/2523.92 c #Conflicts: 849000 | #Constraints: 28028
2495.18/2523.92 c #Conflicts: 850000 | #Constraints: 29029
2495.18/2523.92 c #Conflicts: 851000 | #Constraints: 30029
2495.18/2523.92 c #Conflicts: 852000 | #Constraints: 31029
2495.18/2523.92 c #Conflicts: 853000 | #Constraints: 32029
2495.18/2523.92 c #Conflicts: 854000 | #Constraints: 33029
2495.18/2523.92 c #Conflicts: 855000 | #Constraints: 34029
2495.18/2523.92 c #Conflicts: 856000 | #Constraints: 35029
2495.18/2523.92 c #Conflicts: 857000 | #Constraints: 36029
2495.18/2523.92 c #Conflicts: 858000 | #Constraints: 37030
2495.18/2523.92 c #Conflicts: 859000 | #Constraints: 38030
2495.18/2523.92 c #Conflicts: 860000 | #Constraints: 39030
2495.18/2523.92 c #Conflicts: 861000 | #Constraints: 40030
2495.18/2523.92 c #Conflicts: 862000 | #Constraints: 41030
2495.18/2523.92 c #Conflicts: 863000 | #Constraints: 42030
2495.18/2523.92 c #Conflicts: 864000 | #Constraints: 43030
2495.18/2523.92 c #Conflicts: 865000 | #Constraints: 44030
2495.18/2523.92 c INPROCESSING
2666.20/2696.11 c GARBAGE COLLECT
2666.20/2696.11 c #Conflicts: 866000 | #Constraints: 26761
2666.20/2696.11 c #Conflicts: 867000 | #Constraints: 27761
2666.20/2696.11 c #Conflicts: 868000 | #Constraints: 28761
2666.20/2696.11 c #Conflicts: 869000 | #Constraints: 29761
2666.20/2696.11 c #Conflicts: 870000 | #Constraints: 30761
2666.20/2696.11 c #Conflicts: 871000 | #Constraints: 31761
2666.20/2696.11 c #Conflicts: 872000 | #Constraints: 32761
2666.20/2696.11 c #Conflicts: 873000 | #Constraints: 33761
2666.20/2696.11 c #Conflicts: 874000 | #Constraints: 34761
2666.20/2696.11 c #Conflicts: 875000 | #Constraints: 35761
2666.20/2696.11 c #Conflicts: 876000 | #Constraints: 36761
2666.20/2696.11 c #Conflicts: 877000 | #Constraints: 37761
2666.20/2696.11 c #Conflicts: 878000 | #Constraints: 38762
2666.20/2696.11 c #Conflicts: 879000 | #Constraints: 39762
2666.20/2696.11 c #Conflicts: 880000 | #Constraints: 40762
2666.20/2696.11 c #Conflicts: 881000 | #Constraints: 41762
2666.20/2696.11 c #Conflicts: 882000 | #Constraints: 42762
2666.20/2696.11 c #Conflicts: 883000 | #Constraints: 43763
2666.20/2696.11 c #Conflicts: 884000 | #Constraints: 44763
2666.20/2696.11 c INPROCESSING
2666.20/2696.11 c GARBAGE COLLECT
2666.20/2696.11 c #Conflicts: 885000 | #Constraints: 27243
2666.20/2696.11 c #Conflicts: 886000 | #Constraints: 28243
2666.20/2696.11 c #Conflicts: 887000 | #Constraints: 29243
2666.20/2696.11 c #Conflicts: 888000 | #Constraints: 30243
2666.20/2696.11 c #Conflicts: 889000 | #Constraints: 31247
2666.20/2696.11 c #Conflicts: 890000 | #Constraints: 32248
2666.20/2696.11 c #Conflicts: 891000 | #Constraints: 33248
2666.20/2696.11 c #Conflicts: 892000 | #Constraints: 34248
2666.20/2696.11 c #Conflicts: 893000 | #Constraints: 35248
2666.20/2696.11 c #Conflicts: 894000 | #Constraints: 36248
2666.20/2696.11 c #Conflicts: 895000 | #Constraints: 37249
2666.20/2696.11 c #Conflicts: 896000 | #Constraints: 38249
2666.20/2696.11 c #Conflicts: 897000 | #Constraints: 39249
2666.20/2696.11 c #Conflicts: 898000 | #Constraints: 40249
2666.20/2696.11 c #Conflicts: 899000 | #Constraints: 41249
2666.20/2696.11 c #Conflicts: 900000 | #Constraints: 42249
2666.20/2696.11 c #Conflicts: 901000 | #Constraints: 43249
2666.20/2696.11 c #Conflicts: 902000 | #Constraints: 44249
2666.20/2696.11 c #Conflicts: 903000 | #Constraints: 45249
2666.20/2696.11 c INPROCESSING
2666.20/2696.11 c GARBAGE COLLECT
2666.20/2696.11 c #Conflicts: 904000 | #Constraints: 27570
2666.20/2696.11 c #Conflicts: 905000 | #Constraints: 28570
2666.20/2696.11 c #Conflicts: 906000 | #Constraints: 29570
2666.20/2696.11 c #Conflicts: 907000 | #Constraints: 30570
2666.20/2696.11 c #Conflicts: 908000 | #Constraints: 31570
2666.20/2696.11 c #Conflicts: 909000 | #Constraints: 32570
2666.20/2696.11 c #Conflicts: 910000 | #Constraints: 33570
2666.20/2696.11 c #Conflicts: 911000 | #Constraints: 34570
2666.20/2696.11 c #Conflicts: 912000 | #Constraints: 35570
2666.20/2696.11 c #Conflicts: 913000 | #Constraints: 36570
2666.20/2696.11 c #Conflicts: 914000 | #Constraints: 37570
2666.20/2696.11 c #Conflicts: 915000 | #Constraints: 38570
2666.20/2696.11 c #Conflicts: 916000 | #Constraints: 39570
2666.20/2696.11 c #Conflicts: 917000 | #Constraints: 40570
2666.20/2696.11 c #Conflicts: 918000 | #Constraints: 41570
2666.20/2696.11 c #Conflicts: 919000 | #Constraints: 42570
2666.20/2696.11 c #Conflicts: 920000 | #Constraints: 43570
2666.20/2696.11 c #Conflicts: 921000 | #Constraints: 44570
2666.20/2696.11 c #Conflicts: 922000 | #Constraints: 45570
2666.20/2696.11 c INPROCESSING
2666.20/2696.11 c GARBAGE COLLECT
2666.20/2696.11 c #Conflicts: 923000 | #Constraints: 27669
2666.20/2696.11 c #Conflicts: 924000 | #Constraints: 28669
2666.20/2696.11 c #Conflicts: 925000 | #Constraints: 29669
2666.20/2696.11 c #Conflicts: 926000 | #Constraints: 30669
2666.20/2696.11 c #Conflicts: 927000 | #Constraints: 31669
2666.20/2696.11 c #Conflicts: 928000 | #Constraints: 32669
2666.20/2696.11 c #Conflicts: 929000 | #Constraints: 33669
2666.20/2696.11 c #Conflicts: 930000 | #Constraints: 34669
2666.20/2696.11 c #Conflicts: 931000 | #Constraints: 35669
2666.20/2696.11 c #Conflicts: 932000 | #Constraints: 36669
2666.20/2696.11 c #Conflicts: 933000 | #Constraints: 37669
2666.20/2696.11 c #Conflicts: 934000 | #Constraints: 38669
2666.20/2696.11 c #Conflicts: 935000 | #Constraints: 39669
2666.20/2696.11 c #Conflicts: 936000 | #Constraints: 40669
2666.20/2696.11 c #Conflicts: 937000 | #Constraints: 41669
2666.20/2696.11 c #Conflicts: 938000 | #Constraints: 42669
2666.20/2696.11 c #Conflicts: 939000 | #Constraints: 43669
2666.20/2696.11 c #Conflicts: 940000 | #Constraints: 44669
2666.20/2696.11 c #Conflicts: 941000 | #Constraints: 45669
2666.20/2696.11 c INPROCESSING
2666.20/2696.11 c GARBAGE COLLECT
2864.91/2904.85 c #Conflicts: 942000 | #Constraints: 27323
2864.91/2904.85 c #Conflicts: 943000 | #Constraints: 28323
2864.91/2904.85 c #Conflicts: 944000 | #Constraints: 29323
2864.91/2904.85 c #Conflicts: 945000 | #Constraints: 30323
2864.91/2904.85 c #Conflicts: 946000 | #Constraints: 31323
2864.91/2904.85 c #Conflicts: 947000 | #Constraints: 32323
2864.91/2904.85 c #Conflicts: 948000 | #Constraints: 33323
2864.91/2904.85 c #Conflicts: 949000 | #Constraints: 34325
2864.91/2904.85 c #Conflicts: 950000 | #Constraints: 35326
2864.91/2904.85 c #Conflicts: 951000 | #Constraints: 36326
2864.91/2904.85 c #Conflicts: 952000 | #Constraints: 37327
2864.91/2904.85 c #Conflicts: 953000 | #Constraints: 38328
2864.91/2904.85 c #Conflicts: 954000 | #Constraints: 39328
2864.91/2904.85 c #Conflicts: 955000 | #Constraints: 40328
2864.91/2904.85 c #Conflicts: 956000 | #Constraints: 41328
2864.91/2904.85 c #Conflicts: 957000 | #Constraints: 42328
2864.91/2904.85 c #Conflicts: 958000 | #Constraints: 43328
2864.91/2904.85 c #Conflicts: 959000 | #Constraints: 44328
2864.91/2904.85 c #Conflicts: 960000 | #Constraints: 45328
2864.91/2904.85 c #Conflicts: 961000 | #Constraints: 46328
2864.91/2904.85 c INPROCESSING
2864.91/2904.85 c GARBAGE COLLECT
2864.91/2904.85 c #Conflicts: 962000 | #Constraints: 27869
2864.91/2904.85 c #Conflicts: 963000 | #Constraints: 28882
2864.91/2904.85 c #Conflicts: 964000 | #Constraints: 29886
2864.91/2904.85 c #Conflicts: 965000 | #Constraints: 30889
2864.91/2904.85 c #Conflicts: 966000 | #Constraints: 31890
2864.91/2904.85 c #Conflicts: 967000 | #Constraints: 32890
2864.91/2904.85 c #Conflicts: 968000 | #Constraints: 33890
2864.91/2904.85 c #Conflicts: 969000 | #Constraints: 34890
2864.91/2904.85 c #Conflicts: 970000 | #Constraints: 35890
2864.91/2904.85 c #Conflicts: 971000 | #Constraints: 36891
2864.91/2904.85 c #Conflicts: 972000 | #Constraints: 37891
2864.91/2904.85 c #Conflicts: 973000 | #Constraints: 38891
2864.91/2904.85 c #Conflicts: 974000 | #Constraints: 39891
2864.91/2904.85 c #Conflicts: 975000 | #Constraints: 40891
2864.91/2904.85 c #Conflicts: 976000 | #Constraints: 41891
2864.91/2904.85 c #Conflicts: 977000 | #Constraints: 42891
2864.91/2904.85 c #Conflicts: 978000 | #Constraints: 43892
2864.91/2904.85 c #Conflicts: 979000 | #Constraints: 44892
2864.91/2904.85 c #Conflicts: 980000 | #Constraints: 45893
2864.91/2904.85 c #Conflicts: 981000 | #Constraints: 46894
2864.91/2904.85 c INPROCESSING
2864.91/2904.85 c GARBAGE COLLECT
2864.91/2904.85 c #Conflicts: 982000 | #Constraints: 28233
2864.91/2904.85 c #Conflicts: 983000 | #Constraints: 29233
2864.91/2904.85 c #Conflicts: 984000 | #Constraints: 30233
2864.91/2904.85 c #Conflicts: 985000 | #Constraints: 31233
2864.91/2904.85 c #Conflicts: 986000 | #Constraints: 32233
2864.91/2904.85 c #Conflicts: 987000 | #Constraints: 33233
2864.91/2904.85 c #Conflicts: 988000 | #Constraints: 34233
2864.91/2904.85 c #Conflicts: 989000 | #Constraints: 35233
2864.91/2904.85 c #Conflicts: 990000 | #Constraints: 36233
2864.91/2904.85 c #Conflicts: 991000 | #Constraints: 37233
2864.91/2904.85 c #Conflicts: 992000 | #Constraints: 38233
2864.91/2904.85 c #Conflicts: 993000 | #Constraints: 39233
2864.91/2904.85 c #Conflicts: 994000 | #Constraints: 40233
2864.91/2904.85 c #Conflicts: 995000 | #Constraints: 41233
2864.91/2904.85 c #Conflicts: 996000 | #Constraints: 42234
2864.91/2904.85 c #Conflicts: 997000 | #Constraints: 43234
2864.91/2904.85 c #Conflicts: 998000 | #Constraints: 44234
2864.91/2904.85 c #Conflicts: 999000 | #Constraints: 45234
2864.91/2904.85 c #Conflicts: 1000000 | #Constraints: 46234
2864.91/2904.85 c #Conflicts: 1001000 | #Constraints: 47234
2864.91/2904.85 c INPROCESSING
2864.91/2904.85 c GARBAGE COLLECT
2864.91/2904.85 c #Conflicts: 1002000 | #Constraints: 28507
2864.91/2904.85 c #Conflicts: 1003000 | #Constraints: 29507
2864.91/2904.85 c #Conflicts: 1004000 | #Constraints: 30508
2864.91/2904.85 c #Conflicts: 1005000 | #Constraints: 31510
2864.91/2904.85 c #Conflicts: 1006000 | #Constraints: 32519
2864.91/2904.85 c #Conflicts: 1007000 | #Constraints: 33522
2864.91/2904.85 c #Conflicts: 1008000 | #Constraints: 34523
2864.91/2904.85 c #Conflicts: 1009000 | #Constraints: 35524
2864.91/2904.85 c #Conflicts: 1010000 | #Constraints: 36525
2864.91/2904.85 c #Conflicts: 1011000 | #Constraints: 37525
2864.91/2904.85 c #Conflicts: 1012000 | #Constraints: 38525
2864.91/2904.85 c #Conflicts: 1013000 | #Constraints: 39526
2864.91/2904.85 c #Conflicts: 1014000 | #Constraints: 40526
2864.91/2904.85 c #Conflicts: 1015000 | #Constraints: 41526
2864.91/2904.85 c #Conflicts: 1016000 | #Constraints: 42526
2864.91/2904.85 c #Conflicts: 1017000 | #Constraints: 43527
2864.91/2904.85 c #Conflicts: 1018000 | #Constraints: 44528
2990.48/3030.93 c #Conflicts: 1019000 | #Constraints: 45529
2990.48/3030.93 c #Conflicts: 1020000 | #Constraints: 46529
2990.48/3030.93 c #Conflicts: 1021000 | #Constraints: 47530
2990.48/3030.93 c INPROCESSING
2990.48/3030.93 c GARBAGE COLLECT
2990.48/3030.93 c #Conflicts: 1022000 | #Constraints: 28494
2990.48/3030.93 c #Conflicts: 1023000 | #Constraints: 29494
2990.48/3030.93 c #Conflicts: 1024000 | #Constraints: 30494
2990.48/3030.93 c #Conflicts: 1025000 | #Constraints: 31495
2990.48/3030.93 c #Conflicts: 1026000 | #Constraints: 32495
2990.48/3030.93 c #Conflicts: 1027000 | #Constraints: 33495
2990.48/3030.93 c #Conflicts: 1028000 | #Constraints: 34498
2990.48/3030.93 c #Conflicts: 1029000 | #Constraints: 35498
2990.48/3030.93 c #Conflicts: 1030000 | #Constraints: 36498
2990.48/3030.93 c #Conflicts: 1031000 | #Constraints: 37498
2990.48/3030.93 c #Conflicts: 1032000 | #Constraints: 38500
2990.48/3030.93 c #Conflicts: 1033000 | #Constraints: 39501
2990.48/3030.93 c #Conflicts: 1034000 | #Constraints: 40503
2990.48/3030.93 c #Conflicts: 1035000 | #Constraints: 41504
2990.48/3030.93 c #Conflicts: 1036000 | #Constraints: 42507
2990.48/3030.93 c #Conflicts: 1037000 | #Constraints: 43507
2990.48/3030.93 c #Conflicts: 1038000 | #Constraints: 44507
2990.48/3030.93 c #Conflicts: 1039000 | #Constraints: 45508
2990.48/3030.93 c #Conflicts: 1040000 | #Constraints: 46508
2990.48/3030.93 c #Conflicts: 1041000 | #Constraints: 47510
2990.48/3030.93 c INPROCESSING
2990.48/3030.93 c GARBAGE COLLECT
2990.48/3030.93 c #Conflicts: 1042000 | #Constraints: 28390
2990.48/3030.93 c #Conflicts: 1043000 | #Constraints: 29391
2990.48/3030.93 c #Conflicts: 1044000 | #Constraints: 30391
2990.48/3030.93 c #Conflicts: 1045000 | #Constraints: 31391
2990.48/3030.93 c #Conflicts: 1046000 | #Constraints: 32391
2990.48/3030.93 c #Conflicts: 1047000 | #Constraints: 33391
2990.48/3030.93 c #Conflicts: 1048000 | #Constraints: 34391
2990.48/3030.93 c #Conflicts: 1049000 | #Constraints: 35391
2990.48/3030.93 c #Conflicts: 1050000 | #Constraints: 36391
2990.48/3030.93 c #Conflicts: 1051000 | #Constraints: 37391
2990.48/3030.93 c #Conflicts: 1052000 | #Constraints: 38391
2990.48/3030.93 c #Conflicts: 1053000 | #Constraints: 39392
2990.48/3030.93 c #Conflicts: 1054000 | #Constraints: 40393
2990.48/3030.93 c #Conflicts: 1055000 | #Constraints: 41393
2990.48/3030.93 c #Conflicts: 1056000 | #Constraints: 42394
2990.48/3030.93 c #Conflicts: 1057000 | #Constraints: 43395
2990.48/3030.93 c #Conflicts: 1058000 | #Constraints: 44395
2990.48/3030.93 c #Conflicts: 1059000 | #Constraints: 45396
2990.48/3030.93 c #Conflicts: 1060000 | #Constraints: 46396
2990.48/3030.93 c #Conflicts: 1061000 | #Constraints: 47397
2990.48/3030.93 c #Conflicts: 1062000 | #Constraints: 48397
2990.48/3030.93 c INPROCESSING
2990.48/3030.93 c GARBAGE COLLECT
2990.48/3030.93 c #Conflicts: 1063000 | #Constraints: 28777
2990.48/3030.93 c #Conflicts: 1064000 | #Constraints: 29777
2990.48/3030.93 c #Conflicts: 1065000 | #Constraints: 30777
2990.48/3030.93 c #Conflicts: 1066000 | #Constraints: 31777
2990.48/3030.93 c #Conflicts: 1067000 | #Constraints: 32777
2990.48/3030.93 c #Conflicts: 1068000 | #Constraints: 33777
2990.48/3030.93 c #Conflicts: 1069000 | #Constraints: 34777
2990.48/3030.93 c #Conflicts: 1070000 | #Constraints: 35778
2990.48/3030.93 c #Conflicts: 1071000 | #Constraints: 36778
2990.48/3030.93 c #Conflicts: 1072000 | #Constraints: 37778
2990.48/3030.93 c #Conflicts: 1073000 | #Constraints: 38778
2990.48/3030.93 c #Conflicts: 1074000 | #Constraints: 39778
2990.48/3030.93 c #Conflicts: 1075000 | #Constraints: 40778
2990.48/3030.93 c #Conflicts: 1076000 | #Constraints: 41778
2990.48/3030.93 c #Conflicts: 1077000 | #Constraints: 42778
2990.48/3030.93 c #Conflicts: 1078000 | #Constraints: 43779
2990.48/3030.93 c #Conflicts: 1079000 | #Constraints: 44780
2990.48/3030.93 c #Conflicts: 1080000 | #Constraints: 45781
2990.48/3030.93 c #Conflicts: 1081000 | #Constraints: 46782
2990.48/3030.93 c #Conflicts: 1082000 | #Constraints: 47783
2990.48/3030.93 c #Conflicts: 1083000 | #Constraints: 48787
2990.48/3030.93 c INPROCESSING
2990.48/3030.93 c GARBAGE COLLECT
2990.48/3030.93 c #Conflicts: 1084000 | #Constraints: 29033
2990.48/3030.93 c #Conflicts: 1085000 | #Constraints: 30033
2990.48/3030.93 c #Conflicts: 1086000 | #Constraints: 31034
2990.48/3030.93 c #Conflicts: 1087000 | #Constraints: 32036
2990.48/3030.93 c #Conflicts: 1088000 | #Constraints: 33039
2990.48/3030.93 c #Conflicts: 1089000 | #Constraints: 34039
2990.48/3030.93 c #Conflicts: 1090000 | #Constraints: 35039
2990.48/3030.93 c #Conflicts: 1091000 | #Constraints: 36039
2990.48/3030.93 c #Conflicts: 1092000 | #Constraints: 37039
2990.48/3030.93 c #Conflicts: 1093000 | #Constraints: 38039
2990.48/3030.93 c #Conflicts: 1094000 | #Constraints: 39039
3311.53/3352.90 c #Conflicts: 1095000 | #Constraints: 40039
3311.53/3352.90 c #Conflicts: 1096000 | #Constraints: 41039
3311.53/3352.90 c #Conflicts: 1097000 | #Constraints: 42039
3311.53/3352.90 c #Conflicts: 1098000 | #Constraints: 43039
3311.53/3352.90 c #Conflicts: 1099000 | #Constraints: 44039
3311.53/3352.90 c #Conflicts: 1100000 | #Constraints: 45039
3311.53/3352.90 c #Conflicts: 1101000 | #Constraints: 46039
3311.53/3352.90 c #Conflicts: 1102000 | #Constraints: 47039
3311.53/3352.90 c #Conflicts: 1103000 | #Constraints: 48040
3311.53/3352.90 c #Conflicts: 1104000 | #Constraints: 49041
3311.53/3352.90 c INPROCESSING
3311.53/3352.90 c GARBAGE COLLECT
3311.53/3352.90 c #Conflicts: 1105000 | #Constraints: 29199
3311.53/3352.90 c #Conflicts: 1106000 | #Constraints: 30199
3311.53/3352.90 c #Conflicts: 1107000 | #Constraints: 31200
3311.53/3352.90 c #Conflicts: 1108000 | #Constraints: 32201
3311.53/3352.90 c #Conflicts: 1109000 | #Constraints: 33201
3311.53/3352.90 c #Conflicts: 1110000 | #Constraints: 34201
3311.53/3352.90 c #Conflicts: 1111000 | #Constraints: 35201
3311.53/3352.90 c #Conflicts: 1112000 | #Constraints: 36201
3311.53/3352.90 c #Conflicts: 1113000 | #Constraints: 37201
3311.53/3352.90 c #Conflicts: 1114000 | #Constraints: 38201
3311.53/3352.90 c #Conflicts: 1115000 | #Constraints: 39202
3311.53/3352.90 c #Conflicts: 1116000 | #Constraints: 40202
3311.53/3352.90 c #Conflicts: 1117000 | #Constraints: 41202
3311.53/3352.90 c #Conflicts: 1118000 | #Constraints: 42203
3311.53/3352.90 c #Conflicts: 1119000 | #Constraints: 43205
3311.53/3352.90 c #Conflicts: 1120000 | #Constraints: 44205
3311.53/3352.90 c #Conflicts: 1121000 | #Constraints: 45205
3311.53/3352.90 c #Conflicts: 1122000 | #Constraints: 46205
3311.53/3352.90 c #Conflicts: 1123000 | #Constraints: 47205
3311.53/3352.90 c #Conflicts: 1124000 | #Constraints: 48210
3311.53/3352.90 c #Conflicts: 1125000 | #Constraints: 49220
3311.53/3352.90 c INPROCESSING
3311.53/3352.90 c GARBAGE COLLECT
3311.53/3352.90 c #Conflicts: 1126000 | #Constraints: 29263
3311.53/3352.90 c #Conflicts: 1127000 | #Constraints: 30265
3311.53/3352.90 c #Conflicts: 1128000 | #Constraints: 31266
3311.53/3352.90 c #Conflicts: 1129000 | #Constraints: 32267
3311.53/3352.90 c #Conflicts: 1130000 | #Constraints: 33268
3311.53/3352.90 c #Conflicts: 1131000 | #Constraints: 34269
3311.53/3352.90 c #Conflicts: 1132000 | #Constraints: 35270
3311.53/3352.90 c #Conflicts: 1133000 | #Constraints: 36270
3311.53/3352.90 c #Conflicts: 1134000 | #Constraints: 37270
3311.53/3352.90 c #Conflicts: 1135000 | #Constraints: 38270
3311.53/3352.90 c #Conflicts: 1136000 | #Constraints: 39270
3311.53/3352.90 c #Conflicts: 1137000 | #Constraints: 40270
3311.53/3352.90 c #Conflicts: 1138000 | #Constraints: 41270
3311.53/3352.90 c #Conflicts: 1139000 | #Constraints: 42270
3311.53/3352.90 c #Conflicts: 1140000 | #Constraints: 43270
3311.53/3352.90 c #Conflicts: 1141000 | #Constraints: 44270
3311.53/3352.90 c #Conflicts: 1142000 | #Constraints: 45270
3311.53/3352.90 c #Conflicts: 1143000 | #Constraints: 46270
3311.53/3352.90 c #Conflicts: 1144000 | #Constraints: 47270
3311.53/3352.90 c #Conflicts: 1145000 | #Constraints: 48270
3311.53/3352.90 c #Conflicts: 1146000 | #Constraints: 49271
3311.53/3352.90 c INPROCESSING
3311.53/3352.90 c GARBAGE COLLECT
3311.53/3352.90 c #Conflicts: 1147000 | #Constraints: 29147
3311.53/3352.90 c #Conflicts: 1148000 | #Constraints: 30147
3311.53/3352.90 c #Conflicts: 1149000 | #Constraints: 31147
3311.53/3352.90 c #Conflicts: 1150000 | #Constraints: 32147
3311.53/3352.90 c #Conflicts: 1151000 | #Constraints: 33147
3311.53/3352.90 c #Conflicts: 1152000 | #Constraints: 34148
3311.53/3352.90 c #Conflicts: 1153000 | #Constraints: 35151
3311.53/3352.90 c #Conflicts: 1154000 | #Constraints: 36151
3311.53/3352.90 c #Conflicts: 1155000 | #Constraints: 37151
3311.53/3352.90 c #Conflicts: 1156000 | #Constraints: 38151
3311.53/3352.90 c #Conflicts: 1157000 | #Constraints: 39151
3311.53/3352.90 c #Conflicts: 1158000 | #Constraints: 40151
3311.53/3352.90 c #Conflicts: 1159000 | #Constraints: 41151
3311.53/3352.90 c #Conflicts: 1160000 | #Constraints: 42151
3311.53/3352.90 c #Conflicts: 1161000 | #Constraints: 43152
3311.53/3352.90 c #Conflicts: 1162000 | #Constraints: 44153
3311.53/3352.90 c #Conflicts: 1163000 | #Constraints: 45154
3311.53/3352.90 c #Conflicts: 1164000 | #Constraints: 46155
3311.53/3352.90 c #Conflicts: 1165000 | #Constraints: 47155
3311.53/3352.90 c #Conflicts: 1166000 | #Constraints: 48155
3311.53/3352.90 c #Conflicts: 1167000 | #Constraints: 49155
3311.53/3352.90 c #Conflicts: 1168000 | #Constraints: 50155
3311.53/3352.90 c INPROCESSING
3311.53/3352.90 c GARBAGE COLLECT
3311.53/3352.90 c #Conflicts: 1169000 | #Constraints: 29835
3311.53/3352.90 c #Conflicts: 1170000 | #Constraints: 30835
3311.53/3352.90 c #Conflicts: 1171000 | #Constraints: 31835
3470.37/3521.94 c #Conflicts: 1172000 | #Constraints: 32835
3470.37/3521.94 c #Conflicts: 1173000 | #Constraints: 33835
3470.37/3521.94 c #Conflicts: 1174000 | #Constraints: 34835
3470.37/3521.94 c #Conflicts: 1175000 | #Constraints: 35835
3470.37/3521.94 c #Conflicts: 1176000 | #Constraints: 36835
3470.37/3521.94 c #Conflicts: 1177000 | #Constraints: 37835
3470.37/3521.94 c #Conflicts: 1178000 | #Constraints: 38835
3470.37/3521.94 c #Conflicts: 1179000 | #Constraints: 39835
3470.37/3521.94 c #Conflicts: 1180000 | #Constraints: 40835
3470.37/3521.94 c #Conflicts: 1181000 | #Constraints: 41836
3470.37/3521.94 c #Conflicts: 1182000 | #Constraints: 42836
3470.37/3521.94 c #Conflicts: 1183000 | #Constraints: 43836
3470.37/3521.94 c #Conflicts: 1184000 | #Constraints: 44847
3470.37/3521.94 c #Conflicts: 1185000 | #Constraints: 45848
3470.37/3521.94 c #Conflicts: 1186000 | #Constraints: 46848
3470.37/3521.94 c #Conflicts: 1187000 | #Constraints: 47848
3470.37/3521.94 c #Conflicts: 1188000 | #Constraints: 48848
3470.37/3521.94 c #Conflicts: 1189000 | #Constraints: 49848
3470.37/3521.94 c #Conflicts: 1190000 | #Constraints: 50848
3470.37/3521.94 c INPROCESSING
3470.37/3521.94 c GARBAGE COLLECT
3470.37/3521.94 c #Conflicts: 1191000 | #Constraints: 30457
3470.37/3521.94 c #Conflicts: 1192000 | #Constraints: 31457
3470.37/3521.94 c #Conflicts: 1193000 | #Constraints: 32457
3470.37/3521.94 c #Conflicts: 1194000 | #Constraints: 33457
3470.37/3521.94 c #Conflicts: 1195000 | #Constraints: 34457
3470.37/3521.94 c #Conflicts: 1196000 | #Constraints: 35457
3470.37/3521.94 c #Conflicts: 1197000 | #Constraints: 36457
3470.37/3521.94 c #Conflicts: 1198000 | #Constraints: 37458
3470.37/3521.94 c #Conflicts: 1199000 | #Constraints: 38458
3470.37/3521.94 c #Conflicts: 1200000 | #Constraints: 39458
3470.37/3521.94 c #Conflicts: 1201000 | #Constraints: 40458
3470.37/3521.94 c #Conflicts: 1202000 | #Constraints: 41458
3470.37/3521.94 c #Conflicts: 1203000 | #Constraints: 42458
3470.37/3521.94 c #Conflicts: 1204000 | #Constraints: 43458
3470.37/3521.94 c #Conflicts: 1205000 | #Constraints: 44458
3470.37/3521.94 c #Conflicts: 1206000 | #Constraints: 45458
3470.37/3521.94 c #Conflicts: 1207000 | #Constraints: 46458
3470.37/3521.94 c #Conflicts: 1208000 | #Constraints: 47459
3470.37/3521.94 c #Conflicts: 1209000 | #Constraints: 48459
3470.37/3521.94 c #Conflicts: 1210000 | #Constraints: 49459
3470.37/3521.94 c #Conflicts: 1211000 | #Constraints: 50460
3470.37/3521.94 c #Conflicts: 1212000 | #Constraints: 51461
3470.37/3521.94 c INPROCESSING
3470.37/3521.94 c GARBAGE COLLECT
3470.37/3521.94 c #Conflicts: 1213000 | #Constraints: 30817
3470.37/3521.94 c #Conflicts: 1214000 | #Constraints: 31817
3470.37/3521.94 c #Conflicts: 1215000 | #Constraints: 32817
3470.37/3521.94 c #Conflicts: 1216000 | #Constraints: 33817
3470.37/3521.94 c #Conflicts: 1217000 | #Constraints: 34817
3470.37/3521.94 c #Conflicts: 1218000 | #Constraints: 35817
3470.37/3521.94 c #Conflicts: 1219000 | #Constraints: 36817
3470.37/3521.94 c #Conflicts: 1220000 | #Constraints: 37818
3470.37/3521.94 c #Conflicts: 1221000 | #Constraints: 38818
3470.37/3521.94 c #Conflicts: 1222000 | #Constraints: 39818
3470.37/3521.94 c #Conflicts: 1223000 | #Constraints: 40818
3470.37/3521.94 c #Conflicts: 1224000 | #Constraints: 41819
3470.37/3521.94 c #Conflicts: 1225000 | #Constraints: 42819
3470.37/3521.94 c #Conflicts: 1226000 | #Constraints: 43827
3470.37/3521.94 c #Conflicts: 1227000 | #Constraints: 44830
3470.37/3521.94 c #Conflicts: 1228000 | #Constraints: 45836
3470.37/3521.94 c #Conflicts: 1229000 | #Constraints: 46844
3470.37/3521.94 c #Conflicts: 1230000 | #Constraints: 47846
3470.37/3521.94 c #Conflicts: 1231000 | #Constraints: 48847
3470.37/3521.94 c #Conflicts: 1232000 | #Constraints: 49847
3470.37/3521.94 c #Conflicts: 1233000 | #Constraints: 50847
3470.37/3521.94 c #Conflicts: 1234000 | #Constraints: 51847
3470.37/3521.94 c INPROCESSING
3470.37/3521.94 c GARBAGE COLLECT
3470.37/3521.94 c #Conflicts: 1235000 | #Constraints: 30622
3470.37/3521.94 c #Conflicts: 1236000 | #Constraints: 31622
3470.37/3521.94 c #Conflicts: 1237000 | #Constraints: 32622
3470.37/3521.94 c #Conflicts: 1238000 | #Constraints: 33622
3470.37/3521.94 c #Conflicts: 1239000 | #Constraints: 34622
3470.37/3521.94 c #Conflicts: 1240000 | #Constraints: 35622
3470.37/3521.94 c #Conflicts: 1241000 | #Constraints: 36622
3470.37/3521.94 c #Conflicts: 1242000 | #Constraints: 37622
3470.37/3521.94 c #Conflicts: 1243000 | #Constraints: 38622
3470.37/3521.94 c #Conflicts: 1244000 | #Constraints: 39622
3470.37/3521.94 c #Conflicts: 1245000 | #Constraints: 40622
3470.37/3521.94 c #Conflicts: 1246000 | #Constraints: 41622
3470.37/3521.94 c #Conflicts: 1247000 | #Constraints: 42622
3470.37/3521.94 c #Conflicts: 1248000 | #Constraints: 43622
3600.06/3654.50 c #Conflicts: 1249000 | #Constraints: 44622
3600.06/3654.50 c #Conflicts: 1250000 | #Constraints: 45622
3600.06/3654.50 c #Conflicts: 1251000 | #Constraints: 46622
3600.06/3654.50 c #Conflicts: 1252000 | #Constraints: 47622
3600.06/3654.50 c #Conflicts: 1253000 | #Constraints: 48622
3600.06/3654.50 c #Conflicts: 1254000 | #Constraints: 49622
3600.06/3654.50 c #Conflicts: 1255000 | #Constraints: 50623
3600.06/3654.50 c #Conflicts: 1256000 | #Constraints: 51623
3600.06/3654.50 c INPROCESSING
3600.06/3654.50 c GARBAGE COLLECT
3600.06/3654.50 c #Conflicts: 1257000 | #Constraints: 30410
3600.06/3654.50 c #Conflicts: 1258000 | #Constraints: 31410
3600.06/3654.50 c #Conflicts: 1259000 | #Constraints: 32410
3600.06/3654.50 c #Conflicts: 1260000 | #Constraints: 33410
3600.06/3654.50 c #Conflicts: 1261000 | #Constraints: 34410
3600.06/3654.50 c #Conflicts: 1262000 | #Constraints: 35410
3600.06/3654.50 c #Conflicts: 1263000 | #Constraints: 36410
3600.06/3654.50 c #Conflicts: 1264000 | #Constraints: 37410
3600.06/3654.50 c #Conflicts: 1265000 | #Constraints: 38410
3600.06/3654.50 c #Conflicts: 1266000 | #Constraints: 39410
3600.06/3654.50 c #Conflicts: 1267000 | #Constraints: 40410
3600.06/3654.50 c #Conflicts: 1268000 | #Constraints: 41410
3600.06/3654.50 c #Conflicts: 1269000 | #Constraints: 42410
3600.06/3654.50 c #Conflicts: 1270000 | #Constraints: 43410
3600.06/3654.50 c #Conflicts: 1271000 | #Constraints: 44410
3600.06/3654.50 c #Conflicts: 1272000 | #Constraints: 45410
3600.06/3654.50 c #Conflicts: 1273000 | #Constraints: 46410
3600.06/3654.50 c #Conflicts: 1274000 | #Constraints: 47410
3600.06/3654.50 c #Conflicts: 1275000 | #Constraints: 48410
3600.06/3654.50 c #Conflicts: 1276000 | #Constraints: 49411
3600.06/3654.50 c #Conflicts: 1277000 | #Constraints: 50412
3600.06/3654.50 c #Conflicts: 1278000 | #Constraints: 51412
3600.06/3654.50 c #Conflicts: 1279000 | #Constraints: 52413
3600.06/3654.50 c INPROCESSING
3600.06/3654.50 c GARBAGE COLLECT
3600.06/3654.50 c #Conflicts: 1280000 | #Constraints: 31098
3600.06/3654.50 c #Conflicts: 1281000 | #Constraints: 32098
3600.06/3654.50 c #Conflicts: 1282000 | #Constraints: 33098
3600.06/3654.50 c #Conflicts: 1283000 | #Constraints: 34098
3600.06/3654.50 c #Conflicts: 1284000 | #Constraints: 35100
3600.06/3654.50 c #Conflicts: 1285000 | #Constraints: 36100
3600.06/3654.50 c #Conflicts: 1286000 | #Constraints: 37100
3600.06/3654.50 c #Conflicts: 1287000 | #Constraints: 38100
3600.06/3654.50 c #Conflicts: 1288000 | #Constraints: 39100
3600.06/3654.50 c #Conflicts: 1289000 | #Constraints: 40100
3600.06/3654.50 c #Conflicts: 1290000 | #Constraints: 41100
3600.06/3654.50 c #Conflicts: 1291000 | #Constraints: 42101
3600.06/3654.50 c #Conflicts: 1292000 | #Constraints: 43102
3600.06/3654.50 c #Conflicts: 1293000 | #Constraints: 44106
3600.06/3654.50 c #Conflicts: 1294000 | #Constraints: 45109
3600.06/3654.50 c #Conflicts: 1295000 | #Constraints: 46109
3600.06/3654.50 c #Conflicts: 1296000 | #Constraints: 47110
3600.06/3654.50 c cpu time 3478.64 s
3600.06/3654.50 c deterministic time 162963722988 1.63e+11
3600.06/3654.50 c optimization time 22.2946 s
3600.06/3654.50 c total solve time 3456.03 s
3600.06/3654.50 c core-guided solve time 1915.37 s
3600.06/3654.50 c propagation time 1776.12 s
3600.06/3654.50 c conflict analysis time 207.964 s
3600.06/3654.50 c propagations 470739431
3600.06/3654.50 c resolve steps 5786391
3600.06/3654.50 c decisions 145956088
3600.06/3654.50 c conflicts 1296911
3600.06/3654.50 c restarts 2509
3600.06/3654.50 c inprocessing phases 104
3600.06/3654.50 c garbage collections 103 ,( 99.04 )
3600.06/3654.50 c input clauses 0 ,( 0.00 )
3600.06/3654.50 c input cardinalities 0 ,( 0.00 )
3600.06/3654.50 c input general constraints 5184 ,( 100.00 )
3600.06/3654.50 c input average constraint length 64.33
3600.06/3654.50 c input average constraint degree 20629994197.79
3600.06/3654.50 c learned clauses 39237 ,( 3.02 )
3600.06/3654.50 c learned cardinalities 111 ,( 0.01 )
3600.06/3654.50 c learned general constraints 1258103 ,( 96.97 )
3600.06/3654.50 c learned average constraint length 247.84
3600.06/3654.50 c learned average constraint degree 290358195.03
3600.06/3654.50 c watched CF 32, 64, 128, Arb: 3189 , 0 , 0 , 0
3600.06/3654.50 c counting CF 32, 64, 128, Arb: 1260082 , 17 , 0 , 0
3600.06/3654.50 c watched constraints 3189 ,( 0.25 )
3600.06/3654.50 c counting constraints 1260098 ,( 99.75 )
3600.06/3654.50 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 19572224 , 32302 , 17294758560 ,( 719155 , 17294039405 )
3600.06/3654.50 c gcd simplifications 653414
3600.06/3654.50 c detected cardinalities 76
3600.06/3654.50 c weakened non-implied lits 139130860
3600.06/3654.50 c weakened non-implying lits 4519122
3600.06/3654.50 c original variables 107808
3600.06/3654.50 c clausal propagations 14487724
3600.06/3654.50 c cardinality propagations 4796
3600.06/3654.50 c watched propagations 23273
3600.06/3654.50 c counting propagations 451677471
3600.06/3654.50 c watch lookups 22197573861
3600.06/3654.50 c watch backjump lookups 0
3600.06/3654.50 c watch checks 22112338
3600.06/3654.50 c propagation checks 138338703085
3600.06/3654.50 c constraint additions 1168120491
3600.06/3654.50 c trail pops 617943645
3600.06/3654.50 c formula constraints 5184
3600.06/3654.50 c learned constraints 1296769
3600.06/3654.50 c bound constraints 0
3600.06/3654.50 c core-guided constraints 0
3600.06/3654.50 c encountered formula constraints 2727494
3600.06/3654.50 c encountered learned constraints 4222226
3600.06/3654.50 c encountered bound constraints 0
3600.06/3654.50 c encountered core-guided constraints 0
3600.06/3654.50 c LP total time 2269.17 s
3600.06/3654.50 c LP solve time 2260.27 s
3600.06/3654.50 c LP constraints added 5926
3600.06/3654.50 c LP constraints removed 500
3600.06/3654.50 c LP pivots internal 1297975
3600.06/3654.50 c LP pivots root 1276073
3600.06/3654.50 c LP calls 547
3600.06/3654.50 c LP optimalities 11
3600.06/3654.50 c LP no pivot count 0
3600.06/3654.50 c LP infeasibilities 475
3600.06/3654.50 c LP valid Farkas constraints 407
3600.06/3654.50 c LP learned Farkas constraints 142
3600.06/3654.50 c LP basis resets 92
3600.06/3654.50 c LP cycling count 5
3600.06/3654.50 c LP singular count 49
3600.06/3654.50 c LP no primal count 0
3600.06/3654.50 c LP no farkas count 38
3600.06/3654.50 c LP other issue count 0
3600.06/3654.50 c LP Gomory cuts 133
3600.06/3654.50 c LP learned cuts 609
3600.06/3654.50 c LP deleted cuts 500
3600.06/3654.50 c LP encountered Gomory constraints 9
3600.06/3654.50 c LP encountered Farkas constraints 129819
3600.06/3654.50 c LP encountered learned Farkas constraints 3612
3600.06/3654.50 c CG auxiliary variables introduced 0
3600.06/3654.50 c CG solutions found 0
3600.06/3654.50 c CG cores constructed 0
3600.06/3654.50 c CG core cardinality constraints returned 0
3600.06/3654.50 c CG unit cores 0
3600.06/3654.50 c CG single cores 0
3600.06/3654.50 c CG blocks removed during cardinality reduction 0
3600.06/3654.50 c CG first core best 0
3600.06/3654.50 c CG decision core best 0
3600.06/3654.50 c CG core reduction tie 0
3600.06/3654.50 c CG core degree average 0.00
3600.06/3654.50 c CG core slack average 0.00
3600.06/3654.50 c CG core upper bound improvements 0
3600.06/3654.50 c STR number of successful calls 0
3600.06/3654.50 c STR number of unsuccessful calls 0
3600.06/3654.50 c STR number of inconclusive calls 0
3600.06/3654.50 c STR number of successful attempts 0
3600.06/3654.50 c STR number of unsuccessful attempts 0
3600.06/3654.50 c STR number of inconclusive attempts 0
3600.06/3654.50 c STR average degree increase per successful call inf
3600.06/3654.50 c STR average degree increase per successful attempt inf
3600.06/3654.50 c STR total number of conflicts for successful attempts 0
3600.06/3654.50 c STR total number of conflicts for unsuccessful attempts 0
3600.06/3654.50 c STR total number of conflicts for inconclusive attempts 0
3600.06/3654.50 c STR average number of conflicts per successful attempt inf
3600.06/3654.50 c STR average number of conflicts per unsuccessful attempt inf
3600.06/3654.50 c STR average number of conflicts per inconclusive attempt inf
3600.06/3654.50 c AVG.sumWPerc 96.95
3600.06/3654.50 c bigint constraints 17
3600.06/3654.50 s UNKNOWN
3600.06/3654.50 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (61999 MiB free)
memory of node 1: 64465 MiB (55795 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4531740-1752584603/watcher-4531740-1752584603 -o /tmp/evaluation-result-4531740-1752584603/solver-4531740-1752584603 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1752584602-183368 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4531740-1752584603.opb PROOFDIR/proof-4531740-1752584603
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=183405, runsolver pid=183397
[startup+0.100056 s]*
/proc/loadavg: 0.06 0.33 0.26 2/263 183418
/proc/meminfo: memFree=120610216/131249992 swapFree=33010160/33010684
[pid=183405] ppid=183397 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/183405/stat : 183405 (run-opt-ls-log.) S 183397 183405 183356 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 174139129 4292608 736 18446744073709551615 94838439915520 94838440810053 140730134541408 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94838441049104 94838441096848 94838453563392 140730134546713 140730134546911 140730134546911 140730134552515 0
/proc/183405/statm: 1048 736 672 219 0 110 0
[pid=183411] ppid=183405 vsize=36128 memory=22932 CPUtime=0.04 cores=1,3
/proc/183411/stat : 183411 (pbsuma) R 183405 183405 183356 0 -1 4194304 5195 0 0 0 3 1 0 0 20 0 1 0 174139132 36995072 5733 18446744073709551615 4210688 4653049 140725015984336 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 36995072 140725015988449 140725015988784 140725015988784 140725015994351 0
/proc/183411/statm: 9032 5733 1024 108 0 6440 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 40320 KiB
Current children cumulated memory: 25876 KiB
[startup+0.2062 s]*
/proc/loadavg: 0.06 0.33 0.26 5/269 183431
/proc/meminfo: memFree=120507896/131249992 swapFree=33010160/33010684
[pid=183405] ppid=183397 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/183405/stat : 183405 (run-opt-ls-log.) S 183397 183405 183356 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 174139129 4292608 736 18446744073709551615 94838439915520 94838440810053 140730134541408 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94838441049104 94838441096848 94838453563392 140730134546713 140730134546911 140730134546911 140730134552515 0
/proc/183405/statm: 1048 736 672 219 0 110 0
[pid=183411] ppid=183405 vsize=128072 memory=92092 CPUtime=0.15 cores=1,3
/proc/183411/stat : 183411 (pbsuma) R 183405 183405 183356 0 -1 4194304 16381 0 0 0 11 4 0 0 20 0 1 0 174139132 131145728 23023 18446744073709551615 4210688 4653049 140725015984336 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 36995072 140725015988449 140725015988784 140725015988784 140725015994351 0
/proc/183411/statm: 32018 23023 1024 108 0 29426 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 132264 KiB
Current children cumulated memory: 95036 KiB
[startup+0.305809 s]*
/proc/loadavg: 0.06 0.33 0.26 5/270 183433
/proc/meminfo: memFree=120421332/131249992 swapFree=33010160/33010684
[pid=183405] ppid=183397 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/183405/stat : 183405 (run-opt-ls-log.) S 183397 183405 183356 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 174139129 4292608 736 18446744073709551615 94838439915520 94838440810053 140730134541408 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94838441049104 94838441096848 94838453563392 140730134546713 140730134546911 140730134546911 140730134552515 0
/proc/183405/statm: 1048 736 672 219 0 110 0
[pid=183411] ppid=183405 vsize=43640 memory=31400 CPUtime=0.25 cores=1,3
/proc/183411/stat : 183411 (pbsuma) R 183405 183405 183356 0 -1 4194304 24813 0 0 0 19 6 0 0 20 0 1 0 174139132 44687360 7850 18446744073709551615 4210688 4653049 140725015984336 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 36995072 140725015988449 140725015988784 140725015988784 140725015994351 0
/proc/183411/statm: 10910 7850 1056 108 0 8318 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 47832 KiB
Current children cumulated memory: 34344 KiB
[startup+0.700168 s]
/proc/loadavg: 0.06 0.33 0.26 6/268 183442
/proc/meminfo: memFree=120260212/131249992 swapFree=33010160/33010684
[pid=183405] ppid=183397 vsize=4192 memory=2944 CPUtime=0.25 cores=1,3
/proc/183405/stat : 183405 (run-opt-ls-log.) S 183397 183405 183356 0 -1 4194304 242 24816 0 0 0 0 19 6 20 0 1 0 174139129 4292608 736 18446744073709551615 94838439915520 94838440810053 140730134541408 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94838441049104 94838441096848 94838453563392 140730134546713 140730134546911 140730134546911 140730134552515 0
/proc/183405/statm: 1048 736 672 219 0 110 0
[pid=183434] ppid=183405 vsize=104100 memory=60012 CPUtime=0.32 cores=1,3
/proc/183434/stat : 183434 (roundingsat) R 183405 183405 183356 0 -1 4194304 11861 0 0 0 28 4 0 0 20 0 1 0 174139165 106598400 15003 18446744073709551615 4227072 8923577 140720479144720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 28561408 140720479152372 140720479152678 140720479152678 140720479158250 0
/proc/183434/statm: 26025 15003 2048 1147 0 13451 0
Current children cumulated CPU time: 0.57 s
Current children cumulated vsize: 108292 KiB
Current children cumulated memory: 62956 KiB
[startup+1.50014 s]
/proc/loadavg: 0.06 0.33 0.26 4/265 183443
/proc/meminfo: memFree=120293552/131249992 swapFree=33010160/33010684
[pid=183405] ppid=183397 vsize=4192 memory=2944 CPUtime=0.25 cores=1,3
/proc/183405/stat : 183405 (run-opt-ls-log.) S 183397 183405 183356 0 -1 4194304 242 24816 0 0 0 0 19 6 20 0 1 0 174139129 4292608 736 18446744073709551615 94838439915520 94838440810053 140730134541408 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94838441049104 94838441096848 94838453563392 140730134546713 140730134546911 140730134546911 140730134552515 0
/proc/183405/statm: 1048 736 672 219 0 110 0
[pid=183434] ppid=183405 vsize=138352 memory=95128 CPUtime=1.12 cores=1,3
/proc/183434/stat : 183434 (roundingsat) R 183405 183405 183356 0 -1 4194304 20662 0 0 0 106 6 0 0 20 0 1 0 174139165 141672448 23782 18446744073709551615 4227072 8923577 140720479144720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 28561408 140720479152372 140720479152678 140720479152678 140720479158250 0
/proc/183434/statm: 34588 23782 2368 1147 0 22014 0
Current children cumulated CPU time: 1.37 s
Current children cumulated vsize: 142544 KiB
Current children cumulated memory: 98072 KiB
[startup+3.10578 s]
/proc/loadavg: 0.38 0.39 0.28 3/260 183451
/proc/meminfo: memFree=120308268/131249992 swapFree=33010160/33010684
[pid=183405] ppid=183397 vsize=4192 memory=2944 CPUtime=0.25 cores=1,3
/proc/183405/stat : 183405 (run-opt-ls-log.) S 183397 183405 183356 0 -1 4194304 242 24816 0 0 0 0 19 6 20 0 1 0 174139129 4292608 736 18446744073709551615 94838439915520 94838440810053 140730134541408 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94838441049104 94838441096848 94838453563392 140730134546713 140730134546911 140730134546911 140730134552515 0
/proc/183405/statm: 1048 736 672 219 0 110 0
[pid=183434] ppid=183405 vsize=138352 memory=95128 CPUtime=2.72 cores=1,3
/proc/183434/stat : 183434 (roundingsat) R 183405 183405 183356 0 -1 4194304 20664 0 0 0 266 6 0 0 20 0 1 0 174139165 141672448 23782 18446744073709551615 4227072 8923577 140720479144720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 28561408 140720479152372 140720479152678 140720479152678 140720479158250 0
/proc/183434/statm: 34588 23782 2368 1147 0 22014 0
Current children cumulated CPU time: 2.97 s
Current children cumulated vsize: 142544 KiB
Current children cumulated memory: 98072 KiB
[startup+6.30014 s]
/proc/loadavg: 0.38 0.39 0.28 3/260 183451
/proc/meminfo: memFree=120276148/131249992 swapFree=33010160/33010684
[pid=183405] ppid=183397 vsize=4192 memory=2944 CPUtime=0.25 cores=1,3
/proc/183405/stat : 183405 (run-opt-ls-log.) S 183397 183405 183356 0 -1 4194304 242 24816 0 0 0 0 19 6 20 0 1 0 174139129 4292608 736 18446744073709551615 94838439915520 94838440810053 140730134541408 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94838441049104 94838441096848 94838453563392 140730134546713 140730134546911 140730134546911 140730134552515 0
/proc/183405/statm: 1048 736 672 219 0 110 0
[pid=183434] ppid=183405 vsize=197956 memory=152600 CPUtime=5.9 cores=1,3
/proc/183434/stat : 183434 (roundingsat) R 183405 183405 183356 0 -1 4194304 31387 0 0 0 547 43 0 0 20 0 1 0 174139165 202706944 38150 18446744073709551615 4227072 8923577 140720479144720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 28561408 140720479152372 140720479152678 140720479152678 140720479158250 0
/proc/183434/statm: 49489 38150 2432 1147 0 36915 0
Current children cumulated CPU time: 6.15 s
Current children cumulated vsize: 202148 KiB
Current children cumulated memory: 155544 KiB
[startup+12.7002 s]
/proc/loadavg: 1.01 0.53 0.32 3/260 183452
/proc/meminfo: memFree=120290376/131249992 swapFree=33010160/33010684
[pid=183405] ppid=183397 vsize=4192 memory=2944 CPUtime=0.25 cores=1,3
/proc/183405/stat : 183405 (run-opt-ls-log.) S 183397 183405 183356 0 -1 4194304 242 24816 0 0 0 0 19 6 20 0 1 0 174139129 4292608 736 18446744073709551615 94838439915520 94838440810053 140730134541408 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94838441049104 94838441096848 94838453563392 140730134546713 140730134546911 140730134546911 140730134552515 0
/proc/183405/statm: 1048 736 672 219 0 110 0
[pid=183434] ppid=183405 vsize=200676 memory=153112 CPUtime=12.27 cores=1,3
/proc/183434/stat : 183434 (roundingsat) R 183405 183405 183356 0 -1 4194304 31564 0 0 0 1143 84 0 0 20 0 1 0 174139165 205492224 38278 18446744073709551615 4227072 8923577 140720479144720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 28561408 140720479152372 140720479152678 140720479152678 140720479158250 0
/proc/183434/statm: 50169 38278 2432 1147 0 37595 0
Current children cumulated CPU time: 12.52 s
Current children cumulated vsize: 204868 KiB
Current children cumulated memory: 156056 KiB
[startup+25.5002 s]
/proc/loadavg: 1.47 0.64 0.36 5/270 183820
/proc/meminfo: memFree=120131756/131249992 swapFree=33010160/33010684
[pid=183405] ppid=183397 vsize=4192 memory=2944 CPUtime=0.25 cores=1,3
/proc/183405/stat : 183405 (run-opt-ls-log.) S 183397 183405 183356 0 -1 4194304 242 24816 0 0 0 0 19 6 20 0 1 0 174139129 4292608 736 18446744073709551615 94838439915520 94838440810053 140730134541408 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94838441049104 94838441096848 94838453563392 140730134546713 140730134546911 140730134546911 140730134552515 0
/proc/183405/statm: 1048 736 672 219 0 110 0
[pid=183434] ppid=183405 vsize=200820 memory=153496 CPUtime=25.04 cores=1,3
/proc/183434/stat : 183434 (roundingsat) R 183405 183405 183356 0 -1 4194304 31665 0 0 0 2396 108 0 0 20 0 1 0 174139165 205639680 38374 18446744073709551615 4227072 8923577 140720479144720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 28561408 140720479152372 140720479152678 140720479152678 140720479158250 0
/proc/183434/statm: 50205 38374 2432 1147 0 37631 0
Current children cumulated CPU time: 25.29 s
Current children cumulated vsize: 205012 KiB
Current children cumulated memory: 156440 KiB
[startup+51.1061 s]
/proc/loadavg: 2.40 0.93 0.47 5/270 183820
/proc/meminfo: memFree=119750848/131249992 swapFree=33010160/33010684
[pid=183405] ppid=183397 vsize=4192 memory=2944 CPUtime=0.25 cores=1,3
/proc/183405/stat : 183405 (run-opt-ls-log.) S 183397 183405 183356 0 -1 4194304 242 24816 0 0 0 0 19 6 20 0 1 0 174139129 4292608 736 18446744073709551615 94838439915520 94838440810053 140730134541408 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94838441049104 94838441096848 94838453563392 140730134546713 140730134546911 140730134546911 140730134552515 0
/proc/183405/statm: 1048 736 672 219 0 110 0
[pid=183434] ppid=183405 vsize=208804 memory=161944 CPUtime=49.39 cores=1,3
/proc/183434/stat : 183434 (roundingsat) R 183405 183405 183356 0 -1 4194304 33707 0 0 0 4693 246 0 0 20 0 1 0 174139165 213815296 40486 18446744073709551615 4227072 8923577 140720479144720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 28561408 140720479152372 140720479152678 140720479152678 140720479158250 0
/proc/183434/statm: 52201 40486 2496 1147 0 39627 0
Current children cumulated CPU time: 49.64 s
Current children cumulated vsize: 212996 KiB
Current children cumulated memory: 164888 KiB
[startup+102.3 s]
/proc/loadavg: 3.71 1.52 0.69 5/272 183824
/proc/meminfo: memFree=119063328/131249992 swapFree=33010160/33010684
[pid=183405] ppid=183397 vsize=4192 memory=2944 CPUtime=0.25 cores=1,3
/proc/183405/stat : 183405 (run-opt-ls-log.) S 183397 183405 183356 0 -1 4194304 242 24816 0 0 0 0 19 6 20 0 1 0 174139129 4292608 736 18446744073709551615 94838439915520 94838440810053 140730134541408 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94838441049104 94838441096848 94838453563392 140730134546713 140730134546911 140730134546911 140730134552515 0
/proc/183405/statm: 1048 736 672 219 0 110 0
[pid=183434] ppid=183405 vsize=224020 memory=178328 CPUtime=100.42 cores=1,3
/proc/183434/stat : 183434 (roundingsat) R 183405 183405 183356 0 -1 4194304 37783 0 0 0 9513 529 0 0 20 0 1 0 174139165 229396480 44582 18446744073709551615 4227072 8923577 140720479144720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 28561408 140720479152372 140720479152678 140720479152678 140720479158250 0
/proc/183434/statm: 56005 44582 2528 1147 0 43431 0
Current children cumulated CPU time: 100.67 s
Current children cumulated vsize: 228212 KiB
Current children cumulated memory: 181272 KiB
[startup+162.3 s]
/proc/loadavg: 4.00 2.00 0.91 5/273 183827
/proc/meminfo: memFree=118389312/131249992 swapFree=33010160/33010684
[pid=183405] ppid=183397 vsize=4192 memory=2944 CPUtime=0.25 cores=1,3
/proc/183405/stat : 183405 (run-opt-ls-log.) S 183397 183405 183356 0 -1 4194304 242 24816 0 0 0 0 19 6 20 0 1 0 174139129 4292608 736 18446744073709551615 94838439915520 94838440810053 140730134541408 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94838441049104 94838441096848 94838453563392 140730134546713 140730134546911 140730134546911 140730134552515 0
/proc/183405/statm: 1048 736 672 219 0 110 0
[pid=183434] ppid=183405 vsize=246028 memory=200068 CPUtime=157.06 cores=1,3
/proc/183434/stat : 183434 (roundingsat) R 183405 183405 183356 0 -1 4194304 42608 0 0 0 14943 763 0 0 20 0 1 0 174139165 251932672 50017 18446744073709551615 4227072 8923577 140720479144720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 28561408 140720479152372 140720479152678 140720479152678 140720479158250 0
/proc/183434/statm: 61507 50017 2528 1147 0 48933 0
Current children cumulated CPU time: 157.31 s
Current children cumulated vsize: 250220 KiB
Current children cumulated memory: 203012 KiB
[startup+222.3 s]
/proc/loadavg: 4.00 2.37 1.11 5/273 183829
/proc/meminfo: memFree=117509208/131249992 swapFree=33010160/33010684
[pid=183405] ppid=183397 vsize=4192 memory=2944 CPUtime=0.25 cores=1,3
/proc/183405/stat : 183405 (run-opt-ls-log.) S 183397 183405 183356 0 -1 4194304 242 24816 0 0 0 0 19 6 20 0 1 0 174139129 4292608 736 18446744073709551615 94838439915520 94838440810053 140730134541408 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94838441049104 94838441096848 94838453563392 140730134546713 140730134546911 140730134546911 140730134552515 0
/proc/183405/statm: 1048 736 672 219 0 110 0
[pid=183434] ppid=183405 vsize=317984 memory=269800 CPUtime=212.56 cores=1,3
/proc/183434/stat : 183434 (roundingsat) R 183405 183405 183356 0 -1 4194304 50055 0 0 0 20124 1132 0 0 20 0 1 0 174139165 325615616 67450 18446744073709551615 4227072 8923577 140720479144720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 28561408 140720479152372 140720479152678 140720479152678 140720479158250 0
/proc/183434/statm: 79496 67450 2528 1147 0 66922 0
################
# More data... #
################
/proc/183405/stat : 183405 (run-opt-ls-log.) S 183397 183405 183356 0 -1 4194304 242 24816 0 0 0 0 19 6 20 0 1 0 174139129 4292608 736 18446744073709551615 94838439915520 94838440810053 140730134541408 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94838441049104 94838441096848 94838453563392 140730134546713 140730134546911 140730134546911 140730134552515 0
/proc/183405/statm: 1048 736 672 219 0 110 0
[pid=183434] ppid=183405 vsize=1620408 memory=1532808 CPUtime=3181.07 cores=1,3
/proc/183434/stat : 183434 (roundingsat) R 183405 183405 183356 0 -1 4194304 248271 0 0 0 307423 10684 0 0 20 0 1 0 174139165 1659297792 383202 18446744073709551615 4227072 8923577 140720479144720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 28561408 140720479152372 140720479152678 140720479152678 140720479158250 0
/proc/183434/statm: 405102 383202 2528 1147 0 392528 0
Current children cumulated CPU time: 3181.32 s
Current children cumulated vsize: 1624600 KiB
Current children cumulated memory: 1535752 KiB
[startup+3282.3 s]
/proc/loadavg: 4.05 4.12 4.04 5/274 183990
/proc/meminfo: memFree=87261608/131249992 swapFree=33010160/33010684
[pid=183405] ppid=183397 vsize=4192 memory=2944 CPUtime=0.25 cores=1,3
/proc/183405/stat : 183405 (run-opt-ls-log.) S 183397 183405 183356 0 -1 4194304 242 24816 0 0 0 0 19 6 20 0 1 0 174139129 4292608 736 18446744073709551615 94838439915520 94838440810053 140730134541408 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94838441049104 94838441096848 94838453563392 140730134546713 140730134546911 140730134546911 140730134552515 0
/proc/183405/statm: 1048 736 672 219 0 110 0
[pid=183434] ppid=183405 vsize=1620408 memory=1532808 CPUtime=3240.89 cores=1,3
/proc/183434/stat : 183434 (roundingsat) R 183405 183405 183356 0 -1 4194304 248282 0 0 0 313375 10714 0 0 20 0 1 0 174139165 1659297792 383202 18446744073709551615 4227072 8923577 140720479144720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 28561408 140720479152372 140720479152678 140720479152678 140720479158250 0
/proc/183434/statm: 405102 383202 2528 1147 0 392528 0
Current children cumulated CPU time: 3241.14 s
Current children cumulated vsize: 1624600 KiB
Current children cumulated memory: 1535752 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.13 4.05 5/273 183992
/proc/meminfo: memFree=86767400/131249992 swapFree=33010160/33010684
[pid=183405] ppid=183397 vsize=4192 memory=2944 CPUtime=0.25 cores=1,3
/proc/183405/stat : 183405 (run-opt-ls-log.) S 183397 183405 183356 0 -1 4194304 242 24816 0 0 0 0 19 6 20 0 1 0 174139129 4292608 736 18446744073709551615 94838439915520 94838440810053 140730134541408 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94838441049104 94838441096848 94838453563392 140730134546713 140730134546911 140730134546911 140730134552515 0
/proc/183405/statm: 1048 736 672 219 0 110 0
[pid=183434] ppid=183405 vsize=1620408 memory=1532808 CPUtime=3300.7 cores=1,3
/proc/183434/stat : 183434 (roundingsat) R 183405 183405 183356 0 -1 4194304 248307 0 0 0 319146 10924 0 0 20 0 1 0 174139165 1659297792 383202 18446744073709551615 4227072 8923577 140720479144720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 28561408 140720479152372 140720479152678 140720479152678 140720479158250 0
/proc/183434/statm: 405102 383202 2528 1147 0 392528 0
Current children cumulated CPU time: 3300.95 s
Current children cumulated vsize: 1624600 KiB
Current children cumulated memory: 1535752 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.12 4.05 5/274 183995
/proc/meminfo: memFree=86094092/131249992 swapFree=33010160/33010684
[pid=183405] ppid=183397 vsize=4192 memory=2944 CPUtime=0.25 cores=1,3
/proc/183405/stat : 183405 (run-opt-ls-log.) S 183397 183405 183356 0 -1 4194304 242 24816 0 0 0 0 19 6 20 0 1 0 174139129 4292608 736 18446744073709551615 94838439915520 94838440810053 140730134541408 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94838441049104 94838441096848 94838453563392 140730134546713 140730134546911 140730134546911 140730134552515 0
/proc/183405/statm: 1048 736 672 219 0 110 0
[pid=183434] ppid=183405 vsize=1620664 memory=1533320 CPUtime=3360.53 cores=1,3
/proc/183434/stat : 183434 (roundingsat) R 183405 183405 183356 0 -1 4194304 248418 0 0 0 324808 11245 0 0 20 0 1 0 174139165 1659559936 383330 18446744073709551615 4227072 8923577 140720479144720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 28561408 140720479152372 140720479152678 140720479152678 140720479158250 0
/proc/183434/statm: 405166 383330 2528 1147 0 392592 0
Current children cumulated CPU time: 3360.78 s
Current children cumulated vsize: 1624856 KiB
Current children cumulated memory: 1536264 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.11 4.05 5/274 184008
/proc/meminfo: memFree=85247620/131249992 swapFree=33010160/33010684
[pid=183405] ppid=183397 vsize=4192 memory=2944 CPUtime=0.25 cores=1,3
/proc/183405/stat : 183405 (run-opt-ls-log.) S 183397 183405 183356 0 -1 4194304 242 24816 0 0 0 0 19 6 20 0 1 0 174139129 4292608 736 18446744073709551615 94838439915520 94838440810053 140730134541408 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94838441049104 94838441096848 94838453563392 140730134546713 140730134546911 140730134546911 140730134552515 0
/proc/183405/statm: 1048 736 672 219 0 110 0
[pid=183434] ppid=183405 vsize=1632192 memory=1545016 CPUtime=3417.4 cores=1,3
/proc/183434/stat : 183434 (roundingsat) R 183405 183405 183356 0 -1 4194304 249807 0 0 0 330316 11424 0 0 20 0 1 0 174139165 1671364608 386254 18446744073709551615 4227072 8923577 140720479144720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 28561408 140720479152372 140720479152678 140720479152678 140720479158250 0
/proc/183434/statm: 408048 386254 2528 1147 0 395474 0
Current children cumulated CPU time: 3417.65 s
Current children cumulated vsize: 1636384 KiB
Current children cumulated memory: 1547960 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.10 4.05 5/274 184010
/proc/meminfo: memFree=84655096/131249992 swapFree=33010160/33010684
[pid=183405] ppid=183397 vsize=4192 memory=2944 CPUtime=0.25 cores=1,3
/proc/183405/stat : 183405 (run-opt-ls-log.) S 183397 183405 183356 0 -1 4194304 242 24816 0 0 0 0 19 6 20 0 1 0 174139129 4292608 736 18446744073709551615 94838439915520 94838440810053 140730134541408 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94838441049104 94838441096848 94838453563392 140730134546713 140730134546911 140730134546911 140730134552515 0
/proc/183405/statm: 1048 736 672 219 0 110 0
[pid=183434] ppid=183405 vsize=1632192 memory=1545016 CPUtime=3470.52 cores=1,3
/proc/183434/stat : 183434 (roundingsat) R 183405 183405 183356 0 -1 4194304 249827 0 0 0 335468 11584 0 0 20 0 1 0 174139165 1671364608 386254 18446744073709551615 4227072 8923577 140720479144720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 28561408 140720479152372 140720479152678 140720479152678 140720479158250 0
/proc/183434/statm: 408048 386254 2528 1147 0 395474 0
Current children cumulated CPU time: 3470.77 s
Current children cumulated vsize: 1636384 KiB
Current children cumulated memory: 1547960 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.06 5/273 184012
/proc/meminfo: memFree=84119872/131249992 swapFree=33010160/33010684
[pid=183405] ppid=183397 vsize=4192 memory=2944 CPUtime=0.25 cores=1,3
/proc/183405/stat : 183405 (run-opt-ls-log.) S 183397 183405 183356 0 -1 4194304 242 24816 0 0 0 0 19 6 20 0 1 0 174139129 4292608 736 18446744073709551615 94838439915520 94838440810053 140730134541408 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94838441049104 94838441096848 94838453563392 140730134546713 140730134546911 140730134546911 140730134552515 0
/proc/183405/statm: 1048 736 672 219 0 110 0
[pid=183434] ppid=183405 vsize=1632192 memory=1545016 CPUtime=3530.19 cores=1,3
/proc/183434/stat : 183434 (roundingsat) R 183405 183405 183356 0 -1 4194304 249834 0 0 0 341123 11896 0 0 20 0 1 0 174139165 1671364608 386254 18446744073709551615 4227072 8923577 140720479144720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 28561408 140720479152372 140720479152678 140720479152678 140720479158250 0
/proc/183434/statm: 408048 386254 2528 1147 0 395474 0
Current children cumulated CPU time: 3530.44 s
Current children cumulated vsize: 1636384 KiB
Current children cumulated memory: 1547960 KiB
[startup+3642.3 s]
/proc/loadavg: 4.15 4.12 4.06 2/272 184014
/proc/meminfo: memFree=83605552/131249992 swapFree=33010160/33010684
[pid=183405] ppid=183397 vsize=4192 memory=2944 CPUtime=0.25 cores=1,3
/proc/183405/stat : 183405 (run-opt-ls-log.) S 183397 183405 183356 0 -1 4194304 242 24816 0 0 0 0 19 6 20 0 1 0 174139129 4292608 736 18446744073709551615 94838439915520 94838440810053 140730134541408 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94838441049104 94838441096848 94838453563392 140730134546713 140730134546911 140730134546911 140730134552515 0
/proc/183405/statm: 1048 736 672 219 0 110 0
[pid=183434] ppid=183405 vsize=1642452 memory=1555208 CPUtime=3588.18 cores=1,3
/proc/183434/stat : 183434 (roundingsat) D 183405 183405 183356 0 -1 4194304 251377 0 0 0 346772 12046 0 0 20 0 1 0 174139165 1681870848 388802 18446744073709551615 4227072 8923577 140720479144720 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9827200 9836688 28561408 140720479152372 140720479152678 140720479152678 140720479158250 0
/proc/183434/statm: 410613 388802 2528 1147 0 398039 0
Current children cumulated CPU time: 3588.43 s
Current children cumulated vsize: 1646644 KiB
Current children cumulated memory: 1558152 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3654.5 s]
/proc/loadavg: 4.11 4.11 4.06 5/272 184014
/proc/meminfo: memFree=83487728/131249992 swapFree=33010160/33010684
[pid=183405] ppid=183397 vsize=4192 memory=2944 CPUtime=0.25 cores=1,3
/proc/183405/stat : 183405 (run-opt-ls-log.) S 183397 183405 183356 0 -1 4194304 242 24816 0 0 0 0 19 6 20 0 1 0 174139129 4292608 736 18446744073709551615 94838439915520 94838440810053 140730134541408 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94838441049104 94838441096848 94838453563392 140730134546713 140730134546911 140730134546911 140730134552515 0
/proc/183405/statm: 1048 736 672 219 0 110 0
[pid=183434] ppid=183405 vsize=1642956 memory=1555720 CPUtime=3599.81 cores=1,3
/proc/183434/stat : 183434 (roundingsat) R 183405 183405 183356 0 -1 4194304 251483 0 0 0 347863 12118 0 0 20 0 1 0 174139165 1682386944 388930 18446744073709551615 4227072 8923577 140720479144720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 28561408 140720479152372 140720479152678 140720479152678 140720479158250 0
/proc/183434/statm: 410739 388930 2528 1147 0 398165 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 1647148 KiB
Current children cumulated memory: 1558664 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3654.5 s]
# the end of solver process 183405 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.197833 s, system=0.066833 s
[startup+3655.08 s]
# the end of solver process 183434 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3478.86 s, system=121.264 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+3654.8 s]
/proc/loadavg: 4.11 4.11 4.06 4/271 184014
/proc/meminfo: memFree=83484400/131249992 swapFree=33010160/33010684
[pid=183434] ppid=183397 vsize=1642956 memory=1555848 CPUtime=3599.81 cores=1,3
/proc/183434/stat : 183434 (roundingsat) D 183397 183405 183356 0 -1 4194304 251487 0 0 0 347863 12118 0 0 20 0 1 0 174139165 1682386944 388962 18446744073709551615 4227072 8923577 140720479144720 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9827200 9836688 28561408 140720479152372 140720479152678 140720479152678 140720479158250 0
/proc/183434/statm: 410739 388962 2560 1147 0 398165 0
Current cumulated CPU time of completed processes: 0.264666 s
Current children cumulated CPU time: 3599.81 s
Current children cumulated vsize: 1642956 KiB
Current children cumulated memory: 1555848 KiB
[startup+3655 s]*
/proc/loadavg: 4.11 4.11 4.06 4/271 184014
/proc/meminfo: memFree=83477800/131249992 swapFree=33010160/33010684
[pid=183434] ppid=183397 vsize=1642956 memory=1555848 CPUtime=3599.81 cores=1,3
/proc/183434/stat : 183434 (roundingsat) D 183397 183405 183356 0 -1 4194304 251487 0 0 0 347863 12118 0 0 20 0 1 0 174139165 1682386944 388962 18446744073709551615 4227072 8923577 140720479144720 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9827200 9836688 28561408 140720479152372 140720479152678 140720479152678 140720479158250 0
/proc/183434/statm: 410739 388962 2560 1147 0 398165 0
Current cumulated CPU time of completed processes: 0.264666 s
Current children cumulated CPU time: 3599.81 s
Current children cumulated vsize: 1642956 KiB
Current children cumulated memory: 1555848 KiB
Child status: 2
Real time (s): 3655.08
CPU time (s): 3600.13
CPU user time (s): 3478.86
CPU system time (s): 121.264
CPU usage (%): 98.4965
Max. virtual memory (cumulated for all children) (KiB): 1647148
Max. memory (cumulated for all children) (KiB): 1558664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3478.87
system time used= 121.264
maximum resident set size= 1555848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276560
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15325584
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1454
involuntary context switches= 6697
# summary of solver processes directly reported to runsolver:
# pid: 183405,183434
# total CPU time (s): 3600.13
# total CPU user time (s): 3478.86
# total CPU system time (s): 121.264
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.02011 second user time and 17.4543 second system time
The end
Begin job on nodeC025 at 2025-07-15 15:03:23
IDJOB=4531740
IDBENCH=146784
IDSOLVER=3392
FILE ID=nodeC025/4531740-1752584603
RUNJOBID= nodeC025-1752584602-183368
SLURM_JOB_ID= 9684355
Free space on /tmp= 433060 MiB
SOLVER NAME= roundingsat-ls+pbsuma-log 0f876b3
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-B2C1S1.opb
COMMAND LINE= run-opt-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4531740-1752584603/watcher-4531740-1752584603 -o /tmp/evaluation-result-4531740-1752584603/solver-4531740-1752584603 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1752584602-183368 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4531740-1752584603.opb PROOFDIR/proof-4531740-1752584603
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 46c70d7f28752ee0ae29660ce5b35655
RANDOM SEED=1057340159
nodeC025 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.155
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.67
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 : 3599.813
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.806
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.67
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 : 3525.804
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.67
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.365
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.67
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 : 3601.405
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.67
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.916
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.67
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.820
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 120622844 kB
MemAvailable: 129714404 kB
Buffers: 2128 kB
Cached: 9833484 kB
SwapCached: 200 kB
Active: 428064 kB
Inactive: 9475608 kB
Active(anon): 68856 kB
Inactive(anon): 17060 kB
Active(file): 359208 kB
Inactive(file): 9458548 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 26084 kB
Writeback: 0 kB
AnonPages: 70924 kB
Mapped: 105472 kB
Shmem: 17856 kB
KReclaimable: 226084 kB
Slab: 327384 kB
SReclaimable: 226084 kB
SUnreclaim: 101300 kB
KernelStack: 4064 kB
PageTables: 2820 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 331576 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150424 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 14336 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: 207572 kB
DirectMap2M: 9000960 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433020 MiB
End job on nodeC025 at 2025-07-15 16:04:19