(1,18) (2,29) (3,22) (4,9) (6,11) (7,10) (8,16) (12,15) (13,27) (14,21) (17,24) (19,26) (20,30) (23,28) 
nodes: 2392  conflicts: 72  modelTime: 1569  solveTime: 8599  totalTime: 10180  modelSize: 72262  readTime: 12 size: 14