(1,16) (2,10) (3,23) (4,29) (5,22) (6,27) (7,21) (8,9) (11,13) (12,19) (14,18) (15,17) (20,25) (28,30) 
nodes: 5384  conflicts: 58  modelTime: 937  solveTime: 17220  totalTime: 18168  modelSize: 72262  readTime: 11 size: 14