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