(1,16) (2,22) (3,21) (4,14) (5,26) (7,28) (8,24) (9,18) (10,19) (11,20) (12,17) (13,15) (23,25) (27,29) 
nodes: 18442  conflicts: 23  modelTime: 1090  solveTime: 74563  totalTime: 75671  modelSize: 72275  readTime: 18 size: 14