(1,25) (2,12) (3,13) (4,19) (5,23) (6,26) (7,24) (8,14) (9,29) (11,15) (16,27) (18,20) (21,22) (28,30) 
nodes: 12830  conflicts: 45  modelTime: 1616  solveTime: 51686  totalTime: 53341  modelSize: 72262  readTime: 39 size: 14