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