(1,25) (2,27) (3,29) (5,16) (6,20) (7,17) (8,23) (11,22) (12,18) (13,21) (14,30) (15,26) 
nodes: 3999  conflicts: 51  modelTime: 660  solveTime: 5786  totalTime: 6452  modelSize: 41293  readTime: 6 size: 12