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