(1,8) (2,12) (3,7) (5,28) (6,14) (10,17) (13,25) (16,18) (19,20) (21,27) (22,24) (23,29) (26,30) 
nodes: 3821  conflicts: 76  modelTime: 932  solveTime: 9353  totalTime: 10296  modelSize: 72262  readTime: 11 size: 13