(1,20) (3,16) (4,17) (5,30) (6,24) (7,22) (8,25) (9,23) (10,18) (12,29) (13,27) (14,21) (15,19) 
nodes: 5910  conflicts: 40  modelTime: 658  solveTime: 7794  totalTime: 8459  modelSize: 41299  readTime: 6 size: 13