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