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