(1,7) (2,18) (4,29) (5,26) (6,20) (8,24) (9,22) (11,19) (12,13) (14,23) (15,17) (16,21) (28,30) 
nodes: 47926  conflicts: 61  modelTime: 927  solveTime: 98735  totalTime: 99673  modelSize: 72264  readTime: 11 size: 13