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