(1,25) (2,30) (4,16) (5,27) (6,24) (7,22) (8,19) (9,17) (10,18) (11,23) (12,29) (13,28) (14,20) (15,26) 
nodes: 4310  conflicts: 20  modelTime: 655  solveTime: 12421  totalTime: 13082  modelSize: 41292  readTime: 6 size: 14