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