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