(1,25) (2,17) (3,5) (4,26) (6,30) (7,8) (9,19) (10,12) (13,18) (14,16) (20,21) (22,27) (23,24) (28,29) 
nodes: 19489  conflicts: 74  modelTime: 1724  solveTime: 102713  totalTime: 104456  modelSize: 72265  readTime: 19 size: 14