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