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