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