(1,17) (3,27) (4,30) (5,20) (6,18) (7,28) (8,23) (9,24) (10,21) (11,16) (12,25) (13,19) (14,29) (15,26) 
nodes: 8379  conflicts: 18  modelTime: 656  solveTime: 16550  totalTime: 17212  modelSize: 41293  readTime: 6 size: 14