(2,13) (3,11) (4,8) (5,30) (6,12) (7,14) (9,17) (10,19) (15,18) (16,26) (20,22) (21,29) (23,27) (25,28) 
nodes: 60733  conflicts: 45  modelTime: 1697  solveTime: 281170  totalTime: 282886  modelSize: 72262  readTime: 19 size: 14