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