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