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