(1,13) (2,19) (3,8) (4,7) (5,10) (6,9) (11,20) (12,26) (16,30) (17,23) (18,27) (21,25) (22,24) (28,29) 
nodes: 2709  conflicts: 63  modelTime: 982  solveTime: 11793  totalTime: 12786  modelSize: 72262  readTime: 11 size: 14