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