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