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