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