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