(1,29) (2,27) (3,21) (4,24) (5,17) (6,12) (7,9) (8,25) (10,20) (11,26) (13,15) (14,30) (16,22) (18,19) (23,28) 
nodes: 20248  conflicts: 32  modelTime: 1710  solveTime: 83765  totalTime: 85494  modelSize: 72262  readTime: 19 size: 15