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