(1,17) (2,16) (3,26) (4,20) (5,18) (6,21) (7,27) (8,22) (9,30) (10,23) (11,25) (12,28) (14,24) (15,29) 
nodes: 2439  conflicts: 22  modelTime: 661  solveTime: 3327  totalTime: 3994  modelSize: 41293  readTime: 6 size: 14