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