(1,29) (3,23) (4,24) (5,30) (6,27) (8,25) (9,16) (10,17) (11,19) (12,18) (13,21) (14,26) (15,20) 
nodes: 1754  conflicts: 41  modelTime: 661  solveTime: 2561  totalTime: 3236  modelSize: 41293  readTime: 14 size: 13