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