(1,18) (2,27) (3,4) (5,17) (6,20) (8,28) (9,21) (10,12) (11,19) (13,24) (14,29) (15,23) (22,25) (26,30) 
nodes: 127690  conflicts: 37  modelTime: 1715  solveTime: 484765  totalTime: 486500  modelSize: 72262  readTime: 20 size: 14