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