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