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