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