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