(1,2) (3,22) (4,26) (5,25) (6,24) (7,9) (8,19) (10,23) (11,13) (12,15) (14,29) (16,21) (17,30) (18,27) (20,28) 
nodes: 19855  conflicts: 16  modelTime: 1682  solveTime: 96690  totalTime: 98500  modelSize: 72269  readTime: 127 size: 15