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