(1,12) (2,21) (3,8) (4,5) (6,17) (7,22) (9,24) (10,27) (11,18) (13,25) (14,20) (15,23) (19,26) (28,29) 
nodes: 3532  conflicts: 57  modelTime: 981  solveTime: 12253  totalTime: 13246  modelSize: 72262  readTime: 12 size: 14