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