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