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