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