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