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