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