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