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