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