(1,29) (2,30) (3,26) (4,17) (5,18) (6,28) (7,22) (8,24) (9,16) (10,21) (12,23) (13,19) (14,27) (15,20) 
nodes: 5146  conflicts: 11  modelTime: 660  solveTime: 10452  totalTime: 11117  modelSize: 41299  readTime: 5 size: 14