(1,22) (2,29) (3,20) (4,30) (5,19) (6,21) (8,18) (9,26) (11,23) (12,24) (13,17) (14,25) (15,16) 
nodes: 7142  conflicts: 48  modelTime: 659  solveTime: 12462  totalTime: 13127  modelSize: 41298  readTime: 6 size: 13