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