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