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