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