0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.08/0.12 c #variables 6120 #constraints 6302
36.87/37.06 c #Conflicts: 1000 | #Constraints: 7301
36.87/37.06 c #Conflicts: 2000 | #Constraints: 8301
36.87/37.06 c INPROCESSING
36.87/37.06 c GARBAGE COLLECT
36.87/37.06 c #Conflicts: 3000 | #Constraints: 7984
36.87/37.06 c #Conflicts: 4000 | #Constraints: 8984
36.87/37.06 c INPROCESSING
36.87/37.06 c GARBAGE COLLECT
36.87/37.06 c #Conflicts: 5000 | #Constraints: 8433
36.87/37.06 c #Conflicts: 6000 | #Constraints: 9433
36.87/37.06 c INPROCESSING
36.87/37.06 c GARBAGE COLLECT
36.87/37.06 c #Conflicts: 7000 | #Constraints: 8488
36.87/37.06 c #Conflicts: 8000 | #Constraints: 9488
36.87/37.06 c #Conflicts: 9000 | #Constraints: 10488
36.87/37.06 c INPROCESSING
36.87/37.06 c GARBAGE COLLECT
36.87/37.06 c #Conflicts: 10000 | #Constraints: 9231
36.87/37.06 c #Conflicts: 11000 | #Constraints: 10231
36.87/37.06 c #Conflicts: 12000 | #Constraints: 11231
36.87/37.06 c INPROCESSING
36.87/37.06 c GARBAGE COLLECT
36.87/37.06 c #Conflicts: 13000 | #Constraints: 9734
36.87/37.06 c #Conflicts: 14000 | #Constraints: 10734
36.87/37.06 c #Conflicts: 15000 | #Constraints: 11734
36.87/37.06 c INPROCESSING
36.87/37.06 c GARBAGE COLLECT
36.87/37.06 c #Conflicts: 16000 | #Constraints: 9976
36.87/37.06 c #Conflicts: 17000 | #Constraints: 10976
36.87/37.06 c #Conflicts: 18000 | #Constraints: 11976
36.87/37.06 c INPROCESSING
36.87/37.06 c GARBAGE COLLECT
36.87/37.06 c #Conflicts: 19000 | #Constraints: 10023
36.87/37.06 c #Conflicts: 20000 | #Constraints: 11023
36.87/37.06 c #Conflicts: 21000 | #Constraints: 12023
36.87/37.06 c INPROCESSING
36.87/37.06 c GARBAGE COLLECT
36.87/37.06 c #Conflicts: 22000 | #Constraints: 9837
36.87/37.06 c #Conflicts: 23000 | #Constraints: 10837
36.87/37.06 c #Conflicts: 24000 | #Constraints: 11837
36.87/37.06 c #Conflicts: 25000 | #Constraints: 12837
36.87/37.06 c INPROCESSING
36.87/37.06 c GARBAGE COLLECT
36.87/37.06 c #Conflicts: 26000 | #Constraints: 10450
36.87/37.06 c #Conflicts: 27000 | #Constraints: 11450
36.87/37.06 c #Conflicts: 28000 | #Constraints: 12450
36.87/37.06 c #Conflicts: 29000 | #Constraints: 13450
36.87/37.06 c INPROCESSING
36.87/37.06 c GARBAGE COLLECT
36.87/37.06 c #Conflicts: 30000 | #Constraints: 10874
36.87/37.06 c #Conflicts: 31000 | #Constraints: 11874
36.87/37.06 c #Conflicts: 32000 | #Constraints: 12874
36.87/37.06 c #Conflicts: 33000 | #Constraints: 13874
36.87/37.06 c INPROCESSING
36.87/37.06 c GARBAGE COLLECT
36.87/37.06 c #Conflicts: 34000 | #Constraints: 11108
36.87/37.06 c #Conflicts: 35000 | #Constraints: 12108
36.87/37.06 c #Conflicts: 36000 | #Constraints: 13108
36.87/37.06 c #Conflicts: 37000 | #Constraints: 14108
36.87/37.06 c INPROCESSING
36.87/37.06 c GARBAGE COLLECT
36.87/37.06 c #Conflicts: 38000 | #Constraints: 11116
36.87/37.06 c #Conflicts: 39000 | #Constraints: 12116
36.87/37.06 c #Conflicts: 40000 | #Constraints: 13116
36.87/37.06 c #Conflicts: 41000 | #Constraints: 14116
36.87/37.06 c INPROCESSING
36.87/37.06 c GARBAGE COLLECT
36.87/37.06 c #Conflicts: 42000 | #Constraints: 10922
36.87/37.06 c #Conflicts: 43000 | #Constraints: 11922
36.87/37.06 c #Conflicts: 44000 | #Constraints: 12922
36.87/37.06 c #Conflicts: 45000 | #Constraints: 13922
36.87/37.06 c #Conflicts: 46000 | #Constraints: 14922
36.87/37.06 c INPROCESSING
36.87/37.06 c GARBAGE COLLECT
36.87/37.06 c #Conflicts: 47000 | #Constraints: 11543
36.87/37.06 c #Conflicts: 48000 | #Constraints: 12543
36.87/37.06 c #Conflicts: 49000 | #Constraints: 13543
36.87/37.06 c #Conflicts: 50000 | #Constraints: 14543
36.87/37.06 c #Conflicts: 51000 | #Constraints: 15543
36.87/37.06 c INPROCESSING
36.87/37.06 c GARBAGE COLLECT
36.87/37.06 c rational objective 90
95.10/95.40 c #Conflicts: 52000 | #Constraints: 11972
95.10/95.40 c #Conflicts: 53000 | #Constraints: 12972
95.10/95.40 c #Conflicts: 54000 | #Constraints: 13972
95.10/95.40 c #Conflicts: 55000 | #Constraints: 14972
95.10/95.40 c #Conflicts: 56000 | #Constraints: 15972
95.10/95.40 c INPROCESSING
95.10/95.40 c GARBAGE COLLECT
95.10/95.40 c #Conflicts: 57000 | #Constraints: 12238
95.10/95.40 c #Conflicts: 58000 | #Constraints: 13238
95.10/95.40 c #Conflicts: 59000 | #Constraints: 14238
95.10/95.40 c #Conflicts: 60000 | #Constraints: 15238
95.10/95.40 c #Conflicts: 61000 | #Constraints: 16238
95.10/95.40 c INPROCESSING
95.10/95.40 c GARBAGE COLLECT
95.10/95.40 c #Conflicts: 62000 | #Constraints: 12263
95.10/95.40 c #Conflicts: 63000 | #Constraints: 13263
95.10/95.40 c #Conflicts: 64000 | #Constraints: 14263
95.10/95.40 c #Conflicts: 65000 | #Constraints: 15263
95.10/95.40 c #Conflicts: 66000 | #Constraints: 16263
95.10/95.40 c INPROCESSING
95.10/95.40 c GARBAGE COLLECT
95.10/95.40 c #Conflicts: 67000 | #Constraints: 12066
95.10/95.40 c #Conflicts: 68000 | #Constraints: 13066
95.10/95.40 c #Conflicts: 69000 | #Constraints: 14066
95.10/95.40 c #Conflicts: 70000 | #Constraints: 15066
95.10/95.40 c #Conflicts: 71000 | #Constraints: 16066
95.10/95.40 c #Conflicts: 72000 | #Constraints: 17066
95.10/95.40 c INPROCESSING
95.10/95.40 c GARBAGE COLLECT
95.10/95.40 c #Conflicts: 73000 | #Constraints: 12682
95.10/95.40 c #Conflicts: 74000 | #Constraints: 13682
95.10/95.40 c #Conflicts: 75000 | #Constraints: 14682
95.10/95.40 c #Conflicts: 76000 | #Constraints: 15682
95.10/95.40 c #Conflicts: 77000 | #Constraints: 16682
95.10/95.40 c #Conflicts: 78000 | #Constraints: 17682
95.10/95.40 c #Conflicts: 79000 | #Constraints: 18682
95.10/95.40 c #Conflicts: 80000 | #Constraints: 19682
95.10/95.40 c #Conflicts: 81000 | #Constraints: 20682
95.10/95.40 c #Conflicts: 82000 | #Constraints: 21682
95.10/95.40 c #Conflicts: 83000 | #Constraints: 22682
95.10/95.40 c #Conflicts: 84000 | #Constraints: 23682
95.10/95.40 c #Conflicts: 85000 | #Constraints: 24682
95.10/95.40 c #Conflicts: 86000 | #Constraints: 25682
95.10/95.40 c #Conflicts: 87000 | #Constraints: 26682
95.10/95.40 c #Conflicts: 88000 | #Constraints: 27682
95.10/95.40 c #Conflicts: 89000 | #Constraints: 28682
95.10/95.40 c #Conflicts: 90000 | #Constraints: 29682
95.10/95.40 c #Conflicts: 91000 | #Constraints: 30682
95.10/95.40 c #Conflicts: 92000 | #Constraints: 31682
95.10/95.40 c #Conflicts: 93000 | #Constraints: 32682
95.10/95.40 c #Conflicts: 94000 | #Constraints: 33682
95.10/95.40 c #Conflicts: 95000 | #Constraints: 34682
95.10/95.40 c #Conflicts: 96000 | #Constraints: 35682
95.10/95.40 c INPROCESSING
95.10/95.40 c GARBAGE COLLECT
95.10/95.40 c #Conflicts: 97000 | #Constraints: 22132
95.10/95.40 c #Conflicts: 98000 | #Constraints: 23132
95.10/95.40 c #Conflicts: 99000 | #Constraints: 24132
95.10/95.40 c #Conflicts: 100000 | #Constraints: 25132
95.10/95.40 c #Conflicts: 101000 | #Constraints: 26132
95.10/95.40 c #Conflicts: 102000 | #Constraints: 27132
95.10/95.40 c INPROCESSING
95.10/95.40 c GARBAGE COLLECT
95.10/95.40 c #Conflicts: 103000 | #Constraints: 17384
95.10/95.40 c #Conflicts: 104000 | #Constraints: 18384
95.10/95.40 c #Conflicts: 105000 | #Constraints: 19384
95.10/95.40 c #Conflicts: 106000 | #Constraints: 20384
95.10/95.40 c #Conflicts: 107000 | #Constraints: 21384
95.10/95.40 c #Conflicts: 108000 | #Constraints: 22384
95.10/95.40 c #Conflicts: 109000 | #Constraints: 23384
95.10/95.40 c #Conflicts: 110000 | #Constraints: 24384
95.10/95.40 c INPROCESSING
95.10/95.40 c GARBAGE COLLECT
95.10/95.40 c #Conflicts: 111000 | #Constraints: 16475
95.10/95.40 c #Conflicts: 112000 | #Constraints: 17475
95.10/95.40 c #Conflicts: 113000 | #Constraints: 18475
95.10/95.40 c #Conflicts: 114000 | #Constraints: 19475
95.10/95.40 c #Conflicts: 115000 | #Constraints: 20475
95.10/95.40 c #Conflicts: 116000 | #Constraints: 21475
95.10/95.40 c #Conflicts: 117000 | #Constraints: 22475
95.10/95.40 c INPROCESSING
95.10/95.40 c GARBAGE COLLECT
95.10/95.40 c #Conflicts: 118000 | #Constraints: 15424
95.10/95.40 c #Conflicts: 119000 | #Constraints: 16424
95.10/95.40 c #Conflicts: 120000 | #Constraints: 17424
95.10/95.40 c #Conflicts: 121000 | #Constraints: 18424
95.10/95.40 c #Conflicts: 122000 | #Constraints: 19424
95.10/95.40 c #Conflicts: 123000 | #Constraints: 20424
95.10/95.40 c #Conflicts: 124000 | #Constraints: 21424
95.10/95.40 c INPROCESSING
95.10/95.40 c GARBAGE COLLECT
95.10/95.40 c #Conflicts: 125000 | #Constraints: 14591
155.44/155.99 c #Conflicts: 126000 | #Constraints: 15591
155.44/155.99 c #Conflicts: 127000 | #Constraints: 16591
155.44/155.99 c #Conflicts: 128000 | #Constraints: 17591
155.44/155.99 c #Conflicts: 129000 | #Constraints: 18591
155.44/155.99 c #Conflicts: 130000 | #Constraints: 19591
155.44/155.99 c #Conflicts: 131000 | #Constraints: 20591
155.44/155.99 c #Conflicts: 132000 | #Constraints: 21591
155.44/155.99 c INPROCESSING
155.44/155.99 c GARBAGE COLLECT
155.44/155.99 c #Conflicts: 133000 | #Constraints: 14813
155.44/155.99 c #Conflicts: 134000 | #Constraints: 15813
155.44/155.99 c #Conflicts: 135000 | #Constraints: 16813
155.44/155.99 c #Conflicts: 136000 | #Constraints: 17813
155.44/155.99 c #Conflicts: 137000 | #Constraints: 18813
155.44/155.99 c #Conflicts: 138000 | #Constraints: 19813
155.44/155.99 c #Conflicts: 139000 | #Constraints: 20813
155.44/155.99 c #Conflicts: 140000 | #Constraints: 21813
155.44/155.99 c #Conflicts: 141000 | #Constraints: 22813
155.44/155.99 c #Conflicts: 142000 | #Constraints: 23813
155.44/155.99 c #Conflicts: 143000 | #Constraints: 24813
155.44/155.99 c #Conflicts: 144000 | #Constraints: 25813
155.44/155.99 c #Conflicts: 145000 | #Constraints: 26813
155.44/155.99 c #Conflicts: 146000 | #Constraints: 27813
155.44/155.99 c #Conflicts: 147000 | #Constraints: 28813
155.44/155.99 c #Conflicts: 148000 | #Constraints: 29813
155.44/155.99 c #Conflicts: 149000 | #Constraints: 30813
155.44/155.99 c #Conflicts: 150000 | #Constraints: 31813
155.44/155.99 c #Conflicts: 151000 | #Constraints: 32813
155.44/155.99 c #Conflicts: 152000 | #Constraints: 33813
155.44/155.99 c #Conflicts: 153000 | #Constraints: 34813
155.44/155.99 c #Conflicts: 154000 | #Constraints: 35813
155.44/155.99 c #Conflicts: 155000 | #Constraints: 36813
155.44/155.99 c #Conflicts: 156000 | #Constraints: 37813
155.44/155.99 c #Conflicts: 157000 | #Constraints: 38813
155.44/155.99 c #Conflicts: 158000 | #Constraints: 39813
155.44/155.99 c #Conflicts: 159000 | #Constraints: 40813
155.44/155.99 c #Conflicts: 160000 | #Constraints: 41813
155.44/155.99 c #Conflicts: 161000 | #Constraints: 42813
155.44/155.99 c #Conflicts: 162000 | #Constraints: 43813
155.44/155.99 c #Conflicts: 163000 | #Constraints: 44813
155.44/155.99 c INPROCESSING
155.44/155.99 c GARBAGE COLLECT
155.44/155.99 c #Conflicts: 164000 | #Constraints: 26297
155.44/155.99 c #Conflicts: 165000 | #Constraints: 27297
155.44/155.99 c #Conflicts: 166000 | #Constraints: 28297
155.44/155.99 c #Conflicts: 167000 | #Constraints: 29297
155.44/155.99 c #Conflicts: 168000 | #Constraints: 30297
155.44/155.99 c #Conflicts: 169000 | #Constraints: 31297
155.44/155.99 c #Conflicts: 170000 | #Constraints: 32297
155.44/155.99 c #Conflicts: 171000 | #Constraints: 33297
155.44/155.99 c #Conflicts: 172000 | #Constraints: 34297
155.44/155.99 c INPROCESSING
155.44/155.99 c GARBAGE COLLECT
155.44/155.99 c #Conflicts: 173000 | #Constraints: 21134
155.44/155.99 c #Conflicts: 174000 | #Constraints: 22134
155.44/155.99 c #Conflicts: 175000 | #Constraints: 23134
155.44/155.99 c #Conflicts: 176000 | #Constraints: 24134
155.44/155.99 c #Conflicts: 177000 | #Constraints: 25134
155.44/155.99 c #Conflicts: 178000 | #Constraints: 26134
155.44/155.99 c #Conflicts: 179000 | #Constraints: 27134
155.44/155.99 c #Conflicts: 180000 | #Constraints: 28134
155.44/155.99 c #Conflicts: 181000 | #Constraints: 29134
155.44/155.99 c #Conflicts: 182000 | #Constraints: 30134
155.44/155.99 c INPROCESSING
155.44/155.99 c GARBAGE COLLECT
155.44/155.99 c #Conflicts: 183000 | #Constraints: 19404
155.44/155.99 c #Conflicts: 184000 | #Constraints: 20404
155.44/155.99 c #Conflicts: 185000 | #Constraints: 21404
155.44/155.99 c #Conflicts: 186000 | #Constraints: 22404
155.44/155.99 c #Conflicts: 187000 | #Constraints: 23404
155.44/155.99 c #Conflicts: 188000 | #Constraints: 24404
155.44/155.99 c #Conflicts: 189000 | #Constraints: 25404
155.44/155.99 c #Conflicts: 190000 | #Constraints: 26404
155.44/155.99 c #Conflicts: 191000 | #Constraints: 27404
155.44/155.99 c INPROCESSING
155.44/155.99 c GARBAGE COLLECT
155.44/155.99 c rational objective 90
170.80/171.38 c #Conflicts: 192000 | #Constraints: 17851
170.80/171.38 c #Conflicts: 193000 | #Constraints: 18851
170.80/171.38 c #Conflicts: 194000 | #Constraints: 19851
170.80/171.38 c #Conflicts: 195000 | #Constraints: 20851
170.80/171.38 c #Conflicts: 196000 | #Constraints: 21851
170.80/171.38 c #Conflicts: 197000 | #Constraints: 22851
170.80/171.38 c #Conflicts: 198000 | #Constraints: 23851
170.80/171.38 c #Conflicts: 199000 | #Constraints: 24851
170.80/171.38 c #Conflicts: 200000 | #Constraints: 25851
170.80/171.38 c #Conflicts: 201000 | #Constraints: 26851
170.80/171.38 c INPROCESSING
170.80/171.38 c GARBAGE COLLECT
170.80/171.38 c rational objective 90
267.93/268.71 c #Conflicts: 202000 | #Constraints: 17801
267.93/268.71 c #Conflicts: 203000 | #Constraints: 18801
267.93/268.71 c #Conflicts: 204000 | #Constraints: 19801
267.93/268.71 c #Conflicts: 205000 | #Constraints: 20801
267.93/268.71 c #Conflicts: 206000 | #Constraints: 21801
267.93/268.71 c #Conflicts: 207000 | #Constraints: 22801
267.93/268.71 c #Conflicts: 208000 | #Constraints: 23801
267.93/268.71 c #Conflicts: 209000 | #Constraints: 24801
267.93/268.71 c #Conflicts: 210000 | #Constraints: 25801
267.93/268.71 c #Conflicts: 211000 | #Constraints: 26801
267.93/268.71 c #Conflicts: 212000 | #Constraints: 27801
267.93/268.71 c #Conflicts: 213000 | #Constraints: 28801
267.93/268.71 c #Conflicts: 214000 | #Constraints: 29801
267.93/268.71 c #Conflicts: 215000 | #Constraints: 30801
267.93/268.71 c #Conflicts: 216000 | #Constraints: 31801
267.93/268.71 c #Conflicts: 217000 | #Constraints: 32801
267.93/268.71 c #Conflicts: 218000 | #Constraints: 33801
267.93/268.71 c #Conflicts: 219000 | #Constraints: 34801
267.93/268.71 c #Conflicts: 220000 | #Constraints: 35801
267.93/268.71 c #Conflicts: 221000 | #Constraints: 36801
267.93/268.71 c #Conflicts: 222000 | #Constraints: 37801
267.93/268.71 c #Conflicts: 223000 | #Constraints: 38801
267.93/268.71 c #Conflicts: 224000 | #Constraints: 39801
267.93/268.71 c #Conflicts: 225000 | #Constraints: 40801
267.93/268.71 c #Conflicts: 226000 | #Constraints: 41801
267.93/268.71 c #Conflicts: 227000 | #Constraints: 42801
267.93/268.71 c #Conflicts: 228000 | #Constraints: 43801
267.93/268.71 c #Conflicts: 229000 | #Constraints: 44801
267.93/268.71 c #Conflicts: 230000 | #Constraints: 45801
267.93/268.71 c #Conflicts: 231000 | #Constraints: 46801
267.93/268.71 c #Conflicts: 232000 | #Constraints: 47801
267.93/268.71 c #Conflicts: 233000 | #Constraints: 48801
267.93/268.71 c #Conflicts: 234000 | #Constraints: 49801
267.93/268.71 c #Conflicts: 235000 | #Constraints: 50801
267.93/268.71 c #Conflicts: 236000 | #Constraints: 51801
267.93/268.71 c #Conflicts: 237000 | #Constraints: 52801
267.93/268.71 c #Conflicts: 238000 | #Constraints: 53801
267.93/268.71 c INPROCESSING
267.93/268.71 c GARBAGE COLLECT
267.93/268.71 c #Conflicts: 239000 | #Constraints: 30870
267.93/268.71 c #Conflicts: 240000 | #Constraints: 31870
267.93/268.71 c #Conflicts: 241000 | #Constraints: 32870
267.93/268.71 c #Conflicts: 242000 | #Constraints: 33870
267.93/268.71 c #Conflicts: 243000 | #Constraints: 34870
267.93/268.71 c #Conflicts: 244000 | #Constraints: 35870
267.93/268.71 c #Conflicts: 245000 | #Constraints: 36870
267.93/268.71 c #Conflicts: 246000 | #Constraints: 37870
267.93/268.71 c #Conflicts: 247000 | #Constraints: 38870
267.93/268.71 c #Conflicts: 248000 | #Constraints: 39870
267.93/268.71 c #Conflicts: 249000 | #Constraints: 40870
267.93/268.71 c INPROCESSING
267.93/268.71 c GARBAGE COLLECT
267.93/268.71 c #Conflicts: 250000 | #Constraints: 24513
267.93/268.71 c #Conflicts: 251000 | #Constraints: 25513
267.93/268.71 c #Conflicts: 252000 | #Constraints: 26513
267.93/268.71 c #Conflicts: 253000 | #Constraints: 27513
267.93/268.71 c #Conflicts: 254000 | #Constraints: 28513
267.93/268.71 c #Conflicts: 255000 | #Constraints: 29513
267.93/268.71 c #Conflicts: 256000 | #Constraints: 30513
267.93/268.71 c #Conflicts: 257000 | #Constraints: 31513
267.93/268.71 c #Conflicts: 258000 | #Constraints: 32513
267.93/268.71 c #Conflicts: 259000 | #Constraints: 33513
267.93/268.71 c #Conflicts: 260000 | #Constraints: 34513
267.93/268.71 c INPROCESSING
267.93/268.71 c GARBAGE COLLECT
267.93/268.71 c #Conflicts: 261000 | #Constraints: 21248
267.93/268.71 c #Conflicts: 262000 | #Constraints: 22248
267.93/268.71 c #Conflicts: 263000 | #Constraints: 23248
267.93/268.71 c #Conflicts: 264000 | #Constraints: 24248
267.93/268.71 c #Conflicts: 265000 | #Constraints: 25248
267.93/268.71 c #Conflicts: 266000 | #Constraints: 26248
267.93/268.71 c #Conflicts: 267000 | #Constraints: 27248
267.93/268.71 c #Conflicts: 268000 | #Constraints: 28248
267.93/268.71 c #Conflicts: 269000 | #Constraints: 29248
267.93/268.71 c #Conflicts: 270000 | #Constraints: 30248
267.93/268.71 c #Conflicts: 271000 | #Constraints: 31248
267.93/268.71 c #Conflicts: 272000 | #Constraints: 32248
267.93/268.71 c INPROCESSING
267.93/268.71 c GARBAGE COLLECT
267.93/268.71 c #Conflicts: 273000 | #Constraints: 20520
267.93/268.71 c #Conflicts: 274000 | #Constraints: 21520
267.93/268.71 c #Conflicts: 275000 | #Constraints: 22520
267.93/268.71 c #Conflicts: 276000 | #Constraints: 23520
267.93/268.71 c #Conflicts: 277000 | #Constraints: 24520
267.93/268.71 c #Conflicts: 278000 | #Constraints: 25520
337.50/338.51 c #Conflicts: 279000 | #Constraints: 26520
337.50/338.51 c #Conflicts: 280000 | #Constraints: 27520
337.50/338.51 c #Conflicts: 281000 | #Constraints: 28520
337.50/338.51 c #Conflicts: 282000 | #Constraints: 29520
337.50/338.51 c #Conflicts: 283000 | #Constraints: 30520
337.50/338.51 c INPROCESSING
337.50/338.51 c GARBAGE COLLECT
337.50/338.51 c #Conflicts: 284000 | #Constraints: 19378
337.50/338.51 c #Conflicts: 285000 | #Constraints: 20378
337.50/338.51 c #Conflicts: 286000 | #Constraints: 21378
337.50/338.51 c #Conflicts: 287000 | #Constraints: 22378
337.50/338.51 c #Conflicts: 288000 | #Constraints: 23378
337.50/338.51 c #Conflicts: 289000 | #Constraints: 24378
337.50/338.51 c #Conflicts: 290000 | #Constraints: 25378
337.50/338.51 c #Conflicts: 291000 | #Constraints: 26378
337.50/338.51 c #Conflicts: 292000 | #Constraints: 27378
337.50/338.51 c #Conflicts: 293000 | #Constraints: 28378
337.50/338.51 c #Conflicts: 294000 | #Constraints: 29378
337.50/338.51 c #Conflicts: 295000 | #Constraints: 30378
337.50/338.51 c #Conflicts: 296000 | #Constraints: 31378
337.50/338.51 c #Conflicts: 297000 | #Constraints: 32378
337.50/338.51 c #Conflicts: 298000 | #Constraints: 33378
337.50/338.51 c #Conflicts: 299000 | #Constraints: 34378
337.50/338.51 c #Conflicts: 300000 | #Constraints: 35378
337.50/338.51 c #Conflicts: 301000 | #Constraints: 36378
337.50/338.51 c #Conflicts: 302000 | #Constraints: 37378
337.50/338.51 c #Conflicts: 303000 | #Constraints: 38378
337.50/338.51 c #Conflicts: 304000 | #Constraints: 39378
337.50/338.51 c #Conflicts: 305000 | #Constraints: 40378
337.50/338.51 c #Conflicts: 306000 | #Constraints: 41378
337.50/338.51 c #Conflicts: 307000 | #Constraints: 42378
337.50/338.51 c #Conflicts: 308000 | #Constraints: 43378
337.50/338.51 c #Conflicts: 309000 | #Constraints: 44378
337.50/338.51 c #Conflicts: 310000 | #Constraints: 45378
337.50/338.51 c #Conflicts: 311000 | #Constraints: 46378
337.50/338.51 c #Conflicts: 312000 | #Constraints: 47378
337.50/338.51 c #Conflicts: 313000 | #Constraints: 48378
337.50/338.51 c #Conflicts: 314000 | #Constraints: 49378
337.50/338.51 c #Conflicts: 315000 | #Constraints: 50378
337.50/338.51 c #Conflicts: 316000 | #Constraints: 51378
337.50/338.51 c #Conflicts: 317000 | #Constraints: 52378
337.50/338.51 c #Conflicts: 318000 | #Constraints: 53378
337.50/338.51 c #Conflicts: 319000 | #Constraints: 54378
337.50/338.51 c #Conflicts: 320000 | #Constraints: 55378
337.50/338.51 c #Conflicts: 321000 | #Constraints: 56378
337.50/338.51 c #Conflicts: 322000 | #Constraints: 57378
337.50/338.51 c #Conflicts: 323000 | #Constraints: 58378
337.50/338.51 c #Conflicts: 324000 | #Constraints: 59378
337.50/338.51 c #Conflicts: 325000 | #Constraints: 60378
337.50/338.51 c #Conflicts: 326000 | #Constraints: 61378
337.50/338.51 c #Conflicts: 327000 | #Constraints: 62378
337.50/338.51 c INPROCESSING
337.50/338.51 c GARBAGE COLLECT
337.50/338.51 c rational objective 90
361.53/362.61 c #Conflicts: 328000 | #Constraints: 35323
361.53/362.61 c #Conflicts: 329000 | #Constraints: 36323
361.53/362.61 c #Conflicts: 330000 | #Constraints: 37323
361.53/362.61 c #Conflicts: 331000 | #Constraints: 38323
361.53/362.61 c #Conflicts: 332000 | #Constraints: 39323
361.53/362.61 c #Conflicts: 333000 | #Constraints: 40323
361.53/362.61 c #Conflicts: 334000 | #Constraints: 41323
361.53/362.61 c #Conflicts: 335000 | #Constraints: 42323
361.53/362.61 c #Conflicts: 336000 | #Constraints: 43323
361.53/362.61 c #Conflicts: 337000 | #Constraints: 44323
361.53/362.61 c #Conflicts: 338000 | #Constraints: 45323
361.53/362.61 c #Conflicts: 339000 | #Constraints: 46323
361.53/362.61 c #Conflicts: 340000 | #Constraints: 47323
361.53/362.61 c INPROCESSING
361.53/362.61 c GARBAGE COLLECT
361.53/362.61 c rational objective 90
450.45/451.89 c #Conflicts: 341000 | #Constraints: 27892
450.45/451.89 c #Conflicts: 342000 | #Constraints: 28892
450.45/451.89 c #Conflicts: 343000 | #Constraints: 29892
450.45/451.89 c #Conflicts: 344000 | #Constraints: 30892
450.45/451.89 c #Conflicts: 345000 | #Constraints: 31892
450.45/451.89 c #Conflicts: 346000 | #Constraints: 32892
450.45/451.89 c #Conflicts: 347000 | #Constraints: 33892
450.45/451.89 c #Conflicts: 348000 | #Constraints: 34892
450.45/451.89 c #Conflicts: 349000 | #Constraints: 35892
450.45/451.89 c #Conflicts: 350000 | #Constraints: 36892
450.45/451.89 c #Conflicts: 351000 | #Constraints: 37892
450.45/451.89 c #Conflicts: 352000 | #Constraints: 38892
450.45/451.89 c #Conflicts: 353000 | #Constraints: 39892
450.45/451.89 c INPROCESSING
450.45/451.89 c GARBAGE COLLECT
450.45/451.89 c #Conflicts: 354000 | #Constraints: 24138
450.45/451.89 c #Conflicts: 355000 | #Constraints: 25138
450.45/451.89 c #Conflicts: 356000 | #Constraints: 26138
450.45/451.89 c #Conflicts: 357000 | #Constraints: 27138
450.45/451.89 c #Conflicts: 358000 | #Constraints: 28138
450.45/451.89 c #Conflicts: 359000 | #Constraints: 29138
450.45/451.89 c #Conflicts: 360000 | #Constraints: 30138
450.45/451.89 c #Conflicts: 361000 | #Constraints: 31138
450.45/451.89 c #Conflicts: 362000 | #Constraints: 32138
450.45/451.89 c #Conflicts: 363000 | #Constraints: 33138
450.45/451.89 c #Conflicts: 364000 | #Constraints: 34138
450.45/451.89 c #Conflicts: 365000 | #Constraints: 35138
450.45/451.89 c #Conflicts: 366000 | #Constraints: 36138
450.45/451.89 c INPROCESSING
450.45/451.89 c GARBAGE COLLECT
450.45/451.89 c #Conflicts: 367000 | #Constraints: 22205
450.45/451.89 c #Conflicts: 368000 | #Constraints: 23205
450.45/451.89 c #Conflicts: 369000 | #Constraints: 24205
450.45/451.89 c #Conflicts: 370000 | #Constraints: 25205
450.45/451.89 c #Conflicts: 371000 | #Constraints: 26205
450.45/451.89 c #Conflicts: 372000 | #Constraints: 27205
450.45/451.89 c #Conflicts: 373000 | #Constraints: 28205
450.45/451.89 c #Conflicts: 374000 | #Constraints: 29205
450.45/451.89 c #Conflicts: 375000 | #Constraints: 30205
450.45/451.89 c #Conflicts: 376000 | #Constraints: 31205
450.45/451.89 c #Conflicts: 377000 | #Constraints: 32205
450.45/451.89 c #Conflicts: 378000 | #Constraints: 33205
450.45/451.89 c #Conflicts: 379000 | #Constraints: 34205
450.45/451.89 c #Conflicts: 380000 | #Constraints: 35205
450.45/451.89 c INPROCESSING
450.45/451.89 c GARBAGE COLLECT
450.45/451.89 c #Conflicts: 381000 | #Constraints: 22012
450.45/451.89 c #Conflicts: 382000 | #Constraints: 23012
450.45/451.89 c #Conflicts: 383000 | #Constraints: 24012
450.45/451.89 c #Conflicts: 384000 | #Constraints: 25012
450.45/451.89 c #Conflicts: 385000 | #Constraints: 26012
450.45/451.89 c #Conflicts: 386000 | #Constraints: 27012
450.45/451.89 c #Conflicts: 387000 | #Constraints: 28012
450.45/451.89 c #Conflicts: 388000 | #Constraints: 29012
450.45/451.89 c #Conflicts: 389000 | #Constraints: 30012
450.45/451.89 c #Conflicts: 390000 | #Constraints: 31012
450.45/451.89 c #Conflicts: 391000 | #Constraints: 32012
450.45/451.89 c #Conflicts: 392000 | #Constraints: 33012
450.45/451.89 c #Conflicts: 393000 | #Constraints: 34012
450.45/451.89 c #Conflicts: 394000 | #Constraints: 35012
450.45/451.89 c #Conflicts: 395000 | #Constraints: 36012
450.45/451.89 c #Conflicts: 396000 | #Constraints: 37012
450.45/451.89 c #Conflicts: 397000 | #Constraints: 38012
450.45/451.89 c #Conflicts: 398000 | #Constraints: 39012
450.45/451.89 c #Conflicts: 399000 | #Constraints: 40012
450.45/451.89 c #Conflicts: 400000 | #Constraints: 41012
450.45/451.89 c #Conflicts: 401000 | #Constraints: 42012
450.45/451.89 c #Conflicts: 402000 | #Constraints: 43012
450.45/451.89 c #Conflicts: 403000 | #Constraints: 44012
450.45/451.89 c #Conflicts: 404000 | #Constraints: 45012
450.45/451.89 c #Conflicts: 405000 | #Constraints: 46012
450.45/451.89 c #Conflicts: 406000 | #Constraints: 47012
450.45/451.89 c #Conflicts: 407000 | #Constraints: 48012
450.45/451.89 c #Conflicts: 408000 | #Constraints: 49012
450.45/451.89 c #Conflicts: 409000 | #Constraints: 50012
450.45/451.89 c #Conflicts: 410000 | #Constraints: 51012
450.45/451.89 c #Conflicts: 411000 | #Constraints: 52012
450.45/451.89 c #Conflicts: 412000 | #Constraints: 53012
450.45/451.89 c #Conflicts: 413000 | #Constraints: 54012
450.45/451.89 c #Conflicts: 414000 | #Constraints: 55012
450.45/451.89 c #Conflicts: 415000 | #Constraints: 56012
450.45/451.89 c #Conflicts: 416000 | #Constraints: 57012
450.45/451.89 c #Conflicts: 417000 | #Constraints: 58012
539.47/541.14 c #Conflicts: 418000 | #Constraints: 59012
539.47/541.14 c #Conflicts: 419000 | #Constraints: 60012
539.47/541.14 c #Conflicts: 420000 | #Constraints: 61012
539.47/541.14 c #Conflicts: 421000 | #Constraints: 62012
539.47/541.14 c #Conflicts: 422000 | #Constraints: 63012
539.47/541.14 c #Conflicts: 423000 | #Constraints: 64012
539.47/541.14 c #Conflicts: 424000 | #Constraints: 65012
539.47/541.14 c #Conflicts: 425000 | #Constraints: 66012
539.47/541.14 c #Conflicts: 426000 | #Constraints: 67012
539.47/541.14 c #Conflicts: 427000 | #Constraints: 68012
539.47/541.14 c #Conflicts: 428000 | #Constraints: 69012
539.47/541.14 c #Conflicts: 429000 | #Constraints: 70012
539.47/541.14 c #Conflicts: 430000 | #Constraints: 71012
539.47/541.14 c INPROCESSING
539.47/541.14 c GARBAGE COLLECT
539.47/541.14 c #Conflicts: 431000 | #Constraints: 39715
539.47/541.14 c #Conflicts: 432000 | #Constraints: 40715
539.47/541.14 c #Conflicts: 433000 | #Constraints: 41715
539.47/541.14 c #Conflicts: 434000 | #Constraints: 42715
539.47/541.14 c #Conflicts: 435000 | #Constraints: 43715
539.47/541.14 c #Conflicts: 436000 | #Constraints: 44715
539.47/541.14 c #Conflicts: 437000 | #Constraints: 45715
539.47/541.14 c #Conflicts: 438000 | #Constraints: 46715
539.47/541.14 c #Conflicts: 439000 | #Constraints: 47715
539.47/541.14 c #Conflicts: 440000 | #Constraints: 48715
539.47/541.14 c #Conflicts: 441000 | #Constraints: 49715
539.47/541.14 c #Conflicts: 442000 | #Constraints: 50715
539.47/541.14 c #Conflicts: 443000 | #Constraints: 51715
539.47/541.14 c #Conflicts: 444000 | #Constraints: 52715
539.47/541.14 c #Conflicts: 445000 | #Constraints: 53715
539.47/541.14 c INPROCESSING
539.47/541.14 c GARBAGE COLLECT
539.47/541.14 c #Conflicts: 446000 | #Constraints: 31196
539.47/541.14 c #Conflicts: 447000 | #Constraints: 32196
539.47/541.14 c #Conflicts: 448000 | #Constraints: 33196
539.47/541.14 c #Conflicts: 449000 | #Constraints: 34196
539.47/541.14 c #Conflicts: 450000 | #Constraints: 35196
539.47/541.14 c #Conflicts: 451000 | #Constraints: 36196
539.47/541.14 c #Conflicts: 452000 | #Constraints: 37196
539.47/541.14 c #Conflicts: 453000 | #Constraints: 38196
539.47/541.14 c #Conflicts: 454000 | #Constraints: 39196
539.47/541.14 c #Conflicts: 455000 | #Constraints: 40196
539.47/541.14 c #Conflicts: 456000 | #Constraints: 41196
539.47/541.14 c #Conflicts: 457000 | #Constraints: 42196
539.47/541.14 c #Conflicts: 458000 | #Constraints: 43196
539.47/541.14 c #Conflicts: 459000 | #Constraints: 44196
539.47/541.14 c #Conflicts: 460000 | #Constraints: 45196
539.47/541.14 c INPROCESSING
539.47/541.14 c GARBAGE COLLECT
539.47/541.14 c #Conflicts: 461000 | #Constraints: 27058
539.47/541.14 c #Conflicts: 462000 | #Constraints: 28058
539.47/541.14 c #Conflicts: 463000 | #Constraints: 29058
539.47/541.14 c #Conflicts: 464000 | #Constraints: 30058
539.47/541.14 c #Conflicts: 465000 | #Constraints: 31058
539.47/541.14 c #Conflicts: 466000 | #Constraints: 32058
539.47/541.14 c #Conflicts: 467000 | #Constraints: 33058
539.47/541.14 c #Conflicts: 468000 | #Constraints: 34058
539.47/541.14 c #Conflicts: 469000 | #Constraints: 35058
539.47/541.14 c #Conflicts: 470000 | #Constraints: 36058
539.47/541.14 c #Conflicts: 471000 | #Constraints: 37058
539.47/541.14 c #Conflicts: 472000 | #Constraints: 38058
539.47/541.14 c #Conflicts: 473000 | #Constraints: 39058
539.47/541.14 c #Conflicts: 474000 | #Constraints: 40058
539.47/541.14 c #Conflicts: 475000 | #Constraints: 41058
539.47/541.14 c INPROCESSING
539.47/541.14 c GARBAGE COLLECT
539.47/541.14 c rational objective 90
666.24/668.32 c #Conflicts: 476000 | #Constraints: 24863
666.24/668.32 c #Conflicts: 477000 | #Constraints: 25863
666.24/668.32 c #Conflicts: 478000 | #Constraints: 26863
666.24/668.32 c #Conflicts: 479000 | #Constraints: 27863
666.24/668.32 c #Conflicts: 480000 | #Constraints: 28863
666.24/668.32 c #Conflicts: 481000 | #Constraints: 29863
666.24/668.32 c #Conflicts: 482000 | #Constraints: 30863
666.24/668.32 c #Conflicts: 483000 | #Constraints: 31863
666.24/668.32 c #Conflicts: 484000 | #Constraints: 32863
666.24/668.32 c #Conflicts: 485000 | #Constraints: 33863
666.24/668.32 c #Conflicts: 486000 | #Constraints: 34863
666.24/668.32 c #Conflicts: 487000 | #Constraints: 35863
666.24/668.32 c #Conflicts: 488000 | #Constraints: 36863
666.24/668.32 c #Conflicts: 489000 | #Constraints: 37863
666.24/668.32 c #Conflicts: 490000 | #Constraints: 38863
666.24/668.32 c INPROCESSING
666.24/668.32 c GARBAGE COLLECT
666.24/668.32 c #Conflicts: 491000 | #Constraints: 23627
666.24/668.32 c #Conflicts: 492000 | #Constraints: 24627
666.24/668.32 c #Conflicts: 493000 | #Constraints: 25627
666.24/668.32 c #Conflicts: 494000 | #Constraints: 26627
666.24/668.32 c #Conflicts: 495000 | #Constraints: 27627
666.24/668.32 c #Conflicts: 496000 | #Constraints: 28627
666.24/668.32 c #Conflicts: 497000 | #Constraints: 29627
666.24/668.32 c #Conflicts: 498000 | #Constraints: 30627
666.24/668.32 c #Conflicts: 499000 | #Constraints: 31627
666.24/668.32 c #Conflicts: 500000 | #Constraints: 32627
666.24/668.32 c #Conflicts: 501000 | #Constraints: 33627
666.24/668.32 c #Conflicts: 502000 | #Constraints: 34627
666.24/668.32 c #Conflicts: 503000 | #Constraints: 35627
666.24/668.32 c #Conflicts: 504000 | #Constraints: 36627
666.24/668.32 c #Conflicts: 505000 | #Constraints: 37627
666.24/668.32 c #Conflicts: 506000 | #Constraints: 38627
666.24/668.32 c #Conflicts: 507000 | #Constraints: 39627
666.24/668.32 c #Conflicts: 508000 | #Constraints: 40627
666.24/668.32 c #Conflicts: 509000 | #Constraints: 41627
666.24/668.32 c #Conflicts: 510000 | #Constraints: 42627
666.24/668.32 c #Conflicts: 511000 | #Constraints: 43627
666.24/668.32 c #Conflicts: 512000 | #Constraints: 44627
666.24/668.32 c #Conflicts: 513000 | #Constraints: 45627
666.24/668.32 c #Conflicts: 514000 | #Constraints: 46627
666.24/668.32 c #Conflicts: 515000 | #Constraints: 47627
666.24/668.32 c #Conflicts: 516000 | #Constraints: 48627
666.24/668.32 c #Conflicts: 517000 | #Constraints: 49627
666.24/668.32 c #Conflicts: 518000 | #Constraints: 50627
666.24/668.32 c #Conflicts: 519000 | #Constraints: 51627
666.24/668.32 c #Conflicts: 520000 | #Constraints: 52627
666.24/668.32 c #Conflicts: 521000 | #Constraints: 53627
666.24/668.32 c #Conflicts: 522000 | #Constraints: 54627
666.24/668.32 c #Conflicts: 523000 | #Constraints: 55627
666.24/668.32 c #Conflicts: 524000 | #Constraints: 56627
666.24/668.32 c #Conflicts: 525000 | #Constraints: 57627
666.24/668.32 c #Conflicts: 526000 | #Constraints: 58627
666.24/668.32 c #Conflicts: 527000 | #Constraints: 59627
666.24/668.32 c #Conflicts: 528000 | #Constraints: 60627
666.24/668.32 c #Conflicts: 529000 | #Constraints: 61627
666.24/668.32 c #Conflicts: 530000 | #Constraints: 62627
666.24/668.32 c #Conflicts: 531000 | #Constraints: 63627
666.24/668.32 c #Conflicts: 532000 | #Constraints: 64627
666.24/668.32 c #Conflicts: 533000 | #Constraints: 65627
666.24/668.32 c #Conflicts: 534000 | #Constraints: 66627
666.24/668.32 c #Conflicts: 535000 | #Constraints: 67627
666.24/668.32 c #Conflicts: 536000 | #Constraints: 68627
666.24/668.32 c #Conflicts: 537000 | #Constraints: 69627
666.24/668.32 c #Conflicts: 538000 | #Constraints: 70627
666.24/668.32 c #Conflicts: 539000 | #Constraints: 71627
666.24/668.32 c #Conflicts: 540000 | #Constraints: 72627
666.24/668.32 c #Conflicts: 541000 | #Constraints: 73627
666.24/668.32 c #Conflicts: 542000 | #Constraints: 74627
666.24/668.32 c #Conflicts: 543000 | #Constraints: 75627
666.24/668.32 c #Conflicts: 544000 | #Constraints: 76627
666.24/668.32 c #Conflicts: 545000 | #Constraints: 77627
666.24/668.32 c #Conflicts: 546000 | #Constraints: 78627
666.24/668.32 c #Conflicts: 547000 | #Constraints: 79627
666.24/668.32 c INPROCESSING
666.24/668.32 c GARBAGE COLLECT
666.24/668.32 c #Conflicts: 548000 | #Constraints: 44074
666.24/668.32 c #Conflicts: 549000 | #Constraints: 45074
666.24/668.32 c #Conflicts: 550000 | #Constraints: 46074
666.24/668.32 c #Conflicts: 551000 | #Constraints: 47074
666.24/668.32 c #Conflicts: 552000 | #Constraints: 48074
666.24/668.32 c #Conflicts: 553000 | #Constraints: 49074
757.31/759.65 c #Conflicts: 554000 | #Constraints: 50074
757.31/759.65 c #Conflicts: 555000 | #Constraints: 51074
757.31/759.65 c #Conflicts: 556000 | #Constraints: 52074
757.31/759.65 c #Conflicts: 557000 | #Constraints: 53074
757.31/759.65 c #Conflicts: 558000 | #Constraints: 54074
757.31/759.65 c #Conflicts: 559000 | #Constraints: 55074
757.31/759.65 c #Conflicts: 560000 | #Constraints: 56074
757.31/759.65 c #Conflicts: 561000 | #Constraints: 57074
757.31/759.65 c #Conflicts: 562000 | #Constraints: 58074
757.31/759.65 c #Conflicts: 563000 | #Constraints: 59074
757.31/759.65 c #Conflicts: 564000 | #Constraints: 60074
757.31/759.65 c INPROCESSING
757.31/759.65 c GARBAGE COLLECT
757.31/759.65 c #Conflicts: 565000 | #Constraints: 34558
757.31/759.65 c #Conflicts: 566000 | #Constraints: 35558
757.31/759.65 c #Conflicts: 567000 | #Constraints: 36558
757.31/759.65 c #Conflicts: 568000 | #Constraints: 37558
757.31/759.65 c #Conflicts: 569000 | #Constraints: 38558
757.31/759.65 c #Conflicts: 570000 | #Constraints: 39558
757.31/759.65 c #Conflicts: 571000 | #Constraints: 40558
757.31/759.65 c #Conflicts: 572000 | #Constraints: 41558
757.31/759.65 c #Conflicts: 573000 | #Constraints: 42558
757.31/759.65 c #Conflicts: 574000 | #Constraints: 43558
757.31/759.65 c #Conflicts: 575000 | #Constraints: 44558
757.31/759.65 c #Conflicts: 576000 | #Constraints: 45558
757.31/759.65 c #Conflicts: 577000 | #Constraints: 46558
757.31/759.65 c #Conflicts: 578000 | #Constraints: 47558
757.31/759.65 c #Conflicts: 579000 | #Constraints: 48558
757.31/759.65 c #Conflicts: 580000 | #Constraints: 49558
757.31/759.65 c INPROCESSING
757.31/759.65 c GARBAGE COLLECT
757.31/759.65 c #Conflicts: 581000 | #Constraints: 28830
757.31/759.65 c #Conflicts: 582000 | #Constraints: 29830
757.31/759.65 c #Conflicts: 583000 | #Constraints: 30830
757.31/759.65 c #Conflicts: 584000 | #Constraints: 31830
757.31/759.65 c #Conflicts: 585000 | #Constraints: 32830
757.31/759.65 c #Conflicts: 586000 | #Constraints: 33830
757.31/759.65 c #Conflicts: 587000 | #Constraints: 34830
757.31/759.65 c #Conflicts: 588000 | #Constraints: 35830
757.31/759.65 c #Conflicts: 589000 | #Constraints: 36830
757.31/759.65 c #Conflicts: 590000 | #Constraints: 37830
757.31/759.65 c #Conflicts: 591000 | #Constraints: 38830
757.31/759.65 c #Conflicts: 592000 | #Constraints: 39830
757.31/759.65 c #Conflicts: 593000 | #Constraints: 40830
757.31/759.65 c #Conflicts: 594000 | #Constraints: 41830
757.31/759.65 c #Conflicts: 595000 | #Constraints: 42830
757.31/759.65 c #Conflicts: 596000 | #Constraints: 43830
757.31/759.65 c #Conflicts: 597000 | #Constraints: 44830
757.31/759.65 c INPROCESSING
757.31/759.65 c GARBAGE COLLECT
757.31/759.65 c #Conflicts: 598000 | #Constraints: 26484
757.31/759.65 c #Conflicts: 599000 | #Constraints: 27484
757.31/759.65 c #Conflicts: 600000 | #Constraints: 28484
757.31/759.65 c #Conflicts: 601000 | #Constraints: 29484
757.31/759.65 c #Conflicts: 602000 | #Constraints: 30484
757.31/759.65 c #Conflicts: 603000 | #Constraints: 31484
757.31/759.65 c #Conflicts: 604000 | #Constraints: 32484
757.31/759.65 c #Conflicts: 605000 | #Constraints: 33484
757.31/759.65 c #Conflicts: 606000 | #Constraints: 34484
757.31/759.65 c #Conflicts: 607000 | #Constraints: 35484
757.31/759.65 c #Conflicts: 608000 | #Constraints: 36484
757.31/759.65 c #Conflicts: 609000 | #Constraints: 37484
757.31/759.65 c #Conflicts: 610000 | #Constraints: 38484
757.31/759.65 c #Conflicts: 611000 | #Constraints: 39484
757.31/759.65 c #Conflicts: 612000 | #Constraints: 40484
757.31/759.65 c #Conflicts: 613000 | #Constraints: 41484
757.31/759.65 c #Conflicts: 614000 | #Constraints: 42484
757.31/759.65 c #Conflicts: 615000 | #Constraints: 43484
757.31/759.65 c INPROCESSING
757.31/759.65 c GARBAGE COLLECT
757.31/759.65 c #Conflicts: 616000 | #Constraints: 26176
757.31/759.65 c #Conflicts: 617000 | #Constraints: 27176
757.31/759.65 c #Conflicts: 618000 | #Constraints: 28176
757.31/759.65 c #Conflicts: 619000 | #Constraints: 29176
757.31/759.65 c #Conflicts: 620000 | #Constraints: 30176
757.31/759.65 c #Conflicts: 621000 | #Constraints: 31176
757.31/759.65 c #Conflicts: 622000 | #Constraints: 32176
757.31/759.65 c #Conflicts: 623000 | #Constraints: 33176
757.31/759.65 c #Conflicts: 624000 | #Constraints: 34176
757.31/759.65 c #Conflicts: 625000 | #Constraints: 35176
757.31/759.65 c #Conflicts: 626000 | #Constraints: 36176
757.31/759.65 c #Conflicts: 627000 | #Constraints: 37176
757.31/759.65 c #Conflicts: 628000 | #Constraints: 38176
757.31/759.65 c #Conflicts: 629000 | #Constraints: 39176
902.82/905.57 c #Conflicts: 630000 | #Constraints: 40176
902.82/905.57 c #Conflicts: 631000 | #Constraints: 41176
902.82/905.57 c #Conflicts: 632000 | #Constraints: 42176
902.82/905.57 c #Conflicts: 633000 | #Constraints: 43176
902.82/905.57 c #Conflicts: 634000 | #Constraints: 44176
902.82/905.57 c #Conflicts: 635000 | #Constraints: 45176
902.82/905.57 c #Conflicts: 636000 | #Constraints: 46176
902.82/905.57 c #Conflicts: 637000 | #Constraints: 47176
902.82/905.57 c #Conflicts: 638000 | #Constraints: 48176
902.82/905.57 c #Conflicts: 639000 | #Constraints: 49176
902.82/905.57 c #Conflicts: 640000 | #Constraints: 50176
902.82/905.57 c #Conflicts: 641000 | #Constraints: 51176
902.82/905.57 c #Conflicts: 642000 | #Constraints: 52176
902.82/905.57 c #Conflicts: 643000 | #Constraints: 53176
902.82/905.57 c #Conflicts: 644000 | #Constraints: 54176
902.82/905.57 c #Conflicts: 645000 | #Constraints: 55176
902.82/905.57 c #Conflicts: 646000 | #Constraints: 56176
902.82/905.57 c #Conflicts: 647000 | #Constraints: 57176
902.82/905.57 c #Conflicts: 648000 | #Constraints: 58176
902.82/905.57 c #Conflicts: 649000 | #Constraints: 59176
902.82/905.57 c #Conflicts: 650000 | #Constraints: 60176
902.82/905.57 c #Conflicts: 651000 | #Constraints: 61176
902.82/905.57 c #Conflicts: 652000 | #Constraints: 62176
902.82/905.57 c #Conflicts: 653000 | #Constraints: 63176
902.82/905.57 c #Conflicts: 654000 | #Constraints: 64176
902.82/905.57 c #Conflicts: 655000 | #Constraints: 65176
902.82/905.57 c #Conflicts: 656000 | #Constraints: 66176
902.82/905.57 c #Conflicts: 657000 | #Constraints: 67176
902.82/905.57 c #Conflicts: 658000 | #Constraints: 68176
902.82/905.57 c #Conflicts: 659000 | #Constraints: 69176
902.82/905.57 c #Conflicts: 660000 | #Constraints: 70176
902.82/905.57 c #Conflicts: 661000 | #Constraints: 71176
902.82/905.57 c #Conflicts: 662000 | #Constraints: 72176
902.82/905.57 c #Conflicts: 663000 | #Constraints: 73176
902.82/905.57 c #Conflicts: 664000 | #Constraints: 74176
902.82/905.57 c #Conflicts: 665000 | #Constraints: 75176
902.82/905.57 c #Conflicts: 666000 | #Constraints: 76176
902.82/905.57 c #Conflicts: 667000 | #Constraints: 77176
902.82/905.57 c #Conflicts: 668000 | #Constraints: 78176
902.82/905.57 c #Conflicts: 669000 | #Constraints: 79176
902.82/905.57 c #Conflicts: 670000 | #Constraints: 80176
902.82/905.57 c #Conflicts: 671000 | #Constraints: 81176
902.82/905.57 c #Conflicts: 672000 | #Constraints: 82176
902.82/905.57 c #Conflicts: 673000 | #Constraints: 83176
902.82/905.57 c #Conflicts: 674000 | #Constraints: 84176
902.82/905.57 c #Conflicts: 675000 | #Constraints: 85176
902.82/905.57 c #Conflicts: 676000 | #Constraints: 86176
902.82/905.57 c #Conflicts: 677000 | #Constraints: 87176
902.82/905.57 c #Conflicts: 678000 | #Constraints: 88176
902.82/905.57 c INPROCESSING
902.82/905.57 c GARBAGE COLLECT
902.82/905.57 c rational objective 90
940.93/943.71 c #Conflicts: 679000 | #Constraints: 48433
940.93/943.71 c #Conflicts: 680000 | #Constraints: 49433
940.93/943.71 c #Conflicts: 681000 | #Constraints: 50433
940.93/943.71 c #Conflicts: 682000 | #Constraints: 51433
940.93/943.71 c #Conflicts: 683000 | #Constraints: 52433
940.93/943.71 c #Conflicts: 684000 | #Constraints: 53433
940.93/943.71 c #Conflicts: 685000 | #Constraints: 54433
940.93/943.71 c #Conflicts: 686000 | #Constraints: 55433
940.93/943.71 c #Conflicts: 687000 | #Constraints: 56433
940.93/943.71 c #Conflicts: 688000 | #Constraints: 57433
940.93/943.71 c #Conflicts: 689000 | #Constraints: 58433
940.93/943.71 c #Conflicts: 690000 | #Constraints: 59433
940.93/943.71 c #Conflicts: 691000 | #Constraints: 60433
940.93/943.71 c #Conflicts: 692000 | #Constraints: 61433
940.93/943.71 c #Conflicts: 693000 | #Constraints: 62433
940.93/943.71 c #Conflicts: 694000 | #Constraints: 63433
940.93/943.71 c #Conflicts: 695000 | #Constraints: 64433
940.93/943.71 c #Conflicts: 696000 | #Constraints: 65433
940.93/943.71 c INPROCESSING
940.93/943.71 c GARBAGE COLLECT
940.93/943.71 c rational objective 90
975.74/978.63 c #Conflicts: 697000 | #Constraints: 36860
975.74/978.63 c #Conflicts: 698000 | #Constraints: 37860
975.74/978.63 c #Conflicts: 699000 | #Constraints: 38860
975.74/978.63 c #Conflicts: 700000 | #Constraints: 39860
975.74/978.63 c #Conflicts: 701000 | #Constraints: 40860
975.74/978.63 c #Conflicts: 702000 | #Constraints: 41860
975.74/978.63 c #Conflicts: 703000 | #Constraints: 42860
975.74/978.63 c #Conflicts: 704000 | #Constraints: 43860
975.74/978.63 c #Conflicts: 705000 | #Constraints: 44860
975.74/978.63 c #Conflicts: 706000 | #Constraints: 45860
975.74/978.63 c #Conflicts: 707000 | #Constraints: 46860
975.74/978.63 c #Conflicts: 708000 | #Constraints: 47860
975.74/978.63 c #Conflicts: 709000 | #Constraints: 48860
975.74/978.63 c #Conflicts: 710000 | #Constraints: 49860
975.74/978.63 c #Conflicts: 711000 | #Constraints: 50860
975.74/978.63 c #Conflicts: 712000 | #Constraints: 51860
975.74/978.63 c #Conflicts: 713000 | #Constraints: 52860
975.74/978.63 c #Conflicts: 714000 | #Constraints: 53860
975.74/978.63 c #Conflicts: 715000 | #Constraints: 54860
975.74/978.63 c INPROCESSING
975.74/978.63 c GARBAGE COLLECT
975.74/978.63 c rational objective 90
1077.27/1080.47 c #Conflicts: 716000 | #Constraints: 31639
1077.27/1080.47 c #Conflicts: 717000 | #Constraints: 32639
1077.27/1080.47 c #Conflicts: 718000 | #Constraints: 33639
1077.27/1080.47 c #Conflicts: 719000 | #Constraints: 34639
1077.27/1080.47 c #Conflicts: 720000 | #Constraints: 35639
1077.27/1080.47 c #Conflicts: 721000 | #Constraints: 36639
1077.27/1080.47 c #Conflicts: 722000 | #Constraints: 37639
1077.27/1080.47 c #Conflicts: 723000 | #Constraints: 38639
1077.27/1080.47 c #Conflicts: 724000 | #Constraints: 39639
1077.27/1080.47 c #Conflicts: 725000 | #Constraints: 40639
1077.27/1080.47 c #Conflicts: 726000 | #Constraints: 41639
1077.27/1080.47 c #Conflicts: 727000 | #Constraints: 42639
1077.27/1080.47 c #Conflicts: 728000 | #Constraints: 43639
1077.27/1080.47 c #Conflicts: 729000 | #Constraints: 44639
1077.27/1080.47 c #Conflicts: 730000 | #Constraints: 45639
1077.27/1080.47 c #Conflicts: 731000 | #Constraints: 46639
1077.27/1080.47 c #Conflicts: 732000 | #Constraints: 47639
1077.27/1080.47 c #Conflicts: 733000 | #Constraints: 48639
1077.27/1080.47 c #Conflicts: 734000 | #Constraints: 49639
1077.27/1080.47 c INPROCESSING
1077.27/1080.47 c GARBAGE COLLECT
1077.27/1080.47 c #Conflicts: 735000 | #Constraints: 29056
1077.27/1080.47 c #Conflicts: 736000 | #Constraints: 30056
1077.27/1080.47 c #Conflicts: 737000 | #Constraints: 31056
1077.27/1080.47 c #Conflicts: 738000 | #Constraints: 32056
1077.27/1080.47 c #Conflicts: 739000 | #Constraints: 33056
1077.27/1080.47 c #Conflicts: 740000 | #Constraints: 34056
1077.27/1080.47 c #Conflicts: 741000 | #Constraints: 35056
1077.27/1080.47 c #Conflicts: 742000 | #Constraints: 36056
1077.27/1080.47 c #Conflicts: 743000 | #Constraints: 37056
1077.27/1080.47 c #Conflicts: 744000 | #Constraints: 38056
1077.27/1080.47 c #Conflicts: 745000 | #Constraints: 39056
1077.27/1080.47 c #Conflicts: 746000 | #Constraints: 40056
1077.27/1080.47 c #Conflicts: 747000 | #Constraints: 41056
1077.27/1080.47 c #Conflicts: 748000 | #Constraints: 42056
1077.27/1080.47 c #Conflicts: 749000 | #Constraints: 43056
1077.27/1080.47 c #Conflicts: 750000 | #Constraints: 44056
1077.27/1080.47 c #Conflicts: 751000 | #Constraints: 45056
1077.27/1080.47 c #Conflicts: 752000 | #Constraints: 46056
1077.27/1080.47 c #Conflicts: 753000 | #Constraints: 47056
1077.27/1080.47 c INPROCESSING
1077.27/1080.47 c GARBAGE COLLECT
1077.27/1080.47 c #Conflicts: 754000 | #Constraints: 27694
1077.27/1080.47 c #Conflicts: 755000 | #Constraints: 28694
1077.27/1080.47 c #Conflicts: 756000 | #Constraints: 29694
1077.27/1080.47 c #Conflicts: 757000 | #Constraints: 30694
1077.27/1080.47 c #Conflicts: 758000 | #Constraints: 31694
1077.27/1080.47 c #Conflicts: 759000 | #Constraints: 32694
1077.27/1080.47 c #Conflicts: 760000 | #Constraints: 33694
1077.27/1080.47 c #Conflicts: 761000 | #Constraints: 34694
1077.27/1080.47 c #Conflicts: 762000 | #Constraints: 35694
1077.27/1080.47 c #Conflicts: 763000 | #Constraints: 36694
1077.27/1080.47 c #Conflicts: 764000 | #Constraints: 37694
1077.27/1080.47 c #Conflicts: 765000 | #Constraints: 38694
1077.27/1080.47 c #Conflicts: 766000 | #Constraints: 39694
1077.27/1080.47 c #Conflicts: 767000 | #Constraints: 40694
1077.27/1080.47 c #Conflicts: 768000 | #Constraints: 41694
1077.27/1080.47 c #Conflicts: 769000 | #Constraints: 42694
1077.27/1080.47 c #Conflicts: 770000 | #Constraints: 43694
1077.27/1080.47 c #Conflicts: 771000 | #Constraints: 44694
1077.27/1080.47 c #Conflicts: 772000 | #Constraints: 45694
1077.27/1080.47 c #Conflicts: 773000 | #Constraints: 46694
1077.27/1080.47 c #Conflicts: 774000 | #Constraints: 47694
1077.27/1080.47 c #Conflicts: 775000 | #Constraints: 48694
1077.27/1080.47 c #Conflicts: 776000 | #Constraints: 49694
1077.27/1080.47 c #Conflicts: 777000 | #Constraints: 50694
1077.27/1080.47 c #Conflicts: 778000 | #Constraints: 51694
1077.27/1080.47 c #Conflicts: 779000 | #Constraints: 52694
1077.27/1080.47 c #Conflicts: 780000 | #Constraints: 53694
1077.27/1080.47 c #Conflicts: 781000 | #Constraints: 54694
1077.27/1080.47 c #Conflicts: 782000 | #Constraints: 55694
1077.27/1080.47 c #Conflicts: 783000 | #Constraints: 56694
1077.27/1080.47 c #Conflicts: 784000 | #Constraints: 57694
1077.27/1080.47 c #Conflicts: 785000 | #Constraints: 58694
1077.27/1080.47 c #Conflicts: 786000 | #Constraints: 59694
1077.27/1080.47 c #Conflicts: 787000 | #Constraints: 60694
1077.27/1080.47 c #Conflicts: 788000 | #Constraints: 61694
1077.27/1080.47 c #Conflicts: 789000 | #Constraints: 62694
1077.27/1080.47 c #Conflicts: 790000 | #Constraints: 63694
1077.27/1080.47 c #Conflicts: 791000 | #Constraints: 64694
1077.27/1080.47 c #Conflicts: 792000 | #Constraints: 65694
1077.27/1080.47 c #Conflicts: 793000 | #Constraints: 66694
1169.93/1173.31 c #Conflicts: 794000 | #Constraints: 67694
1169.93/1173.31 c #Conflicts: 795000 | #Constraints: 68694
1169.93/1173.31 c #Conflicts: 796000 | #Constraints: 69694
1169.93/1173.31 c #Conflicts: 797000 | #Constraints: 70694
1169.93/1173.31 c #Conflicts: 798000 | #Constraints: 71694
1169.93/1173.31 c #Conflicts: 799000 | #Constraints: 72694
1169.93/1173.31 c #Conflicts: 800000 | #Constraints: 73694
1169.93/1173.31 c #Conflicts: 801000 | #Constraints: 74694
1169.93/1173.31 c #Conflicts: 802000 | #Constraints: 75694
1169.93/1173.31 c #Conflicts: 803000 | #Constraints: 76694
1169.93/1173.31 c #Conflicts: 804000 | #Constraints: 77694
1169.93/1173.31 c #Conflicts: 805000 | #Constraints: 78694
1169.93/1173.31 c #Conflicts: 806000 | #Constraints: 79694
1169.93/1173.31 c #Conflicts: 807000 | #Constraints: 80694
1169.93/1173.31 c #Conflicts: 808000 | #Constraints: 81694
1169.93/1173.31 c #Conflicts: 809000 | #Constraints: 82694
1169.93/1173.31 c #Conflicts: 810000 | #Constraints: 83694
1169.93/1173.31 c #Conflicts: 811000 | #Constraints: 84694
1169.93/1173.31 c #Conflicts: 812000 | #Constraints: 85694
1169.93/1173.31 c #Conflicts: 813000 | #Constraints: 86694
1169.93/1173.31 c #Conflicts: 814000 | #Constraints: 87694
1169.93/1173.31 c #Conflicts: 815000 | #Constraints: 88694
1169.93/1173.31 c #Conflicts: 816000 | #Constraints: 89694
1169.93/1173.31 c #Conflicts: 817000 | #Constraints: 90694
1169.93/1173.31 c #Conflicts: 818000 | #Constraints: 91694
1169.93/1173.31 c #Conflicts: 819000 | #Constraints: 92694
1169.93/1173.31 c #Conflicts: 820000 | #Constraints: 93694
1169.93/1173.31 c #Conflicts: 821000 | #Constraints: 94694
1169.93/1173.31 c #Conflicts: 822000 | #Constraints: 95694
1169.93/1173.31 c #Conflicts: 823000 | #Constraints: 96694
1169.93/1173.31 c INPROCESSING
1169.93/1173.31 c GARBAGE COLLECT
1169.93/1173.31 c rational objective 90
1213.63/1217.12 c #Conflicts: 824000 | #Constraints: 52715
1213.63/1217.12 c #Conflicts: 825000 | #Constraints: 53715
1213.63/1217.12 c #Conflicts: 826000 | #Constraints: 54715
1213.63/1217.12 c #Conflicts: 827000 | #Constraints: 55715
1213.63/1217.12 c #Conflicts: 828000 | #Constraints: 56715
1213.63/1217.12 c #Conflicts: 829000 | #Constraints: 57715
1213.63/1217.12 c #Conflicts: 830000 | #Constraints: 58715
1213.63/1217.12 c #Conflicts: 831000 | #Constraints: 59715
1213.63/1217.12 c #Conflicts: 832000 | #Constraints: 60715
1213.63/1217.12 c #Conflicts: 833000 | #Constraints: 61715
1213.63/1217.12 c #Conflicts: 834000 | #Constraints: 62715
1213.63/1217.12 c #Conflicts: 835000 | #Constraints: 63715
1213.63/1217.12 c #Conflicts: 836000 | #Constraints: 64715
1213.63/1217.12 c #Conflicts: 837000 | #Constraints: 65715
1213.63/1217.12 c #Conflicts: 838000 | #Constraints: 66715
1213.63/1217.12 c #Conflicts: 839000 | #Constraints: 67715
1213.63/1217.12 c #Conflicts: 840000 | #Constraints: 68715
1213.63/1217.12 c #Conflicts: 841000 | #Constraints: 69715
1213.63/1217.12 c #Conflicts: 842000 | #Constraints: 70715
1213.63/1217.12 c #Conflicts: 843000 | #Constraints: 71715
1213.63/1217.12 c INPROCESSING
1213.63/1217.12 c GARBAGE COLLECT
1213.63/1217.12 c rational objective 90
1297.70/1301.50 c #Conflicts: 844000 | #Constraints: 40123
1297.70/1301.50 c #Conflicts: 845000 | #Constraints: 41123
1297.70/1301.50 c #Conflicts: 846000 | #Constraints: 42123
1297.70/1301.50 c #Conflicts: 847000 | #Constraints: 43123
1297.70/1301.50 c #Conflicts: 848000 | #Constraints: 44123
1297.70/1301.50 c #Conflicts: 849000 | #Constraints: 45123
1297.70/1301.50 c #Conflicts: 850000 | #Constraints: 46123
1297.70/1301.50 c #Conflicts: 851000 | #Constraints: 47123
1297.70/1301.50 c #Conflicts: 852000 | #Constraints: 48123
1297.70/1301.50 c #Conflicts: 853000 | #Constraints: 49123
1297.70/1301.50 c #Conflicts: 854000 | #Constraints: 50123
1297.70/1301.50 c #Conflicts: 855000 | #Constraints: 51123
1297.70/1301.50 c #Conflicts: 856000 | #Constraints: 52123
1297.70/1301.50 c #Conflicts: 857000 | #Constraints: 53123
1297.70/1301.50 c #Conflicts: 858000 | #Constraints: 54123
1297.70/1301.50 c #Conflicts: 859000 | #Constraints: 55123
1297.70/1301.50 c #Conflicts: 860000 | #Constraints: 56123
1297.70/1301.50 c #Conflicts: 861000 | #Constraints: 57123
1297.70/1301.50 c #Conflicts: 862000 | #Constraints: 58123
1297.70/1301.50 c #Conflicts: 863000 | #Constraints: 59123
1297.70/1301.50 c #Conflicts: 864000 | #Constraints: 60123
1297.70/1301.50 c INPROCESSING
1297.70/1301.50 c GARBAGE COLLECT
1297.70/1301.50 c #Conflicts: 865000 | #Constraints: 34462
1297.70/1301.50 c #Conflicts: 866000 | #Constraints: 35462
1297.70/1301.50 c #Conflicts: 867000 | #Constraints: 36462
1297.70/1301.50 c #Conflicts: 868000 | #Constraints: 37462
1297.70/1301.50 c #Conflicts: 869000 | #Constraints: 38462
1297.70/1301.50 c #Conflicts: 870000 | #Constraints: 39462
1297.70/1301.50 c #Conflicts: 871000 | #Constraints: 40462
1297.70/1301.50 c #Conflicts: 872000 | #Constraints: 41462
1297.70/1301.50 c #Conflicts: 873000 | #Constraints: 42462
1297.70/1301.50 c #Conflicts: 874000 | #Constraints: 43462
1297.70/1301.50 c #Conflicts: 875000 | #Constraints: 44462
1297.70/1301.50 c #Conflicts: 876000 | #Constraints: 45462
1297.70/1301.50 c #Conflicts: 877000 | #Constraints: 46462
1297.70/1301.50 c #Conflicts: 878000 | #Constraints: 47462
1297.70/1301.50 c #Conflicts: 879000 | #Constraints: 48462
1297.70/1301.50 c #Conflicts: 880000 | #Constraints: 49462
1297.70/1301.50 c #Conflicts: 881000 | #Constraints: 50462
1297.70/1301.50 c #Conflicts: 882000 | #Constraints: 51462
1297.70/1301.50 c #Conflicts: 883000 | #Constraints: 52462
1297.70/1301.50 c #Conflicts: 884000 | #Constraints: 53462
1297.70/1301.50 c #Conflicts: 885000 | #Constraints: 54462
1297.70/1301.50 c INPROCESSING
1297.70/1301.50 c GARBAGE COLLECT
1297.70/1301.50 c #Conflicts: 886000 | #Constraints: 31684
1297.70/1301.50 c #Conflicts: 887000 | #Constraints: 32684
1297.70/1301.50 c #Conflicts: 888000 | #Constraints: 33684
1297.70/1301.50 c #Conflicts: 889000 | #Constraints: 34684
1297.70/1301.50 c #Conflicts: 890000 | #Constraints: 35684
1297.70/1301.50 c #Conflicts: 891000 | #Constraints: 36684
1297.70/1301.50 c #Conflicts: 892000 | #Constraints: 37684
1297.70/1301.50 c #Conflicts: 893000 | #Constraints: 38684
1297.70/1301.50 c #Conflicts: 894000 | #Constraints: 39684
1297.70/1301.50 c #Conflicts: 895000 | #Constraints: 40684
1297.70/1301.50 c #Conflicts: 896000 | #Constraints: 41684
1297.70/1301.50 c #Conflicts: 897000 | #Constraints: 42684
1297.70/1301.50 c #Conflicts: 898000 | #Constraints: 43684
1297.70/1301.50 c #Conflicts: 899000 | #Constraints: 44684
1297.70/1301.50 c #Conflicts: 900000 | #Constraints: 45684
1297.70/1301.50 c #Conflicts: 901000 | #Constraints: 46684
1297.70/1301.50 c #Conflicts: 902000 | #Constraints: 47684
1297.70/1301.50 c #Conflicts: 903000 | #Constraints: 48684
1297.70/1301.50 c #Conflicts: 904000 | #Constraints: 49684
1297.70/1301.50 c #Conflicts: 905000 | #Constraints: 50684
1297.70/1301.50 c #Conflicts: 906000 | #Constraints: 51684
1297.70/1301.50 c INPROCESSING
1297.70/1301.50 c GARBAGE COLLECT
1297.70/1301.50 c rational objective 90
1468.46/1472.70 c #Conflicts: 907000 | #Constraints: 30368
1468.46/1472.70 c #Conflicts: 908000 | #Constraints: 31368
1468.46/1472.70 c #Conflicts: 909000 | #Constraints: 32368
1468.46/1472.70 c #Conflicts: 910000 | #Constraints: 33368
1468.46/1472.70 c #Conflicts: 911000 | #Constraints: 34368
1468.46/1472.70 c #Conflicts: 912000 | #Constraints: 35368
1468.46/1472.70 c #Conflicts: 913000 | #Constraints: 36368
1468.46/1472.70 c #Conflicts: 914000 | #Constraints: 37368
1468.46/1472.70 c #Conflicts: 915000 | #Constraints: 38368
1468.46/1472.70 c #Conflicts: 916000 | #Constraints: 39368
1468.46/1472.70 c #Conflicts: 917000 | #Constraints: 40368
1468.46/1472.70 c #Conflicts: 918000 | #Constraints: 41368
1468.46/1472.70 c #Conflicts: 919000 | #Constraints: 42368
1468.46/1472.70 c #Conflicts: 920000 | #Constraints: 43368
1468.46/1472.70 c #Conflicts: 921000 | #Constraints: 44368
1468.46/1472.70 c #Conflicts: 922000 | #Constraints: 45368
1468.46/1472.70 c #Conflicts: 923000 | #Constraints: 46368
1468.46/1472.70 c #Conflicts: 924000 | #Constraints: 47368
1468.46/1472.70 c #Conflicts: 925000 | #Constraints: 48368
1468.46/1472.70 c #Conflicts: 926000 | #Constraints: 49368
1468.46/1472.70 c #Conflicts: 927000 | #Constraints: 50368
1468.46/1472.70 c #Conflicts: 928000 | #Constraints: 51368
1468.46/1472.70 c #Conflicts: 929000 | #Constraints: 52368
1468.46/1472.70 c #Conflicts: 930000 | #Constraints: 53368
1468.46/1472.70 c #Conflicts: 931000 | #Constraints: 54368
1468.46/1472.70 c #Conflicts: 932000 | #Constraints: 55368
1468.46/1472.70 c #Conflicts: 933000 | #Constraints: 56368
1468.46/1472.70 c #Conflicts: 934000 | #Constraints: 57368
1468.46/1472.70 c #Conflicts: 935000 | #Constraints: 58368
1468.46/1472.70 c #Conflicts: 936000 | #Constraints: 59368
1468.46/1472.70 c #Conflicts: 937000 | #Constraints: 60368
1468.46/1472.70 c #Conflicts: 938000 | #Constraints: 61368
1468.46/1472.70 c #Conflicts: 939000 | #Constraints: 62368
1468.46/1472.70 c #Conflicts: 940000 | #Constraints: 63368
1468.46/1472.70 c #Conflicts: 941000 | #Constraints: 64368
1468.46/1472.70 c #Conflicts: 942000 | #Constraints: 65368
1468.46/1472.70 c #Conflicts: 943000 | #Constraints: 66368
1468.46/1472.70 c #Conflicts: 944000 | #Constraints: 67368
1468.46/1472.70 c #Conflicts: 945000 | #Constraints: 68368
1468.46/1472.70 c #Conflicts: 946000 | #Constraints: 69368
1468.46/1472.70 c #Conflicts: 947000 | #Constraints: 70368
1468.46/1472.70 c #Conflicts: 948000 | #Constraints: 71368
1468.46/1472.70 c #Conflicts: 949000 | #Constraints: 72368
1468.46/1472.70 c #Conflicts: 950000 | #Constraints: 73368
1468.46/1472.70 c #Conflicts: 951000 | #Constraints: 74368
1468.46/1472.70 c #Conflicts: 952000 | #Constraints: 75368
1468.46/1472.70 c #Conflicts: 953000 | #Constraints: 76368
1468.46/1472.70 c #Conflicts: 954000 | #Constraints: 77368
1468.46/1472.70 c #Conflicts: 955000 | #Constraints: 78368
1468.46/1472.70 c #Conflicts: 956000 | #Constraints: 79368
1468.46/1472.70 c #Conflicts: 957000 | #Constraints: 80368
1468.46/1472.70 c #Conflicts: 958000 | #Constraints: 81368
1468.46/1472.70 c #Conflicts: 959000 | #Constraints: 82368
1468.46/1472.70 c #Conflicts: 960000 | #Constraints: 83368
1468.46/1472.70 c #Conflicts: 961000 | #Constraints: 84368
1468.46/1472.70 c #Conflicts: 962000 | #Constraints: 85368
1468.46/1472.70 c #Conflicts: 963000 | #Constraints: 86368
1468.46/1472.70 c #Conflicts: 964000 | #Constraints: 87368
1468.46/1472.70 c #Conflicts: 965000 | #Constraints: 88368
1468.46/1472.70 c #Conflicts: 966000 | #Constraints: 89368
1468.46/1472.70 c #Conflicts: 967000 | #Constraints: 90368
1468.46/1472.70 c #Conflicts: 968000 | #Constraints: 91368
1468.46/1472.70 c #Conflicts: 969000 | #Constraints: 92368
1468.46/1472.70 c #Conflicts: 970000 | #Constraints: 93368
1468.46/1472.70 c #Conflicts: 971000 | #Constraints: 94368
1468.46/1472.70 c #Conflicts: 972000 | #Constraints: 95368
1468.46/1472.70 c #Conflicts: 973000 | #Constraints: 96368
1468.46/1472.70 c #Conflicts: 974000 | #Constraints: 97368
1468.46/1472.70 c #Conflicts: 975000 | #Constraints: 98368
1468.46/1472.70 c #Conflicts: 976000 | #Constraints: 99368
1468.46/1472.70 c #Conflicts: 977000 | #Constraints: 100368
1468.46/1472.70 c #Conflicts: 978000 | #Constraints: 101368
1468.46/1472.70 c #Conflicts: 979000 | #Constraints: 102368
1468.46/1472.70 c #Conflicts: 980000 | #Constraints: 103368
1468.46/1472.70 c #Conflicts: 981000 | #Constraints: 104368
1468.46/1472.70 c #Conflicts: 982000 | #Constraints: 105368
1468.46/1472.70 c INPROCESSING
1468.46/1472.70 c GARBAGE COLLECT
1468.46/1472.70 c rational objective 90
1528.60/1532.95 c #Conflicts: 983000 | #Constraints: 57080
1528.60/1532.95 c #Conflicts: 984000 | #Constraints: 58080
1528.60/1532.95 c #Conflicts: 985000 | #Constraints: 59080
1528.60/1532.95 c #Conflicts: 986000 | #Constraints: 60080
1528.60/1532.95 c #Conflicts: 987000 | #Constraints: 61080
1528.60/1532.95 c #Conflicts: 988000 | #Constraints: 62080
1528.60/1532.95 c #Conflicts: 989000 | #Constraints: 63080
1528.60/1532.95 c #Conflicts: 990000 | #Constraints: 64080
1528.60/1532.95 c #Conflicts: 991000 | #Constraints: 65080
1528.60/1532.95 c #Conflicts: 992000 | #Constraints: 66080
1528.60/1532.95 c #Conflicts: 993000 | #Constraints: 67080
1528.60/1532.95 c #Conflicts: 994000 | #Constraints: 68080
1528.60/1532.95 c #Conflicts: 995000 | #Constraints: 69080
1528.60/1532.95 c #Conflicts: 996000 | #Constraints: 70080
1528.60/1532.95 c #Conflicts: 997000 | #Constraints: 71080
1528.60/1532.95 c #Conflicts: 998000 | #Constraints: 72080
1528.60/1532.95 c #Conflicts: 999000 | #Constraints: 73080
1528.60/1532.95 c #Conflicts: 1000000 | #Constraints: 74080
1528.60/1532.95 c #Conflicts: 1001000 | #Constraints: 75080
1528.60/1532.95 c #Conflicts: 1002000 | #Constraints: 76080
1528.60/1532.95 c #Conflicts: 1003000 | #Constraints: 77080
1528.60/1532.95 c #Conflicts: 1004000 | #Constraints: 78080
1528.60/1532.95 c INPROCESSING
1528.60/1532.95 c GARBAGE COLLECT
1528.60/1532.95 c rational objective 90
1666.24/1670.92 c #Conflicts: 1005000 | #Constraints: 43366
1666.24/1670.92 c #Conflicts: 1006000 | #Constraints: 44366
1666.24/1670.92 c #Conflicts: 1007000 | #Constraints: 45366
1666.24/1670.92 c #Conflicts: 1008000 | #Constraints: 46366
1666.24/1670.92 c #Conflicts: 1009000 | #Constraints: 47366
1666.24/1670.92 c #Conflicts: 1010000 | #Constraints: 48366
1666.24/1670.92 c #Conflicts: 1011000 | #Constraints: 49366
1666.24/1670.92 c #Conflicts: 1012000 | #Constraints: 50366
1666.24/1670.92 c #Conflicts: 1013000 | #Constraints: 51366
1666.24/1670.92 c #Conflicts: 1014000 | #Constraints: 52366
1666.24/1670.92 c #Conflicts: 1015000 | #Constraints: 53366
1666.24/1670.92 c #Conflicts: 1016000 | #Constraints: 54366
1666.24/1670.92 c #Conflicts: 1017000 | #Constraints: 55366
1666.24/1670.92 c #Conflicts: 1018000 | #Constraints: 56366
1666.24/1670.92 c #Conflicts: 1019000 | #Constraints: 57366
1666.24/1670.92 c #Conflicts: 1020000 | #Constraints: 58366
1666.24/1670.92 c #Conflicts: 1021000 | #Constraints: 59366
1666.24/1670.92 c #Conflicts: 1022000 | #Constraints: 60366
1666.24/1670.92 c #Conflicts: 1023000 | #Constraints: 61366
1666.24/1670.92 c #Conflicts: 1024000 | #Constraints: 62366
1666.24/1670.92 c #Conflicts: 1025000 | #Constraints: 63366
1666.24/1670.92 c #Conflicts: 1026000 | #Constraints: 64366
1666.24/1670.92 c INPROCESSING
1666.24/1670.92 c GARBAGE COLLECT
1666.24/1670.92 c #Conflicts: 1027000 | #Constraints: 36249
1666.24/1670.92 c #Conflicts: 1028000 | #Constraints: 37249
1666.24/1670.92 c #Conflicts: 1029000 | #Constraints: 38249
1666.24/1670.92 c #Conflicts: 1030000 | #Constraints: 39249
1666.24/1670.92 c #Conflicts: 1031000 | #Constraints: 40249
1666.24/1670.92 c #Conflicts: 1032000 | #Constraints: 41249
1666.24/1670.92 c #Conflicts: 1033000 | #Constraints: 42249
1666.24/1670.92 c #Conflicts: 1034000 | #Constraints: 43249
1666.24/1670.92 c #Conflicts: 1035000 | #Constraints: 44249
1666.24/1670.92 c #Conflicts: 1036000 | #Constraints: 45249
1666.24/1670.92 c #Conflicts: 1037000 | #Constraints: 46249
1666.24/1670.92 c #Conflicts: 1038000 | #Constraints: 47249
1666.24/1670.92 c #Conflicts: 1039000 | #Constraints: 48249
1666.24/1670.92 c #Conflicts: 1040000 | #Constraints: 49249
1666.24/1670.92 c #Conflicts: 1041000 | #Constraints: 50249
1666.24/1670.92 c #Conflicts: 1042000 | #Constraints: 51249
1666.24/1670.92 c #Conflicts: 1043000 | #Constraints: 52249
1666.24/1670.92 c #Conflicts: 1044000 | #Constraints: 53249
1666.24/1670.92 c #Conflicts: 1045000 | #Constraints: 54249
1666.24/1670.92 c #Conflicts: 1046000 | #Constraints: 55249
1666.24/1670.92 c #Conflicts: 1047000 | #Constraints: 56249
1666.24/1670.92 c #Conflicts: 1048000 | #Constraints: 57249
1666.24/1670.92 c #Conflicts: 1049000 | #Constraints: 58249
1666.24/1670.92 c INPROCESSING
1666.24/1670.92 c GARBAGE COLLECT
1666.24/1670.92 c #Conflicts: 1050000 | #Constraints: 33365
1666.24/1670.92 c #Conflicts: 1051000 | #Constraints: 34365
1666.24/1670.92 c #Conflicts: 1052000 | #Constraints: 35365
1666.24/1670.92 c #Conflicts: 1053000 | #Constraints: 36365
1666.24/1670.92 c #Conflicts: 1054000 | #Constraints: 37365
1666.24/1670.92 c #Conflicts: 1055000 | #Constraints: 38365
1666.24/1670.92 c #Conflicts: 1056000 | #Constraints: 39365
1666.24/1670.92 c #Conflicts: 1057000 | #Constraints: 40365
1666.24/1670.92 c #Conflicts: 1058000 | #Constraints: 41365
1666.24/1670.92 c #Conflicts: 1059000 | #Constraints: 42365
1666.24/1670.92 c #Conflicts: 1060000 | #Constraints: 43365
1666.24/1670.92 c #Conflicts: 1061000 | #Constraints: 44365
1666.24/1670.92 c #Conflicts: 1062000 | #Constraints: 45365
1666.24/1670.92 c #Conflicts: 1063000 | #Constraints: 46365
1666.24/1670.92 c #Conflicts: 1064000 | #Constraints: 47365
1666.24/1670.92 c #Conflicts: 1065000 | #Constraints: 48365
1666.24/1670.92 c #Conflicts: 1066000 | #Constraints: 49365
1666.24/1670.92 c #Conflicts: 1067000 | #Constraints: 50365
1666.24/1670.92 c #Conflicts: 1068000 | #Constraints: 51365
1666.24/1670.92 c #Conflicts: 1069000 | #Constraints: 52365
1666.24/1670.92 c #Conflicts: 1070000 | #Constraints: 53365
1666.24/1670.92 c #Conflicts: 1071000 | #Constraints: 54365
1666.24/1670.92 c #Conflicts: 1072000 | #Constraints: 55365
1666.24/1670.92 c INPROCESSING
1666.24/1670.92 c GARBAGE COLLECT
1666.24/1670.92 c #Conflicts: 1073000 | #Constraints: 31886
1666.24/1670.92 c #Conflicts: 1074000 | #Constraints: 32886
1666.24/1670.92 c #Conflicts: 1075000 | #Constraints: 33886
1666.24/1670.92 c #Conflicts: 1076000 | #Constraints: 34886
1666.24/1670.92 c #Conflicts: 1077000 | #Constraints: 35886
1666.24/1670.92 c #Conflicts: 1078000 | #Constraints: 36886
1666.24/1670.92 c #Conflicts: 1079000 | #Constraints: 37886
1666.24/1670.92 c #Conflicts: 1080000 | #Constraints: 38886
1666.24/1670.92 c #Conflicts: 1081000 | #Constraints: 39886
1821.12/1826.22 c #Conflicts: 1082000 | #Constraints: 40886
1821.12/1826.22 c #Conflicts: 1083000 | #Constraints: 41886
1821.12/1826.22 c #Conflicts: 1084000 | #Constraints: 42886
1821.12/1826.22 c #Conflicts: 1085000 | #Constraints: 43886
1821.12/1826.22 c #Conflicts: 1086000 | #Constraints: 44886
1821.12/1826.22 c #Conflicts: 1087000 | #Constraints: 45886
1821.12/1826.22 c #Conflicts: 1088000 | #Constraints: 46886
1821.12/1826.22 c #Conflicts: 1089000 | #Constraints: 47886
1821.12/1826.22 c #Conflicts: 1090000 | #Constraints: 48886
1821.12/1826.22 c #Conflicts: 1091000 | #Constraints: 49886
1821.12/1826.22 c #Conflicts: 1092000 | #Constraints: 50886
1821.12/1826.22 c #Conflicts: 1093000 | #Constraints: 51886
1821.12/1826.22 c #Conflicts: 1094000 | #Constraints: 52886
1821.12/1826.22 c #Conflicts: 1095000 | #Constraints: 53886
1821.12/1826.22 c INPROCESSING
1821.12/1826.22 c GARBAGE COLLECT
1821.12/1826.22 c #Conflicts: 1096000 | #Constraints: 31147
1821.12/1826.22 c #Conflicts: 1097000 | #Constraints: 32147
1821.12/1826.22 c #Conflicts: 1098000 | #Constraints: 33147
1821.12/1826.22 c #Conflicts: 1099000 | #Constraints: 34147
1821.12/1826.22 c #Conflicts: 1100000 | #Constraints: 35147
1821.12/1826.22 c #Conflicts: 1101000 | #Constraints: 36147
1821.12/1826.22 c #Conflicts: 1102000 | #Constraints: 37147
1821.12/1826.22 c #Conflicts: 1103000 | #Constraints: 38147
1821.12/1826.22 c #Conflicts: 1104000 | #Constraints: 39147
1821.12/1826.22 c #Conflicts: 1105000 | #Constraints: 40147
1821.12/1826.22 c #Conflicts: 1106000 | #Constraints: 41147
1821.12/1826.22 c #Conflicts: 1107000 | #Constraints: 42147
1821.12/1826.22 c #Conflicts: 1108000 | #Constraints: 43147
1821.12/1826.22 c #Conflicts: 1109000 | #Constraints: 44147
1821.12/1826.22 c #Conflicts: 1110000 | #Constraints: 45147
1821.12/1826.22 c #Conflicts: 1111000 | #Constraints: 46147
1821.12/1826.22 c #Conflicts: 1112000 | #Constraints: 47147
1821.12/1826.22 c #Conflicts: 1113000 | #Constraints: 48147
1821.12/1826.22 c #Conflicts: 1114000 | #Constraints: 49147
1821.12/1826.22 c #Conflicts: 1115000 | #Constraints: 50147
1821.12/1826.22 c #Conflicts: 1116000 | #Constraints: 51147
1821.12/1826.22 c #Conflicts: 1117000 | #Constraints: 52147
1821.12/1826.22 c #Conflicts: 1118000 | #Constraints: 53147
1821.12/1826.22 c #Conflicts: 1119000 | #Constraints: 54147
1821.12/1826.22 c #Conflicts: 1120000 | #Constraints: 55147
1821.12/1826.22 c #Conflicts: 1121000 | #Constraints: 56147
1821.12/1826.22 c #Conflicts: 1122000 | #Constraints: 57147
1821.12/1826.22 c #Conflicts: 1123000 | #Constraints: 58147
1821.12/1826.22 c #Conflicts: 1124000 | #Constraints: 59147
1821.12/1826.22 c #Conflicts: 1125000 | #Constraints: 60147
1821.12/1826.22 c #Conflicts: 1126000 | #Constraints: 61147
1821.12/1826.22 c #Conflicts: 1127000 | #Constraints: 62147
1821.12/1826.22 c #Conflicts: 1128000 | #Constraints: 63147
1821.12/1826.22 c #Conflicts: 1129000 | #Constraints: 64147
1821.12/1826.22 c #Conflicts: 1130000 | #Constraints: 65147
1821.12/1826.22 c #Conflicts: 1131000 | #Constraints: 66147
1821.12/1826.22 c #Conflicts: 1132000 | #Constraints: 67147
1821.12/1826.22 c #Conflicts: 1133000 | #Constraints: 68147
1821.12/1826.22 c #Conflicts: 1134000 | #Constraints: 69147
1821.12/1826.22 c #Conflicts: 1135000 | #Constraints: 70147
1821.12/1826.22 c #Conflicts: 1136000 | #Constraints: 71147
1821.12/1826.22 c #Conflicts: 1137000 | #Constraints: 72147
1821.12/1826.22 c #Conflicts: 1138000 | #Constraints: 73147
1821.12/1826.22 c #Conflicts: 1139000 | #Constraints: 74147
1821.12/1826.22 c #Conflicts: 1140000 | #Constraints: 75147
1821.12/1826.22 c #Conflicts: 1141000 | #Constraints: 76147
1821.12/1826.22 c #Conflicts: 1142000 | #Constraints: 77147
1821.12/1826.22 c #Conflicts: 1143000 | #Constraints: 78147
1821.12/1826.22 c #Conflicts: 1144000 | #Constraints: 79147
1821.12/1826.22 c #Conflicts: 1145000 | #Constraints: 80147
1821.12/1826.22 c #Conflicts: 1146000 | #Constraints: 81147
1821.12/1826.22 c #Conflicts: 1147000 | #Constraints: 82147
1821.12/1826.22 c #Conflicts: 1148000 | #Constraints: 83147
1821.12/1826.22 c #Conflicts: 1149000 | #Constraints: 84147
1821.12/1826.22 c #Conflicts: 1150000 | #Constraints: 85147
1821.12/1826.22 c #Conflicts: 1151000 | #Constraints: 86147
1821.12/1826.22 c #Conflicts: 1152000 | #Constraints: 87147
1821.12/1826.22 c #Conflicts: 1153000 | #Constraints: 88147
1821.12/1826.22 c #Conflicts: 1154000 | #Constraints: 89147
1821.12/1826.22 c #Conflicts: 1155000 | #Constraints: 90147
1821.12/1826.22 c #Conflicts: 1156000 | #Constraints: 91147
1821.12/1826.22 c #Conflicts: 1157000 | #Constraints: 92147
1821.12/1826.22 c #Conflicts: 1158000 | #Constraints: 93147
1821.12/1826.22 c #Conflicts: 1159000 | #Constraints: 94147
1884.64/1889.99 c #Conflicts: 1160000 | #Constraints: 95147
1884.64/1889.99 c #Conflicts: 1161000 | #Constraints: 96147
1884.64/1889.99 c #Conflicts: 1162000 | #Constraints: 97147
1884.64/1889.99 c #Conflicts: 1163000 | #Constraints: 98147
1884.64/1889.99 c #Conflicts: 1164000 | #Constraints: 99147
1884.64/1889.99 c #Conflicts: 1165000 | #Constraints: 100147
1884.64/1889.99 c #Conflicts: 1166000 | #Constraints: 101147
1884.64/1889.99 c #Conflicts: 1167000 | #Constraints: 102147
1884.64/1889.99 c #Conflicts: 1168000 | #Constraints: 103147
1884.64/1889.99 c #Conflicts: 1169000 | #Constraints: 104147
1884.64/1889.99 c #Conflicts: 1170000 | #Constraints: 105147
1884.64/1889.99 c #Conflicts: 1171000 | #Constraints: 106147
1884.64/1889.99 c #Conflicts: 1172000 | #Constraints: 107147
1884.64/1889.99 c #Conflicts: 1173000 | #Constraints: 108147
1884.64/1889.99 c #Conflicts: 1174000 | #Constraints: 109147
1884.64/1889.99 c #Conflicts: 1175000 | #Constraints: 110147
1884.64/1889.99 c #Conflicts: 1176000 | #Constraints: 111147
1884.64/1889.99 c #Conflicts: 1177000 | #Constraints: 112147
1884.64/1889.99 c #Conflicts: 1178000 | #Constraints: 113147
1884.64/1889.99 c #Conflicts: 1179000 | #Constraints: 114147
1884.64/1889.99 c INPROCESSING
1884.64/1889.99 c GARBAGE COLLECT
1884.64/1889.99 c rational objective 90
1942.71/1948.13 c #Conflicts: 1180000 | #Constraints: 61517
1942.71/1948.13 c #Conflicts: 1181000 | #Constraints: 62517
1942.71/1948.13 c #Conflicts: 1182000 | #Constraints: 63517
1942.71/1948.13 c #Conflicts: 1183000 | #Constraints: 64517
1942.71/1948.13 c #Conflicts: 1184000 | #Constraints: 65517
1942.71/1948.13 c #Conflicts: 1185000 | #Constraints: 66517
1942.71/1948.13 c #Conflicts: 1186000 | #Constraints: 67517
1942.71/1948.13 c #Conflicts: 1187000 | #Constraints: 68517
1942.71/1948.13 c #Conflicts: 1188000 | #Constraints: 69517
1942.71/1948.13 c #Conflicts: 1189000 | #Constraints: 70517
1942.71/1948.13 c #Conflicts: 1190000 | #Constraints: 71517
1942.71/1948.13 c #Conflicts: 1191000 | #Constraints: 72517
1942.71/1948.13 c #Conflicts: 1192000 | #Constraints: 73517
1942.71/1948.13 c #Conflicts: 1193000 | #Constraints: 74517
1942.71/1948.13 c #Conflicts: 1194000 | #Constraints: 75517
1942.71/1948.13 c #Conflicts: 1195000 | #Constraints: 76517
1942.71/1948.13 c #Conflicts: 1196000 | #Constraints: 77517
1942.71/1948.13 c #Conflicts: 1197000 | #Constraints: 78517
1942.71/1948.13 c #Conflicts: 1198000 | #Constraints: 79517
1942.71/1948.13 c #Conflicts: 1199000 | #Constraints: 80517
1942.71/1948.13 c #Conflicts: 1200000 | #Constraints: 81517
1942.71/1948.13 c #Conflicts: 1201000 | #Constraints: 82517
1942.71/1948.13 c #Conflicts: 1202000 | #Constraints: 83517
1942.71/1948.13 c #Conflicts: 1203000 | #Constraints: 84517
1942.71/1948.13 c INPROCESSING
1942.71/1948.13 c GARBAGE COLLECT
1942.71/1948.13 c rational objective 90
1992.27/1997.87 c #Conflicts: 1204000 | #Constraints: 46496
1992.27/1997.87 c #Conflicts: 1205000 | #Constraints: 47496
1992.27/1997.87 c #Conflicts: 1206000 | #Constraints: 48496
1992.27/1997.87 c #Conflicts: 1207000 | #Constraints: 49496
1992.27/1997.87 c #Conflicts: 1208000 | #Constraints: 50496
1992.27/1997.87 c #Conflicts: 1209000 | #Constraints: 51496
1992.27/1997.87 c #Conflicts: 1210000 | #Constraints: 52496
1992.27/1997.87 c #Conflicts: 1211000 | #Constraints: 53496
1992.27/1997.87 c #Conflicts: 1212000 | #Constraints: 54496
1992.27/1997.87 c #Conflicts: 1213000 | #Constraints: 55496
1992.27/1997.87 c #Conflicts: 1214000 | #Constraints: 56496
1992.27/1997.87 c #Conflicts: 1215000 | #Constraints: 57496
1992.27/1997.87 c #Conflicts: 1216000 | #Constraints: 58496
1992.27/1997.87 c #Conflicts: 1217000 | #Constraints: 59496
1992.27/1997.87 c #Conflicts: 1218000 | #Constraints: 60496
1992.27/1997.87 c #Conflicts: 1219000 | #Constraints: 61496
1992.27/1997.87 c #Conflicts: 1220000 | #Constraints: 62496
1992.27/1997.87 c #Conflicts: 1221000 | #Constraints: 63496
1992.27/1997.87 c #Conflicts: 1222000 | #Constraints: 64496
1992.27/1997.87 c #Conflicts: 1223000 | #Constraints: 65496
1992.27/1997.87 c #Conflicts: 1224000 | #Constraints: 66496
1992.27/1997.87 c #Conflicts: 1225000 | #Constraints: 67496
1992.27/1997.87 c #Conflicts: 1226000 | #Constraints: 68496
1992.27/1997.87 c #Conflicts: 1227000 | #Constraints: 69496
1992.27/1997.87 c #Conflicts: 1228000 | #Constraints: 70496
1992.27/1997.87 c INPROCESSING
1992.27/1997.87 c GARBAGE COLLECT
1992.27/1997.87 c rational objective 90
2035.47/2041.19 c #Conflicts: 1229000 | #Constraints: 39771
2035.47/2041.19 c #Conflicts: 1230000 | #Constraints: 40771
2035.47/2041.19 c #Conflicts: 1231000 | #Constraints: 41771
2035.47/2041.19 c #Conflicts: 1232000 | #Constraints: 42771
2035.47/2041.19 c #Conflicts: 1233000 | #Constraints: 43771
2035.47/2041.19 c #Conflicts: 1234000 | #Constraints: 44771
2035.47/2041.19 c #Conflicts: 1235000 | #Constraints: 45771
2035.47/2041.19 c #Conflicts: 1236000 | #Constraints: 46771
2035.47/2041.19 c #Conflicts: 1237000 | #Constraints: 47771
2035.47/2041.19 c #Conflicts: 1238000 | #Constraints: 48771
2035.47/2041.19 c #Conflicts: 1239000 | #Constraints: 49771
2035.47/2041.19 c #Conflicts: 1240000 | #Constraints: 50771
2035.47/2041.19 c #Conflicts: 1241000 | #Constraints: 51771
2035.47/2041.19 c #Conflicts: 1242000 | #Constraints: 52771
2035.47/2041.19 c #Conflicts: 1243000 | #Constraints: 53771
2035.47/2041.19 c #Conflicts: 1244000 | #Constraints: 54771
2035.47/2041.19 c #Conflicts: 1245000 | #Constraints: 55771
2035.47/2041.19 c #Conflicts: 1246000 | #Constraints: 56771
2035.47/2041.19 c #Conflicts: 1247000 | #Constraints: 57771
2035.47/2041.19 c #Conflicts: 1248000 | #Constraints: 58771
2035.47/2041.19 c #Conflicts: 1249000 | #Constraints: 59771
2035.47/2041.19 c #Conflicts: 1250000 | #Constraints: 60771
2035.47/2041.19 c #Conflicts: 1251000 | #Constraints: 61771
2035.47/2041.19 c #Conflicts: 1252000 | #Constraints: 62771
2035.47/2041.19 c #Conflicts: 1253000 | #Constraints: 63771
2035.47/2041.19 c INPROCESSING
2035.47/2041.19 c GARBAGE COLLECT
2035.47/2041.19 c rational objective 90
2107.18/2113.10 c #Conflicts: 1254000 | #Constraints: 36375
2107.18/2113.10 c #Conflicts: 1255000 | #Constraints: 37375
2107.18/2113.10 c #Conflicts: 1256000 | #Constraints: 38375
2107.18/2113.10 c #Conflicts: 1257000 | #Constraints: 39375
2107.18/2113.10 c #Conflicts: 1258000 | #Constraints: 40375
2107.18/2113.10 c #Conflicts: 1259000 | #Constraints: 41375
2107.18/2113.10 c #Conflicts: 1260000 | #Constraints: 42375
2107.18/2113.10 c #Conflicts: 1261000 | #Constraints: 43375
2107.18/2113.10 c #Conflicts: 1262000 | #Constraints: 44375
2107.18/2113.10 c #Conflicts: 1263000 | #Constraints: 45375
2107.18/2113.10 c #Conflicts: 1264000 | #Constraints: 46375
2107.18/2113.10 c #Conflicts: 1265000 | #Constraints: 47375
2107.18/2113.10 c #Conflicts: 1266000 | #Constraints: 48375
2107.18/2113.10 c #Conflicts: 1267000 | #Constraints: 49375
2107.18/2113.10 c #Conflicts: 1268000 | #Constraints: 50375
2107.18/2113.10 c #Conflicts: 1269000 | #Constraints: 51375
2107.18/2113.10 c #Conflicts: 1270000 | #Constraints: 52375
2107.18/2113.10 c #Conflicts: 1271000 | #Constraints: 53375
2107.18/2113.10 c #Conflicts: 1272000 | #Constraints: 54375
2107.18/2113.10 c #Conflicts: 1273000 | #Constraints: 55375
2107.18/2113.10 c #Conflicts: 1274000 | #Constraints: 56375
2107.18/2113.10 c #Conflicts: 1275000 | #Constraints: 57375
2107.18/2113.10 c #Conflicts: 1276000 | #Constraints: 58375
2107.18/2113.10 c #Conflicts: 1277000 | #Constraints: 59375
2107.18/2113.10 c #Conflicts: 1278000 | #Constraints: 60375
2107.18/2113.10 c INPROCESSING
2107.18/2113.10 c GARBAGE COLLECT
2107.18/2113.10 c #Conflicts: 1279000 | #Constraints: 34699
2107.18/2113.10 c #Conflicts: 1280000 | #Constraints: 35699
2107.18/2113.10 c #Conflicts: 1281000 | #Constraints: 36699
2107.18/2113.10 c #Conflicts: 1282000 | #Constraints: 37699
2107.18/2113.10 c #Conflicts: 1283000 | #Constraints: 38699
2107.18/2113.10 c #Conflicts: 1284000 | #Constraints: 39699
2107.18/2113.10 c #Conflicts: 1285000 | #Constraints: 40699
2107.18/2113.10 c #Conflicts: 1286000 | #Constraints: 41699
2107.18/2113.10 c #Conflicts: 1287000 | #Constraints: 42699
2107.18/2113.10 c #Conflicts: 1288000 | #Constraints: 43699
2107.18/2113.10 c #Conflicts: 1289000 | #Constraints: 44699
2107.18/2113.10 c #Conflicts: 1290000 | #Constraints: 45699
2107.18/2113.10 c #Conflicts: 1291000 | #Constraints: 46699
2107.18/2113.10 c #Conflicts: 1292000 | #Constraints: 47699
2107.18/2113.10 c #Conflicts: 1293000 | #Constraints: 48699
2107.18/2113.10 c #Conflicts: 1294000 | #Constraints: 49699
2107.18/2113.10 c #Conflicts: 1295000 | #Constraints: 50699
2107.18/2113.10 c #Conflicts: 1296000 | #Constraints: 51699
2107.18/2113.10 c #Conflicts: 1297000 | #Constraints: 52699
2107.18/2113.10 c #Conflicts: 1298000 | #Constraints: 53699
2107.18/2113.10 c #Conflicts: 1299000 | #Constraints: 54699
2107.18/2113.10 c #Conflicts: 1300000 | #Constraints: 55699
2107.18/2113.10 c #Conflicts: 1301000 | #Constraints: 56699
2107.18/2113.10 c #Conflicts: 1302000 | #Constraints: 57699
2107.18/2113.10 c #Conflicts: 1303000 | #Constraints: 58699
2107.18/2113.10 c INPROCESSING
2107.18/2113.10 c GARBAGE COLLECT
2107.18/2113.10 c rational objective 90
2312.81/2319.23 c #Conflicts: 1304000 | #Constraints: 33802
2312.81/2319.23 c #Conflicts: 1305000 | #Constraints: 34802
2312.81/2319.23 c #Conflicts: 1306000 | #Constraints: 35802
2312.81/2319.23 c #Conflicts: 1307000 | #Constraints: 36802
2312.81/2319.23 c #Conflicts: 1308000 | #Constraints: 37802
2312.81/2319.23 c #Conflicts: 1309000 | #Constraints: 38802
2312.81/2319.23 c #Conflicts: 1310000 | #Constraints: 39802
2312.81/2319.23 c #Conflicts: 1311000 | #Constraints: 40802
2312.81/2319.23 c #Conflicts: 1312000 | #Constraints: 41802
2312.81/2319.23 c #Conflicts: 1313000 | #Constraints: 42802
2312.81/2319.23 c #Conflicts: 1314000 | #Constraints: 43802
2312.81/2319.23 c #Conflicts: 1315000 | #Constraints: 44802
2312.81/2319.23 c #Conflicts: 1316000 | #Constraints: 45802
2312.81/2319.23 c #Conflicts: 1317000 | #Constraints: 46802
2312.81/2319.23 c #Conflicts: 1318000 | #Constraints: 47802
2312.81/2319.23 c #Conflicts: 1319000 | #Constraints: 48802
2312.81/2319.23 c #Conflicts: 1320000 | #Constraints: 49802
2312.81/2319.23 c #Conflicts: 1321000 | #Constraints: 50802
2312.81/2319.23 c #Conflicts: 1322000 | #Constraints: 51802
2312.81/2319.23 c #Conflicts: 1323000 | #Constraints: 52802
2312.81/2319.23 c #Conflicts: 1324000 | #Constraints: 53802
2312.81/2319.23 c #Conflicts: 1325000 | #Constraints: 54802
2312.81/2319.23 c #Conflicts: 1326000 | #Constraints: 55802
2312.81/2319.23 c #Conflicts: 1327000 | #Constraints: 56802
2312.81/2319.23 c #Conflicts: 1328000 | #Constraints: 57802
2312.81/2319.23 c #Conflicts: 1329000 | #Constraints: 58803
2312.81/2319.23 c #Conflicts: 1330000 | #Constraints: 59803
2312.81/2319.23 c #Conflicts: 1331000 | #Constraints: 60803
2312.81/2319.23 c #Conflicts: 1332000 | #Constraints: 61803
2312.81/2319.23 c #Conflicts: 1333000 | #Constraints: 62803
2312.81/2319.23 c #Conflicts: 1334000 | #Constraints: 63803
2312.81/2319.23 c #Conflicts: 1335000 | #Constraints: 64803
2312.81/2319.23 c #Conflicts: 1336000 | #Constraints: 65803
2312.81/2319.23 c #Conflicts: 1337000 | #Constraints: 66803
2312.81/2319.23 c #Conflicts: 1338000 | #Constraints: 67803
2312.81/2319.23 c #Conflicts: 1339000 | #Constraints: 68803
2312.81/2319.23 c #Conflicts: 1340000 | #Constraints: 69803
2312.81/2319.23 c #Conflicts: 1341000 | #Constraints: 70803
2312.81/2319.23 c #Conflicts: 1342000 | #Constraints: 71803
2312.81/2319.23 c #Conflicts: 1343000 | #Constraints: 72803
2312.81/2319.23 c #Conflicts: 1344000 | #Constraints: 73803
2312.81/2319.23 c #Conflicts: 1345000 | #Constraints: 74803
2312.81/2319.23 c #Conflicts: 1346000 | #Constraints: 75803
2312.81/2319.23 c #Conflicts: 1347000 | #Constraints: 76803
2312.81/2319.23 c #Conflicts: 1348000 | #Constraints: 77803
2312.81/2319.23 c #Conflicts: 1349000 | #Constraints: 78803
2312.81/2319.23 c #Conflicts: 1350000 | #Constraints: 79803
2312.81/2319.23 c #Conflicts: 1351000 | #Constraints: 80803
2312.81/2319.23 c #Conflicts: 1352000 | #Constraints: 81803
2312.81/2319.23 c #Conflicts: 1353000 | #Constraints: 82803
2312.81/2319.23 c #Conflicts: 1354000 | #Constraints: 83803
2312.81/2319.23 c #Conflicts: 1355000 | #Constraints: 84803
2312.81/2319.23 c #Conflicts: 1356000 | #Constraints: 85803
2312.81/2319.23 c #Conflicts: 1357000 | #Constraints: 86803
2312.81/2319.23 c #Conflicts: 1358000 | #Constraints: 87803
2312.81/2319.23 c #Conflicts: 1359000 | #Constraints: 88803
2312.81/2319.23 c #Conflicts: 1360000 | #Constraints: 89803
2312.81/2319.23 c #Conflicts: 1361000 | #Constraints: 90803
2312.81/2319.23 c #Conflicts: 1362000 | #Constraints: 91803
2312.81/2319.23 c #Conflicts: 1363000 | #Constraints: 92803
2312.81/2319.23 c #Conflicts: 1364000 | #Constraints: 93803
2312.81/2319.23 c #Conflicts: 1365000 | #Constraints: 94803
2312.81/2319.23 c #Conflicts: 1366000 | #Constraints: 95803
2312.81/2319.23 c #Conflicts: 1367000 | #Constraints: 96803
2312.81/2319.23 c #Conflicts: 1368000 | #Constraints: 97803
2312.81/2319.23 c #Conflicts: 1369000 | #Constraints: 98803
2312.81/2319.23 c #Conflicts: 1370000 | #Constraints: 99803
2312.81/2319.23 c #Conflicts: 1371000 | #Constraints: 100803
2312.81/2319.23 c #Conflicts: 1372000 | #Constraints: 101803
2312.81/2319.23 c #Conflicts: 1373000 | #Constraints: 102803
2312.81/2319.23 c #Conflicts: 1374000 | #Constraints: 103803
2312.81/2319.23 c #Conflicts: 1375000 | #Constraints: 104803
2312.81/2319.23 c #Conflicts: 1376000 | #Constraints: 105803
2312.81/2319.23 c #Conflicts: 1377000 | #Constraints: 106803
2312.81/2319.23 c #Conflicts: 1378000 | #Constraints: 107803
2312.81/2319.23 c #Conflicts: 1379000 | #Constraints: 108803
2312.81/2319.23 c #Conflicts: 1380000 | #Constraints: 109803
2312.81/2319.23 c #Conflicts: 1381000 | #Constraints: 110803
2312.81/2319.23 c #Conflicts: 1382000 | #Constraints: 111803
2370.93/2377.58 c #Conflicts: 1383000 | #Constraints: 112803
2370.93/2377.58 c #Conflicts: 1384000 | #Constraints: 113803
2370.93/2377.58 c #Conflicts: 1385000 | #Constraints: 114803
2370.93/2377.58 c #Conflicts: 1386000 | #Constraints: 115803
2370.93/2377.58 c #Conflicts: 1387000 | #Constraints: 116803
2370.93/2377.58 c #Conflicts: 1388000 | #Constraints: 117803
2370.93/2377.58 c #Conflicts: 1389000 | #Constraints: 118803
2370.93/2377.58 c #Conflicts: 1390000 | #Constraints: 119803
2370.93/2377.58 c #Conflicts: 1391000 | #Constraints: 120803
2370.93/2377.58 c #Conflicts: 1392000 | #Constraints: 121803
2370.93/2377.58 c #Conflicts: 1393000 | #Constraints: 122803
2370.93/2377.58 c #Conflicts: 1394000 | #Constraints: 123803
2370.93/2377.58 c INPROCESSING
2370.93/2377.58 c GARBAGE COLLECT
2370.93/2377.58 c rational objective 90
2441.44/2448.22 c #Conflicts: 1395000 | #Constraints: 66315
2441.44/2448.22 c #Conflicts: 1396000 | #Constraints: 67315
2441.44/2448.22 c #Conflicts: 1397000 | #Constraints: 68315
2441.44/2448.22 c #Conflicts: 1398000 | #Constraints: 69315
2441.44/2448.22 c #Conflicts: 1399000 | #Constraints: 70315
2441.44/2448.22 c #Conflicts: 1400000 | #Constraints: 71315
2441.44/2448.22 c #Conflicts: 1401000 | #Constraints: 72315
2441.44/2448.22 c #Conflicts: 1402000 | #Constraints: 73315
2441.44/2448.22 c #Conflicts: 1403000 | #Constraints: 74315
2441.44/2448.22 c #Conflicts: 1404000 | #Constraints: 75315
2441.44/2448.22 c #Conflicts: 1405000 | #Constraints: 76315
2441.44/2448.22 c #Conflicts: 1406000 | #Constraints: 77315
2441.44/2448.22 c #Conflicts: 1407000 | #Constraints: 78315
2441.44/2448.22 c #Conflicts: 1408000 | #Constraints: 79315
2441.44/2448.22 c #Conflicts: 1409000 | #Constraints: 80315
2441.44/2448.22 c #Conflicts: 1410000 | #Constraints: 81315
2441.44/2448.22 c #Conflicts: 1411000 | #Constraints: 82315
2441.44/2448.22 c #Conflicts: 1412000 | #Constraints: 83315
2441.44/2448.22 c #Conflicts: 1413000 | #Constraints: 84315
2441.44/2448.22 c #Conflicts: 1414000 | #Constraints: 85315
2441.44/2448.22 c #Conflicts: 1415000 | #Constraints: 86315
2441.44/2448.22 c #Conflicts: 1416000 | #Constraints: 87315
2441.44/2448.22 c #Conflicts: 1417000 | #Constraints: 88315
2441.44/2448.22 c #Conflicts: 1418000 | #Constraints: 89315
2441.44/2448.22 c #Conflicts: 1419000 | #Constraints: 90315
2441.44/2448.22 c #Conflicts: 1420000 | #Constraints: 91315
2441.44/2448.22 c INPROCESSING
2441.44/2448.22 c GARBAGE COLLECT
2441.44/2448.22 c rational objective 90
2568.81/2575.92 c #Conflicts: 1421000 | #Constraints: 49882
2568.81/2575.92 c #Conflicts: 1422000 | #Constraints: 50882
2568.81/2575.92 c #Conflicts: 1423000 | #Constraints: 51882
2568.81/2575.92 c #Conflicts: 1424000 | #Constraints: 52882
2568.81/2575.92 c #Conflicts: 1425000 | #Constraints: 53882
2568.81/2575.92 c #Conflicts: 1426000 | #Constraints: 54882
2568.81/2575.92 c #Conflicts: 1427000 | #Constraints: 55882
2568.81/2575.92 c #Conflicts: 1428000 | #Constraints: 56882
2568.81/2575.92 c #Conflicts: 1429000 | #Constraints: 57882
2568.81/2575.92 c #Conflicts: 1430000 | #Constraints: 58882
2568.81/2575.92 c #Conflicts: 1431000 | #Constraints: 59882
2568.81/2575.92 c #Conflicts: 1432000 | #Constraints: 60882
2568.81/2575.92 c #Conflicts: 1433000 | #Constraints: 61882
2568.81/2575.92 c #Conflicts: 1434000 | #Constraints: 62882
2568.81/2575.92 c #Conflicts: 1435000 | #Constraints: 63882
2568.81/2575.92 c #Conflicts: 1436000 | #Constraints: 64882
2568.81/2575.92 c #Conflicts: 1437000 | #Constraints: 65882
2568.81/2575.92 c #Conflicts: 1438000 | #Constraints: 66882
2568.81/2575.92 c #Conflicts: 1439000 | #Constraints: 67882
2568.81/2575.92 c #Conflicts: 1440000 | #Constraints: 68882
2568.81/2575.92 c #Conflicts: 1441000 | #Constraints: 69882
2568.81/2575.92 c #Conflicts: 1442000 | #Constraints: 70882
2568.81/2575.92 c #Conflicts: 1443000 | #Constraints: 71882
2568.81/2575.92 c #Conflicts: 1444000 | #Constraints: 72882
2568.81/2575.92 c #Conflicts: 1445000 | #Constraints: 73882
2568.81/2575.92 c #Conflicts: 1446000 | #Constraints: 74882
2568.81/2575.92 c #Conflicts: 1447000 | #Constraints: 75882
2568.81/2575.92 c INPROCESSING
2568.81/2575.92 c GARBAGE COLLECT
2568.81/2575.92 c #Conflicts: 1448000 | #Constraints: 42240
2568.81/2575.92 c #Conflicts: 1449000 | #Constraints: 43240
2568.81/2575.92 c #Conflicts: 1450000 | #Constraints: 44240
2568.81/2575.92 c #Conflicts: 1451000 | #Constraints: 45240
2568.81/2575.92 c #Conflicts: 1452000 | #Constraints: 46240
2568.81/2575.92 c #Conflicts: 1453000 | #Constraints: 47240
2568.81/2575.92 c #Conflicts: 1454000 | #Constraints: 48240
2568.81/2575.92 c #Conflicts: 1455000 | #Constraints: 49240
2568.81/2575.92 c #Conflicts: 1456000 | #Constraints: 50240
2568.81/2575.92 c #Conflicts: 1457000 | #Constraints: 51240
2568.81/2575.92 c #Conflicts: 1458000 | #Constraints: 52240
2568.81/2575.92 c #Conflicts: 1459000 | #Constraints: 53240
2568.81/2575.92 c #Conflicts: 1460000 | #Constraints: 54240
2568.81/2575.92 c #Conflicts: 1461000 | #Constraints: 55240
2568.81/2575.92 c #Conflicts: 1462000 | #Constraints: 56240
2568.81/2575.92 c #Conflicts: 1463000 | #Constraints: 57240
2568.81/2575.92 c #Conflicts: 1464000 | #Constraints: 58240
2568.81/2575.92 c #Conflicts: 1465000 | #Constraints: 59240
2568.81/2575.92 c #Conflicts: 1466000 | #Constraints: 60240
2568.81/2575.92 c #Conflicts: 1467000 | #Constraints: 61240
2568.81/2575.92 c #Conflicts: 1468000 | #Constraints: 62240
2568.81/2575.92 c #Conflicts: 1469000 | #Constraints: 63240
2568.81/2575.92 c #Conflicts: 1470000 | #Constraints: 64240
2568.81/2575.92 c #Conflicts: 1471000 | #Constraints: 65240
2568.81/2575.92 c #Conflicts: 1472000 | #Constraints: 66240
2568.81/2575.92 c #Conflicts: 1473000 | #Constraints: 67240
2568.81/2575.92 c #Conflicts: 1474000 | #Constraints: 68240
2568.81/2575.92 c INPROCESSING
2568.81/2575.92 c GARBAGE COLLECT
2568.81/2575.92 c #Conflicts: 1475000 | #Constraints: 38490
2568.81/2575.92 c #Conflicts: 1476000 | #Constraints: 39490
2568.81/2575.92 c #Conflicts: 1477000 | #Constraints: 40490
2568.81/2575.92 c #Conflicts: 1478000 | #Constraints: 41490
2568.81/2575.92 c #Conflicts: 1479000 | #Constraints: 42490
2568.81/2575.92 c #Conflicts: 1480000 | #Constraints: 43490
2568.81/2575.92 c #Conflicts: 1481000 | #Constraints: 44490
2568.81/2575.92 c #Conflicts: 1482000 | #Constraints: 45490
2568.81/2575.92 c #Conflicts: 1483000 | #Constraints: 46490
2568.81/2575.92 c #Conflicts: 1484000 | #Constraints: 47490
2568.81/2575.92 c #Conflicts: 1485000 | #Constraints: 48490
2568.81/2575.92 c #Conflicts: 1486000 | #Constraints: 49490
2568.81/2575.92 c #Conflicts: 1487000 | #Constraints: 50490
2568.81/2575.92 c #Conflicts: 1488000 | #Constraints: 51490
2568.81/2575.92 c #Conflicts: 1489000 | #Constraints: 52490
2568.81/2575.92 c #Conflicts: 1490000 | #Constraints: 53490
2568.81/2575.92 c #Conflicts: 1491000 | #Constraints: 54490
2568.81/2575.92 c #Conflicts: 1492000 | #Constraints: 55490
2568.81/2575.92 c #Conflicts: 1493000 | #Constraints: 56490
2568.81/2575.92 c #Conflicts: 1494000 | #Constraints: 57490
2568.81/2575.92 c #Conflicts: 1495000 | #Constraints: 58490
2568.81/2575.92 c #Conflicts: 1496000 | #Constraints: 59490
2568.81/2575.92 c #Conflicts: 1497000 | #Constraints: 60490
2568.81/2575.92 c #Conflicts: 1498000 | #Constraints: 61490
2575.70/2582.86 c #Conflicts: 1499000 | #Constraints: 62490
2575.70/2582.86 c #Conflicts: 1500000 | #Constraints: 63490
2575.70/2582.86 c #Conflicts: 1501000 | #Constraints: 64490
2575.70/2582.86 c INPROCESSING
2575.70/2582.86 c GARBAGE COLLECT
2575.70/2582.86 c rational objective 90
2616.80/2624.10 c #Conflicts: 1502000 | #Constraints: 36543
2616.80/2624.10 c #Conflicts: 1503000 | #Constraints: 37543
2616.80/2624.10 c #Conflicts: 1504000 | #Constraints: 38543
2616.80/2624.10 c #Conflicts: 1505000 | #Constraints: 39543
2616.80/2624.10 c #Conflicts: 1506000 | #Constraints: 40543
2616.80/2624.10 c #Conflicts: 1507000 | #Constraints: 41543
2616.80/2624.10 c #Conflicts: 1508000 | #Constraints: 42543
2616.80/2624.10 c #Conflicts: 1509000 | #Constraints: 43543
2616.80/2624.10 c #Conflicts: 1510000 | #Constraints: 44543
2616.80/2624.10 c #Conflicts: 1511000 | #Constraints: 45543
2616.80/2624.10 c #Conflicts: 1512000 | #Constraints: 46543
2616.80/2624.10 c #Conflicts: 1513000 | #Constraints: 47543
2616.80/2624.10 c #Conflicts: 1514000 | #Constraints: 48543
2616.80/2624.10 c #Conflicts: 1515000 | #Constraints: 49543
2616.80/2624.10 c #Conflicts: 1516000 | #Constraints: 50543
2616.80/2624.10 c #Conflicts: 1517000 | #Constraints: 51543
2616.80/2624.10 c #Conflicts: 1518000 | #Constraints: 52543
2616.80/2624.10 c #Conflicts: 1519000 | #Constraints: 53543
2616.80/2624.10 c #Conflicts: 1520000 | #Constraints: 54543
2616.80/2624.10 c #Conflicts: 1521000 | #Constraints: 55543
2616.80/2624.10 c #Conflicts: 1522000 | #Constraints: 56543
2616.80/2624.10 c #Conflicts: 1523000 | #Constraints: 57543
2616.80/2624.10 c #Conflicts: 1524000 | #Constraints: 58543
2616.80/2624.10 c #Conflicts: 1525000 | #Constraints: 59543
2616.80/2624.10 c #Conflicts: 1526000 | #Constraints: 60543
2616.80/2624.10 c #Conflicts: 1527000 | #Constraints: 61543
2616.80/2624.10 c #Conflicts: 1528000 | #Constraints: 62543
2616.80/2624.10 c INPROCESSING
2616.80/2624.10 c GARBAGE COLLECT
2616.80/2624.10 c rational objective 90
2783.66/2791.39 c #Conflicts: 1529000 | #Constraints: 35327
2783.66/2791.39 c #Conflicts: 1530000 | #Constraints: 36327
2783.66/2791.39 c #Conflicts: 1531000 | #Constraints: 37327
2783.66/2791.39 c #Conflicts: 1532000 | #Constraints: 38327
2783.66/2791.39 c #Conflicts: 1533000 | #Constraints: 39327
2783.66/2791.39 c #Conflicts: 1534000 | #Constraints: 40327
2783.66/2791.39 c #Conflicts: 1535000 | #Constraints: 41327
2783.66/2791.39 c #Conflicts: 1536000 | #Constraints: 42327
2783.66/2791.39 c #Conflicts: 1537000 | #Constraints: 43327
2783.66/2791.39 c #Conflicts: 1538000 | #Constraints: 44327
2783.66/2791.39 c #Conflicts: 1539000 | #Constraints: 45327
2783.66/2791.39 c #Conflicts: 1540000 | #Constraints: 46327
2783.66/2791.39 c #Conflicts: 1541000 | #Constraints: 47327
2783.66/2791.39 c #Conflicts: 1542000 | #Constraints: 48327
2783.66/2791.39 c #Conflicts: 1543000 | #Constraints: 49327
2783.66/2791.39 c #Conflicts: 1544000 | #Constraints: 50327
2783.66/2791.39 c #Conflicts: 1545000 | #Constraints: 51327
2783.66/2791.39 c #Conflicts: 1546000 | #Constraints: 52327
2783.66/2791.39 c #Conflicts: 1547000 | #Constraints: 53327
2783.66/2791.39 c #Conflicts: 1548000 | #Constraints: 54327
2783.66/2791.39 c #Conflicts: 1549000 | #Constraints: 55327
2783.66/2791.39 c #Conflicts: 1550000 | #Constraints: 56327
2783.66/2791.39 c #Conflicts: 1551000 | #Constraints: 57327
2783.66/2791.39 c #Conflicts: 1552000 | #Constraints: 58327
2783.66/2791.39 c #Conflicts: 1553000 | #Constraints: 59327
2783.66/2791.39 c #Conflicts: 1554000 | #Constraints: 60327
2783.66/2791.39 c #Conflicts: 1555000 | #Constraints: 61327
2783.66/2791.39 c #Conflicts: 1556000 | #Constraints: 62327
2783.66/2791.39 c #Conflicts: 1557000 | #Constraints: 63327
2783.66/2791.39 c #Conflicts: 1558000 | #Constraints: 64327
2783.66/2791.39 c #Conflicts: 1559000 | #Constraints: 65327
2783.66/2791.39 c #Conflicts: 1560000 | #Constraints: 66327
2783.66/2791.39 c #Conflicts: 1561000 | #Constraints: 67327
2783.66/2791.39 c #Conflicts: 1562000 | #Constraints: 68327
2783.66/2791.39 c #Conflicts: 1563000 | #Constraints: 69327
2783.66/2791.39 c #Conflicts: 1564000 | #Constraints: 70327
2783.66/2791.39 c #Conflicts: 1565000 | #Constraints: 71327
2783.66/2791.39 c #Conflicts: 1566000 | #Constraints: 72327
2783.66/2791.39 c #Conflicts: 1567000 | #Constraints: 73328
2783.66/2791.39 c #Conflicts: 1568000 | #Constraints: 74328
2783.66/2791.39 c #Conflicts: 1569000 | #Constraints: 75328
2783.66/2791.39 c #Conflicts: 1570000 | #Constraints: 76328
2783.66/2791.39 c #Conflicts: 1571000 | #Constraints: 77328
2783.66/2791.39 c #Conflicts: 1572000 | #Constraints: 78328
2783.66/2791.39 c #Conflicts: 1573000 | #Constraints: 79328
2783.66/2791.39 c #Conflicts: 1574000 | #Constraints: 80328
2783.66/2791.39 c #Conflicts: 1575000 | #Constraints: 81328
2783.66/2791.39 c #Conflicts: 1576000 | #Constraints: 82328
2783.66/2791.39 c #Conflicts: 1577000 | #Constraints: 83328
2783.66/2791.39 c #Conflicts: 1578000 | #Constraints: 84328
2783.66/2791.39 c #Conflicts: 1579000 | #Constraints: 85328
2783.66/2791.39 c #Conflicts: 1580000 | #Constraints: 86328
2783.66/2791.39 c #Conflicts: 1581000 | #Constraints: 87328
2783.66/2791.39 c #Conflicts: 1582000 | #Constraints: 88328
2783.66/2791.39 c #Conflicts: 1583000 | #Constraints: 89328
2783.66/2791.39 c #Conflicts: 1584000 | #Constraints: 90328
2783.66/2791.39 c #Conflicts: 1585000 | #Constraints: 91328
2783.66/2791.39 c #Conflicts: 1586000 | #Constraints: 92328
2783.66/2791.39 c #Conflicts: 1587000 | #Constraints: 93328
2783.66/2791.39 c #Conflicts: 1588000 | #Constraints: 94328
2783.66/2791.39 c #Conflicts: 1589000 | #Constraints: 95328
2783.66/2791.39 c #Conflicts: 1590000 | #Constraints: 96328
2783.66/2791.39 c #Conflicts: 1591000 | #Constraints: 97328
2783.66/2791.39 c #Conflicts: 1592000 | #Constraints: 98328
2783.66/2791.39 c #Conflicts: 1593000 | #Constraints: 99328
2783.66/2791.39 c #Conflicts: 1594000 | #Constraints: 100328
2783.66/2791.39 c #Conflicts: 1595000 | #Constraints: 101328
2783.66/2791.39 c #Conflicts: 1596000 | #Constraints: 102328
2783.66/2791.39 c #Conflicts: 1597000 | #Constraints: 103329
2783.66/2791.39 c #Conflicts: 1598000 | #Constraints: 104329
2783.66/2791.39 c #Conflicts: 1599000 | #Constraints: 105329
2783.66/2791.39 c #Conflicts: 1600000 | #Constraints: 106329
2783.66/2791.39 c #Conflicts: 1601000 | #Constraints: 107329
2783.66/2791.39 c #Conflicts: 1602000 | #Constraints: 108329
2783.66/2791.39 c #Conflicts: 1603000 | #Constraints: 109329
2783.66/2791.39 c #Conflicts: 1604000 | #Constraints: 110329
2783.66/2791.39 c #Conflicts: 1605000 | #Constraints: 111329
2783.66/2791.39 c #Conflicts: 1606000 | #Constraints: 112329
2783.66/2791.39 c #Conflicts: 1607000 | #Constraints: 113329
2857.37/2865.28 c #Conflicts: 1608000 | #Constraints: 114329
2857.37/2865.28 c #Conflicts: 1609000 | #Constraints: 115329
2857.37/2865.28 c #Conflicts: 1610000 | #Constraints: 116329
2857.37/2865.28 c #Conflicts: 1611000 | #Constraints: 117329
2857.37/2865.28 c #Conflicts: 1612000 | #Constraints: 118329
2857.37/2865.28 c #Conflicts: 1613000 | #Constraints: 119329
2857.37/2865.28 c #Conflicts: 1614000 | #Constraints: 120329
2857.37/2865.28 c #Conflicts: 1615000 | #Constraints: 121329
2857.37/2865.28 c #Conflicts: 1616000 | #Constraints: 122329
2857.37/2865.28 c #Conflicts: 1617000 | #Constraints: 123329
2857.37/2865.28 c #Conflicts: 1618000 | #Constraints: 124329
2857.37/2865.28 c #Conflicts: 1619000 | #Constraints: 125329
2857.37/2865.28 c #Conflicts: 1620000 | #Constraints: 126329
2857.37/2865.28 c #Conflicts: 1621000 | #Constraints: 127329
2857.37/2865.28 c #Conflicts: 1622000 | #Constraints: 128329
2857.37/2865.28 c #Conflicts: 1623000 | #Constraints: 129329
2857.37/2865.28 c #Conflicts: 1624000 | #Constraints: 130329
2857.37/2865.28 c #Conflicts: 1625000 | #Constraints: 131329
2857.37/2865.28 c #Conflicts: 1626000 | #Constraints: 132329
2857.37/2865.28 c #Conflicts: 1627000 | #Constraints: 133329
2857.37/2865.28 c INPROCESSING
2857.37/2865.28 c GARBAGE COLLECT
2857.37/2865.28 c rational objective 90
2936.36/2944.43 c #Conflicts: 1628000 | #Constraints: 71081
2936.36/2944.43 c #Conflicts: 1629000 | #Constraints: 72081
2936.36/2944.43 c #Conflicts: 1630000 | #Constraints: 73081
2936.36/2944.43 c #Conflicts: 1631000 | #Constraints: 74081
2936.36/2944.43 c #Conflicts: 1632000 | #Constraints: 75081
2936.36/2944.43 c #Conflicts: 1633000 | #Constraints: 76081
2936.36/2944.43 c #Conflicts: 1634000 | #Constraints: 77081
2936.36/2944.43 c #Conflicts: 1635000 | #Constraints: 78081
2936.36/2944.43 c #Conflicts: 1636000 | #Constraints: 79081
2936.36/2944.43 c #Conflicts: 1637000 | #Constraints: 80081
2936.36/2944.43 c #Conflicts: 1638000 | #Constraints: 81081
2936.36/2944.43 c #Conflicts: 1639000 | #Constraints: 82081
2936.36/2944.43 c #Conflicts: 1640000 | #Constraints: 83081
2936.36/2944.43 c #Conflicts: 1641000 | #Constraints: 84081
2936.36/2944.43 c #Conflicts: 1642000 | #Constraints: 85081
2936.36/2944.43 c #Conflicts: 1643000 | #Constraints: 86081
2936.36/2944.43 c #Conflicts: 1644000 | #Constraints: 87081
2936.36/2944.43 c #Conflicts: 1645000 | #Constraints: 88081
2936.36/2944.43 c #Conflicts: 1646000 | #Constraints: 89081
2936.36/2944.43 c #Conflicts: 1647000 | #Constraints: 90081
2936.36/2944.43 c #Conflicts: 1648000 | #Constraints: 91081
2936.36/2944.43 c #Conflicts: 1649000 | #Constraints: 92081
2936.36/2944.43 c #Conflicts: 1650000 | #Constraints: 93081
2936.36/2944.43 c #Conflicts: 1651000 | #Constraints: 94081
2936.36/2944.43 c #Conflicts: 1652000 | #Constraints: 95081
2936.36/2944.43 c #Conflicts: 1653000 | #Constraints: 96081
2936.36/2944.43 c #Conflicts: 1654000 | #Constraints: 97081
2936.36/2944.43 c #Conflicts: 1655000 | #Constraints: 98081
2936.36/2944.43 c #Conflicts: 1656000 | #Constraints: 99081
2936.36/2944.43 c INPROCESSING
2936.36/2944.43 c GARBAGE COLLECT
2936.36/2944.43 c rational objective 90
2997.50/3005.72 c #Conflicts: 1657000 | #Constraints: 54134
2997.50/3005.72 c #Conflicts: 1658000 | #Constraints: 55134
2997.50/3005.72 c #Conflicts: 1659000 | #Constraints: 56134
2997.50/3005.72 c #Conflicts: 1660000 | #Constraints: 57134
2997.50/3005.72 c #Conflicts: 1661000 | #Constraints: 58134
2997.50/3005.72 c #Conflicts: 1662000 | #Constraints: 59134
2997.50/3005.72 c #Conflicts: 1663000 | #Constraints: 60134
2997.50/3005.72 c #Conflicts: 1664000 | #Constraints: 61134
2997.50/3005.72 c #Conflicts: 1665000 | #Constraints: 62134
2997.50/3005.72 c #Conflicts: 1666000 | #Constraints: 63134
2997.50/3005.72 c #Conflicts: 1667000 | #Constraints: 64134
2997.50/3005.72 c #Conflicts: 1668000 | #Constraints: 65134
2997.50/3005.72 c #Conflicts: 1669000 | #Constraints: 66134
2997.50/3005.72 c #Conflicts: 1670000 | #Constraints: 67134
2997.50/3005.72 c #Conflicts: 1671000 | #Constraints: 68134
2997.50/3005.72 c #Conflicts: 1672000 | #Constraints: 69134
2997.50/3005.72 c #Conflicts: 1673000 | #Constraints: 70134
2997.50/3005.72 c #Conflicts: 1674000 | #Constraints: 71134
2997.50/3005.72 c #Conflicts: 1675000 | #Constraints: 72134
2997.50/3005.72 c #Conflicts: 1676000 | #Constraints: 73134
2997.50/3005.72 c #Conflicts: 1677000 | #Constraints: 74134
2997.50/3005.72 c #Conflicts: 1678000 | #Constraints: 75134
2997.50/3005.72 c #Conflicts: 1679000 | #Constraints: 76134
2997.50/3005.72 c #Conflicts: 1680000 | #Constraints: 77134
2997.50/3005.72 c #Conflicts: 1681000 | #Constraints: 78134
2997.50/3005.72 c #Conflicts: 1682000 | #Constraints: 79134
2997.50/3005.72 c #Conflicts: 1683000 | #Constraints: 80134
2997.50/3005.72 c #Conflicts: 1684000 | #Constraints: 81134
2997.50/3005.72 c INPROCESSING
2997.50/3005.72 c GARBAGE COLLECT
2997.50/3005.72 c rational objective 90
3134.15/3142.71 c #Conflicts: 1685000 | #Constraints: 44705
3134.15/3142.71 c #Conflicts: 1686000 | #Constraints: 45705
3134.15/3142.71 c #Conflicts: 1687000 | #Constraints: 46705
3134.15/3142.71 c #Conflicts: 1688000 | #Constraints: 47705
3134.15/3142.71 c #Conflicts: 1689000 | #Constraints: 48705
3134.15/3142.71 c #Conflicts: 1690000 | #Constraints: 49705
3134.15/3142.71 c #Conflicts: 1691000 | #Constraints: 50705
3134.15/3142.71 c #Conflicts: 1692000 | #Constraints: 51705
3134.15/3142.71 c #Conflicts: 1693000 | #Constraints: 52705
3134.15/3142.71 c #Conflicts: 1694000 | #Constraints: 53705
3134.15/3142.71 c #Conflicts: 1695000 | #Constraints: 54705
3134.15/3142.71 c #Conflicts: 1696000 | #Constraints: 55705
3134.15/3142.71 c #Conflicts: 1697000 | #Constraints: 56705
3134.15/3142.71 c #Conflicts: 1698000 | #Constraints: 57705
3134.15/3142.71 c #Conflicts: 1699000 | #Constraints: 58705
3134.15/3142.71 c #Conflicts: 1700000 | #Constraints: 59705
3134.15/3142.71 c #Conflicts: 1701000 | #Constraints: 60705
3134.15/3142.71 c #Conflicts: 1702000 | #Constraints: 61705
3134.15/3142.71 c #Conflicts: 1703000 | #Constraints: 62705
3134.15/3142.71 c #Conflicts: 1704000 | #Constraints: 63705
3134.15/3142.71 c #Conflicts: 1705000 | #Constraints: 64705
3134.15/3142.71 c #Conflicts: 1706000 | #Constraints: 65705
3134.15/3142.71 c #Conflicts: 1707000 | #Constraints: 66705
3134.15/3142.71 c #Conflicts: 1708000 | #Constraints: 67705
3134.15/3142.71 c #Conflicts: 1709000 | #Constraints: 68705
3134.15/3142.71 c #Conflicts: 1710000 | #Constraints: 69705
3134.15/3142.71 c #Conflicts: 1711000 | #Constraints: 70705
3134.15/3142.71 c #Conflicts: 1712000 | #Constraints: 71705
3134.15/3142.71 c #Conflicts: 1713000 | #Constraints: 72705
3134.15/3142.71 c INPROCESSING
3134.15/3142.71 c GARBAGE COLLECT
3134.15/3142.71 c #Conflicts: 1714000 | #Constraints: 40582
3134.15/3142.71 c #Conflicts: 1715000 | #Constraints: 41582
3134.15/3142.71 c #Conflicts: 1716000 | #Constraints: 42582
3134.15/3142.71 c #Conflicts: 1717000 | #Constraints: 43582
3134.15/3142.71 c #Conflicts: 1718000 | #Constraints: 44582
3134.15/3142.71 c #Conflicts: 1719000 | #Constraints: 45582
3134.15/3142.71 c #Conflicts: 1720000 | #Constraints: 46582
3134.15/3142.71 c #Conflicts: 1721000 | #Constraints: 47582
3134.15/3142.71 c #Conflicts: 1722000 | #Constraints: 48582
3134.15/3142.71 c #Conflicts: 1723000 | #Constraints: 49582
3134.15/3142.71 c #Conflicts: 1724000 | #Constraints: 50582
3134.15/3142.71 c #Conflicts: 1725000 | #Constraints: 51582
3134.15/3142.71 c #Conflicts: 1726000 | #Constraints: 52582
3134.15/3142.71 c #Conflicts: 1727000 | #Constraints: 53582
3134.15/3142.71 c #Conflicts: 1728000 | #Constraints: 54582
3134.15/3142.71 c #Conflicts: 1729000 | #Constraints: 55582
3134.15/3142.71 c #Conflicts: 1730000 | #Constraints: 56582
3134.15/3142.71 c #Conflicts: 1731000 | #Constraints: 57582
3134.15/3142.71 c #Conflicts: 1732000 | #Constraints: 58582
3134.15/3142.71 c #Conflicts: 1733000 | #Constraints: 59582
3134.15/3142.71 c #Conflicts: 1734000 | #Constraints: 60582
3134.15/3142.71 c #Conflicts: 1735000 | #Constraints: 61582
3134.15/3142.71 c #Conflicts: 1736000 | #Constraints: 62582
3134.15/3142.71 c #Conflicts: 1737000 | #Constraints: 63582
3134.15/3142.71 c #Conflicts: 1738000 | #Constraints: 64582
3134.15/3142.71 c #Conflicts: 1739000 | #Constraints: 65582
3134.15/3142.71 c #Conflicts: 1740000 | #Constraints: 66582
3134.15/3142.71 c #Conflicts: 1741000 | #Constraints: 67582
3134.15/3142.71 c #Conflicts: 1742000 | #Constraints: 68582
3134.15/3142.71 c #Conflicts: 1743000 | #Constraints: 69582
3134.15/3142.71 c INPROCESSING
3134.15/3142.71 c GARBAGE COLLECT
3134.15/3142.71 c #Conflicts: 1744000 | #Constraints: 39350
3134.15/3142.71 c #Conflicts: 1745000 | #Constraints: 40350
3134.15/3142.71 c #Conflicts: 1746000 | #Constraints: 41350
3134.15/3142.71 c #Conflicts: 1747000 | #Constraints: 42350
3134.15/3142.71 c #Conflicts: 1748000 | #Constraints: 43350
3134.15/3142.71 c #Conflicts: 1749000 | #Constraints: 44350
3134.15/3142.71 c #Conflicts: 1750000 | #Constraints: 45350
3134.15/3142.71 c #Conflicts: 1751000 | #Constraints: 46350
3134.15/3142.71 c #Conflicts: 1752000 | #Constraints: 47350
3134.15/3142.71 c #Conflicts: 1753000 | #Constraints: 48350
3134.15/3142.71 c #Conflicts: 1754000 | #Constraints: 49350
3134.15/3142.71 c #Conflicts: 1755000 | #Constraints: 50350
3134.15/3142.71 c #Conflicts: 1756000 | #Constraints: 51350
3134.15/3142.71 c #Conflicts: 1757000 | #Constraints: 52350
3134.15/3142.71 c #Conflicts: 1758000 | #Constraints: 53350
3134.15/3142.71 c #Conflicts: 1759000 | #Constraints: 54350
3134.15/3142.71 c #Conflicts: 1760000 | #Constraints: 55350
3134.15/3142.71 c #Conflicts: 1761000 | #Constraints: 56350
3134.15/3142.71 c #Conflicts: 1762000 | #Constraints: 57350
3156.69/3165.34 c #Conflicts: 1763000 | #Constraints: 58350
3156.69/3165.34 c #Conflicts: 1764000 | #Constraints: 59350
3156.69/3165.34 c #Conflicts: 1765000 | #Constraints: 60350
3156.69/3165.34 c #Conflicts: 1766000 | #Constraints: 61350
3156.69/3165.34 c #Conflicts: 1767000 | #Constraints: 62350
3156.69/3165.34 c #Conflicts: 1768000 | #Constraints: 63350
3156.69/3165.34 c #Conflicts: 1769000 | #Constraints: 64350
3156.69/3165.34 c #Conflicts: 1770000 | #Constraints: 65350
3156.69/3165.34 c #Conflicts: 1771000 | #Constraints: 66350
3156.69/3165.34 c #Conflicts: 1772000 | #Constraints: 67350
3156.69/3165.34 c INPROCESSING
3156.69/3165.34 c GARBAGE COLLECT
3156.69/3165.34 c rational objective 90
3361.32/3370.57 c #Conflicts: 1773000 | #Constraints: 38022
3361.32/3370.57 c #Conflicts: 1774000 | #Constraints: 39022
3361.32/3370.57 c #Conflicts: 1775000 | #Constraints: 40022
3361.32/3370.57 c #Conflicts: 1776000 | #Constraints: 41022
3361.32/3370.57 c #Conflicts: 1777000 | #Constraints: 42022
3361.32/3370.57 c #Conflicts: 1778000 | #Constraints: 43022
3361.32/3370.57 c #Conflicts: 1779000 | #Constraints: 44022
3361.32/3370.57 c #Conflicts: 1780000 | #Constraints: 45022
3361.32/3370.57 c #Conflicts: 1781000 | #Constraints: 46022
3361.32/3370.57 c #Conflicts: 1782000 | #Constraints: 47022
3361.32/3370.57 c #Conflicts: 1783000 | #Constraints: 48022
3361.32/3370.57 c #Conflicts: 1784000 | #Constraints: 49022
3361.32/3370.57 c #Conflicts: 1785000 | #Constraints: 50022
3361.32/3370.57 c #Conflicts: 1786000 | #Constraints: 51022
3361.32/3370.57 c #Conflicts: 1787000 | #Constraints: 52022
3361.32/3370.57 c #Conflicts: 1788000 | #Constraints: 53022
3361.32/3370.57 c #Conflicts: 1789000 | #Constraints: 54022
3361.32/3370.57 c #Conflicts: 1790000 | #Constraints: 55022
3361.32/3370.57 c #Conflicts: 1791000 | #Constraints: 56022
3361.32/3370.57 c #Conflicts: 1792000 | #Constraints: 57022
3361.32/3370.57 c #Conflicts: 1793000 | #Constraints: 58022
3361.32/3370.57 c #Conflicts: 1794000 | #Constraints: 59022
3361.32/3370.57 c #Conflicts: 1795000 | #Constraints: 60022
3361.32/3370.57 c #Conflicts: 1796000 | #Constraints: 61022
3361.32/3370.57 c #Conflicts: 1797000 | #Constraints: 62022
3361.32/3370.57 c #Conflicts: 1798000 | #Constraints: 63022
3361.32/3370.57 c #Conflicts: 1799000 | #Constraints: 64022
3361.32/3370.57 c #Conflicts: 1800000 | #Constraints: 65022
3361.32/3370.57 c #Conflicts: 1801000 | #Constraints: 66022
3361.32/3370.57 c #Conflicts: 1802000 | #Constraints: 67022
3361.32/3370.57 c #Conflicts: 1803000 | #Constraints: 68022
3361.32/3370.57 c #Conflicts: 1804000 | #Constraints: 69022
3361.32/3370.57 c #Conflicts: 1805000 | #Constraints: 70022
3361.32/3370.57 c #Conflicts: 1806000 | #Constraints: 71022
3361.32/3370.57 c #Conflicts: 1807000 | #Constraints: 72022
3361.32/3370.57 c #Conflicts: 1808000 | #Constraints: 73022
3361.32/3370.57 c #Conflicts: 1809000 | #Constraints: 74022
3361.32/3370.57 c #Conflicts: 1810000 | #Constraints: 75022
3361.32/3370.57 c #Conflicts: 1811000 | #Constraints: 76022
3361.32/3370.57 c #Conflicts: 1812000 | #Constraints: 77022
3361.32/3370.57 c #Conflicts: 1813000 | #Constraints: 78022
3361.32/3370.57 c #Conflicts: 1814000 | #Constraints: 79022
3361.32/3370.57 c #Conflicts: 1815000 | #Constraints: 80022
3361.32/3370.57 c #Conflicts: 1816000 | #Constraints: 81022
3361.32/3370.57 c #Conflicts: 1817000 | #Constraints: 82022
3361.32/3370.57 c #Conflicts: 1818000 | #Constraints: 83022
3361.32/3370.57 c #Conflicts: 1819000 | #Constraints: 84022
3361.32/3370.57 c #Conflicts: 1820000 | #Constraints: 85022
3361.32/3370.57 c #Conflicts: 1821000 | #Constraints: 86022
3361.32/3370.57 c #Conflicts: 1822000 | #Constraints: 87022
3361.32/3370.57 c #Conflicts: 1823000 | #Constraints: 88022
3361.32/3370.57 c #Conflicts: 1824000 | #Constraints: 89022
3361.32/3370.57 c #Conflicts: 1825000 | #Constraints: 90022
3361.32/3370.57 c #Conflicts: 1826000 | #Constraints: 91022
3361.32/3370.57 c #Conflicts: 1827000 | #Constraints: 92022
3361.32/3370.57 c #Conflicts: 1828000 | #Constraints: 93022
3361.32/3370.57 c #Conflicts: 1829000 | #Constraints: 94022
3361.32/3370.57 c #Conflicts: 1830000 | #Constraints: 95022
3361.32/3370.57 c #Conflicts: 1831000 | #Constraints: 96022
3361.32/3370.57 c #Conflicts: 1832000 | #Constraints: 97022
3361.32/3370.57 c #Conflicts: 1833000 | #Constraints: 98022
3361.32/3370.57 c #Conflicts: 1834000 | #Constraints: 99022
3361.32/3370.57 c #Conflicts: 1835000 | #Constraints: 100022
3361.32/3370.57 c #Conflicts: 1836000 | #Constraints: 101022
3361.32/3370.57 c #Conflicts: 1837000 | #Constraints: 102022
3361.32/3370.57 c #Conflicts: 1838000 | #Constraints: 103022
3361.32/3370.57 c #Conflicts: 1839000 | #Constraints: 104022
3361.32/3370.57 c #Conflicts: 1840000 | #Constraints: 105022
3361.32/3370.57 c #Conflicts: 1841000 | #Constraints: 106022
3361.32/3370.57 c #Conflicts: 1842000 | #Constraints: 107022
3361.32/3370.57 c #Conflicts: 1843000 | #Constraints: 108022
3361.32/3370.57 c #Conflicts: 1844000 | #Constraints: 109022
3361.32/3370.57 c #Conflicts: 1845000 | #Constraints: 110022
3361.32/3370.57 c #Conflicts: 1846000 | #Constraints: 111022
3361.32/3370.57 c #Conflicts: 1847000 | #Constraints: 112022
3361.32/3370.57 c #Conflicts: 1848000 | #Constraints: 113022
3361.32/3370.57 c #Conflicts: 1849000 | #Constraints: 114022
3361.32/3370.57 c #Conflicts: 1850000 | #Constraints: 115022
3361.32/3370.57 c #Conflicts: 1851000 | #Constraints: 116022
3519.73/3529.43 c #Conflicts: 1852000 | #Constraints: 117022
3519.73/3529.43 c #Conflicts: 1853000 | #Constraints: 118022
3519.73/3529.43 c #Conflicts: 1854000 | #Constraints: 119022
3519.73/3529.43 c #Conflicts: 1855000 | #Constraints: 120022
3519.73/3529.43 c #Conflicts: 1856000 | #Constraints: 121022
3519.73/3529.43 c #Conflicts: 1857000 | #Constraints: 122022
3519.73/3529.43 c #Conflicts: 1858000 | #Constraints: 123022
3519.73/3529.43 c #Conflicts: 1859000 | #Constraints: 124022
3519.73/3529.43 c #Conflicts: 1860000 | #Constraints: 125022
3519.73/3529.43 c #Conflicts: 1861000 | #Constraints: 126022
3519.73/3529.43 c #Conflicts: 1862000 | #Constraints: 127022
3519.73/3529.43 c #Conflicts: 1863000 | #Constraints: 128022
3519.73/3529.43 c #Conflicts: 1864000 | #Constraints: 129022
3519.73/3529.43 c #Conflicts: 1865000 | #Constraints: 130022
3519.73/3529.43 c #Conflicts: 1866000 | #Constraints: 131022
3519.73/3529.43 c #Conflicts: 1867000 | #Constraints: 132022
3519.73/3529.43 c #Conflicts: 1868000 | #Constraints: 133022
3519.73/3529.43 c #Conflicts: 1869000 | #Constraints: 134022
3519.73/3529.43 c #Conflicts: 1870000 | #Constraints: 135022
3519.73/3529.43 c #Conflicts: 1871000 | #Constraints: 136022
3519.73/3529.43 c #Conflicts: 1872000 | #Constraints: 137022
3519.73/3529.43 c #Conflicts: 1873000 | #Constraints: 138022
3519.73/3529.43 c #Conflicts: 1874000 | #Constraints: 139022
3519.73/3529.43 c #Conflicts: 1875000 | #Constraints: 140022
3519.73/3529.43 c #Conflicts: 1876000 | #Constraints: 141022
3519.73/3529.43 c #Conflicts: 1877000 | #Constraints: 142022
3519.73/3529.43 c #Conflicts: 1878000 | #Constraints: 143022
3519.73/3529.43 c INPROCESSING
3519.73/3529.43 c GARBAGE COLLECT
3519.73/3529.43 c rational objective 90
3600.10/3610.01 c #Conflicts: 1879000 | #Constraints: 75810
3600.10/3610.01 c #Conflicts: 1880000 | #Constraints: 76810
3600.10/3610.01 c #Conflicts: 1881000 | #Constraints: 77810
3600.10/3610.01 c #Conflicts: 1882000 | #Constraints: 78810
3600.10/3610.01 c #Conflicts: 1883000 | #Constraints: 79810
3600.10/3610.01 c #Conflicts: 1884000 | #Constraints: 80810
3600.10/3610.01 c #Conflicts: 1885000 | #Constraints: 81810
3600.10/3610.01 c #Conflicts: 1886000 | #Constraints: 82810
3600.10/3610.01 c #Conflicts: 1887000 | #Constraints: 83810
3600.10/3610.01 c #Conflicts: 1888000 | #Constraints: 84810
3600.10/3610.01 c #Conflicts: 1889000 | #Constraints: 85810
3600.10/3610.01 c #Conflicts: 1890000 | #Constraints: 86810
3600.10/3610.01 c #Conflicts: 1891000 | #Constraints: 87810
3600.10/3610.01 c #Conflicts: 1892000 | #Constraints: 88810
3600.10/3610.01 c #Conflicts: 1893000 | #Constraints: 89810
3600.10/3610.01 c #Conflicts: 1894000 | #Constraints: 90810
3600.10/3610.01 c #Conflicts: 1895000 | #Constraints: 91810
3600.10/3610.01 c #Conflicts: 1896000 | #Constraints: 92810
3600.10/3610.01 c #Conflicts: 1897000 | #Constraints: 93810
3600.10/3610.01 c #Conflicts: 1898000 | #Constraints: 94810
3600.10/3610.01 c #Conflicts: 1899000 | #Constraints: 95810
3600.10/3610.01 c #Conflicts: 1900000 | #Constraints: 96810
3600.10/3610.01 c #Conflicts: 1901000 | #Constraints: 97810
3600.10/3610.01 c #Conflicts: 1902000 | #Constraints: 98810
3600.10/3610.01 c #Conflicts: 1903000 | #Constraints: 99810
3600.10/3610.01 c #Conflicts: 1904000 | #Constraints: 100810
3600.10/3610.01 c #Conflicts: 1905000 | #Constraints: 101810
3600.10/3610.01 c #Conflicts: 1906000 | #Constraints: 102810
3600.10/3610.01 c #Conflicts: 1907000 | #Constraints: 103810
3600.10/3610.01 c #Conflicts: 1908000 | #Constraints: 104810
3600.10/3610.01 c cpu time 3582.51 s
3600.10/3610.01 c deterministic time 271166385085 2.71e+11
3600.10/3610.01 c optimization time 79.4278 s
3600.10/3610.01 c total solve time 3503 s
3600.10/3610.01 c core-guided solve time 0 s
3600.10/3610.01 c propagation time 2019.34 s
3600.10/3610.01 c conflict analysis time 1360.36 s
3600.10/3610.01 c propagations 926328089
3600.10/3610.01 c resolve steps 85060863
3600.10/3610.01 c decisions 13341358
3600.10/3610.01 c conflicts 1908175
3600.10/3610.01 c restarts 3705
3600.10/3610.01 c inprocessing phases 85
3600.10/3610.01 c garbage collections 85 ,( 100.00 )
3600.10/3610.01 c input clauses 6212 ,( 98.57 )
3600.10/3610.01 c input cardinalities 90 ,( 1.43 )
3600.10/3610.01 c input general constraints 0 ,( 0.00 )
3600.10/3610.01 c input average constraint length 6.23
3600.10/3610.01 c input average constraint degree 1.94
3600.10/3610.01 c learned clauses 1475345 ,( 77.32 )
3600.10/3610.01 c learned cardinalities 30414 ,( 1.59 )
3600.10/3610.01 c learned general constraints 402441 ,( 21.09 )
3600.10/3610.01 c learned average constraint length 694.58
3600.10/3610.01 c learned average constraint degree 8642696.66
3600.10/3610.01 c watched CF 32, 64, 128, Arb: 135433 , 0 , 0 , 0
3600.10/3610.01 c counting CF 32, 64, 128, Arb: 267008 , 0 , 0 , 0
3600.10/3610.01 c watched constraints 135433 ,( 33.65 )
3600.10/3610.01 c counting constraints 267008 ,( 66.35 )
3600.10/3610.01 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1517128713 , 686186120 , 3461506489 ,( 156507061 , 3304999428 )
3600.10/3610.01 c gcd simplifications 1219
3600.10/3610.01 c detected cardinalities 1824
3600.10/3610.01 c weakened non-implied lits 373924203
3600.10/3610.01 c weakened non-implying lits 273113
3600.10/3610.01 c original variables 6120
3600.10/3610.01 c clausal propagations 344477561
3600.10/3610.01 c cardinality propagations 350657170
3600.10/3610.01 c watched propagations 4879395
3600.10/3610.01 c counting propagations 220023967
3600.10/3610.01 c watch lookups 149237932766
3600.10/3610.01 c watch backjump lookups 0
3600.10/3610.01 c watch checks 41191067450
3600.10/3610.01 c propagation checks 74238855693
3600.10/3610.01 c constraint additions 4616920875
3600.10/3610.01 c trail pops 941571758
3600.10/3610.01 c formula constraints 6302
3600.10/3610.01 c learned constraints 1908171
3600.10/3610.01 c bound constraints 0
3600.10/3610.01 c core-guided constraints 0
3600.10/3610.01 c encountered formula constraints 50171084
3600.10/3610.01 c encountered learned constraints 36797667
3600.10/3610.01 c encountered bound constraints 0
3600.10/3610.01 c encountered core-guided constraints 0
3600.10/3610.01 c LP total time 156.859 s
3600.10/3610.01 c LP solve time 131.3 s
3600.10/3610.01 c LP constraints added 8770
3600.10/3610.01 c LP constraints removed 2355
3600.10/3610.01 c LP pivots internal 192388
3600.10/3610.01 c LP pivots root 174707
3600.10/3610.01 c LP calls 55
3600.10/3610.01 c LP optimalities 47
3600.10/3610.01 c LP no pivot count 7
3600.10/3610.01 c LP infeasibilities 3
3600.10/3610.01 c LP valid Farkas constraints 3
3600.10/3610.01 c LP learned Farkas constraints 3
3600.10/3610.01 c LP basis resets 0
3600.10/3610.01 c LP cycling count 0
3600.10/3610.01 c LP singular count 0
3600.10/3610.01 c LP no primal count 0
3600.10/3610.01 c LP no farkas count 0
3600.10/3610.01 c LP other issue count 0
3600.10/3610.01 c LP Gomory cuts 23
3600.10/3610.01 c LP learned cuts 2493
3600.10/3610.01 c LP deleted cuts 2464
3600.10/3610.01 c LP encountered Gomory constraints 230
3600.10/3610.01 c LP encountered Farkas constraints 48
3600.10/3610.01 c LP encountered learned Farkas constraints 6
3600.10/3610.01 c CG auxiliary variables introduced 0
3600.10/3610.01 c CG solutions found 0
3600.10/3610.01 c CG cores constructed 0
3600.10/3610.01 c CG core cardinality constraints returned 0
3600.10/3610.01 c CG unit cores 0
3600.10/3610.01 c CG single cores 0
3600.10/3610.01 c CG blocks removed during cardinality reduction 0
3600.10/3610.01 c CG first core best 0
3600.10/3610.01 c CG decision core best 0
3600.10/3610.01 c CG core reduction tie 0
3600.10/3610.01 c CG core degree average 0.00
3600.10/3610.01 c CG core slack average 0.00
3600.10/3610.01 c CG core upper bound improvements 0
3600.10/3610.01 c STR number of successful calls 0
3600.10/3610.01 c STR number of unsuccessful calls 0
3600.10/3610.01 c STR number of inconclusive calls 0
3600.10/3610.01 c STR number of successful attempts 0
3600.10/3610.01 c STR number of unsuccessful attempts 0
3600.10/3610.01 c STR number of inconclusive attempts 0
3600.10/3610.01 c STR average degree increase per successful call inf
3600.10/3610.01 c STR average degree increase per successful attempt inf
3600.10/3610.01 c STR total number of conflicts for successful attempts 0
3600.10/3610.01 c STR total number of conflicts for unsuccessful attempts 0
3600.10/3610.01 c STR total number of conflicts for inconclusive attempts 0
3600.10/3610.01 c STR average number of conflicts per successful attempt inf
3600.10/3610.01 c STR average number of conflicts per unsuccessful attempt inf
3600.10/3610.01 c STR average number of conflicts per inconclusive attempt inf
3600.10/3610.01 c AVG.sumWPerc 58.59
3600.10/3610.01 c bigint constraints 0
3600.10/3610.01 s UNKNOWN
3600.10/3610.01 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: 63794 MiB (61023 MiB free)
memory of node 1: 64507 MiB (63959 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507266-1751176272/watcher-4507266-1751176272 -o /tmp/evaluation-result-4507266-1751176272/solver-4507266-1751176272 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751169047-20703 --watchdog 3760 run-dec-ls.sh HOME/instance-4507266-1751176272.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=21494, runsolver pid=21491
Current StackSize limit: 8192 KiB
[startup+0.100105 s]*
/proc/loadavg: 4.19 4.31 4.25 5/254 21496
/proc/meminfo: memFree=127974480/131382112 swapFree=33010684/33010684
[pid=21494] ppid=21491 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21494/stat : 21494 (run-dec-ls.sh) S 21491 21494 20691 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33306053 4292608 768 18446744073709551615 94395483963392 94395484857925 140723030363648 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94395485096976 94395485144720 94395502325760 140723030370663 140723030370789 140723030370789 140723030376391 0
/proc/21494/statm: 1048 768 704 219 0 110 0
[pid=21496] ppid=21494 vsize=63656 memory=19120 CPUtime=0.08 cores=1,3
/proc/21496/stat : 21496 (roundingsat) R 21494 21494 20691 0 -1 4194304 2816 0 0 0 6 2 0 0 20 0 1 0 33306054 65183744 4780 18446744073709551615 4227072 8923433 140728992057024 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40976384 140728992065952 140728992066088 140728992066088 140728992071658 0
/proc/21496/statm: 15914 4780 2208 1147 0 3341 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 67848 KiB
Current children cumulated memory: 22192 KiB
[startup+0.213981 s]*
/proc/loadavg: 4.19 4.31 4.25 5/254 21496
/proc/meminfo: memFree=127970952/131382112 swapFree=33010684/33010684
[pid=21494] ppid=21491 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21494/stat : 21494 (run-dec-ls.sh) S 21491 21494 20691 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33306053 4292608 768 18446744073709551615 94395483963392 94395484857925 140723030363648 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94395485096976 94395485144720 94395502325760 140723030370663 140723030370789 140723030370789 140723030376391 0
/proc/21494/statm: 1048 768 704 219 0 110 0
[pid=21496] ppid=21494 vsize=72740 memory=26820 CPUtime=0.2 cores=1,3
/proc/21496/stat : 21496 (roundingsat) R 21494 21494 20691 0 -1 4194304 4795 0 0 0 17 3 0 0 20 0 1 0 33306054 74485760 6705 18446744073709551615 4227072 8923433 140728992057024 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40976384 140728992065952 140728992066088 140728992066088 140728992071658 0
/proc/21496/statm: 18185 6705 2240 1147 0 5612 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 76932 KiB
Current children cumulated memory: 29892 KiB
[startup+0.314142 s]*
/proc/loadavg: 4.19 4.31 4.25 5/254 21496
/proc/meminfo: memFree=127968936/131382112 swapFree=33010684/33010684
[pid=21494] ppid=21491 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21494/stat : 21494 (run-dec-ls.sh) S 21491 21494 20691 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33306053 4292608 768 18446744073709551615 94395483963392 94395484857925 140723030363648 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94395485096976 94395485144720 94395502325760 140723030370663 140723030370789 140723030370789 140723030376391 0
/proc/21494/statm: 1048 768 704 219 0 110 0
[pid=21496] ppid=21494 vsize=73148 memory=27460 CPUtime=0.29 cores=1,3
/proc/21496/stat : 21496 (roundingsat) R 21494 21494 20691 0 -1 4194304 4948 0 0 0 26 3 0 0 20 0 1 0 33306054 74903552 6865 18446744073709551615 4227072 8923433 140728992057024 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40976384 140728992065952 140728992066088 140728992066088 140728992071658 0
/proc/21496/statm: 18287 6865 2240 1147 0 5714 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 77340 KiB
Current children cumulated memory: 30532 KiB
[startup+0.700342 s]
/proc/loadavg: 4.19 4.31 4.25 5/254 21496
/proc/meminfo: memFree=127968936/131382112 swapFree=33010684/33010684
[pid=21494] ppid=21491 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21494/stat : 21494 (run-dec-ls.sh) S 21491 21494 20691 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33306053 4292608 768 18446744073709551615 94395483963392 94395484857925 140723030363648 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94395485096976 94395485144720 94395502325760 140723030370663 140723030370789 140723030370789 140723030376391 0
/proc/21494/statm: 1048 768 704 219 0 110 0
[pid=21496] ppid=21494 vsize=73344 memory=27588 CPUtime=0.67 cores=1,3
/proc/21496/stat : 21496 (roundingsat) R 21494 21494 20691 0 -1 4194304 5008 0 0 0 63 4 0 0 20 0 1 0 33306054 75104256 6897 18446744073709551615 4227072 8923433 140728992057024 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40976384 140728992065952 140728992066088 140728992066088 140728992071658 0
/proc/21496/statm: 18336 6897 2240 1147 0 5763 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 77536 KiB
Current children cumulated memory: 30660 KiB
[startup+1.50037 s]
/proc/loadavg: 4.19 4.31 4.25 5/251 21500
/proc/meminfo: memFree=129224164/131382112 swapFree=33010684/33010684
[pid=21494] ppid=21491 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21494/stat : 21494 (run-dec-ls.sh) S 21491 21494 20691 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33306053 4292608 768 18446744073709551615 94395483963392 94395484857925 140723030363648 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94395485096976 94395485144720 94395502325760 140723030370663 140723030370789 140723030370789 140723030376391 0
/proc/21494/statm: 1048 768 704 219 0 110 0
[pid=21496] ppid=21494 vsize=74164 memory=28484 CPUtime=1.45 cores=1,3
/proc/21496/stat : 21496 (roundingsat) R 21494 21494 20691 0 -1 4194304 5214 0 0 0 140 5 0 0 20 0 1 0 33306054 75943936 7121 18446744073709551615 4227072 8923433 140728992057024 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40976384 140728992065952 140728992066088 140728992066088 140728992071658 0
/proc/21496/statm: 18541 7121 2240 1147 0 5968 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 78356 KiB
Current children cumulated memory: 31556 KiB
[startup+3.11286 s]
/proc/loadavg: 4.10 4.29 4.25 5/254 21542
/proc/meminfo: memFree=129216052/131382112 swapFree=33010684/33010684
[pid=21494] ppid=21491 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21494/stat : 21494 (run-dec-ls.sh) S 21491 21494 20691 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33306053 4292608 768 18446744073709551615 94395483963392 94395484857925 140723030363648 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94395485096976 94395485144720 94395502325760 140723030370663 140723030370789 140723030370789 140723030376391 0
/proc/21494/statm: 1048 768 704 219 0 110 0
[pid=21496] ppid=21494 vsize=77560 memory=34264 CPUtime=3.06 cores=1,3
/proc/21496/stat : 21496 (roundingsat) R 21494 21494 20691 0 -1 4194304 6075 0 0 0 296 10 0 0 20 0 1 0 33306054 79421440 8566 18446744073709551615 4227072 8923433 140728992057024 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40976384 140728992065952 140728992066088 140728992066088 140728992071658 0
/proc/21496/statm: 19390 8566 2336 1147 0 6817 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 81752 KiB
Current children cumulated memory: 37336 KiB
[startup+6.30039 s]
/proc/loadavg: 4.10 4.29 4.25 5/254 21542
/proc/meminfo: memFree=129204340/131382112 swapFree=33010684/33010684
[pid=21494] ppid=21491 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21494/stat : 21494 (run-dec-ls.sh) S 21491 21494 20691 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33306053 4292608 768 18446744073709551615 94395483963392 94395484857925 140723030363648 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94395485096976 94395485144720 94395502325760 140723030370663 140723030370789 140723030370789 140723030376391 0
/proc/21494/statm: 1048 768 704 219 0 110 0
[pid=21496] ppid=21494 vsize=84908 memory=39640 CPUtime=6.24 cores=1,3
/proc/21496/stat : 21496 (roundingsat) R 21494 21494 20691 0 -1 4194304 7406 0 0 0 607 17 0 0 20 0 1 0 33306054 86945792 9910 18446744073709551615 4227072 8923433 140728992057024 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40976384 140728992065952 140728992066088 140728992066088 140728992071658 0
/proc/21496/statm: 21227 9910 2336 1147 0 8654 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 89100 KiB
Current children cumulated memory: 42712 KiB
[startup+12.7004 s]
/proc/loadavg: 4.16 4.29 4.25 5/254 21542
/proc/meminfo: memFree=129191264/131382112 swapFree=33010684/33010684
[pid=21494] ppid=21491 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21494/stat : 21494 (run-dec-ls.sh) S 21491 21494 20691 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33306053 4292608 768 18446744073709551615 94395483963392 94395484857925 140723030363648 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94395485096976 94395485144720 94395502325760 140723030370663 140723030370789 140723030370789 140723030376391 0
/proc/21494/statm: 1048 768 704 219 0 110 0
[pid=21496] ppid=21494 vsize=93392 memory=46040 CPUtime=12.62 cores=1,3
/proc/21496/stat : 21496 (roundingsat) R 21494 21494 20691 0 -1 4194304 8999 0 0 0 1232 30 0 0 20 0 1 0 33306054 95633408 11510 18446744073709551615 4227072 8923433 140728992057024 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40976384 140728992065952 140728992066088 140728992066088 140728992071658 0
/proc/21496/statm: 23348 11510 2336 1147 0 10775 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 97584 KiB
Current children cumulated memory: 49112 KiB
[startup+25.5004 s]
/proc/loadavg: 4.14 4.28 4.25 5/254 21542
/proc/meminfo: memFree=129159768/131382112 swapFree=33010684/33010684
[pid=21494] ppid=21491 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21494/stat : 21494 (run-dec-ls.sh) S 21491 21494 20691 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33306053 4292608 768 18446744073709551615 94395483963392 94395484857925 140723030363648 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94395485096976 94395485144720 94395502325760 140723030370663 140723030370789 140723030370789 140723030376391 0
/proc/21494/statm: 1048 768 704 219 0 110 0
[pid=21496] ppid=21494 vsize=104752 memory=54608 CPUtime=25.38 cores=1,3
/proc/21496/stat : 21496 (roundingsat) R 21494 21494 20691 0 -1 4194304 10633 0 0 0 2486 52 0 0 20 0 1 0 33306054 107266048 13652 18446744073709551615 4227072 8923433 140728992057024 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40976384 140728992065952 140728992066088 140728992066088 140728992071658 0
/proc/21496/statm: 26188 13652 2336 1147 0 13615 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 108944 KiB
Current children cumulated memory: 57680 KiB
[startup+51.113 s]
/proc/loadavg: 4.15 4.27 4.25 5/254 21543
/proc/meminfo: memFree=129073580/131382112 swapFree=33010684/33010684
[pid=21494] ppid=21491 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21494/stat : 21494 (run-dec-ls.sh) S 21491 21494 20691 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33306053 4292608 768 18446744073709551615 94395483963392 94395484857925 140723030363648 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94395485096976 94395485144720 94395502325760 140723030370663 140723030370789 140723030370789 140723030376391 0
/proc/21494/statm: 1048 768 704 219 0 110 0
[pid=21496] ppid=21494 vsize=132016 memory=84904 CPUtime=50.93 cores=1,3
/proc/21496/stat : 21496 (roundingsat) R 21494 21494 20691 0 -1 4194304 17722 0 0 0 5000 93 0 0 20 0 1 0 33306054 135184384 21226 18446744073709551615 4227072 8923433 140728992057024 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40976384 140728992065952 140728992066088 140728992066088 140728992071658 0
/proc/21496/statm: 33004 21226 2336 1147 0 20431 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 136208 KiB
Current children cumulated memory: 87976 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.24 4.23 5/254 21545
/proc/meminfo: memFree=128902720/131382112 swapFree=33010684/33010684
[pid=21494] ppid=21491 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21494/stat : 21494 (run-dec-ls.sh) S 21491 21494 20691 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33306053 4292608 768 18446744073709551615 94395483963392 94395484857925 140723030363648 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94395485096976 94395485144720 94395502325760 140723030370663 140723030370789 140723030370789 140723030376391 0
/proc/21494/statm: 1048 768 704 219 0 110 0
[pid=21496] ppid=21494 vsize=222120 memory=159132 CPUtime=101.98 cores=1,3
/proc/21496/stat : 21496 (roundingsat) R 21494 21494 20691 0 -1 4194304 26062 0 0 0 10042 156 0 0 20 0 1 0 33306054 227450880 39783 18446744073709551615 4227072 8923433 140728992057024 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40976384 140728992065952 140728992066088 140728992066088 140728992071658 0
/proc/21496/statm: 55530 39783 2336 1147 0 42957 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 226312 KiB
Current children cumulated memory: 162204 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.23 4.23 5/254 21547
/proc/meminfo: memFree=128802640/131382112 swapFree=33010684/33010684
[pid=21494] ppid=21491 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21494/stat : 21494 (run-dec-ls.sh) S 21491 21494 20691 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33306053 4292608 768 18446744073709551615 94395483963392 94395484857925 140723030363648 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94395485096976 94395485144720 94395502325760 140723030370663 140723030370789 140723030370789 140723030376391 0
/proc/21494/statm: 1048 768 704 219 0 110 0
[pid=21496] ppid=21494 vsize=239272 memory=180648 CPUtime=161.82 cores=1,3
/proc/21496/stat : 21496 (roundingsat) R 21494 21494 20691 0 -1 4194304 29924 0 0 0 15964 218 0 0 20 0 1 0 33306054 245014528 45162 18446744073709551615 4227072 8923433 140728992057024 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40976384 140728992065952 140728992066088 140728992066088 140728992071658 0
/proc/21496/statm: 59818 45162 2336 1147 0 47245 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 243464 KiB
Current children cumulated memory: 183720 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.20 4.22 5/254 21549
/proc/meminfo: memFree=128661692/131382112 swapFree=33010684/33010684
[pid=21494] ppid=21491 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21494/stat : 21494 (run-dec-ls.sh) S 21491 21494 20691 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33306053 4292608 768 18446744073709551615 94395483963392 94395484857925 140723030363648 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94395485096976 94395485144720 94395502325760 140723030370663 140723030370789 140723030370789 140723030376391 0
/proc/21494/statm: 1048 768 704 219 0 110 0
[pid=21496] ppid=21494 vsize=313280 memory=262408 CPUtime=221.66 cores=1,3
/proc/21496/stat : 21496 (roundingsat) R 21494 21494 20691 0 -1 4194304 35550 0 0 0 21911 255 0 0 20 0 1 0 33306054 320798720 65602 18446744073709551615 4227072 8923433 140728992057024 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40976384 140728992065952 140728992066088 140728992066088 140728992071658 0
/proc/21496/statm: 78320 65602 2336 1147 0 65747 0
################
# More data... #
################
/proc/21496/statm: 230654 201724 2336 1147 0 218081 0
Current children cumulated CPU time: 3034.01 s
Current children cumulated vsize: 926808 KiB
Current children cumulated memory: 809968 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.15 4.16 5/254 21744
/proc/meminfo: memFree=126828420/131382112 swapFree=33010684/33010684
[pid=21494] ppid=21491 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21494/stat : 21494 (run-dec-ls.sh) S 21491 21494 20691 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33306053 4292608 768 18446744073709551615 94395483963392 94395484857925 140723030363648 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94395485096976 94395485144720 94395502325760 140723030370663 140723030370789 140723030370789 140723030376391 0
/proc/21494/statm: 1048 768 704 219 0 110 0
[pid=21496] ppid=21494 vsize=922996 memory=807280 CPUtime=3093.86 cores=1,3
/proc/21496/stat : 21496 (roundingsat) R 21494 21494 20691 0 -1 4194304 75095 0 0 0 307770 1616 0 0 20 0 1 0 33306054 945147904 201820 18446744073709551615 4227072 8923433 140728992057024 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40976384 140728992065952 140728992066088 140728992066088 140728992071658 0
/proc/21496/statm: 230749 201820 2336 1147 0 218176 0
Current children cumulated CPU time: 3093.86 s
Current children cumulated vsize: 927188 KiB
Current children cumulated memory: 810352 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.14 4.16 5/253 21746
/proc/meminfo: memFree=126820404/131382112 swapFree=33010684/33010684
[pid=21494] ppid=21491 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21494/stat : 21494 (run-dec-ls.sh) S 21491 21494 20691 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33306053 4292608 768 18446744073709551615 94395483963392 94395484857925 140723030363648 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94395485096976 94395485144720 94395502325760 140723030370663 140723030370789 140723030370789 140723030376391 0
/proc/21494/statm: 1048 768 704 219 0 110 0
[pid=21496] ppid=21494 vsize=922996 memory=807280 CPUtime=3153.7 cores=1,3
/proc/21496/stat : 21496 (roundingsat) R 21494 21494 20691 0 -1 4194304 75096 0 0 0 313724 1646 0 0 20 0 1 0 33306054 945147904 201820 18446744073709551615 4227072 8923433 140728992057024 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40976384 140728992065952 140728992066088 140728992066088 140728992071658 0
/proc/21496/statm: 230749 201820 2336 1147 0 218176 0
Current children cumulated CPU time: 3153.7 s
Current children cumulated vsize: 927188 KiB
Current children cumulated memory: 810352 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.14 4.16 5/253 21748
/proc/meminfo: memFree=126788080/131382112 swapFree=33010684/33010684
[pid=21494] ppid=21491 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21494/stat : 21494 (run-dec-ls.sh) S 21491 21494 20691 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33306053 4292608 768 18446744073709551615 94395483963392 94395484857925 140723030363648 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94395485096976 94395485144720 94395502325760 140723030370663 140723030370789 140723030370789 140723030376391 0
/proc/21494/statm: 1048 768 704 219 0 110 0
[pid=21496] ppid=21494 vsize=922996 memory=807280 CPUtime=3213.55 cores=1,3
/proc/21496/stat : 21496 (roundingsat) R 21494 21494 20691 0 -1 4194304 75097 0 0 0 319678 1677 0 0 20 0 1 0 33306054 945147904 201820 18446744073709551615 4227072 8923433 140728992057024 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40976384 140728992065952 140728992066088 140728992066088 140728992071658 0
/proc/21496/statm: 230749 201820 2336 1147 0 218176 0
Current children cumulated CPU time: 3213.55 s
Current children cumulated vsize: 927188 KiB
Current children cumulated memory: 810352 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.13 4.15 5/253 21750
/proc/meminfo: memFree=126747372/131382112 swapFree=33010684/33010684
[pid=21494] ppid=21491 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21494/stat : 21494 (run-dec-ls.sh) S 21491 21494 20691 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33306053 4292608 768 18446744073709551615 94395483963392 94395484857925 140723030363648 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94395485096976 94395485144720 94395502325760 140723030370663 140723030370789 140723030370789 140723030376391 0
/proc/21494/statm: 1048 768 704 219 0 110 0
[pid=21496] ppid=21494 vsize=922996 memory=807280 CPUtime=3273.37 cores=1,3
/proc/21496/stat : 21496 (roundingsat) R 21494 21494 20691 0 -1 4194304 75186 0 0 0 325641 1696 0 0 20 0 1 0 33306054 945147904 201820 18446744073709551615 4227072 8923433 140728992057024 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40976384 140728992065952 140728992066088 140728992066088 140728992071658 0
/proc/21496/statm: 230749 201820 2336 1147 0 218176 0
Current children cumulated CPU time: 3273.37 s
Current children cumulated vsize: 927188 KiB
Current children cumulated memory: 810352 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.13 4.15 5/253 21752
/proc/meminfo: memFree=126734064/131382112 swapFree=33010684/33010684
[pid=21494] ppid=21491 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21494/stat : 21494 (run-dec-ls.sh) S 21491 21494 20691 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33306053 4292608 768 18446744073709551615 94395483963392 94395484857925 140723030363648 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94395485096976 94395485144720 94395502325760 140723030370663 140723030370789 140723030370789 140723030376391 0
/proc/21494/statm: 1048 768 704 219 0 110 0
[pid=21496] ppid=21494 vsize=922996 memory=807280 CPUtime=3333.19 cores=1,3
/proc/21496/stat : 21496 (roundingsat) R 21494 21494 20691 0 -1 4194304 75220 0 0 0 331609 1710 0 0 20 0 1 0 33306054 945147904 201820 18446744073709551615 4227072 8923433 140728992057024 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40976384 140728992065952 140728992066088 140728992066088 140728992071658 0
/proc/21496/statm: 230749 201820 2336 1147 0 218176 0
Current children cumulated CPU time: 3333.19 s
Current children cumulated vsize: 927188 KiB
Current children cumulated memory: 810352 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.12 4.15 5/254 21757
/proc/meminfo: memFree=126743864/131382112 swapFree=33010684/33010684
[pid=21494] ppid=21491 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21494/stat : 21494 (run-dec-ls.sh) S 21491 21494 20691 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33306053 4292608 768 18446744073709551615 94395483963392 94395484857925 140723030363648 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94395485096976 94395485144720 94395502325760 140723030370663 140723030370789 140723030370789 140723030376391 0
/proc/21494/statm: 1048 768 704 219 0 110 0
[pid=21496] ppid=21494 vsize=922996 memory=807280 CPUtime=3393.02 cores=1,3
/proc/21496/stat : 21496 (roundingsat) R 21494 21494 20691 0 -1 4194304 75254 0 0 0 337584 1718 0 0 20 0 1 0 33306054 945147904 201820 18446744073709551615 4227072 8923433 140728992057024 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40976384 140728992065952 140728992066088 140728992066088 140728992071658 0
/proc/21496/statm: 230749 201820 2336 1147 0 218176 0
Current children cumulated CPU time: 3393.02 s
Current children cumulated vsize: 927188 KiB
Current children cumulated memory: 810352 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.13 4.15 5/254 21763
/proc/meminfo: memFree=126730032/131382112 swapFree=33010684/33010684
[pid=21494] ppid=21491 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21494/stat : 21494 (run-dec-ls.sh) S 21491 21494 20691 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33306053 4292608 768 18446744073709551615 94395483963392 94395484857925 140723030363648 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94395485096976 94395485144720 94395502325760 140723030370663 140723030370789 140723030370789 140723030376391 0
/proc/21494/statm: 1048 768 704 219 0 110 0
[pid=21496] ppid=21494 vsize=924832 memory=808560 CPUtime=3452.84 cores=1,3
/proc/21496/stat : 21496 (roundingsat) R 21494 21494 20691 0 -1 4194304 75584 0 0 0 343560 1724 0 0 20 0 1 0 33306054 947027968 202140 18446744073709551615 4227072 8923433 140728992057024 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40976384 140728992065952 140728992066088 140728992066088 140728992071658 0
/proc/21496/statm: 231208 202140 2336 1147 0 218635 0
Current children cumulated CPU time: 3452.84 s
Current children cumulated vsize: 929024 KiB
Current children cumulated memory: 811632 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.13 4.15 5/255 21766
/proc/meminfo: memFree=126709456/131382112 swapFree=33010684/33010684
[pid=21494] ppid=21491 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21494/stat : 21494 (run-dec-ls.sh) S 21491 21494 20691 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33306053 4292608 768 18446744073709551615 94395483963392 94395484857925 140723030363648 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94395485096976 94395485144720 94395502325760 140723030370663 140723030370789 140723030370789 140723030376391 0
/proc/21494/statm: 1048 768 704 219 0 110 0
[pid=21496] ppid=21494 vsize=945952 memory=821232 CPUtime=3512.65 cores=1,3
/proc/21496/stat : 21496 (roundingsat) R 21494 21494 20691 0 -1 4194304 78790 0 0 0 349531 1734 0 0 20 0 1 0 33306054 968654848 205308 18446744073709551615 4227072 8923433 140728992057024 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40976384 140728992065952 140728992066088 140728992066088 140728992071658 0
/proc/21496/statm: 236488 205308 2336 1147 0 223915 0
Current children cumulated CPU time: 3512.65 s
Current children cumulated vsize: 950144 KiB
Current children cumulated memory: 824304 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.14 4.15 5/255 21768
/proc/meminfo: memFree=126685328/131382112 swapFree=33010684/33010684
[pid=21494] ppid=21491 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21494/stat : 21494 (run-dec-ls.sh) S 21491 21494 20691 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33306053 4292608 768 18446744073709551615 94395483963392 94395484857925 140723030363648 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94395485096976 94395485144720 94395502325760 140723030370663 140723030370789 140723030370789 140723030376391 0
/proc/21494/statm: 1048 768 704 219 0 110 0
[pid=21496] ppid=21494 vsize=952504 memory=826096 CPUtime=3572.47 cores=1,3
/proc/21496/stat : 21496 (roundingsat) R 21494 21494 20691 0 -1 4194304 80005 0 0 0 355495 1752 0 0 20 0 1 0 33306054 975364096 206524 18446744073709551615 4227072 8923433 140728992057024 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40976384 140728992065952 140728992066088 140728992066088 140728992071658 0
/proc/21496/statm: 238126 206524 2336 1147 0 225553 0
Current children cumulated CPU time: 3572.47 s
Current children cumulated vsize: 956696 KiB
Current children cumulated memory: 829168 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 4.16 4.14 4.15 4/250 21778
/proc/meminfo: memFree=128080688/131382112 swapFree=33010684/33010684
[pid=21494] ppid=21491 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21494/stat : 21494 (run-dec-ls.sh) S 21491 21494 20691 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33306053 4292608 768 18446744073709551615 94395483963392 94395484857925 140723030363648 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94395485096976 94395485144720 94395502325760 140723030370663 140723030370789 140723030370789 140723030376391 0
/proc/21494/statm: 1048 768 704 219 0 110 0
[pid=21496] ppid=21494 vsize=952504 memory=826096 CPUtime=3600.1 cores=1,3
/proc/21496/stat : 21496 (roundingsat) R 21494 21494 20691 0 -1 4194304 80005 0 0 0 358250 1760 0 0 20 0 1 0 33306054 975364096 206524 18446744073709551615 4227072 8923433 140728992057024 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40976384 140728992065952 140728992066088 140728992066088 140728992071658 0
/proc/21496/statm: 238126 206524 2336 1147 0 225553 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 956696 KiB
Current children cumulated memory: 829168 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.02 s]
# the end of solver process 21494 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.002603 s, system=0.00259 s
[startup+3610.02 s]
# the end of solver process 21496 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3582.51 s, system=17.6109 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): 3610.02
CPU time (s): 3600.12
CPU user time (s): 3582.51
CPU system time (s): 17.6109
CPU usage (%): 99.7258
Max. virtual memory (cumulated for all children) (KiB): 956696
Max. memory (cumulated for all children) (KiB): 829168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.51
system time used= 17.6109
maximum resident set size= 826608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80234
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= 307
involuntary context switches= 2864
# summary of solver processes directly reported to runsolver:
# pid: 21494,21496
# total CPU time (s): 3600.12
# total CPU user time (s): 3582.51
# total CPU system time (s): 17.6109
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.7259 second user time and 38.9991 second system time
The end
Begin job on nodeC001 at 2025-06-29 07:51:12
IDJOB=4507266
IDBENCH=158339
IDSOLVER=3353
FILE ID=nodeC001/4507266-1751176272
RUNJOBID= nodeC001-1751169047-20703
SLURM_JOB_ID= 9587516
Free space on /tmp= 433032 MiB
SOLVER NAME= roundingsat-ls 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K90.opb
COMMAND LINE= run-dec-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507266-1751176272/watcher-4507266-1751176272 -o /tmp/evaluation-result-4507266-1751176272/solver-4507266-1751176272 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751169047-20703 --watchdog 3760 run-dec-ls.sh HOME/instance-4507266-1751176272.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= dd58632d9551a3604736dadf6eadc418
RANDOM SEED=1235387061
nodeC001 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 : 3662.461
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.49
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.157
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.49
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.568
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.49
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.332
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.49
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 : 3662.624
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.49
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 : 1895.426
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.49
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.348
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.49
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 : 3700.000
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.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 127983048 kB
MemAvailable: 127638132 kB
Buffers: 3280 kB
Cached: 466420 kB
SwapCached: 0 kB
Active: 2548540 kB
Inactive: 221476 kB
Active(anon): 2318280 kB
Inactive(anon): 0 kB
Active(file): 230260 kB
Inactive(file): 221476 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 16620 kB
Writeback: 0 kB
AnonPages: 2301924 kB
Mapped: 115096 kB
Shmem: 17960 kB
KReclaimable: 85568 kB
Slab: 166068 kB
SReclaimable: 85568 kB
SUnreclaim: 80500 kB
KernelStack: 4080 kB
PageTables: 7604 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 3033292 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149448 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1368064 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: 195400 kB
DirectMap2M: 9144320 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433028 MiB
End job on nodeC001 at 2025-06-29 08:51:22