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