(1,23) (2,20) (3,25) (4,30) (5,18) (6,19) (7,17) (8,27) (10,21) (12,29) (13,22) (14,16) (15,26) 
nodes: 1363  conflicts: 22  modelTime: 685  solveTime: 3217  totalTime: 3908  modelSize: 41292  readTime: 6 size: 13