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