(1,3) (2,9) (4,26) (5,11) (6,12) (7,28) (8,15) (10,13) (14,27) (16,22) (17,24) (18,21) (19,30) (20,29) (23,25) 
nodes: 2065  conflicts: 2  modelTime: 1704  solveTime: 11303  totalTime: 13020  modelSize: 72338  readTime: 13 size: 15