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