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