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