0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4485322-1751301445.opb'
0.09/0.12 c read 4.78MB (107.63ms)
0.09/0.12 c [cnf: #variables 107808 #clauses 3905 #duplicates 0 #arr 329888]
0.09/0.12 c
0.09/0.12 c make graph and approximate orbits
0.30/0.36 c [group: #orbits ~= 0] (238.48ms)
0.30/0.36 c
0.30/0.36 c detect special group actions
0.30/0.36 c probe for Johnson action (limit=64)
0.30/0.37 c probe for row-column symmetry (limit=64, splits=16.78M)
0.30/0.38 c probe for row symmetry (limit=64, splits=16.78M)
0.30/0.40 c (35.37ms)
0.30/0.40 c
0.30/0.40 c detect symmetries on remainder
0.30/0.40 c [graph: #vertices 486721 #edges 1409792]
0.30/0.40 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.40/0.44 c [group: #symmetries 1.00*10^0 #generators 0] (47.81ms)
0.40/0.44 c
0.40/0.44 c finalize break order and special generators
0.40/0.45 c
0.40/0.45 c generation finished
0.40/0.45 c [sbp: #constraints 0 #add_vars 0]
0.40/0.46 c
0.40/0.46 c write result to 'HOME/instance-4485322-1751301445.opb.pre'
0.40/0.48 c wrote 4.78MB (18.52ms)
0.40/0.48 c ------------------------------------------------------------------
0.40/0.48 c 238.48ms 51.11% approx_orbits
0.40/0.48 c 107.62ms 23.06% parse
0.40/0.48 c 47.81ms 10.25% detect_generic
0.40/0.48 c 35.37ms 7.58% detect_special
0.40/0.48 c 18.52ms 3.97% output
0.40/0.48 c 10.96ms 2.35% other
0.40/0.48 c 7.85ms 1.68% finalize_order
0.40/0.48 c ───────────────────────────────────────────────
0.40/0.48 c 466.62ms 100% total
0.40/0.48 c ------------------------------------------------------------------
0.40/0.50 c RoundingSat 2
0.40/0.50 c branch pb25
0.40/0.50 c commit 63f22ad
0.77/0.84 c #variables 107808 #constraints 5184
0.77/0.84 c objective is ce64
3.25/3.33 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3.25/3.33 c initial counting CF 32, 64, 128, Arb: 5168 , 17 , 0 , 0
3.25/3.33 c bounds - >= 0 @ 2.77167
167.11/167.68 c #Conflicts: 1000 | #Constraints: 6183
167.11/167.68 c #Conflicts: 2000 | #Constraints: 7183
167.11/167.68 c INPROCESSING
167.11/167.68 c #Conflicts: 3000 | #Constraints: 7211
167.11/167.68 c #Conflicts: 4000 | #Constraints: 8211
167.11/167.68 c INPROCESSING
167.11/167.68 c GARBAGE COLLECT
167.11/167.68 c #Conflicts: 5000 | #Constraints: 7804
167.11/167.68 c #Conflicts: 6000 | #Constraints: 8804
167.11/167.68 c INPROCESSING
167.11/167.68 c GARBAGE COLLECT
167.11/167.68 c #Conflicts: 7000 | #Constraints: 7930
167.11/167.68 c #Conflicts: 8000 | #Constraints: 8930
167.11/167.68 c #Conflicts: 9000 | #Constraints: 9930
167.11/167.68 c INPROCESSING
167.11/167.68 c GARBAGE COLLECT
167.11/167.68 c #Conflicts: 10000 | #Constraints: 8712
167.11/167.68 c #Conflicts: 11000 | #Constraints: 9712
167.11/167.68 c #Conflicts: 12000 | #Constraints: 10712
167.11/167.68 c INPROCESSING
167.11/167.68 c GARBAGE COLLECT
167.11/167.68 c #Conflicts: 13000 | #Constraints: 9312
167.11/167.68 c #Conflicts: 14000 | #Constraints: 10312
167.11/167.68 c #Conflicts: 15000 | #Constraints: 11312
167.11/167.68 c INPROCESSING
167.11/167.68 c GARBAGE COLLECT
167.11/167.68 c #Conflicts: 16000 | #Constraints: 9610
167.11/167.68 c #Conflicts: 17000 | #Constraints: 10610
167.11/167.68 c #Conflicts: 18000 | #Constraints: 11610
167.11/167.68 c INPROCESSING
167.11/167.68 c GARBAGE COLLECT
167.11/167.68 c #Conflicts: 19000 | #Constraints: 9747
167.11/167.68 c #Conflicts: 20000 | #Constraints: 10747
167.11/167.68 c #Conflicts: 21000 | #Constraints: 11747
167.11/167.68 c INPROCESSING
167.11/167.68 c GARBAGE COLLECT
167.11/167.68 c #Conflicts: 22000 | #Constraints: 9627
167.11/167.68 c #Conflicts: 23000 | #Constraints: 10627
167.11/167.68 c #Conflicts: 24000 | #Constraints: 11627
167.11/167.68 c #Conflicts: 25000 | #Constraints: 12627
167.11/167.68 c INPROCESSING
167.11/167.68 c GARBAGE COLLECT
167.11/167.68 c #Conflicts: 26000 | #Constraints: 10206
167.11/167.68 c #Conflicts: 27000 | #Constraints: 11206
167.11/167.68 c #Conflicts: 28000 | #Constraints: 12206
167.11/167.68 c #Conflicts: 29000 | #Constraints: 13206
167.11/167.68 c INPROCESSING
167.11/167.68 c GARBAGE COLLECT
167.11/167.68 c #Conflicts: 30000 | #Constraints: 10697
167.11/167.68 c #Conflicts: 31000 | #Constraints: 11697
167.11/167.68 c #Conflicts: 32000 | #Constraints: 12697
167.11/167.68 c #Conflicts: 33000 | #Constraints: 13697
167.11/167.68 c INPROCESSING
167.11/167.68 c GARBAGE COLLECT
167.11/167.68 c #Conflicts: 34000 | #Constraints: 10975
167.11/167.68 c #Conflicts: 35000 | #Constraints: 11975
167.11/167.68 c #Conflicts: 36000 | #Constraints: 12975
167.11/167.68 c #Conflicts: 37000 | #Constraints: 13977
167.11/167.68 c INPROCESSING
167.11/167.68 c GARBAGE COLLECT
167.11/167.68 c #Conflicts: 38000 | #Constraints: 10951
167.11/167.68 c #Conflicts: 39000 | #Constraints: 11951
167.11/167.68 c #Conflicts: 40000 | #Constraints: 12951
167.11/167.68 c #Conflicts: 41000 | #Constraints: 13951
167.11/167.68 c INPROCESSING
167.11/167.68 c GARBAGE COLLECT
167.11/167.68 c #Conflicts: 42000 | #Constraints: 10817
167.11/167.68 c #Conflicts: 43000 | #Constraints: 11817
167.11/167.68 c #Conflicts: 44000 | #Constraints: 12817
167.11/167.68 c #Conflicts: 45000 | #Constraints: 13817
167.11/167.68 c #Conflicts: 46000 | #Constraints: 14817
167.11/167.68 c INPROCESSING
167.11/167.68 c GARBAGE COLLECT
167.11/167.68 c #Conflicts: 47000 | #Constraints: 11450
167.11/167.68 c #Conflicts: 48000 | #Constraints: 12450
167.11/167.68 c #Conflicts: 49000 | #Constraints: 13451
167.11/167.68 c #Conflicts: 50000 | #Constraints: 14451
167.11/167.68 c #Conflicts: 51000 | #Constraints: 15451
167.11/167.68 c INPROCESSING
167.11/167.68 c GARBAGE COLLECT
167.11/167.68 c #Conflicts: 52000 | #Constraints: 11778
167.11/167.68 c #Conflicts: 53000 | #Constraints: 12778
167.11/167.68 c #Conflicts: 54000 | #Constraints: 13778
167.11/167.68 c #Conflicts: 55000 | #Constraints: 14778
167.11/167.68 c #Conflicts: 56000 | #Constraints: 15778
167.11/167.68 c INPROCESSING
167.11/167.68 c GARBAGE COLLECT
167.11/167.68 c rational objective 4.13104e+08
309.95/310.89 c #Conflicts: 57000 | #Constraints: 11955
309.95/310.89 c #Conflicts: 58000 | #Constraints: 12955
309.95/310.89 c #Conflicts: 59000 | #Constraints: 13955
309.95/310.89 c #Conflicts: 60000 | #Constraints: 14955
309.95/310.89 c #Conflicts: 61000 | #Constraints: 15955
309.95/310.89 c INPROCESSING
309.95/310.89 c GARBAGE COLLECT
309.95/310.89 c #Conflicts: 62000 | #Constraints: 12019
309.95/310.89 c #Conflicts: 63000 | #Constraints: 13019
309.95/310.89 c #Conflicts: 64000 | #Constraints: 14019
309.95/310.89 c #Conflicts: 65000 | #Constraints: 15020
309.95/310.89 c #Conflicts: 66000 | #Constraints: 16020
309.95/310.89 c INPROCESSING
309.95/310.89 c GARBAGE COLLECT
309.95/310.89 c #Conflicts: 67000 | #Constraints: 11918
309.95/310.89 c #Conflicts: 68000 | #Constraints: 12918
309.95/310.89 c #Conflicts: 69000 | #Constraints: 13918
309.95/310.89 c #Conflicts: 70000 | #Constraints: 14919
309.95/310.89 c #Conflicts: 71000 | #Constraints: 15919
309.95/310.89 c #Conflicts: 72000 | #Constraints: 16919
309.95/310.89 c INPROCESSING
309.95/310.89 c GARBAGE COLLECT
309.95/310.89 c #Conflicts: 73000 | #Constraints: 12426
309.95/310.89 c #Conflicts: 74000 | #Constraints: 13426
309.95/310.89 c #Conflicts: 75000 | #Constraints: 14428
309.95/310.89 c #Conflicts: 76000 | #Constraints: 15430
309.95/310.89 c #Conflicts: 77000 | #Constraints: 16431
309.95/310.89 c #Conflicts: 78000 | #Constraints: 17431
309.95/310.89 c INPROCESSING
309.95/310.89 c GARBAGE COLLECT
309.95/310.89 c #Conflicts: 79000 | #Constraints: 12923
309.95/310.89 c #Conflicts: 80000 | #Constraints: 13924
309.95/310.89 c #Conflicts: 81000 | #Constraints: 14925
309.95/310.89 c #Conflicts: 82000 | #Constraints: 15925
309.95/310.89 c #Conflicts: 83000 | #Constraints: 16925
309.95/310.89 c #Conflicts: 84000 | #Constraints: 17925
309.95/310.89 c INPROCESSING
309.95/310.89 c GARBAGE COLLECT
309.95/310.89 c #Conflicts: 85000 | #Constraints: 13123
309.95/310.89 c #Conflicts: 86000 | #Constraints: 14123
309.95/310.89 c #Conflicts: 87000 | #Constraints: 15123
309.95/310.89 c #Conflicts: 88000 | #Constraints: 16123
309.95/310.89 c #Conflicts: 89000 | #Constraints: 17124
309.95/310.89 c #Conflicts: 90000 | #Constraints: 18125
309.95/310.89 c INPROCESSING
309.95/310.89 c GARBAGE COLLECT
309.95/310.89 c #Conflicts: 91000 | #Constraints: 13050
309.95/310.89 c #Conflicts: 92000 | #Constraints: 14050
309.95/310.89 c #Conflicts: 93000 | #Constraints: 15050
309.95/310.89 c #Conflicts: 94000 | #Constraints: 16050
309.95/310.89 c #Conflicts: 95000 | #Constraints: 17050
309.95/310.89 c #Conflicts: 96000 | #Constraints: 18051
309.95/310.89 c INPROCESSING
309.95/310.89 c GARBAGE COLLECT
309.95/310.89 c #Conflicts: 97000 | #Constraints: 12913
309.95/310.89 c #Conflicts: 98000 | #Constraints: 13913
309.95/310.89 c #Conflicts: 99000 | #Constraints: 14913
309.95/310.89 c #Conflicts: 100000 | #Constraints: 15913
309.95/310.89 c #Conflicts: 101000 | #Constraints: 16913
309.95/310.89 c #Conflicts: 102000 | #Constraints: 17914
309.95/310.89 c #Conflicts: 103000 | #Constraints: 18914
309.95/310.89 c INPROCESSING
309.95/310.89 c GARBAGE COLLECT
309.95/310.89 c #Conflicts: 104000 | #Constraints: 13559
309.95/310.89 c #Conflicts: 105000 | #Constraints: 14560
309.95/310.89 c #Conflicts: 106000 | #Constraints: 15560
309.95/310.89 c #Conflicts: 107000 | #Constraints: 16561
309.95/310.89 c #Conflicts: 108000 | #Constraints: 17561
309.95/310.89 c #Conflicts: 109000 | #Constraints: 18562
309.95/310.89 c #Conflicts: 110000 | #Constraints: 19562
309.95/310.89 c INPROCESSING
309.95/310.89 c GARBAGE COLLECT
309.95/310.89 c #Conflicts: 111000 | #Constraints: 14073
309.95/310.89 c #Conflicts: 112000 | #Constraints: 15073
309.95/310.89 c #Conflicts: 113000 | #Constraints: 16073
309.95/310.89 c #Conflicts: 114000 | #Constraints: 17073
309.95/310.89 c #Conflicts: 115000 | #Constraints: 18073
309.95/310.89 c #Conflicts: 116000 | #Constraints: 19073
309.95/310.89 c #Conflicts: 117000 | #Constraints: 20073
309.95/310.89 c INPROCESSING
309.95/310.89 c GARBAGE COLLECT
309.95/310.89 c #Conflicts: 118000 | #Constraints: 14234
309.95/310.89 c #Conflicts: 119000 | #Constraints: 15234
309.95/310.89 c #Conflicts: 120000 | #Constraints: 16234
309.95/310.89 c #Conflicts: 121000 | #Constraints: 17234
309.95/310.89 c #Conflicts: 122000 | #Constraints: 18234
309.95/310.89 c #Conflicts: 123000 | #Constraints: 19234
309.95/310.89 c #Conflicts: 124000 | #Constraints: 20234
309.95/310.89 c INPROCESSING
309.95/310.89 c GARBAGE COLLECT
309.95/310.89 c #Conflicts: 125000 | #Constraints: 14340
309.95/310.89 c #Conflicts: 126000 | #Constraints: 15341
309.95/310.89 c #Conflicts: 127000 | #Constraints: 16341
309.95/310.89 c #Conflicts: 128000 | #Constraints: 17341
476.97/478.37 c #Conflicts: 129000 | #Constraints: 18341
476.97/478.37 c #Conflicts: 130000 | #Constraints: 19342
476.97/478.37 c #Conflicts: 131000 | #Constraints: 20342
476.97/478.37 c INPROCESSING
476.97/478.37 c GARBAGE COLLECT
476.97/478.37 c #Conflicts: 132000 | #Constraints: 14156
476.97/478.37 c #Conflicts: 133000 | #Constraints: 15156
476.97/478.37 c #Conflicts: 134000 | #Constraints: 16156
476.97/478.37 c #Conflicts: 135000 | #Constraints: 17156
476.97/478.37 c #Conflicts: 136000 | #Constraints: 18156
476.97/478.37 c #Conflicts: 137000 | #Constraints: 19156
476.97/478.37 c #Conflicts: 138000 | #Constraints: 20156
476.97/478.37 c #Conflicts: 139000 | #Constraints: 21156
476.97/478.37 c INPROCESSING
476.97/478.37 c GARBAGE COLLECT
476.97/478.37 c #Conflicts: 140000 | #Constraints: 14924
476.97/478.37 c #Conflicts: 141000 | #Constraints: 15924
476.97/478.37 c #Conflicts: 142000 | #Constraints: 16924
476.97/478.37 c #Conflicts: 143000 | #Constraints: 17924
476.97/478.37 c #Conflicts: 144000 | #Constraints: 18924
476.97/478.37 c #Conflicts: 145000 | #Constraints: 19924
476.97/478.37 c #Conflicts: 146000 | #Constraints: 20924
476.97/478.37 c #Conflicts: 147000 | #Constraints: 21924
476.97/478.37 c INPROCESSING
476.97/478.37 c GARBAGE COLLECT
476.97/478.37 c #Conflicts: 148000 | #Constraints: 15155
476.97/478.37 c #Conflicts: 149000 | #Constraints: 16155
476.97/478.37 c #Conflicts: 150000 | #Constraints: 17155
476.97/478.37 c #Conflicts: 151000 | #Constraints: 18155
476.97/478.37 c #Conflicts: 152000 | #Constraints: 19155
476.97/478.37 c #Conflicts: 153000 | #Constraints: 20155
476.97/478.37 c #Conflicts: 154000 | #Constraints: 21155
476.97/478.37 c #Conflicts: 155000 | #Constraints: 22155
476.97/478.37 c INPROCESSING
476.97/478.37 c GARBAGE COLLECT
476.97/478.37 c #Conflicts: 156000 | #Constraints: 15364
476.97/478.37 c #Conflicts: 157000 | #Constraints: 16364
476.97/478.37 c #Conflicts: 158000 | #Constraints: 17364
476.97/478.37 c #Conflicts: 159000 | #Constraints: 18365
476.97/478.37 c #Conflicts: 160000 | #Constraints: 19365
476.97/478.37 c #Conflicts: 161000 | #Constraints: 20365
476.97/478.37 c #Conflicts: 162000 | #Constraints: 21365
476.97/478.37 c #Conflicts: 163000 | #Constraints: 22366
476.97/478.37 c INPROCESSING
476.97/478.37 c GARBAGE COLLECT
476.97/478.37 c #Conflicts: 164000 | #Constraints: 15394
476.97/478.37 c #Conflicts: 165000 | #Constraints: 16394
476.97/478.37 c #Conflicts: 166000 | #Constraints: 17395
476.97/478.37 c #Conflicts: 167000 | #Constraints: 18395
476.97/478.37 c #Conflicts: 168000 | #Constraints: 19396
476.97/478.37 c #Conflicts: 169000 | #Constraints: 20396
476.97/478.37 c #Conflicts: 170000 | #Constraints: 21396
476.97/478.37 c #Conflicts: 171000 | #Constraints: 22396
476.97/478.37 c INPROCESSING
476.97/478.37 c GARBAGE COLLECT
476.97/478.37 c #Conflicts: 172000 | #Constraints: 15234
476.97/478.37 c #Conflicts: 173000 | #Constraints: 16234
476.97/478.37 c #Conflicts: 174000 | #Constraints: 17234
476.97/478.37 c #Conflicts: 175000 | #Constraints: 18234
476.97/478.37 c #Conflicts: 176000 | #Constraints: 19234
476.97/478.37 c #Conflicts: 177000 | #Constraints: 20234
476.97/478.37 c #Conflicts: 178000 | #Constraints: 21234
476.97/478.37 c #Conflicts: 179000 | #Constraints: 22234
476.97/478.37 c #Conflicts: 180000 | #Constraints: 23234
476.97/478.37 c INPROCESSING
476.97/478.37 c GARBAGE COLLECT
476.97/478.37 c #Conflicts: 181000 | #Constraints: 16030
476.97/478.37 c #Conflicts: 182000 | #Constraints: 17030
476.97/478.37 c #Conflicts: 183000 | #Constraints: 18030
476.97/478.38 c #Conflicts: 184000 | #Constraints: 19030
476.97/478.38 c #Conflicts: 185000 | #Constraints: 20030
476.97/478.38 c #Conflicts: 186000 | #Constraints: 21030
476.97/478.38 c #Conflicts: 187000 | #Constraints: 22030
476.97/478.38 c #Conflicts: 188000 | #Constraints: 23030
476.97/478.38 c #Conflicts: 189000 | #Constraints: 24030
476.97/478.38 c INPROCESSING
476.97/478.38 c GARBAGE COLLECT
476.97/478.38 c #Conflicts: 190000 | #Constraints: 16420
476.97/478.38 c #Conflicts: 191000 | #Constraints: 17420
476.97/478.38 c #Conflicts: 192000 | #Constraints: 18420
476.97/478.38 c #Conflicts: 193000 | #Constraints: 19420
476.97/478.38 c #Conflicts: 194000 | #Constraints: 20420
476.97/478.38 c #Conflicts: 195000 | #Constraints: 21420
476.97/478.38 c #Conflicts: 196000 | #Constraints: 22420
476.97/478.38 c #Conflicts: 197000 | #Constraints: 23420
476.97/478.38 c #Conflicts: 198000 | #Constraints: 24420
476.97/478.38 c INPROCESSING
476.97/478.38 c GARBAGE COLLECT
476.97/478.38 c #Conflicts: 199000 | #Constraints: 16553
476.97/478.38 c #Conflicts: 200000 | #Constraints: 17553
476.97/478.38 c #Conflicts: 201000 | #Constraints: 18553
747.77/749.87 c #Conflicts: 202000 | #Constraints: 19553
747.77/749.87 c #Conflicts: 203000 | #Constraints: 20553
747.77/749.87 c #Conflicts: 204000 | #Constraints: 21553
747.77/749.87 c #Conflicts: 205000 | #Constraints: 22553
747.77/749.87 c #Conflicts: 206000 | #Constraints: 23553
747.77/749.87 c #Conflicts: 207000 | #Constraints: 24553
747.77/749.87 c INPROCESSING
747.77/749.87 c GARBAGE COLLECT
747.77/749.87 c #Conflicts: 208000 | #Constraints: 16547
747.77/749.87 c #Conflicts: 209000 | #Constraints: 17547
747.77/749.87 c #Conflicts: 210000 | #Constraints: 18547
747.77/749.87 c #Conflicts: 211000 | #Constraints: 19547
747.77/749.87 c #Conflicts: 212000 | #Constraints: 20547
747.77/749.87 c #Conflicts: 213000 | #Constraints: 21547
747.77/749.87 c #Conflicts: 214000 | #Constraints: 22548
747.77/749.87 c #Conflicts: 215000 | #Constraints: 23548
747.77/749.87 c #Conflicts: 216000 | #Constraints: 24550
747.77/749.87 c INPROCESSING
747.77/749.87 c GARBAGE COLLECT
747.77/749.87 c #Conflicts: 217000 | #Constraints: 16334
747.77/749.87 c #Conflicts: 218000 | #Constraints: 17336
747.77/749.87 c #Conflicts: 219000 | #Constraints: 18337
747.77/749.87 c #Conflicts: 220000 | #Constraints: 19337
747.77/749.87 c #Conflicts: 221000 | #Constraints: 20337
747.77/749.87 c #Conflicts: 222000 | #Constraints: 21340
747.77/749.87 c #Conflicts: 223000 | #Constraints: 22340
747.77/749.87 c #Conflicts: 224000 | #Constraints: 23340
747.77/749.87 c #Conflicts: 225000 | #Constraints: 24340
747.77/749.87 c #Conflicts: 226000 | #Constraints: 25340
747.77/749.87 c INPROCESSING
747.77/749.87 c GARBAGE COLLECT
747.77/749.87 c #Conflicts: 227000 | #Constraints: 16856
747.77/749.87 c #Conflicts: 228000 | #Constraints: 17856
747.77/749.87 c #Conflicts: 229000 | #Constraints: 18857
747.77/749.87 c #Conflicts: 230000 | #Constraints: 19857
747.77/749.87 c #Conflicts: 231000 | #Constraints: 20857
747.77/749.87 c #Conflicts: 232000 | #Constraints: 21857
747.77/749.87 c #Conflicts: 233000 | #Constraints: 22857
747.77/749.87 c #Conflicts: 234000 | #Constraints: 23857
747.77/749.87 c #Conflicts: 235000 | #Constraints: 24857
747.77/749.87 c #Conflicts: 236000 | #Constraints: 25858
747.77/749.87 c INPROCESSING
747.77/749.87 c GARBAGE COLLECT
747.77/749.87 c #Conflicts: 237000 | #Constraints: 17522
747.77/749.87 c #Conflicts: 238000 | #Constraints: 18522
747.77/749.87 c #Conflicts: 239000 | #Constraints: 19522
747.77/749.87 c #Conflicts: 240000 | #Constraints: 20522
747.77/749.87 c #Conflicts: 241000 | #Constraints: 21522
747.77/749.87 c #Conflicts: 242000 | #Constraints: 22522
747.77/749.87 c #Conflicts: 243000 | #Constraints: 23522
747.77/749.87 c #Conflicts: 244000 | #Constraints: 24522
747.77/749.87 c #Conflicts: 245000 | #Constraints: 25522
747.77/749.87 c #Conflicts: 246000 | #Constraints: 26522
747.77/749.87 c INPROCESSING
747.77/749.87 c GARBAGE COLLECT
747.77/749.87 c #Conflicts: 247000 | #Constraints: 17735
747.77/749.87 c #Conflicts: 248000 | #Constraints: 18735
747.77/749.87 c #Conflicts: 249000 | #Constraints: 19735
747.77/749.87 c #Conflicts: 250000 | #Constraints: 20735
747.77/749.87 c #Conflicts: 251000 | #Constraints: 21735
747.77/749.87 c #Conflicts: 252000 | #Constraints: 22735
747.77/749.87 c #Conflicts: 253000 | #Constraints: 23735
747.77/749.87 c #Conflicts: 254000 | #Constraints: 24735
747.77/749.87 c #Conflicts: 255000 | #Constraints: 25735
747.77/749.87 c #Conflicts: 256000 | #Constraints: 26735
747.77/749.87 c INPROCESSING
747.77/749.87 c GARBAGE COLLECT
747.77/749.87 c #Conflicts: 257000 | #Constraints: 17677
747.77/749.87 c #Conflicts: 258000 | #Constraints: 18677
747.77/749.87 c #Conflicts: 259000 | #Constraints: 19677
747.77/749.87 c #Conflicts: 260000 | #Constraints: 20677
747.77/749.87 c #Conflicts: 261000 | #Constraints: 21677
747.77/749.87 c #Conflicts: 262000 | #Constraints: 22677
747.77/749.87 c #Conflicts: 263000 | #Constraints: 23677
747.77/749.87 c #Conflicts: 264000 | #Constraints: 24677
747.77/749.87 c #Conflicts: 265000 | #Constraints: 25677
747.77/749.87 c #Conflicts: 266000 | #Constraints: 26677
747.77/749.87 c INPROCESSING
747.77/749.87 c GARBAGE COLLECT
747.77/749.87 c #Conflicts: 267000 | #Constraints: 17399
747.77/749.87 c #Conflicts: 268000 | #Constraints: 18399
747.77/749.87 c #Conflicts: 269000 | #Constraints: 19399
747.77/749.87 c #Conflicts: 270000 | #Constraints: 20399
747.77/749.87 c #Conflicts: 271000 | #Constraints: 21399
747.77/749.87 c #Conflicts: 272000 | #Constraints: 22399
747.77/749.87 c #Conflicts: 273000 | #Constraints: 23399
747.77/749.87 c #Conflicts: 274000 | #Constraints: 24399
747.77/749.87 c #Conflicts: 275000 | #Constraints: 25399
747.77/749.87 c #Conflicts: 276000 | #Constraints: 26399
1010.25/1013.10 c #Conflicts: 277000 | #Constraints: 27399
1010.25/1013.10 c INPROCESSING
1010.25/1013.10 c GARBAGE COLLECT
1010.25/1013.10 c #Conflicts: 278000 | #Constraints: 18244
1010.25/1013.10 c #Conflicts: 279000 | #Constraints: 19244
1010.25/1013.10 c #Conflicts: 280000 | #Constraints: 20244
1010.25/1013.10 c #Conflicts: 281000 | #Constraints: 21244
1010.25/1013.10 c #Conflicts: 282000 | #Constraints: 22244
1010.25/1013.10 c #Conflicts: 283000 | #Constraints: 23244
1010.25/1013.10 c #Conflicts: 284000 | #Constraints: 24244
1010.25/1013.10 c #Conflicts: 285000 | #Constraints: 25244
1010.25/1013.10 c #Conflicts: 286000 | #Constraints: 26245
1010.25/1013.10 c #Conflicts: 287000 | #Constraints: 27246
1010.25/1013.10 c #Conflicts: 288000 | #Constraints: 28246
1010.25/1013.10 c INPROCESSING
1010.25/1013.10 c GARBAGE COLLECT
1010.25/1013.10 c #Conflicts: 289000 | #Constraints: 18549
1010.25/1013.10 c #Conflicts: 290000 | #Constraints: 19549
1010.25/1013.10 c #Conflicts: 291000 | #Constraints: 20549
1010.25/1013.10 c #Conflicts: 292000 | #Constraints: 21549
1010.25/1013.10 c #Conflicts: 293000 | #Constraints: 22549
1010.25/1013.10 c #Conflicts: 294000 | #Constraints: 23549
1010.25/1013.10 c #Conflicts: 295000 | #Constraints: 24550
1010.25/1013.10 c #Conflicts: 296000 | #Constraints: 25551
1010.25/1013.10 c #Conflicts: 297000 | #Constraints: 26551
1010.25/1013.10 c #Conflicts: 298000 | #Constraints: 27552
1010.25/1013.10 c #Conflicts: 299000 | #Constraints: 28552
1010.25/1013.10 c INPROCESSING
1010.25/1013.10 c GARBAGE COLLECT
1010.25/1013.10 c #Conflicts: 300000 | #Constraints: 18835
1010.25/1013.10 c #Conflicts: 301000 | #Constraints: 19835
1010.25/1013.10 c #Conflicts: 302000 | #Constraints: 20836
1010.25/1013.10 c #Conflicts: 303000 | #Constraints: 21838
1010.25/1013.10 c #Conflicts: 304000 | #Constraints: 22839
1010.25/1013.10 c #Conflicts: 305000 | #Constraints: 23840
1010.25/1013.10 c #Conflicts: 306000 | #Constraints: 24840
1010.25/1013.10 c #Conflicts: 307000 | #Constraints: 25842
1010.25/1013.10 c #Conflicts: 308000 | #Constraints: 26842
1010.25/1013.10 c #Conflicts: 309000 | #Constraints: 27843
1010.25/1013.10 c #Conflicts: 310000 | #Constraints: 28843
1010.25/1013.10 c INPROCESSING
1010.25/1013.10 c GARBAGE COLLECT
1010.25/1013.10 c #Conflicts: 311000 | #Constraints: 18914
1010.25/1013.10 c #Conflicts: 312000 | #Constraints: 19915
1010.25/1013.10 c #Conflicts: 313000 | #Constraints: 20915
1010.25/1013.10 c #Conflicts: 314000 | #Constraints: 21915
1010.25/1013.10 c #Conflicts: 315000 | #Constraints: 22917
1010.25/1013.10 c #Conflicts: 316000 | #Constraints: 23917
1010.25/1013.10 c #Conflicts: 317000 | #Constraints: 24917
1010.25/1013.10 c #Conflicts: 318000 | #Constraints: 25917
1010.25/1013.10 c #Conflicts: 319000 | #Constraints: 26917
1010.25/1013.10 c #Conflicts: 320000 | #Constraints: 27917
1010.25/1013.10 c #Conflicts: 321000 | #Constraints: 28917
1010.25/1013.10 c INPROCESSING
1010.25/1013.10 c GARBAGE COLLECT
1010.25/1013.10 c #Conflicts: 322000 | #Constraints: 18629
1010.25/1013.10 c #Conflicts: 323000 | #Constraints: 19629
1010.25/1013.10 c #Conflicts: 324000 | #Constraints: 20629
1010.25/1013.10 c #Conflicts: 325000 | #Constraints: 21629
1010.25/1013.10 c #Conflicts: 326000 | #Constraints: 22629
1010.25/1013.10 c #Conflicts: 327000 | #Constraints: 23629
1010.25/1013.10 c #Conflicts: 328000 | #Constraints: 24629
1010.25/1013.10 c #Conflicts: 329000 | #Constraints: 25631
1010.25/1013.10 c #Conflicts: 330000 | #Constraints: 26631
1010.25/1013.10 c #Conflicts: 331000 | #Constraints: 27632
1010.25/1013.10 c #Conflicts: 332000 | #Constraints: 28634
1010.25/1013.10 c #Conflicts: 333000 | #Constraints: 29634
1010.25/1013.10 c INPROCESSING
1010.25/1013.10 c GARBAGE COLLECT
1010.25/1013.10 c #Conflicts: 334000 | #Constraints: 19107
1010.25/1013.10 c #Conflicts: 335000 | #Constraints: 20107
1010.25/1013.10 c #Conflicts: 336000 | #Constraints: 21107
1010.25/1013.10 c #Conflicts: 337000 | #Constraints: 22107
1010.25/1013.10 c #Conflicts: 338000 | #Constraints: 23107
1010.25/1013.10 c #Conflicts: 339000 | #Constraints: 24107
1010.25/1013.10 c #Conflicts: 340000 | #Constraints: 25107
1010.25/1013.10 c #Conflicts: 341000 | #Constraints: 26108
1010.25/1013.10 c #Conflicts: 342000 | #Constraints: 27108
1010.25/1013.10 c #Conflicts: 343000 | #Constraints: 28108
1010.25/1013.10 c #Conflicts: 344000 | #Constraints: 29108
1010.25/1013.10 c #Conflicts: 345000 | #Constraints: 30108
1010.25/1013.10 c INPROCESSING
1010.25/1013.10 c GARBAGE COLLECT
1010.25/1013.10 c rational objective 4.24935e+08
1151.68/1155.01 c #Conflicts: 346000 | #Constraints: 19700
1151.68/1155.01 c #Conflicts: 347000 | #Constraints: 20700
1151.68/1155.01 c #Conflicts: 348000 | #Constraints: 21700
1151.68/1155.01 c #Conflicts: 349000 | #Constraints: 22700
1151.68/1155.01 c #Conflicts: 350000 | #Constraints: 23700
1151.68/1155.01 c #Conflicts: 351000 | #Constraints: 24700
1151.68/1155.01 c #Conflicts: 352000 | #Constraints: 25700
1151.68/1155.01 c #Conflicts: 353000 | #Constraints: 26700
1151.68/1155.01 c #Conflicts: 354000 | #Constraints: 27700
1151.68/1155.01 c #Conflicts: 355000 | #Constraints: 28700
1151.68/1155.01 c #Conflicts: 356000 | #Constraints: 29700
1151.68/1155.01 c #Conflicts: 357000 | #Constraints: 30700
1151.68/1155.01 c INPROCESSING
1151.68/1155.01 c GARBAGE COLLECT
1151.68/1155.01 c #Conflicts: 358000 | #Constraints: 19768
1151.68/1155.01 c #Conflicts: 359000 | #Constraints: 20768
1151.68/1155.01 c #Conflicts: 360000 | #Constraints: 21769
1151.68/1155.01 c #Conflicts: 361000 | #Constraints: 22770
1151.68/1155.01 c #Conflicts: 362000 | #Constraints: 23771
1151.68/1155.01 c #Conflicts: 363000 | #Constraints: 24771
1151.68/1155.01 c #Conflicts: 364000 | #Constraints: 25772
1151.68/1155.01 c #Conflicts: 365000 | #Constraints: 26772
1151.68/1155.01 c #Conflicts: 366000 | #Constraints: 27772
1151.68/1155.01 c #Conflicts: 367000 | #Constraints: 28772
1151.68/1155.01 c #Conflicts: 368000 | #Constraints: 29772
1151.68/1155.01 c #Conflicts: 369000 | #Constraints: 30772
1151.68/1155.01 c INPROCESSING
1151.68/1155.01 c GARBAGE COLLECT
1151.68/1155.01 c #Conflicts: 370000 | #Constraints: 19767
1151.68/1155.01 c #Conflicts: 371000 | #Constraints: 20767
1151.68/1155.01 c #Conflicts: 372000 | #Constraints: 21769
1151.68/1155.01 c #Conflicts: 373000 | #Constraints: 22770
1151.68/1155.01 c #Conflicts: 374000 | #Constraints: 23770
1151.68/1155.01 c #Conflicts: 375000 | #Constraints: 24770
1151.68/1155.01 c #Conflicts: 376000 | #Constraints: 25770
1151.68/1155.01 c #Conflicts: 377000 | #Constraints: 26770
1151.68/1155.01 c #Conflicts: 378000 | #Constraints: 27770
1151.68/1155.01 c #Conflicts: 379000 | #Constraints: 28770
1151.68/1155.01 c #Conflicts: 380000 | #Constraints: 29770
1151.68/1155.01 c #Conflicts: 381000 | #Constraints: 30770
1151.68/1155.01 c INPROCESSING
1151.68/1155.01 c GARBAGE COLLECT
1151.68/1155.01 c #Conflicts: 382000 | #Constraints: 19569
1151.68/1155.01 c #Conflicts: 383000 | #Constraints: 20569
1151.68/1155.01 c #Conflicts: 384000 | #Constraints: 21569
1151.68/1155.01 c #Conflicts: 385000 | #Constraints: 22569
1151.68/1155.01 c #Conflicts: 386000 | #Constraints: 23569
1151.68/1155.01 c #Conflicts: 387000 | #Constraints: 24569
1151.68/1155.01 c #Conflicts: 388000 | #Constraints: 25569
1151.68/1155.01 c #Conflicts: 389000 | #Constraints: 26569
1151.68/1155.01 c #Conflicts: 390000 | #Constraints: 27569
1151.68/1155.01 c #Conflicts: 391000 | #Constraints: 28569
1151.68/1155.01 c #Conflicts: 392000 | #Constraints: 29569
1151.68/1155.01 c #Conflicts: 393000 | #Constraints: 30569
1151.68/1155.01 c #Conflicts: 394000 | #Constraints: 31569
1151.68/1155.01 c INPROCESSING
1151.68/1155.01 c GARBAGE COLLECT
1151.68/1155.01 c #Conflicts: 395000 | #Constraints: 20154
1151.68/1155.01 c #Conflicts: 396000 | #Constraints: 21154
1151.68/1155.01 c #Conflicts: 397000 | #Constraints: 22154
1151.68/1155.01 c #Conflicts: 398000 | #Constraints: 23154
1151.68/1155.01 c #Conflicts: 399000 | #Constraints: 24154
1151.68/1155.01 c #Conflicts: 400000 | #Constraints: 25154
1151.68/1155.01 c #Conflicts: 401000 | #Constraints: 26154
1151.68/1155.01 c #Conflicts: 402000 | #Constraints: 27154
1151.68/1155.01 c #Conflicts: 403000 | #Constraints: 28154
1151.68/1155.01 c #Conflicts: 404000 | #Constraints: 29154
1151.68/1155.01 c #Conflicts: 405000 | #Constraints: 30154
1151.68/1155.01 c #Conflicts: 406000 | #Constraints: 31154
1151.68/1155.01 c #Conflicts: 407000 | #Constraints: 32154
1151.68/1155.01 c INPROCESSING
1151.68/1155.01 c GARBAGE COLLECT
1151.68/1155.01 c #Conflicts: 408000 | #Constraints: 20996
1151.68/1155.01 c #Conflicts: 409000 | #Constraints: 21996
1151.68/1155.01 c #Conflicts: 410000 | #Constraints: 22996
1151.68/1155.01 c #Conflicts: 411000 | #Constraints: 23996
1151.68/1155.01 c #Conflicts: 412000 | #Constraints: 24996
1151.68/1155.01 c #Conflicts: 413000 | #Constraints: 25996
1151.68/1155.01 c #Conflicts: 414000 | #Constraints: 26996
1151.68/1155.01 c #Conflicts: 415000 | #Constraints: 27996
1151.68/1155.01 c #Conflicts: 416000 | #Constraints: 28996
1151.68/1155.01 c #Conflicts: 417000 | #Constraints: 29996
1151.68/1155.01 c #Conflicts: 418000 | #Constraints: 30996
1151.68/1155.01 c #Conflicts: 419000 | #Constraints: 31996
1151.68/1155.01 c #Conflicts: 420000 | #Constraints: 33002
1151.68/1155.01 c INPROCESSING
1151.68/1155.01 c GARBAGE COLLECT
1373.24/1377.23 c #Conflicts: 421000 | #Constraints: 21013
1373.24/1377.23 c #Conflicts: 422000 | #Constraints: 22014
1373.24/1377.23 c #Conflicts: 423000 | #Constraints: 23014
1373.24/1377.23 c #Conflicts: 424000 | #Constraints: 24014
1373.24/1377.23 c #Conflicts: 425000 | #Constraints: 25015
1373.24/1377.23 c #Conflicts: 426000 | #Constraints: 26015
1373.24/1377.23 c #Conflicts: 427000 | #Constraints: 27016
1373.24/1377.23 c #Conflicts: 428000 | #Constraints: 28016
1373.24/1377.23 c #Conflicts: 429000 | #Constraints: 29018
1373.24/1377.23 c #Conflicts: 430000 | #Constraints: 30019
1373.24/1377.23 c #Conflicts: 431000 | #Constraints: 31020
1373.24/1377.23 c #Conflicts: 432000 | #Constraints: 32021
1373.24/1377.23 c #Conflicts: 433000 | #Constraints: 33025
1373.24/1377.23 c INPROCESSING
1373.24/1377.23 c GARBAGE COLLECT
1373.24/1377.23 c #Conflicts: 434000 | #Constraints: 20885
1373.24/1377.23 c #Conflicts: 435000 | #Constraints: 21885
1373.24/1377.23 c #Conflicts: 436000 | #Constraints: 22885
1373.24/1377.23 c #Conflicts: 437000 | #Constraints: 23885
1373.24/1377.23 c #Conflicts: 438000 | #Constraints: 24885
1373.24/1377.23 c #Conflicts: 439000 | #Constraints: 25885
1373.24/1377.23 c #Conflicts: 440000 | #Constraints: 26886
1373.24/1377.23 c #Conflicts: 441000 | #Constraints: 27887
1373.24/1377.23 c #Conflicts: 442000 | #Constraints: 28888
1373.24/1377.23 c #Conflicts: 443000 | #Constraints: 29889
1373.24/1377.23 c #Conflicts: 444000 | #Constraints: 30889
1373.24/1377.23 c #Conflicts: 445000 | #Constraints: 31889
1373.24/1377.23 c #Conflicts: 446000 | #Constraints: 32889
1373.24/1377.23 c INPROCESSING
1373.24/1377.23 c GARBAGE COLLECT
1373.24/1377.23 c #Conflicts: 447000 | #Constraints: 20715
1373.24/1377.23 c #Conflicts: 448000 | #Constraints: 21715
1373.24/1377.23 c #Conflicts: 449000 | #Constraints: 22715
1373.24/1377.23 c #Conflicts: 450000 | #Constraints: 23715
1373.24/1377.23 c #Conflicts: 451000 | #Constraints: 24715
1373.24/1377.23 c #Conflicts: 452000 | #Constraints: 25715
1373.24/1377.23 c #Conflicts: 453000 | #Constraints: 26715
1373.24/1377.23 c #Conflicts: 454000 | #Constraints: 27715
1373.24/1377.23 c #Conflicts: 455000 | #Constraints: 28715
1373.24/1377.23 c #Conflicts: 456000 | #Constraints: 29715
1373.24/1377.23 c #Conflicts: 457000 | #Constraints: 30715
1373.24/1377.23 c #Conflicts: 458000 | #Constraints: 31715
1373.24/1377.23 c #Conflicts: 459000 | #Constraints: 32715
1373.24/1377.23 c #Conflicts: 460000 | #Constraints: 33715
1373.24/1377.23 c INPROCESSING
1373.24/1377.23 c GARBAGE COLLECT
1373.24/1377.23 c #Conflicts: 461000 | #Constraints: 21280
1373.24/1377.23 c #Conflicts: 462000 | #Constraints: 22281
1373.24/1377.23 c #Conflicts: 463000 | #Constraints: 23281
1373.24/1377.23 c #Conflicts: 464000 | #Constraints: 24282
1373.24/1377.23 c #Conflicts: 465000 | #Constraints: 25283
1373.24/1377.23 c #Conflicts: 466000 | #Constraints: 26283
1373.24/1377.23 c #Conflicts: 467000 | #Constraints: 27283
1373.24/1377.23 c #Conflicts: 468000 | #Constraints: 28283
1373.24/1377.23 c #Conflicts: 469000 | #Constraints: 29284
1373.24/1377.23 c #Conflicts: 470000 | #Constraints: 30284
1373.24/1377.23 c #Conflicts: 471000 | #Constraints: 31284
1373.24/1377.23 c #Conflicts: 472000 | #Constraints: 32284
1373.24/1377.23 c #Conflicts: 473000 | #Constraints: 33284
1373.24/1377.23 c #Conflicts: 474000 | #Constraints: 34284
1373.24/1377.23 c INPROCESSING
1373.24/1377.23 c GARBAGE COLLECT
1373.24/1377.23 c #Conflicts: 475000 | #Constraints: 21643
1373.24/1377.23 c #Conflicts: 476000 | #Constraints: 22643
1373.24/1377.23 c #Conflicts: 477000 | #Constraints: 23643
1373.24/1377.23 c #Conflicts: 478000 | #Constraints: 24643
1373.24/1377.23 c #Conflicts: 479000 | #Constraints: 25643
1373.24/1377.23 c #Conflicts: 480000 | #Constraints: 26643
1373.24/1377.23 c #Conflicts: 481000 | #Constraints: 27643
1373.24/1377.23 c #Conflicts: 482000 | #Constraints: 28643
1373.24/1377.23 c #Conflicts: 483000 | #Constraints: 29643
1373.24/1377.23 c #Conflicts: 484000 | #Constraints: 30643
1373.24/1377.23 c #Conflicts: 485000 | #Constraints: 31643
1373.24/1377.23 c #Conflicts: 486000 | #Constraints: 32643
1373.24/1377.23 c #Conflicts: 487000 | #Constraints: 33643
1373.24/1377.23 c #Conflicts: 488000 | #Constraints: 34643
1373.24/1377.23 c INPROCESSING
1373.24/1377.23 c GARBAGE COLLECT
1373.24/1377.23 c #Conflicts: 489000 | #Constraints: 21816
1373.24/1377.23 c #Conflicts: 490000 | #Constraints: 22816
1373.24/1377.23 c #Conflicts: 491000 | #Constraints: 23816
1373.24/1377.23 c #Conflicts: 492000 | #Constraints: 24816
1373.24/1377.23 c #Conflicts: 493000 | #Constraints: 25816
1373.24/1377.23 c #Conflicts: 494000 | #Constraints: 26816
1373.24/1377.23 c #Conflicts: 495000 | #Constraints: 27816
1373.24/1377.23 c #Conflicts: 496000 | #Constraints: 28816
1414.92/1419.07 c #Conflicts: 497000 | #Constraints: 29816
1414.92/1419.07 c #Conflicts: 498000 | #Constraints: 30816
1414.92/1419.07 c #Conflicts: 499000 | #Constraints: 31816
1414.92/1419.07 c #Conflicts: 500000 | #Constraints: 32816
1414.92/1419.07 c #Conflicts: 501000 | #Constraints: 33816
1414.92/1419.07 c #Conflicts: 502000 | #Constraints: 34816
1414.92/1419.07 c INPROCESSING
1414.92/1419.07 c GARBAGE COLLECT
1414.92/1419.07 c #Conflicts: 503000 | #Constraints: 21870
1414.92/1419.07 c #Conflicts: 504000 | #Constraints: 22870
1414.92/1419.07 c #Conflicts: 505000 | #Constraints: 23870
1414.92/1419.07 c #Conflicts: 506000 | #Constraints: 24870
1414.92/1419.07 c #Conflicts: 507000 | #Constraints: 25870
1414.92/1419.07 c #Conflicts: 508000 | #Constraints: 26870
1414.92/1419.07 c #Conflicts: 509000 | #Constraints: 27870
1414.92/1419.07 c #Conflicts: 510000 | #Constraints: 28870
1414.92/1419.07 c #Conflicts: 511000 | #Constraints: 29870
1414.92/1419.07 c #Conflicts: 512000 | #Constraints: 30870
1414.92/1419.07 c #Conflicts: 513000 | #Constraints: 31870
1414.92/1419.07 c #Conflicts: 514000 | #Constraints: 32870
1414.92/1419.07 c #Conflicts: 515000 | #Constraints: 33870
1414.92/1419.07 c #Conflicts: 516000 | #Constraints: 34870
1414.92/1419.07 c INPROCESSING
1414.92/1419.07 c GARBAGE COLLECT
1414.92/1419.07 c rational objective 4.26747e+08
1539.52/1544.01 c #Conflicts: 517000 | #Constraints: 21809
1539.52/1544.01 c #Conflicts: 518000 | #Constraints: 22809
1539.52/1544.01 c #Conflicts: 519000 | #Constraints: 23810
1539.52/1544.01 c #Conflicts: 520000 | #Constraints: 24810
1539.52/1544.01 c #Conflicts: 521000 | #Constraints: 25810
1539.52/1544.01 c #Conflicts: 522000 | #Constraints: 26810
1539.52/1544.01 c #Conflicts: 523000 | #Constraints: 27810
1539.52/1544.01 c #Conflicts: 524000 | #Constraints: 28810
1539.52/1544.01 c #Conflicts: 525000 | #Constraints: 29810
1539.52/1544.01 c #Conflicts: 526000 | #Constraints: 30810
1539.52/1544.01 c #Conflicts: 527000 | #Constraints: 31812
1539.52/1544.01 c #Conflicts: 528000 | #Constraints: 32813
1539.52/1544.01 c #Conflicts: 529000 | #Constraints: 33815
1539.52/1544.01 c #Conflicts: 530000 | #Constraints: 34816
1539.52/1544.01 c #Conflicts: 531000 | #Constraints: 35816
1539.52/1544.01 c INPROCESSING
1539.52/1544.01 c GARBAGE COLLECT
1539.52/1544.01 c #Conflicts: 532000 | #Constraints: 22493
1539.52/1544.01 c #Conflicts: 533000 | #Constraints: 23493
1539.52/1544.01 c #Conflicts: 534000 | #Constraints: 24493
1539.52/1544.01 c #Conflicts: 535000 | #Constraints: 25493
1539.52/1544.01 c #Conflicts: 536000 | #Constraints: 26493
1539.52/1544.01 c #Conflicts: 537000 | #Constraints: 27493
1539.52/1544.01 c #Conflicts: 538000 | #Constraints: 28493
1539.52/1544.01 c #Conflicts: 539000 | #Constraints: 29493
1539.52/1544.01 c #Conflicts: 540000 | #Constraints: 30493
1539.52/1544.01 c #Conflicts: 541000 | #Constraints: 31493
1539.52/1544.01 c #Conflicts: 542000 | #Constraints: 32493
1539.52/1544.01 c #Conflicts: 543000 | #Constraints: 33493
1539.52/1544.01 c #Conflicts: 544000 | #Constraints: 34493
1539.52/1544.01 c #Conflicts: 545000 | #Constraints: 35493
1539.52/1544.01 c #Conflicts: 546000 | #Constraints: 36493
1539.52/1544.01 c INPROCESSING
1539.52/1544.01 c GARBAGE COLLECT
1539.52/1544.01 c #Conflicts: 547000 | #Constraints: 22921
1539.52/1544.01 c #Conflicts: 548000 | #Constraints: 23921
1539.52/1544.01 c #Conflicts: 549000 | #Constraints: 24921
1539.52/1544.01 c #Conflicts: 550000 | #Constraints: 25921
1539.52/1544.01 c #Conflicts: 551000 | #Constraints: 26921
1539.52/1544.01 c #Conflicts: 552000 | #Constraints: 27921
1539.52/1544.01 c #Conflicts: 553000 | #Constraints: 28921
1539.52/1544.01 c #Conflicts: 554000 | #Constraints: 29921
1539.52/1544.01 c #Conflicts: 555000 | #Constraints: 30921
1539.52/1544.01 c #Conflicts: 556000 | #Constraints: 31921
1539.52/1544.01 c #Conflicts: 557000 | #Constraints: 32921
1539.52/1544.01 c #Conflicts: 558000 | #Constraints: 33921
1539.52/1544.01 c #Conflicts: 559000 | #Constraints: 34921
1539.52/1544.01 c #Conflicts: 560000 | #Constraints: 35921
1539.52/1544.01 c #Conflicts: 561000 | #Constraints: 36921
1539.52/1544.01 c INPROCESSING
1539.52/1544.01 c GARBAGE COLLECT
1539.52/1544.01 c rational objective 4.28154e+08
1729.70/1734.86 c #Conflicts: 562000 | #Constraints: 23088
1729.70/1734.86 c #Conflicts: 563000 | #Constraints: 24088
1729.70/1734.86 c #Conflicts: 564000 | #Constraints: 25088
1729.70/1734.86 c #Conflicts: 565000 | #Constraints: 26088
1729.70/1734.86 c #Conflicts: 566000 | #Constraints: 27088
1729.70/1734.86 c #Conflicts: 567000 | #Constraints: 28088
1729.70/1734.86 c #Conflicts: 568000 | #Constraints: 29089
1729.70/1734.86 c #Conflicts: 569000 | #Constraints: 30090
1729.70/1734.86 c #Conflicts: 570000 | #Constraints: 31090
1729.70/1734.86 c #Conflicts: 571000 | #Constraints: 32090
1729.70/1734.86 c #Conflicts: 572000 | #Constraints: 33092
1729.70/1734.86 c #Conflicts: 573000 | #Constraints: 34092
1729.70/1734.86 c #Conflicts: 574000 | #Constraints: 35093
1729.70/1734.86 c #Conflicts: 575000 | #Constraints: 36095
1729.70/1734.86 c #Conflicts: 576000 | #Constraints: 37095
1729.70/1734.86 c INPROCESSING
1729.70/1734.86 c GARBAGE COLLECT
1729.70/1734.86 c #Conflicts: 577000 | #Constraints: 23162
1729.70/1734.86 c #Conflicts: 578000 | #Constraints: 24162
1729.70/1734.86 c #Conflicts: 579000 | #Constraints: 25162
1729.70/1734.86 c #Conflicts: 580000 | #Constraints: 26162
1729.70/1734.86 c #Conflicts: 581000 | #Constraints: 27163
1729.70/1734.86 c #Conflicts: 582000 | #Constraints: 28164
1729.70/1734.86 c #Conflicts: 583000 | #Constraints: 29164
1729.70/1734.86 c #Conflicts: 584000 | #Constraints: 30164
1729.70/1734.86 c #Conflicts: 585000 | #Constraints: 31165
1729.70/1734.86 c #Conflicts: 586000 | #Constraints: 32166
1729.70/1734.86 c #Conflicts: 587000 | #Constraints: 33167
1729.70/1734.86 c #Conflicts: 588000 | #Constraints: 34167
1729.70/1734.86 c #Conflicts: 589000 | #Constraints: 35167
1729.70/1734.86 c #Conflicts: 590000 | #Constraints: 36169
1729.70/1734.86 c #Conflicts: 591000 | #Constraints: 37170
1729.70/1734.86 c INPROCESSING
1729.70/1734.86 c GARBAGE COLLECT
1729.70/1734.86 c #Conflicts: 592000 | #Constraints: 22988
1729.70/1734.86 c #Conflicts: 593000 | #Constraints: 23988
1729.70/1734.86 c #Conflicts: 594000 | #Constraints: 24989
1729.70/1734.86 c #Conflicts: 595000 | #Constraints: 25989
1729.70/1734.86 c #Conflicts: 596000 | #Constraints: 26989
1729.70/1734.86 c #Conflicts: 597000 | #Constraints: 27989
1729.70/1734.86 c #Conflicts: 598000 | #Constraints: 28990
1729.70/1734.86 c #Conflicts: 599000 | #Constraints: 29991
1729.70/1734.86 c #Conflicts: 600000 | #Constraints: 30992
1729.70/1734.87 c #Conflicts: 601000 | #Constraints: 31992
1729.70/1734.87 c #Conflicts: 602000 | #Constraints: 32992
1729.70/1734.87 c #Conflicts: 603000 | #Constraints: 33993
1729.70/1734.87 c #Conflicts: 604000 | #Constraints: 34993
1729.70/1734.87 c #Conflicts: 605000 | #Constraints: 35993
1729.70/1734.87 c #Conflicts: 606000 | #Constraints: 36993
1729.70/1734.87 c #Conflicts: 607000 | #Constraints: 37993
1729.70/1734.87 c INPROCESSING
1729.70/1734.87 c GARBAGE COLLECT
1729.70/1734.87 c #Conflicts: 608000 | #Constraints: 23614
1729.70/1734.87 c #Conflicts: 609000 | #Constraints: 24614
1729.70/1734.87 c #Conflicts: 610000 | #Constraints: 25616
1729.70/1734.87 c #Conflicts: 611000 | #Constraints: 26617
1729.70/1734.87 c #Conflicts: 612000 | #Constraints: 27618
1729.70/1734.87 c #Conflicts: 613000 | #Constraints: 28618
1729.70/1734.87 c #Conflicts: 614000 | #Constraints: 29619
1729.70/1734.87 c #Conflicts: 615000 | #Constraints: 30619
1729.70/1734.87 c #Conflicts: 616000 | #Constraints: 31619
1729.70/1734.87 c #Conflicts: 617000 | #Constraints: 32620
1729.70/1734.87 c #Conflicts: 618000 | #Constraints: 33620
1729.70/1734.87 c #Conflicts: 619000 | #Constraints: 34620
1729.70/1734.87 c #Conflicts: 620000 | #Constraints: 35621
1729.70/1734.87 c #Conflicts: 621000 | #Constraints: 36621
1729.70/1734.87 c #Conflicts: 622000 | #Constraints: 37622
1729.70/1734.87 c #Conflicts: 623000 | #Constraints: 38622
1729.70/1734.87 c INPROCESSING
1729.70/1734.87 c GARBAGE COLLECT
1729.70/1734.87 c #Conflicts: 624000 | #Constraints: 24169
1729.70/1734.87 c #Conflicts: 625000 | #Constraints: 25170
1729.70/1734.87 c #Conflicts: 626000 | #Constraints: 26170
1729.70/1734.87 c #Conflicts: 627000 | #Constraints: 27170
1729.70/1734.87 c #Conflicts: 628000 | #Constraints: 28170
1729.70/1734.87 c #Conflicts: 629000 | #Constraints: 29170
1729.70/1734.87 c #Conflicts: 630000 | #Constraints: 30170
1729.70/1734.87 c #Conflicts: 631000 | #Constraints: 31170
1729.70/1734.87 c #Conflicts: 632000 | #Constraints: 32170
1729.70/1734.87 c #Conflicts: 633000 | #Constraints: 33171
1729.70/1734.87 c #Conflicts: 634000 | #Constraints: 34171
1729.70/1734.87 c #Conflicts: 635000 | #Constraints: 35171
1729.70/1734.87 c #Conflicts: 636000 | #Constraints: 36171
1729.70/1734.87 c #Conflicts: 637000 | #Constraints: 37171
1729.70/1734.87 c #Conflicts: 638000 | #Constraints: 38171
2002.41/2008.32 c #Conflicts: 639000 | #Constraints: 39171
2002.41/2008.32 c INPROCESSING
2002.41/2008.32 c GARBAGE COLLECT
2002.41/2008.32 c #Conflicts: 640000 | #Constraints: 24431
2002.41/2008.32 c #Conflicts: 641000 | #Constraints: 25431
2002.41/2008.32 c #Conflicts: 642000 | #Constraints: 26431
2002.41/2008.32 c #Conflicts: 643000 | #Constraints: 27431
2002.41/2008.32 c #Conflicts: 644000 | #Constraints: 28431
2002.41/2008.32 c #Conflicts: 645000 | #Constraints: 29431
2002.41/2008.32 c #Conflicts: 646000 | #Constraints: 30432
2002.41/2008.32 c #Conflicts: 647000 | #Constraints: 31432
2002.41/2008.32 c #Conflicts: 648000 | #Constraints: 32433
2002.41/2008.32 c #Conflicts: 649000 | #Constraints: 33434
2002.41/2008.32 c #Conflicts: 650000 | #Constraints: 34434
2002.41/2008.32 c #Conflicts: 651000 | #Constraints: 35434
2002.41/2008.32 c #Conflicts: 652000 | #Constraints: 36434
2002.41/2008.32 c #Conflicts: 653000 | #Constraints: 37435
2002.41/2008.32 c #Conflicts: 654000 | #Constraints: 38435
2002.41/2008.32 c #Conflicts: 655000 | #Constraints: 39437
2002.41/2008.32 c INPROCESSING
2002.41/2008.32 c GARBAGE COLLECT
2002.41/2008.32 c #Conflicts: 656000 | #Constraints: 24405
2002.41/2008.32 c #Conflicts: 657000 | #Constraints: 25406
2002.41/2008.32 c #Conflicts: 658000 | #Constraints: 26406
2002.41/2008.32 c #Conflicts: 659000 | #Constraints: 27407
2002.41/2008.32 c #Conflicts: 660000 | #Constraints: 28407
2002.41/2008.32 c #Conflicts: 661000 | #Constraints: 29407
2002.41/2008.32 c #Conflicts: 662000 | #Constraints: 30407
2002.41/2008.32 c #Conflicts: 663000 | #Constraints: 31407
2002.41/2008.32 c #Conflicts: 664000 | #Constraints: 32407
2002.41/2008.32 c #Conflicts: 665000 | #Constraints: 33407
2002.41/2008.32 c #Conflicts: 666000 | #Constraints: 34407
2002.41/2008.32 c #Conflicts: 667000 | #Constraints: 35407
2002.41/2008.32 c #Conflicts: 668000 | #Constraints: 36407
2002.41/2008.32 c #Conflicts: 669000 | #Constraints: 37407
2002.41/2008.32 c #Conflicts: 670000 | #Constraints: 38407
2002.41/2008.32 c #Conflicts: 671000 | #Constraints: 39407
2002.41/2008.32 c INPROCESSING
2002.41/2008.32 c GARBAGE COLLECT
2002.41/2008.32 c #Conflicts: 672000 | #Constraints: 24107
2002.41/2008.32 c #Conflicts: 673000 | #Constraints: 25107
2002.41/2008.32 c #Conflicts: 674000 | #Constraints: 26107
2002.41/2008.32 c #Conflicts: 675000 | #Constraints: 27107
2002.41/2008.32 c #Conflicts: 676000 | #Constraints: 28108
2002.41/2008.32 c #Conflicts: 677000 | #Constraints: 29108
2002.41/2008.32 c #Conflicts: 678000 | #Constraints: 30108
2002.41/2008.32 c #Conflicts: 679000 | #Constraints: 31108
2002.41/2008.32 c #Conflicts: 680000 | #Constraints: 32108
2002.41/2008.32 c #Conflicts: 681000 | #Constraints: 33108
2002.41/2008.32 c #Conflicts: 682000 | #Constraints: 34110
2002.41/2008.32 c #Conflicts: 683000 | #Constraints: 35110
2002.41/2008.32 c #Conflicts: 684000 | #Constraints: 36110
2002.41/2008.32 c #Conflicts: 685000 | #Constraints: 37110
2002.41/2008.32 c #Conflicts: 686000 | #Constraints: 38110
2002.41/2008.32 c #Conflicts: 687000 | #Constraints: 39110
2002.41/2008.32 c #Conflicts: 688000 | #Constraints: 40110
2002.41/2008.32 c INPROCESSING
2002.41/2008.32 c GARBAGE COLLECT
2002.41/2008.32 c #Conflicts: 689000 | #Constraints: 24745
2002.41/2008.32 c #Conflicts: 690000 | #Constraints: 25745
2002.41/2008.32 c #Conflicts: 691000 | #Constraints: 26745
2002.41/2008.32 c #Conflicts: 692000 | #Constraints: 27745
2002.41/2008.32 c #Conflicts: 693000 | #Constraints: 28745
2002.41/2008.32 c #Conflicts: 694000 | #Constraints: 29745
2002.41/2008.32 c #Conflicts: 695000 | #Constraints: 30745
2002.41/2008.32 c #Conflicts: 696000 | #Constraints: 31745
2002.41/2008.32 c #Conflicts: 697000 | #Constraints: 32745
2002.41/2008.32 c #Conflicts: 698000 | #Constraints: 33745
2002.41/2008.32 c #Conflicts: 699000 | #Constraints: 34745
2002.41/2008.32 c #Conflicts: 700000 | #Constraints: 35745
2002.41/2008.32 c #Conflicts: 701000 | #Constraints: 36745
2002.41/2008.32 c #Conflicts: 702000 | #Constraints: 37745
2002.41/2008.32 c #Conflicts: 703000 | #Constraints: 38745
2002.41/2008.32 c #Conflicts: 704000 | #Constraints: 39745
2002.41/2008.32 c #Conflicts: 705000 | #Constraints: 40745
2002.41/2008.32 c INPROCESSING
2002.41/2008.32 c GARBAGE COLLECT
2002.41/2008.32 c #Conflicts: 706000 | #Constraints: 25193
2002.41/2008.32 c #Conflicts: 707000 | #Constraints: 26199
2002.41/2008.32 c #Conflicts: 708000 | #Constraints: 27200
2002.41/2008.32 c #Conflicts: 709000 | #Constraints: 28200
2002.41/2008.32 c #Conflicts: 710000 | #Constraints: 29200
2002.41/2008.32 c #Conflicts: 711000 | #Constraints: 30200
2002.41/2008.32 c #Conflicts: 712000 | #Constraints: 31200
2002.41/2008.32 c #Conflicts: 713000 | #Constraints: 32200
2161.28/2167.67 c #Conflicts: 714000 | #Constraints: 33200
2161.28/2167.67 c #Conflicts: 715000 | #Constraints: 34200
2161.28/2167.67 c #Conflicts: 716000 | #Constraints: 35200
2161.28/2167.67 c #Conflicts: 717000 | #Constraints: 36200
2161.28/2167.67 c #Conflicts: 718000 | #Constraints: 37200
2161.28/2167.67 c #Conflicts: 719000 | #Constraints: 38200
2161.28/2167.67 c #Conflicts: 720000 | #Constraints: 39200
2161.28/2167.67 c #Conflicts: 721000 | #Constraints: 40200
2161.28/2167.67 c #Conflicts: 722000 | #Constraints: 41200
2161.28/2167.67 c INPROCESSING
2161.28/2167.67 c GARBAGE COLLECT
2161.28/2167.67 c #Conflicts: 723000 | #Constraints: 25361
2161.28/2167.67 c #Conflicts: 724000 | #Constraints: 26361
2161.28/2167.67 c #Conflicts: 725000 | #Constraints: 27361
2161.28/2167.67 c #Conflicts: 726000 | #Constraints: 28361
2161.28/2167.67 c #Conflicts: 727000 | #Constraints: 29361
2161.28/2167.67 c #Conflicts: 728000 | #Constraints: 30361
2161.28/2167.67 c #Conflicts: 729000 | #Constraints: 31361
2161.28/2167.67 c #Conflicts: 730000 | #Constraints: 32363
2161.28/2167.67 c #Conflicts: 731000 | #Constraints: 33363
2161.28/2167.67 c #Conflicts: 732000 | #Constraints: 34363
2161.28/2167.67 c #Conflicts: 733000 | #Constraints: 35365
2161.28/2167.67 c #Conflicts: 734000 | #Constraints: 36366
2161.28/2167.67 c #Conflicts: 735000 | #Constraints: 37366
2161.28/2167.67 c #Conflicts: 736000 | #Constraints: 38366
2161.28/2167.67 c #Conflicts: 737000 | #Constraints: 39366
2161.28/2167.67 c #Conflicts: 738000 | #Constraints: 40366
2161.28/2167.67 c #Conflicts: 739000 | #Constraints: 41366
2161.28/2167.67 c INPROCESSING
2161.28/2167.67 c GARBAGE COLLECT
2161.28/2167.67 c #Conflicts: 740000 | #Constraints: 25237
2161.28/2167.67 c #Conflicts: 741000 | #Constraints: 26237
2161.28/2167.67 c #Conflicts: 742000 | #Constraints: 27237
2161.28/2167.67 c #Conflicts: 743000 | #Constraints: 28237
2161.28/2167.67 c #Conflicts: 744000 | #Constraints: 29238
2161.28/2167.67 c #Conflicts: 745000 | #Constraints: 30238
2161.28/2167.67 c #Conflicts: 746000 | #Constraints: 31238
2161.28/2167.67 c #Conflicts: 747000 | #Constraints: 32239
2161.28/2167.67 c #Conflicts: 748000 | #Constraints: 33240
2161.28/2167.67 c #Conflicts: 749000 | #Constraints: 34240
2161.28/2167.67 c #Conflicts: 750000 | #Constraints: 35240
2161.28/2167.67 c #Conflicts: 751000 | #Constraints: 36242
2161.28/2167.67 c #Conflicts: 752000 | #Constraints: 37243
2161.28/2167.67 c #Conflicts: 753000 | #Constraints: 38244
2161.28/2167.67 c #Conflicts: 754000 | #Constraints: 39244
2161.28/2167.67 c #Conflicts: 755000 | #Constraints: 40244
2161.28/2167.67 c #Conflicts: 756000 | #Constraints: 41244
2161.28/2167.67 c INPROCESSING
2161.28/2167.67 c GARBAGE COLLECT
2161.28/2167.67 c #Conflicts: 757000 | #Constraints: 24975
2161.28/2167.67 c #Conflicts: 758000 | #Constraints: 25975
2161.28/2167.67 c #Conflicts: 759000 | #Constraints: 26976
2161.28/2167.67 c #Conflicts: 760000 | #Constraints: 27976
2161.28/2167.67 c #Conflicts: 761000 | #Constraints: 28976
2161.28/2167.67 c #Conflicts: 762000 | #Constraints: 29977
2161.28/2167.67 c #Conflicts: 763000 | #Constraints: 30977
2161.28/2167.67 c #Conflicts: 764000 | #Constraints: 31977
2161.28/2167.67 c #Conflicts: 765000 | #Constraints: 32977
2161.28/2167.67 c #Conflicts: 766000 | #Constraints: 33977
2161.28/2167.67 c #Conflicts: 767000 | #Constraints: 34977
2161.28/2167.67 c #Conflicts: 768000 | #Constraints: 35978
2161.28/2167.67 c #Conflicts: 769000 | #Constraints: 36978
2161.28/2167.67 c #Conflicts: 770000 | #Constraints: 37978
2161.28/2167.67 c #Conflicts: 771000 | #Constraints: 38979
2161.28/2167.67 c #Conflicts: 772000 | #Constraints: 39979
2161.28/2167.67 c #Conflicts: 773000 | #Constraints: 40979
2161.28/2167.67 c #Conflicts: 774000 | #Constraints: 41980
2161.28/2167.67 c INPROCESSING
2161.28/2167.67 c GARBAGE COLLECT
2161.28/2167.67 c #Conflicts: 775000 | #Constraints: 25700
2161.28/2167.67 c #Conflicts: 776000 | #Constraints: 26700
2161.28/2167.67 c #Conflicts: 777000 | #Constraints: 27700
2161.28/2167.67 c #Conflicts: 778000 | #Constraints: 28701
2161.28/2167.67 c #Conflicts: 779000 | #Constraints: 29702
2161.28/2167.67 c #Conflicts: 780000 | #Constraints: 30703
2161.28/2167.67 c #Conflicts: 781000 | #Constraints: 31704
2161.28/2167.67 c #Conflicts: 782000 | #Constraints: 32704
2161.28/2167.67 c #Conflicts: 783000 | #Constraints: 33704
2161.28/2167.67 c #Conflicts: 784000 | #Constraints: 34704
2161.28/2167.67 c #Conflicts: 785000 | #Constraints: 35704
2161.28/2167.67 c #Conflicts: 786000 | #Constraints: 36704
2161.28/2167.67 c #Conflicts: 787000 | #Constraints: 37704
2161.28/2167.67 c #Conflicts: 788000 | #Constraints: 38704
2161.28/2167.67 c #Conflicts: 789000 | #Constraints: 39704
2161.28/2167.67 c #Conflicts: 790000 | #Constraints: 40704
2391.58/2398.52 c #Conflicts: 791000 | #Constraints: 41704
2391.58/2398.52 c #Conflicts: 792000 | #Constraints: 42704
2391.58/2398.52 c INPROCESSING
2391.58/2398.52 c GARBAGE COLLECT
2391.58/2398.52 c #Conflicts: 793000 | #Constraints: 26157
2391.58/2398.52 c #Conflicts: 794000 | #Constraints: 27160
2391.58/2398.52 c #Conflicts: 795000 | #Constraints: 28161
2391.58/2398.52 c #Conflicts: 796000 | #Constraints: 29161
2391.58/2398.52 c #Conflicts: 797000 | #Constraints: 30161
2391.58/2398.52 c #Conflicts: 798000 | #Constraints: 31161
2391.58/2398.52 c #Conflicts: 799000 | #Constraints: 32161
2391.58/2398.52 c #Conflicts: 800000 | #Constraints: 33161
2391.58/2398.52 c #Conflicts: 801000 | #Constraints: 34161
2391.58/2398.52 c #Conflicts: 802000 | #Constraints: 35161
2391.58/2398.52 c #Conflicts: 803000 | #Constraints: 36161
2391.58/2398.52 c #Conflicts: 804000 | #Constraints: 37161
2391.58/2398.52 c #Conflicts: 805000 | #Constraints: 38161
2391.58/2398.52 c #Conflicts: 806000 | #Constraints: 39161
2391.58/2398.52 c #Conflicts: 807000 | #Constraints: 40161
2391.58/2398.52 c #Conflicts: 808000 | #Constraints: 41161
2391.58/2398.52 c #Conflicts: 809000 | #Constraints: 42161
2391.58/2398.52 c #Conflicts: 810000 | #Constraints: 43161
2391.58/2398.52 c INPROCESSING
2391.58/2398.52 c GARBAGE COLLECT
2391.58/2398.52 c #Conflicts: 811000 | #Constraints: 26369
2391.58/2398.52 c #Conflicts: 812000 | #Constraints: 27369
2391.58/2398.52 c #Conflicts: 813000 | #Constraints: 28369
2391.58/2398.52 c #Conflicts: 814000 | #Constraints: 29369
2391.58/2398.52 c #Conflicts: 815000 | #Constraints: 30369
2391.58/2398.52 c #Conflicts: 816000 | #Constraints: 31369
2391.58/2398.52 c #Conflicts: 817000 | #Constraints: 32369
2391.58/2398.52 c #Conflicts: 818000 | #Constraints: 33369
2391.58/2398.52 c #Conflicts: 819000 | #Constraints: 34369
2391.58/2398.52 c #Conflicts: 820000 | #Constraints: 35369
2391.58/2398.52 c #Conflicts: 821000 | #Constraints: 36369
2391.58/2398.52 c #Conflicts: 822000 | #Constraints: 37369
2391.58/2398.52 c #Conflicts: 823000 | #Constraints: 38369
2391.58/2398.52 c #Conflicts: 824000 | #Constraints: 39369
2391.58/2398.52 c #Conflicts: 825000 | #Constraints: 40369
2391.58/2398.52 c #Conflicts: 826000 | #Constraints: 41369
2391.58/2398.52 c #Conflicts: 827000 | #Constraints: 42369
2391.58/2398.52 c #Conflicts: 828000 | #Constraints: 43369
2391.58/2398.52 c INPROCESSING
2391.58/2398.52 c GARBAGE COLLECT
2391.58/2398.52 c #Conflicts: 829000 | #Constraints: 26475
2391.58/2398.52 c #Conflicts: 830000 | #Constraints: 27475
2391.58/2398.52 c #Conflicts: 831000 | #Constraints: 28475
2391.58/2398.52 c #Conflicts: 832000 | #Constraints: 29475
2391.58/2398.52 c #Conflicts: 833000 | #Constraints: 30475
2391.58/2398.52 c #Conflicts: 834000 | #Constraints: 31475
2391.58/2398.52 c #Conflicts: 835000 | #Constraints: 32475
2391.58/2398.52 c #Conflicts: 836000 | #Constraints: 33475
2391.58/2398.52 c #Conflicts: 837000 | #Constraints: 34475
2391.58/2398.52 c #Conflicts: 838000 | #Constraints: 35475
2391.58/2398.52 c #Conflicts: 839000 | #Constraints: 36475
2391.58/2398.52 c #Conflicts: 840000 | #Constraints: 37475
2391.58/2398.52 c #Conflicts: 841000 | #Constraints: 38475
2391.58/2398.52 c #Conflicts: 842000 | #Constraints: 39475
2391.58/2398.52 c #Conflicts: 843000 | #Constraints: 40475
2391.58/2398.52 c #Conflicts: 844000 | #Constraints: 41475
2391.58/2398.52 c #Conflicts: 845000 | #Constraints: 42475
2391.58/2398.52 c #Conflicts: 846000 | #Constraints: 43475
2391.58/2398.52 c INPROCESSING
2391.58/2398.52 c GARBAGE COLLECT
2391.58/2398.52 c #Conflicts: 847000 | #Constraints: 26027
2391.58/2398.52 c #Conflicts: 848000 | #Constraints: 27027
2391.58/2398.52 c #Conflicts: 849000 | #Constraints: 28028
2391.58/2398.52 c #Conflicts: 850000 | #Constraints: 29029
2391.58/2398.52 c #Conflicts: 851000 | #Constraints: 30029
2391.58/2398.52 c #Conflicts: 852000 | #Constraints: 31029
2391.58/2398.52 c #Conflicts: 853000 | #Constraints: 32029
2391.58/2398.52 c #Conflicts: 854000 | #Constraints: 33029
2391.58/2398.52 c #Conflicts: 855000 | #Constraints: 34029
2391.58/2398.52 c #Conflicts: 856000 | #Constraints: 35029
2391.58/2398.52 c #Conflicts: 857000 | #Constraints: 36029
2391.58/2398.52 c #Conflicts: 858000 | #Constraints: 37030
2391.58/2398.52 c #Conflicts: 859000 | #Constraints: 38030
2391.58/2398.52 c #Conflicts: 860000 | #Constraints: 39030
2391.58/2398.52 c #Conflicts: 861000 | #Constraints: 40030
2391.58/2398.52 c #Conflicts: 862000 | #Constraints: 41030
2391.58/2398.52 c #Conflicts: 863000 | #Constraints: 42030
2391.58/2398.52 c #Conflicts: 864000 | #Constraints: 43030
2391.58/2398.52 c #Conflicts: 865000 | #Constraints: 44030
2391.58/2398.52 c INPROCESSING
2554.57/2561.95 c GARBAGE COLLECT
2554.57/2561.95 c #Conflicts: 866000 | #Constraints: 26761
2554.57/2561.95 c #Conflicts: 867000 | #Constraints: 27761
2554.57/2561.95 c #Conflicts: 868000 | #Constraints: 28761
2554.57/2561.95 c #Conflicts: 869000 | #Constraints: 29761
2554.57/2561.95 c #Conflicts: 870000 | #Constraints: 30761
2554.57/2561.95 c #Conflicts: 871000 | #Constraints: 31761
2554.57/2561.95 c #Conflicts: 872000 | #Constraints: 32761
2554.57/2561.95 c #Conflicts: 873000 | #Constraints: 33761
2554.57/2561.95 c #Conflicts: 874000 | #Constraints: 34761
2554.57/2561.95 c #Conflicts: 875000 | #Constraints: 35761
2554.57/2561.95 c #Conflicts: 876000 | #Constraints: 36761
2554.57/2561.95 c #Conflicts: 877000 | #Constraints: 37761
2554.57/2561.95 c #Conflicts: 878000 | #Constraints: 38762
2554.57/2561.95 c #Conflicts: 879000 | #Constraints: 39762
2554.57/2561.95 c #Conflicts: 880000 | #Constraints: 40762
2554.57/2561.95 c #Conflicts: 881000 | #Constraints: 41762
2554.57/2561.95 c #Conflicts: 882000 | #Constraints: 42762
2554.57/2561.95 c #Conflicts: 883000 | #Constraints: 43763
2554.57/2561.95 c #Conflicts: 884000 | #Constraints: 44763
2554.57/2561.95 c INPROCESSING
2554.57/2561.95 c GARBAGE COLLECT
2554.57/2561.95 c #Conflicts: 885000 | #Constraints: 27243
2554.57/2561.95 c #Conflicts: 886000 | #Constraints: 28243
2554.57/2561.95 c #Conflicts: 887000 | #Constraints: 29243
2554.57/2561.95 c #Conflicts: 888000 | #Constraints: 30243
2554.57/2561.95 c #Conflicts: 889000 | #Constraints: 31247
2554.57/2561.95 c #Conflicts: 890000 | #Constraints: 32248
2554.57/2561.95 c #Conflicts: 891000 | #Constraints: 33248
2554.57/2561.95 c #Conflicts: 892000 | #Constraints: 34248
2554.57/2561.95 c #Conflicts: 893000 | #Constraints: 35248
2554.57/2561.95 c #Conflicts: 894000 | #Constraints: 36248
2554.57/2561.95 c #Conflicts: 895000 | #Constraints: 37249
2554.57/2561.95 c #Conflicts: 896000 | #Constraints: 38249
2554.57/2561.95 c #Conflicts: 897000 | #Constraints: 39249
2554.57/2561.95 c #Conflicts: 898000 | #Constraints: 40249
2554.57/2561.95 c #Conflicts: 899000 | #Constraints: 41249
2554.57/2561.95 c #Conflicts: 900000 | #Constraints: 42249
2554.57/2561.95 c #Conflicts: 901000 | #Constraints: 43249
2554.57/2561.95 c #Conflicts: 902000 | #Constraints: 44249
2554.57/2561.95 c #Conflicts: 903000 | #Constraints: 45249
2554.57/2561.95 c INPROCESSING
2554.57/2561.95 c GARBAGE COLLECT
2554.57/2561.95 c #Conflicts: 904000 | #Constraints: 27570
2554.57/2561.95 c #Conflicts: 905000 | #Constraints: 28570
2554.57/2561.95 c #Conflicts: 906000 | #Constraints: 29570
2554.57/2561.95 c #Conflicts: 907000 | #Constraints: 30570
2554.57/2561.95 c #Conflicts: 908000 | #Constraints: 31570
2554.57/2561.95 c #Conflicts: 909000 | #Constraints: 32570
2554.57/2561.95 c #Conflicts: 910000 | #Constraints: 33570
2554.57/2561.95 c #Conflicts: 911000 | #Constraints: 34570
2554.57/2561.95 c #Conflicts: 912000 | #Constraints: 35570
2554.57/2561.95 c #Conflicts: 913000 | #Constraints: 36570
2554.57/2561.95 c #Conflicts: 914000 | #Constraints: 37570
2554.57/2561.95 c #Conflicts: 915000 | #Constraints: 38570
2554.57/2561.95 c #Conflicts: 916000 | #Constraints: 39570
2554.57/2561.95 c #Conflicts: 917000 | #Constraints: 40570
2554.57/2561.95 c #Conflicts: 918000 | #Constraints: 41570
2554.57/2561.95 c #Conflicts: 919000 | #Constraints: 42570
2554.57/2561.95 c #Conflicts: 920000 | #Constraints: 43570
2554.57/2561.95 c #Conflicts: 921000 | #Constraints: 44570
2554.57/2561.95 c #Conflicts: 922000 | #Constraints: 45570
2554.57/2561.95 c INPROCESSING
2554.57/2561.95 c GARBAGE COLLECT
2554.57/2561.95 c #Conflicts: 923000 | #Constraints: 27669
2554.57/2561.95 c #Conflicts: 924000 | #Constraints: 28669
2554.57/2561.95 c #Conflicts: 925000 | #Constraints: 29669
2554.57/2561.95 c #Conflicts: 926000 | #Constraints: 30669
2554.57/2561.95 c #Conflicts: 927000 | #Constraints: 31669
2554.57/2561.95 c #Conflicts: 928000 | #Constraints: 32669
2554.57/2561.95 c #Conflicts: 929000 | #Constraints: 33669
2554.57/2561.95 c #Conflicts: 930000 | #Constraints: 34669
2554.57/2561.95 c #Conflicts: 931000 | #Constraints: 35669
2554.57/2561.95 c #Conflicts: 932000 | #Constraints: 36669
2554.57/2561.95 c #Conflicts: 933000 | #Constraints: 37669
2554.57/2561.95 c #Conflicts: 934000 | #Constraints: 38669
2554.57/2561.95 c #Conflicts: 935000 | #Constraints: 39669
2554.57/2561.95 c #Conflicts: 936000 | #Constraints: 40669
2554.57/2561.95 c #Conflicts: 937000 | #Constraints: 41669
2554.57/2561.95 c #Conflicts: 938000 | #Constraints: 42669
2554.57/2561.95 c #Conflicts: 939000 | #Constraints: 43669
2554.57/2561.95 c #Conflicts: 940000 | #Constraints: 44669
2554.57/2561.95 c #Conflicts: 941000 | #Constraints: 45669
2554.57/2561.95 c INPROCESSING
2554.57/2561.95 c GARBAGE COLLECT
2745.28/2753.12 c #Conflicts: 942000 | #Constraints: 27323
2745.28/2753.12 c #Conflicts: 943000 | #Constraints: 28323
2745.28/2753.12 c #Conflicts: 944000 | #Constraints: 29323
2745.28/2753.12 c #Conflicts: 945000 | #Constraints: 30323
2745.28/2753.12 c #Conflicts: 946000 | #Constraints: 31323
2745.28/2753.12 c #Conflicts: 947000 | #Constraints: 32323
2745.28/2753.12 c #Conflicts: 948000 | #Constraints: 33323
2745.28/2753.12 c #Conflicts: 949000 | #Constraints: 34325
2745.28/2753.12 c #Conflicts: 950000 | #Constraints: 35326
2745.28/2753.12 c #Conflicts: 951000 | #Constraints: 36326
2745.28/2753.12 c #Conflicts: 952000 | #Constraints: 37327
2745.28/2753.12 c #Conflicts: 953000 | #Constraints: 38328
2745.28/2753.12 c #Conflicts: 954000 | #Constraints: 39328
2745.28/2753.12 c #Conflicts: 955000 | #Constraints: 40328
2745.28/2753.12 c #Conflicts: 956000 | #Constraints: 41328
2745.28/2753.12 c #Conflicts: 957000 | #Constraints: 42328
2745.28/2753.12 c #Conflicts: 958000 | #Constraints: 43328
2745.28/2753.12 c #Conflicts: 959000 | #Constraints: 44328
2745.28/2753.12 c #Conflicts: 960000 | #Constraints: 45328
2745.28/2753.12 c #Conflicts: 961000 | #Constraints: 46328
2745.28/2753.12 c INPROCESSING
2745.28/2753.12 c GARBAGE COLLECT
2745.28/2753.12 c #Conflicts: 962000 | #Constraints: 27869
2745.28/2753.12 c #Conflicts: 963000 | #Constraints: 28882
2745.28/2753.12 c #Conflicts: 964000 | #Constraints: 29886
2745.28/2753.12 c #Conflicts: 965000 | #Constraints: 30889
2745.28/2753.12 c #Conflicts: 966000 | #Constraints: 31890
2745.28/2753.12 c #Conflicts: 967000 | #Constraints: 32890
2745.28/2753.12 c #Conflicts: 968000 | #Constraints: 33890
2745.28/2753.12 c #Conflicts: 969000 | #Constraints: 34890
2745.28/2753.12 c #Conflicts: 970000 | #Constraints: 35890
2745.28/2753.12 c #Conflicts: 971000 | #Constraints: 36891
2745.28/2753.12 c #Conflicts: 972000 | #Constraints: 37891
2745.28/2753.12 c #Conflicts: 973000 | #Constraints: 38891
2745.28/2753.12 c #Conflicts: 974000 | #Constraints: 39891
2745.28/2753.12 c #Conflicts: 975000 | #Constraints: 40891
2745.28/2753.12 c #Conflicts: 976000 | #Constraints: 41891
2745.28/2753.12 c #Conflicts: 977000 | #Constraints: 42891
2745.28/2753.12 c #Conflicts: 978000 | #Constraints: 43892
2745.28/2753.12 c #Conflicts: 979000 | #Constraints: 44892
2745.28/2753.12 c #Conflicts: 980000 | #Constraints: 45893
2745.28/2753.12 c #Conflicts: 981000 | #Constraints: 46894
2745.28/2753.12 c INPROCESSING
2745.28/2753.12 c GARBAGE COLLECT
2745.28/2753.12 c #Conflicts: 982000 | #Constraints: 28233
2745.28/2753.12 c #Conflicts: 983000 | #Constraints: 29233
2745.28/2753.12 c #Conflicts: 984000 | #Constraints: 30233
2745.28/2753.12 c #Conflicts: 985000 | #Constraints: 31233
2745.28/2753.12 c #Conflicts: 986000 | #Constraints: 32233
2745.28/2753.12 c #Conflicts: 987000 | #Constraints: 33233
2745.28/2753.12 c #Conflicts: 988000 | #Constraints: 34233
2745.28/2753.12 c #Conflicts: 989000 | #Constraints: 35233
2745.28/2753.12 c #Conflicts: 990000 | #Constraints: 36233
2745.28/2753.12 c #Conflicts: 991000 | #Constraints: 37233
2745.28/2753.12 c #Conflicts: 992000 | #Constraints: 38233
2745.28/2753.12 c #Conflicts: 993000 | #Constraints: 39233
2745.28/2753.12 c #Conflicts: 994000 | #Constraints: 40233
2745.28/2753.12 c #Conflicts: 995000 | #Constraints: 41233
2745.28/2753.12 c #Conflicts: 996000 | #Constraints: 42234
2745.28/2753.12 c #Conflicts: 997000 | #Constraints: 43234
2745.28/2753.12 c #Conflicts: 998000 | #Constraints: 44234
2745.28/2753.12 c #Conflicts: 999000 | #Constraints: 45234
2745.28/2753.12 c #Conflicts: 1000000 | #Constraints: 46234
2745.28/2753.12 c #Conflicts: 1001000 | #Constraints: 47234
2745.28/2753.12 c INPROCESSING
2745.28/2753.12 c GARBAGE COLLECT
2745.28/2753.12 c #Conflicts: 1002000 | #Constraints: 28507
2745.28/2753.12 c #Conflicts: 1003000 | #Constraints: 29507
2745.28/2753.12 c #Conflicts: 1004000 | #Constraints: 30508
2745.28/2753.12 c #Conflicts: 1005000 | #Constraints: 31510
2745.28/2753.12 c #Conflicts: 1006000 | #Constraints: 32519
2745.28/2753.12 c #Conflicts: 1007000 | #Constraints: 33522
2745.28/2753.12 c #Conflicts: 1008000 | #Constraints: 34523
2745.28/2753.12 c #Conflicts: 1009000 | #Constraints: 35524
2745.28/2753.12 c #Conflicts: 1010000 | #Constraints: 36525
2745.28/2753.12 c #Conflicts: 1011000 | #Constraints: 37525
2745.28/2753.12 c #Conflicts: 1012000 | #Constraints: 38525
2745.28/2753.12 c #Conflicts: 1013000 | #Constraints: 39526
2745.28/2753.12 c #Conflicts: 1014000 | #Constraints: 40526
2745.28/2753.12 c #Conflicts: 1015000 | #Constraints: 41526
2745.28/2753.12 c #Conflicts: 1016000 | #Constraints: 42526
2745.28/2753.12 c #Conflicts: 1017000 | #Constraints: 43527
2745.28/2753.12 c #Conflicts: 1018000 | #Constraints: 44528
2863.75/2872.01 c #Conflicts: 1019000 | #Constraints: 45529
2863.75/2872.01 c #Conflicts: 1020000 | #Constraints: 46529
2863.75/2872.01 c #Conflicts: 1021000 | #Constraints: 47530
2863.75/2872.01 c INPROCESSING
2863.75/2872.01 c GARBAGE COLLECT
2863.75/2872.01 c #Conflicts: 1022000 | #Constraints: 28494
2863.75/2872.01 c #Conflicts: 1023000 | #Constraints: 29494
2863.75/2872.01 c #Conflicts: 1024000 | #Constraints: 30494
2863.75/2872.01 c #Conflicts: 1025000 | #Constraints: 31495
2863.75/2872.01 c #Conflicts: 1026000 | #Constraints: 32495
2863.75/2872.01 c #Conflicts: 1027000 | #Constraints: 33495
2863.75/2872.01 c #Conflicts: 1028000 | #Constraints: 34498
2863.75/2872.01 c #Conflicts: 1029000 | #Constraints: 35498
2863.75/2872.01 c #Conflicts: 1030000 | #Constraints: 36498
2863.75/2872.01 c #Conflicts: 1031000 | #Constraints: 37498
2863.75/2872.01 c #Conflicts: 1032000 | #Constraints: 38500
2863.75/2872.01 c #Conflicts: 1033000 | #Constraints: 39501
2863.75/2872.01 c #Conflicts: 1034000 | #Constraints: 40503
2863.75/2872.01 c #Conflicts: 1035000 | #Constraints: 41504
2863.75/2872.01 c #Conflicts: 1036000 | #Constraints: 42507
2863.75/2872.01 c #Conflicts: 1037000 | #Constraints: 43507
2863.75/2872.01 c #Conflicts: 1038000 | #Constraints: 44507
2863.75/2872.01 c #Conflicts: 1039000 | #Constraints: 45508
2863.75/2872.01 c #Conflicts: 1040000 | #Constraints: 46508
2863.75/2872.01 c #Conflicts: 1041000 | #Constraints: 47510
2863.75/2872.01 c INPROCESSING
2863.75/2872.01 c GARBAGE COLLECT
2863.75/2872.01 c #Conflicts: 1042000 | #Constraints: 28390
2863.75/2872.01 c #Conflicts: 1043000 | #Constraints: 29391
2863.75/2872.01 c #Conflicts: 1044000 | #Constraints: 30391
2863.75/2872.01 c #Conflicts: 1045000 | #Constraints: 31391
2863.75/2872.01 c #Conflicts: 1046000 | #Constraints: 32391
2863.75/2872.01 c #Conflicts: 1047000 | #Constraints: 33391
2863.75/2872.01 c #Conflicts: 1048000 | #Constraints: 34391
2863.75/2872.01 c #Conflicts: 1049000 | #Constraints: 35391
2863.75/2872.01 c #Conflicts: 1050000 | #Constraints: 36391
2863.75/2872.01 c #Conflicts: 1051000 | #Constraints: 37391
2863.75/2872.01 c #Conflicts: 1052000 | #Constraints: 38391
2863.75/2872.01 c #Conflicts: 1053000 | #Constraints: 39392
2863.75/2872.01 c #Conflicts: 1054000 | #Constraints: 40393
2863.75/2872.01 c #Conflicts: 1055000 | #Constraints: 41393
2863.75/2872.01 c #Conflicts: 1056000 | #Constraints: 42394
2863.75/2872.01 c #Conflicts: 1057000 | #Constraints: 43395
2863.75/2872.01 c #Conflicts: 1058000 | #Constraints: 44395
2863.75/2872.01 c #Conflicts: 1059000 | #Constraints: 45396
2863.75/2872.01 c #Conflicts: 1060000 | #Constraints: 46396
2863.75/2872.01 c #Conflicts: 1061000 | #Constraints: 47397
2863.75/2872.01 c #Conflicts: 1062000 | #Constraints: 48397
2863.75/2872.01 c INPROCESSING
2863.75/2872.01 c GARBAGE COLLECT
2863.75/2872.01 c #Conflicts: 1063000 | #Constraints: 28777
2863.75/2872.01 c #Conflicts: 1064000 | #Constraints: 29777
2863.75/2872.01 c #Conflicts: 1065000 | #Constraints: 30777
2863.75/2872.01 c #Conflicts: 1066000 | #Constraints: 31777
2863.75/2872.01 c #Conflicts: 1067000 | #Constraints: 32777
2863.75/2872.01 c #Conflicts: 1068000 | #Constraints: 33777
2863.75/2872.01 c #Conflicts: 1069000 | #Constraints: 34777
2863.75/2872.01 c #Conflicts: 1070000 | #Constraints: 35778
2863.75/2872.01 c #Conflicts: 1071000 | #Constraints: 36778
2863.75/2872.01 c #Conflicts: 1072000 | #Constraints: 37778
2863.75/2872.01 c #Conflicts: 1073000 | #Constraints: 38778
2863.75/2872.01 c #Conflicts: 1074000 | #Constraints: 39778
2863.75/2872.01 c #Conflicts: 1075000 | #Constraints: 40778
2863.75/2872.01 c #Conflicts: 1076000 | #Constraints: 41778
2863.75/2872.01 c #Conflicts: 1077000 | #Constraints: 42778
2863.75/2872.01 c #Conflicts: 1078000 | #Constraints: 43779
2863.75/2872.01 c #Conflicts: 1079000 | #Constraints: 44780
2863.75/2872.01 c #Conflicts: 1080000 | #Constraints: 45781
2863.75/2872.01 c #Conflicts: 1081000 | #Constraints: 46782
2863.75/2872.01 c #Conflicts: 1082000 | #Constraints: 47783
2863.75/2872.01 c #Conflicts: 1083000 | #Constraints: 48787
2863.75/2872.01 c INPROCESSING
2863.75/2872.01 c GARBAGE COLLECT
2863.75/2872.01 c #Conflicts: 1084000 | #Constraints: 29033
2863.75/2872.01 c #Conflicts: 1085000 | #Constraints: 30033
2863.75/2872.01 c #Conflicts: 1086000 | #Constraints: 31034
2863.75/2872.01 c #Conflicts: 1087000 | #Constraints: 32036
2863.75/2872.01 c #Conflicts: 1088000 | #Constraints: 33039
2863.75/2872.01 c #Conflicts: 1089000 | #Constraints: 34039
2863.75/2872.01 c #Conflicts: 1090000 | #Constraints: 35039
2863.75/2872.01 c #Conflicts: 1091000 | #Constraints: 36039
2863.75/2872.01 c #Conflicts: 1092000 | #Constraints: 37039
2863.75/2872.01 c #Conflicts: 1093000 | #Constraints: 38039
2863.75/2872.01 c #Conflicts: 1094000 | #Constraints: 39039
3170.86/3179.87 c #Conflicts: 1095000 | #Constraints: 40039
3170.86/3179.87 c #Conflicts: 1096000 | #Constraints: 41039
3170.86/3179.87 c #Conflicts: 1097000 | #Constraints: 42039
3170.86/3179.87 c #Conflicts: 1098000 | #Constraints: 43039
3170.86/3179.87 c #Conflicts: 1099000 | #Constraints: 44039
3170.86/3179.87 c #Conflicts: 1100000 | #Constraints: 45039
3170.86/3179.87 c #Conflicts: 1101000 | #Constraints: 46039
3170.86/3179.87 c #Conflicts: 1102000 | #Constraints: 47039
3170.86/3179.87 c #Conflicts: 1103000 | #Constraints: 48040
3170.86/3179.87 c #Conflicts: 1104000 | #Constraints: 49041
3170.86/3179.87 c INPROCESSING
3170.86/3179.87 c GARBAGE COLLECT
3170.86/3179.87 c #Conflicts: 1105000 | #Constraints: 29199
3170.86/3179.87 c #Conflicts: 1106000 | #Constraints: 30199
3170.86/3179.87 c #Conflicts: 1107000 | #Constraints: 31200
3170.86/3179.87 c #Conflicts: 1108000 | #Constraints: 32201
3170.86/3179.87 c #Conflicts: 1109000 | #Constraints: 33201
3170.86/3179.87 c #Conflicts: 1110000 | #Constraints: 34201
3170.86/3179.87 c #Conflicts: 1111000 | #Constraints: 35201
3170.86/3179.87 c #Conflicts: 1112000 | #Constraints: 36201
3170.86/3179.87 c #Conflicts: 1113000 | #Constraints: 37201
3170.86/3179.87 c #Conflicts: 1114000 | #Constraints: 38201
3170.86/3179.87 c #Conflicts: 1115000 | #Constraints: 39202
3170.86/3179.87 c #Conflicts: 1116000 | #Constraints: 40202
3170.86/3179.87 c #Conflicts: 1117000 | #Constraints: 41202
3170.86/3179.87 c #Conflicts: 1118000 | #Constraints: 42203
3170.86/3179.87 c #Conflicts: 1119000 | #Constraints: 43205
3170.86/3179.87 c #Conflicts: 1120000 | #Constraints: 44205
3170.86/3179.87 c #Conflicts: 1121000 | #Constraints: 45205
3170.86/3179.87 c #Conflicts: 1122000 | #Constraints: 46205
3170.86/3179.87 c #Conflicts: 1123000 | #Constraints: 47205
3170.86/3179.87 c #Conflicts: 1124000 | #Constraints: 48210
3170.86/3179.87 c #Conflicts: 1125000 | #Constraints: 49220
3170.86/3179.87 c INPROCESSING
3170.86/3179.87 c GARBAGE COLLECT
3170.86/3179.87 c #Conflicts: 1126000 | #Constraints: 29263
3170.86/3179.87 c #Conflicts: 1127000 | #Constraints: 30265
3170.86/3179.87 c #Conflicts: 1128000 | #Constraints: 31266
3170.86/3179.87 c #Conflicts: 1129000 | #Constraints: 32267
3170.86/3179.87 c #Conflicts: 1130000 | #Constraints: 33268
3170.86/3179.87 c #Conflicts: 1131000 | #Constraints: 34269
3170.86/3179.87 c #Conflicts: 1132000 | #Constraints: 35270
3170.86/3179.87 c #Conflicts: 1133000 | #Constraints: 36270
3170.86/3179.87 c #Conflicts: 1134000 | #Constraints: 37270
3170.86/3179.87 c #Conflicts: 1135000 | #Constraints: 38270
3170.86/3179.87 c #Conflicts: 1136000 | #Constraints: 39270
3170.86/3179.87 c #Conflicts: 1137000 | #Constraints: 40270
3170.86/3179.87 c #Conflicts: 1138000 | #Constraints: 41270
3170.86/3179.87 c #Conflicts: 1139000 | #Constraints: 42270
3170.86/3179.87 c #Conflicts: 1140000 | #Constraints: 43270
3170.86/3179.87 c #Conflicts: 1141000 | #Constraints: 44270
3170.86/3179.87 c #Conflicts: 1142000 | #Constraints: 45270
3170.86/3179.87 c #Conflicts: 1143000 | #Constraints: 46270
3170.86/3179.87 c #Conflicts: 1144000 | #Constraints: 47270
3170.86/3179.87 c #Conflicts: 1145000 | #Constraints: 48270
3170.86/3179.87 c #Conflicts: 1146000 | #Constraints: 49271
3170.86/3179.87 c INPROCESSING
3170.86/3179.87 c GARBAGE COLLECT
3170.86/3179.87 c #Conflicts: 1147000 | #Constraints: 29147
3170.86/3179.87 c #Conflicts: 1148000 | #Constraints: 30147
3170.86/3179.87 c #Conflicts: 1149000 | #Constraints: 31147
3170.86/3179.87 c #Conflicts: 1150000 | #Constraints: 32147
3170.86/3179.87 c #Conflicts: 1151000 | #Constraints: 33147
3170.86/3179.87 c #Conflicts: 1152000 | #Constraints: 34148
3170.86/3179.87 c #Conflicts: 1153000 | #Constraints: 35151
3170.86/3179.87 c #Conflicts: 1154000 | #Constraints: 36151
3170.86/3179.87 c #Conflicts: 1155000 | #Constraints: 37151
3170.86/3179.87 c #Conflicts: 1156000 | #Constraints: 38151
3170.86/3179.87 c #Conflicts: 1157000 | #Constraints: 39151
3170.86/3179.87 c #Conflicts: 1158000 | #Constraints: 40151
3170.86/3179.87 c #Conflicts: 1159000 | #Constraints: 41151
3170.86/3179.87 c #Conflicts: 1160000 | #Constraints: 42151
3170.86/3179.87 c #Conflicts: 1161000 | #Constraints: 43152
3170.86/3179.87 c #Conflicts: 1162000 | #Constraints: 44153
3170.86/3179.87 c #Conflicts: 1163000 | #Constraints: 45154
3170.86/3179.87 c #Conflicts: 1164000 | #Constraints: 46155
3170.86/3179.87 c #Conflicts: 1165000 | #Constraints: 47155
3170.86/3179.87 c #Conflicts: 1166000 | #Constraints: 48155
3170.86/3179.87 c #Conflicts: 1167000 | #Constraints: 49155
3170.86/3179.87 c #Conflicts: 1168000 | #Constraints: 50155
3170.86/3179.87 c INPROCESSING
3170.86/3179.87 c GARBAGE COLLECT
3170.86/3179.87 c #Conflicts: 1169000 | #Constraints: 29835
3170.86/3179.87 c #Conflicts: 1170000 | #Constraints: 30835
3170.86/3179.87 c #Conflicts: 1171000 | #Constraints: 31835
3321.68/3331.06 c #Conflicts: 1172000 | #Constraints: 32835
3321.68/3331.06 c #Conflicts: 1173000 | #Constraints: 33835
3321.68/3331.06 c #Conflicts: 1174000 | #Constraints: 34835
3321.68/3331.06 c #Conflicts: 1175000 | #Constraints: 35835
3321.68/3331.06 c #Conflicts: 1176000 | #Constraints: 36835
3321.68/3331.06 c #Conflicts: 1177000 | #Constraints: 37835
3321.68/3331.06 c #Conflicts: 1178000 | #Constraints: 38835
3321.68/3331.06 c #Conflicts: 1179000 | #Constraints: 39835
3321.68/3331.06 c #Conflicts: 1180000 | #Constraints: 40835
3321.68/3331.06 c #Conflicts: 1181000 | #Constraints: 41836
3321.68/3331.06 c #Conflicts: 1182000 | #Constraints: 42836
3321.68/3331.06 c #Conflicts: 1183000 | #Constraints: 43836
3321.68/3331.06 c #Conflicts: 1184000 | #Constraints: 44847
3321.68/3331.06 c #Conflicts: 1185000 | #Constraints: 45848
3321.68/3331.06 c #Conflicts: 1186000 | #Constraints: 46848
3321.68/3331.06 c #Conflicts: 1187000 | #Constraints: 47848
3321.68/3331.06 c #Conflicts: 1188000 | #Constraints: 48848
3321.68/3331.06 c #Conflicts: 1189000 | #Constraints: 49848
3321.68/3331.06 c #Conflicts: 1190000 | #Constraints: 50848
3321.68/3331.06 c INPROCESSING
3321.68/3331.06 c GARBAGE COLLECT
3321.68/3331.06 c #Conflicts: 1191000 | #Constraints: 30457
3321.68/3331.06 c #Conflicts: 1192000 | #Constraints: 31457
3321.68/3331.06 c #Conflicts: 1193000 | #Constraints: 32457
3321.68/3331.06 c #Conflicts: 1194000 | #Constraints: 33457
3321.68/3331.06 c #Conflicts: 1195000 | #Constraints: 34457
3321.68/3331.06 c #Conflicts: 1196000 | #Constraints: 35457
3321.68/3331.06 c #Conflicts: 1197000 | #Constraints: 36457
3321.68/3331.06 c #Conflicts: 1198000 | #Constraints: 37458
3321.68/3331.06 c #Conflicts: 1199000 | #Constraints: 38458
3321.68/3331.06 c #Conflicts: 1200000 | #Constraints: 39458
3321.68/3331.06 c #Conflicts: 1201000 | #Constraints: 40458
3321.68/3331.06 c #Conflicts: 1202000 | #Constraints: 41458
3321.68/3331.06 c #Conflicts: 1203000 | #Constraints: 42458
3321.68/3331.06 c #Conflicts: 1204000 | #Constraints: 43458
3321.68/3331.06 c #Conflicts: 1205000 | #Constraints: 44458
3321.68/3331.06 c #Conflicts: 1206000 | #Constraints: 45458
3321.68/3331.06 c #Conflicts: 1207000 | #Constraints: 46458
3321.68/3331.06 c #Conflicts: 1208000 | #Constraints: 47459
3321.68/3331.06 c #Conflicts: 1209000 | #Constraints: 48459
3321.68/3331.06 c #Conflicts: 1210000 | #Constraints: 49459
3321.68/3331.06 c #Conflicts: 1211000 | #Constraints: 50460
3321.68/3331.06 c #Conflicts: 1212000 | #Constraints: 51461
3321.68/3331.06 c INPROCESSING
3321.68/3331.06 c GARBAGE COLLECT
3321.68/3331.06 c #Conflicts: 1213000 | #Constraints: 30817
3321.68/3331.06 c #Conflicts: 1214000 | #Constraints: 31817
3321.68/3331.06 c #Conflicts: 1215000 | #Constraints: 32817
3321.68/3331.06 c #Conflicts: 1216000 | #Constraints: 33817
3321.68/3331.06 c #Conflicts: 1217000 | #Constraints: 34817
3321.68/3331.06 c #Conflicts: 1218000 | #Constraints: 35817
3321.68/3331.06 c #Conflicts: 1219000 | #Constraints: 36817
3321.68/3331.06 c #Conflicts: 1220000 | #Constraints: 37818
3321.68/3331.06 c #Conflicts: 1221000 | #Constraints: 38818
3321.68/3331.06 c #Conflicts: 1222000 | #Constraints: 39818
3321.68/3331.06 c #Conflicts: 1223000 | #Constraints: 40818
3321.68/3331.06 c #Conflicts: 1224000 | #Constraints: 41819
3321.68/3331.06 c #Conflicts: 1225000 | #Constraints: 42819
3321.68/3331.06 c #Conflicts: 1226000 | #Constraints: 43827
3321.68/3331.06 c #Conflicts: 1227000 | #Constraints: 44830
3321.68/3331.06 c #Conflicts: 1228000 | #Constraints: 45836
3321.68/3331.06 c #Conflicts: 1229000 | #Constraints: 46844
3321.68/3331.06 c #Conflicts: 1230000 | #Constraints: 47846
3321.68/3331.06 c #Conflicts: 1231000 | #Constraints: 48847
3321.68/3331.06 c #Conflicts: 1232000 | #Constraints: 49847
3321.68/3331.06 c #Conflicts: 1233000 | #Constraints: 50847
3321.68/3331.06 c #Conflicts: 1234000 | #Constraints: 51847
3321.68/3331.06 c INPROCESSING
3321.68/3331.06 c GARBAGE COLLECT
3321.68/3331.06 c #Conflicts: 1235000 | #Constraints: 30622
3321.68/3331.06 c #Conflicts: 1236000 | #Constraints: 31622
3321.68/3331.06 c #Conflicts: 1237000 | #Constraints: 32622
3321.68/3331.06 c #Conflicts: 1238000 | #Constraints: 33622
3321.68/3331.06 c #Conflicts: 1239000 | #Constraints: 34622
3321.68/3331.06 c #Conflicts: 1240000 | #Constraints: 35622
3321.68/3331.06 c #Conflicts: 1241000 | #Constraints: 36622
3321.68/3331.06 c #Conflicts: 1242000 | #Constraints: 37622
3321.68/3331.06 c #Conflicts: 1243000 | #Constraints: 38622
3321.68/3331.06 c #Conflicts: 1244000 | #Constraints: 39622
3321.68/3331.06 c #Conflicts: 1245000 | #Constraints: 40622
3321.68/3331.06 c #Conflicts: 1246000 | #Constraints: 41622
3321.68/3331.06 c #Conflicts: 1247000 | #Constraints: 42622
3321.68/3331.06 c #Conflicts: 1248000 | #Constraints: 43622
3495.02/3504.88 c #Conflicts: 1249000 | #Constraints: 44622
3495.02/3504.88 c #Conflicts: 1250000 | #Constraints: 45622
3495.02/3504.88 c #Conflicts: 1251000 | #Constraints: 46622
3495.02/3504.88 c #Conflicts: 1252000 | #Constraints: 47622
3495.02/3504.88 c #Conflicts: 1253000 | #Constraints: 48622
3495.02/3504.88 c #Conflicts: 1254000 | #Constraints: 49622
3495.02/3504.88 c #Conflicts: 1255000 | #Constraints: 50623
3495.02/3504.88 c #Conflicts: 1256000 | #Constraints: 51623
3495.02/3504.88 c INPROCESSING
3495.02/3504.88 c GARBAGE COLLECT
3495.02/3504.88 c #Conflicts: 1257000 | #Constraints: 30410
3495.02/3504.88 c #Conflicts: 1258000 | #Constraints: 31410
3495.02/3504.88 c #Conflicts: 1259000 | #Constraints: 32410
3495.02/3504.88 c #Conflicts: 1260000 | #Constraints: 33410
3495.02/3504.88 c #Conflicts: 1261000 | #Constraints: 34410
3495.02/3504.88 c #Conflicts: 1262000 | #Constraints: 35410
3495.02/3504.88 c #Conflicts: 1263000 | #Constraints: 36410
3495.02/3504.88 c #Conflicts: 1264000 | #Constraints: 37410
3495.02/3504.88 c #Conflicts: 1265000 | #Constraints: 38410
3495.02/3504.88 c #Conflicts: 1266000 | #Constraints: 39410
3495.02/3504.88 c #Conflicts: 1267000 | #Constraints: 40410
3495.02/3504.88 c #Conflicts: 1268000 | #Constraints: 41410
3495.02/3504.88 c #Conflicts: 1269000 | #Constraints: 42410
3495.02/3504.88 c #Conflicts: 1270000 | #Constraints: 43410
3495.02/3504.88 c #Conflicts: 1271000 | #Constraints: 44410
3495.02/3504.88 c #Conflicts: 1272000 | #Constraints: 45410
3495.02/3504.88 c #Conflicts: 1273000 | #Constraints: 46410
3495.02/3504.88 c #Conflicts: 1274000 | #Constraints: 47410
3495.02/3504.88 c #Conflicts: 1275000 | #Constraints: 48410
3495.02/3504.88 c #Conflicts: 1276000 | #Constraints: 49411
3495.02/3504.88 c #Conflicts: 1277000 | #Constraints: 50412
3495.02/3504.88 c #Conflicts: 1278000 | #Constraints: 51412
3495.02/3504.88 c #Conflicts: 1279000 | #Constraints: 52413
3495.02/3504.88 c INPROCESSING
3495.02/3504.88 c GARBAGE COLLECT
3495.02/3504.88 c #Conflicts: 1280000 | #Constraints: 31098
3495.02/3504.88 c #Conflicts: 1281000 | #Constraints: 32098
3495.02/3504.88 c #Conflicts: 1282000 | #Constraints: 33098
3495.02/3504.88 c #Conflicts: 1283000 | #Constraints: 34098
3495.02/3504.88 c #Conflicts: 1284000 | #Constraints: 35100
3495.02/3504.88 c #Conflicts: 1285000 | #Constraints: 36100
3495.02/3504.88 c #Conflicts: 1286000 | #Constraints: 37100
3495.02/3504.88 c #Conflicts: 1287000 | #Constraints: 38100
3495.02/3504.88 c #Conflicts: 1288000 | #Constraints: 39100
3495.02/3504.88 c #Conflicts: 1289000 | #Constraints: 40100
3495.02/3504.88 c #Conflicts: 1290000 | #Constraints: 41100
3495.02/3504.88 c #Conflicts: 1291000 | #Constraints: 42101
3495.02/3504.88 c #Conflicts: 1292000 | #Constraints: 43102
3495.02/3504.88 c #Conflicts: 1293000 | #Constraints: 44106
3495.02/3504.88 c #Conflicts: 1294000 | #Constraints: 45109
3495.02/3504.88 c #Conflicts: 1295000 | #Constraints: 46109
3495.02/3504.88 c #Conflicts: 1296000 | #Constraints: 47110
3495.02/3504.88 c #Conflicts: 1297000 | #Constraints: 48111
3495.02/3504.88 c #Conflicts: 1298000 | #Constraints: 49112
3495.02/3504.88 c #Conflicts: 1299000 | #Constraints: 50112
3495.02/3504.88 c #Conflicts: 1300000 | #Constraints: 51113
3495.02/3504.88 c #Conflicts: 1301000 | #Constraints: 52116
3495.02/3504.88 c #Conflicts: 1302000 | #Constraints: 53116
3495.02/3504.88 c INPROCESSING
3495.02/3504.88 c GARBAGE COLLECT
3495.02/3504.88 c #Conflicts: 1303000 | #Constraints: 31601
3495.02/3504.88 c #Conflicts: 1304000 | #Constraints: 32601
3495.02/3504.88 c #Conflicts: 1305000 | #Constraints: 33602
3495.02/3504.88 c #Conflicts: 1306000 | #Constraints: 34603
3495.02/3504.88 c #Conflicts: 1307000 | #Constraints: 35604
3495.02/3504.88 c #Conflicts: 1308000 | #Constraints: 36605
3495.02/3504.88 c #Conflicts: 1309000 | #Constraints: 37605
3495.02/3504.88 c #Conflicts: 1310000 | #Constraints: 38606
3495.02/3504.88 c #Conflicts: 1311000 | #Constraints: 39606
3495.02/3504.88 c #Conflicts: 1312000 | #Constraints: 40606
3495.02/3504.88 c #Conflicts: 1313000 | #Constraints: 41607
3495.02/3504.88 c #Conflicts: 1314000 | #Constraints: 42607
3495.02/3504.88 c #Conflicts: 1315000 | #Constraints: 43609
3495.02/3504.88 c #Conflicts: 1316000 | #Constraints: 44609
3495.02/3504.88 c #Conflicts: 1317000 | #Constraints: 45610
3495.02/3504.88 c #Conflicts: 1318000 | #Constraints: 46610
3495.02/3504.88 c #Conflicts: 1319000 | #Constraints: 47610
3495.02/3504.88 c #Conflicts: 1320000 | #Constraints: 48610
3495.02/3504.88 c #Conflicts: 1321000 | #Constraints: 49610
3495.02/3504.88 c #Conflicts: 1322000 | #Constraints: 50610
3495.02/3504.88 c #Conflicts: 1323000 | #Constraints: 51610
3495.02/3504.88 c #Conflicts: 1324000 | #Constraints: 52612
3601.42/3611.51 c #Conflicts: 1325000 | #Constraints: 53613
3601.42/3611.51 c INPROCESSING
3601.42/3611.51 c GARBAGE COLLECT
3601.42/3611.51 c #Conflicts: 1326000 | #Constraints: 31746
3601.42/3611.51 c #Conflicts: 1327000 | #Constraints: 32746
3601.42/3611.51 c #Conflicts: 1328000 | #Constraints: 33746
3601.42/3611.51 c #Conflicts: 1329000 | #Constraints: 34746
3601.42/3611.51 c #Conflicts: 1330000 | #Constraints: 35746
3601.42/3611.51 c #Conflicts: 1331000 | #Constraints: 36746
3601.42/3611.51 c #Conflicts: 1332000 | #Constraints: 37746
3601.42/3611.51 c #Conflicts: 1333000 | #Constraints: 38746
3601.42/3611.51 c #Conflicts: 1334000 | #Constraints: 39747
3601.42/3611.51 c #Conflicts: 1335000 | #Constraints: 40748
3601.42/3611.51 c #Conflicts: 1336000 | #Constraints: 41749
3601.42/3611.51 c #Conflicts: 1337000 | #Constraints: 42749
3601.42/3611.51 c #Conflicts: 1338000 | #Constraints: 43749
3601.42/3611.51 c #Conflicts: 1339000 | #Constraints: 44750
3601.42/3611.51 c #Conflicts: 1340000 | #Constraints: 45751
3601.42/3611.51 c #Conflicts: 1341000 | #Constraints: 46753
3601.42/3611.51 c #Conflicts: 1342000 | #Constraints: 47753
3601.42/3611.51 c #Conflicts: 1343000 | #Constraints: 48753
3601.42/3611.51 c #Conflicts: 1344000 | #Constraints: 49753
3601.42/3611.51 c #Conflicts: 1345000 | #Constraints: 50753
3601.42/3611.51 c #Conflicts: 1346000 | #Constraints: 51753
3601.42/3611.51 c #Conflicts: 1347000 | #Constraints: 52753
3601.42/3611.51 c #Conflicts: 1348000 | #Constraints: 53753
3601.42/3611.51 c INPROCESSING
3601.42/3611.51 c GARBAGE COLLECT
3601.42/3611.51 c #Conflicts: 1349000 | #Constraints: 31560
3601.42/3611.51 c #Conflicts: 1350000 | #Constraints: 32560
3601.42/3611.51 c #Conflicts: 1351000 | #Constraints: 33560
3601.42/3611.51 c #Conflicts: 1352000 | #Constraints: 34561
3601.42/3611.51 c #Conflicts: 1353000 | #Constraints: 35561
3601.42/3611.51 c #Conflicts: 1354000 | #Constraints: 36561
3601.42/3611.51 c #Conflicts: 1355000 | #Constraints: 37561
3601.42/3611.51 c #Conflicts: 1356000 | #Constraints: 38562
3601.42/3611.51 c #Conflicts: 1357000 | #Constraints: 39562
3601.42/3611.51 c #Conflicts: 1358000 | #Constraints: 40562
3601.42/3611.51 c #Conflicts: 1359000 | #Constraints: 41562
3601.42/3611.51 c #Conflicts: 1360000 | #Constraints: 42563
3601.42/3611.51 c #Conflicts: 1361000 | #Constraints: 43565
3601.42/3611.51 c #Conflicts: 1362000 | #Constraints: 44567
3601.42/3611.51 c #Conflicts: 1363000 | #Constraints: 45567
3601.42/3611.51 c #Conflicts: 1364000 | #Constraints: 46568
3601.42/3611.51 c #Conflicts: 1365000 | #Constraints: 47568
3601.42/3611.51 c #Conflicts: 1366000 | #Constraints: 48568
3601.42/3611.51 c #Conflicts: 1367000 | #Constraints: 49568
3601.42/3611.51 c #Conflicts: 1368000 | #Constraints: 50568
3601.42/3611.51 c #Conflicts: 1369000 | #Constraints: 51568
3601.42/3611.51 c #Conflicts: 1370000 | #Constraints: 52568
3601.42/3611.51 c #Conflicts: 1371000 | #Constraints: 53568
3601.42/3611.51 c INPROCESSING
3601.42/3611.51 c GARBAGE COLLECT
3601.42/3611.51 c Disabling crashed LP
3601.42/3611.51 c cpu time 3479.35 s
3601.42/3611.51 c deterministic time 179309609864 1.79e+11
3601.42/3611.51 c optimization time 2.51053 s
3601.42/3611.51 c total solve time 3476.54 s
3601.42/3611.51 c core-guided solve time 1898.65 s
3601.42/3611.51 c propagation time 1838.19 s
3601.42/3611.51 c conflict analysis time 134.571 s
3601.42/3611.51 c propagations 488897456
3601.42/3611.51 c resolve steps 6179972
3601.42/3611.51 c decisions 152438507
3601.42/3611.51 c conflicts 1371600
3601.42/3611.51 c restarts 2618
3601.42/3611.51 c inprocessing phases 108
3601.42/3611.51 c garbage collections 107 ,( 99.07 )
3601.42/3611.51 c input clauses 0 ,( 0.00 )
3601.42/3611.51 c input cardinalities 0 ,( 0.00 )
3601.42/3611.51 c input general constraints 5184 ,( 100.00 )
3601.42/3611.51 c input average constraint length 64.33
3601.42/3611.52 c input average constraint degree 20629994197.79
3601.42/3611.52 c learned clauses 40477 ,( 2.95 )
3601.42/3611.52 c learned cardinalities 113 ,( 0.01 )
3601.42/3611.52 c learned general constraints 1331583 ,( 97.04 )
3601.42/3611.52 c learned average constraint length 244.84
3601.42/3611.52 c learned average constraint degree 288272159.40
3601.42/3611.52 c watched CF 32, 64, 128, Arb: 3347 , 0 , 0 , 0
3601.42/3611.52 c counting CF 32, 64, 128, Arb: 1333404 , 17 , 0 , 0
3601.42/3611.52 c watched constraints 3347 ,( 0.25 )
3601.42/3611.52 c counting constraints 1333420 ,( 99.75 )
3601.42/3611.52 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 20758790 , 33253 , 18247990949 ,( 797092 , 18247193857 )
3601.42/3611.52 c gcd simplifications 685793
3601.42/3611.52 c detected cardinalities 78
3601.42/3611.52 c weakened non-implied lits 144856832
3601.42/3611.52 c weakened non-implying lits 4762755
3601.42/3611.52 c original variables 107808
3601.42/3611.52 c clausal propagations 15087352
3601.42/3611.52 c cardinality propagations 4859
3601.42/3611.52 c watched propagations 24626
3601.42/3611.52 c counting propagations 469051509
3601.42/3611.52 c watch lookups 23401906125
3601.42/3611.52 c watch backjump lookups 0
3601.42/3611.52 c watch checks 23707962
3601.42/3611.52 c propagation checks 153364438857
3601.42/3611.52 c constraint additions 1232860372
3601.42/3611.52 c trail pops 642663483
3601.42/3611.52 c formula constraints 5184
3601.42/3611.52 c learned constraints 1371441
3601.42/3611.52 c bound constraints 0
3601.42/3611.52 c core-guided constraints 0
3601.42/3611.52 c encountered formula constraints 2904889
3601.42/3611.52 c encountered learned constraints 4506607
3601.42/3611.52 c encountered bound constraints 0
3601.42/3611.52 c encountered core-guided constraints 0
3601.42/3611.52 c LP total time 2286.1 s
3601.42/3611.52 c LP solve time 2281.55 s
3601.42/3611.52 c LP constraints added 5926
3601.42/3611.52 c LP constraints removed 500
3601.42/3611.52 c LP pivots internal 1376355
3601.42/3611.52 c LP pivots root 1320746
3601.42/3611.52 c LP calls 589
3601.42/3611.52 c LP optimalities 11
3601.42/3611.52 c LP no pivot count 0
3601.42/3611.52 c LP infeasibilities 514
3601.42/3611.52 c LP valid Farkas constraints 440
3601.42/3611.52 c LP learned Farkas constraints 159
3601.42/3611.52 c LP basis resets 97
3601.42/3611.52 c LP cycling count 5
3601.42/3611.52 c LP singular count 52
3601.42/3611.52 c LP no primal count 0
3601.42/3611.52 c LP no farkas count 40
3601.42/3611.52 c LP other issue count 0
3601.42/3611.52 c LP Gomory cuts 133
3601.42/3611.52 c LP learned cuts 609
3601.42/3611.52 c LP deleted cuts 500
3601.42/3611.52 c LP encountered Gomory constraints 9
3601.42/3611.52 c LP encountered Farkas constraints 135925
3601.42/3611.52 c LP encountered learned Farkas constraints 3983
3601.42/3611.52 c CG auxiliary variables introduced 0
3601.42/3611.52 c CG solutions found 0
3601.42/3611.52 c CG cores constructed 0
3601.42/3611.52 c CG core cardinality constraints returned 0
3601.42/3611.52 c CG unit cores 0
3601.42/3611.52 c CG single cores 0
3601.42/3611.52 c CG blocks removed during cardinality reduction 0
3601.42/3611.52 c CG first core best 0
3601.42/3611.52 c CG decision core best 0
3601.42/3611.52 c CG core reduction tie 0
3601.42/3611.52 c CG core degree average 0.00
3601.42/3611.52 c CG core slack average 0.00
3601.42/3611.52 c CG core upper bound improvements 0
3601.42/3611.52 c STR number of successful calls 0
3601.42/3611.52 c STR number of unsuccessful calls 0
3601.42/3611.52 c STR number of inconclusive calls 0
3601.42/3611.52 c STR number of successful attempts 0
3601.42/3611.52 c STR number of unsuccessful attempts 0
3601.42/3611.52 c STR number of inconclusive attempts 0
3601.42/3611.52 c STR average degree increase per successful call inf
3601.42/3611.52 c STR average degree increase per successful attempt inf
3601.42/3611.52 c STR total number of conflicts for successful attempts 0
3601.42/3611.52 c STR total number of conflicts for unsuccessful attempts 0
3601.42/3611.52 c STR total number of conflicts for inconclusive attempts 0
3601.42/3611.52 c STR average number of conflicts per successful attempt inf
3601.42/3611.52 c STR average number of conflicts per unsuccessful attempt inf
3601.42/3611.52 c STR average number of conflicts per inconclusive attempt inf
3601.42/3611.52 c AVG.sumWPerc 96.96
3601.42/3611.52 c bigint constraints 17
3601.42/3611.52 s UNKNOWN
3601.42/3611.52 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: 63837 MiB (62683 MiB free)
memory of node 1: 64465 MiB (63309 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4485322-1751301445/watcher-4485322-1751301445 -o /tmp/evaluation-result-4485322-1751301445/solver-4485322-1751301445 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751294213-42265 --watchdog 3760 run-opt-ls.sh HOME/instance-4485322-1751301445.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=43112, runsolver pid=43109
[startup+0.1001 s]*
/proc/loadavg: 4.11 4.12 4.09 5/255 43114
/proc/meminfo: memFree=129016772/131382112 swapFree=33010684/33010684
[pid=43112] ppid=43109 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/43112/stat : 43112 (run-opt-ls.sh) S 43109 43112 42252 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 45823854 4292608 736 18446744073709551615 94213566132224 94213567026757 140736052044608 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94213567265808 94213567313552 94213581606912 140736052046183 140736052046309 140736052046309 140736052051911 0
/proc/43112/statm: 1048 736 672 219 0 110 0
[pid=43114] ppid=43112 vsize=26532 memory=18648 CPUtime=0.09 cores=5,7
/proc/43114/stat : 43114 (pbsuma) R 43112 43112 42252 0 -1 4194304 3780 0 0 0 8 1 0 0 20 0 1 0 45823855 27168768 4662 18446744073709551615 4210688 4653049 140733896353728 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 34496512 140733896358243 140733896358450 140733896358450 140733896364015 0
/proc/43114/statm: 6633 4662 992 108 0 4041 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 30724 KiB
Current children cumulated memory: 21592 KiB
[startup+0.213633 s]*
/proc/loadavg: 4.11 4.12 4.09 5/255 43114
/proc/meminfo: memFree=128974564/131382112 swapFree=33010684/33010684
[pid=43112] ppid=43109 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/43112/stat : 43112 (run-opt-ls.sh) S 43109 43112 42252 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 45823854 4292608 736 18446744073709551615 94213566132224 94213567026757 140736052044608 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94213567265808 94213567313552 94213581606912 140736052046183 140736052046309 140736052046309 140736052051911 0
/proc/43112/statm: 1048 736 672 219 0 110 0
[pid=43114] ppid=43112 vsize=90048 memory=74100 CPUtime=0.2 cores=5,7
/proc/43114/stat : 43114 (pbsuma) R 43112 43112 42252 0 -1 4194304 13923 0 0 0 16 4 0 0 20 0 1 0 45823855 92209152 18525 18446744073709551615 4210688 4653049 140733896353728 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 34496512 140733896358243 140733896358450 140733896358450 140733896364015 0
/proc/43114/statm: 22512 18525 1024 108 0 19920 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 94240 KiB
Current children cumulated memory: 77044 KiB
[startup+0.313613 s]*
/proc/loadavg: 4.11 4.12 4.09 5/255 43114
/proc/meminfo: memFree=128954156/131382112 swapFree=33010684/33010684
[pid=43112] ppid=43109 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/43112/stat : 43112 (run-opt-ls.sh) S 43109 43112 42252 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 45823854 4292608 736 18446744073709551615 94213566132224 94213567026757 140736052044608 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94213567265808 94213567313552 94213581606912 140736052046183 140736052046309 140736052046309 140736052051911 0
/proc/43112/statm: 1048 736 672 219 0 110 0
[pid=43114] ppid=43112 vsize=128072 memory=91508 CPUtime=0.3 cores=5,7
/proc/43114/stat : 43114 (pbsuma) R 43112 43112 42252 0 -1 4194304 16754 0 0 0 25 5 0 0 20 0 1 0 45823855 131145728 22877 18446744073709551615 4210688 4653049 140733896353728 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 34496512 140733896358243 140733896358450 140733896358450 140733896364015 0
/proc/43114/statm: 32018 22877 1024 108 0 29426 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 132264 KiB
Current children cumulated memory: 94452 KiB
[startup+0.700422 s]
/proc/loadavg: 4.11 4.12 4.09 5/255 43115
/proc/meminfo: memFree=128926300/131382112 swapFree=33010684/33010684
[pid=43112] ppid=43109 vsize=4192 memory=2944 CPUtime=0.47 cores=5,7
/proc/43112/stat : 43112 (run-opt-ls.sh) S 43109 43112 42252 0 -1 4194304 236 25702 0 0 0 0 38 9 20 0 1 0 45823854 4292608 736 18446744073709551615 94213566132224 94213567026757 140736052044608 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94213567265808 94213567313552 94213581606912 140736052046183 140736052046309 140736052046309 140736052051911 0
/proc/43112/statm: 1048 736 672 219 0 110 0
[pid=43115] ppid=43112 vsize=94060 memory=48024 CPUtime=0.2 cores=5,7
/proc/43115/stat : 43115 (roundingsat) R 43112 43112 42252 0 -1 4194304 8969 0 0 0 17 3 0 0 20 0 1 0 45823903 96317440 12006 18446744073709551615 4227072 8923433 140724556892736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20127744 140724556896582 140724556896808 140724556896808 140724556902378 0
/proc/43115/statm: 23515 12006 2080 1147 0 10942 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 98252 KiB
Current children cumulated memory: 50968 KiB
[startup+1.50042 s]
/proc/loadavg: 4.11 4.12 4.09 5/255 43115
/proc/meminfo: memFree=128906616/131382112 swapFree=33010684/33010684
[pid=43112] ppid=43109 vsize=4192 memory=2944 CPUtime=0.47 cores=5,7
/proc/43112/stat : 43112 (run-opt-ls.sh) S 43109 43112 42252 0 -1 4194304 236 25702 0 0 0 0 38 9 20 0 1 0 45823854 4292608 736 18446744073709551615 94213566132224 94213567026757 140736052044608 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94213567265808 94213567313552 94213581606912 140736052046183 140736052046309 140736052046309 140736052051911 0
/proc/43112/statm: 1048 736 672 219 0 110 0
[pid=43115] ppid=43112 vsize=132072 memory=87668 CPUtime=0.99 cores=5,7
/proc/43115/stat : 43115 (roundingsat) R 43112 43112 42252 0 -1 4194304 16904 0 0 0 94 5 0 0 20 0 1 0 45823903 135241728 21917 18446744073709551615 4227072 8923433 140724556892736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20127744 140724556896582 140724556896808 140724556896808 140724556902378 0
/proc/43115/statm: 33018 21917 2368 1147 0 20445 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 136264 KiB
Current children cumulated memory: 90612 KiB
[startup+3.11318 s]
/proc/loadavg: 4.11 4.12 4.09 5/255 43115
/proc/meminfo: memFree=128808412/131382112 swapFree=33010684/33010684
[pid=43112] ppid=43109 vsize=4192 memory=2944 CPUtime=0.47 cores=5,7
/proc/43112/stat : 43112 (run-opt-ls.sh) S 43109 43112 42252 0 -1 4194304 236 25702 0 0 0 0 38 9 20 0 1 0 45823854 4292608 736 18446744073709551615 94213566132224 94213567026757 140736052044608 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94213567265808 94213567313552 94213581606912 140736052046183 140736052046309 140736052046309 140736052051911 0
/proc/43112/statm: 1048 736 672 219 0 110 0
[pid=43115] ppid=43112 vsize=132072 memory=87668 CPUtime=2.6 cores=5,7
/proc/43115/stat : 43115 (roundingsat) R 43112 43112 42252 0 -1 4194304 16905 0 0 0 255 5 0 0 20 0 1 0 45823903 135241728 21917 18446744073709551615 4227072 8923433 140724556892736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20127744 140724556896582 140724556896808 140724556896808 140724556902378 0
/proc/43115/statm: 33018 21917 2368 1147 0 20445 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 136264 KiB
Current children cumulated memory: 90612 KiB
[startup+6.30042 s]
/proc/loadavg: 4.10 4.12 4.09 5/255 43115
/proc/meminfo: memFree=128771224/131382112 swapFree=33010684/33010684
[pid=43112] ppid=43109 vsize=4192 memory=2944 CPUtime=0.47 cores=5,7
/proc/43112/stat : 43112 (run-opt-ls.sh) S 43109 43112 42252 0 -1 4194304 236 25702 0 0 0 0 38 9 20 0 1 0 45823854 4292608 736 18446744073709551615 94213566132224 94213567026757 140736052044608 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94213567265808 94213567313552 94213581606912 140736052046183 140736052046309 140736052046309 140736052051911 0
/proc/43112/statm: 1048 736 672 219 0 110 0
[pid=43115] ppid=43112 vsize=189384 memory=142892 CPUtime=5.77 cores=5,7
/proc/43115/stat : 43115 (roundingsat) R 43112 43112 42252 0 -1 4194304 27062 0 0 0 532 45 0 0 20 0 1 0 45823903 193929216 35723 18446744073709551615 4227072 8923433 140724556892736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20127744 140724556896582 140724556896808 140724556896808 140724556902378 0
/proc/43115/statm: 47346 35723 2432 1147 0 34773 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 193576 KiB
Current children cumulated memory: 145836 KiB
[startup+12.7004 s]
/proc/loadavg: 4.09 4.12 4.09 5/255 43115
/proc/meminfo: memFree=128771232/131382112 swapFree=33010684/33010684
[pid=43112] ppid=43109 vsize=4192 memory=2944 CPUtime=0.47 cores=5,7
/proc/43112/stat : 43112 (run-opt-ls.sh) S 43109 43112 42252 0 -1 4194304 236 25702 0 0 0 0 38 9 20 0 1 0 45823854 4292608 736 18446744073709551615 94213566132224 94213567026757 140736052044608 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94213567265808 94213567313552 94213581606912 140736052046183 140736052046309 140736052046309 140736052051911 0
/proc/43112/statm: 1048 736 672 219 0 110 0
[pid=43115] ppid=43112 vsize=192104 memory=143404 CPUtime=12.16 cores=5,7
/proc/43115/stat : 43115 (roundingsat) R 43112 43112 42252 0 -1 4194304 27239 0 0 0 1124 92 0 0 20 0 1 0 45823903 196714496 35851 18446744073709551615 4227072 8923433 140724556892736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20127744 140724556896582 140724556896808 140724556896808 140724556902378 0
/proc/43115/statm: 48026 35851 2432 1147 0 35453 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 196296 KiB
Current children cumulated memory: 146348 KiB
[startup+25.5004 s]
/proc/loadavg: 4.14 4.13 4.09 5/255 43116
/proc/meminfo: memFree=128610392/131382112 swapFree=33010684/33010684
[pid=43112] ppid=43109 vsize=4192 memory=2944 CPUtime=0.47 cores=5,7
/proc/43112/stat : 43112 (run-opt-ls.sh) S 43109 43112 42252 0 -1 4194304 236 25702 0 0 0 0 38 9 20 0 1 0 45823854 4292608 736 18446744073709551615 94213566132224 94213567026757 140736052044608 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94213567265808 94213567313552 94213581606912 140736052046183 140736052046309 140736052046309 140736052051911 0
/proc/43112/statm: 1048 736 672 219 0 110 0
[pid=43115] ppid=43112 vsize=192244 memory=143788 CPUtime=24.92 cores=5,7
/proc/43115/stat : 43115 (roundingsat) R 43112 43112 42252 0 -1 4194304 27331 0 0 0 2378 114 0 0 20 0 1 0 45823903 196857856 35947 18446744073709551615 4227072 8923433 140724556892736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20127744 140724556896582 140724556896808 140724556896808 140724556902378 0
/proc/43115/statm: 48061 35947 2432 1147 0 35488 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 196436 KiB
Current children cumulated memory: 146732 KiB
[startup+51.1131 s]
/proc/loadavg: 4.09 4.11 4.09 5/255 43116
/proc/meminfo: memFree=128479848/131382112 swapFree=33010684/33010684
[pid=43112] ppid=43109 vsize=4192 memory=2944 CPUtime=0.47 cores=5,7
/proc/43112/stat : 43112 (run-opt-ls.sh) S 43109 43112 42252 0 -1 4194304 236 25702 0 0 0 0 38 9 20 0 1 0 45823854 4292608 736 18446744073709551615 94213566132224 94213567026757 140736052044608 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94213567265808 94213567313552 94213581606912 140736052046183 140736052046309 140736052046309 140736052051911 0
/proc/43112/statm: 1048 736 672 219 0 110 0
[pid=43115] ppid=43112 vsize=198572 memory=150700 CPUtime=50.47 cores=5,7
/proc/43115/stat : 43115 (roundingsat) R 43112 43112 42252 0 -1 4194304 28968 0 0 0 4791 256 0 0 20 0 1 0 45823903 203337728 37675 18446744073709551615 4227072 8923433 140724556892736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20127744 140724556896582 140724556896808 140724556896808 140724556902378 0
/proc/43115/statm: 49643 37675 2528 1147 0 37070 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 202764 KiB
Current children cumulated memory: 153644 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/257 43120
/proc/meminfo: memFree=126692000/131382112 swapFree=33010684/33010684
[pid=43112] ppid=43109 vsize=4192 memory=2944 CPUtime=0.47 cores=5,7
/proc/43112/stat : 43112 (run-opt-ls.sh) S 43109 43112 42252 0 -1 4194304 236 25702 0 0 0 0 38 9 20 0 1 0 45823854 4292608 736 18446744073709551615 94213566132224 94213567026757 140736052044608 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94213567265808 94213567313552 94213581606912 140736052046183 140736052046309 140736052046309 140736052051911 0
/proc/43112/statm: 1048 736 672 219 0 110 0
[pid=43115] ppid=43112 vsize=210296 memory=163628 CPUtime=101.52 cores=5,7
/proc/43115/stat : 43115 (roundingsat) R 43112 43112 42252 0 -1 4194304 32189 0 0 0 9615 537 0 0 20 0 1 0 45823903 215343104 40907 18446744073709551615 4227072 8923433 140724556892736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20127744 140724556896582 140724556896808 140724556896808 140724556902378 0
/proc/43115/statm: 52574 40907 2528 1147 0 40001 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 214488 KiB
Current children cumulated memory: 166572 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/257 43122
/proc/meminfo: memFree=125136404/131382112 swapFree=33010684/33010684
[pid=43112] ppid=43109 vsize=4192 memory=2944 CPUtime=0.47 cores=5,7
/proc/43112/stat : 43112 (run-opt-ls.sh) S 43109 43112 42252 0 -1 4194304 236 25702 0 0 0 0 38 9 20 0 1 0 45823854 4292608 736 18446744073709551615 94213566132224 94213567026757 140736052044608 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94213567265808 94213567313552 94213581606912 140736052046183 140736052046309 140736052046309 140736052051911 0
/proc/43112/statm: 1048 736 672 219 0 110 0
[pid=43115] ppid=43112 vsize=232588 memory=183552 CPUtime=161.36 cores=5,7
/proc/43115/stat : 43115 (roundingsat) R 43112 43112 42252 0 -1 4194304 36674 0 0 0 15355 781 0 0 20 0 1 0 45823903 238170112 45888 18446744073709551615 4227072 8923433 140724556892736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20127744 140724556896582 140724556896808 140724556896808 140724556902378 0
/proc/43115/statm: 58147 45888 2528 1147 0 45574 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 236780 KiB
Current children cumulated memory: 186496 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/256 43124
/proc/meminfo: memFree=124368724/131382112 swapFree=33010684/33010684
[pid=43112] ppid=43109 vsize=4192 memory=2944 CPUtime=0.47 cores=5,7
/proc/43112/stat : 43112 (run-opt-ls.sh) S 43109 43112 42252 0 -1 4194304 236 25702 0 0 0 0 38 9 20 0 1 0 45823854 4292608 736 18446744073709551615 94213566132224 94213567026757 140736052044608 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94213567265808 94213567313552 94213581606912 140736052046183 140736052046309 140736052046309 140736052051911 0
/proc/43112/statm: 1048 736 672 219 0 110 0
[pid=43115] ppid=43112 vsize=302208 memory=250492 CPUtime=221.21 cores=5,7
/proc/43115/stat : 43115 (roundingsat) R 43112 43112 42252 0 -1 4194304 44240 0 0 0 20927 1194 0 0 20 0 1 0 45823903 309460992 62623 18446744073709551615 4227072 8923433 140724556892736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20127744 140724556896582 140724556896808 140724556896808 140724556902378 0
/proc/43115/statm: 75552 62623 2528 1147 0 62979 0
Current children cumulated CPU time: 221.68 s
################
# More data... #
################
[startup+3282.3 s]
/proc/loadavg: 4.11 4.13 4.12 5/254 43275
/proc/meminfo: memFree=113560300/131382112 swapFree=33010684/33010684
[pid=43112] ppid=43109 vsize=4192 memory=2944 CPUtime=0.47 cores=5,7
/proc/43112/stat : 43112 (run-opt-ls.sh) S 43109 43112 42252 0 -1 4194304 236 25702 0 0 0 0 38 9 20 0 1 0 45823854 4292608 736 18446744073709551615 94213566132224 94213567026757 140736052044608 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94213567265808 94213567313552 94213581606912 140736052046183 140736052046309 140736052046309 140736052051911 0
/proc/43112/statm: 1048 736 672 219 0 110 0
[pid=43115] ppid=43112 vsize=1598400 memory=1507832 CPUtime=3272.63 cores=5,7
/proc/43115/stat : 43115 (roundingsat) R 43112 43112 42252 0 -1 4194304 246969 0 0 0 316320 10943 0 0 20 0 1 0 45823903 1636761600 376958 18446744073709551615 4227072 8923433 140724556892736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20127744 140724556896582 140724556896808 140724556896808 140724556902378 0
/proc/43115/statm: 399600 376958 2560 1147 0 387027 0
Current children cumulated CPU time: 3273.1 s
Current children cumulated vsize: 1602592 KiB
Current children cumulated memory: 1510776 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.13 4.12 5/254 43277
/proc/meminfo: memFree=113516352/131382112 swapFree=33010684/33010684
[pid=43112] ppid=43109 vsize=4192 memory=2944 CPUtime=0.47 cores=5,7
/proc/43112/stat : 43112 (run-opt-ls.sh) S 43109 43112 42252 0 -1 4194304 236 25702 0 0 0 0 38 9 20 0 1 0 45823854 4292608 736 18446744073709551615 94213566132224 94213567026757 140736052044608 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94213567265808 94213567313552 94213581606912 140736052046183 140736052046309 140736052046309 140736052051911 0
/proc/43112/statm: 1048 736 672 219 0 110 0
[pid=43115] ppid=43112 vsize=1598400 memory=1507832 CPUtime=3332.47 cores=5,7
/proc/43115/stat : 43115 (roundingsat) R 43112 43112 42252 0 -1 4194304 246986 0 0 0 322065 11182 0 0 20 0 1 0 45823903 1636761600 376958 18446744073709551615 4227072 8923433 140724556892736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20127744 140724556896582 140724556896808 140724556896808 140724556902378 0
/proc/43115/statm: 399600 376958 2560 1147 0 387027 0
Current children cumulated CPU time: 3332.94 s
Current children cumulated vsize: 1602592 KiB
Current children cumulated memory: 1510776 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.12 4.11 5/254 43279
/proc/meminfo: memFree=113517196/131382112 swapFree=33010684/33010684
[pid=43112] ppid=43109 vsize=4192 memory=2944 CPUtime=0.47 cores=5,7
/proc/43112/stat : 43112 (run-opt-ls.sh) S 43109 43112 42252 0 -1 4194304 236 25702 0 0 0 0 38 9 20 0 1 0 45823854 4292608 736 18446744073709551615 94213566132224 94213567026757 140736052044608 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94213567265808 94213567313552 94213581606912 140736052046183 140736052046309 140736052046309 140736052051911 0
/proc/43112/statm: 1048 736 672 219 0 110 0
[pid=43115] ppid=43112 vsize=1598400 memory=1507832 CPUtime=3392.33 cores=5,7
/proc/43115/stat : 43115 (roundingsat) R 43112 43112 42252 0 -1 4194304 246989 0 0 0 327818 11415 0 0 20 0 1 0 45823903 1636761600 376958 18446744073709551615 4227072 8923433 140724556892736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20127744 140724556896582 140724556896808 140724556896808 140724556902378 0
/proc/43115/statm: 399600 376958 2560 1147 0 387027 0
Current children cumulated CPU time: 3392.8 s
Current children cumulated vsize: 1602592 KiB
Current children cumulated memory: 1510776 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.13 4.11 5/254 43281
/proc/meminfo: memFree=113465968/131382112 swapFree=33010684/33010684
[pid=43112] ppid=43109 vsize=4192 memory=2944 CPUtime=0.47 cores=5,7
/proc/43112/stat : 43112 (run-opt-ls.sh) S 43109 43112 42252 0 -1 4194304 236 25702 0 0 0 0 38 9 20 0 1 0 45823854 4292608 736 18446744073709551615 94213566132224 94213567026757 140736052044608 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94213567265808 94213567313552 94213581606912 140736052046183 140736052046309 140736052046309 140736052051911 0
/proc/43112/statm: 1048 736 672 219 0 110 0
[pid=43115] ppid=43112 vsize=1609372 memory=1518412 CPUtime=3452.17 cores=5,7
/proc/43115/stat : 43115 (roundingsat) R 43112 43112 42252 0 -1 4194304 249119 0 0 0 333554 11663 0 0 20 0 1 0 45823903 1647996928 379603 18446744073709551615 4227072 8923433 140724556892736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20127744 140724556896582 140724556896808 140724556896808 140724556902378 0
/proc/43115/statm: 402343 379603 2560 1147 0 389770 0
Current children cumulated CPU time: 3452.64 s
Current children cumulated vsize: 1613564 KiB
Current children cumulated memory: 1521356 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.12 4.11 5/254 43290
/proc/meminfo: memFree=113440520/131382112 swapFree=33010684/33010684
[pid=43112] ppid=43109 vsize=4192 memory=2944 CPUtime=0.47 cores=5,7
/proc/43112/stat : 43112 (run-opt-ls.sh) S 43109 43112 42252 0 -1 4194304 236 25702 0 0 0 0 38 9 20 0 1 0 45823854 4292608 736 18446744073709551615 94213566132224 94213567026757 140736052044608 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94213567265808 94213567313552 94213581606912 140736052046183 140736052046309 140736052046309 140736052051911 0
/proc/43112/statm: 1048 736 672 219 0 110 0
[pid=43115] ppid=43112 vsize=1614540 memory=1523532 CPUtime=3512.01 cores=5,7
/proc/43115/stat : 43115 (roundingsat) R 43112 43112 42252 0 -1 4194304 250930 0 0 0 339289 11912 0 0 20 0 1 0 45823903 1653288960 380883 18446744073709551615 4227072 8923433 140724556892736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20127744 140724556896582 140724556896808 140724556896808 140724556902378 0
/proc/43115/statm: 403635 380883 2560 1147 0 391062 0
Current children cumulated CPU time: 3512.48 s
Current children cumulated vsize: 1618732 KiB
Current children cumulated memory: 1526476 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.11 4.10 5/254 43292
/proc/meminfo: memFree=113371980/131382112 swapFree=33010684/33010684
[pid=43112] ppid=43109 vsize=4192 memory=2944 CPUtime=0.47 cores=5,7
/proc/43112/stat : 43112 (run-opt-ls.sh) S 43109 43112 42252 0 -1 4194304 236 25702 0 0 0 0 38 9 20 0 1 0 45823854 4292608 736 18446744073709551615 94213566132224 94213567026757 140736052044608 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94213567265808 94213567313552 94213581606912 140736052046183 140736052046309 140736052046309 140736052051911 0
/proc/43112/statm: 1048 736 672 219 0 110 0
[pid=43115] ppid=43112 vsize=1691248 memory=1591584 CPUtime=3571.85 cores=5,7
/proc/43115/stat : 43115 (roundingsat) R 43112 43112 42252 0 -1 4194304 264499 0 0 0 345112 12073 0 0 20 0 1 0 45823903 1731837952 397896 18446744073709551615 4227072 8923433 140724556892736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20127744 140724556896582 140724556896808 140724556896808 140724556902378 0
/proc/43115/statm: 422812 397896 2560 1147 0 410239 0
Current children cumulated CPU time: 3572.32 s
Current children cumulated vsize: 1695440 KiB
Current children cumulated memory: 1594528 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 3.86 4.06 4.09 2/233 43386
/proc/meminfo: memFree=127699660/131382112 swapFree=33010684/33010684
[pid=43112] ppid=43109 vsize=4192 memory=2944 CPUtime=0.47 cores=5,7
/proc/43112/stat : 43112 (run-opt-ls.sh) S 43109 43112 42252 0 -1 4194304 236 25702 0 0 0 0 38 9 20 0 1 0 45823854 4292608 736 18446744073709551615 94213566132224 94213567026757 140736052044608 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94213567265808 94213567313552 94213581606912 140736052046183 140736052046309 140736052046309 140736052051911 0
/proc/43112/statm: 1048 736 672 219 0 110 0
[pid=43115] ppid=43112 vsize=1699888 memory=1600700 CPUtime=3599.56 cores=5,7
/proc/43115/stat : 43115 (roundingsat) R 43112 43112 42252 0 -1 4194304 265229 0 0 0 347795 12161 0 0 20 0 1 0 45823903 1740685312 400175 18446744073709551615 4227072 8923433 140724556892736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20127744 140724556896582 140724556896808 140724556896808 140724556902378 0
/proc/43115/statm: 424972 400175 2560 1147 0 412399 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1704080 KiB
Current children cumulated memory: 1603644 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.12 s]
# the end of solver process 43112 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.386235 s, system=0.093981 s
Sleeping 2 seconds
[startup+3611.55 s]
# the end of solver process 43115 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3479.75 s, system=121.729 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+3610.4 s]
/proc/loadavg: 3.86 4.06 4.09 2/232 43386
/proc/meminfo: memFree=127699660/131382112 swapFree=33010684/33010684
[pid=43115] ppid=43109 vsize=1699888 memory=1600700 CPUtime=3599.85 cores=5,7
/proc/43115/stat : 43115 (roundingsat) R 43109 43112 42252 0 -1 4194304 265229 0 0 0 347824 12161 0 0 20 0 1 0 45823903 1740685312 400175 18446744073709551615 4227072 8923433 140724556892736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20127744 140724556896582 140724556896808 140724556896808 140724556902378 0
/proc/43115/statm: 424972 400175 2560 1147 0 412399 0
Current cumulated CPU time of completed processes: 0.480216 s
Current children cumulated CPU time: 3599.85 s
Current children cumulated vsize: 1699888 KiB
Current children cumulated memory: 1600700 KiB
[startup+3611.2 s]
/proc/loadavg: 3.86 4.06 4.09 2/232 43386
/proc/meminfo: memFree=127699756/131382112 swapFree=33010684/33010684
[pid=43115] ppid=43109 vsize=1699888 memory=1600700 CPUtime=3600.64 cores=5,7
/proc/43115/stat : 43115 (roundingsat) R 43109 43112 42252 0 -1 4194304 265229 0 0 0 347903 12161 0 0 20 0 1 0 45823903 1740685312 400175 18446744073709551615 4227072 8923433 140724556892736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20127744 140724556896582 140724556896808 140724556896808 140724556902378 0
/proc/43115/statm: 424972 400175 2560 1147 0 412399 0
Current cumulated CPU time of completed processes: 0.480216 s
Current children cumulated CPU time: 3600.64 s
Current children cumulated vsize: 1699888 KiB
Current children cumulated memory: 1600700 KiB
[startup+3611.4 s]
/proc/loadavg: 3.86 4.06 4.09 2/232 43386
/proc/meminfo: memFree=127699756/131382112 swapFree=33010684/33010684
[pid=43115] ppid=43109 vsize=1699888 memory=1600700 CPUtime=3600.84 cores=5,7
/proc/43115/stat : 43115 (roundingsat) R 43109 43112 42252 0 -1 4194304 265229 0 0 0 347923 12161 0 0 20 0 1 0 45823903 1740685312 400175 18446744073709551615 4227072 8923433 140724556892736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20127744 140724556896582 140724556896808 140724556896808 140724556902378 0
/proc/43115/statm: 424972 400175 2560 1147 0 412399 0
Current cumulated CPU time of completed processes: 0.480216 s
Current children cumulated CPU time: 3600.84 s
Current children cumulated vsize: 1699888 KiB
Current children cumulated memory: 1600700 KiB
[startup+3611.5 s]
/proc/loadavg: 3.86 4.06 4.09 2/232 43386
/proc/meminfo: memFree=127699756/131382112 swapFree=33010684/33010684
[pid=43115] ppid=43109 vsize=1699888 memory=1600700 CPUtime=3600.94 cores=5,7
/proc/43115/stat : 43115 (roundingsat) R 43109 43112 42252 0 -1 4194304 265229 0 0 0 347933 12161 0 0 20 0 1 0 45823903 1740685312 400175 18446744073709551615 4227072 8923433 140724556892736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20127744 140724556896582 140724556896808 140724556896808 140724556902378 0
/proc/43115/statm: 424972 400175 2560 1147 0 412399 0
Current cumulated CPU time of completed processes: 0.480216 s
Current children cumulated CPU time: 3600.94 s
Current children cumulated vsize: 1699888 KiB
Current children cumulated memory: 1600700 KiB
Child status: 2
Real time (s): 3611.55
CPU time (s): 3601.48
CPU user time (s): 3479.75
CPU system time (s): 121.729
CPU usage (%): 99.7211
Max. virtual memory (cumulated for all children) (KiB): 1704080
Max. memory (cumulated for all children) (KiB): 1603644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3479.75
system time used= 121.729
maximum resident set size= 1600828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 291187
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 310
involuntary context switches= 2496
# summary of solver processes directly reported to runsolver:
# pid: 43112,43115
# total CPU time (s): 3601.48
# total CPU user time (s): 3479.75
# total CPU system time (s): 121.729
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.2673 second user time and 35.1758 second system time
The end
Begin job on nodeC005 at 2025-06-30 18:37:25
IDJOB=4485322
IDBENCH=146784
IDSOLVER=3355
FILE ID=nodeC005/4485322-1751301445
RUNJOBID= nodeC005-1751294213-42265
SLURM_JOB_ID= 9594270
Free space on /tmp= 432608 MiB
SOLVER NAME= roundingsat-ls+pbsuma 63f22ad
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.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4485322-1751301445/watcher-4485322-1751301445 -o /tmp/evaluation-result-4485322-1751301445/solver-4485322-1751301445 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751294213-42265 --watchdog 3760 run-opt-ls.sh HOME/instance-4485322-1751301445.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 46c70d7f28752ee0ae29660ce5b35655
RANDOM SEED=297936150
nodeC005 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3643.194
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3691.476
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.167
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.732
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3643.147
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1496.548
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.651
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.770
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 129016772 kB
MemAvailable: 129671084 kB
Buffers: 3280 kB
Cached: 1456140 kB
SwapCached: 0 kB
Active: 585392 kB
Inactive: 1156780 kB
Active(anon): 300756 kB
Inactive(anon): 0 kB
Active(file): 284636 kB
Inactive(file): 1156780 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 47776 kB
Writeback: 0 kB
AnonPages: 286032 kB
Mapped: 116796 kB
Shmem: 17960 kB
KReclaimable: 105048 kB
Slab: 188104 kB
SReclaimable: 105048 kB
SUnreclaim: 83056 kB
KernelStack: 4096 kB
PageTables: 3724 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 646008 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149464 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 49152 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: 201544 kB
DirectMap2M: 8089600 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432632 MiB
End job on nodeC005 at 2025-06-30 19:37:36