(1,26) (2,30) (3,24) (4,17) (5,20) (6,19) (7,23) (8,21) (9,22) (10,29) (11,27) (12,16) (13,18) (15,28) 
nodes: 2220  conflicts: 36  modelTime: 656  solveTime: 3322  totalTime: 3984  modelSize: 41298  readTime: 6 size: 14