(1,20) (2,22) (3,24) (4,17) (5,26) (6,25) (7,16) (8,30) (9,18) (11,21) (12,29) (13,27) (14,28) (15,23) 
nodes: 42584  conflicts: 38  modelTime: 662  solveTime: 77293  totalTime: 77962  modelSize: 41298  readTime: 7 size: 14