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