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