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