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