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