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