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