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