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