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