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