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