(1,16) (3,24) (4,20) (5,21) (6,23) (8,26) (9,17) (11,27) (12,19) (13,18) (14,30) (15,29) 
nodes: 3019  conflicts: 48  modelTime: 661  solveTime: 4552  totalTime: 5219  modelSize: 41293  readTime: 6 size: 12