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