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