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