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