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