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