(1,22) (2,27) (3,17) (4,30) (5,19) (6,21) (7,23) (8,29) (9,20) (11,16) (12,25) (13,18) (14,26) (15,24) 
nodes: 2552  conflicts: 5  modelTime: 654  solveTime: 5980  totalTime: 6638  modelSize: 41292  readTime: 4 size: 14