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