(1,22) (2,24) (3,26) (5,18) (6,30) (9,20) (10,27) (11,16) (13,25) (14,23) (15,28) 
nodes: 1868  conflicts: 73  modelTime: 662  solveTime: 1737  totalTime: 2406  modelSize: 41300  readTime: 7 size: 11