(1,26) (2,15) (3,30) (4,27) (5,22) (6,24) (8,13) (9,19) (10,16) (11,28) (14,20) (17,25) (18,29) 
nodes: 2487  conflicts: 68  modelTime: 1569  solveTime: 11223  totalTime: 12813  modelSize: 72262  readTime: 21 size: 13