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