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