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