0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.06 c #variables 6120 #constraints 6302
33.68/33.82 c #Conflicts: 1000 | #Constraints: 7301
33.68/33.82 c #Conflicts: 2000 | #Constraints: 8301
33.68/33.82 c INPROCESSING
33.68/33.82 c GARBAGE COLLECT
33.68/33.82 c #Conflicts: 3000 | #Constraints: 7984
33.68/33.82 c #Conflicts: 4000 | #Constraints: 8984
33.68/33.82 c INPROCESSING
33.68/33.82 c GARBAGE COLLECT
33.68/33.82 c #Conflicts: 5000 | #Constraints: 8433
33.68/33.82 c #Conflicts: 6000 | #Constraints: 9433
33.68/33.82 c INPROCESSING
33.68/33.82 c GARBAGE COLLECT
33.68/33.82 c #Conflicts: 7000 | #Constraints: 8488
33.68/33.82 c #Conflicts: 8000 | #Constraints: 9488
33.68/33.82 c #Conflicts: 9000 | #Constraints: 10488
33.68/33.82 c INPROCESSING
33.68/33.82 c GARBAGE COLLECT
33.68/33.82 c #Conflicts: 10000 | #Constraints: 9231
33.68/33.82 c #Conflicts: 11000 | #Constraints: 10231
33.68/33.82 c #Conflicts: 12000 | #Constraints: 11231
33.68/33.82 c INPROCESSING
33.68/33.82 c GARBAGE COLLECT
33.68/33.82 c #Conflicts: 13000 | #Constraints: 9734
33.68/33.82 c #Conflicts: 14000 | #Constraints: 10734
33.68/33.82 c #Conflicts: 15000 | #Constraints: 11734
33.68/33.82 c INPROCESSING
33.68/33.82 c GARBAGE COLLECT
33.68/33.82 c #Conflicts: 16000 | #Constraints: 9976
33.68/33.82 c #Conflicts: 17000 | #Constraints: 10976
33.68/33.82 c #Conflicts: 18000 | #Constraints: 11976
33.68/33.82 c INPROCESSING
33.68/33.82 c GARBAGE COLLECT
33.68/33.82 c #Conflicts: 19000 | #Constraints: 10023
33.68/33.82 c #Conflicts: 20000 | #Constraints: 11023
33.68/33.82 c #Conflicts: 21000 | #Constraints: 12023
33.68/33.82 c INPROCESSING
33.68/33.82 c GARBAGE COLLECT
33.68/33.82 c #Conflicts: 22000 | #Constraints: 9837
33.68/33.82 c #Conflicts: 23000 | #Constraints: 10837
33.68/33.82 c #Conflicts: 24000 | #Constraints: 11837
33.68/33.82 c #Conflicts: 25000 | #Constraints: 12837
33.68/33.82 c INPROCESSING
33.68/33.82 c GARBAGE COLLECT
33.68/33.82 c #Conflicts: 26000 | #Constraints: 10450
33.68/33.82 c #Conflicts: 27000 | #Constraints: 11450
33.68/33.82 c #Conflicts: 28000 | #Constraints: 12450
33.68/33.82 c #Conflicts: 29000 | #Constraints: 13450
33.68/33.82 c INPROCESSING
33.68/33.82 c GARBAGE COLLECT
33.68/33.82 c #Conflicts: 30000 | #Constraints: 10874
33.68/33.82 c #Conflicts: 31000 | #Constraints: 11874
33.68/33.82 c #Conflicts: 32000 | #Constraints: 12874
33.68/33.82 c #Conflicts: 33000 | #Constraints: 13874
33.68/33.82 c INPROCESSING
33.68/33.82 c GARBAGE COLLECT
33.68/33.82 c #Conflicts: 34000 | #Constraints: 11108
33.68/33.82 c #Conflicts: 35000 | #Constraints: 12108
33.68/33.82 c #Conflicts: 36000 | #Constraints: 13108
33.68/33.82 c #Conflicts: 37000 | #Constraints: 14108
33.68/33.82 c INPROCESSING
33.68/33.82 c GARBAGE COLLECT
33.68/33.82 c #Conflicts: 38000 | #Constraints: 11116
33.68/33.82 c #Conflicts: 39000 | #Constraints: 12116
33.68/33.82 c #Conflicts: 40000 | #Constraints: 13116
33.68/33.82 c #Conflicts: 41000 | #Constraints: 14116
33.68/33.82 c INPROCESSING
33.68/33.82 c GARBAGE COLLECT
33.68/33.82 c #Conflicts: 42000 | #Constraints: 10922
33.68/33.82 c #Conflicts: 43000 | #Constraints: 11922
33.68/33.82 c #Conflicts: 44000 | #Constraints: 12922
33.68/33.82 c #Conflicts: 45000 | #Constraints: 13922
33.68/33.82 c #Conflicts: 46000 | #Constraints: 14922
33.68/33.82 c INPROCESSING
33.68/33.82 c GARBAGE COLLECT
33.68/33.82 c #Conflicts: 47000 | #Constraints: 11543
33.68/33.82 c #Conflicts: 48000 | #Constraints: 12543
33.68/33.82 c #Conflicts: 49000 | #Constraints: 13543
33.68/33.82 c #Conflicts: 50000 | #Constraints: 14543
33.68/33.82 c #Conflicts: 51000 | #Constraints: 15543
33.68/33.82 c INPROCESSING
33.68/33.82 c GARBAGE COLLECT
33.68/33.82 c rational objective 90
93.74/94.03 c #Conflicts: 52000 | #Constraints: 11972
93.74/94.03 c #Conflicts: 53000 | #Constraints: 12972
93.74/94.03 c #Conflicts: 54000 | #Constraints: 13972
93.74/94.03 c #Conflicts: 55000 | #Constraints: 14972
93.74/94.03 c #Conflicts: 56000 | #Constraints: 15972
93.74/94.03 c INPROCESSING
93.74/94.03 c GARBAGE COLLECT
93.74/94.03 c #Conflicts: 57000 | #Constraints: 12238
93.74/94.03 c #Conflicts: 58000 | #Constraints: 13238
93.74/94.03 c #Conflicts: 59000 | #Constraints: 14238
93.74/94.03 c #Conflicts: 60000 | #Constraints: 15238
93.74/94.03 c #Conflicts: 61000 | #Constraints: 16238
93.74/94.03 c INPROCESSING
93.74/94.03 c GARBAGE COLLECT
93.74/94.03 c #Conflicts: 62000 | #Constraints: 12263
93.74/94.03 c #Conflicts: 63000 | #Constraints: 13263
93.74/94.03 c #Conflicts: 64000 | #Constraints: 14263
93.74/94.03 c #Conflicts: 65000 | #Constraints: 15263
93.74/94.03 c #Conflicts: 66000 | #Constraints: 16263
93.74/94.03 c INPROCESSING
93.74/94.03 c GARBAGE COLLECT
93.74/94.03 c #Conflicts: 67000 | #Constraints: 12066
93.74/94.03 c #Conflicts: 68000 | #Constraints: 13066
93.74/94.03 c #Conflicts: 69000 | #Constraints: 14066
93.74/94.03 c #Conflicts: 70000 | #Constraints: 15066
93.74/94.03 c #Conflicts: 71000 | #Constraints: 16066
93.74/94.03 c #Conflicts: 72000 | #Constraints: 17066
93.74/94.03 c INPROCESSING
93.74/94.03 c GARBAGE COLLECT
93.74/94.03 c #Conflicts: 73000 | #Constraints: 12682
93.74/94.03 c #Conflicts: 74000 | #Constraints: 13682
93.74/94.03 c #Conflicts: 75000 | #Constraints: 14682
93.74/94.03 c #Conflicts: 76000 | #Constraints: 15682
93.74/94.03 c #Conflicts: 77000 | #Constraints: 16682
93.74/94.03 c #Conflicts: 78000 | #Constraints: 17682
93.74/94.03 c #Conflicts: 79000 | #Constraints: 18682
93.74/94.03 c #Conflicts: 80000 | #Constraints: 19682
93.74/94.03 c #Conflicts: 81000 | #Constraints: 20682
93.74/94.03 c #Conflicts: 82000 | #Constraints: 21682
93.74/94.03 c #Conflicts: 83000 | #Constraints: 22682
93.74/94.03 c #Conflicts: 84000 | #Constraints: 23682
93.74/94.03 c #Conflicts: 85000 | #Constraints: 24682
93.74/94.03 c #Conflicts: 86000 | #Constraints: 25682
93.74/94.03 c #Conflicts: 87000 | #Constraints: 26682
93.74/94.03 c #Conflicts: 88000 | #Constraints: 27682
93.74/94.03 c #Conflicts: 89000 | #Constraints: 28682
93.74/94.03 c #Conflicts: 90000 | #Constraints: 29682
93.74/94.03 c #Conflicts: 91000 | #Constraints: 30682
93.74/94.03 c #Conflicts: 92000 | #Constraints: 31682
93.74/94.03 c #Conflicts: 93000 | #Constraints: 32682
93.74/94.03 c #Conflicts: 94000 | #Constraints: 33682
93.74/94.03 c #Conflicts: 95000 | #Constraints: 34682
93.74/94.03 c #Conflicts: 96000 | #Constraints: 35682
93.74/94.03 c INPROCESSING
93.74/94.03 c GARBAGE COLLECT
93.74/94.03 c #Conflicts: 97000 | #Constraints: 22132
93.74/94.03 c #Conflicts: 98000 | #Constraints: 23132
93.74/94.03 c #Conflicts: 99000 | #Constraints: 24132
93.74/94.03 c #Conflicts: 100000 | #Constraints: 25132
93.74/94.03 c #Conflicts: 101000 | #Constraints: 26132
93.74/94.03 c #Conflicts: 102000 | #Constraints: 27132
93.74/94.03 c INPROCESSING
93.74/94.03 c GARBAGE COLLECT
93.74/94.03 c #Conflicts: 103000 | #Constraints: 17384
93.74/94.03 c #Conflicts: 104000 | #Constraints: 18384
93.74/94.03 c #Conflicts: 105000 | #Constraints: 19384
93.74/94.03 c #Conflicts: 106000 | #Constraints: 20384
93.74/94.03 c #Conflicts: 107000 | #Constraints: 21384
93.74/94.03 c #Conflicts: 108000 | #Constraints: 22384
93.74/94.03 c #Conflicts: 109000 | #Constraints: 23384
93.74/94.03 c #Conflicts: 110000 | #Constraints: 24384
93.74/94.03 c INPROCESSING
93.74/94.03 c GARBAGE COLLECT
93.74/94.03 c #Conflicts: 111000 | #Constraints: 16475
93.74/94.03 c #Conflicts: 112000 | #Constraints: 17475
93.74/94.03 c #Conflicts: 113000 | #Constraints: 18475
93.74/94.03 c #Conflicts: 114000 | #Constraints: 19475
93.74/94.03 c #Conflicts: 115000 | #Constraints: 20475
93.74/94.03 c #Conflicts: 116000 | #Constraints: 21475
93.74/94.03 c #Conflicts: 117000 | #Constraints: 22475
93.74/94.03 c INPROCESSING
93.74/94.03 c GARBAGE COLLECT
93.74/94.03 c #Conflicts: 118000 | #Constraints: 15424
93.74/94.03 c #Conflicts: 119000 | #Constraints: 16424
93.74/94.03 c #Conflicts: 120000 | #Constraints: 17424
93.74/94.03 c #Conflicts: 121000 | #Constraints: 18424
93.74/94.03 c #Conflicts: 122000 | #Constraints: 19424
93.74/94.03 c #Conflicts: 123000 | #Constraints: 20424
93.74/94.03 c #Conflicts: 124000 | #Constraints: 21424
93.74/94.03 c INPROCESSING
93.74/94.03 c GARBAGE COLLECT
93.74/94.03 c #Conflicts: 125000 | #Constraints: 14591
156.77/157.28 c #Conflicts: 126000 | #Constraints: 15591
156.77/157.28 c #Conflicts: 127000 | #Constraints: 16591
156.77/157.28 c #Conflicts: 128000 | #Constraints: 17591
156.77/157.28 c #Conflicts: 129000 | #Constraints: 18591
156.77/157.28 c #Conflicts: 130000 | #Constraints: 19591
156.77/157.28 c #Conflicts: 131000 | #Constraints: 20591
156.77/157.28 c #Conflicts: 132000 | #Constraints: 21591
156.77/157.28 c INPROCESSING
156.77/157.28 c GARBAGE COLLECT
156.77/157.28 c #Conflicts: 133000 | #Constraints: 14813
156.77/157.28 c #Conflicts: 134000 | #Constraints: 15813
156.77/157.28 c #Conflicts: 135000 | #Constraints: 16813
156.77/157.28 c #Conflicts: 136000 | #Constraints: 17813
156.77/157.28 c #Conflicts: 137000 | #Constraints: 18813
156.77/157.28 c #Conflicts: 138000 | #Constraints: 19813
156.77/157.28 c #Conflicts: 139000 | #Constraints: 20813
156.77/157.28 c #Conflicts: 140000 | #Constraints: 21813
156.77/157.28 c #Conflicts: 141000 | #Constraints: 22813
156.77/157.28 c #Conflicts: 142000 | #Constraints: 23813
156.77/157.28 c #Conflicts: 143000 | #Constraints: 24813
156.77/157.28 c #Conflicts: 144000 | #Constraints: 25813
156.77/157.28 c #Conflicts: 145000 | #Constraints: 26813
156.77/157.28 c #Conflicts: 146000 | #Constraints: 27813
156.77/157.28 c #Conflicts: 147000 | #Constraints: 28813
156.77/157.28 c #Conflicts: 148000 | #Constraints: 29813
156.77/157.28 c #Conflicts: 149000 | #Constraints: 30813
156.77/157.28 c #Conflicts: 150000 | #Constraints: 31813
156.77/157.28 c #Conflicts: 151000 | #Constraints: 32813
156.77/157.28 c #Conflicts: 152000 | #Constraints: 33813
156.77/157.28 c #Conflicts: 153000 | #Constraints: 34813
156.77/157.28 c #Conflicts: 154000 | #Constraints: 35813
156.77/157.28 c #Conflicts: 155000 | #Constraints: 36813
156.77/157.28 c #Conflicts: 156000 | #Constraints: 37813
156.77/157.28 c #Conflicts: 157000 | #Constraints: 38813
156.77/157.28 c #Conflicts: 158000 | #Constraints: 39813
156.77/157.28 c #Conflicts: 159000 | #Constraints: 40813
156.77/157.28 c #Conflicts: 160000 | #Constraints: 41813
156.77/157.28 c #Conflicts: 161000 | #Constraints: 42813
156.77/157.28 c #Conflicts: 162000 | #Constraints: 43813
156.77/157.28 c #Conflicts: 163000 | #Constraints: 44813
156.77/157.28 c INPROCESSING
156.77/157.28 c GARBAGE COLLECT
156.77/157.28 c #Conflicts: 164000 | #Constraints: 26297
156.77/157.28 c #Conflicts: 165000 | #Constraints: 27297
156.77/157.28 c #Conflicts: 166000 | #Constraints: 28297
156.77/157.28 c #Conflicts: 167000 | #Constraints: 29297
156.77/157.28 c #Conflicts: 168000 | #Constraints: 30297
156.77/157.28 c #Conflicts: 169000 | #Constraints: 31297
156.77/157.28 c #Conflicts: 170000 | #Constraints: 32297
156.77/157.28 c #Conflicts: 171000 | #Constraints: 33297
156.77/157.28 c #Conflicts: 172000 | #Constraints: 34297
156.77/157.28 c INPROCESSING
156.77/157.28 c GARBAGE COLLECT
156.77/157.28 c #Conflicts: 173000 | #Constraints: 21134
156.77/157.28 c #Conflicts: 174000 | #Constraints: 22134
156.77/157.28 c #Conflicts: 175000 | #Constraints: 23134
156.77/157.28 c #Conflicts: 176000 | #Constraints: 24134
156.77/157.28 c #Conflicts: 177000 | #Constraints: 25134
156.77/157.28 c #Conflicts: 178000 | #Constraints: 26134
156.77/157.28 c #Conflicts: 179000 | #Constraints: 27134
156.77/157.28 c #Conflicts: 180000 | #Constraints: 28134
156.77/157.28 c #Conflicts: 181000 | #Constraints: 29134
156.77/157.28 c #Conflicts: 182000 | #Constraints: 30134
156.77/157.28 c INPROCESSING
156.77/157.28 c GARBAGE COLLECT
156.77/157.28 c #Conflicts: 183000 | #Constraints: 19404
156.77/157.28 c #Conflicts: 184000 | #Constraints: 20404
156.77/157.28 c #Conflicts: 185000 | #Constraints: 21404
156.77/157.28 c #Conflicts: 186000 | #Constraints: 22404
156.77/157.28 c #Conflicts: 187000 | #Constraints: 23404
156.77/157.28 c #Conflicts: 188000 | #Constraints: 24404
156.77/157.28 c #Conflicts: 189000 | #Constraints: 25404
156.77/157.28 c #Conflicts: 190000 | #Constraints: 26404
156.77/157.28 c #Conflicts: 191000 | #Constraints: 27404
156.77/157.28 c INPROCESSING
156.77/157.28 c GARBAGE COLLECT
156.77/157.28 c rational objective 90
173.23/173.72 c #Conflicts: 192000 | #Constraints: 17851
173.23/173.72 c #Conflicts: 193000 | #Constraints: 18851
173.23/173.72 c #Conflicts: 194000 | #Constraints: 19851
173.23/173.72 c #Conflicts: 195000 | #Constraints: 20851
173.23/173.72 c #Conflicts: 196000 | #Constraints: 21851
173.23/173.72 c #Conflicts: 197000 | #Constraints: 22851
173.23/173.72 c #Conflicts: 198000 | #Constraints: 23851
173.23/173.72 c #Conflicts: 199000 | #Constraints: 24851
173.23/173.72 c #Conflicts: 200000 | #Constraints: 25851
173.23/173.72 c #Conflicts: 201000 | #Constraints: 26851
173.23/173.72 c INPROCESSING
173.23/173.72 c GARBAGE COLLECT
173.23/173.72 c rational objective 90
275.76/276.51 c #Conflicts: 202000 | #Constraints: 17801
275.76/276.51 c #Conflicts: 203000 | #Constraints: 18801
275.76/276.51 c #Conflicts: 204000 | #Constraints: 19801
275.76/276.51 c #Conflicts: 205000 | #Constraints: 20801
275.76/276.51 c #Conflicts: 206000 | #Constraints: 21801
275.76/276.51 c #Conflicts: 207000 | #Constraints: 22801
275.76/276.51 c #Conflicts: 208000 | #Constraints: 23801
275.76/276.51 c #Conflicts: 209000 | #Constraints: 24801
275.76/276.51 c #Conflicts: 210000 | #Constraints: 25801
275.76/276.51 c #Conflicts: 211000 | #Constraints: 26801
275.76/276.51 c #Conflicts: 212000 | #Constraints: 27801
275.76/276.51 c #Conflicts: 213000 | #Constraints: 28801
275.76/276.51 c #Conflicts: 214000 | #Constraints: 29801
275.76/276.51 c #Conflicts: 215000 | #Constraints: 30801
275.76/276.51 c #Conflicts: 216000 | #Constraints: 31801
275.76/276.51 c #Conflicts: 217000 | #Constraints: 32801
275.76/276.51 c #Conflicts: 218000 | #Constraints: 33801
275.76/276.51 c #Conflicts: 219000 | #Constraints: 34801
275.76/276.51 c #Conflicts: 220000 | #Constraints: 35801
275.76/276.51 c #Conflicts: 221000 | #Constraints: 36801
275.76/276.51 c #Conflicts: 222000 | #Constraints: 37801
275.76/276.51 c #Conflicts: 223000 | #Constraints: 38801
275.76/276.51 c #Conflicts: 224000 | #Constraints: 39801
275.76/276.51 c #Conflicts: 225000 | #Constraints: 40801
275.76/276.51 c #Conflicts: 226000 | #Constraints: 41801
275.76/276.51 c #Conflicts: 227000 | #Constraints: 42801
275.76/276.51 c #Conflicts: 228000 | #Constraints: 43801
275.76/276.51 c #Conflicts: 229000 | #Constraints: 44801
275.76/276.51 c #Conflicts: 230000 | #Constraints: 45801
275.76/276.51 c #Conflicts: 231000 | #Constraints: 46801
275.76/276.51 c #Conflicts: 232000 | #Constraints: 47801
275.76/276.51 c #Conflicts: 233000 | #Constraints: 48801
275.76/276.51 c #Conflicts: 234000 | #Constraints: 49801
275.76/276.51 c #Conflicts: 235000 | #Constraints: 50801
275.76/276.51 c #Conflicts: 236000 | #Constraints: 51801
275.76/276.51 c #Conflicts: 237000 | #Constraints: 52801
275.76/276.51 c #Conflicts: 238000 | #Constraints: 53801
275.76/276.51 c INPROCESSING
275.76/276.51 c GARBAGE COLLECT
275.76/276.51 c #Conflicts: 239000 | #Constraints: 30870
275.76/276.51 c #Conflicts: 240000 | #Constraints: 31870
275.76/276.51 c #Conflicts: 241000 | #Constraints: 32870
275.76/276.51 c #Conflicts: 242000 | #Constraints: 33870
275.76/276.51 c #Conflicts: 243000 | #Constraints: 34870
275.76/276.51 c #Conflicts: 244000 | #Constraints: 35870
275.76/276.51 c #Conflicts: 245000 | #Constraints: 36870
275.76/276.51 c #Conflicts: 246000 | #Constraints: 37870
275.76/276.51 c #Conflicts: 247000 | #Constraints: 38870
275.76/276.51 c #Conflicts: 248000 | #Constraints: 39870
275.76/276.51 c #Conflicts: 249000 | #Constraints: 40870
275.76/276.51 c INPROCESSING
275.76/276.51 c GARBAGE COLLECT
275.76/276.51 c #Conflicts: 250000 | #Constraints: 24513
275.76/276.51 c #Conflicts: 251000 | #Constraints: 25513
275.76/276.51 c #Conflicts: 252000 | #Constraints: 26513
275.76/276.51 c #Conflicts: 253000 | #Constraints: 27513
275.76/276.51 c #Conflicts: 254000 | #Constraints: 28513
275.76/276.51 c #Conflicts: 255000 | #Constraints: 29513
275.76/276.51 c #Conflicts: 256000 | #Constraints: 30513
275.76/276.51 c #Conflicts: 257000 | #Constraints: 31513
275.76/276.51 c #Conflicts: 258000 | #Constraints: 32513
275.76/276.51 c #Conflicts: 259000 | #Constraints: 33513
275.76/276.51 c #Conflicts: 260000 | #Constraints: 34513
275.76/276.51 c INPROCESSING
275.76/276.51 c GARBAGE COLLECT
275.76/276.51 c #Conflicts: 261000 | #Constraints: 21248
275.76/276.51 c #Conflicts: 262000 | #Constraints: 22248
275.76/276.51 c #Conflicts: 263000 | #Constraints: 23248
275.76/276.51 c #Conflicts: 264000 | #Constraints: 24248
275.76/276.51 c #Conflicts: 265000 | #Constraints: 25248
275.76/276.51 c #Conflicts: 266000 | #Constraints: 26248
275.76/276.51 c #Conflicts: 267000 | #Constraints: 27248
275.76/276.51 c #Conflicts: 268000 | #Constraints: 28248
275.76/276.51 c #Conflicts: 269000 | #Constraints: 29248
275.76/276.51 c #Conflicts: 270000 | #Constraints: 30248
275.76/276.51 c #Conflicts: 271000 | #Constraints: 31248
275.76/276.51 c #Conflicts: 272000 | #Constraints: 32248
275.76/276.51 c INPROCESSING
275.76/276.51 c GARBAGE COLLECT
275.76/276.51 c #Conflicts: 273000 | #Constraints: 20520
275.76/276.51 c #Conflicts: 274000 | #Constraints: 21520
275.76/276.51 c #Conflicts: 275000 | #Constraints: 22520
275.76/276.51 c #Conflicts: 276000 | #Constraints: 23520
275.76/276.51 c #Conflicts: 277000 | #Constraints: 24520
275.76/276.51 c #Conflicts: 278000 | #Constraints: 25520
348.77/349.76 c #Conflicts: 279000 | #Constraints: 26520
348.77/349.76 c #Conflicts: 280000 | #Constraints: 27520
348.77/349.76 c #Conflicts: 281000 | #Constraints: 28520
348.77/349.76 c #Conflicts: 282000 | #Constraints: 29520
348.77/349.76 c #Conflicts: 283000 | #Constraints: 30520
348.77/349.76 c INPROCESSING
348.77/349.76 c GARBAGE COLLECT
348.77/349.76 c #Conflicts: 284000 | #Constraints: 19378
348.77/349.76 c #Conflicts: 285000 | #Constraints: 20378
348.77/349.76 c #Conflicts: 286000 | #Constraints: 21378
348.77/349.76 c #Conflicts: 287000 | #Constraints: 22378
348.77/349.76 c #Conflicts: 288000 | #Constraints: 23378
348.77/349.76 c #Conflicts: 289000 | #Constraints: 24378
348.77/349.76 c #Conflicts: 290000 | #Constraints: 25378
348.77/349.76 c #Conflicts: 291000 | #Constraints: 26378
348.77/349.76 c #Conflicts: 292000 | #Constraints: 27378
348.77/349.76 c #Conflicts: 293000 | #Constraints: 28378
348.77/349.76 c #Conflicts: 294000 | #Constraints: 29378
348.77/349.76 c #Conflicts: 295000 | #Constraints: 30378
348.77/349.76 c #Conflicts: 296000 | #Constraints: 31378
348.77/349.76 c #Conflicts: 297000 | #Constraints: 32378
348.77/349.76 c #Conflicts: 298000 | #Constraints: 33378
348.77/349.76 c #Conflicts: 299000 | #Constraints: 34378
348.77/349.76 c #Conflicts: 300000 | #Constraints: 35378
348.77/349.76 c #Conflicts: 301000 | #Constraints: 36378
348.77/349.76 c #Conflicts: 302000 | #Constraints: 37378
348.77/349.76 c #Conflicts: 303000 | #Constraints: 38378
348.77/349.76 c #Conflicts: 304000 | #Constraints: 39378
348.77/349.76 c #Conflicts: 305000 | #Constraints: 40378
348.77/349.76 c #Conflicts: 306000 | #Constraints: 41378
348.77/349.76 c #Conflicts: 307000 | #Constraints: 42378
348.77/349.76 c #Conflicts: 308000 | #Constraints: 43378
348.77/349.76 c #Conflicts: 309000 | #Constraints: 44378
348.77/349.76 c #Conflicts: 310000 | #Constraints: 45378
348.77/349.76 c #Conflicts: 311000 | #Constraints: 46378
348.77/349.76 c #Conflicts: 312000 | #Constraints: 47378
348.77/349.76 c #Conflicts: 313000 | #Constraints: 48378
348.77/349.76 c #Conflicts: 314000 | #Constraints: 49378
348.77/349.76 c #Conflicts: 315000 | #Constraints: 50378
348.77/349.76 c #Conflicts: 316000 | #Constraints: 51378
348.77/349.76 c #Conflicts: 317000 | #Constraints: 52378
348.77/349.76 c #Conflicts: 318000 | #Constraints: 53378
348.77/349.76 c #Conflicts: 319000 | #Constraints: 54378
348.77/349.76 c #Conflicts: 320000 | #Constraints: 55378
348.77/349.76 c #Conflicts: 321000 | #Constraints: 56378
348.77/349.76 c #Conflicts: 322000 | #Constraints: 57378
348.77/349.76 c #Conflicts: 323000 | #Constraints: 58378
348.77/349.76 c #Conflicts: 324000 | #Constraints: 59378
348.77/349.76 c #Conflicts: 325000 | #Constraints: 60378
348.77/349.76 c #Conflicts: 326000 | #Constraints: 61378
348.77/349.76 c #Conflicts: 327000 | #Constraints: 62378
348.77/349.76 c INPROCESSING
348.77/349.76 c GARBAGE COLLECT
348.77/349.76 c rational objective 90
374.61/375.65 c #Conflicts: 328000 | #Constraints: 35323
374.61/375.65 c #Conflicts: 329000 | #Constraints: 36323
374.61/375.65 c #Conflicts: 330000 | #Constraints: 37323
374.61/375.65 c #Conflicts: 331000 | #Constraints: 38323
374.61/375.65 c #Conflicts: 332000 | #Constraints: 39323
374.61/375.65 c #Conflicts: 333000 | #Constraints: 40323
374.61/375.65 c #Conflicts: 334000 | #Constraints: 41323
374.61/375.65 c #Conflicts: 335000 | #Constraints: 42323
374.61/375.65 c #Conflicts: 336000 | #Constraints: 43323
374.61/375.65 c #Conflicts: 337000 | #Constraints: 44323
374.61/375.65 c #Conflicts: 338000 | #Constraints: 45323
374.61/375.65 c #Conflicts: 339000 | #Constraints: 46323
374.61/375.65 c #Conflicts: 340000 | #Constraints: 47323
374.61/375.65 c INPROCESSING
374.61/375.65 c GARBAGE COLLECT
374.61/375.65 c rational objective 90
467.36/468.63 c #Conflicts: 341000 | #Constraints: 27892
467.36/468.63 c #Conflicts: 342000 | #Constraints: 28892
467.36/468.63 c #Conflicts: 343000 | #Constraints: 29892
467.36/468.63 c #Conflicts: 344000 | #Constraints: 30892
467.36/468.63 c #Conflicts: 345000 | #Constraints: 31892
467.36/468.63 c #Conflicts: 346000 | #Constraints: 32892
467.36/468.63 c #Conflicts: 347000 | #Constraints: 33892
467.36/468.63 c #Conflicts: 348000 | #Constraints: 34892
467.36/468.63 c #Conflicts: 349000 | #Constraints: 35892
467.36/468.63 c #Conflicts: 350000 | #Constraints: 36892
467.36/468.63 c #Conflicts: 351000 | #Constraints: 37892
467.36/468.63 c #Conflicts: 352000 | #Constraints: 38892
467.36/468.63 c #Conflicts: 353000 | #Constraints: 39892
467.36/468.63 c INPROCESSING
467.36/468.63 c GARBAGE COLLECT
467.36/468.63 c #Conflicts: 354000 | #Constraints: 24138
467.36/468.63 c #Conflicts: 355000 | #Constraints: 25138
467.36/468.63 c #Conflicts: 356000 | #Constraints: 26138
467.36/468.63 c #Conflicts: 357000 | #Constraints: 27138
467.36/468.63 c #Conflicts: 358000 | #Constraints: 28138
467.36/468.63 c #Conflicts: 359000 | #Constraints: 29138
467.36/468.63 c #Conflicts: 360000 | #Constraints: 30138
467.36/468.63 c #Conflicts: 361000 | #Constraints: 31138
467.36/468.63 c #Conflicts: 362000 | #Constraints: 32138
467.36/468.63 c #Conflicts: 363000 | #Constraints: 33138
467.36/468.63 c #Conflicts: 364000 | #Constraints: 34138
467.36/468.63 c #Conflicts: 365000 | #Constraints: 35138
467.36/468.63 c #Conflicts: 366000 | #Constraints: 36138
467.36/468.63 c INPROCESSING
467.36/468.63 c GARBAGE COLLECT
467.36/468.63 c #Conflicts: 367000 | #Constraints: 22205
467.36/468.63 c #Conflicts: 368000 | #Constraints: 23205
467.36/468.63 c #Conflicts: 369000 | #Constraints: 24205
467.36/468.63 c #Conflicts: 370000 | #Constraints: 25205
467.36/468.63 c #Conflicts: 371000 | #Constraints: 26205
467.36/468.63 c #Conflicts: 372000 | #Constraints: 27205
467.36/468.63 c #Conflicts: 373000 | #Constraints: 28205
467.36/468.63 c #Conflicts: 374000 | #Constraints: 29205
467.36/468.63 c #Conflicts: 375000 | #Constraints: 30205
467.36/468.63 c #Conflicts: 376000 | #Constraints: 31205
467.36/468.63 c #Conflicts: 377000 | #Constraints: 32205
467.36/468.63 c #Conflicts: 378000 | #Constraints: 33205
467.36/468.63 c #Conflicts: 379000 | #Constraints: 34205
467.36/468.63 c #Conflicts: 380000 | #Constraints: 35205
467.36/468.63 c INPROCESSING
467.36/468.63 c GARBAGE COLLECT
467.36/468.63 c #Conflicts: 381000 | #Constraints: 22012
467.36/468.63 c #Conflicts: 382000 | #Constraints: 23012
467.36/468.63 c #Conflicts: 383000 | #Constraints: 24012
467.36/468.63 c #Conflicts: 384000 | #Constraints: 25012
467.36/468.63 c #Conflicts: 385000 | #Constraints: 26012
467.36/468.63 c #Conflicts: 386000 | #Constraints: 27012
467.36/468.63 c #Conflicts: 387000 | #Constraints: 28012
467.36/468.63 c #Conflicts: 388000 | #Constraints: 29012
467.36/468.63 c #Conflicts: 389000 | #Constraints: 30012
467.36/468.63 c #Conflicts: 390000 | #Constraints: 31012
467.36/468.63 c #Conflicts: 391000 | #Constraints: 32012
467.36/468.63 c #Conflicts: 392000 | #Constraints: 33012
467.36/468.63 c #Conflicts: 393000 | #Constraints: 34012
467.36/468.63 c #Conflicts: 394000 | #Constraints: 35012
467.36/468.63 c #Conflicts: 395000 | #Constraints: 36012
467.36/468.63 c #Conflicts: 396000 | #Constraints: 37012
467.36/468.63 c #Conflicts: 397000 | #Constraints: 38012
467.36/468.63 c #Conflicts: 398000 | #Constraints: 39012
467.36/468.63 c #Conflicts: 399000 | #Constraints: 40012
467.36/468.63 c #Conflicts: 400000 | #Constraints: 41012
467.36/468.63 c #Conflicts: 401000 | #Constraints: 42012
467.36/468.63 c #Conflicts: 402000 | #Constraints: 43012
467.36/468.63 c #Conflicts: 403000 | #Constraints: 44012
467.36/468.63 c #Conflicts: 404000 | #Constraints: 45012
467.36/468.63 c #Conflicts: 405000 | #Constraints: 46012
467.36/468.63 c #Conflicts: 406000 | #Constraints: 47012
467.36/468.63 c #Conflicts: 407000 | #Constraints: 48012
467.36/468.63 c #Conflicts: 408000 | #Constraints: 49012
467.36/468.63 c #Conflicts: 409000 | #Constraints: 50012
467.36/468.63 c #Conflicts: 410000 | #Constraints: 51012
467.36/468.63 c #Conflicts: 411000 | #Constraints: 52012
467.36/468.63 c #Conflicts: 412000 | #Constraints: 53012
467.36/468.63 c #Conflicts: 413000 | #Constraints: 54012
467.36/468.63 c #Conflicts: 414000 | #Constraints: 55012
467.36/468.63 c #Conflicts: 415000 | #Constraints: 56012
467.36/468.63 c #Conflicts: 416000 | #Constraints: 57012
467.36/468.63 c #Conflicts: 417000 | #Constraints: 58012
559.38/560.95 c #Conflicts: 418000 | #Constraints: 59012
559.38/560.95 c #Conflicts: 419000 | #Constraints: 60012
559.38/560.95 c #Conflicts: 420000 | #Constraints: 61012
559.38/560.95 c #Conflicts: 421000 | #Constraints: 62012
559.38/560.95 c #Conflicts: 422000 | #Constraints: 63012
559.38/560.95 c #Conflicts: 423000 | #Constraints: 64012
559.38/560.95 c #Conflicts: 424000 | #Constraints: 65012
559.38/560.95 c #Conflicts: 425000 | #Constraints: 66012
559.38/560.95 c #Conflicts: 426000 | #Constraints: 67012
559.38/560.95 c #Conflicts: 427000 | #Constraints: 68012
559.38/560.95 c #Conflicts: 428000 | #Constraints: 69012
559.38/560.95 c #Conflicts: 429000 | #Constraints: 70012
559.38/560.95 c #Conflicts: 430000 | #Constraints: 71012
559.38/560.95 c INPROCESSING
559.38/560.95 c GARBAGE COLLECT
559.38/560.95 c #Conflicts: 431000 | #Constraints: 39715
559.38/560.95 c #Conflicts: 432000 | #Constraints: 40715
559.38/560.95 c #Conflicts: 433000 | #Constraints: 41715
559.38/560.95 c #Conflicts: 434000 | #Constraints: 42715
559.38/560.95 c #Conflicts: 435000 | #Constraints: 43715
559.38/560.95 c #Conflicts: 436000 | #Constraints: 44715
559.38/560.95 c #Conflicts: 437000 | #Constraints: 45715
559.38/560.95 c #Conflicts: 438000 | #Constraints: 46715
559.38/560.95 c #Conflicts: 439000 | #Constraints: 47715
559.38/560.95 c #Conflicts: 440000 | #Constraints: 48715
559.38/560.95 c #Conflicts: 441000 | #Constraints: 49715
559.38/560.95 c #Conflicts: 442000 | #Constraints: 50715
559.38/560.95 c #Conflicts: 443000 | #Constraints: 51715
559.38/560.95 c #Conflicts: 444000 | #Constraints: 52715
559.38/560.95 c #Conflicts: 445000 | #Constraints: 53715
559.38/560.95 c INPROCESSING
559.38/560.95 c GARBAGE COLLECT
559.38/560.95 c #Conflicts: 446000 | #Constraints: 31196
559.38/560.95 c #Conflicts: 447000 | #Constraints: 32196
559.38/560.95 c #Conflicts: 448000 | #Constraints: 33196
559.38/560.95 c #Conflicts: 449000 | #Constraints: 34196
559.38/560.95 c #Conflicts: 450000 | #Constraints: 35196
559.38/560.95 c #Conflicts: 451000 | #Constraints: 36196
559.38/560.95 c #Conflicts: 452000 | #Constraints: 37196
559.38/560.95 c #Conflicts: 453000 | #Constraints: 38196
559.38/560.95 c #Conflicts: 454000 | #Constraints: 39196
559.38/560.95 c #Conflicts: 455000 | #Constraints: 40196
559.38/560.95 c #Conflicts: 456000 | #Constraints: 41196
559.38/560.95 c #Conflicts: 457000 | #Constraints: 42196
559.38/560.95 c #Conflicts: 458000 | #Constraints: 43196
559.38/560.95 c #Conflicts: 459000 | #Constraints: 44196
559.38/560.95 c #Conflicts: 460000 | #Constraints: 45196
559.38/560.95 c INPROCESSING
559.38/560.95 c GARBAGE COLLECT
559.38/560.95 c #Conflicts: 461000 | #Constraints: 27058
559.38/560.95 c #Conflicts: 462000 | #Constraints: 28058
559.38/560.95 c #Conflicts: 463000 | #Constraints: 29058
559.38/560.95 c #Conflicts: 464000 | #Constraints: 30058
559.38/560.95 c #Conflicts: 465000 | #Constraints: 31058
559.38/560.95 c #Conflicts: 466000 | #Constraints: 32058
559.38/560.95 c #Conflicts: 467000 | #Constraints: 33058
559.38/560.95 c #Conflicts: 468000 | #Constraints: 34058
559.38/560.95 c #Conflicts: 469000 | #Constraints: 35058
559.38/560.95 c #Conflicts: 470000 | #Constraints: 36058
559.38/560.95 c #Conflicts: 471000 | #Constraints: 37058
559.38/560.95 c #Conflicts: 472000 | #Constraints: 38058
559.38/560.95 c #Conflicts: 473000 | #Constraints: 39058
559.38/560.95 c #Conflicts: 474000 | #Constraints: 40058
559.38/560.95 c #Conflicts: 475000 | #Constraints: 41058
559.38/560.95 c INPROCESSING
559.38/560.95 c GARBAGE COLLECT
559.38/560.95 c rational objective 90
693.98/695.95 c #Conflicts: 476000 | #Constraints: 24863
693.98/695.95 c #Conflicts: 477000 | #Constraints: 25863
693.98/695.95 c #Conflicts: 478000 | #Constraints: 26863
693.98/695.95 c #Conflicts: 479000 | #Constraints: 27863
693.98/695.95 c #Conflicts: 480000 | #Constraints: 28863
693.98/695.95 c #Conflicts: 481000 | #Constraints: 29863
693.98/695.95 c #Conflicts: 482000 | #Constraints: 30863
693.98/695.95 c #Conflicts: 483000 | #Constraints: 31863
693.98/695.95 c #Conflicts: 484000 | #Constraints: 32863
693.98/695.95 c #Conflicts: 485000 | #Constraints: 33863
693.98/695.95 c #Conflicts: 486000 | #Constraints: 34863
693.98/695.95 c #Conflicts: 487000 | #Constraints: 35863
693.98/695.95 c #Conflicts: 488000 | #Constraints: 36863
693.98/695.95 c #Conflicts: 489000 | #Constraints: 37863
693.98/695.95 c #Conflicts: 490000 | #Constraints: 38863
693.98/695.95 c INPROCESSING
693.98/695.95 c GARBAGE COLLECT
693.98/695.95 c #Conflicts: 491000 | #Constraints: 23627
693.98/695.95 c #Conflicts: 492000 | #Constraints: 24627
693.98/695.95 c #Conflicts: 493000 | #Constraints: 25627
693.98/695.95 c #Conflicts: 494000 | #Constraints: 26627
693.98/695.95 c #Conflicts: 495000 | #Constraints: 27627
693.98/695.95 c #Conflicts: 496000 | #Constraints: 28627
693.98/695.95 c #Conflicts: 497000 | #Constraints: 29627
693.98/695.95 c #Conflicts: 498000 | #Constraints: 30627
693.98/695.95 c #Conflicts: 499000 | #Constraints: 31627
693.98/695.95 c #Conflicts: 500000 | #Constraints: 32627
693.98/695.95 c #Conflicts: 501000 | #Constraints: 33627
693.98/695.95 c #Conflicts: 502000 | #Constraints: 34627
693.98/695.95 c #Conflicts: 503000 | #Constraints: 35627
693.98/695.95 c #Conflicts: 504000 | #Constraints: 36627
693.98/695.95 c #Conflicts: 505000 | #Constraints: 37627
693.98/695.95 c #Conflicts: 506000 | #Constraints: 38627
693.98/695.95 c #Conflicts: 507000 | #Constraints: 39627
693.98/695.95 c #Conflicts: 508000 | #Constraints: 40627
693.98/695.95 c #Conflicts: 509000 | #Constraints: 41627
693.98/695.95 c #Conflicts: 510000 | #Constraints: 42627
693.98/695.95 c #Conflicts: 511000 | #Constraints: 43627
693.98/695.95 c #Conflicts: 512000 | #Constraints: 44627
693.98/695.95 c #Conflicts: 513000 | #Constraints: 45627
693.98/695.95 c #Conflicts: 514000 | #Constraints: 46627
693.98/695.95 c #Conflicts: 515000 | #Constraints: 47627
693.98/695.95 c #Conflicts: 516000 | #Constraints: 48627
693.98/695.95 c #Conflicts: 517000 | #Constraints: 49627
693.98/695.95 c #Conflicts: 518000 | #Constraints: 50627
693.98/695.95 c #Conflicts: 519000 | #Constraints: 51627
693.98/695.95 c #Conflicts: 520000 | #Constraints: 52627
693.98/695.95 c #Conflicts: 521000 | #Constraints: 53627
693.98/695.95 c #Conflicts: 522000 | #Constraints: 54627
693.98/695.95 c #Conflicts: 523000 | #Constraints: 55627
693.98/695.95 c #Conflicts: 524000 | #Constraints: 56627
693.98/695.95 c #Conflicts: 525000 | #Constraints: 57627
693.98/695.95 c #Conflicts: 526000 | #Constraints: 58627
693.98/695.95 c #Conflicts: 527000 | #Constraints: 59627
693.98/695.95 c #Conflicts: 528000 | #Constraints: 60627
693.98/695.95 c #Conflicts: 529000 | #Constraints: 61627
693.98/695.95 c #Conflicts: 530000 | #Constraints: 62627
693.98/695.95 c #Conflicts: 531000 | #Constraints: 63627
693.98/695.95 c #Conflicts: 532000 | #Constraints: 64627
693.98/695.95 c #Conflicts: 533000 | #Constraints: 65627
693.98/695.95 c #Conflicts: 534000 | #Constraints: 66627
693.98/695.95 c #Conflicts: 535000 | #Constraints: 67627
693.98/695.95 c #Conflicts: 536000 | #Constraints: 68627
693.98/695.95 c #Conflicts: 537000 | #Constraints: 69627
693.98/695.95 c #Conflicts: 538000 | #Constraints: 70627
693.98/695.95 c #Conflicts: 539000 | #Constraints: 71627
693.98/695.95 c #Conflicts: 540000 | #Constraints: 72627
693.98/695.95 c #Conflicts: 541000 | #Constraints: 73627
693.98/695.95 c #Conflicts: 542000 | #Constraints: 74627
693.98/695.95 c #Conflicts: 543000 | #Constraints: 75627
693.98/695.95 c #Conflicts: 544000 | #Constraints: 76627
693.98/695.95 c #Conflicts: 545000 | #Constraints: 77627
693.98/695.95 c #Conflicts: 546000 | #Constraints: 78627
693.98/695.95 c #Conflicts: 547000 | #Constraints: 79627
693.98/695.95 c INPROCESSING
693.98/695.95 c GARBAGE COLLECT
693.98/695.95 c #Conflicts: 548000 | #Constraints: 44074
693.98/695.95 c #Conflicts: 549000 | #Constraints: 45074
693.98/695.95 c #Conflicts: 550000 | #Constraints: 46074
693.98/695.95 c #Conflicts: 551000 | #Constraints: 47074
693.98/695.95 c #Conflicts: 552000 | #Constraints: 48074
693.98/695.95 c #Conflicts: 553000 | #Constraints: 49074
790.91/793.19 c #Conflicts: 554000 | #Constraints: 50074
790.91/793.19 c #Conflicts: 555000 | #Constraints: 51074
790.91/793.19 c #Conflicts: 556000 | #Constraints: 52074
790.91/793.19 c #Conflicts: 557000 | #Constraints: 53074
790.91/793.19 c #Conflicts: 558000 | #Constraints: 54074
790.91/793.19 c #Conflicts: 559000 | #Constraints: 55074
790.91/793.19 c #Conflicts: 560000 | #Constraints: 56074
790.91/793.19 c #Conflicts: 561000 | #Constraints: 57074
790.91/793.19 c #Conflicts: 562000 | #Constraints: 58074
790.91/793.19 c #Conflicts: 563000 | #Constraints: 59074
790.91/793.19 c #Conflicts: 564000 | #Constraints: 60074
790.91/793.19 c INPROCESSING
790.91/793.19 c GARBAGE COLLECT
790.91/793.19 c #Conflicts: 565000 | #Constraints: 34558
790.91/793.19 c #Conflicts: 566000 | #Constraints: 35558
790.91/793.19 c #Conflicts: 567000 | #Constraints: 36558
790.91/793.19 c #Conflicts: 568000 | #Constraints: 37558
790.91/793.19 c #Conflicts: 569000 | #Constraints: 38558
790.91/793.19 c #Conflicts: 570000 | #Constraints: 39558
790.91/793.19 c #Conflicts: 571000 | #Constraints: 40558
790.91/793.19 c #Conflicts: 572000 | #Constraints: 41558
790.91/793.19 c #Conflicts: 573000 | #Constraints: 42558
790.91/793.19 c #Conflicts: 574000 | #Constraints: 43558
790.91/793.19 c #Conflicts: 575000 | #Constraints: 44558
790.91/793.19 c #Conflicts: 576000 | #Constraints: 45558
790.91/793.19 c #Conflicts: 577000 | #Constraints: 46558
790.91/793.19 c #Conflicts: 578000 | #Constraints: 47558
790.91/793.19 c #Conflicts: 579000 | #Constraints: 48558
790.91/793.19 c #Conflicts: 580000 | #Constraints: 49558
790.91/793.19 c INPROCESSING
790.91/793.19 c GARBAGE COLLECT
790.91/793.19 c #Conflicts: 581000 | #Constraints: 28830
790.91/793.19 c #Conflicts: 582000 | #Constraints: 29830
790.91/793.19 c #Conflicts: 583000 | #Constraints: 30830
790.91/793.19 c #Conflicts: 584000 | #Constraints: 31830
790.91/793.19 c #Conflicts: 585000 | #Constraints: 32830
790.91/793.19 c #Conflicts: 586000 | #Constraints: 33830
790.91/793.19 c #Conflicts: 587000 | #Constraints: 34830
790.91/793.19 c #Conflicts: 588000 | #Constraints: 35830
790.91/793.19 c #Conflicts: 589000 | #Constraints: 36830
790.91/793.19 c #Conflicts: 590000 | #Constraints: 37830
790.91/793.19 c #Conflicts: 591000 | #Constraints: 38830
790.91/793.19 c #Conflicts: 592000 | #Constraints: 39830
790.91/793.19 c #Conflicts: 593000 | #Constraints: 40830
790.91/793.19 c #Conflicts: 594000 | #Constraints: 41830
790.91/793.19 c #Conflicts: 595000 | #Constraints: 42830
790.91/793.19 c #Conflicts: 596000 | #Constraints: 43830
790.91/793.19 c #Conflicts: 597000 | #Constraints: 44830
790.91/793.19 c INPROCESSING
790.91/793.19 c GARBAGE COLLECT
790.91/793.19 c #Conflicts: 598000 | #Constraints: 26484
790.91/793.19 c #Conflicts: 599000 | #Constraints: 27484
790.91/793.19 c #Conflicts: 600000 | #Constraints: 28484
790.91/793.19 c #Conflicts: 601000 | #Constraints: 29484
790.91/793.19 c #Conflicts: 602000 | #Constraints: 30484
790.91/793.19 c #Conflicts: 603000 | #Constraints: 31484
790.91/793.19 c #Conflicts: 604000 | #Constraints: 32484
790.91/793.19 c #Conflicts: 605000 | #Constraints: 33484
790.91/793.19 c #Conflicts: 606000 | #Constraints: 34484
790.91/793.19 c #Conflicts: 607000 | #Constraints: 35484
790.91/793.19 c #Conflicts: 608000 | #Constraints: 36484
790.91/793.19 c #Conflicts: 609000 | #Constraints: 37484
790.91/793.19 c #Conflicts: 610000 | #Constraints: 38484
790.91/793.19 c #Conflicts: 611000 | #Constraints: 39484
790.91/793.19 c #Conflicts: 612000 | #Constraints: 40484
790.91/793.19 c #Conflicts: 613000 | #Constraints: 41484
790.91/793.19 c #Conflicts: 614000 | #Constraints: 42484
790.91/793.19 c #Conflicts: 615000 | #Constraints: 43484
790.91/793.19 c INPROCESSING
790.91/793.19 c GARBAGE COLLECT
790.91/793.19 c #Conflicts: 616000 | #Constraints: 26176
790.91/793.19 c #Conflicts: 617000 | #Constraints: 27176
790.91/793.19 c #Conflicts: 618000 | #Constraints: 28176
790.91/793.19 c #Conflicts: 619000 | #Constraints: 29176
790.91/793.19 c #Conflicts: 620000 | #Constraints: 30176
790.91/793.19 c #Conflicts: 621000 | #Constraints: 31176
790.91/793.19 c #Conflicts: 622000 | #Constraints: 32176
790.91/793.19 c #Conflicts: 623000 | #Constraints: 33176
790.91/793.19 c #Conflicts: 624000 | #Constraints: 34176
790.91/793.19 c #Conflicts: 625000 | #Constraints: 35176
790.91/793.19 c #Conflicts: 626000 | #Constraints: 36176
790.91/793.19 c #Conflicts: 627000 | #Constraints: 37176
790.91/793.19 c #Conflicts: 628000 | #Constraints: 38176
790.91/793.19 c #Conflicts: 629000 | #Constraints: 39176
940.12/942.79 c #Conflicts: 630000 | #Constraints: 40176
940.12/942.79 c #Conflicts: 631000 | #Constraints: 41176
940.12/942.79 c #Conflicts: 632000 | #Constraints: 42176
940.12/942.79 c #Conflicts: 633000 | #Constraints: 43176
940.12/942.79 c #Conflicts: 634000 | #Constraints: 44176
940.12/942.79 c #Conflicts: 635000 | #Constraints: 45176
940.12/942.79 c #Conflicts: 636000 | #Constraints: 46176
940.12/942.79 c #Conflicts: 637000 | #Constraints: 47176
940.12/942.79 c #Conflicts: 638000 | #Constraints: 48176
940.12/942.79 c #Conflicts: 639000 | #Constraints: 49176
940.12/942.79 c #Conflicts: 640000 | #Constraints: 50176
940.12/942.79 c #Conflicts: 641000 | #Constraints: 51176
940.12/942.79 c #Conflicts: 642000 | #Constraints: 52176
940.12/942.79 c #Conflicts: 643000 | #Constraints: 53176
940.12/942.79 c #Conflicts: 644000 | #Constraints: 54176
940.12/942.79 c #Conflicts: 645000 | #Constraints: 55176
940.12/942.79 c #Conflicts: 646000 | #Constraints: 56176
940.12/942.79 c #Conflicts: 647000 | #Constraints: 57176
940.12/942.79 c #Conflicts: 648000 | #Constraints: 58176
940.12/942.79 c #Conflicts: 649000 | #Constraints: 59176
940.12/942.79 c #Conflicts: 650000 | #Constraints: 60176
940.12/942.79 c #Conflicts: 651000 | #Constraints: 61176
940.12/942.79 c #Conflicts: 652000 | #Constraints: 62176
940.12/942.79 c #Conflicts: 653000 | #Constraints: 63176
940.12/942.79 c #Conflicts: 654000 | #Constraints: 64176
940.12/942.79 c #Conflicts: 655000 | #Constraints: 65176
940.12/942.79 c #Conflicts: 656000 | #Constraints: 66176
940.12/942.79 c #Conflicts: 657000 | #Constraints: 67176
940.12/942.79 c #Conflicts: 658000 | #Constraints: 68176
940.12/942.79 c #Conflicts: 659000 | #Constraints: 69176
940.12/942.79 c #Conflicts: 660000 | #Constraints: 70176
940.12/942.79 c #Conflicts: 661000 | #Constraints: 71176
940.12/942.79 c #Conflicts: 662000 | #Constraints: 72176
940.12/942.79 c #Conflicts: 663000 | #Constraints: 73176
940.12/942.79 c #Conflicts: 664000 | #Constraints: 74176
940.12/942.79 c #Conflicts: 665000 | #Constraints: 75176
940.12/942.79 c #Conflicts: 666000 | #Constraints: 76176
940.12/942.79 c #Conflicts: 667000 | #Constraints: 77176
940.12/942.79 c #Conflicts: 668000 | #Constraints: 78176
940.12/942.79 c #Conflicts: 669000 | #Constraints: 79176
940.12/942.79 c #Conflicts: 670000 | #Constraints: 80176
940.12/942.79 c #Conflicts: 671000 | #Constraints: 81176
940.12/942.79 c #Conflicts: 672000 | #Constraints: 82176
940.12/942.79 c #Conflicts: 673000 | #Constraints: 83176
940.12/942.79 c #Conflicts: 674000 | #Constraints: 84176
940.12/942.79 c #Conflicts: 675000 | #Constraints: 85176
940.12/942.79 c #Conflicts: 676000 | #Constraints: 86176
940.12/942.79 c #Conflicts: 677000 | #Constraints: 87176
940.12/942.79 c #Conflicts: 678000 | #Constraints: 88176
940.12/942.79 c INPROCESSING
940.12/942.79 c GARBAGE COLLECT
940.12/942.79 c rational objective 90
980.92/983.61 c #Conflicts: 679000 | #Constraints: 48433
980.92/983.61 c #Conflicts: 680000 | #Constraints: 49433
980.92/983.61 c #Conflicts: 681000 | #Constraints: 50433
980.92/983.61 c #Conflicts: 682000 | #Constraints: 51433
980.92/983.61 c #Conflicts: 683000 | #Constraints: 52433
980.92/983.61 c #Conflicts: 684000 | #Constraints: 53433
980.92/983.61 c #Conflicts: 685000 | #Constraints: 54433
980.92/983.61 c #Conflicts: 686000 | #Constraints: 55433
980.92/983.61 c #Conflicts: 687000 | #Constraints: 56433
980.92/983.61 c #Conflicts: 688000 | #Constraints: 57433
980.92/983.61 c #Conflicts: 689000 | #Constraints: 58433
980.92/983.61 c #Conflicts: 690000 | #Constraints: 59433
980.92/983.61 c #Conflicts: 691000 | #Constraints: 60433
980.92/983.61 c #Conflicts: 692000 | #Constraints: 61433
980.92/983.61 c #Conflicts: 693000 | #Constraints: 62433
980.92/983.61 c #Conflicts: 694000 | #Constraints: 63433
980.92/983.61 c #Conflicts: 695000 | #Constraints: 64433
980.92/983.61 c #Conflicts: 696000 | #Constraints: 65433
980.92/983.61 c INPROCESSING
980.92/983.61 c GARBAGE COLLECT
980.92/983.61 c rational objective 90
1017.43/1020.24 c #Conflicts: 697000 | #Constraints: 36860
1017.43/1020.24 c #Conflicts: 698000 | #Constraints: 37860
1017.43/1020.24 c #Conflicts: 699000 | #Constraints: 38860
1017.43/1020.24 c #Conflicts: 700000 | #Constraints: 39860
1017.43/1020.24 c #Conflicts: 701000 | #Constraints: 40860
1017.43/1020.24 c #Conflicts: 702000 | #Constraints: 41860
1017.43/1020.24 c #Conflicts: 703000 | #Constraints: 42860
1017.43/1020.24 c #Conflicts: 704000 | #Constraints: 43860
1017.43/1020.24 c #Conflicts: 705000 | #Constraints: 44860
1017.43/1020.24 c #Conflicts: 706000 | #Constraints: 45860
1017.43/1020.24 c #Conflicts: 707000 | #Constraints: 46860
1017.43/1020.24 c #Conflicts: 708000 | #Constraints: 47860
1017.43/1020.24 c #Conflicts: 709000 | #Constraints: 48860
1017.43/1020.24 c #Conflicts: 710000 | #Constraints: 49860
1017.43/1020.24 c #Conflicts: 711000 | #Constraints: 50860
1017.43/1020.24 c #Conflicts: 712000 | #Constraints: 51860
1017.43/1020.24 c #Conflicts: 713000 | #Constraints: 52860
1017.43/1020.24 c #Conflicts: 714000 | #Constraints: 53860
1017.43/1020.24 c #Conflicts: 715000 | #Constraints: 54860
1017.43/1020.24 c INPROCESSING
1017.43/1020.24 c GARBAGE COLLECT
1017.43/1020.24 c rational objective 90
1124.36/1127.48 c #Conflicts: 716000 | #Constraints: 31639
1124.36/1127.48 c #Conflicts: 717000 | #Constraints: 32639
1124.36/1127.48 c #Conflicts: 718000 | #Constraints: 33639
1124.36/1127.48 c #Conflicts: 719000 | #Constraints: 34639
1124.36/1127.48 c #Conflicts: 720000 | #Constraints: 35639
1124.36/1127.48 c #Conflicts: 721000 | #Constraints: 36639
1124.36/1127.48 c #Conflicts: 722000 | #Constraints: 37639
1124.36/1127.48 c #Conflicts: 723000 | #Constraints: 38639
1124.36/1127.48 c #Conflicts: 724000 | #Constraints: 39639
1124.36/1127.48 c #Conflicts: 725000 | #Constraints: 40639
1124.36/1127.48 c #Conflicts: 726000 | #Constraints: 41639
1124.36/1127.48 c #Conflicts: 727000 | #Constraints: 42639
1124.36/1127.48 c #Conflicts: 728000 | #Constraints: 43639
1124.36/1127.48 c #Conflicts: 729000 | #Constraints: 44639
1124.36/1127.48 c #Conflicts: 730000 | #Constraints: 45639
1124.36/1127.48 c #Conflicts: 731000 | #Constraints: 46639
1124.36/1127.48 c #Conflicts: 732000 | #Constraints: 47639
1124.36/1127.48 c #Conflicts: 733000 | #Constraints: 48639
1124.36/1127.48 c #Conflicts: 734000 | #Constraints: 49639
1124.36/1127.48 c INPROCESSING
1124.36/1127.48 c GARBAGE COLLECT
1124.36/1127.48 c #Conflicts: 735000 | #Constraints: 29056
1124.36/1127.48 c #Conflicts: 736000 | #Constraints: 30056
1124.36/1127.48 c #Conflicts: 737000 | #Constraints: 31056
1124.36/1127.48 c #Conflicts: 738000 | #Constraints: 32056
1124.36/1127.48 c #Conflicts: 739000 | #Constraints: 33056
1124.36/1127.48 c #Conflicts: 740000 | #Constraints: 34056
1124.36/1127.48 c #Conflicts: 741000 | #Constraints: 35056
1124.36/1127.48 c #Conflicts: 742000 | #Constraints: 36056
1124.36/1127.48 c #Conflicts: 743000 | #Constraints: 37056
1124.36/1127.48 c #Conflicts: 744000 | #Constraints: 38056
1124.36/1127.48 c #Conflicts: 745000 | #Constraints: 39056
1124.36/1127.48 c #Conflicts: 746000 | #Constraints: 40056
1124.36/1127.48 c #Conflicts: 747000 | #Constraints: 41056
1124.36/1127.48 c #Conflicts: 748000 | #Constraints: 42056
1124.36/1127.48 c #Conflicts: 749000 | #Constraints: 43056
1124.36/1127.48 c #Conflicts: 750000 | #Constraints: 44056
1124.36/1127.48 c #Conflicts: 751000 | #Constraints: 45056
1124.36/1127.48 c #Conflicts: 752000 | #Constraints: 46056
1124.36/1127.48 c #Conflicts: 753000 | #Constraints: 47056
1124.36/1127.48 c INPROCESSING
1124.36/1127.48 c GARBAGE COLLECT
1124.36/1127.48 c #Conflicts: 754000 | #Constraints: 27694
1124.36/1127.48 c #Conflicts: 755000 | #Constraints: 28694
1124.36/1127.48 c #Conflicts: 756000 | #Constraints: 29694
1124.36/1127.48 c #Conflicts: 757000 | #Constraints: 30694
1124.36/1127.48 c #Conflicts: 758000 | #Constraints: 31694
1124.36/1127.48 c #Conflicts: 759000 | #Constraints: 32694
1124.36/1127.48 c #Conflicts: 760000 | #Constraints: 33694
1124.36/1127.48 c #Conflicts: 761000 | #Constraints: 34694
1124.36/1127.48 c #Conflicts: 762000 | #Constraints: 35694
1124.36/1127.48 c #Conflicts: 763000 | #Constraints: 36694
1124.36/1127.48 c #Conflicts: 764000 | #Constraints: 37694
1124.36/1127.48 c #Conflicts: 765000 | #Constraints: 38694
1124.36/1127.48 c #Conflicts: 766000 | #Constraints: 39694
1124.36/1127.48 c #Conflicts: 767000 | #Constraints: 40694
1124.36/1127.48 c #Conflicts: 768000 | #Constraints: 41694
1124.36/1127.48 c #Conflicts: 769000 | #Constraints: 42694
1124.36/1127.48 c #Conflicts: 770000 | #Constraints: 43694
1124.36/1127.48 c #Conflicts: 771000 | #Constraints: 44694
1124.36/1127.48 c #Conflicts: 772000 | #Constraints: 45694
1124.36/1127.48 c #Conflicts: 773000 | #Constraints: 46694
1124.36/1127.48 c #Conflicts: 774000 | #Constraints: 47694
1124.36/1127.48 c #Conflicts: 775000 | #Constraints: 48694
1124.36/1127.48 c #Conflicts: 776000 | #Constraints: 49694
1124.36/1127.48 c #Conflicts: 777000 | #Constraints: 50694
1124.36/1127.48 c #Conflicts: 778000 | #Constraints: 51694
1124.36/1127.48 c #Conflicts: 779000 | #Constraints: 52694
1124.36/1127.48 c #Conflicts: 780000 | #Constraints: 53694
1124.36/1127.48 c #Conflicts: 781000 | #Constraints: 54694
1124.36/1127.48 c #Conflicts: 782000 | #Constraints: 55694
1124.36/1127.48 c #Conflicts: 783000 | #Constraints: 56694
1124.36/1127.48 c #Conflicts: 784000 | #Constraints: 57694
1124.36/1127.48 c #Conflicts: 785000 | #Constraints: 58694
1124.36/1127.48 c #Conflicts: 786000 | #Constraints: 59694
1124.36/1127.48 c #Conflicts: 787000 | #Constraints: 60694
1124.36/1127.48 c #Conflicts: 788000 | #Constraints: 61694
1124.36/1127.48 c #Conflicts: 789000 | #Constraints: 62694
1124.36/1127.48 c #Conflicts: 790000 | #Constraints: 63694
1124.36/1127.48 c #Conflicts: 791000 | #Constraints: 64694
1124.36/1127.48 c #Conflicts: 792000 | #Constraints: 65694
1124.36/1127.48 c #Conflicts: 793000 | #Constraints: 66694
1218.99/1222.37 c #Conflicts: 794000 | #Constraints: 67694
1218.99/1222.37 c #Conflicts: 795000 | #Constraints: 68694
1218.99/1222.37 c #Conflicts: 796000 | #Constraints: 69694
1218.99/1222.37 c #Conflicts: 797000 | #Constraints: 70694
1218.99/1222.37 c #Conflicts: 798000 | #Constraints: 71694
1218.99/1222.37 c #Conflicts: 799000 | #Constraints: 72694
1218.99/1222.37 c #Conflicts: 800000 | #Constraints: 73694
1218.99/1222.37 c #Conflicts: 801000 | #Constraints: 74694
1218.99/1222.37 c #Conflicts: 802000 | #Constraints: 75694
1218.99/1222.37 c #Conflicts: 803000 | #Constraints: 76694
1218.99/1222.37 c #Conflicts: 804000 | #Constraints: 77694
1218.99/1222.37 c #Conflicts: 805000 | #Constraints: 78694
1218.99/1222.37 c #Conflicts: 806000 | #Constraints: 79694
1218.99/1222.37 c #Conflicts: 807000 | #Constraints: 80694
1218.99/1222.37 c #Conflicts: 808000 | #Constraints: 81694
1218.99/1222.37 c #Conflicts: 809000 | #Constraints: 82694
1218.99/1222.37 c #Conflicts: 810000 | #Constraints: 83694
1218.99/1222.37 c #Conflicts: 811000 | #Constraints: 84694
1218.99/1222.37 c #Conflicts: 812000 | #Constraints: 85694
1218.99/1222.37 c #Conflicts: 813000 | #Constraints: 86694
1218.99/1222.37 c #Conflicts: 814000 | #Constraints: 87694
1218.99/1222.37 c #Conflicts: 815000 | #Constraints: 88694
1218.99/1222.37 c #Conflicts: 816000 | #Constraints: 89694
1218.99/1222.37 c #Conflicts: 817000 | #Constraints: 90694
1218.99/1222.37 c #Conflicts: 818000 | #Constraints: 91694
1218.99/1222.37 c #Conflicts: 819000 | #Constraints: 92694
1218.99/1222.37 c #Conflicts: 820000 | #Constraints: 93694
1218.99/1222.37 c #Conflicts: 821000 | #Constraints: 94694
1218.99/1222.37 c #Conflicts: 822000 | #Constraints: 95694
1218.99/1222.37 c #Conflicts: 823000 | #Constraints: 96694
1218.99/1222.37 c INPROCESSING
1218.99/1222.37 c GARBAGE COLLECT
1218.99/1222.37 c rational objective 90
1265.46/1268.99 c #Conflicts: 824000 | #Constraints: 52715
1265.46/1268.99 c #Conflicts: 825000 | #Constraints: 53715
1265.46/1268.99 c #Conflicts: 826000 | #Constraints: 54715
1265.46/1268.99 c #Conflicts: 827000 | #Constraints: 55715
1265.46/1268.99 c #Conflicts: 828000 | #Constraints: 56715
1265.46/1268.99 c #Conflicts: 829000 | #Constraints: 57715
1265.46/1268.99 c #Conflicts: 830000 | #Constraints: 58715
1265.46/1268.99 c #Conflicts: 831000 | #Constraints: 59715
1265.46/1268.99 c #Conflicts: 832000 | #Constraints: 60715
1265.46/1268.99 c #Conflicts: 833000 | #Constraints: 61715
1265.46/1268.99 c #Conflicts: 834000 | #Constraints: 62715
1265.46/1268.99 c #Conflicts: 835000 | #Constraints: 63715
1265.46/1268.99 c #Conflicts: 836000 | #Constraints: 64715
1265.46/1268.99 c #Conflicts: 837000 | #Constraints: 65715
1265.46/1268.99 c #Conflicts: 838000 | #Constraints: 66715
1265.46/1268.99 c #Conflicts: 839000 | #Constraints: 67715
1265.46/1268.99 c #Conflicts: 840000 | #Constraints: 68715
1265.46/1268.99 c #Conflicts: 841000 | #Constraints: 69715
1265.46/1268.99 c #Conflicts: 842000 | #Constraints: 70715
1265.46/1268.99 c #Conflicts: 843000 | #Constraints: 71715
1265.46/1268.99 c INPROCESSING
1265.46/1268.99 c GARBAGE COLLECT
1265.46/1268.99 c rational objective 90
1354.20/1357.99 c #Conflicts: 844000 | #Constraints: 40123
1354.20/1357.99 c #Conflicts: 845000 | #Constraints: 41123
1354.20/1357.99 c #Conflicts: 846000 | #Constraints: 42123
1354.20/1357.99 c #Conflicts: 847000 | #Constraints: 43123
1354.20/1357.99 c #Conflicts: 848000 | #Constraints: 44123
1354.20/1357.99 c #Conflicts: 849000 | #Constraints: 45123
1354.20/1357.99 c #Conflicts: 850000 | #Constraints: 46123
1354.20/1357.99 c #Conflicts: 851000 | #Constraints: 47123
1354.20/1357.99 c #Conflicts: 852000 | #Constraints: 48123
1354.20/1357.99 c #Conflicts: 853000 | #Constraints: 49123
1354.20/1357.99 c #Conflicts: 854000 | #Constraints: 50123
1354.20/1357.99 c #Conflicts: 855000 | #Constraints: 51123
1354.20/1357.99 c #Conflicts: 856000 | #Constraints: 52123
1354.20/1357.99 c #Conflicts: 857000 | #Constraints: 53123
1354.20/1357.99 c #Conflicts: 858000 | #Constraints: 54123
1354.20/1357.99 c #Conflicts: 859000 | #Constraints: 55123
1354.20/1357.99 c #Conflicts: 860000 | #Constraints: 56123
1354.20/1357.99 c #Conflicts: 861000 | #Constraints: 57123
1354.20/1357.99 c #Conflicts: 862000 | #Constraints: 58123
1354.20/1357.99 c #Conflicts: 863000 | #Constraints: 59123
1354.20/1357.99 c #Conflicts: 864000 | #Constraints: 60123
1354.20/1357.99 c INPROCESSING
1354.20/1357.99 c GARBAGE COLLECT
1354.20/1357.99 c #Conflicts: 865000 | #Constraints: 34462
1354.20/1357.99 c #Conflicts: 866000 | #Constraints: 35462
1354.20/1357.99 c #Conflicts: 867000 | #Constraints: 36462
1354.20/1357.99 c #Conflicts: 868000 | #Constraints: 37462
1354.20/1357.99 c #Conflicts: 869000 | #Constraints: 38462
1354.20/1357.99 c #Conflicts: 870000 | #Constraints: 39462
1354.20/1357.99 c #Conflicts: 871000 | #Constraints: 40462
1354.20/1357.99 c #Conflicts: 872000 | #Constraints: 41462
1354.20/1357.99 c #Conflicts: 873000 | #Constraints: 42462
1354.20/1357.99 c #Conflicts: 874000 | #Constraints: 43462
1354.20/1357.99 c #Conflicts: 875000 | #Constraints: 44462
1354.20/1357.99 c #Conflicts: 876000 | #Constraints: 45462
1354.20/1357.99 c #Conflicts: 877000 | #Constraints: 46462
1354.20/1357.99 c #Conflicts: 878000 | #Constraints: 47462
1354.20/1357.99 c #Conflicts: 879000 | #Constraints: 48462
1354.20/1357.99 c #Conflicts: 880000 | #Constraints: 49462
1354.20/1357.99 c #Conflicts: 881000 | #Constraints: 50462
1354.20/1357.99 c #Conflicts: 882000 | #Constraints: 51462
1354.20/1357.99 c #Conflicts: 883000 | #Constraints: 52462
1354.20/1357.99 c #Conflicts: 884000 | #Constraints: 53462
1354.20/1357.99 c #Conflicts: 885000 | #Constraints: 54462
1354.20/1357.99 c INPROCESSING
1354.20/1357.99 c GARBAGE COLLECT
1354.20/1357.99 c #Conflicts: 886000 | #Constraints: 31684
1354.20/1357.99 c #Conflicts: 887000 | #Constraints: 32684
1354.20/1357.99 c #Conflicts: 888000 | #Constraints: 33684
1354.20/1357.99 c #Conflicts: 889000 | #Constraints: 34684
1354.20/1357.99 c #Conflicts: 890000 | #Constraints: 35684
1354.20/1357.99 c #Conflicts: 891000 | #Constraints: 36684
1354.20/1357.99 c #Conflicts: 892000 | #Constraints: 37684
1354.20/1357.99 c #Conflicts: 893000 | #Constraints: 38684
1354.20/1357.99 c #Conflicts: 894000 | #Constraints: 39684
1354.20/1357.99 c #Conflicts: 895000 | #Constraints: 40684
1354.20/1357.99 c #Conflicts: 896000 | #Constraints: 41684
1354.20/1357.99 c #Conflicts: 897000 | #Constraints: 42684
1354.20/1357.99 c #Conflicts: 898000 | #Constraints: 43684
1354.20/1357.99 c #Conflicts: 899000 | #Constraints: 44684
1354.20/1357.99 c #Conflicts: 900000 | #Constraints: 45684
1354.20/1357.99 c #Conflicts: 901000 | #Constraints: 46684
1354.20/1357.99 c #Conflicts: 902000 | #Constraints: 47684
1354.20/1357.99 c #Conflicts: 903000 | #Constraints: 48684
1354.20/1357.99 c #Conflicts: 904000 | #Constraints: 49684
1354.20/1357.99 c #Conflicts: 905000 | #Constraints: 50684
1354.20/1357.99 c #Conflicts: 906000 | #Constraints: 51684
1354.20/1357.99 c INPROCESSING
1354.20/1357.99 c GARBAGE COLLECT
1354.20/1357.99 c rational objective 90
1530.28/1534.59 c #Conflicts: 907000 | #Constraints: 30368
1530.28/1534.59 c #Conflicts: 908000 | #Constraints: 31368
1530.28/1534.59 c #Conflicts: 909000 | #Constraints: 32368
1530.28/1534.59 c #Conflicts: 910000 | #Constraints: 33368
1530.28/1534.59 c #Conflicts: 911000 | #Constraints: 34368
1530.28/1534.59 c #Conflicts: 912000 | #Constraints: 35368
1530.28/1534.59 c #Conflicts: 913000 | #Constraints: 36368
1530.28/1534.59 c #Conflicts: 914000 | #Constraints: 37368
1530.28/1534.59 c #Conflicts: 915000 | #Constraints: 38368
1530.28/1534.59 c #Conflicts: 916000 | #Constraints: 39368
1530.28/1534.59 c #Conflicts: 917000 | #Constraints: 40368
1530.28/1534.59 c #Conflicts: 918000 | #Constraints: 41368
1530.28/1534.59 c #Conflicts: 919000 | #Constraints: 42368
1530.28/1534.59 c #Conflicts: 920000 | #Constraints: 43368
1530.28/1534.59 c #Conflicts: 921000 | #Constraints: 44368
1530.28/1534.59 c #Conflicts: 922000 | #Constraints: 45368
1530.28/1534.59 c #Conflicts: 923000 | #Constraints: 46368
1530.28/1534.59 c #Conflicts: 924000 | #Constraints: 47368
1530.28/1534.59 c #Conflicts: 925000 | #Constraints: 48368
1530.28/1534.59 c #Conflicts: 926000 | #Constraints: 49368
1530.28/1534.59 c #Conflicts: 927000 | #Constraints: 50368
1530.28/1534.59 c #Conflicts: 928000 | #Constraints: 51368
1530.28/1534.59 c #Conflicts: 929000 | #Constraints: 52368
1530.28/1534.59 c #Conflicts: 930000 | #Constraints: 53368
1530.28/1534.59 c #Conflicts: 931000 | #Constraints: 54368
1530.28/1534.59 c #Conflicts: 932000 | #Constraints: 55368
1530.28/1534.59 c #Conflicts: 933000 | #Constraints: 56368
1530.28/1534.59 c #Conflicts: 934000 | #Constraints: 57368
1530.28/1534.59 c #Conflicts: 935000 | #Constraints: 58368
1530.28/1534.59 c #Conflicts: 936000 | #Constraints: 59368
1530.28/1534.59 c #Conflicts: 937000 | #Constraints: 60368
1530.28/1534.59 c #Conflicts: 938000 | #Constraints: 61368
1530.28/1534.59 c #Conflicts: 939000 | #Constraints: 62368
1530.28/1534.59 c #Conflicts: 940000 | #Constraints: 63368
1530.28/1534.59 c #Conflicts: 941000 | #Constraints: 64368
1530.28/1534.59 c #Conflicts: 942000 | #Constraints: 65368
1530.28/1534.59 c #Conflicts: 943000 | #Constraints: 66368
1530.28/1534.59 c #Conflicts: 944000 | #Constraints: 67368
1530.28/1534.59 c #Conflicts: 945000 | #Constraints: 68368
1530.28/1534.59 c #Conflicts: 946000 | #Constraints: 69368
1530.28/1534.59 c #Conflicts: 947000 | #Constraints: 70368
1530.28/1534.59 c #Conflicts: 948000 | #Constraints: 71368
1530.28/1534.59 c #Conflicts: 949000 | #Constraints: 72368
1530.28/1534.59 c #Conflicts: 950000 | #Constraints: 73368
1530.28/1534.59 c #Conflicts: 951000 | #Constraints: 74368
1530.28/1534.59 c #Conflicts: 952000 | #Constraints: 75368
1530.28/1534.59 c #Conflicts: 953000 | #Constraints: 76368
1530.28/1534.59 c #Conflicts: 954000 | #Constraints: 77368
1530.28/1534.59 c #Conflicts: 955000 | #Constraints: 78368
1530.28/1534.59 c #Conflicts: 956000 | #Constraints: 79368
1530.28/1534.59 c #Conflicts: 957000 | #Constraints: 80368
1530.28/1534.59 c #Conflicts: 958000 | #Constraints: 81368
1530.28/1534.59 c #Conflicts: 959000 | #Constraints: 82368
1530.28/1534.59 c #Conflicts: 960000 | #Constraints: 83368
1530.28/1534.59 c #Conflicts: 961000 | #Constraints: 84368
1530.28/1534.59 c #Conflicts: 962000 | #Constraints: 85368
1530.28/1534.59 c #Conflicts: 963000 | #Constraints: 86368
1530.28/1534.59 c #Conflicts: 964000 | #Constraints: 87368
1530.28/1534.59 c #Conflicts: 965000 | #Constraints: 88368
1530.28/1534.59 c #Conflicts: 966000 | #Constraints: 89368
1530.28/1534.59 c #Conflicts: 967000 | #Constraints: 90368
1530.28/1534.59 c #Conflicts: 968000 | #Constraints: 91368
1530.28/1534.59 c #Conflicts: 969000 | #Constraints: 92368
1530.28/1534.59 c #Conflicts: 970000 | #Constraints: 93368
1530.28/1534.59 c #Conflicts: 971000 | #Constraints: 94368
1530.28/1534.59 c #Conflicts: 972000 | #Constraints: 95368
1530.28/1534.59 c #Conflicts: 973000 | #Constraints: 96368
1530.28/1534.59 c #Conflicts: 974000 | #Constraints: 97368
1530.28/1534.59 c #Conflicts: 975000 | #Constraints: 98368
1530.28/1534.59 c #Conflicts: 976000 | #Constraints: 99368
1530.28/1534.59 c #Conflicts: 977000 | #Constraints: 100368
1530.28/1534.59 c #Conflicts: 978000 | #Constraints: 101368
1530.28/1534.59 c #Conflicts: 979000 | #Constraints: 102368
1530.28/1534.59 c #Conflicts: 980000 | #Constraints: 103368
1530.28/1534.59 c #Conflicts: 981000 | #Constraints: 104368
1530.28/1534.59 c #Conflicts: 982000 | #Constraints: 105368
1530.28/1534.59 c INPROCESSING
1530.28/1534.59 c GARBAGE COLLECT
1530.28/1534.59 c rational objective 90
1592.80/1597.23 c #Conflicts: 983000 | #Constraints: 57080
1592.80/1597.23 c #Conflicts: 984000 | #Constraints: 58080
1592.80/1597.23 c #Conflicts: 985000 | #Constraints: 59080
1592.80/1597.23 c #Conflicts: 986000 | #Constraints: 60080
1592.80/1597.23 c #Conflicts: 987000 | #Constraints: 61080
1592.80/1597.23 c #Conflicts: 988000 | #Constraints: 62080
1592.80/1597.23 c #Conflicts: 989000 | #Constraints: 63080
1592.80/1597.23 c #Conflicts: 990000 | #Constraints: 64080
1592.80/1597.23 c #Conflicts: 991000 | #Constraints: 65080
1592.80/1597.23 c #Conflicts: 992000 | #Constraints: 66080
1592.80/1597.23 c #Conflicts: 993000 | #Constraints: 67080
1592.80/1597.23 c #Conflicts: 994000 | #Constraints: 68080
1592.80/1597.23 c #Conflicts: 995000 | #Constraints: 69080
1592.80/1597.23 c #Conflicts: 996000 | #Constraints: 70080
1592.80/1597.23 c #Conflicts: 997000 | #Constraints: 71080
1592.80/1597.23 c #Conflicts: 998000 | #Constraints: 72080
1592.80/1597.23 c #Conflicts: 999000 | #Constraints: 73080
1592.80/1597.23 c #Conflicts: 1000000 | #Constraints: 74080
1592.80/1597.23 c #Conflicts: 1001000 | #Constraints: 75080
1592.80/1597.23 c #Conflicts: 1002000 | #Constraints: 76080
1592.80/1597.23 c #Conflicts: 1003000 | #Constraints: 77080
1592.80/1597.23 c #Conflicts: 1004000 | #Constraints: 78080
1592.80/1597.23 c INPROCESSING
1592.80/1597.23 c GARBAGE COLLECT
1592.80/1597.23 c rational objective 90
1737.27/1742.16 c #Conflicts: 1005000 | #Constraints: 43366
1737.27/1742.16 c #Conflicts: 1006000 | #Constraints: 44366
1737.27/1742.16 c #Conflicts: 1007000 | #Constraints: 45366
1737.27/1742.16 c #Conflicts: 1008000 | #Constraints: 46366
1737.27/1742.16 c #Conflicts: 1009000 | #Constraints: 47366
1737.27/1742.16 c #Conflicts: 1010000 | #Constraints: 48366
1737.27/1742.16 c #Conflicts: 1011000 | #Constraints: 49366
1737.27/1742.16 c #Conflicts: 1012000 | #Constraints: 50366
1737.27/1742.16 c #Conflicts: 1013000 | #Constraints: 51366
1737.27/1742.16 c #Conflicts: 1014000 | #Constraints: 52366
1737.27/1742.16 c #Conflicts: 1015000 | #Constraints: 53366
1737.27/1742.16 c #Conflicts: 1016000 | #Constraints: 54366
1737.27/1742.16 c #Conflicts: 1017000 | #Constraints: 55366
1737.27/1742.16 c #Conflicts: 1018000 | #Constraints: 56366
1737.27/1742.16 c #Conflicts: 1019000 | #Constraints: 57366
1737.27/1742.16 c #Conflicts: 1020000 | #Constraints: 58366
1737.27/1742.16 c #Conflicts: 1021000 | #Constraints: 59366
1737.27/1742.16 c #Conflicts: 1022000 | #Constraints: 60366
1737.27/1742.16 c #Conflicts: 1023000 | #Constraints: 61366
1737.27/1742.16 c #Conflicts: 1024000 | #Constraints: 62366
1737.27/1742.16 c #Conflicts: 1025000 | #Constraints: 63366
1737.27/1742.16 c #Conflicts: 1026000 | #Constraints: 64366
1737.27/1742.16 c INPROCESSING
1737.27/1742.16 c GARBAGE COLLECT
1737.27/1742.16 c #Conflicts: 1027000 | #Constraints: 36249
1737.27/1742.16 c #Conflicts: 1028000 | #Constraints: 37249
1737.27/1742.16 c #Conflicts: 1029000 | #Constraints: 38249
1737.27/1742.16 c #Conflicts: 1030000 | #Constraints: 39249
1737.27/1742.16 c #Conflicts: 1031000 | #Constraints: 40249
1737.27/1742.16 c #Conflicts: 1032000 | #Constraints: 41249
1737.27/1742.16 c #Conflicts: 1033000 | #Constraints: 42249
1737.27/1742.16 c #Conflicts: 1034000 | #Constraints: 43249
1737.27/1742.16 c #Conflicts: 1035000 | #Constraints: 44249
1737.27/1742.16 c #Conflicts: 1036000 | #Constraints: 45249
1737.27/1742.16 c #Conflicts: 1037000 | #Constraints: 46249
1737.27/1742.16 c #Conflicts: 1038000 | #Constraints: 47249
1737.27/1742.16 c #Conflicts: 1039000 | #Constraints: 48249
1737.27/1742.16 c #Conflicts: 1040000 | #Constraints: 49249
1737.27/1742.16 c #Conflicts: 1041000 | #Constraints: 50249
1737.27/1742.16 c #Conflicts: 1042000 | #Constraints: 51249
1737.27/1742.16 c #Conflicts: 1043000 | #Constraints: 52249
1737.27/1742.16 c #Conflicts: 1044000 | #Constraints: 53249
1737.27/1742.16 c #Conflicts: 1045000 | #Constraints: 54249
1737.27/1742.16 c #Conflicts: 1046000 | #Constraints: 55249
1737.27/1742.16 c #Conflicts: 1047000 | #Constraints: 56249
1737.27/1742.16 c #Conflicts: 1048000 | #Constraints: 57249
1737.27/1742.16 c #Conflicts: 1049000 | #Constraints: 58249
1737.27/1742.16 c INPROCESSING
1737.27/1742.16 c GARBAGE COLLECT
1737.27/1742.16 c #Conflicts: 1050000 | #Constraints: 33365
1737.27/1742.16 c #Conflicts: 1051000 | #Constraints: 34365
1737.27/1742.16 c #Conflicts: 1052000 | #Constraints: 35365
1737.27/1742.16 c #Conflicts: 1053000 | #Constraints: 36365
1737.27/1742.16 c #Conflicts: 1054000 | #Constraints: 37365
1737.27/1742.16 c #Conflicts: 1055000 | #Constraints: 38365
1737.27/1742.16 c #Conflicts: 1056000 | #Constraints: 39365
1737.27/1742.16 c #Conflicts: 1057000 | #Constraints: 40365
1737.27/1742.16 c #Conflicts: 1058000 | #Constraints: 41365
1737.27/1742.16 c #Conflicts: 1059000 | #Constraints: 42365
1737.27/1742.16 c #Conflicts: 1060000 | #Constraints: 43365
1737.27/1742.16 c #Conflicts: 1061000 | #Constraints: 44365
1737.27/1742.16 c #Conflicts: 1062000 | #Constraints: 45365
1737.27/1742.16 c #Conflicts: 1063000 | #Constraints: 46365
1737.27/1742.16 c #Conflicts: 1064000 | #Constraints: 47365
1737.27/1742.16 c #Conflicts: 1065000 | #Constraints: 48365
1737.27/1742.16 c #Conflicts: 1066000 | #Constraints: 49365
1737.27/1742.16 c #Conflicts: 1067000 | #Constraints: 50365
1737.27/1742.16 c #Conflicts: 1068000 | #Constraints: 51365
1737.27/1742.16 c #Conflicts: 1069000 | #Constraints: 52365
1737.27/1742.16 c #Conflicts: 1070000 | #Constraints: 53365
1737.27/1742.16 c #Conflicts: 1071000 | #Constraints: 54365
1737.27/1742.16 c #Conflicts: 1072000 | #Constraints: 55365
1737.27/1742.16 c INPROCESSING
1737.27/1742.16 c GARBAGE COLLECT
1737.27/1742.16 c #Conflicts: 1073000 | #Constraints: 31886
1737.27/1742.16 c #Conflicts: 1074000 | #Constraints: 32886
1737.27/1742.16 c #Conflicts: 1075000 | #Constraints: 33886
1737.27/1742.16 c #Conflicts: 1076000 | #Constraints: 34886
1737.27/1742.16 c #Conflicts: 1077000 | #Constraints: 35886
1737.27/1742.16 c #Conflicts: 1078000 | #Constraints: 36886
1737.27/1742.16 c #Conflicts: 1079000 | #Constraints: 37886
1737.27/1742.16 c #Conflicts: 1080000 | #Constraints: 38886
1737.27/1742.16 c #Conflicts: 1081000 | #Constraints: 39886
1896.88/1902.27 c #Conflicts: 1082000 | #Constraints: 40886
1896.88/1902.27 c #Conflicts: 1083000 | #Constraints: 41886
1896.88/1902.27 c #Conflicts: 1084000 | #Constraints: 42886
1896.88/1902.27 c #Conflicts: 1085000 | #Constraints: 43886
1896.88/1902.27 c #Conflicts: 1086000 | #Constraints: 44886
1896.88/1902.27 c #Conflicts: 1087000 | #Constraints: 45886
1896.88/1902.27 c #Conflicts: 1088000 | #Constraints: 46886
1896.88/1902.27 c #Conflicts: 1089000 | #Constraints: 47886
1896.88/1902.27 c #Conflicts: 1090000 | #Constraints: 48886
1896.88/1902.27 c #Conflicts: 1091000 | #Constraints: 49886
1896.88/1902.27 c #Conflicts: 1092000 | #Constraints: 50886
1896.88/1902.27 c #Conflicts: 1093000 | #Constraints: 51886
1896.88/1902.27 c #Conflicts: 1094000 | #Constraints: 52886
1896.88/1902.27 c #Conflicts: 1095000 | #Constraints: 53886
1896.88/1902.27 c INPROCESSING
1896.88/1902.27 c GARBAGE COLLECT
1896.88/1902.27 c #Conflicts: 1096000 | #Constraints: 31147
1896.88/1902.27 c #Conflicts: 1097000 | #Constraints: 32147
1896.88/1902.27 c #Conflicts: 1098000 | #Constraints: 33147
1896.88/1902.27 c #Conflicts: 1099000 | #Constraints: 34147
1896.88/1902.27 c #Conflicts: 1100000 | #Constraints: 35147
1896.88/1902.27 c #Conflicts: 1101000 | #Constraints: 36147
1896.88/1902.27 c #Conflicts: 1102000 | #Constraints: 37147
1896.88/1902.27 c #Conflicts: 1103000 | #Constraints: 38147
1896.88/1902.27 c #Conflicts: 1104000 | #Constraints: 39147
1896.88/1902.27 c #Conflicts: 1105000 | #Constraints: 40147
1896.88/1902.27 c #Conflicts: 1106000 | #Constraints: 41147
1896.88/1902.27 c #Conflicts: 1107000 | #Constraints: 42147
1896.88/1902.27 c #Conflicts: 1108000 | #Constraints: 43147
1896.88/1902.27 c #Conflicts: 1109000 | #Constraints: 44147
1896.88/1902.27 c #Conflicts: 1110000 | #Constraints: 45147
1896.88/1902.27 c #Conflicts: 1111000 | #Constraints: 46147
1896.88/1902.27 c #Conflicts: 1112000 | #Constraints: 47147
1896.88/1902.27 c #Conflicts: 1113000 | #Constraints: 48147
1896.88/1902.27 c #Conflicts: 1114000 | #Constraints: 49147
1896.88/1902.27 c #Conflicts: 1115000 | #Constraints: 50147
1896.88/1902.27 c #Conflicts: 1116000 | #Constraints: 51147
1896.88/1902.27 c #Conflicts: 1117000 | #Constraints: 52147
1896.88/1902.27 c #Conflicts: 1118000 | #Constraints: 53147
1896.88/1902.27 c #Conflicts: 1119000 | #Constraints: 54147
1896.88/1902.27 c #Conflicts: 1120000 | #Constraints: 55147
1896.88/1902.27 c #Conflicts: 1121000 | #Constraints: 56147
1896.88/1902.27 c #Conflicts: 1122000 | #Constraints: 57147
1896.88/1902.27 c #Conflicts: 1123000 | #Constraints: 58147
1896.88/1902.27 c #Conflicts: 1124000 | #Constraints: 59147
1896.88/1902.27 c #Conflicts: 1125000 | #Constraints: 60147
1896.88/1902.27 c #Conflicts: 1126000 | #Constraints: 61147
1896.88/1902.27 c #Conflicts: 1127000 | #Constraints: 62147
1896.88/1902.27 c #Conflicts: 1128000 | #Constraints: 63147
1896.88/1902.27 c #Conflicts: 1129000 | #Constraints: 64147
1896.88/1902.27 c #Conflicts: 1130000 | #Constraints: 65147
1896.88/1902.27 c #Conflicts: 1131000 | #Constraints: 66147
1896.88/1902.27 c #Conflicts: 1132000 | #Constraints: 67147
1896.88/1902.27 c #Conflicts: 1133000 | #Constraints: 68147
1896.88/1902.27 c #Conflicts: 1134000 | #Constraints: 69147
1896.88/1902.27 c #Conflicts: 1135000 | #Constraints: 70147
1896.88/1902.27 c #Conflicts: 1136000 | #Constraints: 71147
1896.88/1902.27 c #Conflicts: 1137000 | #Constraints: 72147
1896.88/1902.27 c #Conflicts: 1138000 | #Constraints: 73147
1896.88/1902.27 c #Conflicts: 1139000 | #Constraints: 74147
1896.88/1902.27 c #Conflicts: 1140000 | #Constraints: 75147
1896.88/1902.27 c #Conflicts: 1141000 | #Constraints: 76147
1896.88/1902.27 c #Conflicts: 1142000 | #Constraints: 77147
1896.88/1902.27 c #Conflicts: 1143000 | #Constraints: 78147
1896.88/1902.27 c #Conflicts: 1144000 | #Constraints: 79147
1896.88/1902.27 c #Conflicts: 1145000 | #Constraints: 80147
1896.88/1902.27 c #Conflicts: 1146000 | #Constraints: 81147
1896.88/1902.27 c #Conflicts: 1147000 | #Constraints: 82147
1896.88/1902.27 c #Conflicts: 1148000 | #Constraints: 83147
1896.88/1902.27 c #Conflicts: 1149000 | #Constraints: 84147
1896.88/1902.27 c #Conflicts: 1150000 | #Constraints: 85147
1896.88/1902.27 c #Conflicts: 1151000 | #Constraints: 86147
1896.88/1902.27 c #Conflicts: 1152000 | #Constraints: 87147
1896.88/1902.27 c #Conflicts: 1153000 | #Constraints: 88147
1896.88/1902.27 c #Conflicts: 1154000 | #Constraints: 89147
1896.88/1902.27 c #Conflicts: 1155000 | #Constraints: 90147
1896.88/1902.27 c #Conflicts: 1156000 | #Constraints: 91147
1896.88/1902.27 c #Conflicts: 1157000 | #Constraints: 92147
1896.88/1902.27 c #Conflicts: 1158000 | #Constraints: 93147
1896.88/1902.27 c #Conflicts: 1159000 | #Constraints: 94147
1960.50/1966.09 c #Conflicts: 1160000 | #Constraints: 95147
1960.50/1966.09 c #Conflicts: 1161000 | #Constraints: 96147
1960.50/1966.09 c #Conflicts: 1162000 | #Constraints: 97147
1960.50/1966.09 c #Conflicts: 1163000 | #Constraints: 98147
1960.50/1966.09 c #Conflicts: 1164000 | #Constraints: 99147
1960.50/1966.09 c #Conflicts: 1165000 | #Constraints: 100147
1960.50/1966.09 c #Conflicts: 1166000 | #Constraints: 101147
1960.50/1966.09 c #Conflicts: 1167000 | #Constraints: 102147
1960.50/1966.09 c #Conflicts: 1168000 | #Constraints: 103147
1960.50/1966.09 c #Conflicts: 1169000 | #Constraints: 104147
1960.50/1966.09 c #Conflicts: 1170000 | #Constraints: 105147
1960.50/1966.09 c #Conflicts: 1171000 | #Constraints: 106147
1960.50/1966.09 c #Conflicts: 1172000 | #Constraints: 107147
1960.50/1966.09 c #Conflicts: 1173000 | #Constraints: 108147
1960.50/1966.09 c #Conflicts: 1174000 | #Constraints: 109147
1960.50/1966.09 c #Conflicts: 1175000 | #Constraints: 110147
1960.50/1966.09 c #Conflicts: 1176000 | #Constraints: 111147
1960.50/1966.09 c #Conflicts: 1177000 | #Constraints: 112147
1960.50/1966.09 c #Conflicts: 1178000 | #Constraints: 113147
1960.50/1966.09 c #Conflicts: 1179000 | #Constraints: 114147
1960.50/1966.09 c INPROCESSING
1960.50/1966.09 c GARBAGE COLLECT
1960.50/1966.09 c rational objective 90
2021.41/2027.16 c #Conflicts: 1180000 | #Constraints: 61517
2021.41/2027.16 c #Conflicts: 1181000 | #Constraints: 62517
2021.41/2027.16 c #Conflicts: 1182000 | #Constraints: 63517
2021.41/2027.16 c #Conflicts: 1183000 | #Constraints: 64517
2021.41/2027.16 c #Conflicts: 1184000 | #Constraints: 65517
2021.41/2027.16 c #Conflicts: 1185000 | #Constraints: 66517
2021.41/2027.16 c #Conflicts: 1186000 | #Constraints: 67517
2021.41/2027.16 c #Conflicts: 1187000 | #Constraints: 68517
2021.41/2027.16 c #Conflicts: 1188000 | #Constraints: 69517
2021.41/2027.16 c #Conflicts: 1189000 | #Constraints: 70517
2021.41/2027.16 c #Conflicts: 1190000 | #Constraints: 71517
2021.41/2027.16 c #Conflicts: 1191000 | #Constraints: 72517
2021.41/2027.16 c #Conflicts: 1192000 | #Constraints: 73517
2021.41/2027.16 c #Conflicts: 1193000 | #Constraints: 74517
2021.41/2027.16 c #Conflicts: 1194000 | #Constraints: 75517
2021.41/2027.16 c #Conflicts: 1195000 | #Constraints: 76517
2021.41/2027.16 c #Conflicts: 1196000 | #Constraints: 77517
2021.41/2027.16 c #Conflicts: 1197000 | #Constraints: 78517
2021.41/2027.16 c #Conflicts: 1198000 | #Constraints: 79517
2021.41/2027.16 c #Conflicts: 1199000 | #Constraints: 80517
2021.41/2027.16 c #Conflicts: 1200000 | #Constraints: 81517
2021.41/2027.16 c #Conflicts: 1201000 | #Constraints: 82517
2021.41/2027.16 c #Conflicts: 1202000 | #Constraints: 83517
2021.41/2027.16 c #Conflicts: 1203000 | #Constraints: 84517
2021.41/2027.16 c INPROCESSING
2021.41/2027.16 c GARBAGE COLLECT
2021.41/2027.16 c rational objective 90
2075.04/2080.90 c #Conflicts: 1204000 | #Constraints: 46496
2075.04/2080.90 c #Conflicts: 1205000 | #Constraints: 47496
2075.04/2080.90 c #Conflicts: 1206000 | #Constraints: 48496
2075.04/2080.90 c #Conflicts: 1207000 | #Constraints: 49496
2075.04/2080.90 c #Conflicts: 1208000 | #Constraints: 50496
2075.04/2080.90 c #Conflicts: 1209000 | #Constraints: 51496
2075.04/2080.90 c #Conflicts: 1210000 | #Constraints: 52496
2075.04/2080.90 c #Conflicts: 1211000 | #Constraints: 53496
2075.04/2080.90 c #Conflicts: 1212000 | #Constraints: 54496
2075.04/2080.90 c #Conflicts: 1213000 | #Constraints: 55496
2075.04/2080.90 c #Conflicts: 1214000 | #Constraints: 56496
2075.04/2080.90 c #Conflicts: 1215000 | #Constraints: 57496
2075.04/2080.90 c #Conflicts: 1216000 | #Constraints: 58496
2075.04/2080.90 c #Conflicts: 1217000 | #Constraints: 59496
2075.04/2080.90 c #Conflicts: 1218000 | #Constraints: 60496
2075.04/2080.90 c #Conflicts: 1219000 | #Constraints: 61496
2075.04/2080.90 c #Conflicts: 1220000 | #Constraints: 62496
2075.04/2080.90 c #Conflicts: 1221000 | #Constraints: 63496
2075.04/2080.90 c #Conflicts: 1222000 | #Constraints: 64496
2075.04/2080.90 c #Conflicts: 1223000 | #Constraints: 65496
2075.04/2080.90 c #Conflicts: 1224000 | #Constraints: 66496
2075.04/2080.90 c #Conflicts: 1225000 | #Constraints: 67496
2075.04/2080.90 c #Conflicts: 1226000 | #Constraints: 68496
2075.04/2080.90 c #Conflicts: 1227000 | #Constraints: 69496
2075.04/2080.90 c #Conflicts: 1228000 | #Constraints: 70496
2075.04/2080.90 c INPROCESSING
2075.04/2080.90 c GARBAGE COLLECT
2075.04/2080.90 c rational objective 90
2120.90/2126.91 c #Conflicts: 1229000 | #Constraints: 39771
2120.90/2126.91 c #Conflicts: 1230000 | #Constraints: 40771
2120.90/2126.91 c #Conflicts: 1231000 | #Constraints: 41771
2120.90/2126.91 c #Conflicts: 1232000 | #Constraints: 42771
2120.90/2126.91 c #Conflicts: 1233000 | #Constraints: 43771
2120.90/2126.91 c #Conflicts: 1234000 | #Constraints: 44771
2120.90/2126.91 c #Conflicts: 1235000 | #Constraints: 45771
2120.90/2126.91 c #Conflicts: 1236000 | #Constraints: 46771
2120.90/2126.91 c #Conflicts: 1237000 | #Constraints: 47771
2120.90/2126.91 c #Conflicts: 1238000 | #Constraints: 48771
2120.90/2126.91 c #Conflicts: 1239000 | #Constraints: 49771
2120.90/2126.91 c #Conflicts: 1240000 | #Constraints: 50771
2120.90/2126.91 c #Conflicts: 1241000 | #Constraints: 51771
2120.90/2126.91 c #Conflicts: 1242000 | #Constraints: 52771
2120.90/2126.91 c #Conflicts: 1243000 | #Constraints: 53771
2120.90/2126.91 c #Conflicts: 1244000 | #Constraints: 54771
2120.90/2126.91 c #Conflicts: 1245000 | #Constraints: 55771
2120.90/2126.91 c #Conflicts: 1246000 | #Constraints: 56771
2120.90/2126.91 c #Conflicts: 1247000 | #Constraints: 57771
2120.90/2126.91 c #Conflicts: 1248000 | #Constraints: 58771
2120.90/2126.91 c #Conflicts: 1249000 | #Constraints: 59771
2120.90/2126.91 c #Conflicts: 1250000 | #Constraints: 60771
2120.90/2126.91 c #Conflicts: 1251000 | #Constraints: 61771
2120.90/2126.91 c #Conflicts: 1252000 | #Constraints: 62771
2120.90/2126.91 c #Conflicts: 1253000 | #Constraints: 63771
2120.90/2126.91 c INPROCESSING
2120.90/2126.91 c GARBAGE COLLECT
2120.90/2126.91 c rational objective 90
2196.78/2203.06 c #Conflicts: 1254000 | #Constraints: 36375
2196.78/2203.06 c #Conflicts: 1255000 | #Constraints: 37375
2196.78/2203.06 c #Conflicts: 1256000 | #Constraints: 38375
2196.78/2203.06 c #Conflicts: 1257000 | #Constraints: 39375
2196.78/2203.06 c #Conflicts: 1258000 | #Constraints: 40375
2196.78/2203.06 c #Conflicts: 1259000 | #Constraints: 41375
2196.78/2203.06 c #Conflicts: 1260000 | #Constraints: 42375
2196.78/2203.06 c #Conflicts: 1261000 | #Constraints: 43375
2196.78/2203.06 c #Conflicts: 1262000 | #Constraints: 44375
2196.78/2203.06 c #Conflicts: 1263000 | #Constraints: 45375
2196.78/2203.06 c #Conflicts: 1264000 | #Constraints: 46375
2196.78/2203.06 c #Conflicts: 1265000 | #Constraints: 47375
2196.78/2203.06 c #Conflicts: 1266000 | #Constraints: 48375
2196.78/2203.06 c #Conflicts: 1267000 | #Constraints: 49375
2196.78/2203.06 c #Conflicts: 1268000 | #Constraints: 50375
2196.78/2203.06 c #Conflicts: 1269000 | #Constraints: 51375
2196.78/2203.06 c #Conflicts: 1270000 | #Constraints: 52375
2196.78/2203.06 c #Conflicts: 1271000 | #Constraints: 53375
2196.78/2203.06 c #Conflicts: 1272000 | #Constraints: 54375
2196.78/2203.06 c #Conflicts: 1273000 | #Constraints: 55375
2196.78/2203.06 c #Conflicts: 1274000 | #Constraints: 56375
2196.78/2203.06 c #Conflicts: 1275000 | #Constraints: 57375
2196.78/2203.06 c #Conflicts: 1276000 | #Constraints: 58375
2196.78/2203.06 c #Conflicts: 1277000 | #Constraints: 59375
2196.78/2203.06 c #Conflicts: 1278000 | #Constraints: 60375
2196.78/2203.06 c INPROCESSING
2196.78/2203.06 c GARBAGE COLLECT
2196.78/2203.06 c #Conflicts: 1279000 | #Constraints: 34699
2196.78/2203.06 c #Conflicts: 1280000 | #Constraints: 35699
2196.78/2203.06 c #Conflicts: 1281000 | #Constraints: 36699
2196.78/2203.06 c #Conflicts: 1282000 | #Constraints: 37699
2196.78/2203.06 c #Conflicts: 1283000 | #Constraints: 38699
2196.78/2203.06 c #Conflicts: 1284000 | #Constraints: 39699
2196.78/2203.06 c #Conflicts: 1285000 | #Constraints: 40699
2196.78/2203.06 c #Conflicts: 1286000 | #Constraints: 41699
2196.78/2203.06 c #Conflicts: 1287000 | #Constraints: 42699
2196.78/2203.06 c #Conflicts: 1288000 | #Constraints: 43699
2196.78/2203.06 c #Conflicts: 1289000 | #Constraints: 44699
2196.78/2203.06 c #Conflicts: 1290000 | #Constraints: 45699
2196.78/2203.06 c #Conflicts: 1291000 | #Constraints: 46699
2196.78/2203.06 c #Conflicts: 1292000 | #Constraints: 47699
2196.78/2203.06 c #Conflicts: 1293000 | #Constraints: 48699
2196.78/2203.06 c #Conflicts: 1294000 | #Constraints: 49699
2196.78/2203.06 c #Conflicts: 1295000 | #Constraints: 50699
2196.78/2203.06 c #Conflicts: 1296000 | #Constraints: 51699
2196.78/2203.06 c #Conflicts: 1297000 | #Constraints: 52699
2196.78/2203.06 c #Conflicts: 1298000 | #Constraints: 53699
2196.78/2203.06 c #Conflicts: 1299000 | #Constraints: 54699
2196.78/2203.06 c #Conflicts: 1300000 | #Constraints: 55699
2196.78/2203.06 c #Conflicts: 1301000 | #Constraints: 56699
2196.78/2203.06 c #Conflicts: 1302000 | #Constraints: 57699
2196.78/2203.06 c #Conflicts: 1303000 | #Constraints: 58699
2196.78/2203.06 c INPROCESSING
2196.78/2203.06 c GARBAGE COLLECT
2196.78/2203.06 c rational objective 90
2410.34/2417.22 c #Conflicts: 1304000 | #Constraints: 33802
2410.34/2417.22 c #Conflicts: 1305000 | #Constraints: 34802
2410.34/2417.22 c #Conflicts: 1306000 | #Constraints: 35802
2410.34/2417.22 c #Conflicts: 1307000 | #Constraints: 36802
2410.34/2417.22 c #Conflicts: 1308000 | #Constraints: 37802
2410.34/2417.22 c #Conflicts: 1309000 | #Constraints: 38802
2410.34/2417.22 c #Conflicts: 1310000 | #Constraints: 39802
2410.34/2417.22 c #Conflicts: 1311000 | #Constraints: 40802
2410.34/2417.22 c #Conflicts: 1312000 | #Constraints: 41802
2410.34/2417.22 c #Conflicts: 1313000 | #Constraints: 42802
2410.34/2417.22 c #Conflicts: 1314000 | #Constraints: 43802
2410.34/2417.22 c #Conflicts: 1315000 | #Constraints: 44802
2410.34/2417.22 c #Conflicts: 1316000 | #Constraints: 45802
2410.34/2417.22 c #Conflicts: 1317000 | #Constraints: 46802
2410.34/2417.22 c #Conflicts: 1318000 | #Constraints: 47802
2410.34/2417.22 c #Conflicts: 1319000 | #Constraints: 48802
2410.34/2417.22 c #Conflicts: 1320000 | #Constraints: 49802
2410.34/2417.22 c #Conflicts: 1321000 | #Constraints: 50802
2410.34/2417.22 c #Conflicts: 1322000 | #Constraints: 51802
2410.34/2417.22 c #Conflicts: 1323000 | #Constraints: 52802
2410.34/2417.22 c #Conflicts: 1324000 | #Constraints: 53802
2410.34/2417.22 c #Conflicts: 1325000 | #Constraints: 54802
2410.34/2417.22 c #Conflicts: 1326000 | #Constraints: 55802
2410.34/2417.22 c #Conflicts: 1327000 | #Constraints: 56802
2410.34/2417.22 c #Conflicts: 1328000 | #Constraints: 57802
2410.34/2417.22 c #Conflicts: 1329000 | #Constraints: 58803
2410.34/2417.22 c #Conflicts: 1330000 | #Constraints: 59803
2410.34/2417.22 c #Conflicts: 1331000 | #Constraints: 60803
2410.34/2417.22 c #Conflicts: 1332000 | #Constraints: 61803
2410.34/2417.22 c #Conflicts: 1333000 | #Constraints: 62803
2410.34/2417.22 c #Conflicts: 1334000 | #Constraints: 63803
2410.34/2417.22 c #Conflicts: 1335000 | #Constraints: 64803
2410.34/2417.22 c #Conflicts: 1336000 | #Constraints: 65803
2410.34/2417.22 c #Conflicts: 1337000 | #Constraints: 66803
2410.34/2417.22 c #Conflicts: 1338000 | #Constraints: 67803
2410.34/2417.22 c #Conflicts: 1339000 | #Constraints: 68803
2410.34/2417.22 c #Conflicts: 1340000 | #Constraints: 69803
2410.34/2417.22 c #Conflicts: 1341000 | #Constraints: 70803
2410.34/2417.22 c #Conflicts: 1342000 | #Constraints: 71803
2410.34/2417.22 c #Conflicts: 1343000 | #Constraints: 72803
2410.34/2417.22 c #Conflicts: 1344000 | #Constraints: 73803
2410.34/2417.22 c #Conflicts: 1345000 | #Constraints: 74803
2410.34/2417.22 c #Conflicts: 1346000 | #Constraints: 75803
2410.34/2417.22 c #Conflicts: 1347000 | #Constraints: 76803
2410.34/2417.22 c #Conflicts: 1348000 | #Constraints: 77803
2410.34/2417.22 c #Conflicts: 1349000 | #Constraints: 78803
2410.34/2417.22 c #Conflicts: 1350000 | #Constraints: 79803
2410.34/2417.22 c #Conflicts: 1351000 | #Constraints: 80803
2410.34/2417.22 c #Conflicts: 1352000 | #Constraints: 81803
2410.34/2417.22 c #Conflicts: 1353000 | #Constraints: 82803
2410.34/2417.22 c #Conflicts: 1354000 | #Constraints: 83803
2410.34/2417.22 c #Conflicts: 1355000 | #Constraints: 84803
2410.34/2417.22 c #Conflicts: 1356000 | #Constraints: 85803
2410.34/2417.22 c #Conflicts: 1357000 | #Constraints: 86803
2410.34/2417.22 c #Conflicts: 1358000 | #Constraints: 87803
2410.34/2417.22 c #Conflicts: 1359000 | #Constraints: 88803
2410.34/2417.22 c #Conflicts: 1360000 | #Constraints: 89803
2410.34/2417.22 c #Conflicts: 1361000 | #Constraints: 90803
2410.34/2417.22 c #Conflicts: 1362000 | #Constraints: 91803
2410.34/2417.22 c #Conflicts: 1363000 | #Constraints: 92803
2410.34/2417.22 c #Conflicts: 1364000 | #Constraints: 93803
2410.34/2417.22 c #Conflicts: 1365000 | #Constraints: 94803
2410.34/2417.22 c #Conflicts: 1366000 | #Constraints: 95803
2410.34/2417.22 c #Conflicts: 1367000 | #Constraints: 96803
2410.34/2417.22 c #Conflicts: 1368000 | #Constraints: 97803
2410.34/2417.22 c #Conflicts: 1369000 | #Constraints: 98803
2410.34/2417.22 c #Conflicts: 1370000 | #Constraints: 99803
2410.34/2417.22 c #Conflicts: 1371000 | #Constraints: 100803
2410.34/2417.22 c #Conflicts: 1372000 | #Constraints: 101803
2410.34/2417.22 c #Conflicts: 1373000 | #Constraints: 102803
2410.34/2417.22 c #Conflicts: 1374000 | #Constraints: 103803
2410.34/2417.22 c #Conflicts: 1375000 | #Constraints: 104803
2410.34/2417.22 c #Conflicts: 1376000 | #Constraints: 105803
2410.34/2417.22 c #Conflicts: 1377000 | #Constraints: 106803
2410.34/2417.22 c #Conflicts: 1378000 | #Constraints: 107803
2410.34/2417.22 c #Conflicts: 1379000 | #Constraints: 108803
2410.34/2417.22 c #Conflicts: 1380000 | #Constraints: 109803
2410.34/2417.22 c #Conflicts: 1381000 | #Constraints: 110803
2410.34/2417.22 c #Conflicts: 1382000 | #Constraints: 111803
2468.76/2475.83 c #Conflicts: 1383000 | #Constraints: 112803
2468.76/2475.83 c #Conflicts: 1384000 | #Constraints: 113803
2468.76/2475.83 c #Conflicts: 1385000 | #Constraints: 114803
2468.76/2475.83 c #Conflicts: 1386000 | #Constraints: 115803
2468.76/2475.83 c #Conflicts: 1387000 | #Constraints: 116803
2468.76/2475.83 c #Conflicts: 1388000 | #Constraints: 117803
2468.76/2475.83 c #Conflicts: 1389000 | #Constraints: 118803
2468.76/2475.83 c #Conflicts: 1390000 | #Constraints: 119803
2468.76/2475.83 c #Conflicts: 1391000 | #Constraints: 120803
2468.76/2475.83 c #Conflicts: 1392000 | #Constraints: 121803
2468.76/2475.83 c #Conflicts: 1393000 | #Constraints: 122803
2468.76/2475.83 c #Conflicts: 1394000 | #Constraints: 123803
2468.76/2475.83 c INPROCESSING
2468.76/2475.83 c GARBAGE COLLECT
2468.76/2475.83 c rational objective 90
2543.74/2551.00 c #Conflicts: 1395000 | #Constraints: 66315
2543.74/2551.00 c #Conflicts: 1396000 | #Constraints: 67315
2543.74/2551.00 c #Conflicts: 1397000 | #Constraints: 68315
2543.74/2551.00 c #Conflicts: 1398000 | #Constraints: 69315
2543.74/2551.00 c #Conflicts: 1399000 | #Constraints: 70315
2543.74/2551.00 c #Conflicts: 1400000 | #Constraints: 71315
2543.74/2551.00 c #Conflicts: 1401000 | #Constraints: 72315
2543.74/2551.00 c #Conflicts: 1402000 | #Constraints: 73315
2543.74/2551.00 c #Conflicts: 1403000 | #Constraints: 74315
2543.74/2551.00 c #Conflicts: 1404000 | #Constraints: 75315
2543.74/2551.00 c #Conflicts: 1405000 | #Constraints: 76315
2543.74/2551.00 c #Conflicts: 1406000 | #Constraints: 77315
2543.74/2551.00 c #Conflicts: 1407000 | #Constraints: 78315
2543.74/2551.00 c #Conflicts: 1408000 | #Constraints: 79315
2543.74/2551.00 c #Conflicts: 1409000 | #Constraints: 80315
2543.74/2551.00 c #Conflicts: 1410000 | #Constraints: 81315
2543.74/2551.00 c #Conflicts: 1411000 | #Constraints: 82315
2543.74/2551.00 c #Conflicts: 1412000 | #Constraints: 83315
2543.74/2551.00 c #Conflicts: 1413000 | #Constraints: 84315
2543.74/2551.00 c #Conflicts: 1414000 | #Constraints: 85315
2543.74/2551.00 c #Conflicts: 1415000 | #Constraints: 86315
2543.74/2551.00 c #Conflicts: 1416000 | #Constraints: 87315
2543.74/2551.00 c #Conflicts: 1417000 | #Constraints: 88315
2543.74/2551.00 c #Conflicts: 1418000 | #Constraints: 89315
2543.74/2551.00 c #Conflicts: 1419000 | #Constraints: 90315
2543.74/2551.00 c #Conflicts: 1420000 | #Constraints: 91315
2543.74/2551.00 c INPROCESSING
2543.74/2551.00 c GARBAGE COLLECT
2543.74/2551.00 c rational objective 90
2684.71/2692.45 c #Conflicts: 1421000 | #Constraints: 49882
2684.71/2692.45 c #Conflicts: 1422000 | #Constraints: 50882
2684.71/2692.45 c #Conflicts: 1423000 | #Constraints: 51882
2684.71/2692.45 c #Conflicts: 1424000 | #Constraints: 52882
2684.71/2692.45 c #Conflicts: 1425000 | #Constraints: 53882
2684.71/2692.45 c #Conflicts: 1426000 | #Constraints: 54882
2684.71/2692.45 c #Conflicts: 1427000 | #Constraints: 55882
2684.71/2692.45 c #Conflicts: 1428000 | #Constraints: 56882
2684.71/2692.45 c #Conflicts: 1429000 | #Constraints: 57882
2684.71/2692.45 c #Conflicts: 1430000 | #Constraints: 58882
2684.71/2692.45 c #Conflicts: 1431000 | #Constraints: 59882
2684.71/2692.45 c #Conflicts: 1432000 | #Constraints: 60882
2684.71/2692.45 c #Conflicts: 1433000 | #Constraints: 61882
2684.71/2692.45 c #Conflicts: 1434000 | #Constraints: 62882
2684.71/2692.45 c #Conflicts: 1435000 | #Constraints: 63882
2684.71/2692.45 c #Conflicts: 1436000 | #Constraints: 64882
2684.71/2692.45 c #Conflicts: 1437000 | #Constraints: 65882
2684.71/2692.45 c #Conflicts: 1438000 | #Constraints: 66882
2684.71/2692.45 c #Conflicts: 1439000 | #Constraints: 67882
2684.71/2692.45 c #Conflicts: 1440000 | #Constraints: 68882
2684.71/2692.45 c #Conflicts: 1441000 | #Constraints: 69882
2684.71/2692.45 c #Conflicts: 1442000 | #Constraints: 70882
2684.71/2692.45 c #Conflicts: 1443000 | #Constraints: 71882
2684.71/2692.45 c #Conflicts: 1444000 | #Constraints: 72882
2684.71/2692.45 c #Conflicts: 1445000 | #Constraints: 73882
2684.71/2692.45 c #Conflicts: 1446000 | #Constraints: 74882
2684.71/2692.45 c #Conflicts: 1447000 | #Constraints: 75882
2684.71/2692.45 c INPROCESSING
2684.71/2692.45 c GARBAGE COLLECT
2684.71/2692.45 c #Conflicts: 1448000 | #Constraints: 42240
2684.71/2692.45 c #Conflicts: 1449000 | #Constraints: 43240
2684.71/2692.45 c #Conflicts: 1450000 | #Constraints: 44240
2684.71/2692.45 c #Conflicts: 1451000 | #Constraints: 45240
2684.71/2692.45 c #Conflicts: 1452000 | #Constraints: 46240
2684.71/2692.45 c #Conflicts: 1453000 | #Constraints: 47240
2684.71/2692.45 c #Conflicts: 1454000 | #Constraints: 48240
2684.71/2692.45 c #Conflicts: 1455000 | #Constraints: 49240
2684.71/2692.45 c #Conflicts: 1456000 | #Constraints: 50240
2684.71/2692.45 c #Conflicts: 1457000 | #Constraints: 51240
2684.71/2692.45 c #Conflicts: 1458000 | #Constraints: 52240
2684.71/2692.45 c #Conflicts: 1459000 | #Constraints: 53240
2684.71/2692.45 c #Conflicts: 1460000 | #Constraints: 54240
2684.71/2692.45 c #Conflicts: 1461000 | #Constraints: 55240
2684.71/2692.45 c #Conflicts: 1462000 | #Constraints: 56240
2684.71/2692.45 c #Conflicts: 1463000 | #Constraints: 57240
2684.71/2692.45 c #Conflicts: 1464000 | #Constraints: 58240
2684.71/2692.45 c #Conflicts: 1465000 | #Constraints: 59240
2684.71/2692.45 c #Conflicts: 1466000 | #Constraints: 60240
2684.71/2692.45 c #Conflicts: 1467000 | #Constraints: 61240
2684.71/2692.45 c #Conflicts: 1468000 | #Constraints: 62240
2684.71/2692.45 c #Conflicts: 1469000 | #Constraints: 63240
2684.71/2692.45 c #Conflicts: 1470000 | #Constraints: 64240
2684.71/2692.45 c #Conflicts: 1471000 | #Constraints: 65240
2684.71/2692.45 c #Conflicts: 1472000 | #Constraints: 66240
2684.71/2692.45 c #Conflicts: 1473000 | #Constraints: 67240
2684.71/2692.45 c #Conflicts: 1474000 | #Constraints: 68240
2684.71/2692.45 c INPROCESSING
2684.71/2692.45 c GARBAGE COLLECT
2684.71/2692.45 c #Conflicts: 1475000 | #Constraints: 38490
2684.71/2692.45 c #Conflicts: 1476000 | #Constraints: 39490
2684.71/2692.45 c #Conflicts: 1477000 | #Constraints: 40490
2684.71/2692.45 c #Conflicts: 1478000 | #Constraints: 41490
2684.71/2692.45 c #Conflicts: 1479000 | #Constraints: 42490
2684.71/2692.45 c #Conflicts: 1480000 | #Constraints: 43490
2684.71/2692.45 c #Conflicts: 1481000 | #Constraints: 44490
2684.71/2692.45 c #Conflicts: 1482000 | #Constraints: 45490
2684.71/2692.45 c #Conflicts: 1483000 | #Constraints: 46490
2684.71/2692.45 c #Conflicts: 1484000 | #Constraints: 47490
2684.71/2692.45 c #Conflicts: 1485000 | #Constraints: 48490
2684.71/2692.45 c #Conflicts: 1486000 | #Constraints: 49490
2684.71/2692.45 c #Conflicts: 1487000 | #Constraints: 50490
2684.71/2692.45 c #Conflicts: 1488000 | #Constraints: 51490
2684.71/2692.45 c #Conflicts: 1489000 | #Constraints: 52490
2684.71/2692.45 c #Conflicts: 1490000 | #Constraints: 53490
2684.71/2692.45 c #Conflicts: 1491000 | #Constraints: 54490
2684.71/2692.45 c #Conflicts: 1492000 | #Constraints: 55490
2684.71/2692.45 c #Conflicts: 1493000 | #Constraints: 56490
2684.71/2692.45 c #Conflicts: 1494000 | #Constraints: 57490
2684.71/2692.45 c #Conflicts: 1495000 | #Constraints: 58490
2684.71/2692.45 c #Conflicts: 1496000 | #Constraints: 59490
2684.71/2692.45 c #Conflicts: 1497000 | #Constraints: 60490
2684.71/2692.45 c #Conflicts: 1498000 | #Constraints: 61490
2692.29/2700.08 c #Conflicts: 1499000 | #Constraints: 62490
2692.29/2700.08 c #Conflicts: 1500000 | #Constraints: 63490
2692.29/2700.08 c #Conflicts: 1501000 | #Constraints: 64490
2692.29/2700.08 c INPROCESSING
2692.29/2700.08 c GARBAGE COLLECT
2692.29/2700.08 c rational objective 90
2737.85/2745.73 c #Conflicts: 1502000 | #Constraints: 36543
2737.85/2745.73 c #Conflicts: 1503000 | #Constraints: 37543
2737.85/2745.73 c #Conflicts: 1504000 | #Constraints: 38543
2737.85/2745.73 c #Conflicts: 1505000 | #Constraints: 39543
2737.85/2745.73 c #Conflicts: 1506000 | #Constraints: 40543
2737.85/2745.73 c #Conflicts: 1507000 | #Constraints: 41543
2737.85/2745.73 c #Conflicts: 1508000 | #Constraints: 42543
2737.85/2745.73 c #Conflicts: 1509000 | #Constraints: 43543
2737.85/2745.73 c #Conflicts: 1510000 | #Constraints: 44543
2737.85/2745.73 c #Conflicts: 1511000 | #Constraints: 45543
2737.85/2745.73 c #Conflicts: 1512000 | #Constraints: 46543
2737.85/2745.73 c #Conflicts: 1513000 | #Constraints: 47543
2737.85/2745.73 c #Conflicts: 1514000 | #Constraints: 48543
2737.85/2745.73 c #Conflicts: 1515000 | #Constraints: 49543
2737.85/2745.73 c #Conflicts: 1516000 | #Constraints: 50543
2737.85/2745.73 c #Conflicts: 1517000 | #Constraints: 51543
2737.85/2745.73 c #Conflicts: 1518000 | #Constraints: 52543
2737.85/2745.73 c #Conflicts: 1519000 | #Constraints: 53543
2737.85/2745.73 c #Conflicts: 1520000 | #Constraints: 54543
2737.85/2745.73 c #Conflicts: 1521000 | #Constraints: 55543
2737.85/2745.73 c #Conflicts: 1522000 | #Constraints: 56543
2737.85/2745.73 c #Conflicts: 1523000 | #Constraints: 57543
2737.85/2745.73 c #Conflicts: 1524000 | #Constraints: 58543
2737.85/2745.73 c #Conflicts: 1525000 | #Constraints: 59543
2737.85/2745.73 c #Conflicts: 1526000 | #Constraints: 60543
2737.85/2745.73 c #Conflicts: 1527000 | #Constraints: 61543
2737.85/2745.73 c #Conflicts: 1528000 | #Constraints: 62543
2737.85/2745.73 c INPROCESSING
2737.85/2745.73 c GARBAGE COLLECT
2737.85/2745.73 c rational objective 90
2916.07/2924.41 c #Conflicts: 1529000 | #Constraints: 35327
2916.07/2924.41 c #Conflicts: 1530000 | #Constraints: 36327
2916.07/2924.41 c #Conflicts: 1531000 | #Constraints: 37327
2916.07/2924.41 c #Conflicts: 1532000 | #Constraints: 38327
2916.07/2924.41 c #Conflicts: 1533000 | #Constraints: 39327
2916.07/2924.41 c #Conflicts: 1534000 | #Constraints: 40327
2916.07/2924.41 c #Conflicts: 1535000 | #Constraints: 41327
2916.07/2924.41 c #Conflicts: 1536000 | #Constraints: 42327
2916.07/2924.41 c #Conflicts: 1537000 | #Constraints: 43327
2916.07/2924.41 c #Conflicts: 1538000 | #Constraints: 44327
2916.07/2924.41 c #Conflicts: 1539000 | #Constraints: 45327
2916.07/2924.41 c #Conflicts: 1540000 | #Constraints: 46327
2916.07/2924.41 c #Conflicts: 1541000 | #Constraints: 47327
2916.07/2924.41 c #Conflicts: 1542000 | #Constraints: 48327
2916.07/2924.41 c #Conflicts: 1543000 | #Constraints: 49327
2916.07/2924.41 c #Conflicts: 1544000 | #Constraints: 50327
2916.07/2924.41 c #Conflicts: 1545000 | #Constraints: 51327
2916.07/2924.41 c #Conflicts: 1546000 | #Constraints: 52327
2916.07/2924.41 c #Conflicts: 1547000 | #Constraints: 53327
2916.07/2924.41 c #Conflicts: 1548000 | #Constraints: 54327
2916.07/2924.41 c #Conflicts: 1549000 | #Constraints: 55327
2916.07/2924.41 c #Conflicts: 1550000 | #Constraints: 56327
2916.07/2924.41 c #Conflicts: 1551000 | #Constraints: 57327
2916.07/2924.41 c #Conflicts: 1552000 | #Constraints: 58327
2916.07/2924.41 c #Conflicts: 1553000 | #Constraints: 59327
2916.07/2924.41 c #Conflicts: 1554000 | #Constraints: 60327
2916.07/2924.41 c #Conflicts: 1555000 | #Constraints: 61327
2916.07/2924.41 c #Conflicts: 1556000 | #Constraints: 62327
2916.07/2924.41 c #Conflicts: 1557000 | #Constraints: 63327
2916.07/2924.41 c #Conflicts: 1558000 | #Constraints: 64327
2916.07/2924.41 c #Conflicts: 1559000 | #Constraints: 65327
2916.07/2924.41 c #Conflicts: 1560000 | #Constraints: 66327
2916.07/2924.41 c #Conflicts: 1561000 | #Constraints: 67327
2916.07/2924.41 c #Conflicts: 1562000 | #Constraints: 68327
2916.07/2924.41 c #Conflicts: 1563000 | #Constraints: 69327
2916.07/2924.41 c #Conflicts: 1564000 | #Constraints: 70327
2916.07/2924.41 c #Conflicts: 1565000 | #Constraints: 71327
2916.07/2924.41 c #Conflicts: 1566000 | #Constraints: 72327
2916.07/2924.41 c #Conflicts: 1567000 | #Constraints: 73328
2916.07/2924.41 c #Conflicts: 1568000 | #Constraints: 74328
2916.07/2924.41 c #Conflicts: 1569000 | #Constraints: 75328
2916.07/2924.41 c #Conflicts: 1570000 | #Constraints: 76328
2916.07/2924.41 c #Conflicts: 1571000 | #Constraints: 77328
2916.07/2924.41 c #Conflicts: 1572000 | #Constraints: 78328
2916.07/2924.41 c #Conflicts: 1573000 | #Constraints: 79328
2916.07/2924.41 c #Conflicts: 1574000 | #Constraints: 80328
2916.07/2924.41 c #Conflicts: 1575000 | #Constraints: 81328
2916.07/2924.41 c #Conflicts: 1576000 | #Constraints: 82328
2916.07/2924.41 c #Conflicts: 1577000 | #Constraints: 83328
2916.07/2924.41 c #Conflicts: 1578000 | #Constraints: 84328
2916.07/2924.41 c #Conflicts: 1579000 | #Constraints: 85328
2916.07/2924.41 c #Conflicts: 1580000 | #Constraints: 86328
2916.07/2924.41 c #Conflicts: 1581000 | #Constraints: 87328
2916.07/2924.41 c #Conflicts: 1582000 | #Constraints: 88328
2916.07/2924.41 c #Conflicts: 1583000 | #Constraints: 89328
2916.07/2924.41 c #Conflicts: 1584000 | #Constraints: 90328
2916.07/2924.41 c #Conflicts: 1585000 | #Constraints: 91328
2916.07/2924.41 c #Conflicts: 1586000 | #Constraints: 92328
2916.07/2924.41 c #Conflicts: 1587000 | #Constraints: 93328
2916.07/2924.41 c #Conflicts: 1588000 | #Constraints: 94328
2916.07/2924.41 c #Conflicts: 1589000 | #Constraints: 95328
2916.07/2924.41 c #Conflicts: 1590000 | #Constraints: 96328
2916.07/2924.41 c #Conflicts: 1591000 | #Constraints: 97328
2916.07/2924.41 c #Conflicts: 1592000 | #Constraints: 98328
2916.07/2924.41 c #Conflicts: 1593000 | #Constraints: 99328
2916.07/2924.41 c #Conflicts: 1594000 | #Constraints: 100328
2916.07/2924.41 c #Conflicts: 1595000 | #Constraints: 101328
2916.07/2924.41 c #Conflicts: 1596000 | #Constraints: 102328
2916.07/2924.41 c #Conflicts: 1597000 | #Constraints: 103329
2916.07/2924.41 c #Conflicts: 1598000 | #Constraints: 104329
2916.07/2924.41 c #Conflicts: 1599000 | #Constraints: 105329
2916.07/2924.41 c #Conflicts: 1600000 | #Constraints: 106329
2916.07/2924.41 c #Conflicts: 1601000 | #Constraints: 107329
2916.07/2924.41 c #Conflicts: 1602000 | #Constraints: 108329
2916.07/2924.41 c #Conflicts: 1603000 | #Constraints: 109329
2916.07/2924.41 c #Conflicts: 1604000 | #Constraints: 110329
2916.07/2924.41 c #Conflicts: 1605000 | #Constraints: 111329
2916.07/2924.41 c #Conflicts: 1606000 | #Constraints: 112329
2916.07/2924.41 c #Conflicts: 1607000 | #Constraints: 113329
2990.28/2998.87 c #Conflicts: 1608000 | #Constraints: 114329
2990.28/2998.87 c #Conflicts: 1609000 | #Constraints: 115329
2990.28/2998.87 c #Conflicts: 1610000 | #Constraints: 116329
2990.28/2998.87 c #Conflicts: 1611000 | #Constraints: 117329
2990.28/2998.87 c #Conflicts: 1612000 | #Constraints: 118329
2990.28/2998.87 c #Conflicts: 1613000 | #Constraints: 119329
2990.28/2998.87 c #Conflicts: 1614000 | #Constraints: 120329
2990.28/2998.87 c #Conflicts: 1615000 | #Constraints: 121329
2990.28/2998.87 c #Conflicts: 1616000 | #Constraints: 122329
2990.28/2998.87 c #Conflicts: 1617000 | #Constraints: 123329
2990.28/2998.87 c #Conflicts: 1618000 | #Constraints: 124329
2990.28/2998.87 c #Conflicts: 1619000 | #Constraints: 125329
2990.28/2998.87 c #Conflicts: 1620000 | #Constraints: 126329
2990.28/2998.87 c #Conflicts: 1621000 | #Constraints: 127329
2990.28/2998.87 c #Conflicts: 1622000 | #Constraints: 128329
2990.28/2998.87 c #Conflicts: 1623000 | #Constraints: 129329
2990.28/2998.87 c #Conflicts: 1624000 | #Constraints: 130329
2990.28/2998.87 c #Conflicts: 1625000 | #Constraints: 131329
2990.28/2998.87 c #Conflicts: 1626000 | #Constraints: 132329
2990.28/2998.87 c #Conflicts: 1627000 | #Constraints: 133329
2990.28/2998.87 c INPROCESSING
2990.28/2998.87 c GARBAGE COLLECT
2990.28/2998.87 c rational objective 90
3067.69/3076.49 c #Conflicts: 1628000 | #Constraints: 71081
3067.69/3076.49 c #Conflicts: 1629000 | #Constraints: 72081
3067.69/3076.49 c #Conflicts: 1630000 | #Constraints: 73081
3067.69/3076.49 c #Conflicts: 1631000 | #Constraints: 74081
3067.69/3076.49 c #Conflicts: 1632000 | #Constraints: 75081
3067.69/3076.49 c #Conflicts: 1633000 | #Constraints: 76081
3067.69/3076.49 c #Conflicts: 1634000 | #Constraints: 77081
3067.69/3076.49 c #Conflicts: 1635000 | #Constraints: 78081
3067.69/3076.49 c #Conflicts: 1636000 | #Constraints: 79081
3067.69/3076.49 c #Conflicts: 1637000 | #Constraints: 80081
3067.69/3076.49 c #Conflicts: 1638000 | #Constraints: 81081
3067.69/3076.49 c #Conflicts: 1639000 | #Constraints: 82081
3067.69/3076.49 c #Conflicts: 1640000 | #Constraints: 83081
3067.69/3076.49 c #Conflicts: 1641000 | #Constraints: 84081
3067.69/3076.49 c #Conflicts: 1642000 | #Constraints: 85081
3067.69/3076.49 c #Conflicts: 1643000 | #Constraints: 86081
3067.69/3076.49 c #Conflicts: 1644000 | #Constraints: 87081
3067.69/3076.49 c #Conflicts: 1645000 | #Constraints: 88081
3067.69/3076.49 c #Conflicts: 1646000 | #Constraints: 89081
3067.69/3076.49 c #Conflicts: 1647000 | #Constraints: 90081
3067.69/3076.49 c #Conflicts: 1648000 | #Constraints: 91081
3067.69/3076.49 c #Conflicts: 1649000 | #Constraints: 92081
3067.69/3076.49 c #Conflicts: 1650000 | #Constraints: 93081
3067.69/3076.49 c #Conflicts: 1651000 | #Constraints: 94081
3067.69/3076.49 c #Conflicts: 1652000 | #Constraints: 95081
3067.69/3076.49 c #Conflicts: 1653000 | #Constraints: 96081
3067.69/3076.49 c #Conflicts: 1654000 | #Constraints: 97081
3067.69/3076.49 c #Conflicts: 1655000 | #Constraints: 98081
3067.69/3076.49 c #Conflicts: 1656000 | #Constraints: 99081
3067.69/3076.49 c INPROCESSING
3067.69/3076.49 c GARBAGE COLLECT
3067.69/3076.49 c rational objective 90
3130.84/3139.78 c #Conflicts: 1657000 | #Constraints: 54134
3130.84/3139.78 c #Conflicts: 1658000 | #Constraints: 55134
3130.84/3139.78 c #Conflicts: 1659000 | #Constraints: 56134
3130.84/3139.78 c #Conflicts: 1660000 | #Constraints: 57134
3130.84/3139.78 c #Conflicts: 1661000 | #Constraints: 58134
3130.84/3139.78 c #Conflicts: 1662000 | #Constraints: 59134
3130.84/3139.78 c #Conflicts: 1663000 | #Constraints: 60134
3130.84/3139.78 c #Conflicts: 1664000 | #Constraints: 61134
3130.84/3139.78 c #Conflicts: 1665000 | #Constraints: 62134
3130.84/3139.78 c #Conflicts: 1666000 | #Constraints: 63134
3130.84/3139.78 c #Conflicts: 1667000 | #Constraints: 64134
3130.84/3139.78 c #Conflicts: 1668000 | #Constraints: 65134
3130.84/3139.78 c #Conflicts: 1669000 | #Constraints: 66134
3130.84/3139.78 c #Conflicts: 1670000 | #Constraints: 67134
3130.84/3139.78 c #Conflicts: 1671000 | #Constraints: 68134
3130.84/3139.78 c #Conflicts: 1672000 | #Constraints: 69134
3130.84/3139.78 c #Conflicts: 1673000 | #Constraints: 70134
3130.84/3139.78 c #Conflicts: 1674000 | #Constraints: 71134
3130.84/3139.78 c #Conflicts: 1675000 | #Constraints: 72134
3130.84/3139.78 c #Conflicts: 1676000 | #Constraints: 73134
3130.84/3139.78 c #Conflicts: 1677000 | #Constraints: 74134
3130.84/3139.78 c #Conflicts: 1678000 | #Constraints: 75134
3130.84/3139.78 c #Conflicts: 1679000 | #Constraints: 76134
3130.84/3139.78 c #Conflicts: 1680000 | #Constraints: 77134
3130.84/3139.78 c #Conflicts: 1681000 | #Constraints: 78134
3130.84/3139.78 c #Conflicts: 1682000 | #Constraints: 79134
3130.84/3139.78 c #Conflicts: 1683000 | #Constraints: 80134
3130.84/3139.78 c #Conflicts: 1684000 | #Constraints: 81134
3130.84/3139.78 c INPROCESSING
3130.84/3139.78 c GARBAGE COLLECT
3130.84/3139.78 c rational objective 90
3272.58/3281.82 c #Conflicts: 1685000 | #Constraints: 44705
3272.58/3281.82 c #Conflicts: 1686000 | #Constraints: 45705
3272.58/3281.82 c #Conflicts: 1687000 | #Constraints: 46705
3272.58/3281.82 c #Conflicts: 1688000 | #Constraints: 47705
3272.58/3281.82 c #Conflicts: 1689000 | #Constraints: 48705
3272.58/3281.82 c #Conflicts: 1690000 | #Constraints: 49705
3272.58/3281.82 c #Conflicts: 1691000 | #Constraints: 50705
3272.58/3281.82 c #Conflicts: 1692000 | #Constraints: 51705
3272.58/3281.82 c #Conflicts: 1693000 | #Constraints: 52705
3272.58/3281.82 c #Conflicts: 1694000 | #Constraints: 53705
3272.58/3281.82 c #Conflicts: 1695000 | #Constraints: 54705
3272.58/3281.82 c #Conflicts: 1696000 | #Constraints: 55705
3272.58/3281.82 c #Conflicts: 1697000 | #Constraints: 56705
3272.58/3281.82 c #Conflicts: 1698000 | #Constraints: 57705
3272.58/3281.82 c #Conflicts: 1699000 | #Constraints: 58705
3272.58/3281.82 c #Conflicts: 1700000 | #Constraints: 59705
3272.58/3281.82 c #Conflicts: 1701000 | #Constraints: 60705
3272.58/3281.82 c #Conflicts: 1702000 | #Constraints: 61705
3272.58/3281.82 c #Conflicts: 1703000 | #Constraints: 62705
3272.58/3281.82 c #Conflicts: 1704000 | #Constraints: 63705
3272.58/3281.82 c #Conflicts: 1705000 | #Constraints: 64705
3272.58/3281.82 c #Conflicts: 1706000 | #Constraints: 65705
3272.58/3281.82 c #Conflicts: 1707000 | #Constraints: 66705
3272.58/3281.82 c #Conflicts: 1708000 | #Constraints: 67705
3272.58/3281.82 c #Conflicts: 1709000 | #Constraints: 68705
3272.58/3281.82 c #Conflicts: 1710000 | #Constraints: 69705
3272.58/3281.82 c #Conflicts: 1711000 | #Constraints: 70705
3272.58/3281.82 c #Conflicts: 1712000 | #Constraints: 71705
3272.58/3281.82 c #Conflicts: 1713000 | #Constraints: 72705
3272.58/3281.82 c INPROCESSING
3272.58/3281.82 c GARBAGE COLLECT
3272.58/3281.82 c #Conflicts: 1714000 | #Constraints: 40582
3272.58/3281.82 c #Conflicts: 1715000 | #Constraints: 41582
3272.58/3281.82 c #Conflicts: 1716000 | #Constraints: 42582
3272.58/3281.82 c #Conflicts: 1717000 | #Constraints: 43582
3272.58/3281.82 c #Conflicts: 1718000 | #Constraints: 44582
3272.58/3281.82 c #Conflicts: 1719000 | #Constraints: 45582
3272.58/3281.82 c #Conflicts: 1720000 | #Constraints: 46582
3272.58/3281.82 c #Conflicts: 1721000 | #Constraints: 47582
3272.58/3281.82 c #Conflicts: 1722000 | #Constraints: 48582
3272.58/3281.82 c #Conflicts: 1723000 | #Constraints: 49582
3272.58/3281.82 c #Conflicts: 1724000 | #Constraints: 50582
3272.58/3281.82 c #Conflicts: 1725000 | #Constraints: 51582
3272.58/3281.82 c #Conflicts: 1726000 | #Constraints: 52582
3272.58/3281.82 c #Conflicts: 1727000 | #Constraints: 53582
3272.58/3281.82 c #Conflicts: 1728000 | #Constraints: 54582
3272.58/3281.82 c #Conflicts: 1729000 | #Constraints: 55582
3272.58/3281.82 c #Conflicts: 1730000 | #Constraints: 56582
3272.58/3281.82 c #Conflicts: 1731000 | #Constraints: 57582
3272.58/3281.82 c #Conflicts: 1732000 | #Constraints: 58582
3272.58/3281.82 c #Conflicts: 1733000 | #Constraints: 59582
3272.58/3281.82 c #Conflicts: 1734000 | #Constraints: 60582
3272.58/3281.82 c #Conflicts: 1735000 | #Constraints: 61582
3272.58/3281.82 c #Conflicts: 1736000 | #Constraints: 62582
3272.58/3281.82 c #Conflicts: 1737000 | #Constraints: 63582
3272.58/3281.82 c #Conflicts: 1738000 | #Constraints: 64582
3272.58/3281.82 c #Conflicts: 1739000 | #Constraints: 65582
3272.58/3281.82 c #Conflicts: 1740000 | #Constraints: 66582
3272.58/3281.82 c #Conflicts: 1741000 | #Constraints: 67582
3272.58/3281.82 c #Conflicts: 1742000 | #Constraints: 68582
3272.58/3281.82 c #Conflicts: 1743000 | #Constraints: 69582
3272.58/3281.82 c INPROCESSING
3272.58/3281.82 c GARBAGE COLLECT
3272.58/3281.82 c #Conflicts: 1744000 | #Constraints: 39350
3272.58/3281.82 c #Conflicts: 1745000 | #Constraints: 40350
3272.58/3281.82 c #Conflicts: 1746000 | #Constraints: 41350
3272.58/3281.82 c #Conflicts: 1747000 | #Constraints: 42350
3272.58/3281.82 c #Conflicts: 1748000 | #Constraints: 43350
3272.58/3281.82 c #Conflicts: 1749000 | #Constraints: 44350
3272.58/3281.82 c #Conflicts: 1750000 | #Constraints: 45350
3272.58/3281.82 c #Conflicts: 1751000 | #Constraints: 46350
3272.58/3281.82 c #Conflicts: 1752000 | #Constraints: 47350
3272.58/3281.82 c #Conflicts: 1753000 | #Constraints: 48350
3272.58/3281.82 c #Conflicts: 1754000 | #Constraints: 49350
3272.58/3281.82 c #Conflicts: 1755000 | #Constraints: 50350
3272.58/3281.82 c #Conflicts: 1756000 | #Constraints: 51350
3272.58/3281.82 c #Conflicts: 1757000 | #Constraints: 52350
3272.58/3281.82 c #Conflicts: 1758000 | #Constraints: 53350
3272.58/3281.82 c #Conflicts: 1759000 | #Constraints: 54350
3272.58/3281.82 c #Conflicts: 1760000 | #Constraints: 55350
3272.58/3281.82 c #Conflicts: 1761000 | #Constraints: 56350
3272.58/3281.82 c #Conflicts: 1762000 | #Constraints: 57350
3296.02/3305.31 c #Conflicts: 1763000 | #Constraints: 58350
3296.02/3305.31 c #Conflicts: 1764000 | #Constraints: 59350
3296.02/3305.31 c #Conflicts: 1765000 | #Constraints: 60350
3296.02/3305.31 c #Conflicts: 1766000 | #Constraints: 61350
3296.02/3305.31 c #Conflicts: 1767000 | #Constraints: 62350
3296.02/3305.31 c #Conflicts: 1768000 | #Constraints: 63350
3296.02/3305.31 c #Conflicts: 1769000 | #Constraints: 64350
3296.02/3305.31 c #Conflicts: 1770000 | #Constraints: 65350
3296.02/3305.31 c #Conflicts: 1771000 | #Constraints: 66350
3296.02/3305.31 c #Conflicts: 1772000 | #Constraints: 67350
3296.02/3305.31 c INPROCESSING
3296.02/3305.31 c GARBAGE COLLECT
3296.02/3305.31 c rational objective 90
3508.78/3518.63 c #Conflicts: 1773000 | #Constraints: 38022
3508.78/3518.63 c #Conflicts: 1774000 | #Constraints: 39022
3508.78/3518.63 c #Conflicts: 1775000 | #Constraints: 40022
3508.78/3518.63 c #Conflicts: 1776000 | #Constraints: 41022
3508.78/3518.63 c #Conflicts: 1777000 | #Constraints: 42022
3508.78/3518.63 c #Conflicts: 1778000 | #Constraints: 43022
3508.78/3518.63 c #Conflicts: 1779000 | #Constraints: 44022
3508.78/3518.63 c #Conflicts: 1780000 | #Constraints: 45022
3508.78/3518.63 c #Conflicts: 1781000 | #Constraints: 46022
3508.78/3518.63 c #Conflicts: 1782000 | #Constraints: 47022
3508.78/3518.63 c #Conflicts: 1783000 | #Constraints: 48022
3508.78/3518.63 c #Conflicts: 1784000 | #Constraints: 49022
3508.78/3518.63 c #Conflicts: 1785000 | #Constraints: 50022
3508.78/3518.63 c #Conflicts: 1786000 | #Constraints: 51022
3508.78/3518.63 c #Conflicts: 1787000 | #Constraints: 52022
3508.78/3518.63 c #Conflicts: 1788000 | #Constraints: 53022
3508.78/3518.63 c #Conflicts: 1789000 | #Constraints: 54022
3508.78/3518.63 c #Conflicts: 1790000 | #Constraints: 55022
3508.78/3518.63 c #Conflicts: 1791000 | #Constraints: 56022
3508.78/3518.63 c #Conflicts: 1792000 | #Constraints: 57022
3508.78/3518.63 c #Conflicts: 1793000 | #Constraints: 58022
3508.78/3518.63 c #Conflicts: 1794000 | #Constraints: 59022
3508.78/3518.63 c #Conflicts: 1795000 | #Constraints: 60022
3508.78/3518.63 c #Conflicts: 1796000 | #Constraints: 61022
3508.78/3518.63 c #Conflicts: 1797000 | #Constraints: 62022
3508.78/3518.63 c #Conflicts: 1798000 | #Constraints: 63022
3508.78/3518.63 c #Conflicts: 1799000 | #Constraints: 64022
3508.78/3518.63 c #Conflicts: 1800000 | #Constraints: 65022
3508.78/3518.63 c #Conflicts: 1801000 | #Constraints: 66022
3508.78/3518.63 c #Conflicts: 1802000 | #Constraints: 67022
3508.78/3518.63 c #Conflicts: 1803000 | #Constraints: 68022
3508.78/3518.63 c #Conflicts: 1804000 | #Constraints: 69022
3508.78/3518.63 c #Conflicts: 1805000 | #Constraints: 70022
3508.78/3518.63 c #Conflicts: 1806000 | #Constraints: 71022
3508.78/3518.63 c #Conflicts: 1807000 | #Constraints: 72022
3508.78/3518.63 c #Conflicts: 1808000 | #Constraints: 73022
3508.78/3518.63 c #Conflicts: 1809000 | #Constraints: 74022
3508.78/3518.63 c #Conflicts: 1810000 | #Constraints: 75022
3508.78/3518.63 c #Conflicts: 1811000 | #Constraints: 76022
3508.78/3518.63 c #Conflicts: 1812000 | #Constraints: 77022
3508.78/3518.63 c #Conflicts: 1813000 | #Constraints: 78022
3508.78/3518.63 c #Conflicts: 1814000 | #Constraints: 79022
3508.78/3518.63 c #Conflicts: 1815000 | #Constraints: 80022
3508.78/3518.63 c #Conflicts: 1816000 | #Constraints: 81022
3508.78/3518.63 c #Conflicts: 1817000 | #Constraints: 82022
3508.78/3518.63 c #Conflicts: 1818000 | #Constraints: 83022
3508.78/3518.63 c #Conflicts: 1819000 | #Constraints: 84022
3508.78/3518.63 c #Conflicts: 1820000 | #Constraints: 85022
3508.78/3518.63 c #Conflicts: 1821000 | #Constraints: 86022
3508.78/3518.63 c #Conflicts: 1822000 | #Constraints: 87022
3508.78/3518.63 c #Conflicts: 1823000 | #Constraints: 88022
3508.78/3518.63 c #Conflicts: 1824000 | #Constraints: 89022
3508.78/3518.63 c #Conflicts: 1825000 | #Constraints: 90022
3508.78/3518.63 c #Conflicts: 1826000 | #Constraints: 91022
3508.78/3518.63 c #Conflicts: 1827000 | #Constraints: 92022
3508.78/3518.63 c #Conflicts: 1828000 | #Constraints: 93022
3508.78/3518.63 c #Conflicts: 1829000 | #Constraints: 94022
3508.78/3518.63 c #Conflicts: 1830000 | #Constraints: 95022
3508.78/3518.63 c #Conflicts: 1831000 | #Constraints: 96022
3508.78/3518.63 c #Conflicts: 1832000 | #Constraints: 97022
3508.78/3518.63 c #Conflicts: 1833000 | #Constraints: 98022
3508.78/3518.63 c #Conflicts: 1834000 | #Constraints: 99022
3508.78/3518.63 c #Conflicts: 1835000 | #Constraints: 100022
3508.78/3518.63 c #Conflicts: 1836000 | #Constraints: 101022
3508.78/3518.63 c #Conflicts: 1837000 | #Constraints: 102022
3508.78/3518.63 c #Conflicts: 1838000 | #Constraints: 103022
3508.78/3518.63 c #Conflicts: 1839000 | #Constraints: 104022
3508.78/3518.63 c #Conflicts: 1840000 | #Constraints: 105022
3508.78/3518.63 c #Conflicts: 1841000 | #Constraints: 106022
3508.78/3518.63 c #Conflicts: 1842000 | #Constraints: 107022
3508.78/3518.63 c #Conflicts: 1843000 | #Constraints: 108022
3508.78/3518.63 c #Conflicts: 1844000 | #Constraints: 109022
3508.78/3518.63 c #Conflicts: 1845000 | #Constraints: 110022
3508.78/3518.63 c #Conflicts: 1846000 | #Constraints: 111022
3508.78/3518.63 c #Conflicts: 1847000 | #Constraints: 112022
3508.78/3518.63 c #Conflicts: 1848000 | #Constraints: 113022
3508.78/3518.63 c #Conflicts: 1849000 | #Constraints: 114022
3508.78/3518.63 c #Conflicts: 1850000 | #Constraints: 115022
3508.78/3518.63 c #Conflicts: 1851000 | #Constraints: 116022
3600.06/3610.10 c #Conflicts: 1852000 | #Constraints: 117022
3600.06/3610.10 c #Conflicts: 1853000 | #Constraints: 118022
3600.06/3610.10 c #Conflicts: 1854000 | #Constraints: 119022
3600.06/3610.10 c #Conflicts: 1855000 | #Constraints: 120022
3600.06/3610.10 c #Conflicts: 1856000 | #Constraints: 121022
3600.06/3610.10 c #Conflicts: 1857000 | #Constraints: 122022
3600.06/3610.10 c #Conflicts: 1858000 | #Constraints: 123022
3600.06/3610.10 c #Conflicts: 1859000 | #Constraints: 124022
3600.06/3610.10 c #Conflicts: 1860000 | #Constraints: 125022
3600.06/3610.10 c #Conflicts: 1861000 | #Constraints: 126022
3600.06/3610.10 c #Conflicts: 1862000 | #Constraints: 127022
3600.06/3610.10 c #Conflicts: 1863000 | #Constraints: 128022
3600.06/3610.10 c #Conflicts: 1864000 | #Constraints: 129022
3600.06/3610.10 c #Conflicts: 1865000 | #Constraints: 130022
3600.06/3610.10 c #Conflicts: 1866000 | #Constraints: 131022
3600.06/3610.10 c #Conflicts: 1867000 | #Constraints: 132022
3600.06/3610.10 c #Conflicts: 1868000 | #Constraints: 133022
3600.06/3610.10 c cpu time 3576.35 s
3600.06/3610.10 c deterministic time 259357552309 2.59e+11
3600.06/3610.10 c optimization time 300.915 s
3600.06/3610.10 c total solve time 3275.41 s
3600.06/3610.10 c core-guided solve time 0 s
3600.06/3610.10 c propagation time 1999.77 s
3600.06/3610.10 c conflict analysis time 1371.97 s
3600.06/3610.10 c propagations 904857781
3600.06/3610.10 c resolve steps 83231828
3600.06/3610.10 c decisions 13081337
3600.06/3610.10 c conflicts 1868288
3600.06/3610.10 c restarts 3580
3600.06/3610.10 c inprocessing phases 84
3600.06/3610.10 c garbage collections 84 ,( 100.00 )
3600.06/3610.10 c input clauses 6212 ,( 98.57 )
3600.06/3610.10 c input cardinalities 90 ,( 1.43 )
3600.06/3610.10 c input general constraints 0 ,( 0.00 )
3600.06/3610.10 c input average constraint length 6.23
3600.06/3610.10 c input average constraint degree 1.94
3600.06/3610.10 c learned clauses 1444068 ,( 77.29 )
3600.06/3610.10 c learned cardinalities 29982 ,( 1.60 )
3600.06/3610.10 c learned general constraints 394262 ,( 21.10 )
3600.06/3610.10 c learned average constraint length 693.94
3600.06/3610.10 c learned average constraint degree 8459964.97
3600.06/3610.10 c watched CF 32, 64, 128, Arb: 132586 , 0 , 0 , 0
3600.06/3610.10 c counting CF 32, 64, 128, Arb: 261676 , 0 , 0 , 0
3600.06/3610.10 c watched constraints 132586 ,( 33.63 )
3600.06/3610.10 c counting constraints 261676 ,( 66.37 )
3600.06/3610.10 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1463074088 , 665289392 , 3306563888 ,( 150426134 , 3156137754 )
3600.06/3610.10 c gcd simplifications 1192
3600.06/3610.10 c detected cardinalities 1821
3600.06/3610.10 c weakened non-implied lits 364947519
3600.06/3610.10 c weakened non-implying lits 263289
3600.06/3610.10 c original variables 6120
3600.06/3610.10 c clausal propagations 337118395
3600.06/3610.10 c cardinality propagations 342575686
3600.06/3610.10 c watched propagations 4771967
3600.06/3610.10 c counting propagations 214214775
3600.06/3610.10 c watch lookups 141052673209
3600.06/3610.10 c watch backjump lookups 0
3600.06/3610.10 c watch checks 39937634534
3600.06/3610.10 c propagation checks 72016132248
3600.06/3610.10 c constraint additions 4513004197
3600.06/3610.10 c trail pops 919801944
3600.06/3610.10 c formula constraints 6302
3600.06/3610.10 c learned constraints 1868284
3600.06/3610.10 c bound constraints 0
3600.06/3610.10 c core-guided constraints 0
3600.06/3610.10 c encountered formula constraints 49212933
3600.06/3610.10 c encountered learned constraints 35886917
3600.06/3610.10 c encountered bound constraints 0
3600.06/3610.10 c encountered core-guided constraints 0
3600.06/3610.10 c LP total time 185.262 s
3600.06/3610.10 c LP solve time 131.7 s
3600.06/3610.10 c LP constraints added 8770
3600.06/3610.10 c LP constraints removed 2355
3600.06/3610.10 c LP pivots internal 192388
3600.06/3610.10 c LP pivots root 174670
3600.06/3610.10 c LP calls 54
3600.06/3610.10 c LP optimalities 46
3600.06/3610.10 c LP no pivot count 7
3600.06/3610.10 c LP infeasibilities 3
3600.06/3610.10 c LP valid Farkas constraints 3
3600.06/3610.10 c LP learned Farkas constraints 3
3600.06/3610.10 c LP basis resets 0
3600.06/3610.10 c LP cycling count 0
3600.06/3610.10 c LP singular count 0
3600.06/3610.10 c LP no primal count 0
3600.06/3610.10 c LP no farkas count 0
3600.06/3610.10 c LP other issue count 0
3600.06/3610.10 c LP Gomory cuts 22
3600.06/3610.10 c LP learned cuts 2446
3600.06/3610.10 c LP deleted cuts 2355
3600.06/3610.10 c LP encountered Gomory constraints 209
3600.06/3610.10 c LP encountered Farkas constraints 48
3600.06/3610.10 c LP encountered learned Farkas constraints 6
3600.06/3610.10 c CG auxiliary variables introduced 0
3600.06/3610.10 c CG solutions found 0
3600.06/3610.10 c CG cores constructed 0
3600.06/3610.10 c CG core cardinality constraints returned 0
3600.06/3610.10 c CG unit cores 0
3600.06/3610.10 c CG single cores 0
3600.06/3610.10 c CG blocks removed during cardinality reduction 0
3600.06/3610.10 c CG first core best 0
3600.06/3610.10 c CG decision core best 0
3600.06/3610.10 c CG core reduction tie 0
3600.06/3610.10 c CG core degree average 0.00
3600.06/3610.10 c CG core slack average 0.00
3600.06/3610.10 c CG core upper bound improvements 0
3600.06/3610.10 c STR number of successful calls 0
3600.06/3610.10 c STR number of unsuccessful calls 0
3600.06/3610.10 c STR number of inconclusive calls 0
3600.06/3610.10 c STR number of successful attempts 0
3600.06/3610.10 c STR number of unsuccessful attempts 0
3600.06/3610.10 c STR number of inconclusive attempts 0
3600.06/3610.10 c STR average degree increase per successful call inf
3600.06/3610.10 c STR average degree increase per successful attempt inf
3600.06/3610.10 c STR total number of conflicts for successful attempts 0
3600.06/3610.10 c STR total number of conflicts for unsuccessful attempts 0
3600.06/3610.10 c STR total number of conflicts for inconclusive attempts 0
3600.06/3610.10 c STR average number of conflicts per successful attempt inf
3600.06/3610.10 c STR average number of conflicts per unsuccessful attempt inf
3600.06/3610.10 c STR average number of conflicts per inconclusive attempt inf
3600.06/3610.10 c AVG.sumWPerc 58.61
3600.06/3610.10 c bigint constraints 0
3600.06/3610.10 s UNKNOWN
3600.06/3610.10 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: 63665 MiB (62864 MiB free)
memory of node 1: 64507 MiB (64056 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507265-1751183146/watcher-4507265-1751183146 -o /tmp/evaluation-result-4507265-1751183146/solver-4507265-1751183146 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751183146-24187 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4507265-1751183146.opb PROOFDIR/proof-4507265-1751183146
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 FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=24242, runsolver pid=24231
[startup+0.100014 s]*
/proc/loadavg: 0.88 1.12 1.86 6/272 24248
/proc/meminfo: memFree=129910176/131250000 swapFree=33010684/33010684
[pid=24242] ppid=24231 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/24242/stat : 24242 (run-dec-log.sh) S 24231 24242 24175 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33994857 4292608 768 18446744073709551615 94263160463360 94263161357893 140720503906864 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94263161596944 94263161644688 94263191674880 140720503908641 140720503908836 140720503908836 140720503914438 0
/proc/24242/statm: 1048 768 704 219 0 110 0
[pid=24247] ppid=24242 vsize=70704 memory=24908 CPUtime=0.08 cores=1,3
/proc/24247/stat : 24247 (roundingsat) R 24242 24242 24175 0 -1 4194304 4324 0 0 0 6 2 0 0 20 0 1 0 33994858 72400896 6227 18446744073709551615 4227072 8923433 140735044971888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25247744 140735044979047 140735044979240 140735044979240 140735044984810 0
/proc/24247/statm: 17676 6227 2240 1147 0 5103 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 74896 KiB
Current children cumulated memory: 27980 KiB
[startup+0.205972 s]*
/proc/loadavg: 0.88 1.12 1.86 6/272 24248
/proc/meminfo: memFree=129881508/131250000 swapFree=33010684/33010684
[pid=24242] ppid=24231 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/24242/stat : 24242 (run-dec-log.sh) S 24231 24242 24175 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33994857 4292608 768 18446744073709551615 94263160463360 94263161357893 140720503906864 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94263161596944 94263161644688 94263191674880 140720503908641 140720503908836 140720503908836 140720503914438 0
/proc/24242/statm: 1048 768 704 219 0 110 0
[pid=24247] ppid=24242 vsize=71204 memory=25804 CPUtime=0.18 cores=1,3
/proc/24247/stat : 24247 (roundingsat) R 24242 24242 24175 0 -1 4194304 4519 0 0 0 16 2 0 0 20 0 1 0 33994858 72912896 6451 18446744073709551615 4227072 8923433 140735044971888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25247744 140735044979047 140735044979240 140735044979240 140735044984810 0
/proc/24247/statm: 17801 6451 2272 1147 0 5228 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 75396 KiB
Current children cumulated memory: 28876 KiB
[startup+0.305522 s]*
/proc/loadavg: 0.88 1.12 1.86 5/272 24248
/proc/meminfo: memFree=129875376/131250000 swapFree=33010684/33010684
[pid=24242] ppid=24231 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/24242/stat : 24242 (run-dec-log.sh) S 24231 24242 24175 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33994857 4292608 768 18446744073709551615 94263160463360 94263161357893 140720503906864 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94263161596944 94263161644688 94263191674880 140720503908641 140720503908836 140720503908836 140720503914438 0
/proc/24242/statm: 1048 768 704 219 0 110 0
[pid=24247] ppid=24242 vsize=71828 memory=26316 CPUtime=0.28 cores=1,3
/proc/24247/stat : 24247 (roundingsat) R 24242 24242 24175 0 -1 4194304 4641 0 0 0 26 2 0 0 20 0 1 0 33994858 73551872 6579 18446744073709551615 4227072 8923433 140735044971888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25247744 140735044979047 140735044979240 140735044979240 140735044984810 0
/proc/24247/statm: 17957 6579 2272 1147 0 5384 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 76020 KiB
Current children cumulated memory: 29388 KiB
[startup+0.700132 s]
/proc/loadavg: 0.88 1.12 1.86 5/272 24248
/proc/meminfo: memFree=129875376/131250000 swapFree=33010684/33010684
[pid=24242] ppid=24231 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/24242/stat : 24242 (run-dec-log.sh) S 24231 24242 24175 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33994857 4292608 768 18446744073709551615 94263160463360 94263161357893 140720503906864 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94263161596944 94263161644688 94263191674880 140720503908641 140720503908836 140720503908836 140720503914438 0
/proc/24242/statm: 1048 768 704 219 0 110 0
[pid=24247] ppid=24242 vsize=72428 memory=26700 CPUtime=0.67 cores=1,3
/proc/24247/stat : 24247 (roundingsat) R 24242 24242 24175 0 -1 4194304 4735 0 0 0 65 2 0 0 20 0 1 0 33994858 74166272 6675 18446744073709551615 4227072 8923433 140735044971888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25247744 140735044979047 140735044979240 140735044979240 140735044984810 0
/proc/24247/statm: 18107 6675 2272 1147 0 5534 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 76620 KiB
Current children cumulated memory: 29772 KiB
[startup+1.50018 s]
/proc/loadavg: 0.88 1.12 1.86 5/272 24248
/proc/meminfo: memFree=129871344/131250000 swapFree=33010684/33010684
[pid=24242] ppid=24231 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/24242/stat : 24242 (run-dec-log.sh) S 24231 24242 24175 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33994857 4292608 768 18446744073709551615 94263160463360 94263161357893 140720503906864 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94263161596944 94263161644688 94263191674880 140720503908641 140720503908836 140720503908836 140720503914438 0
/proc/24242/statm: 1048 768 704 219 0 110 0
[pid=24247] ppid=24242 vsize=75292 memory=31864 CPUtime=1.47 cores=1,3
/proc/24247/stat : 24247 (roundingsat) R 24242 24242 24175 0 -1 4194304 5489 0 0 0 141 6 0 0 20 0 1 0 33994858 77099008 7966 18446744073709551615 4227072 8923433 140735044971888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25247744 140735044979047 140735044979240 140735044979240 140735044984810 0
/proc/24247/statm: 18823 7966 2304 1147 0 6250 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 79484 KiB
Current children cumulated memory: 34936 KiB
[startup+3.10569 s]
/proc/loadavg: 0.88 1.12 1.86 6/272 24248
/proc/meminfo: memFree=129797640/131250000 swapFree=33010684/33010684
[pid=24242] ppid=24231 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/24242/stat : 24242 (run-dec-log.sh) S 24231 24242 24175 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33994857 4292608 768 18446744073709551615 94263160463360 94263161357893 140720503906864 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94263161596944 94263161644688 94263191674880 140720503908641 140720503908836 140720503908836 140720503914438 0
/proc/24242/statm: 1048 768 704 219 0 110 0
[pid=24247] ppid=24242 vsize=81512 memory=35704 CPUtime=3.07 cores=1,3
/proc/24247/stat : 24247 (roundingsat) R 24242 24242 24175 0 -1 4194304 6441 0 0 0 296 11 0 0 20 0 1 0 33994858 83468288 8926 18446744073709551615 4227072 8923433 140735044971888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25247744 140735044979047 140735044979240 140735044979240 140735044984810 0
/proc/24247/statm: 20378 8926 2304 1147 0 7805 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 85704 KiB
Current children cumulated memory: 38776 KiB
[startup+6.30015 s]
/proc/loadavg: 1.13 1.17 1.87 6/272 24248
/proc/meminfo: memFree=129735416/131250000 swapFree=33010684/33010684
[pid=24242] ppid=24231 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/24242/stat : 24242 (run-dec-log.sh) S 24231 24242 24175 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33994857 4292608 768 18446744073709551615 94263160463360 94263161357893 140720503906864 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94263161596944 94263161644688 94263191674880 140720503908641 140720503908836 140720503908836 140720503914438 0
/proc/24242/statm: 1048 768 704 219 0 110 0
[pid=24247] ppid=24242 vsize=84780 memory=39416 CPUtime=6.25 cores=1,3
/proc/24247/stat : 24247 (roundingsat) R 24242 24242 24175 0 -1 4194304 7382 0 0 0 609 16 0 0 20 0 1 0 33994858 86814720 9854 18446744073709551615 4227072 8923433 140735044971888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25247744 140735044979047 140735044979240 140735044979240 140735044984810 0
/proc/24247/statm: 21195 9854 2304 1147 0 8622 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 88972 KiB
Current children cumulated memory: 42488 KiB
[startup+12.7002 s]
/proc/loadavg: 1.36 1.21 1.88 6/272 24248
/proc/meminfo: memFree=129669764/131250000 swapFree=33010684/33010684
[pid=24242] ppid=24231 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/24242/stat : 24242 (run-dec-log.sh) S 24231 24242 24175 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33994857 4292608 768 18446744073709551615 94263160463360 94263161357893 140720503906864 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94263161596944 94263161644688 94263191674880 140720503908641 140720503908836 140720503908836 140720503914438 0
/proc/24242/statm: 1048 768 704 219 0 110 0
[pid=24247] ppid=24242 vsize=91468 memory=44152 CPUtime=12.64 cores=1,3
/proc/24247/stat : 24247 (roundingsat) R 24242 24242 24175 0 -1 4194304 8565 0 0 0 1235 29 0 0 20 0 1 0 33994858 93663232 11038 18446744073709551615 4227072 8923433 140735044971888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25247744 140735044979047 140735044979240 140735044979240 140735044984810 0
/proc/24247/statm: 22867 11038 2304 1147 0 10294 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 95660 KiB
Current children cumulated memory: 47224 KiB
[startup+25.5002 s]
/proc/loadavg: 2.02 1.37 1.92 6/272 24249
/proc/meminfo: memFree=129450480/131250000 swapFree=33010684/33010684
[pid=24242] ppid=24231 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/24242/stat : 24242 (run-dec-log.sh) S 24231 24242 24175 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33994857 4292608 768 18446744073709551615 94263160463360 94263161357893 140720503906864 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94263161596944 94263161644688 94263191674880 140720503908641 140720503908836 140720503908836 140720503914438 0
/proc/24242/statm: 1048 768 704 219 0 110 0
[pid=24247] ppid=24242 vsize=105036 memory=57952 CPUtime=25.41 cores=1,3
/proc/24247/stat : 24247 (roundingsat) R 24242 24242 24175 0 -1 4194304 10997 0 0 0 2487 54 0 0 20 0 1 0 33994858 107556864 14488 18446744073709551615 4227072 8923433 140735044971888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25247744 140735044979047 140735044979240 140735044979240 140735044984810 0
/proc/24247/statm: 26259 14488 2304 1147 0 13686 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 109228 KiB
Current children cumulated memory: 61024 KiB
[startup+51.1058 s]
/proc/loadavg: 2.69 1.58 1.98 6/272 24249
/proc/meminfo: memFree=128952464/131250000 swapFree=33010684/33010684
[pid=24242] ppid=24231 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/24242/stat : 24242 (run-dec-log.sh) S 24231 24242 24175 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33994857 4292608 768 18446744073709551615 94263160463360 94263161357893 140720503906864 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94263161596944 94263161644688 94263191674880 140720503908641 140720503908836 140720503908836 140720503914438 0
/proc/24242/statm: 1048 768 704 219 0 110 0
[pid=24247] ppid=24242 vsize=131076 memory=85920 CPUtime=50.95 cores=1,3
/proc/24247/stat : 24247 (roundingsat) R 24242 24242 24175 0 -1 4194304 17445 0 0 0 4991 104 0 0 20 0 1 0 33994858 134221824 21480 18446744073709551615 4227072 8923433 140735044971888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25247744 140735044979047 140735044979240 140735044979240 140735044984810 0
/proc/24247/statm: 32769 21480 2336 1147 0 20196 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 135268 KiB
Current children cumulated memory: 88992 KiB
[startup+102.3 s]
/proc/loadavg: 3.55 1.99 2.10 6/273 24254
/proc/meminfo: memFree=128275724/131250000 swapFree=33010684/33010684
[pid=24242] ppid=24231 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/24242/stat : 24242 (run-dec-log.sh) S 24231 24242 24175 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33994857 4292608 768 18446744073709551615 94263160463360 94263161357893 140720503906864 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94263161596944 94263161644688 94263191674880 140720503908641 140720503908836 140720503908836 140720503914438 0
/proc/24242/statm: 1048 768 704 219 0 110 0
[pid=24247] ppid=24242 vsize=221768 memory=160880 CPUtime=102.01 cores=1,3
/proc/24247/stat : 24247 (roundingsat) R 24242 24242 24175 0 -1 4194304 25974 0 0 0 10023 178 0 0 20 0 1 0 33994858 227090432 40220 18446744073709551615 4227072 8923433 140735044971888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25247744 140735044979047 140735044979240 140735044979240 140735044984810 0
/proc/24247/statm: 55442 40220 2336 1147 0 42869 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 225960 KiB
Current children cumulated memory: 163952 KiB
[startup+162.3 s]
/proc/loadavg: 3.90 2.37 2.22 6/274 24259
/proc/meminfo: memFree=127508508/131250000 swapFree=33010684/33010684
[pid=24242] ppid=24231 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/24242/stat : 24242 (run-dec-log.sh) S 24231 24242 24175 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33994857 4292608 768 18446744073709551615 94263160463360 94263161357893 140720503906864 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94263161596944 94263161644688 94263191674880 140720503908641 140720503908836 140720503908836 140720503914438 0
/proc/24242/statm: 1048 768 704 219 0 110 0
[pid=24247] ppid=24242 vsize=243220 memory=184136 CPUtime=161.85 cores=1,3
/proc/24247/stat : 24247 (roundingsat) R 24242 24242 24175 0 -1 4194304 30809 0 0 0 15937 248 0 0 20 0 1 0 33994858 249057280 46034 18446744073709551615 4227072 8923433 140735044971888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25247744 140735044979047 140735044979240 140735044979240 140735044984810 0
/proc/24247/statm: 60805 46034 2336 1147 0 48232 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 247412 KiB
Current children cumulated memory: 187208 KiB
[startup+222.3 s]
/proc/loadavg: 4.01 2.69 2.34 6/273 24261
/proc/meminfo: memFree=126778580/131250000 swapFree=33010684/33010684
[pid=24242] ppid=24231 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/24242/stat : 24242 (run-dec-log.sh) S 24231 24242 24175 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33994857 4292608 768 18446744073709551615 94263160463360 94263161357893 140720503906864 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94263161596944 94263161644688 94263191674880 140720503908641 140720503908836 140720503908836 140720503914438 0
/proc/24242/statm: 1048 768 704 219 0 110 0
[pid=24247] ppid=24242 vsize=325604 memory=267448 CPUtime=221.7 cores=1,3
/proc/24247/stat : 24247 (roundingsat) R 24242 24242 24175 0 -1 4194304 39365 0 0 0 21877 293 0 0 20 0 1 0 33994858 333418496 66862 18446744073709551615 4227072 8923433 140735044971888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25247744 140735044979047 140735044979240 140735044979240 140735044984810 0
/proc/24247/statm: 81401 66862 2336 1147 0 68828 0
################
# More data... #
################
/proc/24247/statm: 241601 212932 2336 1147 0 229028 0
Current children cumulated CPU time: 3093.53 s
Current children cumulated vsize: 970596 KiB
Current children cumulated memory: 854800 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.16 4.09 6/273 24423
/proc/meminfo: memFree=104990044/131250000 swapFree=33010684/33010684
[pid=24242] ppid=24231 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/24242/stat : 24242 (run-dec-log.sh) S 24231 24242 24175 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33994857 4292608 768 18446744073709551615 94263160463360 94263161357893 140720503906864 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94263161596944 94263161644688 94263191674880 140720503908641 140720503908836 140720503908836 140720503914438 0
/proc/24242/statm: 1048 768 704 219 0 110 0
[pid=24247] ppid=24242 vsize=966404 memory=851728 CPUtime=3153.38 cores=1,3
/proc/24247/stat : 24247 (roundingsat) R 24242 24242 24175 0 -1 4194304 92632 0 0 0 313180 2158 0 0 20 0 1 0 33994858 989597696 212932 18446744073709551615 4227072 8923433 140735044971888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25247744 140735044979047 140735044979240 140735044979240 140735044984810 0
/proc/24247/statm: 241601 212932 2336 1147 0 229028 0
Current children cumulated CPU time: 3153.38 s
Current children cumulated vsize: 970596 KiB
Current children cumulated memory: 854800 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.14 4.09 6/272 24425
/proc/meminfo: memFree=104575596/131250000 swapFree=33010684/33010684
[pid=24242] ppid=24231 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/24242/stat : 24242 (run-dec-log.sh) S 24231 24242 24175 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33994857 4292608 768 18446744073709551615 94263160463360 94263161357893 140720503906864 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94263161596944 94263161644688 94263191674880 140720503908641 140720503908836 140720503908836 140720503914438 0
/proc/24242/statm: 1048 768 704 219 0 110 0
[pid=24247] ppid=24242 vsize=966404 memory=851728 CPUtime=3213.23 cores=1,3
/proc/24247/stat : 24247 (roundingsat) R 24242 24242 24175 0 -1 4194304 92633 0 0 0 319131 2192 0 0 20 0 1 0 33994858 989597696 212932 18446744073709551615 4227072 8923433 140735044971888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25247744 140735044979047 140735044979240 140735044979240 140735044984810 0
/proc/24247/statm: 241601 212932 2336 1147 0 229028 0
Current children cumulated CPU time: 3213.23 s
Current children cumulated vsize: 970596 KiB
Current children cumulated memory: 854800 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.13 4.09 6/272 24427
/proc/meminfo: memFree=104214924/131250000 swapFree=33010684/33010684
[pid=24242] ppid=24231 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/24242/stat : 24242 (run-dec-log.sh) S 24231 24242 24175 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33994857 4292608 768 18446744073709551615 94263160463360 94263161357893 140720503906864 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94263161596944 94263161644688 94263191674880 140720503908641 140720503908836 140720503908836 140720503914438 0
/proc/24242/statm: 1048 768 704 219 0 110 0
[pid=24247] ppid=24242 vsize=966404 memory=851728 CPUtime=3273.07 cores=1,3
/proc/24247/stat : 24247 (roundingsat) R 24242 24242 24175 0 -1 4194304 92664 0 0 0 325079 2228 0 0 20 0 1 0 33994858 989597696 212932 18446744073709551615 4227072 8923433 140735044971888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25247744 140735044979047 140735044979240 140735044979240 140735044984810 0
/proc/24247/statm: 241601 212932 2336 1147 0 229028 0
Current children cumulated CPU time: 3273.07 s
Current children cumulated vsize: 970596 KiB
Current children cumulated memory: 854800 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.14 4.09 6/272 24430
/proc/meminfo: memFree=103822044/131250000 swapFree=33010684/33010684
[pid=24242] ppid=24231 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/24242/stat : 24242 (run-dec-log.sh) S 24231 24242 24175 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33994857 4292608 768 18446744073709551615 94263160463360 94263161357893 140720503906864 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94263161596944 94263161644688 94263191674880 140720503908641 140720503908836 140720503908836 140720503914438 0
/proc/24242/statm: 1048 768 704 219 0 110 0
[pid=24247] ppid=24242 vsize=966404 memory=851728 CPUtime=3332.93 cores=1,3
/proc/24247/stat : 24247 (roundingsat) R 24242 24242 24175 0 -1 4194304 92680 0 0 0 331022 2271 0 0 20 0 1 0 33994858 989597696 212932 18446744073709551615 4227072 8923433 140735044971888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25247744 140735044979047 140735044979240 140735044979240 140735044984810 0
/proc/24247/statm: 241601 212932 2336 1147 0 229028 0
Current children cumulated CPU time: 3332.93 s
Current children cumulated vsize: 970596 KiB
Current children cumulated memory: 854800 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.12 4.09 6/272 24433
/proc/meminfo: memFree=103548932/131250000 swapFree=33010684/33010684
[pid=24242] ppid=24231 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/24242/stat : 24242 (run-dec-log.sh) S 24231 24242 24175 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33994857 4292608 768 18446744073709551615 94263160463360 94263161357893 140720503906864 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94263161596944 94263161644688 94263191674880 140720503908641 140720503908836 140720503908836 140720503914438 0
/proc/24242/statm: 1048 768 704 219 0 110 0
[pid=24247] ppid=24242 vsize=966404 memory=851728 CPUtime=3392.78 cores=1,3
/proc/24247/stat : 24247 (roundingsat) R 24242 24242 24175 0 -1 4194304 92709 0 0 0 336971 2307 0 0 20 0 1 0 33994858 989597696 212932 18446744073709551615 4227072 8923433 140735044971888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25247744 140735044979047 140735044979240 140735044979240 140735044984810 0
/proc/24247/statm: 241601 212932 2336 1147 0 229028 0
Current children cumulated CPU time: 3392.78 s
Current children cumulated vsize: 970596 KiB
Current children cumulated memory: 854800 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.13 4.09 6/271 24435
/proc/meminfo: memFree=103299356/131250000 swapFree=33010684/33010684
[pid=24242] ppid=24231 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/24242/stat : 24242 (run-dec-log.sh) S 24231 24242 24175 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33994857 4292608 768 18446744073709551615 94263160463360 94263161357893 140720503906864 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94263161596944 94263161644688 94263191674880 140720503908641 140720503908836 140720503908836 140720503914438 0
/proc/24242/statm: 1048 768 704 219 0 110 0
[pid=24247] ppid=24242 vsize=966404 memory=851728 CPUtime=3452.62 cores=1,3
/proc/24247/stat : 24247 (roundingsat) R 24242 24242 24175 0 -1 4194304 92742 0 0 0 342930 2332 0 0 20 0 1 0 33994858 989597696 212932 18446744073709551615 4227072 8923433 140735044971888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25247744 140735044979047 140735044979240 140735044979240 140735044984810 0
/proc/24247/statm: 241601 212932 2336 1147 0 229028 0
Current children cumulated CPU time: 3452.62 s
Current children cumulated vsize: 970596 KiB
Current children cumulated memory: 854800 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.12 4.09 6/271 24437
/proc/meminfo: memFree=103123376/131250000 swapFree=33010684/33010684
[pid=24242] ppid=24231 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/24242/stat : 24242 (run-dec-log.sh) S 24231 24242 24175 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33994857 4292608 768 18446744073709551615 94263160463360 94263161357893 140720503906864 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94263161596944 94263161644688 94263191674880 140720503908641 140720503908836 140720503908836 140720503914438 0
/proc/24242/statm: 1048 768 704 219 0 110 0
[pid=24247] ppid=24242 vsize=966404 memory=851728 CPUtime=3512.47 cores=1,3
/proc/24247/stat : 24247 (roundingsat) R 24242 24242 24175 0 -1 4194304 92772 0 0 0 348898 2349 0 0 20 0 1 0 33994858 989597696 212932 18446744073709551615 4227072 8923433 140735044971888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25247744 140735044979047 140735044979240 140735044979240 140735044984810 0
/proc/24247/statm: 241601 212932 2336 1147 0 229028 0
Current children cumulated CPU time: 3512.47 s
Current children cumulated vsize: 970596 KiB
Current children cumulated memory: 854800 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.09 6/270 24439
/proc/meminfo: memFree=102880284/131250000 swapFree=33010684/33010684
[pid=24242] ppid=24231 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/24242/stat : 24242 (run-dec-log.sh) S 24231 24242 24175 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33994857 4292608 768 18446744073709551615 94263160463360 94263161357893 140720503906864 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94263161596944 94263161644688 94263191674880 140720503908641 140720503908836 140720503908836 140720503914438 0
/proc/24242/statm: 1048 768 704 219 0 110 0
[pid=24247] ppid=24242 vsize=966404 memory=851728 CPUtime=3572.32 cores=1,3
/proc/24247/stat : 24247 (roundingsat) R 24242 24242 24175 0 -1 4194304 92805 0 0 0 354866 2366 0 0 20 0 1 0 33994858 989597696 212932 18446744073709551615 4227072 8923433 140735044971888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25247744 140735044979047 140735044979240 140735044979240 140735044984810 0
/proc/24247/statm: 241601 212932 2336 1147 0 229028 0
Current children cumulated CPU time: 3572.32 s
Current children cumulated vsize: 970596 KiB
Current children cumulated memory: 854800 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 4.11 4.12 4.09 3/259 24457
/proc/meminfo: memFree=104214060/131250000 swapFree=33010684/33010684
[pid=24242] ppid=24231 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/24242/stat : 24242 (run-dec-log.sh) S 24231 24242 24175 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33994857 4292608 768 18446744073709551615 94263160463360 94263161357893 140720503906864 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94263161596944 94263161644688 94263191674880 140720503908641 140720503908836 140720503908836 140720503914438 0
/proc/24242/statm: 1048 768 704 219 0 110 0
[pid=24247] ppid=24242 vsize=966404 memory=851728 CPUtime=3600.06 cores=1,3
/proc/24247/stat : 24247 (roundingsat) R 24242 24242 24175 0 -1 4194304 92833 0 0 0 357635 2371 0 0 20 0 1 0 33994858 989597696 212932 18446744073709551615 4227072 8923433 140735044971888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25247744 140735044979047 140735044979240 140735044979240 140735044984810 0
/proc/24247/statm: 241601 212932 2336 1147 0 229028 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 970596 KiB
Current children cumulated memory: 854800 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.11 s]
# the end of solver process 24242 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.002624 s
[startup+3610.12 s]
# the end of solver process 24247 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3576.36 s, system=23.7217 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.11 s]
/proc/loadavg: 4.11 4.12 4.09 3/259 24457
/proc/meminfo: memFree=104214060/131250000 swapFree=33010684/33010684
[pid=24242] ppid=24231 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/24242/stat : 24242 (run-dec-log.sh) S 24231 24242 24175 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33994857 4292608 768 18446744073709551615 94263160463360 94263161357893 140720503906864 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94263161596944 94263161644688 94263191674880 140720503908641 140720503908836 140720503908836 140720503914438 0
/proc/24242/statm: 1048 768 704 219 0 110 0
[pid=24247] ppid=24242 vsize=966404 memory=851728 CPUtime=3600.06 cores=1,3
/proc/24247/stat : 24247 (roundingsat) R 24242 24242 24175 0 -1 4194304 92833 0 0 0 357635 2371 0 0 20 0 1 0 33994858 989597696 212932 18446744073709551615 4227072 8923433 140735044971888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25247744 140735044979047 140735044979240 140735044979240 140735044984810 0
/proc/24247/statm: 241601 212932 2336 1147 0 229028 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 970596 KiB
Current children cumulated memory: 854800 KiB
Child status: 2
Real time (s): 3610.12
CPU time (s): 3600.08
CPU user time (s): 3576.36
CPU system time (s): 23.7217
CPU usage (%): 99.7218
Max. virtual memory (cumulated for all children) (KiB): 970596
Max. memory (cumulated for all children) (KiB): 854800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3576.36
system time used= 23.7217
maximum resident set size= 852112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93061
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11896576
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 457
involuntary context switches= 8269
# summary of solver processes directly reported to runsolver:
# pid: 24242,24247
# total CPU time (s): 3600.08
# total CPU user time (s): 3576.36
# total CPU system time (s): 23.7217
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.12026 second user time and 17.5348 second system time
The end
Begin job on nodeC013 at 2025-06-29 09:45:46
IDJOB=4507265
IDBENCH=158339
IDSOLVER=3352
FILE ID=nodeC013/4507265-1751183146
RUNJOBID= nodeC013-1751183146-24187
SLURM_JOB_ID= 9587568
Free space on /tmp= 433056 MiB
SOLVER NAME= roundingsat-log 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K90.opb
COMMAND LINE= run-dec-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507265-1751183146/watcher-4507265-1751183146 -o /tmp/evaluation-result-4507265-1751183146/solver-4507265-1751183146 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751183146-24187 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4507265-1751183146.opb PROOFDIR/proof-4507265-1751183146
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= dd58632d9551a3604736dadf6eadc418
RANDOM SEED=1585000491
nodeC013 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.099
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.200
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.829
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.296
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.842
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3602.424
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3644.070
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129978956 kB
MemAvailable: 129812528 kB
Buffers: 3280 kB
Cached: 637452 kB
SwapCached: 0 kB
Active: 278696 kB
Inactive: 428648 kB
Active(anon): 79896 kB
Inactive(anon): 0 kB
Active(file): 198800 kB
Inactive(file): 428648 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 30780 kB
Writeback: 0 kB
AnonPages: 69964 kB
Mapped: 97964 kB
Shmem: 13284 kB
KReclaimable: 90328 kB
Slab: 175476 kB
SReclaimable: 90328 kB
SUnreclaim: 85148 kB
KernelStack: 4088 kB
PageTables: 2348 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 316656 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150440 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 12288 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: 215764 kB
DirectMap2M: 8992768 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433024 MiB
End job on nodeC013 at 2025-06-29 10:45:56