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