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