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