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