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