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