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