0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.07/0.13 c #variables 6120 #constraints 6302
32.97/33.14 c #Conflicts: 1000 | #Constraints: 7301
32.97/33.14 c #Conflicts: 2000 | #Constraints: 8301
32.97/33.14 c INPROCESSING
32.97/33.14 c GARBAGE COLLECT
32.97/33.14 c #Conflicts: 3000 | #Constraints: 7984
32.97/33.14 c #Conflicts: 4000 | #Constraints: 8984
32.97/33.14 c INPROCESSING
32.97/33.14 c GARBAGE COLLECT
32.97/33.14 c #Conflicts: 5000 | #Constraints: 8433
32.97/33.14 c #Conflicts: 6000 | #Constraints: 9433
32.97/33.14 c INPROCESSING
32.97/33.14 c GARBAGE COLLECT
32.97/33.14 c #Conflicts: 7000 | #Constraints: 8488
32.97/33.14 c #Conflicts: 8000 | #Constraints: 9488
32.97/33.14 c #Conflicts: 9000 | #Constraints: 10488
32.97/33.14 c INPROCESSING
32.97/33.14 c GARBAGE COLLECT
32.97/33.14 c #Conflicts: 10000 | #Constraints: 9231
32.97/33.14 c #Conflicts: 11000 | #Constraints: 10231
32.97/33.14 c #Conflicts: 12000 | #Constraints: 11231
32.97/33.14 c INPROCESSING
32.97/33.14 c GARBAGE COLLECT
32.97/33.14 c #Conflicts: 13000 | #Constraints: 9734
32.97/33.14 c #Conflicts: 14000 | #Constraints: 10734
32.97/33.14 c #Conflicts: 15000 | #Constraints: 11734
32.97/33.14 c INPROCESSING
32.97/33.14 c GARBAGE COLLECT
32.97/33.14 c #Conflicts: 16000 | #Constraints: 9976
32.97/33.14 c #Conflicts: 17000 | #Constraints: 10976
32.97/33.14 c #Conflicts: 18000 | #Constraints: 11976
32.97/33.14 c INPROCESSING
32.97/33.14 c GARBAGE COLLECT
32.97/33.14 c #Conflicts: 19000 | #Constraints: 10023
32.97/33.14 c #Conflicts: 20000 | #Constraints: 11023
32.97/33.14 c #Conflicts: 21000 | #Constraints: 12023
32.97/33.14 c INPROCESSING
32.97/33.14 c GARBAGE COLLECT
32.97/33.14 c #Conflicts: 22000 | #Constraints: 9837
32.97/33.14 c #Conflicts: 23000 | #Constraints: 10837
32.97/33.14 c #Conflicts: 24000 | #Constraints: 11837
32.97/33.14 c #Conflicts: 25000 | #Constraints: 12837
32.97/33.14 c INPROCESSING
32.97/33.14 c GARBAGE COLLECT
32.97/33.14 c #Conflicts: 26000 | #Constraints: 10450
32.97/33.14 c #Conflicts: 27000 | #Constraints: 11450
32.97/33.14 c #Conflicts: 28000 | #Constraints: 12450
32.97/33.14 c #Conflicts: 29000 | #Constraints: 13450
32.97/33.14 c INPROCESSING
32.97/33.14 c GARBAGE COLLECT
32.97/33.14 c #Conflicts: 30000 | #Constraints: 10874
32.97/33.14 c #Conflicts: 31000 | #Constraints: 11874
32.97/33.14 c #Conflicts: 32000 | #Constraints: 12874
32.97/33.14 c #Conflicts: 33000 | #Constraints: 13874
32.97/33.14 c INPROCESSING
32.97/33.14 c GARBAGE COLLECT
32.97/33.14 c #Conflicts: 34000 | #Constraints: 11108
32.97/33.14 c #Conflicts: 35000 | #Constraints: 12108
32.97/33.14 c #Conflicts: 36000 | #Constraints: 13108
32.97/33.14 c #Conflicts: 37000 | #Constraints: 14108
32.97/33.14 c INPROCESSING
32.97/33.14 c GARBAGE COLLECT
32.97/33.14 c #Conflicts: 38000 | #Constraints: 11116
32.97/33.14 c #Conflicts: 39000 | #Constraints: 12116
32.97/33.14 c #Conflicts: 40000 | #Constraints: 13116
32.97/33.14 c #Conflicts: 41000 | #Constraints: 14116
32.97/33.14 c INPROCESSING
32.97/33.14 c GARBAGE COLLECT
32.97/33.14 c #Conflicts: 42000 | #Constraints: 10922
32.97/33.14 c #Conflicts: 43000 | #Constraints: 11922
32.97/33.14 c #Conflicts: 44000 | #Constraints: 12922
32.97/33.14 c #Conflicts: 45000 | #Constraints: 13922
32.97/33.14 c #Conflicts: 46000 | #Constraints: 14922
32.97/33.14 c INPROCESSING
32.97/33.14 c GARBAGE COLLECT
32.97/33.14 c #Conflicts: 47000 | #Constraints: 11543
32.97/33.14 c #Conflicts: 48000 | #Constraints: 12543
32.97/33.14 c #Conflicts: 49000 | #Constraints: 13543
32.97/33.14 c #Conflicts: 50000 | #Constraints: 14543
32.97/33.14 c #Conflicts: 51000 | #Constraints: 15543
32.97/33.14 c INPROCESSING
32.97/33.14 c GARBAGE COLLECT
32.97/33.14 c rational objective 90
89.12/89.48 c #Conflicts: 52000 | #Constraints: 11972
89.12/89.48 c #Conflicts: 53000 | #Constraints: 12972
89.12/89.48 c #Conflicts: 54000 | #Constraints: 13972
89.12/89.48 c #Conflicts: 55000 | #Constraints: 14972
89.12/89.48 c #Conflicts: 56000 | #Constraints: 15972
89.12/89.48 c INPROCESSING
89.12/89.48 c GARBAGE COLLECT
89.12/89.48 c #Conflicts: 57000 | #Constraints: 12238
89.12/89.48 c #Conflicts: 58000 | #Constraints: 13238
89.12/89.48 c #Conflicts: 59000 | #Constraints: 14238
89.12/89.48 c #Conflicts: 60000 | #Constraints: 15238
89.12/89.48 c #Conflicts: 61000 | #Constraints: 16238
89.12/89.48 c INPROCESSING
89.12/89.48 c GARBAGE COLLECT
89.12/89.48 c #Conflicts: 62000 | #Constraints: 12263
89.12/89.48 c #Conflicts: 63000 | #Constraints: 13263
89.12/89.48 c #Conflicts: 64000 | #Constraints: 14263
89.12/89.48 c #Conflicts: 65000 | #Constraints: 15263
89.12/89.48 c #Conflicts: 66000 | #Constraints: 16263
89.12/89.48 c INPROCESSING
89.12/89.48 c GARBAGE COLLECT
89.12/89.48 c #Conflicts: 67000 | #Constraints: 12066
89.12/89.48 c #Conflicts: 68000 | #Constraints: 13066
89.12/89.48 c #Conflicts: 69000 | #Constraints: 14066
89.12/89.48 c #Conflicts: 70000 | #Constraints: 15066
89.12/89.48 c #Conflicts: 71000 | #Constraints: 16066
89.12/89.48 c #Conflicts: 72000 | #Constraints: 17066
89.12/89.48 c INPROCESSING
89.12/89.48 c GARBAGE COLLECT
89.12/89.48 c #Conflicts: 73000 | #Constraints: 12682
89.12/89.48 c #Conflicts: 74000 | #Constraints: 13682
89.12/89.48 c #Conflicts: 75000 | #Constraints: 14682
89.12/89.48 c #Conflicts: 76000 | #Constraints: 15682
89.12/89.48 c #Conflicts: 77000 | #Constraints: 16682
89.12/89.48 c #Conflicts: 78000 | #Constraints: 17682
89.12/89.48 c #Conflicts: 79000 | #Constraints: 18682
89.12/89.48 c #Conflicts: 80000 | #Constraints: 19682
89.12/89.48 c #Conflicts: 81000 | #Constraints: 20682
89.12/89.48 c #Conflicts: 82000 | #Constraints: 21682
89.12/89.48 c #Conflicts: 83000 | #Constraints: 22682
89.12/89.48 c #Conflicts: 84000 | #Constraints: 23682
89.12/89.48 c #Conflicts: 85000 | #Constraints: 24682
89.12/89.48 c #Conflicts: 86000 | #Constraints: 25682
89.12/89.48 c #Conflicts: 87000 | #Constraints: 26682
89.12/89.48 c #Conflicts: 88000 | #Constraints: 27682
89.12/89.48 c #Conflicts: 89000 | #Constraints: 28682
89.12/89.48 c #Conflicts: 90000 | #Constraints: 29682
89.12/89.48 c #Conflicts: 91000 | #Constraints: 30682
89.12/89.48 c #Conflicts: 92000 | #Constraints: 31682
89.12/89.48 c #Conflicts: 93000 | #Constraints: 32682
89.12/89.48 c #Conflicts: 94000 | #Constraints: 33682
89.12/89.48 c #Conflicts: 95000 | #Constraints: 34682
89.12/89.48 c #Conflicts: 96000 | #Constraints: 35682
89.12/89.48 c INPROCESSING
89.12/89.48 c GARBAGE COLLECT
89.12/89.48 c #Conflicts: 97000 | #Constraints: 22132
89.12/89.48 c #Conflicts: 98000 | #Constraints: 23132
89.12/89.48 c #Conflicts: 99000 | #Constraints: 24132
89.12/89.48 c #Conflicts: 100000 | #Constraints: 25132
89.12/89.48 c #Conflicts: 101000 | #Constraints: 26132
89.12/89.48 c #Conflicts: 102000 | #Constraints: 27132
89.12/89.48 c INPROCESSING
89.12/89.48 c GARBAGE COLLECT
89.12/89.48 c #Conflicts: 103000 | #Constraints: 17384
89.12/89.48 c #Conflicts: 104000 | #Constraints: 18384
89.12/89.48 c #Conflicts: 105000 | #Constraints: 19384
89.12/89.48 c #Conflicts: 106000 | #Constraints: 20384
89.12/89.48 c #Conflicts: 107000 | #Constraints: 21384
89.12/89.48 c #Conflicts: 108000 | #Constraints: 22384
89.12/89.48 c #Conflicts: 109000 | #Constraints: 23384
89.12/89.48 c #Conflicts: 110000 | #Constraints: 24384
89.12/89.48 c INPROCESSING
89.12/89.48 c GARBAGE COLLECT
89.12/89.48 c #Conflicts: 111000 | #Constraints: 16475
89.12/89.48 c #Conflicts: 112000 | #Constraints: 17475
89.12/89.48 c #Conflicts: 113000 | #Constraints: 18475
89.12/89.48 c #Conflicts: 114000 | #Constraints: 19475
89.12/89.48 c #Conflicts: 115000 | #Constraints: 20475
89.12/89.48 c #Conflicts: 116000 | #Constraints: 21475
89.12/89.48 c #Conflicts: 117000 | #Constraints: 22475
89.12/89.48 c INPROCESSING
89.12/89.48 c GARBAGE COLLECT
89.12/89.48 c #Conflicts: 118000 | #Constraints: 15424
89.12/89.48 c #Conflicts: 119000 | #Constraints: 16424
89.12/89.48 c #Conflicts: 120000 | #Constraints: 17424
89.12/89.48 c #Conflicts: 121000 | #Constraints: 18424
89.12/89.48 c #Conflicts: 122000 | #Constraints: 19424
89.12/89.48 c #Conflicts: 123000 | #Constraints: 20424
89.12/89.48 c #Conflicts: 124000 | #Constraints: 21424
89.12/89.48 c INPROCESSING
89.12/89.48 c GARBAGE COLLECT
89.12/89.48 c #Conflicts: 125000 | #Constraints: 14591
149.16/149.64 c #Conflicts: 126000 | #Constraints: 15591
149.16/149.64 c #Conflicts: 127000 | #Constraints: 16591
149.16/149.64 c #Conflicts: 128000 | #Constraints: 17591
149.16/149.64 c #Conflicts: 129000 | #Constraints: 18591
149.16/149.64 c #Conflicts: 130000 | #Constraints: 19591
149.16/149.64 c #Conflicts: 131000 | #Constraints: 20591
149.16/149.64 c #Conflicts: 132000 | #Constraints: 21591
149.16/149.64 c INPROCESSING
149.16/149.64 c GARBAGE COLLECT
149.16/149.64 c #Conflicts: 133000 | #Constraints: 14813
149.16/149.64 c #Conflicts: 134000 | #Constraints: 15813
149.16/149.64 c #Conflicts: 135000 | #Constraints: 16813
149.16/149.64 c #Conflicts: 136000 | #Constraints: 17813
149.16/149.64 c #Conflicts: 137000 | #Constraints: 18813
149.16/149.64 c #Conflicts: 138000 | #Constraints: 19813
149.16/149.64 c #Conflicts: 139000 | #Constraints: 20813
149.16/149.64 c #Conflicts: 140000 | #Constraints: 21813
149.16/149.64 c #Conflicts: 141000 | #Constraints: 22813
149.16/149.64 c #Conflicts: 142000 | #Constraints: 23813
149.16/149.64 c #Conflicts: 143000 | #Constraints: 24813
149.16/149.64 c #Conflicts: 144000 | #Constraints: 25813
149.16/149.64 c #Conflicts: 145000 | #Constraints: 26813
149.16/149.64 c #Conflicts: 146000 | #Constraints: 27813
149.16/149.64 c #Conflicts: 147000 | #Constraints: 28813
149.16/149.64 c #Conflicts: 148000 | #Constraints: 29813
149.16/149.64 c #Conflicts: 149000 | #Constraints: 30813
149.16/149.64 c #Conflicts: 150000 | #Constraints: 31813
149.16/149.64 c #Conflicts: 151000 | #Constraints: 32813
149.16/149.64 c #Conflicts: 152000 | #Constraints: 33813
149.16/149.64 c #Conflicts: 153000 | #Constraints: 34813
149.16/149.64 c #Conflicts: 154000 | #Constraints: 35813
149.16/149.64 c #Conflicts: 155000 | #Constraints: 36813
149.16/149.64 c #Conflicts: 156000 | #Constraints: 37813
149.16/149.64 c #Conflicts: 157000 | #Constraints: 38813
149.16/149.64 c #Conflicts: 158000 | #Constraints: 39813
149.16/149.64 c #Conflicts: 159000 | #Constraints: 40813
149.16/149.64 c #Conflicts: 160000 | #Constraints: 41813
149.16/149.64 c #Conflicts: 161000 | #Constraints: 42813
149.16/149.64 c #Conflicts: 162000 | #Constraints: 43813
149.16/149.64 c #Conflicts: 163000 | #Constraints: 44813
149.16/149.64 c INPROCESSING
149.16/149.64 c GARBAGE COLLECT
149.16/149.64 c #Conflicts: 164000 | #Constraints: 26297
149.16/149.64 c #Conflicts: 165000 | #Constraints: 27297
149.16/149.64 c #Conflicts: 166000 | #Constraints: 28297
149.16/149.64 c #Conflicts: 167000 | #Constraints: 29297
149.16/149.64 c #Conflicts: 168000 | #Constraints: 30297
149.16/149.64 c #Conflicts: 169000 | #Constraints: 31297
149.16/149.64 c #Conflicts: 170000 | #Constraints: 32297
149.16/149.64 c #Conflicts: 171000 | #Constraints: 33297
149.16/149.64 c #Conflicts: 172000 | #Constraints: 34297
149.16/149.64 c INPROCESSING
149.16/149.64 c GARBAGE COLLECT
149.16/149.64 c #Conflicts: 173000 | #Constraints: 21134
149.16/149.64 c #Conflicts: 174000 | #Constraints: 22134
149.16/149.64 c #Conflicts: 175000 | #Constraints: 23134
149.16/149.64 c #Conflicts: 176000 | #Constraints: 24134
149.16/149.64 c #Conflicts: 177000 | #Constraints: 25134
149.16/149.64 c #Conflicts: 178000 | #Constraints: 26134
149.16/149.64 c #Conflicts: 179000 | #Constraints: 27134
149.16/149.64 c #Conflicts: 180000 | #Constraints: 28134
149.16/149.64 c #Conflicts: 181000 | #Constraints: 29134
149.16/149.64 c #Conflicts: 182000 | #Constraints: 30134
149.16/149.64 c INPROCESSING
149.16/149.64 c GARBAGE COLLECT
149.16/149.64 c #Conflicts: 183000 | #Constraints: 19404
149.16/149.64 c #Conflicts: 184000 | #Constraints: 20404
149.16/149.64 c #Conflicts: 185000 | #Constraints: 21404
149.16/149.64 c #Conflicts: 186000 | #Constraints: 22404
149.16/149.64 c #Conflicts: 187000 | #Constraints: 23404
149.16/149.64 c #Conflicts: 188000 | #Constraints: 24404
149.16/149.64 c #Conflicts: 189000 | #Constraints: 25404
149.16/149.64 c #Conflicts: 190000 | #Constraints: 26404
149.16/149.64 c #Conflicts: 191000 | #Constraints: 27404
149.16/149.64 c INPROCESSING
149.16/149.64 c GARBAGE COLLECT
149.16/149.64 c rational objective 90
164.42/164.92 c #Conflicts: 192000 | #Constraints: 17851
164.42/164.92 c #Conflicts: 193000 | #Constraints: 18851
164.42/164.92 c #Conflicts: 194000 | #Constraints: 19851
164.42/164.92 c #Conflicts: 195000 | #Constraints: 20851
164.42/164.92 c #Conflicts: 196000 | #Constraints: 21851
164.42/164.92 c #Conflicts: 197000 | #Constraints: 22851
164.42/164.92 c #Conflicts: 198000 | #Constraints: 23851
164.42/164.92 c #Conflicts: 199000 | #Constraints: 24851
164.42/164.92 c #Conflicts: 200000 | #Constraints: 25851
164.42/164.92 c #Conflicts: 201000 | #Constraints: 26851
164.42/164.92 c INPROCESSING
164.42/164.92 c GARBAGE COLLECT
164.42/164.92 c rational objective 90
260.23/261.03 c #Conflicts: 202000 | #Constraints: 17801
260.23/261.03 c #Conflicts: 203000 | #Constraints: 18801
260.23/261.03 c #Conflicts: 204000 | #Constraints: 19801
260.23/261.03 c #Conflicts: 205000 | #Constraints: 20801
260.23/261.03 c #Conflicts: 206000 | #Constraints: 21801
260.23/261.03 c #Conflicts: 207000 | #Constraints: 22801
260.23/261.03 c #Conflicts: 208000 | #Constraints: 23801
260.23/261.03 c #Conflicts: 209000 | #Constraints: 24801
260.23/261.03 c #Conflicts: 210000 | #Constraints: 25801
260.23/261.03 c #Conflicts: 211000 | #Constraints: 26801
260.23/261.03 c #Conflicts: 212000 | #Constraints: 27801
260.23/261.03 c #Conflicts: 213000 | #Constraints: 28801
260.23/261.03 c #Conflicts: 214000 | #Constraints: 29801
260.23/261.03 c #Conflicts: 215000 | #Constraints: 30801
260.23/261.03 c #Conflicts: 216000 | #Constraints: 31801
260.23/261.03 c #Conflicts: 217000 | #Constraints: 32801
260.23/261.03 c #Conflicts: 218000 | #Constraints: 33801
260.23/261.03 c #Conflicts: 219000 | #Constraints: 34801
260.23/261.03 c #Conflicts: 220000 | #Constraints: 35801
260.23/261.03 c #Conflicts: 221000 | #Constraints: 36801
260.23/261.03 c #Conflicts: 222000 | #Constraints: 37801
260.23/261.03 c #Conflicts: 223000 | #Constraints: 38801
260.23/261.03 c #Conflicts: 224000 | #Constraints: 39801
260.23/261.03 c #Conflicts: 225000 | #Constraints: 40801
260.23/261.03 c #Conflicts: 226000 | #Constraints: 41801
260.23/261.03 c #Conflicts: 227000 | #Constraints: 42801
260.23/261.03 c #Conflicts: 228000 | #Constraints: 43801
260.23/261.03 c #Conflicts: 229000 | #Constraints: 44801
260.23/261.03 c #Conflicts: 230000 | #Constraints: 45801
260.23/261.03 c #Conflicts: 231000 | #Constraints: 46801
260.23/261.03 c #Conflicts: 232000 | #Constraints: 47801
260.23/261.03 c #Conflicts: 233000 | #Constraints: 48801
260.23/261.03 c #Conflicts: 234000 | #Constraints: 49801
260.23/261.03 c #Conflicts: 235000 | #Constraints: 50801
260.23/261.03 c #Conflicts: 236000 | #Constraints: 51801
260.23/261.03 c #Conflicts: 237000 | #Constraints: 52801
260.23/261.03 c #Conflicts: 238000 | #Constraints: 53801
260.23/261.03 c INPROCESSING
260.23/261.03 c GARBAGE COLLECT
260.23/261.03 c #Conflicts: 239000 | #Constraints: 30870
260.23/261.03 c #Conflicts: 240000 | #Constraints: 31870
260.23/261.03 c #Conflicts: 241000 | #Constraints: 32870
260.23/261.03 c #Conflicts: 242000 | #Constraints: 33870
260.23/261.03 c #Conflicts: 243000 | #Constraints: 34870
260.23/261.03 c #Conflicts: 244000 | #Constraints: 35870
260.23/261.03 c #Conflicts: 245000 | #Constraints: 36870
260.23/261.03 c #Conflicts: 246000 | #Constraints: 37870
260.23/261.03 c #Conflicts: 247000 | #Constraints: 38870
260.23/261.03 c #Conflicts: 248000 | #Constraints: 39870
260.23/261.03 c #Conflicts: 249000 | #Constraints: 40870
260.23/261.03 c INPROCESSING
260.23/261.03 c GARBAGE COLLECT
260.23/261.03 c #Conflicts: 250000 | #Constraints: 24513
260.23/261.03 c #Conflicts: 251000 | #Constraints: 25513
260.23/261.03 c #Conflicts: 252000 | #Constraints: 26513
260.23/261.03 c #Conflicts: 253000 | #Constraints: 27513
260.23/261.03 c #Conflicts: 254000 | #Constraints: 28513
260.23/261.03 c #Conflicts: 255000 | #Constraints: 29513
260.23/261.03 c #Conflicts: 256000 | #Constraints: 30513
260.23/261.03 c #Conflicts: 257000 | #Constraints: 31513
260.23/261.03 c #Conflicts: 258000 | #Constraints: 32513
260.23/261.03 c #Conflicts: 259000 | #Constraints: 33513
260.23/261.03 c #Conflicts: 260000 | #Constraints: 34513
260.23/261.03 c INPROCESSING
260.23/261.03 c GARBAGE COLLECT
260.23/261.03 c #Conflicts: 261000 | #Constraints: 21248
260.23/261.03 c #Conflicts: 262000 | #Constraints: 22248
260.23/261.03 c #Conflicts: 263000 | #Constraints: 23248
260.23/261.03 c #Conflicts: 264000 | #Constraints: 24248
260.23/261.03 c #Conflicts: 265000 | #Constraints: 25248
260.23/261.03 c #Conflicts: 266000 | #Constraints: 26248
260.23/261.03 c #Conflicts: 267000 | #Constraints: 27248
260.23/261.03 c #Conflicts: 268000 | #Constraints: 28248
260.23/261.03 c #Conflicts: 269000 | #Constraints: 29248
260.23/261.03 c #Conflicts: 270000 | #Constraints: 30248
260.23/261.03 c #Conflicts: 271000 | #Constraints: 31248
260.23/261.03 c #Conflicts: 272000 | #Constraints: 32248
260.23/261.03 c INPROCESSING
260.23/261.03 c GARBAGE COLLECT
260.23/261.03 c #Conflicts: 273000 | #Constraints: 20520
260.23/261.03 c #Conflicts: 274000 | #Constraints: 21520
260.23/261.03 c #Conflicts: 275000 | #Constraints: 22520
260.23/261.03 c #Conflicts: 276000 | #Constraints: 23520
260.23/261.03 c #Conflicts: 277000 | #Constraints: 24520
260.23/261.03 c #Conflicts: 278000 | #Constraints: 25520
328.06/329.10 c #Conflicts: 279000 | #Constraints: 26520
328.06/329.10 c #Conflicts: 280000 | #Constraints: 27520
328.06/329.10 c #Conflicts: 281000 | #Constraints: 28520
328.06/329.10 c #Conflicts: 282000 | #Constraints: 29520
328.06/329.10 c #Conflicts: 283000 | #Constraints: 30520
328.06/329.10 c INPROCESSING
328.06/329.10 c GARBAGE COLLECT
328.06/329.10 c #Conflicts: 284000 | #Constraints: 19378
328.06/329.10 c #Conflicts: 285000 | #Constraints: 20378
328.06/329.10 c #Conflicts: 286000 | #Constraints: 21378
328.06/329.10 c #Conflicts: 287000 | #Constraints: 22378
328.06/329.10 c #Conflicts: 288000 | #Constraints: 23378
328.06/329.10 c #Conflicts: 289000 | #Constraints: 24378
328.06/329.10 c #Conflicts: 290000 | #Constraints: 25378
328.06/329.10 c #Conflicts: 291000 | #Constraints: 26378
328.06/329.10 c #Conflicts: 292000 | #Constraints: 27378
328.06/329.10 c #Conflicts: 293000 | #Constraints: 28378
328.06/329.10 c #Conflicts: 294000 | #Constraints: 29378
328.06/329.10 c #Conflicts: 295000 | #Constraints: 30378
328.06/329.10 c #Conflicts: 296000 | #Constraints: 31378
328.06/329.10 c #Conflicts: 297000 | #Constraints: 32378
328.06/329.10 c #Conflicts: 298000 | #Constraints: 33378
328.06/329.10 c #Conflicts: 299000 | #Constraints: 34378
328.06/329.10 c #Conflicts: 300000 | #Constraints: 35378
328.06/329.10 c #Conflicts: 301000 | #Constraints: 36378
328.06/329.10 c #Conflicts: 302000 | #Constraints: 37378
328.06/329.10 c #Conflicts: 303000 | #Constraints: 38378
328.06/329.10 c #Conflicts: 304000 | #Constraints: 39378
328.06/329.10 c #Conflicts: 305000 | #Constraints: 40378
328.06/329.10 c #Conflicts: 306000 | #Constraints: 41378
328.06/329.10 c #Conflicts: 307000 | #Constraints: 42378
328.06/329.10 c #Conflicts: 308000 | #Constraints: 43378
328.06/329.10 c #Conflicts: 309000 | #Constraints: 44378
328.06/329.10 c #Conflicts: 310000 | #Constraints: 45378
328.06/329.10 c #Conflicts: 311000 | #Constraints: 46378
328.06/329.10 c #Conflicts: 312000 | #Constraints: 47378
328.06/329.10 c #Conflicts: 313000 | #Constraints: 48378
328.06/329.10 c #Conflicts: 314000 | #Constraints: 49378
328.06/329.10 c #Conflicts: 315000 | #Constraints: 50378
328.06/329.10 c #Conflicts: 316000 | #Constraints: 51378
328.06/329.10 c #Conflicts: 317000 | #Constraints: 52378
328.06/329.10 c #Conflicts: 318000 | #Constraints: 53378
328.06/329.10 c #Conflicts: 319000 | #Constraints: 54378
328.06/329.10 c #Conflicts: 320000 | #Constraints: 55378
328.06/329.10 c #Conflicts: 321000 | #Constraints: 56378
328.06/329.10 c #Conflicts: 322000 | #Constraints: 57378
328.06/329.10 c #Conflicts: 323000 | #Constraints: 58378
328.06/329.10 c #Conflicts: 324000 | #Constraints: 59378
328.06/329.10 c #Conflicts: 325000 | #Constraints: 60378
328.06/329.10 c #Conflicts: 326000 | #Constraints: 61378
328.06/329.10 c #Conflicts: 327000 | #Constraints: 62378
328.06/329.10 c INPROCESSING
328.06/329.10 c GARBAGE COLLECT
328.06/329.10 c rational objective 90
351.59/352.63 c #Conflicts: 328000 | #Constraints: 35323
351.59/352.63 c #Conflicts: 329000 | #Constraints: 36323
351.59/352.63 c #Conflicts: 330000 | #Constraints: 37323
351.59/352.63 c #Conflicts: 331000 | #Constraints: 38323
351.59/352.63 c #Conflicts: 332000 | #Constraints: 39323
351.59/352.63 c #Conflicts: 333000 | #Constraints: 40323
351.59/352.63 c #Conflicts: 334000 | #Constraints: 41323
351.59/352.63 c #Conflicts: 335000 | #Constraints: 42323
351.59/352.63 c #Conflicts: 336000 | #Constraints: 43323
351.59/352.63 c #Conflicts: 337000 | #Constraints: 44323
351.59/352.63 c #Conflicts: 338000 | #Constraints: 45323
351.59/352.63 c #Conflicts: 339000 | #Constraints: 46323
351.59/352.63 c #Conflicts: 340000 | #Constraints: 47323
351.59/352.63 c INPROCESSING
351.59/352.63 c GARBAGE COLLECT
351.59/352.63 c rational objective 90
437.16/438.43 c #Conflicts: 341000 | #Constraints: 27892
437.16/438.43 c #Conflicts: 342000 | #Constraints: 28892
437.16/438.43 c #Conflicts: 343000 | #Constraints: 29892
437.16/438.43 c #Conflicts: 344000 | #Constraints: 30892
437.16/438.43 c #Conflicts: 345000 | #Constraints: 31892
437.16/438.43 c #Conflicts: 346000 | #Constraints: 32892
437.16/438.43 c #Conflicts: 347000 | #Constraints: 33892
437.16/438.43 c #Conflicts: 348000 | #Constraints: 34892
437.16/438.43 c #Conflicts: 349000 | #Constraints: 35892
437.16/438.43 c #Conflicts: 350000 | #Constraints: 36892
437.16/438.43 c #Conflicts: 351000 | #Constraints: 37892
437.16/438.43 c #Conflicts: 352000 | #Constraints: 38892
437.16/438.43 c #Conflicts: 353000 | #Constraints: 39892
437.16/438.43 c INPROCESSING
437.16/438.43 c GARBAGE COLLECT
437.16/438.43 c #Conflicts: 354000 | #Constraints: 24138
437.16/438.43 c #Conflicts: 355000 | #Constraints: 25138
437.16/438.43 c #Conflicts: 356000 | #Constraints: 26138
437.16/438.43 c #Conflicts: 357000 | #Constraints: 27138
437.16/438.43 c #Conflicts: 358000 | #Constraints: 28138
437.16/438.43 c #Conflicts: 359000 | #Constraints: 29138
437.16/438.43 c #Conflicts: 360000 | #Constraints: 30138
437.16/438.43 c #Conflicts: 361000 | #Constraints: 31138
437.16/438.43 c #Conflicts: 362000 | #Constraints: 32138
437.16/438.43 c #Conflicts: 363000 | #Constraints: 33138
437.16/438.43 c #Conflicts: 364000 | #Constraints: 34138
437.16/438.43 c #Conflicts: 365000 | #Constraints: 35138
437.16/438.43 c #Conflicts: 366000 | #Constraints: 36138
437.16/438.43 c INPROCESSING
437.16/438.43 c GARBAGE COLLECT
437.16/438.43 c #Conflicts: 367000 | #Constraints: 22205
437.16/438.43 c #Conflicts: 368000 | #Constraints: 23205
437.16/438.43 c #Conflicts: 369000 | #Constraints: 24205
437.16/438.43 c #Conflicts: 370000 | #Constraints: 25205
437.16/438.43 c #Conflicts: 371000 | #Constraints: 26205
437.16/438.43 c #Conflicts: 372000 | #Constraints: 27205
437.16/438.43 c #Conflicts: 373000 | #Constraints: 28205
437.16/438.43 c #Conflicts: 374000 | #Constraints: 29205
437.16/438.43 c #Conflicts: 375000 | #Constraints: 30205
437.16/438.43 c #Conflicts: 376000 | #Constraints: 31205
437.16/438.43 c #Conflicts: 377000 | #Constraints: 32205
437.16/438.43 c #Conflicts: 378000 | #Constraints: 33205
437.16/438.43 c #Conflicts: 379000 | #Constraints: 34205
437.16/438.43 c #Conflicts: 380000 | #Constraints: 35205
437.16/438.43 c INPROCESSING
437.16/438.43 c GARBAGE COLLECT
437.16/438.43 c #Conflicts: 381000 | #Constraints: 22012
437.16/438.43 c #Conflicts: 382000 | #Constraints: 23012
437.16/438.43 c #Conflicts: 383000 | #Constraints: 24012
437.16/438.43 c #Conflicts: 384000 | #Constraints: 25012
437.16/438.43 c #Conflicts: 385000 | #Constraints: 26012
437.16/438.43 c #Conflicts: 386000 | #Constraints: 27012
437.16/438.43 c #Conflicts: 387000 | #Constraints: 28012
437.16/438.43 c #Conflicts: 388000 | #Constraints: 29012
437.16/438.43 c #Conflicts: 389000 | #Constraints: 30012
437.16/438.43 c #Conflicts: 390000 | #Constraints: 31012
437.16/438.43 c #Conflicts: 391000 | #Constraints: 32012
437.16/438.43 c #Conflicts: 392000 | #Constraints: 33012
437.16/438.43 c #Conflicts: 393000 | #Constraints: 34012
437.16/438.43 c #Conflicts: 394000 | #Constraints: 35012
437.16/438.43 c #Conflicts: 395000 | #Constraints: 36012
437.16/438.43 c #Conflicts: 396000 | #Constraints: 37012
437.16/438.43 c #Conflicts: 397000 | #Constraints: 38012
437.16/438.43 c #Conflicts: 398000 | #Constraints: 39012
437.16/438.43 c #Conflicts: 399000 | #Constraints: 40012
437.16/438.43 c #Conflicts: 400000 | #Constraints: 41012
437.16/438.43 c #Conflicts: 401000 | #Constraints: 42012
437.16/438.43 c #Conflicts: 402000 | #Constraints: 43012
437.16/438.43 c #Conflicts: 403000 | #Constraints: 44012
437.16/438.43 c #Conflicts: 404000 | #Constraints: 45012
437.16/438.43 c #Conflicts: 405000 | #Constraints: 46012
437.16/438.43 c #Conflicts: 406000 | #Constraints: 47012
437.16/438.43 c #Conflicts: 407000 | #Constraints: 48012
437.16/438.43 c #Conflicts: 408000 | #Constraints: 49012
437.16/438.43 c #Conflicts: 409000 | #Constraints: 50012
437.16/438.43 c #Conflicts: 410000 | #Constraints: 51012
437.16/438.43 c #Conflicts: 411000 | #Constraints: 52012
437.16/438.43 c #Conflicts: 412000 | #Constraints: 53012
437.16/438.43 c #Conflicts: 413000 | #Constraints: 54012
437.16/438.43 c #Conflicts: 414000 | #Constraints: 55012
437.16/438.43 c #Conflicts: 415000 | #Constraints: 56012
437.16/438.43 c #Conflicts: 416000 | #Constraints: 57012
437.16/438.43 c #Conflicts: 417000 | #Constraints: 58012
522.51/524.02 c #Conflicts: 418000 | #Constraints: 59012
522.51/524.02 c #Conflicts: 419000 | #Constraints: 60012
522.51/524.02 c #Conflicts: 420000 | #Constraints: 61012
522.51/524.02 c #Conflicts: 421000 | #Constraints: 62012
522.51/524.02 c #Conflicts: 422000 | #Constraints: 63012
522.51/524.02 c #Conflicts: 423000 | #Constraints: 64012
522.51/524.02 c #Conflicts: 424000 | #Constraints: 65012
522.51/524.02 c #Conflicts: 425000 | #Constraints: 66012
522.51/524.02 c #Conflicts: 426000 | #Constraints: 67012
522.51/524.02 c #Conflicts: 427000 | #Constraints: 68012
522.51/524.02 c #Conflicts: 428000 | #Constraints: 69012
522.51/524.02 c #Conflicts: 429000 | #Constraints: 70012
522.51/524.02 c #Conflicts: 430000 | #Constraints: 71012
522.51/524.02 c INPROCESSING
522.51/524.02 c GARBAGE COLLECT
522.51/524.02 c #Conflicts: 431000 | #Constraints: 39715
522.51/524.02 c #Conflicts: 432000 | #Constraints: 40715
522.51/524.02 c #Conflicts: 433000 | #Constraints: 41715
522.51/524.02 c #Conflicts: 434000 | #Constraints: 42715
522.51/524.02 c #Conflicts: 435000 | #Constraints: 43715
522.51/524.02 c #Conflicts: 436000 | #Constraints: 44715
522.51/524.02 c #Conflicts: 437000 | #Constraints: 45715
522.51/524.02 c #Conflicts: 438000 | #Constraints: 46715
522.51/524.02 c #Conflicts: 439000 | #Constraints: 47715
522.51/524.02 c #Conflicts: 440000 | #Constraints: 48715
522.51/524.02 c #Conflicts: 441000 | #Constraints: 49715
522.51/524.02 c #Conflicts: 442000 | #Constraints: 50715
522.51/524.02 c #Conflicts: 443000 | #Constraints: 51715
522.51/524.02 c #Conflicts: 444000 | #Constraints: 52715
522.51/524.02 c #Conflicts: 445000 | #Constraints: 53715
522.51/524.02 c INPROCESSING
522.51/524.02 c GARBAGE COLLECT
522.51/524.02 c #Conflicts: 446000 | #Constraints: 31196
522.51/524.02 c #Conflicts: 447000 | #Constraints: 32196
522.51/524.02 c #Conflicts: 448000 | #Constraints: 33196
522.51/524.02 c #Conflicts: 449000 | #Constraints: 34196
522.51/524.02 c #Conflicts: 450000 | #Constraints: 35196
522.51/524.02 c #Conflicts: 451000 | #Constraints: 36196
522.51/524.02 c #Conflicts: 452000 | #Constraints: 37196
522.51/524.02 c #Conflicts: 453000 | #Constraints: 38196
522.51/524.02 c #Conflicts: 454000 | #Constraints: 39196
522.51/524.02 c #Conflicts: 455000 | #Constraints: 40196
522.51/524.02 c #Conflicts: 456000 | #Constraints: 41196
522.51/524.02 c #Conflicts: 457000 | #Constraints: 42196
522.51/524.02 c #Conflicts: 458000 | #Constraints: 43196
522.51/524.02 c #Conflicts: 459000 | #Constraints: 44196
522.51/524.02 c #Conflicts: 460000 | #Constraints: 45196
522.51/524.02 c INPROCESSING
522.51/524.02 c GARBAGE COLLECT
522.51/524.02 c #Conflicts: 461000 | #Constraints: 27058
522.51/524.02 c #Conflicts: 462000 | #Constraints: 28058
522.51/524.02 c #Conflicts: 463000 | #Constraints: 29058
522.51/524.02 c #Conflicts: 464000 | #Constraints: 30058
522.51/524.02 c #Conflicts: 465000 | #Constraints: 31058
522.51/524.02 c #Conflicts: 466000 | #Constraints: 32058
522.51/524.02 c #Conflicts: 467000 | #Constraints: 33058
522.51/524.02 c #Conflicts: 468000 | #Constraints: 34058
522.51/524.02 c #Conflicts: 469000 | #Constraints: 35058
522.51/524.02 c #Conflicts: 470000 | #Constraints: 36058
522.51/524.02 c #Conflicts: 471000 | #Constraints: 37058
522.51/524.02 c #Conflicts: 472000 | #Constraints: 38058
522.51/524.02 c #Conflicts: 473000 | #Constraints: 39058
522.51/524.02 c #Conflicts: 474000 | #Constraints: 40058
522.51/524.02 c #Conflicts: 475000 | #Constraints: 41058
522.51/524.02 c INPROCESSING
522.51/524.02 c GARBAGE COLLECT
522.51/524.02 c rational objective 90
649.03/650.90 c #Conflicts: 476000 | #Constraints: 24863
649.03/650.90 c #Conflicts: 477000 | #Constraints: 25863
649.03/650.90 c #Conflicts: 478000 | #Constraints: 26863
649.03/650.90 c #Conflicts: 479000 | #Constraints: 27863
649.03/650.90 c #Conflicts: 480000 | #Constraints: 28863
649.03/650.90 c #Conflicts: 481000 | #Constraints: 29863
649.03/650.90 c #Conflicts: 482000 | #Constraints: 30863
649.03/650.90 c #Conflicts: 483000 | #Constraints: 31863
649.03/650.90 c #Conflicts: 484000 | #Constraints: 32863
649.03/650.90 c #Conflicts: 485000 | #Constraints: 33863
649.03/650.90 c #Conflicts: 486000 | #Constraints: 34863
649.03/650.90 c #Conflicts: 487000 | #Constraints: 35863
649.03/650.90 c #Conflicts: 488000 | #Constraints: 36863
649.03/650.90 c #Conflicts: 489000 | #Constraints: 37863
649.03/650.90 c #Conflicts: 490000 | #Constraints: 38863
649.03/650.90 c INPROCESSING
649.03/650.90 c GARBAGE COLLECT
649.03/650.90 c #Conflicts: 491000 | #Constraints: 23627
649.03/650.90 c #Conflicts: 492000 | #Constraints: 24627
649.03/650.90 c #Conflicts: 493000 | #Constraints: 25627
649.03/650.90 c #Conflicts: 494000 | #Constraints: 26627
649.03/650.90 c #Conflicts: 495000 | #Constraints: 27627
649.03/650.90 c #Conflicts: 496000 | #Constraints: 28627
649.03/650.90 c #Conflicts: 497000 | #Constraints: 29627
649.03/650.90 c #Conflicts: 498000 | #Constraints: 30627
649.03/650.90 c #Conflicts: 499000 | #Constraints: 31627
649.03/650.90 c #Conflicts: 500000 | #Constraints: 32627
649.03/650.90 c #Conflicts: 501000 | #Constraints: 33627
649.03/650.90 c #Conflicts: 502000 | #Constraints: 34627
649.03/650.90 c #Conflicts: 503000 | #Constraints: 35627
649.03/650.90 c #Conflicts: 504000 | #Constraints: 36627
649.03/650.90 c #Conflicts: 505000 | #Constraints: 37627
649.03/650.90 c #Conflicts: 506000 | #Constraints: 38627
649.03/650.90 c #Conflicts: 507000 | #Constraints: 39627
649.03/650.90 c #Conflicts: 508000 | #Constraints: 40627
649.03/650.90 c #Conflicts: 509000 | #Constraints: 41627
649.03/650.90 c #Conflicts: 510000 | #Constraints: 42627
649.03/650.90 c #Conflicts: 511000 | #Constraints: 43627
649.03/650.90 c #Conflicts: 512000 | #Constraints: 44627
649.03/650.90 c #Conflicts: 513000 | #Constraints: 45627
649.03/650.90 c #Conflicts: 514000 | #Constraints: 46627
649.03/650.90 c #Conflicts: 515000 | #Constraints: 47627
649.03/650.90 c #Conflicts: 516000 | #Constraints: 48627
649.03/650.90 c #Conflicts: 517000 | #Constraints: 49627
649.03/650.90 c #Conflicts: 518000 | #Constraints: 50627
649.03/650.90 c #Conflicts: 519000 | #Constraints: 51627
649.03/650.90 c #Conflicts: 520000 | #Constraints: 52627
649.03/650.90 c #Conflicts: 521000 | #Constraints: 53627
649.03/650.90 c #Conflicts: 522000 | #Constraints: 54627
649.03/650.90 c #Conflicts: 523000 | #Constraints: 55627
649.03/650.90 c #Conflicts: 524000 | #Constraints: 56627
649.03/650.90 c #Conflicts: 525000 | #Constraints: 57627
649.03/650.90 c #Conflicts: 526000 | #Constraints: 58627
649.03/650.90 c #Conflicts: 527000 | #Constraints: 59627
649.03/650.90 c #Conflicts: 528000 | #Constraints: 60627
649.03/650.90 c #Conflicts: 529000 | #Constraints: 61627
649.03/650.90 c #Conflicts: 530000 | #Constraints: 62627
649.03/650.90 c #Conflicts: 531000 | #Constraints: 63627
649.03/650.90 c #Conflicts: 532000 | #Constraints: 64627
649.03/650.90 c #Conflicts: 533000 | #Constraints: 65627
649.03/650.90 c #Conflicts: 534000 | #Constraints: 66627
649.03/650.90 c #Conflicts: 535000 | #Constraints: 67627
649.03/650.90 c #Conflicts: 536000 | #Constraints: 68627
649.03/650.90 c #Conflicts: 537000 | #Constraints: 69627
649.03/650.90 c #Conflicts: 538000 | #Constraints: 70627
649.03/650.90 c #Conflicts: 539000 | #Constraints: 71627
649.03/650.90 c #Conflicts: 540000 | #Constraints: 72627
649.03/650.90 c #Conflicts: 541000 | #Constraints: 73627
649.03/650.90 c #Conflicts: 542000 | #Constraints: 74627
649.03/650.90 c #Conflicts: 543000 | #Constraints: 75627
649.03/650.90 c #Conflicts: 544000 | #Constraints: 76627
649.03/650.90 c #Conflicts: 545000 | #Constraints: 77627
649.03/650.90 c #Conflicts: 546000 | #Constraints: 78627
649.03/650.90 c #Conflicts: 547000 | #Constraints: 79627
649.03/650.90 c INPROCESSING
649.03/650.90 c GARBAGE COLLECT
649.03/650.90 c #Conflicts: 548000 | #Constraints: 44074
649.03/650.90 c #Conflicts: 549000 | #Constraints: 45074
649.03/650.90 c #Conflicts: 550000 | #Constraints: 46074
649.03/650.90 c #Conflicts: 551000 | #Constraints: 47074
649.03/650.90 c #Conflicts: 552000 | #Constraints: 48074
649.03/650.90 c #Conflicts: 553000 | #Constraints: 49074
740.27/742.46 c #Conflicts: 554000 | #Constraints: 50074
740.27/742.46 c #Conflicts: 555000 | #Constraints: 51074
740.27/742.46 c #Conflicts: 556000 | #Constraints: 52074
740.27/742.46 c #Conflicts: 557000 | #Constraints: 53074
740.27/742.46 c #Conflicts: 558000 | #Constraints: 54074
740.27/742.46 c #Conflicts: 559000 | #Constraints: 55074
740.27/742.46 c #Conflicts: 560000 | #Constraints: 56074
740.27/742.46 c #Conflicts: 561000 | #Constraints: 57074
740.27/742.46 c #Conflicts: 562000 | #Constraints: 58074
740.27/742.46 c #Conflicts: 563000 | #Constraints: 59074
740.27/742.46 c #Conflicts: 564000 | #Constraints: 60074
740.27/742.46 c INPROCESSING
740.27/742.46 c GARBAGE COLLECT
740.27/742.46 c #Conflicts: 565000 | #Constraints: 34558
740.27/742.46 c #Conflicts: 566000 | #Constraints: 35558
740.27/742.46 c #Conflicts: 567000 | #Constraints: 36558
740.27/742.46 c #Conflicts: 568000 | #Constraints: 37558
740.27/742.46 c #Conflicts: 569000 | #Constraints: 38558
740.27/742.46 c #Conflicts: 570000 | #Constraints: 39558
740.27/742.46 c #Conflicts: 571000 | #Constraints: 40558
740.27/742.46 c #Conflicts: 572000 | #Constraints: 41558
740.27/742.46 c #Conflicts: 573000 | #Constraints: 42558
740.27/742.46 c #Conflicts: 574000 | #Constraints: 43558
740.27/742.46 c #Conflicts: 575000 | #Constraints: 44558
740.27/742.46 c #Conflicts: 576000 | #Constraints: 45558
740.27/742.46 c #Conflicts: 577000 | #Constraints: 46558
740.27/742.46 c #Conflicts: 578000 | #Constraints: 47558
740.27/742.46 c #Conflicts: 579000 | #Constraints: 48558
740.27/742.46 c #Conflicts: 580000 | #Constraints: 49558
740.27/742.46 c INPROCESSING
740.27/742.46 c GARBAGE COLLECT
740.27/742.46 c #Conflicts: 581000 | #Constraints: 28830
740.27/742.46 c #Conflicts: 582000 | #Constraints: 29830
740.27/742.46 c #Conflicts: 583000 | #Constraints: 30830
740.27/742.46 c #Conflicts: 584000 | #Constraints: 31830
740.27/742.46 c #Conflicts: 585000 | #Constraints: 32830
740.27/742.46 c #Conflicts: 586000 | #Constraints: 33830
740.27/742.46 c #Conflicts: 587000 | #Constraints: 34830
740.27/742.46 c #Conflicts: 588000 | #Constraints: 35830
740.27/742.46 c #Conflicts: 589000 | #Constraints: 36830
740.27/742.46 c #Conflicts: 590000 | #Constraints: 37830
740.27/742.46 c #Conflicts: 591000 | #Constraints: 38830
740.27/742.46 c #Conflicts: 592000 | #Constraints: 39830
740.27/742.46 c #Conflicts: 593000 | #Constraints: 40830
740.27/742.46 c #Conflicts: 594000 | #Constraints: 41830
740.27/742.46 c #Conflicts: 595000 | #Constraints: 42830
740.27/742.46 c #Conflicts: 596000 | #Constraints: 43830
740.27/742.46 c #Conflicts: 597000 | #Constraints: 44830
740.27/742.46 c INPROCESSING
740.27/742.46 c GARBAGE COLLECT
740.27/742.46 c #Conflicts: 598000 | #Constraints: 26484
740.27/742.46 c #Conflicts: 599000 | #Constraints: 27484
740.27/742.46 c #Conflicts: 600000 | #Constraints: 28484
740.27/742.46 c #Conflicts: 601000 | #Constraints: 29484
740.27/742.46 c #Conflicts: 602000 | #Constraints: 30484
740.27/742.46 c #Conflicts: 603000 | #Constraints: 31484
740.27/742.46 c #Conflicts: 604000 | #Constraints: 32484
740.27/742.46 c #Conflicts: 605000 | #Constraints: 33484
740.27/742.46 c #Conflicts: 606000 | #Constraints: 34484
740.27/742.46 c #Conflicts: 607000 | #Constraints: 35484
740.27/742.46 c #Conflicts: 608000 | #Constraints: 36484
740.27/742.46 c #Conflicts: 609000 | #Constraints: 37484
740.27/742.46 c #Conflicts: 610000 | #Constraints: 38484
740.27/742.46 c #Conflicts: 611000 | #Constraints: 39484
740.27/742.46 c #Conflicts: 612000 | #Constraints: 40484
740.27/742.46 c #Conflicts: 613000 | #Constraints: 41484
740.27/742.46 c #Conflicts: 614000 | #Constraints: 42484
740.27/742.46 c #Conflicts: 615000 | #Constraints: 43484
740.27/742.46 c INPROCESSING
740.27/742.46 c GARBAGE COLLECT
740.27/742.46 c #Conflicts: 616000 | #Constraints: 26176
740.27/742.46 c #Conflicts: 617000 | #Constraints: 27176
740.27/742.46 c #Conflicts: 618000 | #Constraints: 28176
740.27/742.46 c #Conflicts: 619000 | #Constraints: 29176
740.27/742.46 c #Conflicts: 620000 | #Constraints: 30176
740.27/742.46 c #Conflicts: 621000 | #Constraints: 31176
740.27/742.46 c #Conflicts: 622000 | #Constraints: 32176
740.27/742.46 c #Conflicts: 623000 | #Constraints: 33176
740.27/742.46 c #Conflicts: 624000 | #Constraints: 34176
740.27/742.46 c #Conflicts: 625000 | #Constraints: 35176
740.27/742.46 c #Conflicts: 626000 | #Constraints: 36176
740.27/742.46 c #Conflicts: 627000 | #Constraints: 37176
740.27/742.46 c #Conflicts: 628000 | #Constraints: 38176
740.27/742.46 c #Conflicts: 629000 | #Constraints: 39176
889.54/892.17 c #Conflicts: 630000 | #Constraints: 40176
889.54/892.17 c #Conflicts: 631000 | #Constraints: 41176
889.54/892.17 c #Conflicts: 632000 | #Constraints: 42176
889.54/892.17 c #Conflicts: 633000 | #Constraints: 43176
889.54/892.17 c #Conflicts: 634000 | #Constraints: 44176
889.54/892.17 c #Conflicts: 635000 | #Constraints: 45176
889.54/892.17 c #Conflicts: 636000 | #Constraints: 46176
889.54/892.17 c #Conflicts: 637000 | #Constraints: 47176
889.54/892.17 c #Conflicts: 638000 | #Constraints: 48176
889.54/892.17 c #Conflicts: 639000 | #Constraints: 49176
889.54/892.17 c #Conflicts: 640000 | #Constraints: 50176
889.54/892.17 c #Conflicts: 641000 | #Constraints: 51176
889.54/892.17 c #Conflicts: 642000 | #Constraints: 52176
889.54/892.17 c #Conflicts: 643000 | #Constraints: 53176
889.54/892.17 c #Conflicts: 644000 | #Constraints: 54176
889.54/892.17 c #Conflicts: 645000 | #Constraints: 55176
889.54/892.17 c #Conflicts: 646000 | #Constraints: 56176
889.54/892.17 c #Conflicts: 647000 | #Constraints: 57176
889.54/892.17 c #Conflicts: 648000 | #Constraints: 58176
889.54/892.17 c #Conflicts: 649000 | #Constraints: 59176
889.54/892.17 c #Conflicts: 650000 | #Constraints: 60176
889.54/892.17 c #Conflicts: 651000 | #Constraints: 61176
889.54/892.17 c #Conflicts: 652000 | #Constraints: 62176
889.54/892.17 c #Conflicts: 653000 | #Constraints: 63176
889.54/892.17 c #Conflicts: 654000 | #Constraints: 64176
889.54/892.17 c #Conflicts: 655000 | #Constraints: 65176
889.54/892.17 c #Conflicts: 656000 | #Constraints: 66176
889.54/892.17 c #Conflicts: 657000 | #Constraints: 67176
889.54/892.17 c #Conflicts: 658000 | #Constraints: 68176
889.54/892.17 c #Conflicts: 659000 | #Constraints: 69176
889.54/892.17 c #Conflicts: 660000 | #Constraints: 70176
889.54/892.17 c #Conflicts: 661000 | #Constraints: 71176
889.54/892.17 c #Conflicts: 662000 | #Constraints: 72176
889.54/892.17 c #Conflicts: 663000 | #Constraints: 73176
889.54/892.17 c #Conflicts: 664000 | #Constraints: 74176
889.54/892.17 c #Conflicts: 665000 | #Constraints: 75176
889.54/892.17 c #Conflicts: 666000 | #Constraints: 76176
889.54/892.17 c #Conflicts: 667000 | #Constraints: 77176
889.54/892.17 c #Conflicts: 668000 | #Constraints: 78176
889.54/892.17 c #Conflicts: 669000 | #Constraints: 79176
889.54/892.17 c #Conflicts: 670000 | #Constraints: 80176
889.54/892.17 c #Conflicts: 671000 | #Constraints: 81176
889.54/892.17 c #Conflicts: 672000 | #Constraints: 82176
889.54/892.17 c #Conflicts: 673000 | #Constraints: 83176
889.54/892.17 c #Conflicts: 674000 | #Constraints: 84176
889.54/892.17 c #Conflicts: 675000 | #Constraints: 85176
889.54/892.17 c #Conflicts: 676000 | #Constraints: 86176
889.54/892.17 c #Conflicts: 677000 | #Constraints: 87176
889.54/892.17 c #Conflicts: 678000 | #Constraints: 88176
889.54/892.17 c INPROCESSING
889.54/892.17 c GARBAGE COLLECT
889.54/892.17 c rational objective 90
928.80/931.50 c #Conflicts: 679000 | #Constraints: 48433
928.80/931.50 c #Conflicts: 680000 | #Constraints: 49433
928.80/931.50 c #Conflicts: 681000 | #Constraints: 50433
928.80/931.50 c #Conflicts: 682000 | #Constraints: 51433
928.80/931.50 c #Conflicts: 683000 | #Constraints: 52433
928.80/931.50 c #Conflicts: 684000 | #Constraints: 53433
928.80/931.50 c #Conflicts: 685000 | #Constraints: 54433
928.80/931.50 c #Conflicts: 686000 | #Constraints: 55433
928.80/931.50 c #Conflicts: 687000 | #Constraints: 56433
928.80/931.50 c #Conflicts: 688000 | #Constraints: 57433
928.80/931.50 c #Conflicts: 689000 | #Constraints: 58433
928.80/931.50 c #Conflicts: 690000 | #Constraints: 59433
928.80/931.50 c #Conflicts: 691000 | #Constraints: 60433
928.80/931.50 c #Conflicts: 692000 | #Constraints: 61433
928.80/931.50 c #Conflicts: 693000 | #Constraints: 62433
928.80/931.50 c #Conflicts: 694000 | #Constraints: 63433
928.80/931.50 c #Conflicts: 695000 | #Constraints: 64433
928.80/931.50 c #Conflicts: 696000 | #Constraints: 65433
928.80/931.50 c INPROCESSING
928.80/931.50 c GARBAGE COLLECT
928.80/931.50 c rational objective 90
964.00/966.82 c #Conflicts: 697000 | #Constraints: 36860
964.00/966.82 c #Conflicts: 698000 | #Constraints: 37860
964.00/966.82 c #Conflicts: 699000 | #Constraints: 38860
964.00/966.82 c #Conflicts: 700000 | #Constraints: 39860
964.00/966.82 c #Conflicts: 701000 | #Constraints: 40860
964.00/966.82 c #Conflicts: 702000 | #Constraints: 41860
964.00/966.82 c #Conflicts: 703000 | #Constraints: 42860
964.00/966.82 c #Conflicts: 704000 | #Constraints: 43860
964.00/966.82 c #Conflicts: 705000 | #Constraints: 44860
964.00/966.82 c #Conflicts: 706000 | #Constraints: 45860
964.00/966.82 c #Conflicts: 707000 | #Constraints: 46860
964.00/966.82 c #Conflicts: 708000 | #Constraints: 47860
964.00/966.82 c #Conflicts: 709000 | #Constraints: 48860
964.00/966.82 c #Conflicts: 710000 | #Constraints: 49860
964.00/966.82 c #Conflicts: 711000 | #Constraints: 50860
964.00/966.82 c #Conflicts: 712000 | #Constraints: 51860
964.00/966.82 c #Conflicts: 713000 | #Constraints: 52860
964.00/966.82 c #Conflicts: 714000 | #Constraints: 53860
964.00/966.82 c #Conflicts: 715000 | #Constraints: 54860
964.00/966.82 c INPROCESSING
964.00/966.82 c GARBAGE COLLECT
964.00/966.82 c rational objective 90
1066.30/1069.44 c #Conflicts: 716000 | #Constraints: 31639
1066.30/1069.44 c #Conflicts: 717000 | #Constraints: 32639
1066.30/1069.44 c #Conflicts: 718000 | #Constraints: 33639
1066.30/1069.44 c #Conflicts: 719000 | #Constraints: 34639
1066.30/1069.44 c #Conflicts: 720000 | #Constraints: 35639
1066.30/1069.44 c #Conflicts: 721000 | #Constraints: 36639
1066.30/1069.44 c #Conflicts: 722000 | #Constraints: 37639
1066.30/1069.44 c #Conflicts: 723000 | #Constraints: 38639
1066.30/1069.44 c #Conflicts: 724000 | #Constraints: 39639
1066.30/1069.44 c #Conflicts: 725000 | #Constraints: 40639
1066.30/1069.44 c #Conflicts: 726000 | #Constraints: 41639
1066.30/1069.44 c #Conflicts: 727000 | #Constraints: 42639
1066.30/1069.44 c #Conflicts: 728000 | #Constraints: 43639
1066.30/1069.44 c #Conflicts: 729000 | #Constraints: 44639
1066.30/1069.44 c #Conflicts: 730000 | #Constraints: 45639
1066.30/1069.44 c #Conflicts: 731000 | #Constraints: 46639
1066.30/1069.44 c #Conflicts: 732000 | #Constraints: 47639
1066.30/1069.44 c #Conflicts: 733000 | #Constraints: 48639
1066.30/1069.44 c #Conflicts: 734000 | #Constraints: 49639
1066.30/1069.44 c INPROCESSING
1066.30/1069.44 c GARBAGE COLLECT
1066.30/1069.44 c #Conflicts: 735000 | #Constraints: 29056
1066.30/1069.44 c #Conflicts: 736000 | #Constraints: 30056
1066.30/1069.44 c #Conflicts: 737000 | #Constraints: 31056
1066.30/1069.44 c #Conflicts: 738000 | #Constraints: 32056
1066.30/1069.44 c #Conflicts: 739000 | #Constraints: 33056
1066.30/1069.44 c #Conflicts: 740000 | #Constraints: 34056
1066.30/1069.44 c #Conflicts: 741000 | #Constraints: 35056
1066.30/1069.44 c #Conflicts: 742000 | #Constraints: 36056
1066.30/1069.44 c #Conflicts: 743000 | #Constraints: 37056
1066.30/1069.44 c #Conflicts: 744000 | #Constraints: 38056
1066.30/1069.44 c #Conflicts: 745000 | #Constraints: 39056
1066.30/1069.44 c #Conflicts: 746000 | #Constraints: 40056
1066.30/1069.44 c #Conflicts: 747000 | #Constraints: 41056
1066.30/1069.44 c #Conflicts: 748000 | #Constraints: 42056
1066.30/1069.44 c #Conflicts: 749000 | #Constraints: 43056
1066.30/1069.44 c #Conflicts: 750000 | #Constraints: 44056
1066.30/1069.44 c #Conflicts: 751000 | #Constraints: 45056
1066.30/1069.44 c #Conflicts: 752000 | #Constraints: 46056
1066.30/1069.44 c #Conflicts: 753000 | #Constraints: 47056
1066.30/1069.44 c INPROCESSING
1066.30/1069.44 c GARBAGE COLLECT
1066.30/1069.44 c #Conflicts: 754000 | #Constraints: 27694
1066.30/1069.44 c #Conflicts: 755000 | #Constraints: 28694
1066.30/1069.44 c #Conflicts: 756000 | #Constraints: 29694
1066.30/1069.44 c #Conflicts: 757000 | #Constraints: 30694
1066.30/1069.44 c #Conflicts: 758000 | #Constraints: 31694
1066.30/1069.44 c #Conflicts: 759000 | #Constraints: 32694
1066.30/1069.44 c #Conflicts: 760000 | #Constraints: 33694
1066.30/1069.44 c #Conflicts: 761000 | #Constraints: 34694
1066.30/1069.44 c #Conflicts: 762000 | #Constraints: 35694
1066.30/1069.44 c #Conflicts: 763000 | #Constraints: 36694
1066.30/1069.44 c #Conflicts: 764000 | #Constraints: 37694
1066.30/1069.44 c #Conflicts: 765000 | #Constraints: 38694
1066.30/1069.44 c #Conflicts: 766000 | #Constraints: 39694
1066.30/1069.44 c #Conflicts: 767000 | #Constraints: 40694
1066.30/1069.44 c #Conflicts: 768000 | #Constraints: 41694
1066.30/1069.44 c #Conflicts: 769000 | #Constraints: 42694
1066.30/1069.44 c #Conflicts: 770000 | #Constraints: 43694
1066.30/1069.44 c #Conflicts: 771000 | #Constraints: 44694
1066.30/1069.44 c #Conflicts: 772000 | #Constraints: 45694
1066.30/1069.44 c #Conflicts: 773000 | #Constraints: 46694
1066.30/1069.45 c #Conflicts: 774000 | #Constraints: 47694
1066.30/1069.45 c #Conflicts: 775000 | #Constraints: 48694
1066.30/1069.45 c #Conflicts: 776000 | #Constraints: 49694
1066.30/1069.45 c #Conflicts: 777000 | #Constraints: 50694
1066.30/1069.45 c #Conflicts: 778000 | #Constraints: 51694
1066.30/1069.45 c #Conflicts: 779000 | #Constraints: 52694
1066.30/1069.45 c #Conflicts: 780000 | #Constraints: 53694
1066.30/1069.45 c #Conflicts: 781000 | #Constraints: 54694
1066.30/1069.45 c #Conflicts: 782000 | #Constraints: 55694
1066.30/1069.45 c #Conflicts: 783000 | #Constraints: 56694
1066.30/1069.45 c #Conflicts: 784000 | #Constraints: 57694
1066.30/1069.45 c #Conflicts: 785000 | #Constraints: 58694
1066.30/1069.45 c #Conflicts: 786000 | #Constraints: 59694
1066.30/1069.45 c #Conflicts: 787000 | #Constraints: 60694
1066.30/1069.45 c #Conflicts: 788000 | #Constraints: 61694
1066.30/1069.45 c #Conflicts: 789000 | #Constraints: 62694
1066.30/1069.45 c #Conflicts: 790000 | #Constraints: 63694
1066.30/1069.45 c #Conflicts: 791000 | #Constraints: 64694
1066.30/1069.45 c #Conflicts: 792000 | #Constraints: 65694
1066.30/1069.45 c #Conflicts: 793000 | #Constraints: 66694
1161.73/1165.17 c #Conflicts: 794000 | #Constraints: 67694
1161.73/1165.17 c #Conflicts: 795000 | #Constraints: 68694
1161.73/1165.17 c #Conflicts: 796000 | #Constraints: 69694
1161.73/1165.17 c #Conflicts: 797000 | #Constraints: 70694
1161.73/1165.17 c #Conflicts: 798000 | #Constraints: 71694
1161.73/1165.17 c #Conflicts: 799000 | #Constraints: 72694
1161.73/1165.17 c #Conflicts: 800000 | #Constraints: 73694
1161.73/1165.17 c #Conflicts: 801000 | #Constraints: 74694
1161.73/1165.17 c #Conflicts: 802000 | #Constraints: 75694
1161.73/1165.17 c #Conflicts: 803000 | #Constraints: 76694
1161.73/1165.17 c #Conflicts: 804000 | #Constraints: 77694
1161.73/1165.17 c #Conflicts: 805000 | #Constraints: 78694
1161.73/1165.17 c #Conflicts: 806000 | #Constraints: 79694
1161.73/1165.17 c #Conflicts: 807000 | #Constraints: 80694
1161.73/1165.17 c #Conflicts: 808000 | #Constraints: 81694
1161.73/1165.17 c #Conflicts: 809000 | #Constraints: 82694
1161.73/1165.17 c #Conflicts: 810000 | #Constraints: 83694
1161.73/1165.17 c #Conflicts: 811000 | #Constraints: 84694
1161.73/1165.17 c #Conflicts: 812000 | #Constraints: 85694
1161.73/1165.17 c #Conflicts: 813000 | #Constraints: 86694
1161.73/1165.17 c #Conflicts: 814000 | #Constraints: 87694
1161.73/1165.17 c #Conflicts: 815000 | #Constraints: 88694
1161.73/1165.17 c #Conflicts: 816000 | #Constraints: 89694
1161.73/1165.17 c #Conflicts: 817000 | #Constraints: 90694
1161.73/1165.17 c #Conflicts: 818000 | #Constraints: 91694
1161.73/1165.17 c #Conflicts: 819000 | #Constraints: 92694
1161.73/1165.17 c #Conflicts: 820000 | #Constraints: 93694
1161.73/1165.17 c #Conflicts: 821000 | #Constraints: 94694
1161.73/1165.17 c #Conflicts: 822000 | #Constraints: 95694
1161.73/1165.17 c #Conflicts: 823000 | #Constraints: 96694
1161.73/1165.17 c INPROCESSING
1161.73/1165.17 c GARBAGE COLLECT
1161.73/1165.17 c rational objective 90
1206.39/1209.94 c #Conflicts: 824000 | #Constraints: 52715
1206.39/1209.94 c #Conflicts: 825000 | #Constraints: 53715
1206.39/1209.94 c #Conflicts: 826000 | #Constraints: 54715
1206.39/1209.94 c #Conflicts: 827000 | #Constraints: 55715
1206.39/1209.94 c #Conflicts: 828000 | #Constraints: 56715
1206.39/1209.94 c #Conflicts: 829000 | #Constraints: 57715
1206.39/1209.94 c #Conflicts: 830000 | #Constraints: 58715
1206.39/1209.94 c #Conflicts: 831000 | #Constraints: 59715
1206.39/1209.94 c #Conflicts: 832000 | #Constraints: 60715
1206.39/1209.94 c #Conflicts: 833000 | #Constraints: 61715
1206.39/1209.94 c #Conflicts: 834000 | #Constraints: 62715
1206.39/1209.94 c #Conflicts: 835000 | #Constraints: 63715
1206.39/1209.94 c #Conflicts: 836000 | #Constraints: 64715
1206.39/1209.94 c #Conflicts: 837000 | #Constraints: 65715
1206.39/1209.94 c #Conflicts: 838000 | #Constraints: 66715
1206.39/1209.94 c #Conflicts: 839000 | #Constraints: 67715
1206.39/1209.94 c #Conflicts: 840000 | #Constraints: 68715
1206.39/1209.94 c #Conflicts: 841000 | #Constraints: 69715
1206.39/1209.94 c #Conflicts: 842000 | #Constraints: 70715
1206.39/1209.94 c #Conflicts: 843000 | #Constraints: 71715
1206.39/1209.94 c INPROCESSING
1206.39/1209.94 c GARBAGE COLLECT
1206.39/1209.94 c rational objective 90
1290.73/1294.51 c #Conflicts: 844000 | #Constraints: 40123
1290.73/1294.51 c #Conflicts: 845000 | #Constraints: 41123
1290.73/1294.51 c #Conflicts: 846000 | #Constraints: 42123
1290.73/1294.51 c #Conflicts: 847000 | #Constraints: 43123
1290.73/1294.51 c #Conflicts: 848000 | #Constraints: 44123
1290.73/1294.51 c #Conflicts: 849000 | #Constraints: 45123
1290.73/1294.51 c #Conflicts: 850000 | #Constraints: 46123
1290.73/1294.51 c #Conflicts: 851000 | #Constraints: 47123
1290.73/1294.51 c #Conflicts: 852000 | #Constraints: 48123
1290.73/1294.51 c #Conflicts: 853000 | #Constraints: 49123
1290.73/1294.51 c #Conflicts: 854000 | #Constraints: 50123
1290.73/1294.51 c #Conflicts: 855000 | #Constraints: 51123
1290.73/1294.51 c #Conflicts: 856000 | #Constraints: 52123
1290.73/1294.51 c #Conflicts: 857000 | #Constraints: 53123
1290.73/1294.51 c #Conflicts: 858000 | #Constraints: 54123
1290.73/1294.51 c #Conflicts: 859000 | #Constraints: 55123
1290.73/1294.51 c #Conflicts: 860000 | #Constraints: 56123
1290.73/1294.51 c #Conflicts: 861000 | #Constraints: 57123
1290.73/1294.51 c #Conflicts: 862000 | #Constraints: 58123
1290.73/1294.51 c #Conflicts: 863000 | #Constraints: 59123
1290.73/1294.52 c #Conflicts: 864000 | #Constraints: 60123
1290.73/1294.52 c INPROCESSING
1290.73/1294.52 c GARBAGE COLLECT
1290.73/1294.52 c #Conflicts: 865000 | #Constraints: 34462
1290.73/1294.52 c #Conflicts: 866000 | #Constraints: 35462
1290.73/1294.52 c #Conflicts: 867000 | #Constraints: 36462
1290.73/1294.52 c #Conflicts: 868000 | #Constraints: 37462
1290.73/1294.52 c #Conflicts: 869000 | #Constraints: 38462
1290.73/1294.52 c #Conflicts: 870000 | #Constraints: 39462
1290.73/1294.52 c #Conflicts: 871000 | #Constraints: 40462
1290.73/1294.52 c #Conflicts: 872000 | #Constraints: 41462
1290.73/1294.52 c #Conflicts: 873000 | #Constraints: 42462
1290.73/1294.52 c #Conflicts: 874000 | #Constraints: 43462
1290.73/1294.52 c #Conflicts: 875000 | #Constraints: 44462
1290.73/1294.52 c #Conflicts: 876000 | #Constraints: 45462
1290.73/1294.52 c #Conflicts: 877000 | #Constraints: 46462
1290.73/1294.52 c #Conflicts: 878000 | #Constraints: 47462
1290.73/1294.52 c #Conflicts: 879000 | #Constraints: 48462
1290.73/1294.52 c #Conflicts: 880000 | #Constraints: 49462
1290.73/1294.52 c #Conflicts: 881000 | #Constraints: 50462
1290.73/1294.52 c #Conflicts: 882000 | #Constraints: 51462
1290.73/1294.52 c #Conflicts: 883000 | #Constraints: 52462
1290.73/1294.52 c #Conflicts: 884000 | #Constraints: 53462
1290.73/1294.52 c #Conflicts: 885000 | #Constraints: 54462
1290.73/1294.52 c INPROCESSING
1290.73/1294.52 c GARBAGE COLLECT
1290.73/1294.52 c #Conflicts: 886000 | #Constraints: 31684
1290.73/1294.52 c #Conflicts: 887000 | #Constraints: 32684
1290.73/1294.52 c #Conflicts: 888000 | #Constraints: 33684
1290.73/1294.52 c #Conflicts: 889000 | #Constraints: 34684
1290.73/1294.52 c #Conflicts: 890000 | #Constraints: 35684
1290.73/1294.52 c #Conflicts: 891000 | #Constraints: 36684
1290.73/1294.52 c #Conflicts: 892000 | #Constraints: 37684
1290.73/1294.52 c #Conflicts: 893000 | #Constraints: 38684
1290.73/1294.52 c #Conflicts: 894000 | #Constraints: 39684
1290.73/1294.52 c #Conflicts: 895000 | #Constraints: 40684
1290.73/1294.52 c #Conflicts: 896000 | #Constraints: 41684
1290.73/1294.52 c #Conflicts: 897000 | #Constraints: 42684
1290.73/1294.52 c #Conflicts: 898000 | #Constraints: 43684
1290.73/1294.52 c #Conflicts: 899000 | #Constraints: 44684
1290.73/1294.52 c #Conflicts: 900000 | #Constraints: 45684
1290.73/1294.52 c #Conflicts: 901000 | #Constraints: 46684
1290.73/1294.52 c #Conflicts: 902000 | #Constraints: 47684
1290.73/1294.52 c #Conflicts: 903000 | #Constraints: 48684
1290.73/1294.52 c #Conflicts: 904000 | #Constraints: 49684
1290.73/1294.52 c #Conflicts: 905000 | #Constraints: 50684
1290.73/1294.52 c #Conflicts: 906000 | #Constraints: 51684
1290.73/1294.52 c INPROCESSING
1290.73/1294.52 c GARBAGE COLLECT
1290.73/1294.52 c rational objective 90
1465.50/1469.83 c #Conflicts: 907000 | #Constraints: 30368
1465.50/1469.83 c #Conflicts: 908000 | #Constraints: 31368
1465.50/1469.83 c #Conflicts: 909000 | #Constraints: 32368
1465.50/1469.83 c #Conflicts: 910000 | #Constraints: 33368
1465.50/1469.83 c #Conflicts: 911000 | #Constraints: 34368
1465.50/1469.83 c #Conflicts: 912000 | #Constraints: 35368
1465.50/1469.83 c #Conflicts: 913000 | #Constraints: 36368
1465.50/1469.83 c #Conflicts: 914000 | #Constraints: 37368
1465.50/1469.83 c #Conflicts: 915000 | #Constraints: 38368
1465.50/1469.83 c #Conflicts: 916000 | #Constraints: 39368
1465.50/1469.83 c #Conflicts: 917000 | #Constraints: 40368
1465.50/1469.83 c #Conflicts: 918000 | #Constraints: 41368
1465.50/1469.83 c #Conflicts: 919000 | #Constraints: 42368
1465.50/1469.83 c #Conflicts: 920000 | #Constraints: 43368
1465.50/1469.83 c #Conflicts: 921000 | #Constraints: 44368
1465.50/1469.83 c #Conflicts: 922000 | #Constraints: 45368
1465.50/1469.83 c #Conflicts: 923000 | #Constraints: 46368
1465.50/1469.83 c #Conflicts: 924000 | #Constraints: 47368
1465.50/1469.83 c #Conflicts: 925000 | #Constraints: 48368
1465.50/1469.83 c #Conflicts: 926000 | #Constraints: 49368
1465.50/1469.83 c #Conflicts: 927000 | #Constraints: 50368
1465.50/1469.83 c #Conflicts: 928000 | #Constraints: 51368
1465.50/1469.83 c #Conflicts: 929000 | #Constraints: 52368
1465.50/1469.83 c #Conflicts: 930000 | #Constraints: 53368
1465.50/1469.83 c #Conflicts: 931000 | #Constraints: 54368
1465.50/1469.83 c #Conflicts: 932000 | #Constraints: 55368
1465.50/1469.83 c #Conflicts: 933000 | #Constraints: 56368
1465.50/1469.83 c #Conflicts: 934000 | #Constraints: 57368
1465.50/1469.83 c #Conflicts: 935000 | #Constraints: 58368
1465.50/1469.83 c #Conflicts: 936000 | #Constraints: 59368
1465.50/1469.83 c #Conflicts: 937000 | #Constraints: 60368
1465.50/1469.83 c #Conflicts: 938000 | #Constraints: 61368
1465.50/1469.83 c #Conflicts: 939000 | #Constraints: 62368
1465.50/1469.83 c #Conflicts: 940000 | #Constraints: 63368
1465.50/1469.83 c #Conflicts: 941000 | #Constraints: 64368
1465.50/1469.83 c #Conflicts: 942000 | #Constraints: 65368
1465.50/1469.83 c #Conflicts: 943000 | #Constraints: 66368
1465.50/1469.83 c #Conflicts: 944000 | #Constraints: 67368
1465.50/1469.83 c #Conflicts: 945000 | #Constraints: 68368
1465.50/1469.83 c #Conflicts: 946000 | #Constraints: 69368
1465.50/1469.83 c #Conflicts: 947000 | #Constraints: 70368
1465.50/1469.83 c #Conflicts: 948000 | #Constraints: 71368
1465.50/1469.83 c #Conflicts: 949000 | #Constraints: 72368
1465.50/1469.83 c #Conflicts: 950000 | #Constraints: 73368
1465.50/1469.83 c #Conflicts: 951000 | #Constraints: 74368
1465.50/1469.83 c #Conflicts: 952000 | #Constraints: 75368
1465.50/1469.83 c #Conflicts: 953000 | #Constraints: 76368
1465.50/1469.83 c #Conflicts: 954000 | #Constraints: 77368
1465.50/1469.83 c #Conflicts: 955000 | #Constraints: 78368
1465.50/1469.83 c #Conflicts: 956000 | #Constraints: 79368
1465.50/1469.83 c #Conflicts: 957000 | #Constraints: 80368
1465.50/1469.83 c #Conflicts: 958000 | #Constraints: 81368
1465.50/1469.83 c #Conflicts: 959000 | #Constraints: 82368
1465.50/1469.83 c #Conflicts: 960000 | #Constraints: 83368
1465.50/1469.83 c #Conflicts: 961000 | #Constraints: 84368
1465.50/1469.83 c #Conflicts: 962000 | #Constraints: 85368
1465.50/1469.83 c #Conflicts: 963000 | #Constraints: 86368
1465.50/1469.83 c #Conflicts: 964000 | #Constraints: 87368
1465.50/1469.83 c #Conflicts: 965000 | #Constraints: 88368
1465.50/1469.83 c #Conflicts: 966000 | #Constraints: 89368
1465.50/1469.83 c #Conflicts: 967000 | #Constraints: 90368
1465.50/1469.83 c #Conflicts: 968000 | #Constraints: 91368
1465.50/1469.83 c #Conflicts: 969000 | #Constraints: 92368
1465.50/1469.83 c #Conflicts: 970000 | #Constraints: 93368
1465.50/1469.83 c #Conflicts: 971000 | #Constraints: 94368
1465.50/1469.83 c #Conflicts: 972000 | #Constraints: 95368
1465.50/1469.83 c #Conflicts: 973000 | #Constraints: 96368
1465.50/1469.83 c #Conflicts: 974000 | #Constraints: 97368
1465.50/1469.83 c #Conflicts: 975000 | #Constraints: 98368
1465.50/1469.83 c #Conflicts: 976000 | #Constraints: 99368
1465.50/1469.83 c #Conflicts: 977000 | #Constraints: 100368
1465.50/1469.83 c #Conflicts: 978000 | #Constraints: 101368
1465.50/1469.83 c #Conflicts: 979000 | #Constraints: 102368
1465.50/1469.83 c #Conflicts: 980000 | #Constraints: 103368
1465.50/1469.83 c #Conflicts: 981000 | #Constraints: 104368
1465.50/1469.83 c #Conflicts: 982000 | #Constraints: 105368
1465.50/1469.83 c INPROCESSING
1465.50/1469.83 c GARBAGE COLLECT
1465.50/1469.83 c rational objective 90
1526.64/1531.13 c #Conflicts: 983000 | #Constraints: 57080
1526.64/1531.13 c #Conflicts: 984000 | #Constraints: 58080
1526.64/1531.13 c #Conflicts: 985000 | #Constraints: 59080
1526.64/1531.13 c #Conflicts: 986000 | #Constraints: 60080
1526.64/1531.13 c #Conflicts: 987000 | #Constraints: 61080
1526.64/1531.13 c #Conflicts: 988000 | #Constraints: 62080
1526.64/1531.13 c #Conflicts: 989000 | #Constraints: 63080
1526.64/1531.13 c #Conflicts: 990000 | #Constraints: 64080
1526.64/1531.13 c #Conflicts: 991000 | #Constraints: 65080
1526.64/1531.13 c #Conflicts: 992000 | #Constraints: 66080
1526.64/1531.13 c #Conflicts: 993000 | #Constraints: 67080
1526.64/1531.13 c #Conflicts: 994000 | #Constraints: 68080
1526.64/1531.13 c #Conflicts: 995000 | #Constraints: 69080
1526.64/1531.13 c #Conflicts: 996000 | #Constraints: 70080
1526.64/1531.13 c #Conflicts: 997000 | #Constraints: 71080
1526.64/1531.13 c #Conflicts: 998000 | #Constraints: 72080
1526.64/1531.13 c #Conflicts: 999000 | #Constraints: 73080
1526.64/1531.13 c #Conflicts: 1000000 | #Constraints: 74080
1526.64/1531.13 c #Conflicts: 1001000 | #Constraints: 75080
1526.64/1531.13 c #Conflicts: 1002000 | #Constraints: 76080
1526.64/1531.13 c #Conflicts: 1003000 | #Constraints: 77080
1526.64/1531.13 c #Conflicts: 1004000 | #Constraints: 78080
1526.64/1531.13 c INPROCESSING
1526.64/1531.13 c GARBAGE COLLECT
1526.64/1531.13 c rational objective 90
1662.59/1667.49 c #Conflicts: 1005000 | #Constraints: 43366
1662.59/1667.49 c #Conflicts: 1006000 | #Constraints: 44366
1662.59/1667.49 c #Conflicts: 1007000 | #Constraints: 45366
1662.59/1667.49 c #Conflicts: 1008000 | #Constraints: 46366
1662.59/1667.49 c #Conflicts: 1009000 | #Constraints: 47366
1662.59/1667.49 c #Conflicts: 1010000 | #Constraints: 48366
1662.59/1667.49 c #Conflicts: 1011000 | #Constraints: 49366
1662.59/1667.49 c #Conflicts: 1012000 | #Constraints: 50366
1662.59/1667.49 c #Conflicts: 1013000 | #Constraints: 51366
1662.59/1667.49 c #Conflicts: 1014000 | #Constraints: 52366
1662.59/1667.49 c #Conflicts: 1015000 | #Constraints: 53366
1662.59/1667.49 c #Conflicts: 1016000 | #Constraints: 54366
1662.59/1667.49 c #Conflicts: 1017000 | #Constraints: 55366
1662.59/1667.49 c #Conflicts: 1018000 | #Constraints: 56366
1662.59/1667.49 c #Conflicts: 1019000 | #Constraints: 57366
1662.59/1667.49 c #Conflicts: 1020000 | #Constraints: 58366
1662.59/1667.49 c #Conflicts: 1021000 | #Constraints: 59366
1662.59/1667.49 c #Conflicts: 1022000 | #Constraints: 60366
1662.59/1667.49 c #Conflicts: 1023000 | #Constraints: 61366
1662.59/1667.49 c #Conflicts: 1024000 | #Constraints: 62366
1662.59/1667.49 c #Conflicts: 1025000 | #Constraints: 63366
1662.59/1667.49 c #Conflicts: 1026000 | #Constraints: 64366
1662.59/1667.49 c INPROCESSING
1662.59/1667.49 c GARBAGE COLLECT
1662.59/1667.49 c #Conflicts: 1027000 | #Constraints: 36249
1662.59/1667.49 c #Conflicts: 1028000 | #Constraints: 37249
1662.59/1667.49 c #Conflicts: 1029000 | #Constraints: 38249
1662.59/1667.49 c #Conflicts: 1030000 | #Constraints: 39249
1662.59/1667.49 c #Conflicts: 1031000 | #Constraints: 40249
1662.59/1667.49 c #Conflicts: 1032000 | #Constraints: 41249
1662.59/1667.49 c #Conflicts: 1033000 | #Constraints: 42249
1662.59/1667.49 c #Conflicts: 1034000 | #Constraints: 43249
1662.59/1667.49 c #Conflicts: 1035000 | #Constraints: 44249
1662.59/1667.49 c #Conflicts: 1036000 | #Constraints: 45249
1662.59/1667.49 c #Conflicts: 1037000 | #Constraints: 46249
1662.59/1667.49 c #Conflicts: 1038000 | #Constraints: 47249
1662.59/1667.49 c #Conflicts: 1039000 | #Constraints: 48249
1662.59/1667.49 c #Conflicts: 1040000 | #Constraints: 49249
1662.59/1667.49 c #Conflicts: 1041000 | #Constraints: 50249
1662.59/1667.49 c #Conflicts: 1042000 | #Constraints: 51249
1662.59/1667.49 c #Conflicts: 1043000 | #Constraints: 52249
1662.59/1667.49 c #Conflicts: 1044000 | #Constraints: 53249
1662.59/1667.49 c #Conflicts: 1045000 | #Constraints: 54249
1662.59/1667.49 c #Conflicts: 1046000 | #Constraints: 55249
1662.59/1667.49 c #Conflicts: 1047000 | #Constraints: 56249
1662.59/1667.49 c #Conflicts: 1048000 | #Constraints: 57249
1662.59/1667.49 c #Conflicts: 1049000 | #Constraints: 58249
1662.59/1667.49 c INPROCESSING
1662.59/1667.49 c GARBAGE COLLECT
1662.59/1667.49 c #Conflicts: 1050000 | #Constraints: 33365
1662.59/1667.49 c #Conflicts: 1051000 | #Constraints: 34365
1662.59/1667.49 c #Conflicts: 1052000 | #Constraints: 35365
1662.59/1667.49 c #Conflicts: 1053000 | #Constraints: 36365
1662.59/1667.49 c #Conflicts: 1054000 | #Constraints: 37365
1662.59/1667.49 c #Conflicts: 1055000 | #Constraints: 38365
1662.59/1667.49 c #Conflicts: 1056000 | #Constraints: 39365
1662.59/1667.49 c #Conflicts: 1057000 | #Constraints: 40365
1662.59/1667.49 c #Conflicts: 1058000 | #Constraints: 41365
1662.59/1667.49 c #Conflicts: 1059000 | #Constraints: 42365
1662.59/1667.49 c #Conflicts: 1060000 | #Constraints: 43365
1662.59/1667.49 c #Conflicts: 1061000 | #Constraints: 44365
1662.59/1667.49 c #Conflicts: 1062000 | #Constraints: 45365
1662.59/1667.49 c #Conflicts: 1063000 | #Constraints: 46365
1662.59/1667.49 c #Conflicts: 1064000 | #Constraints: 47365
1662.59/1667.49 c #Conflicts: 1065000 | #Constraints: 48365
1662.59/1667.49 c #Conflicts: 1066000 | #Constraints: 49365
1662.59/1667.49 c #Conflicts: 1067000 | #Constraints: 50365
1662.59/1667.49 c #Conflicts: 1068000 | #Constraints: 51365
1662.59/1667.49 c #Conflicts: 1069000 | #Constraints: 52365
1662.59/1667.49 c #Conflicts: 1070000 | #Constraints: 53365
1662.59/1667.49 c #Conflicts: 1071000 | #Constraints: 54365
1662.59/1667.49 c #Conflicts: 1072000 | #Constraints: 55365
1662.59/1667.49 c INPROCESSING
1662.59/1667.49 c GARBAGE COLLECT
1662.59/1667.49 c #Conflicts: 1073000 | #Constraints: 31886
1662.59/1667.49 c #Conflicts: 1074000 | #Constraints: 32886
1662.59/1667.49 c #Conflicts: 1075000 | #Constraints: 33886
1662.59/1667.49 c #Conflicts: 1076000 | #Constraints: 34886
1662.59/1667.49 c #Conflicts: 1077000 | #Constraints: 35886
1662.59/1667.49 c #Conflicts: 1078000 | #Constraints: 36886
1662.59/1667.49 c #Conflicts: 1079000 | #Constraints: 37886
1662.59/1667.49 c #Conflicts: 1080000 | #Constraints: 38886
1662.59/1667.49 c #Conflicts: 1081000 | #Constraints: 39886
1817.23/1822.46 c #Conflicts: 1082000 | #Constraints: 40886
1817.23/1822.46 c #Conflicts: 1083000 | #Constraints: 41886
1817.23/1822.46 c #Conflicts: 1084000 | #Constraints: 42886
1817.23/1822.46 c #Conflicts: 1085000 | #Constraints: 43886
1817.23/1822.46 c #Conflicts: 1086000 | #Constraints: 44886
1817.23/1822.46 c #Conflicts: 1087000 | #Constraints: 45886
1817.23/1822.46 c #Conflicts: 1088000 | #Constraints: 46886
1817.23/1822.46 c #Conflicts: 1089000 | #Constraints: 47886
1817.23/1822.46 c #Conflicts: 1090000 | #Constraints: 48886
1817.23/1822.46 c #Conflicts: 1091000 | #Constraints: 49886
1817.23/1822.46 c #Conflicts: 1092000 | #Constraints: 50886
1817.23/1822.46 c #Conflicts: 1093000 | #Constraints: 51886
1817.23/1822.46 c #Conflicts: 1094000 | #Constraints: 52886
1817.23/1822.46 c #Conflicts: 1095000 | #Constraints: 53886
1817.23/1822.46 c INPROCESSING
1817.23/1822.46 c GARBAGE COLLECT
1817.23/1822.46 c #Conflicts: 1096000 | #Constraints: 31147
1817.23/1822.46 c #Conflicts: 1097000 | #Constraints: 32147
1817.23/1822.46 c #Conflicts: 1098000 | #Constraints: 33147
1817.23/1822.46 c #Conflicts: 1099000 | #Constraints: 34147
1817.23/1822.46 c #Conflicts: 1100000 | #Constraints: 35147
1817.23/1822.46 c #Conflicts: 1101000 | #Constraints: 36147
1817.23/1822.46 c #Conflicts: 1102000 | #Constraints: 37147
1817.23/1822.46 c #Conflicts: 1103000 | #Constraints: 38147
1817.23/1822.46 c #Conflicts: 1104000 | #Constraints: 39147
1817.23/1822.46 c #Conflicts: 1105000 | #Constraints: 40147
1817.23/1822.46 c #Conflicts: 1106000 | #Constraints: 41147
1817.23/1822.46 c #Conflicts: 1107000 | #Constraints: 42147
1817.23/1822.46 c #Conflicts: 1108000 | #Constraints: 43147
1817.23/1822.46 c #Conflicts: 1109000 | #Constraints: 44147
1817.23/1822.46 c #Conflicts: 1110000 | #Constraints: 45147
1817.23/1822.46 c #Conflicts: 1111000 | #Constraints: 46147
1817.23/1822.46 c #Conflicts: 1112000 | #Constraints: 47147
1817.23/1822.46 c #Conflicts: 1113000 | #Constraints: 48147
1817.23/1822.46 c #Conflicts: 1114000 | #Constraints: 49147
1817.23/1822.46 c #Conflicts: 1115000 | #Constraints: 50147
1817.23/1822.46 c #Conflicts: 1116000 | #Constraints: 51147
1817.23/1822.46 c #Conflicts: 1117000 | #Constraints: 52147
1817.23/1822.46 c #Conflicts: 1118000 | #Constraints: 53147
1817.23/1822.46 c #Conflicts: 1119000 | #Constraints: 54147
1817.23/1822.46 c #Conflicts: 1120000 | #Constraints: 55147
1817.23/1822.46 c #Conflicts: 1121000 | #Constraints: 56147
1817.23/1822.46 c #Conflicts: 1122000 | #Constraints: 57147
1817.23/1822.46 c #Conflicts: 1123000 | #Constraints: 58147
1817.23/1822.46 c #Conflicts: 1124000 | #Constraints: 59147
1817.23/1822.46 c #Conflicts: 1125000 | #Constraints: 60147
1817.23/1822.46 c #Conflicts: 1126000 | #Constraints: 61147
1817.23/1822.46 c #Conflicts: 1127000 | #Constraints: 62147
1817.23/1822.46 c #Conflicts: 1128000 | #Constraints: 63147
1817.23/1822.46 c #Conflicts: 1129000 | #Constraints: 64147
1817.23/1822.46 c #Conflicts: 1130000 | #Constraints: 65147
1817.23/1822.46 c #Conflicts: 1131000 | #Constraints: 66147
1817.23/1822.46 c #Conflicts: 1132000 | #Constraints: 67147
1817.23/1822.46 c #Conflicts: 1133000 | #Constraints: 68147
1817.23/1822.46 c #Conflicts: 1134000 | #Constraints: 69147
1817.23/1822.46 c #Conflicts: 1135000 | #Constraints: 70147
1817.23/1822.46 c #Conflicts: 1136000 | #Constraints: 71147
1817.23/1822.46 c #Conflicts: 1137000 | #Constraints: 72147
1817.23/1822.46 c #Conflicts: 1138000 | #Constraints: 73147
1817.23/1822.46 c #Conflicts: 1139000 | #Constraints: 74147
1817.23/1822.46 c #Conflicts: 1140000 | #Constraints: 75147
1817.23/1822.46 c #Conflicts: 1141000 | #Constraints: 76147
1817.23/1822.46 c #Conflicts: 1142000 | #Constraints: 77147
1817.23/1822.46 c #Conflicts: 1143000 | #Constraints: 78147
1817.23/1822.46 c #Conflicts: 1144000 | #Constraints: 79147
1817.23/1822.46 c #Conflicts: 1145000 | #Constraints: 80147
1817.23/1822.46 c #Conflicts: 1146000 | #Constraints: 81147
1817.23/1822.46 c #Conflicts: 1147000 | #Constraints: 82147
1817.23/1822.46 c #Conflicts: 1148000 | #Constraints: 83147
1817.23/1822.46 c #Conflicts: 1149000 | #Constraints: 84147
1817.23/1822.46 c #Conflicts: 1150000 | #Constraints: 85147
1817.23/1822.46 c #Conflicts: 1151000 | #Constraints: 86147
1817.23/1822.46 c #Conflicts: 1152000 | #Constraints: 87147
1817.23/1822.46 c #Conflicts: 1153000 | #Constraints: 88147
1817.23/1822.46 c #Conflicts: 1154000 | #Constraints: 89147
1817.23/1822.46 c #Conflicts: 1155000 | #Constraints: 90147
1817.23/1822.46 c #Conflicts: 1156000 | #Constraints: 91147
1817.23/1822.46 c #Conflicts: 1157000 | #Constraints: 92147
1817.23/1822.46 c #Conflicts: 1158000 | #Constraints: 93147
1817.23/1822.46 c #Conflicts: 1159000 | #Constraints: 94147
1879.79/1885.15 c #Conflicts: 1160000 | #Constraints: 95147
1879.79/1885.15 c #Conflicts: 1161000 | #Constraints: 96147
1879.79/1885.15 c #Conflicts: 1162000 | #Constraints: 97147
1879.79/1885.15 c #Conflicts: 1163000 | #Constraints: 98147
1879.79/1885.15 c #Conflicts: 1164000 | #Constraints: 99147
1879.79/1885.15 c #Conflicts: 1165000 | #Constraints: 100147
1879.79/1885.15 c #Conflicts: 1166000 | #Constraints: 101147
1879.79/1885.15 c #Conflicts: 1167000 | #Constraints: 102147
1879.79/1885.15 c #Conflicts: 1168000 | #Constraints: 103147
1879.79/1885.15 c #Conflicts: 1169000 | #Constraints: 104147
1879.79/1885.15 c #Conflicts: 1170000 | #Constraints: 105147
1879.79/1885.15 c #Conflicts: 1171000 | #Constraints: 106147
1879.79/1885.15 c #Conflicts: 1172000 | #Constraints: 107147
1879.79/1885.15 c #Conflicts: 1173000 | #Constraints: 108147
1879.79/1885.15 c #Conflicts: 1174000 | #Constraints: 109147
1879.79/1885.15 c #Conflicts: 1175000 | #Constraints: 110147
1879.79/1885.15 c #Conflicts: 1176000 | #Constraints: 111147
1879.79/1885.15 c #Conflicts: 1177000 | #Constraints: 112147
1879.79/1885.15 c #Conflicts: 1178000 | #Constraints: 113147
1879.79/1885.15 c #Conflicts: 1179000 | #Constraints: 114147
1879.79/1885.15 c INPROCESSING
1879.79/1885.15 c GARBAGE COLLECT
1879.79/1885.15 c rational objective 90
1937.13/1942.66 c #Conflicts: 1180000 | #Constraints: 61517
1937.13/1942.66 c #Conflicts: 1181000 | #Constraints: 62517
1937.13/1942.66 c #Conflicts: 1182000 | #Constraints: 63517
1937.13/1942.66 c #Conflicts: 1183000 | #Constraints: 64517
1937.13/1942.66 c #Conflicts: 1184000 | #Constraints: 65517
1937.13/1942.66 c #Conflicts: 1185000 | #Constraints: 66517
1937.13/1942.66 c #Conflicts: 1186000 | #Constraints: 67517
1937.13/1942.66 c #Conflicts: 1187000 | #Constraints: 68517
1937.13/1942.66 c #Conflicts: 1188000 | #Constraints: 69517
1937.13/1942.66 c #Conflicts: 1189000 | #Constraints: 70517
1937.13/1942.66 c #Conflicts: 1190000 | #Constraints: 71517
1937.13/1942.66 c #Conflicts: 1191000 | #Constraints: 72517
1937.13/1942.66 c #Conflicts: 1192000 | #Constraints: 73517
1937.13/1942.66 c #Conflicts: 1193000 | #Constraints: 74517
1937.13/1942.66 c #Conflicts: 1194000 | #Constraints: 75517
1937.13/1942.66 c #Conflicts: 1195000 | #Constraints: 76517
1937.13/1942.66 c #Conflicts: 1196000 | #Constraints: 77517
1937.13/1942.66 c #Conflicts: 1197000 | #Constraints: 78517
1937.13/1942.66 c #Conflicts: 1198000 | #Constraints: 79517
1937.13/1942.66 c #Conflicts: 1199000 | #Constraints: 80517
1937.13/1942.66 c #Conflicts: 1200000 | #Constraints: 81517
1937.13/1942.66 c #Conflicts: 1201000 | #Constraints: 82517
1937.13/1942.66 c #Conflicts: 1202000 | #Constraints: 83517
1937.13/1942.66 c #Conflicts: 1203000 | #Constraints: 84517
1937.13/1942.66 c INPROCESSING
1937.13/1942.66 c GARBAGE COLLECT
1937.13/1942.66 c rational objective 90
1986.92/1992.50 c #Conflicts: 1204000 | #Constraints: 46496
1986.92/1992.50 c #Conflicts: 1205000 | #Constraints: 47496
1986.92/1992.50 c #Conflicts: 1206000 | #Constraints: 48496
1986.92/1992.50 c #Conflicts: 1207000 | #Constraints: 49496
1986.92/1992.50 c #Conflicts: 1208000 | #Constraints: 50496
1986.92/1992.50 c #Conflicts: 1209000 | #Constraints: 51496
1986.92/1992.50 c #Conflicts: 1210000 | #Constraints: 52496
1986.92/1992.50 c #Conflicts: 1211000 | #Constraints: 53496
1986.92/1992.50 c #Conflicts: 1212000 | #Constraints: 54496
1986.92/1992.50 c #Conflicts: 1213000 | #Constraints: 55496
1986.92/1992.50 c #Conflicts: 1214000 | #Constraints: 56496
1986.92/1992.50 c #Conflicts: 1215000 | #Constraints: 57496
1986.92/1992.50 c #Conflicts: 1216000 | #Constraints: 58496
1986.92/1992.50 c #Conflicts: 1217000 | #Constraints: 59496
1986.92/1992.50 c #Conflicts: 1218000 | #Constraints: 60496
1986.92/1992.50 c #Conflicts: 1219000 | #Constraints: 61496
1986.92/1992.50 c #Conflicts: 1220000 | #Constraints: 62496
1986.92/1992.50 c #Conflicts: 1221000 | #Constraints: 63496
1986.92/1992.50 c #Conflicts: 1222000 | #Constraints: 64496
1986.92/1992.50 c #Conflicts: 1223000 | #Constraints: 65496
1986.92/1992.50 c #Conflicts: 1224000 | #Constraints: 66496
1986.92/1992.50 c #Conflicts: 1225000 | #Constraints: 67496
1986.92/1992.50 c #Conflicts: 1226000 | #Constraints: 68496
1986.92/1992.50 c #Conflicts: 1227000 | #Constraints: 69496
1986.92/1992.50 c #Conflicts: 1228000 | #Constraints: 70496
1986.92/1992.50 c INPROCESSING
1986.92/1992.50 c GARBAGE COLLECT
1986.92/1992.50 c rational objective 90
2029.81/2035.59 c #Conflicts: 1229000 | #Constraints: 39771
2029.81/2035.59 c #Conflicts: 1230000 | #Constraints: 40771
2029.81/2035.59 c #Conflicts: 1231000 | #Constraints: 41771
2029.81/2035.59 c #Conflicts: 1232000 | #Constraints: 42771
2029.81/2035.59 c #Conflicts: 1233000 | #Constraints: 43771
2029.81/2035.59 c #Conflicts: 1234000 | #Constraints: 44771
2029.81/2035.59 c #Conflicts: 1235000 | #Constraints: 45771
2029.81/2035.59 c #Conflicts: 1236000 | #Constraints: 46771
2029.81/2035.59 c #Conflicts: 1237000 | #Constraints: 47771
2029.81/2035.59 c #Conflicts: 1238000 | #Constraints: 48771
2029.81/2035.59 c #Conflicts: 1239000 | #Constraints: 49771
2029.81/2035.59 c #Conflicts: 1240000 | #Constraints: 50771
2029.81/2035.59 c #Conflicts: 1241000 | #Constraints: 51771
2029.81/2035.59 c #Conflicts: 1242000 | #Constraints: 52771
2029.81/2035.59 c #Conflicts: 1243000 | #Constraints: 53771
2029.81/2035.59 c #Conflicts: 1244000 | #Constraints: 54771
2029.81/2035.59 c #Conflicts: 1245000 | #Constraints: 55771
2029.81/2035.59 c #Conflicts: 1246000 | #Constraints: 56771
2029.81/2035.59 c #Conflicts: 1247000 | #Constraints: 57771
2029.81/2035.59 c #Conflicts: 1248000 | #Constraints: 58771
2029.81/2035.60 c #Conflicts: 1249000 | #Constraints: 59771
2029.81/2035.60 c #Conflicts: 1250000 | #Constraints: 60771
2029.81/2035.60 c #Conflicts: 1251000 | #Constraints: 61771
2029.81/2035.60 c #Conflicts: 1252000 | #Constraints: 62771
2029.81/2035.60 c #Conflicts: 1253000 | #Constraints: 63771
2029.81/2035.60 c INPROCESSING
2029.81/2035.60 c GARBAGE COLLECT
2029.81/2035.60 c rational objective 90
2100.34/2106.20 c #Conflicts: 1254000 | #Constraints: 36375
2100.34/2106.20 c #Conflicts: 1255000 | #Constraints: 37375
2100.34/2106.20 c #Conflicts: 1256000 | #Constraints: 38375
2100.34/2106.20 c #Conflicts: 1257000 | #Constraints: 39375
2100.34/2106.20 c #Conflicts: 1258000 | #Constraints: 40375
2100.34/2106.20 c #Conflicts: 1259000 | #Constraints: 41375
2100.34/2106.20 c #Conflicts: 1260000 | #Constraints: 42375
2100.34/2106.20 c #Conflicts: 1261000 | #Constraints: 43375
2100.34/2106.20 c #Conflicts: 1262000 | #Constraints: 44375
2100.34/2106.20 c #Conflicts: 1263000 | #Constraints: 45375
2100.34/2106.20 c #Conflicts: 1264000 | #Constraints: 46375
2100.34/2106.20 c #Conflicts: 1265000 | #Constraints: 47375
2100.34/2106.20 c #Conflicts: 1266000 | #Constraints: 48375
2100.34/2106.20 c #Conflicts: 1267000 | #Constraints: 49375
2100.34/2106.20 c #Conflicts: 1268000 | #Constraints: 50375
2100.34/2106.20 c #Conflicts: 1269000 | #Constraints: 51375
2100.34/2106.20 c #Conflicts: 1270000 | #Constraints: 52375
2100.34/2106.20 c #Conflicts: 1271000 | #Constraints: 53375
2100.34/2106.20 c #Conflicts: 1272000 | #Constraints: 54375
2100.34/2106.20 c #Conflicts: 1273000 | #Constraints: 55375
2100.34/2106.20 c #Conflicts: 1274000 | #Constraints: 56375
2100.34/2106.20 c #Conflicts: 1275000 | #Constraints: 57375
2100.34/2106.20 c #Conflicts: 1276000 | #Constraints: 58375
2100.34/2106.20 c #Conflicts: 1277000 | #Constraints: 59375
2100.34/2106.20 c #Conflicts: 1278000 | #Constraints: 60375
2100.34/2106.20 c INPROCESSING
2100.34/2106.20 c GARBAGE COLLECT
2100.34/2106.20 c #Conflicts: 1279000 | #Constraints: 34699
2100.34/2106.20 c #Conflicts: 1280000 | #Constraints: 35699
2100.34/2106.20 c #Conflicts: 1281000 | #Constraints: 36699
2100.34/2106.20 c #Conflicts: 1282000 | #Constraints: 37699
2100.34/2106.20 c #Conflicts: 1283000 | #Constraints: 38699
2100.34/2106.20 c #Conflicts: 1284000 | #Constraints: 39699
2100.34/2106.20 c #Conflicts: 1285000 | #Constraints: 40699
2100.34/2106.20 c #Conflicts: 1286000 | #Constraints: 41699
2100.34/2106.20 c #Conflicts: 1287000 | #Constraints: 42699
2100.34/2106.20 c #Conflicts: 1288000 | #Constraints: 43699
2100.34/2106.20 c #Conflicts: 1289000 | #Constraints: 44699
2100.34/2106.20 c #Conflicts: 1290000 | #Constraints: 45699
2100.34/2106.20 c #Conflicts: 1291000 | #Constraints: 46699
2100.34/2106.20 c #Conflicts: 1292000 | #Constraints: 47699
2100.34/2106.20 c #Conflicts: 1293000 | #Constraints: 48699
2100.34/2106.20 c #Conflicts: 1294000 | #Constraints: 49699
2100.34/2106.20 c #Conflicts: 1295000 | #Constraints: 50699
2100.34/2106.20 c #Conflicts: 1296000 | #Constraints: 51699
2100.34/2106.20 c #Conflicts: 1297000 | #Constraints: 52699
2100.34/2106.20 c #Conflicts: 1298000 | #Constraints: 53699
2100.34/2106.20 c #Conflicts: 1299000 | #Constraints: 54699
2100.34/2106.20 c #Conflicts: 1300000 | #Constraints: 55699
2100.34/2106.20 c #Conflicts: 1301000 | #Constraints: 56699
2100.34/2106.20 c #Conflicts: 1302000 | #Constraints: 57699
2100.34/2106.20 c #Conflicts: 1303000 | #Constraints: 58699
2100.34/2106.20 c INPROCESSING
2100.34/2106.20 c GARBAGE COLLECT
2100.34/2106.20 c rational objective 90
2304.76/2311.14 c #Conflicts: 1304000 | #Constraints: 33802
2304.76/2311.14 c #Conflicts: 1305000 | #Constraints: 34802
2304.76/2311.14 c #Conflicts: 1306000 | #Constraints: 35802
2304.76/2311.14 c #Conflicts: 1307000 | #Constraints: 36802
2304.76/2311.14 c #Conflicts: 1308000 | #Constraints: 37802
2304.76/2311.14 c #Conflicts: 1309000 | #Constraints: 38802
2304.76/2311.14 c #Conflicts: 1310000 | #Constraints: 39802
2304.76/2311.14 c #Conflicts: 1311000 | #Constraints: 40802
2304.76/2311.14 c #Conflicts: 1312000 | #Constraints: 41802
2304.76/2311.14 c #Conflicts: 1313000 | #Constraints: 42802
2304.76/2311.14 c #Conflicts: 1314000 | #Constraints: 43802
2304.76/2311.14 c #Conflicts: 1315000 | #Constraints: 44802
2304.76/2311.14 c #Conflicts: 1316000 | #Constraints: 45802
2304.76/2311.14 c #Conflicts: 1317000 | #Constraints: 46802
2304.76/2311.14 c #Conflicts: 1318000 | #Constraints: 47802
2304.76/2311.14 c #Conflicts: 1319000 | #Constraints: 48802
2304.76/2311.14 c #Conflicts: 1320000 | #Constraints: 49802
2304.76/2311.14 c #Conflicts: 1321000 | #Constraints: 50802
2304.76/2311.14 c #Conflicts: 1322000 | #Constraints: 51802
2304.76/2311.14 c #Conflicts: 1323000 | #Constraints: 52802
2304.76/2311.14 c #Conflicts: 1324000 | #Constraints: 53802
2304.76/2311.14 c #Conflicts: 1325000 | #Constraints: 54802
2304.76/2311.14 c #Conflicts: 1326000 | #Constraints: 55802
2304.76/2311.14 c #Conflicts: 1327000 | #Constraints: 56802
2304.76/2311.14 c #Conflicts: 1328000 | #Constraints: 57802
2304.76/2311.14 c #Conflicts: 1329000 | #Constraints: 58803
2304.76/2311.14 c #Conflicts: 1330000 | #Constraints: 59803
2304.76/2311.14 c #Conflicts: 1331000 | #Constraints: 60803
2304.76/2311.14 c #Conflicts: 1332000 | #Constraints: 61803
2304.76/2311.14 c #Conflicts: 1333000 | #Constraints: 62803
2304.76/2311.14 c #Conflicts: 1334000 | #Constraints: 63803
2304.76/2311.14 c #Conflicts: 1335000 | #Constraints: 64803
2304.76/2311.14 c #Conflicts: 1336000 | #Constraints: 65803
2304.76/2311.14 c #Conflicts: 1337000 | #Constraints: 66803
2304.76/2311.14 c #Conflicts: 1338000 | #Constraints: 67803
2304.76/2311.14 c #Conflicts: 1339000 | #Constraints: 68803
2304.76/2311.14 c #Conflicts: 1340000 | #Constraints: 69803
2304.76/2311.14 c #Conflicts: 1341000 | #Constraints: 70803
2304.76/2311.14 c #Conflicts: 1342000 | #Constraints: 71803
2304.76/2311.14 c #Conflicts: 1343000 | #Constraints: 72803
2304.76/2311.14 c #Conflicts: 1344000 | #Constraints: 73803
2304.76/2311.14 c #Conflicts: 1345000 | #Constraints: 74803
2304.76/2311.14 c #Conflicts: 1346000 | #Constraints: 75803
2304.76/2311.14 c #Conflicts: 1347000 | #Constraints: 76803
2304.76/2311.14 c #Conflicts: 1348000 | #Constraints: 77803
2304.76/2311.14 c #Conflicts: 1349000 | #Constraints: 78803
2304.76/2311.14 c #Conflicts: 1350000 | #Constraints: 79803
2304.76/2311.14 c #Conflicts: 1351000 | #Constraints: 80803
2304.76/2311.14 c #Conflicts: 1352000 | #Constraints: 81803
2304.76/2311.14 c #Conflicts: 1353000 | #Constraints: 82803
2304.76/2311.14 c #Conflicts: 1354000 | #Constraints: 83803
2304.76/2311.14 c #Conflicts: 1355000 | #Constraints: 84803
2304.76/2311.14 c #Conflicts: 1356000 | #Constraints: 85803
2304.76/2311.14 c #Conflicts: 1357000 | #Constraints: 86803
2304.76/2311.14 c #Conflicts: 1358000 | #Constraints: 87803
2304.76/2311.14 c #Conflicts: 1359000 | #Constraints: 88803
2304.76/2311.14 c #Conflicts: 1360000 | #Constraints: 89803
2304.76/2311.14 c #Conflicts: 1361000 | #Constraints: 90803
2304.76/2311.14 c #Conflicts: 1362000 | #Constraints: 91803
2304.76/2311.14 c #Conflicts: 1363000 | #Constraints: 92803
2304.76/2311.14 c #Conflicts: 1364000 | #Constraints: 93803
2304.76/2311.14 c #Conflicts: 1365000 | #Constraints: 94803
2304.76/2311.14 c #Conflicts: 1366000 | #Constraints: 95803
2304.76/2311.14 c #Conflicts: 1367000 | #Constraints: 96803
2304.76/2311.14 c #Conflicts: 1368000 | #Constraints: 97803
2304.76/2311.14 c #Conflicts: 1369000 | #Constraints: 98803
2304.76/2311.14 c #Conflicts: 1370000 | #Constraints: 99803
2304.76/2311.14 c #Conflicts: 1371000 | #Constraints: 100803
2304.76/2311.14 c #Conflicts: 1372000 | #Constraints: 101803
2304.76/2311.14 c #Conflicts: 1373000 | #Constraints: 102803
2304.76/2311.14 c #Conflicts: 1374000 | #Constraints: 103803
2304.76/2311.14 c #Conflicts: 1375000 | #Constraints: 104803
2304.76/2311.14 c #Conflicts: 1376000 | #Constraints: 105803
2304.76/2311.14 c #Conflicts: 1377000 | #Constraints: 106803
2304.76/2311.14 c #Conflicts: 1378000 | #Constraints: 107803
2304.76/2311.14 c #Conflicts: 1379000 | #Constraints: 108803
2304.76/2311.14 c #Conflicts: 1380000 | #Constraints: 109803
2304.76/2311.14 c #Conflicts: 1381000 | #Constraints: 110803
2304.76/2311.14 c #Conflicts: 1382000 | #Constraints: 111803
2362.51/2369.09 c #Conflicts: 1383000 | #Constraints: 112803
2362.51/2369.09 c #Conflicts: 1384000 | #Constraints: 113803
2362.51/2369.09 c #Conflicts: 1385000 | #Constraints: 114803
2362.51/2369.09 c #Conflicts: 1386000 | #Constraints: 115803
2362.51/2369.09 c #Conflicts: 1387000 | #Constraints: 116803
2362.51/2369.09 c #Conflicts: 1388000 | #Constraints: 117803
2362.51/2369.09 c #Conflicts: 1389000 | #Constraints: 118803
2362.51/2369.09 c #Conflicts: 1390000 | #Constraints: 119803
2362.51/2369.09 c #Conflicts: 1391000 | #Constraints: 120803
2362.51/2369.09 c #Conflicts: 1392000 | #Constraints: 121803
2362.51/2369.09 c #Conflicts: 1393000 | #Constraints: 122803
2362.51/2369.09 c #Conflicts: 1394000 | #Constraints: 123803
2362.51/2369.09 c INPROCESSING
2362.51/2369.09 c GARBAGE COLLECT
2362.51/2369.09 c rational objective 90
2433.44/2440.18 c #Conflicts: 1395000 | #Constraints: 66315
2433.44/2440.18 c #Conflicts: 1396000 | #Constraints: 67315
2433.44/2440.18 c #Conflicts: 1397000 | #Constraints: 68315
2433.44/2440.18 c #Conflicts: 1398000 | #Constraints: 69315
2433.44/2440.18 c #Conflicts: 1399000 | #Constraints: 70315
2433.44/2440.18 c #Conflicts: 1400000 | #Constraints: 71315
2433.44/2440.18 c #Conflicts: 1401000 | #Constraints: 72315
2433.44/2440.18 c #Conflicts: 1402000 | #Constraints: 73315
2433.44/2440.18 c #Conflicts: 1403000 | #Constraints: 74315
2433.44/2440.18 c #Conflicts: 1404000 | #Constraints: 75315
2433.44/2440.18 c #Conflicts: 1405000 | #Constraints: 76315
2433.44/2440.18 c #Conflicts: 1406000 | #Constraints: 77315
2433.44/2440.18 c #Conflicts: 1407000 | #Constraints: 78315
2433.44/2440.18 c #Conflicts: 1408000 | #Constraints: 79315
2433.44/2440.18 c #Conflicts: 1409000 | #Constraints: 80315
2433.44/2440.18 c #Conflicts: 1410000 | #Constraints: 81315
2433.44/2440.18 c #Conflicts: 1411000 | #Constraints: 82315
2433.44/2440.18 c #Conflicts: 1412000 | #Constraints: 83315
2433.44/2440.18 c #Conflicts: 1413000 | #Constraints: 84315
2433.44/2440.18 c #Conflicts: 1414000 | #Constraints: 85315
2433.44/2440.18 c #Conflicts: 1415000 | #Constraints: 86315
2433.44/2440.18 c #Conflicts: 1416000 | #Constraints: 87315
2433.44/2440.18 c #Conflicts: 1417000 | #Constraints: 88315
2433.44/2440.18 c #Conflicts: 1418000 | #Constraints: 89315
2433.44/2440.18 c #Conflicts: 1419000 | #Constraints: 90315
2433.44/2440.18 c #Conflicts: 1420000 | #Constraints: 91315
2433.44/2440.18 c INPROCESSING
2433.44/2440.18 c GARBAGE COLLECT
2433.44/2440.18 c rational objective 90
2562.22/2569.29 c #Conflicts: 1421000 | #Constraints: 49882
2562.22/2569.29 c #Conflicts: 1422000 | #Constraints: 50882
2562.22/2569.29 c #Conflicts: 1423000 | #Constraints: 51882
2562.22/2569.29 c #Conflicts: 1424000 | #Constraints: 52882
2562.22/2569.29 c #Conflicts: 1425000 | #Constraints: 53882
2562.22/2569.29 c #Conflicts: 1426000 | #Constraints: 54882
2562.22/2569.29 c #Conflicts: 1427000 | #Constraints: 55882
2562.22/2569.29 c #Conflicts: 1428000 | #Constraints: 56882
2562.22/2569.29 c #Conflicts: 1429000 | #Constraints: 57882
2562.22/2569.29 c #Conflicts: 1430000 | #Constraints: 58882
2562.22/2569.29 c #Conflicts: 1431000 | #Constraints: 59882
2562.22/2569.29 c #Conflicts: 1432000 | #Constraints: 60882
2562.22/2569.29 c #Conflicts: 1433000 | #Constraints: 61882
2562.22/2569.29 c #Conflicts: 1434000 | #Constraints: 62882
2562.22/2569.29 c #Conflicts: 1435000 | #Constraints: 63882
2562.22/2569.29 c #Conflicts: 1436000 | #Constraints: 64882
2562.22/2569.29 c #Conflicts: 1437000 | #Constraints: 65882
2562.22/2569.29 c #Conflicts: 1438000 | #Constraints: 66882
2562.22/2569.29 c #Conflicts: 1439000 | #Constraints: 67882
2562.22/2569.29 c #Conflicts: 1440000 | #Constraints: 68882
2562.22/2569.29 c #Conflicts: 1441000 | #Constraints: 69882
2562.22/2569.29 c #Conflicts: 1442000 | #Constraints: 70882
2562.22/2569.29 c #Conflicts: 1443000 | #Constraints: 71882
2562.22/2569.29 c #Conflicts: 1444000 | #Constraints: 72882
2562.22/2569.29 c #Conflicts: 1445000 | #Constraints: 73882
2562.22/2569.29 c #Conflicts: 1446000 | #Constraints: 74882
2562.22/2569.29 c #Conflicts: 1447000 | #Constraints: 75882
2562.22/2569.29 c INPROCESSING
2562.22/2569.29 c GARBAGE COLLECT
2562.22/2569.29 c #Conflicts: 1448000 | #Constraints: 42240
2562.22/2569.29 c #Conflicts: 1449000 | #Constraints: 43240
2562.22/2569.29 c #Conflicts: 1450000 | #Constraints: 44240
2562.22/2569.29 c #Conflicts: 1451000 | #Constraints: 45240
2562.22/2569.29 c #Conflicts: 1452000 | #Constraints: 46240
2562.22/2569.29 c #Conflicts: 1453000 | #Constraints: 47240
2562.22/2569.29 c #Conflicts: 1454000 | #Constraints: 48240
2562.22/2569.29 c #Conflicts: 1455000 | #Constraints: 49240
2562.22/2569.29 c #Conflicts: 1456000 | #Constraints: 50240
2562.22/2569.29 c #Conflicts: 1457000 | #Constraints: 51240
2562.22/2569.29 c #Conflicts: 1458000 | #Constraints: 52240
2562.22/2569.29 c #Conflicts: 1459000 | #Constraints: 53240
2562.22/2569.29 c #Conflicts: 1460000 | #Constraints: 54240
2562.22/2569.29 c #Conflicts: 1461000 | #Constraints: 55240
2562.22/2569.29 c #Conflicts: 1462000 | #Constraints: 56240
2562.22/2569.29 c #Conflicts: 1463000 | #Constraints: 57240
2562.22/2569.29 c #Conflicts: 1464000 | #Constraints: 58240
2562.22/2569.29 c #Conflicts: 1465000 | #Constraints: 59240
2562.22/2569.29 c #Conflicts: 1466000 | #Constraints: 60240
2562.22/2569.29 c #Conflicts: 1467000 | #Constraints: 61240
2562.22/2569.29 c #Conflicts: 1468000 | #Constraints: 62240
2562.22/2569.29 c #Conflicts: 1469000 | #Constraints: 63240
2562.22/2569.29 c #Conflicts: 1470000 | #Constraints: 64240
2562.22/2569.29 c #Conflicts: 1471000 | #Constraints: 65240
2562.22/2569.29 c #Conflicts: 1472000 | #Constraints: 66240
2562.22/2569.29 c #Conflicts: 1473000 | #Constraints: 67240
2562.22/2569.29 c #Conflicts: 1474000 | #Constraints: 68240
2562.22/2569.29 c INPROCESSING
2562.22/2569.29 c GARBAGE COLLECT
2562.22/2569.29 c #Conflicts: 1475000 | #Constraints: 38490
2562.22/2569.29 c #Conflicts: 1476000 | #Constraints: 39490
2562.22/2569.29 c #Conflicts: 1477000 | #Constraints: 40490
2562.22/2569.29 c #Conflicts: 1478000 | #Constraints: 41490
2562.22/2569.29 c #Conflicts: 1479000 | #Constraints: 42490
2562.22/2569.29 c #Conflicts: 1480000 | #Constraints: 43490
2562.22/2569.29 c #Conflicts: 1481000 | #Constraints: 44490
2562.22/2569.29 c #Conflicts: 1482000 | #Constraints: 45490
2562.22/2569.29 c #Conflicts: 1483000 | #Constraints: 46490
2562.22/2569.29 c #Conflicts: 1484000 | #Constraints: 47490
2562.22/2569.29 c #Conflicts: 1485000 | #Constraints: 48490
2562.22/2569.29 c #Conflicts: 1486000 | #Constraints: 49490
2562.22/2569.29 c #Conflicts: 1487000 | #Constraints: 50490
2562.22/2569.29 c #Conflicts: 1488000 | #Constraints: 51490
2562.22/2569.29 c #Conflicts: 1489000 | #Constraints: 52490
2562.22/2569.29 c #Conflicts: 1490000 | #Constraints: 53490
2562.22/2569.29 c #Conflicts: 1491000 | #Constraints: 54490
2562.22/2569.29 c #Conflicts: 1492000 | #Constraints: 55490
2562.22/2569.29 c #Conflicts: 1493000 | #Constraints: 56490
2562.22/2569.29 c #Conflicts: 1494000 | #Constraints: 57490
2562.22/2569.29 c #Conflicts: 1495000 | #Constraints: 58490
2562.22/2569.29 c #Conflicts: 1496000 | #Constraints: 59490
2562.22/2569.29 c #Conflicts: 1497000 | #Constraints: 60490
2562.22/2569.29 c #Conflicts: 1498000 | #Constraints: 61490
2569.30/2576.39 c #Conflicts: 1499000 | #Constraints: 62490
2569.30/2576.39 c #Conflicts: 1500000 | #Constraints: 63490
2569.30/2576.39 c #Conflicts: 1501000 | #Constraints: 64490
2569.30/2576.39 c INPROCESSING
2569.30/2576.39 c GARBAGE COLLECT
2569.30/2576.39 c rational objective 90
2611.02/2618.14 c #Conflicts: 1502000 | #Constraints: 36543
2611.02/2618.14 c #Conflicts: 1503000 | #Constraints: 37543
2611.02/2618.14 c #Conflicts: 1504000 | #Constraints: 38543
2611.02/2618.14 c #Conflicts: 1505000 | #Constraints: 39543
2611.02/2618.14 c #Conflicts: 1506000 | #Constraints: 40543
2611.02/2618.14 c #Conflicts: 1507000 | #Constraints: 41543
2611.02/2618.14 c #Conflicts: 1508000 | #Constraints: 42543
2611.02/2618.14 c #Conflicts: 1509000 | #Constraints: 43543
2611.02/2618.14 c #Conflicts: 1510000 | #Constraints: 44543
2611.02/2618.14 c #Conflicts: 1511000 | #Constraints: 45543
2611.02/2618.14 c #Conflicts: 1512000 | #Constraints: 46543
2611.02/2618.14 c #Conflicts: 1513000 | #Constraints: 47543
2611.02/2618.14 c #Conflicts: 1514000 | #Constraints: 48543
2611.02/2618.14 c #Conflicts: 1515000 | #Constraints: 49543
2611.02/2618.14 c #Conflicts: 1516000 | #Constraints: 50543
2611.02/2618.14 c #Conflicts: 1517000 | #Constraints: 51543
2611.02/2618.14 c #Conflicts: 1518000 | #Constraints: 52543
2611.02/2618.14 c #Conflicts: 1519000 | #Constraints: 53543
2611.02/2618.14 c #Conflicts: 1520000 | #Constraints: 54543
2611.02/2618.14 c #Conflicts: 1521000 | #Constraints: 55543
2611.02/2618.14 c #Conflicts: 1522000 | #Constraints: 56543
2611.02/2618.14 c #Conflicts: 1523000 | #Constraints: 57543
2611.02/2618.14 c #Conflicts: 1524000 | #Constraints: 58543
2611.02/2618.14 c #Conflicts: 1525000 | #Constraints: 59543
2611.02/2618.14 c #Conflicts: 1526000 | #Constraints: 60543
2611.02/2618.14 c #Conflicts: 1527000 | #Constraints: 61543
2611.02/2618.14 c #Conflicts: 1528000 | #Constraints: 62543
2611.02/2618.14 c INPROCESSING
2611.02/2618.14 c GARBAGE COLLECT
2611.02/2618.14 c rational objective 90
2781.69/2789.28 c #Conflicts: 1529000 | #Constraints: 35327
2781.69/2789.28 c #Conflicts: 1530000 | #Constraints: 36327
2781.69/2789.28 c #Conflicts: 1531000 | #Constraints: 37327
2781.69/2789.28 c #Conflicts: 1532000 | #Constraints: 38327
2781.69/2789.28 c #Conflicts: 1533000 | #Constraints: 39327
2781.69/2789.28 c #Conflicts: 1534000 | #Constraints: 40327
2781.69/2789.28 c #Conflicts: 1535000 | #Constraints: 41327
2781.69/2789.28 c #Conflicts: 1536000 | #Constraints: 42327
2781.69/2789.28 c #Conflicts: 1537000 | #Constraints: 43327
2781.69/2789.28 c #Conflicts: 1538000 | #Constraints: 44327
2781.69/2789.28 c #Conflicts: 1539000 | #Constraints: 45327
2781.69/2789.28 c #Conflicts: 1540000 | #Constraints: 46327
2781.69/2789.28 c #Conflicts: 1541000 | #Constraints: 47327
2781.69/2789.28 c #Conflicts: 1542000 | #Constraints: 48327
2781.69/2789.28 c #Conflicts: 1543000 | #Constraints: 49327
2781.69/2789.28 c #Conflicts: 1544000 | #Constraints: 50327
2781.69/2789.28 c #Conflicts: 1545000 | #Constraints: 51327
2781.69/2789.28 c #Conflicts: 1546000 | #Constraints: 52327
2781.69/2789.28 c #Conflicts: 1547000 | #Constraints: 53327
2781.69/2789.28 c #Conflicts: 1548000 | #Constraints: 54327
2781.69/2789.28 c #Conflicts: 1549000 | #Constraints: 55327
2781.69/2789.28 c #Conflicts: 1550000 | #Constraints: 56327
2781.69/2789.28 c #Conflicts: 1551000 | #Constraints: 57327
2781.69/2789.28 c #Conflicts: 1552000 | #Constraints: 58327
2781.69/2789.28 c #Conflicts: 1553000 | #Constraints: 59327
2781.69/2789.28 c #Conflicts: 1554000 | #Constraints: 60327
2781.69/2789.28 c #Conflicts: 1555000 | #Constraints: 61327
2781.69/2789.28 c #Conflicts: 1556000 | #Constraints: 62327
2781.69/2789.28 c #Conflicts: 1557000 | #Constraints: 63327
2781.69/2789.28 c #Conflicts: 1558000 | #Constraints: 64327
2781.69/2789.28 c #Conflicts: 1559000 | #Constraints: 65327
2781.69/2789.28 c #Conflicts: 1560000 | #Constraints: 66327
2781.69/2789.28 c #Conflicts: 1561000 | #Constraints: 67327
2781.69/2789.28 c #Conflicts: 1562000 | #Constraints: 68327
2781.69/2789.28 c #Conflicts: 1563000 | #Constraints: 69327
2781.69/2789.28 c #Conflicts: 1564000 | #Constraints: 70327
2781.69/2789.28 c #Conflicts: 1565000 | #Constraints: 71327
2781.69/2789.28 c #Conflicts: 1566000 | #Constraints: 72327
2781.69/2789.28 c #Conflicts: 1567000 | #Constraints: 73328
2781.69/2789.28 c #Conflicts: 1568000 | #Constraints: 74328
2781.69/2789.28 c #Conflicts: 1569000 | #Constraints: 75328
2781.69/2789.28 c #Conflicts: 1570000 | #Constraints: 76328
2781.69/2789.28 c #Conflicts: 1571000 | #Constraints: 77328
2781.69/2789.28 c #Conflicts: 1572000 | #Constraints: 78328
2781.69/2789.28 c #Conflicts: 1573000 | #Constraints: 79328
2781.69/2789.28 c #Conflicts: 1574000 | #Constraints: 80328
2781.69/2789.28 c #Conflicts: 1575000 | #Constraints: 81328
2781.69/2789.28 c #Conflicts: 1576000 | #Constraints: 82328
2781.69/2789.28 c #Conflicts: 1577000 | #Constraints: 83328
2781.69/2789.28 c #Conflicts: 1578000 | #Constraints: 84328
2781.69/2789.28 c #Conflicts: 1579000 | #Constraints: 85328
2781.69/2789.28 c #Conflicts: 1580000 | #Constraints: 86328
2781.69/2789.28 c #Conflicts: 1581000 | #Constraints: 87328
2781.69/2789.28 c #Conflicts: 1582000 | #Constraints: 88328
2781.69/2789.28 c #Conflicts: 1583000 | #Constraints: 89328
2781.69/2789.28 c #Conflicts: 1584000 | #Constraints: 90328
2781.69/2789.28 c #Conflicts: 1585000 | #Constraints: 91328
2781.69/2789.28 c #Conflicts: 1586000 | #Constraints: 92328
2781.69/2789.28 c #Conflicts: 1587000 | #Constraints: 93328
2781.69/2789.28 c #Conflicts: 1588000 | #Constraints: 94328
2781.69/2789.28 c #Conflicts: 1589000 | #Constraints: 95328
2781.69/2789.28 c #Conflicts: 1590000 | #Constraints: 96328
2781.69/2789.28 c #Conflicts: 1591000 | #Constraints: 97328
2781.69/2789.28 c #Conflicts: 1592000 | #Constraints: 98328
2781.69/2789.28 c #Conflicts: 1593000 | #Constraints: 99328
2781.69/2789.28 c #Conflicts: 1594000 | #Constraints: 100328
2781.69/2789.28 c #Conflicts: 1595000 | #Constraints: 101328
2781.69/2789.28 c #Conflicts: 1596000 | #Constraints: 102328
2781.69/2789.28 c #Conflicts: 1597000 | #Constraints: 103329
2781.69/2789.28 c #Conflicts: 1598000 | #Constraints: 104329
2781.69/2789.28 c #Conflicts: 1599000 | #Constraints: 105329
2781.69/2789.28 c #Conflicts: 1600000 | #Constraints: 106329
2781.69/2789.28 c #Conflicts: 1601000 | #Constraints: 107329
2781.69/2789.28 c #Conflicts: 1602000 | #Constraints: 108329
2781.69/2789.28 c #Conflicts: 1603000 | #Constraints: 109329
2781.69/2789.28 c #Conflicts: 1604000 | #Constraints: 110329
2781.69/2789.28 c #Conflicts: 1605000 | #Constraints: 111329
2781.69/2789.28 c #Conflicts: 1606000 | #Constraints: 112329
2781.69/2789.28 c #Conflicts: 1607000 | #Constraints: 113329
2858.98/2866.76 c #Conflicts: 1608000 | #Constraints: 114329
2858.98/2866.76 c #Conflicts: 1609000 | #Constraints: 115329
2858.98/2866.76 c #Conflicts: 1610000 | #Constraints: 116329
2858.98/2866.76 c #Conflicts: 1611000 | #Constraints: 117329
2858.98/2866.76 c #Conflicts: 1612000 | #Constraints: 118329
2858.98/2866.76 c #Conflicts: 1613000 | #Constraints: 119329
2858.98/2866.76 c #Conflicts: 1614000 | #Constraints: 120329
2858.98/2866.76 c #Conflicts: 1615000 | #Constraints: 121329
2858.98/2866.76 c #Conflicts: 1616000 | #Constraints: 122329
2858.98/2866.76 c #Conflicts: 1617000 | #Constraints: 123329
2858.98/2866.76 c #Conflicts: 1618000 | #Constraints: 124329
2858.98/2866.76 c #Conflicts: 1619000 | #Constraints: 125329
2858.98/2866.76 c #Conflicts: 1620000 | #Constraints: 126329
2858.98/2866.76 c #Conflicts: 1621000 | #Constraints: 127329
2858.98/2866.76 c #Conflicts: 1622000 | #Constraints: 128329
2858.98/2866.76 c #Conflicts: 1623000 | #Constraints: 129329
2858.98/2866.76 c #Conflicts: 1624000 | #Constraints: 130329
2858.98/2866.76 c #Conflicts: 1625000 | #Constraints: 131329
2858.98/2866.76 c #Conflicts: 1626000 | #Constraints: 132329
2858.98/2866.76 c #Conflicts: 1627000 | #Constraints: 133329
2858.98/2866.76 c INPROCESSING
2858.98/2866.76 c GARBAGE COLLECT
2858.98/2866.76 c rational objective 90
2937.10/2945.04 c #Conflicts: 1628000 | #Constraints: 71081
2937.10/2945.04 c #Conflicts: 1629000 | #Constraints: 72081
2937.10/2945.04 c #Conflicts: 1630000 | #Constraints: 73081
2937.10/2945.04 c #Conflicts: 1631000 | #Constraints: 74081
2937.10/2945.04 c #Conflicts: 1632000 | #Constraints: 75081
2937.10/2945.04 c #Conflicts: 1633000 | #Constraints: 76081
2937.10/2945.04 c #Conflicts: 1634000 | #Constraints: 77081
2937.10/2945.04 c #Conflicts: 1635000 | #Constraints: 78081
2937.10/2945.04 c #Conflicts: 1636000 | #Constraints: 79081
2937.10/2945.04 c #Conflicts: 1637000 | #Constraints: 80081
2937.10/2945.04 c #Conflicts: 1638000 | #Constraints: 81081
2937.10/2945.04 c #Conflicts: 1639000 | #Constraints: 82081
2937.10/2945.04 c #Conflicts: 1640000 | #Constraints: 83081
2937.10/2945.04 c #Conflicts: 1641000 | #Constraints: 84081
2937.10/2945.04 c #Conflicts: 1642000 | #Constraints: 85081
2937.10/2945.04 c #Conflicts: 1643000 | #Constraints: 86081
2937.10/2945.04 c #Conflicts: 1644000 | #Constraints: 87081
2937.10/2945.04 c #Conflicts: 1645000 | #Constraints: 88081
2937.10/2945.04 c #Conflicts: 1646000 | #Constraints: 89081
2937.10/2945.04 c #Conflicts: 1647000 | #Constraints: 90081
2937.10/2945.04 c #Conflicts: 1648000 | #Constraints: 91081
2937.10/2945.04 c #Conflicts: 1649000 | #Constraints: 92081
2937.10/2945.04 c #Conflicts: 1650000 | #Constraints: 93081
2937.10/2945.04 c #Conflicts: 1651000 | #Constraints: 94081
2937.10/2945.04 c #Conflicts: 1652000 | #Constraints: 95081
2937.10/2945.04 c #Conflicts: 1653000 | #Constraints: 96081
2937.10/2945.04 c #Conflicts: 1654000 | #Constraints: 97081
2937.10/2945.04 c #Conflicts: 1655000 | #Constraints: 98081
2937.10/2945.04 c #Conflicts: 1656000 | #Constraints: 99081
2937.10/2945.04 c INPROCESSING
2937.10/2945.04 c GARBAGE COLLECT
2937.10/2945.04 c rational objective 90
2999.05/3007.17 c #Conflicts: 1657000 | #Constraints: 54134
2999.05/3007.17 c #Conflicts: 1658000 | #Constraints: 55134
2999.05/3007.17 c #Conflicts: 1659000 | #Constraints: 56134
2999.05/3007.17 c #Conflicts: 1660000 | #Constraints: 57134
2999.05/3007.17 c #Conflicts: 1661000 | #Constraints: 58134
2999.05/3007.17 c #Conflicts: 1662000 | #Constraints: 59134
2999.05/3007.17 c #Conflicts: 1663000 | #Constraints: 60134
2999.05/3007.17 c #Conflicts: 1664000 | #Constraints: 61134
2999.05/3007.17 c #Conflicts: 1665000 | #Constraints: 62134
2999.05/3007.17 c #Conflicts: 1666000 | #Constraints: 63134
2999.05/3007.17 c #Conflicts: 1667000 | #Constraints: 64134
2999.05/3007.17 c #Conflicts: 1668000 | #Constraints: 65134
2999.05/3007.17 c #Conflicts: 1669000 | #Constraints: 66134
2999.05/3007.17 c #Conflicts: 1670000 | #Constraints: 67134
2999.05/3007.17 c #Conflicts: 1671000 | #Constraints: 68134
2999.05/3007.17 c #Conflicts: 1672000 | #Constraints: 69134
2999.05/3007.17 c #Conflicts: 1673000 | #Constraints: 70134
2999.05/3007.17 c #Conflicts: 1674000 | #Constraints: 71134
2999.05/3007.17 c #Conflicts: 1675000 | #Constraints: 72134
2999.05/3007.17 c #Conflicts: 1676000 | #Constraints: 73134
2999.05/3007.17 c #Conflicts: 1677000 | #Constraints: 74134
2999.05/3007.17 c #Conflicts: 1678000 | #Constraints: 75134
2999.05/3007.17 c #Conflicts: 1679000 | #Constraints: 76134
2999.05/3007.17 c #Conflicts: 1680000 | #Constraints: 77134
2999.05/3007.17 c #Conflicts: 1681000 | #Constraints: 78134
2999.05/3007.17 c #Conflicts: 1682000 | #Constraints: 79134
2999.05/3007.17 c #Conflicts: 1683000 | #Constraints: 80134
2999.05/3007.17 c #Conflicts: 1684000 | #Constraints: 81134
2999.05/3007.17 c INPROCESSING
2999.05/3007.17 c GARBAGE COLLECT
2999.05/3007.17 c rational objective 90
3137.29/3145.77 c #Conflicts: 1685000 | #Constraints: 44705
3137.29/3145.77 c #Conflicts: 1686000 | #Constraints: 45705
3137.29/3145.77 c #Conflicts: 1687000 | #Constraints: 46705
3137.29/3145.77 c #Conflicts: 1688000 | #Constraints: 47705
3137.29/3145.77 c #Conflicts: 1689000 | #Constraints: 48705
3137.29/3145.77 c #Conflicts: 1690000 | #Constraints: 49705
3137.29/3145.77 c #Conflicts: 1691000 | #Constraints: 50705
3137.29/3145.77 c #Conflicts: 1692000 | #Constraints: 51705
3137.29/3145.77 c #Conflicts: 1693000 | #Constraints: 52705
3137.29/3145.77 c #Conflicts: 1694000 | #Constraints: 53705
3137.29/3145.77 c #Conflicts: 1695000 | #Constraints: 54705
3137.29/3145.77 c #Conflicts: 1696000 | #Constraints: 55705
3137.29/3145.77 c #Conflicts: 1697000 | #Constraints: 56705
3137.29/3145.77 c #Conflicts: 1698000 | #Constraints: 57705
3137.29/3145.77 c #Conflicts: 1699000 | #Constraints: 58705
3137.29/3145.77 c #Conflicts: 1700000 | #Constraints: 59705
3137.29/3145.77 c #Conflicts: 1701000 | #Constraints: 60705
3137.29/3145.77 c #Conflicts: 1702000 | #Constraints: 61705
3137.29/3145.77 c #Conflicts: 1703000 | #Constraints: 62705
3137.29/3145.77 c #Conflicts: 1704000 | #Constraints: 63705
3137.29/3145.77 c #Conflicts: 1705000 | #Constraints: 64705
3137.29/3145.77 c #Conflicts: 1706000 | #Constraints: 65705
3137.29/3145.77 c #Conflicts: 1707000 | #Constraints: 66705
3137.29/3145.77 c #Conflicts: 1708000 | #Constraints: 67705
3137.29/3145.77 c #Conflicts: 1709000 | #Constraints: 68705
3137.29/3145.77 c #Conflicts: 1710000 | #Constraints: 69705
3137.29/3145.77 c #Conflicts: 1711000 | #Constraints: 70705
3137.29/3145.77 c #Conflicts: 1712000 | #Constraints: 71705
3137.29/3145.77 c #Conflicts: 1713000 | #Constraints: 72705
3137.29/3145.77 c INPROCESSING
3137.29/3145.77 c GARBAGE COLLECT
3137.29/3145.77 c #Conflicts: 1714000 | #Constraints: 40582
3137.29/3145.77 c #Conflicts: 1715000 | #Constraints: 41582
3137.29/3145.77 c #Conflicts: 1716000 | #Constraints: 42582
3137.29/3145.77 c #Conflicts: 1717000 | #Constraints: 43582
3137.29/3145.77 c #Conflicts: 1718000 | #Constraints: 44582
3137.29/3145.77 c #Conflicts: 1719000 | #Constraints: 45582
3137.29/3145.77 c #Conflicts: 1720000 | #Constraints: 46582
3137.29/3145.77 c #Conflicts: 1721000 | #Constraints: 47582
3137.29/3145.77 c #Conflicts: 1722000 | #Constraints: 48582
3137.29/3145.77 c #Conflicts: 1723000 | #Constraints: 49582
3137.29/3145.77 c #Conflicts: 1724000 | #Constraints: 50582
3137.29/3145.77 c #Conflicts: 1725000 | #Constraints: 51582
3137.29/3145.77 c #Conflicts: 1726000 | #Constraints: 52582
3137.29/3145.77 c #Conflicts: 1727000 | #Constraints: 53582
3137.29/3145.77 c #Conflicts: 1728000 | #Constraints: 54582
3137.29/3145.77 c #Conflicts: 1729000 | #Constraints: 55582
3137.29/3145.77 c #Conflicts: 1730000 | #Constraints: 56582
3137.29/3145.77 c #Conflicts: 1731000 | #Constraints: 57582
3137.29/3145.77 c #Conflicts: 1732000 | #Constraints: 58582
3137.29/3145.77 c #Conflicts: 1733000 | #Constraints: 59582
3137.29/3145.77 c #Conflicts: 1734000 | #Constraints: 60582
3137.29/3145.77 c #Conflicts: 1735000 | #Constraints: 61582
3137.29/3145.77 c #Conflicts: 1736000 | #Constraints: 62582
3137.29/3145.77 c #Conflicts: 1737000 | #Constraints: 63582
3137.29/3145.77 c #Conflicts: 1738000 | #Constraints: 64582
3137.29/3145.77 c #Conflicts: 1739000 | #Constraints: 65582
3137.29/3145.77 c #Conflicts: 1740000 | #Constraints: 66582
3137.29/3145.77 c #Conflicts: 1741000 | #Constraints: 67582
3137.29/3145.77 c #Conflicts: 1742000 | #Constraints: 68582
3137.29/3145.77 c #Conflicts: 1743000 | #Constraints: 69582
3137.29/3145.77 c INPROCESSING
3137.29/3145.77 c GARBAGE COLLECT
3137.29/3145.77 c #Conflicts: 1744000 | #Constraints: 39350
3137.29/3145.77 c #Conflicts: 1745000 | #Constraints: 40350
3137.29/3145.77 c #Conflicts: 1746000 | #Constraints: 41350
3137.29/3145.77 c #Conflicts: 1747000 | #Constraints: 42350
3137.29/3145.77 c #Conflicts: 1748000 | #Constraints: 43350
3137.29/3145.77 c #Conflicts: 1749000 | #Constraints: 44350
3137.29/3145.77 c #Conflicts: 1750000 | #Constraints: 45350
3137.29/3145.77 c #Conflicts: 1751000 | #Constraints: 46350
3137.29/3145.77 c #Conflicts: 1752000 | #Constraints: 47350
3137.29/3145.77 c #Conflicts: 1753000 | #Constraints: 48350
3137.29/3145.77 c #Conflicts: 1754000 | #Constraints: 49350
3137.29/3145.77 c #Conflicts: 1755000 | #Constraints: 50350
3137.29/3145.77 c #Conflicts: 1756000 | #Constraints: 51350
3137.29/3145.77 c #Conflicts: 1757000 | #Constraints: 52350
3137.29/3145.77 c #Conflicts: 1758000 | #Constraints: 53350
3137.29/3145.77 c #Conflicts: 1759000 | #Constraints: 54350
3137.29/3145.77 c #Conflicts: 1760000 | #Constraints: 55350
3137.29/3145.77 c #Conflicts: 1761000 | #Constraints: 56350
3137.29/3145.77 c #Conflicts: 1762000 | #Constraints: 57350
3160.43/3168.97 c #Conflicts: 1763000 | #Constraints: 58350
3160.43/3168.97 c #Conflicts: 1764000 | #Constraints: 59350
3160.43/3168.97 c #Conflicts: 1765000 | #Constraints: 60350
3160.43/3168.97 c #Conflicts: 1766000 | #Constraints: 61350
3160.43/3168.97 c #Conflicts: 1767000 | #Constraints: 62350
3160.43/3168.97 c #Conflicts: 1768000 | #Constraints: 63350
3160.43/3168.97 c #Conflicts: 1769000 | #Constraints: 64350
3160.43/3168.97 c #Conflicts: 1770000 | #Constraints: 65350
3160.43/3168.97 c #Conflicts: 1771000 | #Constraints: 66350
3160.43/3168.97 c #Conflicts: 1772000 | #Constraints: 67350
3160.43/3168.97 c INPROCESSING
3160.43/3168.97 c GARBAGE COLLECT
3160.43/3168.97 c rational objective 90
3367.82/3376.86 c #Conflicts: 1773000 | #Constraints: 38022
3367.82/3376.86 c #Conflicts: 1774000 | #Constraints: 39022
3367.82/3376.86 c #Conflicts: 1775000 | #Constraints: 40022
3367.82/3376.86 c #Conflicts: 1776000 | #Constraints: 41022
3367.82/3376.86 c #Conflicts: 1777000 | #Constraints: 42022
3367.82/3376.86 c #Conflicts: 1778000 | #Constraints: 43022
3367.82/3376.86 c #Conflicts: 1779000 | #Constraints: 44022
3367.82/3376.86 c #Conflicts: 1780000 | #Constraints: 45022
3367.82/3376.86 c #Conflicts: 1781000 | #Constraints: 46022
3367.82/3376.86 c #Conflicts: 1782000 | #Constraints: 47022
3367.82/3376.86 c #Conflicts: 1783000 | #Constraints: 48022
3367.82/3376.86 c #Conflicts: 1784000 | #Constraints: 49022
3367.82/3376.86 c #Conflicts: 1785000 | #Constraints: 50022
3367.82/3376.86 c #Conflicts: 1786000 | #Constraints: 51022
3367.82/3376.86 c #Conflicts: 1787000 | #Constraints: 52022
3367.82/3376.86 c #Conflicts: 1788000 | #Constraints: 53022
3367.82/3376.86 c #Conflicts: 1789000 | #Constraints: 54022
3367.82/3376.86 c #Conflicts: 1790000 | #Constraints: 55022
3367.82/3376.86 c #Conflicts: 1791000 | #Constraints: 56022
3367.82/3376.86 c #Conflicts: 1792000 | #Constraints: 57022
3367.82/3376.86 c #Conflicts: 1793000 | #Constraints: 58022
3367.82/3376.86 c #Conflicts: 1794000 | #Constraints: 59022
3367.82/3376.86 c #Conflicts: 1795000 | #Constraints: 60022
3367.82/3376.86 c #Conflicts: 1796000 | #Constraints: 61022
3367.82/3376.86 c #Conflicts: 1797000 | #Constraints: 62022
3367.82/3376.86 c #Conflicts: 1798000 | #Constraints: 63022
3367.82/3376.86 c #Conflicts: 1799000 | #Constraints: 64022
3367.82/3376.86 c #Conflicts: 1800000 | #Constraints: 65022
3367.82/3376.86 c #Conflicts: 1801000 | #Constraints: 66022
3367.82/3376.86 c #Conflicts: 1802000 | #Constraints: 67022
3367.82/3376.86 c #Conflicts: 1803000 | #Constraints: 68022
3367.82/3376.86 c #Conflicts: 1804000 | #Constraints: 69022
3367.82/3376.86 c #Conflicts: 1805000 | #Constraints: 70022
3367.82/3376.86 c #Conflicts: 1806000 | #Constraints: 71022
3367.82/3376.86 c #Conflicts: 1807000 | #Constraints: 72022
3367.82/3376.86 c #Conflicts: 1808000 | #Constraints: 73022
3367.82/3376.86 c #Conflicts: 1809000 | #Constraints: 74022
3367.82/3376.86 c #Conflicts: 1810000 | #Constraints: 75022
3367.82/3376.86 c #Conflicts: 1811000 | #Constraints: 76022
3367.82/3376.86 c #Conflicts: 1812000 | #Constraints: 77022
3367.82/3376.86 c #Conflicts: 1813000 | #Constraints: 78022
3367.82/3376.86 c #Conflicts: 1814000 | #Constraints: 79022
3367.82/3376.86 c #Conflicts: 1815000 | #Constraints: 80022
3367.82/3376.86 c #Conflicts: 1816000 | #Constraints: 81022
3367.82/3376.86 c #Conflicts: 1817000 | #Constraints: 82022
3367.82/3376.86 c #Conflicts: 1818000 | #Constraints: 83022
3367.82/3376.86 c #Conflicts: 1819000 | #Constraints: 84022
3367.82/3376.86 c #Conflicts: 1820000 | #Constraints: 85022
3367.82/3376.86 c #Conflicts: 1821000 | #Constraints: 86022
3367.82/3376.86 c #Conflicts: 1822000 | #Constraints: 87022
3367.82/3376.86 c #Conflicts: 1823000 | #Constraints: 88022
3367.82/3376.86 c #Conflicts: 1824000 | #Constraints: 89022
3367.82/3376.86 c #Conflicts: 1825000 | #Constraints: 90022
3367.82/3376.86 c #Conflicts: 1826000 | #Constraints: 91022
3367.82/3376.86 c #Conflicts: 1827000 | #Constraints: 92022
3367.82/3376.86 c #Conflicts: 1828000 | #Constraints: 93022
3367.82/3376.86 c #Conflicts: 1829000 | #Constraints: 94022
3367.82/3376.86 c #Conflicts: 1830000 | #Constraints: 95022
3367.82/3376.86 c #Conflicts: 1831000 | #Constraints: 96022
3367.82/3376.86 c #Conflicts: 1832000 | #Constraints: 97022
3367.82/3376.86 c #Conflicts: 1833000 | #Constraints: 98022
3367.82/3376.86 c #Conflicts: 1834000 | #Constraints: 99022
3367.82/3376.86 c #Conflicts: 1835000 | #Constraints: 100022
3367.82/3376.86 c #Conflicts: 1836000 | #Constraints: 101022
3367.82/3376.86 c #Conflicts: 1837000 | #Constraints: 102022
3367.82/3376.86 c #Conflicts: 1838000 | #Constraints: 103022
3367.82/3376.86 c #Conflicts: 1839000 | #Constraints: 104022
3367.82/3376.86 c #Conflicts: 1840000 | #Constraints: 105022
3367.82/3376.86 c #Conflicts: 1841000 | #Constraints: 106022
3367.82/3376.86 c #Conflicts: 1842000 | #Constraints: 107022
3367.82/3376.86 c #Conflicts: 1843000 | #Constraints: 108022
3367.82/3376.86 c #Conflicts: 1844000 | #Constraints: 109022
3367.82/3376.86 c #Conflicts: 1845000 | #Constraints: 110022
3367.82/3376.86 c #Conflicts: 1846000 | #Constraints: 111022
3367.82/3376.86 c #Conflicts: 1847000 | #Constraints: 112022
3367.82/3376.86 c #Conflicts: 1848000 | #Constraints: 113022
3367.82/3376.86 c #Conflicts: 1849000 | #Constraints: 114022
3367.82/3376.86 c #Conflicts: 1850000 | #Constraints: 115022
3367.82/3376.86 c #Conflicts: 1851000 | #Constraints: 116022
3528.91/3538.33 c #Conflicts: 1852000 | #Constraints: 117022
3528.91/3538.33 c #Conflicts: 1853000 | #Constraints: 118022
3528.91/3538.33 c #Conflicts: 1854000 | #Constraints: 119022
3528.91/3538.33 c #Conflicts: 1855000 | #Constraints: 120022
3528.91/3538.33 c #Conflicts: 1856000 | #Constraints: 121022
3528.91/3538.33 c #Conflicts: 1857000 | #Constraints: 122022
3528.91/3538.33 c #Conflicts: 1858000 | #Constraints: 123022
3528.91/3538.33 c #Conflicts: 1859000 | #Constraints: 124022
3528.91/3538.33 c #Conflicts: 1860000 | #Constraints: 125022
3528.91/3538.33 c #Conflicts: 1861000 | #Constraints: 126022
3528.91/3538.33 c #Conflicts: 1862000 | #Constraints: 127022
3528.91/3538.33 c #Conflicts: 1863000 | #Constraints: 128022
3528.91/3538.33 c #Conflicts: 1864000 | #Constraints: 129022
3528.91/3538.33 c #Conflicts: 1865000 | #Constraints: 130022
3528.91/3538.33 c #Conflicts: 1866000 | #Constraints: 131022
3528.91/3538.33 c #Conflicts: 1867000 | #Constraints: 132022
3528.91/3538.33 c #Conflicts: 1868000 | #Constraints: 133022
3528.91/3538.33 c #Conflicts: 1869000 | #Constraints: 134022
3528.91/3538.33 c #Conflicts: 1870000 | #Constraints: 135022
3528.91/3538.33 c #Conflicts: 1871000 | #Constraints: 136022
3528.91/3538.33 c #Conflicts: 1872000 | #Constraints: 137022
3528.91/3538.33 c #Conflicts: 1873000 | #Constraints: 138022
3528.91/3538.33 c #Conflicts: 1874000 | #Constraints: 139022
3528.91/3538.33 c #Conflicts: 1875000 | #Constraints: 140022
3528.91/3538.33 c #Conflicts: 1876000 | #Constraints: 141022
3528.91/3538.33 c #Conflicts: 1877000 | #Constraints: 142022
3528.91/3538.33 c #Conflicts: 1878000 | #Constraints: 143022
3528.91/3538.33 c INPROCESSING
3528.91/3538.33 c GARBAGE COLLECT
3528.91/3538.33 c rational objective 90
3600.04/3609.60 c #Conflicts: 1879000 | #Constraints: 75810
3600.04/3609.60 c #Conflicts: 1880000 | #Constraints: 76810
3600.04/3609.60 c #Conflicts: 1881000 | #Constraints: 77810
3600.04/3609.60 c #Conflicts: 1882000 | #Constraints: 78810
3600.04/3609.60 c #Conflicts: 1883000 | #Constraints: 79810
3600.04/3609.60 c #Conflicts: 1884000 | #Constraints: 80810
3600.04/3609.60 c #Conflicts: 1885000 | #Constraints: 81810
3600.04/3609.60 c #Conflicts: 1886000 | #Constraints: 82810
3600.04/3609.60 c #Conflicts: 1887000 | #Constraints: 83810
3600.04/3609.60 c #Conflicts: 1888000 | #Constraints: 84810
3600.04/3609.60 c #Conflicts: 1889000 | #Constraints: 85810
3600.04/3609.60 c #Conflicts: 1890000 | #Constraints: 86810
3600.04/3609.60 c #Conflicts: 1891000 | #Constraints: 87810
3600.04/3609.60 c #Conflicts: 1892000 | #Constraints: 88810
3600.04/3609.60 c #Conflicts: 1893000 | #Constraints: 89810
3600.04/3609.60 c #Conflicts: 1894000 | #Constraints: 90810
3600.04/3609.60 c #Conflicts: 1895000 | #Constraints: 91810
3600.04/3609.60 c #Conflicts: 1896000 | #Constraints: 92810
3600.04/3609.60 c #Conflicts: 1897000 | #Constraints: 93810
3600.04/3609.60 c #Conflicts: 1898000 | #Constraints: 94810
3600.04/3609.60 c #Conflicts: 1899000 | #Constraints: 95810
3600.04/3609.60 c #Conflicts: 1900000 | #Constraints: 96810
3600.04/3609.60 c #Conflicts: 1901000 | #Constraints: 97810
3600.04/3609.60 c #Conflicts: 1902000 | #Constraints: 98810
3600.04/3609.60 c #Conflicts: 1903000 | #Constraints: 99810
3600.04/3609.60 c #Conflicts: 1904000 | #Constraints: 100810
3600.04/3609.60 c cpu time 3582.8 s
3600.04/3609.60 c deterministic time 270326251665 2.70e+11
3600.04/3609.60 c optimization time 70.1945 s
3600.04/3609.60 c total solve time 3512.53 s
3600.04/3609.60 c core-guided solve time 0 s
3600.04/3609.60 c propagation time 2034.9 s
3600.04/3609.60 c conflict analysis time 1369.5 s
3600.04/3609.60 c propagations 924839202
3600.04/3609.60 c resolve steps 84919960
3600.04/3609.60 c decisions 13321820
3600.04/3609.60 c conflicts 1904860
3600.04/3609.60 c restarts 3697
3600.04/3609.60 c inprocessing phases 85
3600.04/3609.60 c garbage collections 85 ,( 100.00 )
3600.04/3609.60 c input clauses 6212 ,( 98.57 )
3600.04/3609.60 c input cardinalities 90 ,( 1.43 )
3600.04/3609.60 c input general constraints 0 ,( 0.00 )
3600.04/3609.60 c input average constraint length 6.23
3600.04/3609.60 c input average constraint degree 1.94
3600.04/3609.60 c learned clauses 1472788 ,( 77.32 )
3600.04/3609.60 c learned cardinalities 30373 ,( 1.59 )
3600.04/3609.60 c learned general constraints 401724 ,( 21.09 )
3600.04/3609.60 c learned average constraint length 694.55
3600.04/3609.60 c learned average constraint degree 8657323.07
3600.04/3609.60 c watched CF 32, 64, 128, Arb: 135198 , 0 , 0 , 0
3600.04/3609.60 c counting CF 32, 64, 128, Arb: 266526 , 0 , 0 , 0
3600.04/3609.60 c watched constraints 135198 ,( 33.65 )
3600.04/3609.60 c counting constraints 266526 ,( 66.35 )
3600.04/3609.60 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1513581992 , 684512279 , 3449941902 ,( 156059070 , 3293882832 )
3600.04/3609.60 c gcd simplifications 1215
3600.04/3609.60 c detected cardinalities 1823
3600.04/3609.60 c weakened non-implied lits 373257233
3600.04/3609.60 c weakened non-implying lits 272498
3600.04/3609.60 c original variables 6120
3600.04/3609.60 c clausal propagations 343951476
3600.04/3609.60 c cardinality propagations 350099688
3600.04/3609.60 c watched propagations 4874934
3600.04/3609.60 c counting propagations 219631471
3600.04/3609.60 c watch lookups 148682614743
3600.04/3609.60 c watch backjump lookups 0
3600.04/3609.60 c watch checks 41091667842
3600.04/3609.60 c propagation checks 74064692400
3600.04/3609.60 c constraint additions 4608688446
3600.04/3609.60 c trail pops 940060116
3600.04/3609.60 c formula constraints 6302
3600.04/3609.60 c learned constraints 1904856
3600.04/3609.60 c bound constraints 0
3600.04/3609.60 c core-guided constraints 0
3600.04/3609.60 c encountered formula constraints 50097784
3600.04/3609.60 c encountered learned constraints 36726749
3600.04/3609.60 c encountered bound constraints 0
3600.04/3609.60 c encountered core-guided constraints 0
3600.04/3609.60 c LP total time 159.963 s
3600.04/3609.60 c LP solve time 134.11 s
3600.04/3609.60 c LP constraints added 8770
3600.04/3609.60 c LP constraints removed 2355
3600.04/3609.60 c LP pivots internal 192388
3600.04/3609.60 c LP pivots root 174707
3600.04/3609.60 c LP calls 55
3600.04/3609.60 c LP optimalities 47
3600.04/3609.60 c LP no pivot count 7
3600.04/3609.60 c LP infeasibilities 3
3600.04/3609.60 c LP valid Farkas constraints 3
3600.04/3609.60 c LP learned Farkas constraints 3
3600.04/3609.60 c LP basis resets 0
3600.04/3609.60 c LP cycling count 0
3600.04/3609.60 c LP singular count 0
3600.04/3609.60 c LP no primal count 0
3600.04/3609.60 c LP no farkas count 0
3600.04/3609.60 c LP other issue count 0
3600.04/3609.60 c LP Gomory cuts 23
3600.04/3609.60 c LP learned cuts 2493
3600.04/3609.60 c LP deleted cuts 2464
3600.04/3609.60 c LP encountered Gomory constraints 230
3600.04/3609.60 c LP encountered Farkas constraints 48
3600.04/3609.60 c LP encountered learned Farkas constraints 6
3600.04/3609.60 c CG auxiliary variables introduced 0
3600.04/3609.60 c CG solutions found 0
3600.04/3609.60 c CG cores constructed 0
3600.04/3609.60 c CG core cardinality constraints returned 0
3600.04/3609.60 c CG unit cores 0
3600.04/3609.60 c CG single cores 0
3600.04/3609.60 c CG blocks removed during cardinality reduction 0
3600.04/3609.60 c CG first core best 0
3600.04/3609.60 c CG decision core best 0
3600.04/3609.60 c CG core reduction tie 0
3600.04/3609.60 c CG core degree average 0.00
3600.04/3609.60 c CG core slack average 0.00
3600.04/3609.60 c CG core upper bound improvements 0
3600.04/3609.60 c STR number of successful calls 0
3600.04/3609.60 c STR number of unsuccessful calls 0
3600.04/3609.60 c STR number of inconclusive calls 0
3600.04/3609.60 c STR number of successful attempts 0
3600.04/3609.60 c STR number of unsuccessful attempts 0
3600.04/3609.60 c STR number of inconclusive attempts 0
3600.04/3609.60 c STR average degree increase per successful call inf
3600.04/3609.60 c STR average degree increase per successful attempt inf
3600.04/3609.60 c STR total number of conflicts for successful attempts 0
3600.04/3609.60 c STR total number of conflicts for unsuccessful attempts 0
3600.04/3609.60 c STR total number of conflicts for inconclusive attempts 0
3600.04/3609.60 c STR average number of conflicts per successful attempt inf
3600.04/3609.60 c STR average number of conflicts per unsuccessful attempt inf
3600.04/3609.60 c STR average number of conflicts per inconclusive attempt inf
3600.04/3609.60 c AVG.sumWPerc 58.60
3600.04/3609.60 c bigint constraints 0
3600.04/3609.60 s UNKNOWN
3600.04/3609.60 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (63285 MiB free)
memory of node 1: 64465 MiB (62903 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507264-1751185858/watcher-4507264-1751185858 -o /tmp/evaluation-result-4507264-1751185858/solver-4507264-1751185858 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751182246-21366 --watchdog 3760 run-dec.sh HOME/instance-4507264-1751185858.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
solver pid=21715, runsolver pid=21711
Current StackSize limit: 8192 KiB
[startup+0.100071 s]*
/proc/loadavg: 4.09 4.09 4.04 5/251 21725
/proc/meminfo: memFree=129220056/131382120 swapFree=33010684/33010684
[pid=21715] ppid=21711 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21715/stat : 21715 (run-dec.sh) S 21711 21715 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34264939 4292608 736 18446744073709551615 94708173434880 94708174329413 140726129759104 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94708174568464 94708174616208 94708194615296 140726129764717 140726129764840 140726129764840 140726129770442 0
/proc/21715/statm: 1048 736 672 219 0 110 0
[pid=21717] ppid=21715 vsize=60252 memory=15808 CPUtime=0.07 cores=4,6
/proc/21717/stat : 21717 (roundingsat) R 21715 21715 21352 0 -1 4194304 1714 0 0 0 5 2 0 0 20 0 1 0 34264940 61698048 3952 18446744073709551615 4227072 8923433 140732729319488 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 34107392 140732729321911 140732729322024 140732729322024 140732729327594 0
/proc/21717/statm: 15063 3952 2208 1147 0 2490 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 64444 KiB
Current children cumulated memory: 18752 KiB
[startup+0.214695 s]*
/proc/loadavg: 4.09 4.09 4.04 5/251 21734
/proc/meminfo: memFree=129204368/131382120 swapFree=33010684/33010684
[pid=21715] ppid=21711 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21715/stat : 21715 (run-dec.sh) S 21711 21715 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34264939 4292608 736 18446744073709551615 94708173434880 94708174329413 140726129759104 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94708174568464 94708174616208 94708194615296 140726129764717 140726129764840 140726129764840 140726129770442 0
/proc/21715/statm: 1048 736 672 219 0 110 0
[pid=21717] ppid=21715 vsize=70212 memory=24296 CPUtime=0.17 cores=4,6
/proc/21717/stat : 21717 (roundingsat) R 21715 21715 21352 0 -1 4194304 4174 0 0 0 13 4 0 0 20 0 1 0 34264940 71897088 6074 18446744073709551615 4227072 8923433 140732729319488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34107392 140732729321911 140732729322024 140732729322024 140732729327594 0
/proc/21717/statm: 17553 6074 2240 1147 0 4980 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 74404 KiB
Current children cumulated memory: 27240 KiB
[startup+0.313494 s]*
/proc/loadavg: 4.09 4.09 4.04 5/250 21740
/proc/meminfo: memFree=129190484/131382120 swapFree=33010684/33010684
[pid=21715] ppid=21711 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21715/stat : 21715 (run-dec.sh) S 21711 21715 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34264939 4292608 736 18446744073709551615 94708173434880 94708174329413 140726129759104 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94708174568464 94708174616208 94708194615296 140726129764717 140726129764840 140726129764840 140726129770442 0
/proc/21715/statm: 1048 736 672 219 0 110 0
[pid=21717] ppid=21715 vsize=70408 memory=24808 CPUtime=0.27 cores=4,6
/proc/21717/stat : 21717 (roundingsat) R 21715 21715 21352 0 -1 4194304 4317 0 0 0 23 4 0 0 20 0 1 0 34264940 72097792 6202 18446744073709551615 4227072 8923433 140732729319488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34107392 140732729321911 140732729322024 140732729322024 140732729327594 0
/proc/21717/statm: 17602 6202 2240 1147 0 5029 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 74600 KiB
Current children cumulated memory: 27752 KiB
[startup+0.700375 s]
/proc/loadavg: 4.09 4.09 4.04 5/249 21752
/proc/meminfo: memFree=130227396/131382120 swapFree=33010684/33010684
[pid=21715] ppid=21711 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21715/stat : 21715 (run-dec.sh) S 21711 21715 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34264939 4292608 736 18446744073709551615 94708173434880 94708174329413 140726129759104 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94708174568464 94708174616208 94708194615296 140726129764717 140726129764840 140726129764840 140726129770442 0
/proc/21715/statm: 1048 736 672 219 0 110 0
[pid=21717] ppid=21715 vsize=71180 memory=25576 CPUtime=0.64 cores=4,6
/proc/21717/stat : 21717 (roundingsat) R 21715 21715 21352 0 -1 4194304 4526 0 0 0 60 4 0 0 20 0 1 0 34264940 72888320 6394 18446744073709551615 4227072 8923433 140732729319488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34107392 140732729321911 140732729322024 140732729322024 140732729327594 0
/proc/21717/statm: 17795 6394 2240 1147 0 5222 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 75372 KiB
Current children cumulated memory: 28520 KiB
[startup+1.50041 s]
/proc/loadavg: 4.09 4.09 4.04 4/250 21762
/proc/meminfo: memFree=130212256/131382120 swapFree=33010684/33010684
[pid=21715] ppid=21711 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21715/stat : 21715 (run-dec.sh) S 21711 21715 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34264939 4292608 736 18446744073709551615 94708173434880 94708174329413 140726129759104 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94708174568464 94708174616208 94708194615296 140726129764717 140726129764840 140726129764840 140726129770442 0
/proc/21715/statm: 1048 736 672 219 0 110 0
[pid=21717] ppid=21715 vsize=72100 memory=26216 CPUtime=1.44 cores=4,6
/proc/21717/stat : 21717 (roundingsat) R 21715 21715 21352 0 -1 4194304 4668 0 0 0 139 5 0 0 20 0 1 0 34264940 73830400 6554 18446744073709551615 4227072 8923433 140732729319488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34107392 140732729321911 140732729322024 140732729322024 140732729327594 0
/proc/21717/statm: 18025 6554 2240 1147 0 5452 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 76292 KiB
Current children cumulated memory: 29160 KiB
[startup+3.11291 s]
/proc/loadavg: 4.09 4.09 4.04 5/255 21800
/proc/meminfo: memFree=130198176/131382120 swapFree=33010684/33010684
[pid=21715] ppid=21711 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21715/stat : 21715 (run-dec.sh) S 21711 21715 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34264939 4292608 736 18446744073709551615 94708173434880 94708174329413 140726129759104 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94708174568464 94708174616208 94708194615296 140726129764717 140726129764840 140726129764840 140726129770442 0
/proc/21715/statm: 1048 736 672 219 0 110 0
[pid=21717] ppid=21715 vsize=76356 memory=32928 CPUtime=3.04 cores=4,6
/proc/21717/stat : 21717 (roundingsat) R 21715 21715 21352 0 -1 4194304 5783 0 0 0 293 11 0 0 20 0 1 0 34264940 78188544 8232 18446744073709551615 4227072 8923433 140732729319488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34107392 140732729321911 140732729322024 140732729322024 140732729327594 0
/proc/21717/statm: 19089 8232 2304 1147 0 6516 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 80548 KiB
Current children cumulated memory: 35872 KiB
[startup+6.30036 s]
/proc/loadavg: 4.08 4.09 4.04 5/255 21800
/proc/meminfo: memFree=130157160/131382120 swapFree=33010684/33010684
[pid=21715] ppid=21711 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21715/stat : 21715 (run-dec.sh) S 21711 21715 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34264939 4292608 736 18446744073709551615 94708173434880 94708174329413 140726129759104 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94708174568464 94708174616208 94708194615296 140726129764717 140726129764840 140726129764840 140726129770442 0
/proc/21715/statm: 1048 736 672 219 0 110 0
[pid=21717] ppid=21715 vsize=83640 memory=38176 CPUtime=6.22 cores=4,6
/proc/21717/stat : 21717 (roundingsat) R 21715 21715 21352 0 -1 4194304 7099 0 0 0 601 21 0 0 20 0 1 0 34264940 85647360 9544 18446744073709551615 4227072 8923433 140732729319488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34107392 140732729321911 140732729322024 140732729322024 140732729327594 0
/proc/21717/statm: 20910 9544 2304 1147 0 8337 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 87832 KiB
Current children cumulated memory: 41120 KiB
[startup+12.7004 s]
/proc/loadavg: 4.07 4.09 4.04 5/255 21800
/proc/meminfo: memFree=130125356/131382120 swapFree=33010684/33010684
[pid=21715] ppid=21711 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21715/stat : 21715 (run-dec.sh) S 21711 21715 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34264939 4292608 736 18446744073709551615 94708173434880 94708174329413 140726129759104 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94708174568464 94708174616208 94708194615296 140726129764717 140726129764840 140726129764840 140726129770442 0
/proc/21715/statm: 1048 736 672 219 0 110 0
[pid=21717] ppid=21715 vsize=90276 memory=42784 CPUtime=12.61 cores=4,6
/proc/21717/stat : 21717 (roundingsat) R 21715 21715 21352 0 -1 4194304 8253 0 0 0 1228 33 0 0 20 0 1 0 34264940 92442624 10696 18446744073709551615 4227072 8923433 140732729319488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34107392 140732729321911 140732729322024 140732729322024 140732729327594 0
/proc/21717/statm: 22569 10696 2304 1147 0 9996 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 94468 KiB
Current children cumulated memory: 45728 KiB
[startup+25.5004 s]
/proc/loadavg: 4.13 4.10 4.05 5/255 21800
/proc/meminfo: memFree=130079664/131382120 swapFree=33010684/33010684
[pid=21715] ppid=21711 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21715/stat : 21715 (run-dec.sh) S 21711 21715 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34264939 4292608 736 18446744073709551615 94708173434880 94708174329413 140726129759104 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94708174568464 94708174616208 94708194615296 140726129764717 140726129764840 140726129764840 140726129770442 0
/proc/21715/statm: 1048 736 672 219 0 110 0
[pid=21717] ppid=21715 vsize=104356 memory=57320 CPUtime=25.38 cores=4,6
/proc/21717/stat : 21717 (roundingsat) R 21715 21715 21352 0 -1 4194304 10847 0 0 0 2481 57 0 0 20 0 1 0 34264940 106860544 14330 18446744073709551615 4227072 8923433 140732729319488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34107392 140732729321911 140732729322024 140732729322024 140732729327594 0
/proc/21717/statm: 26089 14330 2304 1147 0 13516 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 108548 KiB
Current children cumulated memory: 60264 KiB
[startup+51.113 s]
/proc/loadavg: 4.08 4.09 4.05 5/255 21801
/proc/meminfo: memFree=129918576/131382120 swapFree=33010684/33010684
[pid=21715] ppid=21711 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21715/stat : 21715 (run-dec.sh) S 21711 21715 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34264939 4292608 736 18446744073709551615 94708173434880 94708174329413 140726129759104 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94708174568464 94708174616208 94708194615296 140726129764717 140726129764840 140726129764840 140726129770442 0
/proc/21715/statm: 1048 736 672 219 0 110 0
[pid=21717] ppid=21715 vsize=143152 memory=98484 CPUtime=50.93 cores=4,6
/proc/21717/stat : 21717 (roundingsat) R 21715 21715 21352 0 -1 4194304 18096 0 0 0 4995 98 0 0 20 0 1 0 34264940 146587648 24621 18446744073709551615 4227072 8923433 140732729319488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34107392 140732729321911 140732729322024 140732729322024 140732729327594 0
/proc/21717/statm: 35788 24621 2304 1147 0 23215 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 147344 KiB
Current children cumulated memory: 101428 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.10 4.05 5/255 21803
/proc/meminfo: memFree=129703976/131382120 swapFree=33010684/33010684
[pid=21715] ppid=21711 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21715/stat : 21715 (run-dec.sh) S 21711 21715 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34264939 4292608 736 18446744073709551615 94708173434880 94708174329413 140726129759104 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94708174568464 94708174616208 94708194615296 140726129764717 140726129764840 140726129764840 140726129770442 0
/proc/21715/statm: 1048 736 672 219 0 110 0
[pid=21717] ppid=21715 vsize=219528 memory=158448 CPUtime=101.99 cores=4,6
/proc/21717/stat : 21717 (roundingsat) R 21715 21715 21352 0 -1 4194304 25455 0 0 0 10033 166 0 0 20 0 1 0 34264940 224796672 39612 18446744073709551615 4227072 8923433 140732729319488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34107392 140732729321911 140732729322024 140732729322024 140732729327594 0
/proc/21717/statm: 54882 39612 2304 1147 0 42309 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 223720 KiB
Current children cumulated memory: 161392 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.11 4.06 5/255 21805
/proc/meminfo: memFree=129592636/131382120 swapFree=33010684/33010684
[pid=21715] ppid=21711 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21715/stat : 21715 (run-dec.sh) S 21711 21715 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34264939 4292608 736 18446744073709551615 94708173434880 94708174329413 140726129759104 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94708174568464 94708174616208 94708194615296 140726129764717 140726129764840 140726129764840 140726129770442 0
/proc/21715/statm: 1048 736 672 219 0 110 0
[pid=21717] ppid=21715 vsize=236168 memory=177508 CPUtime=161.83 cores=4,6
/proc/21717/stat : 21717 (roundingsat) R 21715 21715 21352 0 -1 4194304 29186 0 0 0 15960 223 0 0 20 0 1 0 34264940 241836032 44377 18446744073709551615 4227072 8923433 140732729319488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34107392 140732729321911 140732729322024 140732729322024 140732729327594 0
/proc/21717/statm: 59042 44377 2304 1147 0 46469 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 240360 KiB
Current children cumulated memory: 180452 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.11 4.06 5/255 21807
/proc/meminfo: memFree=129302524/131382120 swapFree=33010684/33010684
[pid=21715] ppid=21711 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21715/stat : 21715 (run-dec.sh) S 21711 21715 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34264939 4292608 736 18446744073709551615 94708173434880 94708174329413 140726129759104 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94708174568464 94708174616208 94708194615296 140726129764717 140726129764840 140726129764840 140726129770442 0
/proc/21715/statm: 1048 736 672 219 0 110 0
[pid=21717] ppid=21715 vsize=393920 memory=268808 CPUtime=221.65 cores=4,6
/proc/21717/stat : 21717 (roundingsat) R 21715 21715 21352 0 -1 4194304 36493 0 0 0 21904 261 0 0 20 0 1 0 34264940 403374080 67202 18446744073709551615 4227072 8923433 140732729319488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34107392 140732729321911 140732729322024 140732729322024 140732729327594 0
/proc/21717/statm: 98480 67202 2304 1147 0 85907 0
Current children cumulated CPU time: 221.65 s
################
# More data... #
################
/proc/21717/statm: 229801 199080 2304 1147 0 217228 0
Current children cumulated CPU time: 3034.15 s
Current children cumulated vsize: 923396 KiB
Current children cumulated memory: 799264 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.19 4.18 6/255 21967
/proc/meminfo: memFree=126785352/131382120 swapFree=33010684/33010684
[pid=21715] ppid=21711 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21715/stat : 21715 (run-dec.sh) S 21711 21715 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34264939 4292608 736 18446744073709551615 94708173434880 94708174329413 140726129759104 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94708174568464 94708174616208 94708194615296 140726129764717 140726129764840 140726129764840 140726129770442 0
/proc/21715/statm: 1048 736 672 219 0 110 0
[pid=21717] ppid=21715 vsize=919672 memory=796832 CPUtime=3094 cores=4,6
/proc/21717/stat : 21717 (roundingsat) R 21715 21715 21352 0 -1 4194304 74946 0 0 0 307820 1580 0 0 20 0 1 0 34264940 941744128 199208 18446744073709551615 4227072 8923433 140732729319488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34107392 140732729321911 140732729322024 140732729322024 140732729327594 0
/proc/21717/statm: 229918 199208 2304 1147 0 217345 0
Current children cumulated CPU time: 3094 s
Current children cumulated vsize: 923864 KiB
Current children cumulated memory: 799776 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.17 4.17 5/255 21969
/proc/meminfo: memFree=126790792/131382120 swapFree=33010684/33010684
[pid=21715] ppid=21711 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21715/stat : 21715 (run-dec.sh) S 21711 21715 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34264939 4292608 736 18446744073709551615 94708173434880 94708174329413 140726129759104 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94708174568464 94708174616208 94708194615296 140726129764717 140726129764840 140726129764840 140726129770442 0
/proc/21715/statm: 1048 736 672 219 0 110 0
[pid=21717] ppid=21715 vsize=919672 memory=796832 CPUtime=3153.85 cores=4,6
/proc/21717/stat : 21717 (roundingsat) R 21715 21715 21352 0 -1 4194304 74947 0 0 0 313774 1611 0 0 20 0 1 0 34264940 941744128 199208 18446744073709551615 4227072 8923433 140732729319488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34107392 140732729321911 140732729322024 140732729322024 140732729327594 0
/proc/21717/statm: 229918 199208 2304 1147 0 217345 0
Current children cumulated CPU time: 3153.85 s
Current children cumulated vsize: 923864 KiB
Current children cumulated memory: 799776 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.15 4.17 5/255 21970
/proc/meminfo: memFree=126784720/131382120 swapFree=33010684/33010684
[pid=21715] ppid=21711 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21715/stat : 21715 (run-dec.sh) S 21711 21715 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34264939 4292608 736 18446744073709551615 94708173434880 94708174329413 140726129759104 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94708174568464 94708174616208 94708194615296 140726129764717 140726129764840 140726129764840 140726129770442 0
/proc/21715/statm: 1048 736 672 219 0 110 0
[pid=21717] ppid=21715 vsize=919672 memory=796832 CPUtime=3213.71 cores=4,6
/proc/21717/stat : 21717 (roundingsat) R 21715 21715 21352 0 -1 4194304 74948 0 0 0 319728 1643 0 0 20 0 1 0 34264940 941744128 199208 18446744073709551615 4227072 8923433 140732729319488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34107392 140732729321911 140732729322024 140732729322024 140732729327594 0
/proc/21717/statm: 229918 199208 2304 1147 0 217345 0
Current children cumulated CPU time: 3213.71 s
Current children cumulated vsize: 923864 KiB
Current children cumulated memory: 799776 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.14 4.16 5/256 21975
/proc/meminfo: memFree=126780320/131382120 swapFree=33010684/33010684
[pid=21715] ppid=21711 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21715/stat : 21715 (run-dec.sh) S 21711 21715 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34264939 4292608 736 18446744073709551615 94708173434880 94708174329413 140726129759104 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94708174568464 94708174616208 94708194615296 140726129764717 140726129764840 140726129764840 140726129770442 0
/proc/21715/statm: 1048 736 672 219 0 110 0
[pid=21717] ppid=21715 vsize=919672 memory=796832 CPUtime=3273.56 cores=4,6
/proc/21717/stat : 21717 (roundingsat) R 21715 21715 21352 0 -1 4194304 75034 0 0 0 325693 1663 0 0 20 0 1 0 34264940 941744128 199208 18446744073709551615 4227072 8923433 140732729319488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34107392 140732729321911 140732729322024 140732729322024 140732729327594 0
/proc/21717/statm: 229918 199208 2304 1147 0 217345 0
Current children cumulated CPU time: 3273.56 s
Current children cumulated vsize: 923864 KiB
Current children cumulated memory: 799776 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.14 4.16 5/255 21980
/proc/meminfo: memFree=126770644/131382120 swapFree=33010684/33010684
[pid=21715] ppid=21711 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21715/stat : 21715 (run-dec.sh) S 21711 21715 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34264939 4292608 736 18446744073709551615 94708173434880 94708174329413 140726129759104 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94708174568464 94708174616208 94708194615296 140726129764717 140726129764840 140726129764840 140726129770442 0
/proc/21715/statm: 1048 736 672 219 0 110 0
[pid=21717] ppid=21715 vsize=919672 memory=796832 CPUtime=3333.4 cores=4,6
/proc/21717/stat : 21717 (roundingsat) R 21715 21715 21352 0 -1 4194304 75076 0 0 0 331664 1676 0 0 20 0 1 0 34264940 941744128 199208 18446744073709551615 4227072 8923433 140732729319488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34107392 140732729321911 140732729322024 140732729322024 140732729327594 0
/proc/21717/statm: 229918 199208 2304 1147 0 217345 0
Current children cumulated CPU time: 3333.4 s
Current children cumulated vsize: 923864 KiB
Current children cumulated memory: 799776 KiB
[startup+3402.3 s]
/proc/loadavg: 4.05 4.11 4.15 5/255 21982
/proc/meminfo: memFree=126750128/131382120 swapFree=33010684/33010684
[pid=21715] ppid=21711 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21715/stat : 21715 (run-dec.sh) S 21711 21715 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34264939 4292608 736 18446744073709551615 94708173434880 94708174329413 140726129759104 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94708174568464 94708174616208 94708194615296 140726129764717 140726129764840 140726129764840 140726129770442 0
/proc/21715/statm: 1048 736 672 219 0 110 0
[pid=21717] ppid=21715 vsize=919672 memory=796960 CPUtime=3393.26 cores=4,6
/proc/21717/stat : 21717 (roundingsat) R 21715 21715 21352 0 -1 4194304 75115 0 0 0 337641 1685 0 0 20 0 1 0 34264940 941744128 199240 18446744073709551615 4227072 8923433 140732729319488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34107392 140732729321911 140732729322024 140732729322024 140732729327594 0
/proc/21717/statm: 229918 199240 2304 1147 0 217345 0
Current children cumulated CPU time: 3393.26 s
Current children cumulated vsize: 923864 KiB
Current children cumulated memory: 799904 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.12 4.15 5/255 21984
/proc/meminfo: memFree=126693196/131382120 swapFree=33010684/33010684
[pid=21715] ppid=21711 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21715/stat : 21715 (run-dec.sh) S 21711 21715 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34264939 4292608 736 18446744073709551615 94708173434880 94708174329413 140726129759104 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94708174568464 94708174616208 94708194615296 140726129764717 140726129764840 140726129764840 140726129770442 0
/proc/21715/statm: 1048 736 672 219 0 110 0
[pid=21717] ppid=21715 vsize=920776 memory=797856 CPUtime=3453.11 cores=4,6
/proc/21717/stat : 21717 (roundingsat) R 21715 21715 21352 0 -1 4194304 75367 0 0 0 343619 1692 0 0 20 0 1 0 34264940 942874624 199464 18446744073709551615 4227072 8923433 140732729319488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34107392 140732729321911 140732729322024 140732729322024 140732729327594 0
/proc/21717/statm: 230194 199464 2304 1147 0 217621 0
Current children cumulated CPU time: 3453.11 s
Current children cumulated vsize: 924968 KiB
Current children cumulated memory: 800800 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.13 4.15 5/255 21986
/proc/meminfo: memFree=126668932/131382120 swapFree=33010684/33010684
[pid=21715] ppid=21711 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21715/stat : 21715 (run-dec.sh) S 21711 21715 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34264939 4292608 736 18446744073709551615 94708173434880 94708174329413 140726129759104 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94708174568464 94708174616208 94708194615296 140726129764717 140726129764840 140726129764840 140726129770442 0
/proc/21715/statm: 1048 736 672 219 0 110 0
[pid=21717] ppid=21715 vsize=938124 memory=809120 CPUtime=3512.95 cores=4,6
/proc/21717/stat : 21717 (roundingsat) R 21715 21715 21352 0 -1 4194304 78207 0 0 0 349597 1698 0 0 20 0 1 0 34264940 960638976 202280 18446744073709551615 4227072 8923433 140732729319488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34107392 140732729321911 140732729322024 140732729322024 140732729327594 0
/proc/21717/statm: 234531 202280 2304 1147 0 221958 0
Current children cumulated CPU time: 3512.95 s
Current children cumulated vsize: 942316 KiB
Current children cumulated memory: 812064 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.13 4.15 5/254 21988
/proc/meminfo: memFree=126660828/131382120 swapFree=33010684/33010684
[pid=21715] ppid=21711 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21715/stat : 21715 (run-dec.sh) S 21711 21715 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34264939 4292608 736 18446744073709551615 94708173434880 94708174329413 140726129759104 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94708174568464 94708174616208 94708194615296 140726129764717 140726129764840 140726129764840 140726129770442 0
/proc/21715/statm: 1048 736 672 219 0 110 0
[pid=21717] ppid=21715 vsize=949280 memory=816672 CPUtime=3572.8 cores=4,6
/proc/21717/stat : 21717 (roundingsat) R 21715 21715 21352 0 -1 4194304 80107 0 0 0 355564 1716 0 0 20 0 1 0 34264940 972062720 204168 18446744073709551615 4227072 8923433 140732729319488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34107392 140732729321911 140732729322024 140732729322024 140732729327594 0
/proc/21717/statm: 237320 204168 2304 1147 0 224747 0
Current children cumulated CPU time: 3572.8 s
Current children cumulated vsize: 953472 KiB
Current children cumulated memory: 819616 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 4.10 4.12 4.14 5/254 21993
/proc/meminfo: memFree=126665312/131382120 swapFree=33010684/33010684
[pid=21715] ppid=21711 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21715/stat : 21715 (run-dec.sh) S 21711 21715 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34264939 4292608 736 18446744073709551615 94708173434880 94708174329413 140726129759104 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94708174568464 94708174616208 94708194615296 140726129764717 140726129764840 140726129764840 140726129770442 0
/proc/21715/statm: 1048 736 672 219 0 110 0
[pid=21717] ppid=21715 vsize=949280 memory=816672 CPUtime=3600.04 cores=4,6
/proc/21717/stat : 21717 (roundingsat) R 21715 21715 21352 0 -1 4194304 80107 0 0 0 358280 1724 0 0 20 0 1 0 34264940 972062720 204168 18446744073709551615 4227072 8923433 140732729319488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34107392 140732729321911 140732729322024 140732729322024 140732729327594 0
/proc/21717/statm: 237320 204168 2304 1147 0 224747 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 953472 KiB
Current children cumulated memory: 819616 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.61 s]
# the end of solver process 21715 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001284 s, system=0.003866 s
[startup+3609.61 s]
# the end of solver process 21717 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3582.8 s, system=17.2576 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
Child status: 2
Real time (s): 3609.61
CPU time (s): 3600.06
CPU user time (s): 3582.8
CPU system time (s): 17.2576
CPU usage (%): 99.7355
Max. virtual memory (cumulated for all children) (KiB): 953472
Max. memory (cumulated for all children) (KiB): 819616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.8
system time used= 17.2576
maximum resident set size= 817184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80333
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 292
involuntary context switches= 2455
# summary of solver processes directly reported to runsolver:
# pid: 21715,21717
# total CPU time (s): 3600.06
# total CPU user time (s): 3582.8
# total CPU system time (s): 17.2576
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.3117 second user time and 38.4115 second system time
The end
Begin job on nodeC008 at 2025-06-29 10:30:58
IDJOB=4507264
IDBENCH=158339
IDSOLVER=3349
FILE ID=nodeC008/4507264-1751185858
RUNJOBID= nodeC008-1751182246-21366
SLURM_JOB_ID= 9587557
Free space on /tmp= 433044 MiB
SOLVER NAME= roundingsat 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K90.opb
COMMAND LINE= run-dec.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507264-1751185858/watcher-4507264-1751185858 -o /tmp/evaluation-result-4507264-1751185858/solver-4507264-1751185858 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751182246-21366 --watchdog 3760 run-dec.sh HOME/instance-4507264-1751185858.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= dd58632d9551a3604736dadf6eadc418
RANDOM SEED=72166492
nodeC008 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.905
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.212
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.211
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.208
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.727
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3591.629
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.214
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1196.444
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 129218152 kB
MemAvailable: 128862416 kB
Buffers: 3280 kB
Cached: 453980 kB
SwapCached: 0 kB
Active: 1357400 kB
Inactive: 240700 kB
Active(anon): 1158796 kB
Inactive(anon): 0 kB
Active(file): 198604 kB
Inactive(file): 240700 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 16136 kB
Writeback: 24 kB
AnonPages: 1143396 kB
Mapped: 107888 kB
Shmem: 17956 kB
KReclaimable: 85100 kB
Slab: 163716 kB
SReclaimable: 85100 kB
SUnreclaim: 78616 kB
KernelStack: 3984 kB
PageTables: 5152 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 1493876 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149320 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1019904 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: 181064 kB
DirectMap2M: 9158656 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433028 MiB
End job on nodeC008 at 2025-06-29 11:31:08