(1,24) (2,3) (4,18) (5,20) (7,12) (8,15) (9,23) (11,30) (13,14) (16,27) (17,19) (21,29) (22,25) 
nodes: 1089  conflicts: 120  modelTime: 939  solveTime: 4923  totalTime: 5875  modelSize: 72262  readTime: 12 size: 13