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