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