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