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