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