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