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