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