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