(1,9) (2,14) (3,22) (4,12) (5,11) (6,13) (7,26) (8,28) (10,24) (15,25) (16,19) (17,21) (18,23) (20,29) 
nodes: 3933  conflicts: 49  modelTime: 1725  solveTime: 21989  totalTime: 23733  modelSize: 72265  readTime: 19 size: 14