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