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