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