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