(1,30) (2,24) (3,25) (4,17) (5,12) (6,20) (7,8) (9,29) (10,11) (13,28) (14,21) (18,22) (19,27) (23,26) 
nodes: 4114  conflicts: 71  modelTime: 937  solveTime: 12367  totalTime: 13316  modelSize: 72262  readTime: 12 size: 14