(1,8) (2,17) (3,30) (4,26) (5,20) (6,15) (7,25) (9,19) (10,11) (12,21) (13,27) (14,23) (28,29) 
nodes: 1555  conflicts: 58  modelTime: 1726  solveTime: 7352  totalTime: 9099  modelSize: 72263  readTime: 21 size: 13