(1,20) (2,19) (3,22) (4,16) (5,17) (6,24) (7,23) (8,26) (9,29) (10,28) (11,21) (12,30) (14,18) (15,25) 
nodes: 3992  conflicts: 32  modelTime: 659  solveTime: 7047  totalTime: 7712  modelSize: 41293  readTime: 6 size: 14