(1,14) (2,16) (3,5) (4,23) (6,25) (7,28) (8,13) (9,11) (12,29) (15,18) (17,26) (19,30) (21,22) (24,27) 
nodes: 15462  conflicts: 71  modelTime: 968  solveTime: 49235  totalTime: 50214  modelSize: 72262  readTime: 11 size: 14