(1,29) (3,8) (5,24) (6,9) (7,26) (10,13) (11,20) (12,23) (14,28) (15,27) (16,25) (17,21) (18,22) (19,30) 
nodes: 4102  conflicts: 48  modelTime: 1717  solveTime: 17609  totalTime: 19346  modelSize: 72262  readTime: 20 size: 14