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