(2,17) (3,27) (4,19) (5,24) (6,30) (7,26) (8,20) (10,28) (11,18) (12,25) (13,23) (14,22) (15,29) 
nodes: 12783  conflicts: 31  modelTime: 659  solveTime: 21676  totalTime: 22342  modelSize: 41293  readTime: 7 size: 13