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