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