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