(1,16) (2,24) (3,22) (5,25) (8,23) (9,21) (10,20) (11,17) (12,30) (13,26) (14,27) (15,29) 
nodes: 1757  conflicts: 50  modelTime: 660  solveTime: 2799  totalTime: 3465  modelSize: 41293  readTime: 6 size: 12