(2,9) (3,5) (4,6) (7,11) (8,22) (10,13) (12,16) (14,29) (15,18) (17,26) (19,30) (20,24) (21,27) (25,28) 
nodes: 19390  conflicts: 13  modelTime: 1699  solveTime: 73676  totalTime: 75394  modelSize: 72269  readTime: 18 size: 14