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