(1,21) (2,25) (3,5) (4,15) (6,7) (8,30) (9,18) (10,20) (11,12) (13,29) (14,16) (17,19) (22,23) (24,28) (26,27) 
nodes: 776  conflicts: 0  modelTime: 1670  solveTime: 3890  totalTime: 5570  modelSize: 72264  readTime: 10 size: 15