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