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