(1,23) (2,26) (3,24) (4,25) (5,9) (6,15) (7,30) (10,17) (11,13) (12,19) (14,21) (16,27) (18,20) (28,29) 
nodes: 192187  conflicts: 24  modelTime: 931  solveTime: 959109  totalTime: 960091  modelSize: 72285  readTime: 51 size: 14