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