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