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