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