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