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