(2,21) (3,18) (4,16) (5,17) (6,28) (7,23) (8,22) (9,24) (10,29) (11,25) (12,26) (13,27) (14,30) (15,20) 
nodes: 8151  conflicts: 32  modelTime: 659  solveTime: 15593  totalTime: 16258  modelSize: 41298  readTime: 6 size: 14