0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4544183-1753219733.opb'
0.00/0.01 c read 0.26MB (4.28ms)
0.00/0.01 c [cnf: #variables 9003 #clauses 6754 #duplicates 0 #arr 24008]
0.00/0.01 c
0.00/0.01 c make graph and approximate orbits
0.00/0.02 c [group: #orbits ~= 0] (9.57ms)
0.00/0.02 c
0.00/0.02 c detect special group actions
0.00/0.02 c probe for Johnson action (limit=64)
0.00/0.02 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.02 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.02 c (1.33ms)
0.00/0.02 c
0.00/0.02 c detect symmetries on remainder
0.00/0.02 c [graph: #vertices 42766 #edges 102034]
0.00/0.02 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.02 c [group: #symmetries 1.00*10^0 #generators 0] (2.15ms)
0.00/0.02 c
0.00/0.02 c finalize break order and special generators
0.00/0.02 c
0.00/0.02 c generation finished
0.00/0.02 c [sbp: #constraints 0 #add_vars 0]
0.00/0.02 c
0.00/0.02 c write result to 'HOME/instance-4544183-1753219733.opb.pre'
0.00/0.03 c wrote 0.26MB (0.76ms)
0.00/0.03 c ------------------------------------------------------------------
0.00/0.03 c 9.57ms 49.76% approx_orbits
0.00/0.03 c 4.28ms 22.26% parse
0.00/0.03 c 2.15ms 11.19% detect_generic
0.00/0.03 c 1.33ms 6.93% detect_special
0.00/0.03 c 0.83ms 4.33% other
0.00/0.03 c 0.76ms 3.93% output
0.00/0.03 c 0.31ms 1.59% finalize_order
0.00/0.03 c ───────────────────────────────────────────────
0.00/0.03 c 19.23ms 100% total
0.00/0.03 c ------------------------------------------------------------------
0.00/0.04 c RoundingSat 2
0.00/0.04 c branch pb25
0.00/0.04 c commit 63f22ad
0.00/0.07 c #variables 9003 #constraints 7505
313.34/314.14 c #Conflicts: 1000 | #Constraints: 8504
313.34/314.14 c #Conflicts: 2000 | #Constraints: 9504
313.34/314.14 c INPROCESSING
313.34/314.14 c GARBAGE COLLECT
313.34/314.14 c #Conflicts: 3000 | #Constraints: 9508
313.34/314.14 c #Conflicts: 4000 | #Constraints: 10508
313.34/314.14 c INPROCESSING
313.34/314.14 c GARBAGE COLLECT
313.34/314.14 c #Conflicts: 5000 | #Constraints: 9918
313.34/314.14 c #Conflicts: 6000 | #Constraints: 10918
313.34/314.14 c INPROCESSING
313.34/314.14 c GARBAGE COLLECT
313.34/314.14 c #Conflicts: 7000 | #Constraints: 9927
313.34/314.14 c #Conflicts: 8000 | #Constraints: 10927
313.34/314.14 c #Conflicts: 9000 | #Constraints: 11927
313.34/314.14 c INPROCESSING
313.34/314.14 c GARBAGE COLLECT
313.34/314.14 c #Conflicts: 10000 | #Constraints: 10710
313.34/314.14 c #Conflicts: 11000 | #Constraints: 11710
313.34/314.14 c #Conflicts: 12000 | #Constraints: 12710
313.34/314.14 c INPROCESSING
313.34/314.14 c GARBAGE COLLECT
313.34/314.14 c #Conflicts: 13000 | #Constraints: 11166
313.34/314.14 c #Conflicts: 14000 | #Constraints: 12166
313.34/314.14 c #Conflicts: 15000 | #Constraints: 13166
313.34/314.14 c INPROCESSING
313.34/314.14 c GARBAGE COLLECT
313.34/314.14 c #Conflicts: 16000 | #Constraints: 11441
313.34/314.14 c #Conflicts: 17000 | #Constraints: 12441
313.34/314.14 c #Conflicts: 18000 | #Constraints: 13441
313.34/314.14 c INPROCESSING
313.34/314.14 c GARBAGE COLLECT
313.34/314.14 c #Conflicts: 19000 | #Constraints: 11481
313.34/314.14 c #Conflicts: 20000 | #Constraints: 12481
313.34/314.14 c #Conflicts: 21000 | #Constraints: 13482
313.34/314.14 c INPROCESSING
313.34/314.14 c GARBAGE COLLECT
313.34/314.14 c #Conflicts: 22000 | #Constraints: 11270
313.34/314.14 c #Conflicts: 23000 | #Constraints: 12270
313.34/314.14 c #Conflicts: 24000 | #Constraints: 13270
313.34/314.14 c #Conflicts: 25000 | #Constraints: 14270
313.34/314.14 c INPROCESSING
313.34/314.14 c GARBAGE COLLECT
313.34/314.14 c #Conflicts: 26000 | #Constraints: 11890
313.34/314.14 c #Conflicts: 27000 | #Constraints: 12890
313.34/314.14 c #Conflicts: 28000 | #Constraints: 13890
313.34/314.14 c #Conflicts: 29000 | #Constraints: 14890
313.34/314.14 c INPROCESSING
313.34/314.14 c GARBAGE COLLECT
313.34/314.14 c #Conflicts: 30000 | #Constraints: 12359
313.34/314.14 c #Conflicts: 31000 | #Constraints: 13359
313.34/314.14 c #Conflicts: 32000 | #Constraints: 14359
313.34/314.14 c #Conflicts: 33000 | #Constraints: 15359
313.34/314.14 c INPROCESSING
313.34/314.14 c GARBAGE COLLECT
313.34/314.14 c #Conflicts: 34000 | #Constraints: 12585
313.34/314.14 c #Conflicts: 35000 | #Constraints: 13585
313.34/314.14 c #Conflicts: 36000 | #Constraints: 14585
313.34/314.14 c #Conflicts: 37000 | #Constraints: 15585
313.34/314.14 c INPROCESSING
313.34/314.14 c GARBAGE COLLECT
313.34/314.14 c #Conflicts: 38000 | #Constraints: 12607
313.34/314.14 c #Conflicts: 39000 | #Constraints: 13607
313.34/314.14 c #Conflicts: 40000 | #Constraints: 14607
313.34/314.14 c #Conflicts: 41000 | #Constraints: 15607
313.34/314.14 c INPROCESSING
313.34/314.14 c GARBAGE COLLECT
313.34/314.14 c #Conflicts: 42000 | #Constraints: 12300
313.34/314.14 c #Conflicts: 43000 | #Constraints: 13300
313.34/314.14 c #Conflicts: 44000 | #Constraints: 14300
313.34/314.14 c #Conflicts: 45000 | #Constraints: 15300
313.34/314.14 c #Conflicts: 46000 | #Constraints: 16300
313.34/314.14 c INPROCESSING
313.34/314.14 c GARBAGE COLLECT
313.34/314.14 c #Conflicts: 47000 | #Constraints: 12845
313.34/314.14 c #Conflicts: 48000 | #Constraints: 13845
313.34/314.14 c #Conflicts: 49000 | #Constraints: 14845
313.34/314.14 c #Conflicts: 50000 | #Constraints: 15845
313.34/314.14 c #Conflicts: 51000 | #Constraints: 16845
313.34/314.14 c INPROCESSING
313.34/314.14 c GARBAGE COLLECT
313.34/314.14 c #Conflicts: 52000 | #Constraints: 13221
313.34/314.14 c #Conflicts: 53000 | #Constraints: 14222
313.34/314.14 c #Conflicts: 54000 | #Constraints: 15222
313.34/314.14 c #Conflicts: 55000 | #Constraints: 16222
313.34/314.14 c #Conflicts: 56000 | #Constraints: 17222
313.34/314.14 c INPROCESSING
313.34/314.14 c GARBAGE COLLECT
313.34/314.14 c #Conflicts: 57000 | #Constraints: 13401
313.34/314.14 c #Conflicts: 58000 | #Constraints: 14401
313.34/314.14 c #Conflicts: 59000 | #Constraints: 15401
313.34/314.14 c #Conflicts: 60000 | #Constraints: 16401
313.34/314.14 c #Conflicts: 61000 | #Constraints: 17401
313.34/314.14 c INPROCESSING
313.34/314.14 c GARBAGE COLLECT
313.34/314.14 c #Conflicts: 62000 | #Constraints: 13396
313.34/314.14 c #Conflicts: 63000 | #Constraints: 14396
313.34/314.14 c #Conflicts: 64000 | #Constraints: 15396
313.34/314.14 c #Conflicts: 65000 | #Constraints: 16396
313.34/314.14 c #Conflicts: 66000 | #Constraints: 17396
313.34/314.14 c INPROCESSING
313.34/314.14 c GARBAGE COLLECT
313.34/314.14 c #Conflicts: 67000 | #Constraints: 13264
313.34/314.14 c #Conflicts: 68000 | #Constraints: 14264
509.18/510.43 c #Conflicts: 69000 | #Constraints: 15264
509.18/510.43 c #Conflicts: 70000 | #Constraints: 16264
509.18/510.43 c #Conflicts: 71000 | #Constraints: 17264
509.18/510.43 c #Conflicts: 72000 | #Constraints: 18264
509.18/510.43 c INPROCESSING
509.18/510.43 c GARBAGE COLLECT
509.18/510.43 c #Conflicts: 73000 | #Constraints: 13884
509.18/510.43 c #Conflicts: 74000 | #Constraints: 14884
509.18/510.43 c #Conflicts: 75000 | #Constraints: 15884
509.18/510.43 c #Conflicts: 76000 | #Constraints: 16884
509.18/510.43 c #Conflicts: 77000 | #Constraints: 17884
509.18/510.43 c #Conflicts: 78000 | #Constraints: 18884
509.18/510.43 c INPROCESSING
509.18/510.43 c GARBAGE COLLECT
509.18/510.43 c #Conflicts: 79000 | #Constraints: 14218
509.18/510.43 c #Conflicts: 80000 | #Constraints: 15218
509.18/510.43 c #Conflicts: 81000 | #Constraints: 16218
509.18/510.43 c #Conflicts: 82000 | #Constraints: 17218
509.18/510.43 c #Conflicts: 83000 | #Constraints: 18218
509.18/510.43 c #Conflicts: 84000 | #Constraints: 19218
509.18/510.43 c INPROCESSING
509.18/510.43 c GARBAGE COLLECT
509.18/510.43 c #Conflicts: 85000 | #Constraints: 14385
509.18/510.43 c #Conflicts: 86000 | #Constraints: 15385
509.18/510.43 c #Conflicts: 87000 | #Constraints: 16386
509.18/510.43 c #Conflicts: 88000 | #Constraints: 17386
509.18/510.43 c #Conflicts: 89000 | #Constraints: 18386
509.18/510.43 c #Conflicts: 90000 | #Constraints: 19386
509.18/510.43 c INPROCESSING
509.18/510.43 c GARBAGE COLLECT
509.18/510.43 c #Conflicts: 91000 | #Constraints: 14374
509.18/510.43 c #Conflicts: 92000 | #Constraints: 15374
509.18/510.43 c #Conflicts: 93000 | #Constraints: 16374
509.18/510.43 c #Conflicts: 94000 | #Constraints: 17375
509.18/510.43 c #Conflicts: 95000 | #Constraints: 18375
509.18/510.43 c #Conflicts: 96000 | #Constraints: 19375
509.18/510.43 c INPROCESSING
509.18/510.43 c GARBAGE COLLECT
509.18/510.43 c #Conflicts: 97000 | #Constraints: 14172
509.18/510.43 c #Conflicts: 98000 | #Constraints: 15173
509.18/510.43 c #Conflicts: 99000 | #Constraints: 16173
509.18/510.43 c #Conflicts: 100000 | #Constraints: 17173
509.18/510.43 c #Conflicts: 101000 | #Constraints: 18173
509.18/510.43 c #Conflicts: 102000 | #Constraints: 19173
509.18/510.43 c #Conflicts: 103000 | #Constraints: 20173
509.18/510.43 c INPROCESSING
509.18/510.43 c GARBAGE COLLECT
509.18/510.43 c #Conflicts: 104000 | #Constraints: 14778
509.18/510.43 c #Conflicts: 105000 | #Constraints: 15778
509.18/510.43 c #Conflicts: 106000 | #Constraints: 16778
509.18/510.43 c #Conflicts: 107000 | #Constraints: 17779
509.18/510.43 c #Conflicts: 108000 | #Constraints: 18779
509.18/510.43 c #Conflicts: 109000 | #Constraints: 19779
509.18/510.43 c #Conflicts: 110000 | #Constraints: 20779
509.18/510.43 c INPROCESSING
509.18/510.43 c GARBAGE COLLECT
509.18/510.43 c #Conflicts: 111000 | #Constraints: 15181
509.18/510.43 c #Conflicts: 112000 | #Constraints: 16181
509.18/510.43 c #Conflicts: 113000 | #Constraints: 17181
509.18/510.43 c #Conflicts: 114000 | #Constraints: 18181
509.18/510.43 c #Conflicts: 115000 | #Constraints: 19182
509.18/510.43 c #Conflicts: 116000 | #Constraints: 20182
509.18/510.43 c #Conflicts: 117000 | #Constraints: 21182
509.18/510.43 c INPROCESSING
509.18/510.43 c GARBAGE COLLECT
509.18/510.43 c #Conflicts: 118000 | #Constraints: 15380
509.18/510.43 c #Conflicts: 119000 | #Constraints: 16381
509.18/510.43 c #Conflicts: 120000 | #Constraints: 17381
509.18/510.43 c #Conflicts: 121000 | #Constraints: 18381
509.18/510.43 c #Conflicts: 122000 | #Constraints: 19381
509.18/510.43 c #Conflicts: 123000 | #Constraints: 20381
509.18/510.43 c #Conflicts: 124000 | #Constraints: 21381
509.18/510.43 c INPROCESSING
509.18/510.43 c GARBAGE COLLECT
509.18/510.43 c #Conflicts: 125000 | #Constraints: 15392
509.18/510.43 c #Conflicts: 126000 | #Constraints: 16393
509.18/510.43 c #Conflicts: 127000 | #Constraints: 17393
509.18/510.43 c #Conflicts: 128000 | #Constraints: 18393
509.18/510.43 c #Conflicts: 129000 | #Constraints: 19393
509.18/510.43 c #Conflicts: 130000 | #Constraints: 20393
509.18/510.43 c #Conflicts: 131000 | #Constraints: 21393
509.18/510.43 c INPROCESSING
509.18/510.43 c GARBAGE COLLECT
509.18/510.43 c rational objective 4501.5
765.71/767.65 c #Conflicts: 132000 | #Constraints: 15203
765.71/767.65 c #Conflicts: 133000 | #Constraints: 16203
765.71/767.65 c #Conflicts: 134000 | #Constraints: 17204
765.71/767.65 c #Conflicts: 135000 | #Constraints: 18204
765.71/767.65 c #Conflicts: 136000 | #Constraints: 19204
765.71/767.65 c #Conflicts: 137000 | #Constraints: 20204
765.71/767.65 c #Conflicts: 138000 | #Constraints: 21204
765.71/767.65 c #Conflicts: 139000 | #Constraints: 22204
765.71/767.65 c INPROCESSING
765.71/767.65 c GARBAGE COLLECT
765.71/767.65 c #Conflicts: 140000 | #Constraints: 15774
765.71/767.65 c #Conflicts: 141000 | #Constraints: 16774
765.71/767.65 c #Conflicts: 142000 | #Constraints: 17775
765.71/767.65 c #Conflicts: 143000 | #Constraints: 18775
765.71/767.65 c #Conflicts: 144000 | #Constraints: 19775
765.71/767.65 c #Conflicts: 145000 | #Constraints: 20775
765.71/767.65 c #Conflicts: 146000 | #Constraints: 21775
765.71/767.65 c #Conflicts: 147000 | #Constraints: 22775
765.71/767.65 c INPROCESSING
765.71/767.65 c GARBAGE COLLECT
765.71/767.65 c #Conflicts: 148000 | #Constraints: 16258
765.71/767.65 c #Conflicts: 149000 | #Constraints: 17258
765.71/767.65 c #Conflicts: 150000 | #Constraints: 18258
765.71/767.65 c #Conflicts: 151000 | #Constraints: 19259
765.71/767.65 c #Conflicts: 152000 | #Constraints: 20259
765.71/767.65 c #Conflicts: 153000 | #Constraints: 21259
765.71/767.65 c #Conflicts: 154000 | #Constraints: 22259
765.71/767.65 c #Conflicts: 155000 | #Constraints: 23259
765.71/767.65 c INPROCESSING
765.71/767.65 c GARBAGE COLLECT
765.71/767.65 c #Conflicts: 156000 | #Constraints: 16477
765.71/767.65 c #Conflicts: 157000 | #Constraints: 17477
765.71/767.65 c #Conflicts: 158000 | #Constraints: 18477
765.71/767.65 c #Conflicts: 159000 | #Constraints: 19477
765.71/767.65 c #Conflicts: 160000 | #Constraints: 20477
765.71/767.65 c #Conflicts: 161000 | #Constraints: 21477
765.71/767.65 c #Conflicts: 162000 | #Constraints: 22477
765.71/767.65 c #Conflicts: 163000 | #Constraints: 23477
765.71/767.65 c INPROCESSING
765.71/767.65 c GARBAGE COLLECT
765.71/767.65 c #Conflicts: 164000 | #Constraints: 16475
765.71/767.65 c #Conflicts: 165000 | #Constraints: 17475
765.71/767.65 c #Conflicts: 166000 | #Constraints: 18475
765.71/767.65 c #Conflicts: 167000 | #Constraints: 19475
765.71/767.65 c #Conflicts: 168000 | #Constraints: 20475
765.71/767.65 c #Conflicts: 169000 | #Constraints: 21475
765.71/767.65 c #Conflicts: 170000 | #Constraints: 22475
765.71/767.65 c #Conflicts: 171000 | #Constraints: 23475
765.71/767.65 c INPROCESSING
765.71/767.65 c GARBAGE COLLECT
765.71/767.65 c #Conflicts: 172000 | #Constraints: 16269
765.71/767.65 c #Conflicts: 173000 | #Constraints: 17269
765.71/767.65 c #Conflicts: 174000 | #Constraints: 18269
765.71/767.65 c #Conflicts: 175000 | #Constraints: 19269
765.71/767.65 c #Conflicts: 176000 | #Constraints: 20270
765.71/767.65 c #Conflicts: 177000 | #Constraints: 21270
765.71/767.65 c #Conflicts: 178000 | #Constraints: 22270
765.71/767.65 c #Conflicts: 179000 | #Constraints: 23270
765.71/767.65 c #Conflicts: 180000 | #Constraints: 24270
765.71/767.65 c INPROCESSING
765.71/767.65 c GARBAGE COLLECT
765.71/767.65 c #Conflicts: 181000 | #Constraints: 16861
765.71/767.65 c #Conflicts: 182000 | #Constraints: 17861
765.71/767.65 c #Conflicts: 183000 | #Constraints: 18861
765.71/767.65 c #Conflicts: 184000 | #Constraints: 19862
765.71/767.65 c #Conflicts: 185000 | #Constraints: 20862
765.71/767.65 c #Conflicts: 186000 | #Constraints: 21862
765.71/767.65 c #Conflicts: 187000 | #Constraints: 22862
765.71/767.65 c #Conflicts: 188000 | #Constraints: 23862
765.71/767.65 c #Conflicts: 189000 | #Constraints: 24862
765.71/767.65 c INPROCESSING
765.71/767.65 c GARBAGE COLLECT
765.71/767.65 c #Conflicts: 190000 | #Constraints: 17250
765.71/767.65 c #Conflicts: 191000 | #Constraints: 18250
765.71/767.65 c #Conflicts: 192000 | #Constraints: 19250
765.71/767.65 c #Conflicts: 193000 | #Constraints: 20250
765.71/767.65 c #Conflicts: 194000 | #Constraints: 21250
765.71/767.65 c #Conflicts: 195000 | #Constraints: 22251
765.71/767.65 c #Conflicts: 196000 | #Constraints: 23251
765.71/767.65 c #Conflicts: 197000 | #Constraints: 24251
765.71/767.65 c #Conflicts: 198000 | #Constraints: 25251
765.71/767.65 c INPROCESSING
765.71/767.65 c GARBAGE COLLECT
765.71/767.65 c #Conflicts: 199000 | #Constraints: 17445
765.71/767.65 c #Conflicts: 200000 | #Constraints: 18445
765.71/767.65 c #Conflicts: 201000 | #Constraints: 19445
765.71/767.65 c #Conflicts: 202000 | #Constraints: 20445
765.71/767.65 c #Conflicts: 203000 | #Constraints: 21445
765.71/767.65 c #Conflicts: 204000 | #Constraints: 22445
765.71/767.65 c #Conflicts: 205000 | #Constraints: 23446
851.28/853.45 c #Conflicts: 206000 | #Constraints: 24446
851.28/853.45 c #Conflicts: 207000 | #Constraints: 25446
851.28/853.45 c INPROCESSING
851.28/853.45 c GARBAGE COLLECT
851.28/853.45 c #Conflicts: 208000 | #Constraints: 17449
851.28/853.45 c #Conflicts: 209000 | #Constraints: 18449
851.28/853.45 c #Conflicts: 210000 | #Constraints: 19449
851.28/853.45 c #Conflicts: 211000 | #Constraints: 20449
851.28/853.45 c #Conflicts: 212000 | #Constraints: 21449
851.28/853.45 c #Conflicts: 213000 | #Constraints: 22450
851.28/853.45 c #Conflicts: 214000 | #Constraints: 23450
851.28/853.45 c #Conflicts: 215000 | #Constraints: 24450
851.28/853.45 c #Conflicts: 216000 | #Constraints: 25450
851.28/853.45 c INPROCESSING
851.28/853.45 c GARBAGE COLLECT
851.28/853.45 c #Conflicts: 217000 | #Constraints: 17271
851.28/853.45 c #Conflicts: 218000 | #Constraints: 18271
851.28/853.45 c #Conflicts: 219000 | #Constraints: 19271
851.28/853.45 c #Conflicts: 220000 | #Constraints: 20271
851.28/853.45 c #Conflicts: 221000 | #Constraints: 21271
851.28/853.45 c #Conflicts: 222000 | #Constraints: 22271
851.28/853.45 c #Conflicts: 223000 | #Constraints: 23271
851.28/853.45 c #Conflicts: 224000 | #Constraints: 24271
851.28/853.45 c #Conflicts: 225000 | #Constraints: 25271
851.28/853.45 c #Conflicts: 226000 | #Constraints: 26271
851.28/853.45 c INPROCESSING
851.28/853.45 c GARBAGE COLLECT
851.28/853.45 c #Conflicts: 227000 | #Constraints: 17892
851.28/853.45 c #Conflicts: 228000 | #Constraints: 18892
851.28/853.45 c #Conflicts: 229000 | #Constraints: 19892
851.28/853.45 c #Conflicts: 230000 | #Constraints: 20892
851.28/853.45 c #Conflicts: 231000 | #Constraints: 21892
851.28/853.45 c #Conflicts: 232000 | #Constraints: 22892
851.28/853.45 c #Conflicts: 233000 | #Constraints: 23892
851.28/853.45 c #Conflicts: 234000 | #Constraints: 24893
851.28/853.45 c #Conflicts: 235000 | #Constraints: 25893
851.28/853.45 c #Conflicts: 236000 | #Constraints: 26893
851.28/853.45 c INPROCESSING
851.28/853.45 c GARBAGE COLLECT
851.28/853.45 c #Conflicts: 237000 | #Constraints: 18303
851.28/853.45 c #Conflicts: 238000 | #Constraints: 19303
851.28/853.45 c #Conflicts: 239000 | #Constraints: 20304
851.28/853.45 c #Conflicts: 240000 | #Constraints: 21304
851.28/853.45 c #Conflicts: 241000 | #Constraints: 22304
851.28/853.45 c #Conflicts: 242000 | #Constraints: 23304
851.28/853.45 c #Conflicts: 243000 | #Constraints: 24304
851.28/853.45 c #Conflicts: 244000 | #Constraints: 25304
851.28/853.45 c #Conflicts: 245000 | #Constraints: 26305
851.28/853.45 c #Conflicts: 246000 | #Constraints: 27305
851.28/853.45 c INPROCESSING
851.28/853.45 c GARBAGE COLLECT
851.28/853.45 c #Conflicts: 247000 | #Constraints: 18560
851.28/853.45 c #Conflicts: 248000 | #Constraints: 19560
851.28/853.45 c #Conflicts: 249000 | #Constraints: 20560
851.28/853.45 c #Conflicts: 250000 | #Constraints: 21560
851.28/853.45 c #Conflicts: 251000 | #Constraints: 22561
851.28/853.45 c #Conflicts: 252000 | #Constraints: 23561
851.28/853.45 c #Conflicts: 253000 | #Constraints: 24561
851.28/853.45 c #Conflicts: 254000 | #Constraints: 25561
851.28/853.45 c #Conflicts: 255000 | #Constraints: 26561
851.28/853.45 c #Conflicts: 256000 | #Constraints: 27561
851.28/853.45 c INPROCESSING
851.28/853.45 c GARBAGE COLLECT
851.28/853.45 c rational objective 4501.5
1052.88/1055.55 c #Conflicts: 257000 | #Constraints: 18627
1052.88/1055.55 c #Conflicts: 258000 | #Constraints: 19627
1052.88/1055.55 c #Conflicts: 259000 | #Constraints: 20627
1052.88/1055.55 c #Conflicts: 260000 | #Constraints: 21627
1052.88/1055.55 c #Conflicts: 261000 | #Constraints: 22627
1052.88/1055.55 c #Conflicts: 262000 | #Constraints: 23627
1052.88/1055.55 c #Conflicts: 263000 | #Constraints: 24627
1052.88/1055.55 c #Conflicts: 264000 | #Constraints: 25627
1052.88/1055.55 c #Conflicts: 265000 | #Constraints: 26627
1052.88/1055.55 c #Conflicts: 266000 | #Constraints: 27627
1052.88/1055.55 c INPROCESSING
1052.88/1055.55 c GARBAGE COLLECT
1052.88/1055.55 c #Conflicts: 267000 | #Constraints: 18288
1052.88/1055.55 c #Conflicts: 268000 | #Constraints: 19288
1052.88/1055.55 c #Conflicts: 269000 | #Constraints: 20289
1052.88/1055.55 c #Conflicts: 270000 | #Constraints: 21290
1052.88/1055.55 c #Conflicts: 271000 | #Constraints: 22290
1052.88/1055.55 c #Conflicts: 272000 | #Constraints: 23290
1052.88/1055.55 c #Conflicts: 273000 | #Constraints: 24290
1052.88/1055.55 c #Conflicts: 274000 | #Constraints: 25290
1052.88/1055.55 c #Conflicts: 275000 | #Constraints: 26290
1052.88/1055.55 c #Conflicts: 276000 | #Constraints: 27290
1052.88/1055.55 c #Conflicts: 277000 | #Constraints: 28290
1052.88/1055.55 c INPROCESSING
1052.88/1055.55 c GARBAGE COLLECT
1052.88/1055.55 c #Conflicts: 278000 | #Constraints: 18829
1052.88/1055.55 c #Conflicts: 279000 | #Constraints: 19829
1052.88/1055.55 c #Conflicts: 280000 | #Constraints: 20829
1052.88/1055.55 c #Conflicts: 281000 | #Constraints: 21830
1052.88/1055.55 c #Conflicts: 282000 | #Constraints: 22830
1052.88/1055.55 c #Conflicts: 283000 | #Constraints: 23830
1052.88/1055.55 c #Conflicts: 284000 | #Constraints: 24830
1052.88/1055.55 c #Conflicts: 285000 | #Constraints: 25830
1052.88/1055.55 c #Conflicts: 286000 | #Constraints: 26830
1052.88/1055.55 c #Conflicts: 287000 | #Constraints: 27830
1052.88/1055.55 c #Conflicts: 288000 | #Constraints: 28830
1052.88/1055.55 c INPROCESSING
1052.88/1055.55 c GARBAGE COLLECT
1052.88/1055.55 c #Conflicts: 289000 | #Constraints: 19224
1052.88/1055.55 c #Conflicts: 290000 | #Constraints: 20225
1052.88/1055.55 c #Conflicts: 291000 | #Constraints: 21225
1052.88/1055.55 c #Conflicts: 292000 | #Constraints: 22225
1052.88/1055.55 c #Conflicts: 293000 | #Constraints: 23225
1052.88/1055.55 c #Conflicts: 294000 | #Constraints: 24225
1052.88/1055.55 c #Conflicts: 295000 | #Constraints: 25225
1052.88/1055.55 c #Conflicts: 296000 | #Constraints: 26225
1052.88/1055.55 c #Conflicts: 297000 | #Constraints: 27225
1052.88/1055.55 c #Conflicts: 298000 | #Constraints: 28225
1052.88/1055.55 c #Conflicts: 299000 | #Constraints: 29225
1052.88/1055.55 c INPROCESSING
1052.88/1055.55 c GARBAGE COLLECT
1052.88/1055.55 c #Conflicts: 300000 | #Constraints: 19462
1052.88/1055.55 c #Conflicts: 301000 | #Constraints: 20462
1052.88/1055.55 c #Conflicts: 302000 | #Constraints: 21463
1052.88/1055.55 c #Conflicts: 303000 | #Constraints: 22463
1052.88/1055.55 c #Conflicts: 304000 | #Constraints: 23463
1052.88/1055.55 c #Conflicts: 305000 | #Constraints: 24463
1052.88/1055.55 c #Conflicts: 306000 | #Constraints: 25464
1052.88/1055.55 c #Conflicts: 307000 | #Constraints: 26464
1052.88/1055.55 c #Conflicts: 308000 | #Constraints: 27464
1052.88/1055.55 c #Conflicts: 309000 | #Constraints: 28464
1052.88/1055.55 c #Conflicts: 310000 | #Constraints: 29464
1052.88/1055.55 c INPROCESSING
1052.88/1055.55 c GARBAGE COLLECT
1052.88/1055.55 c rational objective 4501.5
1230.85/1233.99 c #Conflicts: 311000 | #Constraints: 19468
1230.85/1233.99 c #Conflicts: 312000 | #Constraints: 20469
1230.85/1233.99 c #Conflicts: 313000 | #Constraints: 21469
1230.85/1233.99 c #Conflicts: 314000 | #Constraints: 22469
1230.85/1233.99 c #Conflicts: 315000 | #Constraints: 23470
1230.85/1233.99 c #Conflicts: 316000 | #Constraints: 24470
1230.85/1233.99 c #Conflicts: 317000 | #Constraints: 25470
1230.85/1233.99 c #Conflicts: 318000 | #Constraints: 26470
1230.85/1233.99 c #Conflicts: 319000 | #Constraints: 27471
1230.85/1233.99 c #Conflicts: 320000 | #Constraints: 28471
1230.85/1233.99 c #Conflicts: 321000 | #Constraints: 29471
1230.85/1233.99 c INPROCESSING
1230.85/1233.99 c GARBAGE COLLECT
1230.85/1233.99 c #Conflicts: 322000 | #Constraints: 19206
1230.85/1233.99 c #Conflicts: 323000 | #Constraints: 20206
1230.85/1233.99 c #Conflicts: 324000 | #Constraints: 21206
1230.85/1233.99 c #Conflicts: 325000 | #Constraints: 22206
1230.85/1233.99 c #Conflicts: 326000 | #Constraints: 23206
1230.85/1233.99 c #Conflicts: 327000 | #Constraints: 24206
1230.85/1233.99 c #Conflicts: 328000 | #Constraints: 25206
1230.85/1233.99 c #Conflicts: 329000 | #Constraints: 26207
1230.85/1233.99 c #Conflicts: 330000 | #Constraints: 27207
1230.85/1233.99 c #Conflicts: 331000 | #Constraints: 28207
1230.85/1233.99 c #Conflicts: 332000 | #Constraints: 29207
1230.85/1233.99 c #Conflicts: 333000 | #Constraints: 30207
1230.85/1233.99 c INPROCESSING
1230.85/1233.99 c GARBAGE COLLECT
1230.85/1233.99 c #Conflicts: 334000 | #Constraints: 19789
1230.85/1233.99 c #Conflicts: 335000 | #Constraints: 20790
1230.85/1233.99 c #Conflicts: 336000 | #Constraints: 21790
1230.85/1233.99 c #Conflicts: 337000 | #Constraints: 22791
1230.85/1233.99 c #Conflicts: 338000 | #Constraints: 23791
1230.85/1233.99 c #Conflicts: 339000 | #Constraints: 24791
1230.85/1233.99 c #Conflicts: 340000 | #Constraints: 25791
1230.85/1233.99 c #Conflicts: 341000 | #Constraints: 26791
1230.85/1233.99 c #Conflicts: 342000 | #Constraints: 27792
1230.85/1233.99 c #Conflicts: 343000 | #Constraints: 28792
1230.85/1233.99 c #Conflicts: 344000 | #Constraints: 29792
1230.85/1233.99 c #Conflicts: 345000 | #Constraints: 30792
1230.85/1233.99 c INPROCESSING
1230.85/1233.99 c GARBAGE COLLECT
1230.85/1233.99 c #Conflicts: 346000 | #Constraints: 20212
1230.85/1233.99 c #Conflicts: 347000 | #Constraints: 21212
1230.85/1233.99 c #Conflicts: 348000 | #Constraints: 22212
1230.85/1233.99 c #Conflicts: 349000 | #Constraints: 23212
1230.85/1233.99 c #Conflicts: 350000 | #Constraints: 24212
1230.85/1233.99 c #Conflicts: 351000 | #Constraints: 25213
1230.85/1233.99 c #Conflicts: 352000 | #Constraints: 26213
1230.85/1233.99 c #Conflicts: 353000 | #Constraints: 27213
1230.85/1233.99 c #Conflicts: 354000 | #Constraints: 28213
1230.85/1233.99 c #Conflicts: 355000 | #Constraints: 29213
1230.85/1233.99 c #Conflicts: 356000 | #Constraints: 30213
1230.85/1233.99 c #Conflicts: 357000 | #Constraints: 31213
1230.85/1233.99 c INPROCESSING
1230.85/1233.99 c GARBAGE COLLECT
1230.85/1233.99 c #Conflicts: 358000 | #Constraints: 20434
1230.85/1233.99 c #Conflicts: 359000 | #Constraints: 21434
1230.85/1233.99 c #Conflicts: 360000 | #Constraints: 22434
1230.85/1233.99 c #Conflicts: 361000 | #Constraints: 23434
1230.85/1233.99 c #Conflicts: 362000 | #Constraints: 24434
1230.85/1233.99 c #Conflicts: 363000 | #Constraints: 25434
1230.85/1233.99 c #Conflicts: 364000 | #Constraints: 26434
1230.85/1233.99 c #Conflicts: 365000 | #Constraints: 27434
1230.85/1233.99 c #Conflicts: 366000 | #Constraints: 28435
1230.85/1233.99 c #Conflicts: 367000 | #Constraints: 29435
1230.85/1233.99 c #Conflicts: 368000 | #Constraints: 30435
1230.85/1233.99 c #Conflicts: 369000 | #Constraints: 31436
1230.85/1233.99 c INPROCESSING
1230.85/1233.99 c GARBAGE COLLECT
1230.85/1233.99 c #Conflicts: 370000 | #Constraints: 20410
1230.85/1233.99 c #Conflicts: 371000 | #Constraints: 21410
1230.85/1233.99 c #Conflicts: 372000 | #Constraints: 22410
1230.85/1233.99 c #Conflicts: 373000 | #Constraints: 23410
1230.85/1233.99 c #Conflicts: 374000 | #Constraints: 24410
1230.85/1233.99 c #Conflicts: 375000 | #Constraints: 25410
1230.85/1233.99 c #Conflicts: 376000 | #Constraints: 26410
1230.85/1233.99 c #Conflicts: 377000 | #Constraints: 27411
1230.85/1233.99 c #Conflicts: 378000 | #Constraints: 28411
1230.85/1233.99 c #Conflicts: 379000 | #Constraints: 29411
1230.85/1233.99 c #Conflicts: 380000 | #Constraints: 30412
1230.85/1233.99 c #Conflicts: 381000 | #Constraints: 31412
1230.85/1233.99 c INPROCESSING
1230.85/1233.99 c GARBAGE COLLECT
1230.85/1233.99 c rational objective 4501.5
1422.51/1426.08 c #Conflicts: 382000 | #Constraints: 20228
1422.51/1426.08 c #Conflicts: 383000 | #Constraints: 21228
1422.51/1426.08 c #Conflicts: 384000 | #Constraints: 22228
1422.51/1426.08 c #Conflicts: 385000 | #Constraints: 23230
1422.51/1426.08 c #Conflicts: 386000 | #Constraints: 24230
1422.51/1426.08 c #Conflicts: 387000 | #Constraints: 25231
1422.51/1426.08 c #Conflicts: 388000 | #Constraints: 26231
1422.51/1426.08 c #Conflicts: 389000 | #Constraints: 27231
1422.51/1426.08 c #Conflicts: 390000 | #Constraints: 28231
1422.51/1426.08 c #Conflicts: 391000 | #Constraints: 29231
1422.51/1426.08 c #Conflicts: 392000 | #Constraints: 30231
1422.51/1426.08 c #Conflicts: 393000 | #Constraints: 31231
1422.51/1426.08 c #Conflicts: 394000 | #Constraints: 32231
1422.51/1426.08 c INPROCESSING
1422.51/1426.08 c GARBAGE COLLECT
1422.51/1426.08 c #Conflicts: 395000 | #Constraints: 20802
1422.51/1426.08 c #Conflicts: 396000 | #Constraints: 21802
1422.51/1426.08 c #Conflicts: 397000 | #Constraints: 22802
1422.51/1426.08 c #Conflicts: 398000 | #Constraints: 23802
1422.51/1426.08 c #Conflicts: 399000 | #Constraints: 24803
1422.51/1426.08 c #Conflicts: 400000 | #Constraints: 25803
1422.51/1426.08 c #Conflicts: 401000 | #Constraints: 26803
1422.51/1426.08 c #Conflicts: 402000 | #Constraints: 27803
1422.51/1426.08 c #Conflicts: 403000 | #Constraints: 28804
1422.51/1426.08 c #Conflicts: 404000 | #Constraints: 29804
1422.51/1426.08 c #Conflicts: 405000 | #Constraints: 30804
1422.51/1426.08 c #Conflicts: 406000 | #Constraints: 31805
1422.51/1426.08 c #Conflicts: 407000 | #Constraints: 32805
1422.51/1426.08 c INPROCESSING
1422.51/1426.08 c GARBAGE COLLECT
1422.51/1426.08 c #Conflicts: 408000 | #Constraints: 21190
1422.51/1426.08 c #Conflicts: 409000 | #Constraints: 22190
1422.51/1426.08 c #Conflicts: 410000 | #Constraints: 23190
1422.51/1426.08 c #Conflicts: 411000 | #Constraints: 24190
1422.51/1426.08 c #Conflicts: 412000 | #Constraints: 25190
1422.51/1426.08 c #Conflicts: 413000 | #Constraints: 26190
1422.51/1426.08 c #Conflicts: 414000 | #Constraints: 27191
1422.51/1426.08 c #Conflicts: 415000 | #Constraints: 28191
1422.51/1426.08 c #Conflicts: 416000 | #Constraints: 29191
1422.51/1426.08 c #Conflicts: 417000 | #Constraints: 30191
1422.51/1426.08 c #Conflicts: 418000 | #Constraints: 31191
1422.51/1426.08 c #Conflicts: 419000 | #Constraints: 32191
1422.51/1426.08 c #Conflicts: 420000 | #Constraints: 33191
1422.51/1426.08 c INPROCESSING
1422.51/1426.08 c GARBAGE COLLECT
1422.51/1426.08 c #Conflicts: 421000 | #Constraints: 21534
1422.51/1426.08 c #Conflicts: 422000 | #Constraints: 22534
1422.51/1426.08 c #Conflicts: 423000 | #Constraints: 23534
1422.51/1426.08 c #Conflicts: 424000 | #Constraints: 24534
1422.51/1426.08 c #Conflicts: 425000 | #Constraints: 25534
1422.51/1426.08 c #Conflicts: 426000 | #Constraints: 26534
1422.51/1426.08 c #Conflicts: 427000 | #Constraints: 27534
1422.51/1426.08 c #Conflicts: 428000 | #Constraints: 28534
1422.51/1426.08 c #Conflicts: 429000 | #Constraints: 29534
1422.51/1426.08 c #Conflicts: 430000 | #Constraints: 30534
1422.51/1426.08 c #Conflicts: 431000 | #Constraints: 31534
1422.51/1426.08 c #Conflicts: 432000 | #Constraints: 32534
1422.51/1426.08 c #Conflicts: 433000 | #Constraints: 33534
1422.51/1426.08 c INPROCESSING
1422.51/1426.08 c GARBAGE COLLECT
1422.51/1426.08 c #Conflicts: 434000 | #Constraints: 21563
1422.51/1426.08 c #Conflicts: 435000 | #Constraints: 22563
1422.51/1426.08 c #Conflicts: 436000 | #Constraints: 23563
1422.51/1426.08 c #Conflicts: 437000 | #Constraints: 24563
1422.51/1426.08 c #Conflicts: 438000 | #Constraints: 25564
1422.51/1426.08 c #Conflicts: 439000 | #Constraints: 26564
1422.51/1426.08 c #Conflicts: 440000 | #Constraints: 27564
1422.51/1426.08 c #Conflicts: 441000 | #Constraints: 28564
1422.51/1426.08 c #Conflicts: 442000 | #Constraints: 29564
1422.51/1426.08 c #Conflicts: 443000 | #Constraints: 30564
1422.51/1426.08 c #Conflicts: 444000 | #Constraints: 31564
1422.51/1426.08 c #Conflicts: 445000 | #Constraints: 32564
1422.51/1426.08 c #Conflicts: 446000 | #Constraints: 33564
1422.51/1426.08 c INPROCESSING
1422.51/1426.08 c GARBAGE COLLECT
1422.51/1426.08 c rational objective 4501.5
1573.26/1577.16 c #Conflicts: 447000 | #Constraints: 21382
1573.26/1577.16 c #Conflicts: 448000 | #Constraints: 22382
1573.26/1577.16 c #Conflicts: 449000 | #Constraints: 23382
1573.26/1577.16 c #Conflicts: 450000 | #Constraints: 24384
1573.26/1577.16 c #Conflicts: 451000 | #Constraints: 25385
1573.26/1577.16 c #Conflicts: 452000 | #Constraints: 26385
1573.26/1577.16 c #Conflicts: 453000 | #Constraints: 27385
1573.26/1577.16 c #Conflicts: 454000 | #Constraints: 28386
1573.26/1577.16 c #Conflicts: 455000 | #Constraints: 29386
1573.26/1577.16 c #Conflicts: 456000 | #Constraints: 30387
1573.26/1577.16 c #Conflicts: 457000 | #Constraints: 31387
1573.26/1577.16 c #Conflicts: 458000 | #Constraints: 32387
1573.26/1577.16 c #Conflicts: 459000 | #Constraints: 33387
1573.26/1577.16 c #Conflicts: 460000 | #Constraints: 34387
1573.26/1577.16 c INPROCESSING
1573.26/1577.16 c GARBAGE COLLECT
1573.26/1577.16 c #Conflicts: 461000 | #Constraints: 21899
1573.26/1577.16 c #Conflicts: 462000 | #Constraints: 22899
1573.26/1577.16 c #Conflicts: 463000 | #Constraints: 23900
1573.26/1577.16 c #Conflicts: 464000 | #Constraints: 24900
1573.26/1577.16 c #Conflicts: 465000 | #Constraints: 25900
1573.26/1577.16 c #Conflicts: 466000 | #Constraints: 26901
1573.26/1577.16 c #Conflicts: 467000 | #Constraints: 27902
1573.26/1577.16 c #Conflicts: 468000 | #Constraints: 28902
1573.26/1577.16 c #Conflicts: 469000 | #Constraints: 29902
1573.26/1577.16 c #Conflicts: 470000 | #Constraints: 30902
1573.26/1577.16 c #Conflicts: 471000 | #Constraints: 31902
1573.26/1577.16 c #Conflicts: 472000 | #Constraints: 32902
1573.26/1577.16 c #Conflicts: 473000 | #Constraints: 33902
1573.26/1577.16 c #Conflicts: 474000 | #Constraints: 34902
1573.26/1577.16 c INPROCESSING
1573.26/1577.16 c GARBAGE COLLECT
1573.26/1577.16 c #Conflicts: 475000 | #Constraints: 22261
1573.26/1577.16 c #Conflicts: 476000 | #Constraints: 23261
1573.26/1577.16 c #Conflicts: 477000 | #Constraints: 24261
1573.26/1577.16 c #Conflicts: 478000 | #Constraints: 25262
1573.26/1577.16 c #Conflicts: 479000 | #Constraints: 26262
1573.26/1577.16 c #Conflicts: 480000 | #Constraints: 27262
1573.26/1577.16 c #Conflicts: 481000 | #Constraints: 28262
1573.26/1577.16 c #Conflicts: 482000 | #Constraints: 29262
1573.26/1577.16 c #Conflicts: 483000 | #Constraints: 30262
1573.26/1577.16 c #Conflicts: 484000 | #Constraints: 31263
1573.26/1577.16 c #Conflicts: 485000 | #Constraints: 32263
1573.26/1577.16 c #Conflicts: 486000 | #Constraints: 33263
1573.26/1577.16 c #Conflicts: 487000 | #Constraints: 34263
1573.26/1577.16 c #Conflicts: 488000 | #Constraints: 35264
1573.26/1577.16 c INPROCESSING
1573.26/1577.16 c GARBAGE COLLECT
1573.26/1577.16 c #Conflicts: 489000 | #Constraints: 22442
1573.26/1577.16 c #Conflicts: 490000 | #Constraints: 23442
1573.26/1577.16 c #Conflicts: 491000 | #Constraints: 24442
1573.26/1577.16 c #Conflicts: 492000 | #Constraints: 25443
1573.26/1577.16 c #Conflicts: 493000 | #Constraints: 26443
1573.26/1577.16 c #Conflicts: 494000 | #Constraints: 27443
1573.26/1577.16 c #Conflicts: 495000 | #Constraints: 28443
1573.26/1577.16 c #Conflicts: 496000 | #Constraints: 29443
1573.26/1577.16 c #Conflicts: 497000 | #Constraints: 30443
1573.26/1577.16 c #Conflicts: 498000 | #Constraints: 31443
1573.26/1577.16 c #Conflicts: 499000 | #Constraints: 32443
1573.26/1577.16 c #Conflicts: 500000 | #Constraints: 33443
1573.26/1577.16 c #Conflicts: 501000 | #Constraints: 34443
1573.26/1577.16 c #Conflicts: 502000 | #Constraints: 35443
1573.26/1577.16 c INPROCESSING
1573.26/1577.16 c GARBAGE COLLECT
1573.26/1577.16 c #Conflicts: 503000 | #Constraints: 22455
1573.26/1577.16 c #Conflicts: 504000 | #Constraints: 23455
1573.26/1577.16 c #Conflicts: 505000 | #Constraints: 24455
1573.26/1577.16 c #Conflicts: 506000 | #Constraints: 25455
1573.26/1577.16 c #Conflicts: 507000 | #Constraints: 26455
1573.26/1577.16 c #Conflicts: 508000 | #Constraints: 27455
1573.26/1577.16 c #Conflicts: 509000 | #Constraints: 28456
1573.26/1577.16 c #Conflicts: 510000 | #Constraints: 29456
1573.26/1577.16 c #Conflicts: 511000 | #Constraints: 30456
1573.26/1577.16 c #Conflicts: 512000 | #Constraints: 31456
1573.26/1577.16 c #Conflicts: 513000 | #Constraints: 32456
1573.26/1577.16 c #Conflicts: 514000 | #Constraints: 33456
1573.26/1577.16 c #Conflicts: 515000 | #Constraints: 34456
1573.26/1577.16 c #Conflicts: 516000 | #Constraints: 35456
1573.26/1577.16 c INPROCESSING
1573.26/1577.16 c GARBAGE COLLECT
1573.26/1577.16 c #Conflicts: 517000 | #Constraints: 22281
1573.26/1577.16 c #Conflicts: 518000 | #Constraints: 23281
1573.26/1577.16 c #Conflicts: 519000 | #Constraints: 24281
1573.26/1577.16 c #Conflicts: 520000 | #Constraints: 25281
1573.26/1577.16 c #Conflicts: 521000 | #Constraints: 26281
1573.26/1577.16 c #Conflicts: 522000 | #Constraints: 27282
1623.24/1627.26 c #Conflicts: 523000 | #Constraints: 28282
1623.24/1627.26 c #Conflicts: 524000 | #Constraints: 29282
1623.24/1627.26 c #Conflicts: 525000 | #Constraints: 30282
1623.24/1627.26 c #Conflicts: 526000 | #Constraints: 31282
1623.24/1627.26 c #Conflicts: 527000 | #Constraints: 32282
1623.24/1627.26 c #Conflicts: 528000 | #Constraints: 33282
1623.24/1627.26 c #Conflicts: 529000 | #Constraints: 34282
1623.24/1627.26 c #Conflicts: 530000 | #Constraints: 35282
1623.24/1627.26 c #Conflicts: 531000 | #Constraints: 36282
1623.24/1627.26 c INPROCESSING
1623.24/1627.26 c GARBAGE COLLECT
1623.24/1627.26 c #Conflicts: 532000 | #Constraints: 22875
1623.24/1627.26 c #Conflicts: 533000 | #Constraints: 23875
1623.24/1627.26 c #Conflicts: 534000 | #Constraints: 24875
1623.24/1627.26 c #Conflicts: 535000 | #Constraints: 25875
1623.24/1627.26 c #Conflicts: 536000 | #Constraints: 26875
1623.24/1627.26 c #Conflicts: 537000 | #Constraints: 27875
1623.24/1627.26 c #Conflicts: 538000 | #Constraints: 28875
1623.24/1627.26 c #Conflicts: 539000 | #Constraints: 29875
1623.24/1627.26 c #Conflicts: 540000 | #Constraints: 30875
1623.24/1627.26 c #Conflicts: 541000 | #Constraints: 31876
1623.24/1627.26 c #Conflicts: 542000 | #Constraints: 32876
1623.24/1627.26 c #Conflicts: 543000 | #Constraints: 33876
1623.24/1627.26 c #Conflicts: 544000 | #Constraints: 34877
1623.24/1627.26 c #Conflicts: 545000 | #Constraints: 35877
1623.24/1627.26 c #Conflicts: 546000 | #Constraints: 36877
1623.24/1627.26 c INPROCESSING
1623.24/1627.26 c GARBAGE COLLECT
1623.24/1627.26 c #Conflicts: 547000 | #Constraints: 23288
1623.24/1627.26 c #Conflicts: 548000 | #Constraints: 24288
1623.24/1627.26 c #Conflicts: 549000 | #Constraints: 25288
1623.24/1627.26 c #Conflicts: 550000 | #Constraints: 26288
1623.24/1627.26 c #Conflicts: 551000 | #Constraints: 27288
1623.24/1627.26 c #Conflicts: 552000 | #Constraints: 28288
1623.24/1627.26 c #Conflicts: 553000 | #Constraints: 29288
1623.24/1627.26 c #Conflicts: 554000 | #Constraints: 30289
1623.24/1627.26 c #Conflicts: 555000 | #Constraints: 31289
1623.24/1627.26 c #Conflicts: 556000 | #Constraints: 32289
1623.24/1627.26 c #Conflicts: 557000 | #Constraints: 33289
1623.24/1627.26 c #Conflicts: 558000 | #Constraints: 34289
1623.24/1627.26 c #Conflicts: 559000 | #Constraints: 35289
1623.24/1627.26 c #Conflicts: 560000 | #Constraints: 36289
1623.24/1627.26 c #Conflicts: 561000 | #Constraints: 37289
1623.24/1627.26 c INPROCESSING
1623.24/1627.26 c GARBAGE COLLECT
1623.24/1627.26 c rational objective 4501.5
1722.81/1727.06 c #Conflicts: 562000 | #Constraints: 23463
1722.81/1727.06 c #Conflicts: 563000 | #Constraints: 24463
1722.81/1727.06 c #Conflicts: 564000 | #Constraints: 25463
1722.81/1727.06 c #Conflicts: 565000 | #Constraints: 26463
1722.81/1727.06 c #Conflicts: 566000 | #Constraints: 27463
1722.81/1727.06 c #Conflicts: 567000 | #Constraints: 28463
1722.81/1727.06 c #Conflicts: 568000 | #Constraints: 29463
1722.81/1727.06 c #Conflicts: 569000 | #Constraints: 30463
1722.81/1727.06 c #Conflicts: 570000 | #Constraints: 31465
1722.81/1727.06 c #Conflicts: 571000 | #Constraints: 32465
1722.81/1727.06 c #Conflicts: 572000 | #Constraints: 33465
1722.81/1727.06 c #Conflicts: 573000 | #Constraints: 34465
1722.81/1727.06 c #Conflicts: 574000 | #Constraints: 35465
1722.81/1727.06 c #Conflicts: 575000 | #Constraints: 36465
1722.81/1727.06 c #Conflicts: 576000 | #Constraints: 37465
1722.81/1727.06 c INPROCESSING
1722.81/1727.06 c GARBAGE COLLECT
1722.81/1727.06 c #Conflicts: 577000 | #Constraints: 23412
1722.81/1727.06 c #Conflicts: 578000 | #Constraints: 24412
1722.81/1727.06 c #Conflicts: 579000 | #Constraints: 25412
1722.81/1727.06 c #Conflicts: 580000 | #Constraints: 26412
1722.81/1727.06 c #Conflicts: 581000 | #Constraints: 27412
1722.81/1727.06 c #Conflicts: 582000 | #Constraints: 28413
1722.81/1727.06 c #Conflicts: 583000 | #Constraints: 29413
1722.81/1727.06 c #Conflicts: 584000 | #Constraints: 30413
1722.81/1727.06 c #Conflicts: 585000 | #Constraints: 31413
1722.81/1727.06 c #Conflicts: 586000 | #Constraints: 32413
1722.81/1727.06 c #Conflicts: 587000 | #Constraints: 33413
1722.81/1727.06 c #Conflicts: 588000 | #Constraints: 34413
1722.81/1727.06 c #Conflicts: 589000 | #Constraints: 35414
1722.81/1727.06 c #Conflicts: 590000 | #Constraints: 36414
1722.81/1727.06 c #Conflicts: 591000 | #Constraints: 37414
1722.81/1727.06 c INPROCESSING
1722.81/1727.06 c GARBAGE COLLECT
1722.81/1727.06 c rational objective 4501.5
1874.36/1878.92 c #Conflicts: 592000 | #Constraints: 23238
1874.36/1878.92 c #Conflicts: 593000 | #Constraints: 24238
1874.36/1878.92 c #Conflicts: 594000 | #Constraints: 25238
1874.36/1878.92 c #Conflicts: 595000 | #Constraints: 26238
1874.36/1878.92 c #Conflicts: 596000 | #Constraints: 27238
1874.36/1878.92 c #Conflicts: 597000 | #Constraints: 28238
1874.36/1878.92 c #Conflicts: 598000 | #Constraints: 29239
1874.36/1878.92 c #Conflicts: 599000 | #Constraints: 30240
1874.36/1878.92 c #Conflicts: 600000 | #Constraints: 31240
1874.36/1878.92 c #Conflicts: 601000 | #Constraints: 32240
1874.36/1878.92 c #Conflicts: 602000 | #Constraints: 33240
1874.36/1878.92 c #Conflicts: 603000 | #Constraints: 34241
1874.36/1878.92 c #Conflicts: 604000 | #Constraints: 35241
1874.36/1878.92 c #Conflicts: 605000 | #Constraints: 36242
1874.36/1878.92 c #Conflicts: 606000 | #Constraints: 37242
1874.36/1878.92 c #Conflicts: 607000 | #Constraints: 38243
1874.36/1878.92 c INPROCESSING
1874.36/1878.92 c GARBAGE COLLECT
1874.36/1878.92 c #Conflicts: 608000 | #Constraints: 23798
1874.36/1878.92 c #Conflicts: 609000 | #Constraints: 24798
1874.36/1878.92 c #Conflicts: 610000 | #Constraints: 25798
1874.36/1878.92 c #Conflicts: 611000 | #Constraints: 26798
1874.36/1878.92 c #Conflicts: 612000 | #Constraints: 27798
1874.36/1878.92 c #Conflicts: 613000 | #Constraints: 28799
1874.36/1878.92 c #Conflicts: 614000 | #Constraints: 29799
1874.36/1878.92 c #Conflicts: 615000 | #Constraints: 30799
1874.36/1878.92 c #Conflicts: 616000 | #Constraints: 31799
1874.36/1878.92 c #Conflicts: 617000 | #Constraints: 32799
1874.36/1878.92 c #Conflicts: 618000 | #Constraints: 33799
1874.36/1878.92 c #Conflicts: 619000 | #Constraints: 34799
1874.36/1878.92 c #Conflicts: 620000 | #Constraints: 35799
1874.36/1878.92 c #Conflicts: 621000 | #Constraints: 36800
1874.36/1878.92 c #Conflicts: 622000 | #Constraints: 37800
1874.36/1878.92 c #Conflicts: 623000 | #Constraints: 38800
1874.36/1878.92 c INPROCESSING
1874.36/1878.92 c GARBAGE COLLECT
1874.36/1878.92 c #Conflicts: 624000 | #Constraints: 24187
1874.36/1878.92 c #Conflicts: 625000 | #Constraints: 25187
1874.36/1878.92 c #Conflicts: 626000 | #Constraints: 26187
1874.36/1878.92 c #Conflicts: 627000 | #Constraints: 27187
1874.36/1878.92 c #Conflicts: 628000 | #Constraints: 28188
1874.36/1878.92 c #Conflicts: 629000 | #Constraints: 29188
1874.36/1878.92 c #Conflicts: 630000 | #Constraints: 30188
1874.36/1878.92 c #Conflicts: 631000 | #Constraints: 31189
1874.36/1878.92 c #Conflicts: 632000 | #Constraints: 32189
1874.36/1878.92 c #Conflicts: 633000 | #Constraints: 33189
1874.36/1878.92 c #Conflicts: 634000 | #Constraints: 34189
1874.36/1878.92 c #Conflicts: 635000 | #Constraints: 35189
1874.36/1878.92 c #Conflicts: 636000 | #Constraints: 36190
1874.36/1878.92 c #Conflicts: 637000 | #Constraints: 37190
1874.36/1878.92 c #Conflicts: 638000 | #Constraints: 38190
1874.36/1878.92 c #Conflicts: 639000 | #Constraints: 39190
1874.36/1878.92 c INPROCESSING
1874.36/1878.92 c GARBAGE COLLECT
1874.36/1878.92 c #Conflicts: 640000 | #Constraints: 24418
1874.36/1878.92 c #Conflicts: 641000 | #Constraints: 25418
1874.36/1878.92 c #Conflicts: 642000 | #Constraints: 26418
1874.36/1878.92 c #Conflicts: 643000 | #Constraints: 27418
1874.36/1878.92 c #Conflicts: 644000 | #Constraints: 28418
1874.36/1878.92 c #Conflicts: 645000 | #Constraints: 29418
1874.36/1878.92 c #Conflicts: 646000 | #Constraints: 30418
1874.36/1878.92 c #Conflicts: 647000 | #Constraints: 31419
1874.36/1878.92 c #Conflicts: 648000 | #Constraints: 32419
1874.36/1878.92 c #Conflicts: 649000 | #Constraints: 33419
1874.36/1878.92 c #Conflicts: 650000 | #Constraints: 34419
1874.36/1878.92 c #Conflicts: 651000 | #Constraints: 35420
1874.36/1878.92 c #Conflicts: 652000 | #Constraints: 36420
1874.36/1878.92 c #Conflicts: 653000 | #Constraints: 37420
1874.36/1878.92 c #Conflicts: 654000 | #Constraints: 38420
1874.36/1878.92 c #Conflicts: 655000 | #Constraints: 39420
1874.36/1878.92 c INPROCESSING
1874.36/1878.92 c GARBAGE COLLECT
1874.36/1878.92 c #Conflicts: 656000 | #Constraints: 24423
1874.36/1878.92 c #Conflicts: 657000 | #Constraints: 25423
1874.36/1878.92 c #Conflicts: 658000 | #Constraints: 26423
1874.36/1878.92 c #Conflicts: 659000 | #Constraints: 27424
1874.36/1878.92 c #Conflicts: 660000 | #Constraints: 28424
1874.36/1878.92 c #Conflicts: 661000 | #Constraints: 29424
1874.36/1878.92 c #Conflicts: 662000 | #Constraints: 30424
1874.36/1878.92 c #Conflicts: 663000 | #Constraints: 31424
1874.36/1878.92 c #Conflicts: 664000 | #Constraints: 32424
1874.36/1878.92 c #Conflicts: 665000 | #Constraints: 33424
1874.36/1878.92 c #Conflicts: 666000 | #Constraints: 34424
1874.36/1878.92 c #Conflicts: 667000 | #Constraints: 35424
1874.36/1878.92 c #Conflicts: 668000 | #Constraints: 36424
1877.85/1882.41 c #Conflicts: 669000 | #Constraints: 37424
1877.85/1882.41 c #Conflicts: 670000 | #Constraints: 38424
1877.85/1882.41 c #Conflicts: 671000 | #Constraints: 39424
1877.85/1882.41 c INPROCESSING
1877.85/1882.41 c GARBAGE COLLECT
1877.85/1882.41 c rational objective 4501.5
1967.14/1971.96 c #Conflicts: 672000 | #Constraints: 24256
1967.14/1971.96 c #Conflicts: 673000 | #Constraints: 25256
1967.14/1971.96 c #Conflicts: 674000 | #Constraints: 26256
1967.14/1971.96 c #Conflicts: 675000 | #Constraints: 27256
1967.14/1971.96 c #Conflicts: 676000 | #Constraints: 28256
1967.14/1971.96 c #Conflicts: 677000 | #Constraints: 29256
1967.14/1971.96 c #Conflicts: 678000 | #Constraints: 30256
1967.14/1971.96 c #Conflicts: 679000 | #Constraints: 31256
1967.14/1971.96 c #Conflicts: 680000 | #Constraints: 32256
1967.14/1971.96 c #Conflicts: 681000 | #Constraints: 33256
1967.14/1971.96 c #Conflicts: 682000 | #Constraints: 34256
1967.14/1971.96 c #Conflicts: 683000 | #Constraints: 35256
1967.14/1971.96 c #Conflicts: 684000 | #Constraints: 36256
1967.14/1971.96 c #Conflicts: 685000 | #Constraints: 37256
1967.14/1971.96 c #Conflicts: 686000 | #Constraints: 38258
1967.14/1971.96 c #Conflicts: 687000 | #Constraints: 39259
1967.14/1971.96 c #Conflicts: 688000 | #Constraints: 40259
1967.14/1971.96 c INPROCESSING
1967.14/1971.96 c GARBAGE COLLECT
1967.14/1971.96 c #Conflicts: 689000 | #Constraints: 24810
1967.14/1971.96 c #Conflicts: 690000 | #Constraints: 25811
1967.14/1971.96 c #Conflicts: 691000 | #Constraints: 26811
1967.14/1971.96 c #Conflicts: 692000 | #Constraints: 27811
1967.14/1971.96 c #Conflicts: 693000 | #Constraints: 28811
1967.14/1971.96 c #Conflicts: 694000 | #Constraints: 29812
1967.14/1971.96 c #Conflicts: 695000 | #Constraints: 30812
1967.14/1971.96 c #Conflicts: 696000 | #Constraints: 31812
1967.14/1971.96 c #Conflicts: 697000 | #Constraints: 32812
1967.14/1971.96 c #Conflicts: 698000 | #Constraints: 33812
1967.14/1971.96 c #Conflicts: 699000 | #Constraints: 34812
1967.14/1971.96 c #Conflicts: 700000 | #Constraints: 35812
1967.14/1971.96 c #Conflicts: 701000 | #Constraints: 36812
1967.14/1971.96 c #Conflicts: 702000 | #Constraints: 37812
1967.14/1971.96 c #Conflicts: 703000 | #Constraints: 38812
1967.14/1971.96 c #Conflicts: 704000 | #Constraints: 39812
1967.14/1971.96 c #Conflicts: 705000 | #Constraints: 40812
1967.14/1971.96 c INPROCESSING
1967.14/1971.96 c GARBAGE COLLECT
1967.14/1971.96 c rational objective 4501.5
2017.62/2022.54 c #Conflicts: 706000 | #Constraints: 25414
2017.62/2022.54 c #Conflicts: 707000 | #Constraints: 26414
2017.62/2022.54 c #Conflicts: 708000 | #Constraints: 27414
2017.62/2022.54 c #Conflicts: 709000 | #Constraints: 28414
2017.62/2022.54 c #Conflicts: 710000 | #Constraints: 29414
2017.62/2022.54 c #Conflicts: 711000 | #Constraints: 30414
2017.62/2022.54 c #Conflicts: 712000 | #Constraints: 31414
2017.62/2022.54 c #Conflicts: 713000 | #Constraints: 32414
2017.62/2022.54 c #Conflicts: 714000 | #Constraints: 33416
2017.62/2022.54 c #Conflicts: 715000 | #Constraints: 34416
2017.62/2022.54 c #Conflicts: 716000 | #Constraints: 35417
2017.62/2022.54 c #Conflicts: 717000 | #Constraints: 36417
2017.62/2022.54 c #Conflicts: 718000 | #Constraints: 37417
2017.62/2022.54 c #Conflicts: 719000 | #Constraints: 38418
2017.62/2022.54 c #Conflicts: 720000 | #Constraints: 39418
2017.62/2022.54 c #Conflicts: 721000 | #Constraints: 40418
2017.62/2022.54 c #Conflicts: 722000 | #Constraints: 41418
2017.62/2022.54 c INPROCESSING
2017.62/2022.54 c GARBAGE COLLECT
2017.62/2022.54 c rational objective 4501.5
2065.93/2070.91 c #Conflicts: 723000 | #Constraints: 25524
2065.93/2070.91 c #Conflicts: 724000 | #Constraints: 26525
2065.93/2070.91 c #Conflicts: 725000 | #Constraints: 27526
2065.93/2070.91 c #Conflicts: 726000 | #Constraints: 28526
2065.93/2070.91 c #Conflicts: 727000 | #Constraints: 29526
2065.93/2070.91 c #Conflicts: 728000 | #Constraints: 30528
2065.93/2070.91 c #Conflicts: 729000 | #Constraints: 31528
2065.93/2070.91 c #Conflicts: 730000 | #Constraints: 32528
2065.93/2070.91 c #Conflicts: 731000 | #Constraints: 33529
2065.93/2070.91 c #Conflicts: 732000 | #Constraints: 34529
2065.93/2070.91 c #Conflicts: 733000 | #Constraints: 35530
2065.93/2070.91 c #Conflicts: 734000 | #Constraints: 36530
2065.93/2070.91 c #Conflicts: 735000 | #Constraints: 37530
2065.93/2070.91 c #Conflicts: 736000 | #Constraints: 38530
2065.93/2070.91 c #Conflicts: 737000 | #Constraints: 39530
2065.93/2070.91 c #Conflicts: 738000 | #Constraints: 40531
2065.93/2070.91 c #Conflicts: 739000 | #Constraints: 41532
2065.93/2070.91 c INPROCESSING
2065.93/2070.91 c GARBAGE COLLECT
2065.93/2070.91 c #Conflicts: 740000 | #Constraints: 25469
2065.93/2070.91 c #Conflicts: 741000 | #Constraints: 26469
2065.93/2070.91 c #Conflicts: 742000 | #Constraints: 27469
2065.93/2070.91 c #Conflicts: 743000 | #Constraints: 28469
2065.93/2070.91 c #Conflicts: 744000 | #Constraints: 29469
2065.93/2070.91 c #Conflicts: 745000 | #Constraints: 30469
2065.93/2070.91 c #Conflicts: 746000 | #Constraints: 31469
2065.93/2070.91 c #Conflicts: 747000 | #Constraints: 32469
2065.93/2070.91 c #Conflicts: 748000 | #Constraints: 33471
2065.93/2070.91 c #Conflicts: 749000 | #Constraints: 34472
2065.93/2070.91 c #Conflicts: 750000 | #Constraints: 35472
2065.93/2070.91 c #Conflicts: 751000 | #Constraints: 36472
2065.93/2070.91 c #Conflicts: 752000 | #Constraints: 37472
2065.93/2070.91 c #Conflicts: 753000 | #Constraints: 38472
2065.93/2070.91 c #Conflicts: 754000 | #Constraints: 39472
2065.93/2070.91 c #Conflicts: 755000 | #Constraints: 40472
2065.93/2070.91 c #Conflicts: 756000 | #Constraints: 41472
2065.93/2070.91 c INPROCESSING
2065.93/2070.91 c GARBAGE COLLECT
2065.93/2070.91 c #Conflicts: 757000 | #Constraints: 25240
2065.93/2070.91 c #Conflicts: 758000 | #Constraints: 26241
2065.93/2070.91 c #Conflicts: 759000 | #Constraints: 27241
2065.93/2070.91 c #Conflicts: 760000 | #Constraints: 28241
2065.93/2070.91 c #Conflicts: 761000 | #Constraints: 29241
2065.93/2070.91 c #Conflicts: 762000 | #Constraints: 30242
2065.93/2070.91 c #Conflicts: 763000 | #Constraints: 31242
2065.93/2070.91 c #Conflicts: 764000 | #Constraints: 32242
2065.93/2070.91 c #Conflicts: 765000 | #Constraints: 33242
2065.93/2070.91 c #Conflicts: 766000 | #Constraints: 34242
2065.93/2070.91 c #Conflicts: 767000 | #Constraints: 35242
2065.93/2070.91 c #Conflicts: 768000 | #Constraints: 36242
2065.93/2070.91 c #Conflicts: 769000 | #Constraints: 37242
2065.93/2070.91 c #Conflicts: 770000 | #Constraints: 38242
2065.93/2070.91 c #Conflicts: 771000 | #Constraints: 39242
2065.93/2070.91 c #Conflicts: 772000 | #Constraints: 40243
2065.93/2070.91 c #Conflicts: 773000 | #Constraints: 41243
2065.93/2070.91 c #Conflicts: 774000 | #Constraints: 42243
2065.93/2070.91 c INPROCESSING
2065.93/2070.91 c GARBAGE COLLECT
2065.93/2070.91 c rational objective 4501.5
2083.99/2089.00 c #Conflicts: 775000 | #Constraints: 25828
2083.99/2089.00 c #Conflicts: 776000 | #Constraints: 26828
2083.99/2089.00 c #Conflicts: 777000 | #Constraints: 27829
2083.99/2089.00 c #Conflicts: 778000 | #Constraints: 28829
2083.99/2089.00 c #Conflicts: 779000 | #Constraints: 29829
2083.99/2089.00 c #Conflicts: 780000 | #Constraints: 30829
2083.99/2089.00 c #Conflicts: 781000 | #Constraints: 31829
2083.99/2089.00 c #Conflicts: 782000 | #Constraints: 32829
2083.99/2089.00 c #Conflicts: 783000 | #Constraints: 33829
2083.99/2089.00 c #Conflicts: 784000 | #Constraints: 34829
2083.99/2089.00 c #Conflicts: 785000 | #Constraints: 35829
2083.99/2089.00 c #Conflicts: 786000 | #Constraints: 36829
2083.99/2089.00 c #Conflicts: 787000 | #Constraints: 37830
2083.99/2089.00 c #Conflicts: 788000 | #Constraints: 38830
2083.99/2089.00 c #Conflicts: 789000 | #Constraints: 39830
2083.99/2089.00 c #Conflicts: 790000 | #Constraints: 40830
2083.99/2089.00 c #Conflicts: 791000 | #Constraints: 41830
2083.99/2089.00 c #Conflicts: 792000 | #Constraints: 42830
2083.99/2089.00 c INPROCESSING
2083.99/2089.00 c GARBAGE COLLECT
2083.99/2089.00 c rational objective 4501.5
2109.43/2114.55 c #Conflicts: 793000 | #Constraints: 26213
2109.43/2114.55 c #Conflicts: 794000 | #Constraints: 27213
2109.43/2114.55 c #Conflicts: 795000 | #Constraints: 28213
2109.43/2114.55 c #Conflicts: 796000 | #Constraints: 29213
2109.43/2114.55 c #Conflicts: 797000 | #Constraints: 30213
2109.43/2114.55 c #Conflicts: 798000 | #Constraints: 31213
2109.43/2114.55 c #Conflicts: 799000 | #Constraints: 32215
2109.43/2114.55 c #Conflicts: 800000 | #Constraints: 33215
2109.43/2114.55 c #Conflicts: 801000 | #Constraints: 34215
2109.43/2114.55 c #Conflicts: 802000 | #Constraints: 35216
2109.43/2114.55 c #Conflicts: 803000 | #Constraints: 36216
2109.43/2114.55 c #Conflicts: 804000 | #Constraints: 37216
2109.43/2114.55 c #Conflicts: 805000 | #Constraints: 38216
2109.43/2114.55 c #Conflicts: 806000 | #Constraints: 39216
2109.43/2114.55 c #Conflicts: 807000 | #Constraints: 40216
2109.43/2114.55 c #Conflicts: 808000 | #Constraints: 41216
2109.43/2114.55 c #Conflicts: 809000 | #Constraints: 42216
2109.43/2114.55 c #Conflicts: 810000 | #Constraints: 43216
2109.43/2114.55 c INPROCESSING
2109.43/2114.55 c GARBAGE COLLECT
2109.43/2114.55 c rational objective 4501.5
2156.83/2162.03 c #Conflicts: 811000 | #Constraints: 26394
2156.83/2162.03 c #Conflicts: 812000 | #Constraints: 27394
2156.83/2162.03 c #Conflicts: 813000 | #Constraints: 28395
2156.83/2162.03 c #Conflicts: 814000 | #Constraints: 29395
2156.83/2162.03 c #Conflicts: 815000 | #Constraints: 30395
2156.83/2162.03 c #Conflicts: 816000 | #Constraints: 31395
2156.83/2162.03 c #Conflicts: 817000 | #Constraints: 32395
2156.83/2162.03 c #Conflicts: 818000 | #Constraints: 33395
2156.83/2162.03 c #Conflicts: 819000 | #Constraints: 34395
2156.83/2162.03 c #Conflicts: 820000 | #Constraints: 35396
2156.83/2162.03 c #Conflicts: 821000 | #Constraints: 36396
2156.83/2162.03 c #Conflicts: 822000 | #Constraints: 37396
2156.83/2162.03 c #Conflicts: 823000 | #Constraints: 38396
2156.83/2162.03 c #Conflicts: 824000 | #Constraints: 39396
2156.83/2162.03 c #Conflicts: 825000 | #Constraints: 40396
2156.83/2162.03 c #Conflicts: 826000 | #Constraints: 41396
2156.83/2162.03 c #Conflicts: 827000 | #Constraints: 42396
2156.83/2162.03 c #Conflicts: 828000 | #Constraints: 43396
2156.83/2162.03 c INPROCESSING
2156.83/2162.03 c GARBAGE COLLECT
2156.83/2162.03 c rational objective 4501.5
2218.58/2223.93 c #Conflicts: 829000 | #Constraints: 26393
2218.58/2223.93 c #Conflicts: 830000 | #Constraints: 27393
2218.58/2223.93 c #Conflicts: 831000 | #Constraints: 28393
2218.58/2223.93 c #Conflicts: 832000 | #Constraints: 29393
2218.58/2223.93 c #Conflicts: 833000 | #Constraints: 30393
2218.58/2223.93 c #Conflicts: 834000 | #Constraints: 31393
2218.58/2223.93 c #Conflicts: 835000 | #Constraints: 32394
2218.58/2223.93 c #Conflicts: 836000 | #Constraints: 33394
2218.58/2223.93 c #Conflicts: 837000 | #Constraints: 34394
2218.58/2223.93 c #Conflicts: 838000 | #Constraints: 35395
2218.58/2223.93 c #Conflicts: 839000 | #Constraints: 36395
2218.58/2223.93 c #Conflicts: 840000 | #Constraints: 37395
2218.58/2223.93 c #Conflicts: 841000 | #Constraints: 38395
2218.58/2223.93 c #Conflicts: 842000 | #Constraints: 39396
2218.58/2223.93 c #Conflicts: 843000 | #Constraints: 40396
2218.58/2223.93 c #Conflicts: 844000 | #Constraints: 41397
2218.58/2223.93 c #Conflicts: 845000 | #Constraints: 42397
2218.58/2223.93 c #Conflicts: 846000 | #Constraints: 43397
2218.58/2223.93 c INPROCESSING
2218.58/2223.93 c GARBAGE COLLECT
2218.58/2223.93 c rational objective 4501.5
2311.26/2316.87 c #Conflicts: 847000 | #Constraints: 26198
2311.26/2316.87 c #Conflicts: 848000 | #Constraints: 27198
2311.26/2316.87 c #Conflicts: 849000 | #Constraints: 28198
2311.26/2316.87 c #Conflicts: 850000 | #Constraints: 29198
2311.26/2316.87 c #Conflicts: 851000 | #Constraints: 30198
2311.26/2316.87 c #Conflicts: 852000 | #Constraints: 31198
2311.26/2316.87 c #Conflicts: 853000 | #Constraints: 32198
2311.26/2316.87 c #Conflicts: 854000 | #Constraints: 33200
2311.26/2316.87 c #Conflicts: 855000 | #Constraints: 34201
2311.26/2316.87 c #Conflicts: 856000 | #Constraints: 35201
2311.26/2316.87 c #Conflicts: 857000 | #Constraints: 36201
2311.26/2316.87 c #Conflicts: 858000 | #Constraints: 37201
2311.26/2316.87 c #Conflicts: 859000 | #Constraints: 38201
2311.26/2316.87 c #Conflicts: 860000 | #Constraints: 39202
2311.26/2316.87 c #Conflicts: 861000 | #Constraints: 40202
2311.26/2316.87 c #Conflicts: 862000 | #Constraints: 41202
2311.26/2316.87 c #Conflicts: 863000 | #Constraints: 42202
2311.26/2316.87 c #Conflicts: 864000 | #Constraints: 43202
2311.26/2316.87 c #Conflicts: 865000 | #Constraints: 44202
2311.26/2316.87 c INPROCESSING
2311.26/2316.87 c GARBAGE COLLECT
2311.26/2316.87 c #Conflicts: 866000 | #Constraints: 26926
2311.26/2316.87 c #Conflicts: 867000 | #Constraints: 27926
2311.26/2316.87 c #Conflicts: 868000 | #Constraints: 28926
2311.26/2316.87 c #Conflicts: 869000 | #Constraints: 29926
2311.26/2316.87 c #Conflicts: 870000 | #Constraints: 30926
2311.26/2316.87 c #Conflicts: 871000 | #Constraints: 31926
2311.26/2316.87 c #Conflicts: 872000 | #Constraints: 32926
2311.26/2316.87 c #Conflicts: 873000 | #Constraints: 33926
2311.26/2316.87 c #Conflicts: 874000 | #Constraints: 34926
2311.26/2316.87 c #Conflicts: 875000 | #Constraints: 35927
2311.26/2316.87 c #Conflicts: 876000 | #Constraints: 36927
2311.26/2316.87 c #Conflicts: 877000 | #Constraints: 37927
2311.26/2316.87 c #Conflicts: 878000 | #Constraints: 38927
2311.26/2316.87 c #Conflicts: 879000 | #Constraints: 39927
2311.26/2316.87 c #Conflicts: 880000 | #Constraints: 40928
2311.26/2316.87 c #Conflicts: 881000 | #Constraints: 41928
2311.26/2316.87 c #Conflicts: 882000 | #Constraints: 42928
2311.26/2316.87 c #Conflicts: 883000 | #Constraints: 43928
2311.26/2316.87 c #Conflicts: 884000 | #Constraints: 44929
2311.26/2316.87 c INPROCESSING
2311.26/2316.87 c GARBAGE COLLECT
2311.26/2316.87 c rational objective 4501.5
2455.44/2461.30 c #Conflicts: 885000 | #Constraints: 27382
2455.44/2461.30 c #Conflicts: 886000 | #Constraints: 28382
2455.44/2461.30 c #Conflicts: 887000 | #Constraints: 29382
2455.44/2461.30 c #Conflicts: 888000 | #Constraints: 30384
2455.44/2461.30 c #Conflicts: 889000 | #Constraints: 31384
2455.44/2461.30 c #Conflicts: 890000 | #Constraints: 32384
2455.44/2461.30 c #Conflicts: 891000 | #Constraints: 33384
2455.44/2461.30 c #Conflicts: 892000 | #Constraints: 34384
2455.44/2461.30 c #Conflicts: 893000 | #Constraints: 35384
2455.44/2461.30 c #Conflicts: 894000 | #Constraints: 36384
2455.44/2461.30 c #Conflicts: 895000 | #Constraints: 37384
2455.44/2461.30 c #Conflicts: 896000 | #Constraints: 38384
2455.44/2461.30 c #Conflicts: 897000 | #Constraints: 39384
2455.44/2461.30 c #Conflicts: 898000 | #Constraints: 40385
2455.44/2461.30 c #Conflicts: 899000 | #Constraints: 41385
2455.44/2461.30 c #Conflicts: 900000 | #Constraints: 42385
2455.44/2461.30 c #Conflicts: 901000 | #Constraints: 43385
2455.44/2461.30 c #Conflicts: 902000 | #Constraints: 44386
2455.44/2461.30 c #Conflicts: 903000 | #Constraints: 45386
2455.44/2461.30 c INPROCESSING
2455.44/2461.30 c GARBAGE COLLECT
2455.44/2461.30 c #Conflicts: 904000 | #Constraints: 27492
2455.44/2461.30 c #Conflicts: 905000 | #Constraints: 28492
2455.44/2461.30 c #Conflicts: 906000 | #Constraints: 29492
2455.44/2461.30 c #Conflicts: 907000 | #Constraints: 30492
2455.44/2461.30 c #Conflicts: 908000 | #Constraints: 31492
2455.44/2461.30 c #Conflicts: 909000 | #Constraints: 32492
2455.44/2461.30 c #Conflicts: 910000 | #Constraints: 33492
2455.44/2461.30 c #Conflicts: 911000 | #Constraints: 34492
2455.44/2461.30 c #Conflicts: 912000 | #Constraints: 35493
2455.44/2461.30 c #Conflicts: 913000 | #Constraints: 36493
2455.44/2461.30 c #Conflicts: 914000 | #Constraints: 37493
2455.44/2461.30 c #Conflicts: 915000 | #Constraints: 38493
2455.44/2461.30 c #Conflicts: 916000 | #Constraints: 39493
2455.44/2461.30 c #Conflicts: 917000 | #Constraints: 40493
2455.44/2461.30 c #Conflicts: 918000 | #Constraints: 41493
2455.44/2461.30 c #Conflicts: 919000 | #Constraints: 42494
2455.44/2461.30 c #Conflicts: 920000 | #Constraints: 43494
2455.44/2461.30 c #Conflicts: 921000 | #Constraints: 44494
2455.44/2461.30 c #Conflicts: 922000 | #Constraints: 45494
2455.44/2461.30 c INPROCESSING
2455.44/2461.30 c GARBAGE COLLECT
2455.44/2461.30 c #Conflicts: 923000 | #Constraints: 27477
2455.44/2461.30 c #Conflicts: 924000 | #Constraints: 28478
2455.44/2461.30 c #Conflicts: 925000 | #Constraints: 29478
2455.44/2461.30 c #Conflicts: 926000 | #Constraints: 30478
2455.44/2461.30 c #Conflicts: 927000 | #Constraints: 31478
2455.44/2461.30 c #Conflicts: 928000 | #Constraints: 32479
2455.44/2461.30 c #Conflicts: 929000 | #Constraints: 33479
2455.44/2461.30 c #Conflicts: 930000 | #Constraints: 34479
2455.44/2461.30 c #Conflicts: 931000 | #Constraints: 35479
2455.44/2461.30 c #Conflicts: 932000 | #Constraints: 36479
2455.44/2461.30 c #Conflicts: 933000 | #Constraints: 37480
2455.44/2461.30 c #Conflicts: 934000 | #Constraints: 38480
2455.44/2461.30 c #Conflicts: 935000 | #Constraints: 39480
2455.44/2461.30 c #Conflicts: 936000 | #Constraints: 40480
2455.44/2461.30 c #Conflicts: 937000 | #Constraints: 41480
2455.44/2461.30 c #Conflicts: 938000 | #Constraints: 42480
2455.44/2461.30 c #Conflicts: 939000 | #Constraints: 43480
2455.44/2461.30 c #Conflicts: 940000 | #Constraints: 44480
2455.44/2461.30 c #Conflicts: 941000 | #Constraints: 45480
2455.44/2461.30 c INPROCESSING
2455.44/2461.30 c GARBAGE COLLECT
2455.44/2461.30 c rational objective 4501.5
2573.98/2580.17 c #Conflicts: 942000 | #Constraints: 27324
2573.98/2580.17 c #Conflicts: 943000 | #Constraints: 28324
2573.98/2580.17 c #Conflicts: 944000 | #Constraints: 29324
2573.98/2580.17 c #Conflicts: 945000 | #Constraints: 30324
2573.98/2580.17 c #Conflicts: 946000 | #Constraints: 31324
2573.98/2580.17 c #Conflicts: 947000 | #Constraints: 32324
2573.98/2580.17 c #Conflicts: 948000 | #Constraints: 33327
2573.98/2580.17 c #Conflicts: 949000 | #Constraints: 34328
2573.98/2580.17 c #Conflicts: 950000 | #Constraints: 35328
2573.98/2580.17 c #Conflicts: 951000 | #Constraints: 36328
2573.98/2580.17 c #Conflicts: 952000 | #Constraints: 37329
2573.98/2580.17 c #Conflicts: 953000 | #Constraints: 38330
2573.98/2580.17 c #Conflicts: 954000 | #Constraints: 39330
2573.98/2580.17 c #Conflicts: 955000 | #Constraints: 40330
2573.98/2580.17 c #Conflicts: 956000 | #Constraints: 41331
2573.98/2580.17 c #Conflicts: 957000 | #Constraints: 42331
2573.98/2580.17 c #Conflicts: 958000 | #Constraints: 43331
2573.98/2580.17 c #Conflicts: 959000 | #Constraints: 44331
2573.98/2580.17 c #Conflicts: 960000 | #Constraints: 45331
2573.98/2580.17 c #Conflicts: 961000 | #Constraints: 46332
2573.98/2580.17 c INPROCESSING
2573.98/2580.17 c GARBAGE COLLECT
2573.98/2580.17 c #Conflicts: 962000 | #Constraints: 27887
2573.98/2580.17 c #Conflicts: 963000 | #Constraints: 28887
2573.98/2580.17 c #Conflicts: 964000 | #Constraints: 29887
2573.98/2580.17 c #Conflicts: 965000 | #Constraints: 30888
2573.98/2580.17 c #Conflicts: 966000 | #Constraints: 31888
2573.98/2580.17 c #Conflicts: 967000 | #Constraints: 32889
2573.98/2580.17 c #Conflicts: 968000 | #Constraints: 33889
2573.98/2580.17 c #Conflicts: 969000 | #Constraints: 34889
2573.98/2580.17 c #Conflicts: 970000 | #Constraints: 35889
2573.98/2580.17 c #Conflicts: 971000 | #Constraints: 36889
2573.98/2580.17 c #Conflicts: 972000 | #Constraints: 37889
2573.98/2580.17 c #Conflicts: 973000 | #Constraints: 38889
2573.98/2580.17 c #Conflicts: 974000 | #Constraints: 39889
2573.98/2580.17 c #Conflicts: 975000 | #Constraints: 40890
2573.98/2580.17 c #Conflicts: 976000 | #Constraints: 41890
2573.98/2580.17 c #Conflicts: 977000 | #Constraints: 42890
2573.98/2580.17 c #Conflicts: 978000 | #Constraints: 43890
2573.98/2580.17 c #Conflicts: 979000 | #Constraints: 44890
2573.98/2580.17 c #Conflicts: 980000 | #Constraints: 45890
2573.98/2580.17 c #Conflicts: 981000 | #Constraints: 46890
2573.98/2580.17 c INPROCESSING
2573.98/2580.17 c GARBAGE COLLECT
2573.98/2580.17 c #Conflicts: 982000 | #Constraints: 28305
2573.98/2580.17 c #Conflicts: 983000 | #Constraints: 29305
2573.98/2580.17 c #Conflicts: 984000 | #Constraints: 30305
2573.98/2580.17 c #Conflicts: 985000 | #Constraints: 31305
2573.98/2580.17 c #Conflicts: 986000 | #Constraints: 32305
2573.98/2580.17 c #Conflicts: 987000 | #Constraints: 33305
2573.98/2580.17 c #Conflicts: 988000 | #Constraints: 34306
2573.98/2580.17 c #Conflicts: 989000 | #Constraints: 35306
2573.98/2580.17 c #Conflicts: 990000 | #Constraints: 36306
2573.98/2580.17 c #Conflicts: 991000 | #Constraints: 37306
2573.98/2580.17 c #Conflicts: 992000 | #Constraints: 38306
2573.98/2580.17 c #Conflicts: 993000 | #Constraints: 39306
2573.98/2580.17 c #Conflicts: 994000 | #Constraints: 40306
2573.98/2580.17 c #Conflicts: 995000 | #Constraints: 41307
2573.98/2580.17 c #Conflicts: 996000 | #Constraints: 42307
2573.98/2580.17 c #Conflicts: 997000 | #Constraints: 43307
2573.98/2580.17 c #Conflicts: 998000 | #Constraints: 44307
2573.98/2580.17 c #Conflicts: 999000 | #Constraints: 45307
2573.98/2580.17 c #Conflicts: 1000000 | #Constraints: 46307
2573.98/2580.17 c #Conflicts: 1001000 | #Constraints: 47307
2573.98/2580.17 c INPROCESSING
2573.98/2580.17 c GARBAGE COLLECT
2573.98/2580.17 c #Conflicts: 1002000 | #Constraints: 28540
2573.98/2580.17 c #Conflicts: 1003000 | #Constraints: 29540
2573.98/2580.17 c #Conflicts: 1004000 | #Constraints: 30540
2573.98/2580.17 c #Conflicts: 1005000 | #Constraints: 31540
2573.98/2580.17 c #Conflicts: 1006000 | #Constraints: 32540
2573.98/2580.17 c #Conflicts: 1007000 | #Constraints: 33540
2573.98/2580.17 c #Conflicts: 1008000 | #Constraints: 34540
2573.98/2580.17 c #Conflicts: 1009000 | #Constraints: 35540
2573.98/2580.17 c #Conflicts: 1010000 | #Constraints: 36541
2573.98/2580.17 c #Conflicts: 1011000 | #Constraints: 37541
2573.98/2580.17 c #Conflicts: 1012000 | #Constraints: 38541
2573.98/2580.17 c #Conflicts: 1013000 | #Constraints: 39541
2573.98/2580.17 c #Conflicts: 1014000 | #Constraints: 40541
2573.98/2580.17 c #Conflicts: 1015000 | #Constraints: 41541
2573.98/2580.17 c #Conflicts: 1016000 | #Constraints: 42541
2573.98/2580.17 c #Conflicts: 1017000 | #Constraints: 43541
2573.98/2580.17 c #Conflicts: 1018000 | #Constraints: 44541
2619.57/2625.83 c #Conflicts: 1019000 | #Constraints: 45541
2619.57/2625.83 c #Conflicts: 1020000 | #Constraints: 46541
2619.57/2625.83 c #Conflicts: 1021000 | #Constraints: 47541
2619.57/2625.83 c INPROCESSING
2619.57/2625.83 c GARBAGE COLLECT
2619.57/2625.83 c #Conflicts: 1022000 | #Constraints: 28567
2619.57/2625.83 c #Conflicts: 1023000 | #Constraints: 29567
2619.57/2625.83 c #Conflicts: 1024000 | #Constraints: 30567
2619.57/2625.83 c #Conflicts: 1025000 | #Constraints: 31567
2619.57/2625.83 c #Conflicts: 1026000 | #Constraints: 32567
2619.57/2625.83 c #Conflicts: 1027000 | #Constraints: 33567
2619.57/2625.83 c #Conflicts: 1028000 | #Constraints: 34567
2619.57/2625.83 c #Conflicts: 1029000 | #Constraints: 35567
2619.57/2625.83 c #Conflicts: 1030000 | #Constraints: 36567
2619.57/2625.83 c #Conflicts: 1031000 | #Constraints: 37567
2619.57/2625.83 c #Conflicts: 1032000 | #Constraints: 38567
2619.57/2625.83 c #Conflicts: 1033000 | #Constraints: 39567
2619.57/2625.83 c #Conflicts: 1034000 | #Constraints: 40567
2619.57/2625.83 c #Conflicts: 1035000 | #Constraints: 41567
2619.57/2625.83 c #Conflicts: 1036000 | #Constraints: 42567
2619.57/2625.83 c #Conflicts: 1037000 | #Constraints: 43567
2619.57/2625.83 c #Conflicts: 1038000 | #Constraints: 44567
2619.57/2625.83 c #Conflicts: 1039000 | #Constraints: 45567
2619.57/2625.83 c #Conflicts: 1040000 | #Constraints: 46568
2619.57/2625.83 c #Conflicts: 1041000 | #Constraints: 47568
2619.57/2625.83 c INPROCESSING
2619.57/2625.83 c GARBAGE COLLECT
2619.57/2625.83 c rational objective 4501.5
2648.21/2654.59 c #Conflicts: 1042000 | #Constraints: 28384
2648.21/2654.59 c #Conflicts: 1043000 | #Constraints: 29384
2648.21/2654.59 c #Conflicts: 1044000 | #Constraints: 30387
2648.21/2654.59 c #Conflicts: 1045000 | #Constraints: 31387
2648.21/2654.59 c #Conflicts: 1046000 | #Constraints: 32387
2648.21/2654.59 c #Conflicts: 1047000 | #Constraints: 33387
2648.21/2654.59 c #Conflicts: 1048000 | #Constraints: 34387
2648.21/2654.59 c #Conflicts: 1049000 | #Constraints: 35388
2648.21/2654.59 c #Conflicts: 1050000 | #Constraints: 36388
2648.21/2654.59 c #Conflicts: 1051000 | #Constraints: 37389
2648.21/2654.59 c #Conflicts: 1052000 | #Constraints: 38389
2648.21/2654.59 c #Conflicts: 1053000 | #Constraints: 39390
2648.21/2654.59 c #Conflicts: 1054000 | #Constraints: 40390
2648.21/2654.59 c #Conflicts: 1055000 | #Constraints: 41391
2648.21/2654.59 c #Conflicts: 1056000 | #Constraints: 42392
2648.21/2654.59 c #Conflicts: 1057000 | #Constraints: 43392
2648.21/2654.59 c #Conflicts: 1058000 | #Constraints: 44393
2648.21/2654.59 c #Conflicts: 1059000 | #Constraints: 45393
2648.21/2654.59 c #Conflicts: 1060000 | #Constraints: 46393
2648.21/2654.59 c #Conflicts: 1061000 | #Constraints: 47393
2648.21/2654.59 c #Conflicts: 1062000 | #Constraints: 48393
2648.21/2654.59 c INPROCESSING
2648.21/2654.59 c GARBAGE COLLECT
2648.21/2654.59 c rational objective 4501.5
2666.47/2672.83 c #Conflicts: 1063000 | #Constraints: 28931
2666.47/2672.83 c #Conflicts: 1064000 | #Constraints: 29932
2666.47/2672.83 c #Conflicts: 1065000 | #Constraints: 30933
2666.47/2672.83 c #Conflicts: 1066000 | #Constraints: 31934
2666.47/2672.83 c #Conflicts: 1067000 | #Constraints: 32934
2666.47/2672.83 c #Conflicts: 1068000 | #Constraints: 33934
2666.47/2672.83 c #Conflicts: 1069000 | #Constraints: 34935
2666.47/2672.83 c #Conflicts: 1070000 | #Constraints: 35935
2666.47/2672.83 c #Conflicts: 1071000 | #Constraints: 36935
2666.47/2672.83 c #Conflicts: 1072000 | #Constraints: 37935
2666.47/2672.83 c #Conflicts: 1073000 | #Constraints: 38935
2666.47/2672.83 c #Conflicts: 1074000 | #Constraints: 39935
2666.47/2672.83 c #Conflicts: 1075000 | #Constraints: 40936
2666.47/2672.83 c #Conflicts: 1076000 | #Constraints: 41936
2666.47/2672.83 c #Conflicts: 1077000 | #Constraints: 42937
2666.47/2672.83 c #Conflicts: 1078000 | #Constraints: 43937
2666.47/2672.83 c #Conflicts: 1079000 | #Constraints: 44938
2666.47/2672.83 c #Conflicts: 1080000 | #Constraints: 45938
2666.47/2672.83 c #Conflicts: 1081000 | #Constraints: 46938
2666.47/2672.83 c #Conflicts: 1082000 | #Constraints: 47939
2666.47/2672.83 c #Conflicts: 1083000 | #Constraints: 48939
2666.47/2672.83 c INPROCESSING
2666.47/2672.83 c GARBAGE COLLECT
2666.47/2672.83 c rational objective 4501.5
2684.33/2690.78 c #Conflicts: 1084000 | #Constraints: 29283
2684.33/2690.78 c #Conflicts: 1085000 | #Constraints: 30283
2684.33/2690.78 c #Conflicts: 1086000 | #Constraints: 31284
2684.33/2690.78 c #Conflicts: 1087000 | #Constraints: 32286
2684.33/2690.78 c #Conflicts: 1088000 | #Constraints: 33286
2684.33/2690.78 c #Conflicts: 1089000 | #Constraints: 34287
2684.33/2690.78 c #Conflicts: 1090000 | #Constraints: 35287
2684.33/2690.78 c #Conflicts: 1091000 | #Constraints: 36287
2684.33/2690.78 c #Conflicts: 1092000 | #Constraints: 37287
2684.33/2690.78 c #Conflicts: 1093000 | #Constraints: 38287
2684.33/2690.78 c #Conflicts: 1094000 | #Constraints: 39287
2684.33/2690.78 c #Conflicts: 1095000 | #Constraints: 40287
2684.33/2690.78 c #Conflicts: 1096000 | #Constraints: 41287
2684.33/2690.78 c #Conflicts: 1097000 | #Constraints: 42287
2684.33/2690.78 c #Conflicts: 1098000 | #Constraints: 43288
2684.33/2690.78 c #Conflicts: 1099000 | #Constraints: 44288
2684.33/2690.78 c #Conflicts: 1100000 | #Constraints: 45288
2684.33/2690.78 c #Conflicts: 1101000 | #Constraints: 46289
2684.33/2690.78 c #Conflicts: 1102000 | #Constraints: 47289
2684.33/2690.78 c #Conflicts: 1103000 | #Constraints: 48290
2684.33/2690.78 c #Conflicts: 1104000 | #Constraints: 49290
2684.33/2690.78 c INPROCESSING
2684.33/2690.78 c GARBAGE COLLECT
2684.33/2690.78 c rational objective 4501.5
2708.48/2714.95 c #Conflicts: 1105000 | #Constraints: 29474
2708.48/2714.95 c #Conflicts: 1106000 | #Constraints: 30474
2708.48/2714.95 c #Conflicts: 1107000 | #Constraints: 31474
2708.48/2714.95 c #Conflicts: 1108000 | #Constraints: 32474
2708.48/2714.95 c #Conflicts: 1109000 | #Constraints: 33474
2708.48/2714.95 c #Conflicts: 1110000 | #Constraints: 34475
2708.48/2714.95 c #Conflicts: 1111000 | #Constraints: 35476
2708.48/2714.95 c #Conflicts: 1112000 | #Constraints: 36476
2708.48/2714.95 c #Conflicts: 1113000 | #Constraints: 37476
2708.48/2714.95 c #Conflicts: 1114000 | #Constraints: 38477
2708.48/2714.95 c #Conflicts: 1115000 | #Constraints: 39478
2708.48/2714.95 c #Conflicts: 1116000 | #Constraints: 40479
2708.48/2714.95 c #Conflicts: 1117000 | #Constraints: 41480
2708.48/2714.95 c #Conflicts: 1118000 | #Constraints: 42481
2708.48/2714.95 c #Conflicts: 1119000 | #Constraints: 43481
2708.48/2714.95 c #Conflicts: 1120000 | #Constraints: 44482
2708.48/2714.95 c #Conflicts: 1121000 | #Constraints: 45482
2708.48/2714.95 c #Conflicts: 1122000 | #Constraints: 46482
2708.48/2714.95 c #Conflicts: 1123000 | #Constraints: 47484
2708.48/2714.95 c #Conflicts: 1124000 | #Constraints: 48484
2708.48/2714.95 c #Conflicts: 1125000 | #Constraints: 49484
2708.48/2714.95 c INPROCESSING
2708.48/2714.95 c GARBAGE COLLECT
2708.48/2714.95 c rational objective 4501.5
2724.35/2730.88 c #Conflicts: 1126000 | #Constraints: 29468
2724.35/2730.88 c #Conflicts: 1127000 | #Constraints: 30468
2724.35/2730.88 c #Conflicts: 1128000 | #Constraints: 31468
2724.35/2730.88 c #Conflicts: 1129000 | #Constraints: 32468
2724.35/2730.88 c #Conflicts: 1130000 | #Constraints: 33468
2724.35/2730.88 c #Conflicts: 1131000 | #Constraints: 34468
2724.35/2730.88 c #Conflicts: 1132000 | #Constraints: 35470
2724.35/2730.88 c #Conflicts: 1133000 | #Constraints: 36472
2724.35/2730.88 c #Conflicts: 1134000 | #Constraints: 37472
2724.35/2730.88 c #Conflicts: 1135000 | #Constraints: 38473
2724.35/2730.88 c #Conflicts: 1136000 | #Constraints: 39473
2724.35/2730.88 c #Conflicts: 1137000 | #Constraints: 40473
2724.35/2730.88 c #Conflicts: 1138000 | #Constraints: 41473
2724.35/2730.88 c #Conflicts: 1139000 | #Constraints: 42473
2724.35/2730.88 c #Conflicts: 1140000 | #Constraints: 43473
2724.35/2730.88 c #Conflicts: 1141000 | #Constraints: 44474
2724.35/2730.88 c #Conflicts: 1142000 | #Constraints: 45474
2724.35/2730.88 c #Conflicts: 1143000 | #Constraints: 46475
2724.35/2730.88 c #Conflicts: 1144000 | #Constraints: 47475
2724.35/2730.88 c #Conflicts: 1145000 | #Constraints: 48476
2724.35/2730.88 c #Conflicts: 1146000 | #Constraints: 49476
2724.35/2730.88 c INPROCESSING
2724.35/2730.88 c GARBAGE COLLECT
2724.35/2730.88 c rational objective 4501.5
2763.66/2770.23 c #Conflicts: 1147000 | #Constraints: 29239
2763.66/2770.23 c #Conflicts: 1148000 | #Constraints: 30239
2763.66/2770.23 c #Conflicts: 1149000 | #Constraints: 31239
2763.66/2770.23 c #Conflicts: 1150000 | #Constraints: 32239
2763.66/2770.23 c #Conflicts: 1151000 | #Constraints: 33239
2763.66/2770.23 c #Conflicts: 1152000 | #Constraints: 34239
2763.66/2770.23 c #Conflicts: 1153000 | #Constraints: 35239
2763.66/2770.23 c #Conflicts: 1154000 | #Constraints: 36241
2763.66/2770.23 c #Conflicts: 1155000 | #Constraints: 37241
2763.66/2770.23 c #Conflicts: 1156000 | #Constraints: 38242
2763.66/2770.23 c #Conflicts: 1157000 | #Constraints: 39242
2763.66/2770.23 c #Conflicts: 1158000 | #Constraints: 40242
2763.66/2770.23 c #Conflicts: 1159000 | #Constraints: 41242
2763.66/2770.23 c #Conflicts: 1160000 | #Constraints: 42242
2763.66/2770.23 c #Conflicts: 1161000 | #Constraints: 43242
2763.66/2770.23 c #Conflicts: 1162000 | #Constraints: 44242
2763.66/2770.23 c #Conflicts: 1163000 | #Constraints: 45242
2763.66/2770.23 c #Conflicts: 1164000 | #Constraints: 46242
2763.66/2770.23 c #Conflicts: 1165000 | #Constraints: 47242
2763.66/2770.23 c #Conflicts: 1166000 | #Constraints: 48242
2763.66/2770.23 c #Conflicts: 1167000 | #Constraints: 49242
2763.66/2770.23 c #Conflicts: 1168000 | #Constraints: 50242
2763.66/2770.23 c INPROCESSING
2763.66/2770.23 c GARBAGE COLLECT
2763.66/2770.23 c rational objective 4501.5
2792.59/2799.25 c #Conflicts: 1169000 | #Constraints: 29843
2792.59/2799.25 c #Conflicts: 1170000 | #Constraints: 30843
2792.59/2799.25 c #Conflicts: 1171000 | #Constraints: 31843
2792.59/2799.25 c #Conflicts: 1172000 | #Constraints: 32843
2792.59/2799.25 c #Conflicts: 1173000 | #Constraints: 33843
2792.59/2799.25 c #Conflicts: 1174000 | #Constraints: 34844
2792.59/2799.25 c #Conflicts: 1175000 | #Constraints: 35844
2792.59/2799.25 c #Conflicts: 1176000 | #Constraints: 36844
2792.59/2799.25 c #Conflicts: 1177000 | #Constraints: 37844
2792.59/2799.25 c #Conflicts: 1178000 | #Constraints: 38844
2792.59/2799.25 c #Conflicts: 1179000 | #Constraints: 39844
2792.59/2799.25 c #Conflicts: 1180000 | #Constraints: 40844
2792.59/2799.25 c #Conflicts: 1181000 | #Constraints: 41844
2792.59/2799.25 c #Conflicts: 1182000 | #Constraints: 42844
2792.59/2799.25 c #Conflicts: 1183000 | #Constraints: 43844
2792.59/2799.25 c #Conflicts: 1184000 | #Constraints: 44844
2792.59/2799.25 c #Conflicts: 1185000 | #Constraints: 45844
2792.59/2799.25 c #Conflicts: 1186000 | #Constraints: 46844
2792.59/2799.25 c #Conflicts: 1187000 | #Constraints: 47844
2792.59/2799.25 c #Conflicts: 1188000 | #Constraints: 48845
2792.59/2799.25 c #Conflicts: 1189000 | #Constraints: 49845
2792.59/2799.25 c #Conflicts: 1190000 | #Constraints: 50845
2792.59/2799.25 c INPROCESSING
2792.59/2799.25 c GARBAGE COLLECT
2792.59/2799.25 c rational objective 4501.5
2850.77/2857.59 c #Conflicts: 1191000 | #Constraints: 30217
2850.77/2857.59 c #Conflicts: 1192000 | #Constraints: 31217
2850.77/2857.59 c #Conflicts: 1193000 | #Constraints: 32217
2850.77/2857.59 c #Conflicts: 1194000 | #Constraints: 33217
2850.77/2857.59 c #Conflicts: 1195000 | #Constraints: 34217
2850.77/2857.59 c #Conflicts: 1196000 | #Constraints: 35217
2850.77/2857.59 c #Conflicts: 1197000 | #Constraints: 36217
2850.77/2857.59 c #Conflicts: 1198000 | #Constraints: 37217
2850.77/2857.59 c #Conflicts: 1199000 | #Constraints: 38217
2850.77/2857.59 c #Conflicts: 1200000 | #Constraints: 39217
2850.77/2857.59 c #Conflicts: 1201000 | #Constraints: 40217
2850.77/2857.59 c #Conflicts: 1202000 | #Constraints: 41217
2850.77/2857.59 c #Conflicts: 1203000 | #Constraints: 42217
2850.77/2857.59 c #Conflicts: 1204000 | #Constraints: 43217
2850.77/2857.59 c #Conflicts: 1205000 | #Constraints: 44217
2850.77/2857.59 c #Conflicts: 1206000 | #Constraints: 45217
2850.77/2857.59 c #Conflicts: 1207000 | #Constraints: 46217
2850.77/2857.59 c #Conflicts: 1208000 | #Constraints: 47217
2850.77/2857.59 c #Conflicts: 1209000 | #Constraints: 48217
2850.77/2857.59 c #Conflicts: 1210000 | #Constraints: 49217
2850.77/2857.59 c #Conflicts: 1211000 | #Constraints: 50217
2850.77/2857.59 c #Conflicts: 1212000 | #Constraints: 51217
2850.77/2857.59 c INPROCESSING
2850.77/2857.59 c GARBAGE COLLECT
2850.77/2857.59 c rational objective 4501.5
2966.40/2973.49 c #Conflicts: 1213000 | #Constraints: 30425
2966.40/2973.49 c #Conflicts: 1214000 | #Constraints: 31425
2966.40/2973.49 c #Conflicts: 1215000 | #Constraints: 32426
2966.40/2973.49 c #Conflicts: 1216000 | #Constraints: 33426
2966.40/2973.49 c #Conflicts: 1217000 | #Constraints: 34426
2966.40/2973.49 c #Conflicts: 1218000 | #Constraints: 35426
2966.40/2973.49 c #Conflicts: 1219000 | #Constraints: 36426
2966.40/2973.49 c #Conflicts: 1220000 | #Constraints: 37426
2966.40/2973.49 c #Conflicts: 1221000 | #Constraints: 38426
2966.40/2973.49 c #Conflicts: 1222000 | #Constraints: 39426
2966.40/2973.49 c #Conflicts: 1223000 | #Constraints: 40426
2966.40/2973.49 c #Conflicts: 1224000 | #Constraints: 41426
2966.40/2973.49 c #Conflicts: 1225000 | #Constraints: 42426
2966.40/2973.49 c #Conflicts: 1226000 | #Constraints: 43426
2966.40/2973.49 c #Conflicts: 1227000 | #Constraints: 44426
2966.40/2973.49 c #Conflicts: 1228000 | #Constraints: 45426
2966.40/2973.49 c #Conflicts: 1229000 | #Constraints: 46426
2966.40/2973.49 c #Conflicts: 1230000 | #Constraints: 47426
2966.40/2973.49 c #Conflicts: 1231000 | #Constraints: 48427
2966.40/2973.49 c #Conflicts: 1232000 | #Constraints: 49427
2966.40/2973.49 c #Conflicts: 1233000 | #Constraints: 50427
2966.40/2973.49 c #Conflicts: 1234000 | #Constraints: 51427
2966.40/2973.49 c INPROCESSING
2966.40/2973.49 c GARBAGE COLLECT
2966.40/2973.49 c rational objective 4501.5
3099.09/3106.49 c #Conflicts: 1235000 | #Constraints: 30410
3099.09/3106.49 c #Conflicts: 1236000 | #Constraints: 31410
3099.09/3106.49 c #Conflicts: 1237000 | #Constraints: 32410
3099.09/3106.49 c #Conflicts: 1238000 | #Constraints: 33410
3099.09/3106.49 c #Conflicts: 1239000 | #Constraints: 34410
3099.09/3106.49 c #Conflicts: 1240000 | #Constraints: 35410
3099.09/3106.49 c #Conflicts: 1241000 | #Constraints: 36410
3099.09/3106.49 c #Conflicts: 1242000 | #Constraints: 37410
3099.09/3106.49 c #Conflicts: 1243000 | #Constraints: 38411
3099.09/3106.49 c #Conflicts: 1244000 | #Constraints: 39411
3099.09/3106.49 c #Conflicts: 1245000 | #Constraints: 40411
3099.09/3106.49 c #Conflicts: 1246000 | #Constraints: 41411
3099.09/3106.49 c #Conflicts: 1247000 | #Constraints: 42411
3099.09/3106.49 c #Conflicts: 1248000 | #Constraints: 43411
3099.09/3106.49 c #Conflicts: 1249000 | #Constraints: 44411
3099.09/3106.49 c #Conflicts: 1250000 | #Constraints: 45411
3099.09/3106.49 c #Conflicts: 1251000 | #Constraints: 46411
3099.09/3106.49 c #Conflicts: 1252000 | #Constraints: 47411
3099.09/3106.49 c #Conflicts: 1253000 | #Constraints: 48411
3099.09/3106.49 c #Conflicts: 1254000 | #Constraints: 49411
3099.09/3106.49 c #Conflicts: 1255000 | #Constraints: 50411
3099.09/3106.49 c #Conflicts: 1256000 | #Constraints: 51411
3099.09/3106.49 c INPROCESSING
3099.09/3106.49 c GARBAGE COLLECT
3099.09/3106.49 c #Conflicts: 1257000 | #Constraints: 30213
3099.09/3106.49 c #Conflicts: 1258000 | #Constraints: 31213
3099.09/3106.49 c #Conflicts: 1259000 | #Constraints: 32213
3099.09/3106.49 c #Conflicts: 1260000 | #Constraints: 33213
3099.09/3106.49 c #Conflicts: 1261000 | #Constraints: 34213
3099.09/3106.49 c #Conflicts: 1262000 | #Constraints: 35213
3099.09/3106.49 c #Conflicts: 1263000 | #Constraints: 36213
3099.09/3106.49 c #Conflicts: 1264000 | #Constraints: 37213
3099.09/3106.49 c #Conflicts: 1265000 | #Constraints: 38213
3099.09/3106.49 c #Conflicts: 1266000 | #Constraints: 39213
3099.09/3106.49 c #Conflicts: 1267000 | #Constraints: 40213
3099.09/3106.49 c #Conflicts: 1268000 | #Constraints: 41213
3099.09/3106.49 c #Conflicts: 1269000 | #Constraints: 42213
3099.09/3106.49 c #Conflicts: 1270000 | #Constraints: 43213
3099.09/3106.49 c #Conflicts: 1271000 | #Constraints: 44213
3099.09/3106.49 c #Conflicts: 1272000 | #Constraints: 45213
3099.09/3106.49 c #Conflicts: 1273000 | #Constraints: 46213
3099.09/3106.49 c #Conflicts: 1274000 | #Constraints: 47213
3099.09/3106.49 c #Conflicts: 1275000 | #Constraints: 48213
3099.09/3106.49 c #Conflicts: 1276000 | #Constraints: 49213
3099.09/3106.49 c #Conflicts: 1277000 | #Constraints: 50213
3099.09/3106.49 c #Conflicts: 1278000 | #Constraints: 51213
3099.09/3106.49 c #Conflicts: 1279000 | #Constraints: 52213
3099.09/3106.49 c INPROCESSING
3099.09/3106.49 c GARBAGE COLLECT
3099.09/3106.49 c #Conflicts: 1280000 | #Constraints: 30807
3099.09/3106.49 c #Conflicts: 1281000 | #Constraints: 31807
3099.09/3106.49 c #Conflicts: 1282000 | #Constraints: 32807
3099.09/3106.49 c #Conflicts: 1283000 | #Constraints: 33807
3099.09/3106.49 c #Conflicts: 1284000 | #Constraints: 34807
3099.09/3106.49 c #Conflicts: 1285000 | #Constraints: 35807
3099.09/3106.49 c #Conflicts: 1286000 | #Constraints: 36807
3099.09/3106.49 c #Conflicts: 1287000 | #Constraints: 37807
3099.09/3106.49 c #Conflicts: 1288000 | #Constraints: 38807
3099.09/3106.49 c #Conflicts: 1289000 | #Constraints: 39807
3099.09/3106.49 c #Conflicts: 1290000 | #Constraints: 40809
3099.09/3106.49 c #Conflicts: 1291000 | #Constraints: 41809
3099.09/3106.49 c #Conflicts: 1292000 | #Constraints: 42809
3099.09/3106.49 c #Conflicts: 1293000 | #Constraints: 43809
3099.09/3106.49 c #Conflicts: 1294000 | #Constraints: 44809
3099.09/3106.49 c #Conflicts: 1295000 | #Constraints: 45810
3099.09/3106.49 c #Conflicts: 1296000 | #Constraints: 46810
3099.09/3106.49 c #Conflicts: 1297000 | #Constraints: 47810
3099.09/3106.49 c #Conflicts: 1298000 | #Constraints: 48810
3099.09/3106.49 c #Conflicts: 1299000 | #Constraints: 49810
3099.09/3106.49 c #Conflicts: 1300000 | #Constraints: 50810
3099.09/3106.49 c #Conflicts: 1301000 | #Constraints: 51810
3099.09/3106.49 c #Conflicts: 1302000 | #Constraints: 52811
3099.09/3106.49 c INPROCESSING
3099.09/3106.49 c GARBAGE COLLECT
3099.09/3106.49 c #Conflicts: 1303000 | #Constraints: 31288
3099.09/3106.49 c #Conflicts: 1304000 | #Constraints: 32288
3099.09/3106.49 c #Conflicts: 1305000 | #Constraints: 33288
3099.09/3106.49 c #Conflicts: 1306000 | #Constraints: 34288
3099.09/3106.49 c #Conflicts: 1307000 | #Constraints: 35289
3099.09/3106.49 c #Conflicts: 1308000 | #Constraints: 36289
3099.09/3106.49 c #Conflicts: 1309000 | #Constraints: 37289
3099.09/3106.49 c #Conflicts: 1310000 | #Constraints: 38289
3099.09/3106.49 c #Conflicts: 1311000 | #Constraints: 39289
3125.94/3133.34 c #Conflicts: 1312000 | #Constraints: 40289
3125.94/3133.34 c #Conflicts: 1313000 | #Constraints: 41289
3125.94/3133.34 c #Conflicts: 1314000 | #Constraints: 42289
3125.94/3133.34 c #Conflicts: 1315000 | #Constraints: 43289
3125.94/3133.34 c #Conflicts: 1316000 | #Constraints: 44289
3125.94/3133.34 c #Conflicts: 1317000 | #Constraints: 45289
3125.94/3133.34 c #Conflicts: 1318000 | #Constraints: 46289
3125.94/3133.34 c #Conflicts: 1319000 | #Constraints: 47290
3125.94/3133.34 c #Conflicts: 1320000 | #Constraints: 48290
3125.94/3133.34 c #Conflicts: 1321000 | #Constraints: 49290
3125.94/3133.34 c #Conflicts: 1322000 | #Constraints: 50290
3125.94/3133.34 c #Conflicts: 1323000 | #Constraints: 51290
3125.94/3133.34 c #Conflicts: 1324000 | #Constraints: 52290
3125.94/3133.34 c #Conflicts: 1325000 | #Constraints: 53290
3125.94/3133.34 c INPROCESSING
3125.94/3133.34 c GARBAGE COLLECT
3125.94/3133.34 c #Conflicts: 1326000 | #Constraints: 31560
3125.94/3133.34 c #Conflicts: 1327000 | #Constraints: 32560
3125.94/3133.34 c #Conflicts: 1328000 | #Constraints: 33560
3125.94/3133.34 c #Conflicts: 1329000 | #Constraints: 34560
3125.94/3133.34 c #Conflicts: 1330000 | #Constraints: 35560
3125.94/3133.34 c #Conflicts: 1331000 | #Constraints: 36560
3125.94/3133.34 c #Conflicts: 1332000 | #Constraints: 37560
3125.94/3133.34 c #Conflicts: 1333000 | #Constraints: 38560
3125.94/3133.34 c #Conflicts: 1334000 | #Constraints: 39560
3125.94/3133.34 c #Conflicts: 1335000 | #Constraints: 40560
3125.94/3133.34 c #Conflicts: 1336000 | #Constraints: 41560
3125.94/3133.34 c #Conflicts: 1337000 | #Constraints: 42560
3125.94/3133.34 c #Conflicts: 1338000 | #Constraints: 43560
3125.94/3133.34 c #Conflicts: 1339000 | #Constraints: 44560
3125.94/3133.34 c #Conflicts: 1340000 | #Constraints: 45560
3125.94/3133.34 c #Conflicts: 1341000 | #Constraints: 46561
3125.94/3133.34 c #Conflicts: 1342000 | #Constraints: 47561
3125.94/3133.34 c #Conflicts: 1343000 | #Constraints: 48562
3125.94/3133.34 c #Conflicts: 1344000 | #Constraints: 49562
3125.94/3133.34 c #Conflicts: 1345000 | #Constraints: 50562
3125.94/3133.34 c #Conflicts: 1346000 | #Constraints: 51562
3125.94/3133.34 c #Conflicts: 1347000 | #Constraints: 52562
3125.94/3133.34 c #Conflicts: 1348000 | #Constraints: 53563
3125.94/3133.34 c INPROCESSING
3125.94/3133.34 c GARBAGE COLLECT
3125.94/3133.34 c rational objective 4501.5
3184.40/3191.94 c #Conflicts: 1349000 | #Constraints: 31630
3184.40/3191.94 c #Conflicts: 1350000 | #Constraints: 32630
3184.40/3191.94 c #Conflicts: 1351000 | #Constraints: 33633
3184.40/3191.94 c #Conflicts: 1352000 | #Constraints: 34634
3184.40/3191.94 c #Conflicts: 1353000 | #Constraints: 35634
3184.40/3191.94 c #Conflicts: 1354000 | #Constraints: 36635
3184.40/3191.94 c #Conflicts: 1355000 | #Constraints: 37635
3184.40/3191.94 c #Conflicts: 1356000 | #Constraints: 38635
3184.40/3191.94 c #Conflicts: 1357000 | #Constraints: 39635
3184.40/3191.94 c #Conflicts: 1358000 | #Constraints: 40635
3184.40/3191.94 c #Conflicts: 1359000 | #Constraints: 41635
3184.40/3191.94 c #Conflicts: 1360000 | #Constraints: 42635
3184.40/3191.94 c #Conflicts: 1361000 | #Constraints: 43635
3184.40/3191.94 c #Conflicts: 1362000 | #Constraints: 44635
3184.40/3191.94 c #Conflicts: 1363000 | #Constraints: 45635
3184.40/3191.94 c #Conflicts: 1364000 | #Constraints: 46635
3184.40/3191.94 c #Conflicts: 1365000 | #Constraints: 47635
3184.40/3191.94 c #Conflicts: 1366000 | #Constraints: 48635
3184.40/3191.94 c #Conflicts: 1367000 | #Constraints: 49636
3184.40/3191.94 c #Conflicts: 1368000 | #Constraints: 50636
3184.40/3191.94 c #Conflicts: 1369000 | #Constraints: 51636
3184.40/3191.94 c #Conflicts: 1370000 | #Constraints: 52636
3184.40/3191.94 c #Conflicts: 1371000 | #Constraints: 53636
3184.40/3191.94 c INPROCESSING
3184.40/3191.94 c GARBAGE COLLECT
3184.40/3191.94 c #Conflicts: 1372000 | #Constraints: 31319
3184.40/3191.94 c #Conflicts: 1373000 | #Constraints: 32320
3184.40/3191.94 c #Conflicts: 1374000 | #Constraints: 33320
3184.40/3191.94 c #Conflicts: 1375000 | #Constraints: 34320
3184.40/3191.94 c #Conflicts: 1376000 | #Constraints: 35320
3184.40/3191.94 c #Conflicts: 1377000 | #Constraints: 36320
3184.40/3191.94 c #Conflicts: 1378000 | #Constraints: 37320
3184.40/3191.94 c #Conflicts: 1379000 | #Constraints: 38320
3184.40/3191.94 c #Conflicts: 1380000 | #Constraints: 39320
3184.40/3191.94 c #Conflicts: 1381000 | #Constraints: 40320
3184.40/3191.94 c #Conflicts: 1382000 | #Constraints: 41320
3184.40/3191.94 c #Conflicts: 1383000 | #Constraints: 42320
3184.40/3191.94 c #Conflicts: 1384000 | #Constraints: 43320
3184.40/3191.94 c #Conflicts: 1385000 | #Constraints: 44320
3184.40/3191.94 c #Conflicts: 1386000 | #Constraints: 45320
3184.40/3191.94 c #Conflicts: 1387000 | #Constraints: 46320
3184.40/3191.94 c #Conflicts: 1388000 | #Constraints: 47320
3184.40/3191.94 c #Conflicts: 1389000 | #Constraints: 48320
3184.40/3191.94 c #Conflicts: 1390000 | #Constraints: 49320
3184.40/3191.94 c #Conflicts: 1391000 | #Constraints: 50320
3184.40/3191.94 c #Conflicts: 1392000 | #Constraints: 51320
3184.40/3191.94 c #Conflicts: 1393000 | #Constraints: 52320
3184.40/3191.94 c #Conflicts: 1394000 | #Constraints: 53320
3184.40/3191.94 c #Conflicts: 1395000 | #Constraints: 54320
3184.40/3191.94 c INPROCESSING
3184.40/3191.94 c GARBAGE COLLECT
3184.40/3191.94 c rational objective 4501.5
3237.38/3245.03 c #Conflicts: 1396000 | #Constraints: 31863
3237.38/3245.03 c #Conflicts: 1397000 | #Constraints: 32863
3237.38/3245.03 c #Conflicts: 1398000 | #Constraints: 33864
3237.38/3245.03 c #Conflicts: 1399000 | #Constraints: 34864
3237.38/3245.03 c #Conflicts: 1400000 | #Constraints: 35864
3237.38/3245.03 c #Conflicts: 1401000 | #Constraints: 36864
3237.38/3245.03 c #Conflicts: 1402000 | #Constraints: 37864
3237.38/3245.03 c #Conflicts: 1403000 | #Constraints: 38864
3237.38/3245.03 c #Conflicts: 1404000 | #Constraints: 39864
3237.38/3245.03 c #Conflicts: 1405000 | #Constraints: 40864
3237.38/3245.03 c #Conflicts: 1406000 | #Constraints: 41864
3237.38/3245.03 c #Conflicts: 1407000 | #Constraints: 42865
3237.38/3245.03 c #Conflicts: 1408000 | #Constraints: 43865
3237.38/3245.03 c #Conflicts: 1409000 | #Constraints: 44865
3237.38/3245.03 c #Conflicts: 1410000 | #Constraints: 45865
3237.38/3245.03 c #Conflicts: 1411000 | #Constraints: 46865
3237.38/3245.03 c #Conflicts: 1412000 | #Constraints: 47865
3237.38/3245.03 c #Conflicts: 1413000 | #Constraints: 48865
3237.38/3245.03 c #Conflicts: 1414000 | #Constraints: 49865
3237.38/3245.03 c #Conflicts: 1415000 | #Constraints: 50865
3237.38/3245.03 c #Conflicts: 1416000 | #Constraints: 51865
3237.38/3245.03 c #Conflicts: 1417000 | #Constraints: 52865
3237.38/3245.03 c #Conflicts: 1418000 | #Constraints: 53865
3237.38/3245.03 c #Conflicts: 1419000 | #Constraints: 54865
3237.38/3245.03 c INPROCESSING
3237.38/3245.03 c GARBAGE COLLECT
3237.38/3245.03 c rational objective 4501.5
3319.09/3326.90 c #Conflicts: 1420000 | #Constraints: 32393
3319.09/3326.90 c #Conflicts: 1421000 | #Constraints: 33393
3319.09/3326.90 c #Conflicts: 1422000 | #Constraints: 34393
3319.09/3326.90 c #Conflicts: 1423000 | #Constraints: 35393
3319.09/3326.90 c #Conflicts: 1424000 | #Constraints: 36393
3319.09/3326.90 c #Conflicts: 1425000 | #Constraints: 37393
3319.09/3326.90 c #Conflicts: 1426000 | #Constraints: 38393
3319.09/3326.90 c #Conflicts: 1427000 | #Constraints: 39393
3319.09/3326.90 c #Conflicts: 1428000 | #Constraints: 40393
3319.09/3326.90 c #Conflicts: 1429000 | #Constraints: 41393
3319.09/3326.90 c #Conflicts: 1430000 | #Constraints: 42393
3319.09/3326.90 c #Conflicts: 1431000 | #Constraints: 43393
3319.09/3326.90 c #Conflicts: 1432000 | #Constraints: 44393
3319.09/3326.90 c #Conflicts: 1433000 | #Constraints: 45393
3319.09/3326.90 c #Conflicts: 1434000 | #Constraints: 46393
3319.09/3326.90 c #Conflicts: 1435000 | #Constraints: 47393
3319.09/3326.90 c #Conflicts: 1436000 | #Constraints: 48393
3319.09/3326.90 c #Conflicts: 1437000 | #Constraints: 49393
3319.09/3326.90 c #Conflicts: 1438000 | #Constraints: 50393
3319.09/3326.90 c #Conflicts: 1439000 | #Constraints: 51393
3319.09/3326.90 c #Conflicts: 1440000 | #Constraints: 52393
3319.09/3326.90 c #Conflicts: 1441000 | #Constraints: 53393
3319.09/3326.90 c #Conflicts: 1442000 | #Constraints: 54393
3319.09/3326.90 c #Conflicts: 1443000 | #Constraints: 55393
3319.09/3326.90 c INPROCESSING
3319.09/3326.90 c GARBAGE COLLECT
3319.09/3326.90 c rational objective 4501.5
3600.01/3608.54 c #Conflicts: 1444000 | #Constraints: 32498
3600.01/3608.54 c #Conflicts: 1445000 | #Constraints: 33498
3600.01/3608.54 c #Conflicts: 1446000 | #Constraints: 34498
3600.01/3608.54 c #Conflicts: 1447000 | #Constraints: 35498
3600.01/3608.54 c #Conflicts: 1448000 | #Constraints: 36498
3600.01/3608.54 c #Conflicts: 1449000 | #Constraints: 37498
3600.01/3608.54 c #Conflicts: 1450000 | #Constraints: 38499
3600.01/3608.54 c #Conflicts: 1451000 | #Constraints: 39499
3600.01/3608.54 c #Conflicts: 1452000 | #Constraints: 40499
3600.01/3608.54 c #Conflicts: 1453000 | #Constraints: 41499
3600.01/3608.54 c #Conflicts: 1454000 | #Constraints: 42499
3600.01/3608.54 c #Conflicts: 1455000 | #Constraints: 43499
3600.01/3608.54 c #Conflicts: 1456000 | #Constraints: 44499
3600.01/3608.54 c #Conflicts: 1457000 | #Constraints: 45499
3600.01/3608.54 c #Conflicts: 1458000 | #Constraints: 46499
3600.01/3608.54 c #Conflicts: 1459000 | #Constraints: 47499
3600.01/3608.54 c #Conflicts: 1460000 | #Constraints: 48499
3600.01/3608.54 c #Conflicts: 1461000 | #Constraints: 49499
3600.01/3608.54 c #Conflicts: 1462000 | #Constraints: 50499
3600.01/3608.54 c #Conflicts: 1463000 | #Constraints: 51499
3600.01/3608.54 c #Conflicts: 1464000 | #Constraints: 52499
3600.01/3608.54 c #Conflicts: 1465000 | #Constraints: 53499
3600.01/3608.54 c #Conflicts: 1466000 | #Constraints: 54499
3600.01/3608.54 c #Conflicts: 1467000 | #Constraints: 55499
3600.01/3608.54 c INPROCESSING
3600.01/3608.54 c GARBAGE COLLECT
3600.01/3608.54 c #Conflicts: 1468000 | #Constraints: 32452
3600.01/3608.54 c #Conflicts: 1469000 | #Constraints: 33453
3600.01/3608.54 c #Conflicts: 1470000 | #Constraints: 34453
3600.01/3608.54 c #Conflicts: 1471000 | #Constraints: 35453
3600.01/3608.54 c #Conflicts: 1472000 | #Constraints: 36453
3600.01/3608.54 c #Conflicts: 1473000 | #Constraints: 37453
3600.01/3608.54 c #Conflicts: 1474000 | #Constraints: 38453
3600.01/3608.54 c #Conflicts: 1475000 | #Constraints: 39453
3600.01/3608.54 c #Conflicts: 1476000 | #Constraints: 40453
3600.01/3608.54 c #Conflicts: 1477000 | #Constraints: 41453
3600.01/3608.54 c #Conflicts: 1478000 | #Constraints: 42453
3600.01/3608.54 c #Conflicts: 1479000 | #Constraints: 43453
3600.01/3608.54 c #Conflicts: 1480000 | #Constraints: 44453
3600.01/3608.54 c #Conflicts: 1481000 | #Constraints: 45453
3600.01/3608.54 c #Conflicts: 1482000 | #Constraints: 46453
3600.01/3608.54 c #Conflicts: 1483000 | #Constraints: 47453
3600.01/3608.54 c #Conflicts: 1484000 | #Constraints: 48453
3600.01/3608.54 c #Conflicts: 1485000 | #Constraints: 49454
3600.01/3608.54 c #Conflicts: 1486000 | #Constraints: 50454
3600.01/3608.54 c #Conflicts: 1487000 | #Constraints: 51454
3600.01/3608.54 c #Conflicts: 1488000 | #Constraints: 52454
3600.01/3608.54 c #Conflicts: 1489000 | #Constraints: 53454
3600.01/3608.54 c #Conflicts: 1490000 | #Constraints: 54454
3600.01/3608.54 c #Conflicts: 1491000 | #Constraints: 55454
3600.01/3608.54 c INPROCESSING
3600.01/3608.54 c GARBAGE COLLECT
3600.01/3608.54 c #Conflicts: 1492000 | #Constraints: 32483
3600.01/3608.54 c #Conflicts: 1493000 | #Constraints: 33483
3600.01/3608.54 c #Conflicts: 1494000 | #Constraints: 34483
3600.01/3608.54 c #Conflicts: 1495000 | #Constraints: 35483
3600.01/3608.54 c #Conflicts: 1496000 | #Constraints: 36483
3600.01/3608.54 c #Conflicts: 1497000 | #Constraints: 37483
3600.01/3608.54 c #Conflicts: 1498000 | #Constraints: 38483
3600.01/3608.54 c #Conflicts: 1499000 | #Constraints: 39483
3600.01/3608.54 c #Conflicts: 1500000 | #Constraints: 40483
3600.01/3608.54 c #Conflicts: 1501000 | #Constraints: 41483
3600.01/3608.54 c #Conflicts: 1502000 | #Constraints: 42483
3600.01/3608.54 c #Conflicts: 1503000 | #Constraints: 43483
3600.01/3608.54 c #Conflicts: 1504000 | #Constraints: 44483
3600.01/3608.54 c #Conflicts: 1505000 | #Constraints: 45483
3600.01/3608.54 c #Conflicts: 1506000 | #Constraints: 46483
3600.01/3608.54 c #Conflicts: 1507000 | #Constraints: 47483
3600.01/3608.54 c #Conflicts: 1508000 | #Constraints: 48483
3600.01/3608.54 c #Conflicts: 1509000 | #Constraints: 49483
3600.01/3608.54 c #Conflicts: 1510000 | #Constraints: 50483
3600.01/3608.54 c #Conflicts: 1511000 | #Constraints: 51483
3600.01/3608.54 c #Conflicts: 1512000 | #Constraints: 52483
3600.01/3608.54 c #Conflicts: 1513000 | #Constraints: 53483
3600.01/3608.54 c #Conflicts: 1514000 | #Constraints: 54483
3600.01/3608.54 c cpu time 3584.3 s
3600.01/3608.54 c deterministic time 494036757673 4.94e+11
3600.01/3608.54 c optimization time 155.088 s
3600.01/3608.54 c total solve time 3429.19 s
3600.01/3608.54 c core-guided solve time 0 s
3600.01/3608.54 c propagation time 1652.89 s
3600.01/3608.54 c conflict analysis time 740.907 s
3600.01/3608.54 c propagations 595712128
3600.01/3608.54 c resolve steps 12202622
3600.01/3608.54 c decisions 12072591
3600.01/3608.54 c conflicts 1514036
3600.01/3608.54 c restarts 2939
3600.01/3608.54 c inprocessing phases 113
3600.01/3608.54 c garbage collections 113 ,( 100.00 )
3600.01/3608.54 c input clauses 6004 ,( 80.00 )
3600.01/3608.54 c input cardinalities 1500 ,( 19.99 )
3600.01/3608.54 c input general constraints 1 ,( 0.01 )
3600.01/3608.54 c input average constraint length 4.00
3600.01/3608.54 c input average constraint degree 2.40
3600.01/3608.54 c learned clauses 144766 ,( 9.56 )
3600.01/3608.54 c learned cardinalities 21474 ,( 1.42 )
3600.01/3608.54 c learned general constraints 1348105 ,( 89.02 )
3600.01/3608.54 c learned average constraint length 1744.09
3600.01/3608.54 c learned average constraint degree 1235712333.31
3600.01/3608.54 c watched CF 32, 64, 128, Arb: 955874 , 0 , 0 , 0
3600.01/3608.54 c counting CF 32, 64, 128, Arb: 392232 , 0 , 0 , 0
3600.01/3608.54 c watched constraints 955874 ,( 70.90 )
3600.01/3608.54 c counting constraints 392232 ,( 29.10 )
3600.01/3608.54 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 159724728 , 129516224 , 1344094998 ,( 837546313 , 506548685 )
3600.01/3608.54 c gcd simplifications 21115
3600.01/3608.54 c detected cardinalities 1326
3600.01/3608.54 c weakened non-implied lits 485608879
3600.01/3608.54 c weakened non-implying lits 101875
3600.01/3608.54 c original variables 9003
3600.01/3608.54 c clausal propagations 151769891
3600.01/3608.54 c cardinality propagations 68225279
3600.01/3608.54 c watched propagations 120699522
3600.01/3608.54 c counting propagations 153481188
3600.01/3608.54 c watch lookups 42265996119
3600.01/3608.54 c watch backjump lookups 0
3600.01/3608.54 c watch checks 299005254443
3600.01/3608.54 c propagation checks 146456371705
3600.01/3608.54 c constraint additions 5091746021
3600.01/3608.54 c trail pops 609292556
3600.01/3608.54 c formula constraints 7505
3600.01/3608.54 c learned constraints 1513794
3600.01/3608.54 c bound constraints 0
3600.01/3608.54 c core-guided constraints 0
3600.01/3608.54 c encountered formula constraints 10964978
3600.01/3608.54 c encountered learned constraints 2700290
3600.01/3608.54 c encountered bound constraints 0
3600.01/3608.54 c encountered core-guided constraints 0
3600.01/3608.54 c LP total time 73.9834 s
3600.01/3608.54 c LP solve time 64.5 s
3600.01/3608.54 c LP constraints added 7574
3600.01/3608.54 c LP constraints removed 64
3600.01/3608.54 c LP pivots internal 155111
3600.01/3608.54 c LP pivots root 156998
3600.01/3608.54 c LP calls 277
3600.01/3608.54 c LP optimalities 31
3600.01/3608.54 c LP no pivot count 0
3600.01/3608.54 c LP infeasibilities 241
3600.01/3608.54 c LP valid Farkas constraints 241
3600.01/3608.54 c LP learned Farkas constraints 241
3600.01/3608.54 c LP basis resets 0
3600.01/3608.54 c LP cycling count 0
3600.01/3608.54 c LP singular count 0
3600.01/3608.54 c LP no primal count 0
3600.01/3608.54 c LP no farkas count 0
3600.01/3608.54 c LP other issue count 0
3600.01/3608.54 c LP Gomory cuts 69
3600.01/3608.54 c LP learned cuts 0
3600.01/3608.54 c LP deleted cuts 64
3600.01/3608.54 c LP encountered Gomory constraints 2
3600.01/3608.54 c LP encountered Farkas constraints 45566
3600.01/3608.54 c LP encountered learned Farkas constraints 5581
3600.01/3608.54 c CG auxiliary variables introduced 0
3600.01/3608.54 c CG solutions found 0
3600.01/3608.54 c CG cores constructed 0
3600.01/3608.54 c CG core cardinality constraints returned 0
3600.01/3608.54 c CG unit cores 0
3600.01/3608.54 c CG single cores 0
3600.01/3608.54 c CG blocks removed during cardinality reduction 0
3600.01/3608.54 c CG first core best 0
3600.01/3608.54 c CG decision core best 0
3600.01/3608.54 c CG core reduction tie 0
3600.01/3608.54 c CG core degree average 0.00
3600.01/3608.54 c CG core slack average 0.00
3600.01/3608.54 c CG core upper bound improvements 0
3600.01/3608.54 c STR number of successful calls 0
3600.01/3608.54 c STR number of unsuccessful calls 0
3600.01/3608.54 c STR number of inconclusive calls 0
3600.01/3608.54 c STR number of successful attempts 0
3600.01/3608.54 c STR number of unsuccessful attempts 0
3600.01/3608.54 c STR number of inconclusive attempts 0
3600.01/3608.54 c STR average degree increase per successful call inf
3600.01/3608.54 c STR average degree increase per successful attempt inf
3600.01/3608.54 c STR total number of conflicts for successful attempts 0
3600.01/3608.54 c STR total number of conflicts for unsuccessful attempts 0
3600.01/3608.54 c STR total number of conflicts for inconclusive attempts 0
3600.01/3608.54 c STR average number of conflicts per successful attempt inf
3600.01/3608.54 c STR average number of conflicts per unsuccessful attempt inf
3600.01/3608.54 c STR average number of conflicts per inconclusive attempt inf
3600.01/3608.54 c AVG.sumWPerc 28.80
3600.01/3608.54 c bigint constraints 0
3600.01/3608.54 s UNKNOWN
3600.01/3608.54 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (58828 MiB free)
memory of node 1: 64465 MiB (60195 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4544183-1753219733/watcher-4544183-1753219733 -o /tmp/evaluation-result-4544183-1753219733/solver-4544183-1753219733 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1753211687-175478 --watchdog 3760 run-dec-break.sh HOME/instance-4544183-1753219733.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=178473, runsolver pid=178470
[startup+0.100064 s]*
/proc/loadavg: 4.18 4.10 4.09 5/272 178476
/proc/meminfo: memFree=121861180/131250000 swapFree=33009904/33010684
[pid=178473] ppid=178470 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/178473/stat : 178473 (run-dec-break.s) S 178470 178473 175467 0 -1 4194304 237 3813 0 0 0 0 1 0 20 0 1 0 237652760 4292608 768 18446744073709551615 94107052326912 94107053221445 140725430276496 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94107053460496 94107053508240 94107057410048 140725430282591 140725430282720 140725430282720 140725430288324 0
/proc/178473/statm: 1048 768 704 219 0 110 0
[pid=178476] ppid=178473 vsize=72668 memory=28496 CPUtime=0.05 cores=4,6
/proc/178476/stat : 178476 (roundingsat) R 178473 178473 175467 0 -1 4194304 5016 0 0 0 4 1 0 0 20 0 1 0 237652764 74412032 7124 18446744073709551615 4227072 8923433 140720783992560 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 40640512 140720783997250 140720783997478 140720783997478 140720784003050 0
/proc/178476/statm: 18167 7124 2304 1147 0 5594 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 76860 KiB
Current children cumulated memory: 31568 KiB
[startup+0.205745 s]*
/proc/loadavg: 4.18 4.10 4.09 5/272 178476
/proc/meminfo: memFree=121861432/131250000 swapFree=33009904/33010684
[pid=178473] ppid=178470 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/178473/stat : 178473 (run-dec-break.s) S 178470 178473 175467 0 -1 4194304 237 3813 0 0 0 0 1 0 20 0 1 0 237652760 4292608 768 18446744073709551615 94107052326912 94107053221445 140725430276496 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94107053460496 94107053508240 94107057410048 140725430282591 140725430282720 140725430282720 140725430288324 0
/proc/178473/statm: 1048 768 704 219 0 110 0
[pid=178476] ppid=178473 vsize=73576 memory=29136 CPUtime=0.15 cores=4,6
/proc/178476/stat : 178476 (roundingsat) R 178473 178473 175467 0 -1 4194304 5201 0 0 0 14 1 0 0 20 0 1 0 237652764 75341824 7284 18446744073709551615 4227072 8923433 140720783992560 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 40640512 140720783997250 140720783997478 140720783997478 140720784003050 0
/proc/178476/statm: 18394 7284 2304 1147 0 5821 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 77768 KiB
Current children cumulated memory: 32208 KiB
[startup+0.305708 s]*
/proc/loadavg: 4.18 4.10 4.09 5/272 178476
/proc/meminfo: memFree=121859416/131250000 swapFree=33009904/33010684
[pid=178473] ppid=178470 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/178473/stat : 178473 (run-dec-break.s) S 178470 178473 175467 0 -1 4194304 237 3813 0 0 0 0 1 0 20 0 1 0 237652760 4292608 768 18446744073709551615 94107052326912 94107053221445 140725430276496 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94107053460496 94107053508240 94107057410048 140725430282591 140725430282720 140725430282720 140725430288324 0
/proc/178473/statm: 1048 768 704 219 0 110 0
[pid=178476] ppid=178473 vsize=73576 memory=29136 CPUtime=0.25 cores=4,6
/proc/178476/stat : 178476 (roundingsat) R 178473 178473 175467 0 -1 4194304 5201 0 0 0 24 1 0 0 20 0 1 0 237652764 75341824 7284 18446744073709551615 4227072 8923433 140720783992560 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 40640512 140720783997250 140720783997478 140720783997478 140720784003050 0
/proc/178476/statm: 18394 7284 2304 1147 0 5821 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 77768 KiB
Current children cumulated memory: 32208 KiB
[startup+0.700206 s]
/proc/loadavg: 4.18 4.10 4.09 5/272 178476
/proc/meminfo: memFree=121859416/131250000 swapFree=33009904/33010684
[pid=178473] ppid=178470 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/178473/stat : 178473 (run-dec-break.s) S 178470 178473 175467 0 -1 4194304 237 3813 0 0 0 0 1 0 20 0 1 0 237652760 4292608 768 18446744073709551615 94107052326912 94107053221445 140725430276496 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94107053460496 94107053508240 94107057410048 140725430282591 140725430282720 140725430282720 140725430288324 0
/proc/178473/statm: 1048 768 704 219 0 110 0
[pid=178476] ppid=178473 vsize=73576 memory=29136 CPUtime=0.63 cores=4,6
/proc/178476/stat : 178476 (roundingsat) R 178473 178473 175467 0 -1 4194304 5201 0 0 0 62 1 0 0 20 0 1 0 237652764 75341824 7284 18446744073709551615 4227072 8923433 140720783992560 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40640512 140720783997250 140720783997478 140720783997478 140720784003050 0
/proc/178476/statm: 18394 7284 2304 1147 0 5821 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 77768 KiB
Current children cumulated memory: 32208 KiB
[startup+1.50018 s]
/proc/loadavg: 4.18 4.10 4.09 5/272 178476
/proc/meminfo: memFree=121859416/131250000 swapFree=33009904/33010684
[pid=178473] ppid=178470 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/178473/stat : 178473 (run-dec-break.s) S 178470 178473 175467 0 -1 4194304 237 3813 0 0 0 0 1 0 20 0 1 0 237652760 4292608 768 18446744073709551615 94107052326912 94107053221445 140725430276496 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94107053460496 94107053508240 94107057410048 140725430282591 140725430282720 140725430282720 140725430288324 0
/proc/178473/statm: 1048 768 704 219 0 110 0
[pid=178476] ppid=178473 vsize=73576 memory=29136 CPUtime=1.43 cores=4,6
/proc/178476/stat : 178476 (roundingsat) R 178473 178473 175467 0 -1 4194304 5204 0 0 0 142 1 0 0 20 0 1 0 237652764 75341824 7284 18446744073709551615 4227072 8923433 140720783992560 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40640512 140720783997250 140720783997478 140720783997478 140720784003050 0
/proc/178476/statm: 18394 7284 2304 1147 0 5821 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 77768 KiB
Current children cumulated memory: 32208 KiB
[startup+3.10515 s]
/proc/loadavg: 4.16 4.10 4.09 5/272 178476
/proc/meminfo: memFree=121859920/131250000 swapFree=33009904/33010684
[pid=178473] ppid=178470 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/178473/stat : 178473 (run-dec-break.s) S 178470 178473 175467 0 -1 4194304 237 3813 0 0 0 0 1 0 20 0 1 0 237652760 4292608 768 18446744073709551615 94107052326912 94107053221445 140725430276496 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94107053460496 94107053508240 94107057410048 140725430282591 140725430282720 140725430282720 140725430288324 0
/proc/178473/statm: 1048 768 704 219 0 110 0
[pid=178476] ppid=178473 vsize=73576 memory=29136 CPUtime=3.03 cores=4,6
/proc/178476/stat : 178476 (roundingsat) R 178473 178473 175467 0 -1 4194304 5204 0 0 0 302 1 0 0 20 0 1 0 237652764 75341824 7284 18446744073709551615 4227072 8923433 140720783992560 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40640512 140720783997250 140720783997478 140720783997478 140720784003050 0
/proc/178476/statm: 18394 7284 2304 1147 0 5821 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 77768 KiB
Current children cumulated memory: 32208 KiB
[startup+6.30017 s]
/proc/loadavg: 4.16 4.10 4.09 5/272 178476
/proc/meminfo: memFree=121848744/131250000 swapFree=33009904/33010684
[pid=178473] ppid=178470 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/178473/stat : 178473 (run-dec-break.s) S 178470 178473 175467 0 -1 4194304 237 3813 0 0 0 0 1 0 20 0 1 0 237652760 4292608 768 18446744073709551615 94107052326912 94107053221445 140725430276496 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94107053460496 94107053508240 94107057410048 140725430282591 140725430282720 140725430282720 140725430288324 0
/proc/178473/statm: 1048 768 704 219 0 110 0
[pid=178476] ppid=178473 vsize=73576 memory=29136 CPUtime=6.21 cores=4,6
/proc/178476/stat : 178476 (roundingsat) R 178473 178473 175467 0 -1 4194304 5204 0 0 0 620 1 0 0 20 0 1 0 237652764 75341824 7284 18446744073709551615 4227072 8923433 140720783992560 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40640512 140720783997250 140720783997478 140720783997478 140720784003050 0
/proc/178476/statm: 18394 7284 2304 1147 0 5821 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 77768 KiB
Current children cumulated memory: 32208 KiB
[startup+12.7002 s]
/proc/loadavg: 4.15 4.10 4.09 5/271 178476
/proc/meminfo: memFree=121824864/131250000 swapFree=33009904/33010684
[pid=178473] ppid=178470 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/178473/stat : 178473 (run-dec-break.s) S 178470 178473 175467 0 -1 4194304 237 3813 0 0 0 0 1 0 20 0 1 0 237652760 4292608 768 18446744073709551615 94107052326912 94107053221445 140725430276496 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94107053460496 94107053508240 94107057410048 140725430282591 140725430282720 140725430282720 140725430288324 0
/proc/178473/statm: 1048 768 704 219 0 110 0
[pid=178476] ppid=178473 vsize=115432 memory=68412 CPUtime=12.6 cores=4,6
/proc/178476/stat : 178476 (roundingsat) R 178473 178473 175467 0 -1 4194304 10898 0 0 0 1254 6 0 0 20 0 1 0 237652764 118202368 17103 18446744073709551615 4227072 8923433 140720783992560 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40640512 140720783997250 140720783997478 140720783997478 140720784003050 0
/proc/178476/statm: 28858 17103 2368 1147 0 16285 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 119624 KiB
Current children cumulated memory: 71484 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.09 4.09 5/271 178476
/proc/meminfo: memFree=121777488/131250000 swapFree=33009904/33010684
[pid=178473] ppid=178470 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/178473/stat : 178473 (run-dec-break.s) S 178470 178473 175467 0 -1 4194304 237 3813 0 0 0 0 1 0 20 0 1 0 237652760 4292608 768 18446744073709551615 94107052326912 94107053221445 140725430276496 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94107053460496 94107053508240 94107057410048 140725430282591 140725430282720 140725430282720 140725430288324 0
/proc/178473/statm: 1048 768 704 219 0 110 0
[pid=178476] ppid=178473 vsize=160880 memory=110520 CPUtime=25.37 cores=4,6
/proc/178476/stat : 178476 (roundingsat) R 178473 178473 175467 0 -1 4194304 17837 0 0 0 2528 9 0 0 20 0 1 0 237652764 164741120 27630 18446744073709551615 4227072 8923433 140720783992560 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40640512 140720783997250 140720783997478 140720783997478 140720784003050 0
/proc/178476/statm: 40220 27630 2368 1147 0 27647 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 165072 KiB
Current children cumulated memory: 113592 KiB
[startup+51.1055 s]
/proc/loadavg: 4.07 4.08 4.09 5/271 178478
/proc/meminfo: memFree=120744580/131250000 swapFree=33009904/33010684
[pid=178473] ppid=178470 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/178473/stat : 178473 (run-dec-break.s) S 178470 178473 175467 0 -1 4194304 237 3813 0 0 0 0 1 0 20 0 1 0 237652760 4292608 768 18446744073709551615 94107052326912 94107053221445 140725430276496 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94107053460496 94107053508240 94107057410048 140725430282591 140725430282720 140725430282720 140725430288324 0
/proc/178473/statm: 1048 768 704 219 0 110 0
[pid=178476] ppid=178473 vsize=276068 memory=193864 CPUtime=50.92 cores=4,6
/proc/178476/stat : 178476 (roundingsat) R 178473 178473 175467 0 -1 4194304 26922 0 0 0 5072 20 0 0 20 0 1 0 237652764 282693632 48466 18446744073709551615 4227072 8923433 140720783992560 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40640512 140720783997250 140720783997478 140720783997478 140720784003050 0
/proc/178476/statm: 69017 48466 2368 1147 0 56444 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 280260 KiB
Current children cumulated memory: 196936 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/271 178667
/proc/meminfo: memFree=121838204/131250000 swapFree=33009904/33010684
[pid=178473] ppid=178470 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/178473/stat : 178473 (run-dec-break.s) S 178470 178473 175467 0 -1 4194304 237 3813 0 0 0 0 1 0 20 0 1 0 237652760 4292608 768 18446744073709551615 94107052326912 94107053221445 140725430276496 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94107053460496 94107053508240 94107057410048 140725430282591 140725430282720 140725430282720 140725430288324 0
/proc/178473/statm: 1048 768 704 219 0 110 0
[pid=178476] ppid=178473 vsize=339556 memory=279872 CPUtime=102 cores=4,6
/proc/178476/stat : 178476 (roundingsat) R 178473 178473 175467 0 -1 4194304 40784 0 0 0 10162 38 0 0 20 0 1 0 237652764 347705344 69968 18446744073709551615 4227072 8923433 140720783992560 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40640512 140720783997250 140720783997478 140720783997478 140720784003050 0
/proc/178476/statm: 84889 69968 2368 1147 0 72316 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 343748 KiB
Current children cumulated memory: 282944 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/270 178669
/proc/meminfo: memFree=121438900/131250000 swapFree=33009904/33010684
[pid=178473] ppid=178470 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/178473/stat : 178473 (run-dec-break.s) S 178470 178473 175467 0 -1 4194304 237 3813 0 0 0 0 1 0 20 0 1 0 237652760 4292608 768 18446744073709551615 94107052326912 94107053221445 140725430276496 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94107053460496 94107053508240 94107057410048 140725430282591 140725430282720 140725430282720 140725430288324 0
/proc/178473/statm: 1048 768 704 219 0 110 0
[pid=178476] ppid=178473 vsize=604184 memory=483216 CPUtime=161.86 cores=4,6
/proc/178476/stat : 178476 (roundingsat) R 178473 178473 175467 0 -1 4194304 79327 0 0 0 16122 64 0 0 20 0 1 0 237652764 618684416 120804 18446744073709551615 4227072 8923433 140720783992560 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40640512 140720783997250 140720783997478 140720783997478 140720784003050 0
/proc/178476/statm: 151046 120804 2400 1147 0 138473 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 608376 KiB
Current children cumulated memory: 486288 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/272 178673
/proc/meminfo: memFree=121284484/131250000 swapFree=33009904/33010684
[pid=178473] ppid=178470 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/178473/stat : 178473 (run-dec-break.s) S 178470 178473 175467 0 -1 4194304 237 3813 0 0 0 0 1 0 20 0 1 0 237652760 4292608 768 18446744073709551615 94107052326912 94107053221445 140725430276496 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94107053460496 94107053508240 94107057410048 140725430282591 140725430282720 140725430282720 140725430288324 0
/proc/178473/statm: 1048 768 704 219 0 110 0
[pid=178476] ppid=178473 vsize=641752 memory=542416 CPUtime=221.73 cores=4,6
/proc/178476/stat : 178476 (roundingsat) R 178473 178473 175467 0 -1 4194304 88062 0 0 0 22092 81 0 0 20 0 1 0 237652764 657154048 135604 18446744073709551615 4227072 8923433 140720783992560 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40640512 140720783997250 140720783997478 140720783997478 140720784003050 0
/proc/178476/statm: 160438 135604 2400 1147 0 147865 0
Current children cumulated CPU time: 221.74 s
################
# More data... #
################
/proc/178476/statm: 965360 831817 2400 1147 0 952787 0
Current children cumulated CPU time: 3095 s
Current children cumulated vsize: 3865632 KiB
Current children cumulated memory: 3330340 KiB
[startup+3162.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/267 179731
/proc/meminfo: memFree=121604108/131250000 swapFree=33009904/33010684
[pid=178473] ppid=178470 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/178473/stat : 178473 (run-dec-break.s) S 178470 178473 175467 0 -1 4194304 237 3813 0 0 0 0 1 0 20 0 1 0 237652760 4292608 768 18446744073709551615 94107052326912 94107053221445 140725430276496 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94107053460496 94107053508240 94107057410048 140725430282591 140725430282720 140725430282720 140725430288324 0
/proc/178473/statm: 1048 768 704 219 0 110 0
[pid=178476] ppid=178473 vsize=3868352 memory=3332644 CPUtime=3154.86 cores=4,6
/proc/178476/stat : 178476 (roundingsat) R 178473 178473 175467 0 -1 4194304 573019 0 0 0 314104 1382 0 0 20 0 1 0 237652764 3961192448 833161 18446744073709551615 4227072 8923433 140720783992560 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40640512 140720783997250 140720783997478 140720783997478 140720784003050 0
/proc/178476/statm: 967088 833161 2400 1147 0 954515 0
Current children cumulated CPU time: 3154.87 s
Current children cumulated vsize: 3872544 KiB
Current children cumulated memory: 3335716 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/267 179733
/proc/meminfo: memFree=121553484/131250000 swapFree=33009904/33010684
[pid=178473] ppid=178470 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/178473/stat : 178473 (run-dec-break.s) S 178470 178473 175467 0 -1 4194304 237 3813 0 0 0 0 1 0 20 0 1 0 237652760 4292608 768 18446744073709551615 94107052326912 94107053221445 140725430276496 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94107053460496 94107053508240 94107057410048 140725430282591 140725430282720 140725430282720 140725430288324 0
/proc/178473/statm: 1048 768 704 219 0 110 0
[pid=178476] ppid=178473 vsize=3879036 memory=3343908 CPUtime=3214.72 cores=4,6
/proc/178476/stat : 178476 (roundingsat) R 178473 178473 175467 0 -1 4194304 575826 0 0 0 320055 1417 0 0 20 0 1 0 237652764 3972132864 835977 18446744073709551615 4227072 8923433 140720783992560 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40640512 140720783997250 140720783997478 140720783997478 140720784003050 0
/proc/178476/statm: 969759 835977 2400 1147 0 957186 0
Current children cumulated CPU time: 3214.73 s
Current children cumulated vsize: 3883228 KiB
Current children cumulated memory: 3346980 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/267 179735
/proc/meminfo: memFree=121499300/131250000 swapFree=33009904/33010684
[pid=178473] ppid=178470 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/178473/stat : 178473 (run-dec-break.s) S 178470 178473 175467 0 -1 4194304 237 3813 0 0 0 0 1 0 20 0 1 0 237652760 4292608 768 18446744073709551615 94107052326912 94107053221445 140725430276496 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94107053460496 94107053508240 94107057410048 140725430282591 140725430282720 140725430282720 140725430288324 0
/proc/178473/statm: 1048 768 704 219 0 110 0
[pid=178476] ppid=178473 vsize=3890340 memory=3351332 CPUtime=3274.59 cores=4,6
/proc/178476/stat : 178476 (roundingsat) R 178473 178473 175467 0 -1 4194304 577936 0 0 0 326012 1447 0 0 20 0 1 0 237652764 3983708160 837833 18446744073709551615 4227072 8923433 140720783992560 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40640512 140720783997250 140720783997478 140720783997478 140720784003050 0
/proc/178476/statm: 972585 837833 2400 1147 0 960012 0
Current children cumulated CPU time: 3274.6 s
Current children cumulated vsize: 3894532 KiB
Current children cumulated memory: 3354404 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/267 179738
/proc/meminfo: memFree=121371456/131250000 swapFree=33009904/33010684
[pid=178473] ppid=178470 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/178473/stat : 178473 (run-dec-break.s) S 178470 178473 175467 0 -1 4194304 237 3813 0 0 0 0 1 0 20 0 1 0 237652760 4292608 768 18446744073709551615 94107052326912 94107053221445 140725430276496 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94107053460496 94107053508240 94107057410048 140725430282591 140725430282720 140725430282720 140725430288324 0
/proc/178473/statm: 1048 768 704 219 0 110 0
[pid=178476] ppid=178473 vsize=3919848 memory=3432280 CPUtime=3334.45 cores=4,6
/proc/178476/stat : 178476 (roundingsat) R 178473 178473 175467 0 -1 4194304 585807 0 0 0 331965 1480 0 0 20 0 1 0 237652764 4013924352 858070 18446744073709551615 4227072 8923433 140720783992560 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40640512 140720783997250 140720783997478 140720783997478 140720784003050 0
/proc/178476/statm: 979962 858070 2400 1147 0 967389 0
Current children cumulated CPU time: 3334.46 s
Current children cumulated vsize: 3924040 KiB
Current children cumulated memory: 3435352 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/267 179740
/proc/meminfo: memFree=121292600/131250000 swapFree=33009904/33010684
[pid=178473] ppid=178470 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/178473/stat : 178473 (run-dec-break.s) S 178470 178473 175467 0 -1 4194304 237 3813 0 0 0 0 1 0 20 0 1 0 237652760 4292608 768 18446744073709551615 94107052326912 94107053221445 140725430276496 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94107053460496 94107053508240 94107057410048 140725430282591 140725430282720 140725430282720 140725430288324 0
/proc/178473/statm: 1048 768 704 219 0 110 0
[pid=178476] ppid=178473 vsize=3919848 memory=3432280 CPUtime=3394.3 cores=4,6
/proc/178476/stat : 178476 (roundingsat) R 178473 178473 175467 0 -1 4194304 585818 0 0 0 337921 1509 0 0 20 0 1 0 237652764 4013924352 858070 18446744073709551615 4227072 8923433 140720783992560 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40640512 140720783997250 140720783997478 140720783997478 140720784003050 0
/proc/178476/statm: 979962 858070 2400 1147 0 967389 0
Current children cumulated CPU time: 3394.31 s
Current children cumulated vsize: 3924040 KiB
Current children cumulated memory: 3435352 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/267 179742
/proc/meminfo: memFree=121277500/131250000 swapFree=33009904/33010684
[pid=178473] ppid=178470 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/178473/stat : 178473 (run-dec-break.s) S 178470 178473 175467 0 -1 4194304 237 3813 0 0 0 0 1 0 20 0 1 0 237652760 4292608 768 18446744073709551615 94107052326912 94107053221445 140725430276496 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94107053460496 94107053508240 94107057410048 140725430282591 140725430282720 140725430282720 140725430288324 0
/proc/178473/statm: 1048 768 704 219 0 110 0
[pid=178476] ppid=178473 vsize=3921896 memory=3433688 CPUtime=3454.17 cores=4,6
/proc/178476/stat : 178476 (roundingsat) R 178473 178473 175467 0 -1 4194304 586432 0 0 0 343869 1548 0 0 20 0 1 0 237652764 4016021504 858422 18446744073709551615 4227072 8923433 140720783992560 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40640512 140720783997250 140720783997478 140720783997478 140720784003050 0
/proc/178476/statm: 980474 858422 2400 1147 0 967901 0
Current children cumulated CPU time: 3454.18 s
Current children cumulated vsize: 3926088 KiB
Current children cumulated memory: 3436760 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/267 179744
/proc/meminfo: memFree=121250256/131250000 swapFree=33009904/33010684
[pid=178473] ppid=178470 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/178473/stat : 178473 (run-dec-break.s) S 178470 178473 175467 0 -1 4194304 237 3813 0 0 0 0 1 0 20 0 1 0 237652760 4292608 768 18446744073709551615 94107052326912 94107053221445 140725430276496 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94107053460496 94107053508240 94107057410048 140725430282591 140725430282720 140725430282720 140725430288324 0
/proc/178473/statm: 1048 768 704 219 0 110 0
[pid=178476] ppid=178473 vsize=3925224 memory=3435608 CPUtime=3514.01 cores=4,6
/proc/178476/stat : 178476 (roundingsat) R 178473 178473 175467 0 -1 4194304 587806 0 0 0 349829 1572 0 0 20 0 1 0 237652764 4019429376 858902 18446744073709551615 4227072 8923433 140720783992560 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40640512 140720783997250 140720783997478 140720783997478 140720784003050 0
/proc/178476/statm: 981306 858902 2400 1147 0 968733 0
Current children cumulated CPU time: 3514.02 s
Current children cumulated vsize: 3929416 KiB
Current children cumulated memory: 3438680 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/268 179753
/proc/meminfo: memFree=121258448/131250000 swapFree=33009904/33010684
[pid=178473] ppid=178470 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/178473/stat : 178473 (run-dec-break.s) S 178470 178473 175467 0 -1 4194304 237 3813 0 0 0 0 1 0 20 0 1 0 237652760 4292608 768 18446744073709551615 94107052326912 94107053221445 140725430276496 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94107053460496 94107053508240 94107057410048 140725430282591 140725430282720 140725430282720 140725430288324 0
/proc/178473/statm: 1048 768 704 219 0 110 0
[pid=178476] ppid=178473 vsize=3930088 memory=3438936 CPUtime=3573.87 cores=4,6
/proc/178476/stat : 178476 (roundingsat) R 178473 178473 175467 0 -1 4194304 588638 0 0 0 355813 1574 0 0 20 0 1 0 237652764 4024410112 859734 18446744073709551615 4227072 8923433 140720783992560 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40640512 140720783997250 140720783997478 140720783997478 140720784003050 0
/proc/178476/statm: 982522 859734 2400 1147 0 969949 0
Current children cumulated CPU time: 3573.88 s
Current children cumulated vsize: 3934280 KiB
Current children cumulated memory: 3442008 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.5 s]
/proc/loadavg: 4.12 4.09 4.09 5/269 179754
/proc/meminfo: memFree=121215964/131250000 swapFree=33009904/33010684
[pid=178473] ppid=178470 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/178473/stat : 178473 (run-dec-break.s) S 178470 178473 175467 0 -1 4194304 237 3813 0 0 0 0 1 0 20 0 1 0 237652760 4292608 768 18446744073709551615 94107052326912 94107053221445 140725430276496 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94107053460496 94107053508240 94107057410048 140725430282591 140725430282720 140725430282720 140725430288324 0
/proc/178473/statm: 1048 768 704 219 0 110 0
[pid=178476] ppid=178473 vsize=3932136 memory=3440472 CPUtime=3600 cores=4,6
/proc/178476/stat : 178476 (roundingsat) R 178473 178473 175467 0 -1 4194304 589022 0 0 0 358426 1574 0 0 20 0 1 0 237652764 4026507264 860118 18446744073709551615 4227072 8923433 140720783992560 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40640512 140720783997250 140720783997478 140720783997478 140720784003050 0
/proc/178476/statm: 983034 860118 2400 1147 0 970461 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 3936328 KiB
Current children cumulated memory: 3443544 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.5 s]
# the end of solver process 178473 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.012956 s, system=0.011275 s
[startup+3608.58 s]
# the end of solver process 178476 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3584.32 s, system=15.799 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+3608.5 s]
/proc/loadavg: 4.12 4.09 4.09 5/269 179754
/proc/meminfo: memFree=121215964/131250000 swapFree=33009904/33010684
[pid=178473] ppid=178470 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/178473/stat : 178473 (run-dec-break.s) S 178470 178473 175467 0 -1 4194304 237 3813 0 0 0 0 1 0 20 0 1 0 237652760 4292608 768 18446744073709551615 94107052326912 94107053221445 140725430276496 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94107053460496 94107053508240 94107057410048 140725430282591 140725430282720 140725430282720 140725430288324 0
/proc/178473/statm: 1048 768 704 219 0 110 0
[pid=178476] ppid=178473 vsize=3932136 memory=3440472 CPUtime=3600 cores=4,6
/proc/178476/stat : 178476 (roundingsat) R 178473 178473 175467 0 -1 4194304 589022 0 0 0 358426 1574 0 0 20 0 1 0 237652764 4026507264 860118 18446744073709551615 4227072 8923433 140720783992560 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40640512 140720783997250 140720783997478 140720783997478 140720784003050 0
/proc/178476/statm: 983034 860118 2400 1147 0 970461 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 3936328 KiB
Current children cumulated memory: 3443544 KiB
Child status: 2
Real time (s): 3608.58
CPU time (s): 3600.12
CPU user time (s): 3584.32
CPU system time (s): 15.799
CPU usage (%): 99.7655
Max. virtual memory (cumulated for all children) (KiB): 3936328
Max. memory (cumulated for all children) (KiB): 3443544
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.32
system time used= 15.799
maximum resident set size= 3440856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 593094
page faults= 0
swaps= 0
block input operations= 0
block output operations= 520
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 398
involuntary context switches= 3081
# summary of solver processes directly reported to runsolver:
# pid: 178473,178476
# total CPU time (s): 3600.12
# total CPU user time (s): 3584.32
# total CPU system time (s): 15.799
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.17681 second user time and 16.0371 second system time
The end
Begin job on nodeC033 at 2025-07-22 23:28:53
IDJOB=4544183
IDBENCH=174960
IDSOLVER=3357
FILE ID=nodeC033/4544183-1753219733
RUNJOBID= nodeC033-1753211687-175478
SLURM_JOB_ID= 9687798
Free space on /tmp= 432344 MiB
SOLVER NAME= roundingsat+pbsuma 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.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4544183-1753219733/watcher-4544183-1753219733 -o /tmp/evaluation-result-4544183-1753219733/solver-4544183-1753219733 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1753211687-175478 --watchdog 3760 run-dec-break.sh HOME/instance-4544183-1753219733.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9d0f67967ac2bc71f5ce17bb15e814c1
RANDOM SEED=1615155791
nodeC033 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.058
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3602.524
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3677.763
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.060
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.061
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.989
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 121880636 kB
MemAvailable: 123584052 kB
Buffers: 2128 kB
Cached: 2426440 kB
SwapCached: 64 kB
Active: 7293188 kB
Inactive: 1199308 kB
Active(anon): 6084872 kB
Inactive(anon): 5284 kB
Active(file): 1208316 kB
Inactive(file): 1194024 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7468 kB
Writeback: 0 kB
AnonPages: 6062920 kB
Mapped: 118704 kB
Shmem: 26228 kB
KReclaimable: 280628 kB
Slab: 378408 kB
SReclaimable: 280628 kB
SUnreclaim: 97780 kB
KernelStack: 4416 kB
PageTables: 15440 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 6699520 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150648 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4513792 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: 221908 kB
DirectMap2M: 11083776 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432488 MiB
End job on nodeC033 at 2025-07-23 00:29:02