(1,6) (2,15) (3,27) (4,25) (5,13) (7,16) (8,12) (9,22) (10,19) (11,17) (14,18) (20,24) (21,30) (23,26) (28,29) 
nodes: 8433  conflicts: 40  modelTime: 1720  solveTime: 48308  totalTime: 50047  modelSize: 72263  readTime: 19 size: 15