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