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