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