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