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