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