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