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