(1,29) (2,27) (4,21) (5,28) (6,10) (7,8) (9,25) (11,24) (12,22) (13,18) (14,20) (15,19) (16,30) (17,26) 
nodes: 647  conflicts: 58  modelTime: 988  solveTime: 4970  totalTime: 5970  modelSize: 72262  readTime: 12 size: 14