0.00/0.02 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02 c │ pbsuma -- a PB interface for satsuma │
0.00/0.02 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.02 c │ (c) 2025 Markus Anders │
0.00/0.02 c └────────────────────────────────────────────────────────────────┘
0.00/0.02 c parse 'HOME/instance-4544184-1753219810.opb'
0.00/0.03 c read 0.26MB (11.67ms)
0.00/0.03 c [cnf: #variables 9003 #clauses 6754 #duplicates 0 #arr 24008]
0.00/0.03 c output proof to '/tmp/proof-4544184-1753219810'
0.00/0.03 c
0.00/0.03 c make graph and approximate orbits
0.00/0.05 c [group: #orbits ~= 0] (24.52ms)
0.00/0.05 c
0.00/0.05 c detect special group actions
0.00/0.05 c probe for Johnson action (limit=64)
0.00/0.05 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.06 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.06 c (3.68ms)
0.00/0.06 c
0.00/0.06 c detect symmetries on remainder
0.00/0.06 c [graph: #vertices 42766 #edges 102034]
0.00/0.06 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.06 c [group: #symmetries 1.00*10^0 #generators 0] (5.89ms)
0.00/0.06 c
0.00/0.06 c finalize break order and special generators
0.00/0.06 c
0.00/0.06 c generation finished
0.00/0.06 c [sbp: #constraints 0 #add_vars 0]
0.00/0.07 c
0.00/0.07 c write result to 'HOME/instance-4544184-1753219810.opb.pre'
0.00/0.07 c wrote 0.26MB (1.98ms)
0.00/0.07 c ------------------------------------------------------------------
0.00/0.07 c 24.52ms 47.99% approx_orbits
0.00/0.07 c 11.67ms 22.84% parse
0.00/0.07 c 5.89ms 11.54% detect_generic
0.00/0.07 c 3.68ms 7.21% detect_special
0.00/0.07 c 2.43ms 4.76% other
0.00/0.07 c 1.98ms 3.88% output
0.00/0.07 c 0.92ms 1.79% finalize_order
0.00/0.07 c ───────────────────────────────────────────────
0.00/0.07 c 51.08ms 100% total
0.00/0.07 c ------------------------------------------------------------------
0.00/0.09 c RoundingSat 2
0.00/0.09 c branch pb25
0.00/0.09 c commit 63f22ad
0.17/0.26 c #variables 9003 #constraints 7505
324.66/325.70 c #Conflicts: 1000 | #Constraints: 8504
324.66/325.70 c #Conflicts: 2000 | #Constraints: 9504
324.66/325.70 c INPROCESSING
324.66/325.70 c GARBAGE COLLECT
324.66/325.70 c #Conflicts: 3000 | #Constraints: 9508
324.66/325.70 c #Conflicts: 4000 | #Constraints: 10508
324.66/325.70 c INPROCESSING
324.66/325.70 c GARBAGE COLLECT
324.66/325.70 c #Conflicts: 5000 | #Constraints: 9918
324.66/325.70 c #Conflicts: 6000 | #Constraints: 10918
324.66/325.70 c INPROCESSING
324.66/325.70 c GARBAGE COLLECT
324.66/325.70 c #Conflicts: 7000 | #Constraints: 9927
324.66/325.70 c #Conflicts: 8000 | #Constraints: 10927
324.66/325.70 c #Conflicts: 9000 | #Constraints: 11927
324.66/325.70 c INPROCESSING
324.66/325.70 c GARBAGE COLLECT
324.66/325.70 c #Conflicts: 10000 | #Constraints: 10710
324.66/325.70 c #Conflicts: 11000 | #Constraints: 11710
324.66/325.70 c #Conflicts: 12000 | #Constraints: 12710
324.66/325.70 c INPROCESSING
324.66/325.70 c GARBAGE COLLECT
324.66/325.70 c #Conflicts: 13000 | #Constraints: 11166
324.66/325.70 c #Conflicts: 14000 | #Constraints: 12166
324.66/325.70 c #Conflicts: 15000 | #Constraints: 13166
324.66/325.70 c INPROCESSING
324.66/325.70 c GARBAGE COLLECT
324.66/325.70 c #Conflicts: 16000 | #Constraints: 11441
324.66/325.70 c #Conflicts: 17000 | #Constraints: 12441
324.66/325.70 c #Conflicts: 18000 | #Constraints: 13441
324.66/325.70 c INPROCESSING
324.66/325.70 c GARBAGE COLLECT
324.66/325.70 c #Conflicts: 19000 | #Constraints: 11481
324.66/325.70 c #Conflicts: 20000 | #Constraints: 12481
324.66/325.70 c #Conflicts: 21000 | #Constraints: 13482
324.66/325.70 c INPROCESSING
324.66/325.70 c GARBAGE COLLECT
324.66/325.70 c #Conflicts: 22000 | #Constraints: 11270
324.66/325.70 c #Conflicts: 23000 | #Constraints: 12270
324.66/325.70 c #Conflicts: 24000 | #Constraints: 13270
324.66/325.70 c #Conflicts: 25000 | #Constraints: 14270
324.66/325.70 c INPROCESSING
324.66/325.70 c GARBAGE COLLECT
324.66/325.70 c #Conflicts: 26000 | #Constraints: 11890
324.66/325.70 c #Conflicts: 27000 | #Constraints: 12890
324.66/325.70 c #Conflicts: 28000 | #Constraints: 13890
324.66/325.70 c #Conflicts: 29000 | #Constraints: 14890
324.66/325.70 c INPROCESSING
324.66/325.70 c GARBAGE COLLECT
324.66/325.70 c #Conflicts: 30000 | #Constraints: 12359
324.66/325.70 c #Conflicts: 31000 | #Constraints: 13359
324.66/325.70 c #Conflicts: 32000 | #Constraints: 14359
324.66/325.70 c #Conflicts: 33000 | #Constraints: 15359
324.66/325.70 c INPROCESSING
324.66/325.70 c GARBAGE COLLECT
324.66/325.70 c #Conflicts: 34000 | #Constraints: 12585
324.66/325.70 c #Conflicts: 35000 | #Constraints: 13585
324.66/325.70 c #Conflicts: 36000 | #Constraints: 14585
324.66/325.70 c #Conflicts: 37000 | #Constraints: 15585
324.66/325.70 c INPROCESSING
324.66/325.70 c GARBAGE COLLECT
324.66/325.70 c #Conflicts: 38000 | #Constraints: 12607
324.66/325.70 c #Conflicts: 39000 | #Constraints: 13607
324.66/325.70 c #Conflicts: 40000 | #Constraints: 14607
324.66/325.70 c #Conflicts: 41000 | #Constraints: 15607
324.66/325.70 c INPROCESSING
324.66/325.70 c GARBAGE COLLECT
324.66/325.70 c #Conflicts: 42000 | #Constraints: 12300
324.66/325.70 c #Conflicts: 43000 | #Constraints: 13300
324.66/325.70 c #Conflicts: 44000 | #Constraints: 14300
324.66/325.70 c #Conflicts: 45000 | #Constraints: 15300
324.66/325.70 c #Conflicts: 46000 | #Constraints: 16300
324.66/325.70 c INPROCESSING
324.66/325.70 c GARBAGE COLLECT
324.66/325.70 c #Conflicts: 47000 | #Constraints: 12845
324.66/325.70 c #Conflicts: 48000 | #Constraints: 13845
324.66/325.70 c #Conflicts: 49000 | #Constraints: 14845
324.66/325.70 c #Conflicts: 50000 | #Constraints: 15845
324.66/325.70 c #Conflicts: 51000 | #Constraints: 16845
324.66/325.70 c INPROCESSING
324.66/325.70 c GARBAGE COLLECT
324.66/325.70 c #Conflicts: 52000 | #Constraints: 13221
324.66/325.70 c #Conflicts: 53000 | #Constraints: 14222
324.66/325.70 c #Conflicts: 54000 | #Constraints: 15222
324.66/325.70 c #Conflicts: 55000 | #Constraints: 16222
324.66/325.70 c #Conflicts: 56000 | #Constraints: 17222
324.66/325.70 c INPROCESSING
324.66/325.70 c GARBAGE COLLECT
324.66/325.70 c #Conflicts: 57000 | #Constraints: 13401
324.66/325.70 c #Conflicts: 58000 | #Constraints: 14401
324.66/325.70 c #Conflicts: 59000 | #Constraints: 15401
324.66/325.70 c #Conflicts: 60000 | #Constraints: 16401
324.66/325.70 c #Conflicts: 61000 | #Constraints: 17401
324.66/325.70 c INPROCESSING
324.66/325.70 c GARBAGE COLLECT
324.66/325.70 c #Conflicts: 62000 | #Constraints: 13396
324.66/325.70 c #Conflicts: 63000 | #Constraints: 14396
324.66/325.70 c #Conflicts: 64000 | #Constraints: 15396
324.66/325.70 c #Conflicts: 65000 | #Constraints: 16396
324.66/325.70 c #Conflicts: 66000 | #Constraints: 17396
324.66/325.70 c INPROCESSING
324.66/325.70 c GARBAGE COLLECT
324.66/325.70 c #Conflicts: 67000 | #Constraints: 13264
324.66/325.70 c #Conflicts: 68000 | #Constraints: 14264
528.66/530.32 c #Conflicts: 69000 | #Constraints: 15264
528.66/530.32 c #Conflicts: 70000 | #Constraints: 16264
528.66/530.32 c #Conflicts: 71000 | #Constraints: 17264
528.66/530.32 c #Conflicts: 72000 | #Constraints: 18264
528.66/530.32 c INPROCESSING
528.66/530.32 c GARBAGE COLLECT
528.66/530.32 c #Conflicts: 73000 | #Constraints: 13884
528.66/530.32 c #Conflicts: 74000 | #Constraints: 14884
528.66/530.32 c #Conflicts: 75000 | #Constraints: 15884
528.66/530.32 c #Conflicts: 76000 | #Constraints: 16884
528.66/530.32 c #Conflicts: 77000 | #Constraints: 17884
528.66/530.32 c #Conflicts: 78000 | #Constraints: 18884
528.66/530.32 c INPROCESSING
528.66/530.32 c GARBAGE COLLECT
528.66/530.32 c #Conflicts: 79000 | #Constraints: 14218
528.66/530.32 c #Conflicts: 80000 | #Constraints: 15218
528.66/530.32 c #Conflicts: 81000 | #Constraints: 16218
528.66/530.32 c #Conflicts: 82000 | #Constraints: 17218
528.66/530.32 c #Conflicts: 83000 | #Constraints: 18218
528.66/530.32 c #Conflicts: 84000 | #Constraints: 19218
528.66/530.32 c INPROCESSING
528.66/530.32 c GARBAGE COLLECT
528.66/530.32 c #Conflicts: 85000 | #Constraints: 14385
528.66/530.32 c #Conflicts: 86000 | #Constraints: 15385
528.66/530.32 c #Conflicts: 87000 | #Constraints: 16386
528.66/530.32 c #Conflicts: 88000 | #Constraints: 17386
528.66/530.32 c #Conflicts: 89000 | #Constraints: 18386
528.66/530.32 c #Conflicts: 90000 | #Constraints: 19386
528.66/530.32 c INPROCESSING
528.66/530.32 c GARBAGE COLLECT
528.66/530.32 c #Conflicts: 91000 | #Constraints: 14374
528.66/530.32 c #Conflicts: 92000 | #Constraints: 15374
528.66/530.32 c #Conflicts: 93000 | #Constraints: 16374
528.66/530.32 c #Conflicts: 94000 | #Constraints: 17375
528.66/530.32 c #Conflicts: 95000 | #Constraints: 18375
528.66/530.32 c #Conflicts: 96000 | #Constraints: 19375
528.66/530.32 c INPROCESSING
528.66/530.32 c GARBAGE COLLECT
528.66/530.32 c #Conflicts: 97000 | #Constraints: 14172
528.66/530.32 c #Conflicts: 98000 | #Constraints: 15173
528.66/530.32 c #Conflicts: 99000 | #Constraints: 16173
528.66/530.32 c #Conflicts: 100000 | #Constraints: 17173
528.66/530.32 c #Conflicts: 101000 | #Constraints: 18173
528.66/530.32 c #Conflicts: 102000 | #Constraints: 19173
528.66/530.32 c #Conflicts: 103000 | #Constraints: 20173
528.66/530.32 c INPROCESSING
528.66/530.32 c GARBAGE COLLECT
528.66/530.32 c #Conflicts: 104000 | #Constraints: 14778
528.66/530.32 c #Conflicts: 105000 | #Constraints: 15778
528.66/530.32 c #Conflicts: 106000 | #Constraints: 16778
528.66/530.32 c #Conflicts: 107000 | #Constraints: 17779
528.66/530.32 c #Conflicts: 108000 | #Constraints: 18779
528.66/530.32 c #Conflicts: 109000 | #Constraints: 19779
528.66/530.32 c #Conflicts: 110000 | #Constraints: 20779
528.66/530.32 c INPROCESSING
528.66/530.32 c GARBAGE COLLECT
528.66/530.32 c #Conflicts: 111000 | #Constraints: 15181
528.66/530.32 c #Conflicts: 112000 | #Constraints: 16181
528.66/530.32 c #Conflicts: 113000 | #Constraints: 17181
528.66/530.32 c #Conflicts: 114000 | #Constraints: 18181
528.66/530.32 c #Conflicts: 115000 | #Constraints: 19182
528.66/530.32 c #Conflicts: 116000 | #Constraints: 20182
528.66/530.32 c #Conflicts: 117000 | #Constraints: 21182
528.66/530.32 c INPROCESSING
528.66/530.32 c GARBAGE COLLECT
528.66/530.32 c #Conflicts: 118000 | #Constraints: 15380
528.66/530.32 c #Conflicts: 119000 | #Constraints: 16381
528.66/530.32 c #Conflicts: 120000 | #Constraints: 17381
528.66/530.32 c #Conflicts: 121000 | #Constraints: 18381
528.66/530.32 c #Conflicts: 122000 | #Constraints: 19381
528.66/530.32 c #Conflicts: 123000 | #Constraints: 20381
528.66/530.32 c #Conflicts: 124000 | #Constraints: 21381
528.66/530.32 c INPROCESSING
528.66/530.32 c GARBAGE COLLECT
528.66/530.32 c #Conflicts: 125000 | #Constraints: 15392
528.66/530.32 c #Conflicts: 126000 | #Constraints: 16393
528.66/530.32 c #Conflicts: 127000 | #Constraints: 17393
528.66/530.32 c #Conflicts: 128000 | #Constraints: 18393
528.66/530.32 c #Conflicts: 129000 | #Constraints: 19393
528.66/530.32 c #Conflicts: 130000 | #Constraints: 20393
528.66/530.32 c #Conflicts: 131000 | #Constraints: 21393
528.66/530.32 c INPROCESSING
528.66/530.32 c GARBAGE COLLECT
528.66/530.32 c rational objective 4501.5
794.50/796.99 c #Conflicts: 132000 | #Constraints: 15203
794.50/796.99 c #Conflicts: 133000 | #Constraints: 16203
794.50/796.99 c #Conflicts: 134000 | #Constraints: 17204
794.50/796.99 c #Conflicts: 135000 | #Constraints: 18204
794.50/796.99 c #Conflicts: 136000 | #Constraints: 19204
794.50/796.99 c #Conflicts: 137000 | #Constraints: 20204
794.50/796.99 c #Conflicts: 138000 | #Constraints: 21204
794.50/796.99 c #Conflicts: 139000 | #Constraints: 22204
794.50/796.99 c INPROCESSING
794.50/796.99 c GARBAGE COLLECT
794.50/796.99 c #Conflicts: 140000 | #Constraints: 15774
794.50/796.99 c #Conflicts: 141000 | #Constraints: 16774
794.50/796.99 c #Conflicts: 142000 | #Constraints: 17775
794.50/796.99 c #Conflicts: 143000 | #Constraints: 18775
794.50/796.99 c #Conflicts: 144000 | #Constraints: 19775
794.50/796.99 c #Conflicts: 145000 | #Constraints: 20775
794.50/796.99 c #Conflicts: 146000 | #Constraints: 21775
794.50/796.99 c #Conflicts: 147000 | #Constraints: 22775
794.50/796.99 c INPROCESSING
794.50/796.99 c GARBAGE COLLECT
794.50/796.99 c #Conflicts: 148000 | #Constraints: 16258
794.50/796.99 c #Conflicts: 149000 | #Constraints: 17258
794.50/796.99 c #Conflicts: 150000 | #Constraints: 18258
794.50/796.99 c #Conflicts: 151000 | #Constraints: 19259
794.50/796.99 c #Conflicts: 152000 | #Constraints: 20259
794.50/796.99 c #Conflicts: 153000 | #Constraints: 21259
794.50/796.99 c #Conflicts: 154000 | #Constraints: 22259
794.50/796.99 c #Conflicts: 155000 | #Constraints: 23259
794.50/796.99 c INPROCESSING
794.50/796.99 c GARBAGE COLLECT
794.50/796.99 c #Conflicts: 156000 | #Constraints: 16477
794.50/796.99 c #Conflicts: 157000 | #Constraints: 17477
794.50/796.99 c #Conflicts: 158000 | #Constraints: 18477
794.50/796.99 c #Conflicts: 159000 | #Constraints: 19477
794.50/796.99 c #Conflicts: 160000 | #Constraints: 20477
794.50/796.99 c #Conflicts: 161000 | #Constraints: 21477
794.50/796.99 c #Conflicts: 162000 | #Constraints: 22477
794.50/796.99 c #Conflicts: 163000 | #Constraints: 23477
794.50/796.99 c INPROCESSING
794.50/796.99 c GARBAGE COLLECT
794.50/796.99 c #Conflicts: 164000 | #Constraints: 16475
794.50/796.99 c #Conflicts: 165000 | #Constraints: 17475
794.50/796.99 c #Conflicts: 166000 | #Constraints: 18475
794.50/796.99 c #Conflicts: 167000 | #Constraints: 19475
794.50/796.99 c #Conflicts: 168000 | #Constraints: 20475
794.50/796.99 c #Conflicts: 169000 | #Constraints: 21475
794.50/796.99 c #Conflicts: 170000 | #Constraints: 22475
794.50/796.99 c #Conflicts: 171000 | #Constraints: 23475
794.50/796.99 c INPROCESSING
794.50/796.99 c GARBAGE COLLECT
794.50/796.99 c #Conflicts: 172000 | #Constraints: 16269
794.50/796.99 c #Conflicts: 173000 | #Constraints: 17269
794.50/796.99 c #Conflicts: 174000 | #Constraints: 18269
794.50/796.99 c #Conflicts: 175000 | #Constraints: 19269
794.50/796.99 c #Conflicts: 176000 | #Constraints: 20270
794.50/796.99 c #Conflicts: 177000 | #Constraints: 21270
794.50/796.99 c #Conflicts: 178000 | #Constraints: 22270
794.50/796.99 c #Conflicts: 179000 | #Constraints: 23270
794.50/796.99 c #Conflicts: 180000 | #Constraints: 24270
794.50/796.99 c INPROCESSING
794.50/796.99 c GARBAGE COLLECT
794.50/796.99 c #Conflicts: 181000 | #Constraints: 16861
794.50/796.99 c #Conflicts: 182000 | #Constraints: 17861
794.50/796.99 c #Conflicts: 183000 | #Constraints: 18861
794.50/796.99 c #Conflicts: 184000 | #Constraints: 19862
794.50/796.99 c #Conflicts: 185000 | #Constraints: 20862
794.50/796.99 c #Conflicts: 186000 | #Constraints: 21862
794.50/796.99 c #Conflicts: 187000 | #Constraints: 22862
794.50/796.99 c #Conflicts: 188000 | #Constraints: 23862
794.50/796.99 c #Conflicts: 189000 | #Constraints: 24862
794.50/796.99 c INPROCESSING
794.50/796.99 c GARBAGE COLLECT
794.50/796.99 c #Conflicts: 190000 | #Constraints: 17250
794.50/796.99 c #Conflicts: 191000 | #Constraints: 18250
794.50/796.99 c #Conflicts: 192000 | #Constraints: 19250
794.50/796.99 c #Conflicts: 193000 | #Constraints: 20250
794.50/796.99 c #Conflicts: 194000 | #Constraints: 21250
794.50/796.99 c #Conflicts: 195000 | #Constraints: 22251
794.50/796.99 c #Conflicts: 196000 | #Constraints: 23251
794.50/796.99 c #Conflicts: 197000 | #Constraints: 24251
794.50/796.99 c #Conflicts: 198000 | #Constraints: 25251
794.50/796.99 c INPROCESSING
794.50/796.99 c GARBAGE COLLECT
794.50/796.99 c #Conflicts: 199000 | #Constraints: 17445
794.50/796.99 c #Conflicts: 200000 | #Constraints: 18445
794.50/796.99 c #Conflicts: 201000 | #Constraints: 19445
794.50/796.99 c #Conflicts: 202000 | #Constraints: 20445
794.50/796.99 c #Conflicts: 203000 | #Constraints: 21445
794.50/796.99 c #Conflicts: 204000 | #Constraints: 22445
794.50/796.99 c #Conflicts: 205000 | #Constraints: 23446
881.46/884.18 c #Conflicts: 206000 | #Constraints: 24446
881.46/884.18 c #Conflicts: 207000 | #Constraints: 25446
881.46/884.18 c INPROCESSING
881.46/884.18 c GARBAGE COLLECT
881.46/884.18 c #Conflicts: 208000 | #Constraints: 17449
881.46/884.18 c #Conflicts: 209000 | #Constraints: 18449
881.46/884.18 c #Conflicts: 210000 | #Constraints: 19449
881.46/884.18 c #Conflicts: 211000 | #Constraints: 20449
881.46/884.18 c #Conflicts: 212000 | #Constraints: 21449
881.46/884.18 c #Conflicts: 213000 | #Constraints: 22450
881.46/884.18 c #Conflicts: 214000 | #Constraints: 23450
881.46/884.18 c #Conflicts: 215000 | #Constraints: 24450
881.46/884.18 c #Conflicts: 216000 | #Constraints: 25450
881.46/884.18 c INPROCESSING
881.46/884.18 c GARBAGE COLLECT
881.46/884.18 c #Conflicts: 217000 | #Constraints: 17271
881.46/884.18 c #Conflicts: 218000 | #Constraints: 18271
881.46/884.18 c #Conflicts: 219000 | #Constraints: 19271
881.46/884.18 c #Conflicts: 220000 | #Constraints: 20271
881.46/884.18 c #Conflicts: 221000 | #Constraints: 21271
881.46/884.18 c #Conflicts: 222000 | #Constraints: 22271
881.46/884.18 c #Conflicts: 223000 | #Constraints: 23271
881.46/884.18 c #Conflicts: 224000 | #Constraints: 24271
881.46/884.18 c #Conflicts: 225000 | #Constraints: 25271
881.46/884.18 c #Conflicts: 226000 | #Constraints: 26271
881.46/884.18 c INPROCESSING
881.46/884.18 c GARBAGE COLLECT
881.46/884.18 c #Conflicts: 227000 | #Constraints: 17892
881.46/884.18 c #Conflicts: 228000 | #Constraints: 18892
881.46/884.18 c #Conflicts: 229000 | #Constraints: 19892
881.46/884.18 c #Conflicts: 230000 | #Constraints: 20892
881.46/884.18 c #Conflicts: 231000 | #Constraints: 21892
881.46/884.18 c #Conflicts: 232000 | #Constraints: 22892
881.46/884.18 c #Conflicts: 233000 | #Constraints: 23892
881.46/884.18 c #Conflicts: 234000 | #Constraints: 24893
881.46/884.18 c #Conflicts: 235000 | #Constraints: 25893
881.46/884.18 c #Conflicts: 236000 | #Constraints: 26893
881.46/884.18 c INPROCESSING
881.46/884.18 c GARBAGE COLLECT
881.46/884.18 c #Conflicts: 237000 | #Constraints: 18303
881.46/884.18 c #Conflicts: 238000 | #Constraints: 19303
881.46/884.18 c #Conflicts: 239000 | #Constraints: 20304
881.46/884.18 c #Conflicts: 240000 | #Constraints: 21304
881.46/884.18 c #Conflicts: 241000 | #Constraints: 22304
881.46/884.18 c #Conflicts: 242000 | #Constraints: 23304
881.46/884.18 c #Conflicts: 243000 | #Constraints: 24304
881.46/884.18 c #Conflicts: 244000 | #Constraints: 25304
881.46/884.18 c #Conflicts: 245000 | #Constraints: 26305
881.46/884.18 c #Conflicts: 246000 | #Constraints: 27305
881.46/884.18 c INPROCESSING
881.46/884.18 c GARBAGE COLLECT
881.46/884.18 c #Conflicts: 247000 | #Constraints: 18560
881.46/884.18 c #Conflicts: 248000 | #Constraints: 19560
881.46/884.18 c #Conflicts: 249000 | #Constraints: 20560
881.46/884.18 c #Conflicts: 250000 | #Constraints: 21560
881.46/884.18 c #Conflicts: 251000 | #Constraints: 22561
881.46/884.18 c #Conflicts: 252000 | #Constraints: 23561
881.46/884.18 c #Conflicts: 253000 | #Constraints: 24561
881.46/884.18 c #Conflicts: 254000 | #Constraints: 25561
881.46/884.18 c #Conflicts: 255000 | #Constraints: 26561
881.46/884.18 c #Conflicts: 256000 | #Constraints: 27561
881.46/884.18 c INPROCESSING
881.46/884.18 c GARBAGE COLLECT
881.46/884.18 c rational objective 4501.5
1088.38/1091.76 c #Conflicts: 257000 | #Constraints: 18627
1088.38/1091.76 c #Conflicts: 258000 | #Constraints: 19627
1088.38/1091.76 c #Conflicts: 259000 | #Constraints: 20627
1088.38/1091.76 c #Conflicts: 260000 | #Constraints: 21627
1088.38/1091.76 c #Conflicts: 261000 | #Constraints: 22627
1088.38/1091.76 c #Conflicts: 262000 | #Constraints: 23627
1088.38/1091.76 c #Conflicts: 263000 | #Constraints: 24627
1088.38/1091.76 c #Conflicts: 264000 | #Constraints: 25627
1088.38/1091.76 c #Conflicts: 265000 | #Constraints: 26627
1088.38/1091.76 c #Conflicts: 266000 | #Constraints: 27627
1088.38/1091.76 c INPROCESSING
1088.38/1091.76 c GARBAGE COLLECT
1088.38/1091.76 c #Conflicts: 267000 | #Constraints: 18288
1088.38/1091.76 c #Conflicts: 268000 | #Constraints: 19288
1088.38/1091.76 c #Conflicts: 269000 | #Constraints: 20289
1088.38/1091.76 c #Conflicts: 270000 | #Constraints: 21290
1088.38/1091.76 c #Conflicts: 271000 | #Constraints: 22290
1088.38/1091.76 c #Conflicts: 272000 | #Constraints: 23290
1088.38/1091.76 c #Conflicts: 273000 | #Constraints: 24290
1088.38/1091.76 c #Conflicts: 274000 | #Constraints: 25290
1088.38/1091.76 c #Conflicts: 275000 | #Constraints: 26290
1088.38/1091.76 c #Conflicts: 276000 | #Constraints: 27290
1088.38/1091.76 c #Conflicts: 277000 | #Constraints: 28290
1088.38/1091.76 c INPROCESSING
1088.38/1091.76 c GARBAGE COLLECT
1088.38/1091.76 c #Conflicts: 278000 | #Constraints: 18829
1088.38/1091.76 c #Conflicts: 279000 | #Constraints: 19829
1088.38/1091.76 c #Conflicts: 280000 | #Constraints: 20829
1088.38/1091.76 c #Conflicts: 281000 | #Constraints: 21830
1088.38/1091.76 c #Conflicts: 282000 | #Constraints: 22830
1088.38/1091.76 c #Conflicts: 283000 | #Constraints: 23830
1088.38/1091.76 c #Conflicts: 284000 | #Constraints: 24830
1088.38/1091.76 c #Conflicts: 285000 | #Constraints: 25830
1088.38/1091.76 c #Conflicts: 286000 | #Constraints: 26830
1088.38/1091.76 c #Conflicts: 287000 | #Constraints: 27830
1088.38/1091.76 c #Conflicts: 288000 | #Constraints: 28830
1088.38/1091.76 c INPROCESSING
1088.38/1091.76 c GARBAGE COLLECT
1088.38/1091.76 c #Conflicts: 289000 | #Constraints: 19224
1088.38/1091.76 c #Conflicts: 290000 | #Constraints: 20225
1088.38/1091.76 c #Conflicts: 291000 | #Constraints: 21225
1088.38/1091.76 c #Conflicts: 292000 | #Constraints: 22225
1088.38/1091.76 c #Conflicts: 293000 | #Constraints: 23225
1088.38/1091.76 c #Conflicts: 294000 | #Constraints: 24225
1088.38/1091.76 c #Conflicts: 295000 | #Constraints: 25225
1088.38/1091.76 c #Conflicts: 296000 | #Constraints: 26225
1088.38/1091.76 c #Conflicts: 297000 | #Constraints: 27225
1088.38/1091.76 c #Conflicts: 298000 | #Constraints: 28225
1088.38/1091.76 c #Conflicts: 299000 | #Constraints: 29225
1088.38/1091.76 c INPROCESSING
1088.38/1091.76 c GARBAGE COLLECT
1088.38/1091.76 c #Conflicts: 300000 | #Constraints: 19462
1088.38/1091.76 c #Conflicts: 301000 | #Constraints: 20462
1088.38/1091.76 c #Conflicts: 302000 | #Constraints: 21463
1088.38/1091.76 c #Conflicts: 303000 | #Constraints: 22463
1088.38/1091.76 c #Conflicts: 304000 | #Constraints: 23463
1088.38/1091.76 c #Conflicts: 305000 | #Constraints: 24463
1088.38/1091.76 c #Conflicts: 306000 | #Constraints: 25464
1088.38/1091.76 c #Conflicts: 307000 | #Constraints: 26464
1088.38/1091.76 c #Conflicts: 308000 | #Constraints: 27464
1088.38/1091.76 c #Conflicts: 309000 | #Constraints: 28464
1088.38/1091.76 c #Conflicts: 310000 | #Constraints: 29464
1088.38/1091.76 c INPROCESSING
1088.38/1091.76 c GARBAGE COLLECT
1088.38/1091.76 c rational objective 4501.5
1273.42/1277.36 c #Conflicts: 311000 | #Constraints: 19468
1273.42/1277.36 c #Conflicts: 312000 | #Constraints: 20469
1273.42/1277.36 c #Conflicts: 313000 | #Constraints: 21469
1273.42/1277.36 c #Conflicts: 314000 | #Constraints: 22469
1273.42/1277.36 c #Conflicts: 315000 | #Constraints: 23470
1273.42/1277.36 c #Conflicts: 316000 | #Constraints: 24470
1273.42/1277.36 c #Conflicts: 317000 | #Constraints: 25470
1273.42/1277.36 c #Conflicts: 318000 | #Constraints: 26470
1273.42/1277.36 c #Conflicts: 319000 | #Constraints: 27471
1273.42/1277.36 c #Conflicts: 320000 | #Constraints: 28471
1273.42/1277.36 c #Conflicts: 321000 | #Constraints: 29471
1273.42/1277.36 c INPROCESSING
1273.42/1277.36 c GARBAGE COLLECT
1273.42/1277.36 c #Conflicts: 322000 | #Constraints: 19206
1273.42/1277.36 c #Conflicts: 323000 | #Constraints: 20206
1273.42/1277.36 c #Conflicts: 324000 | #Constraints: 21206
1273.42/1277.36 c #Conflicts: 325000 | #Constraints: 22206
1273.42/1277.36 c #Conflicts: 326000 | #Constraints: 23206
1273.42/1277.36 c #Conflicts: 327000 | #Constraints: 24206
1273.42/1277.36 c #Conflicts: 328000 | #Constraints: 25206
1273.42/1277.36 c #Conflicts: 329000 | #Constraints: 26207
1273.42/1277.36 c #Conflicts: 330000 | #Constraints: 27207
1273.42/1277.36 c #Conflicts: 331000 | #Constraints: 28207
1273.42/1277.36 c #Conflicts: 332000 | #Constraints: 29207
1273.42/1277.36 c #Conflicts: 333000 | #Constraints: 30207
1273.42/1277.36 c INPROCESSING
1273.42/1277.36 c GARBAGE COLLECT
1273.42/1277.36 c #Conflicts: 334000 | #Constraints: 19789
1273.42/1277.36 c #Conflicts: 335000 | #Constraints: 20790
1273.42/1277.36 c #Conflicts: 336000 | #Constraints: 21790
1273.42/1277.36 c #Conflicts: 337000 | #Constraints: 22791
1273.42/1277.36 c #Conflicts: 338000 | #Constraints: 23791
1273.42/1277.36 c #Conflicts: 339000 | #Constraints: 24791
1273.42/1277.36 c #Conflicts: 340000 | #Constraints: 25791
1273.42/1277.36 c #Conflicts: 341000 | #Constraints: 26791
1273.42/1277.36 c #Conflicts: 342000 | #Constraints: 27792
1273.42/1277.36 c #Conflicts: 343000 | #Constraints: 28792
1273.42/1277.36 c #Conflicts: 344000 | #Constraints: 29792
1273.42/1277.36 c #Conflicts: 345000 | #Constraints: 30792
1273.42/1277.36 c INPROCESSING
1273.42/1277.36 c GARBAGE COLLECT
1273.42/1277.36 c #Conflicts: 346000 | #Constraints: 20212
1273.42/1277.36 c #Conflicts: 347000 | #Constraints: 21212
1273.42/1277.36 c #Conflicts: 348000 | #Constraints: 22212
1273.42/1277.36 c #Conflicts: 349000 | #Constraints: 23212
1273.42/1277.36 c #Conflicts: 350000 | #Constraints: 24212
1273.42/1277.36 c #Conflicts: 351000 | #Constraints: 25213
1273.42/1277.36 c #Conflicts: 352000 | #Constraints: 26213
1273.42/1277.36 c #Conflicts: 353000 | #Constraints: 27213
1273.42/1277.36 c #Conflicts: 354000 | #Constraints: 28213
1273.42/1277.36 c #Conflicts: 355000 | #Constraints: 29213
1273.42/1277.36 c #Conflicts: 356000 | #Constraints: 30213
1273.42/1277.36 c #Conflicts: 357000 | #Constraints: 31213
1273.42/1277.36 c INPROCESSING
1273.42/1277.36 c GARBAGE COLLECT
1273.42/1277.36 c #Conflicts: 358000 | #Constraints: 20434
1273.42/1277.36 c #Conflicts: 359000 | #Constraints: 21434
1273.42/1277.36 c #Conflicts: 360000 | #Constraints: 22434
1273.42/1277.36 c #Conflicts: 361000 | #Constraints: 23434
1273.42/1277.36 c #Conflicts: 362000 | #Constraints: 24434
1273.42/1277.36 c #Conflicts: 363000 | #Constraints: 25434
1273.42/1277.36 c #Conflicts: 364000 | #Constraints: 26434
1273.42/1277.36 c #Conflicts: 365000 | #Constraints: 27434
1273.42/1277.36 c #Conflicts: 366000 | #Constraints: 28435
1273.42/1277.36 c #Conflicts: 367000 | #Constraints: 29435
1273.42/1277.36 c #Conflicts: 368000 | #Constraints: 30435
1273.42/1277.36 c #Conflicts: 369000 | #Constraints: 31436
1273.42/1277.36 c INPROCESSING
1273.42/1277.36 c GARBAGE COLLECT
1273.42/1277.36 c #Conflicts: 370000 | #Constraints: 20410
1273.42/1277.36 c #Conflicts: 371000 | #Constraints: 21410
1273.42/1277.36 c #Conflicts: 372000 | #Constraints: 22410
1273.42/1277.36 c #Conflicts: 373000 | #Constraints: 23410
1273.42/1277.36 c #Conflicts: 374000 | #Constraints: 24410
1273.42/1277.36 c #Conflicts: 375000 | #Constraints: 25410
1273.42/1277.36 c #Conflicts: 376000 | #Constraints: 26410
1273.42/1277.36 c #Conflicts: 377000 | #Constraints: 27411
1273.42/1277.36 c #Conflicts: 378000 | #Constraints: 28411
1273.42/1277.36 c #Conflicts: 379000 | #Constraints: 29411
1273.42/1277.36 c #Conflicts: 380000 | #Constraints: 30412
1273.42/1277.36 c #Conflicts: 381000 | #Constraints: 31412
1273.42/1277.36 c INPROCESSING
1273.42/1277.36 c GARBAGE COLLECT
1273.42/1277.36 c rational objective 4501.5
1472.64/1477.11 c #Conflicts: 382000 | #Constraints: 20228
1472.64/1477.11 c #Conflicts: 383000 | #Constraints: 21228
1472.64/1477.11 c #Conflicts: 384000 | #Constraints: 22228
1472.64/1477.11 c #Conflicts: 385000 | #Constraints: 23230
1472.64/1477.11 c #Conflicts: 386000 | #Constraints: 24230
1472.64/1477.11 c #Conflicts: 387000 | #Constraints: 25231
1472.64/1477.11 c #Conflicts: 388000 | #Constraints: 26231
1472.64/1477.11 c #Conflicts: 389000 | #Constraints: 27231
1472.64/1477.11 c #Conflicts: 390000 | #Constraints: 28231
1472.64/1477.11 c #Conflicts: 391000 | #Constraints: 29231
1472.64/1477.11 c #Conflicts: 392000 | #Constraints: 30231
1472.64/1477.11 c #Conflicts: 393000 | #Constraints: 31231
1472.64/1477.11 c #Conflicts: 394000 | #Constraints: 32231
1472.64/1477.11 c INPROCESSING
1472.64/1477.11 c GARBAGE COLLECT
1472.64/1477.11 c #Conflicts: 395000 | #Constraints: 20802
1472.64/1477.11 c #Conflicts: 396000 | #Constraints: 21802
1472.64/1477.11 c #Conflicts: 397000 | #Constraints: 22802
1472.64/1477.11 c #Conflicts: 398000 | #Constraints: 23802
1472.64/1477.11 c #Conflicts: 399000 | #Constraints: 24803
1472.64/1477.11 c #Conflicts: 400000 | #Constraints: 25803
1472.64/1477.11 c #Conflicts: 401000 | #Constraints: 26803
1472.64/1477.11 c #Conflicts: 402000 | #Constraints: 27803
1472.64/1477.11 c #Conflicts: 403000 | #Constraints: 28804
1472.64/1477.11 c #Conflicts: 404000 | #Constraints: 29804
1472.64/1477.11 c #Conflicts: 405000 | #Constraints: 30804
1472.64/1477.11 c #Conflicts: 406000 | #Constraints: 31805
1472.64/1477.11 c #Conflicts: 407000 | #Constraints: 32805
1472.64/1477.11 c INPROCESSING
1472.64/1477.11 c GARBAGE COLLECT
1472.64/1477.11 c #Conflicts: 408000 | #Constraints: 21190
1472.64/1477.11 c #Conflicts: 409000 | #Constraints: 22190
1472.64/1477.11 c #Conflicts: 410000 | #Constraints: 23190
1472.64/1477.11 c #Conflicts: 411000 | #Constraints: 24190
1472.64/1477.11 c #Conflicts: 412000 | #Constraints: 25190
1472.64/1477.11 c #Conflicts: 413000 | #Constraints: 26190
1472.64/1477.11 c #Conflicts: 414000 | #Constraints: 27191
1472.64/1477.11 c #Conflicts: 415000 | #Constraints: 28191
1472.64/1477.11 c #Conflicts: 416000 | #Constraints: 29191
1472.64/1477.11 c #Conflicts: 417000 | #Constraints: 30191
1472.64/1477.11 c #Conflicts: 418000 | #Constraints: 31191
1472.64/1477.11 c #Conflicts: 419000 | #Constraints: 32191
1472.64/1477.11 c #Conflicts: 420000 | #Constraints: 33191
1472.64/1477.11 c INPROCESSING
1472.64/1477.11 c GARBAGE COLLECT
1472.64/1477.11 c #Conflicts: 421000 | #Constraints: 21534
1472.64/1477.11 c #Conflicts: 422000 | #Constraints: 22534
1472.64/1477.11 c #Conflicts: 423000 | #Constraints: 23534
1472.64/1477.11 c #Conflicts: 424000 | #Constraints: 24534
1472.64/1477.11 c #Conflicts: 425000 | #Constraints: 25534
1472.64/1477.11 c #Conflicts: 426000 | #Constraints: 26534
1472.64/1477.11 c #Conflicts: 427000 | #Constraints: 27534
1472.64/1477.11 c #Conflicts: 428000 | #Constraints: 28534
1472.64/1477.11 c #Conflicts: 429000 | #Constraints: 29534
1472.64/1477.11 c #Conflicts: 430000 | #Constraints: 30534
1472.64/1477.11 c #Conflicts: 431000 | #Constraints: 31534
1472.64/1477.11 c #Conflicts: 432000 | #Constraints: 32534
1472.64/1477.11 c #Conflicts: 433000 | #Constraints: 33534
1472.64/1477.11 c INPROCESSING
1472.64/1477.11 c GARBAGE COLLECT
1472.64/1477.11 c #Conflicts: 434000 | #Constraints: 21563
1472.64/1477.11 c #Conflicts: 435000 | #Constraints: 22563
1472.64/1477.11 c #Conflicts: 436000 | #Constraints: 23563
1472.64/1477.11 c #Conflicts: 437000 | #Constraints: 24563
1472.64/1477.11 c #Conflicts: 438000 | #Constraints: 25564
1472.64/1477.11 c #Conflicts: 439000 | #Constraints: 26564
1472.64/1477.11 c #Conflicts: 440000 | #Constraints: 27564
1472.64/1477.11 c #Conflicts: 441000 | #Constraints: 28564
1472.64/1477.11 c #Conflicts: 442000 | #Constraints: 29564
1472.64/1477.11 c #Conflicts: 443000 | #Constraints: 30564
1472.64/1477.11 c #Conflicts: 444000 | #Constraints: 31564
1472.64/1477.11 c #Conflicts: 445000 | #Constraints: 32564
1472.64/1477.11 c #Conflicts: 446000 | #Constraints: 33564
1472.64/1477.11 c INPROCESSING
1472.64/1477.11 c GARBAGE COLLECT
1472.64/1477.11 c rational objective 4501.5
1633.91/1638.83 c #Conflicts: 447000 | #Constraints: 21382
1633.91/1638.83 c #Conflicts: 448000 | #Constraints: 22382
1633.91/1638.83 c #Conflicts: 449000 | #Constraints: 23382
1633.91/1638.83 c #Conflicts: 450000 | #Constraints: 24384
1633.91/1638.83 c #Conflicts: 451000 | #Constraints: 25385
1633.91/1638.83 c #Conflicts: 452000 | #Constraints: 26385
1633.91/1638.83 c #Conflicts: 453000 | #Constraints: 27385
1633.91/1638.83 c #Conflicts: 454000 | #Constraints: 28386
1633.91/1638.83 c #Conflicts: 455000 | #Constraints: 29386
1633.91/1638.83 c #Conflicts: 456000 | #Constraints: 30387
1633.91/1638.83 c #Conflicts: 457000 | #Constraints: 31387
1633.91/1638.83 c #Conflicts: 458000 | #Constraints: 32387
1633.91/1638.83 c #Conflicts: 459000 | #Constraints: 33387
1633.91/1638.83 c #Conflicts: 460000 | #Constraints: 34387
1633.91/1638.83 c INPROCESSING
1633.91/1638.83 c GARBAGE COLLECT
1633.91/1638.83 c #Conflicts: 461000 | #Constraints: 21899
1633.91/1638.83 c #Conflicts: 462000 | #Constraints: 22899
1633.91/1638.83 c #Conflicts: 463000 | #Constraints: 23900
1633.91/1638.83 c #Conflicts: 464000 | #Constraints: 24900
1633.91/1638.83 c #Conflicts: 465000 | #Constraints: 25900
1633.91/1638.83 c #Conflicts: 466000 | #Constraints: 26901
1633.91/1638.83 c #Conflicts: 467000 | #Constraints: 27902
1633.91/1638.83 c #Conflicts: 468000 | #Constraints: 28902
1633.91/1638.83 c #Conflicts: 469000 | #Constraints: 29902
1633.91/1638.83 c #Conflicts: 470000 | #Constraints: 30902
1633.91/1638.83 c #Conflicts: 471000 | #Constraints: 31902
1633.91/1638.83 c #Conflicts: 472000 | #Constraints: 32902
1633.91/1638.83 c #Conflicts: 473000 | #Constraints: 33902
1633.91/1638.83 c #Conflicts: 474000 | #Constraints: 34902
1633.91/1638.83 c INPROCESSING
1633.91/1638.83 c GARBAGE COLLECT
1633.91/1638.83 c #Conflicts: 475000 | #Constraints: 22261
1633.91/1638.83 c #Conflicts: 476000 | #Constraints: 23261
1633.91/1638.83 c #Conflicts: 477000 | #Constraints: 24261
1633.91/1638.83 c #Conflicts: 478000 | #Constraints: 25262
1633.91/1638.83 c #Conflicts: 479000 | #Constraints: 26262
1633.91/1638.83 c #Conflicts: 480000 | #Constraints: 27262
1633.91/1638.83 c #Conflicts: 481000 | #Constraints: 28262
1633.91/1638.83 c #Conflicts: 482000 | #Constraints: 29262
1633.91/1638.83 c #Conflicts: 483000 | #Constraints: 30262
1633.91/1638.83 c #Conflicts: 484000 | #Constraints: 31263
1633.91/1638.83 c #Conflicts: 485000 | #Constraints: 32263
1633.91/1638.83 c #Conflicts: 486000 | #Constraints: 33263
1633.91/1638.83 c #Conflicts: 487000 | #Constraints: 34263
1633.91/1638.83 c #Conflicts: 488000 | #Constraints: 35264
1633.91/1638.83 c INPROCESSING
1633.91/1638.83 c GARBAGE COLLECT
1633.91/1638.83 c #Conflicts: 489000 | #Constraints: 22442
1633.91/1638.83 c #Conflicts: 490000 | #Constraints: 23442
1633.91/1638.83 c #Conflicts: 491000 | #Constraints: 24442
1633.91/1638.83 c #Conflicts: 492000 | #Constraints: 25443
1633.91/1638.83 c #Conflicts: 493000 | #Constraints: 26443
1633.91/1638.83 c #Conflicts: 494000 | #Constraints: 27443
1633.91/1638.83 c #Conflicts: 495000 | #Constraints: 28443
1633.91/1638.83 c #Conflicts: 496000 | #Constraints: 29443
1633.91/1638.83 c #Conflicts: 497000 | #Constraints: 30443
1633.91/1638.83 c #Conflicts: 498000 | #Constraints: 31443
1633.91/1638.83 c #Conflicts: 499000 | #Constraints: 32443
1633.91/1638.83 c #Conflicts: 500000 | #Constraints: 33443
1633.91/1638.83 c #Conflicts: 501000 | #Constraints: 34443
1633.91/1638.83 c #Conflicts: 502000 | #Constraints: 35443
1633.91/1638.83 c INPROCESSING
1633.91/1638.83 c GARBAGE COLLECT
1633.91/1638.83 c #Conflicts: 503000 | #Constraints: 22455
1633.91/1638.83 c #Conflicts: 504000 | #Constraints: 23455
1633.91/1638.83 c #Conflicts: 505000 | #Constraints: 24455
1633.91/1638.83 c #Conflicts: 506000 | #Constraints: 25455
1633.91/1638.83 c #Conflicts: 507000 | #Constraints: 26455
1633.91/1638.83 c #Conflicts: 508000 | #Constraints: 27455
1633.91/1638.83 c #Conflicts: 509000 | #Constraints: 28456
1633.91/1638.83 c #Conflicts: 510000 | #Constraints: 29456
1633.91/1638.83 c #Conflicts: 511000 | #Constraints: 30456
1633.91/1638.83 c #Conflicts: 512000 | #Constraints: 31456
1633.91/1638.83 c #Conflicts: 513000 | #Constraints: 32456
1633.91/1638.83 c #Conflicts: 514000 | #Constraints: 33456
1633.91/1638.83 c #Conflicts: 515000 | #Constraints: 34456
1633.91/1638.83 c #Conflicts: 516000 | #Constraints: 35456
1633.91/1638.83 c INPROCESSING
1633.91/1638.83 c GARBAGE COLLECT
1633.91/1638.83 c #Conflicts: 517000 | #Constraints: 22281
1633.91/1638.83 c #Conflicts: 518000 | #Constraints: 23281
1633.91/1638.83 c #Conflicts: 519000 | #Constraints: 24281
1633.91/1638.83 c #Conflicts: 520000 | #Constraints: 25281
1633.91/1638.83 c #Conflicts: 521000 | #Constraints: 26281
1633.91/1638.83 c #Conflicts: 522000 | #Constraints: 27282
1687.25/1692.30 c #Conflicts: 523000 | #Constraints: 28282
1687.25/1692.30 c #Conflicts: 524000 | #Constraints: 29282
1687.25/1692.30 c #Conflicts: 525000 | #Constraints: 30282
1687.25/1692.30 c #Conflicts: 526000 | #Constraints: 31282
1687.25/1692.30 c #Conflicts: 527000 | #Constraints: 32282
1687.25/1692.30 c #Conflicts: 528000 | #Constraints: 33282
1687.25/1692.30 c #Conflicts: 529000 | #Constraints: 34282
1687.25/1692.30 c #Conflicts: 530000 | #Constraints: 35282
1687.25/1692.30 c #Conflicts: 531000 | #Constraints: 36282
1687.25/1692.30 c INPROCESSING
1687.25/1692.30 c GARBAGE COLLECT
1687.25/1692.30 c #Conflicts: 532000 | #Constraints: 22875
1687.25/1692.30 c #Conflicts: 533000 | #Constraints: 23875
1687.25/1692.30 c #Conflicts: 534000 | #Constraints: 24875
1687.25/1692.30 c #Conflicts: 535000 | #Constraints: 25875
1687.25/1692.30 c #Conflicts: 536000 | #Constraints: 26875
1687.25/1692.30 c #Conflicts: 537000 | #Constraints: 27875
1687.25/1692.30 c #Conflicts: 538000 | #Constraints: 28875
1687.25/1692.30 c #Conflicts: 539000 | #Constraints: 29875
1687.25/1692.30 c #Conflicts: 540000 | #Constraints: 30875
1687.25/1692.30 c #Conflicts: 541000 | #Constraints: 31876
1687.25/1692.30 c #Conflicts: 542000 | #Constraints: 32876
1687.25/1692.30 c #Conflicts: 543000 | #Constraints: 33876
1687.25/1692.30 c #Conflicts: 544000 | #Constraints: 34877
1687.25/1692.30 c #Conflicts: 545000 | #Constraints: 35877
1687.25/1692.30 c #Conflicts: 546000 | #Constraints: 36877
1687.25/1692.30 c INPROCESSING
1687.25/1692.30 c GARBAGE COLLECT
1687.25/1692.30 c #Conflicts: 547000 | #Constraints: 23288
1687.25/1692.30 c #Conflicts: 548000 | #Constraints: 24288
1687.25/1692.30 c #Conflicts: 549000 | #Constraints: 25288
1687.25/1692.30 c #Conflicts: 550000 | #Constraints: 26288
1687.25/1692.30 c #Conflicts: 551000 | #Constraints: 27288
1687.25/1692.30 c #Conflicts: 552000 | #Constraints: 28288
1687.25/1692.30 c #Conflicts: 553000 | #Constraints: 29288
1687.25/1692.30 c #Conflicts: 554000 | #Constraints: 30289
1687.25/1692.30 c #Conflicts: 555000 | #Constraints: 31289
1687.25/1692.30 c #Conflicts: 556000 | #Constraints: 32289
1687.25/1692.30 c #Conflicts: 557000 | #Constraints: 33289
1687.25/1692.30 c #Conflicts: 558000 | #Constraints: 34289
1687.25/1692.30 c #Conflicts: 559000 | #Constraints: 35289
1687.25/1692.30 c #Conflicts: 560000 | #Constraints: 36289
1687.25/1692.30 c #Conflicts: 561000 | #Constraints: 37289
1687.25/1692.30 c INPROCESSING
1687.25/1692.30 c GARBAGE COLLECT
1687.25/1692.30 c rational objective 4501.5
1793.03/1798.41 c #Conflicts: 562000 | #Constraints: 23463
1793.03/1798.41 c #Conflicts: 563000 | #Constraints: 24463
1793.03/1798.41 c #Conflicts: 564000 | #Constraints: 25463
1793.03/1798.41 c #Conflicts: 565000 | #Constraints: 26463
1793.03/1798.41 c #Conflicts: 566000 | #Constraints: 27463
1793.03/1798.41 c #Conflicts: 567000 | #Constraints: 28463
1793.03/1798.41 c #Conflicts: 568000 | #Constraints: 29463
1793.03/1798.41 c #Conflicts: 569000 | #Constraints: 30463
1793.03/1798.41 c #Conflicts: 570000 | #Constraints: 31465
1793.03/1798.41 c #Conflicts: 571000 | #Constraints: 32465
1793.03/1798.41 c #Conflicts: 572000 | #Constraints: 33465
1793.03/1798.41 c #Conflicts: 573000 | #Constraints: 34465
1793.03/1798.41 c #Conflicts: 574000 | #Constraints: 35465
1793.03/1798.41 c #Conflicts: 575000 | #Constraints: 36465
1793.03/1798.41 c #Conflicts: 576000 | #Constraints: 37465
1793.03/1798.41 c INPROCESSING
1793.03/1798.41 c GARBAGE COLLECT
1793.03/1798.41 c #Conflicts: 577000 | #Constraints: 23412
1793.03/1798.41 c #Conflicts: 578000 | #Constraints: 24412
1793.03/1798.41 c #Conflicts: 579000 | #Constraints: 25412
1793.03/1798.41 c #Conflicts: 580000 | #Constraints: 26412
1793.03/1798.41 c #Conflicts: 581000 | #Constraints: 27412
1793.03/1798.41 c #Conflicts: 582000 | #Constraints: 28413
1793.03/1798.41 c #Conflicts: 583000 | #Constraints: 29413
1793.03/1798.41 c #Conflicts: 584000 | #Constraints: 30413
1793.03/1798.41 c #Conflicts: 585000 | #Constraints: 31413
1793.03/1798.41 c #Conflicts: 586000 | #Constraints: 32413
1793.03/1798.41 c #Conflicts: 587000 | #Constraints: 33413
1793.03/1798.41 c #Conflicts: 588000 | #Constraints: 34413
1793.03/1798.41 c #Conflicts: 589000 | #Constraints: 35414
1793.03/1798.41 c #Conflicts: 590000 | #Constraints: 36414
1793.03/1798.41 c #Conflicts: 591000 | #Constraints: 37414
1793.03/1798.41 c INPROCESSING
1793.03/1798.41 c GARBAGE COLLECT
1793.03/1798.41 c rational objective 4501.5
1955.26/1961.18 c #Conflicts: 592000 | #Constraints: 23238
1955.26/1961.18 c #Conflicts: 593000 | #Constraints: 24238
1955.26/1961.18 c #Conflicts: 594000 | #Constraints: 25238
1955.26/1961.18 c #Conflicts: 595000 | #Constraints: 26238
1955.26/1961.18 c #Conflicts: 596000 | #Constraints: 27238
1955.26/1961.18 c #Conflicts: 597000 | #Constraints: 28238
1955.26/1961.18 c #Conflicts: 598000 | #Constraints: 29239
1955.26/1961.18 c #Conflicts: 599000 | #Constraints: 30240
1955.26/1961.18 c #Conflicts: 600000 | #Constraints: 31240
1955.26/1961.18 c #Conflicts: 601000 | #Constraints: 32240
1955.26/1961.18 c #Conflicts: 602000 | #Constraints: 33240
1955.26/1961.18 c #Conflicts: 603000 | #Constraints: 34241
1955.26/1961.18 c #Conflicts: 604000 | #Constraints: 35241
1955.26/1961.18 c #Conflicts: 605000 | #Constraints: 36242
1955.26/1961.18 c #Conflicts: 606000 | #Constraints: 37242
1955.26/1961.18 c #Conflicts: 607000 | #Constraints: 38243
1955.26/1961.18 c INPROCESSING
1955.26/1961.18 c GARBAGE COLLECT
1955.26/1961.18 c #Conflicts: 608000 | #Constraints: 23798
1955.26/1961.18 c #Conflicts: 609000 | #Constraints: 24798
1955.26/1961.18 c #Conflicts: 610000 | #Constraints: 25798
1955.26/1961.18 c #Conflicts: 611000 | #Constraints: 26798
1955.26/1961.18 c #Conflicts: 612000 | #Constraints: 27798
1955.26/1961.18 c #Conflicts: 613000 | #Constraints: 28799
1955.26/1961.18 c #Conflicts: 614000 | #Constraints: 29799
1955.26/1961.18 c #Conflicts: 615000 | #Constraints: 30799
1955.26/1961.18 c #Conflicts: 616000 | #Constraints: 31799
1955.26/1961.18 c #Conflicts: 617000 | #Constraints: 32799
1955.26/1961.18 c #Conflicts: 618000 | #Constraints: 33799
1955.26/1961.18 c #Conflicts: 619000 | #Constraints: 34799
1955.26/1961.18 c #Conflicts: 620000 | #Constraints: 35799
1955.26/1961.18 c #Conflicts: 621000 | #Constraints: 36800
1955.26/1961.18 c #Conflicts: 622000 | #Constraints: 37800
1955.26/1961.18 c #Conflicts: 623000 | #Constraints: 38800
1955.26/1961.18 c INPROCESSING
1955.26/1961.18 c GARBAGE COLLECT
1955.26/1961.18 c #Conflicts: 624000 | #Constraints: 24187
1955.26/1961.18 c #Conflicts: 625000 | #Constraints: 25187
1955.26/1961.18 c #Conflicts: 626000 | #Constraints: 26187
1955.26/1961.18 c #Conflicts: 627000 | #Constraints: 27187
1955.26/1961.18 c #Conflicts: 628000 | #Constraints: 28188
1955.26/1961.18 c #Conflicts: 629000 | #Constraints: 29188
1955.26/1961.18 c #Conflicts: 630000 | #Constraints: 30188
1955.26/1961.18 c #Conflicts: 631000 | #Constraints: 31189
1955.26/1961.18 c #Conflicts: 632000 | #Constraints: 32189
1955.26/1961.18 c #Conflicts: 633000 | #Constraints: 33189
1955.26/1961.18 c #Conflicts: 634000 | #Constraints: 34189
1955.26/1961.18 c #Conflicts: 635000 | #Constraints: 35189
1955.26/1961.18 c #Conflicts: 636000 | #Constraints: 36190
1955.26/1961.18 c #Conflicts: 637000 | #Constraints: 37190
1955.26/1961.18 c #Conflicts: 638000 | #Constraints: 38190
1955.26/1961.18 c #Conflicts: 639000 | #Constraints: 39190
1955.26/1961.18 c INPROCESSING
1955.26/1961.18 c GARBAGE COLLECT
1955.26/1961.18 c #Conflicts: 640000 | #Constraints: 24418
1955.26/1961.18 c #Conflicts: 641000 | #Constraints: 25418
1955.26/1961.18 c #Conflicts: 642000 | #Constraints: 26418
1955.26/1961.18 c #Conflicts: 643000 | #Constraints: 27418
1955.26/1961.18 c #Conflicts: 644000 | #Constraints: 28418
1955.26/1961.18 c #Conflicts: 645000 | #Constraints: 29418
1955.26/1961.18 c #Conflicts: 646000 | #Constraints: 30418
1955.26/1961.18 c #Conflicts: 647000 | #Constraints: 31419
1955.26/1961.18 c #Conflicts: 648000 | #Constraints: 32419
1955.26/1961.18 c #Conflicts: 649000 | #Constraints: 33419
1955.26/1961.18 c #Conflicts: 650000 | #Constraints: 34419
1955.26/1961.18 c #Conflicts: 651000 | #Constraints: 35420
1955.26/1961.18 c #Conflicts: 652000 | #Constraints: 36420
1955.26/1961.18 c #Conflicts: 653000 | #Constraints: 37420
1955.26/1961.18 c #Conflicts: 654000 | #Constraints: 38420
1955.26/1961.18 c #Conflicts: 655000 | #Constraints: 39420
1955.26/1961.18 c INPROCESSING
1955.26/1961.18 c GARBAGE COLLECT
1955.26/1961.18 c #Conflicts: 656000 | #Constraints: 24423
1955.26/1961.18 c #Conflicts: 657000 | #Constraints: 25423
1955.26/1961.18 c #Conflicts: 658000 | #Constraints: 26423
1955.26/1961.18 c #Conflicts: 659000 | #Constraints: 27424
1955.26/1961.18 c #Conflicts: 660000 | #Constraints: 28424
1955.26/1961.18 c #Conflicts: 661000 | #Constraints: 29424
1955.26/1961.18 c #Conflicts: 662000 | #Constraints: 30424
1955.26/1961.18 c #Conflicts: 663000 | #Constraints: 31424
1955.26/1961.18 c #Conflicts: 664000 | #Constraints: 32424
1955.26/1961.18 c #Conflicts: 665000 | #Constraints: 33424
1955.26/1961.18 c #Conflicts: 666000 | #Constraints: 34424
1955.26/1961.18 c #Conflicts: 667000 | #Constraints: 35424
1955.26/1961.18 c #Conflicts: 668000 | #Constraints: 36424
1959.03/1964.92 c #Conflicts: 669000 | #Constraints: 37424
1959.03/1964.92 c #Conflicts: 670000 | #Constraints: 38424
1959.03/1964.92 c #Conflicts: 671000 | #Constraints: 39424
1959.03/1964.92 c INPROCESSING
1959.03/1964.92 c GARBAGE COLLECT
1959.03/1964.92 c rational objective 4501.5
2055.25/2061.41 c #Conflicts: 672000 | #Constraints: 24256
2055.25/2061.41 c #Conflicts: 673000 | #Constraints: 25256
2055.25/2061.41 c #Conflicts: 674000 | #Constraints: 26256
2055.25/2061.41 c #Conflicts: 675000 | #Constraints: 27256
2055.25/2061.41 c #Conflicts: 676000 | #Constraints: 28256
2055.25/2061.41 c #Conflicts: 677000 | #Constraints: 29256
2055.25/2061.41 c #Conflicts: 678000 | #Constraints: 30256
2055.25/2061.41 c #Conflicts: 679000 | #Constraints: 31256
2055.25/2061.41 c #Conflicts: 680000 | #Constraints: 32256
2055.25/2061.41 c #Conflicts: 681000 | #Constraints: 33256
2055.25/2061.41 c #Conflicts: 682000 | #Constraints: 34256
2055.25/2061.41 c #Conflicts: 683000 | #Constraints: 35256
2055.25/2061.41 c #Conflicts: 684000 | #Constraints: 36256
2055.25/2061.41 c #Conflicts: 685000 | #Constraints: 37256
2055.25/2061.41 c #Conflicts: 686000 | #Constraints: 38258
2055.25/2061.41 c #Conflicts: 687000 | #Constraints: 39259
2055.25/2061.41 c #Conflicts: 688000 | #Constraints: 40259
2055.25/2061.41 c INPROCESSING
2055.25/2061.41 c GARBAGE COLLECT
2055.25/2061.41 c #Conflicts: 689000 | #Constraints: 24810
2055.25/2061.41 c #Conflicts: 690000 | #Constraints: 25811
2055.25/2061.41 c #Conflicts: 691000 | #Constraints: 26811
2055.25/2061.41 c #Conflicts: 692000 | #Constraints: 27811
2055.25/2061.41 c #Conflicts: 693000 | #Constraints: 28811
2055.25/2061.41 c #Conflicts: 694000 | #Constraints: 29812
2055.25/2061.41 c #Conflicts: 695000 | #Constraints: 30812
2055.25/2061.41 c #Conflicts: 696000 | #Constraints: 31812
2055.25/2061.41 c #Conflicts: 697000 | #Constraints: 32812
2055.25/2061.41 c #Conflicts: 698000 | #Constraints: 33812
2055.25/2061.41 c #Conflicts: 699000 | #Constraints: 34812
2055.25/2061.41 c #Conflicts: 700000 | #Constraints: 35812
2055.25/2061.41 c #Conflicts: 701000 | #Constraints: 36812
2055.25/2061.41 c #Conflicts: 702000 | #Constraints: 37812
2055.25/2061.41 c #Conflicts: 703000 | #Constraints: 38812
2055.25/2061.41 c #Conflicts: 704000 | #Constraints: 39812
2055.25/2061.41 c #Conflicts: 705000 | #Constraints: 40812
2055.25/2061.41 c INPROCESSING
2055.25/2061.41 c GARBAGE COLLECT
2055.25/2061.41 c rational objective 4501.5
2110.09/2116.41 c #Conflicts: 706000 | #Constraints: 25414
2110.09/2116.41 c #Conflicts: 707000 | #Constraints: 26414
2110.09/2116.41 c #Conflicts: 708000 | #Constraints: 27414
2110.09/2116.41 c #Conflicts: 709000 | #Constraints: 28414
2110.09/2116.41 c #Conflicts: 710000 | #Constraints: 29414
2110.09/2116.41 c #Conflicts: 711000 | #Constraints: 30414
2110.09/2116.41 c #Conflicts: 712000 | #Constraints: 31414
2110.09/2116.41 c #Conflicts: 713000 | #Constraints: 32414
2110.09/2116.41 c #Conflicts: 714000 | #Constraints: 33416
2110.09/2116.41 c #Conflicts: 715000 | #Constraints: 34416
2110.09/2116.41 c #Conflicts: 716000 | #Constraints: 35417
2110.09/2116.41 c #Conflicts: 717000 | #Constraints: 36417
2110.09/2116.41 c #Conflicts: 718000 | #Constraints: 37417
2110.09/2116.41 c #Conflicts: 719000 | #Constraints: 38418
2110.09/2116.41 c #Conflicts: 720000 | #Constraints: 39418
2110.09/2116.41 c #Conflicts: 721000 | #Constraints: 40418
2110.09/2116.41 c #Conflicts: 722000 | #Constraints: 41418
2110.09/2116.41 c INPROCESSING
2110.09/2116.41 c GARBAGE COLLECT
2110.09/2116.41 c rational objective 4501.5
2159.84/2166.33 c #Conflicts: 723000 | #Constraints: 25524
2159.84/2166.33 c #Conflicts: 724000 | #Constraints: 26525
2159.84/2166.33 c #Conflicts: 725000 | #Constraints: 27526
2159.84/2166.33 c #Conflicts: 726000 | #Constraints: 28526
2159.84/2166.33 c #Conflicts: 727000 | #Constraints: 29526
2159.84/2166.33 c #Conflicts: 728000 | #Constraints: 30528
2159.84/2166.33 c #Conflicts: 729000 | #Constraints: 31528
2159.84/2166.33 c #Conflicts: 730000 | #Constraints: 32528
2159.84/2166.33 c #Conflicts: 731000 | #Constraints: 33529
2159.84/2166.33 c #Conflicts: 732000 | #Constraints: 34529
2159.84/2166.33 c #Conflicts: 733000 | #Constraints: 35530
2159.84/2166.33 c #Conflicts: 734000 | #Constraints: 36530
2159.84/2166.33 c #Conflicts: 735000 | #Constraints: 37530
2159.84/2166.33 c #Conflicts: 736000 | #Constraints: 38530
2159.84/2166.33 c #Conflicts: 737000 | #Constraints: 39530
2159.84/2166.33 c #Conflicts: 738000 | #Constraints: 40531
2159.84/2166.33 c #Conflicts: 739000 | #Constraints: 41532
2159.84/2166.33 c INPROCESSING
2159.84/2166.33 c GARBAGE COLLECT
2159.84/2166.33 c #Conflicts: 740000 | #Constraints: 25469
2159.84/2166.33 c #Conflicts: 741000 | #Constraints: 26469
2159.84/2166.33 c #Conflicts: 742000 | #Constraints: 27469
2159.84/2166.33 c #Conflicts: 743000 | #Constraints: 28469
2159.84/2166.33 c #Conflicts: 744000 | #Constraints: 29469
2159.84/2166.33 c #Conflicts: 745000 | #Constraints: 30469
2159.84/2166.33 c #Conflicts: 746000 | #Constraints: 31469
2159.84/2166.33 c #Conflicts: 747000 | #Constraints: 32469
2159.84/2166.33 c #Conflicts: 748000 | #Constraints: 33471
2159.84/2166.33 c #Conflicts: 749000 | #Constraints: 34472
2159.84/2166.33 c #Conflicts: 750000 | #Constraints: 35472
2159.84/2166.33 c #Conflicts: 751000 | #Constraints: 36472
2159.84/2166.33 c #Conflicts: 752000 | #Constraints: 37472
2159.84/2166.33 c #Conflicts: 753000 | #Constraints: 38472
2159.84/2166.33 c #Conflicts: 754000 | #Constraints: 39472
2159.84/2166.33 c #Conflicts: 755000 | #Constraints: 40472
2159.84/2166.33 c #Conflicts: 756000 | #Constraints: 41472
2159.84/2166.33 c INPROCESSING
2159.84/2166.33 c GARBAGE COLLECT
2159.84/2166.33 c #Conflicts: 757000 | #Constraints: 25240
2159.84/2166.33 c #Conflicts: 758000 | #Constraints: 26241
2159.84/2166.33 c #Conflicts: 759000 | #Constraints: 27241
2159.84/2166.33 c #Conflicts: 760000 | #Constraints: 28241
2159.84/2166.33 c #Conflicts: 761000 | #Constraints: 29241
2159.84/2166.33 c #Conflicts: 762000 | #Constraints: 30242
2159.84/2166.33 c #Conflicts: 763000 | #Constraints: 31242
2159.84/2166.33 c #Conflicts: 764000 | #Constraints: 32242
2159.84/2166.33 c #Conflicts: 765000 | #Constraints: 33242
2159.84/2166.33 c #Conflicts: 766000 | #Constraints: 34242
2159.84/2166.33 c #Conflicts: 767000 | #Constraints: 35242
2159.84/2166.33 c #Conflicts: 768000 | #Constraints: 36242
2159.84/2166.33 c #Conflicts: 769000 | #Constraints: 37242
2159.84/2166.33 c #Conflicts: 770000 | #Constraints: 38242
2159.84/2166.33 c #Conflicts: 771000 | #Constraints: 39242
2159.84/2166.33 c #Conflicts: 772000 | #Constraints: 40243
2159.84/2166.33 c #Conflicts: 773000 | #Constraints: 41243
2159.84/2166.33 c #Conflicts: 774000 | #Constraints: 42243
2159.84/2166.33 c INPROCESSING
2159.84/2166.33 c GARBAGE COLLECT
2159.84/2166.33 c rational objective 4501.5
2178.89/2185.49 c #Conflicts: 775000 | #Constraints: 25828
2178.89/2185.49 c #Conflicts: 776000 | #Constraints: 26828
2178.89/2185.49 c #Conflicts: 777000 | #Constraints: 27829
2178.89/2185.49 c #Conflicts: 778000 | #Constraints: 28829
2178.89/2185.49 c #Conflicts: 779000 | #Constraints: 29829
2178.89/2185.49 c #Conflicts: 780000 | #Constraints: 30829
2178.89/2185.49 c #Conflicts: 781000 | #Constraints: 31829
2178.89/2185.49 c #Conflicts: 782000 | #Constraints: 32829
2178.89/2185.49 c #Conflicts: 783000 | #Constraints: 33829
2178.89/2185.49 c #Conflicts: 784000 | #Constraints: 34829
2178.89/2185.49 c #Conflicts: 785000 | #Constraints: 35829
2178.89/2185.49 c #Conflicts: 786000 | #Constraints: 36829
2178.89/2185.49 c #Conflicts: 787000 | #Constraints: 37830
2178.89/2185.49 c #Conflicts: 788000 | #Constraints: 38830
2178.89/2185.49 c #Conflicts: 789000 | #Constraints: 39830
2178.89/2185.49 c #Conflicts: 790000 | #Constraints: 40830
2178.89/2185.49 c #Conflicts: 791000 | #Constraints: 41830
2178.89/2185.49 c #Conflicts: 792000 | #Constraints: 42830
2178.89/2185.49 c INPROCESSING
2178.89/2185.49 c GARBAGE COLLECT
2178.89/2185.49 c rational objective 4501.5
2206.01/2212.60 c #Conflicts: 793000 | #Constraints: 26213
2206.01/2212.60 c #Conflicts: 794000 | #Constraints: 27213
2206.01/2212.60 c #Conflicts: 795000 | #Constraints: 28213
2206.01/2212.60 c #Conflicts: 796000 | #Constraints: 29213
2206.01/2212.60 c #Conflicts: 797000 | #Constraints: 30213
2206.01/2212.60 c #Conflicts: 798000 | #Constraints: 31213
2206.01/2212.60 c #Conflicts: 799000 | #Constraints: 32215
2206.01/2212.60 c #Conflicts: 800000 | #Constraints: 33215
2206.01/2212.60 c #Conflicts: 801000 | #Constraints: 34215
2206.01/2212.60 c #Conflicts: 802000 | #Constraints: 35216
2206.01/2212.60 c #Conflicts: 803000 | #Constraints: 36216
2206.01/2212.60 c #Conflicts: 804000 | #Constraints: 37216
2206.01/2212.60 c #Conflicts: 805000 | #Constraints: 38216
2206.01/2212.60 c #Conflicts: 806000 | #Constraints: 39216
2206.01/2212.60 c #Conflicts: 807000 | #Constraints: 40216
2206.01/2212.60 c #Conflicts: 808000 | #Constraints: 41216
2206.01/2212.60 c #Conflicts: 809000 | #Constraints: 42216
2206.01/2212.60 c #Conflicts: 810000 | #Constraints: 43216
2206.01/2212.60 c INPROCESSING
2206.01/2212.60 c GARBAGE COLLECT
2206.01/2212.60 c rational objective 4501.5
2257.96/2264.70 c #Conflicts: 811000 | #Constraints: 26394
2257.96/2264.70 c #Conflicts: 812000 | #Constraints: 27394
2257.96/2264.70 c #Conflicts: 813000 | #Constraints: 28395
2257.96/2264.70 c #Conflicts: 814000 | #Constraints: 29395
2257.96/2264.70 c #Conflicts: 815000 | #Constraints: 30395
2257.96/2264.70 c #Conflicts: 816000 | #Constraints: 31395
2257.96/2264.70 c #Conflicts: 817000 | #Constraints: 32395
2257.96/2264.70 c #Conflicts: 818000 | #Constraints: 33395
2257.96/2264.70 c #Conflicts: 819000 | #Constraints: 34395
2257.96/2264.70 c #Conflicts: 820000 | #Constraints: 35396
2257.96/2264.70 c #Conflicts: 821000 | #Constraints: 36396
2257.96/2264.70 c #Conflicts: 822000 | #Constraints: 37396
2257.96/2264.70 c #Conflicts: 823000 | #Constraints: 38396
2257.96/2264.70 c #Conflicts: 824000 | #Constraints: 39396
2257.96/2264.70 c #Conflicts: 825000 | #Constraints: 40396
2257.96/2264.70 c #Conflicts: 826000 | #Constraints: 41396
2257.96/2264.70 c #Conflicts: 827000 | #Constraints: 42396
2257.96/2264.70 c #Conflicts: 828000 | #Constraints: 43396
2257.96/2264.70 c INPROCESSING
2257.96/2264.70 c GARBAGE COLLECT
2257.96/2264.70 c rational objective 4501.5
2326.84/2333.86 c #Conflicts: 829000 | #Constraints: 26393
2326.84/2333.86 c #Conflicts: 830000 | #Constraints: 27393
2326.84/2333.86 c #Conflicts: 831000 | #Constraints: 28393
2326.84/2333.86 c #Conflicts: 832000 | #Constraints: 29393
2326.84/2333.86 c #Conflicts: 833000 | #Constraints: 30393
2326.84/2333.86 c #Conflicts: 834000 | #Constraints: 31393
2326.84/2333.86 c #Conflicts: 835000 | #Constraints: 32394
2326.84/2333.86 c #Conflicts: 836000 | #Constraints: 33394
2326.84/2333.86 c #Conflicts: 837000 | #Constraints: 34394
2326.84/2333.86 c #Conflicts: 838000 | #Constraints: 35395
2326.84/2333.86 c #Conflicts: 839000 | #Constraints: 36395
2326.84/2333.86 c #Conflicts: 840000 | #Constraints: 37395
2326.84/2333.86 c #Conflicts: 841000 | #Constraints: 38395
2326.84/2333.86 c #Conflicts: 842000 | #Constraints: 39396
2326.84/2333.86 c #Conflicts: 843000 | #Constraints: 40396
2326.84/2333.86 c #Conflicts: 844000 | #Constraints: 41397
2326.84/2333.86 c #Conflicts: 845000 | #Constraints: 42397
2326.84/2333.86 c #Conflicts: 846000 | #Constraints: 43397
2326.84/2333.86 c INPROCESSING
2326.84/2333.86 c GARBAGE COLLECT
2326.84/2333.86 c rational objective 4501.5
2426.76/2434.08 c #Conflicts: 847000 | #Constraints: 26198
2426.76/2434.08 c #Conflicts: 848000 | #Constraints: 27198
2426.76/2434.08 c #Conflicts: 849000 | #Constraints: 28198
2426.76/2434.08 c #Conflicts: 850000 | #Constraints: 29198
2426.76/2434.08 c #Conflicts: 851000 | #Constraints: 30198
2426.76/2434.08 c #Conflicts: 852000 | #Constraints: 31198
2426.76/2434.08 c #Conflicts: 853000 | #Constraints: 32198
2426.76/2434.08 c #Conflicts: 854000 | #Constraints: 33200
2426.76/2434.08 c #Conflicts: 855000 | #Constraints: 34201
2426.76/2434.08 c #Conflicts: 856000 | #Constraints: 35201
2426.76/2434.08 c #Conflicts: 857000 | #Constraints: 36201
2426.76/2434.08 c #Conflicts: 858000 | #Constraints: 37201
2426.76/2434.08 c #Conflicts: 859000 | #Constraints: 38201
2426.76/2434.08 c #Conflicts: 860000 | #Constraints: 39202
2426.76/2434.08 c #Conflicts: 861000 | #Constraints: 40202
2426.76/2434.08 c #Conflicts: 862000 | #Constraints: 41202
2426.76/2434.08 c #Conflicts: 863000 | #Constraints: 42202
2426.76/2434.08 c #Conflicts: 864000 | #Constraints: 43202
2426.76/2434.08 c #Conflicts: 865000 | #Constraints: 44202
2426.76/2434.08 c INPROCESSING
2426.76/2434.08 c GARBAGE COLLECT
2426.76/2434.08 c #Conflicts: 866000 | #Constraints: 26926
2426.76/2434.08 c #Conflicts: 867000 | #Constraints: 27926
2426.76/2434.08 c #Conflicts: 868000 | #Constraints: 28926
2426.76/2434.08 c #Conflicts: 869000 | #Constraints: 29926
2426.76/2434.08 c #Conflicts: 870000 | #Constraints: 30926
2426.76/2434.08 c #Conflicts: 871000 | #Constraints: 31926
2426.76/2434.08 c #Conflicts: 872000 | #Constraints: 32926
2426.76/2434.08 c #Conflicts: 873000 | #Constraints: 33926
2426.76/2434.08 c #Conflicts: 874000 | #Constraints: 34926
2426.76/2434.08 c #Conflicts: 875000 | #Constraints: 35927
2426.76/2434.08 c #Conflicts: 876000 | #Constraints: 36927
2426.76/2434.08 c #Conflicts: 877000 | #Constraints: 37927
2426.76/2434.08 c #Conflicts: 878000 | #Constraints: 38927
2426.76/2434.08 c #Conflicts: 879000 | #Constraints: 39927
2426.76/2434.08 c #Conflicts: 880000 | #Constraints: 40928
2426.76/2434.08 c #Conflicts: 881000 | #Constraints: 41928
2426.76/2434.08 c #Conflicts: 882000 | #Constraints: 42928
2426.76/2434.08 c #Conflicts: 883000 | #Constraints: 43928
2426.76/2434.08 c #Conflicts: 884000 | #Constraints: 44929
2426.76/2434.08 c INPROCESSING
2426.76/2434.08 c GARBAGE COLLECT
2426.76/2434.08 c rational objective 4501.5
2583.59/2591.34 c #Conflicts: 885000 | #Constraints: 27382
2583.59/2591.34 c #Conflicts: 886000 | #Constraints: 28382
2583.59/2591.34 c #Conflicts: 887000 | #Constraints: 29382
2583.59/2591.34 c #Conflicts: 888000 | #Constraints: 30384
2583.59/2591.34 c #Conflicts: 889000 | #Constraints: 31384
2583.59/2591.34 c #Conflicts: 890000 | #Constraints: 32384
2583.59/2591.34 c #Conflicts: 891000 | #Constraints: 33384
2583.59/2591.34 c #Conflicts: 892000 | #Constraints: 34384
2583.59/2591.34 c #Conflicts: 893000 | #Constraints: 35384
2583.59/2591.34 c #Conflicts: 894000 | #Constraints: 36384
2583.59/2591.34 c #Conflicts: 895000 | #Constraints: 37384
2583.59/2591.34 c #Conflicts: 896000 | #Constraints: 38384
2583.59/2591.34 c #Conflicts: 897000 | #Constraints: 39384
2583.59/2591.34 c #Conflicts: 898000 | #Constraints: 40385
2583.59/2591.34 c #Conflicts: 899000 | #Constraints: 41385
2583.59/2591.34 c #Conflicts: 900000 | #Constraints: 42385
2583.59/2591.34 c #Conflicts: 901000 | #Constraints: 43385
2583.59/2591.34 c #Conflicts: 902000 | #Constraints: 44386
2583.59/2591.34 c #Conflicts: 903000 | #Constraints: 45386
2583.59/2591.34 c INPROCESSING
2583.59/2591.34 c GARBAGE COLLECT
2583.59/2591.34 c #Conflicts: 904000 | #Constraints: 27492
2583.59/2591.35 c #Conflicts: 905000 | #Constraints: 28492
2583.59/2591.35 c #Conflicts: 906000 | #Constraints: 29492
2583.59/2591.35 c #Conflicts: 907000 | #Constraints: 30492
2583.59/2591.35 c #Conflicts: 908000 | #Constraints: 31492
2583.59/2591.35 c #Conflicts: 909000 | #Constraints: 32492
2583.59/2591.35 c #Conflicts: 910000 | #Constraints: 33492
2583.59/2591.35 c #Conflicts: 911000 | #Constraints: 34492
2583.59/2591.35 c #Conflicts: 912000 | #Constraints: 35493
2583.59/2591.35 c #Conflicts: 913000 | #Constraints: 36493
2583.59/2591.35 c #Conflicts: 914000 | #Constraints: 37493
2583.59/2591.35 c #Conflicts: 915000 | #Constraints: 38493
2583.59/2591.35 c #Conflicts: 916000 | #Constraints: 39493
2583.59/2591.35 c #Conflicts: 917000 | #Constraints: 40493
2583.59/2591.35 c #Conflicts: 918000 | #Constraints: 41493
2583.59/2591.35 c #Conflicts: 919000 | #Constraints: 42494
2583.59/2591.35 c #Conflicts: 920000 | #Constraints: 43494
2583.59/2591.35 c #Conflicts: 921000 | #Constraints: 44494
2583.59/2591.35 c #Conflicts: 922000 | #Constraints: 45494
2583.59/2591.35 c INPROCESSING
2583.59/2591.35 c GARBAGE COLLECT
2583.59/2591.35 c #Conflicts: 923000 | #Constraints: 27477
2583.59/2591.35 c #Conflicts: 924000 | #Constraints: 28478
2583.59/2591.35 c #Conflicts: 925000 | #Constraints: 29478
2583.59/2591.35 c #Conflicts: 926000 | #Constraints: 30478
2583.59/2591.35 c #Conflicts: 927000 | #Constraints: 31478
2583.59/2591.35 c #Conflicts: 928000 | #Constraints: 32479
2583.59/2591.35 c #Conflicts: 929000 | #Constraints: 33479
2583.59/2591.35 c #Conflicts: 930000 | #Constraints: 34479
2583.59/2591.35 c #Conflicts: 931000 | #Constraints: 35479
2583.59/2591.35 c #Conflicts: 932000 | #Constraints: 36479
2583.59/2591.35 c #Conflicts: 933000 | #Constraints: 37480
2583.59/2591.35 c #Conflicts: 934000 | #Constraints: 38480
2583.59/2591.35 c #Conflicts: 935000 | #Constraints: 39480
2583.59/2591.35 c #Conflicts: 936000 | #Constraints: 40480
2583.59/2591.35 c #Conflicts: 937000 | #Constraints: 41480
2583.59/2591.35 c #Conflicts: 938000 | #Constraints: 42480
2583.59/2591.35 c #Conflicts: 939000 | #Constraints: 43480
2583.59/2591.35 c #Conflicts: 940000 | #Constraints: 44480
2583.59/2591.35 c #Conflicts: 941000 | #Constraints: 45480
2583.59/2591.35 c INPROCESSING
2583.59/2591.35 c GARBAGE COLLECT
2583.59/2591.35 c rational objective 4501.5
2715.80/2723.91 c #Conflicts: 942000 | #Constraints: 27324
2715.80/2723.91 c #Conflicts: 943000 | #Constraints: 28324
2715.80/2723.91 c #Conflicts: 944000 | #Constraints: 29324
2715.80/2723.91 c #Conflicts: 945000 | #Constraints: 30324
2715.80/2723.91 c #Conflicts: 946000 | #Constraints: 31324
2715.80/2723.91 c #Conflicts: 947000 | #Constraints: 32324
2715.80/2723.91 c #Conflicts: 948000 | #Constraints: 33327
2715.80/2723.91 c #Conflicts: 949000 | #Constraints: 34328
2715.80/2723.91 c #Conflicts: 950000 | #Constraints: 35328
2715.80/2723.91 c #Conflicts: 951000 | #Constraints: 36328
2715.80/2723.91 c #Conflicts: 952000 | #Constraints: 37329
2715.80/2723.91 c #Conflicts: 953000 | #Constraints: 38330
2715.80/2723.91 c #Conflicts: 954000 | #Constraints: 39330
2715.80/2723.91 c #Conflicts: 955000 | #Constraints: 40330
2715.80/2723.91 c #Conflicts: 956000 | #Constraints: 41331
2715.80/2723.91 c #Conflicts: 957000 | #Constraints: 42331
2715.80/2723.91 c #Conflicts: 958000 | #Constraints: 43331
2715.80/2723.91 c #Conflicts: 959000 | #Constraints: 44331
2715.80/2723.91 c #Conflicts: 960000 | #Constraints: 45331
2715.80/2723.91 c #Conflicts: 961000 | #Constraints: 46332
2715.80/2723.91 c INPROCESSING
2715.80/2723.91 c GARBAGE COLLECT
2715.80/2723.91 c #Conflicts: 962000 | #Constraints: 27887
2715.80/2723.91 c #Conflicts: 963000 | #Constraints: 28887
2715.80/2723.91 c #Conflicts: 964000 | #Constraints: 29887
2715.80/2723.91 c #Conflicts: 965000 | #Constraints: 30888
2715.80/2723.91 c #Conflicts: 966000 | #Constraints: 31888
2715.80/2723.91 c #Conflicts: 967000 | #Constraints: 32889
2715.80/2723.91 c #Conflicts: 968000 | #Constraints: 33889
2715.80/2723.91 c #Conflicts: 969000 | #Constraints: 34889
2715.80/2723.91 c #Conflicts: 970000 | #Constraints: 35889
2715.80/2723.91 c #Conflicts: 971000 | #Constraints: 36889
2715.80/2723.91 c #Conflicts: 972000 | #Constraints: 37889
2715.80/2723.91 c #Conflicts: 973000 | #Constraints: 38889
2715.80/2723.91 c #Conflicts: 974000 | #Constraints: 39889
2715.80/2723.91 c #Conflicts: 975000 | #Constraints: 40890
2715.80/2723.91 c #Conflicts: 976000 | #Constraints: 41890
2715.80/2723.91 c #Conflicts: 977000 | #Constraints: 42890
2715.80/2723.91 c #Conflicts: 978000 | #Constraints: 43890
2715.80/2723.91 c #Conflicts: 979000 | #Constraints: 44890
2715.80/2723.91 c #Conflicts: 980000 | #Constraints: 45890
2715.80/2723.91 c #Conflicts: 981000 | #Constraints: 46890
2715.80/2723.91 c INPROCESSING
2715.80/2723.91 c GARBAGE COLLECT
2715.80/2723.91 c #Conflicts: 982000 | #Constraints: 28305
2715.80/2723.91 c #Conflicts: 983000 | #Constraints: 29305
2715.80/2723.91 c #Conflicts: 984000 | #Constraints: 30305
2715.80/2723.91 c #Conflicts: 985000 | #Constraints: 31305
2715.80/2723.91 c #Conflicts: 986000 | #Constraints: 32305
2715.80/2723.91 c #Conflicts: 987000 | #Constraints: 33305
2715.80/2723.91 c #Conflicts: 988000 | #Constraints: 34306
2715.80/2723.91 c #Conflicts: 989000 | #Constraints: 35306
2715.80/2723.91 c #Conflicts: 990000 | #Constraints: 36306
2715.80/2723.91 c #Conflicts: 991000 | #Constraints: 37306
2715.80/2723.91 c #Conflicts: 992000 | #Constraints: 38306
2715.80/2723.91 c #Conflicts: 993000 | #Constraints: 39306
2715.80/2723.91 c #Conflicts: 994000 | #Constraints: 40306
2715.80/2723.91 c #Conflicts: 995000 | #Constraints: 41307
2715.80/2723.91 c #Conflicts: 996000 | #Constraints: 42307
2715.80/2723.91 c #Conflicts: 997000 | #Constraints: 43307
2715.80/2723.91 c #Conflicts: 998000 | #Constraints: 44307
2715.80/2723.91 c #Conflicts: 999000 | #Constraints: 45307
2715.80/2723.91 c #Conflicts: 1000000 | #Constraints: 46307
2715.80/2723.91 c #Conflicts: 1001000 | #Constraints: 47307
2715.80/2723.91 c INPROCESSING
2715.80/2723.91 c GARBAGE COLLECT
2715.80/2723.91 c #Conflicts: 1002000 | #Constraints: 28540
2715.80/2723.91 c #Conflicts: 1003000 | #Constraints: 29540
2715.80/2723.91 c #Conflicts: 1004000 | #Constraints: 30540
2715.80/2723.91 c #Conflicts: 1005000 | #Constraints: 31540
2715.80/2723.91 c #Conflicts: 1006000 | #Constraints: 32540
2715.80/2723.91 c #Conflicts: 1007000 | #Constraints: 33540
2715.80/2723.91 c #Conflicts: 1008000 | #Constraints: 34540
2715.80/2723.91 c #Conflicts: 1009000 | #Constraints: 35540
2715.80/2723.91 c #Conflicts: 1010000 | #Constraints: 36541
2715.80/2723.91 c #Conflicts: 1011000 | #Constraints: 37541
2715.80/2723.91 c #Conflicts: 1012000 | #Constraints: 38541
2715.80/2723.91 c #Conflicts: 1013000 | #Constraints: 39541
2715.80/2723.91 c #Conflicts: 1014000 | #Constraints: 40541
2715.80/2723.91 c #Conflicts: 1015000 | #Constraints: 41541
2715.80/2723.91 c #Conflicts: 1016000 | #Constraints: 42541
2715.80/2723.91 c #Conflicts: 1017000 | #Constraints: 43541
2715.80/2723.91 c #Conflicts: 1018000 | #Constraints: 44541
2766.15/2774.43 c #Conflicts: 1019000 | #Constraints: 45541
2766.15/2774.43 c #Conflicts: 1020000 | #Constraints: 46541
2766.15/2774.43 c #Conflicts: 1021000 | #Constraints: 47541
2766.15/2774.43 c INPROCESSING
2766.15/2774.43 c GARBAGE COLLECT
2766.15/2774.43 c #Conflicts: 1022000 | #Constraints: 28567
2766.15/2774.43 c #Conflicts: 1023000 | #Constraints: 29567
2766.15/2774.43 c #Conflicts: 1024000 | #Constraints: 30567
2766.15/2774.43 c #Conflicts: 1025000 | #Constraints: 31567
2766.15/2774.43 c #Conflicts: 1026000 | #Constraints: 32567
2766.15/2774.43 c #Conflicts: 1027000 | #Constraints: 33567
2766.15/2774.43 c #Conflicts: 1028000 | #Constraints: 34567
2766.15/2774.43 c #Conflicts: 1029000 | #Constraints: 35567
2766.15/2774.43 c #Conflicts: 1030000 | #Constraints: 36567
2766.15/2774.43 c #Conflicts: 1031000 | #Constraints: 37567
2766.15/2774.43 c #Conflicts: 1032000 | #Constraints: 38567
2766.15/2774.43 c #Conflicts: 1033000 | #Constraints: 39567
2766.15/2774.43 c #Conflicts: 1034000 | #Constraints: 40567
2766.15/2774.43 c #Conflicts: 1035000 | #Constraints: 41567
2766.15/2774.43 c #Conflicts: 1036000 | #Constraints: 42567
2766.15/2774.43 c #Conflicts: 1037000 | #Constraints: 43567
2766.15/2774.43 c #Conflicts: 1038000 | #Constraints: 44567
2766.15/2774.43 c #Conflicts: 1039000 | #Constraints: 45567
2766.15/2774.43 c #Conflicts: 1040000 | #Constraints: 46568
2766.15/2774.43 c #Conflicts: 1041000 | #Constraints: 47568
2766.15/2774.43 c INPROCESSING
2766.15/2774.43 c GARBAGE COLLECT
2766.15/2774.43 c rational objective 4501.5
2797.67/2806.06 c #Conflicts: 1042000 | #Constraints: 28384
2797.67/2806.06 c #Conflicts: 1043000 | #Constraints: 29384
2797.67/2806.06 c #Conflicts: 1044000 | #Constraints: 30387
2797.67/2806.06 c #Conflicts: 1045000 | #Constraints: 31387
2797.67/2806.06 c #Conflicts: 1046000 | #Constraints: 32387
2797.67/2806.06 c #Conflicts: 1047000 | #Constraints: 33387
2797.67/2806.06 c #Conflicts: 1048000 | #Constraints: 34387
2797.67/2806.06 c #Conflicts: 1049000 | #Constraints: 35388
2797.67/2806.06 c #Conflicts: 1050000 | #Constraints: 36388
2797.67/2806.06 c #Conflicts: 1051000 | #Constraints: 37389
2797.67/2806.06 c #Conflicts: 1052000 | #Constraints: 38389
2797.67/2806.06 c #Conflicts: 1053000 | #Constraints: 39390
2797.67/2806.06 c #Conflicts: 1054000 | #Constraints: 40390
2797.67/2806.06 c #Conflicts: 1055000 | #Constraints: 41391
2797.67/2806.06 c #Conflicts: 1056000 | #Constraints: 42392
2797.67/2806.06 c #Conflicts: 1057000 | #Constraints: 43392
2797.67/2806.06 c #Conflicts: 1058000 | #Constraints: 44393
2797.67/2806.06 c #Conflicts: 1059000 | #Constraints: 45393
2797.67/2806.06 c #Conflicts: 1060000 | #Constraints: 46393
2797.67/2806.06 c #Conflicts: 1061000 | #Constraints: 47393
2797.67/2806.06 c #Conflicts: 1062000 | #Constraints: 48393
2797.67/2806.06 c INPROCESSING
2797.67/2806.06 c GARBAGE COLLECT
2797.67/2806.06 c rational objective 4501.5
2817.30/2825.77 c #Conflicts: 1063000 | #Constraints: 28931
2817.30/2825.77 c #Conflicts: 1064000 | #Constraints: 29932
2817.30/2825.77 c #Conflicts: 1065000 | #Constraints: 30933
2817.30/2825.77 c #Conflicts: 1066000 | #Constraints: 31934
2817.30/2825.77 c #Conflicts: 1067000 | #Constraints: 32934
2817.30/2825.77 c #Conflicts: 1068000 | #Constraints: 33934
2817.30/2825.77 c #Conflicts: 1069000 | #Constraints: 34935
2817.30/2825.77 c #Conflicts: 1070000 | #Constraints: 35935
2817.30/2825.77 c #Conflicts: 1071000 | #Constraints: 36935
2817.30/2825.77 c #Conflicts: 1072000 | #Constraints: 37935
2817.30/2825.77 c #Conflicts: 1073000 | #Constraints: 38935
2817.30/2825.77 c #Conflicts: 1074000 | #Constraints: 39935
2817.30/2825.77 c #Conflicts: 1075000 | #Constraints: 40936
2817.30/2825.77 c #Conflicts: 1076000 | #Constraints: 41936
2817.30/2825.77 c #Conflicts: 1077000 | #Constraints: 42937
2817.30/2825.77 c #Conflicts: 1078000 | #Constraints: 43937
2817.30/2825.77 c #Conflicts: 1079000 | #Constraints: 44938
2817.30/2825.77 c #Conflicts: 1080000 | #Constraints: 45938
2817.30/2825.77 c #Conflicts: 1081000 | #Constraints: 46938
2817.30/2825.77 c #Conflicts: 1082000 | #Constraints: 47939
2817.30/2825.77 c #Conflicts: 1083000 | #Constraints: 48939
2817.30/2825.77 c INPROCESSING
2817.30/2825.77 c GARBAGE COLLECT
2817.30/2825.77 c rational objective 4501.5
2836.66/2845.12 c #Conflicts: 1084000 | #Constraints: 29283
2836.66/2845.12 c #Conflicts: 1085000 | #Constraints: 30283
2836.66/2845.12 c #Conflicts: 1086000 | #Constraints: 31284
2836.66/2845.12 c #Conflicts: 1087000 | #Constraints: 32286
2836.66/2845.12 c #Conflicts: 1088000 | #Constraints: 33286
2836.66/2845.12 c #Conflicts: 1089000 | #Constraints: 34287
2836.66/2845.12 c #Conflicts: 1090000 | #Constraints: 35287
2836.66/2845.12 c #Conflicts: 1091000 | #Constraints: 36287
2836.66/2845.12 c #Conflicts: 1092000 | #Constraints: 37287
2836.66/2845.12 c #Conflicts: 1093000 | #Constraints: 38287
2836.66/2845.12 c #Conflicts: 1094000 | #Constraints: 39287
2836.66/2845.12 c #Conflicts: 1095000 | #Constraints: 40287
2836.66/2845.12 c #Conflicts: 1096000 | #Constraints: 41287
2836.66/2845.12 c #Conflicts: 1097000 | #Constraints: 42287
2836.66/2845.12 c #Conflicts: 1098000 | #Constraints: 43288
2836.66/2845.12 c #Conflicts: 1099000 | #Constraints: 44288
2836.66/2845.12 c #Conflicts: 1100000 | #Constraints: 45288
2836.66/2845.12 c #Conflicts: 1101000 | #Constraints: 46289
2836.66/2845.12 c #Conflicts: 1102000 | #Constraints: 47289
2836.66/2845.12 c #Conflicts: 1103000 | #Constraints: 48290
2836.66/2845.12 c #Conflicts: 1104000 | #Constraints: 49290
2836.66/2845.12 c INPROCESSING
2836.66/2845.12 c GARBAGE COLLECT
2836.66/2845.12 c rational objective 4501.5
2863.48/2872.02 c #Conflicts: 1105000 | #Constraints: 29474
2863.48/2872.02 c #Conflicts: 1106000 | #Constraints: 30474
2863.48/2872.02 c #Conflicts: 1107000 | #Constraints: 31474
2863.48/2872.02 c #Conflicts: 1108000 | #Constraints: 32474
2863.48/2872.02 c #Conflicts: 1109000 | #Constraints: 33474
2863.48/2872.02 c #Conflicts: 1110000 | #Constraints: 34475
2863.48/2872.02 c #Conflicts: 1111000 | #Constraints: 35476
2863.48/2872.02 c #Conflicts: 1112000 | #Constraints: 36476
2863.48/2872.02 c #Conflicts: 1113000 | #Constraints: 37476
2863.48/2872.02 c #Conflicts: 1114000 | #Constraints: 38477
2863.48/2872.02 c #Conflicts: 1115000 | #Constraints: 39478
2863.48/2872.02 c #Conflicts: 1116000 | #Constraints: 40479
2863.48/2872.02 c #Conflicts: 1117000 | #Constraints: 41480
2863.48/2872.02 c #Conflicts: 1118000 | #Constraints: 42481
2863.48/2872.02 c #Conflicts: 1119000 | #Constraints: 43481
2863.48/2872.02 c #Conflicts: 1120000 | #Constraints: 44482
2863.48/2872.02 c #Conflicts: 1121000 | #Constraints: 45482
2863.48/2872.02 c #Conflicts: 1122000 | #Constraints: 46482
2863.48/2872.02 c #Conflicts: 1123000 | #Constraints: 47484
2863.48/2872.02 c #Conflicts: 1124000 | #Constraints: 48484
2863.48/2872.02 c #Conflicts: 1125000 | #Constraints: 49484
2863.48/2872.02 c INPROCESSING
2863.48/2872.02 c GARBAGE COLLECT
2863.48/2872.02 c rational objective 4501.5
2880.12/2888.77 c #Conflicts: 1126000 | #Constraints: 29468
2880.12/2888.77 c #Conflicts: 1127000 | #Constraints: 30468
2880.12/2888.77 c #Conflicts: 1128000 | #Constraints: 31468
2880.12/2888.77 c #Conflicts: 1129000 | #Constraints: 32468
2880.12/2888.77 c #Conflicts: 1130000 | #Constraints: 33468
2880.12/2888.77 c #Conflicts: 1131000 | #Constraints: 34468
2880.12/2888.77 c #Conflicts: 1132000 | #Constraints: 35470
2880.12/2888.77 c #Conflicts: 1133000 | #Constraints: 36472
2880.12/2888.77 c #Conflicts: 1134000 | #Constraints: 37472
2880.12/2888.77 c #Conflicts: 1135000 | #Constraints: 38473
2880.12/2888.77 c #Conflicts: 1136000 | #Constraints: 39473
2880.12/2888.77 c #Conflicts: 1137000 | #Constraints: 40473
2880.12/2888.77 c #Conflicts: 1138000 | #Constraints: 41473
2880.12/2888.77 c #Conflicts: 1139000 | #Constraints: 42473
2880.12/2888.77 c #Conflicts: 1140000 | #Constraints: 43473
2880.12/2888.77 c #Conflicts: 1141000 | #Constraints: 44474
2880.12/2888.77 c #Conflicts: 1142000 | #Constraints: 45474
2880.12/2888.77 c #Conflicts: 1143000 | #Constraints: 46475
2880.12/2888.77 c #Conflicts: 1144000 | #Constraints: 47475
2880.12/2888.77 c #Conflicts: 1145000 | #Constraints: 48476
2880.12/2888.77 c #Conflicts: 1146000 | #Constraints: 49476
2880.12/2888.77 c INPROCESSING
2880.12/2888.77 c GARBAGE COLLECT
2880.12/2888.77 c rational objective 4501.5
2923.30/2932.09 c #Conflicts: 1147000 | #Constraints: 29239
2923.30/2932.09 c #Conflicts: 1148000 | #Constraints: 30239
2923.30/2932.09 c #Conflicts: 1149000 | #Constraints: 31239
2923.30/2932.09 c #Conflicts: 1150000 | #Constraints: 32239
2923.30/2932.09 c #Conflicts: 1151000 | #Constraints: 33239
2923.30/2932.09 c #Conflicts: 1152000 | #Constraints: 34239
2923.30/2932.09 c #Conflicts: 1153000 | #Constraints: 35239
2923.30/2932.09 c #Conflicts: 1154000 | #Constraints: 36241
2923.30/2932.09 c #Conflicts: 1155000 | #Constraints: 37241
2923.30/2932.09 c #Conflicts: 1156000 | #Constraints: 38242
2923.30/2932.09 c #Conflicts: 1157000 | #Constraints: 39242
2923.30/2932.09 c #Conflicts: 1158000 | #Constraints: 40242
2923.30/2932.09 c #Conflicts: 1159000 | #Constraints: 41242
2923.30/2932.09 c #Conflicts: 1160000 | #Constraints: 42242
2923.30/2932.09 c #Conflicts: 1161000 | #Constraints: 43242
2923.30/2932.09 c #Conflicts: 1162000 | #Constraints: 44242
2923.30/2932.09 c #Conflicts: 1163000 | #Constraints: 45242
2923.30/2932.09 c #Conflicts: 1164000 | #Constraints: 46242
2923.30/2932.09 c #Conflicts: 1165000 | #Constraints: 47242
2923.30/2932.09 c #Conflicts: 1166000 | #Constraints: 48242
2923.30/2932.09 c #Conflicts: 1167000 | #Constraints: 49242
2923.30/2932.09 c #Conflicts: 1168000 | #Constraints: 50242
2923.30/2932.09 c INPROCESSING
2923.30/2932.09 c GARBAGE COLLECT
2923.30/2932.09 c rational objective 4501.5
2954.91/2963.72 c #Conflicts: 1169000 | #Constraints: 29843
2954.91/2963.72 c #Conflicts: 1170000 | #Constraints: 30843
2954.91/2963.72 c #Conflicts: 1171000 | #Constraints: 31843
2954.91/2963.72 c #Conflicts: 1172000 | #Constraints: 32843
2954.91/2963.72 c #Conflicts: 1173000 | #Constraints: 33843
2954.91/2963.72 c #Conflicts: 1174000 | #Constraints: 34844
2954.91/2963.72 c #Conflicts: 1175000 | #Constraints: 35844
2954.91/2963.72 c #Conflicts: 1176000 | #Constraints: 36844
2954.91/2963.72 c #Conflicts: 1177000 | #Constraints: 37844
2954.91/2963.72 c #Conflicts: 1178000 | #Constraints: 38844
2954.91/2963.72 c #Conflicts: 1179000 | #Constraints: 39844
2954.91/2963.72 c #Conflicts: 1180000 | #Constraints: 40844
2954.91/2963.72 c #Conflicts: 1181000 | #Constraints: 41844
2954.91/2963.72 c #Conflicts: 1182000 | #Constraints: 42844
2954.91/2963.72 c #Conflicts: 1183000 | #Constraints: 43844
2954.91/2963.72 c #Conflicts: 1184000 | #Constraints: 44844
2954.91/2963.72 c #Conflicts: 1185000 | #Constraints: 45844
2954.91/2963.72 c #Conflicts: 1186000 | #Constraints: 46844
2954.91/2963.72 c #Conflicts: 1187000 | #Constraints: 47844
2954.91/2963.72 c #Conflicts: 1188000 | #Constraints: 48845
2954.91/2963.72 c #Conflicts: 1189000 | #Constraints: 49845
2954.91/2963.72 c #Conflicts: 1190000 | #Constraints: 50845
2954.91/2963.72 c INPROCESSING
2954.91/2963.72 c GARBAGE COLLECT
2954.91/2963.72 c rational objective 4501.5
3018.43/3027.46 c #Conflicts: 1191000 | #Constraints: 30217
3018.43/3027.46 c #Conflicts: 1192000 | #Constraints: 31217
3018.43/3027.46 c #Conflicts: 1193000 | #Constraints: 32217
3018.43/3027.46 c #Conflicts: 1194000 | #Constraints: 33217
3018.43/3027.46 c #Conflicts: 1195000 | #Constraints: 34217
3018.43/3027.46 c #Conflicts: 1196000 | #Constraints: 35217
3018.43/3027.46 c #Conflicts: 1197000 | #Constraints: 36217
3018.43/3027.46 c #Conflicts: 1198000 | #Constraints: 37217
3018.43/3027.46 c #Conflicts: 1199000 | #Constraints: 38217
3018.43/3027.46 c #Conflicts: 1200000 | #Constraints: 39217
3018.43/3027.46 c #Conflicts: 1201000 | #Constraints: 40217
3018.43/3027.46 c #Conflicts: 1202000 | #Constraints: 41217
3018.43/3027.46 c #Conflicts: 1203000 | #Constraints: 42217
3018.43/3027.46 c #Conflicts: 1204000 | #Constraints: 43217
3018.43/3027.46 c #Conflicts: 1205000 | #Constraints: 44217
3018.43/3027.46 c #Conflicts: 1206000 | #Constraints: 45217
3018.43/3027.46 c #Conflicts: 1207000 | #Constraints: 46217
3018.43/3027.46 c #Conflicts: 1208000 | #Constraints: 47217
3018.43/3027.46 c #Conflicts: 1209000 | #Constraints: 48217
3018.43/3027.46 c #Conflicts: 1210000 | #Constraints: 49217
3018.43/3027.46 c #Conflicts: 1211000 | #Constraints: 50217
3018.43/3027.46 c #Conflicts: 1212000 | #Constraints: 51217
3018.43/3027.46 c INPROCESSING
3018.43/3027.46 c GARBAGE COLLECT
3018.43/3027.46 c rational objective 4501.5
3143.67/3153.08 c #Conflicts: 1213000 | #Constraints: 30425
3143.67/3153.08 c #Conflicts: 1214000 | #Constraints: 31425
3143.67/3153.08 c #Conflicts: 1215000 | #Constraints: 32426
3143.67/3153.08 c #Conflicts: 1216000 | #Constraints: 33426
3143.67/3153.08 c #Conflicts: 1217000 | #Constraints: 34426
3143.67/3153.08 c #Conflicts: 1218000 | #Constraints: 35426
3143.67/3153.08 c #Conflicts: 1219000 | #Constraints: 36426
3143.67/3153.08 c #Conflicts: 1220000 | #Constraints: 37426
3143.67/3153.08 c #Conflicts: 1221000 | #Constraints: 38426
3143.67/3153.08 c #Conflicts: 1222000 | #Constraints: 39426
3143.67/3153.08 c #Conflicts: 1223000 | #Constraints: 40426
3143.67/3153.08 c #Conflicts: 1224000 | #Constraints: 41426
3143.67/3153.08 c #Conflicts: 1225000 | #Constraints: 42426
3143.67/3153.08 c #Conflicts: 1226000 | #Constraints: 43426
3143.67/3153.08 c #Conflicts: 1227000 | #Constraints: 44426
3143.67/3153.08 c #Conflicts: 1228000 | #Constraints: 45426
3143.67/3153.08 c #Conflicts: 1229000 | #Constraints: 46426
3143.67/3153.08 c #Conflicts: 1230000 | #Constraints: 47426
3143.67/3153.08 c #Conflicts: 1231000 | #Constraints: 48427
3143.67/3153.08 c #Conflicts: 1232000 | #Constraints: 49427
3143.67/3153.08 c #Conflicts: 1233000 | #Constraints: 50427
3143.67/3153.08 c #Conflicts: 1234000 | #Constraints: 51427
3143.67/3153.08 c INPROCESSING
3143.67/3153.08 c GARBAGE COLLECT
3143.67/3153.08 c rational objective 4501.5
3288.15/3297.95 c #Conflicts: 1235000 | #Constraints: 30410
3288.15/3297.95 c #Conflicts: 1236000 | #Constraints: 31410
3288.15/3297.95 c #Conflicts: 1237000 | #Constraints: 32410
3288.15/3297.95 c #Conflicts: 1238000 | #Constraints: 33410
3288.15/3297.95 c #Conflicts: 1239000 | #Constraints: 34410
3288.15/3297.95 c #Conflicts: 1240000 | #Constraints: 35410
3288.15/3297.95 c #Conflicts: 1241000 | #Constraints: 36410
3288.15/3297.95 c #Conflicts: 1242000 | #Constraints: 37410
3288.15/3297.95 c #Conflicts: 1243000 | #Constraints: 38411
3288.15/3297.95 c #Conflicts: 1244000 | #Constraints: 39411
3288.15/3297.95 c #Conflicts: 1245000 | #Constraints: 40411
3288.15/3297.95 c #Conflicts: 1246000 | #Constraints: 41411
3288.15/3297.95 c #Conflicts: 1247000 | #Constraints: 42411
3288.15/3297.95 c #Conflicts: 1248000 | #Constraints: 43411
3288.15/3297.95 c #Conflicts: 1249000 | #Constraints: 44411
3288.15/3297.95 c #Conflicts: 1250000 | #Constraints: 45411
3288.15/3297.95 c #Conflicts: 1251000 | #Constraints: 46411
3288.15/3297.95 c #Conflicts: 1252000 | #Constraints: 47411
3288.15/3297.95 c #Conflicts: 1253000 | #Constraints: 48411
3288.15/3297.95 c #Conflicts: 1254000 | #Constraints: 49411
3288.15/3297.95 c #Conflicts: 1255000 | #Constraints: 50411
3288.15/3297.95 c #Conflicts: 1256000 | #Constraints: 51411
3288.15/3297.95 c INPROCESSING
3288.15/3297.95 c GARBAGE COLLECT
3288.15/3297.95 c #Conflicts: 1257000 | #Constraints: 30213
3288.15/3297.95 c #Conflicts: 1258000 | #Constraints: 31213
3288.15/3297.95 c #Conflicts: 1259000 | #Constraints: 32213
3288.15/3297.95 c #Conflicts: 1260000 | #Constraints: 33213
3288.15/3297.95 c #Conflicts: 1261000 | #Constraints: 34213
3288.15/3297.95 c #Conflicts: 1262000 | #Constraints: 35213
3288.15/3297.95 c #Conflicts: 1263000 | #Constraints: 36213
3288.15/3297.95 c #Conflicts: 1264000 | #Constraints: 37213
3288.15/3297.95 c #Conflicts: 1265000 | #Constraints: 38213
3288.15/3297.95 c #Conflicts: 1266000 | #Constraints: 39213
3288.15/3297.95 c #Conflicts: 1267000 | #Constraints: 40213
3288.15/3297.95 c #Conflicts: 1268000 | #Constraints: 41213
3288.15/3297.95 c #Conflicts: 1269000 | #Constraints: 42213
3288.15/3297.95 c #Conflicts: 1270000 | #Constraints: 43213
3288.15/3297.95 c #Conflicts: 1271000 | #Constraints: 44213
3288.15/3297.95 c #Conflicts: 1272000 | #Constraints: 45213
3288.15/3297.95 c #Conflicts: 1273000 | #Constraints: 46213
3288.15/3297.95 c #Conflicts: 1274000 | #Constraints: 47213
3288.15/3297.95 c #Conflicts: 1275000 | #Constraints: 48213
3288.15/3297.95 c #Conflicts: 1276000 | #Constraints: 49213
3288.15/3297.95 c #Conflicts: 1277000 | #Constraints: 50213
3288.15/3297.95 c #Conflicts: 1278000 | #Constraints: 51213
3288.15/3297.95 c #Conflicts: 1279000 | #Constraints: 52213
3288.15/3297.95 c INPROCESSING
3288.15/3297.95 c GARBAGE COLLECT
3288.15/3297.95 c #Conflicts: 1280000 | #Constraints: 30807
3288.15/3297.95 c #Conflicts: 1281000 | #Constraints: 31807
3288.15/3297.95 c #Conflicts: 1282000 | #Constraints: 32807
3288.15/3297.95 c #Conflicts: 1283000 | #Constraints: 33807
3288.15/3297.95 c #Conflicts: 1284000 | #Constraints: 34807
3288.15/3297.95 c #Conflicts: 1285000 | #Constraints: 35807
3288.15/3297.95 c #Conflicts: 1286000 | #Constraints: 36807
3288.15/3297.95 c #Conflicts: 1287000 | #Constraints: 37807
3288.15/3297.95 c #Conflicts: 1288000 | #Constraints: 38807
3288.15/3297.95 c #Conflicts: 1289000 | #Constraints: 39807
3288.15/3297.95 c #Conflicts: 1290000 | #Constraints: 40809
3288.15/3297.95 c #Conflicts: 1291000 | #Constraints: 41809
3288.15/3297.95 c #Conflicts: 1292000 | #Constraints: 42809
3288.15/3297.95 c #Conflicts: 1293000 | #Constraints: 43809
3288.15/3297.95 c #Conflicts: 1294000 | #Constraints: 44809
3288.15/3297.95 c #Conflicts: 1295000 | #Constraints: 45810
3288.15/3297.95 c #Conflicts: 1296000 | #Constraints: 46810
3288.15/3297.95 c #Conflicts: 1297000 | #Constraints: 47810
3288.15/3297.95 c #Conflicts: 1298000 | #Constraints: 48810
3288.15/3297.95 c #Conflicts: 1299000 | #Constraints: 49810
3288.15/3297.95 c #Conflicts: 1300000 | #Constraints: 50810
3288.15/3297.95 c #Conflicts: 1301000 | #Constraints: 51810
3288.15/3297.95 c #Conflicts: 1302000 | #Constraints: 52811
3288.15/3297.95 c INPROCESSING
3288.15/3297.95 c GARBAGE COLLECT
3288.15/3297.95 c #Conflicts: 1303000 | #Constraints: 31288
3288.15/3297.95 c #Conflicts: 1304000 | #Constraints: 32288
3288.15/3297.95 c #Conflicts: 1305000 | #Constraints: 33288
3288.15/3297.95 c #Conflicts: 1306000 | #Constraints: 34288
3288.15/3297.95 c #Conflicts: 1307000 | #Constraints: 35289
3288.15/3297.95 c #Conflicts: 1308000 | #Constraints: 36289
3288.15/3297.95 c #Conflicts: 1309000 | #Constraints: 37289
3288.15/3297.95 c #Conflicts: 1310000 | #Constraints: 38289
3288.15/3297.95 c #Conflicts: 1311000 | #Constraints: 39289
3317.06/3326.91 c #Conflicts: 1312000 | #Constraints: 40289
3317.06/3326.91 c #Conflicts: 1313000 | #Constraints: 41289
3317.06/3326.91 c #Conflicts: 1314000 | #Constraints: 42289
3317.06/3326.91 c #Conflicts: 1315000 | #Constraints: 43289
3317.06/3326.91 c #Conflicts: 1316000 | #Constraints: 44289
3317.06/3326.91 c #Conflicts: 1317000 | #Constraints: 45289
3317.06/3326.91 c #Conflicts: 1318000 | #Constraints: 46289
3317.06/3326.91 c #Conflicts: 1319000 | #Constraints: 47290
3317.06/3326.91 c #Conflicts: 1320000 | #Constraints: 48290
3317.06/3326.91 c #Conflicts: 1321000 | #Constraints: 49290
3317.06/3326.91 c #Conflicts: 1322000 | #Constraints: 50290
3317.06/3326.91 c #Conflicts: 1323000 | #Constraints: 51290
3317.06/3326.91 c #Conflicts: 1324000 | #Constraints: 52290
3317.06/3326.91 c #Conflicts: 1325000 | #Constraints: 53290
3317.06/3326.91 c INPROCESSING
3317.06/3326.91 c GARBAGE COLLECT
3317.06/3326.91 c #Conflicts: 1326000 | #Constraints: 31560
3317.06/3326.91 c #Conflicts: 1327000 | #Constraints: 32560
3317.06/3326.91 c #Conflicts: 1328000 | #Constraints: 33560
3317.06/3326.91 c #Conflicts: 1329000 | #Constraints: 34560
3317.06/3326.91 c #Conflicts: 1330000 | #Constraints: 35560
3317.06/3326.91 c #Conflicts: 1331000 | #Constraints: 36560
3317.06/3326.91 c #Conflicts: 1332000 | #Constraints: 37560
3317.06/3326.91 c #Conflicts: 1333000 | #Constraints: 38560
3317.06/3326.91 c #Conflicts: 1334000 | #Constraints: 39560
3317.06/3326.91 c #Conflicts: 1335000 | #Constraints: 40560
3317.06/3326.91 c #Conflicts: 1336000 | #Constraints: 41560
3317.06/3326.91 c #Conflicts: 1337000 | #Constraints: 42560
3317.06/3326.91 c #Conflicts: 1338000 | #Constraints: 43560
3317.06/3326.91 c #Conflicts: 1339000 | #Constraints: 44560
3317.06/3326.91 c #Conflicts: 1340000 | #Constraints: 45560
3317.06/3326.91 c #Conflicts: 1341000 | #Constraints: 46561
3317.06/3326.91 c #Conflicts: 1342000 | #Constraints: 47561
3317.06/3326.91 c #Conflicts: 1343000 | #Constraints: 48562
3317.06/3326.91 c #Conflicts: 1344000 | #Constraints: 49562
3317.06/3326.91 c #Conflicts: 1345000 | #Constraints: 50562
3317.06/3326.91 c #Conflicts: 1346000 | #Constraints: 51562
3317.06/3326.91 c #Conflicts: 1347000 | #Constraints: 52562
3317.06/3326.91 c #Conflicts: 1348000 | #Constraints: 53563
3317.06/3326.91 c INPROCESSING
3317.06/3326.91 c GARBAGE COLLECT
3317.06/3326.91 c rational objective 4501.5
3380.98/3391.06 c #Conflicts: 1349000 | #Constraints: 31630
3380.98/3391.06 c #Conflicts: 1350000 | #Constraints: 32630
3380.98/3391.06 c #Conflicts: 1351000 | #Constraints: 33633
3380.98/3391.06 c #Conflicts: 1352000 | #Constraints: 34634
3380.98/3391.06 c #Conflicts: 1353000 | #Constraints: 35634
3380.98/3391.06 c #Conflicts: 1354000 | #Constraints: 36635
3380.98/3391.06 c #Conflicts: 1355000 | #Constraints: 37635
3380.98/3391.06 c #Conflicts: 1356000 | #Constraints: 38635
3380.98/3391.06 c #Conflicts: 1357000 | #Constraints: 39635
3380.98/3391.06 c #Conflicts: 1358000 | #Constraints: 40635
3380.98/3391.06 c #Conflicts: 1359000 | #Constraints: 41635
3380.98/3391.06 c #Conflicts: 1360000 | #Constraints: 42635
3380.98/3391.06 c #Conflicts: 1361000 | #Constraints: 43635
3380.98/3391.06 c #Conflicts: 1362000 | #Constraints: 44635
3380.98/3391.06 c #Conflicts: 1363000 | #Constraints: 45635
3380.98/3391.06 c #Conflicts: 1364000 | #Constraints: 46635
3380.98/3391.06 c #Conflicts: 1365000 | #Constraints: 47635
3380.98/3391.06 c #Conflicts: 1366000 | #Constraints: 48635
3380.98/3391.06 c #Conflicts: 1367000 | #Constraints: 49636
3380.98/3391.06 c #Conflicts: 1368000 | #Constraints: 50636
3380.98/3391.06 c #Conflicts: 1369000 | #Constraints: 51636
3380.98/3391.06 c #Conflicts: 1370000 | #Constraints: 52636
3380.98/3391.06 c #Conflicts: 1371000 | #Constraints: 53636
3380.98/3391.06 c INPROCESSING
3380.98/3391.06 c GARBAGE COLLECT
3380.98/3391.06 c #Conflicts: 1372000 | #Constraints: 31319
3380.98/3391.06 c #Conflicts: 1373000 | #Constraints: 32320
3380.98/3391.06 c #Conflicts: 1374000 | #Constraints: 33320
3380.98/3391.06 c #Conflicts: 1375000 | #Constraints: 34320
3380.98/3391.06 c #Conflicts: 1376000 | #Constraints: 35320
3380.98/3391.06 c #Conflicts: 1377000 | #Constraints: 36320
3380.98/3391.06 c #Conflicts: 1378000 | #Constraints: 37320
3380.98/3391.06 c #Conflicts: 1379000 | #Constraints: 38320
3380.98/3391.06 c #Conflicts: 1380000 | #Constraints: 39320
3380.98/3391.06 c #Conflicts: 1381000 | #Constraints: 40320
3380.98/3391.06 c #Conflicts: 1382000 | #Constraints: 41320
3380.98/3391.06 c #Conflicts: 1383000 | #Constraints: 42320
3380.98/3391.06 c #Conflicts: 1384000 | #Constraints: 43320
3380.98/3391.06 c #Conflicts: 1385000 | #Constraints: 44320
3380.98/3391.06 c #Conflicts: 1386000 | #Constraints: 45320
3380.98/3391.06 c #Conflicts: 1387000 | #Constraints: 46320
3380.98/3391.06 c #Conflicts: 1388000 | #Constraints: 47320
3380.98/3391.06 c #Conflicts: 1389000 | #Constraints: 48320
3380.98/3391.06 c #Conflicts: 1390000 | #Constraints: 49320
3380.98/3391.06 c #Conflicts: 1391000 | #Constraints: 50320
3380.98/3391.06 c #Conflicts: 1392000 | #Constraints: 51320
3380.98/3391.06 c #Conflicts: 1393000 | #Constraints: 52320
3380.98/3391.06 c #Conflicts: 1394000 | #Constraints: 53320
3380.98/3391.06 c #Conflicts: 1395000 | #Constraints: 54320
3380.98/3391.06 c INPROCESSING
3380.98/3391.06 c GARBAGE COLLECT
3380.98/3391.06 c rational objective 4501.5
3438.70/3448.99 c #Conflicts: 1396000 | #Constraints: 31863
3438.70/3448.99 c #Conflicts: 1397000 | #Constraints: 32863
3438.70/3448.99 c #Conflicts: 1398000 | #Constraints: 33864
3438.70/3448.99 c #Conflicts: 1399000 | #Constraints: 34864
3438.70/3448.99 c #Conflicts: 1400000 | #Constraints: 35864
3438.70/3448.99 c #Conflicts: 1401000 | #Constraints: 36864
3438.70/3448.99 c #Conflicts: 1402000 | #Constraints: 37864
3438.70/3448.99 c #Conflicts: 1403000 | #Constraints: 38864
3438.70/3448.99 c #Conflicts: 1404000 | #Constraints: 39864
3438.70/3448.99 c #Conflicts: 1405000 | #Constraints: 40864
3438.70/3448.99 c #Conflicts: 1406000 | #Constraints: 41864
3438.70/3448.99 c #Conflicts: 1407000 | #Constraints: 42865
3438.70/3448.99 c #Conflicts: 1408000 | #Constraints: 43865
3438.70/3448.99 c #Conflicts: 1409000 | #Constraints: 44865
3438.70/3448.99 c #Conflicts: 1410000 | #Constraints: 45865
3438.70/3448.99 c #Conflicts: 1411000 | #Constraints: 46865
3438.70/3448.99 c #Conflicts: 1412000 | #Constraints: 47865
3438.70/3448.99 c #Conflicts: 1413000 | #Constraints: 48865
3438.70/3448.99 c #Conflicts: 1414000 | #Constraints: 49865
3438.70/3448.99 c #Conflicts: 1415000 | #Constraints: 50865
3438.70/3448.99 c #Conflicts: 1416000 | #Constraints: 51865
3438.70/3448.99 c #Conflicts: 1417000 | #Constraints: 52865
3438.70/3448.99 c #Conflicts: 1418000 | #Constraints: 53865
3438.70/3448.99 c #Conflicts: 1419000 | #Constraints: 54865
3438.70/3448.99 c INPROCESSING
3438.70/3448.99 c GARBAGE COLLECT
3438.70/3448.99 c rational objective 4501.5
3527.35/3537.86 c #Conflicts: 1420000 | #Constraints: 32393
3527.35/3537.86 c #Conflicts: 1421000 | #Constraints: 33393
3527.35/3537.86 c #Conflicts: 1422000 | #Constraints: 34393
3527.35/3537.86 c #Conflicts: 1423000 | #Constraints: 35393
3527.35/3537.86 c #Conflicts: 1424000 | #Constraints: 36393
3527.35/3537.86 c #Conflicts: 1425000 | #Constraints: 37393
3527.35/3537.86 c #Conflicts: 1426000 | #Constraints: 38393
3527.35/3537.86 c #Conflicts: 1427000 | #Constraints: 39393
3527.35/3537.86 c #Conflicts: 1428000 | #Constraints: 40393
3527.35/3537.86 c #Conflicts: 1429000 | #Constraints: 41393
3527.35/3537.86 c #Conflicts: 1430000 | #Constraints: 42393
3527.35/3537.86 c #Conflicts: 1431000 | #Constraints: 43393
3527.35/3537.86 c #Conflicts: 1432000 | #Constraints: 44393
3527.35/3537.86 c #Conflicts: 1433000 | #Constraints: 45393
3527.35/3537.86 c #Conflicts: 1434000 | #Constraints: 46393
3527.35/3537.86 c #Conflicts: 1435000 | #Constraints: 47393
3527.35/3537.86 c #Conflicts: 1436000 | #Constraints: 48393
3527.35/3537.86 c #Conflicts: 1437000 | #Constraints: 49393
3527.35/3537.86 c #Conflicts: 1438000 | #Constraints: 50393
3527.35/3537.86 c #Conflicts: 1439000 | #Constraints: 51393
3527.35/3537.86 c #Conflicts: 1440000 | #Constraints: 52393
3527.35/3537.86 c #Conflicts: 1441000 | #Constraints: 53393
3527.35/3537.86 c #Conflicts: 1442000 | #Constraints: 54393
3527.35/3537.86 c #Conflicts: 1443000 | #Constraints: 55393
3527.35/3537.86 c INPROCESSING
3527.35/3537.86 c GARBAGE COLLECT
3527.35/3537.86 c rational objective 4501.5
3600.03/3610.70 c #Conflicts: 1444000 | #Constraints: 32498
3600.03/3610.70 c #Conflicts: 1445000 | #Constraints: 33498
3600.03/3610.70 c #Conflicts: 1446000 | #Constraints: 34498
3600.03/3610.70 c #Conflicts: 1447000 | #Constraints: 35498
3600.03/3610.70 c #Conflicts: 1448000 | #Constraints: 36498
3600.03/3610.70 c #Conflicts: 1449000 | #Constraints: 37498
3600.03/3610.70 c #Conflicts: 1450000 | #Constraints: 38499
3600.03/3610.70 c #Conflicts: 1451000 | #Constraints: 39499
3600.03/3610.70 c #Conflicts: 1452000 | #Constraints: 40499
3600.03/3610.70 c #Conflicts: 1453000 | #Constraints: 41499
3600.03/3610.70 c #Conflicts: 1454000 | #Constraints: 42499
3600.03/3610.70 c #Conflicts: 1455000 | #Constraints: 43499
3600.03/3610.70 c #Conflicts: 1456000 | #Constraints: 44499
3600.03/3610.70 c #Conflicts: 1457000 | #Constraints: 45499
3600.03/3610.70 c #Conflicts: 1458000 | #Constraints: 46499
3600.03/3610.70 c #Conflicts: 1459000 | #Constraints: 47499
3600.03/3610.70 c #Conflicts: 1460000 | #Constraints: 48499
3600.03/3610.70 c #Conflicts: 1461000 | #Constraints: 49499
3600.03/3610.70 c #Conflicts: 1462000 | #Constraints: 50499
3600.03/3610.70 c #Conflicts: 1463000 | #Constraints: 51499
3600.03/3610.70 c #Conflicts: 1464000 | #Constraints: 52499
3600.03/3610.70 c #Conflicts: 1465000 | #Constraints: 53499
3600.03/3610.70 c #Conflicts: 1466000 | #Constraints: 54499
3600.03/3610.70 c #Conflicts: 1467000 | #Constraints: 55499
3600.03/3610.70 c INPROCESSING
3600.03/3610.70 c GARBAGE COLLECT
3600.03/3610.70 c Disabling crashed LP
3600.03/3610.70 c cpu time 3574.8 s
3600.03/3610.70 c deterministic time 432203726917 4.32e+11
3600.03/3610.70 c optimization time 0.000123 s
3600.03/3610.70 c total solve time 3574.69 s
3600.03/3610.70 c core-guided solve time 0 s
3600.03/3610.70 c propagation time 1618.17 s
3600.03/3610.70 c conflict analysis time 790.737 s
3600.03/3610.70 c propagations 563130812
3600.03/3610.70 c resolve steps 11475931
3600.03/3610.70 c decisions 11464660
3600.03/3610.70 c conflicts 1467200
3600.03/3610.70 c restarts 2812
3600.03/3610.70 c inprocessing phases 112
3600.03/3610.70 c garbage collections 112 ,( 100.00 )
3600.03/3610.70 c input clauses 6004 ,( 80.00 )
3600.03/3610.70 c input cardinalities 1500 ,( 19.99 )
3600.03/3610.70 c input general constraints 1 ,( 0.01 )
3600.03/3610.70 c input average constraint length 4.00
3600.03/3610.70 c input average constraint degree 2.40
3600.03/3610.70 c learned clauses 139834 ,( 9.53 )
3600.03/3610.70 c learned cardinalities 19524 ,( 1.33 )
3600.03/3610.70 c learned general constraints 1308150 ,( 89.14 )
3600.03/3610.70 c learned average constraint length 1713.70
3600.03/3610.70 c learned average constraint degree 1262712194.88
3600.03/3610.70 c watched CF 32, 64, 128, Arb: 920770 , 0 , 0 , 0
3600.03/3610.70 c counting CF 32, 64, 128, Arb: 387381 , 0 , 0 , 0
3600.03/3610.70 c watched constraints 920770 ,( 70.39 )
3600.03/3610.70 c counting constraints 387381 ,( 29.61 )
3600.03/3610.70 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 150952144 , 116101115 , 1115484929 ,( 611449048 , 504035881 )
3600.03/3610.70 c gcd simplifications 20382
3600.03/3610.70 c detected cardinalities 1147
3600.03/3610.70 c weakened non-implied lits 462304758
3600.03/3610.70 c weakened non-implying lits 100845
3600.03/3610.70 c original variables 9003
3600.03/3610.70 c clausal propagations 143266816
3600.03/3610.70 c cardinality propagations 64890295
3600.03/3610.70 c watched propagations 111427050
3600.03/3610.70 c counting propagations 149047454
3600.03/3610.70 c watch lookups 41171772406
3600.03/3610.70 c watch backjump lookups 0
3600.03/3610.70 c watch checks 266785258803
3600.03/3610.70 c propagation checks 118224257141
3600.03/3610.70 c constraint additions 4871492837
3600.03/3610.70 c trail pops 576062433
3600.03/3610.70 c formula constraints 7505
3600.03/3610.70 c learned constraints 1466961
3600.03/3610.70 c bound constraints 0
3600.03/3610.70 c core-guided constraints 0
3600.03/3610.70 c encountered formula constraints 10270072
3600.03/3610.70 c encountered learned constraints 2622617
3600.03/3610.70 c encountered bound constraints 0
3600.03/3610.70 c encountered core-guided constraints 0
3600.03/3610.70 c LP total time 73.2224 s
3600.03/3610.70 c LP solve time 57.93 s
3600.03/3610.70 c LP constraints added 7574
3600.03/3610.70 c LP constraints removed 64
3600.03/3610.70 c LP pivots internal 146826
3600.03/3610.70 c LP pivots root 140998
3600.03/3610.70 c LP calls 274
3600.03/3610.70 c LP optimalities 31
3600.03/3610.70 c LP no pivot count 0
3600.03/3610.70 c LP infeasibilities 239
3600.03/3610.70 c LP valid Farkas constraints 239
3600.03/3610.70 c LP learned Farkas constraints 239
3600.03/3610.70 c LP basis resets 0
3600.03/3610.70 c LP cycling count 0
3600.03/3610.70 c LP singular count 0
3600.03/3610.70 c LP no primal count 0
3600.03/3610.70 c LP no farkas count 0
3600.03/3610.70 c LP other issue count 0
3600.03/3610.70 c LP Gomory cuts 69
3600.03/3610.70 c LP learned cuts 0
3600.03/3610.70 c LP deleted cuts 64
3600.03/3610.70 c LP encountered Gomory constraints 2
3600.03/3610.70 c LP encountered Farkas constraints 44975
3600.03/3610.70 c LP encountered learned Farkas constraints 5226
3600.03/3610.70 c CG auxiliary variables introduced 0
3600.03/3610.70 c CG solutions found 0
3600.03/3610.70 c CG cores constructed 0
3600.03/3610.70 c CG core cardinality constraints returned 0
3600.03/3610.70 c CG unit cores 0
3600.03/3610.70 c CG single cores 0
3600.03/3610.70 c CG blocks removed during cardinality reduction 0
3600.03/3610.70 c CG first core best 0
3600.03/3610.70 c CG decision core best 0
3600.03/3610.70 c CG core reduction tie 0
3600.03/3610.70 c CG core degree average 0.00
3600.03/3610.70 c CG core slack average 0.00
3600.03/3610.70 c CG core upper bound improvements 0
3600.03/3610.70 c STR number of successful calls 0
3600.03/3610.70 c STR number of unsuccessful calls 0
3600.03/3610.70 c STR number of inconclusive calls 0
3600.03/3610.70 c STR number of successful attempts 0
3600.03/3610.70 c STR number of unsuccessful attempts 0
3600.03/3610.70 c STR number of inconclusive attempts 0
3600.03/3610.70 c STR average degree increase per successful call inf
3600.03/3610.70 c STR average degree increase per successful attempt inf
3600.03/3610.70 c STR total number of conflicts for successful attempts 0
3600.03/3610.70 c STR total number of conflicts for unsuccessful attempts 0
3600.03/3610.70 c STR total number of conflicts for inconclusive attempts 0
3600.03/3610.70 c STR average number of conflicts per successful attempt inf
3600.03/3610.70 c STR average number of conflicts per unsuccessful attempt inf
3600.03/3610.70 c STR average number of conflicts per inconclusive attempt inf
3600.03/3610.70 c AVG.sumWPerc 28.99
3600.03/3610.70 c bigint constraints 0
3600.03/3610.70 s UNKNOWN
3600.03/3610.70 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (48118 MiB free)
memory of node 1: 64465 MiB (39679 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4544184-1753219810/watcher-4544184-1753219810 -o /tmp/evaluation-result-4544184-1753219810/solver-4544184-1753219810 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1753211729-157541 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4544184-1753219810.opb /tmp/proof-4544184-1753219810
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 FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=160627, runsolver pid=160624
[startup+0.100067 s]*
/proc/loadavg: 4.25 4.30 4.21 5/258 160630
/proc/meminfo: memFree=89892028/131382120 swapFree=33010160/33010684
[pid=160627] ppid=160624 vsize=4192 memory=2944 CPUtime=0.05 cores=5,7
/proc/160627/stat : 160627 (run-dec-break-l) S 160624 160627 157528 0 -1 4194304 238 3821 0 0 0 0 3 2 20 0 1 0 237659679 4292608 736 18446744073709551615 94152250920960 94152251815493 140733337173600 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94152252054544 94152252102288 94152253632512 140733337180473 140733337180636 140733337180636 140733337186240 0
/proc/160627/statm: 1048 736 672 219 0 110 0
[pid=160630] ppid=160627 vsize=58088 memory=11392 CPUtime=0.01 cores=5,7
/proc/160630/stat : 160630 (roundingsat) R 160627 160627 157528 0 -1 4194304 1032 0 0 0 1 0 0 0 20 0 1 0 237659687 59482112 2848 18446744073709551615 4227072 8923433 140721355528400 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 26873856 140721355536664 140721355536934 140721355536934 140721355542506 0
/proc/160630/statm: 14522 2848 2016 1147 0 1949 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 62280 KiB
Current children cumulated memory: 14336 KiB
[startup+0.218567 s]*
/proc/loadavg: 4.25 4.30 4.21 5/258 160630
/proc/meminfo: memFree=89883964/131382120 swapFree=33010160/33010684
[pid=160627] ppid=160624 vsize=4192 memory=2944 CPUtime=0.05 cores=5,7
/proc/160627/stat : 160627 (run-dec-break-l) S 160624 160627 157528 0 -1 4194304 238 3821 0 0 0 0 3 2 20 0 1 0 237659679 4292608 736 18446744073709551615 94152250920960 94152251815493 140733337173600 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94152252054544 94152252102288 94152253632512 140733337180473 140733337180636 140733337180636 140733337186240 0
/proc/160627/statm: 1048 736 672 219 0 110 0
[pid=160630] ppid=160627 vsize=66592 memory=22524 CPUtime=0.12 cores=5,7
/proc/160630/stat : 160630 (roundingsat) R 160627 160627 157528 0 -1 4194304 3541 0 0 0 9 3 0 0 20 0 1 0 237659687 68190208 5631 18446744073709551615 4227072 8923433 140721355528400 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 26873856 140721355536664 140721355536934 140721355536934 140721355542506 0
/proc/160630/statm: 16648 5631 2272 1147 0 4075 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 70784 KiB
Current children cumulated memory: 25468 KiB
[startup+0.321556 s]*
/proc/loadavg: 4.25 4.30 4.21 5/258 160630
/proc/meminfo: memFree=89876088/131382120 swapFree=33010160/33010684
[pid=160627] ppid=160624 vsize=4192 memory=2944 CPUtime=0.05 cores=5,7
/proc/160627/stat : 160627 (run-dec-break-l) S 160624 160627 157528 0 -1 4194304 238 3821 0 0 0 0 3 2 20 0 1 0 237659679 4292608 736 18446744073709551615 94152250920960 94152251815493 140733337173600 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94152252054544 94152252102288 94152253632512 140733337180473 140733337180636 140733337180636 140733337186240 0
/proc/160627/statm: 1048 736 672 219 0 110 0
[pid=160630] ppid=160627 vsize=72984 memory=28580 CPUtime=0.2 cores=5,7
/proc/160630/stat : 160630 (roundingsat) R 160627 160627 157528 0 -1 4194304 5091 0 0 0 16 4 0 0 20 0 1 0 237659687 74735616 7145 18446744073709551615 4227072 8923433 140721355528400 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 26873856 140721355536664 140721355536934 140721355536934 140721355542506 0
/proc/160630/statm: 18246 7145 2272 1147 0 5673 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 77176 KiB
Current children cumulated memory: 31524 KiB
[startup+0.7002 s]
/proc/loadavg: 4.25 4.30 4.21 5/258 160630
/proc/meminfo: memFree=89868024/131382120 swapFree=33010160/33010684
[pid=160627] ppid=160624 vsize=4192 memory=2944 CPUtime=0.05 cores=5,7
/proc/160627/stat : 160627 (run-dec-break-l) S 160624 160627 157528 0 -1 4194304 238 3821 0 0 0 0 3 2 20 0 1 0 237659679 4292608 736 18446744073709551615 94152250920960 94152251815493 140733337173600 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94152252054544 94152252102288 94152253632512 140733337180473 140733337180636 140733337180636 140733337186240 0
/proc/160627/statm: 1048 736 672 219 0 110 0
[pid=160630] ppid=160627 vsize=73892 memory=29476 CPUtime=0.53 cores=5,7
/proc/160630/stat : 160630 (roundingsat) R 160627 160627 157528 0 -1 4194304 5282 0 0 0 49 4 0 0 20 0 1 0 237659687 75665408 7369 18446744073709551615 4227072 8923433 140721355528400 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 26873856 140721355536664 140721355536934 140721355536934 140721355542506 0
/proc/160630/statm: 18473 7369 2304 1147 0 5900 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 78084 KiB
Current children cumulated memory: 32420 KiB
[startup+1.50019 s]
/proc/loadavg: 4.25 4.30 4.21 5/258 160630
/proc/meminfo: memFree=89859960/131382120 swapFree=33010160/33010684
[pid=160627] ppid=160624 vsize=4192 memory=2944 CPUtime=0.05 cores=5,7
/proc/160627/stat : 160627 (run-dec-break-l) S 160624 160627 157528 0 -1 4194304 238 3821 0 0 0 0 3 2 20 0 1 0 237659679 4292608 736 18446744073709551615 94152250920960 94152251815493 140733337173600 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94152252054544 94152252102288 94152253632512 140733337180473 140733337180636 140733337180636 140733337186240 0
/proc/160627/statm: 1048 736 672 219 0 110 0
[pid=160630] ppid=160627 vsize=73892 memory=29476 CPUtime=1.32 cores=5,7
/proc/160630/stat : 160630 (roundingsat) R 160627 160627 157528 0 -1 4194304 5285 0 0 0 128 4 0 0 20 0 1 0 237659687 75665408 7369 18446744073709551615 4227072 8923433 140721355528400 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 26873856 140721355536664 140721355536934 140721355536934 140721355542506 0
/proc/160630/statm: 18473 7369 2304 1147 0 5900 0
Current children cumulated CPU time: 1.37 s
Current children cumulated vsize: 78084 KiB
Current children cumulated memory: 32420 KiB
[startup+3.10546 s]
/proc/loadavg: 4.25 4.30 4.21 5/258 160630
/proc/meminfo: memFree=89827472/131382120 swapFree=33010160/33010684
[pid=160627] ppid=160624 vsize=4192 memory=2944 CPUtime=0.05 cores=5,7
/proc/160627/stat : 160627 (run-dec-break-l) S 160624 160627 157528 0 -1 4194304 238 3821 0 0 0 0 3 2 20 0 1 0 237659679 4292608 736 18446744073709551615 94152250920960 94152251815493 140733337173600 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94152252054544 94152252102288 94152253632512 140733337180473 140733337180636 140733337180636 140733337186240 0
/proc/160627/statm: 1048 736 672 219 0 110 0
[pid=160630] ppid=160627 vsize=73892 memory=29476 CPUtime=2.91 cores=5,7
/proc/160630/stat : 160630 (roundingsat) R 160627 160627 157528 0 -1 4194304 5285 0 0 0 287 4 0 0 20 0 1 0 237659687 75665408 7369 18446744073709551615 4227072 8923433 140721355528400 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 26873856 140721355536664 140721355536934 140721355536934 140721355542506 0
/proc/160630/statm: 18473 7369 2304 1147 0 5900 0
Current children cumulated CPU time: 2.96 s
Current children cumulated vsize: 78084 KiB
Current children cumulated memory: 32420 KiB
[startup+6.30016 s]
/proc/loadavg: 4.23 4.30 4.21 5/258 160630
/proc/meminfo: memFree=89754896/131382120 swapFree=33010160/33010684
[pid=160627] ppid=160624 vsize=4192 memory=2944 CPUtime=0.05 cores=5,7
/proc/160627/stat : 160627 (run-dec-break-l) S 160624 160627 157528 0 -1 4194304 238 3821 0 0 0 0 3 2 20 0 1 0 237659679 4292608 736 18446744073709551615 94152250920960 94152251815493 140733337173600 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94152252054544 94152252102288 94152253632512 140733337180473 140733337180636 140733337180636 140733337186240 0
/proc/160627/statm: 1048 736 672 219 0 110 0
[pid=160630] ppid=160627 vsize=73892 memory=29476 CPUtime=6.08 cores=5,7
/proc/160630/stat : 160630 (roundingsat) R 160627 160627 157528 0 -1 4194304 5285 0 0 0 604 4 0 0 20 0 1 0 237659687 75665408 7369 18446744073709551615 4227072 8923433 140721355528400 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 26873856 140721355536664 140721355536934 140721355536934 140721355542506 0
/proc/160630/statm: 18473 7369 2304 1147 0 5900 0
Current children cumulated CPU time: 6.13 s
Current children cumulated vsize: 78084 KiB
Current children cumulated memory: 32420 KiB
[startup+12.7004 s]
/proc/loadavg: 4.21 4.29 4.21 5/258 160630
/proc/meminfo: memFree=89605724/131382120 swapFree=33010160/33010684
[pid=160627] ppid=160624 vsize=4192 memory=2944 CPUtime=0.05 cores=5,7
/proc/160627/stat : 160627 (run-dec-break-l) S 160624 160627 157528 0 -1 4194304 238 3821 0 0 0 0 3 2 20 0 1 0 237659679 4292608 736 18446744073709551615 94152250920960 94152251815493 140733337173600 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94152252054544 94152252102288 94152253632512 140733337180473 140733337180636 140733337180636 140733337186240 0
/proc/160627/statm: 1048 736 672 219 0 110 0
[pid=160630] ppid=160627 vsize=103648 memory=55396 CPUtime=12.45 cores=5,7
/proc/160630/stat : 160630 (roundingsat) R 160627 160627 157528 0 -1 4194304 10724 0 0 0 1236 9 0 0 20 0 1 0 237659687 106135552 13849 18446744073709551615 4227072 8923433 140721355528400 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26873856 140721355536664 140721355536934 140721355536934 140721355542506 0
/proc/160630/statm: 25912 13849 2336 1147 0 13339 0
Current children cumulated CPU time: 12.5 s
Current children cumulated vsize: 107840 KiB
Current children cumulated memory: 58340 KiB
[startup+25.5004 s]
/proc/loadavg: 4.30 4.31 4.21 5/258 160630
/proc/meminfo: memFree=89137432/131382120 swapFree=33010160/33010684
[pid=160627] ppid=160624 vsize=4192 memory=2944 CPUtime=0.05 cores=5,7
/proc/160627/stat : 160627 (run-dec-break-l) S 160624 160627 157528 0 -1 4194304 238 3821 0 0 0 0 3 2 20 0 1 0 237659679 4292608 736 18446744073709551615 94152250920960 94152251815493 140733337173600 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94152252054544 94152252102288 94152253632512 140733337180473 140733337180636 140733337180636 140733337186240 0
/proc/160627/statm: 1048 736 672 219 0 110 0
[pid=160630] ppid=160627 vsize=155236 memory=104428 CPUtime=25.21 cores=5,7
/proc/160630/stat : 160630 (roundingsat) R 160627 160627 157528 0 -1 4194304 16833 0 0 0 2507 14 0 0 20 0 1 0 237659687 158961664 26107 18446744073709551615 4227072 8923433 140721355528400 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26873856 140721355536664 140721355536934 140721355536934 140721355542506 0
/proc/160630/statm: 38809 26107 2368 1147 0 26236 0
Current children cumulated CPU time: 25.26 s
Current children cumulated vsize: 159428 KiB
Current children cumulated memory: 107372 KiB
[startup+51.1134 s]
/proc/loadavg: 4.28 4.30 4.21 5/258 160631
/proc/meminfo: memFree=88343904/131382120 swapFree=33010160/33010684
[pid=160627] ppid=160624 vsize=4192 memory=2944 CPUtime=0.05 cores=5,7
/proc/160627/stat : 160627 (run-dec-break-l) S 160624 160627 157528 0 -1 4194304 238 3821 0 0 0 0 3 2 20 0 1 0 237659679 4292608 736 18446744073709551615 94152250920960 94152251815493 140733337173600 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94152252054544 94152252102288 94152253632512 140733337180473 140733337180636 140733337180636 140733337186240 0
/proc/160627/statm: 1048 736 672 219 0 110 0
[pid=160630] ppid=160627 vsize=225436 memory=176004 CPUtime=50.76 cores=5,7
/proc/160630/stat : 160630 (roundingsat) R 160627 160627 157528 0 -1 4194304 26543 0 0 0 5049 27 0 0 20 0 1 0 237659687 230846464 44001 18446744073709551615 4227072 8923433 140721355528400 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26873856 140721355536664 140721355536934 140721355536934 140721355542506 0
/proc/160630/statm: 56359 44001 2368 1147 0 43786 0
Current children cumulated CPU time: 50.81 s
Current children cumulated vsize: 229628 KiB
Current children cumulated memory: 178948 KiB
[startup+102.3 s]
/proc/loadavg: 4.33 4.30 4.22 5/256 160636
/proc/meminfo: memFree=86763196/131382120 swapFree=33010160/33010684
[pid=160627] ppid=160624 vsize=4192 memory=2944 CPUtime=0.05 cores=5,7
/proc/160627/stat : 160627 (run-dec-break-l) S 160624 160627 157528 0 -1 4194304 238 3821 0 0 0 0 3 2 20 0 1 0 237659679 4292608 736 18446744073709551615 94152250920960 94152251815493 140733337173600 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94152252054544 94152252102288 94152253632512 140733337180473 140733337180636 140733337180636 140733337186240 0
/proc/160627/statm: 1048 736 672 219 0 110 0
[pid=160630] ppid=160627 vsize=340244 memory=280292 CPUtime=101.82 cores=5,7
/proc/160630/stat : 160630 (roundingsat) R 160627 160627 157528 0 -1 4194304 41888 0 0 0 10134 48 0 0 20 0 1 0 237659687 348409856 70073 18446744073709551615 4227072 8923433 140721355528400 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26873856 140721355536664 140721355536934 140721355536934 140721355542506 0
/proc/160630/statm: 85061 70073 2368 1147 0 72488 0
Current children cumulated CPU time: 101.87 s
Current children cumulated vsize: 344436 KiB
Current children cumulated memory: 283236 KiB
[startup+162.3 s]
/proc/loadavg: 4.23 4.28 4.21 5/256 160638
/proc/meminfo: memFree=84725044/131382120 swapFree=33010160/33010684
[pid=160627] ppid=160624 vsize=4192 memory=2944 CPUtime=0.05 cores=5,7
/proc/160627/stat : 160627 (run-dec-break-l) S 160624 160627 157528 0 -1 4194304 238 3821 0 0 0 0 3 2 20 0 1 0 237659679 4292608 736 18446744073709551615 94152250920960 94152251815493 140733337173600 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94152252054544 94152252102288 94152253632512 140733337180473 140733337180636 140733337180636 140733337186240 0
/proc/160627/statm: 1048 736 672 219 0 110 0
[pid=160630] ppid=160627 vsize=592408 memory=475392 CPUtime=161.67 cores=5,7
/proc/160630/stat : 160630 (roundingsat) R 160627 160627 157528 0 -1 4194304 78418 0 0 0 16089 78 0 0 20 0 1 0 237659687 606625792 118848 18446744073709551615 4227072 8923433 140721355528400 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26873856 140721355536664 140721355536934 140721355536934 140721355542506 0
/proc/160630/statm: 148102 118848 2368 1147 0 135529 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 596600 KiB
Current children cumulated memory: 478336 KiB
[startup+222.3 s]
/proc/loadavg: 4.28 4.29 4.22 5/256 160640
/proc/meminfo: memFree=82988560/131382120 swapFree=33010160/33010684
[pid=160627] ppid=160624 vsize=4192 memory=2944 CPUtime=0.05 cores=5,7
/proc/160627/stat : 160627 (run-dec-break-l) S 160624 160627 157528 0 -1 4194304 238 3821 0 0 0 0 3 2 20 0 1 0 237659679 4292608 736 18446744073709551615 94152250920960 94152251815493 140733337173600 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94152252054544 94152252102288 94152253632512 140733337180473 140733337180636 140733337180636 140733337186240 0
/proc/160627/statm: 1048 736 672 219 0 110 0
[pid=160630] ppid=160627 vsize=642864 memory=543736 CPUtime=221.51 cores=5,7
/proc/160630/stat : 160630 (roundingsat) R 160627 160627 157528 0 -1 4194304 89396 0 0 0 22050 101 0 0 20 0 1 0 237659687 658292736 135934 18446744073709551615 4227072 8923433 140721355528400 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26873856 140721355536664 140721355536934 140721355536934 140721355542506 0
/proc/160630/statm: 160716 135934 2368 1147 0 148143 0
################
# More data... #
################
/proc/160630/statm: 850694 797739 2368 1147 0 838121 0
Current children cumulated CPU time: 3093.11 s
Current children cumulated vsize: 3406968 KiB
Current children cumulated memory: 3193900 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.17 4.22 5/254 161782
/proc/meminfo: memFree=87110200/131382120 swapFree=33010160/33010684
[pid=160627] ppid=160624 vsize=4192 memory=2944 CPUtime=0.05 cores=5,7
/proc/160627/stat : 160627 (run-dec-break-l) S 160624 160627 157528 0 -1 4194304 238 3821 0 0 0 0 3 2 20 0 1 0 237659679 4292608 736 18446744073709551615 94152250920960 94152251815493 140733337173600 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94152252054544 94152252102288 94152253632512 140733337180473 140733337180636 140733337180636 140733337186240 0
/proc/160627/statm: 1048 736 672 219 0 110 0
[pid=160630] ppid=160627 vsize=3771640 memory=3271148 CPUtime=3152.88 cores=5,7
/proc/160630/stat : 160630 (roundingsat) R 160627 160627 157528 0 -1 4194304 558105 0 0 0 313190 2098 0 0 20 0 1 0 237659687 3862159360 817787 18446744073709551615 4227072 8923433 140721355528400 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26873856 140721355536664 140721355536934 140721355536934 140721355542506 0
/proc/160630/statm: 942910 817787 2368 1147 0 930337 0
Current children cumulated CPU time: 3152.93 s
Current children cumulated vsize: 3775832 KiB
Current children cumulated memory: 3274092 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.15 4.20 5/254 161784
/proc/meminfo: memFree=86781284/131382120 swapFree=33010160/33010684
[pid=160627] ppid=160624 vsize=4192 memory=2944 CPUtime=0.05 cores=5,7
/proc/160627/stat : 160627 (run-dec-break-l) S 160624 160627 157528 0 -1 4194304 238 3821 0 0 0 0 3 2 20 0 1 0 237659679 4292608 736 18446744073709551615 94152250920960 94152251815493 140733337173600 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94152252054544 94152252102288 94152253632512 140733337180473 140733337180636 140733337180636 140733337186240 0
/proc/160627/statm: 1048 736 672 219 0 110 0
[pid=160630] ppid=160627 vsize=3779176 memory=3276268 CPUtime=3212.71 cores=5,7
/proc/160630/stat : 160630 (roundingsat) R 160627 160627 157528 0 -1 4194304 559880 0 0 0 319098 2173 0 0 20 0 1 0 237659687 3869876224 819067 18446744073709551615 4227072 8923433 140721355528400 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26873856 140721355536664 140721355536934 140721355536934 140721355542506 0
/proc/160630/statm: 944794 819067 2368 1147 0 932221 0
Current children cumulated CPU time: 3212.76 s
Current children cumulated vsize: 3783368 KiB
Current children cumulated memory: 3279212 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.15 4.20 5/254 161786
/proc/meminfo: memFree=86489712/131382120 swapFree=33010160/33010684
[pid=160627] ppid=160624 vsize=4192 memory=2944 CPUtime=0.05 cores=5,7
/proc/160627/stat : 160627 (run-dec-break-l) S 160624 160627 157528 0 -1 4194304 238 3821 0 0 0 0 3 2 20 0 1 0 237659679 4292608 736 18446744073709551615 94152250920960 94152251815493 140733337173600 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94152252054544 94152252102288 94152253632512 140733337180473 140733337180636 140733337180636 140733337186240 0
/proc/160627/statm: 1048 736 672 219 0 110 0
[pid=160630] ppid=160627 vsize=3795304 memory=3287148 CPUtime=3272.54 cores=5,7
/proc/160630/stat : 160630 (roundingsat) R 160627 160627 157528 0 -1 4194304 564124 0 0 0 325029 2225 0 0 20 0 1 0 237659687 3886391296 821787 18446744073709551615 4227072 8923433 140721355528400 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26873856 140721355536664 140721355536934 140721355536934 140721355542506 0
/proc/160630/statm: 948826 821787 2368 1147 0 936253 0
Current children cumulated CPU time: 3272.59 s
Current children cumulated vsize: 3799496 KiB
Current children cumulated memory: 3290092 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.14 4.19 5/255 161790
/proc/meminfo: memFree=86135664/131382120 swapFree=33010160/33010684
[pid=160627] ppid=160624 vsize=4192 memory=2944 CPUtime=0.05 cores=5,7
/proc/160627/stat : 160627 (run-dec-break-l) S 160624 160627 157528 0 -1 4194304 238 3821 0 0 0 0 3 2 20 0 1 0 237659679 4292608 736 18446744073709551615 94152250920960 94152251815493 140733337173600 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94152252054544 94152252102288 94152253632512 140733337180473 140733337180636 140733337180636 140733337186240 0
/proc/160627/statm: 1048 736 672 219 0 110 0
[pid=160630] ppid=160627 vsize=3877676 memory=3338604 CPUtime=3332.37 cores=5,7
/proc/160630/stat : 160630 (roundingsat) R 160627 160627 157528 0 -1 4194304 576987 0 0 0 330953 2284 0 0 20 0 1 0 237659687 3970740224 834651 18446744073709551615 4227072 8923433 140721355528400 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26873856 140721355536664 140721355536934 140721355536934 140721355542506 0
/proc/160630/statm: 969419 834651 2368 1147 0 956846 0
Current children cumulated CPU time: 3332.42 s
Current children cumulated vsize: 3881868 KiB
Current children cumulated memory: 3341548 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.12 4.18 5/255 161792
/proc/meminfo: memFree=85775564/131382120 swapFree=33010160/33010684
[pid=160627] ppid=160624 vsize=4192 memory=2944 CPUtime=0.05 cores=5,7
/proc/160627/stat : 160627 (run-dec-break-l) S 160624 160627 157528 0 -1 4194304 238 3821 0 0 0 0 3 2 20 0 1 0 237659679 4292608 736 18446744073709551615 94152250920960 94152251815493 140733337173600 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94152252054544 94152252102288 94152253632512 140733337180473 140733337180636 140733337180636 140733337186240 0
/proc/160627/statm: 1048 736 672 219 0 110 0
[pid=160630] ppid=160627 vsize=3888224 memory=3350124 CPUtime=3392.2 cores=5,7
/proc/160630/stat : 160630 (roundingsat) R 160627 160627 157528 0 -1 4194304 579862 0 0 0 336883 2337 0 0 20 0 1 0 237659687 3981541376 837531 18446744073709551615 4227072 8923433 140721355528400 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26873856 140721355536664 140721355536934 140721355536934 140721355542506 0
/proc/160630/statm: 972056 837531 2368 1147 0 959483 0
Current children cumulated CPU time: 3392.25 s
Current children cumulated vsize: 3892416 KiB
Current children cumulated memory: 3353068 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.13 4.18 5/255 161794
/proc/meminfo: memFree=85573756/131382120 swapFree=33010160/33010684
[pid=160627] ppid=160624 vsize=4192 memory=2944 CPUtime=0.05 cores=5,7
/proc/160627/stat : 160627 (run-dec-break-l) S 160624 160627 157528 0 -1 4194304 238 3821 0 0 0 0 3 2 20 0 1 0 237659679 4292608 736 18446744073709551615 94152250920960 94152251815493 140733337173600 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94152252054544 94152252102288 94152253632512 140733337180473 140733337180636 140733337180636 140733337186240 0
/proc/160627/statm: 1048 736 672 219 0 110 0
[pid=160630] ppid=160627 vsize=3899664 memory=3357548 CPUtime=3452.02 cores=5,7
/proc/160630/stat : 160630 (roundingsat) R 160627 160627 157528 0 -1 4194304 581728 0 0 0 342819 2383 0 0 20 0 1 0 237659687 3993255936 839387 18446744073709551615 4227072 8923433 140721355528400 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26873856 140721355536664 140721355536934 140721355536934 140721355542506 0
/proc/160630/statm: 974916 839387 2368 1147 0 962343 0
Current children cumulated CPU time: 3452.07 s
Current children cumulated vsize: 3903856 KiB
Current children cumulated memory: 3360492 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.14 4.18 5/255 161796
/proc/meminfo: memFree=85258584/131382120 swapFree=33010160/33010684
[pid=160627] ppid=160624 vsize=4192 memory=2944 CPUtime=0.05 cores=5,7
/proc/160627/stat : 160627 (run-dec-break-l) S 160624 160627 157528 0 -1 4194304 238 3821 0 0 0 0 3 2 20 0 1 0 237659679 4292608 736 18446744073709551615 94152250920960 94152251815493 140733337173600 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94152252054544 94152252102288 94152253632512 140733337180473 140733337180636 140733337180636 140733337186240 0
/proc/160627/statm: 1048 736 672 219 0 110 0
[pid=160630] ppid=160627 vsize=3913756 memory=3369068 CPUtime=3511.84 cores=5,7
/proc/160630/stat : 160630 (roundingsat) R 160627 160627 157528 0 -1 4194304 584879 0 0 0 348752 2432 0 0 20 0 1 0 237659687 4007686144 842267 18446744073709551615 4227072 8923433 140721355528400 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26873856 140721355536664 140721355536934 140721355536934 140721355542506 0
/proc/160630/statm: 978439 842267 2368 1147 0 965866 0
Current children cumulated CPU time: 3511.89 s
Current children cumulated vsize: 3917948 KiB
Current children cumulated memory: 3372012 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.14 4.18 5/255 161798
/proc/meminfo: memFree=84863312/131382120 swapFree=33010160/33010684
[pid=160627] ppid=160624 vsize=4192 memory=2944 CPUtime=0.05 cores=5,7
/proc/160627/stat : 160627 (run-dec-break-l) S 160624 160627 157528 0 -1 4194304 238 3821 0 0 0 0 3 2 20 0 1 0 237659679 4292608 736 18446744073709551615 94152250920960 94152251815493 140733337173600 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94152252054544 94152252102288 94152253632512 140733337180473 140733337180636 140733337180636 140733337186240 0
/proc/160627/statm: 1048 736 672 219 0 110 0
[pid=160630] ppid=160627 vsize=3927892 memory=3439236 CPUtime=3571.66 cores=5,7
/proc/160630/stat : 160630 (roundingsat) R 160627 160627 157528 0 -1 4194304 589531 0 0 0 354678 2488 0 0 20 0 1 0 237659687 4022161408 859809 18446744073709551615 4227072 8923433 140721355528400 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26873856 140721355536664 140721355536934 140721355536934 140721355542506 0
/proc/160630/statm: 981973 859809 2368 1147 0 969400 0
Current children cumulated CPU time: 3571.71 s
Current children cumulated vsize: 3932084 KiB
Current children cumulated memory: 3442180 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.7 s]
/proc/loadavg: 4.15 4.14 4.18 5/256 161802
/proc/meminfo: memFree=84632120/131382120 swapFree=33010160/33010684
[pid=160627] ppid=160624 vsize=4192 memory=2944 CPUtime=0.05 cores=5,7
/proc/160627/stat : 160627 (run-dec-break-l) S 160624 160627 157528 0 -1 4194304 238 3821 0 0 0 0 3 2 20 0 1 0 237659679 4292608 736 18446744073709551615 94152250920960 94152251815493 140733337173600 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94152252054544 94152252102288 94152253632512 140733337180473 140733337180636 140733337180636 140733337186240 0
/proc/160627/statm: 1048 736 672 219 0 110 0
[pid=160630] ppid=160627 vsize=3928220 memory=3439620 CPUtime=3599.98 cores=5,7
/proc/160630/stat : 160630 (roundingsat) R 160627 160627 157528 0 -1 4194304 589632 0 0 0 357480 2518 0 0 20 0 1 0 237659687 4022497280 859905 18446744073709551615 4227072 8923433 140721355528400 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26873856 140721355536664 140721355536934 140721355536934 140721355542506 0
/proc/160630/statm: 982055 859905 2368 1147 0 969482 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 3932412 KiB
Current children cumulated memory: 3442564 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.71 s]
# the end of solver process 160627 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.039162 s, system=0.02375 s
Sleeping 2 seconds
[startup+3610.74 s]
# the end of solver process 160630 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3574.85 s, system=25.2448 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.7 s]
/proc/loadavg: 4.15 4.14 4.18 5/256 161802
/proc/meminfo: memFree=84632120/131382120 swapFree=33010160/33010684
[pid=160627] ppid=160624 vsize=4192 memory=2944 CPUtime=0.05 cores=5,7
/proc/160627/stat : 160627 (run-dec-break-l) S 160624 160627 157528 0 -1 4194304 238 3821 0 0 0 0 3 2 20 0 1 0 237659679 4292608 736 18446744073709551615 94152250920960 94152251815493 140733337173600 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94152252054544 94152252102288 94152253632512 140733337180473 140733337180636 140733337180636 140733337186240 0
/proc/160627/statm: 1048 736 672 219 0 110 0
[pid=160630] ppid=160627 vsize=3928220 memory=3439620 CPUtime=3599.98 cores=5,7
/proc/160630/stat : 160630 (roundingsat) R 160627 160627 157528 0 -1 4194304 589632 0 0 0 357480 2518 0 0 20 0 1 0 237659687 4022497280 859905 18446744073709551615 4227072 8923433 140721355528400 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26873856 140721355536664 140721355536934 140721355536934 140721355542506 0
/proc/160630/statm: 982055 859905 2368 1147 0 969482 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 3932412 KiB
Current children cumulated memory: 3442564 KiB
Child status: 2
Real time (s): 3610.74
CPU time (s): 3600.09
CPU user time (s): 3574.85
CPU system time (s): 25.2448
CPU usage (%): 99.7052
Max. virtual memory (cumulated for all children) (KiB): 3932412
Max. memory (cumulated for all children) (KiB): 3442564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3574.85
system time used= 25.2448
maximum resident set size= 3440004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 593714
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16291480
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 442
involuntary context switches= 4905
# summary of solver processes directly reported to runsolver:
# pid: 160627,160630
# total CPU time (s): 3600.09
# total CPU user time (s): 3574.85
# total CPU system time (s): 25.2448
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.3565 second user time and 34.2243 second system time
The end
Begin job on nodeC003 at 2025-07-22 23:30:10
IDJOB=4544184
IDBENCH=174960
IDSOLVER=3358
FILE ID=nodeC003/4544184-1753219810
RUNJOBID= nodeC003-1753211729-157541
SLURM_JOB_ID= 9687799
Free space on /tmp= 411412 MiB
SOLVER NAME= roundingsat+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/extended-even-colouring/random_rational_opb/normalized-ec_random_rational_random8reg_split_750.opb
COMMAND LINE= run-dec-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4544184-1753219810/watcher-4544184-1753219810 -o /tmp/evaluation-result-4544184-1753219810/solver-4544184-1753219810 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1753211729-157541 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4544184-1753219810.opb /tmp/proof-4544184-1753219810
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9d0f67967ac2bc71f5ce17bb15e814c1
RANDOM SEED=782884719
nodeC003 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 : 3660.185
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.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3691.233
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.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.174
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.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
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.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3660.191
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.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.528
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.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.482
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.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.163
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.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 89904344 kB
MemAvailable: 123784120 kB
Buffers: 2736 kB
Cached: 34632300 kB
SwapCached: 36 kB
Active: 7249600 kB
Inactive: 33526972 kB
Active(anon): 6160056 kB
Inactive(anon): 7604 kB
Active(file): 1089544 kB
Inactive(file): 33519368 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 484540 kB
Writeback: 40 kB
AnonPages: 6138912 kB
Mapped: 121696 kB
Shmem: 26116 kB
KReclaimable: 220984 kB
Slab: 312092 kB
SReclaimable: 220984 kB
SUnreclaim: 91108 kB
KernelStack: 4144 kB
PageTables: 15420 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 6751772 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149544 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4591616 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: 191304 kB
DirectMap2M: 11245568 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 416344 MiB
End job on nodeC003 at 2025-07-23 00:30:21