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