(1,17) (2,30) (4,29) (5,16) (6,27) (8,26) (9,21) (10,18) (11,19) (12,20) (13,23) (14,28) 
nodes: 1570  conflicts: 45  modelTime: 665  solveTime: 1492  totalTime: 2166  modelSize: 41293  readTime: 8 size: 12