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