(1,26) (3,17) (4,25) (5,19) (6,22) (7,18) (8,29) (9,23) (10,30) (11,28) (12,21) (13,20) (14,24) (15,27) 
nodes: 9527  conflicts: 39  modelTime: 655  solveTime: 26307  totalTime: 26968  modelSize: 41292  readTime: 6 size: 14