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