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