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