0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.06 c #variables 4482 #constraints 8965
0.00/0.06 c rational objective 0
124.25/124.60 c #Conflicts: 1000 | #Constraints: 9965
124.25/124.60 c #Conflicts: 2000 | #Constraints: 10965
124.25/124.60 c INPROCESSING
124.25/124.60 c GARBAGE COLLECT
124.25/124.60 c #Conflicts: 3000 | #Constraints: 10987
124.25/124.60 c #Conflicts: 4000 | #Constraints: 11987
124.25/124.60 c INPROCESSING
124.25/124.60 c GARBAGE COLLECT
124.25/124.60 c #Conflicts: 5000 | #Constraints: 11423
124.25/124.60 c #Conflicts: 6000 | #Constraints: 12423
124.25/124.60 c INPROCESSING
124.25/124.60 c GARBAGE COLLECT
124.25/124.60 c #Conflicts: 7000 | #Constraints: 11447
124.25/124.60 c #Conflicts: 8000 | #Constraints: 12447
124.25/124.60 c #Conflicts: 9000 | #Constraints: 13447
124.25/124.60 c INPROCESSING
124.25/124.60 c GARBAGE COLLECT
124.25/124.60 c #Conflicts: 10000 | #Constraints: 12161
124.25/124.60 c #Conflicts: 11000 | #Constraints: 13161
124.25/124.60 c #Conflicts: 12000 | #Constraints: 14161
124.25/124.60 c INPROCESSING
124.25/124.60 c GARBAGE COLLECT
124.25/124.60 c #Conflicts: 13000 | #Constraints: 12638
124.25/124.60 c #Conflicts: 14000 | #Constraints: 13638
124.25/124.60 c #Conflicts: 15000 | #Constraints: 14638
124.25/124.60 c INPROCESSING
124.25/124.60 c GARBAGE COLLECT
124.25/124.60 c #Conflicts: 16000 | #Constraints: 12886
124.25/124.60 c #Conflicts: 17000 | #Constraints: 13886
124.25/124.60 c #Conflicts: 18000 | #Constraints: 14886
124.25/124.60 c INPROCESSING
124.25/124.60 c GARBAGE COLLECT
124.25/124.60 c #Conflicts: 19000 | #Constraints: 12911
124.25/124.60 c #Conflicts: 20000 | #Constraints: 13911
124.25/124.60 c #Conflicts: 21000 | #Constraints: 14911
124.25/124.60 c INPROCESSING
124.25/124.60 c GARBAGE COLLECT
124.25/124.60 c #Conflicts: 22000 | #Constraints: 12742
124.25/124.60 c #Conflicts: 23000 | #Constraints: 13742
124.25/124.60 c #Conflicts: 24000 | #Constraints: 14742
124.25/124.60 c #Conflicts: 25000 | #Constraints: 15742
124.25/124.60 c INPROCESSING
124.25/124.60 c GARBAGE COLLECT
124.25/124.60 c #Conflicts: 26000 | #Constraints: 13367
124.25/124.60 c #Conflicts: 27000 | #Constraints: 14367
124.25/124.60 c #Conflicts: 28000 | #Constraints: 15367
124.25/124.60 c #Conflicts: 29000 | #Constraints: 16367
124.25/124.60 c INPROCESSING
124.25/124.60 c GARBAGE COLLECT
124.25/124.60 c #Conflicts: 30000 | #Constraints: 13771
124.25/124.60 c #Conflicts: 31000 | #Constraints: 14771
124.25/124.60 c #Conflicts: 32000 | #Constraints: 15771
124.25/124.60 c #Conflicts: 33000 | #Constraints: 16771
124.25/124.60 c #Conflicts: 34000 | #Constraints: 17771
124.25/124.60 c #Conflicts: 35000 | #Constraints: 18771
124.25/124.60 c #Conflicts: 36000 | #Constraints: 19771
124.25/124.60 c #Conflicts: 37000 | #Constraints: 20771
124.25/124.60 c #Conflicts: 38000 | #Constraints: 21771
124.25/124.60 c #Conflicts: 39000 | #Constraints: 22771
124.25/124.60 c #Conflicts: 40000 | #Constraints: 23771
124.25/124.60 c #Conflicts: 41000 | #Constraints: 24771
124.25/124.60 c #Conflicts: 42000 | #Constraints: 25771
124.25/124.60 c INPROCESSING
124.25/124.60 c GARBAGE COLLECT
124.25/124.60 c #Conflicts: 43000 | #Constraints: 18079
124.25/124.60 c #Conflicts: 44000 | #Constraints: 19079
124.25/124.60 c #Conflicts: 45000 | #Constraints: 20079
124.25/124.60 c #Conflicts: 46000 | #Constraints: 21079
124.25/124.60 c #Conflicts: 47000 | #Constraints: 22079
124.25/124.60 c #Conflicts: 48000 | #Constraints: 23079
124.25/124.60 c INPROCESSING
124.25/124.60 c GARBAGE COLLECT
124.25/124.60 c #Conflicts: 49000 | #Constraints: 17177
124.25/124.60 c #Conflicts: 50000 | #Constraints: 18177
124.25/124.60 c #Conflicts: 51000 | #Constraints: 19177
124.25/124.60 c #Conflicts: 52000 | #Constraints: 20177
124.25/124.60 c #Conflicts: 53000 | #Constraints: 21177
124.25/124.60 c INPROCESSING
124.25/124.60 c GARBAGE COLLECT
124.25/124.60 c #Conflicts: 54000 | #Constraints: 16089
124.25/124.60 c #Conflicts: 55000 | #Constraints: 17089
124.25/124.60 c #Conflicts: 56000 | #Constraints: 18089
124.25/124.60 c #Conflicts: 57000 | #Constraints: 19089
124.25/124.60 c #Conflicts: 58000 | #Constraints: 20089
124.25/124.60 c INPROCESSING
124.25/124.60 c GARBAGE COLLECT
124.25/124.60 c #Conflicts: 59000 | #Constraints: 15315
124.25/124.60 c #Conflicts: 60000 | #Constraints: 16315
124.25/124.60 c #Conflicts: 61000 | #Constraints: 17315
124.25/124.60 c #Conflicts: 62000 | #Constraints: 18315
124.25/124.60 c #Conflicts: 63000 | #Constraints: 19315
124.25/124.60 c #Conflicts: 64000 | #Constraints: 20315
124.25/124.60 c #Conflicts: 65000 | #Constraints: 21315
124.25/124.60 c #Conflicts: 66000 | #Constraints: 22315
124.25/124.60 c #Conflicts: 67000 | #Constraints: 23315
124.25/124.60 c #Conflicts: 68000 | #Constraints: 24315
124.25/124.60 c #Conflicts: 69000 | #Constraints: 25315
124.25/124.60 c #Conflicts: 70000 | #Constraints: 26315
139.11/139.56 c #Conflicts: 71000 | #Constraints: 27315
139.11/139.56 c #Conflicts: 72000 | #Constraints: 28315
139.11/139.56 c #Conflicts: 73000 | #Constraints: 29315
139.11/139.56 c #Conflicts: 74000 | #Constraints: 30315
139.11/139.56 c #Conflicts: 75000 | #Constraints: 31315
139.11/139.56 c #Conflicts: 76000 | #Constraints: 32315
139.11/139.56 c #Conflicts: 77000 | #Constraints: 33315
139.11/139.56 c #Conflicts: 78000 | #Constraints: 34315
139.11/139.56 c INPROCESSING
139.11/139.56 c GARBAGE COLLECT
139.11/139.56 c rational objective 0
292.51/293.33 c #Conflicts: 79000 | #Constraints: 22885
292.51/293.33 c #Conflicts: 80000 | #Constraints: 23885
292.51/293.33 c #Conflicts: 81000 | #Constraints: 24885
292.51/293.33 c #Conflicts: 82000 | #Constraints: 25885
292.51/293.33 c #Conflicts: 83000 | #Constraints: 26885
292.51/293.33 c #Conflicts: 84000 | #Constraints: 27885
292.51/293.33 c INPROCESSING
292.51/293.33 c GARBAGE COLLECT
292.51/293.33 c #Conflicts: 85000 | #Constraints: 19301
292.51/293.33 c #Conflicts: 86000 | #Constraints: 20301
292.51/293.33 c #Conflicts: 87000 | #Constraints: 21301
292.51/293.33 c #Conflicts: 88000 | #Constraints: 22301
292.51/293.33 c #Conflicts: 89000 | #Constraints: 23301
292.51/293.33 c #Conflicts: 90000 | #Constraints: 24301
292.51/293.33 c #Conflicts: 91000 | #Constraints: 25301
292.51/293.33 c INPROCESSING
292.51/293.33 c GARBAGE COLLECT
292.51/293.33 c #Conflicts: 92000 | #Constraints: 17988
292.51/293.33 c #Conflicts: 93000 | #Constraints: 18988
292.51/293.33 c #Conflicts: 94000 | #Constraints: 19988
292.51/293.33 c #Conflicts: 95000 | #Constraints: 20988
292.51/293.33 c #Conflicts: 96000 | #Constraints: 21988
292.51/293.33 c #Conflicts: 97000 | #Constraints: 22988
292.51/293.33 c #Conflicts: 98000 | #Constraints: 23988
292.51/293.33 c #Conflicts: 99000 | #Constraints: 24988
292.51/293.33 c #Conflicts: 100000 | #Constraints: 25988
292.51/293.33 c #Conflicts: 101000 | #Constraints: 26988
292.51/293.33 c #Conflicts: 102000 | #Constraints: 27988
292.51/293.33 c #Conflicts: 103000 | #Constraints: 28988
292.51/293.33 c #Conflicts: 104000 | #Constraints: 29988
292.51/293.33 c #Conflicts: 105000 | #Constraints: 30988
292.51/293.33 c #Conflicts: 106000 | #Constraints: 31988
292.51/293.33 c #Conflicts: 107000 | #Constraints: 32988
292.51/293.33 c #Conflicts: 108000 | #Constraints: 33988
292.51/293.33 c #Conflicts: 109000 | #Constraints: 34988
292.51/293.33 c #Conflicts: 110000 | #Constraints: 35988
292.51/293.33 c #Conflicts: 111000 | #Constraints: 36988
292.51/293.33 c #Conflicts: 112000 | #Constraints: 37988
292.51/293.33 c #Conflicts: 113000 | #Constraints: 38988
292.51/293.33 c #Conflicts: 114000 | #Constraints: 39988
292.51/293.33 c #Conflicts: 115000 | #Constraints: 40988
292.51/293.33 c INPROCESSING
292.51/293.33 c GARBAGE COLLECT
292.51/293.33 c #Conflicts: 116000 | #Constraints: 26145
292.51/293.33 c #Conflicts: 117000 | #Constraints: 27145
292.51/293.33 c #Conflicts: 118000 | #Constraints: 28145
292.51/293.33 c #Conflicts: 119000 | #Constraints: 29145
292.51/293.33 c #Conflicts: 120000 | #Constraints: 30145
292.51/293.33 c #Conflicts: 121000 | #Constraints: 31145
292.51/293.33 c #Conflicts: 122000 | #Constraints: 32145
292.51/293.33 c #Conflicts: 123000 | #Constraints: 33145
292.51/293.33 c INPROCESSING
292.51/293.33 c GARBAGE COLLECT
292.51/293.33 c #Conflicts: 124000 | #Constraints: 22069
292.51/293.33 c #Conflicts: 125000 | #Constraints: 23069
292.51/293.33 c #Conflicts: 126000 | #Constraints: 24069
292.51/293.33 c #Conflicts: 127000 | #Constraints: 25069
292.51/293.33 c #Conflicts: 128000 | #Constraints: 26069
292.51/293.33 c #Conflicts: 129000 | #Constraints: 27069
292.51/293.33 c #Conflicts: 130000 | #Constraints: 28069
292.51/293.33 c #Conflicts: 131000 | #Constraints: 29069
292.51/293.33 c #Conflicts: 132000 | #Constraints: 30069
292.51/293.33 c INPROCESSING
292.51/293.33 c GARBAGE COLLECT
292.51/293.33 c #Conflicts: 133000 | #Constraints: 20807
292.51/293.33 c #Conflicts: 134000 | #Constraints: 21807
292.51/293.33 c #Conflicts: 135000 | #Constraints: 22807
292.51/293.33 c #Conflicts: 136000 | #Constraints: 23807
292.51/293.33 c #Conflicts: 137000 | #Constraints: 24807
292.51/293.33 c #Conflicts: 138000 | #Constraints: 25807
292.51/293.33 c #Conflicts: 139000 | #Constraints: 26807
292.51/293.33 c #Conflicts: 140000 | #Constraints: 27807
292.51/293.33 c #Conflicts: 141000 | #Constraints: 28807
292.51/293.33 c #Conflicts: 142000 | #Constraints: 29807
292.51/293.33 c #Conflicts: 143000 | #Constraints: 30807
292.51/293.33 c #Conflicts: 144000 | #Constraints: 31807
292.51/293.33 c #Conflicts: 145000 | #Constraints: 32807
292.51/293.33 c #Conflicts: 146000 | #Constraints: 33807
292.51/293.33 c #Conflicts: 147000 | #Constraints: 34807
292.51/293.33 c #Conflicts: 148000 | #Constraints: 35807
292.51/293.33 c #Conflicts: 149000 | #Constraints: 36807
292.51/293.33 c #Conflicts: 150000 | #Constraints: 37807
292.51/293.33 c #Conflicts: 151000 | #Constraints: 38807
292.51/293.33 c #Conflicts: 152000 | #Constraints: 39807
292.51/293.33 c #Conflicts: 153000 | #Constraints: 40807
292.51/293.33 c #Conflicts: 154000 | #Constraints: 41807
437.82/439.10 c #Conflicts: 155000 | #Constraints: 42807
437.82/439.10 c #Conflicts: 156000 | #Constraints: 43807
437.82/439.10 c #Conflicts: 157000 | #Constraints: 44807
437.82/439.10 c #Conflicts: 158000 | #Constraints: 45807
437.82/439.10 c #Conflicts: 159000 | #Constraints: 46807
437.82/439.10 c INPROCESSING
437.82/439.10 c GARBAGE COLLECT
437.82/439.10 c #Conflicts: 160000 | #Constraints: 28867
437.82/439.10 c #Conflicts: 161000 | #Constraints: 29867
437.82/439.10 c #Conflicts: 162000 | #Constraints: 30867
437.82/439.10 c #Conflicts: 163000 | #Constraints: 31867
437.82/439.10 c #Conflicts: 164000 | #Constraints: 32867
437.82/439.10 c #Conflicts: 165000 | #Constraints: 33867
437.82/439.10 c #Conflicts: 166000 | #Constraints: 34867
437.82/439.10 c #Conflicts: 167000 | #Constraints: 35867
437.82/439.10 c #Conflicts: 168000 | #Constraints: 36867
437.82/439.10 c #Conflicts: 169000 | #Constraints: 37867
437.82/439.10 c INPROCESSING
437.82/439.10 c GARBAGE COLLECT
437.82/439.10 c #Conflicts: 170000 | #Constraints: 24521
437.82/439.10 c #Conflicts: 171000 | #Constraints: 25521
437.82/439.10 c #Conflicts: 172000 | #Constraints: 26521
437.82/439.10 c #Conflicts: 173000 | #Constraints: 27521
437.82/439.10 c #Conflicts: 174000 | #Constraints: 28521
437.82/439.10 c #Conflicts: 175000 | #Constraints: 29521
437.82/439.10 c #Conflicts: 176000 | #Constraints: 30521
437.82/439.10 c #Conflicts: 177000 | #Constraints: 31521
437.82/439.10 c #Conflicts: 178000 | #Constraints: 32521
437.82/439.10 c #Conflicts: 179000 | #Constraints: 33521
437.82/439.10 c INPROCESSING
437.82/439.10 c GARBAGE COLLECT
437.82/439.10 c #Conflicts: 180000 | #Constraints: 22377
437.82/439.10 c #Conflicts: 181000 | #Constraints: 23377
437.82/439.10 c #Conflicts: 182000 | #Constraints: 24377
437.82/439.10 c #Conflicts: 183000 | #Constraints: 25377
437.82/439.10 c #Conflicts: 184000 | #Constraints: 26377
437.82/439.10 c #Conflicts: 185000 | #Constraints: 27377
437.82/439.10 c #Conflicts: 186000 | #Constraints: 28377
437.82/439.10 c #Conflicts: 187000 | #Constraints: 29377
437.82/439.10 c #Conflicts: 188000 | #Constraints: 30377
437.82/439.10 c #Conflicts: 189000 | #Constraints: 31377
437.82/439.10 c #Conflicts: 190000 | #Constraints: 32377
437.82/439.10 c #Conflicts: 191000 | #Constraints: 33377
437.82/439.10 c #Conflicts: 192000 | #Constraints: 34377
437.82/439.10 c #Conflicts: 193000 | #Constraints: 35377
437.82/439.10 c #Conflicts: 194000 | #Constraints: 36377
437.82/439.10 c #Conflicts: 195000 | #Constraints: 37377
437.82/439.10 c #Conflicts: 196000 | #Constraints: 38377
437.82/439.10 c #Conflicts: 197000 | #Constraints: 39377
437.82/439.10 c #Conflicts: 198000 | #Constraints: 40377
437.82/439.10 c #Conflicts: 199000 | #Constraints: 41377
437.82/439.10 c #Conflicts: 200000 | #Constraints: 42377
437.82/439.10 c #Conflicts: 201000 | #Constraints: 43377
437.82/439.10 c #Conflicts: 202000 | #Constraints: 44377
437.82/439.10 c #Conflicts: 203000 | #Constraints: 45377
437.82/439.10 c #Conflicts: 204000 | #Constraints: 46377
437.82/439.10 c #Conflicts: 205000 | #Constraints: 47377
437.82/439.10 c #Conflicts: 206000 | #Constraints: 48377
437.82/439.10 c #Conflicts: 207000 | #Constraints: 49377
437.82/439.10 c #Conflicts: 208000 | #Constraints: 50377
437.82/439.10 c #Conflicts: 209000 | #Constraints: 51377
437.82/439.10 c #Conflicts: 210000 | #Constraints: 52377
437.82/439.10 c #Conflicts: 211000 | #Constraints: 53377
437.82/439.10 c INPROCESSING
437.82/439.10 c GARBAGE COLLECT
437.82/439.10 c rational objective -1.11799e-13
473.93/475.21 c #Conflicts: 212000 | #Constraints: 32448
473.93/475.21 c #Conflicts: 213000 | #Constraints: 33448
473.93/475.21 c #Conflicts: 214000 | #Constraints: 34448
473.93/475.21 c #Conflicts: 215000 | #Constraints: 35448
473.93/475.21 c #Conflicts: 216000 | #Constraints: 36448
473.93/475.21 c #Conflicts: 217000 | #Constraints: 37448
473.93/475.21 c #Conflicts: 218000 | #Constraints: 38448
473.93/475.21 c #Conflicts: 219000 | #Constraints: 39448
473.93/475.21 c #Conflicts: 220000 | #Constraints: 40448
473.93/475.21 c #Conflicts: 221000 | #Constraints: 41448
473.93/475.21 c #Conflicts: 222000 | #Constraints: 42448
473.93/475.21 c INPROCESSING
473.93/475.21 c GARBAGE COLLECT
473.93/475.21 c #Conflicts: 223000 | #Constraints: 26775
473.93/475.21 c #Conflicts: 224000 | #Constraints: 27775
473.93/475.21 c #Conflicts: 225000 | #Constraints: 28775
473.93/475.21 c #Conflicts: 226000 | #Constraints: 29775
473.93/475.21 c #Conflicts: 227000 | #Constraints: 30775
473.93/475.21 c #Conflicts: 228000 | #Constraints: 31775
473.93/475.21 c #Conflicts: 229000 | #Constraints: 32775
473.93/475.21 c #Conflicts: 230000 | #Constraints: 33775
473.93/475.21 c #Conflicts: 231000 | #Constraints: 34775
473.93/475.21 c #Conflicts: 232000 | #Constraints: 35775
473.93/475.21 c #Conflicts: 233000 | #Constraints: 36775
473.93/475.21 c #Conflicts: 234000 | #Constraints: 37775
473.93/475.21 c INPROCESSING
473.93/475.21 c GARBAGE COLLECT
473.93/475.21 c rational objective -1.11799e-13
557.02/558.56 c #Conflicts: 235000 | #Constraints: 24728
557.02/558.56 c #Conflicts: 236000 | #Constraints: 25728
557.02/558.56 c #Conflicts: 237000 | #Constraints: 26728
557.02/558.56 c #Conflicts: 238000 | #Constraints: 27728
557.02/558.56 c #Conflicts: 239000 | #Constraints: 28728
557.02/558.56 c #Conflicts: 240000 | #Constraints: 29728
557.02/558.56 c #Conflicts: 241000 | #Constraints: 30728
557.02/558.56 c #Conflicts: 242000 | #Constraints: 31728
557.02/558.56 c #Conflicts: 243000 | #Constraints: 32728
557.02/558.56 c #Conflicts: 244000 | #Constraints: 33728
557.02/558.56 c #Conflicts: 245000 | #Constraints: 34728
557.02/558.56 c #Conflicts: 246000 | #Constraints: 35728
557.02/558.56 c #Conflicts: 247000 | #Constraints: 36728
557.02/558.56 c #Conflicts: 248000 | #Constraints: 37728
557.02/558.56 c #Conflicts: 249000 | #Constraints: 38728
557.02/558.56 c #Conflicts: 250000 | #Constraints: 39728
557.02/558.56 c #Conflicts: 251000 | #Constraints: 40728
557.02/558.56 c #Conflicts: 252000 | #Constraints: 41728
557.02/558.56 c #Conflicts: 253000 | #Constraints: 42728
557.02/558.56 c #Conflicts: 254000 | #Constraints: 43728
557.02/558.56 c #Conflicts: 255000 | #Constraints: 44728
557.02/558.56 c #Conflicts: 256000 | #Constraints: 45728
557.02/558.56 c #Conflicts: 257000 | #Constraints: 46728
557.02/558.56 c #Conflicts: 258000 | #Constraints: 47728
557.02/558.56 c #Conflicts: 259000 | #Constraints: 48728
557.02/558.56 c #Conflicts: 260000 | #Constraints: 49728
557.02/558.56 c #Conflicts: 261000 | #Constraints: 50728
557.02/558.56 c #Conflicts: 262000 | #Constraints: 51728
557.02/558.56 c #Conflicts: 263000 | #Constraints: 52728
557.02/558.56 c #Conflicts: 264000 | #Constraints: 53728
557.02/558.56 c #Conflicts: 265000 | #Constraints: 54728
557.02/558.56 c #Conflicts: 266000 | #Constraints: 55728
557.02/558.56 c #Conflicts: 267000 | #Constraints: 56728
557.02/558.56 c #Conflicts: 268000 | #Constraints: 57728
557.02/558.56 c #Conflicts: 269000 | #Constraints: 58728
557.02/558.56 c #Conflicts: 270000 | #Constraints: 59728
557.02/558.56 c INPROCESSING
557.02/558.56 c GARBAGE COLLECT
557.02/558.56 c rational objective -1.11799e-13
774.75/776.81 c #Conflicts: 271000 | #Constraints: 35714
774.75/776.81 c #Conflicts: 272000 | #Constraints: 36714
774.75/776.81 c #Conflicts: 273000 | #Constraints: 37714
774.75/776.81 c #Conflicts: 274000 | #Constraints: 38714
774.75/776.81 c #Conflicts: 275000 | #Constraints: 39714
774.75/776.81 c #Conflicts: 276000 | #Constraints: 40714
774.75/776.81 c #Conflicts: 277000 | #Constraints: 41714
774.75/776.81 c #Conflicts: 278000 | #Constraints: 42714
774.75/776.81 c #Conflicts: 279000 | #Constraints: 43714
774.75/776.81 c #Conflicts: 280000 | #Constraints: 44714
774.75/776.81 c #Conflicts: 281000 | #Constraints: 45714
774.75/776.81 c #Conflicts: 282000 | #Constraints: 46714
774.75/776.81 c INPROCESSING
774.75/776.81 c GARBAGE COLLECT
774.75/776.81 c #Conflicts: 283000 | #Constraints: 28833
774.75/776.81 c #Conflicts: 284000 | #Constraints: 29833
774.75/776.81 c #Conflicts: 285000 | #Constraints: 30833
774.75/776.81 c #Conflicts: 286000 | #Constraints: 31833
774.75/776.81 c #Conflicts: 287000 | #Constraints: 32833
774.75/776.81 c #Conflicts: 288000 | #Constraints: 33833
774.75/776.81 c #Conflicts: 289000 | #Constraints: 34833
774.75/776.81 c #Conflicts: 290000 | #Constraints: 35833
774.75/776.81 c #Conflicts: 291000 | #Constraints: 36833
774.75/776.81 c #Conflicts: 292000 | #Constraints: 37833
774.75/776.81 c #Conflicts: 293000 | #Constraints: 38833
774.75/776.81 c #Conflicts: 294000 | #Constraints: 39833
774.75/776.81 c #Conflicts: 295000 | #Constraints: 40833
774.75/776.81 c INPROCESSING
774.75/776.81 c GARBAGE COLLECT
774.75/776.81 c #Conflicts: 296000 | #Constraints: 25897
774.75/776.81 c #Conflicts: 297000 | #Constraints: 26897
774.75/776.81 c #Conflicts: 298000 | #Constraints: 27897
774.75/776.81 c #Conflicts: 299000 | #Constraints: 28897
774.75/776.81 c #Conflicts: 300000 | #Constraints: 29897
774.75/776.81 c #Conflicts: 301000 | #Constraints: 30897
774.75/776.81 c #Conflicts: 302000 | #Constraints: 31897
774.75/776.81 c #Conflicts: 303000 | #Constraints: 32897
774.75/776.81 c #Conflicts: 304000 | #Constraints: 33897
774.75/776.81 c #Conflicts: 305000 | #Constraints: 34897
774.75/776.81 c #Conflicts: 306000 | #Constraints: 35897
774.75/776.81 c #Conflicts: 307000 | #Constraints: 36897
774.75/776.81 c #Conflicts: 308000 | #Constraints: 37897
774.75/776.81 c #Conflicts: 309000 | #Constraints: 38897
774.75/776.81 c #Conflicts: 310000 | #Constraints: 39897
774.75/776.81 c #Conflicts: 311000 | #Constraints: 40897
774.75/776.81 c #Conflicts: 312000 | #Constraints: 41897
774.75/776.81 c #Conflicts: 313000 | #Constraints: 42897
774.75/776.81 c #Conflicts: 314000 | #Constraints: 43897
774.75/776.81 c #Conflicts: 315000 | #Constraints: 44897
774.75/776.81 c #Conflicts: 316000 | #Constraints: 45897
774.75/776.81 c #Conflicts: 317000 | #Constraints: 46897
774.75/776.81 c #Conflicts: 318000 | #Constraints: 47897
774.75/776.81 c #Conflicts: 319000 | #Constraints: 48897
774.75/776.81 c #Conflicts: 320000 | #Constraints: 49897
774.75/776.81 c #Conflicts: 321000 | #Constraints: 50897
774.75/776.81 c #Conflicts: 322000 | #Constraints: 51897
774.75/776.81 c #Conflicts: 323000 | #Constraints: 52897
774.75/776.81 c #Conflicts: 324000 | #Constraints: 53897
774.75/776.81 c #Conflicts: 325000 | #Constraints: 54897
774.75/776.81 c #Conflicts: 326000 | #Constraints: 55897
774.75/776.81 c #Conflicts: 327000 | #Constraints: 56897
774.75/776.81 c #Conflicts: 328000 | #Constraints: 57897
774.75/776.81 c #Conflicts: 329000 | #Constraints: 58897
774.75/776.81 c #Conflicts: 330000 | #Constraints: 59897
774.75/776.81 c #Conflicts: 331000 | #Constraints: 60897
774.75/776.81 c #Conflicts: 332000 | #Constraints: 61897
774.75/776.81 c #Conflicts: 333000 | #Constraints: 62897
774.75/776.81 c #Conflicts: 334000 | #Constraints: 63897
774.75/776.81 c #Conflicts: 335000 | #Constraints: 64897
774.75/776.81 c #Conflicts: 336000 | #Constraints: 65898
774.75/776.81 c INPROCESSING
774.75/776.81 c GARBAGE COLLECT
774.75/776.81 c #Conflicts: 337000 | #Constraints: 38847
774.75/776.81 c #Conflicts: 338000 | #Constraints: 39847
774.75/776.81 c #Conflicts: 339000 | #Constraints: 40847
774.75/776.81 c #Conflicts: 340000 | #Constraints: 41847
774.75/776.81 c #Conflicts: 341000 | #Constraints: 42847
774.75/776.81 c #Conflicts: 342000 | #Constraints: 43847
774.75/776.81 c #Conflicts: 343000 | #Constraints: 44847
774.75/776.81 c #Conflicts: 344000 | #Constraints: 45847
774.75/776.81 c #Conflicts: 345000 | #Constraints: 46847
774.75/776.81 c #Conflicts: 346000 | #Constraints: 47847
774.75/776.81 c #Conflicts: 347000 | #Constraints: 48847
936.73/939.25 c #Conflicts: 348000 | #Constraints: 49847
936.73/939.25 c #Conflicts: 349000 | #Constraints: 50847
936.73/939.25 c #Conflicts: 350000 | #Constraints: 51847
936.73/939.25 c INPROCESSING
936.73/939.25 c GARBAGE COLLECT
936.73/939.25 c #Conflicts: 351000 | #Constraints: 31718
936.73/939.25 c #Conflicts: 352000 | #Constraints: 32718
936.73/939.25 c #Conflicts: 353000 | #Constraints: 33718
936.73/939.25 c #Conflicts: 354000 | #Constraints: 34718
936.73/939.25 c #Conflicts: 355000 | #Constraints: 35718
936.73/939.25 c #Conflicts: 356000 | #Constraints: 36718
936.73/939.25 c #Conflicts: 357000 | #Constraints: 37718
936.73/939.25 c #Conflicts: 358000 | #Constraints: 38718
936.73/939.25 c #Conflicts: 359000 | #Constraints: 39718
936.73/939.25 c #Conflicts: 360000 | #Constraints: 40718
936.73/939.25 c #Conflicts: 361000 | #Constraints: 41718
936.73/939.25 c #Conflicts: 362000 | #Constraints: 42718
936.73/939.25 c #Conflicts: 363000 | #Constraints: 43718
936.73/939.25 c #Conflicts: 364000 | #Constraints: 44718
936.73/939.25 c INPROCESSING
936.73/939.25 c GARBAGE COLLECT
936.73/939.25 c #Conflicts: 365000 | #Constraints: 27934
936.73/939.25 c #Conflicts: 366000 | #Constraints: 28934
936.73/939.25 c #Conflicts: 367000 | #Constraints: 29934
936.73/939.25 c #Conflicts: 368000 | #Constraints: 30934
936.73/939.25 c #Conflicts: 369000 | #Constraints: 31934
936.73/939.25 c #Conflicts: 370000 | #Constraints: 32934
936.73/939.25 c #Conflicts: 371000 | #Constraints: 33934
936.73/939.25 c #Conflicts: 372000 | #Constraints: 34934
936.73/939.25 c #Conflicts: 373000 | #Constraints: 35934
936.73/939.25 c #Conflicts: 374000 | #Constraints: 36934
936.73/939.25 c #Conflicts: 375000 | #Constraints: 37934
936.73/939.25 c #Conflicts: 376000 | #Constraints: 38934
936.73/939.25 c #Conflicts: 377000 | #Constraints: 39934
936.73/939.25 c #Conflicts: 378000 | #Constraints: 40934
936.73/939.25 c #Conflicts: 379000 | #Constraints: 41934
936.73/939.25 c #Conflicts: 380000 | #Constraints: 42934
936.73/939.25 c #Conflicts: 381000 | #Constraints: 43934
936.73/939.25 c #Conflicts: 382000 | #Constraints: 44934
936.73/939.25 c #Conflicts: 383000 | #Constraints: 45934
936.73/939.25 c #Conflicts: 384000 | #Constraints: 46934
936.73/939.25 c #Conflicts: 385000 | #Constraints: 47934
936.73/939.25 c #Conflicts: 386000 | #Constraints: 48934
936.73/939.25 c #Conflicts: 387000 | #Constraints: 49934
936.73/939.25 c #Conflicts: 388000 | #Constraints: 50934
936.73/939.25 c #Conflicts: 389000 | #Constraints: 51934
936.73/939.25 c #Conflicts: 390000 | #Constraints: 52934
936.73/939.25 c #Conflicts: 391000 | #Constraints: 53934
936.73/939.25 c #Conflicts: 392000 | #Constraints: 54934
936.73/939.25 c #Conflicts: 393000 | #Constraints: 55934
936.73/939.25 c #Conflicts: 394000 | #Constraints: 56934
936.73/939.25 c #Conflicts: 395000 | #Constraints: 57934
936.73/939.25 c #Conflicts: 396000 | #Constraints: 58934
936.73/939.25 c #Conflicts: 397000 | #Constraints: 59934
936.73/939.25 c #Conflicts: 398000 | #Constraints: 60934
936.73/939.25 c #Conflicts: 399000 | #Constraints: 61934
936.73/939.25 c #Conflicts: 400000 | #Constraints: 62934
936.73/939.25 c #Conflicts: 401000 | #Constraints: 63934
936.73/939.25 c #Conflicts: 402000 | #Constraints: 64934
936.73/939.25 c #Conflicts: 403000 | #Constraints: 65934
936.73/939.25 c #Conflicts: 404000 | #Constraints: 66934
936.73/939.25 c #Conflicts: 405000 | #Constraints: 67934
936.73/939.25 c #Conflicts: 406000 | #Constraints: 68934
936.73/939.25 c #Conflicts: 407000 | #Constraints: 69934
936.73/939.25 c #Conflicts: 408000 | #Constraints: 70934
936.73/939.25 c #Conflicts: 409000 | #Constraints: 71934
936.73/939.25 c INPROCESSING
936.73/939.25 c GARBAGE COLLECT
936.73/939.25 c rational objective -2.23599e-13
1230.47/1233.76 c #Conflicts: 410000 | #Constraints: 41784
1230.47/1233.76 c #Conflicts: 411000 | #Constraints: 42784
1230.47/1233.76 c #Conflicts: 412000 | #Constraints: 43784
1230.47/1233.76 c #Conflicts: 413000 | #Constraints: 44784
1230.47/1233.76 c #Conflicts: 414000 | #Constraints: 45784
1230.47/1233.76 c #Conflicts: 415000 | #Constraints: 46784
1230.47/1233.76 c #Conflicts: 416000 | #Constraints: 47784
1230.47/1233.76 c #Conflicts: 417000 | #Constraints: 48784
1230.47/1233.76 c #Conflicts: 418000 | #Constraints: 49784
1230.47/1233.76 c #Conflicts: 419000 | #Constraints: 50784
1230.47/1233.76 c #Conflicts: 420000 | #Constraints: 51784
1230.47/1233.76 c #Conflicts: 421000 | #Constraints: 52784
1230.47/1233.76 c #Conflicts: 422000 | #Constraints: 53784
1230.47/1233.76 c #Conflicts: 423000 | #Constraints: 54784
1230.47/1233.76 c #Conflicts: 424000 | #Constraints: 55784
1230.47/1233.76 c #Conflicts: 425000 | #Constraints: 56784
1230.47/1233.76 c INPROCESSING
1230.47/1233.76 c GARBAGE COLLECT
1230.47/1233.76 c #Conflicts: 426000 | #Constraints: 34344
1230.47/1233.76 c #Conflicts: 427000 | #Constraints: 35344
1230.47/1233.76 c #Conflicts: 428000 | #Constraints: 36344
1230.47/1233.76 c #Conflicts: 429000 | #Constraints: 37344
1230.47/1233.76 c #Conflicts: 430000 | #Constraints: 38344
1230.47/1233.76 c #Conflicts: 431000 | #Constraints: 39344
1230.47/1233.76 c #Conflicts: 432000 | #Constraints: 40344
1230.47/1233.76 c #Conflicts: 433000 | #Constraints: 41344
1230.47/1233.76 c #Conflicts: 434000 | #Constraints: 42344
1230.47/1233.76 c #Conflicts: 435000 | #Constraints: 43344
1230.47/1233.76 c #Conflicts: 436000 | #Constraints: 44344
1230.47/1233.76 c #Conflicts: 437000 | #Constraints: 45344
1230.47/1233.76 c #Conflicts: 438000 | #Constraints: 46344
1230.47/1233.76 c #Conflicts: 439000 | #Constraints: 47344
1230.47/1233.76 c #Conflicts: 440000 | #Constraints: 48344
1230.47/1233.76 c #Conflicts: 441000 | #Constraints: 49344
1230.47/1233.76 c INPROCESSING
1230.47/1233.76 c GARBAGE COLLECT
1230.47/1233.76 c #Conflicts: 442000 | #Constraints: 30664
1230.47/1233.76 c #Conflicts: 443000 | #Constraints: 31664
1230.47/1233.76 c #Conflicts: 444000 | #Constraints: 32664
1230.47/1233.76 c #Conflicts: 445000 | #Constraints: 33664
1230.47/1233.76 c #Conflicts: 446000 | #Constraints: 34664
1230.47/1233.76 c #Conflicts: 447000 | #Constraints: 35664
1230.47/1233.76 c #Conflicts: 448000 | #Constraints: 36664
1230.47/1233.76 c #Conflicts: 449000 | #Constraints: 37664
1230.47/1233.76 c #Conflicts: 450000 | #Constraints: 38664
1230.47/1233.76 c #Conflicts: 451000 | #Constraints: 39664
1230.47/1233.76 c #Conflicts: 452000 | #Constraints: 40664
1230.47/1233.76 c #Conflicts: 453000 | #Constraints: 41664
1230.47/1233.76 c #Conflicts: 454000 | #Constraints: 42664
1230.47/1233.76 c #Conflicts: 455000 | #Constraints: 43664
1230.47/1233.76 c #Conflicts: 456000 | #Constraints: 44664
1230.47/1233.76 c #Conflicts: 457000 | #Constraints: 45664
1230.47/1233.76 c #Conflicts: 458000 | #Constraints: 46664
1230.47/1233.76 c #Conflicts: 459000 | #Constraints: 47664
1230.47/1233.76 c #Conflicts: 460000 | #Constraints: 48664
1230.47/1233.76 c #Conflicts: 461000 | #Constraints: 49664
1230.47/1233.76 c #Conflicts: 462000 | #Constraints: 50664
1230.47/1233.76 c #Conflicts: 463000 | #Constraints: 51664
1230.47/1233.76 c #Conflicts: 464000 | #Constraints: 52664
1230.47/1233.76 c #Conflicts: 465000 | #Constraints: 53664
1230.47/1233.76 c #Conflicts: 466000 | #Constraints: 54664
1230.47/1233.76 c #Conflicts: 467000 | #Constraints: 55664
1230.47/1233.76 c #Conflicts: 468000 | #Constraints: 56664
1230.47/1233.76 c #Conflicts: 469000 | #Constraints: 57664
1230.47/1233.76 c #Conflicts: 470000 | #Constraints: 58664
1230.47/1233.76 c #Conflicts: 471000 | #Constraints: 59664
1230.47/1233.76 c #Conflicts: 472000 | #Constraints: 60664
1230.47/1233.76 c #Conflicts: 473000 | #Constraints: 61664
1230.47/1233.76 c #Conflicts: 474000 | #Constraints: 62664
1230.47/1233.76 c #Conflicts: 475000 | #Constraints: 63664
1230.47/1233.76 c #Conflicts: 476000 | #Constraints: 64664
1230.47/1233.76 c #Conflicts: 477000 | #Constraints: 65664
1230.47/1233.76 c #Conflicts: 478000 | #Constraints: 66664
1230.47/1233.76 c #Conflicts: 479000 | #Constraints: 67665
1230.47/1233.76 c #Conflicts: 480000 | #Constraints: 68665
1230.47/1233.76 c #Conflicts: 481000 | #Constraints: 69665
1230.47/1233.76 c #Conflicts: 482000 | #Constraints: 70665
1230.47/1233.76 c #Conflicts: 483000 | #Constraints: 71665
1230.47/1233.76 c #Conflicts: 484000 | #Constraints: 72665
1230.47/1233.76 c #Conflicts: 485000 | #Constraints: 73665
1230.47/1233.76 c #Conflicts: 486000 | #Constraints: 74665
1230.47/1233.76 c #Conflicts: 487000 | #Constraints: 75665
1243.63/1246.98 c #Conflicts: 488000 | #Constraints: 76665
1243.63/1246.98 c #Conflicts: 489000 | #Constraints: 77665
1243.63/1246.98 c INPROCESSING
1243.63/1246.98 c GARBAGE COLLECT
1243.63/1246.98 c rational objective -2.23599e-13
1464.17/1468.02 c #Conflicts: 490000 | #Constraints: 44484
1464.17/1468.02 c #Conflicts: 491000 | #Constraints: 45484
1464.17/1468.02 c #Conflicts: 492000 | #Constraints: 46484
1464.17/1468.02 c #Conflicts: 493000 | #Constraints: 47484
1464.17/1468.02 c #Conflicts: 494000 | #Constraints: 48484
1464.17/1468.02 c #Conflicts: 495000 | #Constraints: 49484
1464.17/1468.02 c #Conflicts: 496000 | #Constraints: 50484
1464.17/1468.02 c #Conflicts: 497000 | #Constraints: 51484
1464.17/1468.02 c #Conflicts: 498000 | #Constraints: 52484
1464.17/1468.02 c #Conflicts: 499000 | #Constraints: 53484
1464.17/1468.02 c #Conflicts: 500000 | #Constraints: 54484
1464.17/1468.02 c #Conflicts: 501000 | #Constraints: 55484
1464.17/1468.02 c #Conflicts: 502000 | #Constraints: 56484
1464.17/1468.02 c #Conflicts: 503000 | #Constraints: 57484
1464.17/1468.02 c #Conflicts: 504000 | #Constraints: 58484
1464.17/1468.02 c #Conflicts: 505000 | #Constraints: 59484
1464.17/1468.02 c #Conflicts: 506000 | #Constraints: 60484
1464.17/1468.02 c INPROCESSING
1464.17/1468.02 c GARBAGE COLLECT
1464.17/1468.02 c #Conflicts: 507000 | #Constraints: 35630
1464.17/1468.02 c #Conflicts: 508000 | #Constraints: 36630
1464.17/1468.02 c #Conflicts: 509000 | #Constraints: 37630
1464.17/1468.02 c #Conflicts: 510000 | #Constraints: 38631
1464.17/1468.02 c #Conflicts: 511000 | #Constraints: 39631
1464.17/1468.02 c #Conflicts: 512000 | #Constraints: 40631
1464.17/1468.02 c #Conflicts: 513000 | #Constraints: 41631
1464.17/1468.02 c #Conflicts: 514000 | #Constraints: 42631
1464.17/1468.02 c #Conflicts: 515000 | #Constraints: 43631
1464.17/1468.02 c #Conflicts: 516000 | #Constraints: 44631
1464.17/1468.02 c #Conflicts: 517000 | #Constraints: 45631
1464.17/1468.02 c #Conflicts: 518000 | #Constraints: 46631
1464.17/1468.02 c #Conflicts: 519000 | #Constraints: 47631
1464.17/1468.02 c #Conflicts: 520000 | #Constraints: 48631
1464.17/1468.02 c #Conflicts: 521000 | #Constraints: 49631
1464.17/1468.02 c #Conflicts: 522000 | #Constraints: 50631
1464.17/1468.02 c #Conflicts: 523000 | #Constraints: 51631
1464.17/1468.02 c #Conflicts: 524000 | #Constraints: 52631
1464.17/1468.02 c INPROCESSING
1464.17/1468.02 c GARBAGE COLLECT
1464.17/1468.02 c #Conflicts: 525000 | #Constraints: 32052
1464.17/1468.02 c #Conflicts: 526000 | #Constraints: 33052
1464.17/1468.02 c #Conflicts: 527000 | #Constraints: 34052
1464.17/1468.02 c #Conflicts: 528000 | #Constraints: 35052
1464.17/1468.02 c #Conflicts: 529000 | #Constraints: 36052
1464.17/1468.02 c #Conflicts: 530000 | #Constraints: 37052
1464.17/1468.02 c #Conflicts: 531000 | #Constraints: 38052
1464.17/1468.02 c #Conflicts: 532000 | #Constraints: 39052
1464.17/1468.02 c #Conflicts: 533000 | #Constraints: 40052
1464.17/1468.02 c #Conflicts: 534000 | #Constraints: 41052
1464.17/1468.02 c #Conflicts: 535000 | #Constraints: 42052
1464.17/1468.02 c #Conflicts: 536000 | #Constraints: 43052
1464.17/1468.02 c #Conflicts: 537000 | #Constraints: 44052
1464.17/1468.02 c #Conflicts: 538000 | #Constraints: 45052
1464.17/1468.02 c #Conflicts: 539000 | #Constraints: 46052
1464.17/1468.02 c #Conflicts: 540000 | #Constraints: 47052
1464.17/1468.02 c #Conflicts: 541000 | #Constraints: 48052
1464.17/1468.02 c #Conflicts: 542000 | #Constraints: 49052
1464.17/1468.02 c #Conflicts: 543000 | #Constraints: 50052
1464.17/1468.02 c #Conflicts: 544000 | #Constraints: 51052
1464.17/1468.02 c #Conflicts: 545000 | #Constraints: 52052
1464.17/1468.02 c #Conflicts: 546000 | #Constraints: 53052
1464.17/1468.02 c #Conflicts: 547000 | #Constraints: 54052
1464.17/1468.02 c #Conflicts: 548000 | #Constraints: 55052
1464.17/1468.02 c #Conflicts: 549000 | #Constraints: 56052
1464.17/1468.02 c #Conflicts: 550000 | #Constraints: 57052
1464.17/1468.02 c #Conflicts: 551000 | #Constraints: 58052
1464.17/1468.02 c #Conflicts: 552000 | #Constraints: 59052
1464.17/1468.02 c #Conflicts: 553000 | #Constraints: 60052
1464.17/1468.02 c #Conflicts: 554000 | #Constraints: 61052
1464.17/1468.02 c #Conflicts: 555000 | #Constraints: 62052
1464.17/1468.02 c #Conflicts: 556000 | #Constraints: 63052
1464.17/1468.02 c #Conflicts: 557000 | #Constraints: 64052
1464.17/1468.02 c #Conflicts: 558000 | #Constraints: 65052
1464.17/1468.02 c #Conflicts: 559000 | #Constraints: 66052
1464.17/1468.02 c #Conflicts: 560000 | #Constraints: 67052
1464.17/1468.02 c #Conflicts: 561000 | #Constraints: 68052
1464.17/1468.02 c #Conflicts: 562000 | #Constraints: 69052
1464.17/1468.02 c #Conflicts: 563000 | #Constraints: 70052
1464.17/1468.02 c #Conflicts: 564000 | #Constraints: 71052
1464.17/1468.02 c #Conflicts: 565000 | #Constraints: 72052
1464.17/1468.02 c #Conflicts: 566000 | #Constraints: 73052
1464.17/1468.02 c #Conflicts: 567000 | #Constraints: 74052
1503.16/1507.11 c #Conflicts: 568000 | #Constraints: 75052
1503.16/1507.11 c #Conflicts: 569000 | #Constraints: 76052
1503.16/1507.11 c #Conflicts: 570000 | #Constraints: 77052
1503.16/1507.11 c #Conflicts: 571000 | #Constraints: 78052
1503.16/1507.11 c #Conflicts: 572000 | #Constraints: 79052
1503.16/1507.11 c #Conflicts: 573000 | #Constraints: 80052
1503.16/1507.11 c #Conflicts: 574000 | #Constraints: 81052
1503.16/1507.11 c #Conflicts: 575000 | #Constraints: 82052
1503.16/1507.11 c #Conflicts: 576000 | #Constraints: 83052
1503.16/1507.11 c #Conflicts: 577000 | #Constraints: 84052
1503.16/1507.11 c INPROCESSING
1503.16/1507.11 c GARBAGE COLLECT
1503.16/1507.11 c rational objective 1.11799e-13
1608.68/1612.90 c #Conflicts: 578000 | #Constraints: 47883
1608.68/1612.90 c #Conflicts: 579000 | #Constraints: 48883
1608.68/1612.90 c #Conflicts: 580000 | #Constraints: 49883
1608.68/1612.90 c #Conflicts: 581000 | #Constraints: 50883
1608.68/1612.90 c #Conflicts: 582000 | #Constraints: 51883
1608.68/1612.90 c #Conflicts: 583000 | #Constraints: 52883
1608.68/1612.90 c #Conflicts: 584000 | #Constraints: 53883
1608.68/1612.90 c #Conflicts: 585000 | #Constraints: 54883
1608.68/1612.90 c #Conflicts: 586000 | #Constraints: 55883
1608.68/1612.90 c #Conflicts: 587000 | #Constraints: 56883
1608.68/1612.90 c #Conflicts: 588000 | #Constraints: 57883
1608.68/1612.90 c #Conflicts: 589000 | #Constraints: 58883
1608.68/1612.90 c #Conflicts: 590000 | #Constraints: 59883
1608.68/1612.90 c #Conflicts: 591000 | #Constraints: 60883
1608.68/1612.90 c #Conflicts: 592000 | #Constraints: 61883
1608.68/1612.90 c #Conflicts: 593000 | #Constraints: 62883
1608.68/1612.90 c #Conflicts: 594000 | #Constraints: 63883
1608.68/1612.90 c #Conflicts: 595000 | #Constraints: 64883
1608.68/1612.90 c #Conflicts: 596000 | #Constraints: 65883
1608.68/1612.90 c INPROCESSING
1608.68/1612.90 c GARBAGE COLLECT
1608.68/1612.90 c #Conflicts: 597000 | #Constraints: 38907
1608.68/1612.90 c #Conflicts: 598000 | #Constraints: 39907
1608.68/1612.90 c #Conflicts: 599000 | #Constraints: 40907
1608.68/1612.90 c #Conflicts: 600000 | #Constraints: 41907
1608.68/1612.90 c #Conflicts: 601000 | #Constraints: 42907
1608.68/1612.90 c #Conflicts: 602000 | #Constraints: 43907
1608.68/1612.90 c #Conflicts: 603000 | #Constraints: 44907
1608.68/1612.90 c #Conflicts: 604000 | #Constraints: 45907
1608.68/1612.90 c #Conflicts: 605000 | #Constraints: 46907
1608.68/1612.90 c #Conflicts: 606000 | #Constraints: 47907
1608.68/1612.90 c #Conflicts: 607000 | #Constraints: 48907
1608.68/1612.90 c #Conflicts: 608000 | #Constraints: 49907
1608.68/1612.90 c #Conflicts: 609000 | #Constraints: 50907
1608.68/1612.90 c #Conflicts: 610000 | #Constraints: 51907
1608.68/1612.90 c #Conflicts: 611000 | #Constraints: 52907
1608.68/1612.90 c #Conflicts: 612000 | #Constraints: 53907
1608.68/1612.90 c #Conflicts: 613000 | #Constraints: 54907
1608.68/1612.90 c #Conflicts: 614000 | #Constraints: 55907
1608.68/1612.90 c #Conflicts: 615000 | #Constraints: 56907
1608.68/1612.90 c INPROCESSING
1608.68/1612.90 c GARBAGE COLLECT
1608.68/1612.90 c rational objective 1.11799e-13
1853.46/1858.35 c #Conflicts: 616000 | #Constraints: 34440
1853.46/1858.35 c #Conflicts: 617000 | #Constraints: 35440
1853.46/1858.35 c #Conflicts: 618000 | #Constraints: 36440
1853.46/1858.35 c #Conflicts: 619000 | #Constraints: 37440
1853.46/1858.35 c #Conflicts: 620000 | #Constraints: 38440
1853.46/1858.35 c #Conflicts: 621000 | #Constraints: 39440
1853.46/1858.35 c #Conflicts: 622000 | #Constraints: 40440
1853.46/1858.35 c #Conflicts: 623000 | #Constraints: 41440
1853.46/1858.35 c #Conflicts: 624000 | #Constraints: 42440
1853.46/1858.35 c #Conflicts: 625000 | #Constraints: 43440
1853.46/1858.35 c #Conflicts: 626000 | #Constraints: 44440
1853.46/1858.35 c #Conflicts: 627000 | #Constraints: 45440
1853.46/1858.35 c #Conflicts: 628000 | #Constraints: 46440
1853.46/1858.35 c #Conflicts: 629000 | #Constraints: 47440
1853.46/1858.35 c #Conflicts: 630000 | #Constraints: 48440
1853.46/1858.35 c #Conflicts: 631000 | #Constraints: 49440
1853.46/1858.35 c #Conflicts: 632000 | #Constraints: 50440
1853.46/1858.35 c #Conflicts: 633000 | #Constraints: 51440
1853.46/1858.35 c #Conflicts: 634000 | #Constraints: 52440
1853.46/1858.35 c #Conflicts: 635000 | #Constraints: 53440
1853.46/1858.35 c #Conflicts: 636000 | #Constraints: 54440
1853.46/1858.35 c #Conflicts: 637000 | #Constraints: 55440
1853.46/1858.35 c #Conflicts: 638000 | #Constraints: 56440
1853.46/1858.35 c #Conflicts: 639000 | #Constraints: 57440
1853.46/1858.35 c #Conflicts: 640000 | #Constraints: 58440
1853.46/1858.35 c #Conflicts: 641000 | #Constraints: 59440
1853.46/1858.35 c #Conflicts: 642000 | #Constraints: 60440
1853.46/1858.35 c #Conflicts: 643000 | #Constraints: 61440
1853.46/1858.35 c #Conflicts: 644000 | #Constraints: 62440
1853.46/1858.35 c #Conflicts: 645000 | #Constraints: 63440
1853.46/1858.35 c #Conflicts: 646000 | #Constraints: 64440
1853.46/1858.35 c #Conflicts: 647000 | #Constraints: 65440
1853.46/1858.35 c #Conflicts: 648000 | #Constraints: 66440
1853.46/1858.35 c #Conflicts: 649000 | #Constraints: 67440
1853.46/1858.35 c #Conflicts: 650000 | #Constraints: 68440
1853.46/1858.35 c #Conflicts: 651000 | #Constraints: 69440
1853.46/1858.35 c #Conflicts: 652000 | #Constraints: 70440
1853.46/1858.35 c #Conflicts: 653000 | #Constraints: 71440
1853.46/1858.35 c #Conflicts: 654000 | #Constraints: 72440
1853.46/1858.35 c #Conflicts: 655000 | #Constraints: 73440
1853.46/1858.35 c #Conflicts: 656000 | #Constraints: 74440
1853.46/1858.35 c #Conflicts: 657000 | #Constraints: 75440
1853.46/1858.35 c #Conflicts: 658000 | #Constraints: 76440
1853.46/1858.35 c #Conflicts: 659000 | #Constraints: 77440
1853.46/1858.35 c #Conflicts: 660000 | #Constraints: 78440
1853.46/1858.35 c #Conflicts: 661000 | #Constraints: 79440
1853.46/1858.35 c #Conflicts: 662000 | #Constraints: 80440
1853.46/1858.35 c #Conflicts: 663000 | #Constraints: 81440
1853.46/1858.35 c #Conflicts: 664000 | #Constraints: 82440
1853.46/1858.35 c #Conflicts: 665000 | #Constraints: 83440
1853.46/1858.35 c #Conflicts: 666000 | #Constraints: 84440
1853.46/1858.35 c #Conflicts: 667000 | #Constraints: 85440
1853.46/1858.35 c #Conflicts: 668000 | #Constraints: 86440
1853.46/1858.35 c #Conflicts: 669000 | #Constraints: 87440
1853.46/1858.35 c #Conflicts: 670000 | #Constraints: 88440
1853.46/1858.35 c #Conflicts: 671000 | #Constraints: 89440
1853.46/1858.35 c #Conflicts: 672000 | #Constraints: 90440
1853.46/1858.35 c INPROCESSING
1853.46/1858.35 c GARBAGE COLLECT
1853.46/1858.35 c #Conflicts: 673000 | #Constraints: 51195
1853.46/1858.35 c #Conflicts: 674000 | #Constraints: 52195
1853.46/1858.35 c #Conflicts: 675000 | #Constraints: 53195
1853.46/1858.35 c #Conflicts: 676000 | #Constraints: 54195
1853.46/1858.35 c #Conflicts: 677000 | #Constraints: 55195
1853.46/1858.35 c #Conflicts: 678000 | #Constraints: 56195
1853.46/1858.35 c #Conflicts: 679000 | #Constraints: 57195
1853.46/1858.35 c #Conflicts: 680000 | #Constraints: 58195
1853.46/1858.35 c #Conflicts: 681000 | #Constraints: 59195
1853.46/1858.35 c #Conflicts: 682000 | #Constraints: 60195
1853.46/1858.35 c #Conflicts: 683000 | #Constraints: 61195
1853.46/1858.35 c #Conflicts: 684000 | #Constraints: 62195
1853.46/1858.35 c #Conflicts: 685000 | #Constraints: 63195
1853.46/1858.35 c #Conflicts: 686000 | #Constraints: 64195
1853.46/1858.35 c #Conflicts: 687000 | #Constraints: 65195
1853.46/1858.35 c #Conflicts: 688000 | #Constraints: 66195
1853.46/1858.35 c #Conflicts: 689000 | #Constraints: 67195
1853.46/1858.35 c #Conflicts: 690000 | #Constraints: 68195
1853.46/1858.35 c #Conflicts: 691000 | #Constraints: 69195
1853.46/1858.35 c #Conflicts: 692000 | #Constraints: 70195
1853.46/1858.35 c INPROCESSING
1853.46/1858.35 c GARBAGE COLLECT
1853.46/1858.35 c rational objective 1.11799e-13
2162.76/2168.41 c #Conflicts: 693000 | #Constraints: 40935
2162.76/2168.41 c #Conflicts: 694000 | #Constraints: 41935
2162.76/2168.41 c #Conflicts: 695000 | #Constraints: 42935
2162.76/2168.41 c #Conflicts: 696000 | #Constraints: 43935
2162.76/2168.41 c #Conflicts: 697000 | #Constraints: 44935
2162.76/2168.41 c #Conflicts: 698000 | #Constraints: 45935
2162.76/2168.41 c #Conflicts: 699000 | #Constraints: 46935
2162.76/2168.41 c #Conflicts: 700000 | #Constraints: 47935
2162.76/2168.41 c #Conflicts: 701000 | #Constraints: 48935
2162.76/2168.41 c #Conflicts: 702000 | #Constraints: 49935
2162.76/2168.41 c #Conflicts: 703000 | #Constraints: 50935
2162.76/2168.41 c #Conflicts: 704000 | #Constraints: 51935
2162.76/2168.41 c #Conflicts: 705000 | #Constraints: 52935
2162.76/2168.41 c #Conflicts: 706000 | #Constraints: 53935
2162.76/2168.41 c #Conflicts: 707000 | #Constraints: 54935
2162.76/2168.41 c #Conflicts: 708000 | #Constraints: 55935
2162.76/2168.41 c #Conflicts: 709000 | #Constraints: 56935
2162.76/2168.41 c #Conflicts: 710000 | #Constraints: 57935
2162.76/2168.41 c #Conflicts: 711000 | #Constraints: 58935
2162.76/2168.41 c #Conflicts: 712000 | #Constraints: 59935
2162.76/2168.41 c INPROCESSING
2162.76/2168.41 c GARBAGE COLLECT
2162.76/2168.41 c #Conflicts: 713000 | #Constraints: 35550
2162.76/2168.41 c #Conflicts: 714000 | #Constraints: 36550
2162.76/2168.41 c #Conflicts: 715000 | #Constraints: 37550
2162.76/2168.41 c #Conflicts: 716000 | #Constraints: 38550
2162.76/2168.41 c #Conflicts: 717000 | #Constraints: 39550
2162.76/2168.41 c #Conflicts: 718000 | #Constraints: 40550
2162.76/2168.41 c #Conflicts: 719000 | #Constraints: 41550
2162.76/2168.41 c #Conflicts: 720000 | #Constraints: 42550
2162.76/2168.41 c #Conflicts: 721000 | #Constraints: 43550
2162.76/2168.41 c #Conflicts: 722000 | #Constraints: 44550
2162.76/2168.41 c #Conflicts: 723000 | #Constraints: 45550
2162.76/2168.41 c #Conflicts: 724000 | #Constraints: 46550
2162.76/2168.41 c #Conflicts: 725000 | #Constraints: 47550
2162.76/2168.41 c #Conflicts: 726000 | #Constraints: 48550
2162.76/2168.41 c #Conflicts: 727000 | #Constraints: 49550
2162.76/2168.41 c #Conflicts: 728000 | #Constraints: 50550
2162.76/2168.41 c #Conflicts: 729000 | #Constraints: 51550
2162.76/2168.41 c #Conflicts: 730000 | #Constraints: 52550
2162.76/2168.41 c #Conflicts: 731000 | #Constraints: 53550
2162.76/2168.41 c #Conflicts: 732000 | #Constraints: 54550
2162.76/2168.41 c #Conflicts: 733000 | #Constraints: 55550
2162.76/2168.41 c #Conflicts: 734000 | #Constraints: 56550
2162.76/2168.41 c #Conflicts: 735000 | #Constraints: 57550
2162.76/2168.41 c #Conflicts: 736000 | #Constraints: 58550
2162.76/2168.41 c #Conflicts: 737000 | #Constraints: 59550
2162.76/2168.41 c #Conflicts: 738000 | #Constraints: 60550
2162.76/2168.41 c #Conflicts: 739000 | #Constraints: 61550
2162.76/2168.41 c #Conflicts: 740000 | #Constraints: 62550
2162.76/2168.41 c #Conflicts: 741000 | #Constraints: 63550
2162.76/2168.41 c #Conflicts: 742000 | #Constraints: 64550
2162.76/2168.41 c #Conflicts: 743000 | #Constraints: 65550
2162.76/2168.41 c #Conflicts: 744000 | #Constraints: 66550
2162.76/2168.41 c #Conflicts: 745000 | #Constraints: 67550
2162.76/2168.41 c #Conflicts: 746000 | #Constraints: 68550
2162.76/2168.41 c #Conflicts: 747000 | #Constraints: 69550
2162.76/2168.41 c #Conflicts: 748000 | #Constraints: 70550
2162.76/2168.41 c #Conflicts: 749000 | #Constraints: 71550
2162.76/2168.41 c #Conflicts: 750000 | #Constraints: 72550
2162.76/2168.41 c #Conflicts: 751000 | #Constraints: 73550
2162.76/2168.41 c #Conflicts: 752000 | #Constraints: 74550
2162.76/2168.41 c #Conflicts: 753000 | #Constraints: 75550
2162.76/2168.41 c #Conflicts: 754000 | #Constraints: 76550
2162.76/2168.41 c #Conflicts: 755000 | #Constraints: 77550
2162.76/2168.41 c #Conflicts: 756000 | #Constraints: 78550
2162.76/2168.41 c #Conflicts: 757000 | #Constraints: 79550
2162.76/2168.41 c #Conflicts: 758000 | #Constraints: 80550
2162.76/2168.41 c #Conflicts: 759000 | #Constraints: 81550
2162.76/2168.41 c #Conflicts: 760000 | #Constraints: 82550
2162.76/2168.41 c #Conflicts: 761000 | #Constraints: 83550
2162.76/2168.41 c #Conflicts: 762000 | #Constraints: 84550
2162.76/2168.41 c #Conflicts: 763000 | #Constraints: 85550
2162.76/2168.41 c #Conflicts: 764000 | #Constraints: 86550
2162.76/2168.41 c #Conflicts: 765000 | #Constraints: 87550
2162.76/2168.41 c #Conflicts: 766000 | #Constraints: 88550
2162.76/2168.41 c #Conflicts: 767000 | #Constraints: 89550
2162.76/2168.41 c #Conflicts: 768000 | #Constraints: 90550
2162.76/2168.41 c #Conflicts: 769000 | #Constraints: 91550
2162.76/2168.41 c #Conflicts: 770000 | #Constraints: 92550
2162.76/2168.41 c #Conflicts: 771000 | #Constraints: 93550
2175.93/2181.63 c #Conflicts: 772000 | #Constraints: 94550
2175.93/2181.63 c #Conflicts: 773000 | #Constraints: 95550
2175.93/2181.63 c #Conflicts: 774000 | #Constraints: 96550
2175.93/2181.63 c INPROCESSING
2175.93/2181.63 c GARBAGE COLLECT
2175.93/2181.63 c rational objective 1.11799e-13
2245.25/2251.16 c #Conflicts: 775000 | #Constraints: 54263
2245.25/2251.16 c #Conflicts: 776000 | #Constraints: 55263
2245.25/2251.16 c #Conflicts: 777000 | #Constraints: 56263
2245.25/2251.16 c #Conflicts: 778000 | #Constraints: 57263
2245.25/2251.16 c #Conflicts: 779000 | #Constraints: 58263
2245.25/2251.16 c #Conflicts: 780000 | #Constraints: 59263
2245.25/2251.16 c #Conflicts: 781000 | #Constraints: 60263
2245.25/2251.16 c #Conflicts: 782000 | #Constraints: 61263
2245.25/2251.16 c #Conflicts: 783000 | #Constraints: 62263
2245.25/2251.16 c #Conflicts: 784000 | #Constraints: 63263
2245.25/2251.16 c #Conflicts: 785000 | #Constraints: 64263
2245.25/2251.16 c #Conflicts: 786000 | #Constraints: 65263
2245.25/2251.16 c #Conflicts: 787000 | #Constraints: 66263
2245.25/2251.16 c #Conflicts: 788000 | #Constraints: 67263
2245.25/2251.16 c #Conflicts: 789000 | #Constraints: 68263
2245.25/2251.16 c #Conflicts: 790000 | #Constraints: 69263
2245.25/2251.16 c #Conflicts: 791000 | #Constraints: 70263
2245.25/2251.16 c #Conflicts: 792000 | #Constraints: 71263
2245.25/2251.16 c #Conflicts: 793000 | #Constraints: 72263
2245.25/2251.16 c #Conflicts: 794000 | #Constraints: 73263
2245.25/2251.16 c #Conflicts: 795000 | #Constraints: 74263
2245.25/2251.16 c INPROCESSING
2245.25/2251.16 c GARBAGE COLLECT
2245.25/2251.16 c rational objective 1.11799e-13
2489.41/2495.96 c #Conflicts: 796000 | #Constraints: 42755
2489.41/2495.96 c #Conflicts: 797000 | #Constraints: 43755
2489.41/2495.96 c #Conflicts: 798000 | #Constraints: 44755
2489.41/2495.96 c #Conflicts: 799000 | #Constraints: 45755
2489.41/2495.96 c #Conflicts: 800000 | #Constraints: 46755
2489.41/2495.96 c #Conflicts: 801000 | #Constraints: 47755
2489.41/2495.96 c #Conflicts: 802000 | #Constraints: 48755
2489.41/2495.96 c #Conflicts: 803000 | #Constraints: 49755
2489.41/2495.96 c #Conflicts: 804000 | #Constraints: 50755
2489.41/2495.96 c #Conflicts: 805000 | #Constraints: 51755
2489.41/2495.96 c #Conflicts: 806000 | #Constraints: 52755
2489.41/2495.96 c #Conflicts: 807000 | #Constraints: 53755
2489.41/2495.96 c #Conflicts: 808000 | #Constraints: 54755
2489.41/2495.96 c #Conflicts: 809000 | #Constraints: 55755
2489.41/2495.96 c #Conflicts: 810000 | #Constraints: 56755
2489.41/2495.96 c #Conflicts: 811000 | #Constraints: 57755
2489.41/2495.96 c #Conflicts: 812000 | #Constraints: 58755
2489.41/2495.96 c #Conflicts: 813000 | #Constraints: 59755
2489.41/2495.96 c #Conflicts: 814000 | #Constraints: 60755
2489.41/2495.96 c #Conflicts: 815000 | #Constraints: 61755
2489.41/2495.96 c #Conflicts: 816000 | #Constraints: 62755
2489.41/2495.96 c #Conflicts: 817000 | #Constraints: 63755
2489.41/2495.96 c INPROCESSING
2489.41/2495.96 c GARBAGE COLLECT
2489.41/2495.96 c #Conflicts: 818000 | #Constraints: 37676
2489.41/2495.96 c #Conflicts: 819000 | #Constraints: 38676
2489.41/2495.96 c #Conflicts: 820000 | #Constraints: 39676
2489.41/2495.96 c #Conflicts: 821000 | #Constraints: 40676
2489.41/2495.96 c #Conflicts: 822000 | #Constraints: 41676
2489.41/2495.96 c #Conflicts: 823000 | #Constraints: 42676
2489.41/2495.96 c #Conflicts: 824000 | #Constraints: 43676
2489.41/2495.96 c #Conflicts: 825000 | #Constraints: 44676
2489.41/2495.96 c #Conflicts: 826000 | #Constraints: 45676
2489.41/2495.96 c #Conflicts: 827000 | #Constraints: 46676
2489.41/2495.96 c #Conflicts: 828000 | #Constraints: 47676
2489.41/2495.96 c #Conflicts: 829000 | #Constraints: 48676
2489.41/2495.96 c #Conflicts: 830000 | #Constraints: 49676
2489.41/2495.96 c #Conflicts: 831000 | #Constraints: 50676
2489.41/2495.96 c #Conflicts: 832000 | #Constraints: 51676
2489.41/2495.96 c #Conflicts: 833000 | #Constraints: 52676
2489.41/2495.96 c #Conflicts: 834000 | #Constraints: 53676
2489.41/2495.96 c #Conflicts: 835000 | #Constraints: 54676
2489.41/2495.96 c #Conflicts: 836000 | #Constraints: 55676
2489.41/2495.96 c #Conflicts: 837000 | #Constraints: 56676
2489.41/2495.96 c #Conflicts: 838000 | #Constraints: 57676
2489.41/2495.96 c #Conflicts: 839000 | #Constraints: 58676
2489.41/2495.96 c #Conflicts: 840000 | #Constraints: 59676
2489.41/2495.96 c #Conflicts: 841000 | #Constraints: 60676
2489.41/2495.96 c #Conflicts: 842000 | #Constraints: 61676
2489.41/2495.96 c #Conflicts: 843000 | #Constraints: 62676
2489.41/2495.96 c #Conflicts: 844000 | #Constraints: 63676
2489.41/2495.96 c #Conflicts: 845000 | #Constraints: 64676
2489.41/2495.96 c #Conflicts: 846000 | #Constraints: 65676
2489.41/2495.96 c #Conflicts: 847000 | #Constraints: 66676
2489.41/2495.96 c #Conflicts: 848000 | #Constraints: 67676
2489.41/2495.96 c #Conflicts: 849000 | #Constraints: 68676
2489.41/2495.96 c #Conflicts: 850000 | #Constraints: 69676
2489.41/2495.96 c #Conflicts: 851000 | #Constraints: 70676
2489.41/2495.96 c #Conflicts: 852000 | #Constraints: 71676
2489.41/2495.96 c #Conflicts: 853000 | #Constraints: 72677
2489.41/2495.96 c #Conflicts: 854000 | #Constraints: 73677
2489.41/2495.96 c #Conflicts: 855000 | #Constraints: 74677
2489.41/2495.96 c #Conflicts: 856000 | #Constraints: 75677
2489.41/2495.96 c #Conflicts: 857000 | #Constraints: 76677
2489.41/2495.96 c #Conflicts: 858000 | #Constraints: 77677
2489.41/2495.96 c #Conflicts: 859000 | #Constraints: 78677
2489.41/2495.96 c #Conflicts: 860000 | #Constraints: 79677
2489.41/2495.96 c #Conflicts: 861000 | #Constraints: 80677
2489.41/2495.96 c #Conflicts: 862000 | #Constraints: 81677
2489.41/2495.96 c #Conflicts: 863000 | #Constraints: 82677
2489.41/2495.96 c #Conflicts: 864000 | #Constraints: 83677
2489.41/2495.96 c #Conflicts: 865000 | #Constraints: 84677
2489.41/2495.96 c #Conflicts: 866000 | #Constraints: 85677
2489.41/2495.96 c #Conflicts: 867000 | #Constraints: 86677
2489.41/2495.96 c #Conflicts: 868000 | #Constraints: 87677
2489.41/2495.96 c #Conflicts: 869000 | #Constraints: 88677
2489.41/2495.96 c #Conflicts: 870000 | #Constraints: 89677
2489.41/2495.96 c #Conflicts: 871000 | #Constraints: 90677
2489.41/2495.96 c #Conflicts: 872000 | #Constraints: 91677
2489.41/2495.96 c #Conflicts: 873000 | #Constraints: 92677
2489.41/2495.96 c #Conflicts: 874000 | #Constraints: 93677
2524.12/2530.75 c #Conflicts: 875000 | #Constraints: 94677
2524.12/2530.75 c #Conflicts: 876000 | #Constraints: 95677
2524.12/2530.75 c #Conflicts: 877000 | #Constraints: 96677
2524.12/2530.75 c #Conflicts: 878000 | #Constraints: 97677
2524.12/2530.75 c #Conflicts: 879000 | #Constraints: 98677
2524.12/2530.75 c #Conflicts: 880000 | #Constraints: 99677
2524.12/2530.75 c #Conflicts: 881000 | #Constraints: 100677
2524.12/2530.75 c #Conflicts: 882000 | #Constraints: 101677
2524.12/2530.75 c #Conflicts: 883000 | #Constraints: 102677
2524.12/2530.75 c INPROCESSING
2524.12/2530.75 c GARBAGE COLLECT
2524.12/2530.75 c rational objective 1.11799e-13
2583.86/2590.63 c #Conflicts: 884000 | #Constraints: 57256
2583.86/2590.63 c #Conflicts: 885000 | #Constraints: 58256
2583.86/2590.63 c #Conflicts: 886000 | #Constraints: 59256
2583.86/2590.63 c #Conflicts: 887000 | #Constraints: 60256
2583.86/2590.63 c #Conflicts: 888000 | #Constraints: 61256
2583.86/2590.63 c #Conflicts: 889000 | #Constraints: 62256
2583.86/2590.63 c #Conflicts: 890000 | #Constraints: 63256
2583.86/2590.63 c #Conflicts: 891000 | #Constraints: 64256
2583.86/2590.63 c #Conflicts: 892000 | #Constraints: 65256
2583.86/2590.63 c #Conflicts: 893000 | #Constraints: 66256
2583.86/2590.63 c #Conflicts: 894000 | #Constraints: 67256
2583.86/2590.63 c #Conflicts: 895000 | #Constraints: 68256
2583.86/2590.63 c #Conflicts: 896000 | #Constraints: 69256
2583.86/2590.63 c #Conflicts: 897000 | #Constraints: 70256
2583.86/2590.63 c #Conflicts: 898000 | #Constraints: 71256
2583.86/2590.63 c #Conflicts: 899000 | #Constraints: 72256
2583.86/2590.63 c #Conflicts: 900000 | #Constraints: 73256
2583.86/2590.63 c #Conflicts: 901000 | #Constraints: 74256
2583.86/2590.63 c #Conflicts: 902000 | #Constraints: 75256
2583.86/2590.63 c #Conflicts: 903000 | #Constraints: 76256
2583.86/2590.64 c #Conflicts: 904000 | #Constraints: 77256
2583.86/2590.64 c #Conflicts: 905000 | #Constraints: 78256
2583.86/2590.64 c #Conflicts: 906000 | #Constraints: 79256
2583.86/2590.64 c INPROCESSING
2583.86/2590.64 c GARBAGE COLLECT
2583.86/2590.64 c rational objective 1.11799e-13
2904.83/2912.48 c #Conflicts: 907000 | #Constraints: 45428
2904.83/2912.48 c #Conflicts: 908000 | #Constraints: 46428
2904.83/2912.48 c #Conflicts: 909000 | #Constraints: 47428
2904.83/2912.48 c #Conflicts: 910000 | #Constraints: 48428
2904.83/2912.48 c #Conflicts: 911000 | #Constraints: 49428
2904.83/2912.48 c #Conflicts: 912000 | #Constraints: 50428
2904.83/2912.48 c #Conflicts: 913000 | #Constraints: 51428
2904.83/2912.48 c #Conflicts: 914000 | #Constraints: 52428
2904.83/2912.48 c #Conflicts: 915000 | #Constraints: 53428
2904.83/2912.48 c #Conflicts: 916000 | #Constraints: 54429
2904.83/2912.48 c #Conflicts: 917000 | #Constraints: 55429
2904.83/2912.48 c #Conflicts: 918000 | #Constraints: 56429
2904.83/2912.48 c #Conflicts: 919000 | #Constraints: 57429
2904.83/2912.48 c #Conflicts: 920000 | #Constraints: 58429
2904.83/2912.48 c #Conflicts: 921000 | #Constraints: 59429
2904.83/2912.48 c #Conflicts: 922000 | #Constraints: 60429
2904.83/2912.48 c #Conflicts: 923000 | #Constraints: 61429
2904.83/2912.48 c #Conflicts: 924000 | #Constraints: 62429
2904.83/2912.48 c #Conflicts: 925000 | #Constraints: 63429
2904.83/2912.48 c #Conflicts: 926000 | #Constraints: 64429
2904.83/2912.48 c #Conflicts: 927000 | #Constraints: 65429
2904.83/2912.48 c #Conflicts: 928000 | #Constraints: 66429
2904.83/2912.48 c #Conflicts: 929000 | #Constraints: 67429
2904.83/2912.48 c #Conflicts: 930000 | #Constraints: 68429
2904.83/2912.48 c INPROCESSING
2904.83/2912.48 c GARBAGE COLLECT
2904.83/2912.48 c #Conflicts: 931000 | #Constraints: 41323
2904.83/2912.48 c #Conflicts: 932000 | #Constraints: 42323
2904.83/2912.48 c #Conflicts: 933000 | #Constraints: 43323
2904.83/2912.48 c #Conflicts: 934000 | #Constraints: 44323
2904.83/2912.48 c #Conflicts: 935000 | #Constraints: 45323
2904.83/2912.48 c #Conflicts: 936000 | #Constraints: 46323
2904.83/2912.48 c #Conflicts: 937000 | #Constraints: 47323
2904.83/2912.48 c #Conflicts: 938000 | #Constraints: 48323
2904.83/2912.48 c #Conflicts: 939000 | #Constraints: 49323
2904.83/2912.48 c #Conflicts: 940000 | #Constraints: 50323
2904.83/2912.48 c #Conflicts: 941000 | #Constraints: 51323
2904.83/2912.48 c #Conflicts: 942000 | #Constraints: 52323
2904.83/2912.48 c #Conflicts: 943000 | #Constraints: 53323
2904.83/2912.48 c #Conflicts: 944000 | #Constraints: 54323
2904.83/2912.48 c #Conflicts: 945000 | #Constraints: 55323
2904.83/2912.48 c #Conflicts: 946000 | #Constraints: 56323
2904.83/2912.48 c #Conflicts: 947000 | #Constraints: 57323
2904.83/2912.48 c #Conflicts: 948000 | #Constraints: 58323
2904.83/2912.48 c #Conflicts: 949000 | #Constraints: 59323
2904.83/2912.48 c #Conflicts: 950000 | #Constraints: 60323
2904.83/2912.48 c #Conflicts: 951000 | #Constraints: 61323
2904.83/2912.48 c #Conflicts: 952000 | #Constraints: 62323
2904.83/2912.48 c #Conflicts: 953000 | #Constraints: 63323
2904.83/2912.48 c #Conflicts: 954000 | #Constraints: 64323
2904.83/2912.48 c #Conflicts: 955000 | #Constraints: 65323
2904.83/2912.48 c #Conflicts: 956000 | #Constraints: 66323
2904.83/2912.48 c #Conflicts: 957000 | #Constraints: 67323
2904.83/2912.48 c #Conflicts: 958000 | #Constraints: 68323
2904.83/2912.48 c #Conflicts: 959000 | #Constraints: 69323
2904.83/2912.48 c #Conflicts: 960000 | #Constraints: 70323
2904.83/2912.48 c #Conflicts: 961000 | #Constraints: 71323
2904.83/2912.48 c #Conflicts: 962000 | #Constraints: 72323
2904.83/2912.48 c #Conflicts: 963000 | #Constraints: 73324
2904.83/2912.48 c #Conflicts: 964000 | #Constraints: 74324
2904.83/2912.48 c #Conflicts: 965000 | #Constraints: 75324
2904.83/2912.48 c #Conflicts: 966000 | #Constraints: 76324
2904.83/2912.48 c #Conflicts: 967000 | #Constraints: 77324
2904.83/2912.48 c #Conflicts: 968000 | #Constraints: 78324
2904.83/2912.48 c #Conflicts: 969000 | #Constraints: 79324
2904.83/2912.48 c #Conflicts: 970000 | #Constraints: 80324
2904.83/2912.48 c #Conflicts: 971000 | #Constraints: 81324
2904.83/2912.48 c #Conflicts: 972000 | #Constraints: 82324
2904.83/2912.48 c #Conflicts: 973000 | #Constraints: 83324
2904.83/2912.48 c #Conflicts: 974000 | #Constraints: 84324
2904.83/2912.48 c #Conflicts: 975000 | #Constraints: 85324
2904.83/2912.48 c #Conflicts: 976000 | #Constraints: 86324
2904.83/2912.48 c #Conflicts: 977000 | #Constraints: 87324
2904.83/2912.48 c #Conflicts: 978000 | #Constraints: 88324
2904.83/2912.48 c #Conflicts: 979000 | #Constraints: 89324
2904.83/2912.48 c #Conflicts: 980000 | #Constraints: 90324
2904.83/2912.48 c #Conflicts: 981000 | #Constraints: 91324
2904.83/2912.48 c #Conflicts: 982000 | #Constraints: 92324
2904.83/2912.48 c #Conflicts: 983000 | #Constraints: 93324
2904.83/2912.48 c #Conflicts: 984000 | #Constraints: 94324
2904.83/2912.48 c #Conflicts: 985000 | #Constraints: 95324
3016.34/3024.22 c #Conflicts: 986000 | #Constraints: 96324
3016.34/3024.22 c #Conflicts: 987000 | #Constraints: 97324
3016.34/3024.22 c #Conflicts: 988000 | #Constraints: 98324
3016.34/3024.22 c #Conflicts: 989000 | #Constraints: 99324
3016.34/3024.22 c #Conflicts: 990000 | #Constraints: 100324
3016.34/3024.22 c #Conflicts: 991000 | #Constraints: 101324
3016.34/3024.22 c #Conflicts: 992000 | #Constraints: 102324
3016.34/3024.22 c #Conflicts: 993000 | #Constraints: 103324
3016.34/3024.22 c #Conflicts: 994000 | #Constraints: 104324
3016.34/3024.22 c #Conflicts: 995000 | #Constraints: 105324
3016.34/3024.22 c #Conflicts: 996000 | #Constraints: 106324
3016.34/3024.22 c #Conflicts: 997000 | #Constraints: 107324
3016.34/3024.22 c #Conflicts: 998000 | #Constraints: 108324
3016.34/3024.22 c #Conflicts: 999000 | #Constraints: 109324
3016.34/3024.22 c INPROCESSING
3016.34/3024.22 c GARBAGE COLLECT
3016.34/3024.22 c rational objective 1.11799e-13
3313.35/3322.08 c #Conflicts: 1000000 | #Constraints: 60457
3313.35/3322.08 c #Conflicts: 1001000 | #Constraints: 61457
3313.35/3322.08 c #Conflicts: 1002000 | #Constraints: 62457
3313.35/3322.08 c #Conflicts: 1003000 | #Constraints: 63457
3313.35/3322.08 c #Conflicts: 1004000 | #Constraints: 64457
3313.35/3322.08 c #Conflicts: 1005000 | #Constraints: 65457
3313.35/3322.08 c #Conflicts: 1006000 | #Constraints: 66457
3313.35/3322.08 c #Conflicts: 1007000 | #Constraints: 67457
3313.35/3322.08 c #Conflicts: 1008000 | #Constraints: 68457
3313.35/3322.08 c #Conflicts: 1009000 | #Constraints: 69457
3313.35/3322.08 c #Conflicts: 1010000 | #Constraints: 70457
3313.35/3322.08 c #Conflicts: 1011000 | #Constraints: 71457
3313.35/3322.08 c #Conflicts: 1012000 | #Constraints: 72457
3313.35/3322.08 c #Conflicts: 1013000 | #Constraints: 73457
3313.35/3322.08 c #Conflicts: 1014000 | #Constraints: 74457
3313.35/3322.08 c #Conflicts: 1015000 | #Constraints: 75457
3313.35/3322.08 c #Conflicts: 1016000 | #Constraints: 76457
3313.35/3322.08 c #Conflicts: 1017000 | #Constraints: 77457
3313.35/3322.08 c #Conflicts: 1018000 | #Constraints: 78457
3313.35/3322.08 c #Conflicts: 1019000 | #Constraints: 79457
3313.35/3322.08 c #Conflicts: 1020000 | #Constraints: 80457
3313.35/3322.08 c #Conflicts: 1021000 | #Constraints: 81457
3313.35/3322.08 c #Conflicts: 1022000 | #Constraints: 82457
3313.35/3322.08 c #Conflicts: 1023000 | #Constraints: 83457
3313.35/3322.08 c #Conflicts: 1024000 | #Constraints: 84457
3313.35/3322.08 c INPROCESSING
3313.35/3322.08 c GARBAGE COLLECT
3313.35/3322.08 c #Conflicts: 1025000 | #Constraints: 47996
3313.35/3322.08 c #Conflicts: 1026000 | #Constraints: 48996
3313.35/3322.08 c #Conflicts: 1027000 | #Constraints: 49996
3313.35/3322.08 c #Conflicts: 1028000 | #Constraints: 50996
3313.35/3322.08 c #Conflicts: 1029000 | #Constraints: 51996
3313.35/3322.08 c #Conflicts: 1030000 | #Constraints: 52996
3313.35/3322.08 c #Conflicts: 1031000 | #Constraints: 53996
3313.35/3322.08 c #Conflicts: 1032000 | #Constraints: 54996
3313.35/3322.08 c #Conflicts: 1033000 | #Constraints: 55996
3313.35/3322.08 c #Conflicts: 1034000 | #Constraints: 56996
3313.35/3322.08 c #Conflicts: 1035000 | #Constraints: 57996
3313.35/3322.08 c #Conflicts: 1036000 | #Constraints: 58996
3313.35/3322.08 c #Conflicts: 1037000 | #Constraints: 59996
3313.35/3322.08 c #Conflicts: 1038000 | #Constraints: 60996
3313.35/3322.08 c #Conflicts: 1039000 | #Constraints: 61996
3313.35/3322.08 c #Conflicts: 1040000 | #Constraints: 62996
3313.35/3322.08 c #Conflicts: 1041000 | #Constraints: 63996
3313.35/3322.08 c #Conflicts: 1042000 | #Constraints: 64996
3313.35/3322.08 c #Conflicts: 1043000 | #Constraints: 65996
3313.35/3322.08 c #Conflicts: 1044000 | #Constraints: 66996
3313.35/3322.08 c #Conflicts: 1045000 | #Constraints: 67996
3313.35/3322.08 c #Conflicts: 1046000 | #Constraints: 68996
3313.35/3322.08 c #Conflicts: 1047000 | #Constraints: 69996
3313.35/3322.08 c #Conflicts: 1048000 | #Constraints: 70996
3313.35/3322.08 c #Conflicts: 1049000 | #Constraints: 71996
3313.35/3322.08 c INPROCESSING
3313.35/3322.08 c GARBAGE COLLECT
3313.35/3322.08 c #Conflicts: 1050000 | #Constraints: 42694
3313.35/3322.08 c #Conflicts: 1051000 | #Constraints: 43694
3313.35/3322.08 c #Conflicts: 1052000 | #Constraints: 44694
3313.35/3322.08 c #Conflicts: 1053000 | #Constraints: 45694
3313.35/3322.08 c #Conflicts: 1054000 | #Constraints: 46694
3313.35/3322.08 c #Conflicts: 1055000 | #Constraints: 47694
3313.35/3322.08 c #Conflicts: 1056000 | #Constraints: 48694
3313.35/3322.08 c #Conflicts: 1057000 | #Constraints: 49694
3313.35/3322.08 c #Conflicts: 1058000 | #Constraints: 50694
3313.35/3322.08 c #Conflicts: 1059000 | #Constraints: 51694
3313.35/3322.08 c #Conflicts: 1060000 | #Constraints: 52694
3313.35/3322.08 c #Conflicts: 1061000 | #Constraints: 53694
3313.35/3322.08 c #Conflicts: 1062000 | #Constraints: 54694
3313.35/3322.08 c #Conflicts: 1063000 | #Constraints: 55694
3313.35/3322.08 c #Conflicts: 1064000 | #Constraints: 56694
3313.35/3322.08 c #Conflicts: 1065000 | #Constraints: 57694
3313.35/3322.08 c #Conflicts: 1066000 | #Constraints: 58694
3313.35/3322.08 c #Conflicts: 1067000 | #Constraints: 59694
3313.35/3322.08 c #Conflicts: 1068000 | #Constraints: 60694
3313.35/3322.08 c #Conflicts: 1069000 | #Constraints: 61694
3313.35/3322.08 c #Conflicts: 1070000 | #Constraints: 62694
3313.35/3322.08 c #Conflicts: 1071000 | #Constraints: 63694
3313.35/3322.08 c #Conflicts: 1072000 | #Constraints: 64694
3313.35/3322.08 c #Conflicts: 1073000 | #Constraints: 65694
3313.35/3322.08 c #Conflicts: 1074000 | #Constraints: 66694
3313.35/3322.08 c #Conflicts: 1075000 | #Constraints: 67694
3313.35/3322.08 c #Conflicts: 1076000 | #Constraints: 68694
3313.35/3322.08 c #Conflicts: 1077000 | #Constraints: 69694
3600.08/3609.50 c #Conflicts: 1078000 | #Constraints: 70694
3600.08/3609.50 c #Conflicts: 1079000 | #Constraints: 71694
3600.08/3609.50 c #Conflicts: 1080000 | #Constraints: 72694
3600.08/3609.50 c #Conflicts: 1081000 | #Constraints: 73694
3600.08/3609.50 c #Conflicts: 1082000 | #Constraints: 74694
3600.08/3609.50 c #Conflicts: 1083000 | #Constraints: 75694
3600.08/3609.50 c #Conflicts: 1084000 | #Constraints: 76694
3600.08/3609.50 c #Conflicts: 1085000 | #Constraints: 77694
3600.08/3609.50 c #Conflicts: 1086000 | #Constraints: 78694
3600.08/3609.50 c #Conflicts: 1087000 | #Constraints: 79694
3600.08/3609.50 c #Conflicts: 1088000 | #Constraints: 80694
3600.08/3609.50 c #Conflicts: 1089000 | #Constraints: 81694
3600.08/3609.50 c #Conflicts: 1090000 | #Constraints: 82694
3600.08/3609.50 c #Conflicts: 1091000 | #Constraints: 83694
3600.08/3609.50 c #Conflicts: 1092000 | #Constraints: 84694
3600.08/3609.50 c #Conflicts: 1093000 | #Constraints: 85694
3600.08/3609.50 c #Conflicts: 1094000 | #Constraints: 86694
3600.08/3609.50 c #Conflicts: 1095000 | #Constraints: 87694
3600.08/3609.50 c #Conflicts: 1096000 | #Constraints: 88694
3600.08/3609.50 c #Conflicts: 1097000 | #Constraints: 89694
3600.08/3609.50 c #Conflicts: 1098000 | #Constraints: 90694
3600.08/3609.50 c #Conflicts: 1099000 | #Constraints: 91694
3600.08/3609.50 c #Conflicts: 1100000 | #Constraints: 92694
3600.08/3609.50 c #Conflicts: 1101000 | #Constraints: 93694
3600.08/3609.50 c #Conflicts: 1102000 | #Constraints: 94694
3600.08/3609.50 c #Conflicts: 1103000 | #Constraints: 95694
3600.08/3609.50 c #Conflicts: 1104000 | #Constraints: 96694
3600.08/3609.50 c #Conflicts: 1105000 | #Constraints: 97694
3600.08/3609.50 c #Conflicts: 1106000 | #Constraints: 98694
3600.08/3609.50 c #Conflicts: 1107000 | #Constraints: 99694
3600.08/3609.50 c #Conflicts: 1108000 | #Constraints: 100694
3600.08/3609.50 c #Conflicts: 1109000 | #Constraints: 101694
3600.08/3609.50 c #Conflicts: 1110000 | #Constraints: 102694
3600.08/3609.50 c #Conflicts: 1111000 | #Constraints: 103694
3600.08/3609.50 c #Conflicts: 1112000 | #Constraints: 104694
3600.08/3609.50 c #Conflicts: 1113000 | #Constraints: 105694
3600.08/3609.50 c #Conflicts: 1114000 | #Constraints: 106694
3600.08/3609.50 c #Conflicts: 1115000 | #Constraints: 107694
3600.08/3609.50 c #Conflicts: 1116000 | #Constraints: 108694
3600.08/3609.50 c cpu time 3581.44 s
3600.08/3609.50 c deterministic time 77095043920 7.71e+10
3600.08/3609.50 c optimization time 402.562 s
3600.08/3609.50 c total solve time 3178.84 s
3600.08/3609.50 c core-guided solve time 0 s
3600.08/3609.50 c propagation time 1045.01 s
3600.08/3609.50 c conflict analysis time 2455.77 s
3600.08/3609.50 c propagations 587796193
3600.08/3609.50 c resolve steps 248134823
3600.08/3609.50 c decisions 1697596
3600.08/3609.50 c conflicts 1116702
3600.08/3609.50 c restarts 2046
3600.08/3609.50 c inprocessing phases 53
3600.08/3609.50 c garbage collections 53 ,( 100.00 )
3600.08/3609.50 c input clauses 6156 ,( 68.67 )
3600.08/3609.50 c input cardinalities 0 ,( 0.00 )
3600.08/3609.50 c input general constraints 2809 ,( 31.33 )
3600.08/3609.50 c input average constraint length 3.10
3600.08/3609.50 c input average constraint degree 2009414223033.63
3600.08/3609.50 c learned clauses 901337 ,( 80.71 )
3600.08/3609.50 c learned cardinalities 98 ,( 0.01 )
3600.08/3609.50 c learned general constraints 215277 ,( 19.28 )
3600.08/3609.50 c learned average constraint length 485.90
3600.08/3609.50 c learned average constraint degree 55853200.00
3600.08/3609.50 c watched CF 32, 64, 128, Arb: 50477 , 0 , 0 , 0
3600.08/3609.50 c counting CF 32, 64, 128, Arb: 167608 , 1 , 0 , 0
3600.08/3609.50 c watched constraints 50477 ,( 23.15 )
3600.08/3609.50 c counting constraints 167609 ,( 76.85 )
3600.08/3609.50 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 704484448 , 1995509 , 12343409774 ,( 109533914 , 12233875860 )
3600.08/3609.50 c gcd simplifications 19629
3600.08/3609.50 c detected cardinalities 21
3600.08/3609.50 c weakened non-implied lits 82528184
3600.08/3609.50 c weakened non-implying lits 372157
3600.08/3609.50 c original variables 4482
3600.08/3609.50 c clausal propagations 160845656
3600.08/3609.50 c cardinality propagations 82293
3600.08/3609.50 c watched propagations 1217728
3600.08/3609.50 c counting propagations 424524189
3600.08/3609.50 c watch lookups 48141788978
3600.08/3609.50 c watch backjump lookups 0
3600.08/3609.50 c watch checks 6562770483
3600.08/3609.50 c propagation checks 19018736335
3600.08/3609.50 c constraint additions 2191430589
3600.08/3609.50 c trail pops 590606664
3600.08/3609.50 c formula constraints 8965
3600.08/3609.50 c learned constraints 1116693
3600.08/3609.50 c bound constraints 0
3600.08/3609.50 c core-guided constraints 0
3600.08/3609.50 c encountered formula constraints 194748045
3600.08/3609.50 c encountered learned constraints 54331790
3600.08/3609.50 c encountered bound constraints 0
3600.08/3609.50 c encountered core-guided constraints 0
3600.08/3609.50 c LP total time 18.4427 s
3600.08/3609.50 c LP solve time 16.95 s
3600.08/3609.50 c LP constraints added 8965
3600.08/3609.50 c LP constraints removed 0
3600.08/3609.50 c LP pivots internal 111705
3600.08/3609.50 c LP pivots root 105376
3600.08/3609.50 c LP calls 250
3600.08/3609.50 c LP optimalities 236
3600.08/3609.50 c LP no pivot count 19
3600.08/3609.50 c LP infeasibilities 10
3600.08/3609.50 c LP valid Farkas constraints 10
3600.08/3609.50 c LP learned Farkas constraints 9
3600.08/3609.50 c LP basis resets 0
3600.08/3609.50 c LP cycling count 0
3600.08/3609.50 c LP singular count 0
3600.08/3609.50 c LP no primal count 0
3600.08/3609.50 c LP no farkas count 0
3600.08/3609.50 c LP other issue count 0
3600.08/3609.50 c LP Gomory cuts 0
3600.08/3609.50 c LP learned cuts 0
3600.08/3609.50 c LP deleted cuts 0
3600.08/3609.50 c LP encountered Gomory constraints 0
3600.08/3609.50 c LP encountered Farkas constraints 170033
3600.08/3609.50 c LP encountered learned Farkas constraints 1648
3600.08/3609.50 c CG auxiliary variables introduced 0
3600.08/3609.50 c CG solutions found 0
3600.08/3609.50 c CG cores constructed 0
3600.08/3609.50 c CG core cardinality constraints returned 0
3600.08/3609.50 c CG unit cores 0
3600.08/3609.50 c CG single cores 0
3600.08/3609.50 c CG blocks removed during cardinality reduction 0
3600.08/3609.50 c CG first core best 0
3600.08/3609.50 c CG decision core best 0
3600.08/3609.50 c CG core reduction tie 0
3600.08/3609.50 c CG core degree average 0.00
3600.08/3609.50 c CG core slack average 0.00
3600.08/3609.50 c CG core upper bound improvements 0
3600.08/3609.50 c STR number of successful calls 0
3600.08/3609.50 c STR number of unsuccessful calls 0
3600.08/3609.50 c STR number of inconclusive calls 0
3600.08/3609.50 c STR number of successful attempts 0
3600.08/3609.50 c STR number of unsuccessful attempts 0
3600.08/3609.50 c STR number of inconclusive attempts 0
3600.08/3609.50 c STR average degree increase per successful call inf
3600.08/3609.50 c STR average degree increase per successful attempt inf
3600.08/3609.50 c STR total number of conflicts for successful attempts 0
3600.08/3609.50 c STR total number of conflicts for unsuccessful attempts 0
3600.08/3609.50 c STR total number of conflicts for inconclusive attempts 0
3600.08/3609.50 c STR average number of conflicts per successful attempt inf
3600.08/3609.50 c STR average number of conflicts per unsuccessful attempt inf
3600.08/3609.50 c STR average number of conflicts per inconclusive attempt inf
3600.08/3609.50 c AVG.sumWPerc 66.88
3600.08/3609.50 c bigint constraints 1
3600.08/3609.50 s UNKNOWN
3600.08/3609.50 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (61839 MiB free)
memory of node 1: 64465 MiB (61437 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4542076-1753202597/watcher-4542076-1753202597 -o /tmp/evaluation-result-4542076-1753202597/solver-4542076-1753202597 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1753198973-183312 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4542076-1753202597.opb /tmp/proof-4542076-1753202597
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=183724, runsolver pid=183721
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 4.36 4.20 4.11 4/263 183731
/proc/meminfo: memFree=126677100/131249996 swapFree=33010160/33010684
[pid=183724] ppid=183721 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/183724/stat : 183724 (run-dec-ls-log.) S 183721 183724 183292 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235938161 4292608 768 18446744073709551615 94410327150592 94410328045125 140730257782880 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94410328284176 94410328331920 94410358292480 140730257791295 140730257791455 140730257791455 140730257797059 0
/proc/183724/statm: 1048 768 704 219 0 110 0
[pid=183726] ppid=183724 vsize=73764 memory=26356 CPUtime=0.07 cores=5,7
/proc/183726/stat : 183726 (roundingsat) R 183724 183724 183292 0 -1 4194304 4541 0 0 0 7 0 0 0 20 0 1 0 235938161 75534336 6589 18446744073709551615 4227072 8923433 140729836273008 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 24076288 140729836280180 140729836280358 140729836280358 140729836285930 0
/proc/183726/statm: 18441 6589 2304 1147 0 5868 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 77956 KiB
Current children cumulated memory: 29428 KiB
[startup+0.205402 s]*
/proc/loadavg: 4.36 4.20 4.11 5/264 183736
/proc/meminfo: memFree=126660856/131249996 swapFree=33010160/33010684
[pid=183724] ppid=183721 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/183724/stat : 183724 (run-dec-ls-log.) S 183721 183724 183292 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235938161 4292608 768 18446744073709551615 94410327150592 94410328045125 140730257782880 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94410328284176 94410328331920 94410358292480 140730257791295 140730257791455 140730257791455 140730257797059 0
/proc/183724/statm: 1048 768 704 219 0 110 0
[pid=183726] ppid=183724 vsize=75092 memory=27380 CPUtime=0.19 cores=5,7
/proc/183726/stat : 183726 (roundingsat) R 183724 183724 183292 0 -1 4194304 4783 0 0 0 18 1 0 0 20 0 1 0 235938161 76894208 6845 18446744073709551615 4227072 8923433 140729836273008 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24076288 140729836280180 140729836280358 140729836280358 140729836285930 0
/proc/183726/statm: 18773 6845 2336 1147 0 6200 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 79284 KiB
Current children cumulated memory: 30452 KiB
[startup+0.305039 s]*
/proc/loadavg: 4.33 4.20 4.11 5/269 183746
/proc/meminfo: memFree=126620660/131249996 swapFree=33010160/33010684
[pid=183724] ppid=183721 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/183724/stat : 183724 (run-dec-ls-log.) S 183721 183724 183292 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235938161 4292608 768 18446744073709551615 94410327150592 94410328045125 140730257782880 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94410328284176 94410328331920 94410358292480 140730257791295 140730257791455 140730257791455 140730257797059 0
/proc/183724/statm: 1048 768 704 219 0 110 0
[pid=183726] ppid=183724 vsize=76292 memory=29428 CPUtime=0.28 cores=5,7
/proc/183726/stat : 183726 (roundingsat) R 183724 183724 183292 0 -1 4194304 5319 0 0 0 27 1 0 0 20 0 1 0 235938161 78123008 7357 18446744073709551615 4227072 8923433 140729836273008 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24076288 140729836280180 140729836280358 140729836280358 140729836285930 0
/proc/183726/statm: 19073 7357 2336 1147 0 6500 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 80484 KiB
Current children cumulated memory: 32500 KiB
[startup+0.700161 s]
/proc/loadavg: 4.33 4.20 4.11 5/269 183746
/proc/meminfo: memFree=126564904/131249996 swapFree=33010160/33010684
[pid=183724] ppid=183721 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/183724/stat : 183724 (run-dec-ls-log.) S 183721 183724 183292 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235938161 4292608 768 18446744073709551615 94410327150592 94410328045125 140730257782880 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94410328284176 94410328331920 94410358292480 140730257791295 140730257791455 140730257791455 140730257797059 0
/proc/183724/statm: 1048 768 704 219 0 110 0
[pid=183726] ppid=183724 vsize=77964 memory=31732 CPUtime=0.67 cores=5,7
/proc/183726/stat : 183726 (roundingsat) R 183724 183724 183292 0 -1 4194304 5874 0 0 0 66 1 0 0 20 0 1 0 235938161 79835136 7933 18446744073709551615 4227072 8923433 140729836273008 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24076288 140729836280180 140729836280358 140729836280358 140729836285930 0
/proc/183726/statm: 19491 7933 2336 1147 0 6918 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 82156 KiB
Current children cumulated memory: 34804 KiB
[startup+1.50019 s]
/proc/loadavg: 4.33 4.20 4.11 5/269 183746
/proc/meminfo: memFree=126545248/131249996 swapFree=33010160/33010684
[pid=183724] ppid=183721 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/183724/stat : 183724 (run-dec-ls-log.) S 183721 183724 183292 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235938161 4292608 768 18446744073709551615 94410327150592 94410328045125 140730257782880 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94410328284176 94410328331920 94410358292480 140730257791295 140730257791455 140730257791455 140730257797059 0
/proc/183724/statm: 1048 768 704 219 0 110 0
[pid=183726] ppid=183724 vsize=78804 memory=35084 CPUtime=1.47 cores=5,7
/proc/183726/stat : 183726 (roundingsat) R 183724 183724 183292 0 -1 4194304 6226 0 0 0 145 2 0 0 20 0 1 0 235938161 80695296 8771 18446744073709551615 4227072 8923433 140729836273008 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24076288 140729836280180 140729836280358 140729836280358 140729836285930 0
/proc/183726/statm: 19701 8771 2336 1147 0 7128 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 82996 KiB
Current children cumulated memory: 38156 KiB
[startup+3.1053 s]
/proc/loadavg: 4.33 4.20 4.11 5/269 183746
/proc/meminfo: memFree=126477496/131249996 swapFree=33010160/33010684
[pid=183724] ppid=183721 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/183724/stat : 183724 (run-dec-ls-log.) S 183721 183724 183292 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235938161 4292608 768 18446744073709551615 94410327150592 94410328045125 140730257782880 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94410328284176 94410328331920 94410358292480 140730257791295 140730257791455 140730257791455 140730257797059 0
/proc/183724/statm: 1048 768 704 219 0 110 0
[pid=183726] ppid=183724 vsize=79808 memory=35724 CPUtime=3.07 cores=5,7
/proc/183726/stat : 183726 (roundingsat) R 183724 183724 183292 0 -1 4194304 6387 0 0 0 304 3 0 0 20 0 1 0 235938161 81723392 8931 18446744073709551615 4227072 8923433 140729836273008 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24076288 140729836280180 140729836280358 140729836280358 140729836285930 0
/proc/183726/statm: 19952 8931 2336 1147 0 7379 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 84000 KiB
Current children cumulated memory: 38796 KiB
[startup+6.30017 s]
/proc/loadavg: 4.30 4.20 4.11 5/269 183746
/proc/meminfo: memFree=126407544/131249996 swapFree=33010160/33010684
[pid=183724] ppid=183721 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/183724/stat : 183724 (run-dec-ls-log.) S 183721 183724 183292 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235938161 4292608 768 18446744073709551615 94410327150592 94410328045125 140730257782880 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94410328284176 94410328331920 94410358292480 140730257791295 140730257791455 140730257791455 140730257797059 0
/proc/183724/statm: 1048 768 704 219 0 110 0
[pid=183726] ppid=183724 vsize=80248 memory=36492 CPUtime=6.25 cores=5,7
/proc/183726/stat : 183726 (roundingsat) R 183724 183724 183292 0 -1 4194304 6565 0 0 0 620 5 0 0 20 0 1 0 235938161 82173952 9123 18446744073709551615 4227072 8923433 140729836273008 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24076288 140729836280180 140729836280358 140729836280358 140729836285930 0
/proc/183726/statm: 20062 9123 2336 1147 0 7489 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 84440 KiB
Current children cumulated memory: 39564 KiB
[startup+12.7002 s]
/proc/loadavg: 4.28 4.19 4.11 5/269 183746
/proc/meminfo: memFree=126320980/131249996 swapFree=33010160/33010684
[pid=183724] ppid=183721 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/183724/stat : 183724 (run-dec-ls-log.) S 183721 183724 183292 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235938161 4292608 768 18446744073709551615 94410327150592 94410328045125 140730257782880 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94410328284176 94410328331920 94410358292480 140730257791295 140730257791455 140730257791455 140730257797059 0
/proc/183724/statm: 1048 768 704 219 0 110 0
[pid=183726] ppid=183724 vsize=84696 memory=38412 CPUtime=12.64 cores=5,7
/proc/183726/stat : 183726 (roundingsat) R 183724 183724 183292 0 -1 4194304 7051 0 0 0 1255 9 0 0 20 0 1 0 235938161 86728704 9603 18446744073709551615 4227072 8923433 140729836273008 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24076288 140729836280180 140729836280358 140729836280358 140729836285930 0
/proc/183726/statm: 21174 9603 2336 1147 0 8601 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 88888 KiB
Current children cumulated memory: 41484 KiB
[startup+25.5002 s]
/proc/loadavg: 4.32 4.20 4.11 5/269 183795
/proc/meminfo: memFree=123201544/131249996 swapFree=33010160/33010684
[pid=183724] ppid=183721 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/183724/stat : 183724 (run-dec-ls-log.) S 183721 183724 183292 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235938161 4292608 768 18446744073709551615 94410327150592 94410328045125 140730257782880 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94410328284176 94410328331920 94410358292480 140730257791295 140730257791455 140730257791455 140730257797059 0
/proc/183724/statm: 1048 768 704 219 0 110 0
[pid=183726] ppid=183724 vsize=86548 memory=40588 CPUtime=25.41 cores=5,7
/proc/183726/stat : 183726 (roundingsat) R 183724 183724 183292 0 -1 4194304 7591 0 0 0 2522 19 0 0 20 0 1 0 235938161 88625152 10147 18446744073709551615 4227072 8923433 140729836273008 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24076288 140729836280180 140729836280358 140729836280358 140729836285930 0
/proc/183726/statm: 21637 10147 2336 1147 0 9064 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 90740 KiB
Current children cumulated memory: 43660 KiB
[startup+51.1055 s]
/proc/loadavg: 4.25 4.20 4.11 5/269 183795
/proc/meminfo: memFree=122961512/131249996 swapFree=33010160/33010684
[pid=183724] ppid=183721 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/183724/stat : 183724 (run-dec-ls-log.) S 183721 183724 183292 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235938161 4292608 768 18446744073709551615 94410327150592 94410328045125 140730257782880 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94410328284176 94410328331920 94410358292480 140730257791295 140730257791455 140730257791455 140730257797059 0
/proc/183724/statm: 1048 768 704 219 0 110 0
[pid=183726] ppid=183724 vsize=102948 memory=54576 CPUtime=50.95 cores=5,7
/proc/183726/stat : 183726 (roundingsat) R 183724 183724 183292 0 -1 4194304 10124 0 0 0 5058 37 0 0 20 0 1 0 235938161 105418752 13644 18446744073709551615 4227072 8923433 140729836273008 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24076288 140729836280180 140729836280358 140729836280358 140729836285930 0
/proc/183726/statm: 25737 13644 2336 1147 0 13164 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 107140 KiB
Current children cumulated memory: 57648 KiB
[startup+102.3 s]
/proc/loadavg: 4.20 4.20 4.11 5/270 183799
/proc/meminfo: memFree=122289136/131249996 swapFree=33010160/33010684
[pid=183724] ppid=183721 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/183724/stat : 183724 (run-dec-ls-log.) S 183721 183724 183292 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235938161 4292608 768 18446744073709551615 94410327150592 94410328045125 140730257782880 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94410328284176 94410328331920 94410358292480 140730257791295 140730257791455 140730257791455 140730257797059 0
/proc/183724/statm: 1048 768 704 219 0 110 0
[pid=183726] ppid=183724 vsize=130192 memory=86060 CPUtime=102.01 cores=5,7
/proc/183726/stat : 183726 (roundingsat) R 183724 183724 183292 0 -1 4194304 14414 0 0 0 10127 74 0 0 20 0 1 0 235938161 133316608 21515 18446744073709551615 4227072 8923433 140729836273008 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24076288 140729836280180 140729836280358 140729836280358 140729836285930 0
/proc/183726/statm: 32548 21515 2336 1147 0 19975 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 134384 KiB
Current children cumulated memory: 89132 KiB
[startup+162.3 s]
/proc/loadavg: 4.21 4.20 4.12 5/270 183801
/proc/meminfo: memFree=121643056/131249996 swapFree=33010160/33010684
[pid=183724] ppid=183721 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/183724/stat : 183724 (run-dec-ls-log.) S 183721 183724 183292 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235938161 4292608 768 18446744073709551615 94410327150592 94410328045125 140730257782880 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94410328284176 94410328331920 94410358292480 140730257791295 140730257791455 140730257791455 140730257797059 0
/proc/183724/statm: 1048 768 704 219 0 110 0
[pid=183726] ppid=183724 vsize=154776 memory=95724 CPUtime=161.85 cores=5,7
/proc/183726/stat : 183726 (roundingsat) R 183724 183724 183292 0 -1 4194304 16321 0 0 0 16068 117 0 0 20 0 1 0 235938161 158490624 23931 18446744073709551615 4227072 8923433 140729836273008 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24076288 140729836280180 140729836280358 140729836280358 140729836285930 0
/proc/183726/statm: 38694 23931 2336 1147 0 26121 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 158968 KiB
Current children cumulated memory: 98796 KiB
[startup+222.3 s]
/proc/loadavg: 4.19 4.20 4.12 5/269 183803
/proc/meminfo: memFree=120889320/131249996 swapFree=33010160/33010684
[pid=183724] ppid=183721 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/183724/stat : 183724 (run-dec-ls-log.) S 183721 183724 183292 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235938161 4292608 768 18446744073709551615 94410327150592 94410328045125 140730257782880 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94410328284176 94410328331920 94410358292480 140730257791295 140730257791455 140730257791455 140730257797059 0
/proc/183724/statm: 1048 768 704 219 0 110 0
[pid=183726] ppid=183724 vsize=156276 memory=97260 CPUtime=221.69 cores=5,7
/proc/183726/stat : 183726 (roundingsat) R 183724 183724 183292 0 -1 4194304 16708 0 0 0 22012 157 0 0 20 0 1 0 235938161 160026624 24315 18446744073709551615 4227072 8923433 140729836273008 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24076288 140729836280180 140729836280358 140729836280358 140729836285930 0
/proc/183726/statm: 39069 24315 2336 1147 0 26496 0
################
# More data... #
################
/proc/183726/statm: 167016 119108 2336 1147 0 154443 0
Current children cumulated CPU time: 3094.23 s
Current children cumulated vsize: 672256 KiB
Current children cumulated memory: 479504 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.18 4.18 5/268 183957
/proc/meminfo: memFree=98698192/131249996 swapFree=33010160/33010684
[pid=183724] ppid=183721 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/183724/stat : 183724 (run-dec-ls-log.) S 183721 183724 183292 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235938161 4292608 768 18446744073709551615 94410327150592 94410328045125 140730257782880 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94410328284176 94410328331920 94410358292480 140730257791295 140730257791455 140730257791455 140730257797059 0
/proc/183724/statm: 1048 768 704 219 0 110 0
[pid=183726] ppid=183724 vsize=668844 memory=477200 CPUtime=3154.08 cores=5,7
/proc/183726/stat : 183726 (roundingsat) R 183724 183724 183292 0 -1 4194304 67767 0 0 0 313734 1674 0 0 20 0 1 0 235938161 684896256 119300 18446744073709551615 4227072 8923433 140729836273008 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24076288 140729836280180 140729836280358 140729836280358 140729836285930 0
/proc/183726/statm: 167211 119300 2336 1147 0 154638 0
Current children cumulated CPU time: 3154.08 s
Current children cumulated vsize: 673036 KiB
Current children cumulated memory: 480272 KiB
[startup+3222.3 s]
/proc/loadavg: 4.20 4.19 4.18 5/268 183959
/proc/meminfo: memFree=98356948/131249996 swapFree=33010160/33010684
[pid=183724] ppid=183721 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/183724/stat : 183724 (run-dec-ls-log.) S 183721 183724 183292 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235938161 4292608 768 18446744073709551615 94410327150592 94410328045125 140730257782880 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94410328284176 94410328331920 94410358292480 140730257791295 140730257791455 140730257791455 140730257797059 0
/proc/183724/statm: 1048 768 704 219 0 110 0
[pid=183726] ppid=183724 vsize=673244 memory=481424 CPUtime=3213.92 cores=5,7
/proc/183726/stat : 183726 (roundingsat) R 183724 183724 183292 0 -1 4194304 68811 0 0 0 319686 1706 0 0 20 0 1 0 235938161 689401856 120356 18446744073709551615 4227072 8923433 140729836273008 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24076288 140729836280180 140729836280358 140729836280358 140729836285930 0
/proc/183726/statm: 168311 120356 2336 1147 0 155738 0
Current children cumulated CPU time: 3213.92 s
Current children cumulated vsize: 677436 KiB
Current children cumulated memory: 484496 KiB
[startup+3282.3 s]
/proc/loadavg: 4.18 4.19 4.18 5/268 183961
/proc/meminfo: memFree=97966476/131249996 swapFree=33010160/33010684
[pid=183724] ppid=183721 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/183724/stat : 183724 (run-dec-ls-log.) S 183721 183724 183292 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235938161 4292608 768 18446744073709551615 94410327150592 94410328045125 140730257782880 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94410328284176 94410328331920 94410358292480 140730257791295 140730257791455 140730257791455 140730257797059 0
/proc/183724/statm: 1048 768 704 219 0 110 0
[pid=183726] ppid=183724 vsize=673244 memory=481424 CPUtime=3273.75 cores=5,7
/proc/183726/stat : 183726 (roundingsat) R 183724 183724 183292 0 -1 4194304 68824 0 0 0 325639 1736 0 0 20 0 1 0 235938161 689401856 120356 18446744073709551615 4227072 8923433 140729836273008 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24076288 140729836280180 140729836280358 140729836280358 140729836285930 0
/proc/183726/statm: 168311 120356 2336 1147 0 155738 0
Current children cumulated CPU time: 3273.75 s
Current children cumulated vsize: 677436 KiB
Current children cumulated memory: 484496 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.18 4.18 5/267 183963
/proc/meminfo: memFree=97542064/131249996 swapFree=33010160/33010684
[pid=183724] ppid=183721 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/183724/stat : 183724 (run-dec-ls-log.) S 183721 183724 183292 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235938161 4292608 768 18446744073709551615 94410327150592 94410328045125 140730257782880 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94410328284176 94410328331920 94410358292480 140730257791295 140730257791455 140730257791455 140730257797059 0
/proc/183724/statm: 1048 768 704 219 0 110 0
[pid=183726] ppid=183724 vsize=673244 memory=487440 CPUtime=3333.59 cores=5,7
/proc/183726/stat : 183726 (roundingsat) R 183724 183724 183292 0 -1 4194304 68845 0 0 0 331595 1764 0 0 20 0 1 0 235938161 689401856 121860 18446744073709551615 4227072 8923433 140729836273008 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24076288 140729836280180 140729836280358 140729836280358 140729836285930 0
/proc/183726/statm: 168311 121860 2336 1147 0 155738 0
Current children cumulated CPU time: 3333.59 s
Current children cumulated vsize: 677436 KiB
Current children cumulated memory: 490512 KiB
[startup+3402.3 s]
/proc/loadavg: 4.20 4.18 4.18 5/267 183965
/proc/meminfo: memFree=97179552/131249996 swapFree=33010160/33010684
[pid=183724] ppid=183721 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/183724/stat : 183724 (run-dec-ls-log.) S 183721 183724 183292 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235938161 4292608 768 18446744073709551615 94410327150592 94410328045125 140730257782880 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94410328284176 94410328331920 94410358292480 140730257791295 140730257791455 140730257791455 140730257797059 0
/proc/183724/statm: 1048 768 704 219 0 110 0
[pid=183726] ppid=183724 vsize=673244 memory=507024 CPUtime=3393.41 cores=5,7
/proc/183726/stat : 183726 (roundingsat) R 183724 183724 183292 0 -1 4194304 68889 0 0 0 337553 1788 0 0 20 0 1 0 235938161 689401856 126756 18446744073709551615 4227072 8923433 140729836273008 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24076288 140729836280180 140729836280358 140729836280358 140729836285930 0
/proc/183726/statm: 168311 126756 2336 1147 0 155738 0
Current children cumulated CPU time: 3393.41 s
Current children cumulated vsize: 677436 KiB
Current children cumulated memory: 510096 KiB
[startup+3462.3 s]
/proc/loadavg: 4.20 4.18 4.18 5/266 183967
/proc/meminfo: memFree=96822304/131249996 swapFree=33010160/33010684
[pid=183724] ppid=183721 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/183724/stat : 183724 (run-dec-ls-log.) S 183721 183724 183292 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235938161 4292608 768 18446744073709551615 94410327150592 94410328045125 140730257782880 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94410328284176 94410328331920 94410358292480 140730257791295 140730257791455 140730257791455 140730257797059 0
/proc/183724/statm: 1048 768 704 219 0 110 0
[pid=183726] ppid=183724 vsize=675620 memory=508560 CPUtime=3453.26 cores=5,7
/proc/183726/stat : 183726 (roundingsat) R 183724 183724 183292 0 -1 4194304 69281 0 0 0 343511 1815 0 0 20 0 1 0 235938161 691834880 127140 18446744073709551615 4227072 8923433 140729836273008 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24076288 140729836280180 140729836280358 140729836280358 140729836285930 0
/proc/183726/statm: 168905 127140 2336 1147 0 156332 0
Current children cumulated CPU time: 3453.26 s
Current children cumulated vsize: 679812 KiB
Current children cumulated memory: 511632 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.17 4.18 5/266 183969
/proc/meminfo: memFree=96478764/131249996 swapFree=33010160/33010684
[pid=183724] ppid=183721 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/183724/stat : 183724 (run-dec-ls-log.) S 183721 183724 183292 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235938161 4292608 768 18446744073709551615 94410327150592 94410328045125 140730257782880 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94410328284176 94410328331920 94410358292480 140730257791295 140730257791455 140730257791455 140730257797059 0
/proc/183724/statm: 1048 768 704 219 0 110 0
[pid=183726] ppid=183724 vsize=681396 memory=512656 CPUtime=3513.1 cores=5,7
/proc/183726/stat : 183726 (roundingsat) R 183724 183724 183292 0 -1 4194304 70319 0 0 0 349475 1835 0 0 20 0 1 0 235938161 697749504 128164 18446744073709551615 4227072 8923433 140729836273008 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24076288 140729836280180 140729836280358 140729836280358 140729836285930 0
/proc/183726/statm: 170349 128164 2336 1147 0 157776 0
Current children cumulated CPU time: 3513.1 s
Current children cumulated vsize: 685588 KiB
Current children cumulated memory: 515728 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.15 4.17 5/266 183971
/proc/meminfo: memFree=96164836/131249996 swapFree=33010160/33010684
[pid=183724] ppid=183721 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/183724/stat : 183724 (run-dec-ls-log.) S 183721 183724 183292 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235938161 4292608 768 18446744073709551615 94410327150592 94410328045125 140730257782880 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94410328284176 94410328331920 94410358292480 140730257791295 140730257791455 140730257791455 140730257797059 0
/proc/183724/statm: 1048 768 704 219 0 110 0
[pid=183726] ppid=183724 vsize=686840 memory=537120 CPUtime=3572.95 cores=5,7
/proc/183726/stat : 183726 (roundingsat) R 183724 183724 183292 0 -1 4194304 71317 0 0 0 355439 1856 0 0 20 0 1 0 235938161 703324160 134280 18446744073709551615 4227072 8923433 140729836273008 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24076288 140729836280180 140729836280358 140729836280358 140729836285930 0
/proc/183726/statm: 171710 134280 2336 1147 0 159137 0
Current children cumulated CPU time: 3572.95 s
Current children cumulated vsize: 691032 KiB
Current children cumulated memory: 540192 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.5 s]
/proc/loadavg: 4.14 4.16 4.17 5/266 183971
/proc/meminfo: memFree=95954984/131249996 swapFree=33010160/33010684
[pid=183724] ppid=183721 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/183724/stat : 183724 (run-dec-ls-log.) S 183721 183724 183292 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235938161 4292608 768 18446744073709551615 94410327150592 94410328045125 140730257782880 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94410328284176 94410328331920 94410358292480 140730257791295 140730257791455 140730257791455 140730257797059 0
/proc/183724/statm: 1048 768 704 219 0 110 0
[pid=183726] ppid=183724 vsize=690680 memory=554364 CPUtime=3600.08 cores=5,7
/proc/183726/stat : 183726 (roundingsat) R 183724 183724 183292 0 -1 4194304 72043 0 0 0 358143 1865 0 0 20 0 1 0 235938161 707256320 138591 18446744073709551615 4227072 8923433 140729836273008 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24076288 140729836280180 140729836280358 140729836280358 140729836285930 0
/proc/183726/statm: 172670 138591 2336 1147 0 160097 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 694872 KiB
Current children cumulated memory: 557436 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.5 s]
# the end of solver process 183724 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001009 s, system=0.001012 s
[startup+3609.51 s]
# the end of solver process 183726 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3581.45 s, system=18.6567 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+3609.5 s]
/proc/loadavg: 4.14 4.16 4.17 5/266 183971
/proc/meminfo: memFree=95954984/131249996 swapFree=33010160/33010684
[pid=183724] ppid=183721 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/183724/stat : 183724 (run-dec-ls-log.) S 183721 183724 183292 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235938161 4292608 768 18446744073709551615 94410327150592 94410328045125 140730257782880 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94410328284176 94410328331920 94410358292480 140730257791295 140730257791455 140730257791455 140730257797059 0
/proc/183724/statm: 1048 768 704 219 0 110 0
[pid=183726] ppid=183724 vsize=690680 memory=554364 CPUtime=3600.08 cores=5,7
/proc/183726/stat : 183726 (roundingsat) R 183724 183724 183292 0 -1 4194304 72043 0 0 0 358143 1865 0 0 20 0 1 0 235938161 707256320 138591 18446744073709551615 4227072 8923433 140729836273008 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24076288 140729836280180 140729836280358 140729836280358 140729836285930 0
/proc/183726/statm: 172670 138591 2336 1147 0 160097 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 694872 KiB
Current children cumulated memory: 557436 KiB
Child status: 2
Real time (s): 3609.51
CPU time (s): 3600.1
CPU user time (s): 3581.45
CPU system time (s): 18.6567
CPU usage (%): 99.7393
Max. virtual memory (cumulated for all children) (KiB): 694872
Max. memory (cumulated for all children) (KiB): 557436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.45
system time used= 18.6567
maximum resident set size= 554748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72270
page faults= 0
swaps= 0
block input operations= 0
block output operations= 22011824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 250
involuntary context switches= 5285
# summary of solver processes directly reported to runsolver:
# pid: 183724,183726
# total CPU time (s): 3600.1
# total CPU user time (s): 3581.45
# total CPU system time (s): 18.6567
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.84591 second user time and 16.1249 second system time
The end
Begin job on nodeC029 at 2025-07-22 18:43:17
IDJOB=4542076
IDBENCH=163785
IDSOLVER=3354
FILE ID=nodeC029/4542076-1753202597
RUNJOBID= nodeC029-1753198973-183312
SLURM_JOB_ID= 9687762
Free space on /tmp= 413316 MiB
SOLVER NAME= roundingsat-ls-log 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/equalities/diag_comm/normalized-27diagcomm_less_teq.opb
COMMAND LINE= run-dec-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4542076-1753202597/watcher-4542076-1753202597 -o /tmp/evaluation-result-4542076-1753202597/solver-4542076-1753202597 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1753198973-183312 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4542076-1753202597.opb /tmp/proof-4542076-1753202597
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= e80427fd7184340cbc2fb1b3fd72520e
RANDOM SEED=1063239506
nodeC029 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 : 3531.345
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.46
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 : 3599.725
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.46
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 : 3599.802
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.46
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.712
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.46
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 : 3599.698
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.46
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 : 3603.302
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.46
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 : 3480.330
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.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.704
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.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 125326676 kB
MemAvailable: 129711804 kB
Buffers: 2128 kB
Cached: 5144488 kB
SwapCached: 36 kB
Active: 1327652 kB
Inactive: 3904696 kB
Active(anon): 107236 kB
Inactive(anon): 4716 kB
Active(file): 1220416 kB
Inactive(file): 3899980 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 24220 kB
Writeback: 0 kB
AnonPages: 88764 kB
Mapped: 118480 kB
Shmem: 26216 kB
KReclaimable: 207940 kB
Slab: 305052 kB
SReclaimable: 207940 kB
SUnreclaim: 97112 kB
KernelStack: 4164 kB
PageTables: 2892 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 417420 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150488 kB
VmallocChunk: 0 kB
Percpu: 3968 kB
HardwareCorrupted: 0 kB
AnonHugePages: 16384 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: 193236 kB
DirectMap2M: 11112448 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 401688 MiB
End job on nodeC029 at 2025-07-22 19:43:27