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