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