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