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