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