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