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