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