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