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