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