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