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