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