(1,26) (2,18) (4,29) (5,20) (6,17) (8,23) (9,28) (10,16) (11,24) (12,30) (13,25) (14,22) (15,21) 
nodes: 4323  conflicts: 45  modelTime: 664  solveTime: 6398  totalTime: 7068  modelSize: 41299  readTime: 6 size: 13