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