(1,18) (2,29) (4,10) (5,15) (6,8) (7,23) (9,21) (12,20) (13,17) (14,19) (16,26) (22,25) (24,27) 
nodes: 3606  conflicts: 71  modelTime: 940  solveTime: 7974  totalTime: 8925  modelSize: 72263  readTime: 11 size: 13