(1,16) (2,22) (4,19) (5,21) (6,26) (7,24) (8,30) (9,18) (10,29) (11,28) (12,25) (14,20) (15,17) 
nodes: 2594  conflicts: 45  modelTime: 661  solveTime: 3710  totalTime: 4378  modelSize: 41293  readTime: 7 size: 13