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