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