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