(1,24) (2,26) (3,17) (4,18) (5,30) (6,25) (7,21) (8,27) (9,29) (10,22) (11,16) (12,20) (14,19) (15,23) 
nodes: 50999  conflicts: 37  modelTime: 657  solveTime: 112038  totalTime: 112701  modelSize: 41292  readTime: 6 size: 14