(1,23) (2,8) (3,14) (4,11) (5,10) (6,17) (7,15) (12,28) (16,25) (18,29) (19,20) (21,26) (22,27) (24,30) 
nodes: 10021  conflicts: 28  modelTime: 1712  solveTime: 26308  totalTime: 28040  modelSize: 72262  readTime: 20 size: 14