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