(2,3) (4,28) (5,26) (6,16) (7,18) (8,11) (9,14) (10,27) (12,15) (13,25) (17,23) (20,21) (22,30) (24,29) 
nodes: 10367  conflicts: 46  modelTime: 966  solveTime: 37255  totalTime: 38233  modelSize: 72262  readTime: 12 size: 14