(1,18) (2,19) (3,9) (4,5) (6,17) (7,11) (8,25) (10,27) (12,24) (13,26) (14,16) (15,23) (20,29) (21,22) 
nodes: 745  conflicts: 52  modelTime: 1288  solveTime: 3542  totalTime: 4854  modelSize: 72262  readTime: 24 size: 14