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