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