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