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