(2,30) (3,27) (4,22) (5,29) (6,20) (7,18) (8,24) (9,19) (10,26) (11,28) (12,17) (13,21) (14,25) (15,16) 
nodes: 7384  conflicts: 38  modelTime: 686  solveTime: 20263  totalTime: 20956  modelSize: 41293  readTime: 6 size: 14