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