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