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