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