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