(1,18) (2,30) (3,25) (4,29) (5,17) (7,26) (8,12) (9,19) (11,24) (13,20) (15,27) (16,28) 
nodes: 2227  conflicts: 70  modelTime: 928  solveTime: 5276  totalTime: 6215  modelSize: 72262  readTime: 11 size: 12