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