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