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