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