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