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