(1,27) (2,24) (4,28) (6,16) (7,29) (8,25) (9,20) (10,26) (11,19) (12,21) (13,17) (14,30) (15,23) 
nodes: 5215  conflicts: 22  modelTime: 656  solveTime: 9804  totalTime: 10466  modelSize: 41292  readTime: 6 size: 13