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