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