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